The Maslov complex germ in the case of a degenerate rest point of the Hamiltonian. (Q1810153)

The author treats the Schrödinger equation (SE) \[ \begin{gathered} i\varepsilon\partial\psi^t_\varepsilon(x)/\partial t= H\psi^t_\varepsilon(x),\\ H= -\sum_{i=1\sim n}(\varepsilon^2/2)\partial^2/\partial x^2_i+ U(x),\end{gathered} \] \(\psi^t\in L^2(\mathbb{R}^n)\). \(U(x)\) is a function vanishing on an \(m\)-dimensional surface \(X(\tau)\), \(\tau\in \mathbb{R}^m\), and positive elsewhere. The initial condition \[ \psi^0(x)= \varepsilon^{-(2n+\nu-m)/8} \int \exp\{i\varepsilon^{-1/2}(S^0(\alpha)+ \varepsilon^{1/4}P^0(\alpha)\cdot\beta)\} f^0(\alpha,\beta;\xi)\,d\alpha, \] \[ \xi= \varepsilon^{-1/2}(x- X(\overline\tau)),\;\beta= \varepsilon^{-1/4}(\overline\tau- \tau^0(\alpha)). \] Here \(S^0(\alpha): \mathbb{R}^\nu\to \mathbb{R}\), \((P^0,\tau^0)\) is a \(\nu\)-dimensional isotropic manifold in \(\mathbb{R}^{2m}\), and \(\overline\tau\) is the point on the surface \(X(\tau)\) nearest to \(x\). The author rewrites the SE by using the coordinate \((\tau,y)\) satisfying \(U(\tau, y)|_{y= 0}=0\) and variabels \(\xi= \varepsilon^{-1/2} y\in \mathbb{R}^{n-m}\), \(t'= \varepsilon^{1/2}t\). Let \(f= \sum_{k=0\sim N}\varepsilon^{k/2} f_k\) in \(\psi^0\). He gives an asymptotic solution \(\psi^t_{as}(x)\) of the SE by applying the theory of Maslov complex germ for Hamiltonians with the Planck constant \(\varepsilon^{1/2}\). This is, \(\psi^t_{as}(x)\) is expressed by \(S^{t'}\), \(P^{t'}\) and \(\tau^{t'}\). Main Theorem: there exist \(T> 0\), \(B> 0\) such that the estimation \(\| \psi^t- \psi^t_{as}\|\leq \varepsilon^{1/4}B\), holds for \(\forall t'= \varepsilon^{1/2}t\in [0,T]\).