Igor Rodnianski and I have just uploaded to the arXiv our paper “Effective limiting absorption principles, and applications“, submitted to Communications in Mathematical Physics. In this paper we derive limiting absorption principles (of type discussed in this recent post) for a general class of Schrödinger operators on a wide class of manifolds, namely the *asymptotically conic* manifolds. The precise definition of such manifolds is somewhat technical, but they include as a special case the *asymptotically flat* manifolds, which in turn include as a further special case the smooth compact perturbations of Euclidean space (i.e. the smooth Riemannian manifolds that are identical to outside of a compact set). The potential is assumed to be a *short range potential*, which roughly speaking means that it decays faster than as ; for several of the applications (particularly at very low energies) we need to in fact assume that is a *strongly short range potential*, which roughly speaking means that it decays faster than .

To begin with, we make no hypotheses about the topology or geodesic geometry of the manifold ; in particular, we allow to be *trapping* in the sense that it contains geodesic flows that do not escape to infinity, but instead remain trapped in a bounded subset of . We also allow the potential to be signed, which in particular allows bound states (eigenfunctions of negative energy) to be created. For standard technical reasons we restrict attention to dimensions three and higher: .

It is well known that such Schrödinger operators are essentially self-adjoint, and their spectrum consists of purely absolutely continuous spectrum on , together with possibly some eigenvalues at zero and negative energy (and at zero energy and in dimensions three and four, there are also the possibility of *resonances* which, while not strictly eigenvalues, have a somewhat analogous effect on the dynamics of the Laplacian and related objects, such as resolvents). In particular, the resolvents make sense as bounded operators on for any and . As discussed in the previous blog post, it is of interest to obtain bounds for the behaviour of these resolvents, as this can then be used via some functional calculus manipulations to obtain control on many other operators and PDE relating to the Schrödinger operator , such as the Helmholtz equation, the time-dependent Schrödinger equation, and the wave equation. In particular, it is of interest to obtain *limiting absorption estimates* such as

for (and particularly in the positive energy regime ), where and is an arbitrary test function. The constant needs to be independent of for such estimates to be truly useful, but it is also of interest to determine the extent to which these constants depend on , , and . The dependence on is relatively uninteresting and henceforth we will suppress it. In particular, our paper focused to a large extent on *quantitative* methods that could give *effective* bounds on in terms of quantities such as the magnitude of the potential in a suitable norm.

It turns out to be convenient to distinguish between three regimes:

- The
*high-energy regime*; - The
*medium-energy regime*; and - The
*low-energy regime*.

Our methods actually apply more or less uniformly to all three regimes, but the nature of the conclusions is quite different in each of the three regimes.

The high-energy regime was essentially worked out by Burq, although we give an independent treatment of Burq’s results here. In this regime it turns out that we have an unconditional estimate of the form (1) with a constant of the shape

where is a constant that depends only on and on a parameter that controls the size of the potential . This constant, while exponentially growing, is still finite, which among other things is enough to rule out the possibility that contains eigenfunctions (i.e. point spectrum) embedded in the high-energy portion of the spectrum. As is well known, if contains a certain type of trapped geodesic (in particular those arising from positively curved portions of the manifold, such as the equator of a sphere), then it is possible to construct *pseudomodes* that show that this sort of exponential growth is necessary. On the other hand, if we make the *non-trapping hypothesis* that all geodesics in escape to infinity, then we can obtain a much stronger high-energy limiting absorption estimate, namely

The exponent here is closely related to the standard fact that on non-trapping manifolds, there is a local smoothing effect for the time-dependent Schrödinger equation that gains half a derivative of regularity (cf. previous blog post). In the high-energy regime, the dynamics are well-approximated by semi-classical methods, and in particular one can use tools such as the positive commutator method and pseudo-differential calculus to obtain the desired estimates. In case of trapping one also needs the standard technique of Carleman inequalities to control the compact (and possibly trapping) core of the manifold, and in particular needing the delicate two-weight Carleman inequalities of Burq.

In the medium and low energy regimes one needs to work harder. In the medium energy regime , we were able to obtain a uniform bound

for all asymptotically conic manifolds (trapping or not) and all short-range potentials. To establish this bound, we have to supplement the existing tools of the positive commutator method and Carleman inequalities with an additional ODE-type analysis of various energies of the solution to a Helmholtz equation on large spheres, as will be discussed in more detail below the fold.

The methods also extend to the low-energy regime . Here, the bounds become somewhat interesting, with a subtle distinction between *effective* estimates that are uniform over all potentials which are bounded in a suitable sense by a parameter (e.g. obeying for all ), and *ineffective* estimates that exploit qualitative properties of (such as the absence of eigenfunctions or resonances at zero) and are thus not uniform over . On the effective side, and for potentials that are strongly short range (at least at local scales ; one can tolerate merely short-range behaviour at more global scales, but this is a technicality that we will not discuss further here) we were able to obtain a polynomial bound of the form

that blew up at a large polynomial rate at the origin. Furthermore, by carefully designing a sequence of potentials that induce near-eigenfunctions that resemble two different Bessel functions of the radial variable glued together, we are able to show that this type of polynomial bound is sharp in the following sense: given any constant , there exists a sequence of potentials on Euclidean space uniformly bounded by , and a sequence of energies going to zero, such that

