[Paper Review] Semiclassical Singularity Propagation Property for Schrödinger Equations

Shu Nakamura|ArXiv.org|May 30, 2006

Advanced Mathematical Physics Problems9 references16 citations

TL;DR

This paper establishes a semiclassical singularity propagation property for Schrödinger equations with variable coefficients under long-range perturbations of the Laplacian. Using a modified free propagator and Egorov-type theorems in a scattering-theoretic framework, it proves that wave front set singularities of solutions propagate along classical Hamiltonian flow trajectories, characterizing the microlocal regularity of solutions in terms of the initial data via the classical flow.

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.

Motivation & Objective

• To characterize the wave front set of solutions to Schrödinger equations with variable coefficients in terms of the initial data.
• To establish that singularities propagate along classical Hamiltonian flow trajectories in the semiclassical limit.
• To extend scattering-theoretic techniques, particularly modified free propagators, to analyze microlocal regularity in long-range perturbation settings.
• To provide a rigorous justification of the semiclassical Egorov theorem in a non-autonomous, time-dependent symbol framework.
• To link the wave front set of the evolved solution to the wave front set of the initial data transformed by the classical flow.

Proposed method

• Introduces a modified free propagator via a solution to the momentum-space Hamilton-Jacobi equation, denoted $ W(t,\xi) $, to handle long-range perturbations.
• Constructs a time-dependent unitary operator $ \Omega(t) = e^{iW(t,D_x)}e^{-itH} $ to conjugate the Schrödinger evolution and simplify the symbol propagation.
• Applies an asymptotic expansion of the conjugated operator $ \Omega(t)a_h(x,D_x)\Omega(t)^{-1} $ using a symbol class $ S(\lambda^{-j}, dx^2 + \lambda^{-2}d\xi^2) $, with $ \lambda \to \infty $.
• Uses the Egorov-type theorem to show that the principal symbol of the conjugated operator is $ a_h \circ \exp tH_p $, with support propagating along the classical flow.
• Employs a microlocal characterization of wave front sets via $ h $-pseudodifferential operators with $ h = \lambda^{-1} $, where $ \|a_h(x,D_x)u\| = O(h^\infty) $ implies regularity.
• Relies on a modified Hamilton-Jacobi flow $ S_t = T_t \circ \exp tH_p $, with $ T_t(x,\xi) = (x - \partial_\xi W(t,\xi), \xi) $, to relate initial and evolved singularities.

Experimental results

Research questions

• RQ1 How do singularities of solutions to Schrödinger equations with variable coefficients propagate in the semiclassical limit?
• RQ2 Can the wave front set of the evolved solution be characterized in terms of the initial data and the classical Hamiltonian flow?
• RQ3 What is the role of the modified free propagator in handling long-range perturbations in the context of microlocal analysis?
• RQ4 How can the semiclassical Egorov theorem be justified in a non-autonomous, time-dependent symbol setting?
• RQ5 To what extent does the classical flow determine the microlocal structure of solutions in non-trapping regions?

Key findings

• The wave front set of the solution $ u(t_0) = e^{-it_0H}u_0 $ is characterized by the condition that $ (x_0,\xi_0) \notin WF(u(t_0)) $ if and only if $ \| (a_h \circ \exp t_0H_p)(x,D_x)u_0 \| = O(h^\infty) $ as $ h \to 0 $, where $ a $ is a cutoff supported near $ (x_0,\xi_0) $.
• For backward nontrapping initial data $ (x_0,\xi_0) $, the singularity propagates along the classical flow $ \exp tH_p $, and the wave front set at time $ t_0 $ is determined by the pullback of the initial wave front set via the classical flow.
• The modified propagator $ \Omega(t) $ allows the construction of an asymptotic expansion of the conjugated operator, with symbols supported in neighborhoods of the classical flow trajectories.
• The limit $ \xi_-(t_0; x_0, \xi_0) = \lim_{\lambda \to \infty} \lambda^{-1} \eta(-t_0; x_0, \lambda\xi_0) $ and $ z_-(t_0; x_0, \xi_0) = \lim_{\lambda \to \infty} \left( y(-t_0; x_0, \lambda\xi_0) - \partial_\xi W(-t_0, \eta(-t_0; x_0, \lambda\xi_0)) \right) $ exist and are independent of $ t_0 $, providing a microlocal link between initial and evolved states.
• The wave front set of $ u(t_0) $ is non-empty at $ (x_0,\xi_0) $ if and only if the transformed initial data $ e^{iW(-t_0,D_x)}u_0 $ has a singularity at $ (z_-, \xi_-) $, establishing a precise microlocal correspondence.
• The method avoids time-dependent symbol classes by using a scattering-theoretic approach, relying on the existence of the Hamilton-Jacobi solution $ W(t,\xi) $ and its associated asymptotic expansions.