Abstract
We provide an introduction to mathematical theory of scattering resonances and survey some recent results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Scattering resonances appear in many branches of mathematics, physics and engineering. They generalize eigenvalues or bound states to systems in which energy can scatter to infinity. A typical state has then a rate of oscillation (just as a bound state does) and a rate of decay. Although this notion is intrinsically dynamical, an elegant mathematical formulation comes from considering meromorphic continuations of Green’s functions or scattering matrices. The poles of these meromorphic continuations capture the physical information by identifying the rate of oscillations with the real part of a pole and the rate of decay with its imaginary part. The resonant state, which is the corresponding wave function, then appears in the residue of the meromorphically continued operator. An example from pure mathematics is given by the zeros of the Riemann zeta function: they are the resonances of the Laplacian on the modular surface. The Riemann hypothesis then states that the decay rates for the modular surface are all either 0 or \( \frac{1}{4}\). A standard example from physics is given by shape resonances created when the interaction region is separated from free space by a potential barrier. The decay rate is then exponentially small in a way depending on the width of the barrier.
In this article we survey some foundational and some recent aspects of the subject selected using the perspective and experience of the author. Proofs of many results can be found in the monograph written in collaboration with Semyon Dyatlov [80] to which we provide frequent references.
What we call scattering resonances appear under different names in different fields: in quantum scattering theory they are called quantum resonances or resonance poles. In obstacle scattering, or more generally wave scattering, they go by scattering poles. In general relativity the corresponding complex modes of gravitational waves are known as quasi-normal modes. The closely related poles of power spectra of correlations in chaotic dynamics are called Pollicott–Ruelle resonances. We will discuss mathematical results related to each of these settings stressing unifying features.
The survey is organized as follows:
-
in the introduction we provide a basic physical motivation from quantum mechanics, discuss the case of the wave equation in one dimension, intuitions behind semiclassical study of resonances and some examples from modern science and engineering;
-
in Sect. 2 we present scattering by bounded compactly supported potentials in three dimensions and prove meromorphic continuation of the resolvent (Green function), an upper bound on the counting function, existence of resonance free regions and expansions of waves; we also explain the method of complex scaling in the elementary setting of one dimension; finally we discuss recent progress and open problems in potential scattering;
-
we devote Sect. 3 to a survey of recent results organized around topics introduced in the special setting of Sect. 2: meromorphic continuation for asymptotically hyperbolic spaces, fractal upper bounds in physical and geometric settings, resonance free strips in chaotic scattering and resonance expansions; we also provide some references to recent progress in some of the topics not covered in this survey;
-
Section 4 surveys the use of microlocal/scattering theory methods in the study of chaotic dynamical systems. Their introduction by Faure–Sjöstrand [84] and Tsujii [261] led to rapid progress which included a microlocal proof of Smale’s conjecture about dynamical zeta functions [78], first proved shortly before by Giulietti–Liverani–Pollicott [109]. We review this and other results, again related to upper bounds, resonance free strips and resonances expansions.
1.1 Motivation from quantum mechanics
In quantum mechanics a particle is described by a wave function \( \psi \) which is normalized in \( L^2 \), \( \Vert \psi \Vert _{L^2 } = 1 \). The probability of finding the particle in a region \( \Omega \) is the given by the integral of \( |\psi ( x ) |^2 \) over \( \Omega \). A pure state is typically an eigenstate of a Hamiltonian P and hence the evolved state is given by \( \psi ( t) := e^{- i t P} \psi = e^{ - it E_0 } \psi \) where \( P \psi = E_0 \psi \). In particular the probability density does not change when the state is propagated.
An example could be given by the Bloch electron in a molecular corral shown in Fig. 1. However the same figure also shows that the measured states have non-zero “widths”—the peak is not a delta function at \( E_0 \)—and hence can be more accurately modeled by resonant states. Scattering or quantum resonances are given as complex numbers \( E_0 - i \Gamma /2\) and the following standard argument of the physics literature explains the meaning of the real and imaginary parts: a time dependent pure resonant state propagates according to \( \psi (t) = e^{- itE_0 -t \Gamma /2 } \psi (0) \) so that the probability of survival beyond time t is \( p(t) = { |\psi (t)|^ 2}/{ | \psi (0)|^2 } = e^{- \Gamma t } \). This explains why the convention for the imaginary part of a resonance is \( \Gamma /2\). Here we neglected the issue that \( \psi (0) \notin L^2 \) which is remedied by taking the probabilities over a bounded interaction region. In the energy representation the wave function is given
which means that the probability density of the resonance with energy E is proportional to the square of the absolute value of the right hand side. Consequently the probability density is
and this Lorentzian is the famous Breit-Wigner distribution. This derivation is of course non-rigorous and there are many mathematical issues:
-
the state \( \psi ( 0 ) \) is not in \( L^2 \)—it has physical meaning only in the “interaction region”; that is justified differently in Euclidean and non-Euclidean scattering—see Sects. 2.2, 2.6 and 3.1 respectively.
-
it is not clear why the evolution of a physical state should have an expansion in terms of resonant states; that is justified using meromorphic continuation and asymptotic control of Green’s function and—see Sect. 2.5;
-
one needs to justify the passage from the Fourier transform \( t \mapsto E \) to the probability distribution (1.1); that is done using the scattering matrix or spectral measure – see the end of Sect. 2.5.
Returning to physical motivation, one should stress that in practice there are many deviations from the simple formula (1.1), especially at high energies and in the presence of overlapping resonances. In Fig. 1 we see clear Lorentzian peaks and individual resonances can be recovered. In the experiment shown in Fig. 2 the resonances overlap and the peaks in scattering data do not have the simple interpretation using (1.1). The density laws (Weyl laws) for counting of resonant states are more complicated and richer as they involve both energy and rates of decay. Even the leading term can be affected by dynamical properties of the system—see Sects. 2.3 and 3.4.
A more abstract version of Fig. 1 is shown in Fig. 3 where correlations of evolved states and unevolved states are shown with peaks corresponding to poles of their Fourier transforms (power spectra).
1.2 Scattering of waves in one dimension
A simple mathematical example is given by scattering by compactly supported potentials in dimension one, see Fig. 4 for an example of such potential. Scattering resonances are the rates of oscillations and decay of the solution of the wave equation and Fig. 6 shows such a solution.
We see the main wave escape and some trapped waves bounce in the well created by the potential and leak out. Figure 7 shows the values of the solution at one point. Roughly speaking if u(t, x) is a solution of the wave equation \( ( \partial _t^2 - \partial _x^2 + V( x ) ) u = 0 \) with localized initial data then
where \( \lambda _j \) are complex numbers with \( {\mathrm{Im}}\,\lambda _j < 0\). They are independent of the initial data and are precisely the scattering resonances—see Sect. 2.5 for the precise statement. The expansion (1.2) is formally related to the Breit–Wigner distribution (1.1) via the Fourier transform—see Fig. 3.
Harmonic inversion methods, the first being the celebrated Prony algorithm [217], can then be used to extract scattering resonances from solutions of the wave equation (as shown in Fig. 7; see for instance [171]). The resulting complex numbers, that is the resonances for the potential in Fig. 4 are shown in Fig. 5.
1.3 Resonances in the semiclassical limit
For some very special systems resonances can be computed explicitely. One famous example is the Eckart barrier: \( - \partial _x^2 + \cosh ^{-2} x \). It falls into the general class of Pöschel–Teller potentials which can also be used to compute resonances of hyperbolic spaces or hyperbolic cylinders—see [31]. Another example is given by scattering in the exterior of a spherical obstacle. In this case scattering resonances are zeros of Hankel functions which in odd dimensions are in fact zeros of explicit polynomials—see [255] and Fig. 8.
In general however it is impossible to obtain an explicit description of individual resonances. Hence we need to consider their properties and their distribution in asymptotic regimes. For instance in the case of obstacle scattering that could mean the high energy limit. In the case of the sphere in Fig. 8 that corresponds to letting the angular momentum \( \ell \rightarrow +\infty \). For a general obstacle that means considering resonances as \( |\lambda | \rightarrow + \infty \) and \( |{\mathrm{Im}}\,\lambda | \ll | \lambda |\).
The high energy limit is an example of a semiclassical limit. To describe it we consider resonances of the Dirichlet realization of \( - h^2\Delta + V \) on \( {\mathbb {R}}^n \setminus \mathcal {O} \) in bounded subsets of \( \mathbb {C}\) as \( h \rightarrow 0 \). When \( V \equiv 0 \) that corresponds to the high energy limit for obstacle problems and when \( \mathcal {O} = \emptyset \) to Schrödinger operators.
In the case of semiclassical Schrödinger operators, the properties of the classical energy surface \( \xi ^2 + V ( x ) = E \) can be used to study resonances close to \( E \in {\mathbb {R}}\). Figure 9 shows some of the principles in dimension one. The classical energy surfaces are in this case integral curves of the Hamilton flow, \( \dot{x} = 2 \xi \), \( \dot{\xi }= - V'( x)\) (Newton equations) and the properties of this flow determine location of resonances when h is small. The level sets which are totally trapped and satisfy quantization conditions correspond to bound states. The level sets which have a trapped component but also an unbounded component, give rise to resonances with exponentially small decay rates, \( e^{-S/h} \). That make sense since the corresponding quantum state take an exponentially long time to tunnel through the barrier (see [125] for a general theory and [95, 114] for some recent results and references). Then we have energy levels which contain fixed points: that is an example of normally hyperbolic trapping which produces resonances at distance h from the real axis—see Sect. 3.2 for a general discussion and [220] for precise analysis in one dimension and more references. Interestingly the same form of trapping occurs in the setting of rotating black holes, see Sect. 2.5 and [76]. Finally the unbounded trajectories would not produce resonances close (that is with imaginary parts tending to 0 with \( h \rightarrow 0 \)) to the real axis if our potential were real analytic. But in the compactly supported, non smooth, case the singularities at the boundary of the support produce resonances at distance \( M h \log \frac{1}{h} \) where M depends on the regularity of the potential at the boundary of the support. (We call them Regge resonances as they were investigated in [221] but should not be confused with closely related Regge poles [113].) The anti-bound states are too deep in the lower half plane to have dynamical interpretation. They seem to be almost symmetric to bound states and in fact when the potential is positive near the boundary of its support they are exponentially close to the reflection of bound states [72].
1.4 Other examples from physics and engineering
We present here a few recent examples of scattering resonances appearing in physical systems.
Figure 1 shows resonance peaks for a scanning tunneling microscope experiment where a circular quantum corral of CO molecules is constructed—see [187] and references given there. The resonances are very close to eigenvalues of the Dirichlet Laplacian (rescaled by \( \hbar ^2/m_{\mathrm{eff}} \) where \( m_{\mathrm{eff}} \) is the effective mass of the Bloch electron). Mathematical results explaining existence of resonances created by a barrier (here formed by a corral of CO molecules) can be found in [194].
Figure 2 shows an experimental set-up for microwave cavities used to study scattering resonances for chaotic systems. Density of resonance was investigated in this setting in [216] and that is related to semiclassical upper bounds in Sect. 3.4. In [13] dependence of resonance free strips on dynamical quantities was confirmed experimentally and Sect. 3.2 contains related mathematical results and references. The experimental and numerical findings in [13] are presented in Fig. 10.
Figure 11 shows a MEMS (the acronym for the microelectromechanical systems) resonator. The numerical calculations [20] in that case are based on the complex scaling technique, presented in a model case in Sect. 2.6, adapted to the finite element methods. In that field it is known as the method of perfectly matched layers [19].
Figure 12 shows the profile of gravitational waves recently detected by the Laser Interferometer Gravitational-Wave Observatory (LIGO) and originating from a binary black hole merger. Resonances for such waves are known by the name of quasi-normal modes in physics literature and are the characteristic frequencies of the waves emitted during the ringdown phase of the merger, when the resulting single black hole settles down to its stationary state – see for instance [66, 76, 157] and Sect. 3.3.
Our last example is a proposal of using Pollicott–Ruelle resonances in climate study by Chekroun et al [44]. These are the resonances appearing in expansions of correlations of chaotic flows and for the new mathematical developments in their study see Sect. 4. The idea in [44] is to use these resonances to encode information about low-frequency variability of turbulent flows in the atmosphere and oceans. The spectral gap—defined as the distance between the Ruelle–Pollicott resonances and the unitarity axis—is used to see the roughness of parameter dependences in different models—see Fig. 13. The authors claim that “links between model sensitivity and the decay of correlation properties are not limited to this particular model and could hold much more generally”.
2 Potential scattering in three dimensions
Operators of the form \( P_V := - \Delta + V \), where \( \Delta = \partial _{x_1}^2 + \partial _{x_2}^2 + \partial _{x_3}^2 \), and where V is bounded and compactly supported, provide a setting in which one can easily present basic theory. Despite the elementary set up, interesting open problems remain—see Sect. 2.7. In this section we prove meromorphic continuation of the resolvent of \( P_V\), \( R_V ( \lambda ) := ( P_V- \lambda ^2 )^{-1} \), give a sharp bound on the number of resonances in discs, show existence of resonance free regions and justify the expansion (1.2). We also explain the method of complex scaling in the simplest setting of one dimension. These are the themes which reappear in Sects. 3, 4 when we discuss some recent advances. However, in the setting of this section we can present them with complete proofs. In Sect. 2.4 we also review some results in obstacle scattering as they fit naturally in our narrative.
2.1 The free resolvent
Let \( P_0 := - \Delta \). This is a self-adjoint unbounded operator on \( L^2 ( {\mathbb {R}}^3 ) \). We consider its resolvent, writing the spectral parameter as \( \lambda ^2\). For \( {\mathrm{Im}}\,\lambda > 0 \),
and we have an explicit formula for the Schwartz kernel of \( R_0 (\lambda ) \):
(Since \(R_0 ( \lambda , x, y ) \) depends only on \( |x-y| \) due to translation and rotation invariance of \( - \Delta \), this can be seen using polar coordinates; see see [80, Theorem 3.3] for a different derivation.)
From this we see that (2.1) makes sense for any \( \lambda \in \mathbb {C}\) and any compactly supported f (for instance \( f \in L^2_{\mathrm{comp}\,} ( {\mathbb {R}}^3 ) \)) and \( R_0 ( \lambda ) f \) is then a function locally in \( L^2 \), \( R_0 (\lambda ) f \in L^2_{\mathrm{loc}\,} ( {\mathbb {R}}^3 ) \). In other words,
has a holomorphic continuation,
This, and the connection to the wave equation, explains why we took \( \lambda \) as our parameter. The mapping property (2.4) remains valid in all odd dimensions while in even dimensions continuation has to be made to the infinitely sheeted logarithmic plane. In quantum scattering (as opposed to scattering of classical waves) the usual spectral parameter \( z = \lambda ^2 \) is more natural in which case the continuation is from \( \mathbb {C}\setminus [ 0 , \infty ) \) through the cut \( [ 0 , \infty ) \).
We have the following formula which will be useful later:
where \( L^2 ( \mathbb {S}^2 ) \) is defined using the standard measure on the sphere. This follows from (2.2) and the elementary identity \(\int _{ \mathbb {S}^2} e^{ - i \langle y, \omega \rangle } d \omega = -2 i \pi ({ e^{ i |y| } - e^{ - i |y|}})/|y| \), see [80, Lemma 3.2]. In view of the spectral decomposition based on the Fourier transform,
\( f \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^3) \), formula (2.5) is a special case of the Stone formula relating resolvents and spectral measures [80, (B.1.12)].
The spectral decomposition (2.6) and (2.5) is one way to see the relation of \( R_0 ( \lambda ) \) with the wave equation: for \( f \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^3 ) \)
For \( t > 0 \) we can deform \( {\mathbb {R}}\) in the second integral to the contour \( {\mathbb {R}}- i \gamma \), \( \gamma > 0 \). By letting \( \gamma \rightarrow + \infty \) we then see that
(The integrals above converge only in the distributional sense and hence one should first “integrate” both sides against \( \varphi ( t) \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( ( 0 , \infty )) \) and then deform the contour.) When combined with (2.2) we obtain the Schwartz kernel of \( \sin ( t \sqrt{- \Delta } )/\sqrt{-\Delta } \),
which gives Kirchhoff’s formula
The important feature of (2.9) is the support property of the Schwartz kernel: it vanishes outside of the light cone \( |x - y | = t \). That is the sharp Huyghens principle valid in all odd dimensions greater than one and violated in even dimensions.
We conclude this section with
Theorem 1
Let \( \Delta = \sum _{j=1}^3 \partial _{x_j}^2 \) be the Laplacian in \( {\mathbb {R}}^3 \). Then the resolvent
extends holomorphically to \( \mathbb {C}\) as an operator
Moreover, for any \( \rho \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( B ( 0 , R ); [ 0, 1] ) \) we have
where C depends only on \( \rho \).
Proof
To see (2.10) we apply the (distributional) Fourier inversion formula to (2.8). That gives
Since the Schwartz kernel (2.9) is supported on \( |x-y| = t \) and \( \rho \) is supported in \( |x| < R \) we can also have
To use this to prove (2.10), we note that
This and (2.11) give the bound (2.10) for \( j = 1\). For \( j = 0 \) we write (noting that \( U ( 0 ) = 0 \))
Since \( \partial _t U (t) =\cos t \sqrt{ - \Delta } \) is uniformly bounded on \( L^2 \), the bound (2.10) for \( j = 0 \) follows. \(\square \)
2.2 Meromorphic continuation and definition of resonances
We now consider \( P_V : = - \Delta + V \) where \( V \in L^\infty _{\mathrm{comp}} ( {\mathbb {R}}^3 ) \) is allowed to be complex valued. Since
the study of \( ( P_V - \lambda ^2 )^{-1} \) reduces to the study of \( I + V R_0 ( \lambda ) \). For \( {\mathrm{Im}}\,\lambda > 0 \)
where \( f \mapsto \hat{f}\) is the Fourier transform. This implies that
It follows that
and hence
is a holomorphic family of operators from \( L^2 \) to \( L^2 \) when \( {\mathrm{Im}}\,\lambda \gg 1 \).
We would like to continue \( R_V ( \lambda ) \) as a meromorphic family of operators \( L^2_{\mathrm{comp}\,} ( {\mathbb {R}}^3 ) \rightarrow L^2_{\mathrm{loc}\,} ( {\mathbb {R}}^3 ) \). Because of (2.14) and Theorem 1 this follows from the following statement
Strictly speaking, we should really say that this family is a continuation of the holomorphic family of inverses defined for \( {\mathrm{Im}}\,\lambda \gg 1 \). By a meromorphic family of operators \( \lambda \mapsto A ( \lambda ) \) we mean a family which is holomorphic outside a discrete subset of \( \mathbb {C}\) and at any point \( \lambda _0\) in that subset we have
where \( A_j \) are operators of finite rank and \( \lambda \mapsto A_0 ( \lambda ) \) is holomorphic near \( \lambda _0 \).
The proof of (2.15) relies on analytic Fredholm theory: suppose that \( K ( \lambda ) : L^2 \rightarrow L^2 \) is a holomorphic family of compact operators for \( \lambda \in \mathbb {C}\) and that \( ( I + K ( \lambda _0 ) )^{-1} :L^2 \rightarrow L^2 \) exists at some \( \lambda _0 \in \mathbb {C}\). Then
(See [80, Theorem C.5] for a general statement and a proof.)
It is tempting to apply (2.17) to obtain (2.15) but one immediately notices that \( V R_0 ( \lambda ) \) is not defined on on \( L^2 \) once \( {\mathrm{Im}}\,\lambda \le 0 \). To remedy this we introduce \( \rho \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^3 ) \) equal to 1 on \( \mathrm{supp}\,V \) and write
We consider this first for \( {\mathrm{Im}}\,\lambda \gg 1 \) in which case \( R_0 ( \lambda ) \) is bounded on \( L^2 \). Then
is a bounded operator \( L^2 \rightarrow L^2 \) when \( {\mathrm{Im}}\,\lambda > 0 \) and it continues holomorphically to \( \mathbb {C}\) as an operator \( L^2_{\mathrm{comp}\,} \rightarrow L^2_{\mathrm{comp}\,} \).
For \( {\mathrm{Im}}\,\lambda \gg 1 \), \( V R_0 ( \lambda ) \rho \) has small norm and we conclude that
is a bounded operator on \( L^2 \) when \( {\mathrm{Im}}\,\lambda \gg 1 \) and we need to continue it as an operator \( L^2_{\mathrm{comp}\,} \rightarrow L^2_{\mathrm{comp}\,} \)
Hence to obtain (2.15) we need to show that
But now we can apply (2.17) with \( K ( \lambda ) := V R_0 ( \lambda ) \rho \). In fact, (2.10) shows that if \(\mathrm{supp}\,\rho \subset B ( 0 , R ) \) then \( \rho R_0 ( \lambda ) \rho : L^2 \rightarrow H^1 ( B ( 0 , R ) ) \). The Rellich–Kondrachov Theorem [80, Theorem B.3], shows that \( \rho R_0 ( \lambda ) \rho \) is a compact operator. But then so is \( V R_0 ( \lambda ) \rho = V ( \rho R_0 ( \lambda ) \rho ) \). It follows from (2.17) that
To obtain (2.15) we need to show that compactness of the support is preserved by \( ( I + V R_0 ( \lambda ) \rho )^{-1} \). To see this let \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^n ) \) be equal to 1 on \( \mathrm{supp}\,\rho \). We claim that
In fact, this is valid for \( {\mathrm{Im}}\,\lambda \gg 1 \) by expanding the inverse in Neumann series and then it follows by analytic continuation. From (2.20) and (2.21) we obtain (2.19) which then gives (2.15).
Combining (2.14) and (2.18) with (2.15) we proved
Theorem 2
The operator \( R_V ( \lambda ) \) defined in (2.14) continues to a meromorphic family
This gives a mathematical definition of scattering resonances:
Definition 1
Suppose that \( V \in L^\infty _{\mathrm{comp}\,} ( {\mathbb {R}}^3 ) \) and that \( R_V ( \lambda ) \) is the scattering resolvent of Theorem 2. The poles of \( \lambda \mapsto R_V ( \lambda ) \) are called scattering resonances of V. If \( \lambda _0 \) is a scattering resonance then, in the notation of (2.16) with \( A( \lambda ) = R_0 ( \lambda ) \), the multiplicity of \( \lambda _0 \) is defined as
There are other equivalent definitions of multiplicity which use the special structure of \( A_j \)’s in the case of a resolvent. For instance for \( \lambda _0 \ne 0 \),
where the integral is over a small circle containing \( \lambda _0 \) but no other pole of \( R_V \). The situation at 0 is more complicated—see [80, §3.3] which can serve as an introduction to general theory of Jensen–Kato [149] and Jensen–Nenciu [150].
To see the validity of (2.22) we use the equation \( ( P - \lambda ^2 ) R_V ( \lambda ) f = f \), \( f \in L^2_{\mathrm{comp}\,} \), to see that near a pole \( \lambda _0 \ne 0 \),
where \( \lambda \mapsto A ( \lambda , \lambda _0 ) \) is holomorphic near \( \lambda _0 \), \( ( P_V - \lambda _0^2)^{J} \Pi _{ \lambda _0 } = 0 \) and \( P_V - \lambda _0^2 : \Pi _{\lambda _0 } ( L^2_{\mathrm{comp}\,} ) \rightarrow \Pi _{\lambda _0 } ( L^2_{\mathrm{comp}\,} ) \)—see [80, §3.2, §4.2]. This leads to
Definition 2
A function \( u \in \Pi _{\lambda _0} ( L^2_{\mathrm{comp}\,} ( {\mathbb {R}}^3 ) ) \subset L^2_{\mathrm{loc}\,} ( {\mathbb {R}}^3 ) \) is called a generalized resonant state. If \( ( P_V - \lambda _0^2 ) u = 0 \) then u is called a resonant state. This is equivalent to \( u \in ( P_V -\lambda _0^2 )^{J-1} \Pi _{\lambda _0} ( L^2_{\mathrm{comp}\,} ( {\mathbb {R}}^3 ) ) \).
Formula (2.14) and the expansion (2.23) give the following characterization (see [80, Theorem 3.7, Theorem 4.9])
The condition \( u = R_0 ( \lambda ) f \) is called the outgoing condition. In Sect. 2.6 we will see a more complicated but much more natural characterization of outgoing states.
When V is real valued then \( P_V \) is a self-adjoint operator (with the domain given by \( H^2 ( {\mathbb {R}}^3 ) \)). The poles of \( R_V ( \lambda ) \) in \( {\mathrm{Im}}\,\lambda > 0 \) correspond to negative eigenvalues of \( P_V \) and in (2.23) we have \( J = 1\). This of course is consistent with (2.24) since for \( {\mathrm{Im}}\,\lambda _0 > 0 \), \( R_0 ( \lambda _0 ) f \in L^2 ( {\mathbb {R}}^3 ) \).
2.3 Upper bound on the number of resonances
Once we have defined resonances it is natural to estimate the number of resonances. Since they are now in the complex plane the basic counting function is given by
where \( m ( \lambda ) \) is defined in (2.22).
We will prove the following optimal bound
Theorem 3
Suppose that \( V \in L^\infty _{\mathrm{comp}} ( {\mathbb {R}}^3 ) \). Then
The bound, \( N_V ( r ) \le C r^n \), valid in all odd dimensions n, was proved in [278] using methods developed by Melrose [181, 182] who proved \( N_V ( r ) \le C r^{n+1} \). The proof presented here uses a substantial simplification of the argument due to Vodev [265] who proved corresponding upper bounds in even dimension [266, 267], following an earlier contribution by Intissar [142]. When \( n = 1 \) we have an asymptotic formula,
stated by Regge [221] and proved in [276].
The exponent 3 in (2.26) is optimal as shown by the case of radial potentials. When \( V ( x ) = v ( |x| ) ( R - |x|)_+^0 \), where v is a \( C^2 \) even function, and \( v ( R ) > 0 \), then, see [277],
The constant \( C_R \) and its appearance in a refinement of (2.26) is explained by Stefanov [255].
Interpretation. In the case of \( - \Delta + V \) on a bounded domain or a closed manifold, for instance on \( M = {\mathbb {T}}^n := {\mathbb {R}}^n / \mathbb {Z}^n \) or \( M = \mathbb {S}^{n} \) (the n-sphere), the spectrum is discrete and for \( V \in L^\infty ( {\mathbb {T}}^n ; {\mathbb {R}}) \) we have the asymptotic Weyl law for the number of eigenvalues:
where the eigenvalues are included according to their multiplicities.
In the case of \( - \Delta + V \) on \( {\mathbb {R}}^n \), the discrete spectrum is replaced by the discrete set of resonances. Hence the bound (2.26) is an analogue of the Weyl law. Except in dimension one—see (2.27)—the issue of asymptotics or even optimal lower bounds remains unclear at the time of writing of this survey. We will discuss lower bounds and existence of resonances in Sect. 2.7.
The strategy for the proof of the upper bound (2.26) is to include poles of \( R_V ( \lambda ) \) among zeros of an entire function. The number of poles is then estimated by estimating the growth of that function and using Jensen’s inequality—see the proof of Theorem 3 below. In particular, if \( h ( \lambda ) \) is our entire function then (2.26) follows from a bound
for some constant A.
Hence our goal is to find a suitable h and to prove (2.30). Before doing it we recall some basic facts about trace class operators and Fredholm determinants. We refer to [80, Appendix B] for proofs and pointers to the literature.
Suppose that \( A : H_1 \rightarrow H_2 \) is a bounded operator between two Hilbert spaces. Then \( ( A^* A )^{\frac{1}{2}} : H_1 \rightarrow H_1 \) is a bounded non-negative self-adjoint operator and we denote its spectrum by \( \{ s_j ( A ) \}_{ j=0}^\infty \). The numbers \( s_j ( A )\) are called singular values of A. We will need the following well known inequalities [80, Proposition B.15]
If \( H_1 = H_2 = L^2 ( {\mathbb {R}}^3 ) \) and in addition \( A : L^2 ( {\mathbb {R}}^3 ) \rightarrow H^s ( {\mathbb {R}}^3 ) \), \( s \ge 0 \), and the support of the Schwartz kernel of A is contained in \( B ( 0 , R ) \times B ( 0 , R ) \), then, with a constant depending on R,
(See [80, Example after Proposition B.16] for a proof valid in all dimensions n, that is with 3 replaced by n in (2.32).)
The operator A is said to be of trace class, \( A \in \mathcal {L}_1 ( H_1 , H_2 ) \), if
For \( A \in \mathcal {L}_1 ( H_1, H_1 ) \) can we define Fredholm determinant, \( \det ( I + A ) \),
see [80, §B.5]. A more precise statement is provided by a Weyl inequality (see [80, Proposition B.24])
Lidskii’s theorem [80, Proposition B.27] states that
where \( \{ \lambda _j ( A ) \}_{j=0}^\infty \) are the eigenvalues of A. In particular, \( \det ( I + A ) = 0 \) if and only if \( I + A \) is not invertible. When \( \lambda \mapsto A ( \lambda ) \) is a holomorphic family of operators a more precise statement can be made by taking account multiplicities—see [80, §C.4].
We will now take \( A = - ( V R_0 ( \lambda ) \rho )^4 \), \( H_1 = L^2 ( {\mathbb {R}}^3) \). From (2.10), (2.31) and (2.32) we see that
Another application of (2.31) shows that
and hence \( ( V R_0 ( \lambda ) \rho )^4 \in \mathcal {L}_1\). Thus we can define
We have
Hence in view of (2.14) and (2.18) it is easy to believe that the poles of \( R_V ( \lambda ) \) are included, with multiplicities, among the zeros of \( h ( \lambda ) \)—see [80, Theorem 3.23]:
Remark
It is not difficult to see that we could, just as in [278], take \( \det ( I - ( V R_0 ( \lambda ) \rho )^2 ) \). But the power 4 makes some estimates more straightforward. We could also have taken a modified determinant of \( I + V R_0 ( \lambda ) \rho \) [80, Theorem 3.23, §B.7] and that would give an entire function whose zeros are exactly the resonances of V. That works in dimension three but in higher dimensions the modified determinants grow faster than (2.30)—see [278].
Proof of Theorem 3
Jensen’s formula relates the number of zeros of an entire function h to its growth: if n(r) is the number of zeros of h in \( |z| \le r \)
where we assumed that \( h ( 0 ) \ne 0 \) (an easy modification takes care of the general case). By changing r to 2r, it follows that
It follows from this and (2.38) that
To prove the bound on h we first note that (2.36) and (2.33) show that \( | h ( \lambda ) | \le C \) for \( {\mathrm{Im}}\,\lambda \ge 0 \). To get a good estimate for \( {\mathrm{Im}}\,\lambda \le 0 \) we use (2.31) and (2.34):
Hence we need to estimate \( s_j ( \rho R_0 ( \lambda ) \rho ) \) for \( \rho \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^n ) \).
For \( {\mathrm{Im}}\,\lambda \ge 0 \) we already have the estimate (2.35). To obtain estimates for \( {\mathrm{Im}}\,\lambda \le 0 \) we use (2.5) to write
Hence, using (2.31) and (2.35) again,
To estimate \( s_j ( {\mathbb {E}} ( \lambda ) \rho ) \) we use the Laplacian on the sphere, \( - \Delta _{\mathbb {S}^{2} }\) and the estimate:
where we estimated the supremum using the Cauchy estimates and assumed that \( \mathrm{supp}\,\rho \subset B ( 0 , R ) \). (We follow the usual practice of changing the value of C from line to line.)
From the explicit formula for the eigenvalues of \( - \Delta _{ \mathbb {S}^2} \) (given by \( k( k + 1 ) \) with multiplicity \( k + 1 \)), or from the general counting law (2.29), we see that
The combination of the last two estimates gives
We now optimize the estimate (2.41) in \( \ell \) which gives
Going back to (2.40) we obtain
Returning to (2.39) we use (2.43) as follows
which completes the proof. \(\square \)
The key to fighting exponential growth when \( {\mathrm{Im}}\,\lambda < 0 \) is analyticity near infinity which is used implicitely in (2.41)–(2.44). That is a recurrent theme in many approaches to the study of resonances—see 2.6.
Resonance counting has moved on significantly since these early results. Some of the recent advances will be reviewed in Sect. 3.4, see also [279] for an account of other early works. The most significant breakthrough was Sjöstrand’s discovery [240] of geometric upper bounds on the number of resonances in which the exponent is no longer the dimension as in (2.26) and (2.29) but depends on the dynamical properties of the classical system.
2.4 Resonance free regions
The imaginary parts of resonances are interpreted as decay rates of the corresponding resonant states—see Sect. 2.5 for a justification of that in the context of the wave equation. If there exists a resonance closest to the real axis then (assuming we can justify expansions like (1.2)—see Theorems 5,12) its imaginary part determines the principal rate of decay of waves—see the end of this section for some comments on that. If waves are localized in frequency then imaginary parts of resonances with real parts near that frequency should determine the decay of those waves.
But to assure the possibility of having a principal resonance, that is a resonance closest to the real axis, we need to know that there exists a strip without any resonances. Hence it is of interest to study high frequency resonance free regions which are typically of the form
where \( M> 0 \) may be fixed or arbitrarily large. In the setting of compactly supported potentials we see cases of (c) and (d) : fixed M for bounded potentials [162], arbitrary M for smooth potentials [262] and \( \beta = 1/a \) for potentials in the a–Gevrey class [110]. For applications it is important that the statement about resonance free region is quantitative which means that it comes with some resolvent bounds—see (2.46) below and for applications Sect. 2.5.
Here we present the simplest case:
Theorem 4
Suppose that \( V \in L^\infty ( {\mathbb {R}}^3 ) \), \(\mathrm{supp}\,V \subset B ( 0 , R_0 ) \), and that \( R_V ( \lambda ) \) is the scattering resolvent of Theorem 2.
Then we can find \( A > 0 \) such that for any \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( B ( 0 , R_1 ) ) \), \( R_1 \ge R_0 \), there exists C for which
when \( {\mathrm{Im}}\,\lambda > - {\textstyle \frac{1}{2R_0}} \log | \mathrm{Re}\,\lambda | + A \).
Proof
Without loss of generality we can take \( \chi \) which is equal to 1 on the support of \( \rho \) used in (2.19). Then using Theorem 1, (2.14), (2.18) and (2.21) we see that
where the norms are operator norms \( L^2 \rightarrow L^2 \) unless indicated otherwise. Assuming, as we may that, \( \mathrm{supp}\,\rho \subset B ( 0, R_0 ) \) (the only requirement on \( \rho \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^3 ) \) is that it is equal to 1 on the support of V), it is sufficient to prove that there exist A such that
However, (2.10) applied with \( j = 0 \) gives
once A is large enough (depending on \( C_2 \) which depends on \( \rho \) and V). This completes the proof as we can then invert \(I + V R_0 ( \lambda ) \rho \) as a Neumann series. \(\square \)
In the setting of obstacle scattering, (see Fig. 15 for an example and [80, §§4.1,4.2] for a general framework which includes this case) the study of resonance free regions and of the closely related decay of waves was initiated by Lax–Phillips [162], Morawetz [187] and Ralston [218], see also Morawetz–Ralston–Strauss [189]. These early results stressed the importance of the billiard flow Footnote 1 and provided an impetus for the study of propagation of singularities for boundary value problems by Andersson, Ivrii, Melrose, Lebeau, Sjöstrand and Taylor—see Hörmander [137, Chapter 24] and references given there. A direct method, alternative to Lax–Phillips theory, for relating propagation of singularities to resonance free strips was developed by Vainberg [262], [80, §4.6]. All the possibilities in (2.45) can occur in the case of scattering by obstacles with smooth boundaries:
Geometry | Resonance free region |
---|---|
Arbitrary obstacle | (a) [37]; optimal for obstacles with elliptic closed orbits [254, 256, 260] |
Two convex obstacles | (b) with a pseudo-lattice of resonances below the strip [104, 139], hence optimal |
Several convex obstacles | (b) with M determined by a topological pressure of the chaotic system [103, 140]; an improved gap [210] |
Smooth non-trapping obstacles | (c) with arbitrarily large M [179, 262], using propagation of singularities [137, Chapter 24]; |
Analytic non-trapping obstacles | (d) with \( \beta = \frac{1}{3} \) [12, 215] based on propagation of Gevrey-3 singularities [164]; optimal for convex obstacles |
Smooth strictly convex obstacles | (d) with \( \beta = \frac{1}{3} \) and \( \gamma \) determined by the curvature [124, 151, 246]; Weyl asymptotics for resonances in cubic bands \( \sim r^{n-1} \) [247] |
There has been recent progress in the study of non-smooth obstacles, and in particular in taking account of the effect of diffraction at conic points on the distribution of resonances—see the lecture by Wunsch [272] for a survey and references.
Another rich set of recent results concerns scattering by “thin” barriers modeled by delta function potentials (possibly energy dependent) supported on hypersurfaces in \( {\mathbb {R}}^n \). For example, refinements of the Melrose–Taylor parametrix techniques give, in some cases, the optimal resonance free region defined by \( F ( x ) = x^{ -\beta } \), \( \beta > 0 \) and a mathematical explanation of a Sabine law for quantum corrals [17]. See the works of Galkowski [96,97,98] and Smith–Galkowski [100] where references to earlier literature on resonances for transmission problems can also be found, and Fig. 14 for an illustration.
Finally we make some comments on low energy bounds on resonance widths. Universal lower bounds bounds on \( |{\mathrm{Im}}\,\lambda |\) for star shaped obstacles were obtained by Morawetz [187, 188] for obstacle problems and by Fernández–Lavine [91] for more general operators. In the case of star shaped obstacles the best bound is due to Ralston [219] who using Lax–Phillips theory [162] showed that in all odd dimensions
Remarkably this bound is optimal for the sphere in dimensions three and five. The obvious difficulty in obtaining such bounds is the lack of a variational principle due to the non-self-adjoint nature of the problem (see Sect. 2.6).
The opposite extreme of star shaped obstacles are Helmholtz resonators shown in Fig. 15. Here a cavity is connected to the exterior through a neck of width \( \varepsilon \). A recent breakthrough by Duyckaerts–Grigis–Martinez [64] provided precise asymptotics (as \( \varepsilon \rightarrow 0 \)) of the resonance width associated to the lowest mode of the cavity.
2.5 Resonance expansions of scattered waves
We will use Theorem 4 and prove an expansion of solutions to the wave equation in terms of resonances—see (1.2) and Figs. 6 and 7. To simplify the presentation we make the following assumption:
see [80, §2.2,3.2.2] for the general case and [80, §7.5] for resonance expansions in the case where trapping is allowed.
Theorem 5
Suppose that \( V \in L^\infty ( {\mathbb {R}}^3 ) \) is real valued, \( \mathrm{supp}\,V \subset B ( 0 , R_0 ) \) and that the assumptions above holds. Let w(t, x) be the solution of
where \( R_1 \ge R_0 \). Then for any \( a >0 \),
where \( \{ \lambda _j \}_{j=1}^{\infty } \) are the resonances of \( P_V\) and \( w_j \) are the corresponding resonant states,
exists a constants C depending on V, \( R_1 \) and a such that
Interpretation. Suppose that instead of solving the wave equation (2.48) with \( x \in {\mathbb {R}}^3 \) we consider it for \( x \in \Omega \Subset {\mathbb {R}}^3 \), with, say, Dirichlet boundary conditions, \( u ( x, t ) = 0 \), \( x \in \partial \Omega \) (for \( \partial \Omega \) smooth). Then the solution can be expanded in a series of eigenfunctions of the Dirichlet realization of \( P_V\). Let us assume for simplicity that all eigenvalues are positive, \( 0 < \lambda _1^2 \le \lambda _{2}^2 \cdots \le \lambda _{j}^2 \rightarrow \infty \), \( P_V \varphi _{j} = \lambda _{j}^2 \varphi _{j} \), \( \varphi _{j} |_{\partial \Omega } = 0 \), \( \langle \varphi _{i}, \varphi _{j} \rangle _{L^2 ( \Omega ) } = \delta _{ij} \). For \( j \in - \mathbb {N}^* \) we then put
The solution of (2.48) on \( {\mathbb {R}}\times \Omega \) has an expansion converging in \( {{\mathcal {C}}^\infty }( {\mathbb {R}}; L^2 ( \Omega ) ) \):
A more invariant way to express \( u_j's \) is given by (2.50) with \( R_V ( \lambda ) = ( P_V - \lambda ^2 )^{-1} \), the resolvent of the Dirichlet realization of \( P_V \) on \( \Omega \).
Hence (2.49) is an analogue of the standard expansion (2.52). However, for large times the solution u(t, x) (that is both \(u_j\)’s and the remainder \( E_A \)) are more regular. The proof shows (by applying (2.46) with \( j = 2\), which is also valid) that
and if \( V \in {{\mathcal {C}}^\infty }\) we could replace \( H^2 ( B ( 0 , R_1 ) ) \) in (2.53) by \( H^p \) for any p. That smoothing is visible in Fig. 6. This indicates in a simple case a relation between distribution of resonances and propagation of singularities—see [262], [80, §4.6] and also [14, 16] and [99] for some recent applications.
In (2.53) we did not aim at the optimality of the condition \( t > 10 R_1 \): using propagation of singularities it suffices to take \( t > 2 R_1 \).
Proof of Theorem 5
We first consider (2.48) with \(f \equiv 0\) and \( g \in H^2_{\mathrm{comp}} \). By the spectral theorem, the solution of (2.48) can be written as
where \( dE_\lambda \) is the spectral measure, which just as in the case of the free operator \( P_0 \) (2.5), (2.6), can be expressed using Stone’s formula [80, Theorem B.8]:
Hence, as in (2.7),
To justify convergence of the integral we use the spectral theorem (see 2.55) which shows that
From that we conclude that for \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}\) equal to 1 on \( \mathrm{supp}\,g \),
Theorem 4 and the assumption that there is no zero resonanceFootnote 2 shows that
Hence the integral on the right hand side of (2.56) converges in \( H^1_{\mathrm{loc}} \).
We now want to deform the contour in (2.56). For that we choose r large enough so that all the resonances with \( {\mathrm{Im}}\,\lambda > - a - \delta \log ( 1 + | \lambda | ) \) are contained in \( | \lambda | \le r \). If we choose \( \delta < \frac{1}{2 R_0 } \) that is possible thanks to Theorem 4.
We now deform the contour of integration using the following contours:
Here we choose \( \varepsilon \) and so that there are no resonances on \( \Gamma \). We also put
and define
In this notation the residue theorem shows that U(t) defined in (2.54) is given by
where (with natural orientations—see Fig. 16)
Using (2.46) and (2.57) we obtain
and
Returning to (2.59) we see that
where \( E_\Gamma \) is defined using (2.60) with \( \Gamma \) given in (2.58).
We now show that when t is large enough,
For that we use (2.46) with \( j = 1 \) for \( |\lambda | > R \), and the assumption that there are no poles of \( R_V ( \lambda ) \) near \( \Gamma \). Thus we obtain:
Since \( H^1 \) is dense in \( L^2 \) the decomposition (2.61) is valid for \( g \in L^2 \) proving theorem for \( f = 0 \), once t is large enough. But for bounded t, \( \Vert w ( t )\Vert _{H^1 } \le C \Vert g \Vert _{L^2} \). The result follows by noting that \( \chi E_a ( t ) = E_\Gamma ( t) g \).
The case of arbitrary \( f \in H^1_{\mathrm{comp} } \) and \(g \equiv 0\) follows by replacing \({\sin t\lambda }/{\lambda }\) by \(\cos t\lambda \) in the formula for w(t, x). \(\square \)
The expansion of waves provides an (admittedly) weak approximation to correlations (see Fig. 3) related to the Breit–Wigner approximation. Suppose \( g \in L^2 ( B ( 0 , R_1 ) ) \), \( h \in H^{-1} ( B ( 0 , R_0 ) )\) and put \( U ( t ) := \sin t \sqrt{P}_V / \sqrt{P}_V \). We define the following correlation function
and its power spectrum:
A formal application of the expansion (2.56) suggests
but it is difficult to give useful remainder estimates in general. Expansion (2.65) is just an expansion of a meromorphic function with simple poles (as assumed here) following an analogue of (2.11).
For Breit–Wigner type formula near a single resonance in the semiclassical limit see Gérard–Martinez [105] and Gérard–Martinez–Robert [106] and for high energy results and results for clouds of resonances, Petkov–Zworski [211, 212] and Nakamura–Stefanov–Zworski [194].
We finally comment on expansions on the case of the Schrödinger equation. In that case the dispersive nature of the equation makes it harder to justify resonance expansions. It can be done when a semiclassical parameter is present, see Burq–Zworski [40] and Nakamura–Stefanov–Zworski [194], or when one considers a localized resonance—see Merkli–Sigal [185], Soffer–Weinstein [253] and references given there.
2.6 Complex scaling in dimension one
In Sect. 2.2 we established meromorphic continuation using analytic Fredholm theory. That allowed us to obtain general bounds on the number of resonances and to justify resonance expansions. To obtain more refined results relating geometry to the distribution of resonances, as indicated in Sect. 1.3, we would like to use spectral theory of partial differential equations. And for that we would like to have a differential operator whose eigenvalues would be given by resonances. That operator should also have suitable Fredholm properties. We would call this an effective meromorphic continuation.
The method of complex scaling produces a natural family of non-self-adjoint operators whose discrete spectrum consists of resonances. It originated in the work of Aguilar-Combes [3], Balslev-Combes [10] and was developed by Simon [239], Hunziker [138], Helffer-Sjöstrand [125], Hislop–Sigal [133] and other authors. For very general compactly supported “black box” perturbations and for large angles of scaling it was studied in [245] while the case of long range black box perturbations was worked out in [241]. The method has been extensively used in computational chemistry—see Reinhardt [222] for a review. As the method of perfectly matched layers it reappeared in numerical analysis—see Berenger [19].
In this section we present the simplest case of the method by working in one dimension.Footnote 3 The idea is to consider \( D_x^2 \) as a restriction of the complex second derivative \( D_z^2 \) to the real axis thought of as a contour in \( \mathbb {C}\). This contour is then deformed away from the support of V so that \( P = D_x^2 + V ( x ) \) can be restricted to it. This provides ellipticity at infinity at the price of losing self-adjointness.
Before proceeding we need to discuss the definition of resonances in dimension one. In that case the free resolvent, \( R_0 ( \lambda ) = ( P_0 - \lambda ^2 )^{-1} \), \( P_0 = - \partial _x^2 \), has a very simple Schwartz kernel,
which means that as an operator \( R_0 ( \lambda ) : L^2_{\mathrm{comp}\,} ( {\mathbb {R}}) \rightarrow L^2_{\mathrm{loc}} ( {\mathbb {R}}) \), the resolvent continues to a meromorphic family with a single pole at \( \lambda = 0 \).Footnote 4
The approach of Sect. 2.2 carries through without essential modifications and in particular the characterization of resonant states (2.24) applies. Since for \( \lambda \ne 0 \),
we have the following characterization of scattering resonances
For reasons of simplicity we will not consider multiplicities. The only possibility here is having algebraic multiplicities since solutions satisfying the condition in (2.66) are unique up to a multiplicative constant.
We now construct an operator which has resonances as its discrete spectrum. For that let \(\Gamma \subset \mathbb {C}\) be a \( C^1 \) simple curve. We define differentiation and integration of functions mapping \(\Gamma \) to \(\mathbb {C}\) as follows. Let \(\gamma (t)\) be a parametrization \({\mathbb {R}}\rightarrow \Gamma \), and let \(f \in C^1(\Gamma )\) in the sense that \(f \circ \gamma \in C^1({\mathbb {R}})\). We define
where the inverse and the multiplication are in the sense of complex numbers.
The chain rule shows that \( \partial ^\Gamma _z f ( z_0 )\) is independent of parametrization and that for F holomorphic near \( \Gamma \),
where \( \partial _z = \frac{1}{2} ( \partial _x - i \partial _y) \) (see [80, §4.6]).
We make the following assumption on the behaviour of \( \Gamma \) at infinity:
An example of \( \Gamma \) is shown in Fig. 17. One can consider more general behaviour at infinity such as shown in Fig. 18 where \( \Gamma = \{ x + i g ( x ) : x \in {\mathbb {R}}\} \) for a specific g.
Given a potential \( V \in L^\infty _{\mathrm{comp} } ( {\mathbb {R}}; \mathbb {C}) \) we further assume that
The potential V is then a well defined function on \(\Gamma \), so that putting
makes sense.
We now want to relate eigenvalues of \( P_{V,\Gamma } \) to the resonances, that is to \( \lambda \)’s for which (2.66) holds. For that let us write \( \Gamma \) as a disjoint union of connected components:
where \( {\mathrm{Im}}\,z \rightarrow \pm \infty \) on \( \Gamma _\pm \). We then observe that
That is because on \( \Gamma _\pm \) we are away from the support of the potential and the unique solutions to our differential equations have to come from holomorphic solutions to
Condition (2.67) shows that
Hence \( u_\Gamma \in L^2 ( \Gamma ) \) if and only if \( b_\pm = 0 \) in (2.70). But then
satisfies the condition in (2.66) and hence \( \lambda \) is a resonance.
This argument can be reversed and consequently we basically proved [80, Theorem 2.20]:
Theorem 6
(Complex scaling in dimension one) Suppose that \( \Gamma \) satisfies (2.67) and \( P_{V,\Gamma } \) is defined by (2.69) with \( V \in L^\infty _{\mathrm{comp} } ( {\mathbb {R}}; \mathbb {C}) \). Define
where \( \arg : {\overline{{\mathbb {R}}}}_- \rightarrow ( - \pi , \pi ) \).
For \( \lambda \in \Lambda _\Gamma \),
is a Fredholm operator and the spectrum of \( P_{\Gamma , V } \) in \( \Lambda _\Gamma \) is discrete.
Moreover, the eigenvalues of \( P_{V, \Gamma } \) in \( \Lambda _\Gamma \) coincide with the resonances of \( P_V \) there, and
where \( m ( \lambda ) \) is the multiplicity of the resonance at \( \lambda \) (see Definition 1) and the integral is over a sufficiently small positively oriented circle enclosing \( \lambda \).
Interpretation. We first remark that
is a projection. Hence, the method of complex scaling identifies the multiplicity of a resonance with a trace of a (non-orthogonal) projection. We gain the advantage of being able to use methods of spectral theory, albeit in the murkier non-normal setting. The resonant states, that is the outgoing solutions to \( ( P - \lambda ^2 ) u \), are restrictions to \( {\mathbb {R}}\) of functions which continue holomorphically to fuctions with \( L^2 \) restrictions to \( \Gamma \). Since have dealt only with compactly supported potentials our countours \( \Gamma \) had to coincide with \( {\mathbb {R}}\) near the support of V. The method generalizes to the case of potentials which are analytic and decaying in conic neighbourhoods of \( \pm ( L , \infty ) \). Generalizations to higher dimensions are based on the same principles but the treatment is no longer as explicit.
2.7 Other results and open problems
For \( V \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^n ) \), real valued, existence of infinitely many resonances was proved by Melrose [184] for \( n = 3 \) and by Sá Barreto–Zworski [230] for all odd n (including for any superexponentially decaying potentials). The surprising fact that there exist complex valued potentials in odd dimensions greater than or equal to three that have no resonances at all was discovered by Christiansen [46].
Quantitative statements about the counting function, \( N_V ( r ) \), of resonances in \( \{ |\lambda | \le r \}\) were obtained by Christiansen [45] and Sá Barreto [229]:
For potentials generic in \( {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^n; \mathbb {F}) \) or \( L^\infty _{\mathrm{c}} ( {\mathbb {R}}^n ; \mathbb {F}) \), \( {\mathbb {F}} = {\mathbb {R}}\) or \( \mathbb {C}\), Christiansen and Hislop [47] proved a stronger statement
The limit (2.74) means that the upper bound \( N_V ( r ) \le C r^n \) in Theorem 3 is optimal for generic complex or real valued potentials. The only case of asymptotics \( \sim r^n \) for non-radial potentials was provided by Dinh and Vu [58] who proved that potentials in a large subset of \( L^\infty (B ( 0 , 1 )) \) have resonances satisfying the Weyl law (2.28). The proofs of these results use techniques from several complex variables.
Recently Smith–Zworski [252] showed that any real valued
has infinitely many resonances and any \( V \in L^\infty _{\mathrm{comp}} ( {\mathbb {R}}^n) \) has some resonances (n odd). It is still a (ridiculous) open question if every real bounded potential (\( \ne 0 \)) has infinitely many resonances.
The most frustrating open problem is existence of an optimal lower bound. It is not clear if we can expect an asymptotic formula.
Conjecture 1
Suppose \( V \in L^\infty _{\mathrm{comp}\,} ( {\mathbb {R}}^n ) \), n odd, is real-valued and non-zero. Then there exists \( c > 0 \) such that
where the counting function \( N_V ( r ) \) is defined in (2.25).
All of the above questions can be asked in even dimensions and for obstacle problems in which case the bound (2.26) was established by Melrose [182] for odd dimensions and by Vodev [266, 267] in even dimension. A remarkable recent advance is due to Christiansen [48] who proved that for any obstacle in even dimensions we always have \( r^n \) growth for the number of resonances—see that paper for other references concerning lower bounds in even dimension.
Existence of resonances can be considered as a primitive inverse problem: a potential with no resonances is identically zero. In one dimension or in the radial case finer inverse results have been obtained: see Korotyaev [160, 161], Brown–Knowles–Weikard [36], Bledsoe–Weikard [18], Datchev–Hezari [55] and references given there.
Another recent development in the study of resonances for compactly supported potentials concerns highly oscillatory potentials \( V ( x ) = W ( x , x/\varepsilon ) \) where \( W : {\mathbb {R}}^n \times {\mathbb {R}}^n/ \mathbb {Z}^n \rightarrow {\mathbb {R}}\) (or \(\mathbb {C}\)) is compactly supported in the first set of variables. Precise results for \( n = 1 \) were obtained by Duchêne–Vukićević–Weinstein [63]: resonances are close to resonances of \( W_0 ( x ) := \int _{{\mathbb {R}}^n/\mathbb {Z}^n} W ( x , y ) dy \), and the difference is given by \( \varepsilon ^4 \alpha + \mathcal {O} ( \varepsilon ^5 ) \) where, in the spirit of homogenization theory, \( \alpha \) can be computed using an effective potential. In a remarkable follow-up Drouot [61] generalized this result to all odd dimensions and obtained a full asymptotic expansion in powers of \(\varepsilon \).
3 Some recent developments
We will now describe some recent developments in meromorphic continuation, resonance free regions, resonance counting and resonance expansions for semiclassical operators \( - h^2 \Delta _g + V \) on Riemannian manifolds with Euclidean and non-Euclidean infinities. We will also formulate some conjectures: some quite realistic (even numbered) and some perhaps less so (odd numbered).Footnote 5
Before doing it let us mention some interesting topics which lie beyond the scope of this survey. We will discuss hyperbolic trapped sets but not homoclinic trapped sets. Although not stable under perturbations these trapped sets occur in many situations each with its own interesting structure in distribution of resonances. An impressively precise study of this has been made by Bony–Fujiie–Ramond–Zerzeri [28]. In our survey of counting results we will concentrate on fractal Weyl laws and we refer to Borthwick–Guillarmou [32] for recent results on resonance counting in geometric settings. In the semiclassical Euclidean setting Sjöstrand [244] obtained precise asymptotic counting results in the case of random potentials. The introduction of randomness should be a beginning of a new development in the subject. We also do not discuss the important case of resonances for magnetic Schrödinger operators and refer to Alexandrova–Tamura [4], Bony–Bruneau–Raikov, [26] and Tamura [258, 259] for some recent results and pointers to the literature. We do not address issues around threshold resonances (see Jensen–Nenciu [150] and references given there) and their importance in dispersive estimates (see the survey by Schlag [233]) and for non-linear equations (for an example of a linearly counterintuitive phenomenon, see [135, Figure 6]). Finally, for the role that shape resonances have had in the study of blow-up phenomena we defer to Perelman [208] and Holmer–Liu [134] and to the references given there.
The section is organized as follows: in Sect. 3.1 we review Vasy’s method for defining resonances for asymptotically hyperbolic manifolds. In Sect. 3.2 we first review general results on resonance free regions and then describe the case of hyperbolic (in the dynamical sense) trapped sets. As applications of results in Sects. 3.1 and 3.2 we discuss expansions of waves in black hole backgrounds in Sect. 3.3. The last Sect. 3.4 is devoted to mathematical study of fractal Weyl laws with some references to the growing physics literature on that subject.
3.1 Meromorphic continuation in geometric scattering
In Sect. 2.2 we showed how to continue the resolvent meromorphically across the spectrum using analytic Fredholm theory. In Sect. 2.6 we presented the method of complex scaling which provides an effective meromorphic continuation in the sense that resonances are identified with eigenvalues of non-self-adjoint Fredholm operators. As one can see already in the one dimensional presentation that method is closely tied to the structure of the operator near infinity.
With motivation coming from general relativity in physics (see Sect. 3.3) and from analysis on locally symmetric spaces it is natural to consider different structures near infinity. Here we will discuss complete asymptotically hyperbolic Riemannian manifolds modeled on the hyperbolic space near infinity. For more general hyperbolic ends see Guillarmou–Mazzeo [119] where meromorphy of the resolvent was established using analytic Fredholm theory without providing an effective meromorphic continuation as defined above. We also remark that complex scaling method is possible in the case of manifolds with cusps. For a subtle application of that see a recent paper by Datchev [52] where existence of arbitrarily wide resonance free strips for negative curvature perturbations of \( \langle z \mapsto z + 1\rangle \backslash \mathbb {H}^2 \) is established. For a recent analysis of a higher rank symmetric spaces and references to earlier works see Mazzeo–Vasy [177, 178] and Hilgert–Pasquale–Przebinda [126].
A basic example of our class of manifolds is given by the hyperbolic space \({\mathbb {H}}^{n}\), which can be viewed as the open unit ball in \({\mathbb {R}}^n\) with the metric
A more interesting family of examples is provided by convex co-compact hyperbolic surfaces, which are complete two-dimensional Riemannian manifolds of constant sectional curvature \(-1\) whose infinite ends are funnels, that is they have the form
Convex co-compact hyperbolic surfaces can be viewed as the quotients of \({\mathbb {H}}^2\) by certain discrete subgroups of its isometry group \(\mathrm{PSL}\,(2;{\mathbb {R}})\) [31], and have profound applications in algebra and number theory—see for instance Bourgain–Gamburd–Sarnak [35]. Furthermore, they give fundamental examples of hyperbolic trapped sets and are a model object to study the effects of hyperbolic trapping on distribution of resonances. Examples which will be discussed in Sects. 3.2, 3.4 are shown in Fig. 19.
The examples above are generalized as even asymptotically hyperbolic manifolds. To define that class of manifolds, suppose that \( \overline{M}\) is a compact manifold with boundary \( \partial M \ne \emptyset \) of dimension \( n +1 \). We denote by M the interior of \( \overline{M} \). The Riemannian manifold (M, g) is even asymptotically hyperbolic if there exist functions \( y' \in {\bar{\mathcal {C}}^\infty }( M ; \partial M )\) and \( y_1 \in {{\bar{\mathcal {C}}^\infty }} ( M ; (0, 2) ) \) Footnote 6, \( y_1|_{\partial M } = 0 \), \( dy_1|_{\partial M } \ne 0 \), such that
is a diffeomorphism, and near \( \partial M \) the metric has the form,
where \( [ 0, 1 ) \ni t \mapsto h ( t ) \), is a smooth family of Riemannian metrics on \( \partial M \). For the discussion of invariance of this definition and of its geometric meaning we refer to [80, §5.1] and [115, §2]. Here we will point out how it fits with the two examples. For (3.1) we have
where \( h_0 \) is the standard metric on the unit sphere \( \mathbb {S}^{n-1} \). In the case of (3.2), we have a coordinate system y on \( \{ v > 0 \} \):
Let \( - \Delta _g \ge 0 \) be the Laplace–Beltrami operator for the metric g. Since \( - \Delta _g \) is a self-adjoint operator, the spectrum is contained in \( [ 0 , \infty ) \) the operator \(- \Delta _g - \lambda ^2 - (\frac{n}{2})^2 \) is invertible on \( H^2 ( M , d \mathrm{vol}\,_g ) \) for \( {\mathrm{Im}}\,\lambda > \frac{n}{2} \). Hence we can define
It turns out that \( R ( \lambda ) : L^2 \rightarrow H^2 \) is meromorphic for \( {\mathrm{Im}}\,\lambda > 0 \): the poles correspond to \( L^2 \) eigenvalues of \( - \Delta _g \) and hence lie in \( i (0 , \frac{n}{2} ) \). A closely related standard fact is that the continuous spectrum of \( - \Delta _g \) is equal to \( [ (\frac{n}{2})^2 , \infty ) \). This explains our “shifted” convention in defining \( R ( \lambda ) \).
Elliptic regularity shows that \( R ( \zeta ) : {\dot{\mathcal {C}}^\infty }( M ) \rightarrow {{\mathcal {C}}^\infty }( M )\), \( {\mathrm{Im}}\,\lambda > n/2 \). Hence is natural to consider meromorphic continuation of
That meromorphy was first established for any asymptotically hyperbolic metric (that is a metric of the form (3.4) but with \( h = h ( y_1 ) \)) by Mazzeo–Melrose [176]. Other early contributions were made by Agmon [2], Fay [90], Lax–Phillips [163], Mandouvalos [172], Patterson [205,206,207] and Perry [209]. Guillarmou [115] showed that the evenness condition was needed for a global meromorphic continuation and clarified the construction given in [176].
All these arguments relied on analytic Fredholm theory (2.17) and did not provide an effective continuation in the sense Sect. 2.6. A recent breakthrough due to Vasy [263] provided such effective continuation by expressing \( R ( \lambda ) \) using \( P ( \lambda )^{-1} \) where
Hence, microlocal methods can now be used to prove results which were not available before, for instance existence of resonance free strips for non-trapping metrics [264]. Other applications in the theory of resonances will be presented in Sects. 3.2, 3.4. Roughly speaking, thanks to Vasy’s method we can now concentrate on the interaction region where interesting dynamical phenomena occur and treat infinity as a black box, almost in the same way as complex scaling allowed us in the Euclidean case. (See Wunsch–Zworski [273] for a class of asymptotically Euclidean manifolds to which the method of complex scaling also applies.) We also mention some applications not covered by this survey: a quantitative version of Hawking radiation by Drouot [61], exponential decay of waves in the Kerr–de Sitter case and the description of quasi-normal modes for perturbations of Kerr–de Sitter black holes by Dyatlov [65, 68], rigorous definition of quasi-normal modes for Kerr–Anti de Sitter black holesFootnote 7 by Gannot [101]. The construction of the Fredholm family also plays a role in the study of linear and non-linear scattering problems—see the works of Baskin–Vasy–Wunsch [15], Hintz–Vasy [129, 130] and references given there. In particular, it is important in the recent proof of nonlinear stability of Kerr–de Sitter black holes by Hintz and Vasy [131].
We will follow the presentation of [282] and for simplicity will not consider the semiclassical case. That of course is essential for applications and can be found in a textbook presentation of [80, Chapter 5].
Let \( y' \in \partial M \) denote the variable on \( \partial M \). Then (3.4) implies that near \( \partial M \), the Laplacian has the form
Here \( \Delta _{h (y_1^2 ) } \) is the Laplacian for the family of metrics on \( \partial M \) depending smoothly on \( y_1^2 \) and \( \gamma \in {{\mathcal {C}}^\infty }( [0,1]\times \partial M ) \). (The logarithmic derivative defining \( \gamma \) is independent of of the density on \( \partial M\) needed to define the determinant \( {\bar{h}} \).)
As established in [176] (see [282, §6] for a direct argument) the unique \( L^2 \) solution, u, to \( ( - \Delta _g - \lambda ^2 - ({\textstyle {\frac{n}{2} }})^2 ) u =f \in {\dot{\mathcal {C}}^\infty }( M) \), \( {\mathrm{Im}}\,\lambda > 0 \), satisfies
This suggests two things:
-
in order to reduce the investigation to the study of regularity we should conjugate \( - \Delta _g \) by the weight \( y_1^{-i \lambda + \frac{n}{2} } \).
-
the desired smoothness properties should be stronger in the sense that the functions should be smooth in \( (y_1^2 , y' ) \).
Motivated by this we calculate,
where, near \( \partial M \),
We note that (3.11) makes sense globally since away from the boundary \( y_1 \) is a smooth non-zero function on M.
To define the operator \( P ( \lambda ) \) geometrically we introduce a new manifold using coordinates (3.3) and \( x_1 = y_1^2 \) for \( y_1 > 0 \):
We note that \( X_1 := X \cap \{ x_1 > 0 \} \) is diffeomorphic to M but \( \overline{X}_1 \) and \( \overline{M} \) have different \( {{\mathcal {C}}^\infty }\)-structures. We can extend \( x_1 \rightarrow h ( x_1 ) \) to a family of smooth non-degenerate metrics on \( \partial M \) on \( [-1,1]\). Using (3.9) that provides a natural extension of the function \( \gamma \) appearing (3.11). If in local coordinates we define
then with respect to \( L^2 = L^2 ( X, d\mu _g ) \) we have
To define spaces on which \( P ( \lambda ) \) is a Fredholm operator we recall the notation for Sobolev spaces on manifolds with boundary. We denote by \( {\bar{H}}^s ( X^\circ ) \) the space of restrictions of elements of \( H^s \) on an extension of X across the boundary to the interior of X.
Definition 3
We define the following Hilbert spaces
and the operator \( P ( \lambda ) : \mathscr {X}_s \rightarrow \mathscr {Y}_s \), given by (3.11) and (3.12).
Since the dependence on \( \lambda \) in \( P ( \lambda ) \) occurs only in lower order terms we can replace \( P ( \lambda ) \) by P(0) in (3.16). Hence the definition of \( \mathscr {X}_s \) is independent of \( \lambda \).
Motivation: Since for \( x_1 < 0 \) the operator \( P ( \lambda ) \) is hyperbolic with respect to the surfaces \( x_1 = a < 0 \) we can motivate Definition 3 as follows. Consider \( P = D_{x_1}^2 - D_{x_2}^2 \) on \( [ -1, 0 ] \times \mathbb {S}^1 \) and define
Then standard hyperbolic estimates—see for instance [137, Theorem 23.2.4]—show that for any \( s \in {\mathbb {R}}\), the operator \( P : X_s \rightarrow Y_s \) is invertible. Roughly, the support condition gives 0 initial values at \( x_1 = 0 \) and hence \( P u = f \) can be uniquely solved for \( x_1 < 0 \).
We can now state the result about mapping properties of \( P ( \lambda ) \):
Theorem 7
Let \( \mathscr {X}_s , \mathscr {Y}_s \) be defined in (3.16). Then for \( {\mathrm{Im}}\,\lambda > - s - \frac{1}{2} \) the operator \( P ( \lambda ) : \mathscr {X}_s \rightarrow \mathscr {Y}_s \), has the Fredholm property, that is \(\dim \{ u \in \mathscr {X}_s : P ( \lambda ) u = 0 \} < \infty \), \( \dim \mathscr {Y}_s / P ( \lambda ) \mathscr {X}_s < \infty \), and \( P ( \lambda ) \mathscr {X}_s \) is closed.
Moreover for \( {\mathrm{Im}}\,\lambda > 0 \), \( \lambda ^2 + (\frac{n}{2} )^2 \notin \mathrm{Spec}\,( - \Delta _g ) \) and \( s > -{\mathrm{Im}}\,\lambda - \frac{1}{2} \), \( P ( \lambda ) : \mathscr {X}_s \rightarrow \mathscr {Y}_s \) is invertible. Hence, for \( s \in {\mathbb {R}}\) and \( {\mathrm{Im}}\,\lambda > - s - \frac{1}{2} \), \( \lambda \mapsto P ( \lambda )^{-1} : \mathscr {Y}_s \rightarrow \mathscr {X}_s , \) is a meromorphic family of operators with poles of finite rank.
In view of (3.11) this immediately recovers the results of Mazzeo–Melrose [176] and Guillarmou [115] in the case of even metrics (Guillarmou showed that for generic non-even metrics global meromorphic continuation does not hold; he also showed that the method of [176] does provide a meromorphic continuation to \( \mathbb {C}\setminus -i \mathbb {N}^* \) for all asymptotically hyperbolic metrics and to \( \mathbb {C}\) for the even ones):
Theorem 8
Suppose that (M, g) is an even asymptotically hyperbolic manifold and that \( R ( \lambda ) \) is defined by (3.7). Then \( R (\lambda ) : {\dot{\mathcal {C}}^\infty }( M ) \rightarrow {{\mathcal {C}}^\infty }( M ) \), continues meromorphically from \( {\mathrm{Im}}\,\lambda > \frac{n}{2} \) to \( \mathbb {C}\) with poles of finite rank.
For self-contained proofs of these theorems we refer to [282], and for the semiclassical version in the same spirit to [80, §5.6]. The general idea is to estimate u in terms of \( P ( \lambda ) u \) with lower order corrections:
where \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( X^\circ )\), \( \chi = 0 \) in \( x_1 < - 2 \delta \), \( \chi = 1 \) in \( x_1 > - \delta \), \( \delta > 0 \). That is done by using ellipticity of \( P ( \lambda ) \) in \( x_1 > \delta \), hyperbolicity of \( P ( \lambda ) \) in \( x_1 < - \delta \) and propagation of singularities in the transition region \( x_1 = 0 \)—see [282, §4,5].
The key propagation estimate used by Vasy [263] comes from the work of Melrose on propagation estimates at radial points occurring in scattering on asymptotically Euclidean spaces [183]. These estimates also play a role in applications of microlocal methods to dynamical systems—see Sect. 4. Here we will only state one basic consequence—see [282, §4, Remark 3]:
This means that above a threshold of regularity given by \( - {\mathrm{Im}}\,\lambda + \frac{1}{2} \) the operator is hypoelliptic and that
This implies that resonant states, in the original coordinates, are characterized by
which should be compared to (2.24).
Some understanding of (3.17) can be obtained as follows. Suppose we consider a simplified operator \( P_0 ( \lambda ) = x D_{x}^2 - ( \lambda + i ) D_{x} \), Then solutions of \( P_0 ( \lambda ) u = 0 \) are given by
Here we use the notation of [136, §3.2]. From [136, Example 7.1.17] we then see that \( x_\pm ^{i \lambda } \in H_{\mathrm{loc}\,}^{ - {\mathrm{Im}}\,\lambda + \frac{1}{2} - }\setminus H_{\mathrm{loc}\,} ^{ - {\mathrm{Im}}\,\lambda + \frac{1}{2} }\). Hence,
This also shows that (3.17), and consequently Theorem 7, are essentially optimal.
The actual proof of (3.17) is based on the analysis of the Hamilton flow of the principal symbol of \( P ( \lambda ) \), \( x_1 \xi _1^2 + |\xi '|^2_{h(x)} \in {{\mathcal {C}}^\infty }( T^* X ) \), and of positive commutator estimates depending on lower order terms—that is where the dependence on \( \lambda \) comes from. For that we refer to [282, §4], [80, §E.5.2].
One weakness of the method lies in the fact that it provides effective meromorphic continuation only in strips, even though the resolvent is meromorphic in \( \mathbb {C}\). Hence, results which involve larger regions (such as asymptotics of resonances for convex obstacles [152, 247] where resonances lie in cubic regions, \( {\mathrm{Im}}\,\lambda \sim - | \mathrm{Re}\,\lambda |^{\frac{1}{3}} \)) are still inaccessible in the setting of asymptotically hyperbolic manifolds (or even \( \mathbb {H}^n \setminus \mathcal {O} \)). Analyticity near infinity should play a role when larger regions are considered and towards that aim we formulate a conjecture which could perhaps interest specialists in analytic hypoellipticity. It is an analytic analogue of (3.17) and it also has a microlocal version:
Conjecture 2
Footnote 8 Suppose that \( P ( \lambda ) \) is given by (3.12) and that near \( x_1 = 0 \) the coefficients of \( P ( \lambda ) \) are real analytic. Let U be a sufficiently small neighbourhood of \( x_1 = 0 \). Then,
where \( C^\omega \) denotes the space of analytic functions.
We remark that in the analytic case the operator \( P ( \lambda ) \) belongs to the class of Fuchsian differential operators studied by Baouendi–Goulaouic [11] and that the conjecture is true for \( P ( \lambda ) = 4 ( x_1 D_{x_1}^2 - ( \lambda + i ) D_{x_1 } ) - \Delta _h \), where h is a metric on \( \partial M\), independent of \( x_1 \) and \( \lambda \notin - i \mathbb {N}^* \) [166].
3.2 Resonance free regions
We will now consider semiclassical operators
on Riemannian manifolds (M, g) where M is isometric to \( ( {\mathbb {R}}^n, g_0 ) \) outside of a compact set, with \( g_0 \) the Euclidean metric, and \( V \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}^n ; {\mathbb {R}}) \). More general classes of metrics and potentials can be considered—see [241]. We could also generalize the class of manifolds—see [273]. Later in this section we will also discuss the case of asymptotically hyperbolic manifolds of Sect. 3.1.
The method of complex scaling (see [241, 273]) gives (see Fig. 20)
We denote the set of poles of \( ( P( h) - z )^{-1} \), that is the set of resonances of P(h) , by \( \mathrm{Res}\,( P ( h ) ) \) (we include h to stress the dependence on our semiclassical parameter).
The asymptotic parameter h is supposed to be small and we will consider resonances of P(h) near a fixed energy level. When \( V \equiv 0 \) then the limit \( h \rightarrow 0 \) corresponds to the high energy limit but even in that case the link with physical intuitions around classical/quantum correspondence is useful.
The distribution of resonances is closely related to the properties of the classical Hamiltonian flow
where \( T^* M \) is the cotangent bundle of M, and \( H_p \) is the Hamilton vector field of p. In local coordinates \( ( x, \xi ) \in T^*M \), \( x \in M \),
To define the trapped set we first define incoming and outgoing sets at a given interval of energies \( J \subset {\mathbb {R}}\):
and the trapped set at energy E:
If \( J =\{ E\} \) then we write \( K_{ \{ E \} } = K_E \). The simplest is “non-trapping scattering” in which \( K_E = \emptyset \). This implies that \( K_J = \emptyset \) for some neighbourhood J of E—see [80, §6.1] for other basic properties of \( \Gamma ^\pm \) and K.
The behaviour of the flow near the trapped set has an effect on the distribution of scattering resonances and in particular on the type of resonance free regions. As in Sect. 2.4 we consider different possibilities:
In the case of \( P ( h ) = - h^2 \Delta _g \) (or for obstacle problems) this is equivalent to resonance free regions (2.45) with
Note that \( \lambda ^2 = h^2 z \); this is consistent with dynamical quantities defined for \( p = |\xi |_g^2 \) in the z-picture and for \( p = |\xi |_g \) in the \( \lambda \) picture. Nevertheless this is potentially confusing when comparing results involving (3.29) and (3.36).
The following table indicates various stable dynamical configurations with pointers to the literature (we refer to (3.26) for the types of resonance free regions):
Hamiltonian flow | Resonance free region and resolvent bounds |
---|---|
General case | (a) [38, 43, 51, 224, 236, 268], [80, §6.4]; optimal for shape resonances [95, 125], and for “resonances from quasimodes” [102, 254, 260], [80, §7.3]; corresponding cut-off resolvent bounds (cf.(2.46)) also optimal [54] |
Normally hyperbolic trapping | (b) with \( \gamma \) given by a “Lyapounov exponent” [69, 108, 202, 274], [80, §6.3]; optimal for one closed hyperbolic orbit [107] and for r-normally hyperbolic trapping [67] |
Hyperbolic trapped set | (b) with \( \gamma \) determined by a topological pressure of the trapped set [200]; an improved gap expected; known for hyperbolic quotients [75, 191, 257] |
Smooth non-trapping | |
a-Gevrey non-trapping | (d) with \( \beta = 1- 1 /a \) [225] |
Analytic non-trapping | (d) with \( \beta = 0 \) [125, 240]; optimal with density \(\sim h^{-n} \) via Sjöstrand’s trace formula [242], [80, §7.4] |
(See Definitions 4, 5 for definitions hyperbolic and normally hyperbolic trapped sets and (3.29), (3.36) for definitions of “Lyapounov exponenents” and topogical pressure respectively; smooth, Gevrey and analytic refers to the regularity of the coefficients of the operator P.)
The first case we will consider is that of hyperbolic trapped sets:
Definition 4
Suppose that \( dp |_{ p^{-1} ( E ) } \ne 0 \). We say that the flow \( \varphi ^t\) is hyperbolic on \(K_E\), if for any \(\rho \in K_{E} \), the tangent space to \( p^{-1} ( E ) \) at \(\rho \) splits into flow, unstable and stable subspaces:
For more on this in dynamical systems see [154, §17.4]. One important property is the stability of this condition. We also remark that the existence of the metric \( \Vert \bullet \Vert _\rho \) in part (iii) or (3.28) follows from the same estimates for some metric with \( C e^{- \lambda |t| } \) on the right hand side. Examples include \( p = |\xi |_g^2 \) where the curvature is negative near the trapped set or \( p = |\xi |^2 + V ( x ) \) where V is a potential given by several bumps (see [202, Figure 1]). In obstacle scattering trapped sets are hyperbolic for several convex obstacles satisfying Ikawa’s non-eclipse condition (see [198, (1.1)]).
A dynamically defined function which plays a crucial role here is the topological pressure. We present a definition valid when closed trajectories are dense in \( K_E \)—that is the case in the examples mentioned above. Let \( \gamma \) denote a closed trajectory of \( \varphi _t \) on \( p^{-1} ( E ) \) and \( T_\gamma \) its length. We then define
and the expression is independent of the choice of \( \rho _\gamma \in \gamma \) and of the density defining the determinant. (Strictly speaking this is the pressure associated to \( - s \varphi ^+ \) but as that is the only one we will consider we just call it the pressure.)
This definition is not the one that is in fact useful in the study of resonances but it is the simplest one to state. It can be interpreted as follows: because of (iii) in (3.28) we have \( J^+ ( \gamma ) > 1 \) (here we choose the determinant using the density coming from the metric \( \Vert \bullet \Vert _\rho \)) and this expression measures the averaged rate of expansion in ustable directions \( E_{\rho _\gamma }^+ \) along the closed orbit \( \gamma \). Hence \( J^+ ( \gamma )^{-s} \) gets smaller with increasing s. On the other hand, the count over closed orbits of length \( T_\gamma \sim T \) measures the complexity of the dynamical system: it is more complex if there are more closed orbits of lengths in \( [ T , T+1 ]\). It follows that for \( s > 0 \), \( \mathcal {P}_E ( s ) \) measures the fight between complexity and dispersion in the unstable directions. If \( \mathcal {P}_E ( s_0 ) = 0 \) then for \( s > s_0 \) the dispersion wins. For two dimensional systems the Bowen pressure formula shows that the Hausdorff dimension of the trapped set is given in terms of \( s_0 \):
—see for instance [143] and references given there. When \( p = |\xi |_g^2 \) on a convex co-compact surface, \( M = \Gamma \backslash \mathbb {H}^2 \)—see Fig. 19—then, in that special constant curvature case, we have for any \( E > 0 \),
The set \( \Lambda ( \Gamma ) \) is called the limit set of \( \Gamma \) and the definition does not depend on the choice of \( z \in \mathbb {H}^2 \)—see [31] and references given there.
The analogue of Ikawa’s result for several convex obstacles [140], postulated independently in the physics literature by Gaspard–Rice [103], was established for operators of the form (3.20) by Nonnenmacher–Zworski [200, 201]. Thanks to the results of Sect. 3.1 the result also holds for \( -h^2 \Delta _g \) on even asymptotically hyperbolic manifolds. In that case it generalizes celebrated results of Patterson and Sullivan (see [31]) formulated using dimension of the limit set (3.31). That gap is shown as the top line on the right graphs in Fig. 21.
Theorem 9
Suppose that an operator (3.20) has a hyperbolic trapped set at energy E, in the sense of Definition 4. If the pressure defined in (3.29) satisfies
then there are no resonances near E with \( {\mathrm{Im}}\,z > h \mathcal {P}_E ( \frac{1}{2}) \).
More precisely, if \( \gamma _E (\delta ) := \min _{|E-E'|\le \delta }( - \mathcal {P}_{E'} ( \frac{1}{2}) ) \) then
when \( h < h_0 \). In addition for any \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( M ) \), we have, for some \( c, C > 0\),
for \( z \in [ E - \delta , E + \delta ] - i h [ 0 , \gamma ]\).
It is not clear if the pressure condition (3.32) is needed to obtain a resonance strip—see Theorem 11 below. What seems to be clear is that \( \mathcal {P}_E ( \frac{1}{2} ) \) is a robust classical quantity determining the strip while the improvements require analysing quantum effects. The upper bound (3.34) is optimal for \( {\mathrm{Im}}\,z = 0 \) thanks to a general result of Bony–Burq–Ramond [27], [80, §7.1].
Applications of the estimate (3.34) include local smoothing estimates with a logarithmic loss by Datchev [50] and Strichartz estimates with no loss by Burq–Guillarmou–Hassell [39]. The method of proof was used by Schenck [232] to obtain decay estimates for damped wave equations and by Ingremeau [141] to describe distorted plane waves in quantum chaotic scattering.
For an outline of the proof and a more relevant description of the pressure function we refer to [200, §2] and to an excellent survey by Nonnenmacher [196, §8.1] where a discussion of optimality can also be found. Here we make one general comment relevant also in the case of Theorem 10 below. Thanks to the “gluing” results of Datchev–Vasy [57] one can prove existence of the pole free region (3.33) and the cut-off resolvent bound (3.34) for a simpler operator modified by a complex absorbing potential :Footnote 9
with \( W ( x ) \equiv 1 \) for \( |x| > R \) where R is chosen large enough. The operators \( P_W - z : H^2 \rightarrow L^2 \) are Fredholm operators for \( {\mathrm{Im}}\,z > -1 \) and are invertible for \( {\mathrm{Im}}\,z > 0 \). As shown in [202, §8] the estimates on \( ( P_W - z )^{-1} \) imply estimates (3.34) while being easier to obtain.
The trapped sets to which Theorem 9 applies are typically fractal. In fact, in dimension 2 the condition \( \mathcal {P}_E ( \frac{1}{2}) < 0 \) is equivalent to the trapped set being filamentary in the sense that \( \dim K_E < 2 \), that is the trapped set is below the mean of the maximal dimension 3 and the minimal dimension 1 (direction of the flow). We will now consider another case in which the trapped set is smooth but with hyperbolicity in the transversal direction:
Definition 5
We say that the Hamiltonian flow is normally hyperbolic at energy E if for some \( \delta \) and \( J = [ E - \delta , E + \delta ] \), \( K_J \) is a smooth symplectic submanifold of \( T^*M \), and there exists a continuous distribution of linear subspaces, \( K_J \ni \rho \longmapsto E^{\pm }_\rho \subset T_\rho ( T^* M ) \), invariant under the flow, \( d\varphi _t ( E^\pm _{ \rho } ) = E^\pm _{ \varphi _t ( \rho ) } \), satisfying, \( \dim E^\pm _\rho = d_{\perp }\) and
form some smoothly varying norm on \( T_\rho ( T^*M ) \), \( \rho \mapsto \Vert \bullet \Vert _\rho \).
This dynamical configuration is stable under perturbations under a stronger addition condition of r-normal hyperbolicity. Roughly speaking that means that the flow on \( K_J \) has weaker expansion and contraction rates than the flow in the transversal directions—see [67, 132] for precise a definition and (3.48) below for an example. Normally hyperbolic trapping occurs in many situations: for instance, for null flows for black hole metrics, see [76], Sect. 3.3, and in molecular dynamics, see [202, Remark 1.1], [111, 234]. Another important example comes from contact Anosov flows lifted to the cotangent bundle, see [261], [202, Theorem 4], Sect. 4.4. The following general result was proved by Nonnenmacher–Zworski [202]:
Theorem 10
Suppose that for P given by (3.20) and that at energy E the trapped set is hyperbolic in the sense of Definition 5. Define the minimal expansion rate by
Then near E there are no resonances with \( {\mathrm{Im}}\,z > -h \nu _{\min } /2 \). More precisely
and the estimate (3.34) holds in this resonance free region.
For more general trapped sets but for analytic coefficients of P and without the estimate (3.34), the resonance free region (3.37) was obtained early on by Gérard–Sjöstrand [108]. Sometimes, for instance in the case of black holes, \( d^\perp = 1 \) (see 3.35), \( \Gamma _J^\pm \) (see 3.24) are smooth, and \( T_\rho K_J \oplus E_\rho ^+ = T_\rho \Gamma ^{\pm }_J \). In that case a resonance free region \( {\mathrm{Im}}\,z > - h /C \) and the bound (3.34) was obtained by Wunsch–Zworski [274]. An elegant proof with the width (3.36) and a sharp resolvent estimate was given by Dyatlov [69][80, §6.3]. The width given by \( \nu _{\min } \) is essentially optimal as one can already see from the work of Gérard–Sjöstrand [107] on the pseudo-lattice of resonances generated by a system with one hyperbolic closed orbit. A general result was provided by Dyatlov [67]: if \( K_E \) is r-normally hyperbolic for any r and if the maximal expansion rate \( \nu _{\max }\) satisfies \( \nu _{\max } < 2 \nu _{\min } \), then the resonance free region is essentially optimal in the sense that in the strip below \( {\mathrm{Im}}\,z = h \nu _{\min }/2 \) there exist infinitely many resonances—see Fig. 22.
We now discuss improvements over the pressure gap. The first such improvement for scattering resonances was achieved by Naud [191] who extended Dolgopyat’s method [59] to the case of convex co-compact quotients and showed that there exists \( \gamma > 0 \) such that when \( \delta < \frac{1}{2} \) (see 3.31) then there are no resonances other than \( i ( \delta - \frac{1}{2} ) \) with \( {\mathrm{Im}}\,\lambda > \delta - \frac{1}{2} - \gamma \). The Dolgopyat method was further developed by Stoyanov [257] for higher dimensional quotients (as an application of general results) and by Oh–Winter [203] for uniform gaps for arithmetic quotients. Petkov–Stoyanov [210] also adapted Dolgopyat’s method to the case of several convex obstacles. All of these results assume that \( \mathcal {P}_E ( \frac{1}{2}) \le 0 \).
A new method for obtaining improved resonance free regions, applicable also when \( \mathcal {P}_E ( \frac{1}{2}) > 0 \), was introduced by Dyatlov–Zahl [75]. It is based on a fractal uncertainty principle (FUP) which in [75] was combined with an investigation of additive structure of limit sets (see 3.31) to obtain an improved gap for quotients \( \Gamma \backslash \mathbb {H}^2 \), with \( \delta ( \Gamma ) \approx \frac{1}{2} \). In particular that produced the first resonance free strips when \( \mathcal {P}_E ( \frac{1}{2}) > 0 \).
Roughly speaking the standard uncertainty principle says that wave functions cannot be strongly localized in both position and frequency near a point. The fractal uncertainty principle (FUP) states that a wave function cannot be strongly localized in both position and frequency near a fractal set. To describe FUP rigorously we will use a simpler model studied recently by Dyatlov and Jin [74]: open quantum maps with products of exact Cantor sets as trapped sets.
Open quantum maps have been studied in physics and mathematics. They are quantizations of symplectic relations on \( {\mathbb {T}}^2 = {\mathbb {R}}^2 / \mathbb {Z}^2 \) where the symplectic relations have features of Poincaré maps in scattering theory: see Nonnenmacher [196, §5] for a general introduction, [74, §1.4] for references to the physics literature, Nonnenmacher–Sjöstrand–Zworski [197] for a reduction of chaotic scattering problems to quantizations of Poincaré maps and Nonnenmacher–Zworski [199] for quantization of piecewise smooth relations.
An example of a piecewise smooth symplectic relation is shown on the left in Fig. 23: the torus is divided into five “vertical strips”, three of them are thrown out and the remaining two are stretched/contracted and then shifted (the caption to Fig. 23 has a general formula for \( \kappa _{M, \mathcal {A}}\).) This relation, \( \kappa _{ 5, \{ 1,3 \}} \), is quantized by the following family of matrices:
where \( \mathcal {F}_L \) is the unitary Fourier transform on \(\ell ^2_L := \ell ^2 ( \mathbb {Z}/L \mathbb {Z}) \), \( \chi _N := {\mathrm{diag}} \,( \chi ( j/N ) )\) for \( \chi \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( ( 0 , 1 ); [ 0,1 ])\).
On the classical level a relation \( \kappa \) defines discrete time analogues of (3.24) and (3.25):
In the case of \( \kappa _{ M, \mathcal {A}} \) we have
If we think of \( {\mathbb {T}}^2 \) as being an analogue of a hypersurface \( \Sigma \) transversal to the flow then K is the analogue \( K_E \cap \Sigma \). The linearization of \( \kappa _{ M , \mathcal {A}} \) (at regular points) has eigenvalues \( M, M^{-1}\) and hence we can think of \( \kappa \) as the flow at time \( t = \log M \) with the expansion rate \( \lambda = 1 \) [see (iii) in (3.28)]. The pressure of the suspension at time \( \log M\) is given by
see [196, §8] for a discussion of pressure for suspensions.
The operator \( B_N \) is considered as quantization of the propagator at time \( t = \log M \) with \( h = 2\pi /N \). Hence the conceptual correspondence between eigenvalues of \( B_N \) and resonances of semiclassical operators P(h) (established in some cases in [197]) is
Since \( t = \log M \) the correspondence between resonances free regions is given by the following
In view of this and (3.40) the analogue of (3.33) is
see [196, §8].
The general principle of [75] and [74] for quantization of \( \kappa _{M, \mathcal {A}} \) goes as follows. In the notation of (3.38) and (3.39) we say that
Then we have (see [74, Proposition 2.7] for this case and [75, Theorem 3] for the case of convex co-compact quotients)
for \( N > N_\varepsilon \),
The case of \( \gamma = \frac{1}{2} - \delta \) is easy to establish but a finer analysis of FUP gives [74]:
Theorem 11
Suppose that \( B_N \) is a quantization of \( \kappa _{M, \mathcal {A} } \) and \( \delta \) is given in (3.39). Then there exists
such that
A numerical illustration of Theorem 11 is shown in Fig. 23. In the example presented there the numerically computed best exponent in FUP (3.43) is sharp. Some other examples in [74] show however that it is not always the case. We will return to open quantum maps in Sect. 3.4.
Theorem 11 is the strongest gap result for hyperbolic trapped sets and it suggests that a resonance free strip of size h exists for all operators P(h) with such trapped sets:
Conjecture 3
Footnote 10 Suppose that P(h) given by (3.20) has a compact hyperbolic trapped set \( K_E \) in the sense of Definition 4 (and M is a manifold for which we have an effective meromorphic continuation of \( (P ( h ) -z)^{-1} \)). Then there exists \( \gamma > 0 \), \( \delta > 0 \) and \( h_0 \) such that
3.3 Resonance expansions in general relativity
In this section we will describe some recent results concerning expansions of solutions to wave equations for black hole metrics in terms of quasi-normal modes (QNM). That is the name by which scattering resonances go in general relativity [157]. We want to emphasize the connection to the results of Sects. 3.1, 3.2 and in particular to the r–normally hyperbolic dynamics [274].
We will consider the case of Kerr–de Sitter, or asymptotically Kerr–de Sitter metrics. These model rotating black holes in the case of positive cosmological constant \( \Lambda > 0 \). From the mathematical point of view that makes infinity “larger” and provides exponential decay of waves which makes a rigorous formulation of expansions easier. When one adds frequency localization weaker expansions are still possible in the Kerr case—see [68, Theorem 2], [76, (13)]. References to the extensive mathematics literature in the case of \( \Lambda = 0 \) can be found in [68].
To define the Kerr–de Sitter metric we consider the manifold \( X = ( r_+ , r_C ) \times {\mathbb {S}}^2 , \) where \( r_+ \) is interpreted as the event horizon of the black hole and \( r_C \) the cosmological horizon. The wave equation is formulated on \( {\mathbb {R}} \times X \) using a Hamiltonian defined on \(T^*({\mathbb {R}}\times X)\). We denote the coordinates on \( {\mathbb {R}} \times X \) by \( ( t,r, \theta , \varphi ) \) and write \( (\xi _t, \xi _r , \xi _\theta , \xi _\varphi ) \) for the corresponding conjugate (momentum) variables. In this notation the Kerr–de Sitter Hamiltonian has the following frightening form:
Here \( \Lambda > 0 \) is the cosmological constant, a is the rotation speed (\( a = 0 \) corresponds to the simpler case of the Schwarzschild–de Sitter metric), and \( M > 0 \) is a parameter (in the case of \( \Lambda = 0 \) it is the mass of the black hole)—see Fig. 24 for the allowed range of parameters. The Hamiltonian G is the dual metric to the semi-Riemannian Kerr–de Sitter metric g . The principal symbol of the wave operator \(\Box _g\) is given by G. We refer to Hintz [127] and Hintz–Vasy [129] for a geometric description of these metrics and definitions of asymptotically Kerr–de Sitter metrics.
The key fact is that \( \Delta _r \) has simple zeros at \( r = r_+ \) and \( r = r_C \) which gives
structure similar to that of \( P ( \lambda ) \) in (3.12), with \( r=r_+ \) or \( r= r_C \) corresponding to \( x_1 = 0 \) (when \( a= 0 \), \( r \in ( r_+, r_C ) \) corresponds to \( x_1 > 0 \); for rotating black holes the situation is more complicated but microlocally the structure is similar).
Since we are interested in solving \( \Box _g w = 0 \) we consider the null geodesic flow \( \varphi _t := \exp t H_G \) (see 3.23) on the positive light cone \( \mathcal {C}_+ \subset \{ G = 0 \} \). (Null stands for \( G = 0 \) which is preserved by the flow.) The trapped set, \( \mathcal {K} \), consists of null geodesics that stay away from \(r=r_+,r=r_C\) for all times. We refer to Dyatlov [68, Prop.3.2] for the description of this trapped set and the constraints on the parameters a, M and \( \Lambda \). Here we remark that it has a particularly simple form when \( a = 0\):
where \( | \bullet |_\omega \) is the standard metric on \( T^*_\omega \mathbb {S}^2 \).
In general \( \mathcal {K} \) is symplectic in the sense that the symplectic form on \( T^* X \) is nondegenerate on the surfaces \(K = \mathcal {K}\cap \{t={{\mathrm{const}}}\}\). The flow is r-normally hyperbolic for any r. That means that there exists a \(C^r\) splitting \( T_\mathcal {K} \mathcal {C}_+=T \mathcal {K}\oplus \mathcal {V}_+\oplus \mathcal {V}_-\), invariant under the flow and such that for some constants \(\nu>0,C>0\),
In other words, the maximal expansion rates (Lyapunov exponents) on the trapped set are r-fold dominated by the expansion and contraction rates in the directions transversal to the trapped set. As shown in Hirsch–Pugh–Schub [132] (see also [68, §5.2]) r-normal hyperbolicity is stable under perturbations: when \( G_\varepsilon \) is a time independent (that is, stationary) Hamiltonian such that \( G_\varepsilon \) is close to G in \( C^r \) near \( \mathcal {K} \), the flow for \( G_\varepsilon \) is r-normally hyperbolic in the sense that the trapped set \( \mathcal {K}_\varepsilon \) has \( C^r \) regularity, is symplectic and (3.48) holds. For Kerr(–de Sitter) metrics the flow is r-normally hyperbolic for all r as shown by Wunsch–Zworski [274], Vasy [263] and Dyatlov [68], essentially because the flow on \(\mathcal {K}\) is completely integrable. The dependence of maximal and minimal expansion rates on the parameters is shown in Fig. 24.
Vasy’s method [263] which was described in Sect. 3.1 applies in this setting. Quasi-normal modes (QNM) for Kerr–de Sitter metrics are defined as in (3.18): they are complex frequencies \( \lambda \) such that there exist \( u = u ( r , \theta , \phi ) \) such that
The connection with (3.18) comes from (3.47) and the fact that \( P_g ( \lambda ) u = 0\). The same definition works for perturbations.
For Schwarzschild–de Sitter black holes, QNM were described by Sá Barreto–Zworski [231]: at high frequencies they lie on a pseudo-lattice as in the case of one hyperbolic closed orbit [107] but with multiplicities coming from the spherical degeneracy. Dyatlov [66, 67] went much further by describing QNM for Kerr–de Sitter black holes: for small values of rotations he showed a Zeeman-like splitting of multiplicities predicted in the physics literature, and for perturbations of Kerr–de Sitter black holes, he obtained a counting law (see Figs. 22, 24). In particular, for small values of a the results of [66] show that there are no modes with \( {\mathrm{Im}}\,\lambda \ge 0 \). For Kerr black holes ((3.46) with \( \Lambda = 0 \)) Shlapentokh-Rothman [238] showed that this is the case in the full range \( |a| < M \). This suggests the following
Conjecture 4
For a, \( \Lambda \) and M satisfying \( ( 1 - \Lambda a^2/3 )^3 > 9 \Lambda M^2 \) and in the shaded region of Fig. 24 (or in some other “large” range of values), any \( \lambda \ne 0 \) for which (3.49) holds satisfies \( {\mathrm{Im}}\,\lambda < 0 \) and \( \lambda = 0 \) is a simple resonance.
The study of QNM is motivated by the expectation that forward solutions to \( \Box _g u = f \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}\times X ) \) have expansions in terms of \( u_k \)’s and \( \lambda _k\)’s satisfying (3.49),
but the convergence and errors can be subtle.
The first expansion involving infinitely many QNM lying on horizontal strings of the pseudo-lattice of [231] was obtained by Bony–Häfner [29]. Using his precise results on the distribution of QNM for Kerr–de Sitter metrics with small values of a, Dyatlov [66] obtained similar expansions for rotating black holes. In [67] he formulated an expansion of waves for perturbations of Kerr–de Sitter metrics in terms of a microlocal projector, see also [68].
Here we will only state a simpler result which is an almost immediate consequence of Theorems 8, 10 and of gluing results of Datchev–Vasy [57]. For tensor-valued wave equations on perturbations of Schwarzschild–de Sitter spaces (including Kerr–de Sitter spaces with small values of a) and in any space-time dimension \( n \ge 4 \) this result was obtained by Hintz [127]. A more precise formulation valid across the horizons can be found there.
Theorem 12
Suppose that (X, g) is a stationary perturbation of the Kerr–de Sitter metric in the sense of [127, 129] and that u is the forward solution \( \Box _g u = f \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( {\mathbb {R}}\times X ) \). Let \( \nu _{\min } \) be the minimal expansion rate at the trapped set given by (3.36) (see Fig. 24). Then for any \( \varepsilon > 0 \),
When \( d_j = 0 \), \( u_{j,m,0} \) and \( \lambda _j \) satisfy (3.49); otherwise the resonance expansion is computed from the residue of \( \lambda \mapsto P_g ( \lambda )^{-1} e^{ - i \lambda t } \)—see [129, §5.1.1] (and [80, Theorem 2.7] for a simple example).
3.4 Upper bounds on the number of resonances: fractal Weyl laws
The standard Weyl law for the density of quantum states was already recalled in (2.29) as motivation for the upper bound on the number of resonances in discs (2.26). In this section we will describe finer upper bounds which take into account the geometry of the trapped set. They were first proved by Sjöstrand [240] for operators with analytic coefficients but in greater geometric generality than presented here.
Throughout this section we assume that
in the sense of Definition 4 and that M is a manifold for which we have an effective meromorphic continuation of \( ( P ( h ) -z)^{-1} \) (see Sects. 2.6, 3.1).
When M is a compact manifold then P(h) has discrete spectrum and the counting laws have a long tradition—see Ivrii [144]. The basic principle can be described as follows: if we are interested in
then the relevant region in phase space is given by
The uncertainty principle says that a maximal (homogeneous) localization of a state in phase space is to a box of sides of length \( \sqrt{h} \) (here centered at (0, 0)):
where \( \mathcal {F}_h u ( \xi ) := ( 2 \pi h)^{-n/2} \int _{{\mathbb {R}}^n } u ( x ) e^{ - i \langle x , \xi \rangle /h } dx \) is the (unitary) semiclassical Fourier transform. Hence the maximal number of quantum states “fitting” into an h-independent open set \( U \subset T^* M \) is proportional to \( \mathrm{vol}\,( U ) h^{-n} \). For eigenvalue counting we need a factor of \( (2 \pi )^{-n} \) which gives
By rescaling and taking \( [ a, b ] = [ 0 , 1 ] \) we obtain (2.29).
Suppose now that we consider a scattering problem, in which case M is non-compact, say, equal to \( {\mathbb {R}}^n \) outside a compact set. In that case for a subset \(\Omega = \Omega ( h ) \) we can define the number of resonances of P(h) in \( \Omega \):
which generalizes the definition above. The basic heuristic principle is that the trapped set \( K_{ \Omega \cap {\mathbb {R}}} \) should replace \( p^{-1} ( [ a, b ] ) \) as everything else escapes. To guarantee that escape we assume that \( K \subset \{ {\mathrm{Im}}\,z > - \gamma h \} \). This restriction on the imaginary parts is explained by the fact that the corresponding resonant states have an h-independent rate of decay: \( \mathrm{Re}\,e^{ - i t z/h } = e^{ t {\mathrm{Im}}\,z /h} \ge e^{ - t \gamma } \).
We should then look at the maximal number of localized quantum states that can cover \( K_{\Omega \cap {\mathbb {R}}} \). But that number is now related to the upper box or upper Minkowski dimension of \( K_{ \Omega \cap {\mathbb {R}}} \):
where \( n ( \varepsilon , U ) \) is the minimal number of boxes of sides \( \varepsilon \) needed to cover U. This suggests that we should have an upper bound
This intuition is put to test by the fact that resonant states with \( {\mathrm{Im}}\,z > - \gamma h \) are not localized to the trapped set but rather to the outgoing tails \( \Gamma ^+_E \) given in (3.24)—see Fig. 25 and [200, Theorem 4]. The method of complex scaling described in Sect. 2.6 changes the exponential growth we see in Fig. 25 to exponential decay and hence localizes the resonant state to the interaction region. By a microlocal complex scaling constructed using suitable low regularity microlocal weights Sjöstrand [240] similarly localized resonant states to an \( \sqrt{h} \) neighbourhood of the trapped set and hence was able to prove bounds of the form (3.54). Although we concentrate here on hyperbolic trapped sets we remark that Dyatlov’s asymptotic formula [67] in Fig. 22 is consistent with (3.54).
Put
where \( \dim _H \) is the Hausdorff dimension (hence \( \delta _E \le d_E \)). Then the following theorem was proved for Euclidean infinities by Sjöstrand–Zworski [248], for even asymptotically hyperbolic infinities (see Sect. 3.1) by Datchev–Dyatlov [53] (generalizing earlier results [122, 280]) and for several convex obstacles by Nonnenmacher–Sjöstrand–Zworski [198]:
Theorem 13
Under the assumption (3.50) and using the notation (3.53),(3.55), for every \( \gamma \) and \( \varepsilon > 0 \) there exists C such that
When \( V = 0 \) in (3.20) and \( \dim M = 2 \) we can replace \( d_E + \varepsilon \) by \( \delta _E \) in (3.56).
For outlines and ideas of the proofs we refer the reader to general reviews [196, §§4,7], [193] and to [248, §2], [53, §1], [198, §1].
We remark that a fractal upper bound for resonances should be valid for more general quotients \( \Gamma \backslash \mathbb {H}^n \) than the ones considered in [53]—see Guillarmou–Mazzeo [119] for results on meromorphic continuation in that case. Even the simplest case of surfaces with both funnels and cusps is not understood (the only results treat the non-trapping case—see Datchev [52] and Datchev–Kang–Kessler [56]).
Existence of fractal lower bounds or asymptotics has been studied numerically, first for a three bump potential by Lin [167] and then using semiclassical zeta function calculations [103] for three disc systems (see Figs. 2 and 10) by Lu–Sridhar–Zworski [170]. The results have been encouraging and led to experimental investigation by Potzuweit et al [216]: the experimentally observed density is higher than linear but does not fit the upper bound (3.56). There are many possible reasons for this, including the limited range of frequencies. (Related experiments by Barkhofen et al [13] confirmed the pressure gaps of Theorem 9, see Figs. 10 and 26). Fractal Weyl laws have been considered (and numerically checked) for various open chaotic quantum maps—see [74, 199] and references given there. The have also been proposed in other types of chaotic systems, ranging from dielectric cavities to communication and social networks—see recent review articles by Cao–Wiersig [42] and Ermann–Frahm–Shepelyansky [83] respectively. Fractal Weyl laws for mixed systems and localization of resonant states have been investigated by Körber et al [158, 159].
So far, the only rigorous lower bound which agrees with the fractal upper bound was obtained by Nonnenmacher–Zworski in a special toy model quantum map [200, Theorem 1]. Nevertheless the evidence seems encouraging enough to reiterate the following conjecture [170], [123, (4.7)]:
Conjecture 5
Suppose that \( N ( \Omega ) := N_{P(h) } ( \Omega ) \) is defined in (3.53) and \( \delta _E \) is given by (3.55). If \( \dim M = 2 \), then
where \( v_E ( \gamma ) > 0 \) for \( \gamma \) large enough. When \( \dim M >2 \) then
when \( \gamma \) is large enough.
Numerical investigation of fractal Weyl laws lead to the observation that imaginary parts of resonances (that is resonance widths) concentrate at \( {\mathrm{Im}}\,z \approx \frac{1}{2} \mathcal {P}_E ( 1 ) h \) where \( \mathcal {P}_E ( s ) \) is defined by (3.29). The value \( | \mathcal {P}_E ( 1 ) |\) gives the classical escape rate on the energy surface \( p^{-1} ( E) \)—see [196, (17)]. The point made by Gaspard–Rice [103] was that the gap is given by \( |\mathcal {P}_E ( \frac{1}{2} ) |h < \frac{1}{2}| \mathcal {P}_E ( 1 )|h\) (with the latter being a more obvious guess). However most of resonances want to live near \( {\mathrm{Im}}\,z = \frac{1}{2} \mathcal {P}_E ( 1 ) h \)—see also Fig. 21.
The first rigorous result indicating lower density away from \( {\mathrm{Im}}\,\lambda = \frac{1}{2} \mathcal {P}_E ( 1 ) \) was obtained by Naud [192] who improved on the fractal bound in Theorem 13 for \( \gamma < |\mathcal {P}_E ( 1 ) |/2 \) in the case of convex co-compact surfaces. Dyatlov [70] provided an improved bound for convex co-compact hyperbolic quotients in all dimensions. We state his result in the case of dimension two and in the non-semiclassical setting (resonances as poles of \( ( - \Delta _g^2 - \frac{1}{4} - \lambda ^2 )^{-1} \)—see (3.7), (3.27) and (3.31)):
Theorem 14
Let \( M = \Gamma \backslash \mathbb {H}^2 \) be a convex co-compact quotient (see Fig. 19) and define \( \mathcal {N} ( r , \beta ) \) to be the number of poles of the continuation of \( ( - \Delta _g - \frac{1}{2} -\lambda ^2 )^{-1} \) in
where \( \delta \) is defined in (3.31). Then for any \( \beta \) and \( \varepsilon > 0 \) there exists C such that
The bound \( r^\delta \) comes from [122] and the improvement is in strips \( {\mathrm{Im}}\,\lambda> - \gamma > - \frac{1}{2} ( 1 - \delta ) \). A comparison between (3.59) and numerically fitted exponents was shown in Fig. 21 (for the more robust counting fuction \( N ( R , \beta ) = \sum _{k=1}^{[R]} \mathcal {N} ( R - k, \beta ) \)). These numerical experiments of Borthwick–Dyatlov–Weich [70, Appendix] again suggest that Conjecture 5 (perhaps in a weaker form) holds, while the optimality of (3.59) is unclear. Some lower bounds in strips have been obtained by Jakobson and Naud [146] but they are far from the upper bounds.
Dyatlov–Jin [74] proved an analogue of Theorem 14 for open quantum maps of the form shown in Fig. 23. That paper can be consulted for more numerical experiments and interesting conjectures.
Here we make a weak (and hopefully accessible) conjecture which in the case of quotients follows from Theorem 14:
Conjecture 6
In the notation of (3.57) and for general operators satisfying (3.50)
Jakobson and Naud [147] made a bolder conjecture that for convex co-compact hyperbolic surfaces there are only finitely many resonances with \( {\mathrm{Im}}\,\lambda > - \frac{1}{2} ( 1- \delta ) \)—see Fig. 21. We make an equally bold but perhaps more realistic
Conjecture 7
Suppose that \( N ( \Omega ) := N_{P(h) } ( \Omega ) \) is defined in (3.53). Then for every \( \gamma > \mathcal {P}_E ( 1 )/2 \), there exists \( \varepsilon _0 > 0 \) such that for every \( \varepsilon < \varepsilon _0 \),
where \( \mathcal {P}_E ( s ) \) is the topological pressure defined in (3.29).
In the case of convex co-compact hyperbolic quotients Theorem 14 and Conjecture 5 imply that, for \( \gamma \) large enough,
That could be a weaker but already very interesting substitute for (3.60).
4 Pollicott–Ruelle resonances from a scattering theory viewpoint
Suppose that M is a manifold and X a smooth vector field on M. The flow \( \varphi _t := \exp t X \) gives a group of diffeomorphisms \( \varphi _t : M \rightarrow M \) and a large branch of the theory of dynamical systems is concerned with long time properties of the evolution under \( \varphi _t \). One way to measure this evolution is by considering correlations: for \( f, g \in {{\mathcal {C}}^\infty _{\mathrm{c}}}( M ) \) we define
with respect to a measure on M. (Sometimes \( ( \int _M f ) \times ( \int _M g ) \) is subtracted from \( \rho _{f,g} \) in the definition; it also interesting to consider less regular f and g). What measure one should take is of great interest and invariant measures are the most natural ones. The particularly interesting Sinai–Ruelle–Bowen (SRB) measures (see [154]) have the property that
for almost every \( x\in M \) with respect to a smooth (Lebesgue) measure. This allows a computation of \( \rho _{f,g} ( t ) \) using one “randomly chosen” orbit of the flow.
With \( U ( t ) f := f \circ \varphi _{-t} \) this is the set-up discussed in Fig. 3 and we expect that for chaotic flows we have a picture shown there. That is, we expect an expansion of correlations in terms of suitably defined resonances of the dynamical systems,
where \( u_j , v_j \in \mathcal {D}' ( M ) \) and \( \lambda _j \) are independent of the test functions f and g. If we know that the number of \(\lambda _j \)’s with \( {\mathrm{Im}}\,\lambda _j > - \gamma \) is finite and \( \lambda _0 = 0 \) (with \( u_0 = v_0 = dm \)) is the only real resonance then we have an exponential decay of correlations:
Hence we see that the questions encountered here are similar to the questions asked in the study of scattering resonances: existence of resonance expansions (Sects. 2.5, 3.3) and of resonance free regions (gaps) (Sects. 2.4, 3.2). One can also ask general questions about the distribution of \( \lambda _j \)’s.
As signatures of a chaotic systems the dynamical resonances \( \lambda _j \)’s were introduced by Pollicott [213] and Ruelle [227]—see Fig. 13 for an example in modeling of physical phenomena. They can also be studied in the simpler setting of maps, that is for systems with discrete time—see Baladi–Eckmann–Ruelle [8] for an early study and Baladi [5, 6] for later developments.
The explicit analogy with scattering theory was emphasized by Faure–Sjöstrand [84] following earlier works by Faure–Roy–Sjöstrand [86] and Faure–Roy [85] in the case of maps. Semiclassical methods for the study of decay of correlations were also introduced by Tsujii [261] who applied FBI transform techniques to obtain precise bounds on the asymptotic gaps for certain flows (see Sect. 4.4 below). This led to rapid progress some of which is described below—to see the extent of this progress one can compare the current state of affairs to that in the early review by Eckmann [81]. For some other recent developments see also Faure–Tsujii [89].
In this section we first give a precise definition of chaotic dynamical systems and then define Pollicott–Ruelle resonances. We concentrate to the case of M compact but give indications what happens in the non-compact case. We then explain the connection to dynamical zeta functions and survey results on resonance free strips and on ounting of resonances.
4.1 Anosov dynamical systems
Let M be a compact manifold and \( \varphi _t = \exp t X : M \rightarrow M \) a \( C^\infty \) flow generated by \( X \in C^\infty ( M; T M) \).
In this article the precise meaning of being chaotic is that the flow is an Anosov flow. That means that the tangent space to M has a continuous decomposition \( T_x M = E_0 ( x ) \oplus E_s (x) \oplus E_u ( x)\) which is invariant, \( d \varphi _t ( x ) E_\bullet ( x ) = E_\bullet ( \varphi _t ( x ) ) \), \(E_0(x)={\mathbb {R}} X_x \), and for some C and \( \theta > 0 \) fixed
where \( | \bullet |_y \) is given by a smooth Riemannian metric on X. This should be compared to Definition 4: in the case when M is compact all of M is “trapped” and Anosov flows are hyperbolic everywhere.
Following Faure–Sjöstrand [84] we exploit the analogy between dynamical systems and quantum scattering, with the fiber \(\xi \)-infinity playing the role of x-infinity in scattering theory. The pullback map can be written analogously to the Schrödinger propagator:
Sometimes it is convenient to make the seemingly trivial semiclassical modification and write \( P_h = \frac{h}{i} X \), \( \varphi _{-t}^* = e^{ - itP_h/h} \). In either case the symbol of P and its Hamiltonian flow
Here \( H_p \) denotes the Hamilton vector field of p: \( \omega ( \bullet , H_p ) = dp \), where \( \omega = d ( \xi dx ) \) is the symplectic form on \( T^* M \). This should be compared to (3.22) and (3.23), noting that \( \varphi _t \) mean a different thing in Sect. 3. For us the classical flow \( \varphi _t \) on M is the “quantum propagation” \( e^{ - i t P } \) and the corresponding Hamiltonian flow \( \exp t H_p \) is the symplectic lift of \( \varphi _t \) to \( T^*X \) (see Fig. 27).
In the study of P we need the dual decomposition of the cotangent space:
where \(E_0^*(x),E_s^*(x),E_u^*(x)\) are annhilators of \( E_s ( x ) \oplus E_u ( x ) \), \( E_0 ( x ) \oplus E_s ( x ) \), and \( E_0 ( x ) \oplus E_u ( x )\). Hence they are dual to to \(E_0(x),E_u(x),E_s(x)\), respectively.
An important special class of Anosov flows is given by contact Anosov flows. In that case M is a contact manifold, that is a manifold equipped with a contact 1-form \( \alpha \): that means that if the dimension of M is \( 2k+1 \) then \( (d \alpha )^{\wedge k } \wedge \alpha \) is non-degenerate. A contact flow is the flow generated by the Reeb vector field X:
Natural examples of Anosov contact flows are obtained from negatively curved Riemannian manifolds \( ( \Sigma , g ) \):
The scattering theory/microlocal point of view to Anosov flows has already had applications outside the field: by Dang–Riviére [49] to the analysis of Morse–Smale gradient flows, by Guillarmou [116, 117], Guillarmou–Monard [120], Guillarmou–Paternain–Salo–Uhlmann [121] to inverse problems and by Faure–Tsujii to the study of semiclassical zeta functions [88].
4.2 Definition of Pollicott–Ruelle resonances
The intuitive definition should follow Fig. 3. We should consider the power spectrum of correlations:
which is well defined for \( {\mathrm{Im}}\,\lambda > 0 \). If we show that
then the poles of the continuation of \( \hat{\rho }_{f,g} ( \lambda ) \) are the complex frequencies we expect to appear in expansions of correlations (4.2).
Let us assume now that the correlations (4.1) are defined using a smooth (not necessarily invariant) density dm(x) . We denote by \( \langle \bullet , \bullet \rangle \) the distributional pairing using this density. In the notation of (4.5) and for \( {\mathrm{Im}}\,\lambda > 0 \),
which means that (4.11) follows from
To obtain this meromorphic continuation one wants to find suitable spaces on which \( P - \lambda \) is a Fredholm operator. A microlocal construction of such Hilbert spaces was provided by Faure–Sjöstrand [84] but the origins of the method lie in the works on anisotropic Banach spaces by Baladi–Tsujii [9], Blank–Keller–Liverani [23], Butterley–Liverani [41], Gouëzel–Liverani [112], and Liverani [168, 169] – see [6] for a recent account in the setting of maps.
Here we will follow a modified approach of [78, §§3.1,3.2] where the spaces are defined using microlocal weights. To describe the spaces we denote by \( \Psi ^{0+} ( M ) \) the space of pseudodifferential operators of order \( \varepsilon \) for any \( \varepsilon > 0 \), with \( \sigma : \Psi ^{m} ( M ) \rightarrow S^m ( T^* M ) / S^{m-1} ( T^*M ) \) denoting the symbol map (see (3.22) where we used the semiclassical symbol, \( p = \sigma _h ( P ) \) and [78, Appendix B] for definitions and references). We then put
where \( \psi _0 \in C^\infty _{\mathrm{c}} ( T^*M, [ 0 , 1 ] ) \) is 1 near \(\{ \xi = 0 \}\), \( m_G ( x, \xi ) \in C^\infty ( T^* M \setminus 0 , [ -1, 1 ] ) \) is homogeneous of degree 0 and satisfies (see (4.7))
The existence of such \( m_G \) is shown in [78, Lemma C.1]. Intuitively, it is clear that it can be done if we look at Fig. 28: the flow lines of \( H_p \) go from \( E_s^* \) to \( E_u^* \) or towards the zero section. Hence we can have a function which is 1 near \( E_s^* \) and \( -1 \) near \( E_u^* \) and decreases along the flow.
The properties of \( m_G \) and hence of the operator G(x, D) show that for \( r\ge 0 \),
Moreover, microlocally near \( E_s^* \) and \( E_u^* \) the space \( H_{rG} \) is equivalent to \( H^{r} \) and \( H^{-r} \) respectively. To explain this rigorously we recall the notion of wave front set, \( \mathrm{WF}\,( u ) \), of a distribution \( u \in \mathcal {D}' ( {\mathbb {R}}^n ) \) (since the notion is local, or rather microlocal, the definition works for manifolds as well): for \( ( x , \xi ) \in T^* {\mathbb {R}}^n{\setminus }0 \),
see [136, Definition 8.1.2] and [137, Theorem 18.1.27] for a useful characterization. The definition means that the Fourier transform of a localization of u to a neighbourhood of x decays rapidly in a conic neighbourhood of \( \xi \). Rapid decay in all directions would mean that u is smooth at x and hence \( \mathrm{WF}\,( u ) \) provides a phase space localized description of smoothness. We also recall [136, Definition 8.2.2]: for a closed conic subset, \( \Gamma \), of \( T^* M \setminus 0 \) (0 denotes the zero section \( \xi = 0 \); conic means the invariance under the multiplicative action of \( {\mathbb {R}}_+ \) on the fibers),
With this notation we can say that there exist conic neihbourhoods, \( \Gamma _s \) and \( \Gamma _u \) if \( E_u^* \) and \( E_s^* \) respectively such that for \( r \ge 0 \),
Hence, our spaces improve regularity along the flow (see Fig. 28) and that leads to a Fredholm property (roughly, the inclusion \( H^{r} \hookrightarrow H^{-r} \), \( r > 0 \), is a compact operator). Such spaces appeared in scattering theory long ago: in the work of Melrose [180] on the Poisson formula for resonances and, with an explicit use of microlocal weights (in the analytic setting via the FBI transform), in the work of Helffer–Sjöstrand [125] on a microlocal version of complex scaling.
The following theorem was first proved by Faure–Sjöstrand [84] for more specific weights G and by Dyatlov–Zworski [78]. The characterization of resonant states using a wave front set condition is implicit in [84] and is stated in Dyatlov–Faure–Guillarmou [71, Lemma 5.1] and [79, Lemma 2.2]. For non-compact M with hyperbolic trapped sets for the flow \( \varphi _t \) a much more complicated analogue was proved by Dyatlov–Guillarmou [73, Theorem 2].
Theorem 15
Suppose that \( H_{rG} ( M ) \) is defined in (4.14), \( P = \frac{1}{i} X \), where X is the generator of the (Anosov) flow. Define \( D_{rG} ( M ) := \{ u \in H_{rG} ( M ) : P u \in H_{rG} (M ) \} \). There exist constants, \( C_0 ,C_1 \) such that
is a Fredholm family of operators, invertible for \( {\mathrm{Im}}\,\lambda > C_1 \). Hence, \( \lambda \mapsto ( P - \lambda )^{-1} : H_{ r G } \rightarrow H_{ r G } \) is a meromorphic family of operators in \( {\mathrm{Im}}\,\lambda > - r/C_0 \) and in particular (4.13) holds for any A. In addition,
Here the integral is over a sufficiently small positively oriented circle centered at \( \lambda \).
This result remains valid for operators \( \mathbf {P} : {{\mathcal {C}}^\infty }( M , \mathcal {E}) \rightarrow {{\mathcal {C}}^\infty }( M , \mathcal {E} ) \) where \( \mathcal {E}\) is any smooth complex vector bundle and \( \mathbf {P} \) is a first order differential system with the principal part given by P. That will be important in Sect. 4.3.
Theorem 15 provides a simple definition of Pollicott–Ruelle resonances formulated in terms of the wave front set condition and action on distributions. We state it only in the scalar case:
Definition 6
Suppose M is a compact manifold, \( X \in {{\mathcal {C}}^\infty }( M ; TM ) \) generates an Anosov flow in the sense of (4.4) and \( E_u^* \) is defined in (4.7).
We say that \( \lambda \in \mathbb {C}\) is a Pollicott–Ruelle resonance if
where \( \mathcal {D}'_{E_u^* } ( M ) \) is defined in (4.17). The multiplicity of the resonance is defined by the right hand side of (4.20).
Our insistence of \( \frac{1}{i} \) in P comes from quantum mechanician’s attachment to self-adjoint operators: P is self-adjoint on \( L^2 ( M , dm ) \) if the flow admits a smooth invariant measure dm. In some conventions, e.g. in [71, 118], resonances are given by \( s = - i \lambda \).
From the physical point of view this definition should be stable when the flow is randomly perturbed, that is if we change
where where B(t) is the Brownian motion corresponding a Riemannian metric g on M—see for instance [82]. This corresponds to changing the evolution by \( P = X/i \):
The operator \( P_\varepsilon \) is elliptic for \( \varepsilon > 0 \) and hence has a discrete spectrum with \( L^2 \) eigenfunctions. This spectrum converges to the Pollicott–Ruelle resonances as was shown in [77]. Stability of Pollicott–Ruelle resonances for Anosov maps has been established by Blank–Keller–Liverani [23] and Liverani [169], following a very general argument of Keller–Liverani [155].
Theorem 16
Suppose that \( \lambda _0 \) is a Pollicott–Ruelle resonance of multiplicity m (see Definition 6). Then there exists \( r_0> 0 , \varepsilon _0 > 0 \) such that for \( 0< \varepsilon < \varepsilon _0 \), \( P_\varepsilon \) (defined in (4.23)) has exactly m eigenvalues \( \{ \lambda _j ( \varepsilon ) \}_{j=1}^m \) in \( D ( \lambda _0 , r_0 ) \), and
with the convergence uniform for \( \lambda _0 \) in a compact set.
Moreover, if \( ( M , \alpha ) \) is a contact manifold and X is its Reeb vector field (see (4.8)), then for any \( \delta > 0 \) there exist \( R > 0 \) such that for all \( \varepsilon > 0 \),
where
The last statement means that an asymptotic resonance free region for contact flows (see Sect. 4.4) is stable under random perturbations. It also comes with polynomial resolvent bounds \( ( P_\varepsilon - \lambda )^{-1} = ( |\lambda |^{N_0} )_{ H^{s_0} \rightarrow H^{-s_0} } \). Stability of the gap for certain maps was established by Nakano–Wittsten [195].
An elliptic perturbation \( P_\varepsilon = X/i + i \varepsilon \Delta _g \) is natural when there is no additional structure. However, for Hamiltonian systems, or more specifically, for Anosov geodesic flows on Riemannian manifolds \( ( \Sigma , g ) \)—see (4.9)—a more natural operator is given by
The operator \(\widetilde{P}_\varepsilon \) is now only hypoelliptic and the Brownian motion “kick” occurs only in the momentum variables which is physically natural. The analogue of the first part of Theorem 16 was recently proved by Drouot [62] and that paper can be consulted for background information and many references. The proof combined methods of [77] and semiclassical hypoelliptic estimates inspired by the work of Lebeau [165]. An alternative approach to these estimates was given by Smith [251] who adapted his earlier paper [250] to the semiclassical setting (Fig. 29).
We formulate the \( \widetilde{P}_\varepsilon \) analogue of the second part of Theorem 16 as
Conjecture 8
Suppose \( M = S^* \Sigma \), where \( ( \Sigma , g ) \) is a compact Riemannian manifold whose geodesic flow is an Anosov flow. Then the second part of Theorem 16 holds with \( \widetilde{P}_\varepsilon \) in place of \( P_\varepsilon \).
4.3 Connections to dynamical zeta functions
In addition to expansions of correlations, the study of Pollicott–Ruelle resonances is also motivated by their appearance as poles and zeros of dynamical zeta functions. For motivation and history of that rich subject we refer to [109, §1] and [214]. Here we will consider the Ruelle zeta function [226] which is defined by analogy with the Riemann zeta function, \( \zeta (s ) = \prod _p ( 1 - p^{-s} )^{-1} \), with primes p replaced by lengths of primitive closed geodesics
(We switch to our convention \( \lambda = i s \).) Here \( \mathcal {G} \) denotes the set of primitive closed trajectories (that is trajectories on which one “goes around only once”) of \( \varphi _t \) and \( \ell _\gamma \) is the length of the trajectory \( \gamma \).
One question, asked by Smale in [249, §II.4] was if \( \zeta _R \) admits a meromorphic continuation to \( \mathbb {C}\) Footnote 11 or to large strips \( {\mathrm{Im}}\,\lambda > - A \). When \( M = S^* \Sigma \) (see (4.9)) where \( ( \Sigma , g ) \) is a compact Riemannian surface of negative curvature, that had already been known thanks to the Selberg trace formula and the meromorphy of the Selberg zeta function:
see for instance [173, Theorem 5] for a self-contained presentation.
The first zero of \( \zeta _R \) is related to topological entropy (the value of the pressure at 0 in the notation of (3.29)) and the continuation to a small strip past that first zero was achieved by Parry–Pollicott [204]. To obtain larger strips turns out to be as difficult as obtaining global meromorphic continuation (which proceeds strip by strip; in the case of \( C^k \) flows the meromorphy only holds in a strip of size depending on k—see [109]; our microlocal arguments give that as well but with less precision). When the manifold M and the flow are real analytic that continuation was obtained by Rugh [228] and Fried [94]. For Anosov flows on smooth compact manifolds it was first established by Giulietti–Liverani–Pollicott [109] and then by Dyatlov–Zworski [78]. Dyatlov–Guillarmou [73] considered the more complicated non-compact case and essentially settled the original conjecture of Smale.
We will now explain the proof [78] of the meromorphic continuation of \( \zeta _R \). The first step [226] is a factorization of the zeta function valid in the case when the stable and unstable bundles, \( x \mapsto E_s(x)\), \( x \mapsto E_u (x) \), respectively, are orientable:Footnote 12
where \( \dim M = n \), \( q = \dim E_s \) and the Poincaré map is defined by
Since we are taking determinants and traces, \( \zeta _j \)’s do not depend on the choices of \( x_\gamma \). The factorization essentially follows from \( \det ( I - A ) = \sum _{ j=0}^{ n-1} ( - 1 )^j \mathrm{tr}\,\wedge ^j A \)—see [78, §2.2].
The relation of the zeta functions \( \zeta _j \) with the flow by the Atiyah–Bott–Guillemin trace formula (see [78, Appendix B] for a proof):
where \(\mathcal {E}^j_0\) be the smooth invariant verctor bundle of all differential j-forms \(\mathbf {u}\) satisfying \(\iota _V\mathbf {u}=0\), where \(\iota \) denotes the contraction operator by a vector field.
The flat trace, \( \mathrm{tr}\,^\flat \), is defined using operations on distributions which generalize integration of the Schwartz kernel over the diagonal: let \( \jmath : {\mathbb {R}}_+ \times M \rightarrow {\mathbb {R}}_+ \times M \times M \) be given by \( \jmath (t, x) = (t, x , x) \) and \( \pi : {\mathbb {R}}_+ \times M \rightarrow {\mathbb {R}}_+ \), by \( \pi ( t, x ) = t \). If \( K \in \mathcal {D}' ({\mathbb {R}}_+ \times M \times M ) \) is the Schwartz kernel of the operator \( e^{ - i tP } = \varphi _{-t}^* \) then
The push forward of a distribution \( \pi _* \) is always well defined in case compact manifolds but that is not the case for a pullback by an inclusion \( \jmath ^*\) which, if K were smooth would be
– see [136, Theorem 8.2.4, Corollary 8.2.7]. The condition which justifies (4.33) for distributional K is
where the wave front set \( \mathrm{WF}\,\) was defined in (4.16) and \( N^* ( {\mathbb {R}}_+ \times \Delta ) \subset T^* ( {\mathbb {R}}_+ \times M \times M ) \setminus 0 \) is the conormal bundle of \( {\mathbb {R}}_+ \times \Delta \), that is, the annihilator of \( T ({\mathbb {R}}_+ \times \Delta ) \subset T( {\mathbb {R}}_+ \times M \times M ) \).
The condition (4.34) is satisfied for K given by the Schwartz kernel of \( e^{-itP} = \varphi _{-t}^* \), \( t > 0 \), because for Anosov flows powers of the Poincaré map (4.30), \( \mathcal {P}_\gamma ^k \), cannot have 1 as an eigenvalue. Hence (4.32) makes sense and (4.31) holds.
We now observe that for \( {\mathrm{Im}}\,\lambda \gg 1 \) and for \( 0< t_0 < \min _{\mathcal {G}} \ell _\gamma \),
In view of (4.29), to show that \( \zeta _R \) has a meromorphic extension, it is enough to show that each \( \zeta _j \) has a holomorphic extension. That in turn follows from a meromorphic extension of \( \zeta '_j/\zeta _j\) with simple poles and integral residues.
Hence we need to show that the left hand side of (4.35) has a meromorphic extension to \( \mathbb {C}\) with poles of finite rank. This is clearly related to (4.13). A formal manipulation suggests that the left hand side of (4.35) is given by
where \( \mathbf {K}_j ( \lambda ) \) is the Schwartz kernel of \( ( \mathbf {P}_j - \lambda )^{-1} \) (which makes sense for all \( \lambda \) in view of Theorem 15), \( \jmath ( x ) = ( x , x ) \) and \( \langle \bullet , \bullet \rangle \) is the distributional pairing \( \mathcal {D}'( M ) \times {{\mathcal {C}}^\infty }( M) \rightarrow \mathbb {C}\). Just as in (4.34) this is justified by showing that for \( 0< t_0 < \min _{\gamma \in \mathcal {G}} \ell _\gamma \),
We used the notation \( ( \varphi _{-t_0} \otimes {\mathrm{id}} ) ( x , y ) := ( \varphi _{-t_0} ( x ) , y ) \) and the pullback by that diffeomorphism of \( M \times M \) is always well defined [136, Theorem 8.2.4]. We have to be careful at the poles of \( \mathbf {K}_j (\lambda ) \) but a decomposition similar to (2.23) shows that we can separate a holomorphic and singular parts. On the singular part \( \mathrm{tr}\,^\flat = \mathrm{tr}\,_{ H_{rG}} \) which kills all the higher order poles (nilpotency of Jordan blocks) and gives an integral residue.
Condition (4.37) is an immediate consequence of [78, Proposition 3.3] (though it takes a moment to verify it: the pullback by \( ( \varphi _{-t_0} \otimes {\mathrm{id}} )\) shifts things away from the diagonal):
Theorem 17
Let \( \mathbf {K}_j ( \lambda ) \in \mathcal {D}' ( M ) \) be the Schwartz kernel of \( ( \mathbf {P}_j - \lambda )^{-1} : {{\mathcal {C}}^\infty }( M , \mathcal {E}_0^j ) \rightarrow \mathcal {D}' ( M , \mathcal {E}_0^j ) \). Then away from the poles of \( \lambda \mapsto \mathbf {K}_j ( \lambda ) \),
where \( \Delta ( T^* M ) := \{ ( \rho , \rho ) : \rho \in T^* M \} \subset T^* M \times T^* M \) and
Away from the conic sets \( E_u^* \times E_s^* \) this follows from a modification of results of Duistermaat–Hörmander on propagation of singulaties [78, Proposition 2.5]. Near \( E_s^* \) we use a modification of Melrose’s propagation result [183] for radial sources [78, Proposition 2.6], and near \( E_u^* \), his propagation result for radial sinks [78, Proposition 2.7]. The property (4.18) is crucial here and implies the relation between r and \( {\mathrm{Im}}\,\lambda \) in Theorem 15. Except for the fact that \( E_u^* \) and \( E^*_s \) are typically very irregular as sets, these are the same estimates that Vasy [263] used to prove Theorem 8 presented Sect. 3.1.
Retracing our steps through (4.37), (4.36), (4.35) and (4.29) we see that we proved the theorem of Giulietti–Liverani–Pollicott [109] settling Smale’s conjecture [249, §II.4] in the case of compact manifolds. For the full conjecture in the non-compact case proved by a highly nontrivial elaboration of the above strategy, see Dyatlov–Guillarmou [73]:
Theorem 18
The Ruelle zeta function, \( \zeta _R ( \lambda ) \), defined for \( {\mathrm{Im}}\,\lambda \gg 1 \) by (4.27), continues meromorphically to \( \mathbb {C}\).
What the method does not recover is the order of \( \zeta _R ( \lambda ) \) in the case when M and X are real analytic [94, 228]. That may be related to issues around Conjecture 2.
Pollicott–Ruelle resonances of \( \mathbf {P}_j \)’s are exactly the zeros of the entire functions \( \zeta _j ( \lambda ) \)’s. The simple Definition 6 using wave front set characterization led to a short proof of the following fact [79]: suppose that \( ( \Sigma , g ) \) is an oriented negatively curved Riemannian surface. Then
where \( \chi ( \Sigma ) \) is the Euler characteristic of \( \Sigma \). In particular this implies that lengths of closed geodesics determine the genus of the surface linking dynamics and topology. Previous to [79] that was known only for surfaces of constant curvature.
Hence (4.39) provides evidence that results valid in rigid (that is, locally symmetric) geometries may be valid in greater generality. Thus, consider a compact oriented negatively curved Riemannian manifold \( ( \Sigma , g ) \). Following Fried [92, 94], for a representation \( \alpha : \pi _1 ( S^* \Sigma ) \rightarrow GL(N, \mathbb {C}) \), we define
The proof of meromorphy of \( \zeta _R \) given in [78] and sketched above gives also the meromorphic continuation of \( \zeta _\alpha \): we only need to change the vector bundles on whose sections \( \frac{1}{i} \mathcal {L}_X \) acts. The following statement was proved by Fried [92] in the case of manifolds of constant negative curvature and conjectured (in an even more precise form) in [94, p.181] for more general manifolds. We refer to his papers [92, 94] for precise definitions of the objects involved in the statement:
Conjecture 9
Suppose that \( ( \Sigma , g ) \) is a negatively curved oriented compact Riemannian manifold of dimension \( n > 2 \) and that \( \alpha \) is an acyclic unitary representation of \( \pi _1 ( \Sigma ) \). Then
where \( \zeta _\alpha \) is defined by (4.40) and \( T_\alpha ( \Sigma ) \) is the analytic torsion of \( \Sigma \).
The analytic torsion \( T_\alpha ( \Sigma ) \) was defined by Ray and Singer using eigenvalues of an \( \alpha \)-twisted Hodge Laplacian. Their conjecture that \( T_\alpha ( \Sigma ) \) is equal to the Reidemeister torsion, a topological invariant, was proved independently by Cheeger and Müller. Hence (4.41) would link dynamical, spectral and topological quantities. In the case of locally symmetric manifolds a more precise version of the conjecture was recently proved by Shen [237, Theorem 4.1] following earlier contributions by Bismut [22] and Moskovici–Stanton [190].
4.4 Distribution of Pollicott–Ruelle resonances
Exponential decay of correlations (4.3) was established by Dolgopyat [59] for systems which include geodesic flows on negatively curved compact surfaces and by Liverani [168] for all contact Anosov flows, hence in particular for geodesics flows on negatively curved compact manifolds—see (4.8), (4.9). These two papers can also be consulted for the history of the subject. See also Baladi–Demers–Liverani [7] for some very recent progress in the case of hyperbolic billiards.
Comparing (4.3) and (4.12) shows that if we know a resonance free strip with a polynomial bound on \( ( P - \lambda )^{-1} \) in that strip then we obtain exponential decay of correlations. Hence we define the following two spectral (though really “scattering”) quantities: the spectral gap (for simplicity we consider only the scalar case):
and the essential spectral gap:
Here \( \mathrm{Res}\,( P ) \) denotes the set of resonances of P. Obviously if \( \nu _0 > 0 \) and if we know that there are no non-zero real resonances, then \( \nu _1 > 0 \).
We have the following result which implies exponential decay of correlations for contact Anosov flows:
Theorem 19
Suppose that \( ( M , \alpha ) \) is a compact contact manifold and that the Reeb vector field (4.8) generates an Anosov flow. Then in the notation of (4.43) and (4.25),
Moreover, for some s
One could estimate s more precisely depending on the width of the strip which would give better decay of correlations results.
The lower bound in (4.44) was proved by Tsujii [261] who improved the result of Liverani at high energies. It also follows from the very general results of [202] which apply also in quantum scattering. The method of [202] is crucial in obtaining the second part of Theorem 16—see also Conjecture 8.
The finiteness of \( \nu _0 \) follows from a stronger statement in Jin–Zworski [153]: for any Anosov flow there exist strips with infinitely many Pollicott-Ruelle resonances.
One immediate consequence of Theorem 19 is the analogue of Theorems 3 and 12 in the setting of Anosov flows: suppose we enumerate the non-zero resonances so that \( {\mathrm{Im}}\,\lambda _{j+1} \le {\mathrm{Im}}\,\lambda _{j} < 0 \) Footnote 13. There exist distributions \( u_{j,k}, v_{j,k} \in {\mathscr {D}}' ( M ) \), \( 0 \le k \le K_j \), such that, for any \( \delta > 0 \), there exists \(J(\delta )\in \mathbb {N}\) such that for any \( f , g \in {{\mathcal {C}}^\infty }( M ) \)
for \( t > 0 \). Here dm is the invariant density coming from the contact form and normalized to have \( \int _M dm = 1 \) and \( \langle \bullet , \bullet \rangle \) denotes distributional pairing. This refines (4.3) and provides a rigorous version of (4.2).
We conclude with a review of counting results for resonances. We put
and denote \( n:= \dim M \).
The first bound was proved by Faure–Sjöstrand [84] and it holds for general Anosov flows on compact manifolds: for any \( \gamma > 0 \),
For Anosov contact flows a sharp bound was proved by Datchev–Dyatlov–Zworski and it says that
which improves (4.47), giving \( N ( [ r - r^{\frac{1}{2}} , r + r^{\frac{1}{2}} ] - i [ 0 , \gamma ] ) = O ( r^{ \frac{n}{2} } ) \), in the contact case. These bounds are sharp in all dimensions as shown by the very precise analysis of Pollicott–Ruelle resonances on compact hyperbolic quotients by Dyatlov–Faure–Guillarmou [71]. Although these resonances have been known for a long time in the case of surfaces, in higher dimensions some new structure was discovered in [71], see also Guillarmou–Hilgert–Weich [118].
Under a pinching condition on minimal and maximal expansion rates \( \nu _{\max } < 2 \nu _{\min } \), Faure–Tsujii [87] proved a sharp lower bound in the contact case: for any \( \varepsilon > 0 \) and any \( \delta > 0 \) there exists \( c > 0 \) such that
This should be compared to Dyatlov’s Weyl asymptotics shown in Fig. 22—see [67, §1]. The only, and very weak, bound in the general Anosov case follows from a local trace formula [153, Theorem 1] (similar in spirit to Sjöstrand’s local trace formula for resonances [241]): for every \( 0< \delta < 1 \) there exists \( A = A_\delta \) such that in the Hardy–Littlewood notation,Footnote 14
However, Naud observed [153, Appendix B] that for suspensions of certain Anosov maps, the bound \( \mathcal {O} (r ) \) holds, in which case (4.50) is not too far off.
This state of affairs shows that many problems remain and the non-compact case seems to be completely open.
Notes
That is the flow defined by propagation along straight lines with reflection at the boundary; trapping refers to existence of trajectories which never escape to infinity.
We do not prove it here but it is a consequence of Rellich’s uniqueness theorem that for V real valued \( R_V ( \lambda ) \) has no poles in \( {\mathbb {R}}\setminus \{ 0 \} \)—see [80, §3.6].
Our presentation is based on [245, §2] and on an upublished note by Kiril Datchev http://www.math.purdue.edu/~kdatchev/res.ps.
This is consistent with the expansion (1.2) for the free wave equation: the single pole is “responsible” for the failure of the sharp Huyghens principle in that case.
Small prizes are offered by the author for the first proofs of the conjectures within five years of the publication of this survey: a dinner in a
restaurant for an even numbered conjecture and in a
restaurant, for an odd numbered one.
Here we follow the notation of [137, Appendix B] where \( {\bar{\mathcal {C}}^\infty }( M ; V)\) denotes functions \( M \rightarrow V \), which are smoothly extendable across \( \partial M \) and \( {\dot{\mathcal {C}}^\infty }( \overline{M} ; V) \) functions which are extendable to smooth functions supported in \( \overline{M} \).
A related approach to meromorphic continuation, also motivated by the study of Anti-de Sitter black holes, was independently developed by Warnick [269]. It is based on physical space techniques for hyperbolic equations and it also provides meromorphic continuation of resolvents for even asymptotically hyperbolic metrics [269, §7.5].
After this survey first appeared Conjecture 2 was proved by Claude Zuily [275] who used results of Bolley–Camus [24] and Bolley–Camus–Hanouzet [25]. These methods also showed analyticity of radiation patterns of resonant states, F in (3.10), also when the metric is not even. The award of the prize (see footnote 6) took place at http://www.latabledulancaster.fr on November 30, 2016.
This method is related to a method used in chemistry to compute resonances—see [223] and [235] for the original approach and [145] for some recent developments and references. A simple mathematical result justifying this computational method is given in [283]: if \( V \in L^\infty _{\mathrm{comp}\,} ( {\mathbb {R}}^n ) \) then the eigenvalues of \( - \Delta + V - i \varepsilon x^2 \) converge to resonances of \( - \Delta + V\) uniformly on compact subsets of the region \( \arg z > - \pi /4 \).
After this survey first appeared Conjecture 3 was proved in the case of finitely generated hyperbolic surfaces by Bourgain–Dyatlov [34]. That means that for convex co-compact surfaces, \( \Gamma \setminus \mathbb {H}^2 \)—see Fig. 19 and [31]—there is a high energy gap for all values, \(0 \le \delta < 1 \), of the dimension of the limit set of \( \Gamma \) – see (3.31). This is the first result about gaps for quantum Hamiltonians for any value of the pressure \( \mathcal {P}_E ( \frac{1}{2}) \) defined in (3.29). The proof is based on the fractal uncertainty principle of [75] and fine harmonic analysis estimates related to the Beurling–Malliavin multiplier theorem, see [175] and references given there.
I cannot resist recalling that Smale referred to it as a “wild idea” and wrote “I must admit a positive answer would be a little shocking!”
See [109, Appendix B] for the modifications needed in the non-orientable case.
There are no non-zero real resonances for Anosov flows with smooth invariant measures and in particular for contact Anosov flows—for a direct microlocal argument for that see [79, Lemma 2.3].
\( \Omega ( f ) = g \) if it is not true that \( f = o(|g|)\).
References
Abbott, B.P., et al.: (LIGO Scientific Collaboration and Virgo Collaboration), Observation of gravitational waves from a binary black hole merger. Phys. Rev. Lett. 116, 061102 (2016)
Agmon, S.: Spectral theory of Schrödinger operators on Euclidean and non-Euclidean spaces. Commun. Pure Appl. Math. 39(Number S, Supplement) (1986)
Aguilar, J., Combes, J.M.: A class of analytic perturbations for one-body Schrödinger Hamiltonians. Commun. Math. Phys. 22, 269–279 (1971)
Alexandrova, I., Tamura, H.: Resonances in scattering by two magnetic fields at large separation and a complex scaling method. Adv. Math. 256, 398–448 (2014)
Baladi, V.: Positive Transfer Operators and Decay of Correlations, Advanced Series in Nonlinear Dynamics, vol. 16. World Scientific Publishing Co., Inc, River Edge (2000)
Baladi, V.: The quest for the ultimate anisotropic Banach space. arXiv: 1607.00654
Baladi, V., Demers, M., Liverani, C.: Exponential Decay of correlations for finite horizon Sinai billiard flows. arXiv: 1506.02836
Baladi, V., Eckmann, J.-P., Ruelle, D.: Resonances for intermittent systems. Nonlinearity 2, 119–131 (1989)
Baladi, V., Tsujii, M.: Anisotropic Hölder and Sobolev spaces for hyperbolic diffeomorphisms. Ann. Inst. Fourier 57, 127–154 (2007)
Balslev, E., Combes, J.M.: Spectral properties of many-body Schrödinger operators wth dilation analytic interactions. Commun. Math. Phys. 22, 280–294 (1971)
Baouendi, M.S., Goulaouic, C.: Cauchy problems with characteristic initial hypersurface. Commun. Pure Appl. Math. 26, 455–475 (1973)
Bardos, C., Lebeau, G., Rauch, J.: Scattering frequencies and Gevrey 3 singularities. Invent. Math. 90, 77–114 (1987)
Barkhofen, S., Weich, T., Potzuweit, A., Kuhl, U., Stöckmann, H.-J., Zworski, M.: Experimental observation of spectral gap in microwave \(n\)-disk systems. Phys. Rev. Lett. 110, 164102 (2013)
Baskin, D., Spence, E., Wunsch, J.: Sharp high-frequency estimates for the Helmholtz equation and applications to boundary integral equations. SIAM J. Math. Anal. 48, 229–267 (2016)
Baskin, D., Vasy, A., Wunsch, J.: Asymptotics of radiation fields in asymptotically Minkowski space. Am. J. Math. 137, 1293–1364 (2015)
Baskin, D., Wunsch, J.: Resolvent estimates and local decay of waves on conic manifolds. J. Differ. Geom. 95, 183–214 (2013)
Barr, M.C., Zaletel, M.P., Heller, E.J.: Quantum corral resonance widths: lossy scattering as acoustics. Nano Lett. 10, 3253–3260 (2010)
Bledsoe, M., Weikard, R.: The inverse resonance problem for left-definite Sturm–Liouville operators. J. Math. Anal. Appl. 423, 1753–1773 (2015)
Berenger, J.P.: A perfectly matched layer for the absorption of electromagnetic waves. J. Comput. Phys. 114, 185–200 (1994)
Bindel, D., Govindjee, S.: Elastic PMLs for resonator anchor loss simulations. Int. J. Numer. Methods Eng. 64, 789–818 (2005)
Bindel, D., Zworski, M.: Theory and computation of resonances in 1d scattering. http://www.cs.cornell.edu/%7Ebindel/cims/resonant1d/
Bismut, J.-M.: Hypoelliptic Laplacian and orbital integrals. Annals of Mathematics Studies 177. Princeton University Press, Princeton (2011)
Blank, M., Keller, G., Liverani, C.: Ruelle–Perron–Frobenius spectrum for Anosov maps. Nonlinearity 15, 1905–1973 (2002)
Bolley, P., Camus, J.: Sur une classe d’opérateurs elliptiques et dégénérés à plusieurs variables. Mémoire Soc. Math. France 34, 55–140 (1973)
Bolley, P., Camus, J., Hanouzet, B.: Étude de l’analyticité et de la régularité Gevrey pour une classe de problèmes aux limites elliptiques et dégénérés. Asterisque 19, 25–48 (1974)
Bony, J.-F., Bruneau, V., Raikov, G.: Counting function of characteristic values and magnetic resonances. Commun. Partial Differ. Equ. 39, 274–305 (2014)
Bony, J.-F., Burq, N., Ramond, T.: Minoration de la résolvante dans le cas captif. C. R. Acad. Sci. Paris Sér. I Math 348(23–24), 1279–1282 (2010)
Bony, J.-F., Fujiie, S., Ramond, T., Zerzeri, M.: Resonances for homoclinic trapped sets. arXiv: 1603.07517
Bony, J.-F., Häfner, D.: Decay and non-decay of the local energy for the wave equation on the de Sitter–Schwarzschild metric. Commun. Math. Phys. 282, 697–719 (2008)
Borthwick, D.: Distribution of resonances for hyperbolic surfaces. Exp. Math. 23, 25–45 (2014)
Borthwick, D.: Spectral Theory of Infinite-Area Hyperbolic Surfaces, 2nd edn. Birkhäuser, Basel (2016)
Borthwick, D., Guillarmou, C.: Upper bounds on the number of resonances on geometrically finite hyberbolic manifolds. J. EMS 18, 997–1041 (2016)
Borthwick, D., Weich, T.: Symmetry reduction of holomorphic iterated function schemes and factorization of Selberg zeta functions. J. Spectr. Theory 6, 267–329 (2016)
Bourgain, J., Dyatlov, S.: Spectral gaps without the pressure condition
Bourgain, J., Gamburd, A., Sarnak, P.: Generalization of Selberg’s 3/16 theorem and affine sieve. Acta Math. 207, 255–290 (2011)
Brown, B.M., Knowles, I., Weikard, R.: On the inverse resonance problem. J. Lond. Math. Soc. 68(2), 383–401 (2003)
Burq, N.: Décroissance de l’énergie locale de l’équation des ondes pour le problème extérieur et absence de résonance au voisinage du réel. Acta Math. 180(1), 1–29 (1998)
Burq, N.: Lower bounds for shape resonances widths of long range Schrödinger operators. Am. J. Math. 124(4), 677–735 (2002)
Burq, N., Guillarmou, C., Hassell, A.: Strichartz estimates without loss on manifolds with hyperbolic trapped geodesics. Geom. Funct. Anal. 20, 627–656 (2010)
Burq, N., Zworski, M.: Resonance expansions in semi-classical propagation. Commun. Math. Phys. 232, 1–12 (2001)
Butterley, O., Liverani, C.: Smooth Anosov flows: correlation spectra and stability. J. Mod. Dyn. 1, 301–322 (2007)
Cao, H., Wiersig, J.: Dielectric microcavities: model systems for wave chaos and non-Hermitian physics. Rev. Mod. Phys. 87, 61–111 (2015)
Cardoso, F., Vodev, G.: Uniform estimates of the resolvent of the Laplace–Beltrami operator on infinite volume Riemannian manifolds II. Ann. Henri Poincaré 3(4), 673–691 (2002)
Chekroun, M., Neelin, J.D., Kondrashov, D., McWilliams, J.C., Ghil, M.: Rough parameter dependence in climate models and the role of Pollicott–Ruelle resonances. Proc. Natl. Acad. Sci. 111(5), 1684–1690 (2014)
Christiansen, T.: Some lower bounds on the number of resonances in Euclidean scattering. Math. Res. Lett. 6, 203–211 (1999)
Christiansen, T.: Schrödinger operators with complex-valued potentials and no resonances. Duke Math. J. 133, 313–323 (2006)
Christiansen, T., Hislop, P.: The resonance counting function for Schrödinger operators with generic potentials. Math. Res. Lett. 12, 821–826 (2005)
Christiansen, T.: Lower bounds for resonance counting functions for obstacle scattering in even dimensions. arXiv: 1510.04952
Dang, N.V., Riviére, G.: Spectral analyss of Morse–Smale gradient flows. arXiv: 1605.05516
Datchev, K.: Local smoothing for scattering manifolds with hyperbolic trapped sets. Commun. Math. Phys. 286(3), 837–850 (2009)
Datchev, K.: Quantitative limiting absorption principle in the semiclassical limit. Geom. Funct. Anal. 24, 740–747 (2014)
Datchev, K.: Resonance free regions for nontrapping manifolds with cusps. Anal. PDE 9, 907–953 (2016)
Datchev, K., Dyatlov, S.: Fractal Weyl laws for asymptotically hyperbolic manifolds. Geom. Funct. Anal. 23, 1145–1206 (2013)
Datchev, K., Dyatlov, S., Zworski, M.: Resonances and lower resolvent bounds. J. Spectr. Theory 5, 599–615 (2015)
Datchev, K., Hezari, H.: Resonant uniqueness of radial semiclassical Schrödinger operators. AMRX 2012, 105–113 (2012)
Datchev, K., Kang, D., Kessler, A.: Nontrapping surfaces of revolution with long living resonances. Math. Res. Lett. 22, 23–42 (2015)
Datchev, K., Vasy, A.: Gluing semiclassical resolvent estimates via propagation of singularities. IMRN 23, 5409–5443 (2012)
Dinh, T.-C., Vu, D.-V.: Asymptotic number of scattering resonances for generic Schrödingier operators. Commun. Math. Phys. 326, 185–208 (2014)
Dolgopyat, D.: On decay of correlations in Anosov flows. Ann. Math. 147, 357–390 (1998)
Drouot, A.: A quantitative version of Hawking radiation, arXiv: 1510.02398, to appear in Ann. Inst. Henri Poincaré
Drouot, A.: Scattering resonances for highly oscillatory potentials, arXiv: 1509.04198
Drouot, A.: Pollicott-Ruelle resonances via kinetic Brownian motion, arXiv: 1607.03841
Duchêne, V., Vukićević, I., Weinstein, M.: Scattering and localization properties of highly oscillatory potentials. Commun. Pure Appl. Math. 67, 83–128 (2014)
Duyckaerts, T., Grigis, A., Martinez, A.: Resonance widths for general Helmholtz Resonators with straight neck, arXiv: 1504.05425
Dyatlov, S.: Exponential energy decay for Kerr-de Sitter black holes beyond event horizons. Math. Res. Lett. 18, 1023–1035 (2011)
Dyatlov, S.: Asymptotic distribution of quasi-normal modes for Kerr-de Sitter black holes. Ann. Inst. Henri Poincaré 13, 1101–1166 (2012)
Dyatlov, S.: Resonance projectors and asymptotics for r-normally hyperbolic trapped sets. J. AMS 28, 311–381 (2015)
Dyatlov, S.: Asymptotics of linear waves and resonances with applications to black holes. Commun. Math. Phys. 335, 1445–1485 (2015)
Dyatlov, S.: Spectral gaps for normally hyperbolic trapping. Ann. Inst. Fourier 66, 55–82 (2016)
Dyatlov, S.: Improved fractal Weyl bounds for hyperbolic manifolds, with an appendix by Borthwick, D., Dyatlov, S., Weich, T., arXiv: 1608.02238
Dyatlov, S., Faure, F., Guillarmou, C.: Power spectrum of the geodesic flow on hyperbolic manifolds. Anal. PDE 8, 923–1000 (2015)
Dyatlov, S., Ghosh, S.: Symmetry of bound and antibound states in the semiclassical limit for a general class of potentials. Proc. AMS 138, 3203–3210 (2010)
Dyatlov, S., Guillarmou, C.: Pollicott–Ruelle resonances for open systems, Ann. Inst. Henri Poincaré (A), published online, arXiv: 1410.5516
Dyatlov, S., Jin, L.: Resonances for open quantum maps and the fractal uncertainty principle, arXiv: 1608.02238
Dyatlov, S., Zahl, J.: Spectral gaps, additive energy, and a fractal uncertainty principle, Geom. Funct. Anal., published online, arXiv: 1504.06589
Dyatlov, S., Zworski, M.: Trapping of waves and null geodesics for rotating black holes. Phys. Rev. D 88, 084037 (2013)
Dyatlov, S., Zworski, M.: Stochastic stability of Pollicott–Ruelle resonances. Nonlinearity 28, 3511–3534 (2015)
Dyatlov, S., Zworski, M.: Dynamical zeta functions for Anosov flows via microlocal analysis. Ann. Sci. Ec. Norm. Supér. 49, 543–577 (2016)
Dyatlov, S., Zworski, M.: Ruelle zeta function at zero for surfaces, arXiv: 1606.04560
Dyatlov, S., Zworski, M.: Mathematical theory of scattering resonances, book in preparation; http://math.mit.edu/~dyatlov/res/
Eckmann, J.-P.: Resonances in dynamical systems, IXth International Congress on Mathematical Physics (Swansea, 1988), 192–207, Hilger, Bristol, 1989. http://www.uvm.edu/~pdodds/files/papers/others/everything/eckmann1989a.pdf
Elworthy, K.D.: Stochastic Differential Equations on Manifolds. Cambridge University Press, Cambridge (1982)
Ermann, L., Frahm, K.M., Shepelyansky, D.L.: Google matrix analysis of directed networks. Rev. Mod. Phys. 87, 1261–1310 (2015)
Faure, F., Sjöstrand, J.: Upper bound on the density of Ruelle resonances for Anosov flows. Commun. Math. Phys. 308, 325–364 (2011)
Faure, F., Roy, N.: Ruelle–Pollicott resonances for real analytic hyperbolic maps. Nonlinearity 19, 1233–1252 (2006)
Faure, F., Roy, N., Sjöstrand, J.: Semi-classical approach for Anosov diffeomorphisms and Ruelle resonances. Open Math. J. 1, 35–81 (2008)
Faure, F., Tsujii, M.: Band structure of the Ruelle spectrum of contact Anosov flows. C. R. Acad. Sci. Paris Sér. I Math 351, 385–391 (2013)
Faure, F., Tsujii, M.: The semiclassical zeta function for geodesic flows on negatively curved manifolds. arXiv: 1311.4932
Faure, F., Tsujii, M.: Semiclassical approach for the Ruelle–Pollicott spectrum of hyperbolic dynamics. In: Analytic and Probabilistic Approaches to Dynamics in Negative Curvature
Fay, J.D.: Fourier coefficients of the resolvent for a Fuchsian group. J. Reine Angew. Math. 293–294, 143–203 (1977)
Fernández, C., Lavine, R.: Lower bounds for resonance widths in potential and obstacle scattering. Commun. Math. Phys. 128, 263–284 (1990)
Fried, D.: Analytic torsion and closed geodesics on hyperbolic manifolds. Invent. Math. 84(3), 523–540 (1986)
Fried, D.: Fuchsian groups and Reidemeister torsion. In: The Selberg Trace Formula and Related Topics (Brunswick, Maine, 1984), Contemp. Math. 53, 141–163, Am. Math. Soc., Providence, RI (1986)
Fried, D.: Meromorphic zeta functions for analytic flows. Commun. Math. Phys. 174, 161–190 (1995)
Fujiié, S., Lahmar-Benbernou, A., Martinez, A.: Width of shape resonances for non globally analytic potentials. J. Math. Soc. Jpn. 63, 1–78 (2011)
Galkowski, J.: Distribution of resonances in scattering by thin barriers. arXiv: 1404.3709
Galkowski, J.: The quantum sabine law for resonances in transmission problems. arXiv: 1511.05091
Galkowski, J.: Resonances for thin barriers on the circle. J. Phys. A 49, 125205 (2016)
Galkowski, J.: A quantitative vainberg method for black box scattering. Commun. Math. Phys. (2016) arXiv: 1511.05894
Galkowski, J., Smith, H.: Restriction bounds for the free resolvent and resonances in lossy scattering. International Mathematics Research Notices, 7473–7509 (2015)
Gannot, O.: A global definition of quasinormal modes for Kerr-AdS Black Holes. arXiv: 1407.6686
Gannot, O.: From quasimodes to resonances: exponentially decaying perturbations. Pac. J. Math. 277, 77–97 (2015)
Gaspard, P., Rice, S.A.: Semiclassical quantization of the scattering from a classically chaotic repellor. J. Chem. Phys. 90, 224–2254 (1989)
Gérard, C.: Asymptotique des pôles de la matrice de scattering pour deux obstacles strictement convexes. Mémoires de la Société Mathématique de France Sér. 2(31), 1–146 (1988)
Gérard, C., Martinez, A.: Semiclassical asymptotics for the spectral function of long range Schrödinger operators. J. Funct. Anal. 84, 226–254 (1989)
Gérard, C., Martinez, A., Robert, D.: Breit–Wigner formulas for the scattering phase and the total scattering cross-section in the semi-classical limit. Commun. Math. Phys. 121, 323–336 (1989)
Gérard, C., Sjöstrand, J.: Semiclassical resonances generated by a closed trajectory of hyperbolic type. Commun. Math. Phys. 108, 391–421 (1987)
Gérard, C., Sjöstrand, J.: Resonances en limite semiclassique et exposants de Lyapunov. Commun. Math. Phys. 116, 193–213 (1988)
Giulietti, P., Liverani, C., Pollicott, M.: Anosov flows and dynamical zeta functions. Ann. Math. 178(2), 687–773 (2013)
Goodhue, W.L.: Scattering theory for hyperbolic systems with coefficients of Gevrey type. Trans. Am. Math. Soc. 180, 337–346 (1973)
Goussev, A., Schubert, R., Waalkens, H., Wiggins, S.: Quantum theory of reactive scattering in phase space. Adv. Quant. Chem. 60, 269–332 (2010)
Gouëzel, S., Liverani, C.: Banach spaces adapted to Anosov systems. Ergod. Theory Dyn. Syst. 26, 189–217 (2006)
Gribov, V.: The Theory of Complex Angular Momentum. Cambridge University Press, Cambridge (2003)
Grigis, A., Martinez, A.: Resonance widths for the molecular predissociation. Anal. PDE 7, 1027–1055 (2014)
Guillarmou, C.: Meromorphic properties of the resolvent on asymptotically hyperbolic manifolds. Duke Math. J. 129, 1–37 (2005)
Guillarmou, C.: Invariant distributions and X-ray transform for Anosov flows. J. Diff. Geom. to appear. arXiv: 1408.4732
Guillarmou, C.: Lens rigidity for manifolds with hyperbolic trapped set. J. AMS, to appear arXiv: 14102.1760
Guillarmou, C., Hilgert, J., Weich, T.: Classical and quantum resonances for hyperbolic surfaces. preprint, arXiv: 1605.08801
Guillarmou, C., Mazzeo, R.: Resolvent of the Laplacian on geometrically finite hyperbolic manifolds. Invent. Math. 187, 99–144 (2012)
Guillarmou, C., Monard, F.: Reconstruction formulas for X-ray transforms in negative curvature. arXiv: 1511.05516
Guillarmou, C., Paternain, G., Salo, M., Uhlmann, G.: The X-ray transform for connections in negative curvature. Commun. Math. Phys. 343, 83–127 (2016)
Guillopé, L., Lin, K.K., Zworski, M.: The Selberg zeta function for convex co-compact Schottky groups. Commun. Math. Phys. 245, 149–176 (2004)
Guillopé, L., Zworski, M.: Wave trace for Riemann surfaces. Geom. Funct. Anal. 6, 1156–1168 (1999)
Hargé, T., Lebeau, G.: Diffraction par un convexe. Invent. Math. 118, 161–196 (1994)
Helffer, B., Sjöstrand, J.: Resonances en limite semiclassique. Bull. Soc. Math. Fr. 114(24–25) (1986)
Hilgert, J., Pasquale, A., Przebinda, T.: Resonances for the Laplacian on Riemannian symmetric spaces: the case of \(SL(3,R)/SO(3)\). arXiv: 1411.6527
Hintz, P.: Resonance expansions for tensor-valued waves on asymptotically Kerr-de Sitter spaces. arXiv: 1502.03183, to appear in J. Spectr. Theory
Hintz, P., Vasy, A.: Non-trapping estimates near normally hyperbolic trapping. Math. Res. Lett. 21, 1277–1304 (2014)
Hintz, P., Vasy, A.: Global analysis of quasilinear wave equations on asymptotically Kerr-de Sitter spaces. arXiv: 1404.1348
Hintz, P., Vasy, A.: Semilinear wave equations on asymptotically de Sitter, Kerr-de Sitter and Minkowski spacetimes. Anal. PDE 8, 1807–1890 (2015)
Hintz, P., Vasy, A.: The global non-linear stability of the Kerr-de Sitter family of black holes. arXiv: 1606.04014
Hirsch, M., Pugh, C., Shub, M.: Invariant Manifolds. Lecture Notes in Mathematics. Springer, Berlin (1977)
Hislop, P.D., Sigal, I.M.: Introduction to spectral theory: with applications of to Schrödinger operators. Appl. Math. Sci. 113, Springer (1996)
Holmer, J., Liu, C.: Blow-up for the 1D nonlinear Schrödinger equation with point nonlinearity I: Basic theory arXiv: 1510.03491
Holmer, J., Zworski, M.: Breathing patterns in nonlinear relaxation. Nonlinearity 22, 1259–1301 (2009)
Hörmander, L.: The Analysis of Linear Partial Differential Operators I. Distribution Theory and Fourier Analysis. Springer, Berlin (1983)
Hörmander, L.: The Analysis of Linear Partial Differential Operators III. Pseudo-Differential Operators. Springer, Berlin (1985)
Hunziker, W.: Distortion analyticity and molecular resonance curves. Ann. Inst. H. Poincaré Phys. Théor. 45, 339–358 (1986)
Ikawa, M.: On the poles of the scattering matrix for two strictly convex obstacles. J. Math. Kyoto Univ. 23(1), 127–194 (1983)
Ikawa, M.: Decay of solutions of the wave equation in the exterior of several convex bodies. Ann. Inst. Fourier 38, 113–146 (1988)
Ingremeau, M.: Distorted plane waves in chaotic scattering. arXiv: 1507.02970
Intissar, A.: A polynomial bound on the number of the scattering poles for a potential in even-dimensional spaces. Commun. Partial Differ. Equ. 11, 367–396 (1986)
Iommi, G.: The Bowen Formula: Dimension Theory and Thermodynamic Formalism. Notes from VII Escuela de Sistemas Dinámicos, Valparaíso, (2008) http://www.mat.uc.cl/~giommi/notas3_escuela
Ivrii, V.: 100 year’s of Weyl law. Bull. Math. Sci. (2016) http://springerlink.bibliotecabuap.elogim.com/journal/13373
Jagau, T.-C., Zuev, D., Bravaya, K.B., Epifanovsky, E., Krylov, A.I.: A fresh look at resonances and complex absorbing potentials: density matrix-based approach. J. Phys. Chem. Lett. 5, 310–315 (2014)
Jakobson, D., Naud, F.: Lower bounds for resonances of infinite area Riemann surfaces. Anal. PDE 3, 207–225 (2010)
Jakobson, D., Naud, F.: On the critical line of convex co-compact hyperbolic surfaces. Geom. Funct. Anal. 22, 352–368 (2012)
Jakobson, D., Naud, F.: Resonances and convex co-compact congruence subgroups of \(PSL_2(\mathbb{Z})\). Israel J. Math. 213, 443–473 (2016)
Jensen, A., Kato, T.: Spectral properties of Schrödinger operators and time-decay of the wave functions. Duke Math. J. 46, 583–611 (1979)
Jensen, A., Nenciu, G.: A unified approach to resolvent expansions at thresholds, Rev. Math. Phys. 13(2001), 717–754; Erratum. Rev. Math. Phys. 16, 675–677 (2004)
Jin, L.: Resonance-free region in scattering by a strictly convex obstacle. Ark. Mat. 52, 257–289 (2014)
Jin, L.: Scattering resonances of convex obstacles for general boundary conditions. Commun. Math. Phys. 335, 759–807 (2015)
Jin, L., Zworski, M.: A local trace formula for Anosov flows. with an appendix by F. Naud, Ann. Henri Poincaré, to appear, arXiv: 1411.6177
Katok, A., Hasselblatt, B.: Introduction to the Modern Theory of Dynamical Systems. Cambridge University Press, Cambridge (1997)
Keller, G., Liverani, C.: Stability of the spectrum for transfer operators. Ann. Scuola Norm. Sup. Pisa Cl. Sci (4)28, 141–152 (1999)
Klopp, F., Zworski, M.: Generic simplicity of resonances. Helv. Phys. Acta 68, 531–538 (1995)
Kokkotas, K., Schmidt, B.: Quasi-normal modes of stars and black holes. Living Rev. Relativ. 2, 2 (1999)
Körber, M.J., Bäcker, A., Ketzmerick, R.: Localization of chaotic resonance states due to a partial transport barrier. Phys. Rev. Lett. 115, 254101 (2015)
Körber, M.J., Michler, M., Bäcker, A., Ketzmerick, R.: Hierarchical fractal Weyl laws for chaotic resonance states in open mixed systems. Phys. Rev. Lett. 111, 114102 (2013)
Korotyaev, E.: Stability for inverse resonance problem. Int. Math. Res. Notices 2004(73), 3927–3936 (2004)
Korotyaev, E.: Inverse resonance scattering on the real line. Inverse Probl. 21, 325 (2005)
Lax, P.D., Phillips, R.S.: Scattering Theory. Academic Press, Cambridge (1968)
Lax, P.D., Phillips, R.S.: The asymptotic distribution of lattice points in Euclidean and non-Euclidean spaces. J. Funct. Anal. 46, 280–350 (1982)
Lebeau, G.: Régularité Gevrey 3 pour la diffraction. Commun. Partial Differ. Equ. 9, 1437–1494 (1984)
Lebeau, G.: Équations de Fokker-Planck géométriques. II. Estimations hypoelliptiques maximales. Ann. Inst. Fourier 57, 1285–1314 (2007)
Lebeau, G., Zworski, M.: Remarks on Vasy’s operator with analytic coefficients. https://math.berkeley.edu/~zworski/hypo.pdf
Lin, K.K.: Numerical study of quantum resonances in chaotic scattering. J. Comput. Phys. 176, 295–329 (2002)
Liverani, C.: On contact Anosov flows. Ann. Math. 159(2), 1275–1312 (2004)
Liverani, C.: Fredholm determinants, Anosov maps and Ruelle resonances. Discrete Contin. Dyn. Syst. 13, 1203–1215 (2005)
Lu, W., Sridhar, S., Zworski, M.: Fractal Weyl laws for chaotic open systems. Phys. Rev. Let. 91, 154101 (2003)
Wei, M., Majda, G., Strauss, W.: Numerical computation of the scattering frequencies for acoustic wave equations. J. Comput. Phys. 75, 345–358 (1988)
Mandouvalos, N.: Spectral theory and Eisenstein series for Kleinian groups. Proc. Lond. Math. Soc. 57, 209–238 (1988)
Marklof, J.: Selberg’s trace formula: an introduction. In: Bolte, J., Steiner, F. (eds.) Hyperbolic Geometry and Applications in Quantum Chaos and Cosmology, pp. 83–119. Cambridge University Press, Cambridge (2011)
Martinez, A.: Resonance free domains for non globally analytic potentials. Ann. Henri Poincaré 4, 739–756 (2002)
Mashreghi, J., Nazarov, F., Havin, V.: Beurling–Malliavin multiplier theorem: the seventh proof. St. Petersburg Math. J. 17, 699–744 (2006)
Mazzeo, R.R., Melrose, R.B.: Meromorphic extension of the resolvent on complete spaces with asymptotically constant negative curvature. J. Funct. Anal. 75, 260–310 (1987)
Mazzeo, R.R., Vasy, A.: Analytic continuation of the resolvent of the Laplacian on symmetric spaces of noncompact type. J. Funct. Anal. 228, 311–368 (2005)
Mazzeo, R.R., Vasy, A.: Scattering theory on \(SL(3)/SO(3)\): connections with quantum 3-body scattering. Proc. Lond. Math. Soc. 94, 545–593 (2007)
Melrose, R.B.: Singularities and energy decay in acoustical scattering. Duke Math. J. 46, 43–59 (1979)
Melrose, R.B.: Scattering theory and the trace formula of the wave group. J. Funct. Anal. 45, 429–440 (1982)
Melrose, R.B.: Growth estimates for the poles in potential scattering. unpublished manuscript (1984)
Melrose, R.B.: Polynomial bounds on the distribution of poles in scattering by an obstacle. Journées “Équations aux Dérivées partielles”, Saint-Jean de Monts, (1984)
Melrose, R.B.: Spectral and scattering theory for the Laplacian on asymptotically Euclidian spaces. In: Ikawa, M. (ed.) Spectral and Scattering Theory. Marcel Dekker (1994) http://www-math.mit.edu/~rbm/papers/sslaes/sslaes.ps
Melrose, R.B.: Geometric Scattering Theory. Cambridge University Press, Cambridge (1995)
Merkli, M., Sigal, I.M.: A time-dependent theory of quantum resonances. Commun. Math. Phys. 201, 549–576 (1999)
Moon, C.R., Mattos, L.S., Foster, B.K., Zeltzer, G., Ko, W., Manoharan, H.C.: Quantum phase extraction in isospectral electronic nanostructures. Science 319, 782–787 (2008)
Morawetz, C.: Exponential decay of solutions of the wave equation. Commun. Pure. Appl. Math. 19, 439–444 (1966)
Morawetz, C.: On the modes of decay for the wave equation in the exterior of a reflecting body. Proc. R. Irish Acad. Sect. A 72, 113–120 (1972)
Morawetz, C., Ralston, J., Strauss, W.: Decay of solutions of the wave equation outside nontrapping obstacles. Commun. Pure. Appl. Math. 30, 447–508 (1977)
Moskovici, H., Stanton, R.: R-torsion and zeta functions for locally symmetric manifolds. Invent. Math. 105, 185–216 (1991)
Naud, F.: Expanding maps on Cantor sets and analytic continuation of zeta functions. Ann. Sci. École Norm. Sup. 38, 116–153 (2005)
Naud, F.: Density and location of resonances for convex co-compact hyperbolic surfaces. Invent. Math. 195, 723–750 (2014)
Naud, F.: Borne de Weyl fractale et résonances. Séminaire BOURBAKI, Novembre 2015 68ème année, 2015–2016, no. 1107, http://www.bourbaki.ens.fr/TEXTES/1107.pdf
Nakamura, S., Stefanov, P., Zworski, M.: Resonance expansions of propagators in the presence of potential barriers. J. Funct. Anal. 205, 180–205 (2003)
Nakano, Y., Wittsten, J.: On the spectra of a randomly perturbed partially expanding map on the torus. Nonlinearity 28, 951–1002 (2015)
Nonnenmacher, S.: Spectral problems in open quantum chaos. Nonlinearity 24, R123–R167 (2011)
Nonnenmacher, S., Sjöstrand, J., Zworski, M.: From open quantum systems to open quantum maps. Commun. Math. Phys. 304, 1–48 (2011)
Nonnenmacher, S., Sjöstrand, J., Zworski, M.: Fractal Weyl law for open quantum chaotic maps. Ann. Math. 179(2), 179–251 (2014)
Nonnenmacher, S., Zworski, M.: Distribution of resonances for open quantum maps. Commun. Math. Phys. 269, 311–365 (2007)
Nonnenmacher, S., Zworski, M.: Quantum decay rates in chaotic scattering. Acta Math. 203, 149–233 (2009)
Nonnenmacher, S., Zworski, M.: Semiclassical resolvent estimates in chaotic scattering. Appl. Math. Res. eXpress (2009). doi:10.1093/amrx/abp003
Nonnenmacher, S., Zworski, M.: Decay of correlations for normally hyperbolic trapping. Invent. Math. 200, 345–438 (2015)
Oh, H., Winter, D.: Uniform exponential mixing and resonance free regions for convex co-compact congruence subgroups of \(SL_2(\mathbb{Z})\). J. AMS 29, 1069–1115 (2016)
Parry, W., Pollicott, M.: An analogue of the prime number theorem for closed orbits of Axiom A flows. Ann. Math. 118, 573–591 (1983)
Patterson, S.J.: The Laplacian operator on a Riemann surface I. Compos. Math. 31, 83–107 (1975)
Patterson, S.J.: The Laplacian operator on a Riemann surface II. Compos. Math 32, 71–112 (1976)
Patterson, S.J.: The Laplacian operator on a Riemann surface III. Compos. Math 33, 71–112 (1976)
Perelman, G.: On the formation of singularities in solutions of the critical nonlinear Schrödinger equation. Ann. H. Poincaré 2, 605–673 (2001)
Perry, P.A.: The Laplace operator on a hyperbolic manifold. II. Eisenstein series and the scattering matrix. J. Reine Angew. Math. 398, 67–91 (1989)
Petkov, V., Stoyanov, L.: Analytic continuation of the resolvent of the Laplacian and the dynamical zeta function. Anal. PDE 3, 427–489 (2010)
Petkov, V., Zworski, M.: Breit–Wigner approximation and distribution of resonances, Comm. Math. Phys. 204, 329–351 (1999); Erratum. Comm. Math. Phys. 214, 733–735 (2000)
Petkov, V., Zworski, M.: Semi-classical estimates on the scattering determinant. Ann. H. Poincaré 2, 675–711 (2001)
Pollicott, M.: Meromorphic extensions of generalized zeta functions. Invent. Math. 85, 147–164 (1986)
Pollicott, M.: Dynamical zeta functions. http://homepages.warwick.ac.uk/~masdbl/grenoble-16july.pdf
Popov, G.: Asymptotics of Green’s functions in the shadow. C. R. Acad. Bulgare Sci. 38, 1287–1290 (1985)
Potzuweit, A., Weich, T., Barkhofen, S., Kuhl, U., Stöckmann, H.-J., Zworski, M.: Weyl asymptotics: from closed to open systems. Phys. Rev. E. 86, 066205 (2012)
Prony, G.R.: Essai éxperimental et analytique: sur les lois de la dilatabilité, J. École Polytechnique, Floréal et Plairial, an III 1, cahier 22, 24–76 (1795)
Ralston, J.: Solutions of the wave equation with localized energy. Commun. Pure Appl. Math. 22, 807–823 (1969)
Ralston, J.: Addendum to: “The first variation of the scattering matrix” J. Differ. Equ. 21(2), 378–394 (1976) by J. W. Helton and Ralston. J. Differ. Equ. 28, 155–162 (1978)
Ramond, T.: Analyse semiclassique, résonances et contrôle de l’équation de Schrödinger. on-line lecture notes (2005) http://www.math.u-psud.fr/~ramond/docs/m2/cours.pdf
Regge, T.: Analytic properties of the scattering matrix. Il Nuovo Cimento 8, 671–679 (1958)
Reinhardt, W.P.: Complex scaling in atomic and molecular physics, in and out of external fields. AMS Proc. Ser. Proc. Symp. Pure Math. 76, 357–377 (2007)
Riss, U.V., Meyer, H.D.: Reflection-free complex absorbing potentials. J. Phys. B 28, 1475–1493 (1995)
Rodnianski, I., Tao, T.: Effective limiting absorption principles and applications. Commun. Math. Phys. 333, 1–95 (2015)
Rouleux, M.: Absence of resonances for semiclassical Schrödinger operators with Gevrey coefficients. Hokkaido Math. J. 30, 475–517 (2001)
Ruelle, D.: Zeta-functions for expanding maps and Anosov flows. Invent. Math. 34, 231–242 (1976)
Ruelle, D.: Resonances of chaotic dynamical systems. Phys. Rev. Lett. 56, 405–407 (1986)
Rugh, H.H.: Generalized Fredholm determinants and Selberg zeta functions for Axiom A dynamical systems. Erg. Theory Dyn. Syst. 16, 805–819 (1996)
Sá Barreto, A.: Remarks on the distribution of resonances in odd dimensional Euclidean scattering. Asymptot. Anal. 27, 161–170 (2001)
Sá Barreto, A., Zworski, M.: Existence of resonances in potential scattering. Commun. Pure Appl. Math. 49, 1271–1280 (1996)
Sá Barreto, A., Zworski, M.: Distribution of resonances for spherical black holes. Math. Res. Lett. 4, 103–121 (1997)
Schenck, E.: Energy decay for the damped wave equation under a pressure condition. Commun. Math. Phys. 300, 375–410 (2010)
Schlag, W.: Dispersive estimates for Schrödinger operators: a survey. In: Mathematical aspects of nonlinear dispersive equations, pp. 255–285, Ann. of Math. Stud., 163, Princeton University Press, Princeton, NJ (2007)
Schubert, R., Waalkens, H., Wiggins, S.: Efficient computation of transition state resonances and reaction rates from a quantum normal form. Phys. Rev. Lett. 96, 218302 (2006)
Seideman, T., Miller, W.H.: Calculation of the cumulative reaction probability via a discrete variable representation with absorbing boundary conditions. J. Chem. Phys. 96, 4412–4422 (1992)
Shapiro, J.: Semiclassical resolvent bounds in dimension two. arXiv: 1604.03852
Shen, S.: Analytic torsion, dynamical zeta functions and orbital integrals. C.R. Acad. Sci. Paris Ser. I 354, 433–436 (2016)
Shlapentokh-Rothman, Y.: Quantitative mode stability for the wave equation on the Kerr spacetime. Ann. Inst. Henri Poincaré (A) 16, 289–345 (2015)
Simon, B.: The definition of molecular resonance curves by the method of exterior complex scaling. Phys. Lett. 71A, 211–214 (1979)
Sjöstrand, J.: Geometric bounds on the density of resonances for semiclassical problems. Duke Math. J. 60, 1–57 (1990)
Sjöstrand, J.: A trace formula and review of some estimates for resonances. In: Microlocal analysis and spectral theory (Lucca, 1996), pp. 377–437, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 490, Kluwer Acadmic Publication, Dordrecht (1997)
Sjöstrand, J.: A trace formula for resonances and application to semi-classical Schrödinger operators. Séminaire Équations aux dérivées partielles (1996–1997), vol. 1996–1997, 1–13
Sjöstrand, J.: Lectures on resonances. version préliminaire, printemps (2002) http://sjostrand.perso.math.cnrs.fr/Coursgbg.pdf
Sjöstrand, J.: Weyl law for semi-classical resonances with randomly perturbed potentials. Mém. Soc. Math. Fr. (N.S.) 136, vi+144 (2014)
Sjöstrand, J., Zworski, M.: Complex scaling and the distribution of scattering poles. J. Am. Math. Soc. 4, 729–769 (1991)
Sjöstrand, J., Zworski, M.: The complex scaling method for scattering by strictly convex obstacles. Ark. Mat. 33, 135–172 (1995)
Sjöstrand, J., Zworski, M.: Asymptotic distribution of resonances for convex obstacles. Acta Math. 183, 191–253 (1999)
Sjöstrand, J., Zworski, M.: Fractal upper bounds on the density of semiclassical resonances. Duke Math. J. 137, 381–459 (2007)
Smale, S.: Differentiable dynamical systems. Bull. Am. Math. Soc. 73, 747–817 (1967)
Smith, H.: A calculus for three-dimensional CR manifolds of finite type. J. Funct. Anal. 120, 135–162 (1994)
Smith, H.: Parametrix for a semiclassical sum of squares. in preparation
Smith, H., Zworski, M.: Heat traces and existence of scattering resonances for bounded potentials. Ann. Inst. Fourier 66, 455–475 (2016)
Soffer, A., Weinstein, M.I.: Time dependent resonance theory. Geom. Funct. Anal. 8, 1086–1128 (1998)
Stefanov, P.: Quasimodes and resonances: sharp lower bounds. Duke Math. J. 99, 75–92 (1999)
Stefanov, P.: Sharp upper bounds on the number of the scattering poles. J. Funct. Anal. 231, 111–142 (2006)
Stefanov, P., Vodev, G.: Neumann resonances in linear elasticity for an arbitrary body. Commun. Math. Phys. 176, 645–659 (1996)
Stoyanov, L.: Spectra of Ruelle transfer operators for Axiom A flows. Nonlinearity 24, 1089–1120 (2011)
Tamura, H.: Aharonov–Bohm effect in resonances for scattering by three solenoids at large separation, preprint (2015)
Tamura, H.: Aharonov–Bohm effect in resonances for scattering by three solenoids. Proc. Jpn. Acad. Ser. A Math. Sci 91(2015), 45–49 (2015)
Tang, S.H., Zworski, M.: From quasimodes to resonances. Math. Res. Lett. 5, 261–272 (1998)
Tsujii, M.: Contact Anosov flows and the FBI transform. Ergod. Theory Dyn. Syst. 32, 2083–2118 (2012)
Vainberg, B.R.: Exterior elliptic problems that depend polynomially on the spectral parameter and the asymptotic behavior for large values of the time of the solutions of nonstationary problems. (Russian) Mat. Sb. (N.S.) 92(134), 224–241 (1973)
Vasy, A.: Microlocal analysis of asymptotically hyperbolic and Kerr-de Sitter spaces, with an appendix by Semyon Dyatlov. Invent. Math. 194, 381–513 (2013)
Vasy, A.: Microlocal analysis of asymptotically hyperbolic spaces and high energy resolvent estimates. Inverse problems and applications. Inside Out II, edited by Gunther Uhlmann, Cambridge University Press, MSRI publications 60 (2012)
Vodev, G.: Sharp bounds on the number of scattering poles for perturbations of the Laplacian. Commun. Math. Phys. 146, 205–216 (1992)
Vodev, G.: Sharp bounds on the number of scattering poles in even-dimensional spaces. Duke Math. J. 74, 1–17 (1994)
Vodev, G.: Sharp bounds on the number of scattering poles in the two dimensional case. Math. Nachr. 170, 287–297 (1994)
Vodev, G.: Semi-classical resolvent estimates and regions free of resonances. Math. Nachr. 287, 825–835 (2014)
Warnick, C.: On quasinormal modes of asymptotically Anti-de Sitter black holes. Commun. Math. Phys. 333, 959–1035 (2015)
Weich, T.: Resonance chains and geometric limits on Schottky surfaces. Commun. Math. Phys. 337, 727–765 (2015)
Weich, T.: On the support of Pollicott-Ruelle resonanant states for Anosov flows. Ann. Henri Poincaré, to appear, arXiv: 1511.08338
Wunsch, J.: Diffractive propagation on conic manifolds. Séminaire Laurent Schwartz, (2016). http://slsedp.cedram.org/slsedp-bin/fitem?id=SLSEDP_2015-2016____A9_0
Wunsch, J., Zworski, M.: Distribution of resonances for asymptotically euclidean manifolds. J. Differ. Geom. 55, 43–82 (2000)
Wunsch, J., Zworski, M.: Resolvent estimates for normally hyperbolic trapped sets. Ann. Inst. Henri Poincaré (A) 12, 1349–1385 (2011)
Zuily, C.: Real analyticity of radiation patterns on asymptotically hyperbolic manifolds. (2017) arXiv: 1611.10250, to appear in Applied Mathematics Research eXpress
Zworski, M.: Distribution of poles for scattering on the real line. J. Funct. Anal. 73, 277–296 (1987)
Zworski, M.: Sharp polynomial bounds on the number of scattering poles of radial potentials. J. Funct. Anal. 82, 370–403 (1989)
Zworski, M.: Sharp polynomial bounds on the number of scattering poles. Duke Math. J. 59, 311–323 (1989)
Zworski, M.: Counting scattering poles. In: Ikawa, M. (ed.) Spectral and Scattering Theory, Lecture Notes in Pure and Applied Mathematics. Marcel Dekker, New York (1994)
Zworski, M.: Dimension of the limit set and the density of resonances for convex co-compact hyperbolic surfaces. Invent. Math. 136, 353–409 (1999)
Zworski, M.: Semiclassical Analysis. Graduate Studies in Mathematics, vol. 138. American Mathematical Society, Providence (2012)
Zworski, M.: Resonances for asymptotically hyperbolic manifolds: Vasy’s method revisited. arXiv: 1511.03352, to appear in J. Spectr. Theory
Zworski, M.: Scattering resonances as viscosity limits. arXiv: 1505.00721, to appear in “Algebraic and Analytic Microlocal Analysis”, Hitrik, M., Tamarkin, D., Tsygan B., Zelditch, S. (eds.), Springer
Acknowledgements
I would like thank my collaborator on [80], Semyon Dyatlov, for allowing me to use some of the expository material from our book, including figures, in the preparation of this survey and for his constructive criticism of earlier versions. Many thanks go also to David Borthwick, Alexis Drouot, Jeff Galkowski, Peter Hintz, Jian Wang and Steve Zelditch for their comments and corrections. I am also grateful to Hari Manoharan, Ulrich Kuhl, Plamen Stefanov, David Bindel, Mickael Chekroun, Eric Heller and David Borthwick for allowing me to use Figs. 1, 2, 8, 11, 13, 14, 19, 21 and 26, respectively. The work on this survey was supported in part by the National Science Foundation grant DMS-1500852.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Zworski, M. Mathematical study of scattering resonances. Bull. Math. Sci. 7, 1–85 (2017). https://doi.org/10.1007/s13373-017-0099-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-017-0099-4