mathtools: Effective-limiting absorption and application principles

Translate Request has too much data
Parameter name: request
Translate Request has too much data
Parameter name: request

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 ${H = -\Delta + V}$ 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 ${{\bf R}^n}$ (i.e. the smooth Riemannian manifolds that are identical to ${{\bf R}^n}$ outside of a compact set). The potential ${V}$ is assumed to be a short range potential, which roughly speaking means that it decays faster than ${1/|x|}$ as ${x \rightarrow \infty}$ ; for several of the applications (particularly at very low energies) we need to in fact assume that ${V}$ is a strongly short range potential, which roughly speaking means that it decays faster than ${1/|x|^2}$ .

To begin with, we make no hypotheses about the topology or geodesic geometry of the manifold ${M}$ ; in particular, we allow ${M}$ 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 ${M}$ . We also allow the potential ${V}$ 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: ${d \geq 3}$ .

It is well known that such Schrödinger operators ${H}$ are essentially self-adjoint, and their spectrum consists of purely absolutely continuous spectrum on ${(0,+\infty)}$ , 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 ${R(\lambda \pm i\epsilon) := (H - \lambda \mp i\epsilon)^{-1}}$ make sense as bounded operators on ${L^2(M)}$ for any ${\lambda \in {\bf R}}$ and ${\epsilon > 0}$ . 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 ${H}$ , 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 $\displaystyle \| R(\lambda \pm i\epsilon) f \|_{H^{0,-1/2-\sigma}(M)} \leq C(M,V,\lambda,\sigma) \| f \|_{H^{0,1/2+\sigma}(M)} \ \ \ \ \ (1)$

for ${\lambda \in {\bf R}}$ (and particularly in the positive energy regime ${\lambda>0}$ ), where ${\sigma,\epsilon > 0}$ and ${f}$ is an arbitrary test function. The constant ${C(M,V,\lambda,\sigma)}$ needs to be independent of ${\epsilon}$ for such estimates to be truly useful, but it is also of interest to determine the extent to which these constants depend on ${M}$ , ${V}$ , and ${\lambda}$ . The dependence on ${\sigma}$ 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 ${C(M,V,\lambda)}$ in terms of quantities such as the magnitude ${A}$ of the potential ${V}$ in a suitable norm.

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

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 ${\lambda \gg 1}$ 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

$\displaystyle C(M,V,\lambda) = C(M,A) e^{C(M,A) \sqrt{\lambda}}$

where ${C(M,A)}$ is a constant that depends only on ${M}$ and on a parameter ${A}$ that controls the size of the potential ${V}$ . This constant, while exponentially growing, is still finite, which among other things is enough to rule out the possibility that ${H}$ contains eigenfunctions (i.e. point spectrum) embedded in the high-energy portion of the spectrum. As is well known, if ${M}$ 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 ${f}$ 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 ${M}$ escape to infinity, then we can obtain a much stronger high-energy limiting absorption estimate, namely $\displaystyle C(M,V,\lambda,\sigma) = C(M,A) \lambda^{-1/2}.$

The exponent ${1/2}$ 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 ${\lambda \sim 1}$ , we were able to obtain a uniform bound

$\displaystyle C(M,V,\lambda) \leq C(M,A)$

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 ${u = R(\lambda \pm i\epsilon) f}$ 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 ${0 . Here, the bounds become somewhat interesting, with a subtle distinction between effective</EM> estimates that are uniform over all potentials <IMG class=latex title={V} alt={V} src=$ which are bounded in a suitable sense by a parameter ${A}$ (e.g. obeying ${|V(x)| \leq A \langle x \rangle^{-2-2\sigma}}$ for all ${x}$ ), and ineffective estimates that exploit qualitative properties of ${V}$ (such as the absence of eigenfunctions or resonances at zero) and are thus not uniform over ${V}$ . On the effective side, and for potentials that are strongly short range (at least at local scales ${|x| = O(\lambda^{-1/2})}$ ; 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

$\displaystyle C(M,V,\lambda) \leq C(M,A) \lambda^{-C(M,A)}$

that blew up at a large polynomial rate at the origin. Furthermore, by carefully designing a sequence of potentials ${V}$ 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 ${C > 0}$ , there exists a sequence ${V_n}$ of potentials on Euclidean space ${{\bf R}^d}$ uniformly bounded by ${A}$ , and a sequence ${\lambda_n}$ of energies going to zero, such that $\displaystyle C({\bf R}^d,V_n,\lambda_n) \geq \lambda_n^{-C}.$

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

Interestingly, though, if we fix the potential ${V}$ , and then ask for bounds that are not necessarily uniform in ${V}$ , 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 ${V}$ 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

$\displaystyle C(M,V,\lambda) \leq C(M,V) \lambda^{-1/2}$

in the low-energy regime (but note carefully here that the constant ${C(M,V)}$ on the right-hand side depends on the potential ${V}$ itself, and not merely on the parameter ${A}$ 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 ${\lambda^{-3/2}}$ instead of ${\lambda^{-1/2}}$ . 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

$\displaystyle -\Delta u - \lambda u + V u = f$

assuming various bounds on ${f}$ . On a large “sphere” ${S_r}$ of radius ${r \gg 1}$ in ${M}$ (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” $\displaystyle {\mathcal M}[r] := \int_{S_r} |v|^2\ d\sigma$

“radial energy” $\displaystyle {\mathcal R}[r] := \int_{S_r} |v_r|^2\ d\sigma$

or “angular energy” $\displaystyle {\mathcal R}[r] := \int_{S_r} \frac{1}{r^2} ( |v_{\hbox{ang}}|^2 + \frac{(d-1)(d-3)}{4} |v|^2) \ d\sigma$

and so forth. Here ${d\sigma}$ is a suitably normalised surface measure on ${S_r}$ . If one differentiates these quantities in ${r}$ 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 ${u}$ and ${f}$ (such as the “Sommerfeld radiation condition”) place certain boundary conditions on these energies at ${r=+\infty}$ . It is then possible to perform an ODE analysis to understand the behaviour of these spherical energies in the exterior region ${r \geq R_0}$ for some large ${R_0}$ , where the asymptotically conic nature of the manifold ${M}$ 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:

This dichotomy is related to the basic fact that solutions to the eigenfunction ODE ${u_{rr} + E u = 0}$ 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 ${M}$ , are driven instead by the geometry of the local portion ${r \leq 2R_0}$ 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 ${e^{C(M,A)\sqrt{\lambda}}}$ , 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 ${\lambda \ll 1}$ , one has to treat the medium-range region ${R_0 \leq r \leq \lambda^{-1/2}}$ differently from the high-range region ${r > \lambda^{-1/2}}$ ; 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.

mathtools

Monday 6 June 2011

Effective-limiting absorption and application principles

No comments:

Post a Comment