We revisit the theory of first-order quasilinear systems with diagonalizable principal part and only real eigenvalues, what is commonly referred to as strongly hyperbolic systems. We provide a self-contained and simple proof of local well-posedness, in the Hadamard sense, of the Cauchy problem. Our regularity assumptions are very minimal. As an application, we apply our results to systems of ideal and viscous relativistic fluids, where the theory of strongly hyperbolic equations has been systematically used to study several systems of physical interest.
more »
« less
Some integral geometry problems for wave equations
Abstract We consider the Cauchy problem and the source problem for normally hyperbolic operators on the Minkowski spacetime, and study the determination of solutions from their integrals along light-like geodesics. For the Cauchy problem, we give a new proof of the stable determination result obtained by Vasy and Wang (2021 Commun. Math. Phys. 384 503–32). For the source problem, we obtain stable determination for sources with space-like singularities. Our proof is based on the microlocal analysis of the normal operator of the light ray transform composed with the parametrix for strictly hyperbolic operators.
more »
« less
- Award ID(s):
- 2205266
- PAR ID:
- 10394214
- Date Published:
- Journal Name:
- Inverse Problems
- Volume:
- 38
- Issue:
- 8
- ISSN:
- 0266-5611
- Page Range / eLocation ID:
- 084001
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract In the context of the Cauchy problem for the Korteweg–de Vries equation we extend the inverse scattering transform to initial data that behave at plus infinity like a sum of Wigner–von Neumann type potentials with small coupling constants. Our arguments are based on the theory of Hankel operators.more » « less
-
We consider high-order discretizations of a Cauchy problem where the evolution operator comprises a hyperbolic part and a parabolic part with diffusion and stiff relaxation terms. We propose a technique that makes every implicit-explicit (IMEX) time stepping scheme invariant-domain preserving and mass conservative. Following the ideas introduced in Part I on explicit Runge--Kutta schemes, the IMEX scheme is written in incremental form. At each stage, we first combine a low-order and a high-order hyperbolic update using a limiting operator, then we combine a low-order and a high-order parabolic update using another limiting operator. The proposed technique, which is agnostic to the space discretization, allows one to optimize the time step restrictions induced by the hyperbolic substep. To illustrate the proposed methodology, we derive four novel IMEX methods with optimal efficiency. All the implicit schemes are singly diagonal. One of them is A-stable and the other three are L-stable. The novel IMEX schemes are evaluated numerically on systems of stiff ordinary differential equations and nonlinear conservation equations.more » « less
-
This work concerns the numerical realization of a Cauchy-type integral formula for sequence valued analytic functions in the sense of Bukhgeim, and its applications to the source reconstruction problem in inverse radiative transport through a non-absorbing and non-scattering medium. The inverse source problem is mathematically equivalent to the classical X-ray Computed Tomography (CT), where a function is to be determined from its line integrals. The proposed algorithms have the added advantage to extend to the source determination problems in media with absorbing and scattering properties. Such extensions cannot be achieved in the existing X-ray CT algorithms. The numerical experiments demonstrate the feasibility of our new tomographic algorithms.more » « less
-
We consider a [Formula: see text] system of hyperbolic balance laws that is the converted form under inverse Hopf–Cole transformation of a Keller–Segel type chemotaxis model. We study Cauchy problem when Cauchy data connect two different end-states as [Formula: see text]. The background wave is a diffusive contact wave of the reduced system. We establish global existence of solution and study the time asymptotic behavior. In the special case where the cellular population initially approaches its stable equilibrium value as [Formula: see text], we obtain nonlinear stability of the diffusive contact wave under smallness assumption. In the general case where the population initially does not approach to its stable equilibrium value at least at one of the far fields, we use a correction function in the time asymptotic ansatz, and show that the population approaches logistically to its stable equilibrium value. Our result shows two significant differences when comparing to Euler equations with damping. The first one is the existence of a secondary wave in the time asymptotic ansatz. This implies that our solutions converge to the diffusive contact wave slower than those of Euler equations with damping. The second one is that the correction function logistically grows rather than exponentially decays.more » « less
An official website of the United States government

