56
From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for the Schr¨ odinger operators B. Helffer October 2013- Talk in Kaust (Arabie Saoudite) B. Helffer Introduction to semi-classical analysis for the Schr¨ odinger operato

Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

  • Upload
    hakien

  • View
    228

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Introduction to semi-classical analysis for theSchrodinger operators

B. Helffer

October 2013- Talk in Kaust (Arabie Saoudite)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 2: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The aim is to present the basic mathematical techniques insemi-classical analysis involving the theory of h-pseudodifferentialoperators and to illustrate how they permit to solve naturalquestions about spectral distribution and localization ofeigenfunctions. Although semi-classical methods can be applied tomany problems, we choose to remain quite close in this shortpresentation to the initial goals of the theory, that is theverification of the correspondence principle for the Schrodingeroperator. More details are given in [20].

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 3: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

From classical mechanics to quantum mechanics

The initial goal of semi-classical mechanics is to explore thecorrespondence principle, due to Bohr in 1923 [4], which statesthat one should recover as the Planck constant h tends to zero theclassical mechanics from the quantum mechanics. So we start witha very short presentation of these two theories.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 4: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Classical mechanics

We start (we present the Hamiltonian formalism) from a C∞

function on R2n : (x , ξ) 7→ p(x , ξ) which will permit to describethe motion of the system in consideration and is called theHamiltonian. The variable x corresponds in the simplest case tothe position and ξ to the impulsion of one particle. The evolutionis then described, starting of a given point (y , η), by the so calledHamiltonian equations

dxj/dt = (∂p/∂ξj)(x(t), ξ(t)) , for j = 1, · · · , n ;dξj/dt = −(∂p/∂xj)(x(t), ξ(t)) , for j = 1, · · · , n . (1)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 5: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The classical trajectories are then defined as the integral curves ofa vector field defined on R2n called the hamiltonian vector fieldassociated with p and defined by Hp = ((∂p/∂ξ),−(∂p/∂x)) . Allthese definitions are more generally relevant in the framework ofsymplectic geometry on a symplectic manifold M, but we choosefor simplicity to explain the theory on R2n, which can be seen thecotangent vector bundle T ∗Rn, and is the “local” model of thegeneral situation. This space is equipped naturally with asymplectic structure defined by giving at each point a nondegenerate 2-form, which is here σ :=

∑j dξj ∧ dxj . This 2- form

permits to associate canonically to a 1-form on T ∗Rnx a vector field

on T ∗Rnx . In this correspondence, if p is a function on T ∗Rn

x , Hp isassociated with the differential dp.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 6: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

In this talk, we keep in mind as guiding example the example ofthe Hamiltonian p(x , ξ) = ξ2 + V (x), also called the SchrodingerHamiltonian and more specifically the case of the harmonicoscillator where V (x) =

∑nj=1 µjx

2j (with µj > 0), which is the

natural approximation of a potential near its minimum, when nondegenerate.In the framework of the classical mechanics the main questionscould be :

I Are the trajectories bounded ?

I Are there periodic trajectories ?

I Is one trajectory dense in its energy surface ?

I Is the energy surface compact ?

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 7: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The solution of these questions could be very difficult. Let us justmention the trivial fact that, if p−1(λ) is compact for some λ, thenthe conservation of energy law

p(x(t), y(t)) = p(y , η) . (2)

leads to the property that the trajectories starting of one point(y , η) remain in the set p(−1)(p(y , η)) in R2n and are hencebounded. This is in particular the case for the harmonic oscillator.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 8: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Quantum mechanics

The quantum theory is born around 1920. It is structurally relatedto the classical mechanics in a way that we shall describe verybriefly. In quantum mechanics, our basic object will be a (possiblynon-bounded) selfadjoint operator defined on a dense subspace ofan Hilbert space H. In order to simplify, we shall always takeH = L2(Rn).This operator can be associated with p by different techniquescalled quantizations. We choose here to present a procedure calledthe Weyl-quantization procedure (which is already present in1928), which under suitable assumptions on p and its derivativeswill be defined for u ∈ S(Rn) by

pw (x , hDx , h)u(x) =

