Spectral Theory in Riemannian Geometry
Spectral Theory in Riemannian Geometry
Spectral
Theory in
Riemannian
Geometry
Author:
Olivier Lablée
Université Joseph Fourier Grenoble 1
Laboratoire de Mathématiques
BP 74
38402 Saint Martin d’Hères
France
E-mail: [email protected]
2010 Mathematics Subject Classification: 58J35, 58J37, 58J50, 58J53, 35P05, 35P15, 35P20,
47A05, 47A10, 47A12, 47A60, 47A75, 49R05, 53C21
Key words: Spectral theory, linear operators, spectrum of operators, spectral geometry, eigenvalues,
Laplacian, inverse problems, Riemannian geometry, analysis on manifolds
ISBN 978-3-03719-151-4
The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliography,
and the detailed bibliographic data are available on the Internet at http://www.helveticat.ch.
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broad-
casting, reproduction on microfilms or in other ways, and storage in data banks. For any kind of use
permission of the copyright owner must be obtained.
Contact address:
Typeset using the author’s TEX files: le-tex publishing services GmbH, Leipzig, Germany
Printing and binding: Beltz Bad Langensalza GmbH, Bad Langensalza, Germany
∞ Printed on acid free paper
987654321
Acknowledgements
Bibliography 177
Index 185
Chapter 1
Introduction to Spectral Geometry
potential theory and gravity theory (with Newton potential): the Laplace
equation and the Poisson equation
u D f I
@u
.x; t/ u.x; t/ D f .x; t/I
@t
@2 u
.x; t/ u.x; t/ D 0I
@t 2
2 Chapter 1. Introduction to Spectral Geometry
@
i„ .x; t/ D .x; t/ C V .x/ .x; t/I
@t
etc. . . .
Let us mention that this operator appears also in:
computer science: in particular, in computer vision (blob detection)
economy: financial models, Black–Scholes equations
etc. . . .
Moreover, spectral geometry is an inter-disciplinary field of mathematics; it in-
volves
analysis of ODE and PDE
dynamical systems: classical and quantum completely integrable systems,
quantum chaos, geodesic flows and Anosov flows on (negatively curved)
manifolds (for example, Ruelle resonances are related to the spectrum of
the Laplacian, see the recent articles [Fa-Ts1], [Fa-Ts2]).
geometry and topology (the main purpose of these notes is to explain this)
geometric flow: the parabolic behaviour of scalar curvature
@Rg.t / ˇ ˇ2
D Rg.t / C 2 ˇRicg.t / ˇ I
@t
the Ricci flow (see also Sections 7.8.3 and 7.8.4)
@g
D 2Ricg.t /
@t
Now, using the Taylor expansion of u around the origin we get: for all x 2 Œh; h,
x2 x3
u.x/ D u.0/ C u0 .0/x C u00 .0/ C u000 .0/ C o.x 4 /:
2 6
Therefore,
Z !
h 2 3
1 x x
uD u.0/ C u0 .0/x C u00 .0/ C u000 .0/ dx C o.h4 /
2h h 2 6
h2 h3
u.ti C1 / D u.ti C h/ D u.ti / C u0 .ti /h C u00 .ti / C u000 .ti / C o.h4 /
2 6
and
h2 h3
u.ti 1/ D u.ti h/ D u.ti / u0 .ti /h C u00 .ti / u000 .ti / C o.h4 /;
2 6
whence
ui 1 2ui C ui C1
u.ti / D u00 .ti / D C o.h2 /
h2
where uk WD u.tk /. The principal term ui 1 2ui Cui C1 represents the difference
between the value of the function u at the point ti and the values of u on the grid-
neighborhood of ti . In particular, the discretization of the problem u00 D f on
I with the boundary conditions u.0/ D u.1/ D 0 is the linear equation AX D B
with 0 1
2 1 0
B :: C
B 1 2 : C
B C
ADB B 1
:: ::
: : C
C
B C
@ : : : 2 1 A
0 1 2
4 Chapter 1. Introduction to Spectral Geometry
and 0 1 0 1
u1 f1
B C B C
X D @ ::: A ; B D @ ::: A :
uN fN
More generally: the Laplace–Beltrami operator at a point x measures the differ-
ence of the mean value of f on a neighbourhood of x and the value of the function
at the point x.
Direct problems
The main questions in direct problems are (see Chapter 5):
Question. Can we compute .exactly or not/ the spectrum Spec.M; g/? And .or/:
can we find properties on the spectrum Spec.M; g/?
For example, the first non-null eigenvalue ? .M / plays a very important role
in Riemannian geometry, and one of the main questions is to find a lower bound
for ? .M / depending on the geometric properties of the manifold, e.g. the di-
mension n, the volume Vol.M; g/, the curvature R, etc. (see Section 5.2.1):
Inverse problems
The data of a metric on a Riemannian manifold determine completely the Lapla-
cian g and therefore its spectrum Spec.M; g/. Hence the spectrum is a Rieman-
nian invariant: if two Riemannian manifolds .M; g/ and .M 0 ; g 0 / are isometric,
then they are isospectral, i.e., Spec.M; g/ D Spec.M 0 ; g 0 /. Conversely the main
question is
Question. Does the data of the spectrum Spec.M; g/ determine the “shape” of
the manifold .M; g/?
In other words: which geometric information can we deduce from the spec-
trum? For example, we have the classical heat invariants; indeed the spectrum of
the manifold .M; g/ determines
the dimension of .M; g/
the volume of .M; g/
the integral of the scalar curvature Scalg over .M; g/.
Another main topic in inverse problems is
A simpler version of this question is: Let M be a fixed manifold, given a finite
increasing sequence of real numbers 0 < a1 a2 aN does, there exists a
metric g such that the k t h first eigenvalues of .M; g/ are equal to 0 < a1 a2
aN ? Y. Colin de Verdière proved in 1987 that the answer is positive (see
Section 7.4).
The next important example of inverse problem concerns the length spectrum
(see Section 7.2). The length spectrum of a compact Riemannian manifold .M; g/
6 Chapter 1. Introduction to Spectral Geometry
The answer is negative and was given first by J. Milnor in 1964 (see Section
7.3). In 1984 and 1985, respectively C. Gordon, E.N. Wilson [Go-Wi] and T.
Sunada [Sun] gave a systematic construction of counter-examples. In 1992, C.
Gordon, D. Webb, and S. Wolpert [GWW1] gave the first planar counter-example.
The main classical references on spectral geometry are the book of M. Berger,
P. Gauduchon and E. Mazet [BGM], the book of P. Bérard [Bér8][Bér], of I.
Chavel [Cha1] and the book of S. Rosenberg [ROS].
This norm is also an algebra norm, i.e., for all T; S 2 B.H / we have
Since H is complete, the space .B.H /; jjjjjj / is a Banach space. Observe that we
also have
Proof. Since ` is a bounded linear form on the Hilbert space V , the Riesz–Fréchet
representation theorem provides a unique ` 2 V such that for all v 2 V we
have `.v/ D h` ; viV . Similarly, for a fixed vector u 2 V the map v 2 V 7!
a.u; v/ 2 R is a bounded linear form, so there exists a unique fu 2 V such that
for all v 2 V we have a.u; v/ D hfu ; viV . So we can consider the map
8
< V ! V
fW
: u 7! f :
u
2.1 Linear operators 9
therefore
kf .u/kV D kfu kV C kukV :
Thus the map f W .V; kkV / ! .V; kkV / is bounded and jjjf jjj C (here C D
jjjajjj).
Now let us show that f is bijective. First for u 2 ker.f / we have
f .u/ D ` :
and so
jjj`jjj
kukV kukV :
˛
is linear.
Remark 2.1.3. Be careful: unbounded operators are not continuous.
Definition 2.1.5. We said that an unbounded linear operator .A; D.A// is in-
cluded in another operator .B; D.B// if D.A/ D.B/ and for all x 2 D.A/,
Bx D Ax. If A is included in B we write A B.
In others words, A B if and only if the graph of A is included into the graph
of B. Now, recall the following usual definition:
n 0 the operator Sn is bounded. Next, for all integers .n; m/ with m > n we
have
C1
X 1
jjjSm Sn jjj jjjT jjjk D jjjT jjjnC1 ;
1 jjjT jjj
kDnC1
so jjjSm Sn jjj converges to 0 as n ! 1, hence .Sn /n is a Cauchy sequence in
the Banach algebra of bounded operators. Consequently, there exists a bounded
operator S such that limn!1 Sn D S in the norm jjjjjj. It immediately fol-
lows that limn!1 .I T /Sn D .I T /S and limn!1 Sn .I T / D S.I T /
for the norm jjjjjj. And, observe that for all n 0
X
n X
n X
nC1
.I T /Sn D Sn T kC1 D Tk Tk
kD0 kD0 kD1
D I T nC1 :
Since jjjT jjj < 1 we have limn!1 .I T /Sn D Id in the norm jjjjjj. Similarly,
limn!1 .I T /Sn D I . By the unicity of the limits, .I T /S D I and S.I
T / D I . In other words, I T is invertible and
C1
X
1
.I T / D S WD T k 2 B.H /:
kD0
Definition 2.2.1. Let .A; D.A// be an unbounded linear operator. We say that
.A; D.A// is closed if the graph Gr.A/ WD f.x; Ax/ I x 2 D.A/g is closed in H 2
with respect to the graph norm k.x; Ax/k2 WD kxk2H C kAxk2H .
Proposition 2.2.2. An unbounded linear operator .A; D.A// is closed if and only
if for any sequence .xn /n 2 D.A/N such that
8
ˆ
< n!1 lim xn D x in the norm kkH
and
:̂ lim Axn D y in the norm kkH
n!1
Proof. Suppose .A; D.A// is closed and let .xn /n 2 H N be a sequence such
that limn!1 xn D x and limn!1 Axn D y. Then the sequence .xn ; Axn /n 2
Gr.A/N converges in the graph norm as n ! 1 to the couple .x; y/. Since the
graph is closed we deduce that x 2 D.A/ and y D Ax.
Conversely, suppose that for any sequence .xn /n 2 D.A/N such that
limn!1 xn D x and limn!1 Axn D y we have x 2 D.A/ and y D Ax. Let
.xn ; Axn / 2 Gr.A/N be a sequence such that limn!1 .xn ; Axn / D .x; y/ in H 2
in the graph norm. In particular, .xn /n converge as n ! 1 to x and .Axn /n
converge as n ! 1 to y, hence x 2 D.A/ and y D Ax, that is
Therefore, the graph Gr.A/ WD f.x; Ax/ ; x 2 D.A/g is closed (in the graph
norm) in H 2 .
Proposition 2.2.3. An unbounded linear operator .A; D.A// is closed if and only
if the set D.A/ is complete for the norm kkA , where kxk2A WD kxk2H C kAxk2H .
Proof. Suppose first that .A; D.A// is closed. Let .xn /n be a Cauchy sequence in
.D.A/; kkA /. Then .xn /n and .Axn /n are Cauchy sequences in the Hilbert space
H , so there exists .x; y/ 2 H 2 such that limn!1 xn D x and limn!1 Axn D y
2.2 Closed operators 13
in the norm kkH . Since .A; D.A// is closed we deduce that x 2 D.A/ and
y D Ax. Consequently,
where the closure is taken in the norm kk1 . Next, let .'n /n be a sequence in
1 N
C .Œ0; 1/ such that limn!1 'n D ' and limn!1 'n0 D in the norm kk1 .
0
In particular, the sequence .'n /n converges pointwise to ' and the sequence 'n n
converges uniformly to , so since every 'n is C 1 , it follows that ' is C 1 and
D ' 0 . Therefore, the operator .A; D.A// is closed.
Now consider an operator .A; D.A// with D.A/ D H . Using the closed
graph theorem we have immediately that .A; D.A// is closed if and only if A is
bounded. Hence, every bounded operator is closed.
where
We claim that all these operators are closed with dense domains.
For the first operator: since H 1 .0; 1Œ/ is dense in L2 .0; 1Œ/ for the L2 -norm
and H 1 .0; 1Œ/ is a Banach space for the H 1 -norm, therefore the space D.A0/
equipped with the norm kkA0 is complete, consequently the operator A0 ; D.A0/
is closed. For the second operator: recall that the injection of H 1 .0; 1Œ/ into
C 0 .Œ0; 1/ is continuous (see [Bré]) hence D.A1 / is a closed subset of D.A0 /,
consequently the space D.A1 / equipped with the norm kkA1 is complete, it fol-
lows that A1 ; D.A1 / is closed. For the cases D.A2 /, D.A3 / and D.A4 / proceed
in the same manner.
In fact, here the vector is unique (see below). So the adjoint operator A? is
defined by 8
< D.A? / ! H
A W
?
: y 7! A? y WD :
Note that the operator .A? ; D.A? // is always closed (even A is not closed) and
A?? D A. If we have two unbounded linear operators A; B such that A B, then
B ? A? . Indeed, let y 2 D.B ? /. Then hy; Bxi D hB ? y; xi for all x 2 D.B/.
Since the domain D.A/ is included in D.B/ and B coincides with A on D.A/,
˝ ˛
hy; Axi D B ? y; x
where
We have seen in a previous example that all these operators are closed with dense
domains. Here we determine their adjoints: we claim that A?0 D A4 , A?1 D A2 ,
A?2 D A1 , A?3 D A3 , and A?4 D A.
Let us show only the first equality. For all v 2 D.A?4 / and all u 2 Cc1 .0; 1Œ/
D.A4/, we have ˝ ? ˛
A4 v; u D hv; A4 ui ;
i.e., ˝ ˛ ˝ ˛
A?4 v; u D i v; u0 :
Therefore, for all u 2 Cc1 .0; 1Œ/ D.A4 /,
˝ ˛ ˝ ˛
v; u0 D i A?4 v; u
which means that v 2 H 1 .0; 1Œ/ and v 0 D iA?4 v. In others words A?4 v D iv 0 ,
and so A?4 A0 .
Now let g 2 D.A4 / D H01 .0; 1Œ/. Then for all u 2 D.A0 / we have
˝ ˛ ˝ ˛
hA0 u; gi D i u0 ; g D i u; g 0 ;
Proposition 2.3.2 (von Neumann). For every unbounded linear operator A with
domain D.A/ dense in H we have
ker A? D .im.A//? : (2.2)
Proof. Let x 2 ker .A? /, i.e., A? x D 0. Then for all y 2 D.A/ we have
hx; Ayi D hA? x; yi D 0 and so x 2 .im.A//? .
Conversely, let x 2 .im.A//? , i.e., hx; Ayi D 0 for all y 2 D.A/. Then
x 2 D.A? / and A? x D 0.
What happens if A is bounded? Using the Riesz–Fréchet representation theo-
rem we have D.A? / D H and the operator A? is also bounded, with jjjA? jjj D
jjjAjjj.
Thus an operator .A; D.A// is symmetric if and only if for any couple .x; y/ 2
D.A/2 we have
hAx; yiH D hx; AyiH :
In particular, for all x 2 D.A/
Using the polarization identity, we see that for all vectors x; y 2 H such that
kxkH ; kykH 1
1 2 xCy xCy
jhT x; yiH j kx C ykH T ;
4 kx C ykH kx C ykH H
1 x y xy
C kx yk2H T ;
4 kx ykH kx ykH H
1 1
kx C yk2H c C kx yk2H c
4 4
c
D 2 kxk2H C 2 kyk2H c;
4
where cWD sup jhT x; xiH j.
kxkH 1
We have also
Proposition 2.3.7. For every bounded positive symmetric .self-adjoint/ operator
T on H ,
kT xk2H jjjT jjj jhT x; xiH j
for all x 2 H .
Proof. Consider the bilinear form a.x; y/ WD hT x; yiH on H 2 . Since T is posi-
tive and symmetric we have, by the Cauchy–Schwarz inequality,
ja.x; y/j2 a.x; x/ a.y; y/
for all x; y 2 H , whence
jhT x; yiH j2 hT x; xiH hT y; yiH
hT x; xiH jjjT jjj kyk2H
for all x; y 2 H . Hence, for the normed vector y WD Tx
kT xkH
we get
k.I A/ xk2H 2
kxk2H : (2.3)
k.I A/ uk2H 2
kuk2H
for all u 2 D.A/. Thus it is clear that ker .I A/ D f0g. Next, consider
a Cauchy sequence yn D .I A/ xn in im .I A/ (obviously the sequence xn
belongs to D.A/). Using (2.3) we see that .xn /n is a Cauchy sequence of D.A/.
Since H is complete, there exists a couple .x; y/ 2 H 2 such that limn!1 xn D x
and limn!1 yn D y in the norm kkH . Therefore,
Proof.
First we show .i/ ) .ii/. Suppose A self-adjoint, then A is closed, be-
cause A D A? . Next if w 2 ker .A? iI / then A? w D iw, and we get
hA? w; wiH D i kwk2H . On the other hand, since A D A? , we also have
˝ ? ˛ ˝ ˛
A w; w H D hAw; wiH D w; A? w H D i kwk2H ;
For any 2 .A/ we denote by RA ./ the bounded operator .I A/1 .
This operator is called the resolvent operator of A at the point .
Example 2.4.3. Consider the family of derivation operators
8
< D.Ak / ! L2 .0; 1Œ/
Ak W
: u 7! i u0 ;
where
D.A0 / WD H 1 .0; 1Œ/ ;
˚
D.A1 / WD u 2 H 1 .0; 1Œ/ I u.0/ D 0 ;
˚
D.A2 / WD u 2 H 1 .0; 1Œ/ I u.1/ D 0 ;
˚
D.A3 / WD u 2 H 1 .0; 1Œ/ I u.0/ D u.1/ and
˚
D.A4 / WD H01 .0; 1Œ/ D u 2 H 1 .0; 1Œ/ I u.0/ D u.1/ D 0 :
We have: .A0 / D C, .A1 / D .A2 / D ;, .A3 / D f2i n; n 2 Zg, .A4/ D
C.
Start with A0 and note that for any constant 2 C the function x 7!
u.x/ D eix with x 2 Œ0; 1 is a solution of the ODE
i u0 u D 0:
This means that for all 2 C we have
ker .A0 I / ¤ f0g;
hence the point spectrum of A0 is “full”, i.e., Spec.A0 / D C, therefore
.A0/ D C.
For A1 (and similarly for A2 ), for any function f and any 2 C, using
classical ODE techniques one can verify that the equation
i u0 u D f
with u.0/ D 0 has a unique solution, namely
Z x
ix ix
u.x/ D u.0/e e i ei t f .t/ dt
0
Z x
ix
D e i ei t f .t/ dt:
0
Hence, for any 2 C we have 2 .A1 /, and so .A1/ D ; and for all
2C Z x
ix
.R A1 / u.x/ D e i ei t f .t/ dt:
0
2.4 Spectrums and resolvent set 21
For A3 : for any function f and for any 2 C, using classical ODE tech-
niques one can verify that the solutions of the equation
i u0 u D 0
u.0/ D u.1/ ” D 2 n; n 2 Z;
i u0 u D f
and since for all u 2 H01 .0; 1Œ/ we have, using integrating by parts, that
Z Z Z
1 0
1
ix 0
1
e ix
i u .x/ u.x/ dx D i e u .x/ dx eix u.x/ dx
0 0 0
Z 1 Z 1
D eix u.x/ dx eix u.x/ dx
0 0
D 0;
0
is holomorphic on .A/ and for all 2 .A/ we have RA ./ D .RA .//2 .
(v) For all 2 .A/ we have
Proof.
Start with (i). For all .; / 2 .A/2 ,
For item (ii): the case D is clear. So, suppose ¤ . Using (i) we
have
RA ./ RA ./
RA ./RA ./ D
RA ./ RA ./
D D RA ./RA ./:
The argument for (iii) is the following: for each fixed 0 2 .A/ and for all
2 C,
Now for all 2 C such that jj < jjjRA1.0 /jjj (i.e., jjjRA .0 /jjj < 1),
the von Neumann’s lemma shows that .0 C / I A is invertible with
a bounded inverse (so 0 C 2 .A// and
C1
X
RA .0 C / D ./k .RA .0 //k :
kD0
In particular, for each 0 2 .A/ there exists a radius r WD jjjRA1.0 /jjj such
that the open disc centered at 0 and of radius r is a subset of .A/; in other
words, .A/ is an open set.
Next, item (iv): for any 0 2 .A/ and for any complex number z such that
jz 0 j < jjjRA1.0 /jjj we have seen that .0 C / I A is invertible with
a bounded inverse and
C1
X
RA .z/ D .zI A/1 D .0 z/k .RA .z//kC1 :
kD0
Proof.
Start with item (i): if 2 Spec .RA .0 // with ¤ 0, then there exists
' 2 H; ' ¤ 0, such that RA .0 /' D ', so ' 2 D.A/ and
1 1
A' D A .RA .0 /'/ D .0 RA .0 / I / '
0 1 1
D ' ' D 0 ';
24 Chapter 2. Detailed introduction to abstract spectral theory
so with WD 0 1
we have 2 Spec.A/ and D 1
0
.
Conversely, arguing in the same way we have also
1
I 2 Spec.A/ Spec .RA .0 // f0g:
0
Let us prove item (ii): for all 2 C? and for all 0 2 .A/ we have
1
. RA .0 // ' D 0 I A RA .0 /'
for any vector ' 2 H (because ..0 1/ I A/ RA .0 / D 0 RA .0 /
RA .0 / 0 RA .0 / C I . Moreover, for any vector 2 H ,
1
. RA .0 // D RA .0 / 0 I A '
hence if x 2 ker .I RA .0 // then x 2 D.A/ and 0 1 I A x 2
ker .RA .0 // D f0g. Consequently,
1
x 2 ker 0 I A :
We also have ker 0 1 I A ker .I RA .0 //.
Next, let y 2 im .I RA .0 //. Then there exists
x 2 H such that
y D .I RA .0 // x hence y 2 im 0 1 I A . Now, if y 2
im 0 1 I A , there exists x 2 D.A/ such that y D 0 1 I A x
and there exists a unique w 2 H such that x D RA .0 /w, therefore y 2
im .I RA .0 //. So we have proved that
1
ker 0 I A D ker .I RA .0 //
and
1
im 0 I A D im .I RA .0 // :
It follows that
1
2 .RA .0 // ” 0 2 .A/ with ¤ 0;
i.e.,
1
2 .RA .0 // ” 0 2 .A/ with ¤ 0;
n o
so we get .RA .0 // f0g D 01 ; 2 .A/ .
2.4 Spectrums and resolvent set 25
Proof. Let 2 Spec.A/, i.e., there exists x ¤ 0 in D.A/ such that Ax D x. We
have
hAx; xiH D kxk2H :
On the other hand,
ker.I A/ D f0g;
hence
.im .I A//? D f0g
because 2 R and A D A? . So we have im .I A/ D H and by Lemma 2.3.8
the subspace im.I A/ is closed. So we have im.I A/ D H and the operator
I A is surjective. Consequently, if 2 .A/, then I A is not surjective, it
follows that Im./ D 0. Hence .A/ R.
To finish, let 1 and 2 be two distinct (real) eigenvalues of A and consider
two associated eigenvectors x1 and x2 . We have
hAx1 ; x2 iH D 1 hx1 ; x2 iH :
Therefore, hx1 ; x2 iH D 0:
We have also
Proof. Let us prove the statement for M (for m the proof is similar). Consider
a fixed f 2 H and 2 R with > M . Then for all x 2 H we have
hT x; xiH M kxk2H ;
26 Chapter 2. Detailed introduction to abstract spectral theory
hence
a.x ? ; y/ D `.y/
.I T / x D f:
In fact, we have shown that for every f 2 H there exists an unique solution x ? 2
H , consequently the operator I T is bijective and x ? D .I T /1 f . More-
over, kx ? kH D k.I T /1 f kH K kf kH , so we deduce that .I T /1 is
bounded, thus the operator .I T / is invertible. Summing up, if > M , then
2 .T /, i.e., if 2 .T / then M .
Next let us verify that M 2 .T /: if M 2 .T /, then the operator .MI T /
is invertible and consequently .MI T /1 is bounded. Then by the definition of
M there exists a sequence .xn /n in H with kxn kH D 1 such that
lim h.MI T / xn ; xn iH D 0:
n!1
lim k.MI T / xn kH D 0;
n!1
2.5 Spectral theory of compact operators 27
Proposition 2.5.2. A bounded operator A is compact if and only if for any boun-
ded subset X of H , the closed set A.X / is a compact subset of H .
The Riesz lemma asserts that the closed unit ball BH .0; 1/ WD
fx 2 H I kxkH 1g is compact if and only if dim.H / < C1. Thus every fi-
nite rank operator (i.e., a bounded operator A such that dim .im.A// < C1) is
compact.
28 Chapter 2. Detailed introduction to abstract spectral theory
is continuous. Therefore, the set .˛T C S / .BH .0; 1// is compact, i.e., the opera-
tor ˛T C S is compact.
Now let us consider a sequence of compact operators .Tn /n such that
limn!1 Tn D T in the normSjjjjjj. Let " > 0, then there exists N 2 N such
that jjjTN T jjj < 2" . Since y2H BH y; 2" H we have, in particular,
[ "
TN .BH .0; 1// BH y; :
2
y2H
Consequently, the set T .BH .0; 1// is compact, i.e., the operator T is compact. It
follows that set of compact operators is closed.
Let A be a bounded operator on H and T a compact operator on H . First,
thus
A .T .BH .0; 1/// A T .BH .0; 1//
and since T .BH .0; 1// is compact and A is continuous (because is bounded), the
set A T .BH .0; 1// is compact. Hence the closed set A .T .BH .0; 1/// is com-
pact, i.e., AT is compact. To finish, (since A is bounded) we have the inclusion
A .BH .0; 1// A .BH .0; jjjAjjj//, therefore
thus
T .A .BH .0; 1/// T .A .BH .0; jjjAjjj///:
Here the set T .A .BH .0; jjjAjjj/// is compact (see the previous proposition), so
the closed set T .A .BH .0; 1/// is compact, consequently TA is compact.
Another useful result is the following proposition.
Proof. Suppose T .en / does not converge to 0, i.e., there exists m > 0 such that
for any integer n we have kT en k2H m. Since the sequence .en /n is bounded
(it is orthonormal) and since T is compact, there exists a compact subspace X of
H such that for any n we have T en 2 X . Thus one can suppose, by extracting
a subsequence if necessary, that the sequence .T en /n converges to a vector y 2
X H . In particular, kyk2H m. Moreover,
˝ ˛
0 < m hy; yiH D lim hT en ; yiH D lim en ; T ? y H
n!C1 n!C1
PC1
and hen ; T ? yiH ! 0 as n ! C1 because hT ? y; en iH D nD0 jhT ? y; en iH j2 <
C1, and this is absurd.
For finish recall (without proof) the:
Proof.
Start with (i). Denote B WD BH .0; 1/ \ ker.I T /. Then T .B/ D B.
Since T is compact and B is bounded, T .B/ is a compact subset of H , so
B is also compact. Thus the Riesz lemma1 applied to space ker.I T /
implies that the dimension of ker.I T / is finite.
Item (ii): It is clear that the operator I T restricted to the subspace
.ker.I T //? is injective and surjective onto image im.Id T /. Thus
the operator:
is finite.
2.5 Spectral theory of compact operators 31
yn D .I T / S 1 .yn / D S 1 yn T S 1 yn ;
yn
and ! 0 as n ! C1. Let
kS 1 yn kH
1 yn S 1 yn
xn WD S 1
D :
kS yn kH kS 1 yn kH
Then for any n, kxn k D 1 and xn 2 im.S 1/ D .ker.I T //? . Moreover,
xn T xn ! 0 as n ! C1. Since the sequence .T xn /n belongs to T .B/
and since T .B/ is compact one can assume, by extracting a subsequence
if necessary, that the sequence .T xn /n converge to a vector x 2 T .B/.
Thus the sequence .xn /n converge also to x and since .xn /n belongs to the
closed subspace .ker.I T //? we have x 2 .ker.I T //? . But we also
have x T x D 0; in other words, x 2 ker.I T /, therefore x D 0 and
this is absurd (because for any n, kxn k D 1, so kxk D 1).
Item (iii): The subspace
whence
X
n
nC1 enC1 D ˛i nC1 ei ;
i D1
and also
X
n
T enC1 D ˛i T ei ;
i D1
i.e.,
X
n
nC1 enC1 D ˛i i ei :
i D1
It follows that
X
n
˛i .nC1 i / ei D 0
i D1
and consequently ˛i D 0 for all i 2 f1; : : : ; ng. Therefore, enC1 D 0, which is
absurd. Now since for any integer n 1 we have En EnC1 and En ¤ EnC1 ,
we deduce that dim.E/ D C1.
Next, using the Gram–Schmidt orthogonalization process we construct a Hil-
?
bert basis .fn /n of E: f1 WD e1 and for all n 2 we have fn 2 En \ EnC1 . Note
Xn
that Tfn n fn 2 En1 : indeed if fn D ˛i ei , then
i D1
X
n
Tfn D ˛i i ei
i D1
so
X
n1
Tfn n fn D ˛i .i n / ei 2 En1 :
i D1
It follows that the vector Tfn n fn is
orthogonal
to the vector fn .
To finish we consider the sequence 1n fn n . This sequence belong the closed
ball BH .0; min1 / . Since Tfn n fn 2 En1 and Tfn n fn is orthogonal
i
to fn , for all m < n:
Tfn Tfm T n Id T m Id ?
D fn fm fm Cfn 2 En1 ˚span ffn g :
n m n m
34 Chapter 2. Detailed introduction to abstract spectral theory
Proof. If " > 0 is given, using the previous lemma and the fact that the spec-
trum .T / is compact, we conclude that the intersection of .T / with the set
f 2 CI jj "g is empty or finite.
All this leads to the following result.
T e D e;
˚
MF W D .MF / WD ' 2 L2 .X /I F ' 2 L2 .X / ! L2 .X /
' 7! F '
Proof. First, let us verify that the domain D.MF / is dense in L2 .X /. Let ' 2
L2 .X / and consider the sequence .'n /n of L2 .X / defined by 'n WD ' .jF jn/
where denotes the indicator function. Since for any n 2 N, jF 'n j nj'j, the
sequence .'n /n belongs to D.MF /. Next, since F is finite almost everywhere,
the sequence .'n /n converge almost everywhere on X to '. Since for all n 2 N,
j'n j j'j 2 L2 .X /, using the Lebesgue dominated convergence theorem shows
36 Chapter 2. Detailed introduction to abstract spectral theory
that the sequence .'n /n converges in the L2 .X /-norm on X to '. Hence the
domain D.MF / is dense in L2 .X /.
Now, let us verify that the operator MF is closed. Consider a sequence .'n /n
of D.MF / such that 'n converge in the L2 .X /-norm on X to some function '.
And suppose also that the sequence .MF 'n /n converge in the L2 .X /-norm on X
to a function 2 L2 .X /. Using the Lebesgue dominated convergence theorem
one can suppose, by extracting a subsequence if necessary, that .'n /n converge al-
most everywhere on X to '. Consequently, the sequence .F 'n /n converge almost
everywhere on X to F ', hence D F ' almost everywhere on X . Therefore,
' 2 D.MF / and MF .'/ D .
To complete the proof, let us show that the operator MF is self-adjoint. Since
F is a real-valued function, the operator MF is symmetric on its domain
D.MF /.
To see that MF is self-adjoint
we use the criterion ker MF ˙ iI D f0g (Theo-
rem 2.3.9): let ' 2 ker MF iI ; then MF .'/ D i'. On the other hand, since
for all 2 D.MF / we have
˝ ˛
MF '; L2 D h'; MF iL2
we get for all 2 D.MF /
Z Z
i' d D 'F d
X X
R
i.e., for all 2 D.MF /, X '.i F / d D 0: Since D.MF / is dense 2
in L .X /
and F is a real-valued function, we ' D 0, hence ker MF iI D
obtain that
f0g. By the same argument, ker MF C iI D f0g. The assertion for the case
F 2 L1 is trivial.
In the spectral theory of C algebras [Arv1], [Arv2] the following result plays
an important role: (Recall that a bounded operator A is normal if AA? D A? A
and a unitary map is an isometric and surjective map).
Corollary 2.6.4. With the previous notations, there exist a finite measure space
.X ,/, a unitary operator U W H ! L2 .X /, and a bounded function F with
2.6 The spectral theorem multiplication operator form 37
Proof. First let us verify that the operators R˙i are normal. Since Im .˙iI CA/ D
H , for any couple of vectors .u; v/ 2 H 2 there exists an unique couple .z; w/ 2
D.A/2 such that v D .iI C A/ z and u D .iI C A/ w. Hence we get
˝ ˛
hv; Ri uiH D h.iI C A/ z; wiH D z; .iI C A/ w H
D hz; .iI C A/ wiH D hRi .v/; uiH :
Consequently, R˙i D Ri . On the other hand, by the resolvent equation (2.4)
the operator Ri and Ri commute, therefore Ri and Ri are bounded normal
operators.
Next we use the Theorem 2.6.2: we must verify that the function F ¤ 0 almost
everywhere on X . By its definition the operator Ri is injective, hence by unitary
conjugation MF is also injective, i.e., F ¤ 0 almost everywhere on X .
From this result we get the usual result:
UAU 1 D Mf :
Proof. Let F be the function provided by Corollary 2.6.4. Consider the function
f WD F1 i: Then f is finite -almost everywhere on X (because F ¤ 0 almost
everywhere on X ). By construction, F .f C i / D 1 and URi D MF U . First
we show that v 2 D.A/ , U.v/ 2 D.Mf /. Let v 2 D.A/; since the operator
Ri is invertible, there exists a unique u 2 H such that v D Ri u. Consequently,
U v D MF U u: Multiplying this equality by f we obtain f U v D .1 iF /U u.
Since U u 2 L2 .X / and F is bounded, we get f U v 2 L2 .X /, i.e., U v 2 D.Mf /.
Conversely, let U v 2 D.Mf / be a vector, so we have .f Ci /U v 2 L2 .X /. On
the other hand, since the operator U between the spaces H and L2 .X / is unitary,
there exists a unique vector u 2 H such that .f C i /U v D U u. Multiplying this
equality by F we obtain U v D F U u, whence
v D U 1 F U u D Ri u;
which in particular shows that v 2 D.A/.
Now we must verify that UAU 1 D Mf on U.D.A//. Note that for all u 2 H
we have F U u D URi u, therefore
1
Uu D URi u:
F
38 Chapter 2. Detailed introduction to abstract spectral theory
Definition 2.6.6. With the previous notations, for h 2 L1 .R/ we define the
bounded operator h.A/ on H by
h.A/ WD U 1 Mhıf U:
Theorem 2.6.7 (Bounded functional calculus). Let .A; D.A// be a bounded self-
adjoint operator on H . The map defined by:
8
< L1 .R/ ! B.H /
W
: h 7! h.A/
h.A/u D h./u:
2.6 The spectral theorem multiplication operator form 39
.x1 ; x2 ; x3 ; 1 ; 2 ; 3 / 2 R6 :
:̂ xP D @f
:
j @j
.x; t/ 2 L2 .Rn /
with the following interpretation: for any subset of Rn the real number
Z
j .x; t/j2 dx1 : : : dxn
@ „2
i„ .x; t/ D g .x; t/ C V .x/ .x; t/:
@t 2
More generally, for a self-adjoint operator .A; D.A// on a Hilbert space H , using
Theorem 2.6.7 we can define the one-parameter family
˚
U.t/ D ei tA t 2R :
40 Chapter 2. Detailed introduction to abstract spectral theory
The operator P„ WD „A is called the quantum Hamiltonian of the system S and
it represents the total energy of S . Thus for all 0 2 D.A/ we have
t
.t/ D ei h P„ 0:
@ .t/ i
D P„ .t/;
@t „
2
so if P„ D „2 C V we get
@
i„ .x; t/ D g .x; t/ C V .x/ .x; t/:
@t
We have:
Proposition 2.7.2. The unbounded linear operator .A; D.A// is closable if and
only if for any sequence .xn /n 2 D.A/N the conditions
8
ˆ
< n!1lim xn D 0 in the norm kkE
and
:̂ lim Axn D y in the norm kkF
n!1
implies that y D 0.
2.7 Some complements on operators theory 41
Proof. Suppose .A; D.A// is closable, i.e., there exists a closed operator
.B; D.B// such that A B. Let .xn /n 2 D.A/N satisfy the two conditions
in the proposition. Since the sequence .xn /n 2 D.A/N we have
8
ˆ
< n!1lim xn D 0 in the norm kkE
and
:̂ lim Bxn D y in the norm kkF ;
n!1
D.e
A/ D x 2 H I 9 ..xn /n ; y/ 2 D.A/N H I lim xn D x and lim Axn D y
n!1 n!1
and for all x 2 D.e A/, we define the operator e A by e Ax WD limn!1 Axn .
Now if we have two sequences .xn /n ; .xn /n 2 D.A/N such that limn!1 xn D x,
0
In fact, we have
Proposition 2.7.6. If there exists 2 .A/ such that .I A/1 is compact,
then A has a compact resolvent.
Proof. We have for all 2 .A/ the equality .I A/ .I A/1 D I thus if
the operator A is bounded, then I D .I A/ .I A/1 is compact, which is
absurd because dim.H / D C1.
Theorem 2.7.8. Let .A; D.A// be a closed unbounded linear operator with com-
pact resolvent in a Banach space E. Then the spectrum of A is a discrete set and
coincides with the point spectrum of A, i.e.,
.A/ D Spec.A/:
Proof. For a fixed z 2 .A/, the operator B WD .zI A/1 is compact, and for
all 2 C we have seen in Theorem 2.4.5 that
1
.B/ f0g D ; 2 .A/
z
and
1
Spec.B/ f0g D ; 2 Spec.A/ :
z
So we have
1
.A/ D z ; 2 .B/ f0g
and
1
Spec.A/ D z ; 2 Spec.B/ f0g :
Since the operator B is compact, Corollary 2.5.8 shows that .B/ f0g D
Spec.B/ f0g: Consequently,
1
.A/ D z ; 2 Spec.B/ f0g ;
thus .A/ D Spec.A/ and this proves the theorem because every eigenvalue in
Spec.B/ f0g is isolated and has a finite multiplicity (Corollary 2.5.8 and Lemma
2.5.10).
2.7 Some complements on operators theory 43
Theorem 2.7.9. Let H be a separable Hilbert space and .A; D.A// be a self-
adjoint operator with compact resolvent. Then the spectrum and the point spec-
trum of A coincide. This spectrum is a real discrete set, namely it consists of
a sequence .k /k of infinite real eigenvalues with finite multiplicity such that
k ! C1 as k ! C1. Moreover, the associated eigenfunctions .ek /k0 form
a Hilbert basis of the space H .
Ren D n en ;
i.e.,
.I A/1 en D n en ;
whence
en D n en n Aen :
Therefore,
1
Aen D en
n
so, with n WD 1n we have n ! ˙1 as n ! C1, .A/ D Spec.A/ D
fn ; n 0g, and for any integer n
Aen D n en :
0 1 k ! C1:
44 Chapter 2. Detailed introduction to abstract spectral theory
A theorem from Hausdorff asserts that this set is convex. If the operator
.A; D.A// is closed, WD ‚.A/ is a closed convex subset of C. It is easy to
see that the set WD C is
connected (here is compact), or
non-connected if is a band bounded by two parallel lines (here is not
compact).
k.I A/ ukH
d.; / :
kukH
kvkH
d.; / ;
.I A/1 v
H
d./ D 0 ” 2 .A/:
Lemma 2.7.13 (Perturbation lemma). Let .A; D.A// be a closed unbounded lin-
ear operator of H with the property that there exists > 0 such that kAxkH
kxkH for all x 2 D.A/. Then for every complex number such that jj < 2
we have:
dim ker A? I D dim ker A? :
Proof. Let be a complex such that jj < and consider the sets M WD ker .A? /,
N WD ker A? I . Our proof is carried out in three steps:
Step 1. We claim that M ? \ N D f0g. Indeed, if u 2 M ? \ N , since
M ? D im.A/ D im.A/ (the subspace im.A/ is closed because for all x 2
D.A/ we have kAxkH kxkH , see the proof of Lemma 2.3.8), there
exists v 2 D.A/ such that u D Av, so by hypothesis, we have kukH
kvkH . Now, since u belongs to N ,
D E
0 D A? I u; v D hu; .A I / viH
H
D hu; u viH D kuk2H hu; viH
2 2 jj
kukH jj kukH kvkH kukH 1
Step 3. We claim that for all such that jj < 2 and for all x 2 D.A/ we
have k.A I / xkH 2 kxkH . Indeed, for all u 2 D.A/
k.A I / xkH jkAxkH jj kxkH j
j kxkH jj kxkH j kxkH ;
2
so if we consider the operator B WD A I we have for all x 2 D.A/,
kBxkH 2 kxkH . By step 2, applied to the operator B, for any complex
number such that jj < 2 it holds that
dim ker B ? C I dim ker B ? ;
i.e.,
dim ker A? dim ker A? I :
Proof. We have seen (Lemma 2.7.11) that for all 2 and for all u 2 D.A/,
k.I A/ ukH kukH ;
where WD d.; / > 0. Here for any complex number we have
d./ D dim ker A? I D dim ker I A?
D dim ker I A? C . /I :
Proof. Here
thus for all u 2 H with kukH 1 we have jhAu; uiH j jjjAjjj. Therefore
‚.A/ B, where B is the closed disc of C with center 0 and radius jjjAjjj, so
‚.A/ B:
In fact the number mC does not depend on the choice of 2 C such that im./ >
0. Indeed, since ‚.A/ R, the set PC WD f 2 CI im./ > 0g is included in one
of the connected components of , and we conclude that the map 7! d./ is
constant on PC . Similarly, define
m does not depend on the choice of 2 C such that im./ < 0. Note that if the
set D C ‚.A/ is connected then mC D m . Hence for a symmetric operator
˙i 2 and mC D d.i /; m D d.i /.
2.8 Exercises
Exercise 2.8.1. Prove that the set B.H / of bounded operators on a Hilbert space
H is a Banach space for the norm jjjjjj. Show that for all T; S 2 B.H / we have
Exercise 2.8.2. Prove that for a bounded operator the spectrum and point spec-
trum coincide.
is bounded if and only if the sequence .n /n is bounded. In this case show that T
is invertible with a not-bounded inverse.
is a bounded.
Exercise 2.8.7. Let us denote by Binv .H / the set of bounded invertible operators
with bounded inverse. Show that the mapping
8
< Binv .H / ! Binv .H /
: T 7! T 1
Exercise 2.8.8. Show that if an operator is symmetric then its eigenvalues are
real.
Exercise 2.8.9. Prove that the point spectrum of the operator T from the Exercise
2.8.4 is Spec.T / D fn ; n 1g and that the spectrum of T is .T / D Spec.T /.
Show that Mx is bounded and jjjMx jjj 1. Next prove that Spec.Mx / D ; and
.T / D Œ0; 1.
Exercise 2.8.12. Show that the operator of Exercise 2.8.4 is compact if and only
if n ! 0.
Exercise 2.8.14 (Cayley transform). Let .T; D.T // be a closed symmetric opera-
tor on a Hilbert space H .
The pair .U; '/ is called a chart of M and for y 2 U the components of the
vector
'.y/ D .y1 ; y2 ; : : : ; yn / 2 Rn
52 Chapter 3. The Laplacian on a compact Riemannian manifold
are called the coordinates of the point y in theSchart .U; '/. An atlas of M is
a collection of charts .Ui ; 'i / such that M D i Ui : We say that a topological
manifold M is a smooth manifold if for every pair of charts .U; '/ and .V; /
such that U \ V ¤ ;, the map
ı ' 1 W '.U \ V / Rn ! .U \ V / Rn
Example 3.1.2.
The first simple example is the Euclidean space Rn : here the atlas is re-
duced to the open set U D Rn and the unique chart is the identity map.
˚
The second usual example is the n-sphere Sn WD x 2 RnC1 I kxk D 1 :
here one can consider an atlas with two charts: U D Sn fN g and V D
Sn fS g, where N; S are the north and the south poles of the sphere. The
homeomorphisms are the stereographic projections
8
ˆ
< U RnC1 ! Rn
'N W
:̂ .x1 ; x2 ; : : : ; xnC1 / 7! x1
; x2 ; : : : ; 1xxnnC1 ;
1xnC1 1xnC1
and
8
ˆ
< V RnC1 ! Rn
'S W
:̂ .x1 ; x2 ; : : : ; xnC1 / 7! x1
; x2 ; : : : ; 1CxxnnC1 :
1CxnC1 1CxnC1
For a fixed point x on M the set of derivations can be equipped with the
following operations: if X; Y are two derivations and a scalar, for all f 2
C 1 .M / we put
.X C Y /.f / D X.f / C Y .f /:
Thus the set of derivations is a n-dimensional vector space, called the tangent
space of M at the point x. This vector space is denoted by Tx M . The rela-
tion between this definition and the geometric intuitive notion of tangent vector is
the following: for a curve W r; rŒ! M such that .0/ D x; the corresponding
derivation acts on f 2 C 1 .M / as
d .f ı /
X.f / D .0/:
dt
@
Given a chart .U; '/ containing x, we define the tangent vector @xi
by
x
@ @ f ı ' 1
.f / D .'.x//
@xi x @xi
n o
for all f 2 C 1 .M /. In fact, the n-tuple @x@ is a basis of Tx M , so for
i x 1i n
every vector X 2 Tx M there exists n-scalars X1 ; X2 ; : : : ; Xn such that
Xn
@
XD Xi ;
@xi x
i D1
and for a local chart U; ' D .' 1 ; ' 2 ; : : : ; ' n / we have
Xi D X.' i /:
Remark 3.1.6. There exists another equivalent ways to define the tangent space
(see [GHL]).
The (disjoint) union of the tangent spaces
a
TM WD Tx M
x2M
We denote by .M / the set of vector fields on M . This set can be equipped
with the Lie bracket: for .X; Y / 2 .M /2 , for all f 2 C 1 .M / and for all x 2 M ,
ŒX; Y x .f / WD Xx .Y .f // Yx .X.f //
where 8
< 1; if i D j
ıij D
: 0; otherwise:
It is easy to see that this map in linear between the spaces Tx M and Tf .x/ N .
Consequently we can also define the (linear) tangent map of f by
8
< TM ! T N
Tf W
: .x; u/ 7! .f .x/; .T f .u/// :
x
DW TM .M / ! TM
such that:
(i) for all x 2 M , if X 2 Tx M and Y 2 .M / then D.X; Y / 2 Tx M ,
(ii) for all x 2 M , the map DW Tx M .M / ! Tx M is bilinear,
(iii) for all x 2 M , all X 2 Tx M , and all Y 2 .M /, if f W M ! R is
differentiable, then
If D is a connection on M , we denote
DX Y WD D.X; Y /:
The operator D is a local operator in the sense that for any point x 2 M and for
any X; Y; Z 2 .M /, if Y D Z in a neighbourhood of x, then DXY D DX Z.
In this book, for x 2 M and k 2 N we denote by ƒk Tx? M the set of k-
alternating forms on the vector space Tx? M . The (disjoint) union of these spaces
is denoted by a
ƒk .M / WD ƒk T ? M
x2M
Namely, if X
˛D ˛i dxi ;
i
then we put
X @˛i
d˛ D dxj ^ dxi ;
@xj
i;j
d ı d D 0:
d .˛ ^ ˇ/ D d˛ ^ ˇ C .1/k ˛ ^ dˇ:
For any smooth map 'W M ! N between two manifolds M; N , the pull-back of
' is defined by: for any x 2 M , ˇ 2 k .M /, and .V1 ; V2 ; : : : ; Vk / 2 Tx? M ,
?
' ˇ .x/.V1 ; V2 ; : : : ; Vk / D ˇ.'.x// .Tx '.V1 /; Tx '.V2 /; : : : ; Tx '.Vk // :
Finally, the Lie derivative associated to a smooth vector field X is defined by the
formula: for all ˇ 2 k .M /,
't? ˇ ˇ
LX .ˇ/ WD lim ;
t !0 t
where 't is the local flow generated by X . We have the Cartan formula
LX .ˇ/ D iX dˇ C d .iX ˇ/ I
in particular, for a function f (i.e., f 2 0 .M /), we get
LX .f / D iX df D df .X /:
Theorem 3.1.11. On every manifold M there exists at least one Riemannian met-
ric.
Example 3.1.12.
The simplest example of Riemannian manifold is the Euclidean space Rn
with the canonical metric “can”, which is the usual scalar product on Rn :
for every x 2 Rn , and all X; Y 2 Tx Rn with X D .x1 ; x2 ; : : : ; xn / and
Y D .y1 ; y2 ; : : : ; yn /
X
n
can.x/.X; Y / WD hX; Y iRn D xi y i :
i D1
58 Chapter 3. The Laplacian on a compact Riemannian manifold
Example 3.1.14. The hyperbolic space: let Hn WD fx 2 Rn I kxk < 1g, the open
unit ball in Rn . The hyperbolic space Hn can be equipped with the hyperbolic
metric g defined for every point x 2 Hn and for all X; Y 2 Tx Hn by
4 hX; Y iRn
g.x/.X; Y / WD 2
:
1 kxk2Rn
(ii) D is compatible with the metric g: for all smooth vector fields X; Y; Z of
M,
X.g.Y; Z// D g .DX Y; Z/ C g .Y; DX Z/ :
@ X
n
@
D @ D ijk ;
@xi @xj @xk
kD1
where P .t/ 2 T.t / M is the velocity vector of the curve. We can now define
a distance (called the Riemannian distance) on the manifold .M; g/: for any pair
of points .x; y/ in M , the Riemannian distance between x and y is
d.x; y/ WD inf L. /;
2C .x!y/
where the infimum is taken over the set C .x ! y/ of smooth curves on M going
from the point x to the point y. The topology associated to this metric coincides
with the natural topology of the manifold M: If the metric space .M; d / is com-
plete (i.e., every Cauchy sequence is convergent), then every pair of points .x; y/
on M can be joined by a curve and
d.x; y/ D L. /:
P / P .t/ D 0;
D.t
in local coordinates,
X
n
Rk .t/ C ijk Pi .t/ Pj .t/ D 0:
i;j
By the standard existence and uniqueness results for ordinary differential equa-
tions, for every point x 2 M and for every vector U 2 Tx M there exist > 0
and a unique geodesic U W ; Œ ! M such that U .0/ D x and PU .0/ D U .
For example
on the Euclidean plane R2 geodesics are straight lines,
on the round sphere S2 geodesics are great circles,
on the hyperbolic Poincaré disk geodesics are arcs of circles meeting the
unit circle orthogonally, or segments through the origin.
60 Chapter 3. The Laplacian on a compact Riemannian manifold
B
A
B
A
The Hopf–Rinow theorem states that the mapping t 7! U .t/ is well defined
for all t 2 R if and only if the metric space .M; d / is complete.
We have also
where t 7! U .t/ is the unique geodesic such that U .0/ D x and PU .0/ D U .
for all r > 0. The exponential map is well defined on the whole tangent space
(since the manifold is complete), but is not a global diffeomorphism from Tx M
3.1 Basic Riemannian Geometry 61
on M . By the local inversion theorem, there exists a radius r > 0 such that
exponential map at the point x is a local diffeomorphism from BTx M .0x ; r/ to
expx .BTx M .0x ; r// D BM .x; r/.
Definition 3.1.18. The injectivity radius of the manifold .M; g/ at the point x 2
M is the largest radius r > 0 such that the exponential map at the point x is
a local diffeomorphism from the ball of radius r and center 0x 2 Tx M . The
injectivity radius of the manifold .M; g/ is the infimum of the injectivity radius
over all points x 2 M .
In other words, the injectivity radius of M is the largest number r > 0 such
that for every pair of points .x; y/ 2 M 2 with dM .x; y/ < r there exists an
unique geodesic curve which joins x and y. If the manifold .M; g/ is compact,
the injectivity radius is strictly positive. We have (see [GHL] for a proof):
In fact, we can use R to build a tensor of type .0; 4/. Namely, for four smooth
vector fields X; Y; Z; T , we define the tensor R.X; Y; Z; T / by
R.X; Y; Z; T / WD g .R .X; Y / T; Z/ :
62 Chapter 3. The Laplacian on a compact Riemannian manifold
X
n
Ricx .v; v/ WD R .v; ei ; v; ei /
i D1
X
n
Scal.x/ WD Ricx .ei ; ei / 2 R;
i D1
Example 3.1.21.
In the case M D Rn , Tx M ' Rn for all x 2 M . For any 2-plane P
Tx M and any radius r > 0 we have
X
n1
Ricx .v; v/ D Kx Pej ;v ;
j D1
where ej 1j n1 is an orthonormal basis of the .n 1/-dimensional vector v ? ,
and Pej ;v denotes the 2-plane spanned by ej and v.
Example 3.1.22. In the case of spaces of constant curvature, the Ricci curvature
is just a multiple of the metric:
on Rn , Ric D 0;
on Sn , Ric D .n 1/g;
on Hn , Ric D .n 1/g.
For finish observe that the scalar curvature is just the trace of the Ricci curva-
ture on Tx M
X
n X
n X
Scal.x/ D Ricx .ei ; ei / D Kx Pej ;ei ;
i D1 i D1 j ¤i
where .ei /1i n is an orthonormal basis of Tx M . In other words, the scalar cur-
vature is the sum of the eigenvalues of the Ricci curvature tensor.
64 Chapter 3. The Laplacian on a compact Riemannian manifold
Example 3.1.23. In the case of spaces of constant curvature, the scalar curvature
is just a constant function:
on Rn , Scal D 0;
on Sn , Scal D n.n 1/;
on Hn , Scal D n.n 1/.
Thus, the sectional curvatures determine the Ricci curvature, and the Ricci
curvature determines the scalar curvature. Conversely, in the case of dimension 3
the Ricci curvature determines also all sectional curvatures, because we have the
relation
Ricx .e1 ; e1 / C Ricx .e2 ; e2 / Ricx .e3 ; e3 /
Kx Pe1 ;e2 D :
2
Using the change of variables formula we see that this integral does not depend
on the chart W U M ! Rn . Next, to define integration over the whole of M ,
we use a partition of unity on M , i.e., a finite family .U˛ ; ˛ /˛ where .U˛ /˛ are
open sets of M and .˛ /˛ are smooth positives functions on M which satisfy
supp .˛ / U˛
3.1 Basic Riemannian Geometry 65
and X
˛ D 1:
˛
So we can define the integral of f on M by the following formula (which does
not depend on the choice of the partition):
Z XZ
f d Vg WD f ˛ d Vg :
M ˛ U˛
we have p
1 X @ gX j
n
div.X / D p :
g @x j
j D1
Remark 3.2.2. In fact, the space D .M / can be equipped with a topology and
D 0 .M / is the topological dual space of D .M /.
In this book we also use the following notation: for T 2 D 0 .M / and for
' 2 D .M /,
hT; 'iD0 .M /D.M / WD T ':
Example 3.2.3. Let a be a point M . The Dirac distribution ıa is defined by: for
all ' 2 D .M /,
hıa ; 'iD0 .M /D.M / WD '.a/:
Remark 3.2.5. From now we do not distinguish between locally integrable func-
tions and the associated regular distributions.
For a distribution T 2 D 0 .M / and for a local coordinate system .x 1; x 2 ; ; x n /
i of T by: for all ' 2 D .M /
@T
we define the partial derivative @x
@T @'
; ' WD T; i :
@x i D 0 .M /D .M / @x D 0 .M /D .M /
3.2 Analysis on manifolds 67
H 1 .M; g/ WD C 1 .M /;
H01 .M; g/ WD D .M /;
where the closure is taken with the respect to the norm kkH 1 .
So we have:
D .M / H01 .M / H 1 .M / L2 .M /:
D .M / D L2 .M /:
To finish let us state two important theorems in Sobolev space theory. The first is
the Poincaré inequality (see, for example, [Heb]):
68 Chapter 3. The Laplacian on a compact Riemannian manifold
Corollary 3.2.7. Suppose the manifold .M; g/ is compact. The canonical embed-
ding of H01 .M /; kkH 1 into L2 .M /; kkL2 is bounded.
0
Now, let us recall the Rellich theorem (see for example [Heb]).
Theorem 3.2.8 (Rellich theorem). Suppose the manifold .M; g/ is compact. The
canonical embeddings
1
H .M /; k:kH 1 ! L2 .M /; k:kL2
and
H01 .M /; k:kH 1 ! L2 .M /; k:kL2
0
are compacts.
In local coordinates, for a C 2 real valued function f on M and for a local chart
W U M ! R of M , the Laplace–Beltrami operator is given by the local
expression
1 X @ p j k @.f ı 1 /
n
g f D p gg ;
g @xj @xk
j;kD1
3.3 Exercises 69
Theorem 3.2.9 (Green’s formula aka. Integration by parts formula). Let .M; g/
be an oriented Riemannian manifold and a subset of M with a smooth boundary
@M . Denote by the unit normal vector field to the boundary @M . For any
' 2 C 2 .M / and 2 C 1 .M /, at least one of which has a compact support, we
have:
Z Z Z
g ' d Vg D .g .; r'/ g .; r / '/ d Ag C 'g d Vg :
M @M M
3.3 Exercises
Exercise 3.3.1. If f is a constant function on a manifold show that df D 0
everywhere.
Exercise 3.3.6. Prove that a Riemannian manifold M equipped with the Rieman-
nian distance .see Section 3.1.3/ is a metric space and the topology associated to
this metric coincides with the natural topology of the manifold M .
Exercise 3.3.7. Verify that the volume of the sphere with the metric can is
.4/n .n 1/Š
Vol.S2n ; can/ D
.2n 1/Š
and
nC1
Vol.S2nC1 ; can/ D 2 :
nŠ
70 Chapter 3. The Laplacian on a compact Riemannian manifold
In this chapter our first main goal is to prove that the Laplace–Beltrami operator
on a compact Riemannian manifold is self-adjoint with a discrete spectrum. Next,
we will show that the spectrum is a nice geometric invariant. We also present the
minimax principle for the Laplacian. At the end we also define the Schrödinger
operator on a compact manifold.
From now on, all manifolds are supposed to be compact and connected.
@2 u @2 u
2
.x; t/ 2 .x; t/ D 0
@t @x
with boundary conditions
u.0; t/ D u.L; t/ D 0
@2 en n2 2
.x/ D en .x/:
@x 2 L2
72 Chapter 4. Spectrum of the Laplacian on a compact manifold
2
In fact, the spectrum of the operator @x
@
2 with the boundary conditions u.0; t/ D
u.L; t/ D 0 is equal to 2 2
n
:
L2 n1
So if u.x; t/ is a solution of the wave equation, there exists a sequence of real
number .an .t//n1 (which depends on the time t/ such that
C1
X
u.x; t/ D an .t/en .x/:
nD1
X
C1
n2 2
an00 .t/ C a n .t/ en .x/ D 0;
nD1
L2
and since .en /n is a basis, for any integer n 1 we obtain the following ODE in
the time variable
n2 2
an00 .t/ C an .t/ D 0:
L2
Thus we get for any integer n 1 and for all t 0
n n
an .t/ D An cos t C Bn sin t ;
L L
where An ; Bn are real constants.
Finally, we obtain the expression
C1
X n n nx
u.x; t/ D An cos t C Bn sin t sin ;
nD1
L L L
the coefficients An ; Bn of which are calculated from the initial data u.x; 0/ D
u0 .x/.
and since the variables x and t are independent, there exists a real constant such
that for all x; t we have
'.t/ D '.0/et :
Moreover,
w.x/ D w.x/
with w.x/ D 0 for x 2 . In other words, the scalar is an eigenvalue of
with Dirichlet conditions, therefore if we have a basis .ek /k0 of eigenvectors,
ek D k ek ;
h2
P„ WD g C V
2
with V a function of L1 loc .M / such that limjxj!1 V .x/ D C1. This operator
is self-adjoint and its spectrum is discrete. For an initial state 0 2 L2 .M / the
quantum dynamics associated to Ph is given by the formula (using the bounded
functional calculus)
.t/ D U.t/ 0 2 L2 .M /;
where t
U.t/ WD ei h Ph :
The derivative of this equation is
@ .t/ i
D Ph .t/;
@t h
so we arrive at the famous Schrödinger equation
@
ih .x; t/ D g .x; t/ C V .x/ .x; t/:
@t
Now if we have a basis .ek /k0 of eigenvectors of , using also the bounded
functional calculus, we get for all t and for any integer n
t t
ei h Ph en D ei h n en I
PC1
thus, if we write the initial state as 0 D nD0 an en with an D h 0 ; en iL2 , we
get for all t
C1
! C1
X X
i ht Ph t
.t/ D U.t/ 0 D e an en D an ei h n en :
nD0 nD0
Note that a good way to understand (in the semi-classical limit h ! 0: see Sec-
tion 5.2.4) this quantum dynamics is to study the quantum auto-correlation func-
tion
a.t/ WD jr.t/j D jh .t/; 0 iH j :
4.2 A class of spectral problems 75
This function is a quantum analog of the Poincaré’s return function: if the wave
packet .t/ is localised on the initial state 0 , then a.t/ is close to 1 (because
k 0 kL2 D 1/. The auto-correlation function is a fundamental tool in the dy-
namical study of quantum integrable systems (see for example [Co-Ro], [Robi1],
[Robi2], [Rob2], [Rob3], [Lab1], [Lab2]). Indeed, in the case of semi-classical
completely integrable systems and for a localized initial state, at the beginning
the quantum dynamics is periodic with a period which corresponds to the clas-
sical Hamiltonian flow period. Next for a large time scale, a new period Trev of
the quantum dynamics appears: this is the revival phenomenon. For t D Trev the
initial wave packet reforms again at t D Trev . We have also the phenomenon of
fractional revival of initial wave packets for time t D pq Trev , with pq 2 Q: there
is a formation of a finite number of clones of the original wave packet 0 with
a constant amplitude and differing in the phase plane from the initial wave packet
by fractions pq Trev .
g u D u:
From a spectral point of view we want to find the (point) spectrum of g on the
domain D D C 1 .M /.
From a spectral point of view we want to find the (point) spectrum of g on the
domain D D D .M /.
76 Chapter 4. Spectrum of the Laplacian on a compact manifold
Steklov problem: for a fixed function 2 C 0 ./, find all real numbers for
which there exists a function u 2 C 1 .M / with u ¤ 0 such that
8
< g u D 0 in M
: ru D u on the boundary on M:
Hence, the operator g is symmetric. Moreover, for any functions '; in the
domain D we have also
Z Z
'g ' d Vg D jr'j2 d Vg 0;
therefore the operator g is positive.
Consequently, let ; be two eigenvalues such that ¤ and let u; v be
respective eigenfunctions (i.e., g u D u and g v D v/. Since g is
symmetric, we have ˝ ˛ ˝ ˛
g u; v L2 D u; g v L2 ;
i.e.,
. / hu; viL2 D 0:
Therefore, if we denote by E ./ the eigenspace corresponding to the eigenvalue
, the spaces E ./ and E ./ are L2 -orthogonal.
Moreover, every eigenvalue is non-negative. Indeed, let be an eigenvalue
and let u be an eigenfunction of . Then
˝ ˛
g u; u L2 D kukL2 0;
so 0.
In fact, we have the more general theorem concerning the spectral theory of
the Laplacian (see also [Bér2]):
Spec.g ; D/ D fk .M /; k 0g :
Definition 4.3.2. The sequence above is called the spectrum of the manifold
.M; g/ and is denoted by Spec.M; g/.
Since the spectrum of a manifold depends only on the divergence and the gra-
dient operators, and those operators depend only on the Riemannian structure on
.M; g/, the spectrum depends only on the Riemannian structure. Consequently,
we have
Let us introduce the restriction Tr of the operator T to the space Hilbert space
V H 8
< V ! V
Tr W
: f 7! Tf:
Since
K K2
kTf kV p kf kH p kf kV
˛ ˛
for all f 2 V , we deduce that the operator Tr W .V; kkV / ! .V; kkV / is bounded.
Clearly,
Tr D T ı I10
and since the I10 is bounded and compact, the operator Tr is also compact (the
set of compact operator is an ideal of the bounded operators, see Theorem 2.5.3).
Now let us verify that zero is not an eigenvalue of the operator Tr . Suppose on the
contrary, that there exists u 2 V with u ¤ 0 such that Tr u D T u D 0. Since
a .Tr u; u/ D hu; uiH , we get 0 D kukH , which is a contradiction.
Next for all u; v 2 V we have
a .Tr u; v/ D a .T u; v/
D hu; viH D hv; uiH
D a .Tr v; u/ D a .u; Tr v/ ;
so the bounded operator Tr is self-adjoint with respect to the scalar product a .; /
on the space Hilbert space V .
Thus, the operator Tr is bounded, compact, self-adjoint and 0 is not an eigen-
value, so using the fundamental theorem of the spectral theory of compact op-
erators (see Theorem 2.5.6) the spectrum .Tr / and the point spectrum Spec.Tr /
coincide and this set is discrete: it consists of a sequence .k /k of real eigenvalues
such that k > 0 and k ! 0 as k ! C1. For any integer k 0 the dimen-
sion of ker .k I Tr / is finite, i.e., each eigenvalue of Tr has finite multiplicity.
Moreover, the corresponding eigenvectors .vk /k of .k /k form a Hilbert basis of
the space V . In particular for every integer k; `,
a .Tr vk ; v/ D k a .vk ; v/ :
4.4 A detailed proof by a variational approach 81
Consequently,
1
a .vk ; v/ D hvk ; viH :
k
So, if we denote for each integer n 0
vk
ek WD p
k
and if k ¤ `
vk v` 1 1
hek ; e` iH D p ; p D p p hvk ; v` iH
k ` H k `
p
k
D p a .vk ; v` / D 0:
`
Now let us apply this theory to our spectral problems (closed, Dirichlet or Neu-
mann problem).
So the linear form ` is bounded on H 1 .M /; h; iH 1 . It follows from the previous
theory with V WD H 1 .M / and H WD L2 .M / (in this case the operator T is equal
1
to T D g C I , which means that 1 is in the resolvent set of g ) that
there exists a infinite sequence .k /k of real numbers such that every k > 0 and
k ! 0 as k ! C1 (in fact Spec.Tr / D f.k /k g) and there exists a Hilbert
basis .ek /k of H such that for every integer k and for all v 2 V we have
1
a .ek ; v/ D hek ; viL2 :
k
So, if we denote k WD 1
k
1 for any integer k, we have
g ek D k ek :
f D . C 1/Tf:
f D . C 1/Tr f
1
Tr f D f:
C1
1
Therefore C1 2 Spec.Tr / hence there exists an integer k such that C1
1
D k . It
follows that D k 1, i.e., and so we have .k /k D Spec.g /.
1
i.e., a.u; v/ D `.v/. Now suppose u 2 H01 .M / satisfies a.u; v/ D `.v/ for all
v 2 H01 .M /, hence for all v 2 D .M / we get
Z Z
rurv d Vg D f v d Vg :
M M
Consequently,
˝ ˛
g u; v D0 .M /D.M / D hf; viD0 .M /D.M /
and for any u 2 H01 .M /, a.u; u/ WD kuk2H 1 . Therefore, the bilinear form a .; / is
0
bounded and elliptic on the Hilbert space H01 .M /; h; iH 1 . On the other hand,
0
the Poincaré inequality implies that for any v 2 H01 .M / we get
ˇZ ˇ
ˇ ˇ
j`.v/j D ˇˇ f v d Vg ˇˇ kf kL2 kvkL2
M
CM kf kL2 krvkL2 D CM kf kL2 kvkH 1 ;
0
and so the linear form ` is bounded on the Hilbert space H01 .M /; h; iH 1 . It
0
follows from the previous theory with V WD H01 .M / and H WD L2 .M / (in this
case the operator T is equal to T D 1 g , this meaning that 0 is in the resolvent
set of g ) that there exists a infinite sequence .k /k of real numbers such that
every k > 0 and k ! 0 as k ! C1 (in fact Spec.Tr / D f.k /k g); and there
exists a Hilbert basis .ek /k of H , such that for every integer k and for all v 2 V
1
a .ek ; v/ D hek ; viL2 :
k
i.e., Z
1
g I .ek / v d Vg D 0
M k
for all v 2 H01 .M /, so by the density of H01 .M / in L2 .M / we have for any k
1
g I ek D 0;
k
i.e.,
1
g ek D ek :
k
Thus, if we denote k WD 1
k for any k; we get
g ek D k ek :
Hence, .k /k Spec.g / and .ek /k form a Hilbert eigenbasis of g on the
space L2 .M /.
Conversely, let 2 Spec.g /, so there exists f ¤ 0 in H01 .M / such that
g f D f:
1
Since 0 is in the resolvent set of g we have (here T D g )
f D Tf
1
Tr f D f;
i.e., a.u; v/ D `.v/. Now, suppose u 2 H 1 .M / satisfies a.u; v/ D `.v/ for all
v 2 H 1 .M /, hence for all v 2 D .M /
Z Z Z
rurv d Vg C uv d Vg D f v d Vg ;
M M M
Therefore,
Z Z Z Z
rurv d Vg ru v d C uv d Vg D f v d Vg ;
M M M
Whence Z
ru v d D 0
for all v 2 H 1 .M /. By density, we conclude that ru D 0 on .
From this point on, the study of the variational formulation is carried out in
exactly the same way as in the case of closed problem.
j
Since every vector uh 2 Vh is characterized by its coordinates uh in the
1j n
basis ej 1j n , namely
Xn
uh D ujh ej ;
j D1
t
In the matrix language we have to find a vector U D u1h u2h : : : unh such that
AU D L
where A WD a.ej ; ei / 1i;j n 2 Mn .R/ and L WD .`.e1 / `.e2 / : : : `.en //.
where a is a non-negative function, hence in this case the main frequency of the
vibrations for the nonhomogeneous elastic beam is equal to
Z L ˇ ˇ
ˇa.x/u00 .x/ˇ2 dx
F WD min 0
Z L
:
u¤0 2
ju.x/j dx
0
Definition 4.5.1. The Rayleigh quotient R.'/ of a function '; ' ¤ 0 on .M; g/
is defined by
Z
jr'j2 d Vg
R.'/ WD M Z :
' 2 d Vg
M
Remark 4.5.2. In the case where M is closed, for any function ' 2 C 1 .M / (or
more generally for any function ' 2 H 1 .M /) we have the equality
Z Z
2
jr'j d Vg g ' ' d Vg
R.'/ D M Z D MZ :
' 2 d Vg ' 2 d Vg
M M
This also holds in the case of the Dirichlet problem for any function ' 2 D .M /
(or more generally for any function ' 2 H01 .M /), and the same is true for the
Neumann problem for any function ' 2 C 1 .M / such that the gradient vanishes
on the boundary of M .
First, let us show
g u D u:
so we finally get Z
jruj2 d Vg
D Z
M
D R.u/:
u2 d V g
M
Proposition 4.5.4. For each spectral problem and for any k 1, the following
characterization holds true:
k .M / D max R.'/;
'2Vk
'¤0
1 .M / D min R.'/
'2V
'¤0
?
where Vk1 D span .ek ; ekC1 ; : : :/.
Proof. For any integer n we compute the Rayleigh quotient for the Hilbert eigen-
basis .en /n and we get
R .en / D n .M / D R .vn / :
1 In the closed case this is clear, in the Dirichlet case the eigenfunction u vanishes on the boundary of
M , and in the Neumann case the gradient of the eigenfunction u vanishes on the boundary of M .
4.5 The minimax principle and applications 93
Since R.˛'/ D R.'/ for all scalar ˛ and for any function ', it is clear that
1 .M / D max R.'/;
'2V1
'¤0
where V1 WD span .e1 /.
Next for any function ' such that
C1
X
'D h'; ei iL2 ei ;
i D0
we have
Z C1
X
g ' ' d Vg i .M / h'; ei i2L2
i D0
R.'/ D MZ D C1
:
' 2 d Vg X
M
h'; ei i2L2
i D0
Proceeding by induction, consider the set Vk WD span .e1 ; e2 ; : : : ; ek /. Then, for
all ' 2 Vk ,
Xk X k
i .M / h'; ei i2L2 k .M / h'; ei i2L2
i D0 i D0
R.'/ D D k .M /:
X
k X
k
h'; ei i2L2 h'; ei i2L2
i D0 i D0
k .M / D min R.'/:
?
'2Vk1
'¤0
Theorem 4.5.5 (Minimax principle). For each of the above spectral problems and
for any k 1, we have Z
jr'j2 d Vg
k .M / D min max Z
M
E H ? .M / '2E
dim.E /Dk '¤0 ' 2 d Vg
M
k .M / max R.'/:
'2E
'¤0
?
Indeed, for all nontrivial functions ' 2 E such that ' 2 Vk1 (here we have
?
E \ Vk1 ¤ ; because dim.E/ D k), since k .M / D min'2V ? ; '¤0 R.'/ we
k1
obtain
k .M / R.'/:
Consequently, for all E H ? .M / such that dim.E/ D k we have k .M /
max'2E R.'/, hence
so we deduce that:
k .M / min max R.'/:
E H ? .M / '2E
dim.E /Dk
4.5 The minimax principle and applications 95
1 .M / > 0:
Proof.
(i) By the spectral theorem, 1 .M / 0. With the minimax principle we also
get Z
jr'j2 d Vg
1 .M / D min MZ :
'2C 1 .M /
'¤0 ' 2
d V g
M
Remark 4.5.7. In fact we have already seen in the proof of the spectral theorem
4.3.1 (Section 4.4.3: The Dirichlet eigenvalue problem) that the eigenvalues of the
Laplacian for the Dirichlet problem satisfy k .M / WD 1k , where k > 0, thus
1 .M / > 0.
More generally, we have also:
Proof.
(i) Suppose that the function e1 changes sign in M . Since e1 2 H 1 .M /, the
function f WD je1 j belongs to H 1 .M / and jdf j D jde1 j (see for example
[Gi-Tr]), hence
R.f / D R .e1 / D 1 .M /:
Therefore the function f is also a first eigenfunction of .M; g/ which sat-
isfies f 0 on M . Moreover, f vanishes in the interior of M and
g f D 1 .M /f 0
Note that the assertions (i) and (ii) hold for a large class of operators.
Proof. In the cases of a closed manifold or the Neumann problem the first eigen-
value 1 .M / is equal to zero and simple. Thus for all k 2 we have
k .M / 2 .M / > 0
so for all k 2 Z
0 D k .M / ek d Vg :
M
Next, since for all k 2 we have k .M / > 0 we deduce that for all k 2
Z
ek d Vg D 0.
M
k .B/ k .A/:
Proof. For every integer k 1 and for any i 2 f1; : : : ; kg, let fk 2 H01 .A/ be
an eigenfunction corresponding to the eigenvalue i .A/. This eigenfunction may
be extended by 0 on B, and this extension belong to the space H01 .B/. Hence we
have Z Z
jr'j d Vg
2
jr'j2 d Vg
min max M Z min max M Z :
E H01 .B/ '2E E H01 .A/ '2E
dim.E /Dk '¤0
' 2
d V g dim.E /Dk '¤0
' 2
d V g
M M
2 In the closed manifold case this is clear and in the Neumann case one uses the fact that the gradient of
the eigenfunction u vanishes on the boundary of M .
98 Chapter 4. Spectrum of the Laplacian on a compact manifold
Let us finish this section by introducing a notation. For each spectral problem
(closed, Neumann and Dirichlet) the spectrum of g on .M; g/ can be rewritten
as
Spec.M; g/ D f0 1 .M / < 2 .M / k .M / g
or simply
Spec.M; g/ D f0 1 < 2 k g
In the specific cases of closed manifold or Neumann problems we have
Spec.M; g/ D f0 D 1 < 2 k g ;
where H .M / WD
?
in the case of the Dirichlet problem and H ? .M / D
H01 .M /
1
H .M / in the case of the Neumann or closed manifold problems. Hence we get
for any integer k 1
n
ˇ2
k .M; g/ n k .M; g0 /:
˛ 2 C1
Obviously we also have
Z Z Z
ˇ ˇ n ˇ ˇ
jr'j2 d Vg 1 ˇrg ' ˇ2 d Vg ˛2 ˇrg ' ˇ2 d Vg
ˇ 0 ˇ 0 0
Z
M
Z
M
MZ
n
' 2 d Vg ' 2 d Vg ˇ2 ' 2 d V g0
M
Z
M M
ˇ ˇ
n ˇrg ' ˇ2 d Vg
0 0
˛2 MZ
D n :
ˇ 2 C1 ' 2 d V g0
M
100 Chapter 4. Spectrum of the Laplacian on a compact manifold
h2
H WD g C V
2
h2
with domain D .M /, in the sense that H ' D 2
g C V '.
Self-adjointness
Starting with the first question, recall that an unbounded linear operator H is said
to be essentially self-adjoint if its closure H is selfadjoint. In the case of M D Rn
with standard metric, Carleman [Car] showed that if the function V is locally
bounded and if there exists C such that V C on M , then the Schrödinger op-
erator H is essentially self-adjoint. Later T. Kato [Kat1] proved that it is possible
to replace the hypothesis V 2 L1 loc .M / by V 2 Lloc .M /. Next, in the works of
2
I.M. Oleinik [Ole1], [Ole2], [Ole3] we can find a general theorem with complex
hypotheses on V . A very useful consequence of Oleinik’s result is:
Compact setting
Here we suppose that the manifold .M; g/ is compact. The spectral problem as-
sociated to the operator H is: find all pairs .; u/ with 2 R and u 2 L2 .M /
such that
g u C V u D u:
In the case of manifolds with boundary, we need boundary conditions on the func-
tions u (Dirichlet, Neumann, or closed manifold conditions).
Similarly to the Laplace–Beltrami operator case (Theorem 4.3.1), we have
inf V .x/ 1 2 k C 1:
x2M
Moreover, the associated eigenfunctions .ek /k0 form a Hilbert basis of the space
L2 .M /.
Non-compact setting
Now suppose that the manifold .M; g/ is not compact.
8A > 0; 9K M; 8x 2 M n K; jf .x/j A:
inf V .x/ 1 2 k C 1:
x2M
Moreover, the associated eigenfunctions .ek /k0 form a Hilbert basis of the space
L2 .M /.
Some definitions
Definition 4.6.6. The Hodge–de Rham Laplacian is the second-order elliptic op-
C1
[
erator acting on the set of differential forms .M / WD k .M / by the for-
kD0
mula
WD d ı C ıd;
where d is the exterior derivative operator and ı is the codifferential operator, i.e.,
the formal L2 -adjoint of d on .M /.
D ˛ C dˇ C ı
and p ˛ D 0.
and we have a natural vector space isomorphism between the associated eigen-
spaces.
One of the most important result of Hodge theory is:
Theorem 4.6.9. The kernel of p is isomorphic to the pth -de Rham cohomology
p
group HDR .M /.
4.6 Complements: The Schrödinger operator and the Hodge–de Rham Laplacian 105
b D dˇ; c D ı
and
D a C b C c:
Then we have
d D da C db C dc;
i.e.,
0 D dc
(da D 0 because a is harmonic, and hence closed; and db D d 2 ˇ D 0). On the
other hand, we have also ıc D ı2 D 0. Consequently the differential form c is
harmonic. Using the unicity of the decomposition, we get c D 0 and finally we
have D a C b. In other words, we obtained the equality
Therefore
p
HDR .M / D ker d p =im d p1 D im d p1 ˚ ker p = im d p1 ˚ 0
' ker p :
As we have seen in the Introduction, there are two main types of problems in
spectral geometry: direct problems and inverse problems. This chapter is devoted
to direct problems. The general statement of a direct problem is: given a Rie-
mannian manifold .M; g/, can we compute or find some properties of the spec-
trum .k .M //k0 of .M; g/? We start this chapter with some examples of exact
computation for compact manifolds, including an example of computation with
a Schrödinger operator. We then present some classical examples of inequalities
and asymptotic results concerning eigenvalues.
4 2 n2
Spec.TL ; can/ D ;n2Z
L2
with associated eigenfunctions:
2i nx
x 7! en .x/ D e L ; n 2 Z:
2
Indeed, if the scalar number is in the spectrum of dx
d
2 , then there exists a non-
u00 D u:
It is a well known fact that (by the theory of L2 Fourier series) the sequence of
functions
2i nx
x 7! en .x/ D e L
n2Z
108 Chapter 5. Direct problems in spectral geometry
form a Hilbert basis of L2 .TL /, hence there exists an unique sequence .an /n2Z 2
CZ such that X
uD an en :
n2Z
Since u ¤ 0, there exists n0 2 Z such that an0 ¤ 0, hence because .en /n2Z is
a basis we get
4 2 n20
u00 u D 0 H) D :
L2
n 2 2 o
Thus we have the inclusion Spec.TL ; can/ 4L2n ; n 2 Z .
2 4 2 n2
Conversely, it is clear that for any integer n 2 Z we have dx
d
2 en D L2
en ,
so indeed
4 2 n2
Spec.TL ; can/ D ;n2Z :
L2
More generally, let a WD .a1 ; a2 ; : : : ; an / 2 Rn be such that for all i , ai ¤ 0 and
consider the lattice WD a1 Z C a2 Z C C an Z in Rn of rank n 1. The
associated flat torus is
Tna WD Rn = :
Let us also denote by ? the dual lattice of :
? WD fx 2 Rn I 8y 2 ; hx; yi 2 Zg
where 0 1
a1 0 0
B 0 a2 0 C
A WD B
@ ::: :: : : :: C
: : : A
0 0 an
thus a11 ; a12 ; : : : ; a1n is Z-basis of ? , and it follows that the volume of ? is
given by
1
Vol. ? / D :
Vol./
5.1 Explicit calculation of the spectrum 109
?? D
In other words, the spectrum of the Laplacian (in the closed situation) on a flat
torus n Rn is given by:
˚
Spec. n Rn ; can/ D 4 2 k kRn ; 2 :
? 2
with associated eigenfunctions en1 ;n2 ; .n1 ; n2 / 2 N .
5.1.3 Spheres
The one-dimensional case is trivial: since S1 ' T11 , we have
˚
Spec.S1 ; can/ D 4 2 n2 ; n 2 Z :
110 Chapter 5. Direct problems in spectral geometry
0 D RnC1 P
D k.k 1/r k2 P jSn C nkr k2 P jSn r k2 .P jSn / ;
whence
.P jSn / D k.n C k 1/P jSn :
Now, since the space of homogeneous harmonic polynomials restricted to Sn is
dense in L2 .Sn / (see [GHL]), the homogeneous harmonic polynomials restricted
to Sn are the only eigenfunctions of Sn . Consequently,
d2
C x2
dx 2
Using the integration by parts formula (and the fact that if f 2 Y then
limjxj!C1 xjf .x/j2 D 0) we get for all f 2 Y
2
kAf k2L2 D kf k2L2 C f 0 L2 C kxf k2L2 ;
Consequently, the norms kkY and kkA are equivalent on Y . Therefore the set
Y D D.A/ is complete for the norm kkA . It follows that the operator AW D.A/ !
L2 .R/ is closed. The adjoint of A is the operator A? W D.A?/ ! L2 .R/ with
domain D.A? / D Y and defined by
A? f D f 0 C xf:
This operator is called the creation operator. Now we consider the operator
H WD A? A C I
A? Af D .Af /0 C xA.f / D f 00 C x 2 f f:
Hence,
Hf D f 00 C x 2 f
for all f 2 D.H /. In particular, for all f 2 D.H / such that kf k2L2 D 1 we have
˝ ˛
hHf; f iL2 D A? Af; f L2 C kf k2L2 D kAf k2L2 C 1 1;
therefore the closure of the numerical range ‚.H / is a subset of Œ1; C1Œ. We see
that the set C ‚.H / has just one connected component and the map
8
ˆ
< C ! N [ fC1g
dW
:̂ 7! dim ker H ? I
ker H ? I D f0g
thus d.i / D d.i / D 0, and so d./ D 0 for all 2 C ‚.H /. In other words,
C ‚.H / .H / so we get Spec.H / .H / ‚.H / because the spectrum
of H is discrete. We conclude that
By a simple computation
A; A? f D AA? f A? Af D 2f
for all f 2 D.H /. Next, if a vector ' 2 D.H / satisfies H ' D ' (where is
a scalar), then A' 2 D.H /; A? ' 2 D.H /, and we have
Similarly,
? 2
H.A? '/ D . C 2/A? '; A ' 2 D . C 1/ k'k2 2 :
L L
Now we want to show that Spec.H / f.2n C 1/; n 2 Ng. For the moment we
only know that Spec.H / Œ1; C1Œ. If is an eigenvalue of H in the interval
1; 3Œ, there exist ' ¤ 0 in D.H / such that H ' D ', thus we have
H.A'/ D . 2/A'
and
kA'k2L2 D . 1/ k'k2L2 > 0
hence A' ¤ 0. Consequently, 2 2 Spec.H / therefore 2 2 1; 1Œ, which
is a contradiction. So
Spec.H / f1g [ Œ3; C1Œ:
Using the same argument by induction we get easily that
p 1 x2 2 d
n
2
en .x/ D .2n nŠ / 2 e 2 Hn .x/ with Hn .x/ D .1/nex n
.ex /
dx
(which form a Hilbert basis of the space L2 .R/: for a proof of this fact see, for ex-
ample [Tay] or the notes [Ev-Zw], and for a different method using the Bargmann
transform see the original article of V. Bargmann [Bar] or also in [Tay]).
We have for any n p
A? en D 2n C 2enC1
and p
Aen D 2nen1 ;
so for any n
Hen D .2n C 1/en :
Consequently the spectrum of the operator H is
(i.e., for any 2 TM we have Ric.; / .n 1/ kk2 > 0). Then the first
nonzero eigenvalue ? of g satisfies
? n:
Proof. The equality case is due to Obata. Here we just give a proof for the in-
equality. The proof is based on the Bochner–Lichnerowicz formula (see for exam-
ple [BGM]): for any function ' 2 C 1 .M / it holds that
1
g jrf j2 D jjjHess f jjj2 C rf:rg f C Ric .rf; rf / ;
2
where Hess f is the Hessian matrix of the function f and jjjjjj is the matrix–
operator norm.
Now, let ? be an nonzero eigenvalue of the operator g : there exists a non-
trivial function u such that g u D ? u; and we have (see Proposition 4.5.3)
Z
jruj2 d Vg
? D Z
> 0:
u d Vg
2
1
g jruj2 D jjjHess ujjj2 C ru rg u C Ric .ru; ru/
2
D jjjHess ujjj2 ? ru ru C Ric .ru; ru/
jjjHess ujjj2 ? jruj2 C .n 1/jruj2 :
hence
1 2
0 C ..n 1/ ? / ?
n ?
1
D 2? C n? ? 2? :
n
To finish observe that
? .n 1/ 1
. n ? / D 2? C n? ? 2? ;
n n
and so
? .n 1/
. n ? / 0;
n
hence n ? 0.
Remark 5.2.2. There exist analogous versions of this theorem for the case of com-
pact manifolds with boundary (Dirichlet and Neumann problems).
We present here the Cheeger inequality. Let .M; g/ be a compact connected
Riemannian manifold. For every domain D (D is a bounded regular subset) of
M , consider the quantity
Vol.@D; g/
h.D; g/ D ;
Vol.D; g/
where @D denotes the boundary of D (thus Vol.@D; g/ is the .n 1/-dimensional
volume).
116 Chapter 5. Direct problems in spectral geometry
hold with
1 1 1
R WD ; ;:::; :
2a1 2a2 2an Rn
Indeed, using the triangle inequality for all .x1 ; x2 ; : : : ; xn / 2 B, we have
1 1 1
k.x1 ; x2 ; : : : ; xn /kRn R x1 ˙ ; x2 ˙ ; : : : ; xn ˙
2a1 2a2 2an Rn
k.x1 ; x2 ; : : : ; xn /kRn C R:
Consequently,
p !! p !!
Vol BRn 0; R Vol.P / Vol BRn 0; CR ;
2 2
with p !! p !n
˙ R2
Vol BRn 0; ˙R D Bn
2 2
n
where Bn WD 2
. n
is the volume of the closed unit ball in Rn .
2 C1/
Moreover, since
1 1 1 N ./
Vol.P / D N ./ D ;
a1 a2 an Vol.Tna /
we obtain
Vol.Tna /Bn n
N ./ 2:
!C1 .2/n
h2
g ' D E'
2
admits an eigenvector 'k as solution if and only if we have the scalar relation
h2
k D E:
2
Using the Weyl asymptotics, the series converge uniformly on R?C (see Section
7.5.3). Using this uniform convergence it is clear that the function t 7! ZM .t/ is
continuous and non-increasing on R?C . We have also that
lim ZM .t/ D `;
t !C1
The interest in the spectral partition function is justified by the following result
Proof. Suppose for example, that 0 2 Spec.M; g/, hence e1 D 0. For > 0
consider the function
C1
X C1
X
et ZM .t/ et D mk e.ek /t et D mk e.ek /t
kD1 kD2
if D e2 , then
lim et ZM .t/ et D m2 I
t !C1
Thus e2 is the unique real number > 0 such that the function t 7! et ZM .t/
et has a finite limit as t tends to infinity. Consequently, the function ZM de-
termine the first non-null eigenvalue e2 . By induction, for any integer i 2
considering the expression
i 1
X C1
X
et ZM .t/ mj e.ej /t D mj e.ej /t
j D1 j Di
5.4 Eigenvalues and eigenfunctions of surfaces 121
i 1
X
lim et ZM .t/ mj e.ej /t D 0I
t !C1
j D1
if D ei , then
i 1
X
lim et ZM .t/ mj e.ej /t D mi I
t !C1
j D1
i 1
X
lim et ZM .t/ mj e.ej /t D C1:
t !C1
j D1
Hence, for any integer i the function ZM determines the eigenvalue ei .
The case 0 … Spec.M; g/ is similar.
5.5 Exercises
Exercise 5.5.1. Compute the spectrum of the Laplacian on a rectangular domain
Œ0; a Œ0; b in R2 with Neumann boundary conditions.
Exercise 5.5.2. Consider the operator:
h2
H D e2 r 1
2m
p
with domain H 2 .R3 /, where m; e > 0 and r WD x 2 C y 2 C z 2 . Show that H
is self-adjoint and
me4
Spec.H / D ;n1 :
2h2 n2
5.5 Exercises 123
Exercise 5.5.4. Compute the spectrum of a flat Klein bottle .see in [BGM] page
151/.
Exercise 5.5.5. Prove the Weyl formula for the Laplacian on a rectangular do-
main.
Exercise 5.5.6. Let .M1 ; g1 / and .M2 ; g2 / be two closed Riemannian manifolds.
Find the spectrum and eigenvectors of the product .M1 M2 ; g1 g2 /.
Chapter 6
Intermezzo: “Can one hear the holes
of a drum?”
We have the
Proposition 6.2.2. If the set A is compact, the previous definition of the space
H01 .M A/ coincides with the usual ones .see Section 3.2.2/.
Proof. Let f 2 H01 .M A/ WD H01 .M A/. Then, by definition, for all " 0
there exists g 2 H01 .M A/ such that kf gkH 1 .M / ". Let us show that
we can write g as a limit of a sequence from the space Cc1 .M A/. Since
g 2 H01 .M A/, there exists an open set U A such that gjU D 0. Consider
two open sets U1 and U2 of the manifold M such that
A U1 ; M U U2 ; U1 \ U2 D ;I
and consider also a function ' 2 D .M / such that
'jU1 D 0; 'jU2 D 1:
Obviously, ' belongs to the space Cc1 .M A/. Next, since g 2 H01 .M A/
H 1 .M / and since the set of smooth functions C 1 .M / is dense in H 1 .M /, there
exists a sequence .gn /n in C 1 .M / such that limn!C1 gn D g in the norm
kkH 1 .M / . We claim that limn!C1 'gn D g in the norm kkH 1 .M / . Indeed
for any n we have
k'gn gk2H 1 .M / kgn gk2H 1 .M U / C k'gn gk2H 1 .U /
kgn gk2H 1 .M / C k'gn gk2H 1 .U / :
Next, note that for any n
k'gn gk2H 1 .U / D k'gn k2H 1 .U /
Z Z
D j'gn j d Vg C
2
jr'gn C 'rgn j2 d Vg
ZU
ZU
Z
j'gn j d Vg C
2
jr'gn j d Vg C
2
j'rgn j2 d Vg
U
Z U U
C2 jr'gn 'rgn j d Vg
U
k'k1 kgn k2L2 .U /
2
C kr'k2L1 .M / kgn k2L2 .U /
Z
C k'k21 krgn k2L2 .U / C 2 kr'k1 k'k1 jgn rgn j d Vg
U
k'k21 kgn k2L2 .U / C kr'k21 kgn k2L2 .U /
C k'k21 krgn k2L2 .U /
C 2 kr'k1 k'kL1 .M / kgn kL2 .U / krgn kL2 .U /
thanks to the Cauchy–Schwarz inequality.
128 Chapter 6. Intermezzo: “Can one hear the holes of a drum?”
Therefore,
and ˚
SA .M / WD u 2 H?1 .M /I u 1 2 H01 .M A/ ;
R
respectively. In the definition of the space H?1 .M / the condition M f d Vg D 0
is analogous to a boundary condition.
Note that H?1 .M / is a Hilbert space for the norm
Z
2 2
kuk? WD kukH 1 D jruj2 d Vg
0 M
Indeed, here the capacity cap.A/ is just the distance between the function 0 and the
closed space SA .M /. This distance is equal to kuA k2? , where uA is the orthogonal
projection of 0 on SA .M /:
n o
cap.A/ D d? .0; SA .M // WD inf kuk2? I u 2 SA .M / D kuA k2? :
The following lemma establishes the relationships between the capacity cap.A/,
the function uA , and the Sobolev spaces H01 .M A/; H 1 .M /.
Lemma 6.3.2. For subset A of the manifold M , the following properties are
equivalent
(i) cap.A/ D 0;
(ii) uA D 0;
(iii) 1 2 H01 .M A/;
(iv) H01 .M A/ D H 1 .M /.
Proof. It is clear from the formula (6.1) that .i/ , .ii/ , .iii/.
Next, suppose that (iii) holds. Hence, there exists a sequence .vn /n H01 .M
N
A/ such that limn!C1 vn D 1 in the norm kkH 1 .M / . So, for any smooth func-
tion ' 2 C 1 .M / we have limn!C1 'vn D ' in the norm kkH 1 .M / ; indeed, for
any integer n
Z Z
k'vn 'k2H 1 .M / D j'vn 'j2 d Vg C jr .'vn / r'j2 d Vg :
M M
Therefore, for any ' 2 C 1 .M / we have limn!C1 'vn D ' in the norm kkH 1 .M / .
Next, since C 1 .M / is dense in H 1 .M /, for any function f 2 H 1 .M / we
have limn!C1 f vn D f . Since the sequence .'vn /n H01 .M A/N we con-
clude that f belongs to space H01 .M A/.
Finally, it is easy to see that .iv/ ) .iii/.
An obvious consequence of this lemma is the following result:
Z M
2
jruA j d Vg
MZ
:
u2A d Vg
M
Theorem (Courtois, 1995). Let .M; g/ be a closed Riemannian manifold. For any
integer k 1, there exists a constant Ck depending on the manifold of .M; g/,
such that for any subset A of M we have
p
0 k .M A/ k .M / Ck cap.A/:
Proof. Let us denote by .ek /k1 an orthonormal eigenbasis (for the operator g
on the closed manifold .M; g/) of the space L2 .M /. For any integer k 1; we
consider the sets
First, observe that Ek H01 .M A/. For all j 2 f1; : : : ; kg we introduce also
the functions
j WD ej .1 uA / 2 Ek :
˝ ˛
Step 1: we compute the L2 -inner product i ; j L2 .M / for any pair .i; j / 2
f1; : : : ; kg2 : Z
˝ ˛
i ; j L2 .M / D ei ej .1 uA /2 d Vg
M
Z Z
D ıi;j 2 ei ej uA d Vg C ei ej u2A d Vg :
M M
where (and for the same reasons as for Bk ) for all integer k, the constant Dk
depends only on M , i.e., Dk D Dk .M /.
Step 2: Take D f .1 uA / 2 Ek , with f 2 Fk . Without loss generality
we can assume that kf kL2 .M / D 1, indeed, we have R./ D R kf k 2 and
L .M /
6.4 A detailed proof of the main Theorem 6.1.1 133
in our context we are interested in the Rayleigh quotient of (see the end of the
final step of the proof).
We have
Z Z
2
jrj d Vg D jrf r .f uA /j2 d Vg
M
ZM
Z
2
D jrf j d Vg C jrf uA C f ruA j2 d Vg
M
Z M
2 rf r .f uA / d Vg
Z M
Z Z
D jrf j2 d Vg C jrf uA j2 d Vg C jf ruA j2 d Vg
M
Z M
Z M
C2 rf ruA f uA d Vg 2 jrf j uA d Vg
2
Z M M
2 rf ruA f d Vg
Z M
Z Z
D jrf j2 d Vg C jrf uA j2 d Vg C jf duA j2 d Vg
M
Z M
Z M
2 jrf j uA d Vg 2
2
rf ruA f .1 uA / d Vg :
M M
Hence
Z Z Z Z
2 2 2
jrj d Vg D jrf j d Vg C jrf uA j d Vg C jf ruA j2 d Vg
M
„M
ƒ‚ … „ M
ƒ‚ … „ M
ƒ‚ …
WDA.f / WDB.f / WDC.f /
Z Z
2 jrf j2 uA d Vg 2 rf ruA f .1 uA / d Vg :
„M
ƒ‚ … „M
ƒ‚ …
WDD.f / WDE.f /
R
Estimate of A.f / WD M jrf j2 d Vg 0. Since f 2 Fk we can write f D
Pk Pk
i D1 ˛i ei where .˛i /1i k 2 R with i D1 ˛i D 1 (since kf kL2 .M / D 1),
k 2
and so
* k +
X Xk X ˝ ˛
A.f / D ˛j rej ; ˛i rei D ˛i ˛j rej ; rei L2 .M /
j D1 i D1 L2 .M / i;j
X ˝ ˛ X ˝ ˛
D ˛i ˛j ej ; g ei L2 .M /
D ˛i ˛j ej ; g ei L2 .M /
i;j i;j
X ˝ ˛ X
k
D ˛i ˛j i .M / ej ; ei L2 .M / D ˛i2 i .M / k .M /:
i;j i D1
134 Chapter 6. Intermezzo: “Can one hear the holes of a drum?”
Hence, for any integer k, and for any function f 2 Fk such that kf kL2 .M / D 1
we have
0 A.f / k .M /:
R
Estimate of B.f / WD M jrf uA j2 d Vg . We get B.f / krf k21 kuA k2L2 .M /
and, with the Poincaré inequality
cap.A/
kuA k2L2 .M /
2 .M /
we deduce that for any k and any function f 2 Fk such that kf kL2 .M / D 1 we
have
0 B.f / Ek cap.A/
where Ek D Ek .e2 ; 2 .M // > 0. Moreover, since the eigenfunction e2 and
the eigenvalue 2 .M / depend only on .M; g/, for any integer k the constant Ek
depend only on .M; g/, i.e., Ek D Ek .M /. R
Estimate of C.f /. The term C.f / is equal to M jf ruA j2 d Vg . We have
so, since kruA k2L2 .M / cap.A/, for any k and any function f 2 Fk such that
kf kL2 .M / D 1, it holds that
0 C.f / Fk cap.A/;
where (and for the same reasons as in the estimation of C.f /, see the constant
Fk ) for any k, the constant Gk depends onlyRon M , i.e., Gk D Gk .M /.
Estimate of jE.f /j: recall that E.f / D M rf ruA f .1 uA / d Vg , hence
Z Z
jE.f /j jrf ruA j jf j d Vg C jrf ruA j jf uA j d Vg :
M M
where (for the same reasons as above), for any integer k, the constant Hk depends
only on M , i.e., Hk D Hk .M /.
Next, for the second term we have
Z
jrf ruA j jf uA j d Vg krf k1 kf k1 kruA kL2 .M / kuA kL2 .M /
M
s
cap.A/ p
krf k1 kf k1 Hk cap.A/
2 .M /
0
Hk;M cap.A/;
where (for the same reasons as above), for any integer k, the constant Hk depends
only on M , i.e., Hk0 D Hk .M /.
So, for any integer k we get
00
p
jE.f /j Hk;M cap.A/ C cap.A/ ;
Step 3: Now we claim that for any A M such that cap.A/ "k and any
function 2 Ek , p
0
kk2L2 .M / 1 Jk;M cap.A/;
0 0 0
where, for any k, the constant Jk;M depend only on M , i.e., Jk;M D Jk;M .M /.
Indeed, let 2 Ek . We have seen above in Step 1 that
P
Hence, since 2 Ek , we can write D .1 uA /f with f D kiD1 ˛i ei , where
.˛i /1i k 2 Rk . As in the Step 2, we can assume that kf kL2 .M / D 1, and so
Pk 2
i D1 ˛i D 1. Next, we compute kkL2 .M / :
2
k 2 k 2
X X
kk2L2 .M / D .1 uA / ˛i ei D ˛i i
i D1 L2 .M / i D1 L2 .M /
X
k X
k
˝ ˛
D ˛i2 ki k2L2 .M / C ˛i ˛j i ; j L2 .M / :
i D1 i;j D1; i ¤j
Since
X
k X
k Z Z
˛i2 ki k2L2 .M / D ˛i2 1 2 ei2 uA d Vg C ei2 u2A d Vg
i D1 i D1 M M
X
k Z Z
D1 2
˛i 2 ei2 uA d Vg ei2 u2A d Vg
i D1 M M
X
k Z
D1 ˛i2 ei2 2uA u2A d Vg ;
i D1 M
we obtain
X
k Z X
k
˝ ˛
kk2L2 .M / D 1 ˛i2 ei2 2uA u2A d Vg C ˛i ˛j i ; j L2 .M / :
i D1 M
i;j D1; i ¤j
hence, since all the .˛i /1i k are bounded in R, for cap.A/ small enough we can
0
find a constant Bk;M which depends only on M , i.e., Bk0 D Bk0 .M / such that, for
cap.A/ small enough
ˇ ˇ
ˇ ˇ
ˇ X k
˝ ˛ ˇ p
ˇ ˛i ˛j i ; j L2 .M / ˇˇ Bk0 cap.A/:
ˇ
ˇi;j D1; i ¤j ˇ
Finally, in the same spirit as in the estimations in Step 2, there exists a constant
00
Bk;M which depend only on M , i.e., Bk00 D Bk00 .M / such that, for cap.A/ small
enough ˇ k ˇ
ˇX Z ˇ p
ˇ ˇ
ˇ 2
˛i ei 2uA uA d Vg ˇ Bk00 cap.A/:
2 2
ˇ M ˇ
i D1
It follows that, p
kk2L2 .M / 1 Bk000 cap.A/;
where the constant Bk000 depend only on M , i.e., Bk000 WD Bk000 .M /.
Final step: By Steps 2 and 3, for any function 2 Ek we get
Z
p
jrj2 d Vg k .M / C Ik cap.A/ C cap.A/
MZ p :
000
d Vg
2 1 B k
cap.A/
M
Hence, for cap.A/ small enough (i.e., cap.A/ "k ),
Z
jrj2 d Vg p
MZ k .M / C Lk cap.A/;
2 d Vg
M
where Lk WD Lk .M /. Next, since for any k 1
Z
jr'j2 d Vg
k .M A/ D min max Z
M
E H01 .M A/ '2E
dim.E /Dk '¤0 ' 2 d Vg
M
This chapter is devoted to inverse problems. First we present a brief historical re-
view of inverse problems, next we give a proof of Milnor’s counter-example, and
then we explain the notion of heat kernel and its applications to spectral inverse
problems. We also provide a detailed example of isospectral but non-isometric do-
mains in the plane R2 . We conclude this chapter with some elements of conformal
geometry, including some recent results in Riemannian geometry.
the set of lengths of closed geodesics1 on .M; g/ counted with multiplicities (the
multiplicity of a length is the number of free homotopy classes of closed curves
containing a geodesic of the given length). In 1973 Y. Colin de Verdière [Col1],
[Col2] showed that, in the compact case, up to a generic hypothesis (which it
always satisfied in the case of negative sectional curvature), the spectrum of the
Laplacian determines the length spectrum. Colin de Verdière’s proof is based on
trace formulas. More generally, trace formulas are useful tools in the analysis of
PDE, in spectral theory, mathematical physics, etc. . . .
The formal principle of trace formulas is the following. Consider an unboun-
ded linear operator H on a Hilbert space and suppose the spectrum of H is dis-
crete:
Spec.H / D fk ; k 1g :
Let f be a “nice” function. The principle is to compute the trace of the operator
f .H / in two ways:
the first: using the eigenvalues of the linear operator f .H /:
X
trace.f .H // D f .k /;
k1
However, the major difficulty with this method is to find the “good” choice for the
function f . Some of the usual choices are
f .x/ D ext , where t 0 (heat function);
f .x/ D 1
xs
, where s 2 C such that Re.s/ > 1 (Riemann Zêta function);
i tx
f .x/ D e h , where t 0 (Schrödinger function).
1 Note that geodesics are trajectories associated to the dynamics of classical Hamiltonian flow of H D
g (geodesic flow) in the phase plane, identified with the cotangent bundle T ? M .
7.2 Length spectrum and trace formulas 141
The simplest example of exact trace formula is the Poisson summation formula
for a lattice of Rn .
Recall that for any f 2 S .Rn / the Poisson summation formula reads
X 1 X
f .k/ D b.`/;
f
Vol ./ ?
k2 `2
where Z
b.y/ WD
f f .t/e2i hy;t i dt
Rn
is the Fourier transform of the function f . A classical calculation shows that the
Fourier transform of the function
2
f .x/ D e˛kxk
for x 2 Rn , where ˛ > 0, is given for all y 2 Rn by
n2
b 2 kyk2
f .y/ D e ˛ :
˛
2 2
Now, applying Poisson’s formula to f .x/ D e4 t kxk , where t > 0 we get
X 2 2 1 X kyk2
e4 t kxk D n e 4t :
x2
Vol./.4 t/ 2 y2 ?
Further, since the distance between the origin and a point of the lattice is exactly
the length of a periodic geodesic on the flat torus, we get the equality
X Vol./ X `2
et D n e 4t ;
2Spec.;can/
.4 t/ 2
`2†
142 Chapter 7. Inverse problems in spectral geometry
where † is the length spectrum. In this last equality on the right-hand side we
have the geometric information (dimension, volume, . . . ) and on the left-hand
side we have spectral information. For a recent reference on trace formulas, see
the paper of Y. Colin de Verdière [Col3].
Theorem 7.3.1 (Milnor, 1964). There exist two lattices and 0 of R16 such that
the associated tori T16 ./ and T16 . 0 / are isospectral, but not isometric.
To prove this theorem we consider for any integer n 2 8N the following sub-
lattice of Zn of index 2:
8 9
< X
n =
2 WD .x1 ; x2 ; : : : ; xn / 2 Zn I xj 2 2Z
: ;
j D1
because n 2 8Z.
Finally, if y D x C ˛!n with ˛ 2 Z; x D .x1 ; x2 ; : : : ; xn / 2 2
1X
n
hx; !n i D xi 2 Z
2
j D1
thus
kyk2 D kxk2 C ˛ 2 k!n k2 C 2˛ hx; !n i 2 2Z:
The second lemma is
claim that ˝ ˛
y; y 0 2 Z;
and consequently y 0 2 ? .n/. Indeed,
˝ ˛ ˝ ˛ ˝ ˛
y; y 0 D x; x 0 C kk 0 h!n ; !n i C k 0 hx; !n i C k x 0 ; !n :
Here it is clear that hx; x 0 i 2 Z, and
X
n
1 n
h!n ; !n i D k!n k2 D D 2Z
4 4
j D1
Proposition 7.3.3. The lattices .16/ and .8/ ˚ .8/ are non-isometric, there-
fore the associated tori are also non-isometric.
the family
G WD fe1 e8 ; e2 e8 ; : : : ; e7 e8 ; e1 C e2 ; e3 C e4 ; e5 C e6 ; !8 g
p
generates the lattice .8/. Here the norm of every vectors from G is equal to 2.
pother hand, the lattice .16/ cannot be generated by vectors
On the
P16
with norm
equal to 2; indeed, every element of .16/ can be expressed as j D1 ai ei or
P16
j D1 ai C 2 ei , with .a1 ; a2 ; : : : ; an / 2 2 . So a generator system of .16/
1
P
admits necessarily elements of second type, and for x WD 16 j D1 ai C 2 ei such
1
a vector we have
1X
16
2 16
kxk D .2ai C 1/2 D 4;
4 4
j D1
with norm equal to 2 and the lattice .16/ is not, consequently .8/ ˚ .8/ and
.16/ cannot be isometric.
To finish, prove
Proposition 7.3.4. The tori associated to the lattices .16/ and .8/ ˚ .8/ are
isospectral.
defined for t > 0. Note that for all t > 0, the formula (7.1) yields
X X
t t 2
Z D e 4 D et kxk D .t/
4 ?
2Spec.;can/ x2
7.3 Milnor’s counterexample 145
thus the theta function determines the spectrum of (because the spectral partition
function Z determine the spectrum of , see Proposition 5.3.2).
Next, the trick here is to consider the function
2
f .y/ D ekyk :
Then, for all x we get
b.x/ D ekxk2 :
f
p
Consider the lattice t WD t, where t > 0 and is a lattice of Rn such that
? D (hence Vol./ D 1/ and such that for all x 2 we have kxk2 2 2Z.
Applying the Poisson summation formula2 to f and the lattice t , we get for all
t >0
X 2 1 X 2
ekxk D ek`k :
Vol .t / ?
x2t `2t
Since t? D 1
p
t
?, we further have
X 2 1 X k`k2
et kxk D n e t :
x2
t Vol./ `2 ?
2
Therefore,
X 2 1X k`k2
et kxk D n e t ;
x2
t 2
`2
i.e.,
1 1
.t/ D n ;
t2 t
where the function is defined for all z 2 C such that Re.z/ > 0 by the same
formula X 2
.z/ WD ezkxk
x2
admits a holomorphic extension to H WD fz 2 CI Re.z/ > 0g, the half-plane
H is invariant under the mapping z 7! 1z and the function
1 1
'W z 7! .z/ n
z 2 z
is holomorphic on H (here n 2 8N). Next, since ' vanishes on the real positive
axis R?C , the function ' vanishes on the whole H, so for all z 2 H we have
1 1
.z/ D n :
z2 z
2 Based on the theory of Fourier series; for a proof see for example [BGM].
146 Chapter 7. Inverse problems in spectral geometry
D 0
therefore the tori .16/ and .8/˚.8/ are isospectral (because the theta function
determines the spectrum, see Proposition 5.3.2).
In dimension two and three the spectrum of the Laplacian characterizes a flat
torus. This is no longer true for dimension n 4: there exists isospectral but
non-isometric tori. In the general case, for a given flat torus the number of flat tori
with the same spectrum is finite and an upper bound of this number is known.
graph into the manifold and tending the N first eigenvalues of the manifold to
the spectrum of the graph; the final step if based on the Arnold’s transversality
argument.
U.t/ D et g
:
The generator of this semi-group is the operator g . Consider the function
u.x; t/ WD U.t/u0 .x/:
Then
du
D g u.t/
dt
and
u.x; 0/ D U.0/u0 .x/ D u0 .x/:
Finally, the function u.x; t/ D et g u0 .x/ is a solution of the heat equation. By
the bounded functional calculus, for any t 0 and for any integer k we also have
t g
e ek D et k ek ;
148 Chapter 7. Inverse problems in spectral geometry
such that for all y 2 M the function .x; t/ 7! E.x; y; t/ is a solution of the heat
equation and for all x 2 M and every test function ' 2 D .M / we have the initial
data condition Z
lim E.x; y; t/'.y/ d Vg .y/ D '.x/:
t !0C M
7.5 Heat kernel and spectral geometry 149
The theory of the heat kernel has many applications, for example
in physics: from a physical point of view, the heat kernel is very impor-
tant for understanding the space–time behaviour of the heat conduction in
a material. Indeed, for an initial heat data at time t D 0 given by a Dirac
distribution at the point y, the real number E.x; y; t/ is the temperature
after time t > 0 at the point x.
In analysis: for example, the heat kernel is an analytic tool which is very
useful in the theory of function spaces (Hölder spaces, BMO spaces . . . ).
In particular, the heat kernel is used for approximation of functions (see for
example [Bu-Be], [Tri]).
In spectral theory: the heat kernel can be used to build approximations of
spectral projectors (see [Dav], [Dav2], [Kat], [Re-Si]).
In geometry: one example of interaction between the heat kernel and the
geometry of a compact manifold .M; g/ is the famous Varadhan’s formula
[Var]: for x; y close enough,
2
dM .x; y/
lim t log E.x; y; t/ D ;
t !0C 4
where E.x; y; t/ is the heat kernel of .M; g/ and dM .x; y/ is the Rieman-
nian distance between x and y. Let us give another example in geometry.
In the article [BBG] P. Bérard, G. Besson and S. Gallot use the heat ker-
nel and a finite number of eigenfunctions of g in order to embed3 every
compact Riemannian manifold in the usual following Hilbert space
( C1
)
X
`2 .R/ WD .an /n 2 RN I jan j2 < C1 :
nD0
For a more complete introduction to heat kernel theory, see for example [Dav],
[Ya-Sc], [BGV], [Gri] and for some application see also the article [SaC].
Definition 7.5.2. The heat kernel (or fundamental solution) of the heat equation
on a closed Riemannian manifold .M; g/ is a function:
8
< M M RC ! R
E W
: .x; y; t/ 7! E.x; y; t/
such that:
(i) E is C 0 in the three variables .x; y; t/; E is C 2 in the second variable y and
C 1 in the third variable t.
(ii) For all .x; y; t/ 2 M 2 RC ,
@E
.x; y; t/ D g;y E.x; y; t/;
@t
where g;y is the Laplacian for the second variable y; in other words,
for all y 2 M the function .x; t/ 7! E.x; y; t/ is a solution of the heat
equation.
(iii) For all x 2 M ,
E.x; ; t/ * ıx
in D 0 .M / when t ! 0C .
Remark 7.5.3. Item (iii) of this definition means that for all x 2 M and for all
' 2 D .M / we have
lim hE.x; ; t/; 'iD0 .M /D.M / D hıx ; 'iD0 .M /D.M / ;
t !0C
Since the manifold is compact, for every fixed y 2 M we have existence and
uniqueness of a such function E (for the construction see [BGM] or [Cha2]). We
call this solution the heat kernel of M .
Example 7.5.4. In the Euclidean case M D Rn with g D can, the heat kernel is
given by the expression
1 d 2 .x;y/
E.x; y; t/ D n e 4t ;
.4 t/ 2
Now, let us focus on the link between the heat kernel and the spectrum of the
Laplacian. First, formally4 , consider the function E W M 2 RC ! R defined by
C1
X
E .x; y; t/ WD et k ek .x/ek .y/:
kD0
We have
C1
X C1
X
g;y E .x; y; t/ D et k ek .x/g;y ek .y/ D k et k ek .x/ek .y/:
kD0 kD0
so we get
Z C1
X
lim E .x; y; t/'.y/ d Vg .y/ D ek .x/ h'; ek iL2 D '.x/:
t !0C M
kD0
4
Here, we suppose that all objects are well defined.
152 Chapter 7. Inverse problems in spectral geometry
Theorem 7.5.5. If we denote by E the heat kernel of .M; g/, then the series of
functions
X
.x; y; t/ 7! et k ek .x/ek .y/
k0
converges uniformly and absolutely on M M Œ"; C1Œ and the limit is equal
to E.x; y; t/.
For all t > 0, the associated integral kernel is .x; y/ 7! E.x; y; t/. Since for all
t > 0 the function .x; y/ 7! E.x; y; t/ is continuous on the compact manifold
.M; g/, it belongs to the space L2 .M M /, so for all t > 0 the map Pt is well
defined and is a compact operator.
An important fact is that for all ' 2 L2 .M /, the function Pt .'/ is a solution
of the heat equation.
Next, observe that for all .'; / 2 L2 .M / and for all t > 0 we have
so we can apply Fubini’s theorem and get that for all t > 0
Z
hPt '; iL2 D Pt '.x/ .x/ d Vg .x/
M
Z Z
D E.x; y; t/'.y/ d Vg .y/ .x/ d Vg .x/
M M
Z Z
D E.x; y; t/'.y/ .x/ Vg .y/d Vg .x/
M M
7.5 Heat kernel and spectral geometry 153
Z Z
D E.x; y; t/ .x/ d Vg .x/ '.y/ d Vg .y/
ZM M
and so
Z
.Pt ı Ps / ' D E.x; y; t/ .Ps '/ .y/ d Vg .y/
M
Z Z
D E.x; y; t/ E.y; z; s/'.z/ d Vg .z/ d Vg .y/
ZM Z M
Thus, for all t > 0, Pt is bounded, compact, self-adjoint and positive operator.
Hence there exists a Hilbert basis .k .t//k0 of L2 .M / consisting of eigenvectors
of Pt with corresponding eigenvalues k .t/ (see Theorem 2.5.6), i.e.,
Pt k .t/ D k .t/k .t/:
Moreover, for all t > 0 we have
0 .t/ 1 .t/ k .t/ 0
and k .t/ ! 0 as k ! C1.
154 Chapter 7. Inverse problems in spectral geometry
Hence, the real valued function t 7! kPt 'k2L2 is non-increasing on 0; C1Œ.
Since for all t > 0 and for all ' 2 D .M /
Z
Pt .'/.x/ D E.x; y; t/'.y/ d Vg .y/;
M
we have that
Z
lim Pt .'/.x/ D lim E.x; y; t/'.y/ d Vg .y/ D '.x/
t !0C t !0C M
for all ' 2 D .M / and for all t > 0. Consequently, by the density of D .M / in
L2 .M /, for all ' 2 L2 .M /, we have
Now, for any integer k 0, let us consider the functions k WD k .1/ and k WD
k .1/, so we have
P1 k D k k :
Consequently, for any integer n we have
This implies that Pr k D rk k for any rational number. Since Q is dense in R
and since the functions t 7! Pt k and t 7! tk k are continuous on 0; C1Œ we
get by density that for all t > 0
Pt k D tk k D et ln k k :
7.5 Heat kernel and spectral geometry 155
Here, for any k 0 we have k > 0. Indeed, suppose k D 0. Since the function
k is non-trivial and since
lim Pt k D k
t !0C
and
lim Pt k D lim tk k
t !0C t !0C
we get a contradiction, so k > 0.
If we denote ˛k WD ln k , i.e., k WD e˛k , then
Pt k D tk k D e˛k t k ;
so we get kPt k kL2 D e˛k t k L2 D e˛k t kk kL2 : Since kPt k kL2 <
kk kL2 we deduce that ˛k > 0 for any k.
Now, for any fixed " > 0 we can apply Mercer’s theorem (see, for example,
[Hoc]) to the operator P1 to conclude that the series of functions
X
.x; y; t/ 7! et ˛k k .x/k .y/
k0
converges uniformly and absolutely on M M Œ"; C1Œ and the limit is equal
to E.
To complete the proof, we show that for any k, ˛k D k and k D ek . Indeed,
for any k
Pt k D e˛k t k
and since the function Pt k is a solution of the heat equation we get
@ ˛k t
e k .x/ D g e˛k t k .x/;
@t
i.e.,
˛k e˛k t k .x/ D e˛k t g .k / .x/;
whence
g k D ˛k k :
Remark 7.5.6. In fact the family fPt gt 0 is a non-negative semi-group of bounded
operators and coincides with U.t/ WD et g :
To finish, we sketch the construction of the heat kernel (for technical details
see [BGM], [Cha2]). It is based on the heat kernel G of Rn with the canonical
metric can:
1 kxyk
2
G.x; y; t/ D n e
4t :
.4 t/ 2
In fact, we regard G as the first-order approximation for the heat kernel of a Rie-
mannian manifold M . Now, we want to construct the second-order approximation
156 Chapter 7. Inverse problems in spectral geometry
X
N
HN .x; y; t/ WD G.x; y; t/ t k uk .x; y/;
kD0
where for any integer 0 k N , uk 2 C 1 .Ur / and is such that for all x 2 M
u0 .x; x/ D 1
and
Ly HN .x; y; t/ D G.x; y; t/t N g;y uN .x; y/;
where Ly WD g;y @t@ . This function is an approximation of the heat kernel, but
is defined only on the open set Ur . We want to extend this solution to M M . To
this end we introduce a smooth radial function W M M ! R such that
ˇ
ˇ 1 if d.x; y/ < r
ˇ 4
.x; y/ D ˇˇ
ˇ 0 if d.x; y/ > r :
2
1 1
uk .x; y/ D p
.x; y/ d.x; y/k
Z 1
t k1 x; expx .t exp1 1
x y/ g;y uk1 x; expx .t expx y/ dt;
0
where p
det g
.x; y/ WD :
d.x; y/n1
@
5A parametrix of a function Ly D g;y @t is a function H such that (see [BGM]):
(i) H is continuous on M M 0; C1Œ;
(ii) Ly H admit a continuous continuation to M M Œ0; C1Œ;
(iii) limt!0C H.x; ; t / D ıx for all x 2 M .
7.5 Heat kernel and spectral geometry 157
C1
X ?k
H D Ly SN :
kD1
Therefore,
C1
X ?k
E.x; y; t/ D SN C SN ? Ly SN :
kD1
P ?k
Moreover, the function C1
kD1 Ly SN is m C ` times differentiable on M
M 0; C1Œ, where 2` C m < N n2 . More precisely, the series of functions
C1
X @` m ?k
`
@y Ly SN
@t
kD1
Finally,
C1 C1
@` m X ?k X @` ?k
`
@y Ly SN D `
@m
y Ly SN D O t N 2n2`mC1 ;
@t @t
kD1 kD1
PC1 ?k
if we denote QN .x; y; t/ WD SN ? kD1 Ly SN we get
X
N
E.x; y; t/ D G.x; y; t/ t k .x; y/uk .x; y/ C QN .x; y; t/;
kD0
with
n
QN .x; y; t/ D O t N 2 1
uniformly in .x; y/ 2 M M.
is convergent and its limit is equal to E.x; x; t/. Consequently, for all t 2 Œ"; C1Œ
Z Z C1
X
E.x; x; t/ d Vg .x/ D et k ek2 .x/ d Vg .x/
M M
kD1
C1
X Z
D et k ek2 .x/ d Vg .x/;
M
kD1
C1
X C1
X
et k kek k2L2 D et k :
kD1 kD1
where the functions x 7! uk .x; x/ are smooth on M and depend only on the
curvature tensor and its covariant derivatives.
then
C1
X 1
ZM .t/ D et k n a0 C a1 t C C ak t k C ;
t !0C .4 t/ 2
kD1
1 X
N
n
ZM .t/ D n ak t k C O t N 2 C1 :
.4 t/ 2
kD0
@
@
@ B
@
@
Here A; B, and are labels for pieces of the boundary. Consider also the following
graphs:
2 A 1
A B A B A
1 7 6 5 4@ 3 4 2 7 6@
B@@ B@@
3 5
where the integers f1; 2; : : : ; 7g on the vertices are labels for bricks and A; B;
are labels for edges. Using seven bricks Pi , i 2 f1; 2; : : : ; 7g and following com-
binatorial the first graph, we glue the bricks along the labeled edges. For example:
we glue bricks P1 and P7 along the boundary A, we glue bricks P7 and P6 along
the boundary B, etc. . . . Using this we obtain the following planar domain D1 :
162 Chapter 7. Inverse problems in spectral geometry
@
@
2 4 BB 3 @
@
@
A
A
6
B
B
1 7
@
@
@ AA
@
@
Carrying out the same type of construction with the second graph, we get
another planar domain D2 .
7.7 Two planar isospectral nonisometric domains 163
@
AA 7 6 AA 1 @@
@@
2
B B
B B
5
@
4 3 @
@
@@
where
8 8
ˆ x 1 jA D x 7 jA ˆ x 4 j D x 3 j
ˆ
ˆ ˆ
ˆ
ˆ
ˆ x j D x 6 jB ˆ
ˆ x j D x 2 jB
< 7B < 4B
x 6 j D x 5 j x 2 jA D x 7 jA
.?/1 W and .?/2 W
ˆ
ˆ x 5 jA D x 4 jA ˆ
ˆ x 7 j D x 6 j
ˆ
ˆ x 4 j D x 2 j ˆ
ˆ x 6 jB D x 5 jB
:̂ :̂
x 4 jB D x 3 jB x 6 jA D x 1 jA
and xi jZ denotes the restriction of the function xi to the domain Z 2 fA; B; g.
Now consider the maps j ; j 2 f1; 2g:
8
ˆ
ˆ L2 Dj ! Xj
ˆ
ˆ
ˆ
< 0 1 0 1
j W '1 'jP1
ˆ
ˆ B : C B : C
ˆ ' 7! j .'/ WD @ :: A WD @ :: A :
ˆ
:̂ '7 'jP7
X
7
X
7
kT'k2L2 .D2 / D T'jP 2 2 D k 2
k kL2 .Pk /
k L .P k/
kD1 kD1
Z Z
D kT 1 .'/k2R7 d Vg D k1 .'/k2R7 d Vg D k'k2L2 .D1 / :
D1 D1
Similarly,
krT'k2L2 .D2 / D kr'k2L2 .D1 /
for all ' 2 H 1 .D1 /. To finish one can easily verify the equivalence
and
krT'k2L2 .D2 / D kr'k2L2 .D1 /
166 Chapter 7. Inverse problems in spectral geometry
for all ' 2 H 1 .D1 / (see the previous proof), using the minimax principle we get
for each integer k
kr k2L2 .D2 /
k .D2 / D min max
E H 1 .D2 / 2E k k2L2 .D2 /
dim.E /Dk ¤0
krT'k2L2 .D2 /
D min max
E H 1 .D1 / '2E kT'k2L2 .D2 /
dim.E /Dk '¤0
kr'k2L2 .D1 /
D min max D k .D1 /:
E H 1 .D1 / '2E k'k2L2 .D1 /
dim.E /Dk '¤0
]g0 X; Y D]e
g X; Y
for all x 2 M and for all vectors X; Y 2 Tx M . In fact the geometries of .M; g0 /
and .M;e g / are the sames up to a change of scale.
When we change the initial metric g0 to another conformal metric g the cur-
vature changes according to the Gaussian curvature equation:
One of the main questions in conformal geometry is: given a closed surface M
with a fixed metric g0 and for a smooth function KW M ! R, does there exist a
conformal metric e g D K? In other words, does there exist a smooth
g such that Ke
function u such that
g0 u C Kg0 D Ke2u ‹
The answer is yes: using complex analysis, A. Weil solved this problem for Rie-
mann surfaces.
n C n;
n!C1
where
4 2
C WD > 0;
B2 Vol.M; g/
168 Chapter 7. Inverse problems in spectral geometry
P PC1 1
we see that the series C1 1
nD1 sn and nD1 ns have the same nature. The series
PC1 1
nD1 ns is the usual Riemann function which is convergent for all s 2 C such
P
that Re.s/ > 1. So the series g0 .s/ WD C1 1
nD1 sn is well defined and convergent
for all s 2 C such that Re.s/ > 1.
Now we shall prove that the function g0 admits a meromorphic continuation
to C with a simple pole at s D 1. First recall that the Euler Gamma function
Z C1
.s/ WD et t s1 dt
0
converges for all s 2 C such that Re.s/ > 0. Moreover, for all s 2 C in the
indicated range,
1 nŠns
D lim :
.s/ n!C1 s.s C 1/.s C 2/ .s C n/
The function admits a meromorphic continuation to C n f0; 1; 2; : : :g with
simple poles at s D 0; 1; 2; : : : . By changing variables we have for all x > 0
Z C1
1 1
D ext t s1 dt:
xs .s/ 0
Therefore, for all s 2 C such that Re.s/ > 1 we get
C1
X Z C1
1
g0 .s/ D en t t s1 dt
nD1
.s/ 0
Z C1 C1 !
1 X
n t
D e t s1 dt
.s/ 0 nD1
Z C1
1
D .ZM .t/ 1/ t s1 dt
.s/ 0
because 0 D 0. Thus,
Z 1 Z C1
1 1
g0 .s/ D .ZM .t/ 1/ t s1 dt C .ZM .t/ 1/ t s1 dt:
.s/ 0 .s/ 1
We start by studying the first integral. Using Remark 7.6.2, we have for all s 2 C
such that Re.s/ > 1
Z 1
1
.ZM .t/ 1/ t s1 dt
.s/ 0
Z 1 Z
1 Vol.M; g/ .M / t
D C C K 2 d Vg CP .t/t 2 1 t s1 dt
.s/ 0 4 t 6 60 M
7.8 Few words about Laplacian and conformal geometry 169
Z 1 Z
1 Vol.M; g/ .M / t
D C C K d Vg 1 t s1 dt
2
.s/ 0 4 t 6 60 M
Z 1
1
C P .t/t sC1 dt:
.s/ 0
Z 1
The function s 7! .s/
1
P .t/t sC1 dt is holomorphic for Re.s/ > 2 and
0
Z 1 Z
1 Vol.M; g/ .M / t
C C K d Vg 1 t s1 dt
2
.s/ 0 4 t 6 60 M
s1 Z t D1
1 t Vol.M; g/ .M /t s t sC1 ts
D C C K d Vg
2
:
.s/ s 1 4 6s 60.s C 1/ M s t D0
This quantity converges for all s 2 C such that Re.s/ > 1 and has a meromorphic
continuation to C with a simple pole in s D 1 (this follows from the relation
.s/ D limn!C1 s.sC1/.sC2/ nŠns
.sCn/
).
To finish, let us study the second integral. For all s 2 C such that Re.s/ > 1,
Z C1 Z C1 C1 !
1 1 X
n t
.ZM .t/ 1/ t s1
dt D e t s1 dt;
.s/ 1 .s/ 1 nD1
and for all t 1, en t D e1 t e.1 n /t , so since the eigenvalues n grows like
n as n tends to infinity (Weyl asymptotic formula) and since 0 < 1 2
n , it follows that for t large enough
C1
X
en t C e1 t :
nD1
so for s D 0 we get
C1
!
X Y
n
g0 0 .0/ D ln.i / D ln i :
i D1 i D1
Therefore,
C1
Y
0
eg0 .0/ D i D det g0 :
i D1
Now, let g 2 Œg0 , so there exists u 2 C 1 .M / such that g D e2u g0 . The Polyakov
formula (see for example [Cha]) says that
! Z
det g 1
ln D kruk2 C Kg0 u d Vg0 :
det g0 12 M
Since the determinant is not a scale invariant we consider the normalized func-
tional determinant
8
ˆ
ˆ C 1 .M / ! R
<
S W
ˆ u 7! 12 ln det. g / C 2 .M / ln .Vol.M; g// ;
:̂ det. g / 0
Theorem 7.8.3 (Osgood, Philipps, Sarnak, 1998). The supremum supu2C 1.M/ S.u/
of the above functional exists and it is a maximum: there exists u0 2 C 1 .M / such
that Gaussian curvature Kg (where g WD e2u g0 ) is constant on M .
It is turn out that each surface can be endowed with a metric conformally
equivalent to a metric with constant Gaussian curvature. A main consequence is
the famous Poincaré–Klein–Koebe uniformization theorem.
The values of the constant Kg 2 fC1; 0; 1g depends on the topology of the
surface M . Recall that the Gauss–Bonnet formula for a closed surface reads
Z
K d Vg D 2 .M /;
M
K=1
K=0
K=-1
@g
D 2Kg.t / g.t/;
@t
with g.0/ D g0 .
R. Hamilton also introduced a variant of this equation, that for the so-called
normalized Ricci flow:
@g 4 .M /
D 2Kg.t / g.t/
@t Vol.M; g0 /
with g.0/ D g0 .
This version of Hamilton’s surface Ricci flow preserves the total area, more-
over, the Ricci flow converges to a metric with constant Gaussian curvature and
for all t the metric g.t/ is conformal to the initial metric. Indeed, we have
7.8 Few words about Laplacian and conformal geometry 173
These theorems are fundamental, but they are not a proof of the uniformization
theorem using Ricci flow. In fact the arguments for convergence in the proofs of
R. Hamilton and B. Chow use the uniformization theorem. However in 2006,
X. Chen, P. Lu and G. Tian gave a proof of the uniformization theorem based on
Hamilton’s surface Ricci flow.
Remark 7.8.7. The Ricci flow on surfaces has many applications in computer
vision (shape matching, medical imaging, visualization and design in computer
games). For an introduction to the Ricci flow on surfaces see Chapter 5 in the
book of B. Chow [Ch-Kn]. Nice applications of Ricci flow on surfaces can be
also found in the book of X. D Gu and S. T Yau [Gu-Ya].
Homogeneous means that the isometry group Isom.X/ acts transitively on X. Homogeneous means also
that the local geometry of the manifold is the same at all points. Unimodular means that the quotient
X=Isom.X/ admits a finite volume.
10 A manifold X is isotropic if the isometry group Isom.X/ acts transitively on the unit tangent bundle.
Isotropic means that the local geometry of the manifold is the same in all directions. A geometry X is
isotropic if and only if its sectional curvature is constant.
11 The existence of this decomposition is based on the Kneser sphere decompostion and on the Jaco–
In particular the elliptisation conjecture is true for any compact and simply
connected three-manifold. A consequence is the famous Poincaré Conjecture
(1904) [Poi]:
and the Ricci flow with bubbling-off are similar, but in the case of Ricci flow
with bubbling-off the metric evolves on a fixed manifold rather than an evolving
manifold. One other major difference is that in the Ricci flow with bubbling-off
process the surgery occurs before the flow becomes singular, rather than exactly
at the time the singularity is formed (see [BBBMP]).
Bibliography
[Co-Mi] T. H. C OLDING & W. P. M INICOZZI, Width and finite extinction time of Ricci flow.
Geom. Topol. 12: 2537–258, 2008.
[Col1] Y. C OLIN DE V ERDIÈRE , Spectre du Laplacien et longueurs des géodésiques péri-
odiques I, Compositio Mathematica, 27: 80–106, 1973.
[Col2] Y. C OLIN DE V ERDIÈRE , Spectre du Laplacien et longueurs des géodésiques péri-
odiques II, Compositio Mathematica, 27: 159–184, 1973.
[Col3] Y. C OLIN DE V ERDIÈRE , Spectrum of the Laplace operator and periodic geodesics:
thirty years after, Ann. Inst. Fourier. 57(7): 2429–2463, 2008.
[Col4] Y. C OLIN DE V ERDIÈRE , Construction de laplaciens dont une partie finie du spectre
est donnée, Ann. Sci. Ec. Norm. Sup. Paris 20: 599–615, 1987.
[Co-Ro] M. C OMBESCURE & D. ROBERT , A phase study of the quantum Loschmidt Echo in
the semi-classical limit, [arXiv : quant-ph0510151], 2005.
[Coura] R. C OURANT , Eim allgemeiner Satz zur Theorie der Eigenfunktionen selbstad-
jungierter Differentialausdrücke, Nachr. Ges. Gottingen 81–84, 1923.
[Co-Hi] R. C OURANT & D. H ILBERT , Methods of Mathematical Physics, Intersciences Pub-
lishers, New York, 1953.
[Cou] G. C OURTOIS, Spectrum of manifolds with holes, J. Funct. Anal. 134: 194–221,
1995.
[Dav] E. B. DAVIES, Heat Kernels and Spectral Theory, Cambridge University Press,
1990.
[Dav2] E. B. DAVIES, Spectral Theory and Differential operators, Cambridge University
Press, 1995.
[Di-Sj] M. D IMASSI & J. S JÖSTRAND, Spectral Asymptotics in the Semi-classical Limit,
London Math Society Lectures Note Series 268, 1999.
[DoC] M. DO C ARMO, Riemannian Geometry, Birkhäuser, Basel, 1992.
[Dod1] J. D ODZIUK, Eigenvalues of the Laplacian and the heat equation, Amer. Math.
Monthly 88(9): 686–695, 1981.
[Dod2] J. D ODZIUK, Eigenvalues of the Laplacian on forms, Proc. Amer. Math. Soc 85(9):
438–443, 1982.
[DRh] G. DE R HAM, Variétés Différentiables: Formes, Courants, Formes Harmoniques,
Paris, Hermann, 1960.
[Ev-Zw] L. E VANS & M. Z WORSKI, Lectures on Semiclassical Analysis. http://math.
berkeley.edu/~evans/semiclassical.pdf.
[Fa-Ts1] F. FAURE & M. T SUJII, Band structure of the Ruelle spectrum of contact Anosov
flows, Comptes rendus – Mathématique 351, 385–391, 2013.
[Fa-Ts2] F. FAURE & M. T SUJII, The semiclassical zeta function for geodesic flows on neg-
atively curved manifolds, preprint 2013.
[Ge-Zh] F. G ESZTESY & Z. Z HAO, Domain perturbations, Browian motion, capacities, and
ground states of Dirichlet Schrödinger operator, Math. Z. 215: 143–250, 1994.
[GHL] S. G ALLOT , D. H ULLIN & J. L AFONTAINE , Riemannian Geometry, Universitext
Springer-Verlag, Berlin, 2004.
180 Bibliography
[Gor] C. G ORDON, When you can’t hear the shape of a manifold, The Mathematical In-
telligencer 11-3, 39–47, 1989.
[Go-Wi] C. G ORDON & E. N. W ILSON, Isospectral deformations on compact manifolds, J.
Diff. Geom. 19: 241–256, 1984.
[GWW1] C. G ORDON, D. W EBB & S. W OLPERT , Isospectral plane domains and surfaces via
Riemannian orbifolds, Inventiones Mathematicae 110: 1–22, 1992.
[GWW2] C. G ORDON, D. W EBB & S. W OLPERT , One cannot hear the shape of a drum,
Bulletin AMS 27: 134–138, 1992.
[Gi-Tr] S. G ILBARD & N.S. T RUDINGER, Elliptic Partial Differential Equations of Second
Order, Springer-Verlag Berlin, 1983.
[Gr-Sj] A. G RIGIS &. J. S JÖSTRAND, Microlocal Analysis and Differential Operators, an
Introduction, London Math Society Lectures Note Series 196, Cambridge Univ.
Press, 1994.
[Gri] A. G RIGOR ’ YAN, Heat Kernels on Riemannian Manifolds in Spectral Theory and
Geometry, London Math Society Lectures Note Series 273, Cambridge Univ. Press,
1999.
[Grot] A. G ROTHENDIECK, Récoltes et Semailles, 1986.
[Gu-Si] S. J. G USTAFSON & I. M. S IGAL , Mathematical Concepts of Quantum Mechanics,
Springer, 2003.
[Gu-Ya] X. D. G U & S. T. YAU, Computational Conformal Geometry, Advanced Lectures
in Mathematics Vol. 3, International Press, 2008.
[Gur] M. G URSKY, PDEs in Conformal Geometry, Geometric analysis and PDEs, Lecture
Notes in Mathematics, Springer-Verlag, Berlin, 2009.
[Ham] R. H AMILTON, Three-manifolds with positive Ricci curvature, J. Differential
Geom. 17(2): 255–306, 1982.
[Heb] E. H EBEY, Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities,
Courant Institute Lectures notes, 5, 1999.
[Hoc] H. H OCHSTAD, Integral Equations, Wiley, New York, 1973.
[Jos] J. J OST , Riemannian Geometry and Geometric Analysis, Universitext, Springer,
Berlin-Heidelberg, 1995.
[Kac1] M. K AC, Can one hear the shape of a drum?, Amer. Math. Monthly 73(4): 1–23,
1966.
[Kac2] M. K AC, Probabilistic methods in some problems of scattering theory, Rocky
Mountain, J. Math 4: 511–538, 1974.
[Kat] T. K ATO, Pertubation Theory for Linear Operators, Grundlehren der mathematis-
chen Wissenschaften 142, Springer, 1980.
[Kat1] T. K ATO, Schrodinger operators with singular potentials, Israel J. Math. 13: 135–
148, 1972.
[Kl-Lo1] B. K LEINER and J. L OTT , Notes on Perelman’s papers. Geom. Topol. 12: 2587–
2855, 2008.
Bibliography 181
[Ple] A. P LEIJEL , Remarks on Courant’s nodal theorem. Comm. Pure. Appl. Math. 9:
543–550, 1956.
[Poi] H. P OINCARÉ , Analysis Situs, Cinquième complément à l’analysis Situs, Rend.
Circ. mat. Palerma 18, 45–110, 1904.
[Pr-We] M. P ROTTER & H. W EINBERGER, Maximum Principles in Differential Equations,
Springer-Verlag, 1984.
[Ra-Ta] J. R AUCH & M. TAYLOR, Potential and scattering on widly perturbed domains, J.
Funct. Anal. 18: 27–59, 1975.
[Re-Si] M. R EED & B. S IMON, Methods of Modern Mathematical Physics, Academic
Press, 1975.
[Rob] D. ROBERT , Autour de l’Approximation Semi-classique, volume 68 of Progress in
Mathematics, Birkhäuser, 1987.
[Rob2] D. ROBERT , Revivals of wave packets and Bohr-Sommerfeld quantization rules, in:
Adventures in Mathematical Physics, 219–235, Contemp. Math., 447, Amer. Math.
Soc., Providence, RI, 2007.
[Rob3] D. ROBERT , Propagation of coherent states in quantum mechanics and applica-
tions, proc. CIMPA, 2005.
[Robi1] R. W. ROBINNET , Quantum wave packet revivals, Physics Reports. 392: 1–119,
2005.
[Robi2] R. W. ROBINNET , Wave packets revivals and quasirevivals in one-dimesionnal
power law potentials, Journal of Mathematical Physics, vol. 41, 2000.
[ROS] S. ROSENBERG, The Laplacian on a Riemannian Manifold, London Mathematical
Society, Student Texts 31, Cambridge Univ. Press, 1997.
[SaC] L. S ALOFF -C OSTE , The heat kernel and its estimates, in: Advanced Studies in Pure
Mathematics, 8: 13, pp. 1–32, 2009.
[Sak] T. S AKAI, Riemannian Geometry, vol. 149 of Translations of Mathematical Mono-
graphs. American Mathematical Society, Providence, RI, 1996.
[Ser] J. P. S ERRE , Cours d’Arithmetique, Presses Universitaires de France, 1970.
[Sev] B. S EVENNEC, Majoration topologique de la multiplicité du spectre des surfaces,
Séminaire de Théorie Spectrale et Géométrie de Grenoble, 12: 29–35, 1993–1994.
[Sh-Ya] T. S HIOYA & T. YAMAGUCHI, Volume collapsed three-manifolds with a lower cur-
vature bound. Math. Ann. 333: 131–155, 2005.
[Tay] M. E. TAYLOR, Noncommutative Harmonic Analysis, Mathematical Surveys and
Monographs, AMS, 1986.
[Thu] W. T HURSTON, The Geometry and Topology of Three- Manifolds, preprint, 1978,
Princeton University, available online at http://www.msri.org/publications/books/
gt3m; and Three-Dimensional Geometry and Topology, Vol. 1, Princeton University
Press, 1997.
[Tri] H. T RIEBEL , Theory of Function Spaces, Monographs in Mathematics 84,
Birkauser, Basel, 1992.
[Sun] T. S UNADA, Riemannian covering and isospectral manifolds, Ann. of Math. 121:
169–186, 1985.
Bibliography 183
[Var] S. R. S. VARADHAN, On the behavior of the fundamental solution of the heat equa-
tion with variables coefficients, Comm. Pure. Appl. Math. 20: 431–455, 1967.
[War] F. W. WARNER, Foundations of Differentiable Manifolds and Lie Groups, Springer,
New York, 1983.
[Wee] J. R. W EEKS, The Shape of Space, Marcel Dekker Inc, New York, 2002.
[Ya-Sc] S. T. YAU & R. S CHOEN, Differential Geometry, Academic Press, 2006.
[Yos] K. YOSIDA, Functional Analysis, CIM, Springer, 1980.
[Zel] S. Z ELDITCH, Spectral determination of analytic bi-axisymmetric plain domains,
Geom. Func. Anal. 10: 628–677, 2000.
Index