This shows that if one wants bounds that are *uniform* in the potential , then arbitrary polynomial blowup is necessary.

Interestingly, though, if we *fix* the potential , and then ask for bounds that are not necessarily uniform in , then one can do better, as was already observed in a classic paper of Jensen and Kato concerning power series expansions of the resolvent near the origin. In particular, if we make the spectral assumption that has no eigenfunctions or resonances at zero, then an argument (based on (a variant of) the Fredholm alternative, which as discussed in this recent blog post gives ineffective bounds) gives a bound of the form

in the low-energy regime (but note carefully here that the constant on the right-hand side depends on the potential itself, and not merely on the parameter that upper bounds it). Even if there are eigenvalues or resonances, it turns out that one can still obtain a similar bound but with an exponent of instead of . This limited blowup at infinity is in sharp contrast to the arbitrarily large polynomial blowup rate that can occur if one demands uniform bounds. (This particular subtlety between uniform and non-uniform estimates confused us, by the way, for several weeks; for a long time we thought that we had somehow found a contradiction between our results and the results of Jensen and Kato.)

As applications of our limiting absorption estimates, we give local smoothing and dispersive estimates for solutions (as well as the closely related RAGE type theorems) to the time-dependent Schrödinger and wave equations, and also reprove standard facts about the spectrum of Schrödinger operators in this setting.

** — 1. Proof techniques — **

Our main new tool is an analysis of spherical energies of solutions to a Helmholtz equation such as

assuming various bounds on . On a large “sphere” of radius in (which, being asymptotically conic, will be equipped with a coordinate that resembles a radial variable and can thus be used to define “spheres”), one considers various “spherical energies” such as the “mass”

“radial energy”

or “angular energy”

and so forth. Here is a suitably normalised surface measure on . If one differentiates these quantities in using differentiation under the integral sign, and performs integration by parts, one discovers a number of ordinary differential equations and inequalities relating these energies to each other, which resemble the Bessel ordinary differential equation (which is not surprising, since this latter equation naturally emergies from the Helmholtz equation for the free Schrödinger operator in Euclidean space at least, after a separation of variables). Qualitative hypotheses on and (such as the “Sommerfeld radiation condition”) place certain boundary conditions on these energies at . It is then possible to perform an ODE analysis to understand the behaviour of these spherical energies in the exterior region for some large , where the asymptotically conic nature of the manifold dominates (and in particular, effects such as trapping are not visible). In this exterior region, the ODE analysis shows (roughly speaking) that one of two things happen:

- (Bounded energy) The various spherical energies of are bounded in terms of and in a controlled way.
- (Exponential growth) The spherical energies of near, say, , are much larger than the spherical energies of near .

This dichotomy is related to the basic fact that solutions to the eigenfunction ODE either stay bounded (in the positive energy case) or grow exponentially (in the negative energy case). (This ignores the zero energy case, in which solutions grow linearly, so this analogy should be taken with a grain of salt; but it does already give some flavour of where the dichotomy is coming from.)

It turns out that the exponential growth portion of the dichotomy can be ruled out as being incompatible with Carleman estimates, which in contrast to the ODE analysis which only focuses on the exterior portion of the manifold , are driven instead by the geometry of the local portion of the manifold. In particular, to establish the Carleman estimate needed one needs to apply some elementary Morse theory to this local region to find suitable exponential weight functions in order to obtain the desired estimates, as was done by Burq. In the high-energy regime, the deployment of Carleman estimates costs us an exponential factor , but as is well known, in the non-trapping case, one can use positive commutator methods instead to avoid this loss.

In the low energy regime , one has to treat the medium-range region differently from the high-range region ; in particular, some polynomial growth in the spherical energies can occur in this regime (similarly to how solutions to the Bessel equation can exhibit polynomial growth). However, apart from this detail, the methods are largely the same.

## 3 comments

Comments feed for this article

20 February, 2013 at 1:50 am

Willie WongHi Terry, a quick question about “for standard technical reasons … d >= 3″: you do not actually mean that there is an obstruction for d =2 , correct? I assume the standard technical reasons is the one giving the different form of the Newton potential in d = 2. If that is the case, do you know if the analogous analyses have been carried out in the two-dimensional case anywhere? Agmon’s paper (your citation [1]) seems to work for all dimensions, but quite often he just proves the d>=3 case while stating that d=2 can be done analogously with obvious modifications.

20 February, 2013 at 8:01 am

Terence TaoWell, in this specific paper, there is an additional obstruction at d=2 due to our use of the positive commutator method, which relies on the positivity (to top order, at least) of various commutators for various key operators in order to get good estimates after an integration by parts. In particular, we rely on the essential positivity of a double commutator which is basically . In order to fully exploit this positivity, one needs to be mostly non-negative, but this only holds in dimensions three and higher.

(There is a similar technical issue with Morawetz type estimates, which also need significant modification in two dimensions.)

20 February, 2013 at 8:03 am

Willie WongAh, I see. Thanks!