• Aucun résultat trouvé

Hamiltonians with purely discrete spectrum

N/A
N/A
Protected

Academic year: 2021

Partager "Hamiltonians with purely discrete spectrum"

Copied!
4
0
0

Texte intégral

(1)

HAL Id: hal-00335549

https://hal.archives-ouvertes.fr/hal-00335549v2

Preprint submitted on 11 Jul 2014

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Hamiltonians with purely discrete spectrum

Vladimir Georgescu

To cite this version:

Vladimir Georgescu. Hamiltonians with purely discrete spectrum. 2014. �hal-00335549v2�

(2)

HAMILTONIANS WITH PURELY DISCRETE SPECTRUM

VLADIMIR GEORGESCU

ABSTRACT. We discuss criteria for a self-adjoint operator onL2(X)to have empty essential spectrum. We state a general result for the case of a locally compact abelian groupXand give examples forX=Rn.

1. Let ∆ be the positive Laplacian on R

n

. We set B

a

(r) = {x ∈ R

n

| |x − a| ≤ r} and B

a

= B

a

(1).

Proposition 1. Let V be a real locally integrable function on R

n

such that:

(i) if λ > 0 then the measure ω

λ

(a) of the set {x ∈ B

a

| V (x) < λ} satisfies lim

a→∞

ω

λ

(a) = 0, (ii) the negative part of V satisfies V

≤ µ∆+ν for some positive real numbers µ, ν with 0 < µ < 1.

Then the spectrum of the self-adjoint operator H associated to the form sum ∆ + V is purely discrete.

Remark 2. Let V

±

= max{±V, 0} and for each λ > 0 let Ω

λ

= {x | V

+

(x) < λ}. Then ω

λ

(a) is the measure of the set B

a

∩ Ω

λ

. From Lemma 5 it follows that the condition (i) is equivalent to

a→∞

lim Z

Ba

dx

1 + V

+

(x) = 0. (1)

Remark 3. From Lemma 7 we get lim

a→∞

ω

λ

(a) = 0 if R

λ

ω

pλ

dx < ∞ for some p > 0. Thus Theorems 1 and 3 from [S] are consequences of Proposition 1. In the case V ≥ 0 Proposition 1 is a consequence of Theorem 2.2 from [MS]. More general results will be obtained below. Note, however, that our techniques are not applicable in the framework considered in Theorem 2 from [S] and in [WW].

Proposition 1 is very easy to prove if condition (1) is replaced by lim

x→∞

V

+

(x) = ∞. In fact, let us consider an arbitrary locally compact space X and let H be a Hilbert X -module, i.e. H is a Hilbert space and a nondegenerate ∗-morphism φ 7→ φ(Q) of C

o

(X ) into B(H) is given. For example, one may take H = L

2

(X, µ) for some Radon measure µ. Then we have the following simple compactness criterion: if R is a bounded self-adjoint operator on H such that (i) if φ ∈ C

o

(X) then φ(Q)R is a compact operator, (ii) one has ±R ≤ θ(Q) for some θ ∈ C

o

(X), then R is a compact operator. Indeed, note first that the operator Rφ ≡ Rφ(Q) will also be compact for all φ ∈ C

o

(X ). Let ε > 0 and let us choose φ such that 0 ≤ φ ≤ 1 and θφ

≤ ε, where φ

= 1 − φ. Then ±φ

≤ φ

θφ

≤ ε which implies kφ

k ≤ ε. So we have kR − φR − φ

Rφk ≤ ε and φR + φ

Rφ is a compact operator. Now let us say that a self-adjoint operator H on H is locally compact if φ(Q)(H +i)

−1

is compact for all φ ∈ C

o

(X).

Then we get: If H is a locally compact self-adjoint operator on H and if there is a continuous function Θ : X → R such that lim

x→∞

Θ(x) = +∞ and H ≥ Θ(Q), then the spectrum of H is purely discrete (the nondegeneracy of the morphism is needed for the definition of Θ(Q) for unbounded Θ).

2. On the other hand, Proposition 1 can be significantly generalized. For example, ∆ may be replaced by a higher order operator with matrix valued coefficients and V does not have to be a function. These results are consequences of the following “abstract” fact. We fix a locally compact abelian group X , choose a finite dimensional Hilbert space E, and define H = L

2

(X ) ⊗ E. For a ∈ X and k ∈ X

(the dual locally compact abelian group) we denote U

a

and V

k

the unitary operators on H given by

(U

a

f )(x) = f (x + a) and (V

k

f )(x) = k(x)f (x).

We denote additively the operations both in X and in X

and denote 0 their neutral elements.

Date: July 11, 2014.

1

(3)

2 VLADIMIR GEORGESCU

Theorem 4. Let H be a self-adjoint operator on H such that for some (hence for all) z ∈ C not in the spectrum of H the operator R = (H − z)

−1

satisfies

k→0

lim kV

k

RV

k

− Rk = 0, lim

a→0

k(U

a

− 1)Rk = 0. (2)

