Microlocal kernel of pseudodifferential operators at a hyperbolic fixed point

DOI10.1016/J.JFA.2007.07.003MaRDI QIDQ2461233zbMATH OpenOpenAlexFDO

Authors Setsuro Fujiié, Thierry Ramond, Maher Zerzeri, Jean-François Bony

Publication date 27 November 2007

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0603686

hyperbolic fixed points propagation of singularities in a trapping situation semiclassical microlocal analysis WKB representation of solutions

Mathematics Subject Classification ID

Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27) Pseudodifferential operators as generalizations of partial differential operators (35S05) Pseudodifferential operators (47G30)

Abstract: We study the microlocal kernel of h-pseudodifferential operators P(x,hD)-z, where z belongs to some neighborhood of size O(h) of a critical value of its principal symbol. We suppose that this critical value corresponds to a hyperbolic fixed point of the associated Hamiltonian flow. First we describe propagation of singularities at such a hyperbolic fixed point, both in the analytic and in the smooth category. In both cases, we show that the null solution is the only element of this microlocal kernel which vanishes on the stable incoming manifold, but for energies z in some discrete set. For energies z out of this set, we build the element of the microlocal kernel with prescribed data on the incoming manifold. We describe completely the operator which associate the value of this null solution on the outgoing manifold to the initial data on the incoming one. In particular it appears to be a semiclassical Fourier integral operator associated to some natural canonical relation.

Review text

The authors study the microlocal solutions near \((0,0)\) of the equation \((P-z)u=0\), where \(P=\text{{Op}}_h(p(x,\xi,h))\) is a self-adjoint \(h\)-pseudodifferential operator whose principal symbol can be reduced to \(p_0(x,\xi)=\sum_{j=1}^d (\lambda_j/2)(\xi_j^2-x_j^2)+O((x,\xi)^3)\), for some real and positive \(\lambda_j\)'s. The energies \(z\) are supposed to lie at distance \(O(h)\) of the critical value \(p_0(0,0)=0\). It is proved, in the \(d\)-dimensional case, \(d\geq1\), in the analytic and in the \(C^\infty\) category, that the null solution is the only microlocal solution of the above equation defined in a neighborhood of \((0,0)\) which vanishes on the stable incoming manifold \(A_-\). This holds for energies \(z\) in any neighborhood of the critical energy \(0\) of size \(O(h)\) that do not belong to some discrete subset \(\Gamma(h)\). If \(z\in\Gamma(h)\), then purely outgoing solutions exist, that is, solutions which vanish out of \(A_+\). In the analytic case, the discussion is strongly related to the resonances generated by a critical point of the principal symbol of a Schrödigner operator, relying on energy estimates rather than on a reduction to a normal form. In the \(C^\infty\) case, the proof relies on energy estimates. For energies away from \(\Gamma(h)\), the existence of the solution to \((P-z)u=0\) with given Cauchy data on \(A_-\) is proved and is represented by a formula which is used to build a microlocal transition operator which associates the microlocal value of this solution on \(A_+\) to the data on \(A_-\). This operator is completely described and turns out to be an \(h\)-Fourier integral opertor associated with the canonical relation \(A_+\times A_-\). Appendix A summarizes results on the \(h\)-pseudodifferential calculus used in the paper.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Microlocal kernel of pseudodifferential operators at a hyperbolic fixed point

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2461233)