(2πh)−n∫∫

exp( ih (x − y) · ξ) p( x+y

2 , ξ, h) u(y) dy dξ .(3)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 9: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The operator pw (x , hDx , h) is called an h-pseudodifferentialoperator of Weyl-symbol p. One can also write Opwh (p) in order toemphasize that it is the operator associated to p by the Weylquantization. Here h is a parameter which plays the role of thePlanck constant.Of course, one has to give a sense to these integrals and this is theobject of the theory of the oscillatory integrals. If p = 1, weobserve that the associated operator is nothing else, byPlancherel’s formula, than the identity :

u(x) = (2πh)−n ·∫ ∫

exp(i

h(x − y) · ξ) u(y) dy dξ .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 10: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

A way to rewrite any h-differential operator∑|α|≤m aα(x)(hDx)α

as an h-pseudodifferential operator is to apply it to the Plancherelidentity. In particular, we observe that if p(x , ξ) = ξ2 + V (x), thenthe h-Weyl quantization associated with p is the Schrodingeroperator : −h2∆ + V . Other interesting examples appear naturallyin solid state physics. Let us for example mention the Harper’soperator H (see [26]) whose symbol is (x , ξ) 7→ cos ξ + cos x . andwhich can also be written, for u ∈ L2(Rn), by

(Hu)(x) =1

2(u(x + h) + u(x − h)) + cos x u(x) .

We shall later recall how to relate the properties of p and theproperties of the associated operator. More precisely, we shalldescribe under which conditions on p the operator pw (x , hDx ; h) issemi-bounded, symmetric, essentially selfadjoint, compact, withcompact resolvent, trace class, Hilbert-Schmidt (See [Rob] for anextensive presentation.)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 11: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

But before to look later at a more general situation, let us considerthe case of the Schrodinger operator : Sh = −h2∆ + V (x). If V is-say continuous- bounded from below, Sh, which is a priori definedon S(Rn) as a differential operator, admits a unique selfadjointextension on L2(Rn).We are first interested in the nature of the spectrum. If V tends to+∞ as |x | → ∞, one can show that Sh, more precisely itsselfadjoint realization, has compact resolvent and its spectrumconsists of a sequence of eigenvalues tending to ∞. We are nextinterested in the asymptotic behavior of these eigenvalues.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 12: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

In the case of the harmonic operator, corresponding to

V (x) =n∑

j=1

µjx2j (with µj > 0) ,

the criterion of compact resolvent is satisfied and the spectrum isdescribed as the set of the

λα(h) =n∑

j=1

√µj(2αj + 1)h ,

for α ∈ Nn.We have also in this case a complete description of the normalizedassociated eigenfunctions which are constructed recursively startingfrom the first eigenfunction corresponding to λ0(h) =

∑j√µj h :

φ0(x ; h) = (n∏

j=1

µ18j )(

2

π)n2 · h−

n4 · exp(−

∑j

õjx

2j /h) . (4)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 13: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The eigenfunction φ0 is strictly positive and decays exponentially.Moreover, (and here we enter in the semi-classical world), the localdecay in a fixed closed set avoiding 0 (which is measured by itsL2 norm) is exponentially small as h→ 0. In particular, this saysthat the eigenfunction lives asymptotically in the set V (x) ≤ λ(h)which has to be understood as the projection by the map(x , ξ) 7→ x of the energy surface which is classically attached tothe eigenvalue λ(h), that is p(x , ξ) = λ(h). This is a typicalsemi-classical statement which will be true in full generality.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 14: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

From quantum mechanics to classical mechanics :semi-classical mechanics

Before to describe the mathematical tools involved in theexploration of the correspondence principle, let us describe a fewresults which are typical in the semi-classical context. Theyconcern Weyl’s asymptotics and the localization of theeigenfunctions.We start with the case of the Schrodinger operator Sh, but weemphasize however that the h-pseudodifferential techniques are notlimited to this situation.We assume that V is a C∞ function on Rn which is semi-boundedand satisfies inf V < lim|x |→∞V (x) . The Weyl Theorem givesthat the essential spectrum is contained in

