Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Jean Leray
All rights reserved. No part of this book may be reproduced in any form or by any means,
elcctronic or mechanical, including photocopying, recording, or by any information
storage and retrieval system, without permission in writing from the publisher.
This book was set in Monophoto Times Roman by Asco Trade Typesetting Ltd.,
Hong Kong, and printed and bound by Murray Printing Company in the United States
of America.
Preface xi
Index of Symbols xiii
Index of Concepts xvii
Introduction 1
0. Introduction 1
0. Introduction 25
1. Choice of Hermitian Structures on Z(1) 26
2. The Lagrangian Grassmannian A(l) of Z(1) 27
3. The Covering Groups of Sp(l) and the Covering Spaces of A(l) 31
4. Indices of Inertia 37
5. The Maslov Index m on A2 (1) 42
6. The Jump of the Maslov Index m(A., A..) at a Point (ti, A.')
Where dim;, n A.' = 1 47
7. The Maslov Index on Spa (l); the Mixed Inertia 51
8. Maslov Indices on A,(/) and Sp,,(/) 53
9. Lagrangian Manifolds 55
10. q-Orientation (q = 1, 2, 3, ..., cc) 56
Introduction 67
§1. Formal Analysis 68
0. Summary 68
1. The Algebra W(X) of Asymptotic Equivalence Classes 68
2. Formal Numbers; Formal Functions 73
3. Integration of Elements of .FO(X) 80
4. Transformation of Formal Functions by Elements of Sp2(l) 86
5. Norm and Scalar product of Formal Functions with Compact
Support 91
6. Formal Differential Operators 97
7. Formal Distributions 102
0. Summary 104
1. Lagrangian Operators 105
0. Summary 124
1. Lagrangian Manifolds on Which Lagrangian Solutions of aU = 0
Are Defined 124
2. Review of E. Cartan's Theory of Pfaffian Forms 125
3. Lagrangian Manifolds in the Symplectic Space Z and in Its
Hypersurfaces 129
4. Calculation of aU 135
5. Resolution of the Lagrangian Equation aU = 0 139
6. Solutions of the Lagrangian Equation aU = 0 mod(1/v2) with
Positive Lagrangian Amplitude: Maslov's Quantization 143
7. Solution of Some Lagrangian Systems in One Unknown 145
Contents ix
Conclusion 151
Introduction 163
0. Introduction 207
1. Commutivity-of the Operators a, aL=, and am Associated to the
Hamiltonians H (§1, Section 2), L2, and M (§1, Section 1) 207
2. Case of an Operator a Commuting with aL2 and am 210
3. A Special Case 221
4. The Schrodinger-Klein-Gordon Case 226
Conclusion 230
Introduction 238
0. Summary 248
1. Reduction of the Dirac Equation in Lagrangian Analysis 248
2. The Reduced Dirac Equation for a One-Electron Atom in a
Constant Magnetic Field 254
3. The Energy Levels 258
4. Crude Interpretation of the Spin in Lagrangian Analysis 262
5. The Probability of the Presence of the Electron 264
Conclusion 266
Bibliography 269
Preface
where
the phase (p is a real-valued function of x E X = R';
the amplitude a is a formal series in 1/v,
w 1
a(v, x)
=a V
is satisfied in the sense that the left-hand side reduces to the product of
e'V and a formal series in l /v whose first terms or all of whose terms vanish.
The construction of these asymptotic solutions is well known and called
the WKB method:
The phase q has to satisfy a first-order differential equation that is non-
linear if the operator a is not of first order.
The amplitude a is computed by integrations along the characteristics
of the first-order equation that defines cp.
In quantum mechanics, for example, computations are first made as if
Therefore the real number 2ni/vo whose choice defines this new mathe-
matical structure can be called Planck's constant.
The introductions, summaries, and conclusions of the chapters and
parts constitute an abstract of the exposition.
Historical note. In Moscow in 1967 I. V. Arnold asked me my thoughts
on Maslov's work [10, 11]. The present book is an answer to that question.
It has benefited greatly from the invaluable knowledge of J. Lascoux.
It introduces vo for defining lagrangian functions on V (chapter II, §2,
section 3) in the same manner as Planck introduced h for describing the
spectrum of the blackbody. Thus the book could be entitled
The Introduction of Planck's Constant into Mathematics.
January 1978
College de France
Paris 05
Index of Symbols
A I,§1,definition 1.2*
C field of the complex numbers; = C\{0}
E3 3-dimensional euclidean space
I II,§1,1
N set of the natural numbers (i.e., integers > 0)
R field of the real numbers
R+ set of the real positive numbers
Sn n-dimensional sphere
Z ring of the integers
A element of A: I; II
B bounded set: I; II
A, B, C functions of M, coefficients of the
Schrodinger-Klein-Gordon
operator: III,§1,example 4
E neutral element of a group: I; II
atomic energy level: III; IV
F any function: II
the function in III,§1,(4.23)
G group: I; II
function: III; IV
H hamiltonian: II,§3,1; II,§3,definition 6.1
Hess hessian: I,§1,definition 2.3
Ik,Jk elements of E3: III,§1,1
Inert index of inertia: I,§1,2; I,§2,4; I,§2,definition 7.2
* Each chapter (1, II, III, IV) is divided into parts (§l, §2, §3, ... ), which in turn are divided
into sections (0, I, 2, ... ). References to elements of sections (for example, theorems,
equations, definitions) in the same chapter, part, and section are by one or two numbers:
in the latter case the first number refers to the section and is followed by a period. References
to elements of sections in another chapter, part, and/or section are by a string of numbers
separated by commas. For example, a reference in chapter !, §2, section 3 to the one theorem
in this chapter, part, and section is simply theorem 3; to the one theorem in this chapter
and part but section 4 is theorem 4; to the one theorem in this chapter but §3 of section 4
is §3,theorem 4; and to the one theorem in chapter II, §3, section 4 is II,§3,theorem 4.
Similarly, a reference in chapter !, §2, section 3 to the first definition (of more than one)
in chapter II, §3, section 4 is II,§3,definition 4.1.
xiv Index of Symbols
I I,§ 1,1
space of formal or lagrangian functions or
distribution: II,§1,2; II,§1,7; II,§2,2; II,§2,3; II,§2,5
Hilbert space: I,§1,1
Lie derivative: II,§3,definition 3.2
neighborhood
Schwartz spaces: I,§1,1
r arc: 1,§2
curve: III,§1,(2.5)
A laplacian (A0 is the spherical laplacian):
III,§3,(2.4)
A lagrangian grassmannian: I,§2,2; I,§3,1
A exterior product
rI projection : II,§1,theorem' 2.1
apparent contour, EsP: I,§1,definition 1.3
Y,,: I,§2,9
ER : I,§3,2
b,'I',0 Euler angles: III,§1,(1.12)
C) open set in Z: II,§1,6; II,§2,1
xvi Index of Symbols
function : III,§1,(2.8)
open set in E3 Q E3: III,§1,1
amplitude: II,§1,2
#0 lagrangian amplitude: II,§2,theorem 2.2
Y arc or homotopy class
11, 11 v invariant measure of V: II,§3,definition 3.2
K characteristic vector: II,§3,definition 3.1
A element of A: I; II
A,p functions : III,§1,(2.10)
V element of I: II,§1,1
Vp i/h = 2ni/h (h e R+): II,§2,3; II,§3,6
it 3.14159...
ni jth homotopy group: I,§2,3
a[ ],Ori Pauli matrices: IV,§1,(1.6); IV,§1,(1.7)
X ri/d `x
phase: I,§2,9; I,§3,2; II,§1,2
V lagrangian phase: I,§3,1
m,m pfaffian forms
toi III,§1,(1.7)
amplitude
asymptotic class
characteristic curve K
characteristic vector K
energy E
Euler angles (1),`I',0
formal number, functions u, UR
frames R;(1,,12,13);(JI;J2;J3)
groups Sp(1); U(1)
hamiltonian H
hessian Hess
homotopy 1j
lagrangian amplitude #0
lagrangian function U
lagrangian manifold V
lagrangian operator a
lagrangian phase
Lie derivative Sf
Maslov index m
matrix J(k) Q
operator a
Planck's constant VO = i/h
quantum numbers 1, m,n,j
spaces X, Z, ', A r, ,9", ,9,
symplectic space z
I The Fourier Transform and Symplectic Group
Introduction
Chapter I explains the connection between two very classical notions: the
Fourier transform and the symplectic group.
It will make possible the study of asymptotic solutions of partial differen-
tial equations in chapter II.
0. Introduction
Historical account. The metaplectic group was defined by I. Segal [14];
his study was taken up by D. Shale [15]. V C. Buslaev [3, 11] showed
that it made Maslov's theory independent of the choice of coordinates.
A. Well [18] studied it on an arbitrary field in order to extend C. Siegel's
work in number theory.
Summary. We take up the study of the metaplectic group in order to
specify its action on '(R'), .*'(R'), and 9'(R') (see theorem 2) and its
action on differential operators (see theorem 3.1).
1. The Metaplectic Group Mp(1)
Let X be the vector space R' (1 > 1) provided with Lebesgue measure d'x.
Let X * be its dual, and let < p, x> be the value obtained by acting p e X
onxEX.
Spaces of functions and distributions on X. The Hilbert space. °(X) con-
sists of functions f : X - C satisfying
d'x1/2
Ifi = (tf2dIx)
If (x) I' < ao.
IfI9,r = Sup
X
Ix°(c'xlrf(x)I < 00.
5(X)ca/l'(X)c.9''(X).
The Fourier transform is a continuous automorphism of ,9''(X) whose
restrictions to ,Y(X) and 5o(X) are, respectively, a unitary automorphism
and a continuous automorphism.
Y (X) is dense in Y'(X ).
For the proof of the last theorem, see L. Schwartz [13] : chapter VII, §4,
the commentary on theorem IV, and chapter III, §3, theorem XV; alter-
natively, see chapter VI, §4, theorem IV, theorem XI and its commentary.
Differential operators associated with elements of Z(l) = X (D X*. Let
v be an imaginary number with argument n/2: v/i > 0.
Let a° be a linear function, a°: Z(1) --). R. Let a°(z) = a°(x, p) be its
value at z = x + p [z e Z(1), x e X, p c X*]. The operator
a = a° (x, -l
\\
-
(
v ox
a i--+ SaS
-'
is clearly an automorphism of d. Therefore S-' E G(1), and G(l) is a group.
Under the natural isomorphism Z(1) - sad, the automorphism (1.5) of
d becomes an automorphism of the vector space Z(1):
1
s:a F--' sa 1. (1.6)
By (1.1),
LEMMA 1.2. The kernel of the morphism (1.7) is a subgroup of G(1) con-
sisting of automorphisms of 9'(X) of the form
f - cf, where f c .9'(X) and c e IC (complex plane minus the origin).
Remark. This subgroup will be written as t.
Proof. All c c t commute with all a e sad and thus belong to the kernel.
Conversely, let S be an element of the kernel. Therefore S is an auto-
morphism of 9"(X) commuting with all a E sad. Let p e X*. We have
vax+ple
-y<P.x) =0.
+ Cpe-v(P.x).
f(x) = (iL)'I2
2ni
e-'<P.X>g(p)d'p. (1.8)
fX
Since Se-v<o.=>
= ce-v<P X>, we obtain
Sf = Cf Vf E .9'(X).
(SAf)(x) [IV,,
A(A) I rzi]`I2
where f' E ,9(X), arg[i]t'2 = nl/4. (1.10)
writing
We therefore have
dA = <p, dx> - <p', dx'>, that is,
p = As, p = -As..
x and Ax have to be independent. Hence det;k(AX X ') i4 0. Therefore
s = 5A, which completes the proof.
The sA clearly generate Sp(1). Thus:
LEMMA 1.3. The natural morphism G(l) - Sp(l) is an epimorphism.
By lemma 1.2, G(1) is a Lie group and
G(1)/t = Sp(l ). (1.13)
[C is the center of G(l) because the center of Sp(l) is just the identity
element.]
The study of G(l) therefore reduces to that of Mp(l), which has the follow-
ing properties:
THEOREM 1. Mp(l) is a group of automorphisms of S°'(X) whose restric-
tions to.W'(X) are unitary automorphisms.
1°) Let S' be the multiplicative group of complex numbers of modulus 1.
Then
2°) Let EMp be the hypersurface of Mp(l) that projects onto Esp. Every
element of Mp(l)\EMp can be written as cSA, where c e S' and SA is given
by an expression of the form (1.10).
3°) The restriction of every S e Mp(l) to So(X) is an automorphism of
,°(X).
Proof of 1°): (1.13) and (1.14); S' is identified with a subgroup of Mp(l).
. Proof of 2°). Let S e Mp(l)\EMp . Then the image of S in Sp(l) is some
element sA, A e A; SSA' e S' by (1.15).
Proof of 3°). By 2°), S = cSA, . . SAC . Now the restrictions of c,
.
i
(Iv2rz
rz
f (x) = ) 0(A)
x
Using the expression for A given by (1.9), this is the same as the equivalence
of the following two conditions:
f(x) = J
Xx
Hess,,((p) denotes the hessian of cp, the determinant of its second derivatives.
Alternatively this is the determinant of the quadratic form
X-3
Inertz((p) denotes the index of inertia of this form. It is defined") when
Hess((p) 0. Clearly
Inert(-q') = I - Inert(q),
arg Hess((p) = n Inert(g) mod 2n.
This formula makes possible the definition
arg Hess((p) = n Inert(q). (2.1)
(2.2)
Remark 2.1. This lemma assumes v/i > 0. Up to this point, it was
sufficient to assume v/i real and nonzero.
Proof. We know that
'It is the number of negative eigenvalues of the linear symmetric operator dx F--. dcp_
12 I,§1,2
exp [ - 2] dx = 2n.
L J
Therefore if c e C and I arg p I< n1/2,
JexP[-1(X
x + c)2l dx = Iarg f < .
JJ VP 4
We then have, for any p e C,
(Ff')(p) =
2nli
1/2
Je<>f(x)dlxdf' E.5(X) (2.5)
In other words, when I = 1, the following result holds: Let p': X -' R be
a real second-degree polynomial such that Hess p' 0; let p(p) be the
critical value of the polynomial
xicp'(x) - CP,x>,
we have
1,§1,2 13
(P'(x) = i (pi(x').
j=1
Now using the definitions (1.9) of A, (1.10) of SA, and (2.5) of F, we have
in the case P = Q = 0,
(Snf') (x) = A(A) (Ff ') (Lx).
Then (2.6) establishes (2.4) in this case. From the definitions of A and SA,
the general case is clearly equivalent to this one.
Before taking compositions of the SA,we consider compositions of
the sA:
A" is defined by the condition that the critical value of the polynomial
x' + A(x, x') + A'(x', x") + A"(x", x)
be zero.
3°) Just as (1.9) defines A by P, Q, L, let A' and A" be defined by P, Q', L'
and P", Q", L". The condition (2.8) for the existence of A" is expressed as
1' + Q is invertible.
A" can be defined by the formulas
Remark 2.2. Writing A + A' + A" for A(x, x') + A'(x', x") + A"(x", x),
we have
Inertx(A + A' + A") = A' + A")
= Inert,-.(A + A' + A"). (2.11)
A2(A)A2(A')
Hess x .(A + A' + A") = A2(A'*) (2.12)
may be written
where
A + A' + A" = A(x, x') + A'(x', x") + A"(x", x).
Now by Euler's formula, these three relations imply
A+A'+A"=0.
Therefore
(A + A' + A")s, = 0, that is, (A + A')x. = 0, implies A + A' + A", = 0.
Proof of 30). We have
we define
Inert(sA, 5A,, sA.-) = Inertx(A + A' + A") [see (2.11)]. (2.14)
We define
16 I,§1,2
§2,8 will connect this with the index that V. I. Maslov actually introduced.
Lemma 2.1 and (2.15) have these obvious consequences:
Inert(sA,l, sA.', sA 1) = I - Inert(sA, SA., SA..), (2.16)
m(SA 1) = 1 - m(SA), m(-SA) = m(SA) + 2 mod 4.
We can at last study compositions of the SA.
LEMMA 2.4. Consider a triple A, A', A" of elements of A such that
SASA, SA,. = e. (2.17)
Then
SASA'SA.. = ±E [E is the identity element of Mp(1)]. (2.18)
We have
(2.19)
if and only if
Inert(SA, SA,, SA,.) = m(SA) - m(SA,.) mod4. (2.20)
(;)u2
iA(A)A(A'){Hessx.[A(x, x')
(SASAb'x) =
y)]}-1f2e-,A"(y.x)
+ A'(x',
Multiplying this by f'(y)d'y, where f' c- Y (X), and integrating, we get
A(A(AO(j)
SASA' f' = [Hessx,(A + A' +
Therefore
n
arg(± 1) = [Inert(SA, SA., SA..) - m(SA) + m(SA.1) - M(SA")] mod 271,
2
Now, by lemmas 2.3,1°) and 2.4, for every W e A and every T a generic
element of A, SWST belongs to {SA} and is generic. Therefore, for T
generic,
18
SP2(1) - SP(1)-
LEMMA 2.6. The kernel of this morphism is the subgroup
S° = {E, -E}.
Therefore
Sp2(1)/S° = Sp(1).
Therefore, by (1.11),
m(SA) - -k mod 4;
p' + Q has one eigenvalue equal to zero and I - 1 eigenvalues > 0.
Let B and B' be elements of A near A and A' and such that
Hess,,,(B + B') 0.
Let Esp2 be the hypersurface of Sp2(l) that is mapped onto Esp in Sp(l)
under the natural projection. The elements SA defined by (1.10) are the
elements of Sp2(l)\Esp= . Let S, S', S" be a triple of such elements satisfying
20 I,§1,2-I,§1,3
S = S1S2S3S4,
where S3 E (i), that is, S3 is a Fourier transformation in at most
I coordinates; S, and S4 E (ii), that is, they are of the form f' i-+ e"4f',
where Q is a real quadratic form; and S2 E (iii), that is, S2 has the form
f' i-- det T f' o T, where T is an automorphism of X.
3. Differential Operators with Polynomial Coefficients
By definition 1.1, the elements of Sp2(1) transform differential operators
with polynomial coefficients into operators of the same type. Section 3
describes this transformation more explicitly.
Let a+ and a- be two polynomials in 1/v, x, and p:
a+(v, a. (v, x)pa,
x, p) _ a (v, p, x) _ >paaa (v, x)
I,§1,3 21
a+ (v, x,
vax ) :f a, (v' vex
x )af ( )'
a+
(v
x1 a
) =a l v1- a xJ1
,vax 'vax, '
if and only if there exists a polynomial a° in 1/v, x, and p such that
+ aax,
a (v, x, P) _ [exp 12v
aa
/] a '(v, x, p)-
_
[ exp 2v- -ax-,ap-
1 a a
a (v, p, x) a°(v, x, p).
exp
a
ax,
s
ap/ = °° 1 k/ a a Y.k
,( k=°k!ax,
op/
Proof. Relation (3.3) defines a bijection a- i-- a+ such that, for all
pEX*,
x l a )Y<P,x>
a+(v, x, p) = e v<P,x>a+
(v V ax
v(P,x>a- 1a x) ev<P,x>
e
I\
(v' vex '
- 1a1 \
P + vaxJ aQ (v, x)
- [eXp v \Ox, ap )] a (v, p, x),
c°(v, x, P) _ [exp - 2v
ax' ap
)][a4 (v, x, P)b°(P)]
{[exp
2v (ax p + aq)] [a+(v, x, P)b°(q)]}
9-P
_ 1 a a
{[exp P)b°(q)}q=r
2v ax ap)] [a°(v, x,
c°(v, x, P) = {[ex-(- , a aY P
)] [a°(v, x, P)b°(Y)]Lx .
- {[exp
2v ax' aq) 2v (ay aq) + 2v (ay' P)]
[a°(v, x, }y_}-
4=p
This is (3.5) since, by (3.4),
[exp
- 2v (ax' 4)] [b b°(Y, q)
This implies lemma 3.2, which has the following obvious consequence:
LEMMA 3.3. The operator
c = 2(ab + ba)
is associated to the polynomial
1 o a 1 o a
x, p) _ cosh
[2V(8Y'2 2v ax aq)]
[a°(v, x, P)b°(v, y, q)]lq=p
y=z
\l r 1 a
)]QVx, p),
-2v (ax, )Jb°(v, x, P) exp -2v (-a ax, a
P/ P
0. Introduction
Historical account. Following V. C. Buslaev [3], [11], §1 has defined a
Maslov index mod4 on Sp2(l) by (2.15) and has connected it by (2.20) to
an index of inertia that is a function of a pair of elements of Sp(l).
On the other hand, V. 1. Arnold [1], [11] defined another Maslov index
on the covering space of the lagrangian grassmannian A(l) of Z(l); this
index is connected to the preceding one and to a second index of inertia
that is a function of a triple of points of A(l). J. M. Souriau [16] has given
a variant of the definition of the Maslov index that is considered in this
section.
Summary. Chapter I, §3. and chapter II use these two Maslov indices and
a third index of inertia, which is a function of an element of Sp(l) and a
point of A(l).
We review and modify the various definitions of these indices (Arnold's,
section 5; Maslov's, section 6; Buslaev's, section 7) so as to clarify their
properties (sections 4-8). In §3 those properties that will be used in
chapter II are set forth.
First of all we must recall and supplement the topological properties
of Sp(l) and A(l) (theorem 3). To study these properties we follow Arnold
in employing a hermitian structure on Z(l) (sections 1 and 2).
26 I,§2,1
Hence
ix =
lax z E X.
2
a
Ox
Further let A' E A(l) and let r' be an orthonormal frame of A'. There is a
unique element u in U(l) such that
r = ur'
from which follows
A = ua.'.
The group U(1) thus acts transitively on A(l). The same holds a fortiori
for Sp(l); whence 1°) of the lemma below, where St(l) [respectively, 0(l)]
denotes the stabilizer of X* in Sp(l) [respectively, U(1)], that is, the
subgroup of s such that sX * = X *.
Now 0(l) is clearly the orthogonal group. Lemma 2.3 characterizes
St(l); part 2 shows why the stabilizer of X* interests us more than that of
X.
2°) Let W(l) be the set of symmetric elements w in U(1), that is, the set
of elements w such that 'w = w; thus w c- W(1) means w = 'w = w-'. The
diagram
U(l) a u- U'u = w E W(l)
Then
z c- a. is equivalent to z + w(A)z = 0.
I,§2,2 29
Let
z = x + iy, where x and y c X.
Assume
10 sp(w(A),
where sp(w) is the spectrum of w, a 0-chain of the unit circle S'. Then
e + w(A)x,
z e 2 is equivalent toy = i (2.5)
e - w(it)
where i(e + w(A)]/[e - w(.)] is a real symmetric matrix (that is, equal to
its transpose).
3°) dim(.1 n A') is the multiplicity of 1 in sp(w(,)w-1(.1')).
Remark 2.1. Part 3 is preparation for the topological definition of the
Maslov index (section 5).
The proof of lemma 2.1 is based on the following lemma. Writing
u E U(l) in terms of its eigenvectors and eigenvalues, the proof of lemma 2.2
is clear.
LEMMA 2.2. 1°) Let u c- U(l). A necessary and sufficient condition for
u e W(l) is that all of its eigenvectors can be chosen to be real.
2°) Every surjective mapping
F : S1 - S' (S' is the unit circle in C)
defines a surjective mapping
W(l) a w i-+ F(w) E W(l).
Proof of lemma 2.1,2°). The diagram (2.2) defines a mapping (2.3) since, if
u and uv c- U(l) have the same image in A(l) = U(l)/O(l), then v c- 0(l), and
so
uv `(uv) = uv `v `u = U 'U.
By lemma 2.2,2°), given w c- W(l), there exists some u c- W(l) such that
w = u2. Then w = u 'u, and so the map (2.3) is surjective.
Since a. = uX *, where u c- U(l), the condition z c- ) means u-'z c- X*, or
Re(u-lz) = 0, or u-1z + u-12 = 0, or z + w2 = 0. The map (2.3) is
therefore injective.
30 I,§2,2
Proof of lemma 2.1,3°). Let w = w(,1), w' = w(A'). Then A n A' is given
by the equations
z+w2=0, z+w'2=0;
that is,
r) A': w-'z =w'-'z, z= WE.
s(x', P) = (x, P)
is equivalent to
x = slx', P = 'Si'(P' + s2x'), (2.6)
[e("12)Cx',s=x'>f(x')]z
(Sf)(W ) _ ,/d et s1 1 =sI,X (2.7)
S -1 aS is associated to a° o s,
and so s is the natural image in Sp(1) of ± S E Sp2(1).
3. The Covering Groups of Sp(1) and the Covering Spaces of A(1)
The properties of these covering groups and spaces (2) follow from prop-
erties of n1 [Sp(1)] and n1 [A(1)], which are obtained by studying n1 [U(1)].
Here ik denotes the kth homotopy group, (see Steenrod [17]; we note that
N. Steenrod uses the expression symplectic groups in a different sense than
we do.)
lrk[U(1)] it,k[Sp(l)] Vk E N.
is a natural isomorphism:
ir,[U(1)] Z.
Proof of 1°). The elements s of St(l) are characterized by (2.6); those for
which s2 = 0 form a subgroup GL(l) of St(l). The inclusions
O(l) c GL(l) c St(l)
induce natural morphisms
the homotopy sequences of these two fibrations (see Steenrod [17], 17.3,
17.11, 17.5):
The stabilizer of the vector (1, 0, ... , 0) in C' is SU(l - 1); thus
SU(l)/SU(l - 1) = S21-1
Since 1r1 [S U(1)] and no [S U(1)] are trivial in the exact sequence (3.3), p is
an isomorphism. Now
9G1[S1]3FH-
I frd- EZ
is an isomorphism.
The composition of p, which is induced by (3.2), with this isomorphism
is an isomorphism n1 [U(1)] -+ Z, which clearly is defined by (3.1).
nl[j'1'(l)]-3
7ri f ddetw)EZ (3.5)
[A(1)] ^' Z.
2°) The fibration Sp(l)/St(l) = A(1) defines a monomorphism
which is multiplication by 2 on Z.
Proof of 1 °). The homeomorphism (2.3) allows us to define
det ). = det w e S 1; (3.7)
the mapping
A(l)a2"detA c- S' (3.8)
The mapping (3.8) thus defines a fibration on which U(1) permutes the
fibers. The fibration is
A(1)/SA(l) = S 1,
I§23 35
SA(l) : det w = 1.
The exactness of the homotopy sequence of this fibration proves the
exactness of the sequence
Since
p: n, [A(l)] - n, [S1]
is induced by
det:W(l) - Si,
p is an epimorphism. Let us compute n, [SA(l)].
SU(1) acts transitively on SA(1) and X * E SA(l). The stabilizer of X * in
SU(1) is SO(1), the connected component of the identity element of O(l),
and so we have the fibration
SU(1)/SO(l) = SA(l).
The exactness of its homotopy sequence implies the exactness of
n, [SU(l)] 4 n, [SA(1)] 4 no[SO(l)],
where n, [SU(1)] and no [SO(1)] are trivial, by (3.4) and the fact that SO(1)
is connected. Thus n, [SA(1)] is trivial, and so pin (3.10) is an isomorphism
Now p is induced by the mapping (3.8). Taking its composition with the
isomorphism
that is multiplication by 2 on Z.
This fibration is defined by the mapping
U(1) 9 u "_w = u `u, which satisfies det w = (det u)2.
Since the isomorphisms entering into (3.11) are defined by (3.1) and (3.5),
we have
Example 3.1. A2(0 is the set of oriented (in the euclidean sense) lagran-
gian subspaces of Z(1); Sp(l) acts on A2(1).
Example 3.2. Sp2(1) acts on A4(l). This result is essential for the theory of
asymptotic expansions (chapter II).
Notation 3. Denote by s the projection of Sc Spq(l) onto Sp(l); by A the
projection of Aq c- NO onto A(l); by A2 the projection of A2q E A2,(1)
onto A2(1); by e the identity element of Sp(l); and by E the identity element
of Spq(1).
I,§2,3-I,§2,4 37
4. Indices of Inertia
Definition of the index of inertia Inert(,, A', ).") of a triple (A, A', A") of
elements of A(1) pairwise transverse. We have
this number is the value of a quadratic form at z e A (at z' E A' or at z" e A').
The isomorphisms (4.2) transform each one of these forms into the others.
Thus they all have the same index of inertia, which will be denoted
Inert(A, A',1").
Formulas (2.11) and (2.14) of 1,§1 defined Inert(s, s', s") for
s, s', s" E Sp(l)\Esp, s s' s" = e. (4.6)
Condition (4.1),
may be written
Then
Inert(;., X, X*) = KI[a,(-1)] - KI[a*, (1)]. (4.12)
Z = x + iy e 2, Z' E X, Z" E X*
be such that
z+z'+z"=0, where x, y e X.
Clearly
I,§2,4 41
i = - x, z" = - iy,
[z,, z"] = Im(z' I z") = - (x v)
y= i e+
e-w
wx (e is the identity).
Since
(1) 0 sp(ww'-');
sp(ww'-1), which we denote sp(v, v'), is a 0-chain in S' (see Lefschetz [9]).
The mapping
F n (vim, vim) - sp(v, V)
Proof of (5.5). Assuming hypothesis (5.1), s1. and sip' are transverse, and
the mapping
S r-4 M[S)., S;",; per,, ux] e Z
is defined and locally constant. Therefore it is constant since Sp,c (1) is
connected.
Proof of (5.6). Choose the arc r to be differentiable and such that
such that
sp(v, v') (expi9,); O (/1'A, /x'A ) = O A) mod 27r.
44 I,§2,5
AlA.,2,] 2nfd6'
2n jrd(0j)
1 ddet(ww'-1)
2ni J r det(ww - 1)
1 f d(det w) 1r d(det w') _
-r r
2iri r det w 2ni J r -d-et w'
by (3.5) and definition 3. Hence (5.6) follows by the additive property
(5.3) of M.
In order to recover assumption (4.11) of lemma 4.2, we need the following
definitions.
Definition 5.2 X., is the point of A,,,(1) that projects onto X in A(1) and
that may be joined to X* by an arc y of Ax (l) whose spectrum sp(y)
belongs to the half-circle in S', where lm(z) > 0.
Definition 5.3. The Maslov index is the function m given by
Proof. By (5.6), the right-hand side of (5.7) depends only on (2, A', 2"). By
Remark 4.2 and the invariance property (5.5) it suffices to establish the
following special case of (5.7):
is identically zero.
Proof. By (5.10), n is constant in a neighborhood of any pair (:tq, 2q),
transverse or not. Therefore n is constant on Aq (l), which is connected.
By (5.10), its value is 0.
m:(A ),2x)F-'m().
M ( ; ., )EZ
defined on pairs of transverse elements of A. (1) that is locally constant on its
domain and makes the following decomposition of the index of inertia
possible:
2°) Taking into account definition 5.2, this function has the following
properties:
m(da A') + m(2', A,°) = 1; (5.9)
m(pm, t4) = 0.
6. The Jump of the Maslov Index m(),,,, , d' ) at a Point (2, A'), Where
dim 2n2'= 1
Maslov [11] defined his index, up to an additive constant, by the expression
of its jump across the hypersurface YA2 in A'(1), which is the set of pairs
(L , ).) of nontransverse elements of A.(1). Theorem 6 will make the
expression for this jump explicit.
First of all let us establish some properties of U(1). By y we denote a
differentiable arc of U(1):
LEMMA 6.1. Let exp(i/(0)) be a simple eigenvalue of u(O) and let z(O) be a
corresponding eigenvector. Then
% = (u_1(o)uZ(o)Iz(o)).
IIZ(e)I
Taking the scalar product with z eliminates ze and gives (6.1) because
(u-ize exp(ii) I z) = (Z e I exp(- i/i) uz) _ (z e l z)
since u is unitary.
Denote by Eu the set of u e U(1) such that (1) e sp(u); recall that (1)
denotes the point of S' c C with coordinate 1.
The following lemma has the sole purpose of interpreting the assumption
of lemma 6.3 geometrically.
LEMMA 6.2. If u(o) E Eu, (1) is a simple value of sp u(o), and z(o) is a
corresponding eigenvector, then the condition that uo define a direction
tangent to Eu at u(o) takes the form
(u-'ouozozo))
1 = 0. (6.2)
(U'O)UZOZO)) 0
EA3 AZ(1).
LEMMA 6.4. If the arc F in A2(1) intersects EA2 only at the point (L(o),
A'(o)) and if
then
By definition,
KI[spF, (1)] = KI[spy, (1)].
By lemma 2.1,3°), intersects Ev only at the point A = o, and 1 is a
simple value of sp u(o). By lemma 2.1,2°),
z(o) - u(o)z(o).
Now
u-1ue = u-1wew-lu - wew'-1;
50 I,§2,6
Then
Iwew-1zIz)
= [ze,z(0)]
(
Proof. By lemma 2.1,2°),
z+wa=o,
so
zo + wee + wee = o.
Hence
(wow-1 z I z)
(ze I z) - + (wee I z) = 0,
where
w-1z)
(wze I z) = (Ze I _ -(291 Z) _ -(Ze II Z).
From (1.1), (6.5) follows.
The left-hand side of (6.4) can be expressed in terms of the Maslov index
by (5.2) and definition 5.3; the right-hand side of (6.4) can be expressed
in terms of the symplectic form [ , ] by lemma 6.5. Hence the following
theorem, which will allow us to establish theorem 3.2 of §3.
I,§2,6-I,§2,7 51
THEOREM 6. Let
[-1, 1]30(Z,z')eZ2(l)
be two differentiable mappings such that
the last two terms being equal because of the invariance (4.5) of the inertia.
The following theorem is evident.
THEOREM 7.2. Under assumption (7.6),
I,§2,7-I,§2,8 53
Proof. By (7.7) and the definition of Inert(., A', A") (section 4),
Inert(s, A, A') = Inert(X*, s-'X*, 1.')
is the inertia of the quadratic form
x' i-- [z, z']
x = o, p = Ax.(o, x') +
This implies
[z, z'] = <p, x'> = 2A(o, x') + 2N'(x'),
and therefore (7.10).
8. Maslov Indices on A,(/) and SpJ1)
Let Aq, A' E Aq(1) and S E Spq(1) be the projections of A,, A, E A,,(1) and
S., E Sp,,(1). By (5.12) and (7.5) (where a and /i are the generators of
n' [Sp(l)] and n, [A(1)] ), the relations
m(Aq, Xq) = m(tir, mod q, m(S) = m(S,,,) mod2q, (8.1)
54 I,§2,8
define functions m. They are again called Maslov indices. From theorems
5, 7.1, and 7.2 and lemmas 5.3 and 7, they evidently have the following
properties.
THEOREM 8. 1°) The Maslov index defined by (8.1)1 is the only function
that is locally constant on its domain and that makes the following decom-
position of the index of inertia possible:
Inert(s, s', s") = m(S) - m(Sr-1) + m(S") mod 2q. (8.3)
The mapping
A-3
A2(A) = det(-Ax:x,,).
10. q-Orientation (q = 1 , 2, 3, ... , co)
The notions defined in this section enable us to supply a complement to
formula (9.6). This is theorem 10, which will be crucial in the sequel.
By a q-orientation of A E A(l) we mean a choice of a it2q E A2q(l) with
natural projection A.
A q-oriented lagrangian manifold, denoted Vq, is a lagrangian manifold
V together with a continuous mapping
V -3 Z H A2q(Z) E A2q(1)
I,§2,10 57
A2q(1) - A(1),
Let
2
m(S) = m(A) = arg(t (A)).
n
By theorem 7.3 and equation (9.3) for ).'we obtain that Inert(s, is the
inertia of the symmetric matrix
58 I,§2,10-I,§3,1
z
x,; x [A(x, x') + T'(x')]
then not only are the two terms of (9.6) equal, but so are their arguments
mod 2gir.
It is the special case q = 2 of this theorem that will be used (see §3,
corollary 3).
0. Introduction
Symplectic geometry makes it possible to state the preceding results in
the following form, which will be used in chapter II.
Z(l) has been provided with a symplectic structure, and moreover with
a particular frame consisting of a pair (X, X*) of transverse lagrangian
I-planes. It is important to state conclusions that are independent of this
choice of a particular frame.
1. Symplectic Space Z
A symplectic space Z consists of R21 together with a symplectic form, that
is, a form
I,§3,1 59
x Rz1a(z,z')"[z,z']ER
that is bilinear, alternating, real valued, and nondegenerate. We then have
[z, z'] = - [z', z];
[z, z'] = 0 for a given z and all z' R21 only if z = 0.
Z(l) is provided with the symplectic structure defined in §1,1; the
isomorphism of the symplectic structures of Z and Z(l) is obvious and
has the following consequences.
The subspaces of Z on which [ , ] vanishes identically are called
isotropic ; their dimension is <, 1.
The isotropic subspaces of dimension 1 are called lagrangian subspaces.
The collection of lagrangian subspaces A(Z) is called the lagrangian
grassmannian of Z; A(Z) is homeomorphic to A(l) and therefore has a
unique covering space Aq(Z) of order q c- {1, 2, ..., oo}.
The projection of Aq E Aq(Z) onto A(Z) is denoted A. The following
definition (see §2,4) makes sense on Z.
Definition 1.1. Let A, A', A" e A(Z) be pairwise transverse.
Inert(A, A', A") is the index of inertia of the nondegenerate quadratic form
z H [z, z'] = [Z', Z,] = [z", z], (1.1)
where
z E A, Z C -A" Z" E z + Z' + Z" = 0.
Clearly its values belong to {0, 1, ... , 1), and
Inert(A, A', A") = Inert(.', A", A) = 1 - Inert(A, A", A'). (1.2)
called the Maslou index, that is locally constant on its domain and that
satisfies
Inert(A, A', A") = m(A.q, A) - m(Aq, A') + m(AQ, Aq) mod q. (1.3)
Clearly, if A, A', A" E A(Z), then RA, R1.', RE' E A(1) and
'The use of the letter R to denote a frame comes from the initial of the French word repere.
[Translator's note]
1,§3,2-I,§3,3 61
THEOREM 2. Let x and x' be the local coordinates defined on V\(ER U ER,)
by two frames R and R' such that RR'-' a Sp(l)\Esp. Then there exists
A (§1,2) such that SA = RR'-'; let rp'(x') = cpR,(z) be the phase of R'V.
Then the local diffeomorphism X 3 x' r+ x e X has the jacobian
1. S = .1RIR'1 E SP(1),
ii. H = hRhR., a homeomorphism of A2,(1) whose natural image is the
homeomorphism of A2(l) induced by s (cf. §2, example 3.1).
To define H knowing s it suffices to give HX Zq E AZq(l) with the projection
sXz E A2().
There are q elements of Spq(l) with image s e Sp(l). By §2,(3.12), they
map X *4 into the q elements of A2q(l) with image sX*2 e A2(1).
The unique element S E Sp,(1) with images E Sp(l) and such that SX Zq =
HX 2q thus induces the homeomorphism H of A2q(l). It characterizes
RR'-', which we denote S :
RR'-1 E SPq(l)
(3.1)
Evidently
m(A2q, )'2q) = m(RA2q, RA'2q) mod 2q VA 1,, A'2q E A2q(Z). (3.2)
and the arguments of the two sides of (2.5) are equal mod 2g7r.
Let us recall that §1 gave the definitions 1.2 and 2.3 of arg A(A) and
arg Hess. By §2,(8.6),
We have
THEOREM 3.2. Let ).(z) be the tangent 1-plane to the lagrangian manifold
Vatz;zEERmeans
dim(.nR-'X*)> 0.
We stay in a neighborhood of a point of ER at which
dim(ti n R-'X*) = 1;
then for z e ER, the projection of R)i(z) onto X parallel to X* is a
hyperplane:
i
icjdxj=0.
j=1
1°) There exists a regular measure w on V such that for z E ER, for all
j and all k
dx' A A dxj-' A dpK A dxj+' A . A dx' = cj cKrJ. (3.9)
Denoting
m i4 0on Vatz.
Using the expression
means
Ox' d'x
apl
Conclusion
and §3 detailed the properties of the index of inertia and the Maslov index,
already introduced in §1. The interest of these various properties is to make
possible the definition and study of a new structure, lagrangian analysis,
which is the subject of the next chapter.
I I Lagrangian Functions; Lagrangian Differential Operators
Introduction
aR
+ V, X,1Ia-lJ1
aR
= V ax
that is a formal differential operator of order < oc, acting locally on the
UR.
A change of frame
S = RR"' e Sp2(l) (see 1,§3,3)
is a local operator that transforms
UR, into UR = aR' into aR = SQR'S-1,
and hence transforms
aR, UR' into aR UR = S(aR. UR.).
0. Summary
In section 1 we define and study asymptotic equivalence classes of functions.
In section 2 we define formal functions; formal functions defined on X
with compact support are asymptotic equivalence classes. Then we may
integrate them (section 3) and transform them by Sp2(l) and by differential
operators, whose definition can be generalized (sections 4 and 6). We
deduce (sections 4 and 6) that Sp2(l) and formal differential operators act
locally on formal functions defined on lagrangian manifolds V or their
covering spaces V; these functions may be compactly supported or not.
In section 5 we study their scalar product.
Formal functions on V, which are no longer asymptotic equivalence
classes, enable us to define lagrangian functions in §2.
1. The Algebra ' (X) of Asymptotic Equivalence Classes
The algebra -4(X) Let I be the purely imaginary half-line
I = ill, 301EC.
I(X) denotes the algebra of mappings
f:I x X-3 (v,x)F-- f(v,x)EC
II,§1,1 69
81 dq,rEN`;
Sup x9
8x J
f(v, x) < oc
(v,x)EI X X
a=
a+ (, x, -1-alOx/I=-
v
a_v, 1
x
V vOX
act on V (X ).
If 1 = dim X = 0, 24(X) is denoted :#?: thus.1 is the algebra of bounded
continuous mappings I - C.
The algebra (X) Let N E R. Let -IN(X) be the set of f e .4(X) such
that the mapping
(v, x) - vNf(v, x)
still belongs to ,4(X). Clearly 24N(X) is an ideal in 2(X) that shrinks as
N grows; hence -4,)(X) = is an ideal in 24(X). We define
the algebra 16(X) as follows:
W(X) = 24(X)i2x(X) (1.2)
"eN(X) = -qN(X)114.(X)
is an ideal in 16(X) that shrinks as N grows:
f w,(X) = to}.
NeR,
Let f and f e :4(X) with classes f and f' e''(X ). To express the equiva-
lent relations
f - f e 24N(X), f- ' e'6,(X), where N 5 cc, (1.5)
70 II,§1,1
Irilz]gi
llz r J
z]l/z
dri, 9i e 1K.
II,§1,1 71
l al _( l a
a=a+rlv,x,vax/-a \ vex'x
are clearly endomorphisms of -4(X), -4N(X ), 'K(X ), and 'N(X ). They act
locally: the restriction of of to an open set S in X only depends on the
restriction off to this open set:
Supp(a.T) c Supp(.T)
As in §1,3, the differential operator
1 al= a-
a = a+(v, x, --) (v, 1- a , x)
vax vax
is associated to the polynomial a° in (1/v, x, p) given by
(T, 9) = ff(v,x)g(v,x)dlx,
x
where f e f c'(X), g c 4 c'(X); (1.9)
72 II,§1,1
(J,f) _ (f, 9)
The seminorm II is the function W(X) - 16 with values >, 0 defined by
IIfll2
b°(v,x,p)=a (( P
In particular, a is self-adjoint when a°(v, x, p) has real values for
V E I, (X, P) E Z(1).
where J is a finite set, ajr: X -+ C, cpj: X - R, and ajr and cpj are infinitely
differentiable.
The mapping of u may be put in the form (2.2) in many ways at a point
where two of the cpj are equal in a neighborhood of that point. The value
of u(v) at x is denoted
UR = UR (v) = r- e"'PR : V -
rEN V r
where
4pR is the phase of R V (I,§3,2),
ar : V - C is infinitely differentiable.
Clearly,
u =
jEJ
a17
e"`lj E J`o(X ); (2.10)
put
T'-1 a
uN E Y-','ev4:I xX -C.
ti.
(2.11)
jEJ r=O
1°) There exist functions f c P4(X) such that f - uN = 0 mod 1/vN VN.
2°) All these functions belong to the same asymptotic equivalence class
f e (X); the mapping u i-- f defines a natural morphism E--' r, (X).
3°) This morphism is a monomorphism.
For all g e M (X) vanishing outside a compact set of X we use the norm
s
IgI, = Sup (1 a } g , where v E I, X E X, +sj < r. (2.13)
V, z. r \ V 8x
76 II,§1,2
such that
Now we define
f(v , x )_
=o
e, (v) -( ) eV(p(x) . ( 2. 16)
This series converges since, from (2.14)2 and (2.15)2, the number of non-
zero terms is finite on any bounded interval in the domain of definition
of v. In accordance with (2.11), we define
1
ar(X)evrp(x)
UN(V, X) (2.17)
r=0 V
lore I r
Er(V)
If(V) - uN+l(V)I N < '=L
Y_ I
V
I,
N+1
because 1 I vI ; thus
If-uNIM=0mod-
v
VM, N e N. (2.19)
If M < N, (2.19) follows from (2.18) and the fact that increases with
M. If N < M, (2.19) follows from the relations
I M-1a
I UM - UNI M = 0 mod
-
V IV
because UM - UN = Y-
V
, e°v.
hence
f e R(X), f-UN=0modI V
then
f - f' = 0 mod N V
VN.
UN(V1 x) = 0 mod N VN e N, Vx e X.
V
78 II,§1,2
whence
lim I aJNe'lli = 0,
jEJ
which implies
aJN=0 Vj.
u= x E 'F0
rcN Vr
as
0< , that is, i`as > 0,
v'
Re u = Re Im u = E Im a ,
rEN '
rEN V
:.F0(X) - W.
sx
Clearly,
u(v, x) d`x e 9
1,
when the phases of'u are all constant. Theorem 3 shows that
x'
u(v) = e" ° e FO(X),
rrN v
V1
r (3.2)
rEN
Jx (I2VI
where
II,§1,3 81
I,(cp, a) = II
r 2(r-s)
vq2 f u(v,x)d'xe9;
x
the phases of 0 2 f x u d'x are the critical values of the phases of u on Supp U.
It clearly suffices to prove theorem 3 when u is replaced by a function
f given by
f(v, x) = a(x)e'1*), (3.7)
a(0)e°1'(")d'x mod N
v
sx
82 II,§1,3
f,
ae"°d'x = - f v
X
-
i Oxi
e"'d`x = 0 mod 1
a(x)e"m's)d'x mod N
v
1.
is a linear function of the values of the derivatives of a of order <2N at 0.
More explicit is the following.
LEMMA 3.3. Let a e .9'(X). Let 4) be a nondegenerate quadratic form
X - R. Then
o (x)e"m(x)d'x
1,
(2mi)h/2 (D*r modvl .
[Hess(D]-1/2I rev' x(x)
IVI ) rtN I ( x =0
-l/zµ rexp?µd
/ `7`
z
2 xz.
L z=0
Moreover,
a-uX=/2
xzr+1 dx = 0 `dr E N.
1
[Hess mod
v
from the Taylor series of this function; arg Hess d) is given by I,§1, defini-
tion 2.3. Thus, mod 1/v°°, the left-hand side of (3.10) is an element of F;
by lemma 3.2, its limit, when 1 + vanishes, is
e(x)P(x)e"O(x)dCx.
f,
Thus
e(x)P(x)evo(x)dtx
1/2
(21ri
= [Hess(D]-in[ecu")m'(a/Ox)P(x)]x=o modvI ; (3.11)
IVI
(p: x r-+ 9(0, x) has only one critical point, which occurs at the origin and
is nondegenerate. Then
JdOJc(Ox)evcP(0x)d1x = 0 mod
o x
I
V IV,
(3.12)
Let
where [ . ] denotes the integer part of . - that is, the greatest integer
J!
J=1
e
vm
+v 2N (1 -
(2N - 1)!
O2Ne 0. (3.14)
0
v2N f
f1(1 - 0) 2N-1
0 mod N (3.15)
xX o v
a(x)e,9(Y) drx_
V2
27ri
IvI
(Hess (D)-112 1
,1 r !j ! vr-i f
a
\ax/
I [®'(x)a(x)]jmod 1
x=0 v
,
(3.16)
Iq(o; a) _ 2
z
O*q+j[Oj(x)a(x)1JIlj
1 (')
i=0 (q + j)i j
i
x=0
in particular,
Io((p; a) = 00).
Now (3.16) can be written
fX
=
(FV
ess) 12
qeN
gIq((p; a),
S E Sp2(l);
Fo( X)
.
S
) W(X ) (4 . 1)
2°) The composition law of the morphisms (4.1) and (4.2) is that of Sp2(l).
is thus an isomorphism. While (4.2) is local, (4.4) is not local, but only
pointwise: If
U' E IIR,.,O(V\ER U R'), u = Su',
then the value u(v, x) at x e X is a linear function of the values of u'
and its derivatives at the points of the finite set RXRX'x n Suppu'.
The local character of the morphism (4.2) is made explicit as follows.
THEOREM 4.2. Let
Then
88 II,§1,4
where
x=RXZ, x'=Rzz, (4 . 7)
[dtx] 112 is defined in I,§3,corollary 3.
'IR.r is a linear function of the derivatives of the as (s <, r) of order < 2(r - s)
on V Its coefficients are infinitely differentiable functions of z E V\LR.;
these functions depend on V, R', and S.
Formula (4.6) retains a meaning for all UR. E y (V \ER, , R') and i E
V\ER U ER' ; therefore the following theorem results from the preceding
one.
is given at x' by
where
II,§1,4 89
a;(x') = a,(RX 1 x'), cp'(x') = cpR,(RX 1 x') for x' e Supp u',
in Supp u'; that is, the x' e Supp u' such that
As.+9',,=0. (4.13)
Let us write
i = AX 1x', R'z = (x', p'); that is, p' = q . e X*. (4.14)
p'+Ax,=0.
By I,§1,(1.11), this means that there exists p e X* such that
This set is finite since Supp UR. is a compact set in V\ER and RX is a local
diffeomorphism in a neighborhood of this compact set.
ii. Let us find the critical values of the phase (4.12). At a critical point
x' defined by (4.15), let
90 II,§1,4
Therefore at the critical point x' defined by (4.15), the value of the phase
(4.12) is (PR(4
iii. The square root of the Hessian of this phase (4.12) is given by I,§3,
(3.7):
J1/2.
where:
UR has the same support as OR. ;
defining x = RXi and x' = RXi, the value of OR at Z is
U = nRUR,
II,§1,4-II,§1,5 91
S = SA, SA.
Since the morphisms (4.1) and (4.2) are composed like the elements of
Sp2(l) that induce them, the compositions of the morphisms induced by
SA and SA, depend only on S = SA.SA; these are then morphisms induced
by S. Given UR. such that Supp UR c V\±R' U ESR', we can choose SA
sufficiently close to the identity so that tSAR, n Supp UR, = 0, whence
follow theorems 4.1 and 4.2, which imply theorem 4.3.
5. Norm and Scalar Product of Formal Functions with Compact Support
Let V and V' be two lagrangian manifolds in Z, V and V' their universal
covering spaces, R a 2-frame of Z, c°R and wR the phases of R V and R V,
0 and 0' the lagrangian phases of V and V. Let
with projections
U = IIRUR, u' = IIRU'R.
Definition 5.1. Under assumption (5.1) the scalar product of UR and
UR is the asymptotic class
(UR I UR) = (u I u') E (5.2)
(UR Ua)
where:
x=Rxz,d'x>0;
i and i are the points of Supp UR and Supp OR' projecting onto z.
In (5.4), fi(i) - O(z) is one of the periods of 0:
If V and V are transverse and intersect at a single point z that is the pro-
jection of a single point i of Supp UR and a single point i of Supp UU, then
1/2
2 li (UR I UR)
where
Proof of 1°), 2°), and 3°). u and u' can be written in the form
argil = argil' = 0.
We assume_V and V' are both given 2-orientations: If z e V, x = Rxi,
then
d'(Rxz) = d'x
is a function V - R
'1 n
We define Qo : V - C by
[d1(1x2)]h/2
f3 (2) = aR,o(2), where 2 e
(URIUR)= r
Qo(Z)Qo(fle"[V'(=)-PVC0]n
mod 1, (5.10)
J ZEV Z.Z v
where i and 2' are the points of Supp UR and Supp UU projecting onto z.
Notation. (Continued) Let 0 and 0' be the lagrangian phases of V
and V'[1, §3,(1.7)]. We make the same assumptions as in part 3 of theorem
5.1. Let il, and , E A,(Z) be tangent to the 2-oriented manifolds V
and V' at i and 2', respectively; let A and A' be their natural images in
A(Z). Let 10 (and lo) be the measure on A (and %') that is translation
invariant and equal to P1 (and rl') at i (and V and V' are assumed trans-
verse (as in part 3 of theorem 5.1); thus
II,§1,5 95
By (5.1) and part 1 of theorem 5.1, the two sides of (5.6) are zero unless
we assume
z E V\ER, z' E V'\R, (5.12)
that is,
RA and RI' are transverse to X*.
Substituting the expression (5.9) for aR.o and aR.o into (5.6) we obtain,
under assumption (5.12),
xz) xz )
mod 1 . (5.13)
V
L VI
(UR I UR)
112
q Od
l2 mod
V
(5.14)
where m is the Maslov index, defined mod 4 (I,§3,3) and rlo A 11o and d 21z
are the measures on Z defined, respectively, by (5.11) and (5.15).
LEMMA 5. 1°) The symplectic structure of Z defines a measure on Z that
is invariant under translations and under Sp(Z):
where
96 II,§1,5
d'(Axz) d'(Rz )I
arg Hess(rp - (p') = nm(1.4i A4) mod 4n. (5.17)
L
C n n'
Proof of 1°). The value of dp n dx on a pair of vectors z, z' is [z, z j
Proof of (5.16). Since RA and RA' are lagrangian and transverse to X
by (5.12), their equations have the form
RA:p = O(x), R.Z':p = (D ,(x), (5.18)
where 0 and 0' are two quadratic forms X -+ R. Since A and A' are trans-
verse,
Hess( - (D') 0.
thus
Proof of (5.19). Let us write down the equations of R..., RA', and X*:
RA:p = (D .,(x), R)':p' _ Dx(x'), X*:x" = 0.
The definition of Inert (I,§2,4) makes use of
z E R1., z' E RA', z" E X* such that z + z' + z" = 0.
Define
a° = 1 1r ar (6.1)
rEN v
98 II,§1,6
are infinitely differentiable. We give the vector space y °(0) the topology
defined by the following system of neighborhoods .N'(K, p, r, e) of the
origin:
K is compact in 0; p, r e N, Ee
a,+, (v, x, P)
r 1 08x' 8
] a° R(v,.x, p),
= CeXp 2v 8p
(6.3)
aR (v, P, X) =L Cexp 2v
- - `\8x
a 8p
a
I] ae(v, x, P)
define two automorphisms of y °(Z(l)) that are inverse to each other:
o +
aRHaR, o -
aR"aR.
Definition 6.2 of formal differential operators rests on the following
lemma.
II,§t,6 99
u = ae"°e.F(X),where a = E lrar.
reN V
v
where PP is a polynomial in the derivatives of a of order e 10, IhII and
in the derivatives of vcp of order e 12, h] (since qpx = 0). Each monomial
in Pti is a product of derivatives whose orders sum to I hI. Hence the power
of v in such a monomial is <, Ih1/2. The lemma follows.
(ax u) (v, y)
Ja'lhPhR ( l
x)e°o(Y,xl] lx=Y
(V, X, P) l )h [a(v, e"w(Yl
hl1 v
\ P=Wr(y)
l aR
1 a h [IhIc2_ vo(y.x ) "W(Y) (6.6)
h \v 2Ph
(v , p, x)a(v, x)e
J x=v
P W,(y)
e
x)]
a,
p, x)(
Y p)h v(v,
h! (V ax)h[aIhla_(v
k
1 a1zj+klaR(v, p, x) 1 a
uv
(, x )
= f j!k! (ap)'+k(v axy v ax
1 alk'aR (v, x,, p) (1
akll(V, X)
=: k! (ap) v OX)
because
j! (ap)'(v ax)'
[exp v ax ap
a a
] aR (v,= aRp,(v, x,x.p).
Justification of definition 6.2. Let us show that it is equivalent to the defi-
nition in section 1 when a° is a polynomial, that is, when aR is a classical
differential operator with polynomial coefficients in (1/v, x). In this case
(6.6) means
v<P,x-Y>]}Y x
(aRU)(v, X)
{a+ .
= v' x, P + V aX) `U(v' x)e
IP=(O,
Now
x)e-v(P.x-Y>]
= e-ti<P,s-Y>aR
aR (V, X, P + (V, X, ax)U(V, X).
V ax) `u(v, V
Notation. Denote
(aRU)(v, x) = aR (V, x,
v
-V,
ax) u(v, x) = aR (
V aX,
X) U(V, X).
THEOREM 6. 1°) The formal differential operator aR is local (in the sense
of part 1 of theorem 4.1); hence
Supp(aRUR) c Supp UR n Supp(a°).
2°) The mapping
`-V°(SZ) X .-(V\tR, R) 3 (aR, UR) r--+ aRUR E y (V\ER, R)
is continuous.
3°) Each S E Sp2(1) transforms aR into an operator
1
aSR = SURS-
defined as follows:
4°) The formal differential operators aR and bR are adjoint, that is,
c°(v, z) {[exp
- 2v (az' a?
)J [a°(v, z)b°(v, z')] }Z=: ; (6.10)
=
there
Proof of 3°.), 4°), and 5°). Apply I,§1 (theorem 3.1, theorem 3.2, and
lemma 3.2) to the special case in which a° is a polynomial. This special
case implies the general case, since (6.8) is continuous and the polynomials
are everywhere dense in.&°(SZ).
Corollaries 3.1 (adjoint of an operator) and 3.2 (self-adjoint operator)
of I,§1 clearly apply to formal differential operators.
7. Formal Distributions
In sections 1 and 2, it is not possible to replace .9(X) by .99'(X): the proof
of theorem 2.2 breaks down because So'(X), unlike Y(X), does not have
a countable fundamental system of neighborhoods of 0.
Definition 7.1. The algebra R) is the set of functions
f:V\ER-.C
that are infinitely differentiable and compactly supported. x = RXZ is
used as a local coordinate on V\ER.
Given a compact set K of V\ER and a positive number b, for every
1-index r, we let
The subsets of these B(K, {b,}) are by definition the bounded sets of
-9 U \tR, R).
Definition 7.2. The vector space R) is the set of linear mappings
f' : (V\R, R) - C
that are bounded on each bounded set of -9.
These f' are distributions; they have supports and derivatives of all
orders with respect to x = RXZ ; these derivatives are distributions. We
make the convention -9 c -9'; -9' is a vector space over the algebra -9.
II,§1,7 103
Then
1a
V ax
[1f'()]JdI x = IIV
d'x.
f ff,
f (Z) ax f (z
Given a bounded set B in -9(V\ER, R), we let
- «r
reN V
a "),tR
0. Summary
Synthesizing the properties of formal functions and formal differential
operators from §1, we define and study lagrangian operators, lagrangian
functions and distributions, and their scalar products in §2. These three
notions make up the structure called lagrangian analysis.
In section 1, we define lagrangian operators and study their inverses.
In section 2, we define lagrangian functions on the covering space V
of a lagrangian manifold V; their scalar product (' ) is defined when
I
a R= aR( v, x'
1 8 1_ _(v, 1 8 )
aR
v ax J - V X x
If
a(v,z) = ceC Vv, Z'
then a is denoted
a=c.
Formula (2.9) will justify the following definition.
Definition 1.2. Two lagrangian operators a and b associated to a° and
b° e F°(S2) are adjoint when
b°(v, z) = a°(v, z) Vv, z;
'
)I a°(v, z) b°(v,
(a° o b° o c°)(v, z)
l a a l a a 1 a a
exp -
2v az' aZ' - 2v LaZ' az" - 2v az ' 0z"
a°(v, z)-b°(v, z")}z.z-=. . (1.3)
II,§2,1 107
the right-hand side being the product in F ° of the values of a° and b°:
Proof. The equivalent conditions (1.7) and (1.7a) are necessary by (1.5).
Conversely, if these conditions hold, a right inverse a' of a is an operator
associated to an element
of °(S2) satisfying
)'a,(z)] z
Oz
such that 0 < Isl = Isl = r - t - t', t' < r. These conditions determine
a'. Therefore a has a right inverse and, similarly, a left inverse; these are
identical since the composition of elements of F °(Q) is associative. The
theorem follows.
The definition of scalar products (sections 2 and 3) will use the following.
c=
o I
Vzr Y., where Yr : Z - R, yo = 1,
reN
such that
c°oc° = Yb°ob°,
that is,
cosh 1
2v Yv
az aZa, J "" r v
zr Pr'
C
such that
ai = (bioc-1)*o(bioc-1)
constitute a partition of unity finer than the given covering Uk S2k = X.
2. Lagrangian Functions on V
Let Z be a symplectic space provided with a 2-symplectic geometry. Let
V be a lagrangian manifold in Z and let V be its universal covering space.
Theorem 4.1 of §1 justifies the following definition.
Definition 2.1. A lagrangian.function 0 on V is defined by the datum of
110 II,§2,2
We define
(UI U') _ Y_ (aaUIaj.(Y)E`'.
i.i'
The right-hand side is independent of the choice of partitions of unity
(2.6); indeed, if
Ibk=1,
k
>bk'=1
k'
_ Y (bk U l bkXP),
k,k'
behavior of U and U' at the pairs of points of V and V' projecting onto the
same point of V n V.
If VnV'=0,then (UIU')=0.
(aUI U') = (UJa* U') if the lagrangian operators a and a* are adjoint.
(2.9)
the phases of (U I U') being the periods of 0 (that is, the values of i f 7[z, dz]
on the cycles y of V);
where the notation is that of theorem 2.2 and z and z are the points of
Supp U and Supp U' projecting onto z in V. We have
0 '< (U I U) E'. (2.12)
The seminorm of U,
0 U U)112 E
1riJt/2 (U I U')
C2lvl 1/2
no A no
= I d21z
Y 0 (z mod 1
V
(2.14)
:Evn v,
where
21z
no A no and d are the measures on Z defined at the point z c- V n V'
by II,§1,(5.11) and II,§1,(5.15) respectively,
1 and 2' are the points of Supp U and Supp U' projecting onto z,
114 II,§2,2
Proof of (2,11). Use §1,theorem 5.2 and the fact that aU mod(1/v) is
multiplication of U by the function ao.
Proof of (2.12). We use a partition of unity [part 3 of theorem 1.2]
Yb*obi = 1
(bi UR; bi QR )
2 )1/2
(bi UR, I bi UR, )1' (b, UR, I bi UR,
)1112
that is,
but as
Clearly
116 II,§2,3
UR = URe(vo-v)WRI
rEN V
called the restriction of UR to vo, takes the same value at all points of
V having the same projection onto V Therefore we may write:
UR : V \ER - .y °.
Proof. Definition (3.7) makes sense: it defines U by a finite sum, since for
every 2 e V, there are only finitely many y such that yz e Supp U.
Clearly U is invariant under n1[V] and has compact support.
Since y commutes with partitions of unity (definition 1.4, theorem 1.2),
to prove (3.7) is an epimorphism it suffices to prove the following: Every
U E FO (V) with support in a simply connected subset w of V is the image
under (3.7) of an element U of .y°(17). This is proved as follows.
The connected components of the subset of V projecting onto w are the
transforms of any one of these components (b by the elements y of n1 [ V ].
Let U be the lagrangian function on V that vanishes outside th and equals
U in th; then yU vanishes outside y(b and equals U = yU in y(b, hence
U = Y yU.
Let us express the notion of restriction to v° more explicitly.
Definition 3.3. Let 5 be the ideal of F generated by the elements
e°9 - e'ow cp e R.
For any U E .F°(V), U' E -FO (V'), there exist U E .`°(V), U' e .f° (V') such
that
U = E TO,
YEidV]
U' =YEn1[V'I
E y' U'
according to lemma 3.1. By definition, the scalar product of U and U' is
(U I U') = (U I U')°, the restriction of (U I Cl') E .,H to v0. (3.9)
By theorem 1.2, it suffices to prove the lemma when the following two
conditions hold:
i. There exists a 2-frame R such that
ii. There exist two simply connected open sets, w in V and w' in V', that
are projected injectively into X under RX and contain the supports of U
and U:
SuppUcwcV, SuppU'cci cV.
The connected components of the subset of V projecting onto w are the
open sets yw in V, where y e nl[V] (see the proof of lemma 3.1). Given
x e RX Supp U, let
120 II,§2,3
We substitute this expression for 11R UR and the analogous expression for
11RUR into (3.10). Using definition 3.4 of .N' and (3.7), we obtain the
formula
The norm of U,
if the equality holds, then U and U' are proportional: either U = 0 or there
exists a c .F ° such that U' = a.U. Let
11z
mod 1 (3.15)
V'
^ 12
nodziZ mod-; (3.19)
o
zCVnV' V
in (3.18),
122 II,§2,3
in (3.19), -
Proof of (3.13). Use the preceding formula and part 2 of §1,theorem 2.3.
Proof of the Schwarz inequality. Suppose U and U' are not proportional.
Then there exists a e .°" and s a N such that
IS
U=aU'+ v
U",
where the lagrangian amplitudes $' and /3 of U' and U" are not propor-
tional. A classical calculation gives
It then suffices to prove that the right-hand side is > 0 in 3F°. In other
words, it suffices to prove that U and U' satisfy the strict Schwarz in-
equality when their lagrangian amplitudes fl° and j30 ' are not proportional.
Thus, from (3.17), we have
2
U112.1 U' I - I(U 101 2 = I!l°(Z)12q. fy I a(Z)12n
Jv
f°(Z)fia(z)n
whose value at z is
a°(v, z) = E 1 ar(z).
,ENV
f=(ft,...,f2.)
be 2n independent first integrals of (2.1) locally. Then there exists a dif-
ferential form m' such that
dw(z, dz) = m'(f (z), df (z)):
w(z, dz) = dfo(z) + rm(f (z), df(z)), where f = (fl, ... , f2.)- (2.2)
But do) has rank 2n, so J = n and f1, ... , fen are 2n independent first
integrals of the characteristic system of dw.
II,§3,2 127
E. Cartan has supplemented this lemma by using the notion of the Poisson
bracket as follows.
Definition 2. Let co be a pfaffian form that has been put in the form (2.3).
Let g and g' be two first integrals of the characteristic system of dw. Each
is then a composition:
z"g(z) = G[f1(z), ...,f2.(z)], z"g'(z) = G'[f1(z), ...,f2. (z)]
Then there exists a composition of the same type, called the Poisson
bracket of g and g' and denoted (g, g'), such that
n(dw)n-1 A dg n dg' = (g, g')(dw)". (2.4)
This bracket
(f2;-1, f2;) - 1.
Remark 2.3. Let g1, . . ., g9 be independent first integrals of the charac-
teristic system of dw. The restriction of w to a manifold
91 = const., ... , gq = const.
exterior form
Y- (9j. Ak
j, k
(^ suppresses the term that it covers). This relation expresses the existence
of pfaffian forms Oj such that
dw = Oj n df2j,
j=1
P = (PR,s(x) (3.3)
A =
a(PR(xl, ... , xk)
ax`
! OF.
j=k+1 ax
; 1 i < k, (3. 5)
where coR is the phase of V in R and x'.... , xk, Pk+11 ... , p, are local
coordinates on V; cp, is an arbitrary function of x', ... , xk when V is
arbitrary.
If k = 1, the equations of V reduce to (3.3).
If k = 0, Visa plane:
x = const., p arbitrary, cpR = const.
130 II,§3,3
Proof
1
+ 1 d< p, x> = < p, dx >
2 + I \\\
Pi + F; P;J dx'.
1=k+I ax
Then dw = 0 on V if and only if there exists, on V, a function WR of
(x', ... , xk) satisfying (3.5). The condition dim V = ! is that
(x`, xk, pk+I, , pI) be independent on V. Obviously cpR is the phase
of V.
dx' __ dpk
on W dj, k e {1, ..., !}, (3.7)
HR,Pi(x, P) HR,x°(x, P)
may be written
(dw)'-' A df n dH = O on W.
(dw)'
Then by (2.4) and (2.5), where we choose f2J_1 = p; and f2J = x' in order to
identify (2.3) and (3.2), condition (3.8) may be written
It does not hold identically; thus (dcow)'_1 # 0. But (dcow)' = 0; thus the
rank of d( ow 2(I - 1). Hence the equivalent relations (3.8) and (3.9)
mean that fw is a first integral of the characteristic system of do)w. Hence
this system is Hamilton's system (3.7).
Remark 3. As local coordinates on W we shall use 21 - 2 independent
first integrals of Hamilton's system (3.7) and a function t such that (3.7)
may be written
dx = HR,p(x, p)dt, dp = -HR. x(x, p)dt. (3.10)
in other words,
By (2.5), where we choose f2J_1 = p3 and f2J = x' in order to identify (2.3)
and (3.2), the Poisson bracket of g and g' is
HR(x, (Px) = 0,
in which the unknown is a function (p.
THEOREM 3.1. 1°) Hamilton's system (3.7) has (I - 1)-tuples
go,91, ,91-1
such that
1-1
w=dgo+ g3dh3 on W. (3.16)
=1
g1, ... y1_1, h1, ... , hi-1 constitute 2(l - 1) independent first integrals of
Hamilton's system (3.7). If t is defined by (3.10), then
ii. have the lagrangian manifolds in the space Z(1 - 1) with the coordinates
phase of V is given by
Oh;
<i<l-1. (3.21)
If k = 0, it means
It = const., g arbitrary, F0 = const. (3.22)
are replaced by
:-1
Z(1 - 1), x', p' [see (3.18)], B, dFo = Y_ g;dh; on B,
j=1
Y.q = 0. (3.24)
134 II,§3,3
Since, by definition,
d(i,,j) = 0. 3.25)
THEOREM 3.2. 1°) Using the local coordinates x = Rxz on V\ER, the con-
dition that
rl(z, dz) = XR(x)d'x, where xR : V\ER - R, (3.26)
more explicitly,
dXRR +
L =1
j P)
4. Calculation of aU
The definition of a lagrangian operator, that is, formula (6.6) of §1, can be
expressed more explicitly as follows.
Notation 4. Let a be a lagrangian operator associated to a formal
function
1
a°(v, -) = I a°(-)
r.N yr
aR v'
X,
v fix
[«(x)evw.(s)]
= etiNR(x)Lr
(X, )x), (4.1)
L° = 0, L, (X,Oxa = Xa2dt(«X-112),
where d/dt is the derivative along the characteristic curves of W [see (3.10)],
that is, the Lie derivative s,.
136 II,§3,4
Lo=L,=...=Lm_,=0,
) (aXReZ)ifm oc.
L.(X'ax)a(X)- ,RZM(-,dt
The differential operator M depends on a and W but is independent of
V and R. It is not identically zero on W. Its order is <m, with equality
holding only if m = n.
In general, m = 1. Hence, if n > 1, then L, is generally multiplication
by a nonzero function.
4°) If a° = H and if HR is polynomial in p of degree s with principal
part H('), then
L,=0forr>s,
exp2
1/a (4.s)
l \3x' L)1 R
L(x, P) HR (x, p).
lr (VI x,
I
ax
r 1 2-111 ° (a Jo
aRx1p1+Jo+...+: (v, x, 9R.x'
k k! r.Jo.....J' I !J° !... Jk! Ox
(4.7)
either k = 0, III = 0, I J° I = 1;
or k = 0, III=1, IJoI=0;
or k=1, III=0, IJoI=0, J1I=2.
Thus
d c'a 1
L1
X, fix) a HR.P(X, coR,x) + 2 j H,,,., (X, p)
j=1
+jIi k-1
I
where
no = n and °b° is not identically zero on W if n oc,
no = k + 1 and °b° = 0 on W if n = oc.
Since
= VCR (V, X, V OX
138 II,§3,4
aR CV, X,
V (X j Vj'bR X,
V
X) O [HR CV, x,
V (x)]
CVO
mod 1
Vk+ 1
where
hk, nj> 0
nj=k+ Iwhen 0onW.
By part 1 of the theorem,
n
HR v. x, [a(x)eP,(z)]
= 0 mod i. (4.9)
v ax)
Let
m(k) = inf (J + n j
jE{o,...,k}
aR Cv X, 1 S) [a(x)evv-(Y)]
V ax
-0
m1
[2(x)e°'"(s)] mod +i
jY vj ib0(Z)[HR (V. X, v (x
II,§3,4-II,§3,5 139
where
1 <m<, n,
J is finite and nonempty,
0 e J if and only if m = n,
jb° does not vanish on W.
Therefore, by (4.3)2 the relations (4.4) hold with
III <- S.
In other words,
\
L(X, p) _ )H(Xp),
(i-, P/
where it is possible to replace E j=O by XT .0, which gives (4.5).
1 °WA
UR = xR re
rtN
XR1;2(X)aR,o(X)
dt)fJo(z) = 0, where Qo(z) = (5.1)0
M(z'
is the lagrangian amplitude of U, which is independent of R.
Theorem 2.2 of §2 supplements equations (5.1) as follows:
XR 3r- 112OCR
r is infinitely differentiable on V, (5.2)
Let us show how conditions (5.1) and (5.2) enable us to solve the equation
aU = 0 using a single frame R.
LEMMA 5. Let K be an arc of a characteristic generating V. Assume that
the principal coefficient of M does not vanish on K.
1°) Let z' c- K. Let U' be a solution of the lagrangian equation aU' = 0
defined in a neighborhood of z' in V. Then there exists a neighborhood of
K in V on which the equation aU = 0 has a unique solution U such that
U = U' in a neighborhood of z'.
2°) Let R be a frame such that ER is transverse to K and XR' does not
vanish to infinite order on K n ER. Then UR is the expression in R of a
lagrangian solution U of the equation aU = 0 in a neighborhood of K
if and only if UR satisfies (5.1) and (5.2).
UR = ; IaR,,e
rcN V
'wR
defined mod(1/v`) on V.
6. Solutions of the Lagrangian Equation aU = 0 mod(1/v2) with
Positive Lagrangian Amplitude: Maslov's Quantization
Definition 6.1. We call an infinitely differentiable function
H: S2 - R (S2 an open subset of Z)
such that H. 0 on the hypersurface W given by the equation
W: H(z) = 0
a hamiltonian.
In classical mechanics, Hamilton's system (3.7) governs the movement
of particles and, more generally, that of holonomic mechanics.
Let a be the lagrangian operator associated to a hamiltonian H; then it is
self-adjoint (§1,6). Solving the equation
aU=0modIV2
amounts to finding lagrangian manifolds in W having an invariant measure
that we assume is chosen > 0.
Indeed, by (4.3), equation (5.1)0 is written
dfl0 =0
dt
and means that the lagrangian amplitude of U is constant on each of
the characteristics generating V. In other words, floe is invariant.
We require it to be > 0. In other words, we require that the lagrangian
amplitude Qo of U satisfy the condition
(Recall that this is the case in physics, where the amplitude should change
more slowly than e°' and not oscillate around the value 0.)
Definition 3.2 (§2) of lagrangian functions on V requires the datum
of a purely imaginary number vo that will be denoted by
d`x
being defined (that is, uniform) on V. From the definitions of (d'x)112 and
,111/2 (I,§3,corollary 3 and II,§2,theorem 2.2), this condition is the following.
aU=0mod z
V2
a(')U=...=ac1'U=0 V
mod12
= dgo + Y- gj dH c>> ;
J=1
YKl7 =Q VJ.
since the H(') are independent, that is, since they satisfy (7.1)1, this condi-
tion can be expressed as
/Jo is constant on V.
Then, by section 6, the condition that U be lagrangian on V mod(1/v)
is equivalent to Maslov's quantum condition.
Proof of 2°). By §2,(1.1), the commutator of a(') and a(k),
ja(i), a(k)I = a(1) o a(k) - a(k) o a(1)
- 2 {sinh H(j)(z)H(k)(Z')j
2v a]
[-Oz-, az' -Z
since .H(') and H(k) are in involution, this formal function vanishes
148 II,§3,7
so that
thus, by (7.6),
[yxh zJ = 0
Then, if V is compact, the infinitesimal transformations , Yx'
generate an abelian group of homeomorphisms of V, whence 2°).
We supplement theorem 7.1 as follows.
THEOREM 7.2. Let a(') (j = 1, , 1) be lagrangian operators that commute
with each other and are equal mod(1/v2) to operators associated to l inde-
pendent hamiltonians H(') [that is, satisfying (7.1)1]; these hamiltonians are
then in involution [that is, satisfy (7.1)2]. Let us study the problem of defining
mod(1/vr+'), on a connected manifold V, a lagrangian solution U of the
system
Assume that conditions i) and ii) of theorem 7.1 are satisfied; indeed they
are necessary. Then this problem has a solution U if and only if, in addition,
the following two conditions are satisfied:
iii. A solution of (7.7)r_ 1 has to exist on V (we assume it is explicitly known).
iv. A function f -+ C that is defined by integration of a closed pfaffian form
on V\ER, and by the condition that it have polar singularities on ER, has to
be a function V - C. (Knowledge of this function explicitly solves the
problem.)
II,§3,7 149
When (i), (ii), (iii), and (iv) are satisfied, then the solution U of (7.7), is
defined on V up to a factor that is a formal number with vanishing phase.
Preliminary to the proof. Let R be a frame of Z; let V satisfy (i). We
restate theorem4,1°),2°) as follows. Let /3: V\ER -+ C; then
a(i)+(v x, 1 O
I
(Xx2 (x) 3(x)e'`°",
R
VOX/
;C'n/2(x)ev9-(s) rY (7.8)
V' Mr (x' OX) /3(x),
pression for d/3, given by this system be a closed pfaffian form, is expressed
by
r+1 r+1
M i o Y Msflr+1-s - M i o MS J3,+1-s = 0
s=2 s=2
or, replacing s by s + 1, by
s=1
k+j
M+1 //
° Ml'r-s + Ms+lk ° Mr+1Yr-s-1
s.1
J
- 0,
where Es.r signifies Es-1 Ei-i ; that is, I,, extends over the set of integer
pairs (s, t) such that
1 ' < s, 1 ' < t, s +t < r.
In other words, (7.11) implies
r r s-1
MS+1 ° Mi#.-s + MS r+1 0 Mt+1flr-s = 0,
s=1 s-2 r-1
and similarly
r r s-1
J
Ms+1 ° M1 /3, s +
Mk Mr+1
J Mk
° Ms r+1 /3, s = 0,
S=1 s=2 t=1
We shall extend a result of [8], section 8, and elucidate its proof; by doing
this we shall generalize theorem 4 of §3.
Notation 1. Let a be a p x p matrix whose elements a" (m, n = 1, ... ,
p) are lagrangian operators associated to formal functions with vanishing
phase; they are elements of a matrix
Let a = {al, ..., a,,} be a vector whose components are infinitely dif-
ferentiable functions
am. r \Y'R - C;
x will serve as a local coordinate on V\ER,
Let q = XRd`x be a positive invariant measure on V (§3,3).
THEOREM 1. 10) We have
aR (v' x' V ax
[a(x)eYwR(x)] =
reN
v evwR(x)L,
{ x,
`\ Ox
)x) , (1.2)
2°) Suppose detb = H. There exist two nonzero p-vectors f and g that
are functions of z e Z such that on W
II,§4,1 153
(g(x,'PR.X), Lo(x)a(x)> = 0.
This formula is supplemented by the following, where y is an arbitrary
function V\ER -- C, and where d1dt is the derivative along the characteristic
curves of W, that is, the Lie derivative PK :
a = aR, (P = (PR(X),
a6 m x , p)
b' = b n ( x, 1Pz), b nz = na ,
P=N.
a9n(x, P)
9
Op = w:
so that
I n
abm 1
where x' and p; are the components of x and p (1, j = 1, ... , 1). By the
definition of a+ in §1, (6.3)-(6.6),
an m (V, x,
V ax
e"'bn (x, Pz)am + eV b P' as
l
1
bnP,P;(Px'x' + bn ;Pl + cn I or. 1J
+ (2
1
mod
V
1
2im,n9nasi(bv;fm)+ E9ncnfnl ;
+
hence by (1.5) and the definition of d/dt on W,
where
1
J 2 E 9nbnp ; 2 Y axjbnp fm + 9nCnfm
j, m, n j, m, n M' n
a 1 dx1e.
Y- Hpj _ dt
ax, XR
(Yg-b-) a I = 0;
axj
hence (1.11) can be written
_ bn m 9n
fm
afm ab ag nm
J= 1
Y- + 9 Cn fm-
2j mn axj axj axj m,n
fm
m p; np; 9v,
By (1.9), this is
-bm
fm n 9n
J=1 Y- ,nx'
m
nx' 9xn ' +
nm
9 Cn fm, (1.12)
2j,mn m,n
fmp
m
n p;
because
156 II,§4,1-II,§4,2
n
9
bnpi
m n
r"PI gPl (Px'x' = 0,
m,n m,n
Hence, on W, where H = 0,
t a' U. = 0 (2.1)
M=1
Let
UR = 1
V
OfR,,e N
reN
II,§4,2 157
By (1.6), it implies
9(x, PR,x), Y- Ls
S=1
x, )R.Sx)) = 0. (2.4),
where
aR.,XR 3P-1/2 and thus YR,,XR 3r-"Z are infinitely differentiable on f/, (2.7),
even at the points of tR; recall that XR' = 0 on ER.
Lemma 5 of-§3 is easily extended. It shows that the conditions (2.5),,
(2.6) and (2.7), make it possible to solve the system aU = 0 using a single
frame R. More precisely (compare §3, theorems 5 and 6), the following
theorem holds.
THEOREM 2.1. Let V be a lagrangian manifold in the hypersurface W
defined by (2.2); let V be its universal covering space. Let R be a frame.
Let n = xRd'x be a positive invariant measure on V; assume that xR' does
not vanish to infinite order on ER ; assume that ER is transverse to the
characteristics of W that generate V. Then
UR = Y 1IR
Vr
,e'9 x
rEN
aU = 0
model,.
U = U'f mod 1.
V
H(k)E + J(k)
1V
where E is the µ x µ identity matrix, H(k) : 0 -. C, and j(k) : 0 - C"' is a
p x µ matrix. Let V be the manifold given by the equations
V: H")(z) = ... = Hcn(z) = 0. (3.1)
d 21z
n
dH'1' A A dH"' V
a'k) U = 0 mod
V2
ldk
if and only if U is defined on V and the lagrangian amplitudes /3 =
(/31, ... , of its components satisfy the system of first-order partial dif-
ferential equations
(H(k), Q) + J(k)$ = 0, where Q) = ./ 4k) /3
where the elements w' of the p x p matrix co are pfaffian forms defined
on V. In addition to (3.3), /3 has to satisfy the "quantum condition"
1/z
d`xl /3e"°w': VEER - C°
2evw. L(k)
aR+(k) CV, x, x a mod vz , (3.8)
v 8x) U v
(XI
(3.10)
Ctk
By theorem 4 of section 3,
is a it x u matrix whose elements are pfaffian forms. Since the a)) com-
mute, the Lik) defined by (3.8) commute, which by (3.11) is expressed
OJ(k' OJ(i) + j(i)j(k)
- J(k)Jci) = 0 (3.13)
Oti - Otk
or, by (3.12), d(w = 0.) A co. This is the condition of complete integrability
of the system (3.4). By (3.10), this condition is also expressed by (3.7).
III Schrodinger and Klein-Gordon Equations for
One-Electron Atoms in a Magnetic Field
Introduction
where aL= and am are the lagrangian operators associated to the first
integrals L2 and M. Here theorem 7.1 is applied. Three integers introduced
by the Maslov quantization,
1, m, n such that I m < I < n,
characterize the equations having solutions (thus the energy levels) and
also the solutions. These are Schrodinger's three quantum numbers. The
lagrangian manifolds on which these solutions are defined are 3-dimen-
sional tori T(l, m, n) [see theorem 7.1, 2°)], given by the equations
T(l, m, n): H(x, p) L2(x, p) - const. = M - const. = 0.
These constants have the same values as in (1) and depend on (1, m, n).
In §2, we determine solutions of the lagrangian equation
a U = 0 mod 12 (2)
that are defined mod(]/v) on a compact lagrangian manifold V and that have
lagrangian amplitude > 0. This amounts to a formal problem analogous to
the boundary-value problem whose study constitutes the classical study of
the Schrodinger equation; the condition concerning behavior at infinity in
the classical problem is now replaced by the condition that V is compact.
Always, the condition of existence is the same: it is characterized by a triple
of quantum integers; but the solution corresponding to such a tripel is not
necessarily unique.
In §3, we determine solutions defined on a compact lagrangian manifold
of the lagrangian system
aU = (aL2 - const.)U = (aM - const.)U = 0, (3)
where the constants are formal numbers that are real mod(]/v2) and H
is the hamiltonian of the relativistic or nonrelativistic electron; then a, aLs,
and aM commute. Here theorem 7.2 is applied. Solutions again are charac-
terized by a triple of quantum integers (1, m, n). Solutions of problem (1) are,
mod(]/v), those of problem (3).
In §4, we recall the problem classically posed regarding the Schrodinger
and Klein-Gordon equations: to find a function
u:E3-C,
that is square integrable-as is its gradient-and that satisfies the partial
differential equation
au = 0. (4)
differs essentially from that of the preceding problems. We observe that all
these problems define the same energy levels, but we do not explain why this
happens.
The difficulties encountered in §2 and the length of the calculations
used in §3 and §4 contrast with the simplicity of §1; §1 justifies the following
conclusion.
CONCLUSION Applying the Maslov quantization (I1,§3,6 and 7) to an
atom with one electron placed in a constant magnetic field gives the ob-
servable quantities the same values as does wave mechanics. However, the
Maslov quantization is directly related to corpuscular mechanics, hence to
the old quantum theory. Nevertheless it does not have the shortcomings of
the old theory. It has a logical justification (chapters I and II); it does not
require the determination of the nonquantized trajectories of the electron,
but only the knowledge of the classical first integrals L and M of Hamilton's
system, which defines these trajectories.
The probabilistic interpretation of this quantization is the following:
In the state defined by a choice of a triple of quantum integers (1, m, n),
the point (x, p), representing both the position x and the momentum p of the
electron, belongs to a 3-dimensional torus T(l, m, n) in the 6-dimensional
space Z(3) = E3 O+ E3; the probability that (x, p) belongs to a subset of
T(l, m, n) is defined by the invariant measure q on this torus T(1, m, n)
[see §1,(3.16)].
Remark. Let
(1, m, n) 0 (1', m', n')
be two distinct triples of quantum integers. They define (§1) tori whose
intersection is empty:
T(l, m, n) n T(1', m', n') = 0.
Let U and U' be two lagrangian functions defined on T(1, m, n) and
T(1', m', n'), respectively. Then their scalar product is [II,§2,theorem
3.2,3°)]
(UI U') = 0.
Historical note. V. P. Maslov did not give this application of his quanti-
zation. He only studied the case of quantum numbers tending toward
infinity, that is, the "correspondence principle" in quantum mechanics.
166 III,§1,1
P = Y_ Pj1j'
J=1
Then the vector 13 has a priviledged role: it will be, for example, the
direction of the magnetic field producing the Zeeman effect.
In E 3 Q E 3, the characteristic system of d< p, dx) is
dx = dp = 0.
Every function E3 m E3 -+ R is a first integral of this system. Thus the
III,§ 1,1 167
Let us now define the functions ff explicitly. Let (J1i J2, J3) be the
orthonormal moving frame, defined for L 0, such that
x=RJ1i x n p=LJ3,
which implies
p = QR-1J1 +LR-'J2, P 0 0, R 0.
such that
by (1.6).
In order to transform this formula into a formula of the form (1.4),
168 III,§ 1,1
let us introduce the Euler angles CD, `P, and O; these are the parameters
of the frame (J1, J2, J3) that are defined as follows for J3 ±13, that
is, IMl < L:
0 is the angle between 13 and J3 ; 0 < 0 < it;
a rotation by CD around 13 transforms (11,12, 13) into (I1, 12, 13) such
that
12sinO = 13 A J3;
a rotation by 0 around 12 transforms (Ii,12, I3) into (I' l, I2, J3);
a rotation by `P around J3 transforms (Il, I2, J3) into (J1, J2, J3).
It is obvious that
M = L cos 0, (1.11)
hence, by (1.15),
d3x A d3p = LR
R
A dQ A dL A (01 A (02 A (J)3,
d 3x A d 3 p= dL A dM A dQ A R A dD A d`P. (1.17)
90,91+92,93,
111,§ 1,2 171
such that
< p, dx> = dgo + g1 dL + 92 dM + g3 dH. (2.3)
W is the union of the V [La, M0]. By theorem 7.1, of II,§3, V [LO, M0] is
a lagrangian manifold. It is the topological product of
the 2-dimensional torus with the coordinates D and T mod 27r,
a connected curve I [Lo , M0] in the open half-plane with the coordinates
Q, R > 0.
The equation of this curve is
c [L, M] _ _ dQ . (2.7)
[L' - fr[L,M] RHQ -fr[L,M] RHR'
172 III,§1,2
N[L , M] = 1 f r[LM] R
1 dR
>0 Q . (2 . 9)
The properties of the functions ) and µ thus defined will be specified in §2.
Now we can give the explicit expression of the restriction of (2.3) to W.
LEMMA 2. 1°) The restriction of the pfaffian form
w=<p,dx>
to Wis
cow=d(S2+L`P+MD)-O +`P)dL-(µ+(D)dM. (2.11)
dQ ,dL=dM=0.
RHR[-]
(2.14)
4°) On W
d 3x A d 3
PI _ dL n dM n dt n d(D n d`)'. (2.15)
dH w
Proof of 1°). Use the expression (1.14) for <p, dx> in Z and the ex-
pression (2.10) for Q dR/R on W.
Proof of 2°). Lemma 3.2 of II,§3 (E. Cartan) proves that (2.12) is the
characteristic system of dww and that dww has rank 4. Now, by (2.11),
dww, =dL n d(.1 +`Y)+dM n d(µ+(D);
thus the four functions (2.13) are first integrals of this system (see E.
Cartan's definition of a characteristic system, II,§3,2). The pair (L, M)
and (2 + `F, p + 1) are in involution by remark 2.2 of II,§3.
Proof of 3°). The same lemma (E. Cartan) and the expression (1.14) for
<p, dx> prove that the characteristic system of dw,, is
dR d`P _ dD dQ _ dL _ dM
RHQ[L,M,Q,R] HL[ HM['] RHR['] 0 0 '
H = 0;
dx _ dR _ d'Y _ d) _ _ dQ
dL = dM = 0
Hp(x, p) RHQ[L, M, Q, R] HL HM RHR'
d 3x n d3 p= dL n dM n dH n dR n d(l) n d'Y,
RHQ
where, for H = 0,
dR
= dt mod(dL, dM)
RHQ
by (2.14); hence (2.15) holds, the following meaning being given to its
left member:
d3x A dap
dH 1W
aU=(aL=-LoU=(aM-Mo)U=O
2)
mod v 1 (3.1)
.1)
H, L2, M,
which are in involution; Lo and MO are two real constants such that
IM0I < Lo.
From theorem 7.1 of II,§3, solutions of this system are lagrangianfunc-
tions U with constant lagrangian amplitude, defined mod(1%v) on those
manifolds V[L0, M0] defined by (2.4), whether compact or not, that
satisfy Maslov's quantum condition (II,§3, definition 6.2). V[L0, M0] is
chosen to be connected. The measure nv on V, which is invariant under
the characteristic vectors of H, L2 - Lo, and M - M0, and which serves
to define the lagrangian amplitude, is
III,§1,3 175
nv = dt A d' A dW (3.2)
Zh
cOR° - 1 MRo
(whereh =
i
o
is real
mR° _
[i-p] - [V [L0, M0] (3.5)
77
R
The global expression for mRo follows from the two local expressions (3.9)
and (3.10).
By (3.4) and (3.5), Maslov's quantum condition may be formulated as
follows: The function
+ Lo _
HQ 1 `P Mo do
1 arctan
h 2n 4n HR h 2 27c it 2n
is defined mod 1 on V[L0, Mo].
If V[L0, Mo] is compact, that is, if the curve F[L0, Mo] is a closed
curve, by (2.9) this condition is that
1M
IN[Lo, M] LO - 1,
h
0 + 1,
2 2 h°
be three integers. Denote them by
n-1, 1, m
Lo-2=1, 1MO=m
Imll<n, (3.11)
thus V[L0, M0] is a torus, which will be denoted by T(1, m, n); the co-
ordinates at a point of this torus are
t mod c [L 0, M0] defined by (2.6)-(2.7), `P mod 27t, b mod 2n.
(3.13)
2°) The noncompact manifolds Y [L,, M0] defined by (2.4) such that
there exist two integers
1, m
then the solutions of (3.1) defined on V[L°, M°] are lagrangian functions
with constant lagrangian amplitude.
Remark 3.1. From now on, we shall limit ourselves to the study of com-
pact lagrangian manifolds (for example, that of the electron belonging to
an atom).
Remark 3.2. The characteristic vectors of LZ - Lo and M - M° are
KL2_L0:dL=dM=dt=0, d'h=2L°, d(D = 0, (3.17)
Proof of (3.17). It follows from (1.2),, then (1.5), and (1.6), and finally
(1.5), and (1.12) that KL2_LQ is the vector tangent to V[L°, M°] such that
M, t, T, (D)
dx = 2LLP = 2(R2p - Qx) = 2LRJZ = 2LOx(L,
OT
This proves (3.17).
Proof of (3.18). It follows from (1.1), then (1.5), and (1.12), that Km-m, is
the vector tangent to V[L°, M°] such that
8x(L, M, t,'P, (D)
dx = (-x2, x1, 0) =
O(D
Remark 3.3. In agreement with theorem 7.1,2°) of II,§3, when the mani-
fold V[L°i M°] is compact, hence a torus, the characteristic vector of H
[see (2.14)],
x:dL=dM=0, dt = 1, dP=HL, d'P=HM, (3.19)
t modc[L°, M°],
NL[L°,
'P + A[L0, M0, t] - M t mod 2n,
c[L0, M0]
:p + p - NM t mod 2ir.
c
111,§ 1,4 179
H [ L , M, Q, R ] = Q2 - K[R, M]]
[L2 + . (4 . 2)
2 1 2
P(._)H(xP)
7x' = 0,
where
A = 1:3J=' a2iax;,
the multiplication by any function of R commutes with the operator
v
1(XI a - Xz a
Cxz ax,
Example 4. We call the operator associated to the hamiltonian
180 III,§1,4
We provide this torus with the invariant measure (3.16); then the solutions of
(4.9) defined mod(l/v) on T(l, m, n) are the lagrangianfunctions with constant
lagrangian amplitude.
Notation. (Related to physics and used only at the end of this section)
In E3, we choose an electric potential sago : E3 -+ R and a magnetic
potential vector ('41, d2, a3): E3 - E3 satisfying the physical law
= 0; (4.13)
i=i axi
they are time independent.
The trajectories in E3 of the relativistic or nonrelativistic electron of
mass µ and electric charge -F < 0 are the solutions of Hamilton's
system, defined by the hamiltonian given by
sii(z)12-E
H(x,p) = 1 CPi +
c
- Fsdo(x) (4.14)
2µi=1 J
in the nonrelativistic case, and by
sii(z)12
H(x, p) = 2µ iY-i [pj + - 2µc2 [E + 2 + iµc2 (4.15)
Then by// I1,§1,(6.3) and II,§l,definition 6.2, in the nonrelativistic case the
operator associated to H is the Schrodinger operator
a= v2 0 + ce Ed'(x) v ax j + c2
E (x)1 -E - Fdo(x), (4.16)
2µ i i
182 III,§1,4
(4.17)
(4.18)
[P2 + c .M - 2µE - Zl
H(x, p) = Z 2µR2 (4.19)
µ
in the nonrelativistic case, and
(4.22)
F(n, k) = 1
2
. (4.23)
aZ
1 + 2
These solutions of (4.9) are defined on the tori (4.12). Let us provide these
tori with the invariant measure (3.16); then these solutions are lagrangian
functions, defined on these tori, with constant lagrangian amplitude.
Remark 4.2. Physicists, neglecting j32 and j3a2, simplify (4.25) as follows:
±E uc2F(n, I + Z) + f.#°m.
The minus sign concerns antimatter (u < 0).
Remark 4.3. The energy levels (4.24) and (4.25) are those given by the
study of the partial differential equation
184 I I I,§ 1,4-III,§2,0
au = 0,
whose unknown u:E3\{0} -+ C and its gradient have to be square in-
tegrable (III,§4).
0. Introduction
Summary. In §1, we studied problem (1) (introduction to chapter III),
that is, a system of three lagrangian equations. In §2, we study the first of
these three equations and, more precisely, problem (2) (introduction to
chapter III).
Each solution of problem (1) is a solution of problem (2), by theorem 3
of §1. In the exceptional case of a hamiltonian H independent of M (for
example, Schrodinger and Klein-Gordon without a magnetic field), a
rotation in E3 acting simultaneously on x and p obviously transforms
solutions of problem (1) into solutions of problem (2) that are no longer
solutions of problem (1). Without considering this exceptional case,
theorem 1 of §2 constructs solutions of problem (2) that are not solutions
of problem (1): a solution of problem (2) defined on a torus T(l, m, n) (theorem
3 of §1) is not necessarily unique up to a constant multiplicative factor.
On the other hand, theorem 2 shows that even if H depends on some
parameters, these tori T(l, m, n) are, in general, the only compact lagrangian
manifolds V on which solutions of problem (2) are defined. Moreover,
theorem 3.1 specifies that in the Schrodinger and Klein-Gordon cases
problems (1) and (2) define the same energy levels: the classical levels.
Remark. Theorem 1 of §2 does not have any physical significance: it takes
into account the condition that some numbers, which in the Schrodinger
and Klein-Gordon cases are measurements of physical quantities, take
rational values.
CONCLUSION. Let us call a problem that when posed for the Schrodinger-
Klein-Gordon equation has the essential features of the classical problem
(4) (introduction to chapter III) a well-posed problem. Problem (1) is well-
posed by theorem 4.2 of §1. From the preceding remark, the main result of
§2 is that problem (2) is not well-posed.
III,§2,1 185
are defined
Given a function
F: (L,
M, t M, t].
Obviously
A,R=A,Q=0.
186 III,§2,1
(that is, L,, M,, and N, are integers with greatest common divisor 1). Then
K = K is a closed curve given by the equations (1.1).
More precisely, the equations (1.1) define an open curve R (that is, a
curve homeomorphic to R) in R3. By (1.5) and (1.6), the subgroup 2 of Z3
generated by (L1, M,, N,) leaves ft invariant; we have
K=K=R/Z. (1.7)
2°) Assume that NL° and N,M° are connected by a unique affine relation
L, NL,, + M, NMO = N, (1.8)
1°) G is discrete, that is, C = G. This is the case if and only if NL° and
NM° are rational (use the rapidity of convergence to an irrational number
of its rational approximations given by its continued fraction develop-
ment), that is, if and only if (1.6) holds. Then K = K; the elements of the
subgroup Z of Z3 leaving invariant the curve R c R3 given by the
equations (1.1) are the rl, l;) in Z3 such that
N1 = L1C, N,tl = M1 C-
By (1.6)4, N1 divides C. Thus Z is generated by (L1, M1, N1) E Z3.
2°) dim G = 1. Then G is the set of (0, t) e R2 satisfying a condition
of the form
L10 + M1t E Z, where L1, M1 E R; (1.17)
By (1.13), the three elements (1.14) are contained in Z2. On one hand,
(1.14)1 generates the subgroup of Z2 given by the equation
=0,
because G.C.D.(M2N3, M3N2) = 1 by (1.12)1, (1.13)2, and (1.13)3. Thus
G.C.D.(N3, M3) = 1, which implies that the values taken by in the
subgroup of 22 generated by the elements (1.14)2 and (1.14)3 are all the
multiples of L2. Thus, by (1.18), the three elements (1.14) of Z2 generate
2.
3°) R2. By (1°) and (2°), G = R2 if and only if NL° and NM° are
not connected by any affine relation with integer coefficients. If G = R2,
then K is the image of R3 under (1.2); thus K = V[L0, M0].
Invariant measures on V[L0, M0]. Recall that V[L0, M0] has a measure
> 0 that is invariant under the characteristic vector K of H [(3.2) of §1] :
III,§2,1 189
tlv = dt A dO A dW.
Every measure on V [LO, M0] that is invariant under K is the product of
tlv and a function V[L0, Mo] -+ R that is invariant under K, that is,
constant on the closures k of the characteristics K of H staying on
V[Lo, Mo].
Then the following lemma is an obvious consequence of lemma 1.1.
LEMMA 1.2. 1°) Suppose that NL° and NM,, are the rational numbers (1.6).
Then the characteristics of H staying on V[L0, Mo] are the closed curves
given by the equations
2n
M2
N,
27c
= L2N3, 2n -
L2
Nl
= 2n
M2 N3,
respectively, where
where co is a constant defined mod 27t. The measures on V[L0, Mo] that
are invariant under the characteristic vector K of H are given by
F[L1(`P + A) + M1(b + u)]'lv, (1.21)
staying on V[L0, Mo] is V[LO, Mo]. Every measure on V[L0, Mo] that is
invariant under the characteristic vector x of H is given by
const. g v . (1.22)
12
aU = 0 mod (a is the operator associated to H)
V
with lagrangian amplitude >,0 may be defined are defined by the condition
(3.11), (3.12) of §1: there exist three integers
1,rn,n
such that
Iml 1<n,
Lo = h(l + i), Mo = hm, Lo + N[LO, Mo] = hn.
2°) A necessary and sufficient condition for the solution U defined on such
a torus to be unique up to a constant factor is that the derivatives of N,
R dQ n dR + dJ n dL + dp n dM = 0,
[j_dR+d1]AdL+[!jy-dR+dp]AdM=o;
RQ
thus there exist three real numerical functions p, a, and r of (L, M, t),
defined when HQ * 0, such that
dA _ -
RddR + p dL + a dM,
RHQ
L
,u = - dR + a dL + T dM.
RHQ
By the expression (1.5) for A. and O,u and definition (2.6) of tin §1, these
relations imply
A,p = 21tNL1, A,a = 21tNLM, O,t = 21tNMz, (2.2)
p = RLHL
RHQ
+ L, a = RMHL + M = RLHM + AL,
RHQ RHQ
RMHM
T = + AM;
RHQ
thus
+ i.L/M - MAL-
192 III,§2,2
Since H[L, M, Q, R] = 0,
HRRL+HL +HQQL=HRRM+HM+HQQM=O.
When HR :j6 0, these relations make it possible to eliminate RL and RM
from the preceding expressions for p, a, T, and pr - 62; by assumption
(2.2) of §1,
HR # 0 when HQ = 0;
hence:
LEMMA 2.1. The functions
2 2
P HL HLHM HM
+ RHQHR'
+ RHQHR,
Q + RHQHR,
PT - a2 +
1 _
RHQ HR [Hi 12M - HLHM(uL + AM) + H2 AL]
are bounded in a neighborhood of the points where HQ = 0.
Properties of compact lagrangian manifolds V in W. V is generated by
characteristics of H with compact closure, which thus stay on tori
V[L0, Mo]; then the functions
L, M, N = N [L, M], c = c [L, M]
are defined on V.
Let V2 be the open subset of V where dL A dM 96 0 if it is not empty.
When dL A dM = 0 on V, let Vt be the open subset of V where (dL, dM)
: 0 if it is not empty t3) Then Vt and V2 are lagrangian manifolds, not
necessarily compact, that are generated by characteristics K of H with
compact closures k; they contain these closures.
When V2 and Vt do not exist, then V is one of the tori V[L0, Mo]. By
the following lemma, Vt and V2 only exist if the graph
N : (L, M) i--+ N [L, M]
'This notation means that dL and d.41 are not simultaneously zero. [Translator's note]
III,§2,2 193
More precisely, in the space R5 with the coordinates (L, M, `P, 'V, t),
equations (2.7) define a 3-dimensional manifold P2. By (1.5), where
NL = -L1/N1, NM = -M,/N,,
the elements q, c) of the subgroup Z of Z3 generated by (L1, M, , N,) E Z3
act on V2 as follows:
(5, n, C): (L, M, T, (D, t) i-- (L, M, `P + 2irS,'V + 2nq, t + c [L, M] S ). (2.8)
We have
V2 = V2/Z (2.9)
dL -dM=dN=ds (2.10)
L1 M1 N1
where (L1, M1) 0, (L1, M1, N1) E Z3, G.C.D.(L1, M1, N1) = 1.
V, is defined in W by the datum of three functions of s-the affine functions
L and M satisfying (2.10) and F-and by the equations
L = L(s), M = M(s),
(2.11)
L1{`P + %[L, M, t]} + M1{dV + u[L, M, t]} + F,(s) = 0.
More precisely, equations (2.11) define a 3-dimensional manifold V1 in R5
194 III,§2,2
where G(s) is the image of Z 3 in the additive group R under the morphism
Msrl + N5 .
196 III,§2,2
Then T(s) is the image in W of the set of ('F, (D, t) e R3 such that
LS'I' Ms(D + µ[L, M, t] + IFS
+ ..[L, M, t] + e G(s),
n 2n 2n
(2 . 18 )
M2 LM L2
Proof of 1°). Recall that (L, M, t) are local coordinates on V2. By (2.2)
and (2.6),
1 °) follows.
Proof of 2°). The apparent contour of V2. Formulas (1.11) and (1.13)
in §1 give the relation
L
W2 A G)3
sin E)
dR = RHQdt mod(dL,dM),
hence
L
dR A w2 A w3 = G(L, M, t,'Y) dL A dM A dt (2.22)
R sin 0
where G denotes the function
ER°=E'UE",
198 III,§2,2
where E" is defined by (2.18) and E' is the surface in V2\E" given by the
equation
E': tan 'P + F(L, M, t) = 0, (2.23)
L
dR A (03 A wl = Gy,(L, M, t, T) dL A dM A dt. (2.25)
k -sin 0
Relations (2.22), (2.25) and lemma 1 of §1 give
mR = const. for G/Gy, < 0,
mR = 1 + const. for G/Gs, > 0
in a neighborhood of a point of E'. This result obviously holds for any
function G vanishing to first order on E', for example, the function
MR.
- 1 `l, - 1 arctan F is defined on V2\E"; (2.26)
n n
F/f < 0
in a neighborhood of the points where F = 0; F = 0 is equivalent to
f = 0, so that
arctan F + arctan f is defined on V2\E"; (2.27)
we see that
f
now, from the orientation of I'[(2.9) of §1],
T + +Mlr=dD+µ-Llr=0. (2.32)
_ N2
F(r, s, t) (2.33)
L(L2 - M2)(pL1 + 2aL,M, + TM;)
when V, is generic.
2°) If V, is generic (No # 0; HL2L1 + 2HLML,M, + MM2M2 0 for
HQ = 0), then
since dR = mod(dL, dM), that is, modds. By 1°) and lemma 2.1,
the function G: V, - $ is defined and regular on V, Thus, by lemma I of
§1, the apparent contour ER° of V, is given by the equation
ER,,: tan 'P + F(r, s, t) = 0.
Calculation of mR°. The same calculation used to deduce (2.35) from
(2.21) enables us to deduce the formula
L
dR A (a3 A 0), = Gyi(s, t,'P)ds A dr n dt
R sin 0
III,§2,2 201
From (2.33), where I M I < L by assumption (2.2) of §1, and from lemma 2.1,
F = 0 is equivalent to H. = 0, and
FHR < 0
HQ
Formulas (2.30), (2.36), and (2.37) prove that the function (2.20) is defined
on generic V1, hence on every V1.
LEMMA Z.S. 1°) VZ satisfies Maslov's quantum condition if and only if, on
Vz, the functions L, M, and N are connected by a relation
where
L1, MI, N1, No E Z, N1 : 0, G.C.D.(L1, M1, N1) = 1. (2.39)
2°) V1 satisfies Maslov's quantum condition if and only if, on V1, the
functions L, M, and N are connected by the three relations
L1,M1,N1,Lo,MO,NoEZ, Li + MI :g 0,
(2.41)
G.C.D.(L1i M1, N1) = 1, LoLI + MOM1 + NON1 = 0.
Thus only two of the three relations (2.40) are independent.
202 III,§2,2
-(L +2)L2N3+(N+2)L3N2GZ,
( + )L2M3 - L3M2 E z.
has a solution U that has a lagrangian amplitude > 0 and is defined mod (1/v)
on some compact lagrangian manifold V other than the tori V[L0, Mo]
studied in theorem 1; then the graph of the function
N: (L, M) -- N[L, M] [see III,§1,(2.9)]
such that
NoEZ
is necessary and sufficient for there to exist such a segment in a planar
domain belonging to the graph of N and satisfying an equation
where
(2.44)
G.C.D.(L'I, M,, Ni) = 1, No a R.
Remark 2.3. This corollary makes it easier to apply the theorem (see
section 3).
Proof of the theorem. By II,§3,theorem 6, V must satisfy Maslov's quan-
tum condition. Since V is not one of the tori V[L0, Mo], V must contain
204 III,§2,2-III,§2,3
N0 =
MiNo - NiMo = Nj'L0 - LiNo = LIMO - MiL0
L1 M, N1
(two of the last three result from the other two). These relations imply
NaEZsince G.C.D.(L1,M1,N1)= 1.
3. Example: The Schrodinger-Klein-Gordon Operator
Let us choose a to be the operator associated to the hamiltonian H defined
by (4.6) of §1, where A is assumed to be an affine function of M, B and C are
assumed to be constant, and B > 0.
In §1, we studied the system
1
aU = (aL: - L')U = (am= - M0)U = 0 mod Z
v
and recovered the classical energy levels. In studying the single equation
aU = 0 mod Z V
we shall find again the same condition for existence, thus the same classical
energy levels.
aU = 0 modv1 (3.1)
III,§2,3 205
Remark 3. Under this condition, neither the unicity of V nor the unicity
of U up to a constant factor is assured.
Proof. Under condition (4.11) of §1, the existence of such a solution of
(3.1) is assured by theorem I and also by theorem 4.1 of §1.
By theorem 1, there exists such a solution of (3.1) defined on a torus
V[L0, MO] only if this condition is assumed.
By theorem 2 and formula (4.8) of §1, which gives the value of the func-
tion N as
N[L, M]
.11/1 M
- + C,
L+N= B
,r^_o
Theorem 2 and its corollary require the existence of an integer n such that
B
hn.
Ao
(1,0,-1) A (L-2,M,N+21=(MO,-
A ,1l'10).
Theorem 2 requires the existence of integers m and n such that
MO = Aim,
$ f= hn. (3.4)
Ao
L=Lo, N= -v'Lo+C,
Ao
where Lo = const., Lo + C > 0.
Their pliickerian equations are
/ "[LO
(0,1,0)A(L-2,M,N+2 =I = C+2,0,2-Lol.
\ // `f o
Theorem 2 requires the existence of integers 1 and n such that
B
+Lo-\/Lo+C=hn,Lo=h(l+
VIAo
a U = 0 mod i
Proof. The proof of theorem 3.1 shows that the necessary condition
stated in theorem 2 can not be satisfied when a is the Klein-Gordon
operator (C 0 0) and ' 0 (A depends on M).
Conclusion
0. Introduction
In §3, we study the lagrangian system that was solved mod(l/v2) in §1.
In section 1, we determine the condition under which theorem 7.2 of II,
§3 applies.
In sections 2, 3, and 4, we apply this theorem under assumptions that
become more and more strict. These assumptions finally amount to the
assumption that a is the Schrodinger-Klein-Gordon operator. Existence
theorem 4.1 is finally obtained.
Remark 0. A Voros orally pointed out that these properties of the
Schrodinger and Klein-Gordon equations extend to the case where the
electric potential is any positive-valued function of the variable R, if the
energy level E is not constrained to be a real number, and if it can be taken
to be any formal number with vanishing phase.
1. Commutivity of the Operators a, aL2, and am Associated to the
Hamiltonians H (§1, Section 2), L2, and M (§1, Section 1)
We want to determine when theorem 7.2 of II,§3 applies to these operators,
that is, when they commute.
LEMMA 1. 10) am and a (thus, in particular, am and aL=) commute.
2°) aL, and a commute if and only if
HM2Q = HM2R = 0 YL, M, Q, R. (1.1)
208 III,§3,1
Proof. Let a and a' be the lagrangian operators associated to two hamil-
tonians H and H'. By formula (1.1) of II,§2, their commutator
a 0 a' - a'oa
is associated to the formal function given by
-2 r
1 1
Suppose H and H' are in involution, which is the case for H(§1,2), L2, and
M(§1,1) by (1.3) of §1. Then the first term of (1.2) is zero. If H' is a poly-
nomial of degree 2 in (x', p'), then all of the other terms evidently are zero;
thus a and a' commute and part 1 of the lemma follows. Suppose that
H' is a polynomial that is homogeneous of degree 4 in (x', p'). Then by
(1.2), a o a' - a' o a is associated to H"/v3 where H" is the hamiltonian
given by
6 [(q, aP / + \Y, ax
)] 3H (x', P') _ [('aq) + (X ay)] H'(y, q);
thus, if H' is homogeneous of degree 2 in each of its two variables, then
H"(x, p) = 4 [(p' HP (ap' ax)> - \x' Hz, (ap' ax)!] H(x, p).
In particular, if H' = L2, that is, H'(x', p') = Ix' A p'I2, then
H"(x, p)
1 /
=2PA --+XA
a a a
A
a \ H(x, P). (1.3)
P Ox ' a P ax/J
r p n ca + x A z) and Op n commutes.
P ; z)
c
III,§3,1 209
The operator
Cpna +xn x
P
X2 X3 X1 X2 X3
X F = P1 P2 P3 , YF = P1 P2 P3
for any function F of (x, p). The preceding expression for H" may be
written
12 aax9/HM 1 0
H"(x, p) =
3 - 2a P3
H"t.
H"(x, p) = 4'!HM2
210 III,§3,1-III,§3,2
i z 2
H"(x, p) = i (P2HM2Q + R HM2R) x3 - R HM2RP3x3 - 2R HM2QP3
(1.4)
where cL and cm are two formal numbers with vanishing phase such that
The lagrangian operators aL2 and am have the following expressions ail
and am' in R° by I,§1,3 and the formula
eXp2v
1 O0x, a
ap)] L
2
(x, p) = C1 +
1
2v
.(p2R2 - Q2)
(')
a a 1
+ 8v2
a
ax
a
ap)2]
namely
where (4)
2
a
=R2A->xx- aXi OXk
-2zx. axek
j, k i
is the spherical laplacian (2.24), which acts on the restrictions of functions
to spheres R = const.;
+
aM (V, =
x, v8X ) V xl aX2 - x2aX
The problem defined by the system (2.1),, condition (2.5), and the
condition that V be compact will be called problem (2.1),.
Notation. The invariant measure is given by (3.16) of theorem 3 of §1;
d3x by (1.16) and (3.6) of §1; arg d3x = nmRO by definition [(3.4) of I,§3];
MR. is given by (3.5) of §1; arg rl, = 0 by definition; hence the value of the
function x, defined and used in II,§3, and the value of its argument are,
respectively,
?IV
x= = [R3HQ[LOi M0, Q, R] sin 'Psin ®]-', where O = const.;
dr
arg x = - arg HQ - arg sin T,
where arg H. = -n[(1/n) arctan(HQ/HR)], arg sin 'P = n['P/n].
(Recall that [ ] is the integer part.)
The apparent contour of V is
#R
UR0 (v) = fZ-#(v)e"R-, where fl(v) _ Y . 2.8)
Vs
V X eMR. DLQ,
L(ae - Lo) U]R" =
V
cm = MO modhv,
III,§3,2 213
then
1
cm = M. mod r+21
cM=Mo+Mr+1 M,+1 C.
FQ = F, /i + [F2
OT
2°) Let U be a lagrangian function that is defined on the torus Y [LO, M0],
has a lagrangian amplitude Qo j6 0, and is a solution of the system
cL = L p mod V2'
Let E be the set of points on the curve F[LO, M0] [(2.5) of §1], where
E:HQ=0.
Then
and
I'[L0, M0]\E
and f being defined as follows.
3°) There exists a unique formal function f defined on R, of the form
such that
III,§3,2 215
df = 1 Ff' (2.17)
dT V
and
= 1 + vF2(IdT - fd } (2.19)
[I is the complex conjugate off ; (2.19) expresses f2s using f1, 1 f2s-11 .
Any solution of (2.17) mod(l/v') is, mod(1/v'), the product of f and a
formal number with vanishing phase.
Remark 2. Let U' be the formal function of x that is homogeneous of
degree 0, is defined for
M0R < L0'/xi + x2,
and is given by
U' satisfies
(2.21)
exp2
1/a a\l 2 r 1 /a a\ 1/a a\2l
C
ax' ap/ J L (x' P) = Ll + 2 x' ap + 8 ax ap/ J
(P2R2-Q2)=P2R2-Q2-2Q-32
216 III,§3,2
R a
OR
= x a
J=1 'axJ
; thus R2 a22
8R
= 2: XJxk
Jk
02
8xJaxk
(2.23)
using the coordinates (R, T, (D) in the left-hand sides and the coordinates
(x1i x2, x3) in the right-hand sides. Then definition (2.4) of 0° is formulated
as
az
hence, on V,
Cot 2 O
)= +
KRX, '1' J = 0, R2 `
\T W
, 1
/ `P '
DC
Vc# + 4i,2 - 2Lr+1r+1 1 33 = 0 mode,+2
o
(2.27)
Proof of 3°). The condition that (2.16) satisfy (2.17) mod(1/v') may be
written
dT v
FI, dT
d
(f) = v (IFf - fFf
that is, by the definition of F,
dT v dT dT AdCF2df
dT v dT dT JJ
thus
if -
1
v
F22
T- f df
dT = SseN
c
ENV
, where co = 1,
DJ 4vf'
or, bythe expression (2.3) for at= and the expression (2,6) for x, since Do acts
on the restrictions of functions to spheres R = const. and since cpR can be
expressed by (3.4) of §1, where Q only depends on R,
CV2
Do - Lo - 4v2} U'(v, x) = 0
III,§3,2 219
Proof of (2.21)1. From the definition (2.16) off and the expression (2.10)
for DM it follows that
DMf = 0,
or, by the definition (2.8)-(2.9) of DM,
.fe"w"")
(a+ - Mo)(f = 0.
In the beginning of section 2, we obtained
am
+ -1( xl x2 - X2 -8x° J
V
/ 1
Locally,
D.' R, d
1
D= , (2.29)
.N y` M
where DS(R, d/dR) is a differential operator defined on ['[L0, M0]\E and
Do = RHQ (2.30)
dR
Fl DH [ f (v,'I')g(v, R)]
d'I' Ca V
[dz
= DH
d`I' O-T
- 1 F .f (v, `')g(v, R)0.
v
DH = DH,., (R,
sGN vS T, 8R , 8`I')
where DH S is a differential operator. It follows that D has the form (2.29).
Since the characteristics of H satisfy (2.14) of §1, the same theorem proves
that
D1(fg)dt = d(fg) mod I for dR = RHQdt, dP = HLdt.
But
f=1mod!; V
thus
CL =Lo -4v2,
cm =Mo.
such that
Dg = 0 mod(1/vr+'),
(2.31)r
(HQ)3rg is regular, mod(1/vr+1), on F[Lo, Mo].
Any formal function satisfying condition (2.31)r is, mod(1/vr+l), the product
of g and a formal number with vanishing phase.
The condition that g be a solution to (2.31)r evidently is equivalent to the
following :
III,§3,2-III,§3,3 221
where S2 is defined by (2.8) of §1. Define U' by remark 2 and lemma 2.2. Then
U'(v)U"(v) is the expression URo of a solution U of problem (2.1)r. Every
solution of the system (2.1), defined on V[LO, M0] is, mod(1/vr+l), the
product of that solution and a formal number.
3°) Suppose that g is a solution of problem (2.31)r_1. Then there exists a
function gr: r[L0, MO] \i -* C satisfying (2.32) where r is replaced by
its universal covering space 1'". The function g, is defined up to an additive
constant; moreover, gr is defined on F[L0, Mo]\E if and only if the equivalent
problems (2.1), and (2.31), are solvable.
Moreover,
Lo + Q2 - K[R, Mo] = 0 on the curve I,[L0, Mo]. (3.3)
D R [dR V G]
where G acts on functions
g:11[Lo, Mo]\E -+ C
and is given by
Gg=G19+dR[G2dR]
G1 and G2 being functions defined on I'[L0, Mo]\E given by
where
Proof. The operator D may be described as follows with the aid of II,§3,
theorem 4: in formula (4.5) of this theorem, s = 2 and
2 ox ' ap
H(2)(X'
P) = [ 2
= 2 P2; (3.7)
L eap
the equations (2.14) of §1 giving the characteristics imply that
X 112 0(flX112)
= RZ sin A.
is-in -IF
R
+ R(8RZ
OR)(/QR).
LzdT(8
+R d'Y 8r
1 )1 2
vF+8vR
Choose
DH(fg) = fDg
with
Dg _
_ Q 9 QR) + 8v QR1.
R IdR + 2v IQ (RZdRZ + 2R dR/ (
By a trivial calculation, we deduce the expression (3.4) for D, with G
expressed by (3.5) and G1 and G2 given by
G1
_1d RdQ 1R dQz GZ
__1R
4 dR [QZ dR + 8 Q3 (dR) 2Q
224 III,§3,3
99 = 1 - I
2v
R (9 dg
dRdRvr+,.
-g
do) mod 1
(3.10)
Q
Formula (3.10) means that, for 2 < 2s < r,
2s R 2s-1 d
(-1)5925 s95 = Q S'o(-1)sg,'dR92s-1-5; (3.11)
sE
thus it expresses 92, using g1, ... , 92,-1
2°) If problem (2.31)2,_, has a solution, then problem (2.31)2, has a
solution.
U"(v) = g e °o . ( 3 . 12)
QR
It satisfies
Proof of 1°). Assume that 1°) has been proved when r - 1 is substituted
for r and that problem (2.3)r is solvable. Then, by theorem 2,2°) and
lemma 3, gr is defined up to a constant of integration by the conditions
dg,
= Ggr_1 on F[L0, Mo]\E, Q3rgr is regular on F[L0, M0].
(3.14)r
1°) If problem (2.31)25 has a solution g, then, for all r _< 2s,
Q3i94, R) = (-Q)3'g.(-Q, R)
is the value of a junction of R that is holomorphic in w. In particular, 92,
is a function of R that is meromorphic in w, with poles R1 and R2.
2°) Problem (2.31)25+1 is solvable [and thus problem (2.31)25+2 also]
if and only if the primitive of (Gg2i)dR is defined (that is, uniform) in
w\[R1, R2].
Proof. Suppose 1°) is true. [1°) is evident for s = 0]. Then, by (3.14),
the function g25+1: I'[L0, Mo]\t - C is obviously the restriction of the
primitive of (Gg2s)dR to the edges of the cut [R1, R2] in C, which is
defined on the universal covering space of w\[R1, R2]. Obviously, 925+1
is defined on I'[L0, Mo]\E if and only if this primitive is defined on
w\[R1, R2)
Assume that this condition is satisfied.
With a convenient choice of the constant of integration, this primitive
925+1 is an odd meromorphic function of Q in a neighborhood of R1
and R2. Like Q, it takes opposite values on the edges of the cut [RI, R2].
For R near R1 or R2i Q is near 0 and g25 is an even function of Q having
a pole of order 6s at Q = 0. From (3.3), (3.5), (3.6), and (3.14),
i. CL = Lo + (1/4v2), CM = MO ;
ii. V is one of the lagrangian tori V [L0, M0] = T(l, m, n) defined by
theorem 4.1 of §1.
#0=1.
Any lagrangian solution of (4.1) defined on V is the product of U and a
formal number with vanishing phase.
Remark 4.1. The projection of V on X is
xzz,
Vx : R 1 x < Rz> MoJxJ < Lo xzl +
where R1 and R2 are the two roots of the equation
AOR2-2B0R+C0+Lo=0
228 III,§3,4
V
I x1
a z
- xz as i
1 U'(v , X ) = M U'( v, x ) ,
O
(4.4)
V2 AU U'(v, x).
(v' x) Rz l L0 + 40 J
U"(v) is a formal function of R satisfying
where T = cot `P and Q is the function of R defined by (2.8) of §1; arg sin 'Y
and arg Q have jumps of +n at the points 'P = 0 mod 7r on R and Q = 0
on ['[L0, M0], which are oriented in the directions dP > 0 and Q dR > 0.
Moreover,
Jf = 1 +
1
v
Fz f d f - f df )
dT dT
99 = 1 +
1
v
G2
(
9
dg
dR - 9
dg
dR
C
(4.9)
These formulas (4.9) give the even functions f2, and 92, in terms of fl,
, f2,-1 and g1, .. , 925-1. The odd functions fzs+1 and 92,+1 are defined
by the quadratures
H(x,p)2 [P2+AR2-2B],
u
that is, choosing
K[R, M] = -AR4 + 2BR2
where A and B are affine functions of M, one obtains another lagrangian
system (2.1) belonging to the same type.
This can be shown by computations similar to those performed above,
where R2 plays the role that R played above.
The energy levels are still those of wave mechanics.
Remark 4.4. Of course, the study of the harmonic oscillator in R is
simpler; in E3, for A and B independent of M, it gives new lagrangian
solutions for the operator associated to the harmonic oscillator, but
again the same energy levels.
0. Introduction
au=0, (0.1)
a 2V2 - 2RZKrR,
o(x1ax2 - x2az1)]
In section 2, we assume (compare §3,4)
K[R,M] = -R2A(M) + 2RB(M) - C(M), (0.4)
Let S2 be the unit sphere in E3 and let a be the usual measure on S2.
Then
2
o
OX
,
Ul,m
a = 1(1 + 1) f IU.ml2a
J'S2 S2
S/2
where the u;',,, are functions only of the variable R > 0, such that
and
2 + ac
a
u
2
a, a. J u,%ml2dR
d3x =
L ax
J
I'm 2
OX
Ul,m
2
ml2a R2 d
dR<oc.
+E I
Ul,m
l.m I 2
U!
Jo
dR
dz
K[R, hm] - 1(1 + 1) u';,m(R) = 0
(d 2 + R dR)u` m(R) + Rz {
(1.2)
z
hzK[R,hm] - 1(1 + 1)}v = 0
dRZ + Ry
and
Remark 1.1. Thus problem (0.1) is solvable if and only if the following
problem is solvable: To find two integers 1, m and a nonzero square-
integrable function u: E3 -+ C with square-integrable gradient such that
lml<l
and
by
uium, u
in equations (2.21) and (3.13) and in the system (2.1) of §3, where account
is taken of theorem 3 of §1 and theorem 2 of §3, which require
234 11 1,§4,1-111,§4,
Lo=h(l+2Mo=hm, cL LO -4vz,
Q-CM=
+ (
v X1
1 8 d) - hm.
2 -X2- 1
Apply Fuchs's theorem, that is, the theory of regular points of analytic
ordinary differential equations: see, for instance, [19], section 10.3.
Fuchs's theorem constructs two independent solutions of equation (1.3).
If 27 is not an integer, the respective quotients of these solutions with
R±Y+I/2 are holomorphic at the origin. If y is purely imaginary, then
every nonzero solution of (1.3) makes the integrals (1.4) diverge at the
origin. The same is true if y = 0 (see Fuchs). Assume y > 0. The solution
v of (1.3) that is a product of Ry4 2 and a holomorphic function at the
origin makes the integrals (1.4) converge at the origin, while the other
solutions of (1.3) make them diverge (see Fuchs). Thus, since problem
(1.3) is equivalent to problem (0.1), the following theorem holds.
THEOREM 1.2. If K is holomorphic at the origin, then problem (0.1) is
solvable if and only if the following problem is solvable: To find two integers
l and m such that
ii
v2dR < oo,
f ()2dR
2. The Schrodinger-Klein-Gordon Case
< oc. (1.7)
In this case, that is, under assumption (0.4), the preceding theorem can
be supplemented. Let
III,§4,2 235
aProof. Express v by
It implies a2 > 0; thus a > 0 and thus the integrals (1.7) converge.
Now let us prove that (1.7) does not hold when (2.3) is not satisfied.
Case when a > 0: If EScSR' is not a polynomial, then, for an ap-
propriate choice of the sign of co,
cs > 0 for s near + oc.
Let E E 10, a[. From (2.5) we have
thus ESc,R' > c'e2,1 for R near + oc, where c' = const. > 0,
and the integral (1.7)1 diverges.
236 III,§4,2
where c and care constants and a is purely imaginary. Hence the integral
(1.7)1 diverges. (See Whittaker and Watson, [19], chapter XVI, "The Con-
fluent Hypergeometric Function: Asymptotic Expansion.")
Case when a = 0, f < 0: By (2.5),
v(R) _v k JT
I t-2y-'e`2 R(-t-')dt
the condition that there exist a solution is the same: the existence of a
triple of integers (l, m, n) satisfying condition (4.11) of §1, theorem 4.
proves that the preceding theorem does not hold for every operator a
associated to a hamiltonian H of the form (0.2).
Conclusion
Introduction
In §1, we solve, mod(1/v2), a homogeneous lagrangian problem in several
unknowns. That is one of the simplest problems to which theorem 3 of
II,§4 can be applied. The resolution of this problem introduces the qua-
druple of quantum numbers that arises in the study of the Dirac equation.
In §2, we use lagrangian analysis to reduce the Dirac equation mod(1/v2)
to the simpler system solved in §1. This reduction is analogous to the
reduction theorem 2.2 of II,§4. Thus we prove that the lagrangian solutions
of the Dirac equation (one-electron atoms in a magnetic field) defined
mod(l/v2) on compact manifolds have energy levels that are exactly those
for which the classical solution of this equation exists (taking into account
the Zeeman effect and even the Paschen-Back effect).
so that
L2 + Q2 = P2R2. (1.2)
and
Q1 =
(01 10),
62 =
(0
i 00, Q3 = (0
1
-- )
are the Pauli matrices, which satisfy the relations
Qk = 1, Cork = -ak(ri, Q1Q2Q3 = i. (1.7)
It follows that
Q2[x] _ N2. (1.8)
f(x, p) = f [L(x, p), M(x, p), Q(x, p), R(x)], g = g[L, M, Q, R].
Then (1.5) is satisfied by choosing
J(2) = 0, P) =
- 2Q3. (1.10)
Remark 1.2. Relations (1.5) evidently remain valid when arbitrary com-
plex numbers (that is, their products with the identity matrix denoted
by co = 1) are added to the H)`) and P'`).
(H12!, J(1)) = 0 because, by III,§1,1, L is in involution
Proof of (1.5)1.2.
with Q, R, and M = M3, and similarly with M1 and M2.
Proof of (1.5)1,3. Since M is in involution with L, Q, and R,
(H)3), J(1))
= ig(M, a[x A P]) = iga[-M2, M1, 0] (1.11)
af.s' aL2, am
IV,§1,2 241
When this manifold is compact, it is a torus whose points have the co-
ordinates
t modc[L0,M0], 'P mod 27r, (D mod 27r.
F[Lo, Mo], t, and c[Lo, Mo] are defined in III,§1 by (2.5), (2.6), and
(2.7), respectively. Assume that on V [Lo, Mo]
(f - ZHN)c[L, M] and Lgc[L, M]
are near zero and have negligible squares. For V[L0, Mo], and hence
I'[L0, M0], compact, let
where IMOI < L0. We shall see that f0, g0i and c have negligible squares.
THEOREM 2. The compact manifolds V in E3 Q+ E3 on which solutions U
of the system (2.2) are defined are the tori V [L0, M0] such that
Lo=h(l+i-I'), M0=h(m-rn'),
(2.5)
h(l + i) + N [h(1 + 4), hm] = fin ± hs[h(1 + ' ), hm],
where 1, m - i, and n are three integers satisfying the inequalities
V and m' are numbers near 0 that are arbitrary unless m = I + '-z. Then
they must be chosen so that
IM01 < L0.
Remark 2.1. U will be denoted by U+ or U_ depending on whether
(2.5)3 holds with the choice + or -. The lagrangian amplitude
A, f2) of U = U+ will be denoted by /3± . It satisfies the relations
/3±(t + c[L0, M0], `E, (D) = c±i #+(t,'p, (D),
lf+(t, `Y + Zit, (D) = c±2 f3±(t, IF, (D), (2.8)
mRo =
1In
- I arctan HR1, where [ ] = integer part, (2.11)
YJ JJ
PRO=S2+LO'P+M0D,
where 0 is defined in III,§1 by (2.8).
We now finish applying theorem 3 of II,§4. By the remarks 3.2 and
3.3 of III,§1, the characteristic vectors K, KL2, and KM of the hamiltonians
H, L Z, and M are
K:dt = 1, d'P = HL, d(D = Hy;
KL':dt=0, d`P =2L0, dD=0;
KM:dt=0, d'!=0, dl = 1.
Then by this theorem the system (2.2) is equivalent to the condition
8
+H ' aT
a0 +H ; Q + ifQ0 + igQ[x n P]I3 = 0,
Mad
at
PT
- il'/3 = 0, --
cq)
im'/3 +
2
r3 f l = 0.
x A p = LOJ3;
thus by (1.12)3 and (1.11) of III,§1,
cos o = MO (2.13)
Lo
Then, by (1.7),
244 I V,§ 1,2
Moreover, the functions of [L, M, t], 7., and µ, which are defined by
(2.10) of III,§1, satisfy
,= - HL, µt = - H (2.14)
/3 = e-i°3m;2+ir(1F+x)+iM(m+µ)y (2.15)
evoL2+voLoY`+voMom-io3m/2+ii'(`Y+x)+im'(mtµ). . V C2.
( ex )1j2
11
Now S2, A, and p only depend on t and, by (1.4) and (1.5) of III,§2, increase
by
N[L0,M0]+1'NL+m'NM+Z+e=Lo+l'-Z
= M0+m'-z=0mod 1.
(2.19)
IV,§1,2 245
ILo+1'+1N[Lo, MO]+1'NL+m'NM=n+e[Lo,MO],
This assertion does not assume that 1', m', (f - HM)c[L, M], and
Lgc[L, M] have negligible squares on V[L0, Mo]. z
U and /l will be denoted by U± and #± depending on whether (2.22)
holds with ±e[L0, Mo]. By (2.15), (2.17), and (2.18), where e =
+e[L0, Mo], fl± satisfies (2.8), where the c±k have the values (2.9).
Assume that the squares of 1' and m' and the squares of the derivatives
of he are negligible. Then (2.22) reduces to (2.5). The integers 1, m - Z,
and n must satisfy condition (2.5)3, which is independent of l' and m'.
Since 1 and n are integers, since a is near 0, and since N > 0, (2.5)3 implies
246 IV,§1,2
I < n. Since 1' and m' are near 0, (2.5)1 and (2.5)2 imply Iml < 1 + Z, which
completes the proof of (2.6).
It remains to prove that (2.4) is an approximate expression for
e[Lo, Mo]. Since we have assumed that, on V[Lo, M0],
(f - 1HM)c[L, M] and Lgc[L, M]
are near zero and have negligible squares, the solution of (2.20), modulo
these squares, is
satisfying the condition (2.5)3 for the existence of a solution of (2.2) that is
lagrangian on V[L0, M0]; this condition is independent of (l', m'); require
that at (1', m') the function
(l',m')i_4Ic±1-112+Ict2-12+ c13+12ER
takes on values close to its minimum; in other words, by (2.9) and since
l'2 and m'2 are negligible in comparison with I' and m', at (l', m') the
function
(I', m') i-- l'2 + m 2 + [l'NL + m'N,f + E]2
satisfies the condition (2.7), then and only then will we say that the
quadruple (l, m, n, + 1) is admissible.
In §2 (Dirac equation), the following case arises.
Example 2. (NL, NM) is near (-1, 0); thus (1', m') is near (+ e/2, 0).
By (2.7), the admissible quadruples (1, m, n, ± 1) are those that satisfy
condition (2.5)3 and the condition
0<I<n, Iml±2 (2.23)
.j+1
and to use quadruples of quantum numbers
(1, m, n, j = I + 2).
248 IV,§1,2-IV,§2,1
Then for each admissible choice of (1', m') there correspond solutions
U of (2.2) that are equal up to a proportionality factor. This factor is a
constant e C.
0. Summary
The Dirac equation is a system in 4 unknowns. Theorems 2.1 and 2.2
of II,§4 do not apply in this case because the zeros of det ao are double
zeros.
Theorem 1, whose statement resembles that of theorem 2.2 of II,§4,
reduces, mod(1/v2), this system in 4 unknowns to a self-adjoint system
in 2 unknowns.
By suppressing terms that are negligible in view of the order of magni-
tude of the magnetic field, this system is transformed in section 2 into
the reduced Dirac equation, which is a system of the form solved in §1.
In section 3, we observe that the energy levels defined by this reduced
Dirac equation in lagrangian analysis are those defined by the classical
resolution of the Dirac equation, even when the magnetic field is strong
enough to produce the Paschen-Back effect.
But the probability of the presence of an electron obtained in section 4
differs from that obtained in wave mechanics; it is connected with the first
quantum theory.
1. Reduction of the Dirac Equation in Lagrangian Analysis
Suppose we are given two infinitely differentiable mappings and a con-
stant:
A : E3 \{0} - R + ; B : E3 -. E3 ; C E R+.
Let a' and a" be the two 2 x 2 matrices of lagrangian operators whose
expressions in Z(3) = E3 Q+ E3 are
where a- is the 2 x 2 matrix defined by (1.6) of §1; a' and a" are self-adjoint.
They are associated to the self-adjoint matrices
A(x) + a[p + B(x)] and A(x) - a[p + B(x)].
The Dirac equation is the system
a'U' = CU", a"U" = CU', (1.1)
in which the unknowns U' and U" are vectors. Let us require that the two
components of each of these vectors be lagrangian functions, the four of
them defined on a single compact lagrangian manifold V in Z(3) = E3 Q E3.
The Dirac equation (1.1) is evidently equivalent to
i. the system
[C2 - a" o a'] U' = 0
in the unknown U',
ii. the system
[C2 - a'oa"]U" = 0 (1.3)
21
J'(x, P) = 2o[t n B(x)] + 01A.],
a n B = curl B;
H+1J'; V
250 IV,§2,1
H + 1J".
V
Remark 1.1. These matrices are not self-adjoint; but one is the adjoint
of the other.
Notation. Let W be the hypersurface in E3 Q E3 given by the equation
W: H(x, p) = 0. (1.5)
Let #3' and /3" be the lagrangian amplitudes of U' and U":
#':V-CZ fl":V-'C2.
By theorem 4 of II,§3, equation (1.2) is equivalent, mod(l/v2), to the
conditions :
W
df +J'13'=0,
where d/dt is the Lie derivative 2' in the direction of the characteristic
vector x of V Similarly, (1.3) is equivalent, mod(1/v2), to the conditions:
VC W
dg-
+ J11 9 11 0. ( 1 . 7)
p:W -R+
such that
A = C cosh 2p, p + B = C sinh 2p.
IV,§2,1 251
Let
a[ p+ B], so that C2
=1 (1.10)
i C sink 2p
fl'=e-PTY, p"=e"fl.
The equivalent relations (1.6) and (1.7) may then be written
d +JfJ=0, (1.11)
aU=0mod12 V
(1.13)
H+1J. V
252 IV,§2,1
Remark 1.2. 1 J, and thus a, are self-adjoint, which shows by remark 1.1
V
4 {ePTQ[curlB]e-°T + e-ITQ[curlB]ePT}
4
Remark 1.3. The Pauli relations [(1.7) of §1] may be written
Q[x]Q[Y] = <x, Y> + iQ[x A y] dx, y E E3. (1.18)
= +t dt + e+Pi dt sinh p,
therefore
d
(p + B) A d-(p + B) = p + B12curt B - <p + B, curlB>(p + B)
+ A(p + B) A A,,.
Therefore, since
2Ccosh 2 p = C[cosh2p + 1] = A + C, l p + B12 = A2 - C2,
(1.22) may be written
254 1V,§2,1-IV,§2,2
A
+i A+Ca[(p+B)n Aj
by (1.10); (1.15) follows by (1.21).
Now by the definition (1.10) oft and the commutation formula (1.20),
2
By (1.10) and (1.19),
2
TQ[Y] = Csinh2p(P + B,y> - a[Y]T,
whence
2
TQ [Y]T =
C sinh 2p
(p + B, Y>T - of y]. (1.25)
H + 1 J,
V
where H and J are defined by (2.1) and (2.2), will be denoted by a, and
called the reduced Dirac operator.
Remark 2. Thus H, defined by (2.1), becomes the function defined by
formula (4.20) of III,§1, up to the factor p. It follows that
Ac E+ERZ
z
E-Yf ,
C=µc,
where
c is the speed of light,
p and E are the mass and charge of the electron,
Z is the atomic number of the nucleus,
E is the energy level of the atom, which is close to µc2,
.' is the intensity of the magnetic field.
We replace the study of the Dirac equation by the study of the system
256 IV,§2,2
where the vector U has two components, which are lagrangian functions
defined on a compact lagrangian manifold V in E3 O E3, and where I'
and m' are real and have negligible squares.
Theorem 2 of §1, can be applied to system (2.3); its statement becomes
more precise by means of the following two lemmas.
LEMMA 2.1. An approximate value for the function a defined by (2.4)3 of
§1 is
where
whence
L b
HL=R, HM=2,
now by (2.3) of III,§2,
A, = - HL, p, = - HM ;
by (1.5) of III,§2, we have, writing F for F [L,, Mo],
the last formula and formula (2.4)1 of §1, where f = b/2 by the choice
(2.2) of J, give
where
A' and A" are affine functions; by remark 2, A' is increasing and A'(R) > 0
for R > 0; it follows by an easy calculation using residues that
(' L° AR
Q A' dR = 2n; (2.12)
r
now by (2.11)1,
AR1+ AR
A' R A+C'
then the relations (2.10) and (2.12) prove that
go = -R(1 + NL). (2.13)
Formulas (2.7) and (2.13) and formula (2.4)3 of §1 prove the lemma.
258 IV,§2,2-IV,§2,3
In section 3, we choose
0 < (µc2 /E) - 1 ^_, a2Z2 /(2n2), where n is an integer,
the magnetic energy /3,Y to be very small in comparison with µc2, and
2Mo/h to have integer values which are not large,
Lo/h > 2.
The lemma follows.
3. The Energy Levels
Notation. Formulas (4.23) and (4.25) of III,§1 have already defined and
used the function F given by
F(n, k) (3.1)
Z 2
1
(-n ZZ )
IV,§2,3 259
THEOREM 3. The energy levels E for which system (2.3) (where l' and m'
are real and have negligible squares) has admissible lagrangian solutions
(definition 2 of §1) on a compact lagrangian manifold are defined by the
quadruples of quantum numbers
j±Z, m, n (3.4)
such that
m- ?, and n are integers (3.5)
and
E=Uc2F\n,I+2
z fl2 z
m
± Fk J3U C22 + 24 + /3.dm. (3.7)
2 Fk + 214+ 1
E = µc2F(n, k),
where
k=j +ZEZ.
Proof. By theorem 2 of §1, the energy levels E such that the system
(2.3) has solutions defined on compact lagrangian manifolds are those
that satisfy condition (2.5) of § 1. From the approximate value of e [Lo , M0]
given by lemma 2.1, these values of E are approximately those satisfying
the condition
h(I + Z) + N[h(I + Z), hm]
=din (3.10)
E=µczF(n±Z (1+NL)z+214m1(1+NL)NM+Ny,I+ZI
//(3.12)
+ f3.tm ;
on the other hand, the following two relations are equivalent (for all
dk, dm, dn):
µc z µC2Fk fl
L NM '
whence since F. > 0,
4m °
aAC2 fj2O2
Fk2 Fk I + µ2C4
+ 2l + 1
Table
Bethe-Salpeter [2] Leray (Remark 2 and Section 3)
Eo = mc2 µc2
E+ µc2F(n, 1 + 1)
E_ PC2F(n, 1)
AE=E+-E_ µC2 Fk
i4
#jrl(µc2Fk)
mI =j=1+i,
we have, by (4.2) and the definition of L and M (III,§1,1), that, on V,
M I = L; thus x3 = p3 = 0;
whence
dim V = 2, contrary to the definition that dim V = 3.
IV,§2,4 263
OR. = dix 1
/3e A,
W
1/2
Woo
UR = (-q--)
'x
is a mapping 17\iR0 - C.
The calculations that establish the conditions (3.11) in III,§1 prove the
following theorem.
THEOREM 4.2. The conditions (3.4)-(3.6), which are satisfied by the quad-
ruples of quantum numbers defining solutions of (2.3), express the existence
of a function with constant lagrangian amplitude defined mod(1/v) on
V2 but not on V.
which is the length called the radius of the Bohr atom in the first quantum
theory. Let
Zx R, _ ZR
x'=Rl, R,
where Z is the atomic number of the nucleus.
THEOREM 5. The position x of the electron with quantum numbers (j =
I ± Z, 1, m, n) stays in the projection VX of V[L0, M0] onto X; VX is a
subset of X lying between two spheres and outside of a cone of revolution
around the magnetic field; the center of these spheres and the vertex of
this cone coincide with the nucleus of the atom.
Assume that on V [LO, M0] c E3 Q E3 the probability of the presence
of the electron is proportional to the invariant measure 7v [see the con-
IV,§2,5 265
RQdR
d3x = - QR sin q' sin 0 dt A d`V A d (D, dt = > 0,
266 IV,§2, 5-IV,Conc1usion
By (1.12), of III,§1.
x3 = R cos'P sin 0;
therefore, from (5.2)2,
The definition of Q by equations (5.3) and (4.2), where E has the value
(4.1) and P2 = (Q2 + L2)/R2, crudely gives
It follows that
n3
z22
RQR _ 2n (5.7)
r
Formulas (5.5), (5.6), and (5.7) give the probability (5.4) its crude ex-
pression (5.1).
Now, VX, being the subset of X where (5.5) and Q are real, is crudely
defined by the condition that the radicals entering into (5.1) be real.
Remark 5.2. The probability of the presence of the electron defined by
theorem 5 is extremely different from that defined by wave mechanics,
but closely connected to the first quantum mechanics: the electron stays
in a compact subset VX of X that is the union of the trajectories used by
the first quantum mechanics; the probability of its presence results as
simply as possible from the equations characterizing V.
Conclusion
and preserves its essential results; on the other hand, remark 5.2 of IV,
§2 proves that it is related to the first quantum theory and preserves the
simplicity of its calculations. Chapters I and II have shown how Maslov's
quantification replaces the Bohr-Sommerfeld quantization by a quantiza-
tion that mathematical motivations justify.
We considered only one-electron atoms (or ions). Let us review very
briefly how quantum mechanics has studied several-electrons atoms. It
has been by using the Schrodinger equation.
i. There are rich theoretical results (by T. Kato, B. Simon, and many other
mathematicians); but they do not lead to numerical results.
ii. There are some numerical results (by E. A. Hylleraas, C. L. Pekeris,
and many other physicists) that strikingly agree with experimental results;
but their mathematical accuracy is not completely established.
[In its present state Maslov's quantification can reobtain neither (i)
nor (ii).]
iii. There is also a very crude method that foresees the behavior of the
plasmas; it pays attention to only one of the electrons, to which is applied
the theory of one-electron atoms. V P. Maslov asserts that such a proce-
dure becomes more efficient when his quantification is used.
That last fact and the fact that (i), (ii), and (iii) together do not at all
constitute a complete theory show how also physics called for a coherent
elucidation of Maslov's quantification and for the required tools.
Bibliography
1. Cited Publications
[1] Arnold, V. I.
On a characteristic class intervening in quantum conditions, Funct. Anal. App!. 1 :1-14,
1967 (in Russian and English translation).
[2] Bethe, H., and Salpeter, E.
Quantum Mechanics of One- and Two-Electron Atoms, New York: Springer-Verlag, 1957.
[3] Buslaev, V. C.
Quantization and the W.K.B. method, Trudy Mat. Inst. Steklov 110: 5-28, 1970 (in Russian).
[4] Cartan, E.
La theorie des groupes finis et continus et !a geometrie differentielle, traitees par la methode
du repere mobile, Paris: Gauthier-Villars, 1937 (chapter Xl).
[5] Cartan, E.
Lefons sur les invariants integraux, Paris: Hermann, 1922.
[6] Choquet-Bruhat, Y.
Geometrie diJjerentielle et systemes exterieurs, Paris: Dunod, 1968.
[7] De Paris, J. C.
Probleme de Cauchy a donnees singulieres pour un opbrateur dfferentiel bien decomposable,
J. math. pures app!. 51: 465-488, 1972.
[8] Carding, L., Kotake, T., and Leray, J.
Uniformisation et dbveloppement asymptotique de la solution du probleme de Cauchy
lineaire a donnees holomorphes; analogie avec la theorie des ondes asymptotiques et
approchees, Bull. soc. math. France 92:263-361, 1964 (introduction and chapter 7).
[9] Lefschetz, S.
Algebraic topology, Amer. Math. Soc. Colloq. Publications 27, 1942 (chapter 111, §5).
[10] Maslov, V. P.
Perturbation Theory and Asymptotic Methods, Moscow: M.G.U., 1965 (in Russian and
English translation).
[11] Maslov, V. P.
Theorie des perturbations et methodes asymptotiques, suivie de deux notes complementaires
de V. I. Arnold, et V. C. Buslaev, Paris: Dunod, 1972 (translated by J. Lascoux and R. Senor).
[12] Morse, M., and Cairns, S.
Critical Point Theory in Global Analysis and Differential Geometry, New York: Academic
Press, 1969 (§4, reduction theorem).
[13] Schwartz, L.
Theorie des distributions, Paris: Hermann, 1951.
[14] Segal, 1. E.
Foundations of the theory of dynamical systems of infinitely many degrees of freedom (1),
Mat. Fys. Medd. Danske Vid. Selsk. 31 (12):1-39, 1959.
[15] Shale, D.
Linear symmetries of free boson fields, Trans. Amer. Math. Soc. 103:149-167, 1962.
[16] Souriau, J. M.
Construction explicite de 1'indice de Maslov. Applications. 4" International Colloquium on
Group Theoretical Methods in Physics, University of Nijmegen, 1975.
[17] Steenrod, N.
The Topology of Fiber Bundles, Princeton: Princeton University Press, 1951 (§2, §15).
270 Bibliography
[18] Weil, A.
Sur certains groupes d'operateurs unitaires, Acta math. 111:143-211, 1964.
[19] Whittaker, E. T., and Watson, G. N.
Modern Analysis, Cambridge: Cambridge University Press, 1927.
2. Related Publications
[20] Crumeyrolle, A. -
Revetements spinoriels du groupe symplectique et indices de Maslov, C. R. Acad. Sci.
Paris 280: 1753-1756, 1975; Algebre de Clifford symplectique et revetement spinoriel du
groupe symplectique, C. R. Acad. Sci. Paris 280:1689-1692, 1975.
[21] Crumeyrolle, A.
Algebre de Clifford symplectique, revctements du groupe symplectique, indices de Maslov
et spineurs symplectiques, J. math. pures appl. 56:205-230, 1977.
[22] Dazord, P.
La classe de Maslov-Arnold; L'operateur canonique de Maslov, Seminaire de Geometrie;
University Claude Bernard [Lyon 1], 1975/76; Une interpretation geometrique de la classe
de Maslov-Arnold, J. math. pores appl. 56:231-250, 1977.
[23] Guillemin, V., and Sternberg, S.
Geometric Asymptotics, Providence; American Mathematical Society, 1977.
[24] Malgrange, B.
Integrales asymptotiques et monodromie, Ann. Sci. Ecole Norm. Sup. 7 (4):405-430, 1974.
[25] Voros, A.
The W.K.B: Maslov method for non-separable systems, Colloques internationaux du
C.N.R.S., 237: Geometrie symplectique et physique mathematique. Aix-en-Provence, 1974.
[26] Voros, A.
Asymptotic h-expansions of stationary quantum states, Ann. Inst. Henri Poincare 26A:
343-370, 1977.
3. Preliminary Publications
[27] Leray,J.
Solutions asymptotiques des equations aux dbrivees partielles (unc adaptation du traite de
V. P. Maslov), Convegno internazionale: metodi valutativa nella flsica matematica; Accad.
Naz. dei Lincei, Roma, 1972.
[28] Lcray,J.
Complement a la thborie d'Arnold de I'indice de Maslov, Convegno di geometrica simplettica
et fisica matematica, 1stituto di Alta Matematica, Roma, 1973.
[29] Leray, J.
Solutions asymptotiques et groupe symplectique, Colloque sur les operateurs de Fourier
integraux et les equations aux derivees partielles, Nice; Lecture Notes, Springer-Verlag, 1974.
[30] Leray, J.
Solutions asymptotiques et physique mathbmatique, Colloques internationaux du C.N.R.S.,
237: Geometrie symplectique et physique mathematique; Aix-en-Provence, 1974.
[31] Leray, J.
Solutions asymptotiques de 1'equation de Dirac, Trends in Applications of Pure Mathematics
to Mechanics, Conference at the University of Lecce, London: Pitman, 1975
[32] Leray, J.
Analyst lagrangienne et mecanique quantique, Seminaire du College de France, 1976-1977,
and R.C.P. 25, Strasbourg, 1978.
Bibliography 271
[33] Leray,J.
The meaning of Maslov's asymptotic method: the need of Planck's constant in mathematics,
Bulletin of the American Mathematical Society, to appear, 1981. (Symposium on the Mathe-
matical Heritage of Henri Poincare, April 1980).
The present publication is a revised version of [32], which encompasses [27]-[31], and
[33] constitutes a comment of the present publication.