Then H has purely discrete spectrum if and only if w-lim

a→∞

U

a

RU

a

= 0.

Proof: If the spectrum of H is purely discrete then R is compact so w-lim

a→∞

U

a

RU

a

= 0. The reciprocal assertion follows from Theorem 1.2 from [GI]. Indeed, with the terminology used there, all the localizations at infinity of H will be equal to ∞ hence the essential spectrum of H will be empty.

Some notations: if φ is a B(E)-valued Borel function on X then φ(Q) is the operator of multiplication by φ on H; if ψ is a similar function on X

then ψ(P ) = F

−1

M

ψ

F, where F is the Fourier transformation and M

ψ

is the operator of multiplication by ψ on L

2

(X

) ⊗ E. Note that V

k

ψ(P )V

k

= ψ(P + k).

If φ ∈ L

(X ) and φ ≥ 0 then it is easy to check that w-lim

a→∞

U

a

φ(Q)U

a

= 0 if and only if s-lim

a→∞

φ(Q)U

a

= 0 and also if and only if there is a compact neighborhood of the origin W such that lim

a→∞

R

a+W

φdx = 0. Then we say that φ is weakly vanishing (at infinity). See Section 6 in [GG] for further properties of this class of functions. Below W is a compact neighborhood of the origin, W

a

= a + W , and we denote |M | the Haar measure of a set M .

Lemma 5. A positive function φ ∈ L

(X ) is weakly vanishing if and only if for any number λ > 0 the set

λ

= {x | φ(x) > λ} has the property lim

a→∞

|W

a

∩ Ω

λ

| = 0.

This follows from the estimates λ|W

a

∩ Ω

λ

| ≤

Z

Wa

φ dx ≤ kφk

L

|W

a

∩ Ω

λ

| + λ|W |.

Proposition 6. Let H be an invertible self-adjoint operator satisfying (2) and such that ±H

−1

≤ φ(Q) for some weakly vanishing function φ. Then H has purely discrete spectrum.

Indeed, we may take R = H

−1

and then for any f ∈ H we have |hf |U

a

RU

a

i| ≤ |hf |U

a

φ(Q)U

a

i|.

Proof of Proposition 1: Here X = R

n

and we identify as usual X with its dual by setting k(x) = e

ikx

for x, k ∈ X. Then if P

j

= −i∂

j

and P = (P

1

, . . . , P

n

) we get V

k

P V

k

= P + k. To simplify notations we write H for ∆ + V + 1 + ν , so that H ≥ (1 − µ)∆ + V

+

+ 1 ≥ V

+

+ 1 ≥ 1. Then observe that the form domain of H is G ≡ D(H

1/2

) = {f ∈ H

1

| V

+1/2

f ∈ L

2

} where H

1

is the first order Sobolev space. Thus R = H

−1

: L

2

→ H

1

is continuous and this implies the second part of condition (2). On the other hand, H extends to a continuous bijective operator G → G

whose inverse is an extension of R to a continuous map G

→ G. We keep the notations H, R for these extensions. Clearly V

k

leaves invariant G hence extends to a continuous operator on G

and the groups of operators {V

k

} are of class C

0

in both spaces. Now H

k

:= V

k

HV

k

= (P + k)

2

+ V = H + 2kP + k

2

in B(G, G

) so if R

k

:= V

k

RV

k

then

R

k

− R = R

k

(H − H

k

)R = −R

k

(2kP + k

2

)R

in B(G

, G). Now clearly the first part of (2) is fulfilled. Finally, it suffices to show that H

−1

≤ φ(Q) for a weakly vanishing function φ. But H ≥ 1 + V

+

and we may take φ = (1 + V

+

)

−1

due to (1).

Remark 3 is a consequence of the next result.

Lemma 7. Let Ω ⊂ R

n

be a Borel set and let ω : R

n

→ R be defined by ω(a) = |B

a

∩ Ω|. If ω

p

is integrable onfor some p > 0 then ω(a) → 0 as a → ∞.

Proof: The main point is the following observation due to Hans Henrik Rugh: let ν be the minimal number of (closed) balls of radius 1/2 needed to cover a ball of radius one; then for any a there is a Borel set A

a

⊂ B

a

⊂ Ω with |A

a

| ≥ ω(a)/ν such that ω(x) ≥ ω(a)/ν if x ∈ A

a

. Indeed, let N be a set of ν points such that B

a

⊂ ∪

b∈N

B

b

(1/2). If D

b

= B

a

∩ B

b

(1/2) then ω(a) ≤ P

b

|D

b

∩ Ω| hence there

is b(a) such that A

a

= D

b(a)

∩ Ω satisfies |A

a

| ≥ ω(a)/ν. Since A

a

has diameter smaller than one, for

(4)

HAMILTONIANS WITH PURELY DISCRETE SPECTRUM 3

x ∈ A

a

we have A

a

⊂ B

x

∩ Ω hence ω(x) ≥ |A

a

