Geometric wave propagator on Riemannian manifolds

Matteo Capoferri,Michael Levitin,Dmitri Vassiliev

DOI: https://doi.org/10.4310/CAG.2022.v30.n8.a2

2023-07-17

Abstract:We study the propagator of the wave equation on a closed Riemannian manifold $M$. We propose a geometric approach to the construction of the propagator as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. This enables us to provide a global invariant definition of the full symbol of the propagator - a scalar function on the cotangent bundle - and an algorithm for the explicit calculation of its homogeneous components. The central part of the paper is devoted to the detailed analysis of the subprincipal symbol; in particular, we derive its explicit small time asymptotic expansion. We present a general geometric construction that allows one to visualise topological obstructions and describe their circumvention with the use of a complex-valued phase function. We illustrate the general framework with explicit examples in dimension two.

Analysis of PDEs,Mathematical Physics,Differential Geometry,Spectral Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: on a closed Riemannian manifold \(M\), the global invariant definition of the wave propagator and its explicit construction.

Specifically, the authors propose a geometric method to construct the wave propagator as a single oscillatory integral, which is global in both space and time and has a specific complex - valued phase function. This enables them to provide a global invariant definition of the full symbol of the wave propagator and give an explicit calculation algorithm for its homogeneous components. In addition, the paper also analyzes the subprincipal symbol in detail, especially deriving its small - time asymptotic expansion formula.

The following are the main contributions of the paper:
1. **Global invariant definition**: Provide an invariant definition of the full symbol of the wave propagator and give an explicit algorithm for calculating all of its homogeneous components.
2. **Subprincipal symbol research**: Study the subprincipal symbol of the wave propagator in detail and provide a simplified calculation algorithm.
3. **Small - time asymptotic formula**: Give the small - time asymptotic formula of the subprincipal symbol of the wave propagator.
4. **Application of specific examples**: Apply this method to two - dimensional constant - curvature symmetric spaces, such as the standard 2 - sphere and the hyperbolic plane.
5. **Obstacle avoidance**: Use a complex - valued phase function to provide a geometric construction that can visualize and avoid obstacles caused by caustics.

Through these works, the authors not only provide new tools and methods for the study of wave propagators, but also lay the foundation for applications in related fields (such as partial differential equations, spectral theory, etc.).

### Summary of mathematical formulas

- **Laplacian operator**:
\[
\Delta=\rho(x)^{-1}\frac{\partial}{\partial x^{\mu}}\left(\rho(x)g^{\mu\nu}(x)\frac{\partial}{\partial x^{\nu}}\right)
\]
where,
\[
\rho(x)=\sqrt{\det g_{\mu\nu}(x)}
\]

- **Cauchy problem of the wave equation**:
\[
\left(\frac{\partial^{2}}{\partial t^{2}}-\Delta\right)f(t, x) = 0
\]
Initial conditions:
\[
f(0, x)=f_{0}(x),\quad\frac{\partial f}{\partial t}(0, x)=f_{1}(x)
\]

- **Form of the solution**:
\[
f=\cos\left(t\sqrt{-\Delta}\right)f_{0}+\sin\left(t\sqrt{-\Delta}\right)(-\Delta)^{-1/2}f_{1}+t(v_{0}, f_{1})
\]

- **Levi - Civita phase function**:
\[
\phi(t, x; y, \eta; \epsilon)=\int_{\gamma}\zeta\cdot dz + i\epsilon\frac{h(y, \eta)}{2}\text{dist}^{2}(x, x^{*}(t; y, \eta))
\]
where \(\gamma\) is the shortest geodesic connecting \(x^{*}(t; y, \eta)\) and \(x\), and \(\zeta\) is the result of parallel transport along \(\gamma\).

Through these formulas and methods, the authors successfully solve the problem of the global representation of the wave propagator on the Riemannian manifold and provide a solid foundation for subsequent research.