Abstract:We consider Schrödinger equations with variable coefficients, and it is supposed to be a long-range type perturbation of the flat Laplacian on $R^n$. We characterize the wave front set of solutions to Schrödinger equations in terms of the initial state. Then it is shown that the singularity propagates following the classical flow, and it is formulated in a semiclassical settings. Methods analogous to the long-range scattering theory, in particular a modified free propagator, are employed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the singular propagation properties of the Schrödinger equation with variable coefficients in the semiclassical limit. Specifically, the author studied how the wave front set of the solutions of these equations can be characterized according to the initial state and proved that the propagation of singularities follows the classical Hamiltonian flow. In addition, the author also explored the performance of this propagation characteristic in the nontrapping region.
### Specific description of the problem
1. **Research object**: The Schrödinger equation with variable coefficients
\[
H = -\frac{1}{2} \sum_{j,k = 1}^n \partial_{x_j} a_{jk}(x) \partial_{x_k}+V(x)
\]
where \(a_{jk}(x)\) and \(V(x)\) are real - valued \(C^{\infty}\) functions and satisfy certain long - range perturbation conditions.
2. **Main problems**:
- Characterize the microlocal singularity of the solutions of the Schrödinger equation.
- Describe how the wave front set \(WF(u(t))\) is determined by the initial state \(u_0\).
- Prove that the propagation of singularities follows the classical Hamiltonian flow.
3. **Specific goals**:
- Prove that in the nontrapping region, the propagation characteristics of the wave front set can be described by the classical Hamiltonian flow.
- Study the high - energy asymptotics and the related asymptotic trajectories.
- Construct the solution of the Hamilton - Jacobi equation in the momentum space and study its properties.
### Main results
1. **Theorem 1.1**: Suppose \(H\) satisfies Assumption A and \(u(t)=e^{-itH}u_0\), \(u_0\in L^2(\mathbb{R}^n)\). If \((x_0,\xi_0)\) is backward nontrapping, then \((x_0,\xi_0)\notin WF(u(t_0))\) if and only if there exists an \(a\in C_0^{\infty}(\mathbb{R}^{2n})\) such that \(a(x_0,\xi_0)\neq 0\) and
\[
\|(a_h\circ\exp(t_0H_p))(x,D_x)u_0\| = O(h^{\infty})\quad\text{as}\quad h\rightarrow 0.
\]
2. **Theorem 1.2**: Suppose \(H\) satisfies Assumption A and \(u(t)\), \((x_0,\xi_0)\), \(t_0 > 0\) are as described in Theorem 1.1. Then \((x_0,\xi_0)\in WF(u(t_0))\) if and only if
\[
(z^-(t_0;x_0,\xi_0),\xi^-(t_0;x_0,\xi_0))\in WF(e^{iW(-t_0,D_x)}u_0).
\]
Through these results, the author successfully linked the singular propagation characteristics of the solutions of the Schrödinger equation with the classical Hamiltonian flow and provided detailed mathematical proofs and analyses.