|, which proves the remark. Now let us set R = |a| − 1 and denote Ω(R) the set of points x ∈ Ω such that |x| ≥ R. Then we have

Z

Ω(R)

ω

p

dx ≥ Z

Aa

ω

p

dx ≥ [ω(a)/ν]

p+1

which clearly implies the assertion of the lemma.

3. We present here some consequences of Proposition 6. We refer to [GI] for general classes of operators verifying condition (2) and consider here only some particular cases. We mention that if H is a bounded from below operator satisfying (2) and if θ : R → R is a continuous function such that θ(λ) → +∞

when λ → +∞ the θ(H ) also satisfies (2).

If R ∈ B(H) satisfies the first part of (2) we say that R is a regular operator (or Q-regular). The regularity of the resolvent of a differential operators on R

n

is easy to check because V

k

P V

k

= P + k, cf. the proof of Proposition 1. The second part of (2) is equivalent to the existence of a factorization R = ψ(P )S with ψ ∈ C

o

(X

) and S ∈ B(H). If X = R

n

then it suffices that the domain of H be included in some Sobolev space H

m

with m > 0 real. We now give an extension of Proposition 1 which is proved in essentially the same way. We assume X = R

n

and work with Sobolev spaces but a similar statement holds for an arbitrary X : it suffices to replace the function hki

m

which defines H

m

by an arbitrary weight [GI] and the ball B

a

by a + W where W is a compact neighborhood of the origin.

Proposition 8. Let H

0

be a bounded from below self-adjoint operator on H with form domain equal to H

m

for some real m > 0 and satisfying lim

k→0

V

k

H

0

V

k

= H

0

in norm in B(H

m

, H

−m

). Let V be a positive locally integrable function such that lim

a→∞

|{x ∈ B

a

| V (x) < λ}| = 0 for each λ > 0. Then the self-adjoint operator H associated to the form sum H

0

+ V has purely discrete spectrum.

Let h : X → B (E) be a continuous symmetric operator valued function with c

|p|

2m

≤ h(p) ≤ c

′′

|p|

2m

(as operators on E) for some constants c

, c

′′

> 0 and all large p. Let W : H

m

→ H

−m

be a symmetric operator such that W ≥ −µh(P )− ν with µ < 1 and such that V

k

W V

k

→ W in norm in B(H

m

, H

−m

) as k → 0. Then the form sum h(P ) + W is bounded from below and closed on H

m

and the self-adjoint operator H

0

associated to it satisfies the conditions of Proposition 8.

Assume that m ≥ 1 is an integer and let L = P

α,β

P

α

a

αβ

(Q)P

β

: H

m

→ H

−m

where α, β are multi-indices of length ≤ m and a

αβ

are functions X → B(E) such that a

αβ

(Q) is a continuous map H

m−|β|

→ H

|α|−m

. If hf |Lfi ≥ µkf k

2Hm

− νkf k

2H

for some µ, ν > 0 then L is a closed bounded from below form on H

m

and the self-adjoint operator H

0

associated to it verifies Proposition 8.

Note added July 2014: The theory can be extended to metric spaces by using the C

-algebra introduced and studied in my paper “On the structure of the essential spectrum of elliptic operators on metric spaces”, J. Funct. Analysis 260, 1734–1765 (2011) and arXiv:1003.3454.

Acknowledgment. We thank Hans Henrik Rugh for the remark which made Lemma 7 obvious.

R

EFERENCES

[GG] V. Georgescu, S. Gol´enia,Decay preserving operators and stability of the essential spectrum, J. Op. Th.59(2008), 115–155;

a more detailed version is http://arxiv.org/abs/math/0411489.

[GI] V. Georgescu, A. Iftimovici,Localizations at infinity and essential spectrum of quantum Hamiltonians: I. General theory, Rev. Math. Phys.18(2006), 417–483; see also http://arxiv.org/abs/math-ph/0506051.

[MS] V. Maz’ya, M. Shubin,Discreteness of spectrum and positivity criteria for Schr¨odinger operators,Ann. Math.162(2005), 919–942.

[S] B. Simon,Schr¨odinger operators with purely discrete spectrum,see preprint 08-191 at http://www.ma.utexas.edu/mp arc/ or http://arxiv.org/abs/0810.3275v1.

[WW] F.-Y. Wang, J.-L. Wu,Compactness of Schr¨odinger semigroups with unbounded below potentials, Bull. Sci. Math., to appear.

CNRSANDUNIVERSITY OFCERGY-PONTOISE95000 CERGY-PONTOISE, FRANCE E-mail address:[email protected]

Références

Documents relatifs

To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed

Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à

Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine

En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages

Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur

A time-varying respiratory elastance model is developed with a negative elastic component (E demand ), to describe the driving pressure generated during a patient initiated

The aim of this study was to assess, in three experimental fields representative of the various topoclimatological zones of Luxembourg, the impact of timing of fungicide

Attention to a relation ontology [...] refocuses security discourses to better reflect and appreciate three forms of interconnection that are not sufficiently attended to