Determining initial conditions for nonlinear hyperbolic equations with time dimensional reduction and the Carleman contraction
arXiv:2312.01179 · doi:10.1088/1361-6420/ad9498
Abstract
This paper aims to determine the initial conditions for quasi-linear hyperbolic equations that include nonlocal elements. We suggest a method where we approximate the solution of the hyperbolic equation by truncating its Fourier series in the time domain with a polynomial-exponential basis. This truncation effectively removes the time variable, transforming the problem into a system of quasi-linear elliptic equations. We refer to this technique as the "time dimensional reduction method." To numerically solve this system comprehensively without the need for an accurate initial estimate, we used the newly developed Carleman contraction principle. We show the efficiency of our method through various numerical examples. The time dimensional reduction method stands out not only for its precise solutions but also for its remarkable speed in computation.
References in corpus (12)
- Thermoacoustic tomography with variable sound speed
- Thermoacoustic tomography arising in brain imaging
- Time reversal in thermoacoustic tomography - an error estimate
- Inversion of circular means and the wave equation on convex planar domains
- Convexification of Restricted Dirichlet-to-Neumann Map
- Electrical Impedance Tomography with Restricted Dirichlet-to-Neumann Map Data
- Theoretically exact photoacoustic reconstruction from spatially and temporally reduced data
- Carleman estimates and the contraction principle for an inverse source problem for nonlinear hyperbolic equation
- Photoacoustic Tomography with Direction Dependent Data: An Exact Series Reconstruction Approach
- A Carleman-based numerical method for quasilinear elliptic equations with over-determined boundary data and applications
- The Carleman convexification method for Hamilton-Jacobi equations on the whole space
- The Carleman contraction mapping method for quasilinear elliptic equations with over-determined boundary data