Texts and Monographs in Physics w. BeiglbOck M. Goldhaber E. H. Lieb W. Thirring Series Editors Robert D. Richtmyer
Views 4 Downloads 0 File size 29MB
Texts and Monographs in Physics
w. BeiglbOck M. Goldhaber E. H. Lieb W. Thirring Series Editors
Robert D. Richtmyer
Principles of Advanced Mathematical Physics Volume II
With 60 Figures
ill
SpringerVerlag New York
Heidelberg
Berlin
Robert D. Richtmyer Department of Mathematics University of Colorado Boulder, Colorado 80309 USA
Editors:
Wolf Beiglbock
Maurice Goldhaber
Institut fUr Angewandte Mathematik Universitat Heidelberg 1m Neuenheimer Feld 5 D6900 Heidelberg 1 Federal Republic of Germany
Department of Physics Brookhaven National Laboratory Associated Universities, Inc. Upton, NY 11973 USA
Elliott H. Lieb
Walter Thirring
Department of Physics Joseph Henry Laboratories Princeton University P.O. Box 708 Princeton, NJ 08540 USA
Institut fUr Theoretische Physik der Universitat Wien Boltzmanngasse 5 AI090 Wi en Austria
Library of Congress Cataloging in Publication Data Richtmyer, Robert D Principles of advanced mathematical physics. (Texts and monographs in physics) Bibliography: v. 1, p. Includes indexes. 1. Mathematical physics. 1. Title. 7816494 QC20.R56 530.1'5 (v. 2) AACRI
© 1981 by SpringerVerlag Inc. Softcover reprint of the hardcover 1st edition 1981
All rights reserved. No part of this book may be translated or reproduced in any form without written permission from SpringerVerlag, 175 Fifth Avenue, New York, New York 10010, U.S.A.
9 8 76 54 3 2 1 ISBN 9783642510786 DOl 10.1007/9783642510762
ISBN 9783642510762 (eBook)
Contents
Preface to Volume II 18
Elementary Group Theory 18.l 18.2 18.3 18.4 18.5 18.6 18.7 18.8 18.9 18.10 18.l1 18.l2 18.13 18.l4 18.15
19
1
The group axioms; examples Elementary consequences of the axioms; further definitions 3 Isomorphism 5 Permutation groups 6 Homomorphisms; normal subgroups 8 eosets 10 Factor groups 10 The Law of Homomorphism 1J The structure of cyclic groups II Translations, inner automorphisms 12 The subgroups of /1'4 13 Generators and relations; free groups IS Multiply periodic functions and crystals 16 The space and point groups 17 Direct and semidirect products of groups; symmorphic space groups 20
Continuous Groups 19.1 19.2 19.3
XI
25
Orthogonal and rotation groups 25 The rotation group SO(3); Euler's theorem 27 Unitary groups 28 v
vi Contents 19.4 19.5 19.6 19.7 19.8
The Lorentz groups 29 Group manifolds 34 Intrinsic coordinates in the manifold of the rotation group 35 The homomorphism of SU(2) onto SO(3) 37 The homomorphism of SL(2, q onto the proper Lorentz group ~p 38 19.9 Simplicity of the rotation and Lorentz groups 38
20
Group Representations I: Rotations and Spherical Harmonics
40
20.1 20.2 20.3 20.4 20.5 20.6 20.7 20.8 20.9 20.10 20.11 20.12
Finitedimensional representations of a group 41 Vector and tensor transformation laws 41 Other group representations in physics 44 Infinitedimensional representations 45 A simple case: SO(2) 46 Representations of matrix groups on Xoo 47 Homogeneous spaces 48 Regular representations 49 Representations of the rotation group SO(3) 50 Tesseral harmonics; Legendre functions 53 Associated Legendre functions 55 Matrices of the irreducible representations of SO(3); the Euler angles 57 20.13 The addition theorem for tesseral harmonics 59 20.14 Completeness of the tesseral harmonics 60
21
Group Representations II: General; Rigid Motions; Bessel Functions 21.1 21.2 21.3 21.4 21.5 21.6 21.7 21.8 21.9 21.10 21.11 21.12 21.13
22
62
Equivalence; unitary representations 62 The reduction of representations 63 Schur's Lemma and its corollaries 65 Compact and noncompact groups 66 Invariant integration; Haar measure 67 Complete system ofrepresentations of a compact group 71 Homogeneous spaces as configuration spaces in physics 72 M 2 and related groups 73 Representations of M 2 73 Some irreducible representations 74 Bessel functions 75 Matrices of the representations 76 Characters 77
Group Representations and Quantum Mechanics 22.1 Representations in quantum mechanics 22.2 Rotations of the axes 81 22.3 Ray representations 82 22.4 A finitedimensional case 83
80
80
Contents vii 22.5 22.6 22.7 22.8 22.9 22.10 22.11 22.12 22.13
23
96
Examples of manifolds; method of identification 96 Coordinate systems or charts; compatibility; smoothness 98 Induced topology 101 Definition of manifold; Hausdorff separation axiom 101 Curves and functions in a manifold 103 Connectedness; components of a manifold 104 Global topology; homotopic curves; fundamental group 105 Mechanical linkages: Cartesian products 111
Covering Manifolds 24.1 24.2 24.3 24.4 24.5 24.6
25
92
Elementary Theory of Manifolds 23.1 23.2 23.3 23.4 23.5 23.6 23.7 23.8
24
Local representations 83 Origin of the twovalued representations 84 Representations of SU(2) and SL(2, IC) 85 Irreducible representations of SU(2) 87 The characters of SU(2) 89 Functions of z and z 89 The finitedimensional representations of SL(2, IC) 90 The irreducible invariant subspaces of xro for SL(2, IC) Spinors 93
114
Definition and examples 114 Principles of lifting 117 Universal covering manifold 119 Comments on the construction of mathematical models 121 Construction of the universal covering 123 Manifolds covered by a given manifold 125
Lie Groups
129
25.1 Definitions and statement of objectives 130 25.2 The expansions of m( " . ) and I( " .) 132 25.3 The Lie algebra of a Lie group 133 25.4 Abstract Lie algebras 135 25.5 The Lie algebras of linear groups 135 25.6 The exponential mapping; logarithmic coordinates 136 25.7 An auxiliary lemma on inner automorphisms; the mappings Ad p 139 25.8 Auxiliary lemmas on formal derivatives 141 25.9 An auxiliary lemma on the differentiation of exponentials 143 25.10 The CampbellBakerHausdorf (CBH) formula 144 25.11 Translation of charts; compatibility; G as an analytic manifold 146 25.12 Lie algebra homomorphisms 149 25.13 Lie group homomorphisms 151 25.14 Law of homomorphism for Lie groups 155 25.15 Direct and semidirect sums of Lie algebras 160 25.16 Classification of the simple complex Lie algebras 162 25.17 Models of the simple complex Lie algebras 167 25.18 Note on Lie groups and Lie algebras in physics 170 Appendix to Chapter 25Two nonlinear Lie groups 171
VlIl
26
Con ten ts
26.1 26.2 26.3 26.4 26.5 26.6 26.7 26.8 26.9 26.10 26.11 26.12 26.13
27
27.4 27.5 27.6 27.7 27.8 27.9 27.10 27.11 27.12 27.13
198
Topology and metric 199 Geodesic or Riemannian coordinates 199 Normal coordinates in Riemannian and pseudoRiemannian manifolds 202 Geometric concepts; principle of equivalence 203 Covariant differentiation 206 Absolute differentiation along a curve 208 Parallel transport 209 Orientability 210 The Riemann tensor, general; Laplacian and d'Alembertian 211 The Riemann tensor in a Riemannian or pseudoRiemannian manifold 214 The Riemann tensor and the intrinsic curvature of a manifold 216 Flatness and the vanishing of the Riemann tensor 218 Eisenhart's analysis of the Stackel systems 221
The Extension of Einstein Manifolds 28.1 28.2 28.3 28.4 28.5 28.6 28.7 28.8 28.9 28.10
29
Scalar and vector fields on a manifold 175 Tensor fields 180 Metric in Euclidean space 182 Riemannian and pseudoRiemannian manifolds 183 Raising and lowering of indices 185 Geodesics in a Riemannian manifold 186 Geodesics in a pseudoRiamannian manifold 9Ji 190 Geodesics; the initialvalue problem; the Lipschitz condition 190 The integral equation; Picard iterations 192 Geodesics; the twopoint problem 193 Continuation of geodesics 194 Affinely connected manifolds 195 Riemannian and pseudoRiemannian covering manifolds 197
Riemannian, PseudoRiemannian, and Affinely Connected Manifolds 27.1 27.2 27.3
28
174
Metric and Geodesics on a Manifold
Special relativity 223 The Einstein gravitational field equations 224 The Schwarzschild charts 227 The Finkelstein extensions of the Schwarzschild charts The Kruskal extension 233 Maximal extensions; geodesic completeness 235 Other extensions of the Schwarzschild manifolds 235 The Kerr manifolds 237 The Cauchy problem 240 Concluding remarks 243
Bifurcations in Hydrodynamic Stability Problems 29.1 29.2 29.3
The classical problems of hydrodynamic stability 244 Examples of bifurcations in hydrodynamics 245 The NavierStokes equations 247
223
231
244
Contents
30
29.4 Hilbert space formulation 248 29.5 The initialvalue problem; the semiflow in,5 248 29.6 The normal modes 249 29.7 Reduction to a finitedimensional dynamical system 250 29.8 Bifurcation to a new steady state 254 29.9 Bifurcation to a periodic orbit 255 29.10 Bifurcation from a periodic orbit to an invariant torus 257 29.11 Subharmonic bifurcation 261 Appendix to Chapter 29Computational details for the invariant torus
261
Invariant Manifolds in the Taylor Problem
263
30.1 Survey of the Taylor problem to 1968 263 30.2 Calculation of invariant manifolds 265 30.3 Cylindrical coordinates 268 30.4 The Hilbert space 270 30.5 Separation of variables in cylindrical coordinates 27l 30.6 Results to date for the Taylor problem 272 Appendix to Chapter 30The matrices in Eagles' formulation
31
IX
274
The Early Onset ofTurbulence 31.1 The Landau~Hopfmodel 276 31.2 The Hopf example 278 31.3 The Ruelle~ Takens model 279 31.4 The wlimit set of a motion 280 31.5 Attractors 282 31.6 The power spectrum for motions in [Rn 283 31.7 Almost periodic and aperiodic motions 284 31.8 Lyapounov stability 285 31.9 The Lorenz system; the bifurcations 286 31.10 The Lorenz attractor; general description 288 31.11 The Lorenz attractor; aperiodic motions 290 31.12 Statistics of the mapping! and 9 293 31.13 The Lorenz attractor; detailed structure I 294 31.14 The symbols [i,j] of Williams 297 31.15 Prehistories 299 31.16 The Lorenz attractor; detailed structure II 300 31.17 Existence of Icells in F 301 31.18 Bifurcation to a strange attractor 302 31.19 The Feigenbaum model 303 Appendix to Chapter 3 I (Parts A~H)Generic properties of systems: 31.A Spaces of systems 304 31.B Absence of Lebesgue measure in a Hilbert space 304 31.C Generic properties of systems 305 31.D Strongly generic; physical interpretation 305 31.E Peixoto's theorem 306 31.F Other examples of generic and nongeneric properties 306 31.G Lack of correspondence between genericity and Lebesgue measure 308 31.H Probability and physics 308
276
304
References
313
Index
317
Preface to Volume II
The first eleven chapters in this volume, 18 through 28, contain material that was developed in the third year of the threeyear mathematical physics sequence at the University of Colorado. The central concepts are groups, manifolds, and differential geometry. I wish to thank Professors Wesley Brittin and Russel Dubisch for extensive discussions of this material, and I wish to thank Professor Wolf Beiglbock for advice and suggestions on the overall plan and on the material on group representations. The material in the last three chapters, related broadly to recent work in differentiable dynamical systems, has been discussed in special courses on hydrodynamic stability and seminars on mathematical physics. That material is somewhat less well organized than the older subjects, but has been included because it contains various concepts of great potential value in physical science. Boulder, August 1981
Robert D. Richtmyer
CHAPTER 18
Elementary Group Theory The group axioms; Abelian group; cyclic group; subgroup; order; isomorphism; homomorphism; automorphism; permutation; symmetric group; cycle; transposition; parity; alternating group; kernel of a homomorphism; normal subgroup; simple group; conjugate elements; cosets; Lagrange's theorem; factor group; law of homomorphism; translations; inner automorphisms; Cayley's theorem; conjugate subgroups; simplicity of .9115; composition series; JordanHolder theorem; generators and relations; free group; free abelian group; the word problem; space and point groups; direct and semidirect product; symmorphic space groups. Prerequisite: Elementary algebra.
This chapter contains a survey of elementary group theory. For applications in later chapters, the high point is the law of homomorphism and the concepts associated with it.
18.1 The Group Axioms; Examples A group G is any set or collection of elements {a, b, c, ... , x, y, z, ... }, finite or infinite, together with a law of composition, denoted by 0, such that: I.
11. Ill.
If a and b are any two elements of G, then a b is an element of G. If a, b, and c are any three elements of G, then (a 0 b) 0 c = a 0 (b 0 c) 0
(associative law). If a and b are any two elements of G, then there exist unique elements x and y in G such that a x = band y a = b. 0
0
If the elements are numbers, matrices, quaternions, etc., the composition a 0 b may be either the sum or the product of a and b; in the examples below,
the word "under" is used to identify the law of composition. In the case of mappings, transformations, rotations, permutations, etc., the law is understood as the usual law of composition; if a and b are transformations, then a b is the transformation that results from performing b first, then a. 0
2 Elementary Group Theory
Note. In some books, the axiom iii above is replaced by the fully equivalent axiom that G contains a unique identity element e and that each element a of G has a unique inverse aIsee next section.
As a first example, let G be the set of all rotations in the plane: let R", denote the transformation in which a point x, y is moved to, or mapped onto, the point x', y', where x' = x cos cP  Y sin cp, (18.11) y' = x sin cp + Y cos cpo U the transformations R"" and R"'2 are performed in succession, the result is a rotation through the angle CPI + CP2, i.e., it is the transformation R"" +"'2' It is easily verified that the set {R",: 0 s cP < 2n} of all such rotations satisfies the group axioms. A rotation in 3 dimensions may be described by first choosing a direction through the origin and then performing a rotation through some angle about that direction as a fixed axis. It follows from Euler's theorem, proved in Section 19.2, below, that the resultant of two such transformations, performed in succession, is another such, i.e., is a rotation through some angle about some axis. [This seems evident (because everyone knows that it is true) until one tries to prove it.] In consequence, the set of all rotations in 3 dimensions is a group. The group of all rotations in n dimensions is denoted by SO(n), for reasons that will appear. As a third example, consider the set of all rotations in 3 dimensions under which a cube, centered at the origin, is invariant (i.e., is mapped into a cube that coincides with the original cube). One can rotate the cube through 90°, 180°, or 270° about an axis through the midpoints of opposite faces, through 1800 about an axis through the midpoints of opposite edges, or through 1200 or 240° about an axis through opposite vertices. It is easily verified that these transformations (including the identity transformation) form a group of 24 elements. More generally, the set of all transformations of a specified kind (e.g., rotations, general linear transformations, rigid motions, conformal mappings) under which a given figure is invariant is a group, because the figure is clearly invariant under composition and inverses of such mappings. The rigid motions under which a crystal lattice is invariant constitute the space group of the crystalsee Section 18.13. The set of all permutations of n objects is a group; such groups are discussed in Section 18.4. Certain sets of real or complex numbers or quaternions are groups with respect to addition or multiplication, e.g., the set of all integers (positive, negative, and zero) under addition, the set of all positive real numbers under multiplication, the integers 0, 1, ... , m  1 under addition modulo m, or the set of all nonzero (real) quaternions under multiplication. When addition is the rule of composition, a 0 b is denoted by a + b, the inverse of a by  a, and the identity by O. Often the little circle is omitted and the composition of two elements a and b is written simply as a product abo
Elementary Consequences of the Axioms; Further Definitions 3
A finite group can be fully described by its multiplication table. For example, Klein's 4group V4 is defined by e a b c e a
e a b a e c b c e c b a
b c
c b
a e
which means that a b = c, etc. Each group element appears just once in each row and once in each column; furthermore, all rows are different and all columns are different. Any square arrangement of letters having this property is called a latin square (Euler). Any latin square defines an abstract group, provided that the multiplicative structure thus determined has an identity and satisfies the associative law. Abstract group theory deals with the relations indicated in the multiplication table and completely ignores the inherent nature of the elements, a, b, etc. In contrast with calculus, real and complex analysis, differential equations, and other subjects in analysis (group theory belongs to algebra), numerical quantities hardly ever appear, except integers for the purposes of enumeration and counting. The theory of groups plays a role in quantum mechanics, in the theory of spectra, in the analysis of classical dynamical systems, in the theory of automorphic functions, in the theory of algebraic equations, and so on. 0
18.2 Elementary Consequences of the Axioms; Further Definitions The following laws are consequences of axioms i, ii, and iii of the preceding section: Law of cancellation: If a, b, c are any elements of a group G, then a b = a c implies
b=c
boa = c a implies
b = c.
0
0
and 0
Identity: In G there is a unique element e such that a 0 e = eo a = a for all a in G. Inverses: If a is any element of G, there exists in G a unique element a 1 such that a a 1 = aloa = e; furthermore, (a b)l = b 1 a 1 . 0
0
0
Extended associative law: (a (b (c d») e = a b cod e, etc. Unnecessary parentheses will be omitted from now on. Also 0
(aobo ... oxoy)l
0
=
0
yl ox 1
0
0
0
•••
0
ob 1 oa 1 .
0
4 Elementary Group Theory
If a is in G, and m is any integer, then am is defined as follows: aO
=
e,
a 1 = a,
a 2 = a a, 0
a m
=
(a1r·
Clearly, these powers all commute, and an am = an+ m. Generally, two elements a and b of G are said to commute if a b = boa. If all pairs of elements of G commute, G is said to be a commutative or Abelian group. If all the elements an (n = 0, ± 1, ± 2, ... ) are distinct, then the element a is of infinite order; otherwise, as it is easily seen, there is a smallest positive integer I, the order of a, such that al = e; then am = e if and only if I is a divisor of m, and every power of a is equal to one of the elements {e, a, a 2 , ••• , d 1 }. A subgroup of G is a subset G' of the elements of G which is itself a group under the same law of composition that appears in G. The rotations about the zaxis constitute a subgroup of the group of rotations in 3space. The distinct powers of an element a constitute a subgroup called the subgroup generated by the element a; such a subgroup is a cyclic group of finite or infinite order. The order of a group is the number of elements in it (finite or infinite). If G' is a subgroup of G, we write G' < G. In any case, G < G and {e} < G. If G' ¥ G, G' is a proper subgroup; if G' = {e}, G' is the trivial subgroup. 0
0
0
MISCELLANEOUS QUESTIONS AND EXERCISES
1. What is the inverse of the element R", in SO(2)? What is the identity element? 2. Show that SO(2) is commutative, while SO(3) is not. 3. Show that the group of rotations that leave a cube invariant is of order 24, as claimed in Section 18.1. 4. Describe the group of rotations under which a right circular cylinder is invariant; same for a regular icosahedron. 5. Derive the three laws at the beginning of this section from the group axioms. 6. Determine which of the following are groups: (a) The set of all nonzero complex numbers, under multiplication. (b) The set of all nonzero n x n matrices under multiplication. (c) The set of all positive rational numbers, under multiplication. (d) The set of all positive irrational numbers, under multiplication. (e) The set of all positive algebraic numbers, under multiplication. (f) The set of all n x n matrices under addition. (g) The set of all n x n matrices of the form eA , under multiplication. (h) The integers 1,2, ... , P  1, under multiplication modulo p, p a prime. (i) The integers 1,2, ... ,m  1, under multiplication modulo m, m composite. (j) The set of all vectors in E 3 , under vector addition.
Isomorphism 5 (k) The set (I) The set (m) The set (n) The set (0) The set
of all nonzero vectors in £3, under vector multiplication. of all complex numbers z such that Iz I = 1, under multiplication. of all n x n unitary matrices, under addition. of all n x n unitary matrices, under multiplication. of all Mobius transformations az + b ztz'=ez + d
(ad  be
0)
=1=
in the complex plane.
18.3 Isomorphism If there is a onetoone mapping cp of a group G onto a group G' such that cp(a b) 0
= cp(a) cp(b)
(18.31)
0
for all a and bin G, then cp is an isomorphism, and the groups are isomorphic; in symbols, G ~ G'. [In (18.31), the first little circle denotes the law of composition in G, the second that in G'.] One says that products are mapped onto products. In this case, G and G' may be regarded as merely two different realizations of the same abstract group. For example, if G is the set of numbers {I, i,  1,  i} under multiplication, and G' is the set of matrices {I, A, B, C} under matrix multiplication, where
1=
G
~),
A = (
1
C
(~
=
then the mapping cp: 1 > I,
~),
0
(1
>
i
B,
~),
0
1)o ' 1
i > A,
B=
>
C
is an isomorphism of G onto G'; the law (18.31) is easily verified for each of the 16 possible pairs (a, b) of elements of G. For example, (i) = (1)0); hence cp(  i) ought to be = cp(  1)cp(i), i.e., C ought to = BA, which in fact it is. It should be noted that the mapping
1
>
B,
i
>
A
is another isomorphism of G onto G'. If G is the group of all complex numbers z such that Iz I = 1, under multiplication, then the mapping (j):
elo."
>
(cos . SIll
e e
sin cos
e\
eJ
is an isomorphism of G onto the 2dimensional rotation group SO(2).
6 Elementary Group Theory
An isomorphism of a group onto itself is an automorphism. An example in the group {I, A, B, C} of matrices described above is the mapping I
~
I,
A~C,
B~B,
C~A.
An automorphism of SO(2) onto itself is given by (
8) (sincos 88
8 sin 8
~  sin cos 8
COS
8).
sin cos 8
Any mapping cp (not necessarily onetoone or onto) of a group G into a group G' such that (18.31) is satisfied is a homomorphism. If G is the group GL(n, C) of all n x n nonsingular complex matrices under multiplication, then the mapping A ~ det A is a homomorphism of G onto the group of all nonzero complex numbers under multiplication. As a second example, let G be the group M 2 of all rigid motions in a plane, i.e., the group of all transformations of the form 'E 9,a,b
{x ~ x' y ~ y'
= =
x cos 8  y sin 8 + a, x sin 8 + Y cos 8 + b,
(18.32)
where 0 :$; 8 < 2n and where a and b are arbitrary real numbers. Then the mappmg COS
Teab~ ( .
,,
8 cos sin 8) 8
(18.33)
sm 8
is a homomorphism of G onto SO(2) as can be seen by performing two transformations of the form (18.32) in succession. Since SO(2) is a subgroup of G (with a = b = 0), the mapping (18.33) may be regarded as a homomorphism of G into itself.
18.4 Permutation Groups A permutation is a onetoone mapping of a set C (usually finite) of objects or symbols onto itself. For example, if C consists of the first seven digits, C = {I, 2, ... , 7}, then a particular permutation is the mapping n: j ~ n(j), where the function n(j) is given by n(l)
= 7,
n(2)
n(5)
= 6,
= 3, n(6)
n(3)
= 5,
= 1, n(7)
n(4)
=4
= 2.
This permutation is written in condensed notation as n
1 2 3 4 5 6 7) = (7 3 146 5 2 '
(18.41)
where it is understood that each symbol in the upper row is mapped onto the symbol below it. A cycle is a permutation which can be obtained by arranging the symbols in a circle and mapping each symbol onto the one following it (say clockwise) around the circle, for example, as in Figure 18.1;
Permutation Groups 7
Figure IS.1
A cyclic permutation.
this cycle is written in a still further condensed notation as (a bed e), which is of course the same as (b c d e a), etc. Any permutation of the set C can be expressed in terms of cyclic permutations of various subsets of C; for example, the permutation n given by (18.41) can be written as n = (1723)(4)(56).
(18.42)
The length of a cycle is the number of symbols in it. Cycles of length 1 [e.g., (4)J are usually omitted, since they represent the identity mapping, in which nothing is permuted. A cycle of length 2 is a transposition; it simply interchanges two of the symbols and leaves the rest unaJtered. Any permutation can be expressed as the resultant of successive transpositions. For example, if n2
n l = (17),
=
(72),
n3 = (23),
n 4 = (56),
then the permutation (18.42) can be written as n
=
nl
0
n2 0 n3 0 n4
= (17)(72)(23)(56),
(18.43)
where it is understood that the transpositions are to be performed in the order reading from right to left. The decomposition of a given permutation into transpositions is not unique, but it will now be proved that for a given permutation the number of transpositions is either always even or always odd. Namely, let f( ..) be the function of n real or complex variables defined by f(Xl, ... , xn) =
Il
(Xk  x);
(18.44)
l~j. All these functions are in X 1. We shall now show first that no new functions are obtained from these by the raising operator, i.e., that L +l/1m1 is the same function as I/1m, except for normalization, and second that L 1/1 I = 0, so that the sequence terminates at m = 1. We use induction on decreasing m, starting with m = l: Assume that, for some m, L + 1/1m ex 1/1 m + 1, i.e., that L  L +l/1m ex I/1m, and note that this last is in any case true for m = l, because L + 1/1, = O. According to (20.97), (20.910) and it follows that L + L l/1m is also exl/1m; hence L +l/1m1 ex I/1m, and the induction follows. We now determine the functions I/1m more explicitly. Let the proportionalities referred to be written as (20.911) Since each I/1m contains an arbitrary factor, these equations determine only the product am 13m , by the equation L  L +l/1m = amf3ml/1m. Hence, we can take 13m = am, for all m. It then follows from (20.910) that for all m < l,
Tesseral Harmonics; Legendre Functions 53
and this equation holds also for m = I, if IXI is set = 0.1t follows by an induction on decreasing m that IX~
= (I + m + 1)(1  m)
(m = 1,1 1, ... , I);
hence we can choose IXm
= J(I + m + 1)(1 
m)
(m
= I, I  1, ...),
(20.912)
where the positive square root is understood. In particular, IX 11 = 0; hence L l/l I = 0, as stated. The conclusion is that equations (20.99, 11, 12) determine all the functions l/lm (I S m S l) up to the constant C. These functions span a (21 + 1)dimensional subspace X 21 + 1 of XCO(S) that is invariant under L1> L 2 , L3 and also, as will be seen at the end of Section 20.14, under the transformations p(g) for all g in SO(3); there is one such subspace for each I = 0, 1,2, .... The transformations peg), when restricted to the subspace X 21 + 1, are called pl(g); they constitute a finitedimensional irreducible representation of G, and it will be shown in Section 21.13 that these are the only irreducible representations, up to equivalence.
20.10 Tesseral Harmonics; Legendre Functions It will be shown in this section that the properties of the spherical harmonics follow from the representation theory of the rotation group, and that the tesseral harmonics form a basis for the representation of SO(3). If the functions l/lm((}, cp) of the preceding section are taken as a basis in X 21 + 1, then the transformations peg), when restricted to x 2l+ \ are given by (21 + 1) x (21 + 1) matrices. Before these matrices can be computed, the functions l/lm must be discussed further; they will be denoted henceforth by Yi«(}, cp), to acknowledge the dependence on l. They are called tesseral (surface) harmonics. A surface harmonic is a functionf«(}, cp) such that rPf«(}, cp) satisfies Laplace's equation in x, y, Z, for some integer p, and it will be seen that rIYi«(}, cp) satisfies Laplace's equation. A tessera (which comes through Latin from a Greek word meaning "fourcornered") is a curvilinear rectangle such as the ones into which the sphere is divided by the zeros or nodal lines ofRe Yi orIm Yi, which occur on certain circles oflattitude () = const. and certain meridians cp = const. An inner product is defined in the space XCO(S) of functions on the unit sphere S, as follows:
(f1, f2)
=
f"
ff1«(}' cp)fzC(}, cp)sin () d(} dcp.
(20.101)
The completion of XCO(S) with respect to the norm II f I = (f,j)1/2 is the Hilbert space L 2(S). The operators p(g), g E SO(3), are unitary in L 2(S),
54 Group Representations I: Rotations and Spherical Harmonics
because they are defined in all L 2(S) and are invertible, and [since the integral (20.101) is invariant under rotations] because (20.102)
for all il and i2' It will be shown that the functions Y?, are orthogonal with respect to the inner product (20.101). If the constant C in (20.99) is suitably chosen (it can depend on I), they are also normalized. It will be proved that they form a complete orthonormal set of functions on the sphere. The ({J integration alone shows immediately that Yl:' and YG' are orJ.. m thogonal , if m 1 r2, because ym, I, ym1 1, contains a factor ei(m1m,)q> . It is evident from (20.92, 3) that the operators Li are antisymmetric, i.e., (Li i, g) = (f, Lig), and from this it follows that L  L + is symmetric. Furthermore, from (20.911), L L + Y?, = _(a?,)2y?" (20.103) where, with a slight improvement of notation,
(a?,)2
=
(l
+ m + 1)(1 
m),
(20.104)
according to (20.912). Therefore, the equation
(L  L + yr:, Y G) = (Yr:, L  L + Y G) is equivalent to
(a!';)2(y!';, Y G) = (aG)2(y!';, Y G); hence, since a!'; i= aG for 11 i= 12, it is seen that the Y?, are orthogonal. We now show how to choose the constant C in (20.99) so as to normalize the functions Y?,. The adjoint of the operator L + is  L  ; hence
(L + Y?" Y?,+ 1) = (Y?" _ L  Y?,+ 1).
= am = a?" that (  ia?, Y?, + 1, Y?, + 1) = (Y?" ia?, Y?'),
It follows from (20.911), since Pm
from which it is seen that I Y?, 112 is independent of m, for given 1. From the equation (20.99) for l/II = Yl,
I YW = 2n Iq2
f
sin 21 + 10 dO
_ 2 2·4 .. · (21)  4n IC I 1. 3 ... (21 + 1)
2 (21l!)2
= 4n Iq (21 + 1)! .
(20.105)
Therefore, if the constant C is chosen as C = CI =
(1Y
2lz!
then all the functions Y?, are normalized.
(21+1)! 4n
(20.106)
Associated Legendre Functions 55
With Yl given by (20.99) and (20.106), and the other Yi given in terms of Yl by the recurrence relation (20.911), which says that L  Yi+ 1 = io:iYi, we define new functions Pi(w), called the associated Legendre junctions, for 1 S w S 1 by the equation Y ml (e, m) = (_l)m 't'
21 + 1 (l  m)! pm( e) imq> 4;(l+m)! 1 cos e
(1 S m S 1).
(20.107)
lr
Notes. (1) The factors ( lY in (20.106) and ( in (20.107) are arbitrary, but conventional. (2) Historically, Pi(w) was first defined by equation (20.116) below, and Yi(e, sin ey, with C given by (20.106), the above equation gives y l 1 explicitly, from which equation (20.115) for P I I follows from (20.lQ7). (Some authors define y l m to be the complex conjugate of Yr, after defining the latter for m 2: O. The procedure followed here has some advantages; for example, the matrices P~'m of the irreducible representations of the rotation group, given below, are symmetric.) Clearly Pi(w) is a polynomial, for even m. p?(w), usually denoted by Plw), is the Legendre polynomial of degree I. EXERCISES
n
1. Show that SA (1  wZ)' dw = [21/(21 + 1)] (1  WZ)'l dw, and use this result to show, by an obvious induction, that the integral in (20.105) has been correctly evaluated. 2. Express the operators L ± in terms of the variables wand cp, where w = cos e, and derive the recurrence relationships (20.108,9) from (20.911).
3. For the special case m = 0, verify that the Rodrigues formula (20.116) gives a solution of Legendre's differential equation, which is (20.113) with m = O. [The solution is PiCw).] You are welcome to do the same for m # 0; it is just more work.
Matrices of the Irreducible Representations of SO(3); the Euler Angles 57 4. Since Pi' and P1 m satisfy the same equation (20.113) (this equation is unaltered by replacing m by  m), which can have at most one solution regular at w = ± 1, they must be proportional. Find the proportionality constant. Further warning about notation: some authors define p l m to be = Pi'. 5. Show that, as an alternative to (20.116), the equation
(d)lm(w 2 _
(/+m)' pm(w) = (_l)m _ _ _. _ 1 (1 _ w2)m/2 _ 1 (tm)!21l! dw
holds, for 1 :S m :S
1)1
(20.118)
t.
20.12 Matrices of the Irreducible Representations of 80(3); the Euler Angles
yr
For given I, the functions (m = I, I  1, ... , 1) are taken as basis vectors in the space X 21 + 1 of the (21 + i)dimensional representation of SO(3) found in the preceding sections. For any functionf = fee, cp), p(g)f is the function obtained by carrying the values off(e, cp) around the sphere by the rotation g. Hence, the matrix pl(g) ofthe transformation peg), when restricted to X 21 + 1, has components P~'m given by (p(g)Yr)(e, cp) =
I
L
m'=l
p~'m(g)Yne, cp)
(m
= I, I  1, ... , I). (20.121)
It is convenient to express the rotation by its Euler angles a, /3, y, and to write pea, /3, y) instead of peg). Then, g is the result of the following rotations in succession: 1.
2. 3.
A rotation through the angle y about the z axis, A rotation through the angle /3 about the x axis, A rotation through the angle a about the z axis.
(See Exercises 3, 4, and 5 in Section 21.5.) The matrix pi is decomposed accordingly as The first and third factors are diagonal matrices; the transformation pea, 0, 0) merely replaces cp in a function by cp  a and hence multiplies by e  ilZm; that is, P~'m(a, 0, 0) = e ilZm 'c5 m'm'
yr
Therefore, P~'m(rx,
/3, y) can be written in the form P~'m(rx, /3, y) = eilZm'p~'m(cos /3)e iym .
(20.122)
The functions P~'m(w) are closely related to the Jacobi polynomials; their properties are discussed at length in Gel'fand, Minlos, and Shapiro 1963 and in Vilenkin 1968, to which the reader is referred for details. (The definition
58
Group Representations I: Rotations and Spherical Harmonics
of P~'m given below agrees with that in Gel'fand et al. and gives the complex conjugate of the function defined by Vilenkin.) The P~'m are defined by the equation
P~'m(w) =
+ w) hg in SU(2), where h is a fixed group element, induces a rotation of S3 about its center, and hence that if dd(g) is the element of 3dimensional area on S3, the weight function w(g) in (20.73) can be taken to be constant, and the integral S f(g)dd(g) is invariant under left translations (also right translations) in the group. 3. Let a and b in Exercise 1 be written as
b = I.(. sm {3) 2. exp (.1IJ( 2
y) ,
where 0::;
IJ(
< 2n,
o ::; {3 ::; n, 2n::; y < 2n; then g is written as g(lJ(, {3, y), and the variables IJ(, {3, yare called the Euler angles of g. [Under the homomorphism of SU(2) onto SO(3) given in Section 19.7, they become the Euler angles of the rotation R(g), with y restricted to the range 0 ::; y < 2nnote that replacing y by y + 2n replaces g by g and leaves R(g) unaltered.] Show that if the Euler angles are taken as intrinsic c~ordinates in the group SU(2), then the element of area on S3 is given by dd(g)
4.
sin {3
= 8 dlJ( d{3 dy.
Show that g( IJ(, {3, y)
= g( IJ(, 0, O)g(O, {3, 0) g(O, 0, y).
(21.53)
5. Show that, under the homomorphism of SU(2) onto SO(3) given in Section 19.7, if R(g(lJ(, {3, y)) is called R(IJ(, {3, y), then R(IJ(, 0, 0) is =R(O, 0, IJ() and is a rotation through IJ( about the z axis, while R(O, {3, 0) is a rotation through {3 about the x axis. Give the geometrical interpretation of the result of Exercise 4 as the law of composition of an arbitrary rotation in terms of successive rotations about the z, x, and z axes, respectively. 6. Derive the formula for the area An of the nsphere (the unit sphere in En+l) from the evident equation
using the gamma function, and verify directly that the formula of Exercise 3 is correctly normalized. Conclude, on the basis of the 2tol homomorphism of SU(2) onto SO(3) that the (3dimensional) area of the surface that has been identified with the manifold of SO(3)see Section 19.5is equal to n 2 • Show that the volume of an ndimensional ball of radius R is 2nn/2
v" = ___ Rn. n['(n/2)
Invariant Integration; Haar Measure 69
The system {Y;"} oftesseral harmonics is not the only orthogonal function system that comes from the representations of SO(3). The tesseral harmonics are orthogonal on the unit 2sphere, which was taken as the homogeneous space for the representation. However, it was pointed out in Section 20.8 that the group manifold can also be taken as the homogeneous space; then, a larger class of orthogonal functions appearsthey are functions of the Euler angles a, {3, ')I, which can be taken as intrinsic coordinates in SO(3). The theorem below deals with such function systems in general. It is customary to denote the expression w(g)dd(g) that appears in the leftinvariant integration over the group manifold simply by dg, and to write equation (21.51) as Lf(hg)dg = Lf(g)dg .
(21.54)
Let Co(G) denote the space of continuous functions of compact support on the group manifold, or, as one says, on G (if G itself is compact, then this includes all continuous functions on G). Then fG f(g)dg, f ECo(G), is a continuous linear functional on Co(G) and is a measure (see Chapter 13). Hence, one sometimes speaks of a leftinvariant measure on Gor H aar measure, because it was discussed in a paper by A. Haar in 1933. Let L 2( G) denote the Hilbert space of quadratically integrable distributions defined on the group manifold, with the inner product (21.55) where, as above, dg is the leftinvariant measure (G not necessarily compact). The leftregular representation of G is the association with each h in G of the mapping p(h):f(g) + f(h 1g) (21.56) of L2(G) onto itself. (The rightinvariant integral leads similarly to a rightregular representation.) Since the inner product is based on the leftinvariant integral, it is seen that (p(h)f1' p(h)f2) = Lf1(h 19)f2(h1g)dg =
Lf1(g)fig)d g
=
(f1' f2),
for all f1' f2 in L 2 and all h in G.
That is, the representation p is unitary. It can be proved that, if G is a compact group, then all irreducible representations can be obtained by the decomposition of the (left or right) regular representation p. That is, if P1 is any irreducible representation, then there is a subspace Xl of L2(G) such that the restriction of p to Xl is equivalent to Pl.
70 Group Representations II: General; Rigid Motions; Bessel Functions
Often, even if G is noncompact, one can find irreducible representations by operators as in (21.56) on some space of functions defined on the group, although it may be necessary to go outside the Hilbert space L2(G) to find the functions. We shall not attempt to discuss the general case but merely give an example: in Section 21.10, the functions that appear in connection with irreducible representations of the noncompact group M 2 of rigid motions in the plane are not square integrable over G. We consider now the calculation of w(g). Suppose that 81> ... ,8n are intrinsic coordinates in the manifold of a group G and that we wish to find the weight function w(9) such that w(9)d8 1 ... d8 n is the element of invariant measure dg. We rewrite equation (21.54) as J
= Lf(hg')dg' = Lf(g)dg .
We consider the case where the function f(g) is zero except for elements g in a small neighborhood % of the identity element of the group, and f(g) = 1 for those elements. They occupy a small volume V in the coordinate space near 9 = 0; hence from the right member of the above equation we have J ~ Vw(O). The left member comes from group elements hg' in the neighborhood % of the identity, hence from g' in a neighborhood of hl, having volume V', so that J ~ V'w(h 1 ); hence we must determine V' to determine w(h  1). If we call g' = h  1 k, then k varies in %. We denote by 9(g) the coordinates of any group element g. Hence, if 9 and 9' denote the coordinates of k and g' = h 1 k, we have
9 = 9(k),
9' = 9(h 1 k) = 9'(9).
As 9 ranges through the volume V, 9' ranges through V'; hence V' is given in terms of the Jacobian as V'
~ aC8'b ... , 8~) I 0(8 1 ,
••• ,
8n )
V,
0
where the subscript 0 indicates that the Jacobian is to be taken at 9 We conclude that w(9(h  1»
=
c [0(8'1, ... , 8~) I ] 1, 0(8 1 ,
... ,
8n )
0
=
O.
(21.57)
where C is = w(O). Since h was arbitrary, h  1 is also arbitrary; hence this equation determines w(9) for all 9. If the group is compact, C can be chosen so as to normalize G dg to 1.
J
EXERCISE
7. Let G be the rotation group SO(3), let I3 x , l3 y , I3z be the intrinsic coordinates introduced in Section 19.6, and let Obe the vector with components I3 x , l3 y , I3z • Specifically, let 0 represent the group element k in the above discussion, where 11011 ~ 1, and let 0'
Complete System of Representations of a Compact Group 71 represent h1k. To first order in small quantities [see (19.61)],
We can take h 1 as a rotation through an angle rx about the x axis, since w(h 1 ) is independent of the direction of the rotationaxis, i.e., we can take
Show that the coordinates e~, e~, e~ of the element h1k are, to first order,
e~ = rx + ex'
e~ = rx[e 1 + cos rx  ~J, y
2 sin rx
e~ = rx[e z 1 ;
2
.cos rx rx
Sill
+ ~2YJ,
hence that the Jacobian is a(e~, e~, e~)
a(e x , e ez ) y,
I
rx 2
O~O = 2(1  cos rx)'
(21.58)
hence that the normalized weight function is given by w(9')
1  cos rx
= 4'n2'rx~2
,
rx
=
119'11.
(21.59)
Hint: The angle of rotation and the direction of the axis are given by (19.27 and 8) for a given rotation matrix.
21.6 Complete System of Representations of a Compact Group We come now to one of the most important theorems on compact groups. Theorem. Let pk (k = 1,2, ...) be a complete set of inequivalent irreducible unitary representations of a compact group G; let dk be the dimension of pk, and let P~n. The observables correspond in principle to an experimental arrangement, or apparatus, for measuring them. Suppose that the entire apparatus is rotated about some fixed point p into a new orientation by a rotation g [an element of SO(3)]. It then determines a new set of similar observables {A', B', ... }. A given state of the system now corresponds to a new set {a', b', ... } of numbers, which determine a new ray {(XIV} in f>. Under the action ofthe rotation g, then, each ray {rxtjJ} is mapped into another ray {rxtjJ'}. These mappings provide a ray representation of the group, as discussed in the next section. Suppose that a normalized vector tjJ is somehow chosen in each ray in f>. Then the rotation g determines a onetoone mapping among those vectors in f> that have been thus chosen. We assume, as an axiom of quantum mechanics, that the tjJ's can be so chosen that the mapping is linear, and hence can then be defined in all f> by linearity. Since the representing tjJ's were all normalized, the mapping is a unitary transformation U or U(g). It is not unique, however, for $iven g, because of the arbitrariness of the phases of the representing tjJ's. The degree of arbitrariness of U is described by the following lemma, whose proof is left as an exercise.
Lemma. Let Uland U 2 be two unitary transformations in f> such that,for every tjJ, the t11'o transformed vectors U 1 tjJ and U 2 tjJ determine the same ray. That is, there is a complexvalued function P(tjJ) such that U i tjJ = P(tjJ)U2 tjJ, for all tjJ. Then P(tjJ) = const. = p, where IPI = 1, i.e., U i = pU2 • Unitary transformations U and pU, where P is a constant and IPI = 1, are called equivalent: U ~ pU. We have seen that each rotation g corresponds to an equivalence class {PU: IPI = 1} of unitary transformations having different phases arg p.
82 Group Representations and Quantum Mechanics
Now suppose that for each 9 in SO(3) a single unitary transformation U(g) is somehow chosen from the corresponding equivalence class. If ljJ' = U(g)ljJ and ljJ" = U(h)ljJ', then the resulting transformation matrix for the mapping ljJ > ljJ", i.e., U(h)U(h), is not necessarily = U(hg), but is ~ U(hg). Hence, for each pair h, 9 of rotations there is a phase factor y(h, g) such that U(h)U(g) = y(h, g)U(hg),
(22.21)
where Iy(h, g)1 = 1. Possibilities for the choice of the function y(h, g) are discussed below.
22.3 Ray Representations The set S of all rays is called a ray space. It is not a linear space, because if r is a ray, and c a number, cris not defined, and ifrl and r 2 are two rays, r 1 + r 2 is not defined. If we drop the requirement of normalization, each ray is a onedimensional subspace of ~. From that point of view, the only reasonable definitions would make cr the same ray as r, even for c =1= 1, and would make r 1 + r 2 a twodimensional subspace for ~, and hence not an element of S. However, each element of S corresponds to a state of the physical system, and the correspondence is onetoone. S is a topological, in fact a metric, space in a very natural way. If r 1 and r 2 are two rays, their distance can be defined as d(rl' r2) = inf{llljJl ljJ211: ljJl Er1, ljJ2 Er 2, IIljJ111 = IIljJ211 = 1}.
The physical properties of the two corresponding states (expectations of observables) are nearly the same, if d(r 1> r 2) is small. Each rotation in space (each change of orientation of the apparatus) induces a transformation is S, as described above. It is not a linear transformation, since S is not a linear space, but it is continuous with respect to the metric in S. The mapping of the elements of SO(3) onto the corresponding transformations in S is an isomorphism: It is onetoone, and the product of any two elements in SO(3) maps onto the compositions of the corresponding transformations in S, etc. Each such transformation in S corresponds to an equivalence class of unitary transformations in ~. Generally, a homomorphism of a group G onto a group of equivalence classes of unity transformations in a vector space V is called a ray represevtation of G on V. As above, two unitary transformations Uland U 2 in V are equivalent if U 1 = /3U 2 for some constant /3. The ray representations of SO(3) on ~ are the physically relevant expressions of spherical symmetry. For calculational purposes, however, it is desirable to describe the transformations in S by something more tangible, like matrices. Hence, the question arises of selecting one unitary transformation U(g) from each equivalence class in some convenient way. If the phases of the U(g) could be so chosen that the factor y(h, g) in (22.21) were = 1 for all h, all g, then the mapping 9 > U(g) would be an ordinary representation of SO(3) on ~. That can't be done in general; what can be done will now be explained, after first restricting the problem to a finitedimensionalone.
Local Representations 83
22.4 A FiniteDimensional Case Suppose that the physical system has spherical symmetry and that there is a discrete energy state of energy E with finite multiplicity n. Then the corresponding eigenspace of the energy operator is an invariant subspace t)E of t). Then rays in t)E are transformed under rotations into other rays in t)E; hence t)E is invariant under each of the operators U(g), and the restriction of U(g) to t)E can be represented for each g by an n x n unitary matrix, which will also be denoted simply by U(g). From this point on, the discussion will be restricted to the finitedimensional case.
22.5 Local Representations The physically reasonable assumption is now made that the phases of the unitary transformations can at least be so chosen that the matrix elements Uij(g) are continuous functions of g. Then let {)x, {)y, and ()z be the intrinsic coordinates in SO(3) defined in Section 19.6, and let JV and JV 0 be the sets of group elements for which 11911 < nand 11911 < n/2, respectively. Although the group manifold as a whole is doubly connected, the regions JV and JV 0 are simply connected neighborhoods of the identity. If g and h are in JV 0, gh is in JV. Now, g, h, and gh are rotation matrices, and the matrix elements of gh are continuous functions of the matrix elements of g and h; hence, as g and h vary continuously in JV 0, gh varies continuously in JV. It will now be shown that the phases of the unitary matrices U(g) described above can be so chosen in the neighborhood JV that the function y(g, h) in (22.21) is = 1 for all g, h in JV o. When that is done, the mappingg ~ U(g) is called a local representation ofSO(3). (See Chapter 25.) Namely, since U(g) is continuous in JV, the multivalued function (det U(g»l/" splits into n independent continuous branches in JV, because JV is simply connected. Clearly U(e) is a multiple of the identity matrix I, and we write U(e) = {1"I, where IPI = 1. Then, (det U(e»l/n is Ptimes an nth root of unity, and a function lX(g) can be defined as that branch of (det U(g»l/" that is = Pfor g = e. It is now asserted that if new unitary matrices V(g) are defined in JV by the equations V(g)
=
1 lX(g) U(g),
(22.51)
then V(g)V(h)
=
V(gh)
for all g, h in JV o .
(22.52)
To prove this, note that in any case V(g)V(h)
=
beg, h)V(gh),
where beg, h) is a continuous function [compare with (22.21)]. It is seen from (22.51) that det V(g) = lforallg,henceb(g, h)" = 1,henceb(g, h)issomenth root of unity for all g, h; but bee, e) = 1, hence beg, h) == 1, by continuity, and (22.52) follows.
84 Group Representations and Quantum Mechanics
22.6 Origin of the TwoValued Representations The remaining question is: When can the local representation g > V(g) be extended to a representation of all SO(3)? If H denotes the matrix group generated by the matrices V(g), g in %, then the mapping g > V(g) is a local homomorphism SO(3) into H. According to Theorem 3 in Section 25.13, a local homomorphism of a Lie group G into a Lie group H can be extended to a homomorphism of all of G into H if G is simply connected, but not necessarily otherwise. G = SO(3) is, of course, not simply connected; however, from the mapping g > V(g) one can construct also a local homomorphism of SU(2) into H, and that homomorphism can be extended, because SU(2) is simply connected. Denote by u > g(u), where u E SU(2) and g(u) E SO(3), the homomorphism of SU(2) onto SO(3) that was constructed in Section 19.7. Then the mapping u > W(u) d~ V(g(u)) is a local homomorphism of SU(2) into H, defined for those values of u for which g(u) E %. Its extension [which will also be denoted by u > W(u)] is a representation of SU(2). Now, the homomorphism u > g(u) is 2tol, in fact g( u) = g(u), hence, the two equations g = g(u), W = W(u) give either (1) a representation g > W of SO(3)this in case W(u) = W( u)or (2) an association of two unitary n x n matrices, say VI (g) and Vig), =  VI (g), with each rotation matrix g, in such a way that each of the four products V;(g) fj(h)
(ij
= 11,12,21,22)
is equal to VI (gh) or to V2 (gh). This association is called a twovalued representation of SO(3). Clearly every representation of SU(2) thus determines a twovalued representation, hence a ray representation, of SO(3). Summary. Since the quantummechanical states correspond to rays in the Hilbert space rather than to vectors, a rotation g of the physical system corresponds not to a unique transformation among the vectors of a given invariant subspace, with matrix U = U(g), but instead to a set {aU: all a in C such that Ia I = I} of unitary transformations. It has been shown, however, that these sets are necessarily so interrelated that, by suitably choosing matrices from them, one can obtain a representation ofSU(2). This can happen in either of two ways: 1. It may be possible to choose one matrix U = U(g) from each set so as to give a representation of SO(3), and hence also a representation of SU(2) via the homomorphisms SU(2) > SO(3) > {U(g)}; (2 x 2) (3 x 3) (n x n)
2. It may be necessary to choose two matrices U and  U from each set and to associate them with the two elements u and  u ofSU(2), but with only one element g of SO(3), in such a way that they form an ordinary representation of SU(2) and a twovalued or spin representation of SO(3). It will be seen in Chapter 25 that there is no other group related to SO(3) in the way SU(2) is; hence there are no nvalued representations except twovalued ones.
Representations of SU(2) and SL(2, C) 85
Similarly, for a system that is invariant not merely under the rotation group SO(3) but also under the entire proper Lorentz group !t' p' the transformation of the wave functions corresponding to a given transformation g of !t' p is not unique. Instead, there is a set {aU: Ia I = 1} oftransformations corresponding to each g, and these sets are so correlated that one can choose transformations from them so as to give a representation ofSL(2, C) [which is related to!t' pas SU(2) is to SO(3)]; this may be a representation of!t' p itself, involving scalars, vectors, or general tensors, or it may be a twovalued representation (spin representation) of !t'p' In Dirac's theory of the electron, the transformation laws ofthe four components ofthe electron's wave function give a twovalued representation of !t'p (see Dirac 1958, p. 258). It is easy to see that a twovalued irreducible representation cannot be made into a singlevalued one by somehow appropriately choosing one of the two matrices U and  U that represent each given g of SO(3) (or !t' p); namely, if U 0 is a matrix that represents a rotation through n, in a twovalued irreducible representation, it can be shown that U~ =  I, but U~ represents the identity in SO(3), hence must be = + I in any singlevalued representation.
22.7 Representations of SU(2) and SL(2, C) The discussion so far is rather hypothetical until it can be shown that there actually exist representations ofSU(2) that give twovalued representations of SO(3). To be sure, the identity representation ofSU(2) by itself is one such, but there are many others. In the next few sections the irreducible representations of SU(2) will be discussed. They are all finitedimensional, because SU(2) is compact, while SL(2, C) and !t' p' which are not compact, have also infinitedimensional irreducible representations, concerning which the reader is referred to Valenkin 1968, Naimark 1976, and Sugiura 1975. It turns out that certain finitedimensional representations of SL(2, C) remain irreducible when restricted to SU(2); they give rise to ordinary and spin representations of the Lorentz and rotation groups. An element of SL(2, C) is a unimodular transformation of C 2 onto itself given by
u = (a
y
where ai5 
yf3
=
[3): (Xl) i5
+
(aXI + [3X 2), yXI
X2
+ i5x 2
(22.71)
1. The matrix of the inverse transformation is
u l
= (
i5
y
f3). a
Now the action of the group on C 2 is effective (any transformation u i= e moves at least one point of C 2 ) and transitive (given any two points x and y, there is always an element u in the group such that y = ux), that is, C 2 is a homogeneous space for SL(2, C). Therefore, let XOO be the space of all entire
86 Group Representations and Quantum Mechanics
analytic functions f(x 1 , x 2 ) of two complex variables. Then, according to (20.61) an infinitedimensional representation of SL(2, IC) is obtained by associating with u the transformation p(u) in X OCJ given by (22.72) Certain elements of the subgroup SU(2) are now considered. Let Wi> W 2 , be the intrinsic coordinates in SO(3) defined in Section 19.6, let gWl, W2, W3 be the corresponding rotation matrix [element of SO(3)J, and let ± U W1 , W2, W3 be the elements SU(2) that are mapped onto gWl, W2, W3 by the homomorphism of Section 19.7. In particular, one can take W3
uw,o,o =
(
COS
w/2
,W , 0
W/2)
sin cos w/2
e  iwj2
ei~j2
= ( .
Uo,o,w 
(
W/2)
cos w/2
w/2 sm w/2
COS
Uo
i sin
i sin w/2
0
'
' (22.73)
).
because a direct calculation, using the equations of Section 19.7, shows that the corresponding transformations from x, y, z to x', y', z' are those given by the matrices g..,OO
go"o
~G
0 0
~).
W
0 0 0
~ ( w~
~G
en) o, 0
w
goom
(22.74)
~}
0 0
in agreement with (19.61). Infinitesimal group elements ofSU(2) are obtained accordingl y :
o
1( 0
o
1(0 1)0'
OW w,O,Olw=O  2
T,   u 1 
i
T.2 u  OW O,w,Olw=O  2 1
T3 =
o uo,o,wlw=o = 21(i0 ow
0)
i'
(22.75)
Irreducible Representations of SU(2) 87
The corresponding differential operators of the representation pare
(22.76) L3
o p(uo,o,,,,)lro=o ="2i(Xl OX0 = ow I
X2
0)
OX 2
•
The infinitesimal elements and operators satisfy the commutation relations
[T;,1jJ
=
(ijk
7;"
=
123,231,312). (22.77)
We note in passing that the matrices (22.75) can be regarded also as the infinitesimal group elements of the larger group SL(2, q, for the following reason: First, it is easily verified that the matrices (22.73) are given in terms of the matrices T; by the equations uro,O,O = exp(wTI ),
uo, ro, 0
=
exp(w T2 ),
UO,O,ro = exp(wT3)'
By the methods of Chapter 25 (exponential mapping), it is seen that, more generally, (22.78) From (22.75) it is seen that the right member of this last equation is of the form exp(iA), where A is a general 2 x 2 Hermitian matrix of trace zero. If, now, WI' w 2 and W3 are allowed to take complex values, then it is of the form exp B, where B is a completely general 2 x 2 matrix of trace zero, and then exp B is a general 2 x 2 matrix of determinant = 1, i.e., a general element of the group SL(2, q.
22.8 Irreducible Representations of SU(2) For each value O,!, 1,1,2, ... of an index I, a subspace X 2 l+ I of XOO is defined as the space of all homogeneous polynomials in X I and X 2 of degree 21. From (22.72) it is seen that each operator p(u) transforms any homogeneous polynomial into another homogeneous polynomial of the same degree; hence each subspace X 2 l+ I is invariant under p(u), not only for all u in SU(2), but also for all u in SL(2, q. It will be shown that the representation ofSU(2) given by (22.72) on each subspace X 21 + I (it will be called Dl) is irreducible; hence, the representation of
88 Group Representations and Quantum Mechanics
SL(2, IC) on X 21 +1 is a fortiori also irreducible. It will be shown that any subspace of X 21 + 1 (other than the subspace consisting of the zero vector alone) which is invariant under SU(2) is all of X 21 + 1. This is done by the now familiar method of raising and lowering operators: Any such subspace is invariant under the operators L l' L 2 , L3 of equations (22.76), hence also under L1 ± iL2· The monomials (m = 1,1
+ 1, ... , l)
(22.81)
are a basis in X 21 + 1; fm is an eigenfunction of the operator L3 with eigenvalue im. Note that m assumes integer or halfoddinteger values according as I is an integer or half an odd integer. Any function g in X 21 + 1 can be written as em fm· By an argument like that of Section 20.5 it follows that if an invariant subspace of X 21 + 1 contains such a function g, then it contains all those monomials fm' individually, for which em =I O. Namely, if the subspace contains the function g, then it contains the function L 3 g (because the subspace is invariant under L 3 ), also the function P(L 3 )g, where P is any polynomial, but P can be chosen as to annihilate all the terms of L em fm except one (P can be taken as the Lagrange interpolation polynomial which vanishes for all eigenvalues im of L3 except one). Hence, the invariant subspace contains at least one of the functions fm. But L1 + iL2 is a lowering operator, i.e., it converts fm into a multiple of fm b except that it converts fl into zero; and L1  iL2 is a raising operator, i.e., it convertsfm into a multiple offm+ 1, except that it converts j; into zero. Hence, the invariant subspace is all of X 2 l+ 1, as was to be proved. It will be shown in the next section that the Dl (l = 0,1, I,!, ... ) are the only irreducible representations of SU(2). The twovalued representations of SO(3) come about as follows: If u E SU(2), then, under the homomorphism of SU(2) onto SO(3) of Section 19.7, u and u are both mapped onto an element g ofSO(3). If Dl is one of the representations of SU(2) found above, then the mapping g ~ D1(±u) is a singlevalued representation of SO(3) on X 21 +1 if Dl( u) = Dl(U) and is a doublevalued representation if Dl( u) =I Dl(U). It is only necessary to examine the case of u = 12 ; then Dl(U) = 121 +l' (Here, h denotes the k x k unit matrix). Under the mapping determined by the matrix 12' Xl and X 2 go into Xl and X 2 ; if 21 is even, the monomial fm goes into itself; hence Dl( 1 2 ) = 121 +1, and the mapping g ~ D1(±u) is the ordinary representation of odd dimension 21 + 1 found in Section 20.9. If 21 is odd, fm goes into fm; hence Dl( 12) = 121+ b and the mapping g ~Dl(±U) = ±D1(u) is a doublevalued or spin representation of even dimension. In a similar fashion, the irreducible representations ofSL(2, IC) given above [from which those of SU(2) were obtained by restriction] lead to finitedimensional ordinary and spin representations of the Lorentz group fi' p' However, there are still other irreducible finitedimensional representations of SL(2, IC), given in Section 22.11 below; they also determine ordinary and spin representations of fi' p' none of them unitary.
L
Functions of z and
z
89
22.9 The Characters of SU(2) The conjugacy classes of SU(2) are easily determined. First, matrices U 1 and U2 in SU(2) have the same eigenvalues if and only ifthere is a unitary matrix U [element of U(2)] such that u*u1u = U2. Since U can be multiplied by any complex number of modulus 1, we can assume det U = 1 without loss of generality, and then U is in SU(2). It follows that U1 and U2 are in the same conjugacy class in SU(2) if and only if they have the same eigenvalues. Therefore, each conjugacy class can be represented by a matrix of the form U= (
U iaI 2
°
for some rJ. in [0,2n]. For such u, the operator DI(u) simply multiplies the basis vector fm (22.81) by eima ; hence DI(u) is a diagonal matrix, whose trace is I( ) _ sin(l + t)rJ. X rJ. . 1 ' sm zrJ.
(22.91)
just as for the case in which 1is an integer, according to Exercise 3 at the end of Section 21.13. It was shown in that section that the functions 22.91, for 1 = 0, t, 1, ~, . .. form a complete system for the expansion of functions depending only on the conjugacy class on the manifold of SU(2); hence, the representations DI exhaust the irreducible representations of SU(2).
22.10 Functions of z and
z
The notation introduced in this section is convenient for discussing the representations of SL(2, IC) and is used in many branches of mathematics. Let u(x, y) and vex, y) be two real COO functions of two real variables x and y. We write z = x + iy, fez) = u(x, y) + iv(x, y), so that fez) is a complexvalued function of the complex variable z, not in general analytic. If fez) is analytic, then its derivative can be written in various forms, using the CauchyRiemann equations, namely /,(z)
where
a
+ iv)
=
ax (u
=
aiu + iv),
=
a
i ay (u
+ iv)
az is the operator
az ~ (:x  i :y). =
(22.101)
An operator az is similarly defined as
az= ~ (:x + i :y).
(22.102)
90 Group Representations and Quantum Mechanics
and it is noted that Oz fez) == 0, if fez) is analytic, by virtue of the CauchyRiemann equations. On the other hand, iff(z) is a polynomial (or convergent power series) in Z, then ozf(z) = o. Furthermore, the operators (22.101, 2) are linear differential operators; hence the usual rule for differentiating a product holds. Therefore, if f is a polynomial (or a convergent power series) in both z and z[in which case one usually writes fez, z) to indicate that it is not necessarily analytic in either z or z], then z can be regarded as a constant for the purpose of computing oz, and z a constant for computing Oz. That is, z and z may be regarded as independent variables for purposes of differentiation.
22.11 The FiniteDimensional Representations ofSL(2, C) The method of homogeneous polynomials used in Section 22.8 for SU(2) can also be used for SL(2, iC), but here a new aspect appears. Given a representation p of a group G, there are many ways in which another representation p' can be obtained. Among them is 'ifu in G,
p'(u) = p(u),
(22.111)
[which means that each matrix element Pmn(u) is replaced by its complex conjugate], for then P'(U 1 U2 ) = p'(u 1 )P'(U 2 ), etc. Another possibility is (22.112) if the representation is unitary, this is the same as (22.111). If G is itself a group of matrices, then two other possibilities are p'(u) = p(ii),
(22.113)
p'(u) = p«u T )  1).
(22.114)
If G is a unitary group, e.g., U(n) or SU(n), then (22.113) and (22.114) are the same, but otherwise, they are generally different. We now show that ifG is SU(2), then the representation p' given by (22.113) is equivalent to p; hence, in this case, no new representations are obtained by these methods, and that is why these methods were not used in Section 22.8. Namely, call
so that generally
Y
l(ac b)d Y
(
d b
c). a
(22.115)
The FiniteDimensional Representations of SL(2,
q 91
In particular, for any u in SU(2), U = y1 uy, which can be seen by writing u as (b ~). Then, since y is also in SU(2), p'(u) = p(y 1uy) = p(y)l p(u)p(y),
for all u; hence p and p' are equivalent representations. When the representations (22.113) and (22.114) are extended from SU(2) to SL(2, C) by writing (22.116)
p'(m) = p(m)
and (22.117) respectively, for m in SL(2, IC), they are no longer identical, or even equivalent. The second one is equivalent to p, because (m T )l = y1 my, by (22.115), since det m = 1, while (22.116) is inequivalent to p, for if the equations p(m) = VI p(m)V
(22.118)
held for all m, then V would have to be = p(y) in order that this equation be satisfied for mE SU(2), in which case it would not be satisfied for mf/: SU(2), since y 1my is not in general =m for such m. Clearly, then, SL(2, IC) has more representations, in some sense, than SU(2). To find them, we let XOO denote the set of all complexvalued functions of two complex variables Xl and X 2 that are Coo in the real sense rather than entire analytic in contrast with Section 22.10, and we denote these functions by f(x!> X2, Xl' X2), following the procedure of Section 22.10. In place of (22.72), we write (p(u)f)(x t , x 2, Xl' X2) = f(6x 1  {JX2' yxi
+ ax 2, bX1
 PX2' YX1
+ iXx 2),
(22.119)
where u is the matrix a6  {Jy
= 1,
(22.1110)
i.e., any matrix in SL(2, C). Now, in addition to the three matrices (22.73), which are in SU(2) and correspond to rotations in space, and which determine the infinitesimal operators L 1, L2 , and L3 by (22.76), we have three additional matrices, ( (
cosh m/2 sinh m/2
cosh m/2 i sinh m/2
(e~2
sinh mlh) cosh m/2
i sinh m/2) cosh m/2
(m =
CPJ, (22.1111)
92 Group Representations and Quantum Mechanics
which correspond to Lorentz transformations and determine further infinitesimal operators K 1, K 2, and K 3' Hence, the infinitesimal operators of SL(2, IC) are obtained by substituting the matrices (22.76) and (22.1111) into (22.113) and taking the derivative of each with respect to w at w = O. If we recall that x 1> X 2 , Xl' and x2 are to be regarded as independent for purposes of differentiation (see preceding section), we find that
(22.1112)
K3
1
"2 (Xl
=
aX! 
X2
aX) 
1
"2 (Xl aX!

x
2
ax).
The complete commutation relations are [Li' L j ] [Ki' K j ] [Ki' LJ [Ki' L j ]
Lk = Lk = 0 = Kk =
(ijk
=
123,231, or 312).
(22.1113)
We introduce also the operators L±
= Ll ± iL2'
(22.1114)
22.12 The Irreducible Invariant Subspaces of X OO for SL(2, C) As basis vectors for X oo , or at least for the set of all polynomials in X oo , we introduce the monomials
l/l
1
Im I+ml'm'l'+m' X2 Xl X2 ,
= l/llml'm' = eXl
where
c2
=
(1 m)! (/
+ m)! (I'
 m')! (I'
+ m')!,
(22.121)
Spinors 93
where I and I' are any two of the numbers 0, !, 1, !, ... , and where m = I, I  1, ... , I,
m' = 1', I'  1, ... , I'. For given I and 1', the space X(I, 1') spanned by the "'1m I'm' is the space of all homogeneou~ polynomials of degree 21 in the variables x 1 and X 2 and of degree 21' in Xl and X2' This space has (complex) dimension (21 + 1)(21' + 1). It is clear from (22.119) that each subspace X(l, I') is mapped into itself under every p(u), and hence is an invariant subspace. From (22.1112) we see that L 3", = i(m  m')"', K 3 ",
=
(m
+ m')"';
i.e., m is an eigenvalue of !iL3 + !K 3, and m' is an eigenvalue of !iL 3 + !K 3. It follows, by the same kind of argument used in all previous cases, that if an invariant subspace contains any function (polynomial) in the subspace X(I, I'), then it contains every monomial "'Iml'm' which appears in that polynomial with a nonzero coefficient. We find furthermore that L+ L
+ iK+ iK+
=
2ixl oX2'
=
2ix2 oXI'
L   iK+ = 2ixl oX2' L +  iK
= 2ix2 oXI'
Hence, L+ L
+ iK lowers + iK+ raises
m, m, m',
L   iK+
lowers
L+  iK
raises m',
in the sense that (L + + iK)"'lml'm' is proportional to "'lmll'm" etc. Hence, for given I and 1', all the "'Iml'm' are linked by the infinitesimal operators. We conclude that if an invariant subspace contains any function (polynomial) in X(I, 1'), then it contains the entire subspace X(l, 1'). That is, p, when restricted to X(I, 1'), is irreducible; it is denoted by p(I,l'); these are the only finitedimensional irreducible representations of SL(2, 0), such that g(O) = 1 and such that the corsome interval responding curve x(t) = A induces a local homomorphism 'I' : G > G given by the exponential mapping, namely '¥(e A) = e!/l(A), for eA in a suitable neighborhood of 1 in G. PROOF.
By the eBH formula, lJ'(eAel') = lJ'(eU I'+1/2[A,I']+"')
= el/l(J,+I'+ 1/2[A, 1'] + "');
154 Lie Groups since", is a Liealgebra homomorphism, the last expression is equal to eo/l O.) + 0/1(,,) + 1/2[0/1(,,),0/1(,,)]+
••• ,
and since the CBH formula holds also in G, the above is equal to eo/l(")eo/l("l; that is, '¥(e"e") = '¥(e")'¥(e"), as was to be proved.
As a corollary, if tjJ: A + A is a Liealgebra isomorphism, then 'P is a local isomorphism of the Lie group; if, furthermore, G = G and A = A, then 'P is a local automorphism of G. The next theorem indicates circumstances under which a local homomorphism can be extended to a global one. This question arose in Section 21.1, where it was shown that quantum mechanics can lead to local representations of groups like SO(3) and !l' p' It is recalled that the groups SO(3) and SU(2) are locally but not globally isomorphic, and that !l' p and SL(2, C) are also locally but not globally isomorphic. As a second example, let G be the twodimensional torus group, regarded as a group of matrices of the form
e~~ e~P). Its Lie algebra A is the commutative Lie algebra of matrices of the form
Any linear transformation IX + aIX
+ b{3,
{3
+ CIX
+ d{3,
where a, b, c, and d are real and ad  bc # 0, is a Lie algebra automorphism of A. The corresponding local automorphism of G is
'P:
(e~~ e~P) + ei(a~+bP) ei(C~+dP»);
it is valid only for sufficiently small IX and {3, because, for example, the element
has the property that g2 is the identity of G, and this property is not preserved under 'P, except for special choices of a and b.
Theorem 3. Let 'P be a local homomorphism of a Lie group G into a Lie group G, defined in a neighborhood U of1 in G. Then: (a) If there is an extension 'P of the mapping 'P to all of G, which is a homomorphism in the sense of elementary group theory, then 'P is continuous, hence analytic, throughout Gi.e., it is a Liegroup homomorphism. (b) IfG is connected, then there is at most one Liegroup homomorphism 'P which is an extension of 'P. (c) IfG is simply connected, there is exactly one such extension 'ft.
Law of Homomorphism for Lie Groups
155
(a). For arbitrary fixed go,let 9 = go h, where h is in the neighborhood U, so that the mapping h > 'P(h) is analytic. Then, .p(g) =
while the fourth term, [Ji1, Ji2], is in M. The same result is obtained if we start with Lie algebras Ao and M and then construct A, after first noting some of the properties of the linear transformations Ad". Each of them transforms the ideal Ao into itself, and the mapping Ji> Ad" is a representation of M on Ao, according to Exercise 2 of the preceding section, because, for Ji and v in M, Ad[.... l = Ad"Ad v  AdvAd". For fixed Ji, the transformation Ad" is a derivation, that is, Ad,,[A 1, A2] = [Ad" A1> A2]
+ [A1' Ad" A2].
[In any algebra, a derivation is a linear transformation p such that p(x y) = + x 0 p(y), where the circle denotes the multiplication in the algebra.] 0
p(x) 0 y
Direct and Semidirect Sums of Lie Algebras
161
Now let Ao and M be any given Lie algebras, and let the mapping
be a representation of M by derivations in Ao. A Lie algebra called a semidirect sum of Ao and M, and denoted Ao EBp M, is defined as follows: As a vector space, it is the direct sum of Ao and M, so that its elements are ordered pairs {A, J.l}, where A is in Ao and J.l is in M, and a Lie product is defined in it as
This product is obviously linear in each factor and antisymmetric. EXERCISE
1.
Show that the product just defined satisfies the Jacobi identity.
If A = Ao EBp M, and if Ao i~ identified with the set of elements of the form {A,O} and M with the set of elements of the form {O, Il}, then p(J.l) is just the transformation Ad" in A, because
Ad{o. It) {A, O} = [{O, J.l}, {A, O}] = {p(J.l)A, O}. EXERCISE
2. Let Go and Hbeclosed subgroups ofa Lie group G, where Go is normal. Assume that each 9 in G has a unique representation as goh, where go and h are in Go and H, respectively. Let A, Ao, and M be the Lie algebras of G, Go, and H, and show that A = Ao ffip M, where, for any 11 in M, P(I1) = Ad~. Hint: For A. in Ao and 11 in M, let fA., 11} denote 10g(eAe~) and find the Lie product of two such curly bracket expressions by applying the expansion of the CBH formula to
and to each factor separately.
The semi direct sum is a direct sum Ao EB M if p is the trivial homomorphism which maps every J.l in M onto the zero transformation; i.e., p(J.l)A = for all A. Ao and M are both ideals in Ao EB M. A fundamental structure theorem, proved at a much later stage of the theory, says that any Lie algebra can be written as a repeated semidirect sum
°
of Lie algebras, each of which is either 1dimensional or simple; hence, a main objective of the theory is a classification of the simple algebras. The theorem holds for both real and complex Lie algebras; its proof, which is quite deep, is found in Hausner and Schwartz 1968.
162 Lie Groups
25.16 Classification of the Simple Complex Lie Algebras The relations of the various objects in the theory are indicated in the following schema:
Lie group
>
real Lie algebra
>
complex Lie algebra
simple simple complexEreal Lie Lie ~ Lie algebra algebras groups
Each Lie group determines a unique real Lie algebra, which in turn determines a unique complex Lie algebra, by a process called complexification, described below. The complex case is simpler than the real case, just as in elementary matrix theory, because the complex number system C is algebraically closed, while ~ is not. (It is recalled that a real matrix generally has complex eigenvalues and eigenvectors.) There exists a complete classification of the simple complex Lie algebras into four main series of algebras and five socalled exceptional algebras. The next step is to find all the simple real algebras whose complexification leads to a given complex algebra. This step is carried through in Hausner and Schwartz 1968, where the reader can find a complete classification of the simple real algebras. The result is considerably more elaborate than the classification of the complex algebras, but it is still two steps removed from a classification of the Lie groups; for this, one must first find all possible repeated indirect sums of Idimensional and simple algebras, as described at the end of the preceding section, and then find all (say connected) Lie groups that yield a given real Lie algebra. We shall sketch the development very briefly through the classification of the simple complex algebras. For the algebraic details and the many lemmas needed for the proofs, the reader is referred to Hausner and Schwartz 1968. As indicated in the preceding section, we are mainly interested in the simple algebras, but, in the analysis of them, certain nonsimple algebras appear, namely the semi simple, solvable, and nilpotent Lie algebras. To define those, we note first that if Al and A2 are any ideals in a real or complex Lie algebra A, then [Ab A2], defined as the subspace spanned by elements of the form [Al' A2], where Al is in Al and A2 is in A2, namely, the subspace [Al' A2] = span{[Al' A2]: Al
E
A1, A2 E A2}
is an ideal contained in both Al and A2. We then define two descending sequences of ideals in A, namely, Al = A
:::J
and inductively by
N+l
=
[A, N],
A2
:::J
A3
:::J •••
Classification of the Simple Complex Lie Algebras 163
A is said to be solvable if A(k) = 0 for some k and nilpotent if Ak = 0 for some k. It is easy to see that a nilpotent algebra is solvable; in fact, Nk) c A\ for all k, by induction on k. As in Section 25.12, a Lie algebra A of more than one dimension is simple if it contains no proper nonzero ideals. It is called semisimple if it contains no proper nonzero solvable ideals (in which case A itself cannot be solvable, so the word "proper" can be omitted in this last definition). It turns out, at a considerably later stage of the development, that an algebra A is semisimple if and only if A2 = A (hence, we require that dim A> 1, for if dim A = 1, then A2 = 0), also if and only if it can be written as a direct sum of ideals A = At EB ... EB Ako where each Ak is a simple algebra. If A is a real Lie algebra, its complex(fication is defined as the complex Lie algebra Awhose elements are formal sums A + iJ!, where A and J! are in A, and in which the linear combinations and Lie products are defined in the obvious way; in particular, [At + iJ!l> 1..2 + iJ!2J = [At, A2J + i[J!t, A2J + i[Al> J!2J  [J!t, J!2l A. is semisimple if and only if A is semisimple. If A is simple, then its complexification is either simple or is the direct sum of two identical (i.e., isomorphic) simple complex algebras. Any real or complex Lie algebra A contains nilpotent subalgebras (they are, of course, not ideals, if A is semisimple); in particular it contains a socalled Cart an sub algebra M, defined below, which is nilpotent. To investigate the structure of A, one investigates the structure of M and the relationship between the elements of M and the other elements of A. That relationship is described by the operators Ad", J! EM; Ad" transforms an element of A into another element of A, namely A into [J!, Al The mapping J! > Ad" is a representation of M on the vector space A; hence the theory starts by considering general representations of solvable and nilpotent Lie algebras. The study of a representation P of an abstract algebra A has the merit that while A in A is an abstract object, p(A) is a linear transformation in a vector space, and standard linear algebra can be applied; for example, in the complex case, the transformation p(A) has at least one eigenvalue and one eigenvector. Also, the Lie product of p(A) and p(J!) is simply p(A)p(J!) p(J!)p(A). If p is a representation of any Lie algebra A on a vector space V, we call v in V a weight vector of p if it is a simultaneous eigenvector of all the transformations p(')..), A E A, i.e., if p(A)v = IX(A)v, VAE A, where IX( . ) is a numericalvalued function, obviously linear, defined on A, called the corresponding weight of p. A vector v in V is a generalized weight vector of p corresponding to the weight IX( . ) if, for some integer k, (p(A)  IX(A)I)kv
= 0,
VA E A,
164 Lie Groups
I being the identity transformation in V. The set of all generalized weight vectors for given (X( . ) is called the corresponding weight space and is denoted by Va. Thus, weight, weight vector, and weight space correspond to eigenvalue, eigenvector, and algebraic eigenspace, in the case of a single linear transformation. In the latter case, if V is a complex vector space, V is the direct sum of all the algebraic eigenspaces VI EEl ... EEl l'k corresponding to the eigenvalues Zl' .•. , zkthis corresponds to the fact that any matrix can be put into Jordan normal form. Analogous results hold for weights and weight vectors if the Lie Algebra in question is solvable or nilpotent.
Theorem 1. If P is a representation of a solvable complex Lie algebra M on a vector space V, then p has at least one weight vector v and corresponding weight (X( . ). Under the further assumption that M is nilpotent, we have the following:
Theorem 2. If p is a representation of a nilpotent complex Lie algebra M on a vector space V, then the weight spaces of p span V as a direct sum V
=
Va,
EEl ... EB
Va
k ,
where Va j is the weight space that corresponds to the weight (Xi, ),j = 1, ... , k.
In each case the proof proceeds by induction on the dimension n of M; the ideal M2 is ::pM, and if N is a subspace of M of dimension n  1 that contains M2, then N is a subalgebra (in fact, an ideal) and is solvable in the case of Theorem 1 and is nilpotent in the case of Theorem 2; hence the inductive hypothesis can be applied to N. The induction starts for n = 1, in which case there is only one linear transformation peA) involved up to a scalar mUltiplier, and the statements in the theorems reduce to the corresponding known facts of linear algebra. The algebraic work in the proofs is straightforward, but its quantity is enough to discourage all but the strong at heart. Next, two important tools in the analysis of a general Lie algebra A are introduced: the symmetric bilinear form and the notion of a Cartan subalgebra. The first is the symmetric form (A, J1) defined for all A and J1 in A by the equation (A, J1) = tr(Ad" Ad..), where "tr" denotes trace. It is real or complexvalued, according as A is a real or complex Lie algebra, but is not positive definite, except in a special case mentioned below. A basic theorem, Cartan's Criterion, says that a real or complex Lie algebra is semisimple if and only if the symmetric bilinear form is nonsingular, which means that for no A ::p 0 is (A, J1) = 0 for all J1. If A is any complex Lie algebra and M is a nilpotent subalgebra, we can apply Theorem 2 to the adjoint representation of M on A, so that the symbols p(J1) and V are replaced by Ad" and A. The weights, weight vectors, and
Classification of the Simple Complex Lie Algebras 165
weight spaces of this representation are then called roots, root vectors, and root spaces of M in A. If et( . ) is a root, the corresponding root space is denoted by Aa; it is a subspace of A. From the nilpotence of M it follows that the zero function, et(A) = 0 for all A, is one of the roots, and the corresponding root space, called AD, contains M. If the nilpotent sub algebra M can be so chosen that AD is = M, then M is a Cartan subalgebra of A. A basic theorem that every complex Lie algebra has a Cartan subalgebra. It turns out that if A is a complex semisimple Lie algebra, then (a) the Cartan subalgebra M is commutative, (b) for each et f= 0, the root space Aa is onedimensional, (c) if et is a root,  et is also a root, and (d) if A and A' are nonzero vectors in Aa and Aa, then [A, A'] is a nonzero vector in M, and (A, A') f= O. We number the nonzero roots ± etl> ± et z , ... , ± et k ; we choose vectors Ai and Ai in Aa, and Aa" so normalized that (Ai, IlJ = 1, and we call i = 1, ... , k. It can be shown that the vectors Ili span M. It follows from (a) and (b) in the preceding paragraph that for a semisimple algebra, only ordinary root vectors (i.e., no generalized ones) appear. For the root vectors Aa (et f= 0), that follows from the onedimensionality of Aa; and every vector v in AD = M is a root vector, because Ad" v = 0 for all Il in M. The Cart an subalgebra is not unique, but it can be shown that if M' is any other Cartan sub algebra in A, then M and M' have the same dimension, and there is an automorphism of A that carries M onto M'; hence, either of them can be used to investigate the structure of A. It is found that the configuration of the vectors Ili completely determines the Lie algebra. The description of this configuration is greatly simplified by the fortunate fact that if Mr denotes the real vector space consisting of linear combinations of the Ili with real coefficients, then the natural bilinear from ( ., . ) is real and positive definite in Mr; hence, Mr is a Euclidean space, if (, .) is taken as the scalar product. It can be shown that the real dimension of Mr is the same as the complex dimension of M, and we call it m. The (complex) dimension of A is then m + 2k. The length of a vector Il in Mr is 111111 = (Il, ll)l/Z, and the angle between two such vectors is
cos L fl, v
(Il, v)
=
IfJilnv~·
The star in M r consisting of the vectors Ili' thought of as radiating out from the origin, has a rather high degree of symmetry and can be described in the following terms: (1) For any given simple algebra A, either all the Ili have the same length, or there are just two lengths, some of the Ili being short, and the others long. (2) The angle between any two of the vectors is an integer multiple of 30° or 45°. (3) If the angle is 30° or 150°, one vector is long and the If the angle is 45° or 135°, the ratio other short; the ratio of the lengths is ofthe lengths is If the angle is 60° or 120°, the two vectors have the same length. (4) The entire star is symmetric with respect to reflection in each
fl.
J3.
166 Lie Groups
hyperplane perpendicular to one of the Jli' Every minimal star that satisfies these conditions determines a unique simple complex Lie algebra, and different stars determine different algebras. If A is merely semisimple and is a direct sum A = Ai EB ... E8 Ak of simple algebras, then Mr is spanned by k mutually orthogonal subspaces, each containing the star of one of the simple algebras. We now assume that A is simple. When Mr is onedimensional, the star consists of two opposed vectors of equal length, and the algebra A, called At. has dimension I = 3. When Mr is twodimensional, there are three possible stars, shown in Figure 25.2 together with the designations and dimensions I of the corresponding algebras, which are called A 2 , B 2 , and G2 • When M, is threedimensional, there are again three possible stars, corresponding to algebras called A 3 , B 3 , and C 3 . The star of A3 consists of six pairs of opposed vectors Jli and JIi' all equal in length, and extending from the origin to the midpoints of the edges of a cube; the angles that occur are 60°, 90°, 120°, and 180°. In the star of the algebra B3 there are six pairs of long vectors, arranged as for A 3 , extending to the edges of a cube, and three pairs of mutually orthogonal short vectors making angles of 45° with the nearest long ones, the length ratio being the short vectors extend to the midpoints of the faces of the cube referred to. The star of C 3 is the same as that of B 3 , but with the long and short vectors interchanged, so that the star fits into a rhombic dodecahedron. The dimension number I is equal to 8, 10, 14,15,21, and 21, for the algebras A 2 , B 2 , G2 , A 3 , B 3 , and C 3 , respectively. It is of course meaningless to talk about the lengths and directions of the vectors Ai, because they lie in the complex space A, for which ( " .) is not even a Hermitian inner product. What is meaningful is to find the Lie products [A, JI] for sufficiently many pairs A, JI so as to determine the structure of A. That is best done by means of the models described in the next section. To determine the possible stars, when Mr is of more than 3 dimensions, one makes use of a device due to the Soviet mathematician E. B. Dynkin. A simple set of vectors in the star is a certain set n of just m of the vectors Jli (m is always < 2k) such that all the vectors of the star can be obtained by repeated additions and subtractions, starting with the vectors of n, and such that only one set of vectors satisfying the conditions (1)(4), above, i.e.,
Ii;
Figure 25.2 The 2dimensional stars of simple complex Lie algebras.
Models of the Simple Complex Lie Algebras 167
only one star, can be obtained in this way. It can be proved that it is always possible to choose a simple set of vectors. Furthermore, although the set n is not in general unique, if n' is another simple set, then there is an automorphism of A under which M is invariant and n is carried into n'; hence it is unimportant which simple set is used. The possible angles between any two vectors of n are 90°,120°,135°, and 150°. A Dynkin diagram is a set ofm points or small circles on a plane, one for each vector in n. If the angle between two vectors in n is 120°, 135°, or 150°, then the corresponding points of the diagram are joined by a single, double, or triple line respectively; if the angle is 90°, the points are not directly connected. If the angle is 135° or 150°, the point corresponding to the shorter vector is indicated by an asterisk. Then, a number of things can be proved about the diagrams of simple complex algebras; for example, a diagram can contain no loops, it is connected, it can contain at most one double or triple line, it can have at most one branching, and so on. In consequence of these rules, it is found that there can be just seven types of Dynkin diagrams, as follows (m is the number of points and is equal to the dimension of M, lis the dimension of A): type Am(m
~
1)
Bm(m
~
2)
Cm(m
~
3)
Dm(m
~
4)
Em(m
= 6, 7, or 8)
F4 G2
00 ... 00 00 ... C>==G 00 ... 0=0
1= m(m
+ 2)
m(2m
+ 1)
m(2m
+
1)
oo .. ~
m(2m  1)
oo ...~
78,133,248
()()==00 ()==(V
52 14
Figure 25.3 Dynkin diagrams for the simple complex Lie algebras.
Types Am, B m, em, and Dm constitute the regular series, and the remaining five algebras are called exceptional.
25.17 Models of the Simple Complex Lie Algebras The above classification results from imposing various conditions, arrived at by very lengthy algebraic considerations, which a simple complex Lie algebra must satisfy. To show that there are no further conditions, and hence that all the above algebras actually exist, models of them are constructed. The models of the regular series are algebras of matrices, defined below. We
168 Lie Groups
continue to denote the elements of the algebras by the symbols A, p, ... ,even though other symbols might seem more appropriate for matrices. 1.
Am consists of all (m + 1) x (m + 1) complex matrices of trace zero. See exercises below. For Bm and Dm it is necessary to introduce the antidiagonal matrix J = p x p matrix(t)i).
1 0
2. 3.
Bm consists of all (2m + 1) x (2m + 1) complex matrices)" such that )..J + J).. T = 0 (p = 2m + 1). Dm consists of all 2m x 2m complex matrices).. such that AJ + J).. T = 0 (p = 2m). For em it is necessary to introduce the 2m x 2m anti diagonal matrix
o J' =
1
o
(,/ 4.
em consists of all 2m
x 2m complex matrices).. such that ,,J'
+ J').. T = O.
The following exercises concern the series Am. The series Bm, em, and Dm are similar. The models of the exceptional algebras are more complicated and are given in Hausner and Schwartz. EXERCISES
1. Let N be the Lie algebra of (m + 1) x (m [A" J1] = A,J1  J1A,. Compute the natural bilinear form (A" J1)
+
1) complex matrices A" with
= tr(AdAAd,J
[Note that AdA and Ad~ are linear transformations in an (m + 1)2 dimensional space, namely N.] Show that (A" J1) = 2«m + l)tr(A,J1)  (tr A,)(tr J1». Show that (A" J1) is singular in N but nonsingular in the subalgebra A = Am of matrices of trace zero, so that Am is semisimple. 2. Let M denote the commutative subalgebra of the Lie algebra A of Exercise 1 consisting of diagonal matrices (with trace zero). Consider the adjoint representation of M on A: J1> Ad~, where (Ad~A,)rs = (Il"  Ilss))"rs
(r,
S =
1, ... , n).
Consider the roots and root vectors of this representation. Show that the root space Ao , which consists of all matrices A, such that (Il"  Ilss)k Ars = 0 for some k, for all J1 in M, consists also of the diagonal matrices; hence Ao = M, hence M is a Cartan subalgebra. Show that the other roots cx(·) and corresponding root vectors A,a are obtained by choosing fixed i and k and setting cx(J1) = Ilii  Ilkko A,a
=
A,(i, k),
Models of the Simple Complex Lie Algebras 169 where A(i, k) is the matrix
and that the vector Il. is the diagonal matrix given by (Il.);;
1 = 2(m
+ 1)'
1 (Il.)kk = 2(m
otherwise
+ 1)'
(Il');'k'
= o.
Show that a simple set of roots is the set i
=
1, ... , m,
Show that the angle between Il., and Il., + 1 is 120° and that otherwise the angle between Il., and "' j is 90°, so that the Dynkin diagram of A is as given above for Am' namely,
00. ,..0
(m small circles).
For the classification and models of the simple real Lie algebras, which are needed for a classification of Lie groups, the reader is referred to Hausner and Schwartz. It is recalled that if A is a simple real Lie algebra, its complexification Ais either simple or is the direct sum of two identical (i.e., isomorphic) simple complex algebras, Hence, to classify the simple real algebras, one must examine each simple complex algebra and then find all simple real algebras from which it can be obtained by complexification. Given a simple complex algebra A, one possible choice of A consists of the elements of A but regarded as a linear space over the real field ~, rather than C, as the field of scalars, but that is not the only possibility. Other possibilities are found by considering the socalled conjugations in A. A conjugation in a complex Lie algebra is an antilinear mapping C [that is, C(aA + bll) = ilCA + bCIlJ, which preserves Lie products (that is, C[A, IlJ = [CA, CIlJ), and whose square is the identity mapping [that is, C(CA) = A]. The set of all A in A such that CA = A, with ~ as the field of scalars, is a simple real Lie algebra. A complete analysis of the conjugations in the simple complex Lie algebras, and the enumeration of the resulting simple real algebras, is given in Hausner and Schwartz. As an example, if A is the simple complex algebra A 1 of 2 x 2 matrices of trace zero, there are three corresponding simple real algebras, namely A 1 itself (with ~ as the field of scalars) and RA 1 = {2 x 2 real matrices of trace zero}
and QA 1 = {2 x 2 matrices of the form iH, where H is Hermitian and of trace zero},
We mention in passing that some of the corresponding Lie groups are SL(2, 1[:), 2p, SL(2, ~), SU(2), and SO(3). Corresponding to each simple cpmplex algebra Am' for m > 1, there are 4 + [em + 1)/2J simple real algebras, where [ J denotes integer part. Corresponding to the exceptional algebra G z there are three real algebras, called G z (over ~), HGi3 ), and HG~l).
170 Lie Groups
25.18 Note on Lie Groups and Lie Algebras in Physics The role of the rotation group SO(3) as a symmetry group in quantum mechanics was discussed in Chapter 22. In calculations, the corresponding Lie algebra usually appears, rather than the group itself. The Lie algebra of SO(3), which is of course the same as the Lie algebra of SU(2), the universal covering group of SO(3), may be realized either as the Lie algebra of 3 x 3 real skew symmetric matrices or that of2 x 2 skew Hermitian matrices of trace zero, called QA 1 in the preceding section. It may also be realized as a Lie algebra of operators in the Hilbert space t) of states of a physical system. If t) is taken as the space L 2([R3) of wave functions rjJ(x) of a spinzero nonrelativistic particle, the mappings [g
E
SO(3)]
form a representation of SO(3) on t), as in Section 20.9. The socalled infinitesimal operators of this representation were discussed in that section and are I
a
L j = x 8x k
k

a
x axl
Ukl = 123,231,312).
The corresponding selfadjoint operators ihL j are the angular momentum observables. The linear combinations of the L j with real coefficients give a realization of the Lie algebra A of SO(3). In elementary particle physics, the relevant symmetry group is often not known, owing to the lack of a complete theory of elementary particles, but various Lie algebras A are often found to playa role, on empirical grounds. Confusion can arise because the word "group" is often used for a Lie algebra. In particular, one finds references to the "group G2 ." According to Section 25.16, G2 is a Lie algebra, and in fact a complex Lie algebra. The corresponding group in the physical theory is presumably a group whose Lie algebra is one of the three real Lie algebras, mentioned in the preceding section, whose complexification gives G2 • The nearest that one can come to identifying a unique group in such a case is this: Of the real Lie algebras A whose complexification is a given algebra A, just one is the Lie algebra of a compact group (or possibly of several compact groups), and of the Lie groups G having a given real algebra A, just one is simply connected. Hence, in particular, there is a unique compact simply connected Lie group associated with the algebra G2 • Since many of the symmetry groups of physics are neither compact nor simply connected, the identification of the group to be associated with a given Lie algebra in particle physics must presumably await further theoretical developments. The algebra G2 has also been used in the study of atoms having partially filled/shells; see Racah 1949. In that case the theory is sufficiently complete that presumably there is a clearly defined corresponding group, which, according to Racah (see also Behrends, Dreitlein, Fronsdal, and Lee 1962) is a subgroup of SO(7).
Appendix to Chapter 25Two Nonlinear Lie Groups
171
Appendix to Chapter 25Two Nonlinear Lie Groups In this appendix, we give two examples of Lie groups that are not linear, that is, have no faithful finitedimensional representations, hence cannot be realized as groups of matrices. For the first example, let G denote the socalled Heisenberg group
If the above matrix is denoted by gx,y,z, direct calculation shows that
g;'~,o 1 go,y,o 1 1 gx,o,ogo,y,ogx,o,ogo,y,o
= = =
gx,o,O' go,y,O, go,O,xy'
(25.A1)
It follows that if p is any representation of G, then p(go. 0. z) is a unimodu
lar matrix for every z, because det(p(go,O,XY)) is equal to det p(gx,o,o)det p(go,y,o)det p(gx,O,O)l det p(go,y,O)l
=
1.
Now let Go denote the normal subgroup
It will be shown that every finitedimensional representation of the factor group GIGo is nonfaithful; hence GIGo is not a linear group. Let gx,y,z, where o S z < 1, denote the element of GIGo (a coset in G) that contains gx,y,z' That is, gx,y,z is the infinite set
g"""
~ {G ~ z ~} ~ 0, ±t, ±2,}
of 3 x 3 matrices. It is easily seen that, in analogy with (25.A1), 

1
1

gx,o,ogo,y,ogx,o,ogo,y,O = go,o,Z'
where z == xy (mod 1). Hence, as above, if p is any representation of GIGo, then det p(g) = 1 for every g in the subgroup H
=
G {go , °, z: 0 S z < 1} < . Go
But H is isomorphic to SO(2), with 2nz playing the role of (); hence H is compact and Abelian. According to the general theory of representations given in Sections 21.121.4, every representation of a compact group is equivalent to a unitary representation, and every unitary representation of
172
Lie Groups
an Abelian group is completely reducible as the direct sum of Idimensional representations. Hence, if p is any mdimensional representation of GIGo, then, relative to a suitable basis in V m , the representation p of the subgroup H ~ SO(2) has the diagonal form
_
(e21tinlZ .
p(go,o.z) =
.. (0)
(0))
.
e21tinrnz
Each of the Idimensional representations given by the diagonal elements of this matrix has determinant = 1 for all g in H; hence all the integers nl, ... , nm are zero. That is, all elements of the subgroup H are presented by the m x m unit matrix; hence the representation p of GIGo is not faithful. The second example is less elementary (at least, the present discussion of it is), because use is made of a moderately deep theorem on representations of Lie algebras. It will be shown that if G is the universal covering group of SL(2, ~) (the group of 2 x 2 real matrices with unit determinant), then G has no faithful finitedimensional representation. A canonical form for any matrix M in SL(2, ~) is now obtained. Let ~ be the rotation [an element of the subgroup SO(2)J that transforms the first column of M into a vector having components a, 0, where a > 0. Then RM is of the form
=
RM
(~ ~),
ac = 1.
We write a = eX, c = ex.Then,
for some real y. Hence, if the rotation R 1 is Ro, we have M=
(
COS
e
(2S.A2)
sine
This is the desired canonical form. It follows that the manifold of SL(2, ~) is the Cartesian product of a circle and two lines, C 1 x ~2. Since the universal covering of C 1 is ~, the manifold of Gis ~3. The Lie algebra A of SL(2, ~) has as basis the matrices L1
=
aa~lo = (~ ~),
L2
=
~~Io = (~ _~),
L3 =
~;Io = (~
~),
Appendix to Chapter 25Two Nonlinear Lie Groups 173
where, in each case, the subscript zero indicates that the matrix in question is evaluated at () = x = y = O. A direct calculation shows that
[Ll> L 2] [L 2, L 3] [L 3, L 1 ]
= = =
2Ll + 4L 3 , 2L 3, L 2·
(2S.A3)
These equations can be solved for L 1 , L 2, and L 3; i.e., the Lie products on the left also form a basis for A. It follows from the definition of the Lie product in terms of commutators in the group that the group is generated by commutators, i.e., by elements of the form ghg  1 h  1. By the argument used in the first example, it then follows that if p is any representation, then det p(g) = 1 for all g in SL(2, IR). Since G and SL(2, IR) are isomorphic in a neighborhood of the identity element, they have identical Lie algebras, and A is also (in the sense of isomorphism) the Lie algebra of G. Hence, if p is any representation of G, it follows that det peg) = 1 for all g in G. That is, any representation of G is unimodular. It can be shown that the Lie algebra A is simple. Namely, if A has an ideal J that contains a nonzero vector A == aLl + bL 2 + cL 3 , then J also contains the three vectors [Lj,A] and the nine vectors [Lk> [Lj,AJ]. A direct calculation, starting with (2S.A3), shows that L 1 , L 2, and L3 can be expressed as suitable linear combinations of those 13 vectors (it is not necessary to go to higher Lie products); hence J coincides with A, i.e., A is a simple Lie algebra. Let go. x. y denote the element (2S.A2) of SL(2, IR), where 0 ::; (}::; 2n. Then (), x, y with () unrestricted, can be taken as coordinates of elements go, x, y in G in such a way that in the covering of SL(2, IR) by G, the element gw,X,y of G lies over the element go,x,y of SL(2, IR) if ()' == () (mod 2n). Now let p be a representation of G on an mdimensional vector space vm = em. It will be sHown that p is nonfaithful. A represent:;ttion of A, which will also be called simply p, is induced in the usual way:
p(L 1 )
= ;()
p(go,X,y)!o=x=y=o, etc.
According to Hausner and Schwartz, p. 143, Theorem 2, a representation of a (real or complex) simple Lie algebra A is completely reducible; i.e., vm can be written as a direct sum V k1 EE> V k2 EE> ••. of invariant subspaces on each of which p is irreducible ('Lkj = m). The group G is generated by elements of the form eA (A E A), and p( e'l.) is = eP('I.); hence the representation p of G is also completely reducible. Specifically, each of the subspaces V kj of vm is invariant under peg), for all 9 in G, and the restriction pj of p to V kj is irreducible. Let gl denote the element g21< 0 0; gl and all its powers lie over the identity element of SL(2, IR), hence co'~mute with all 9 in G; hence, by Schur's lemma, pigl) = AI, where I is the k j x k j unit matrix. Since every representation is unimodular, det pig) = 1 for all g; hence Akj = 1. This is true for eachj; hence there is some power gi of gl (e.g., I = k) such that p(gi) = P(gl)l = I (=m x m unit matrix). But gi is not the identity of G; hence p is nonfaithful.
nUl
CHAPTER 26
Metric and Geodesics on a Manifold Scalar, vector, and tensor fields; Lie brackets; covariant and contravariant vectors; transformation laws; inner and outer multiplication; contraction; quotient law; derivations; metric tensor; definite and indefinite metric; Riemannian and pseudoRiemannian manifolds; raising and lowering of indices; geodesics; Euler variational equation; natural, affine, or preferred parameter; Christoffel threeindex symbols; spacelike, null, and timelike geodesics; initialvalue and twopoint problems of geodesics; Volterra integral equations; Picard iterations; Whitehead's theorem; continuation of geodesics; affinely connected manifolds; Riemannian and pseudoRiemannian covering manifolds.
Prerequisite: Elementary theory of manifolds (Chapters 23 and 24).
A manifold, as defined in Chapter 23, is a thing characterized just by its local topology: It is a locally ndimensional space in which the Hausdorff separation axiom holds. In this chapter and the next two, a manifold is made into a geometric structure by introducing further notions such as geodesics (a geodesic is the analogue of a straight line in Euclidean geometry), lengths, angles, and so on. The most fundamental notion is geodesic, which is derived, in the main geometries of interest to physics, either from a metric or from an affine connection; we start with a metric, because of its similarity with distance in familiar Euclidean geometry. Rougnly speaking, geometric properties contrast with the global topological properties of a given manifold in that the latter are expressed in terms of integervalued or discrete quantities like the number of components, the fundamental group, and higher homotopy groups, whereas geometry involves continuous real quantities like lengths and angles and the natural parameter along a geodesic (explained in Sections 26.6, 26.7, and 26.12). In Riemannian geometry, one starts with a metric differential form ds 2 = gjk dx j dx k in a given coordinate system, from which geometric ideas are derived. A simple familiar example of a nonplane 2dimensional geometry is the geometry on the unit 2sphere, where ds 2 = d()2 + sin 2 ed
Jgklfl
fo == 1
=
on '{lo·
The factor 1/2 can now be dropped from the integral (26.64). That is, when the parameter A is chosen as arclength on '{lo, the variational problems c5 ffo dA = 0
and c5 f dA = 0
(26.66)
have the same solutions. Although = 1 on '{lo, the partial derivatives of in (26.64) do not vanish, because they involve differentiations in other directions than merely along '{lo. Integrating by parts in the second term in (26.64) after deleting 1/2 (the integrated parts vanish because Zk = 0 at P 1 and P 2) and equating the integral to zero give
f
b
a
(0 OX k

d 0 0, if = 0, if < 0,
is called a space like geodesic; is called a null geodesic; ~ is called a timelike geodesic. ~ ~
(26.71)
Since is quadratic in the xk, this classification is independent ofthe choice of the natural paramefer. The parameter A can be so chosen that = 1 in the first case and = 1 in the third; then, A is called distance and proper time, respectively, along ~. Geodesics playa role in general relativity.
26.8 Geodesics; the InitialValue Problem; the Lipschitz Condition Let a 1 , •.. , a" be the coordinates, in a given chart, of an arbitrary point Po in a Riemannian or pseudoRiemannian manifold m. The initialvalue problem of a geodesic through Po with tangent vector ~1, ..• , ~" at Po, and with natural parameter A, is the following:
l
dX i . dA = 1"
diff. eq.
.
dpJ i k I  = hl}PP dA Xi(O) = ai = ~i
U=
U=
initial condo { pi(O)
1, ... , n),
1, ... , n).
(26.81)
(26.82)
It will be proved in the next section that this initialvalue problem always has a unique solution for A in some interval [  Ao , Ao]. It is convenient to call
l=xkak y"+k = pk
(k
= 1, ... , n),
(k
= 1, ... , n),
and to rewrite the differential equations as
dl 1 ... ,y2") dA= fk( y,
(k = 1, ... , 2n),
(26.83)
Geodesics; the InitialValue Problem; the Lipschitz Condition
191
where fk denotes the function on the right side of the kth differential equation of the set (26.81), for k = 1, ... , 2n, the Christoffel symbols now being regarded as functions of yl, ... ,y2n. The functions fk are defined for all yn+ 1, ... ,in, and for all i, ... , yn such that the corresponding point Xl, .•. , xn lies in the given chart. It is assumed that the {it} and their first partial derivatives are continuous throughout the chart, and it is asserted that the functions fk are Lipschitz continuous in any compact region of the yl, ... , in space in which they are defined. That is, suppose that (j is a constant such that the fk are defined for all yl, ... , in in the cube W determined by Iyi I ~ (j (i = 1, ... , 2n). Then there is a constant L = L((j) such that if {i} and {ji} are two points in W, then Ifk(yl, ... , y2n)  fk(yl, ... , y2n) I ~ L
max (j= 1, ... ,
2n)
Ii 
k = 1, ... , 2n.
yjl,
(26.84)
The proof is left as an exercise. It depends on the explicit form of the P given by (26.81) and on the assumption that the Christoffel symbols are functions of class C 1 of the variables yl, ... , yn. In this new notation, the initial value problem is
dl "df=
leo) =
fk( y, 1 ... ,yN) y~
(given)
(k
= 1, ... , N = 2n).
(26.85)
It will be proved in the next section that this problem has a unique solution near A = 0, hence we have the following: Theorem 1. The initialvalue problem (26.81, 2)for a geodesic starting at a point Po with initial tangent vector {~k} has a unique solution x\A) in some interval  Ao ~ A ~ Ao (Ao > 0). Corollary 1. If~: peA) is a geodesic in m, with A a natural parameter, satisfying an initial condition (26.82), then peA) is unique on its entire length. PROOF. Suppose PI (A) and P 2(,1,) are two such curves, and call Al the point at which they diverge; that is, Al = sup{A.: PI(A.') = P 2 (A.') for 0::0; A.' ::0; A}. Let Po = PI (AI) = P 2(,1,1)' and use Theorem 1 (with the origin displaced to ,1,1) to show that if P 1(A) and PiA) are defined beyond A = ,1,1' then they coincide in some interval'(Al  AD, ,1,1 + AD), hence that they do not diverge at AI, after all. If the initial tangent vector {~k} is replaced by a vector of different length in the same direction, then the geodesic obtained is the same as before, as a point set in 9Jl, but it has a different choice of the natural parameter Aon it; that is, it follows from the structure ofthe equations (26.81) that if {xk(A), pk(A)} is a solution, for Ain [0, AoJ, and if a is >0, then {xk(aA), al(aA)} is a solution for A in [0, ADa]. The initial tangent
192
Metric and Geodesics on a Manifold
vector is changed from gk} to {ae}. If a is taken =.10 , it follows that, given any direction, there is always a solution, valid for all Ain [0, 1], which starts in the given direction, provided that the components of the initial tangent vector are R0 (also at all points inside, it turns out), and the gravitational field is very nearly a Coulomb field. In fact, as the reader is doubtless aware, the observational tests of general relativity require the measurement of exceedingly small effects. This chapter is concerned with a primarily mathematical problem that comes out of the theory, namely that of finding the maximal extensions of the empty space solutions, such as the Schwarz schild exterior solution or the Kerr solution for the field around a rotating mass, into further regions of spacetime devoid of matter. The astronomical interpretation of these solutions in terms of "black holes in space" or cosmological models, is outside the scope of the present discussion. Henceforth, units oflength and time will be used such that ro = c = 1, and t will be written for X4. Then, the Schwarzschild line element is V.
ds 2 =
(1  ~)
1
dr2
+ r2(d&2 + sin 2
& dcp2) 
(1 
n
dt2 . (28.39)
Three coordinate charts can be constructed, using this metric. For the present, each of them is to be thought of as a separate Einstein manifold. To define a coordinate chart, it is only necessary to specify the region N in the coordinate space ~4 in which r, &, cp, and t vary. Clearly, singularities of the gil v must be avoided; hence there are three possibilities: NI :
NIl:
Nm:
1< r
0, while the rest are in the left halfplane. We assume that at a very early time (very large negative t), which we shall call the early linear regime, an arbitrary but very small disturbance was present, consisting of a linear combination of all the normal modes I/lkeAkt (k = 1 to 00). We assume that at a later time (t still negative), the late linear regime, all the normal modes except the first K of them have died out, and the disturbance is of the form of a linear combination (29.71) where the ak are constants. We assume that this disturbance is still sufficiently small that these modes are growing exponentially and independently. At a still later time, the nonlinear regime (which we think of as including the "present" instant t = 0), the solution (29.71) has continued to grow until, owing to the nonlinearities, it is no longer of that simple form (although it still depends on the parameters ai' ... , aK), but may for example begin to spiral toward a closed orbit or exhibit other complicated nonlinear behavior.
Figure 29.4
252 Bifurcations in Hydrodynamic Stability Problems
If we take a fixed t, say t = 0, and let the parameters a 1 , ••• , aK vary, the resulting points lie on K dimensional surface or manifold Wl in the Hilbert space tangent at the origin to the linear manifold Wl o sparined by the eigenvectors ljJ 1, ... , 1/1 K' (See Figure 29.4) Wl is invariant under the semi flow in f, determined by (29.41) in the sense that any orbit that starts in Wl remains in Wl, because, according to (29.71), a shift by to of the origin of time is simply equivalent to changing the parameter values according to the scheme ak
+
ak eAktO •
The orbits that lie in Wl may be regarded as describing the motions of a dynamical system with K degrees of freedom, whose properties we wish to investigate. Wl is called the unstable manifold in f, that issues or emerges from the origin. The unstable manifold issuing from any other fixed point in f, can be similarly defined after first linearizing the equation of evolution about that point. For unstable manifolds issuing from closed or quasiperiodic orbits, see Abraham and Robbin 1967, Appendix C by Al Kelley. The manifold Wl is locally attracting in the sense that there is a neighborhood of the origin such that any orbit that remains in that neighborhood for all t > 0 approaches Wl as t + 00. We shall not attempt to make that statement more precise except in one case: If Wl results from a supercritical bifurcation at R = Ro as discussed in the remaining sections of this chapter, then, for R > R c , Wl contains a new fixed point (in addition to the origin) or a new closed orbit or invariant torus, which is near the origin and which is stable, and in fact attracting, with respect to disturbances within Wl; then, for R  Rc small enough, it is attracting also for arbitrary small disturbances (not necessarily in Wl). For example, Davy 1962 showed that the Taylor vortices are stable in the relevant 2dimensional unstable manifold, and we conclude that for small R  Rc they are stable with respect to arbitrary small disturbances, as observed in experiments. The local stability of Wl reflects, in the linear approximation, the exponential decrease with time of all normal modes except those appearing in the construction of Wlsee (29.71). Coordinates in Wl can be chosen in various ways. More suitable than the parameters ab"" aK are coordinates Xl"'" XK based on a projection onto the linear manifold Wl o to which Wl is tangent at the origin of f,. For any u in f" that projection is given by an operator P defined by K
Pu =
L (Xb U)I/Ik,
(29.72)
k=l
where the vectors {xd are eigenfunctions of the adjoint problem and form a biorthogonal system with the {I/Ik}' Hence, for any u in the unstable manifold Wl, we take the coordinates as k
= I, ... ,K.
(29.73)
Reduction to a FiniteDimensional Dynamical System 253
For orbits lying in m, the equations of motion (29.41) take the form k = 1, ... ,K.
(29.74)
For points near the origin, we have F k(X 1, ... , x K)
=
AkXk + higher order terms.
(29.75)
The calculations of the functions F k is described in the next chapter. It is based on the idea that if U(X1, ... , x K) is the point ofm (a point in~) corresponding to coordinate values Xl' ... , XK, and if Xk(t) (k = 1, ... , K) is any solution of (29.74), then the quantity u(t)
= U(X1(t), ... , xK(t»
(29.76)
must satisfy the equation (29.41) of evolution in~. That requirement suffices to determine both the dependence of the Xk( . ) on t and of u(· . ) on the Xk . The computational procedure assumes analyticity throughout, so that U(X1, ... , XK) can be expanded in a power series in the Xk with coefficients that are elements of ~ and the Fk(Xb ... , XK) as ordinary power series. That assumption must be regarded as tentative, although the NavierStokes flow in ~ is known to have at least Coo smoothness (see Marsden and McCracken 1976). For the ndimensional reversible systems of interest to celestial mechanics, one defines also the stable manifold that emerges from the origin (similarly from any other fixed point); it is tangent at the origin to the linear manifold spanned by the remaining eigenvectors CfJK + 1, . . . , CfJn. It can be characterized as consisting of motions u(t) such that u(t) ~ 0 as t ~ 00. In fact, the stable manifold is usually discussed first, and then the unstable manifold is defined as the stable manifold that would result from replacing t by  t. Although, in hydrodynamics, most motions cannot be reversed in time, the particular motions that lie on the unstable manifold m can be, and m can be characterized as consisting of these motions such that u(t) ~ 0 as t ~  00. For use in Section 29.10, we mention another version of the unstable manifold, which refers to mappings, rather than flows. In place of the family of mappings u ~ CfJ(u, t) in a Hilbert space depending on a continuous parameter t we consider a family of mappings x ~ m(x) in an ndimensional manifold m depending on a discrete parameter m, given by iterating a mapping : m(X) = (( ... (x)· ..» (m iterations). We suppose that x
=
0 is a fixed point of and we linearize near 0: (x) = Mx
+ higher order terms,
where M is an n x n matrix. If M has eigenvalues CX b ••• , CXk (k < n) lying outside the unit circle Icx I = 1 and corresponding to independent eigenvectors v1 , .•• , Vk , while the other eigenvalues all lie inside the unit circle, then there is an invariant kdimensional manifold ~n lying in m and tangent at the origin to the linear manifold 91 0 spanned by v1, ... , Vk; see Abraham and Robin 1967 or Smale 1967.
254 Bifurcations in Hydrodynamic Stability Problems
Note on Real and Complex Hilbert Spaces. In the Hilbert space ~ of a fluid dynamical system the functions p, u, v, w (pressure and fluid velocity components) are allowed to assume complex values, even though they are real for physical flows, so that physical solutions are restricted to a real subspace ~o of ~. Since the NavierStokes equations are real, the eigenvalues of the linearized problem either are real or occur in complex conjugate pairs. We can assume that an eigenfunction l/Ik is real if Ak is real and that l/Ik and l/Ik' are complex conjugates if Ak and Ak, are. Then, in the representation u = I Ck l/Ik of an element of ~, we can require that Ck be real if Ak is and that Ck = Ck, if Ak = Xk,; then u lies in ~o. With that understanding, the manifold m is a real Kdimensional surface tangent at the origin to a real linear subspace mo of ~o, and the coordinates X k in mgiven by (29.73) also have the property that X k is real if Ak is, and X k = Xk' if Ak = Xk ,.
29.8 Bifurcation to a New Steady State In the simpler of the two classical Hopf bifurcation theorems, it is assumed that one simple real eigenvalue Ai (R) crosses into the right halfplane (i.e., passes through the origin), as the Reynolds number R increases past the critical value Rc: (29.81) Then the unstable manifold is onedimensional, and the equation of motion (29.74) takes the form
x = F(x; R),
(29.82)
where we have suppressed the subscript 1 on x and have taken the dependence on R into account. According to (29.75) and (29.81), this equation can be
.
R
R

.,.'" ,"
,.
+
I
I
,,
~
Figure 29.5
I
... ,
\
(b)
,
_x
x
x (a)
,
  Rc   , "   _ " '  "  
(c)
Bifurcation to a Periodic Orbit 255
Figure 29.6
expanded as (29.83) x = P(R  Re)x + higher order terms. The stationary orbits x = 0 are represented by the points on the locus
F(x; R) = 0 in the x, R plane. The locus consists of the R axis and a curve passing through the point x = 0, R = RC' as shown in three cases in Figures 29.5a, b, c. If the next lowest term in (29.83) is ax 2 , there is an un symmetric bifurcation; if it is ax 3 , there is a symmetric one, which is supercritical if a < 0 and subcritical if a > O. Stability is determined by the sign of x at points near the curves. For example, in the case of the unsymmetric bifurcation, the motion of points in the x, R plane is indicated by the arrows in Figure 29.6. In all cases, upturning branches are stable and down turning ones unstable, while the solution x = is always unstable for R > R e • In the subcritical bifurcation illustrated in Figure 29.5c, there is no stable equilibrium in the neighborhood of x = 0 for R > Re. In this case, if R is increased very slowly past Rc> a typical orbit takes the system from x ::::: to distant points of the configuration space in a relatively short time as soon as R exceeds Re. This phenomenon is called an explosive transition and contrasts with the adiabatic sequence of stable states which the orbit follows in the other cases.
° °
29.9 Bifurcation to a Periodic Orbit In the second case of the classical Hopf bifurcation theorem, it is assumed that a single complex conjugate pair of eigenvalues crosses into the right halfplane, as R increases past RC' while the rest remain in the left halfplane.
256 Bifurcations in Hydrodynamic Stability Problems
We write
± iw
,11, ,12 = a
= a(R)
± iw(R),
> 0,
w(RJ
(29.91)
where a(RJ = 0,
a'(RJ
=1=
0.
(29.92)
The manifold 9)1 has two dimensions. In place of the complex conjugate coordinates Xl and X2 in 9)1, we take real coordinates X and y such that Xl = X
+ iy, X2
= X 
iy.
To lowest order, a motion in ill1 is given, according to (29.74, 5), by
~(x + iy) =
dt
Al(X
+ iy)
= (a
+ iw)(x + iy).
Close to the origin, the orbits are approximately the spirals (x
+ iy)
~
const. e and decreases if a < 0. We now investigate what happens a little farther out. We define the Poincare mapping of the problem as a mapping X ~ (x) of the x axis in 9)1, by saying that if an orbit has coordinates x, 0, for some t, then it has coordinates (x), 0, when f) has increased by 2n. Note that x and (x) can be either both positive or both negative. We write
°
(x)
= x[l
+ g(x)].
(29.94)
The orbit structure depends on the properties of the function g(x). From the spirals near the origin, we see that 1 + g(O)
°
in particular, g(O) = for R = RC' because then g(x) in a Taylor series in x and R  RC' we have g(x)
°
=
g(x, R)
°
=
ax
(29.95)
= e2 " and x < near x = 0, and that would imply that an orbit crosses itself, i.e., its second turn would be farther from the origin than its first turn on one side and closer to the origin on the other. The coefficient b is positive, because, under the assumption (29.92) about a, orbits near the origin spiral out for R > Rc and in for R < Rc.
Bifurcation from a Periodic Orbit to an Invariant Torus 257
We consider the locus in an x, R plane of the equation g(x, R) = 0. If xo, Ro is a point on that locus, then, for R = R o , 0. The bifurcation is called supercritical in the first of these cases and subcritical in the second. As in the preceding section, one must expect an explosive transition, if c > 0.
29.10 Bifurcation from a Periodic Orbit to an Invariant Torus The next bifurcation, after one that results in a closed orbit, hence a periodic motion, can result in an invariant 2dimensional torus, as shown by the example of Hopf 1948. Theorems on such a bifurcation have been given by various authors, including Naimark 1959, Sacker 1964, Ruelle and Takens 1971, and Lanford 1973. The theorems have been based largely on Floquet theory, but we shall take a more intuitive approach, based on the notion of a Poincare mapping. Let R 1 be the critical value of the Reynolds number R for first appearance of the periodic orbits in a supercritical bifurcation, as discussed in the preceding sections. We assume that for some R > Rl the unstable manifold 9Jl has dimension K. 9Jl contains the 2dimensional manifold discussed in the preceding section, and we suppose the coordinates in 9Jl so chosen that the first two of them are the coordinates x, y of the preceding section; the remainder are called X3, ..• , XK. Then, if R is not too much above Rb the closed orbit encircles the origin in the x, y subspace and cuts the positive and negative x axes once each. Let V be the (K  I)dimensional hypersurface in 9Jl given by y = 0; then, V is intersected twice by the closed orbit, as shown schematically in Figure 29.7, and we denote one of the intersections y
v
""
Figure 29.7
.. x
"\'\'
4>(x)
258 Bifurcations in Hydrodynamic Stability Problems
by x = ~ = ~(R), where x is a vector with K  1 components x, X3' •.• , XK' For x near ~, let R2 there is a nearly circular invariant closed curve rc in S encircling the point~. Then, if we let rc be carried along by the flow in m, it leaves the hypersurface V and traces out an invariant tube in which is then closed, forming a torus, when rc passes through V again near ~. To facilitate analysis of the Poincare mapping, it is convenient to introduce new coordinates ~ and 1'/ in S in place of u and v, so chosen as to make the Poincare mapping ... , XK, (30.29) then gives Xj = const. exp(Ajt}, as expected. Second, if s is not one of the el , that is, if Is I > 1, we find, using (30.213),
(f j
~
1
sjAjM  L)U s = 
I"
j
f I" ~1
(q)
qjajs+erqMUq
+ I"'B(uq, U
S 
q ),
(30.214)
(q)
where denotes the sum over all q in 2 such that s + ej  q is also in 2 and q =f. s, and I'" denotes the sum over all q in 2 such that s  q is also in 2; these are finite sums. We now show that these equations, if taken in a suitable order for the various s in 2, determine the unknown functions Us and unknown coefficients ajs inductively. We assume the equations (30.214) so ordered that all equations with a given value of IS I appear earlier than the equations with one higher value of Is I, and we assume that when any of the equations is encountered, all functions and coefficients appearing in previous equations have been determined. (The ordering of the equations with a given value of lsi is irrelevant.) We claim that then all the u q appearing on the right of (30.214) are known. In fact, for most of the terms there, Iql is less than lsi; the only exceptions are terms in which q is of the form s + ej  el , for some 1 =f. j (recall that q =f. s); however, the term with that value of q contains the coefficient qj el' which is = 0 by (30.213); hence, all the uq that appear on the right of the equation may be regarded as known. The unknowns in that equation are therefore the function Us and the coefficients al s (l = 1, ... , K).
268 Invariant Manifolds in the Taylor Problem
To determine the coefficient al s ' for any 1 = 1, ... , K, we take the inner product with Xl throughout (30.214). The left member gives zero, and all the terms in the first sum on the right give zero, except when q = el andj = I; hence, al s =  (Xl' I"'B(u q , US 
q )).
(q)
With these coefficients known for 1 = 1, ... , K, equation (30.214) can then be solved for Us' In this way, the invariant Kdimensional manifold 9Jl is determined in that neighborhood of the origin in f, in which the series (30.27, 9) converge. This is the method of Davey, of Davey, DiPrima, and Stuart, and of Eagles. Although those authors don't describe it in those terms, its main feature is a calculation of the unstable manifold of the origin in f,; then the equations (30.29) represent a finitedimensional dynamical system in that manifold and can be studied by any of the standard methods, by analytical search for fixed points and cycles, or by calculations of orbits by numerical methods for ordinary differential equations. An important feature of their method is the assumed orthogonality of all the uq , except for Iql = 1, to the adjoint functions Xl>"" XK' We have presented that assumption by equations (30.25, 6) as simply a convenient way of prescribing the coordinates Xl"'" x K in the unstable manifold, but it has a deeper significance, and is the fundamental idea that makes the method successful. Each Us is determined in terms of known quantities by an inhomogeneous equation (30.214), in practice a differential equation with boundary conditions. For some of those equations, when the Reynolds number is close to one of the critical values, the operator on the left is nearly singular, and in fact is singular when the Reynolds number is equal to that value. According to the alternative theorem of linear algebra, which applies also to linear equations in a Hilbert space, singular inhomogeneous linear equations have no solution unless the right member is orthogonal to all solutions of the corresponding transposed homogeneous equation, which are just Xl' ... , XK; if it is, the solutions are nonunique, but they can be made unique by requiring that they also be orthogonal to Xl>"" XK' If this assumption, or something similar, is not made, some of the uq can be unreasonably large, for Reynolds numbers of interest, presumably preventing the convergence of the series (30.27).
30.3 Cylindrical Coordinates The NavierStokes equations (29.34 and 5) are
au at + (u· V)u + (u . V)u + (u . V)u + Vp V. u
=
0,
vV 2 u = 0,
(30.31) (30.32)
Cylindrical Coordinates 269
where u(x) is the basic laminar flow (Couette flow for the Taylor Problem). We introduce cylindrical coordinates r, e, z and corresponding velocity components u, v, w, so that u = ukr
+ vke + wk z ,
(30.33)
where k" ke, k z are unit vectors in the directions of increasing r, e, and z, respectively. In the cylindrical coordinates, the operators V2 and u' V have the forms
(30.34)
When these operators are applied to a vector field in the form (30.33), the dependence of the unit vectors kr and ke on emust be taken into account:
o oe ke =
kr •
For the Taylor problem, the basic laminar flow is given, according to (30.11), by u = 0, W = 0, and
v = v(r) = Ar + B/r.
(30.35)
When the foregoing equations are combined, they give a simultaneous system of partial differential equations for the quantities u, v, w, and p, as functions of r, e, z, and t. For the practical application of the method described in the preceding section, it is convenient to put those equations in the form introduced by Eagles 1971, by the introduction of sixcomponent vectors U, V, etc., whose components are p, ov/or, ow/or, u, v, w. The system then takes the form
o 0  U  AU  M  U  K(U)U = 0 or
ot
'
(30.36)
where A, M, and K(U) are 6 x 6 operatorvalued matrices contammg %e and %z, but not %r. [To achieve the last, the divergence equation V . u = 0 has been used to eliminate explicit reference to ou/or, except in the first term on the left of (30.36).J The matrices are written out in the Appendix to this chapter; they are essentially the same as in the paper of Eagles, but in a slightly different notation. All matrix elements of M and K(U) are zero except in the upper right quarter of the matrices. To explain the notation K(U), we may consider the expression K(U)V; the matrix elements depend linearly on the components of U and act linearly on the components of V.
270 Invariant Manifolds in the Taylor Problem
30.4 The Hilbert Space For the Taylor problem, theory and experiment agree in indicating that, once the Taylor vortices (or wavy vortices, or helical vortices) have been established, the entire flow is periodic in the z direction with a period of the order of twice the separation of the cylinders, at least when the cylinders are very long, and in the approximation in which end effects are neglected. Here, we shall simply assume such periodicity, and we shall assume that the wave number rx is known, so that the period is 2n/rx. We call &It the region given by 0::;;
&It:
e::;;
2n
2n,
O::;;z::;;, !Y.
(30.41)
and we take f> as the Hilbert space L2(&It)6 with the inner product (U, V)
=
fff D·
(30.42)
V drdedz.
at
With this choice of inner product, the eigenvalue problem adjoint to
a
 U  AU  AMU = 0 or ' U4
(30.43)
= U 5 = U 6 = 0 at r = r 1 and
is the problem
a

  U  A*U  AM*U or U 1 =U 2 =U 3 =0
atr=r 1
=0
and
'
(30.44) r=r2'
where A* and M* are the transposes of the matrices A and M with %e and %z replaced by %e and a/oz. As in the preceding section, it is assumed that: 1.
2.
For a given value of A, the problem (30.43) has a solution if and only if the problem (30.44) has one. Each of the problems has a complete set of eigenfunctions, and for this purpose it is not necessary to include generalized eigenfunctions of higher order, e.g., solutions of (a/or  A  AM)2U = 0, etc.
These assumptions have been confirmed as far as possible by numerical calculations involving the first ~ 40 eigenfunctions. The eigenfunctions U(j) of the direct problem and those UW) of the adjoint problem can be chosen to be biorthogonal in the sense that (30.45) The choice (30.42) of inner product is somewhat arbitrary. For example, it might seem to be natural to have rdr appear in place of dr. Then, the adjoint
Separation of Variables in Cylindrical Coordinates 271
equation (30.44) would be somewhat different, and the adjoint functions utu) would be different, but the biorthogonality relations (30.45) would continue to hold. It is only those relations that are important; they are used to construct the projections that project the points of the unstable manifold 9Jl onto the corresponding linear manifold 9Jlo tangent to 9Jl at the origin. There is no choice of inner product that makes the operators selfadjoint.
30.5 Separation of Variables in Cylindrical Coordinates The variables can be separated in the linearized problem, and in particular in the eigenvalue problems (30.43, 4), so that the eigenfunctions are of the form U = V(r)eiPClZ+im6, where p and m are integers; we write the kth eigenfunction as k = 1,2,3, ....
(30.51)
One of the advantages of the method of Davey, DiPrima, and Stuart, described in Section 30.2, is that, although the variables don't separate in the nonlinear problem, they do separate in each term of tHe expansion (30.27) of the unstable manifold in the coordinates Xl>'" ,'XK' The coefficient uq that appears there is an element of the Hilbert: space, hence represents a vector function of r, e, z in the region f!Jl, and that function has just the form (30.51). Specifically, those coefficients, which are now called U q [q being a point in the lattice !£ described by (30.28)] and the numerical coefficients ajq that appear in (30.29) satisfy relations as follows: Lemma. Forgeneraljandq,ajq = furthermore, U q is of the form
Uq
=
ounless p(q) = p(e) and m(q) = m(ej);
V q(r)e ip(q)ClZ+im(q)6.
Here p(q) and m(q) are given by p(q) m(q)
= =
K
L qkPk,
k=l K
L qkmk,
k=l
and ej is that vector in the lattice !£ having its jth component other components = O.
=
1 and its
The proof of the lemma is by an easy induction on the norm iqi = ql
+ ... + qK introduced in Section 30.2, and is omitted.
The advantage of the separation of variables is that the linear equations that have to be solved for the uq (30.214) are ordinary differential equations for functions of r in the interval [r l , r2]. They are sixthorder twopoint
272 Invariant Manifolds in the Taylor Problem
boundaryvalue problems, with three boundary conditions at each end of the interval. There are generally many such equations per problem (for example, 800 of them when the number of dimensions K of the unstable manifold is = 14 and the expansions (30.27, 9) are carried through fifthdegree terms), but the available numerical methods for such equations are faster and more accurate than methods for partial differential equations.
30.6 Results to Date for the Taylor Problem We summarize here the general conclusions that come from the calculations of Davey, Di Prima, and Stuart 1968, those of Eagles 1971, and a few additional calculations that I have made recently on the Cray 1 Computer at NCAR (the National Center for Atmospheric Research, Boulder, Colorado, sponsored by the National Science Foundation). The outer cylinder is taken to be at rest (Q 2 = 0). It is then customary to express the rate of rotation in terms of the Taylor number
2Qiri(r2  r )3 T==c:,= 1 v(rl 1 r2) , which is proportional to the square of the Reynolds number Rl (R2 is zero). As T is increased, for fixed rdr2' the first eigenvalue of the linearized problem to cross into the right halfplane is real and corresponds to mk = 0 in the expression (30.51) for the eigenfunction. Next is a complex conjugate pair of eigenvalues corresponding to mk = 2, and so on. Each eigenvalue is of multiplicity 2 (the degeneracy corresponds to the possibility of shifting the entire flow pattern in the z direction); hence the number of dimensions K of the unstable manifold takes on in succession the values 2, 6, 10, 14, .... Calculations have been made up to K = 14. (At still higher values of T, the values mk = 0, 1, ... come in again, but corresponding to eigenfunctions with more complicated radial dependence; no calculations have been made in this regime.) The modes of motion (stable and unstable) that have been discovered so far are all periodic orbits of the dynamical system in the unstable manifold [see (30.29)J, except for the basic laminar (Couette) flow and the Taylor vortices, which are fixed points of that system. The additional modes are as follows: Helical vortices: These are similar to the Taylor vortices, except that if we follow one of them around in () from 0 to 2n, we find that its end is not connected onto its own beginning, but onto the beginning of the second, or fourth, or sixth, ... , one above (or below) it. We define a corresponding integer m = 1,2, 3, .... (It cannot be connected onto the first or third, etc., because those vortices rotate in the opposite direction.) The entire pattern rotates about the axis with an angular velocity not far from the mean velocity Qd2 of the fluid.
Results to Date for the Taylor Problem
273
z
(...._ _ _ _ )
('1_ _ _ _)
c. . ____ )
('1_ _ _ _)
c....__ c. . __
+~6
Figure 30.2
Nonaxisymmetric simple mode (never stable): The vortex strength varies sinusoidally around the axis. In effect the vortex cores are connected as shown schematically in Figure 30.2. The pattern rotates about the axis. Updown wavy vortices: These are similar to the Taylor vortices, but the vortex cores are displaced alternately in the + and  z direction as e goes from 0 to 2n. We call m (= 1,2, ... ) the number of such displacements in each direction. Inout wavy vortices: Similar to the updown wavy vortices, except that the cores are displaced alternately in and out in the radial direction. They are never stable. Both types of wavy vortices rotate about the axis with an angular velocity ~nd2. In all cases it is found that as the Taylor number T is increased past a first critical value Tb the laminar flow becomes unstable and is replaced by the Taylor vortices, which have a stength roughly proportional to JT  T1 , and which are then stable up to a second critical value T2 , where the waviness sets in with an amplitude roughly proportional to T  T2 • The helical vortices bifurcate from the basic laminar flow above T1 , i.e., after the basic flow has already become unstable; see Figure 30.3. The
J
Taylor vortices
Figure 30.3 Inaccessible stable helical vortices.
274 Invariant Manifolds in the Taylor Problem
helical vortices are unstable when they first appear, but then become stable at slightly higher values of T, as indicated by the solid curves in the figure. Then, they are stable modes that are inaccessible in the sense that they cannot be reached from the basic flow by a continuous sequence of stable modes. The experimental work of Gollub and Swinney 1975 indicates that, at a Taylor number of the order of 200T 10 a strange attractor should appear, because they observe a continuous power spectrum. It is not possible to extend the calculations to such high values of T, because the number of dimensions of the unstable manifold becomes unmanageably large. It is of course possible to continue calculating with the manifold of smaller dimension, determined by the eigenvalues farthest to the right in the complex plane. Such a manifold is invariant, but not attracting. Calculations of this sort suggest that the wavy vortices may be stable to quite high value of T, thus delaying the appearance of a stange attractor or even of further bifurcations.
Appendix to Chapter 30The Matrices in Eagles' Formulation The matrices that appear in equation (30.36) are as follows:
A= 0
v  Of] r
1 Of] vr
1 r
2V
vo z
B
v Of] r r2
0
0
!v (V' + V)  ~r' Of] r
1 1 B+v r2
0
0
0
1 B v
1 r
!o v z
0
0
0
0
1 r
1  rOo
oz
0
1
0
0
0
0
0
0
1
0
0
0
where B is the operator
B
=
C2+ 2)
v r2 Of]
(0) M=
,, , ,, ,, ,,
1 0 0
Oz
V
 ;:Of]; 0
l/v 0
0 0
l/v ,
1__  _______________________
(0)
(0)
Appendix to Chapter 30The Matrices in Eagles' Formulation 275
u V    88  w8 z r r (0)
K(U) =
~v (~+ 8V) r 8r l8w v 8r
(0)
u V + 8 8 r
u8 z
r
~ (~88 + W8 0 (0)
z)
0
~ (~88 + W8
z)
CHAPTER 31
The Early Onset of Turbulence Periodic, quasiperiodic, almost periodic, and aperiodic motions; wlimitset; attractors; power spectrum; Lyapounov stability; strange attractors; the Lorenz attractor; strongly generic, generic, nongeneric, and strongly nongeneric properties of systems. Prerequisites: Chapter 29.
The word "turbulence," as used in practical fluid dynamics, refers to a flow whose chaotic aspects are so highly developed that statistical methods can be used for the study of at least many of its characteristics. It occurs at substantially higher Reynolds numbers than those we shall consider. For example, fully developed turbulence in air, in which the socalled inertial subrange is fully developed, requires more violent conditions than can be achieved in most wind tunnels, and is observed mainly in the free atmosphere. Between laminar flow and turbulence there is an illdefined regime called the transition to or onset of turbulence. We shall be concerned only with the part of that regime at quite low Reynolds numbers. The word "early" in the title refers to a physical arrangement in which the Reynolds number is increased very slowly with time. The flows we consider are simple and smooth, but, nevertheless, exhibit certain features of unpredictability and chaos at quite early stages.
31.1 The LandauHopf Model A schematic model of the transition is described in Fluid Mechanics, Landau and Lifshitz 1959. It is assumed that, at least in some problems, there is a sequence of supercritical bifurcations forming schematically a tree, as in Figure 31.1. After the first bifurcation the motion is generally periodic; after the second it is generally quasiperiodic with two periods, and so on. A quasiperiodic function with m periods is a function of the form (31.11)
276
The LandauHopf Model 277 R
Figure 31.1
Bifurcation tree.
where g(., ., ... , ) is periodic in each of its arguments with period 2n, and the frequencies Wi are incommensurable, which means there is no vanishing linear combination elw l + ... + CmWm with rational coefficients CI' ... ' Cm • If WI> ..• , Wm are commensurable, the number of independent frequencies is less than m. Suppose, for example that m = 2 and WZ/w l = p/q, where p and q are integers. Then, for (31.12) we find that WI to = 4nq and W z to = 4np; hence f(t) is periodic (not merely quasiperiodic) with period given by (31.12). It was shown in the last section of the preceding chapter that if the first bifurcation leads to a closed orbit, the second can lead to an attracting invariant torus in the phase space 5. If, furthermore, the motion is such that its orbit covers the torus densely, then a resulting function of time, such as one ofthe coordinates in the phase space, is quasiperiodic with two periods. Specifically, one can define two intrinsic anglecoordinates e and cp on the torus such that e = WIt + const., cp = Wz t + const., and the orbit is dense on the torus if and only if WI and Wz are incommensurable. After the next bifurcation there may be motion on a 3torus, and so on.
278 The Early Onset of Turbulence
Exactly which branch of the tree in Figure 31.1 is followed depends on the structure of the infinitesimal perturbation that caused departure from the basic or laminar flow when the first critical value of the Reynolds number was reached. More generally, the phases associated with the various frequencies depend in a random manner on that perturbation, so that (31.11) might better be written as (31.13) The idea behind the LandauHopf model was that as soon as there are many independent frequencies, the motion is so irregular in appearance that it must be regarded for practical purposes as chaotic. There are various ways in which this model can be inappropriate: 1. One of the bifurcations in the tree of Figure 31.1 may be subcritical; then, as soon as the corresponding critical value of the Reynolds number is exceeded, there is no nearby stable motion for the system to follow, and there is a socalled explosive transition to a motion involving more or less remote parts of the phase space. 2. In some problems, such as flow in a circular pipe, the basic flow is stable to infinitesimal disturbances at all Reynolds numbers, but is unstable to finite disturbance of rather small amplitude, and the critical amplitude for instability decreases toward zero as the Reynolds number increases, so that stable flow cannot be achieved in practice at high Reynolds number, owing to the presence of small but finite disturbances. 3. Although an invariant torus generally appears at the second bifurcation, the orbit need not be dense on it; it may return to its starting point after winding finitely many times around; then the orbit is closed and the motion is periodic, as mentioned in Section 29.11. In fact it is now believed, on the basis of Peixoto's theorem (see Appendix) that closed orbits on the torus are more likely than dense ones. This may lead to the Feigenbaum modelsee Section 31.19. 4. A possibility discussed by Ruelle and Takens 1971 is that, after a few bifurcations, there appears an invariant point set in the phase space, which is not a torus but a socalled strange attractor; then, as explained below, the motion is not quasiperiodic, but aperiodic.
31.2 The Hopf Example In 1948 Eberhard Hopf gave an example of a simple dynamical system that has an infinite sequence of bifurcations, each leading to an attracting torus of one higher dimension than the preceding one. The functions u(x, t) and z(x, t) are generally complexvalued functions of real variables x and t and are periodic in x with period 2n. The equations are
ou ot
z 0 Z
oZ
ot = Z
0
U

+z
U
0
01 F
o2 u
+ 't lox2 ' 02 Z
+ II ox 2 '
(31.21)
The
Ruelle~Takens
Model
279
The small circle denotes convolution; generally,
r
1 2IT fog = (f g)(x) = 2n Jo f(x 0
+ y)g(y)dy;
U 1 is just the average value of u; /1 is a positive constant, and F = F(x) is a given complexvalued even periodic function. The system may be regarded as a simple analogue of the NavierStokes equations on a compact manifold (the circle), with the nonlinearities written as convolutions rather than advection terms. F(x) is a forcing term, and /1, the viscosity, is a parameter that can be varied. Solutions can be found by expanding all functions in Fourier series with respect to x, for example u(x, t) = L~ 00 un(t)e inx , with similar notations for the other functions. Since the Fourier transform of a convolution is the product of the Fourier transforms, the terms with given n are not coupled to terms with a different n. In that respect the system fails to model the NavierStokes equations, but its solutions can be found explicitly. The only restrictions put on the forcing function F(x) are to prevent the system's being too special, i.e., non generic. Namely, if we write 0
00
F(x)
=
L (an + ibn)einX,
(31.22)
~oo
then it is assumed that infinitely many of the an are positive, that the bn are not rationally related (any finite set of them is linearly independent over the rationals), and that no two of the quantities an/n 2 are equal. The critical values of /1 are the numbers an/n 2 ; they can be arranged in a sequence /11 > /12 > /13 > ... ~ O. The general solution represents a moving point in an infinitedimensional space n with coordinates un(t), zn(t), n = 0, ± 1, ± 2, .... Hopf proved that, for /1 > /11' the fixed point at the origin ofn attracts all other solutions, so that Un ~ 0, Zn ~ 0, as t ~ 00; as /1 decreases past /11' that solution becomes unstable, and there is a bifurcation to an attracting periodic orbit that grows out of the origin; when /1 decreases past /12, that orbit also becomes unstable, and there is a bifurcation to an attracting torus (2torus) that grows out of the orbit, and so on. After the kth bifurcation there is an attracting kdimensional torus, and the orbits on the torus are dense on it.
31.3 The RuelleTakens Model In the model of the early onset of turbulence proposed by D. Ruelle and F. Takens 1971, the first four bifurcations are assumed, as in the LandauHopf model, to be super critical and to lead to invariant tori T\ k = 1,2, 3,4, each of which is attracting between its appearance and the next bifurcation. Concerning the existence of these tori, see the discussion of the Feigenbaum model in Section 31.19. Ruelle and Takens prove that, on T 4 , motion on a particular kind of strange attractor contained in T4 is rather likely. The
280 The Early Onset of Turbulence
attractor is locally the Cartesian product of a twodimensional Cantor set and a twodimensional surface. Their theorem can be paraphrased as follows: Consider a Banach space ~, each point of which represents a vector field on the torus T4, with a norm containing the magnitudes of the components of the vector field and their derivatives of order S 3. Two points in ~ differing by a small amount in norm may be regarded as two physical systems, of which one can be obtained from the other by a small perturbation of the vector field. Then, given any constant vector field on T4 (one for which the angle variables on the torus vary linearly with time), and given any 13 1 > 0, there is a perturbation of that field of magnitude less than 13 1 which yields a strange attractor of the kind they describe. Then there is another number 132 > 0 (possibly much smaller than 13 1 ) such that the strange attract or persists under any further perturbation of magnitude < 13 2 , Hence, the vector fields that yield the strange attractor cannot be dismissed as unlikely. Their particular choice of strange attract or is somewhat arbitrary; one can imagine many variations of it, each having the property stated. The strange attractor discovered earlier by E. N. Lorenz (see Sections 31.931.17 below) arises by a somewhat different mechanism. Apparently, no one has found a specific vector field on a specific manifold that leads to a strange attractor precisely according to the RuelleTakens model. The important idea in their paper is that motions on strange attractors are in some sense likely, or at least not unlikely and are possibly even generic in certain circumstances. Their theorem does not say that the existence of a strange attractor is a generic property of vector fields on T4 (see the Appendix to this chapter). The corresponding subset of the Banach space ~ is open but not necessarily dense; it merely comes arbitrarily close to every point of ~ that represents a constant vector field on T4. It says simply that motion on a strange attractor is more likely, once an invariant T4 has been established, than the quasiperiodic motion on T4.
31.4 The wLimit Set of a Motion Following the considerations of Section 29.7, we assume that we are dealing with a dynamical system x = F(x) (31.41) on a finitedimensional manifold m, when~ F(·) is a smooth vector field on m. A solution x(t) of this equation is called a motion in m, and the point set in m given by y = {x(t): all t} (31.42) is called the orbit or trajectory) of the motion. We assume that the initialvalue problem of (31.41) is well posed, and we denote by q>(x o , t) the solution that starts at xo, for any Xo in m and all t :2: 0; that is, if x(t) is any solution, then x(t) = q>(x(O), t).
(31.43)
The wLimit Set of a Motion 281
For fixed x, cp(x, t) is a motion, while for fixed t 2!: 0, a onetoone mapping of 9Jl into itself is given by x ~ O.
286 The Early Onset of Turbulence
If the motion is not stable in this sense, there is a positive e (not necessarily very small) such that no matter how small c5 is, there is a perturbation of initial size < c5 that grows to a size ~ e at some later time. One of the motivations for Lorenz's work, described below, was to show that a simple prototype of atmospheric motion is Lyapunov unstable, with obvious implication for the problem of weather forecasting.
31.9 The Lorenz System; the Bifurcations The first strange attract or in a problem arising from fluid dynamics was discovered by E. N. Lorenz in 1963. Lorenz expanded the Benard equations of thermal convection for a horizontal layer of fluid heated from below in a triple Fourier series with respect to the space variables, then truncated the resulting system of ordinary differential equations for the time dependence of the Fourier coefficients to three equations. If the Fourier coefficients in those equations are denoted by X(t), yet), and Z(t), the equations are
X = (JX + (JY,
y=
rX  Y  XZ,
(31.91)
Z = bZ + XY, or, more briefly,
x=
(31.92)
F(X).
The constants (J, r, and b are dimensionless; for the physical system consideied by Lorenz, they have the values (J
=
10,
O 1 there are two more fixed points, called P I and P 2:
P2 : X
=
Y
=
J b(r 
Z = r  1,
1),
PI: X = Y =  Jb(r  1),
Z=r1.
(31.96)
Hence, there is a first bifurcation, of the type discussed in Section 29.9, at r = 1. To determine the stability of the new fixed points, we write X = Xo + Xl> where Xo is given by (31.96), and we linearize with respect to Xl; we find (31.97) When X o , Yo, and Zo are substituted from (31.96), the matrix of this system becomes a
1 Jb(r  1)
Jb(~  1)); b
It has one negative real eigenvalue and two complex conjugate ones. The complex eigenvalues are in the left halfplane (hence the new fixed points are stable) ifr < ro, where
ro = a(a
+ b + 3)/(a 
b  1) = 24.74.
(31.98)
Hence there is a second bifurcation at r = ro, and this one is of the kind discussed in Section 29.10, leading to periodic solutions. However, this bifurcation is subcritical, as shown by the calculations of Marsden and McCracken 1976. Hence the periodic solutions 'are present only for r < ro and are unstable, while for r > ro an explosive transition to something else must be expected. It turns out, as discussed below, that the transition is not really "explosive," because of the presence of another attractor (in fact a strange attractor) in the near vicinity in [f;£3; see Section 31.17. With each of the points PI and P 2 is associated, for r > ro, a onedimensional stable manifold and a twodimensional unstable one. In the latter, solutions spiral outward from the fixed point. Nearby solutions also spiral outward and, at the same time, are drawn rapidly toward the unstable manifold, because of the large negative eigenvalue associated with the stable one.
288 The Early Onset of Turbulence
31.10 The Lorenz Attractor; General Description To investigate the behavior of the system after the second bifurcation, at r = ro = 24.74, Lorenz calculated solutions of the system (31.91) numerically, for r = 28. He found that, after transients have decayed, the orbits appear to lie, as accurately as one can tell from the calculations, on a branched surface L o , shown schematically in Figure 31.3a, where the directions of motion are also indicated. It is roughly heartshaped and lies roughly in the vertical plane X = Y [which contains the fixed points Pi and P 2 given by (31.96)]. It is symmetric with respect to reflection about the Z axis and has two holes, one surrounding each of the fixed points Pi and P 2' Below a branch line BB, which joins the two holes and dips down somewhat below the horizontal, there is a single sheet. Above it, there are two sheets, one a little to the left and behind, the other a little to the right and in front. They are joined along the heavy part of the branch line BE. Lo is bounded by part of the unstable manifold of the origin, which consists of two orbits Wr and W~ starting out from the origin in opposite directions. These orbits later continue into the interior of the surface Lo after going round the holes shown and then crossing the branch line BB at the ends of the heavy part. The fixed points Pi and P 2 lie inside the holes, and if the surface Lo were continued into the holes, orbits would spiral outward in them; it is seen from the figure, however, that an orbit once in Lo can never subsequently get into the holes. Every orbit crosses the branch line BB downward; if it crosses at the center of BB, it comes asymptotically to rest at the origin 0; otherwise, it encircles one of the holes and goes down across BB again, and so on. We define a Poincare map s + l/Jo(s) of BB as follows: Let s be a parameter (possibly arclength) along BB, with s = 0 at the center. If an orbit crosses BB at s = s 1 =I 0, then it next crosses BB at s = l/J o(S 1); l/J 0(0) is undefined.
o Figure 31.3a The branched surface.
The Lorenz Attractor; General Description
289
I/Io(S)
S
Figure 31.3b The Poincare mapping.
See Figure 31.3b. Numerical orbit calculations show that this mapping has the property called locally eventually onto by Williams 1977: If I is any interval So < S < So + 8, no matter how narrow, then for some n, the ntimes iterated mapping of I is all of BE. In other words, no matter how close together two orbits on Lo are initially, they eventually become completely separated as time goes on. This follows, for example, from showing that if the parameter s is suitably chosen, then l/J'o(s) ~ const. > 1 for all s. An orbit that goes down across the branch line BB to left of center encircles p 1 clockwise before returning to BB, and one that goes down to the right of center encircles P 2 counterclockwise. The number of times an orbit encircles one of the points P 1 or P 2 before moving to the other depends on how rapidly it spirals outward from that point and also in a critical way or how far from the center it first cut BB after coming from the other side. It is the essence of Lorenz's discovery that the successive numbers of circuits round those points vary in a pseudorandom way so that the motion is aperiodic. As Lorenz pointed out, the picture based on the branched surface Lo cannot be precise, because two orbits that go down across the branch line BB at the same point of BB would then coincide subsequently, and that would contradict the unique reversibility of the orbits. Hence, the two sheets of the surface can't merge into a single sheet, but must remain separated by a possibly very small distance. If we follow the orbits round again, the two sheets become four, and so on. We conclude that the attractor must contain infinitely many sheets, probably shomehow connected together into a single structure in ~3, which will be called the Lorenz attractor and denoted by L. However, at least for the parameter values studied by Lorenz (0" = 10, b = t r = 28), the fine structure just described is really quite fine; the separation of the sheets is very small, so that, to something like fourdecimal accuracy, the branched surface L o , with the motions on it as sketched, describes the attract or fully.
290 The Early Onset of Turbulence
31.11 The Lorenz Attractor; Aperiodic Motions Lorenz observed that the randomness of the motion could be analyzed by considering the successive maxima Zn, n = 0, 1,2, ... , of Z(t) on the computed orbit. [From the third equation of (31.91), we see that these maxima occur at intersections of the orbit with the hyperboloid given by Z = (ljb)XY.] Lorenz found that if Zn+ 1 is plotted against Zn, the points lie quite accurately on a curve Zn+ 1 = f(Zn), which is smooth except for a central cusp, as shown in Figure 31.4. As Lorenz pointed out, Zn+ 1 cannot be exactly a singlevalued function of Zn, since its value depends generally also on the values of X(t) and yet) at the instant when Z(t) = Zn Hence the Lorenz graph ought to be slightly fuzzy ::lnd ought to have some transverse structure, although possibly of a very narrow extent. This structure is related to the fine structure of the attractor L, and one can begin to see it if the deviations of the points on the graph from a smooth curve are magnified by about 10 3 (see Richtmyer 1981). If we ignore the fine structure of the Lorenz graph, the sequence {Zn}O' of maxima of Z(t) may be regarded as obtained from an initial value Zo by iteration of the mapping f: Z + feZ), so that Zn+ 1 = f(Zn). In order to study the iterated mapping statistically, we consider the pro blem of transforming from Z to another variable W by equations Z
=
((W),
W= C 1 (Z),
• i:
t
,I j:
zn+1
so
..," "./
aa
ID
•
..
Zn~
•
•
Figure 31.4 The Lorenz graph.
•
e
• •
(31.111)
The Lorenz Attractor; Aperiodic Motions 291
such that the resulting mapping g: W + g(W) takes an especially simple form. In particular, we wish to choose (31.111) so that g(W) is the triangular function g(W)
=
{
if 0 ::; 2W, 2  2W, if 1::;
w::; 1, w::; 1.
(31.112)
Lorenz considered the mapping g based on this function as a sort of model for the mapping f that arose in his calculations, in order to predict qualitatively the statistical properties of the motion. We show how to compute the transformation (31.111) under certain assumptions about the function feZ). First, we assume that a linear change of the coordinate Z has been made so that the least and greatest possible values of Zn are 0 and 1. Then the function feZ) maps the interval [0, 1] onto itself. We assume that f(O) = f(l) = O. [Actually,f(O) is ~0.0035, but we shall ignore this difference along with the fine structure of the Lorenz graph.] We also assume that feZ) is differentiable, except at the cusp, and that I1'(Z) I is greater than some constant r:x > 1 for all Z. Then, it can be shownsee Riissmann and Zehnder 1980 or Richtmyer 1981there is a unique continuous increasing function ((W) that transforms the mapping Z + feZ) into the mapping W + g(W). To calculate ((W), we denote by CPl(Z) and CP2(Z) the inverses of the rising and falling parts of feZ), as shown in Figure 31.5. Then, it is seen from (31.112) that ((W) must satisfy the equations ((W) ((W)
=
=
for 0 ::;
CPl(((2W»
CP2(((2  2W»
w::; 1,
for 1 ::; W ::; 1.
From these equations, ((W) is calculated in succession for dyadic values of W in the order W = 0, 1, t, i, i, i, ... , starting with ((0) = 0 and ((1) = 1, and then for other values by the requirement of continuity. Figure 31.6a shows the result, and Figure 31.6b shows the result of applying the transformation ((W) to the Lorenz graph.
CPl,2
Z
Figure 31.5
292 The Early Onset of Turbulence
.. z;i
•
(w)
• • 10 ·0
>
III
.z
.1
.•
.•
.1
.6
.1
.'7
.•
1.0
Figure 31.6a
LCR:NZ GRIIPH IN W
1.0
••
I
r /
"'n+1
/
I
/
I
,I
,,.I
I
\
.I l
\
...,
...
,
\
;.
/
...
.,
, \
\
\, '... \
.I
\
,
\
.1
""n;)oo .1
Figure 31.6b
\,
.z
•• ••
.1
.6
.'7
.1
\. \
••
\ 1.0
Statistics of the Mappings f and g 293
The function (W) is Holder continuous with Holder exponent log2 IX, where rx is the greatest lower bound of IF(Z) I, as above, but it is not absolutely continuous; hence what is true of the mapping g: W ~g(W) for almost all W is not necessarily true of the mapping f: Z ~ feZ) for almost all Z. A consequence of the continuity of (W) (which does not require absolute continuity) is that the mappingfis locally eventually onto, in the terminology of Williams, referred to in Section 31.10; if I is any interval a < Z < a + 1::, then for some finite number n of iterations, pnl(J) is the entire interval [0, 1]. Clearly f has that property if and only if g also has it, but for g it is nearly obvious. Namely, the length of any interval I in W is doubled under g unless g(I) contains the point W = 1, in which case the length is at least not decreased. Hence, under each pair of iterations, the length is at least doubled, unless, for some I, g(I) and g(g(I)) both contain the point W = 1, but in that case g(g(I)) contains all of [1, 1], so that g(g(g(I))) is [0, 1]. It follows that iteration of the mapping f is unstable in the sense of Lyapounov, for no matter how close together two points are initially, they will eventually be separated by a finite amount (for example at least 1). Hence, if we can neglect the fine structure of the Lorenz graph, the motion on the Lorenz attractor is also Lyapounov unstable, and hence has a purely continuous power spectrum.
31.12 Statistics of the Mappings f and g The two mappings have slightly different statistical properties; we discuss g first. Because of the special character of the function g(W), as given by (31.112), we represent W in binary form as W = .aOa 1 a2 ... , where each ai is or 1. Then g(W) is simply
°
if ao = 0, if ao = 1.
°
where the overbar denotes complementation, i.e., replacement of by 1 and 1 by 0. Now suppose the initial element Wo of the sequence {w,,},';"'=o, obtained by iterating g, is chosen at random from a uniform distribution in [0, 1]. Then each binary digit of Wo is equally likely to be or 1, independently of the choice of the others, and furthermore w" is < 1 or :;::: 1 according to the choice of the nth digit of Wo. We conclude that each w" is equally likely to be < 1 or :;:::1, and there is no correlation in this matter between successive members of the sequence. To find the corresponding properties of f, a sequence {Zn} of length 200,000 was generated by iterating f numerically (Richtmyer 1981). To analyze the result, Sn was defined as
°
Sn
=
{
 1,
+ 1,
if Zn < 1, . 1 If Zn :;::: 2'
294 The Early Onset of Turbulence
The average of Sn was found to be 0.1416 (about 64 standard deviations) and significant positive correlations were found of Sn with Sn+1> with Sn+2, and with Sn + 3' The correlation of Sn with Sn + k' for k 2 4, was not significant in the sample size available. The difference between j and g reflects the nonabsolute continuity of the functions (W) that connects Z and W. Clearly, W is 0 has exactly one predecessor, namely [i  1,j  1]. 4. If [i,j] is a symbol, then either Ii < rj S 0 or 0 S Ii < rj' where < denotes the ordering obtained by projecting the strip S onto the branch line BB of L o . 5. Since, by assumption 5 of the preceding section, the orbit WI(O), after coming to 11' goes at least twice more round the fixed point PI before crossing over the center into the right half of the strip S, we see that the first few symbols, starting with [1,0] are [1,0]
/ \ \ /
[2,0]
j
[3,0]
[0, 1]
[1,0]
[0,1]
\
[0,2].
In particular [0, 1] has at least two different predecessors, [1, 0] and [2, 0]. 6. Each symbol is an ultimate predecessor of any other, in the sense that if (J = [i,j] and r = [i',j'] are given, then there is a finite sequence (Jo = (J, (J l' (J 2, ... , (J n = r such that (J k always precedes (J k+ 1. That is clear if (J 0 = [1,0]
Prehistories 299
(or [0, IJ), since, by the rules, all other symbols follow from [1, OJ or [0, IJ, and we have just seen that [1, OJ and [0, IJ follow from each other. On the other hand, if T = [1, OJ (or [0, IJ), and (J is arbitrary, the sequence can be found by appeal to what is essentially the locally eventually onto property of the Poincare mapping %(s) of the branch line BB, which says roughly that the sequence can be so chosen that the width of the interval (Ii' r) constantly increases. Williams proved that [1, OJ (hence also [0, IJ) can be reached from arbitrary (J in a finite number of steps if the derivative o/'o(s) is > fi for all s. In the case studied by Lorenz, the minimum of o/'o(s) is more like 1.05; however, we can replace the archlength s by a new parameter on BB, by the method discussed in Section 31.11, so as to convert the graph of %(s) into two straight lines, and then o/'o(s) is indeed >fi (in fact about 1.9).
7. For each i > 0 (and eachj > 0) there is at least onej (one i) such that [i, j] is a symbol.
31.15 Prehistories According to Section 31.4, one of the characterizing features of an atttactor L is that a point x belongs to L if and only if the orbit x(t) for which x(O) = x lies in L for all t < 0 as well as all t ~ o. As t +  00, x(t) passes through a unique sequence of surface elements :!:, :!:', :!:", ... of the kind described in Section 31.13. If the orbits in :!: are followed backward in time, they lie in :!:', and so on. Hence, the initial curve of:!: is at least a part of the final curve of :!:'. If the initial curve of:!: connects Ii to rj and that of :!:' connects Ii' to rj" then the symbol [i', j'] precedes the symbol [i, jJ. Generally, [i, jJ may have many predecessors, but as soon as a particular Icell connecting Ii to rj is chosen, a unique predecessor is thereby singled out, because the initial curve of the surface element :!:' is uniquely determined by its final curve. It follows that if [i,j] is a symbol, each Icell connecting Ii to rj is characterized by a unique infinite sequence of symbols ... , (J _ 2, (J 1, ao = [i, jJ such that (J _ k _ 1 precedes (J _ k' for each k. It can be shown that if we extend the sequence also indefinitely in the other direction, (31.151) we single out not merely a particular Icell connecting Ii to r j , but a single point of that Icell, so that each sequence (31.151), where (Jk always precedes (Jk+ 1> corresponds to a unique orbit on L. That follows from the locally eventually onto character of the Poincare map in BE. If we follow two orbits forward in time, then no matter how close together they are at t = 0, they will eventually separate so as to lie in different surface elements L at some time t > o.
300 The Early Onset of Turbulence
31.16 The Lorenz Attractor; Detailed Structure II We show first that if [i,j] is a symbol, there are uncountably many Icells in F connecting I; to rj. According to the preceding section, any such Icell corresponds to a unique sequence of symbols (31.161) where each (J  k  l is a predecessor of (J k' Conversely (see next section), any such sequence determines a Icell, and we shall see that there are uncountably many choices for the sequence, for given (Jo. Once any (J k has been chosen, it is possible, according to (6) of Section 31.4, to choose (J kl, (J k2, ••• , so as to reach [0, IJ in a finite number of steps, say (J k/ = [0, 1]. Then, according to (5) of that section, there are at least two choices of (J  k  /  t. Hence, there is the possibility of a twofold choice infinitely many times in choosing the sequence. If we represent the nth choice by a binary digit an' we see that there are at least as many sequences (31.161), for given (Jo, as there are real numbers .aOala2 ••• in the unit interval, namely uncountably many. It follows that a line transverse to the branched surface Lo intersects uncountably many sheets of the attractor L. Let M denote the point set, on that line, of intersections with L. Since L is a closed set in 1R 3 , M is a closed set on that line. As noted in Section 31.9, L has zero Lebesgue measure in 1R3; hence M has zero measure on the line, for otherwise the Cartesian product of M with a piece of surface of one of the sheets of L would have positive 3dimensional measure. Hence M is an uncountable closed set of measure zero. Lastly, M has no isolated points, for the topological arguments of Williams show that if a Icell is determined by a sequence (31.171), there are other Icells arbitrarily close to it obtained from sequences that agree with (31.161) sufficiently far back. Hence, M is a Cantor set.
Figure 31.9 A "Cantor book."
Existence of iCells in F
301
According to (7) of Section 31.14, each point Ii and each point fj is the terminus of uncountably many Icells in F. If we move those Icells along by the flow, we see that the unstable manifold WU(O) is, throughout its entire length, the spine of a Cantor book, in the terminology of Williams (see Figure 31.9).
A sequence (31.151), if periodic, corresponds to a periodic orbit on L. Given any sequence (31.151), we can clearly find a periodic sequence that agrees with the given one for say  K < k < K, where K is large. Hence, given any orbit, we can find a periodic orbit arbitrarily close to it; the periodic orbits are dense in L. (In a physical realization or numerical simulation, of course, the notation of a strictly periodic orbit is an empty concept, owing to the finite accuracy and the Lyapuonov instability.)
31.17 Existence of ICells in F In Section 31.13 we found it necessary to assume in advance that there is at least one Icell in F, for example one connecting 0 to fl' (We then deduced the existence of other Icells by letting the first be carried round by the flow until it intersects the strip S again, and so on.) That is, we assumed that the attractor L contains a curve lying in S and connecting 0 to fl' The projection of F onto the surface Lo is the branch line BB, which is a curve in space. That much is supported by the numerical evidence. For the detailed structure of F itself, we must appeal to the assumptions 15 that were made in Section 31.13 about the attractor L. Here we shall indicate how those assumptions imply the existence of a 1cell connecting 0 to f1 (or, by the same argument, 11 to 0). We shall consider also the following problem. It was shown that if 0"0 = [i,j] is a symbol, then any 1cell connecting Ii to fj determines a unique sequence .. . ,0" 2,0" 1,0"0 such that 0" k1 always precedes 0" k' The problem is to show that conversely any such sequence determines a 1cell connecting Ii to f j . , Williams's solution of the first problem starts by letting Xo 0 be any point of the branch line BB between 0 and the right end fj' constructing an orbit xo(t) in the branched surface L o , such that xo(O) is =x oo , by specifying its prehistory, then calling x(t) the orbit in L whose projection onto L o , according to assumption 4 in Section 31.13, is xo(t). The construction is such that the orbit x(t) depends continuously on the position ofx oo on BB; hence the point x(O) of the orbit depends continuously on Xo 0, hence traces of a curve in F, as Xoo is varied, and furthermore that curve touches 0 and fl at its two ends. There are presumably many ways of choosing the prehistory of xo(t) that would achieve the desired effect, for there are infinitely many 1cells connecting 0 to fl in F. The one selected by Williams is to make the prehistory alternate between the two halves of BB; namely, if for some tb the point X O(t 1 ) of the prehistory is on BB (but not at 0 or either end), the orbit is
302 The Early Onset of Turbulence
continued backward (upward) in the sheet of Lo behind if XO(tl) lies to the right of 0 and in the sheet in front if it lies to the left. It is easily verified by reference to Figure 30.3a that that is always possible and never causes the prehistory to hit 0 or r 1 or 11' To show the continuous dependence on Xo 0, we observe that if Xo 0 and Xo 0 are close together on the branch line BB, the resulting orbits xo(t) and xo(t) in Lo are close together for a long interval, and then the same follows for the orbits x(t) and x'(t) in L by assumption 4 of Section 31.13. To show that the resulting curve in F has the correct endpoints, note first that if Xo 0 is very close to the right end of BB, the prehistory is very close to the outside edge of that sheet of Lo that lies behind; hence, in the past, x(t) must have spent a long time near the stagnation point 0, and hence was close for a long time to the orbit W~(O) that goes from 0 to rl' Lastly, if Xo 0 is very near the center of the branch line BB, the orbit is already very near the stagnation point, and hence was close, for a long past interval, to the constant orbit x(t) == O. To show similarly that any sequence (31.171) where (J kl is a precedessor of (J  b determines a 1cell in F is more complicated, and we refer the reader to the paper of Williams, where the point set F is approximated by socalled retractions. The idea is that if Xo 0 is a point of BB between the projections onto BB oft; and r j , we let the sequence (31.171) dictate which sheet of Lo the prehistory xo(t) follows each time the branch line is encountered, as we follow the orbit xo(t) backward (upward) across BB. For technical reasons, it is expedient to follow the sequence (31.171) in this way for only a finite number, say n, of steps and to decree that prior to that the prehistory alternated between the two halves of BB as in the above discussion. The resulting orbit x(t) is then not quite the one we want, but is close to the one we want and gets closer, as n ~ 00. The conclusion that each sequence (31.171) determines a unique 1cell in F has already been used in the preceding section, to show that the sheets of L are uncountable.
31.18 Bifurcation to a Strange Attractor We noted in Section 31.9 that the bifurcation in the Lorenz system at r = ro = 24.74 is subcritical, and we mentioned the possibility of an explosive transition when the fixed points PI and P 2 lose stability. However, as r is slowly increased past r 0, the motion on the attract or L takes over without any explosive transition, except insofar as the sudden appearance of the motion on L may be regarded as an explosion. The attract or has been described for r = 28. If we let r decrease down to r 0, the two holes in the branched surface Lo close up by contracting onto the fixed points PI and P 2' For still smaller values of r, down to 13.96, L continues to exist as an invariant set for the motion (though not an attract or), but it is in
The Feigenbaum Model 303
contact with the fixed points PI and P z only at r = roo For r only slightly above ro, an orbit emerging from PI or P z is immediately an orbit on L. In this sense the bifurcation at ro results in .an abrupt transition from a stationary orbit at PI or P z to motion on the attract or L.
31.19 The Feigenbaum Model While the Lorenz attractor appears in connection with a subcritical Hopf bifurcation, the LandauHopf model and the RuelleTakens model both require a sequence of supercritical bifurcations leading to invariant tori of successively higher dimension, arbitrarily high in the former model and of dimension at least 4 in the latter. However, such a sequence is unlikely, according to Peixoto's theorem. As was pointed out at the end of Section 29.10, the appearance of an invariant 2torus at a bifurcation from a periodic orbit does not imply the appearance of orbits dense on that torus. Instead, the appearance of finitely many periodic orbits and fixed points is generic. Other orbits tend asymptotically to those periodic orbits and fixed points. The appearance of an invariant 3torus at the next bifurcation depends, at least in the theory of Chenciner and Jooss 1976, on the existence of an orbit dense on the 2torus. Hence, the bifurcation to an invariant 3torus seems unlikely. If a periodic orbit on the 2torus goes round the long way n times before closing, then the bifurcation is subharmonic with a sudden nfolding of the period at the bifurcation (see Section 29.11). Recently, M. Feigenbaum has developed a model based on a sequence of subharmonic bifurcations with period doublings. (See Feigenbaum 1980 and the references given there.) It turns out that such doublings occur in many examples of iterated mappings and simple dynamical systems. Furthermore, as the number n of doublings increases, the behavior of the system is governed by certain asymptotic laws that involve universal constants and functions, independent of the system under study. In addition, the asymptotic laws appear to hold quite accurately for rather small values of n. In particular, the values f.1n of the dimensionless parameter f.1 at which the bifurcations (doublings) take place converge to a valuef.1oo geometrically, with f.1n+ I  f.1n f.1n  f.1nl
~ 0.21416938
for large n. As n ~ 00, at least in the cases studied, the power spectrum of the motion approaches a continuous spectrum with certain universal features. At f.1 = f.100' the motion is presumably aperiodic on a strange attractor. There is evidence (Lorenz 1981) for an example of this behavior in the Lorenz system at considerably higher values of the dimensionless parameter r than values studied by Lorenz. Namely, the strange attract or that appears at r = 24.74 persists up to a value r = r* (~250). For r considerably greater
304 The Early Onset of Turbulence
than r*, there is a periodic orbit, and as r is decreased toward r*, there is a sequence of doublings at values rn of r that converge to r* from above, with
rn+l  rn::::: 0.214. rnrnl
Appendix to Chapter 31Generic Properties of Systems In this appendix, generic and nongeneric properties of systems are explained and explored. It might be thought that these notions will in a sense replace probability in some parts of physics. We shall conclude that that is not so, but that they may be an important guide to the further development of our ideas of probability in physics.
31.A Spaces of Systems Because a physical system cannot be specified exactly, and for other reasons, it is often desirable to consider not a single system but a large family of them. If each system is characterized by the values of n parameters 1X1' ••• , IXn' then each system corresponds to a point in the space [Rn. Conversely, each point in [Rn or in some region f!ll c [Rn, may correspond to a unique system of the family. More generally, the systems of a family may be represented by the points in a Banach or Hilbert space, or in some more general metric space, or in some still more general topological space, which we shall call the space of systems. For example, each system might be a dynamical system in the plane:
= X(x,
y=
Y(x, y), where X and Yare the components of a given smooth vector field X(x). Then each such vector field determines a system and may be represented by a point in a Banach space ~ with a suitably chosen norm IIXOII. Clearly ~ is infinitedimensional, because no finite number of parameters can specify a vector field completely. We shall suppose generally that the space at least has a metric. Then if the distance d( Xl, X 2) between two systems is small, we can think of either one as obtainable from the other by a small perturbation. We shall even usually assume that the space has a norm, so that d(Xb X 2 ) = IIX l  X211. x
y),
31.B Absence of Lebesgue Measure in a Hilbert Space If there are finitely many parameters IXb ••• , an and if they are distributed according to a continuous probability law in [Rn, and if a property holds in all [Rn except for a set of Lebesgue measure zero, we say that it holds for almost all systems, or that the probability of its not occurring is zero.
Appendix to Chapter 31Generic Properties of Systems 305
If we let n + 00, so that [Rn is replaced by an infinite dimensional Hilbert space, then, as shown in Section 13.11 of Volume I, there is no Lebesgue measure; hence, probability statements of the above kind cannot be made. (NonLebesgue probability measures are discussed in Section 3l.H at the end of this appendix.)
31.C Generic Properties of Systems In any space of systems, whether it has Lebesgue measure or not, assuming it at least has a topology, one can define what is meant by generic and nongeneric properties of the systems. This is often done with the implied suggestion that nongeneric properties can be ignored from some points of view. A subset of the space is called a Baire set if it is the intersection of count ably many dense open subsets. The complement of a Baire set is called a meager set; it is the union of countably many nowhere dense sets. A property of a system is called generic if it occurs on a Baire set in the space of systems. A property is called nongeneric if it occurs on a meager set. Note that "nongeneric" does not mean merely "not generic," because a set may be neither a Baire set nor a meager set, for example, a halfspace Xl > 0 in [Rn. The Baire category theorem says that if the space is a complete metric space a Baire set is dense in it, but a meager set may also be dense; hence the distinction is not based on denseness. Furthermore, in case the space happens to be finitedimensional a Baire set may have Lebesgue measure zero; hence the distinction is not based on measure, either. See Section 31A.G below. If a property a is generic, the property "not a" is nongeneric; if a and b are generic, the property" a and b" is generic. Two contradictory properties cannot both be generic.
31.D Strongly Generic; Physical Interpretation We shall not give a physical interpretation of genericity, except in the following special case: A property is called strongly generic if it occurs on a dense open set in the space, i.e., not merely on a countable intersection of such sets. (We note in passing that the intersection of finitely many dense open sets is again a dense open set.) If a property is strongly generic, if X is any system, and if Gl is any positive number, then, by a perturbation of X of magnitude SGl' we can obtain a system Y (II Y  XII S Gl) which has the property. Furthermore, there is then another positive number G2 « O. It must be shown that there is a neighborhood of that if; that is contained in C'!lM' Choose K such that
and show that if Xis any function in L2 such that I xii is < b/4K, then IW + x'il > M + ib, so that C'!lM is open. 2. Show that the same is true in the real Hilbert space L 2 [0, 1] by using the same argument as above but assuming throughout that ~k = ~.
310 The Early Onset of Turbulence
In order to introduce real coordinates and real basis functions, we write ~o
=
_
j:
c.,k 
XO,
Xk
+ fiiX k
(k
= 1, 2, ...),
fi cos 2nkx, IPk(X) = fi sin 2nkx.
IPo(x) == 1,
=
IPk(X)
(31.H5) (31.H6)
Then, from (31.H2) with ~k = ~,we find tjJ(x)
00
I
=
Xk({Jk(X),
(31.H7)
kxk({Jk(X).
(31.H8)
00 00
tjJ'(x) = 2n
I
00
Gaussian measures in a real Hilbert space ~ were described in Section 13.11 of Volume I; the main points are as follows: If9Jl is any finitedimensional subspace of ~ and S is any Borel set in 9Jl, then the set Z
=
+ 9Jl.L,
S
i.e., the set of all points x + y, where XES and y E 9Jl.L, is called a cylinder set. To define a socalled Gaussian measure in~, we let B be a positive operator of the trace class, and we call A = B 1 . Then, given any cylinder set Z = S + 9Jl.L, where dim 9Jl = m, we let {({J j}i be an orthonormal set in 9Jl, and we define an m x m matrix A(9Jl) by A(9Jl)jk = (({Jj' AIPk), 1 S j, k S m. Then the probability P(Z) is taken as P(Z)
f {1 t
A(9Jl) = Jdet (2n)m/2 s exp
}
x j A(9Jl)jk Xk dV.
2
(31.H9)
As stated in Section 13.11, this set function PO can be extended to a unique probability measure defined on the aalgebra ~ generated by the cylinder sets. We now apply these ideas to the real Hilbert space ~ = L2[0, 1J, using the coordinates Xk and basis functions ({Jk given by (31.H5, 6). We define the operator A by the simple formula 00
AtjJ(x) =
I
akxk({Jk,
00
where tjJ(x) is given by (31.H7), and where the ak are POSItIve and L (l/a k ) < 00, so that B = A 1 is compact. We consider the cylinder sets Z M.K =
{'J'I'' E L 2.. 4n 2 K ~ Ikx 1...
k
12 <  M2} ,
so that (31.H1O)
Appendix to Chapter 31Generic Properties of Systems 311
where !lM is given by (31.H4). Then (31.H9) takes the form P(ZM,K) =
IT Jf.i js' fexp { t ~
akxf }dX_K'" dXK,
(31.Hll)
where S is the ellipsoidal region (31.H12) EXERCISES
 00
3. By letting aU the integration variables except the last in (31.Hll) go from to + 00, while the last one XK is restricted to IXKI ~ M/(2nK), show that P(ZM K)
1 (to make L (l/a k ) converge). Show that if \ 1 < r < 2, then P(ZM,K)> 0 as K > 00, so that from (31.HI0), PCD M) = 0, and hence by countable additivity,
This exercise shows that the meager set l) of differentiable functions in L2[0,1] has Gaussian measure zero if 1 < r < 2. For r > 2, P(!l) = 1. Roughly speaking, when r is increased, the Gaussian measure is concentrated more and more toward the origin in ~. The differentiable functions lie near the origin, according to (31.H3), so that if the concentration of the probability measure toward the origin is large, the differentiable functions acquire positive probability, but for r < 2 they have zero probability. In this case, therefore, the probability measure can be so chosen that the nongeneric property (differentiability) is improbable.
References
Abraham, R., and Robbin, J. (1967): Transversal Mappings and Flows. W. A. Benjamin, New York. Adler, R., Bazin, M., and Schiffer, M. (1965): Introduction to General Relativity. McGrawHill, New York. Barut, A. 0., and Ra