[Paper Review] 2 SEMICLASSICAL ESTIMATES OF THE CUT-OFF RESOLVENT FOR TRAPPING PERTURBATIONS

Bony, Jean-Francois, Petkov, Vesselin|arXiv (Cornell University)|Jan 26, 2012

Spectral Theory in Mathematical Physics28 references8 citations

TL;DR

This paper establishes semiclassical estimates for the cut-off resolvent of a black box operator $P$ in the presence of trapping perturbations, showing that $\|\varphi(P-z)^{-1}\varphi\|$ is bounded by $\frac{h}{|\operatorname{Im}z|}e^{C|\operatorname{Im}z|/h}\|\mathds{1}_{{\mathcal{C}}_{a,b}}(P-z)^{-1}\mathds{1}_{{\mathcal{C}}_{a,b}}\|$ for $z$ in the unphysical sheet with $-Mh|\ln h|\leq\operatorname{Im}z\leq 0$, under no assumptions on the trapped set or resonance multiplicity.

ABSTRACT

This paper is devoted to the study of a semiclassical "black box" operator $P$. We estimate the norm of its resolvent truncated near the trapped set by the norm of its resolvent truncated on rings far away from the origin. For $z$ in the unphysical sheet with $- h |ln h| < Im z < 0$, we prove that this estimate holds with a constant $h |Im z|^{-1} e^{C|Im z|/h}$. We also obtain analogous bounds for the resonances states of $P$. These results hold without any assumption on the trapped set neither any assumption on the multiplicity of the resonances.

Motivation & Objective

• To derive uniform semiclassical estimates for the cut-off resolvent $\varphi(P-z)^{-1}\varphi$ in the presence of trapping perturbations.
• To relate the local resolvent norm near the origin to the norm of the resolvent restricted to an annular region $\mathcal{C}_{a,b}$ with $a \gg 1$.
• To establish bounds for resonant states $u$ by their restriction to $\mathcal{C}_{a,b}$, independent of the geometry of the trapped set.
• To remove assumptions on the multiplicity of resonances or the structure of the trapped set in semiclassical resolvent estimates.
• To provide a framework applicable to general compactly supported perturbations of $-h^2\Delta$ in any dimension $n \geq 1$.

Proposed method

• Use of the semiclassical black box framework of Sjöstrand and Zworski to model perturbations of the Laplacian.
• Application of complex distortion techniques to extend the resolvent analytically into the unphysical sheet.
• Employment of spectral projection decompositions $\Pi_j$ and $\Pi_j^\theta$ to analyze the structure of generalized eigenfunctions.
• Use of injectivity and uniqueness results for multiplication operators $\varphi$ on spectral subspaces to relate local and global resolvent norms.
• Derivation of estimates via the resolvent identity and propagation of singularities in the complex domain.
• Leveraging the fact that $\mathds{1}_{B(R_1)} \prec \varphi$ to control the support of cutoffs and relate $P$ and $P_\theta$-resolvents.

Experimental results

Research questions

• RQ1 How can the norm of the local cut-off resolvent $\varphi(P-z)^{-1}\varphi$ be controlled in terms of the annular resolvent $\mathds{1}_{\mathcal{C}_{a,b}}(P-z)^{-1}\mathds{1}_{\mathcal{C}_{a,b}}$?
• RQ2 What is the optimal dependence of the resolvent norm on the imaginary part of $z$ in the unphysical sheet?
• RQ3 Can bounds on resonant states be derived without assumptions on the trapped set or resonance multiplicity?
• RQ4 How do complex distortions and spectral projections interact to control the resolvent in the presence of trapping?
• RQ5 To what extent can the black box framework be used to unify resolvent estimates across different perturbation types?

Key findings

• For $z$ in the unphysical sheet with $-Mh|\ln h| \leq \operatorname{Im}z \leq 0$, the estimate $\|\varphi(P-z)^{-1}\varphi\| \lesssim \frac{h}{|\operatorname{Im}z|}e^{C|\operatorname{Im}z|/h}\|\mathds{1}_{\mathcal{C}_{a,b}}(P-z)^{-1}\mathds{1}_{\mathcal{C}_{a,b}}\|$ holds with $a \gg 1$.
• The constant in the estimate depends only on $h$, $\operatorname{Im}z$, and the size of the annular region $\mathcal{C}_{a,b}$, not on the trapped set geometry.
• Resonant states $u$ satisfy $\|\varphi u\| \lesssim \|\mathds{1}_{\mathcal{C}_{a,b}}u\|$ for any $\varphi \in C_0^\infty(\mathbb{R}^n)$, uniformly in $h$.
• The results hold without any restriction on the trapped set, including non-trapping, partially trapping, or fully trapping configurations.
• The rank of spectral projections $\Pi_j$ and $\Pi_j^\theta$ is preserved under multiplication by $\varphi$, ensuring consistency across real and distorted domains.
• The analysis applies to all dimensions $n \geq 1$ and to long-range and short-range perturbations of the Laplacian, under standard semiclassical assumptions.