[ lim|x |→∞V (x) , +∞ [ .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 15: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

It is also clear that the spectrum is contained in [inf V ,+∞[. Inthe interval I = [inf V , lim|x |→∞V (x)[, the spectrum is discrete,that is has only isolated eigenvalues with finite multiplicity. Forany E in I , it is consequently interesting to look at the countingfunction of the eigenvalues contained in [inf V ,E ]

Nh(E ) = ]λj(h) ; λj(h) ≤ E . (5)

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 16: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The main semi-classical result is then

Theorem : Weyl’s asymptotics

With the previous assumptions, we have :

limh→0

hnNh(E ) = (2π)−n∫V (x)≤E

(E − V (x))n2 dx .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 17: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The main term in the expansion of Nh(E ), which will be denotedby Wh(E ) := (2πh)−n

∫V (x)≤E (E − V (x))

n2 dx , is called the Weyl

term. It has an analog for the analysis of the counting function forLaplacians on compact manifolds (see [41] and references therein),but let us emphasize that here E is fixed and that one looks at theasymptotics as h→ 0. In the other case h is fixed and one looks1

at the asymptotics as E → +∞.

1Note that on a compact manifold and for the Laplacian, the formulaNh(E) = N1(

Eh2 ) permits easily to go from one point of view to the other.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 18: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Although this formula is rather old (first as folk theorem), manyefforts have been done by mathematicians for analyzing, first whenE is not a critical value of V , the remainder (see [Rob], [Iv])Nh(E )−Wh(E ), whose behavior is again related to classicalanalysis. If hn+1 (Nh(E )−Wh(E )) can be shown to be bounded, itappears to be o(1) if the measure of the periodic points for theflow is of measure 0 ([35], [Iv]).Beyond the analysis of the counting function, one is also interested(for example in questions concerning the groundstate energy of anatom with a large number of particles N satisfying the Pauliexclusion principle (see in [RaSi])) in other quantities like the Rieszmeans, which are defined, for a given s ≥ 0, by

Nsh(E ) =

∑j

(E − λj)s+ .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 19: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The case s = 0 corresponds to the counting function. It is thennatural to ask for the asymptotic behavior as h→ 0 of thesefunctions.We have for example the following result (See Helffer-Robert [24],Ivrii-Sigal [30], Ivrii [Iv]), when E is not a critical value of V in theinterval I ,

Nsh(E ) = (2πh)−n

(∫pE (x ,ξ)≤0

(−pE (x , ξ))s dx · dξ

)+O(h−n+inf(1+s,2)) ,

with pE (x , ξ) = ξ2 + V (x)− E .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 20: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Localized version (Karadzhov)

∑j(E − λj(h))s+ψj(x ; h)2 = (2πh)−n

(∫pE (x ,ξ)≤0(−pE (x , ξ))sdξ

)+O(h−n+inf(1+s,2)) ,

uniformy for x ∈ K where K is compact in V (x) < E.∑j(E − λj(h))s+ψj(x ; h)2 = (2πh)−nLs,n(E − V (x))

(s+n)/2+

+O(h−n+inf(1+s,2)) .

Applications of this formula in Signal theory : B. Helffer and M.Laleg-Kirati [19] .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 21: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Uncertainty principle and Weyl term

The Weyl term can be heuristically understood in the followingway. According to the uncertainty principle, a “quantum” particuleshould occupy at least a volume of order hn in the phase spacewith the measure dx dξ (proportional to (

∑nj=1 dξj ∧ dxj)

n). Thisguess is a consequence of the inequality

h

2||u||2 ≤

(∫R

(x − x0)2|u|2 dx

) 12(∫

R|(h

i

d

dx− ξ0)u|2dx

) 12

,

expressing the non commutation of (hiddx − ξ0) and of (x − x0).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 22: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

When ||u|| = 1, and, when x0 (mean position) and ξ0 (meanimpulsion) are defined by

x0 :=

∫R

x |u|2 dx

and

ξ0 :=h

i

∫R

u′(x) · u dx ,

this inequality is expressing the impossibility for a quantum particleto have a simultaneous small localization in position and impulsion.Consequently the maximal number of ”quantum” particles whichcan live in the the region pE (x , ξ) ≤ 0 is approximately (up tosome universal multiplicative constant) the volume of this regiondivided by (2πh)n.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 23: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Localization of the eigenfunctions

The localization property was already observed on the specific caseof the harmonic oscillator. But this was a consequence of anexplicit description of the eigenfunctions. This is quite importantto have a good description of the decay of the eigenfunctions (ash→ 0) outside the classically permitted region without to have toknow an explicit formula.Various approachs can be used.The first one fits very well in the case of the Schrodinger operator(more generally to h-pseudodifferential operators with symbolsadmitting holomorphic extensions in the ξ variable) and givesexponential decay. This is based on the so-called Agmon estimates(see Agmon [Ag], Helffer-Sjostrand [25] or Simon [37]). This is thestarting point of the analysis of the tunneling (see [Hel], [DiSj] and[Mar]).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 24: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The second one is an elementary application of theh-pseudodifferential formalism which will be described later andleads for example to the following statement.

Proposition: localization of the eigenfunctions

Let E in I and let (λ(hj), φ(hj )(x)) a sequence in I × L2(Rn) whereλ(hj)→ E and hj → 0 as j →∞, x 7→ φ(hj )(x) is an

L2-normalized eigenfunction associated with λ(hj) with norm 1.Let Ω be a relatively compact set in Rn such that

V−1(]−∞,E ]) ∩ Ω = ∅ .

Then,||φ(hj )||L2(Ω) = O(h+∞

j ) .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 25: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Short introduction to the h-pseudodifferential calculusBasic calculus : the class S0

We shall mainly discuss the most simple called the S0 calculus. Letus simply say here that the S0 calculus is sufficient once we havesuitably (micro)-localized the problem (for example by thefunctional calculus).This class of symbols p is simply defined by

|∂αx ∂βξ p(x , ξ)| ≤ Cα,β ,

for all (α, β) ∈ Nn × Nn .The symbols can possibly be h dependent. With this symbol, onecan associate an h-pseudodifferential operator by (3). Thisoperator is a continuous operator on S(Rn) but can also bedefined by duality on S ′(Rn).The first basic analytical result is the Calderon-Vaillancourt (Seefor example [Ho]) theorem establishing the L2 continuity.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 26: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The second important property is the existence of a calculus.If a is in S0 and b is in S0 then the compositionaw (x , hDx)bw (x , hDx) of the two operators is a pseudodifferentialoperator associated with an h-dependent symbol c in S0:

aw (x , hDx) bw (x , hDx) = cw (x , hDx ; h) .

We immediately meet symbols admitting expansions in powers ofh, called regular symbols, i.e. admitting expansions of the type

a(x , ξ; h) ∼∑j

aj(x , ξ)hj , b(x , ξ; h) ∼∑j

bj(x , ξ)hj .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 27: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

In this case c has a similar expansion :

c(x , ξ; h)

∼ [exp(ih2 (Dx · Dη − Dy · Dξ)

)(a(x , ξ; h) · b(y , η; h))]x=y ; ξ=η .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 28: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The symbol a0 is called the principal symbol. At the level ofprincipal symbols, the rule is that

c0 = a0 · b0 .

Another important property is the correspondence betweencommutator of two operators and Poisson brackets. The principalsymbol of the commutator 1

h (aw bw − bw aw ) is 1i a0, b0,

where f , g is the Poisson bracket of f and g :

f , g(x , ξ) = Hf g =∑j

(∂ξj f · ∂xj g − ∂xj f · ∂ξj g

).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 29: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

About global classes

The class S0 is far to be sufficient for analyzing the global spectralproblem and we refer to [3], [Ho] or [Rob] for an extensivepresentation of the theory and for the discussion of otherquantizations. Our initial operators (think of the harmonicoscillator) have usually not this property. We are consequentlyobliged to construct more general classes including these examplesand permitting to realize this localization. Similar considerationsshould be done if one start of a problem on a compact manifold.Once such class is introduced, one of the main points to analyze isthe existence of a quasi-inverse for a suitably defined ellipticoperator. The more general classes were introduced byBeals-Feffermann (see also the most general Hormander calculus[Ho]), but it is sometimes better to have for a specific problem anadapted class of pseudo-differential operators.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 30: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Elliptic theory

Once one has a pseudo-differential calculus, the main point is tohave a class of invertible operators, such that the inverse is also inthe class. This is what we call an elliptic theory and the typicalstatement is :

Theorem: construction of the inverse

Let P be an h-pseudodifferential operator associated to a symbol pin S0. We assume that it is elliptic in the sense that 1

p belongs toS reg . Then there exists an h-pseudodifferential operator Q withsymbol in S reg such that

Q · P = I + R ; P · Q = I + S .

The remainders R and S are operators with symbols in O(h∞).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 31: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The proof is rather easy, once the formalism of composition andthe notion of principal symbol have been understood. One canindeed start from the operator Q0 of symbol 1

p and observe that

Q0P = I + R1

withR1 ∈ O(h∞)

. The operator

(I + R1)−1Q0 ∼

∑j≥0

(−1)jR j1

Q0

gives essentially the solution.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 32: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Essential selfadjointness and semiboundednessWe now sketch two applications of this calculus in spectral theory.We shall usually consider in our applications an h-pseudodifferential operator P whose Weyl symbol p is regular

(H0) p(x , ξ; h) ∼ hjpj(x , ξ) .

(We refer to [Rob, Ho, DiSj] for a more precise formulation).Moreover we assume that

(H1) (x , ξ) 7→ p(x , ξ; h) ∈ R .

This implies, as can be immediately seen from (3), that pw issymmetric (= formally selfadjoint) :

〈pw u , v〉L2 = 〈u , pw v〉L2 , ∀u, v ∈ S(Rn) .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 33: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The third assumption is that the principal symbol is bounded frombelow (and there is no restriction to assume that it is positive)

(H2) p0(x , ξ) ≥ 0 .

This assumption implies that the operator itself is bounded frombelow. This result belongs to the family of the so called ”Garding’sinequality” theorems. More precisely, the assumption gives theexistence of a constant C such that for any u ∈ S(Rn)

〈Pu, u〉L2×L2 ≥ −C h||u||2 .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 34: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Under suitable assumptions (mainly the previous ones), the mainresult is that P is, for h small enough, essentially self-adjoint. Thismeans that the operator which was initially defined on S(Rn) bythe pseudodifferential operator with symbol p admits a uniqueselfadjoint extension.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 35: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The functional calculus

It is well known by the spectral theorem for a selfadjoint operatorP that a functional calculus exists for Borel functions. What isimportant here is to find a class of functions (actually essentiallyC∞0 ) such that f (P) is a nice pseudodifferential operator in thesame class as P with simple rules of computation for the principalsymbol.We are starting from the general formula (see [DiSj])

f (P) = −π−1 limε→0+

∫ ∫|Im z|≥ε

∂ f

∂z(x , y) (z − P)−1dx dy

which is true for any selfadjoint operator and any f in C∞0 (R).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 36: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Here (x , y) 7→ f (x , y) is a compactly supported, almost analyticextension of f in C. This means that f = f on R and that for any

N ∈ N there exists a constant CN such that |∂ f (z)∂z | ≤ CN |Im z |N .

The main result due to Helffer-Robert [22] is that, for P anh-regular pseudodifferential operator satisfying (H0)-(H3) and f inC∞0 (R), then f (P) is a pseudodifferential operator whose Weyl’ssymbol pf (x , ξ; h) admits a formal expansion in powers of h

pf (x , ξ; h) ∼ hjpf ,j(x , ξ) ,

with

pf ,0 = f (p0)pf ,1 = p1 · f ′(p0)

pf ,j =∑2j−1

k=1 (−1)k(k!)−1dj ,k f (k)(p0) ∀j ≥ 2 ,

where the dj ,k are universal polynomial functions of the ∂αx ∂βξ p`

with |α|+ |β|+ ` ≤ j .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 37: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The main point in the proof is that we can construct a parametrix(= approximate inverse) for (P − z)−1 for Im z 6= 0 with a nicecontrol as Im z → 0. The constants controling the estimates onthe symbols are exploding as Im z → 0 but the choice of the almostanalytic extension of f absorbs any negative power of |Im z |.As a consequence, we get that if in some interval I

(H4) p−10 (I + [−ε0, ε0]) is compact ,

for some ε0 > 0, then the spectrum is, for h small enough, discretein I .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 38: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

In particular, we get that, if p(x , ξ)→ +∞ as |x |+ |ξ| → +∞,then the spectrum of Ph is discrete (Ph has compact resolvent).Under Assumption (H4), we get more precisely

Theorem: Trace formula

Let P be an h-regular pseudodifferential operator satisfying(H0)-(H4), with I = [E1,E2], then for any g in C∞0 (]E1,E2[), wehave:

Tr [g(P(h))] = h−n∑j≥0

hj Tj(g) +O(h∞) as h→ 0 ,

where g 7→ Tj(g) are distributions in D′(]E1,E2[).In particular we have

T0(g) = (2π)−n∫∫

g(p0(x , ξ)) dx dξ ,T1(g) = (2π)−n

∫∫g ′(p0(x , ξ)) p1(x , ξ) dx dξ .

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 39: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

This theorem is just obtained by integration of the preceding one,because in the good cases the trace of a trace-classpseudodifferential operator Opw(a) is given by the integral of thesymbol a over R2n = Rn

x × Rnξ . According to (3), the distribution

kernel is given by the oscillatory integral :

K (x , y ; h) = (2πh)−n∫Rn

exp(i

h(x − y) · ξ) a(

x + y

2, ξ; h)dξ , (6)

and the trace of Opw(a) is the integral over Rn of the restrictionto the diagonal of : K (x , x) = (2πh)−n

∫Rn a(x , ξ; h)dξ.

Of course, one could think of using the theorem with g ,characteristic function of an interval, in order to get for example,the behavior of the counting function attached to this interval.This is of course not directly possible and this will be only obtainedthrough Tauberian theorems and at the price of additional errors.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 40: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Another interest is that for suitable f (possibly h-dependent) theoperator f (P) could have better properties that the initialoperator. This idea will for example applied for the theoremconcerning the clustering. It appears in particular very powerful indimension 1 where we can in some interval of energy find afunction t 7→ f (t; h) admitting an expansion in powers of h suchthat f (P; h) has the spectrum of the harmonic oscillator. This is away to get the Bohr-Sommerfeld conditions (See Helffer-Robert[23], in connexion with Maslov [Mas] or Voros [39]) :

f (λn(h) ; h) ∼ (2n + 1)h ,

modulo O(h∞).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 41: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

We have tried in this short survey to present some of thetechniques which were the starting techniques for the developmentof the ”mathematical” semi-classical analysis. Of course this isvery limited and semi-classical methods go far beyond theverification of the correspondence principle. One can refer tosemi-classical analysis for many other problems where the sameanalysis (with a small parameter h) is relevant but where h is nomore the Planck constant. This could be a flux (Harper’sequation) or the inverse of a flux, the inverse of a mass(Born-Oppenheimer’s approximation), of an energy or of a numberof particle. We have not developed this point of view here.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 42: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Figure: Hofstadter’s butterfly: spectrum of cos hDx + cos x , h/2π rational

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 43: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

S. Agmon :Lectures on exponential decay of solutions of second orderelliptic equations.Mathematical notes of Princeton university n0 29 (1982).

M. Dimassi, J. Sjostrand :Spectral asymptotics in the semi-classical limit.London Math. Soc. Lecture Notes Series 268, CambridgeUniversity Press (1999).

J.J. Duistermaat :Fourier integral operators.Courant Institut Math.Soc., New York University (1973).

M.V. Fedoryuk, V.P. Maslov :Semi-classical approximation in quantum mechanics.Reidel (1981).

V. Guillemin, S. Sternberg :

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 44: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Geometric asymptotics.Am. Math. Soc. Survey, Vol.14 (1977).

B. Helffer :Introduction to the semi-classical analysis for the Schrodingeroperator and applications.Springer Lecture Notes in Mathematics, n01336.

P. Hislop, I. Sigal :To be completed.

L. Hormander :The Analysis of linear Partial Differential Operators.Grundlehren der Mathematischen Wissenschaften, SpringerVerlag (1984).

V. Ivrii :Microlocal analysis and precise spectral asymptotics.Springer Monographs in Mathematics (1998).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 45: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

J. Leray :Lagrangian analysis and quantum mechanics. A mathematicalstructure related to asymptotic expansions and the Maslovindex. English transl. by Carolyn Schroeder.Cambridge, Massachusetts; London: The MIT Press (1981).

A. Martinez :An introduction to semi-classical and microlocal analysis.Unitext Springer Verlag (2002).

V.P. Maslov :Theorie des perturbations et methodes asymptotiques.Dunod (1972).

J. Rauch, B. Simon (Editors)Quasiclassical Methods.The IMA Volumes in Mathematics and its Applications, Vol.95, Springer (1997).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 46: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

M. Reed, B. Simon :Methods of Modern Mathematical Physics.Vols I to IV, Academic Press (1972).

D. Robert :Autour de l’approximation semi-classique.Progress in Mathematics n0 68, Birkhauser (1987).

M. Shubin :Operators and spectral theory.Nauka Moscow (1978).

Research Papers.

M. Aizenman, E. Lieb :On semi-classical bounds for eigenvalues of SchrodingeroperatorsPhys. Lett. 66A, p. 427-429, (1978).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 47: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

K. Asada, D. Fujiwara :On some oscillatory integral transformations in L2(Rn).Japan J. Math (4), p. 299-361 (1978).

R. Beals, C. Fefferman :Spatially inhomogeneous pseudodifferential operators,Comm.in Pure Appl. Math. 27, p. 1-24 (1974).

N. Bohr :Zeitschr. f. Phys. 13, p. 117 (1923).

R. Brummelhuis, A. Uribe :A semi-classical trace formula for Schrodinger operators.Comm. Math. Phys.(136), p. 567-584 (1991).

A.M. Charbonnel :Comportement semi-classique du spectre conjoint d’operateurspseudodifferentiels qui commutent,Asymptotic Analysis 1, p. 227-261 (1988).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 48: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

J. Chazarain :Spectre d’un Hamiltonien quantique et mecanique classique,Comm.in P.D.E 5(6), p. 595-644 (1980).

Y. Colin de Verdiere :Spectre conjoint d’operateurs qui commutent,Duke Math. J. 46, p. 169-182 (1979).

Y. Colin de Verdiere :Sur le spectre des operateurs elliptiques a bicaracteristisquestoutes periodiques,Comm. Math. Helvetici 54, p. 508-522, (1979).

Y. Colin de Verdiere :Spectre conjoint d’operateurs qui commutent, II le casintegrable,Math. Z. 171, p. 51-73 (1980).

Y. Colin de Verdiere :

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 49: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Bohr-Sommerfeld rules to all order.to appear in Annales Henri Poincare (2005).

M. Combescure, J. Ralston and D. Robert :A proof of the Gutzwiller semi-classical trace formula usingcoherent states decomposition.Commun. Math. Phys. 202, No.2, p. 463-480 (1999).

S. Dozias :Operateurs h-pseudodifferentiels a flot periodique,C. R. Acad. Sci. Paris, t. 318, Serie I, p. 1103-1108 (1994).

J.J. Duistermaat :Oscillatory integrals, Lagrange immersions and unfolding ofsingularities.Comm. on Pure and applied Mathematics, vol. 27, p. 207-281(1974).

J.J. Duistermaat, V.W. Guillemin :

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 50: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

The spectrum of positive elliptic operators and periodicbicharacteristics,Inventiones Math. 29, p. 39-79 (1975).

C. Fefferman :The uncertainty principle.Bull. Amer. Math. Soc. 9, p. 129-206 (1983).

V. Glaser, H. Grosse and A. Martin :Bounds on the number of eigenvalues of the Schrodingeroperator,Comm. Math. Phys. 59, p. 197-212 (1978).

M. Gutzwiller :Periodic orbits and classical quantization conditions,J. Math. Phys.(12), p. 343-358 (1971).

B. Helffer et T-M Laleg-Kirati.On semi-classical questions related to signal analysis.Asymptotic Analysis, Vol. 75, No 3-4 (2011).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 51: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

B. Helffer.On h-pseudodifferential operators and applications.In Encyclopedia of Mathematical Physics, eds. J.-P. Francoise,G.L. Naber and Tsou S.T. Oxford: Elsevier, 2006

B. Helffer, A. Martinez, D. Robert :Ergodicite et limite semi-classique.Comm. Math. Phys. 109, p. 313-326 (1987).

B. Helffer, D. Robert :Calcul fonctionnel par la transformee de Mellin et applications,Journal of functional Analysis, Vol.53, n03 (1983).

B. Helffer, D. Robert :Puits de potentiel generalises et asymptotique semi-classique,Annales de l’IHP (Physique theorique), Vol. 41, n03,p. 291-331 (1984).

B. Helffer, D. Robert :

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 52: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Riesz means of bound states and semi-classical limit connectedwith a Lieb-Thirring conjecture I.Asymptotic Analysis 3, p. 139-147 (1990).

B. Helffer, J. Sjostrand :Multiple wells in the semi-classical limit I,Comm. in PDE, 9(4), p. 337-408 (1984).

B. Helffer, J. Sjostrand :Analyse semi-classique pour l’equation de Harper IIIMemoire de la SMF, n039. Supplement du Bulletin de la SMF,Tome 117, Fasc.4, (1989).

L. Hormander :The spectral function of an elliptic operator,Acta Mathematica 121, p. 193-218 (1968).

L. Hormander :Fourier integral operators I,Acta Mathematica 127, p. 79-183 (1971).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 53: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

L. Hormander :The Weyl Calculus of pseudodifferential operators,Comm. Pure Appl. Math. 32, p. 359-443 (1979).

V.Ya. Ivrii, I.M. Sigal :Asymptotics of the ground state energies of large Coulombsystems,Annals of Mathematics 138, p. 243-335 (1995).

A. Laptev, T. Weidl :Sharp Lieb-Thirring inequalities in high dimensions.Acta Math. 184, No.1, p. 87-111 (2000).

E.H. Lieb :Kinetic energy bounds and their application to the study of thematter,Lecture notes in Physics, n0345, Schrodinger operators,Proceedings, Sonderborg, Denmark, p. 371-382 (1988).

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 54: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

E.H. Lieb, W.E. Thirring :Inequalities for the moments of the eigenvalues of theSchrodinger equation and their relation to Sobolev inequalities,

Studies in Mathematical Physics (E. Lieb, B. Simon, A.Wightman eds), Princeton University Press (1976).

T. Paul, A. Uribe :Sur la formule semi-classique des traces,Note aux CRAS 313, p.217- 222 (1991).

V. Petkov, D. Robert :Asymptotique semi-classique du spectre d’hamiltoniensquantiques et trajectoires classiques periodiques,Comm. in P.D.E. 10 (4), p. 365-390 (1985).

M. Shubin, V. Tulovskii :On the asymptotic distribution of eigenvalues ofpseudo-differential operators in Rn,

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 55: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

Math. USSR Sbornik 21, p. 565-573 (1973).

B. Simon :Instantons, double wells and large deviations,Bull. AMS 8, p. 323-326 (1983).

J. Toth :This Encyclopedia.

A. Voros :Developpements semi-classiques,These d’etat (1977).

A. Weinstein :Asymptotics of the eigenvalues clusters for the Laplacian plusa potential,Duke Math. J. 44, p. 883-892 (1977).

S. Zelditch :Quantum ergodicity and mixing of eigenfunctions.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators

Page 56: Introduction to semi-classical analysis for the ...helffer/talkkaustnew.pdf · From classical mechanics to quantum mechanics Conclusion Introduction to semi-classical analysis for

From classical mechanics to quantum mechanicsConclusion

This encyclopedia.

B. Helffer Introduction to semi-classical analysis for the Schrodinger operators