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.

For commenters

To enter in LaTeX in comments, use $latex <Your LaTeX code>$ (without the < and > signs, of course; in fact, these signs should be avoided as they can cause formatting errors). See the about page for details and for other commenting policy.