Professional Documents
Culture Documents
Cinematica y Dinamica Cuantica
Cinematica y Dinamica Cuantica
Kinematics
and Dynamics
Quantum
Kinematics
and Dynamics
JULIAN SCHWINGER
University of California, Los Angeles
Western
PRESS
Many of the designations used by manufacturers and sellers to distinguishthier products are claimed as
trademarks. Where those designations appear in this book and Perseus Books Group was aware of a trademark
claim, the designations have been printed in initial capital tetters.
Perseus Publishing books are available at special discounts for bulk purchases in the U.S. by corporations,
institutions, and other organizations. For more information, please contact the Special Markets Department at HarperCollins Publishers, 10 East 53rd Street, New York, NY 10022, or call 1-212-207-7528.
2 3 4 5 6 7 8 9 10
Editor's Foreword
Perseus Publishing's Frontiers in Physics series has, since 1961, made
it possible for leading physicists to communicate in coherent fashion
their views of recent developments in the most exciting and active
fields of physicswithout having to devote the time and energy
required to prepare a formal review or monograph. Indeed,
throughout its nearly forty year existence, the series has emphasized
informality in both style and content, as well as pedagogical clarity.
Over time, it was expected that these informal accounts would be
replaced by more formal counterpartstextbooks or monographs
as the cutting-edge topics they treated gradually became integrated
into the body of physics knowledge and reader interest dwindled.
However, this has not proven to be the case for a number of the
volumes in the series: Many works have remained in print on an ondernand basis, while others have such intrinsic value that the physics
community has urged us to extend their life span,
The Advanced Book Classics series has been designed to meet this
demand. It will keep in print those volumes in Frontiers in Physics
that continue to provide a unique account of a topic of lasting
interest And through a sizable printing, these classics will be made
available at a comparatively modest cost to the reader.
The late Nobel Laureate Julian Schwinger was not only one of the
great theoretical physicists of our time, but also one of the great
pedagogues of the past century. His lectures were legendary for their
almost unique combination of clarity and elegance. I am accordingly
very pleased that the publication in Advanced Book Classics of
Quantum Kinematics and Dynamics will continue to make his lectures
on this topic readily accessible to future generations of the scientific
community.
David Pines
Cambridge, England
May, 2000
Vita
Julian Schwinger
University Professor, University of California, and Professor of Physics at the University
of California, Los Angeles since 1972, was born in New York City on February 12,1918.
Professor Schwinger obtained his Ph.D. in physics from Columbia University in 1939. He
has also received honorary doctorates in science from five institutions: Purdue University
(1961), Harvard University (1962), Brandeis University (1973), Gustavus Adolphus
College (1975), and the University of Paris (1990). In addition to teaching at the
University of California, Professor Schwinger has taught at Purdue University (1941 -43),
and at Harvard University (1945-72). Dr, Schwinger was a Research Associate at the
University of California, Berkeley, and a Staff Member of the Massachusetts Institute of
Technology Radiation Laboratory. In 1965 Professor Schwinger became a co-recipient
(with Richard Feynman and Sin Itiro Tomonaga) of the Nobel Prize in Physics for work
in quantum electrodynamics. A National Research Foundation Fellow (1939-40) and a
Guggenheim Fellow (1970), Professor Schwinger was also the recipient of the C. L.
Mayer Nature of Light Award (1949); the First Einstein Prize Award (1951); a J. W. Gibbs
Honorary Lecturer of the American Mathematical Society (1960); the National Medal of
Science Award for Physics (1964); a HumboJdt Award (1981); the Premio Citta di
Castiglione de Sicilia (1986); the Monie A. Ferst Sigma Xi Award (1986); and the
American Academy of Achievement Award (1987).
Special Preface
The first two chapters of this book are devoted to Quantum Kinematics. In 1985 I had the
opportunity to review that development in connection with the celebration of the 100th
anniversary of Hermann Weyl's birthday, (See the last footnote of Chapter 2.) In
presenting my lecture (Hermann Weyl and Quantum Kinematics, in Exact Sciences and
Their Philosophical Foundations, Verlag Peter Lang, Frankfurt am Main, 1988, pp. 107129), I felt the need to alter only one thing: the notation. Lest one think this rather trivial,
recall that the ultimate abandonment, early in the 19th century, of Newton's method of
fluxions in favor of the Leibnitzian calculus, stemmed from the greater flexibility of the
latter's notation.
Instead of the symbol of measurement: M(a', b'), I now write: I a'b'l , combining
reference to what is selected and what is produced, with an indication that the act of
measurement has a beginning and an end. Then, with the conceptual analysis of I a'b' I
into two stages, one of annihilation and one of creation, as symbolized by
the fictitious null state, and the symbols HP and <fy can be discarded.
As for Quantum Dynamics, I have long regretted that these chapters did not contain
numerous examples of the practical use of the Quantum Action Principle in solving
physical problems. Perhaps that can be remedied in another book, on Quantum Mechanics. There is, however, a cornucopia of action applications in the non-operator context of
Source Theory. (See Particles, Sources, and Fields, Vols. I, 2, 3, Advanced Book
Classics.)
Los Angeles, California
April 1991
J. S.
Foreword
Early in 1955 I began to write an article on the Quantum Theory of Fields. The introduction
contained this description of its plan. "In part A of this article a general scheme of quantum
kinematics and dynamics is developed within the nonrelativistic framework appropriate
to systems with a finite number of dynamical variables. Apart from specific physical
consequences of the rclativistic invariance requirement, the extension to fields in part B
introduces relatively little that is novel, which permits the major mathematical features of
the theory of fields to be discussed in the context of more elementary physical systems."
A preliminary and incomplete version of part A was used as the basis of lectures
delivered in July, 1955 at the Les Houches Summer School of Theoretical Physics. Work
on part A ceased later that year and part B was never begun. Several years after, I used
some of the material in a series of notes published in the Proceedings of the National
Academy of Sciences. And there the matter rested until, quite recently, Robert Kohler
(State University College at Buffalo) reminded me of the continuing utility of the Les
Houches notes and suggested their publication. He also volunteered to assist in this
process. Here is the result. The main text is the original and still incomplete 1955
manuscript, modified only by the addition of subheadings. To it is appended excerpts from
the Proc. Nat. Acad. of Sciences articles that supplement the text, together with two papers
that illustrate and further develop its methods.
Belmont, Massachusetts
1969
JULIAN SCHWINGER
Contents
II
1
2
5
7
9
12
14
17
19
19
22
25
26
29
29
32
35
37
40
44
46
48
S3
54
x.v
xvi
Contents
2.11
2.12
Canonical Transformations
5 1 Group Properties and Superfluous Variables
5.2 Infinitesimal Canonical Transformations
56
62
73
74
76
77
79
80
83
86
97
103
106
113
114
115
119
120
122
125
126
130
133
140
143
143
145
148
152
152
156
166
170
173
175
178
xvii
Contents
5.3
5.4
5.5
5.6
5.7
5.8
5.9
VI
Groups of Transformations
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
6.11
6.12
6.13
6.14
6.15
6.16
6.17
6.18
6.19
Integrability Conditions
Finite Matrix Representation
Subgroups
Differential Forms and Composition Properties
Canonical Parameters
An Example, Special Canonical Group
Other Parameters. Rotation Group
Differential Operator Realizations
Group Volume
Compact Groups
Projection Operators and Invariants
Differential Operators and the Rotation Group
Non-Compact Group Integration
Variables of the Second Kind
Reflection Operator
Finite Operator Basis
Addendum: Derivation of the Action Principle
Addendum Concerning the Special Canonical Group
Addendum: Quantum Variables and the Action Principle
182
185
187
190
191
194
195
201
202
204
207
209
211
216
219
226
228
231
233
238
243
247
249
250
254
259
275
285
285
287
293
297
299
302
306
309
317
321
Contents
xviii
IX
331
331
335
337
340
341
343
347
9.1
9.2
347
374
CHAPTER ONE
THE ALGEBRA OF MEASUREMENT
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
1.10
1.11
1.12
Measurement Symbols
Compatible Properties. Definition of
State
Measurements that Change the State
Transformation Functions
The Trace
Statistical Interpretation
The Adjoint
Complex Conjugate Algebra
Matrices
Variations of Transformation Functions
Expectation Value
addendum: Non-Selective Measurements
2
5
7
9
12
14
17
19
19
22
25
26
But it Is character-
This con-
1.1
MEASUREMENT SYMBOLS
We shall develop the outlines of this math-
ematical structure by discussing simplified physical systems which are such that any physical quantity
Let
M(a')
symbolize the
a1
of property
It follows from
the physical meaning of these operations that addition is commutative and associative, while multiplication is associative.
With
and
symbol-
M(a')
M(a')
and rejects
a'
is the measure-
algeoraic properties
and
0, M(a')
and 1
plication is distributive.
Thus,
and
0 as multi-
pliers, with evident definitions, permits the multiplication laws of measurement symbols to be combined
in the single statement
where
1.2
h^
and
A2
are
ments
MC a i)
'
and
measurement is
J^fc
A , that
The
a' . The
1.3
M(a', a")
The
a"
urement process
M(a')
a 1 , The meas-
M(a', a")
are symbolized by
a" - a11*,
all such
a1.
Note that
Hence the
B, C, ...,
. The most
We symbolize by
M(a', b')
d1
and permits
a1
b',
a1,
which
M(a", d 1 } .
c1
compound measurements that we have already considered involve the passage of all systems or no systems between the two stages, as represented by the
multiplicative numbers 1 and 0.
measurements of properties
tem in a state
compatible with
c'
B,
B,
More generally,
performed on a sys-
Hence, only a
law
where
<b' c')>
1.4
TRANSFORMATION FUNCTIONS
b1
and
c'.
10
and
and similarly
is
(a1 b 1 )
11
is called the trans-
a -
and the
"a -description"
A.
A fundamental composition property of transformation functions is obtained on comparing
with
namely
12
and similarly
N>
THE TRACE
The number
{ a'|b')
can be regarded as a
M(b' a').
13
In particular,
14
1.6
STATISTICAL INTERPRETATION
It should be observed that the general multi-
function
trariness, a. transformation function <a'|b'> cannot, of itself, possess a direct physical interpretation but must enter in some combination that
remains invariant under the substitution
(1.34).
15
16
whence
negative number.
for then
17
1.7
THE ADJOINT
Let us recall the arbitrary convention that accompanies the interpretation of the measurement symbols and their products - the order of events is
read from right to left (sinistrally). But any
measurement symbol equation is equally valid if
interpreted in the opposite sense (dextrally).
and no physical result should depend upon which
convention is employed. On introducing the dextral
interpretation, <a'|b'>
possessed by
tion.
<b' a'>
states a 1 and b' in given sequence must be constructed symmetrically from <a'|b'>
and
<b' a'> .
18
and
In particular,
which characterizes
M(a')
Hermitian operator.
as a self-adjoint or
ducts we have
or equivalently.
19
If the operators of
X*
, the correspon-
1.9
MATRICES
The measurement symbols of a given descrip-
20
arbitrary operator by N
properties of operators are realized by the combinatorial laws of these arrays of numbers, which are
those of matrices.
Thus
in the a-description or
shows that
can
be expressed as
and in particular
The corresponding
21
M{a', a")* , and the
X . The operator
X
X ,
= XT* , an
is represented
where
On placing
X = Y = 1
If we set
or
equal to
, we obtain
22
The
general result can be derived from the linear relations among measurement symbols.
Thus,
X , displayed in the
1.10
If
&<a'\b'>
and
<S<b*|c'>
23
<a'|c'>
is
and also
o<a'|b'>
as
24
Thus the multiplicative composition law of transformation functions is expressed by an additive composition law for the infinitesimal operators
6W.
or
Now
25
and therefore
1.11
<W
are Hermitian.
EXPECTATION VALUE
The expectation value of property A for systems in the state b 1 is the average of the possible
values of A, weighted by the probabilities of occurence that are characteristic of the state b1
On using (1.33) to write the probability formula
as
26
is
of the property
{A)
set of compatible physical quantities form a complete set of commuting Hermitian operators.
particular, the function of
value unity in the state
a'
In
1.12
ADDENDUM:
NON-SELECTIVE MEASUREMENTS1"
1552
PHYSICS: J. SCHWINGEK
PJROC. N. A, 8.
The physical operation symbolized by M(a') involves the functioning of an apparatus capable of separating an ensemble into subensembles that are distinguished
by the various values of a', together with the act of selecting one subenserable and
rejecting the others. The measurement process prior to the stage of selection,
which we call a nonselective measurement, will now be considered for the purpose of
finding its symbolic counterpart. It is useful to recognize a general quantitative
interpretation attached to the measurement symbols. Let a system in the state
e' be subjected to the selective M(b') measurement and then to an A -measurement.
The probability that the system will exhibit the value b' and then a', for the respective properties, is given by
If, in contrast, the intermediate B-measurement accepts all systems without discrimination, which is equivalent to performing no .B-measurenient, the relevant
probability is
There are examples of the relation between the symbol of any selective measurement and a corresponding probability,
Now let the intervening measurement be nonselective, which is to say that the apparatus functions but no selection of systems is performed. Accordingly,
where the real phases w are independent, randomly distributed quantities. The
uncontrollable nature of the disturbance produced by a measurement thus finds its
mathematical expression in these random phase factors. Since a nonselective
measurement does not discard systems we must have
ACKNOWLEDGMENT:
I. OLKIN
1SS3
each of which can also be extended to all types of selective measurements, and to
nonseleetive measurements (the adjoint form is essential here). The expectation
value construction shows that a quantity which equals unity if the properties A,
B,. . . S successively exhibit, in the sinistral sense, the values a', 6', . . . ', and is
zero otherwise, is represented by the Hermitian8 operator (M(a')... M(s'))t(M(a1) ,. M(')).
Measurement is a dynamical process, and yet the only time concept that has
been used is the primitive relationship of order. A detailed formulation of quantum dynamics must satisfy the consistency requirement that its description of the
interactions that constitute measurement reproduces the symbolic characterizations
that have emerged at this elementary stage. Such considerations make explicit
reference to the fact that all measurement of atomic phenomena ultimately involves
the amplification of microscopic effects to the level of macroscopic observation.
Further analysis of the measurement algebra leads to a geometry associated with
the states of systems.
1
Thia development has been presented In numerous lecture series since 1951, but is heretofore
unpublished.
* Here we bypass the question of the utility of the real number field. According to a comment in
THESE PROCMEBINOS, 44, 223 (I9S8), the appearance of complex numbers, or their real equivalents,
may be an aspect of the fundamental matter-antimatter duality, which can hardly be discussed at
this stage.
!
Compare P. A. M. Dirae, Be, Mad. Phys, 17, 19S (1945), where n<n-Hermitian operators
and complex "probabilities" are introduced.
CHAPTER TWO
THE GEOMETRY OF STATES
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2
.
9 R
e
2.10
2.11
2.12
Continuous Spectra
Addendum: Operator Space
Addendum: Unitary Operator Bases
2.1
29
32
35
37
40
44
46
48
53
54
56
62
30
Hence, to conceive
M(a" , b 1 )
as a
b'
, and that
a'
; the
, and write
b1
b1
in the state
a1
null state,
a1
31
the indiscernability of
M(a" , b 1 }
b*
in the state
and
whereas
and
and
symbols.
Thus
32
Some properties of
M{0)
are
and
>(0)
by
2.2
33
M(a"
of the
*F
b')
and
Thus
and
while
and
4>X
, in addition to
XY
According to
34
(2.4), all
ff
Xf , $X
, and
to a number,
and in particular
Accordingly,
35
In the brac-
(1.63),
2.3
VECTOR ALGEBRA
We have associated a
and a
symbol
36
and
or
Arbitrary
symbols thus
This geometry is
defines a scalar
product.
and
(a 1 )
*(a')
37
The effect on the vectors of the a-coordinate system of the operator symbolizing property
is given by
which characterizes
f(a1)
and
$(a')
as the
a'
, with the
algebra there is a dual algebra in which all numbers are replaced by their complex conjugates.
2.4
WAVE FUNCTIONS
The eigenvectors of a given description pro-
numbers.
38
We write
and
and, in particular,
39
The operator
,$,,
is repre-
Xf
and
fX
are
and
On placing
X = 1
(b')
40
<j
and
ifi
in the state
is given by
a1
2,5
is
UNITARY TRANSFORMATIONS
The automophisms of the unitary geometry of
41
obeys
The appli-
cation of a unitary transformation to the orthonormal basis vectors of the a-description, which
are characterized by the eigenvector equation
42
Hence the
that possess
A ,
where
Thus
43
obeys
a-
and
a-
or the
b--
representations ,
and
B possess
and
44
2.6
expressed as
shows that a unitary operator differing infinites!mally from unity has the general form
where
45
Hence
and
where
and
46
X + <SX
and
<a'|
A - 6A
2.7
Thus, let
U,
and
be the operators
47
In
48
2.8
49
Hermitian operator
unitary transformation, as
STG/,
, we find that
St-M)
T/<ST
yields, in
IK)
^n\
//
This
50
We express the
uniformity of space by asserting that two coordinate systems, differing only in location and orientation, are intrinsically equivalent.
In particu-
lar, physical quantities that are analogously defined with respect to different coordinate systems
exhibit the same spectra of possible values, and
the associated operators must be related by a
unitary transformation.
where
51
Hence,
52
pure
If the
53
The natural units' are preferable for general theoretical investigations and will be used here.
2,9
REFLECTIONS
The continuous group of transformations
6e
, 5u
-<Se
Accordingly,
Sw
, and then
54
or
2.10
CONTINUOUS SPECTRA
The general mathematical structure of quan-
property, systems displaying values within a certain range are selected, and the concept of state
now refers to the specification of a complete set
of compatible quantities within arbitrarily small
intervals about prescribed values.
such states by
la'>.
their completeness by
, A<a*
We symbolize
55
in which
Aa 1
Aa'-M)
represented by an
that
56
will
2.11
da'
ADDENDUM:
about
a1
in the infinitesi-
OPERATOR SPACE1"
The geometry of states provides the elements of the measurement algebra with
the geometrical interpretation of operators on a vector space. But operators con-
262
PHYSICS: J, SCHWWGER
Pnoe. N. A, S,
sidered In themselves also form a vector space, for the totality of operators is closed
under addition and under multiplication by numbers. The dimensionality of this
operator space is Nt according to the number of linearly independent measurement
symbols of any given type. A unitary scalar product is defined iu the operator
space by the number
which has the properties
can now be viewed as the transformation connecting two orthonormal bases. This
change of basis is described by the transformation function
which is such that
and
The probability relating two states appears as a particular type of operator space
transformation function.
PHYSICS: J. 8CHWINQER
2(iH
We also have
the validity of which for arbitrary Y is equivalent to the completeness of the operator basis X(a). Since the operator set Z(a)t also forms an orthonormal basis
we must have
On altering the basis the components of a given operator change in accordance with
For measurement symbol bases this becomes the law of matrix transformation.
264
PHYSICS: J. 8CHWINOER
PBOC, N. A. S.
There are two aspects of the operator space that have no counterpart in the
state spacesthe adjoint operation and the multiplication of elements are defined
*in the same space. Thus
and
where
and
which generalize the adjoint and multiplication properties of matrices. The elements of the operator space appear in the dual role of operator and operand on defining matrices by
The measurement symbol bases are distinguished in this context by the complete
reducibility of such matrices, in the sense of
Otherwise expressed, the set of N measurement symbols M(a', b'), for fixed b', or
fixed a', are left and right ideals, respectively, of the operator space.
The possibility of introducing Hermitian ortbonormal operator bases is illustrated
by the set
When the unit operator (multiplied by N~l/a) is chosen as a member of such bases
it defines an invariant subspace, and the freedom of orthogonal transformation
refers to the JV2 1 basis operators of zero trace.
Important examples of orfhonormal operator bases are obtained through the
study of unitary operators,
1
62
2.12
f
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp. 570-579 (1960).
and
Let us define
and observe that
where the latter statement follows from the remark that the F(a)t form an orthonormal basis and therefore
according to the completeness of the X(a) basis. Thus the operator U is unitary
if we choose
such that
Accordingly, the three operators % k 1,2, 3, obey
and an explicit construction is given by
the coefficients of which constitute the well-known Pauli matrices. With these
definitions, the multiplication properties of the & operators can be expressed as
with
Let us return to the definition of a unitary operator through the mapping of one
coordinate system or another, and remark that the two of vectors can be identical, apart from their ordering. Thus, consider the definition of a unitary operator
F by the cvclic permutation
where
which indicates the utility of designating the same state by any of the integers that
are congruent with respect to the modulus N, The repetition of F defines linearly
independent unitary operators,
until we arrive at
Thus
is the minimum equation, the polynomial equation of least degree obeyed by this
operator, which we characterize as being of period N. The eigenvalues of F obey
the same equation and are given by the N distinct complex numbers
the elements of the transformation functions that connect the given coordinate
system with the one supplied by the eigenvectors of the unitary operator that
cyclically permutes the vectors of the given system.
Turning to the new coordinate system {*(, we define another unitary operator
by the cyclic permutation of this set. It is convenient to introduce U such that
which is equivalent to
This operator is also of period ff,
and has the same spectrum as V,
After using the property U"~l = U~l to write the corresponding measurement
symbol as
Thus, the original coordinate system is regained and our results can now be stated
as the reciprocal definition of two unitary operators and their eigenvectors,
that
for this asserts that the intervening non-selective w-measurement has destroyed
all prior knowledge concerning w-states. Thus the properties U and F exhibit the
maximum degree of incompatibility. We shall also show that U and F are the
generators of a complete orthonormal operator basis, such as the set of Nf operators
and therefore together supply the foundation for a full description of a physical
system possessing N states. Both of these aspects are implied in speaking of U and
F as a complementary pair of operators.* Incidentally, there is complete symmetry
between U and F, as expressed by the invariance of all properties under the substitution
The latter could be emphasized by choosing the elements of the operator basis as
and this function of U assumes the same value for every state, which identifies it
with that multiple of the unit operator. Now consider, for arbitrary F,
and observe that left and right hand multiplication with U and U~ , respectively,
or with F and F~ J , only produces a rearrangement of the summations. Accordingly, this operator commutes with U and F. On taking the trace of the resulting
equation, the multiple of unity is identified with ir Y, and we have obtained
the statement of completeness for the ]V2-dimensional operator basis X(mn). Alternatively, we demonstrate that these JV2 operators are orthonormal by evaluating
The unit value for m = m', n n' is evident. If m ^ TO', the difference TO' m
can assume any value between N I and (N 1), other than zero. When the
trace is computed in the v-representation, the operator [/'-> changes each vector
(vk\ into the orthogonal vector {*+>-' j and the trace vanishes. Similarly, if n 7*
n' and the trace is computed in the -representation, each vector {* is converted
by Vn'~" into the orthogonal vector (t**'H1/~n| and the trace equals zero.
One application of the operator completeness property is worthy of attention.
We first observe that
which exhibits the unitary transformations that produce only cyclic spectral translations. Now, if F is given as an arbitrary function of U and F, the completeness
expression of the operator basis reads
which is a kind of ergodic theorem, for it equates an average over all spectral translations to an average over all states. The explicit reference to operators can be
removed if F(U, V) is constructed from terms which, like the individual operators
X(mn), are ordered with U standing everywhere to the left of F, Then we can
evaluate a matrix element of the operator equation, corresponding to the states
hf and I tf), which gives the numerical relation
tegers less than and relatively prime to N. Furthermore, to every such power of U
there can be associated a power F', also of period N, that obeys with 17* the same
operator equation satisfied by U and V,
with
It is seen that Ui, Yt are of period N\t while Ut, V% have the period Nt, and that the
two pairs of operators are mutually commutative, as illustrated by
Furthermore,
so that I/i, Fi and Ut, Vt constitute two independent pairs of complementary operators associated with the respective periods JVi and Nt. We also observe that the
N = JViJVz independent powers of U can be obtained as
since all of these are distinct powers owing to the relatively prime nature of N\ and
Nt. With a similar treatment for F, we recognize that the members of the orthonormal operator basis are given in some order by
where
Another approach to this commutative factorization of the operator basis proceeds through the construction of the eigenvalue index k = 0.. N 1 with the aid
of a pair of integers,
Equivatently, we replace
by
which gives
On identifying these vectors as the eigenvectors of sets of two commutative unitary
operators, we can deine U\,t, Vi, by the reciprocal relations
together with the commutativity of any two operators carrying different subscripts. The orthonormality of the NfN<? N* operators X'(?ijz} can now
be directly verified. Also, by an appropriate extension of the proceeding discussion, we obtain the transformation function
with
The continuation of the factorization terminates in
is thus constructed from the operator bases individually associated with the / degrees of freedom, and the pair of irreducible complementary quantities of each degree of freedom is classified by the value of the prime integer v 2, 3, 5, . . . .
In particular, for v 2 the complementary operators U and V are anticommutative
and of unit square. Hence, they can be identified with <n and <r, for example, and
the operator basis is completed by the product iUV <r\.
The characteristics of a degree of freedom exhibiting an infinite number of states
can be investigated by making explicit the Hermitian operators upon which U and
V depend,
and where
We shall not carry out the necessary operations for v -* , which evidently yield
the well-known pair of complementary properties with continuous spectra. One
remark must be made, however. In this approach one does not encounter the
somewhat awkward situation in which the introduction of continuous spectra requires the construction of a new formalism, be it expressed in the language of
Dirac's delta function, or of distributions. Rather, we are presented with the direct
problem of finding the nature of the subspaees of physically meaningful states and
operators for which the limit v -* <*> can be performed uniformly,
* Publication assisted by the Office of Scientific Research, United States Air Force.
1
For the notation and concepts used here see these PROCEEDINGS, 45, 1542 (1959), and 46,287
(160).
2
The absence in the available literature of an explicit statement of this simple, general result
is rather surprising. The inverse calculation giving the three-dimensional rotation matrix in
terms of the elements of the unitary matrix is very we!! known (rotation parametrizations of
Buler, Cay ley-Klein), and the construction of the unitary matrix with the aid of Euleriftn angles
is also quite familiar.
* Operators having the algebraic properties of U and F have long been known from the work of
Weyl, H., Theory of Groups and Quantum Mechanics (New York: B. P. Button Co., 1932), chap.
4, sect. 14, but what has been lacking is an appreciation of these operators as generators of a complete operator basis for any If, said of their optimum incompatibility, as summarized in the attribute of complementarity. Nor bag it been clearly recognized that an a priori classification of
all possible typee of physical degrees of freedom emerges from these considerations.
CHAPTER THREE
THE DYNAMICAL PRINCIPLE
3.1
3.2
3.3
3.4
3.5
3.6
3.7
3.8
3.9
3.10
74
76
77
79
80
83
86
97
103
106
74
Hence the operators symbolizing analogous properties at different times must be related by a unitary transformation.
Accordingly,
complete sets of compatible properties will pertain to a common time, and the characterization of
a state requires the specification of the values
of these quantities (together with a spatial
coordinate system) and of the time.
The trans-
<a_t.|a2t2>
<a't[b't>
, special
, connecting two
at different times.
at two different times involves the entire dynamical history of the system in the interval.
Hence
the properties of specific systems must be contained completely in a dynamical principle that
characterizes the general transformation function.
3.1
75
can be expressed
as [Eq. (1.68)1
where
5W
J.1&
There exists a
It is consistent with the properties of the infinitesimal operators to assert that the action operator is Hermitian,
76
3.2
2t2
where
since
<a't|a"t>
On
writing
in which
L(t)
x* (t)
hood of time
77
t,
and
t-
3.3
78
Hence,
which is the operator principle of stationary action for it asserts that the variation of the
action integral involves only dynamical variables
at the terminal tiroes.
Indeed, if
79
and
which also satisfies the stationary action requirement but implies new generators of infinitesimal
, as given
by
3.4
A gener-
80
in which A ,
Hence
3.5
EQUATIONS OF MOTION.
GENERATORS
in (3.17) is
81
the variations
6t,
tional dependence of
fixed limits
T,
, 6t~
t = t(t)
, T-
, and producing
upon
, with
Now
since
or
82
5x
appearing only on
Sx
SI
Thus, we
entirely to
tives Of
6x
We
thus obtain
83
and
G3v
We shall
3.6
ci
is
appears independently in
variable
GX
COMMUTATION RELATIONS
34
t -f 6t
to the analogous
, which identifies
-If
x(t)
as the
t + 6t
F
is
is not affected
Hence
or
F = H
On plac-
, we obtain
85
and
, that
6x a
commute with
86
OL
by
3.7
and
variation
5x
<$x Si
Gx
, bilinear
where
k_a
ment is
designates a matrix.
87
H(x)
<$x
invariance properties
second variation
6x,b
we learn that
group we conclude that it must apply to the complete structure of the Lagrangian operator.
The
88
transformation
k 3s.
If
GX
imply that
k ax
to be
k
a
k
a
Sx
C*
. But
there must exist some freedom of linear transformation whereby new Hermitian variables are introduced,
89
so that
<Sx ct
<Sx
, we obtain
90
tion.
must decompose into classes such that linear transformations within each class only are permissible,
with the different classes distinguished by specific matrices
k^
a
The
ka matrices,
91
k 3.
numbers obey
kclct = 1
define
k, _ - k,,.
, and,
, summarized in
.K
, the
6 ?;
z,
92
requires that
<5e
ables of the second kind, but no restriction appears for the dependence upon the variables of the
first kind.
The property of the matrix
contained in
k--,
k2
connec-
and
io
, respectively.
93
is antisymmetrical
while
into
and
ia
K.
with
and
This structure of
Gx
94
The equations of
and
On displacing
<$x
95
we obtain
can be presented as
and, on interchanging
and
in one version,
k-,2
mutation properties of the two classes of dynamical variables now appear explicitly as
96
(l/i)a
. In
if the variables
dent.
K.
must be positive-definite
without distinction between left and right derivatives, while, by distinguishing operators that are
even and odd functions of the variables of the
second kind, we find that
and
3.8
97
and
are nonsingular,
. For
, associated with
ber as 2n,
function
, and on writing
we observe that
matrix that obeys
is a real, antisymmetrieal
98
such that
The matrix
with
variables
commutes with
a.
and anticommutes
with
tive-definite matrix.
n.,
variables
z,:
and z,,K , k - l,...,n,X . According to
K
(3.75), these variables obey the commutation rela-
99
tions
, the kine-
matical term and the infinitesimal generator, referring to the variables of the first kind, acquire the forms
and
G
and %6z(2)
, respectively.
Now let us exploit the freedom to add a time derivative term to the Lagrangian with a corresponding
alteration of the infinitesimal generator, in the
manner of (3.13) and (3.16).
100
tical term
G ,^
%*
the first kind into two sets that are complementary, each set comprising the generators of infinitesimal variations of the other set.
The interpre-
101
G ,,,
and
G ._.
is
expressed by
a.
, places the
102
n,
com-
Various
the
equations of motion,
103
The
104
sults that would be obtained by combining the commutation relations for the Hermitian variables, in
accordance with the definitions of the non-Hermitian variables, together with
y^
105
In particular, the
q,iC
and
p,JC
and
106
3.10
can be reduced
to the unit matrix by an appropriate real transformation of the variables, which is effectively
produced on introducing
-operators
is
107
operators
C-^C, i K < A
C 5,5
K
\i
; the
, tc<X<y
Is
; the
;-variables
i v(v-l)(v-2)
operators
operators
single operator iCo * The total number of independent operators so obtained, the
dimensionality of the -algebra, is
108
of states.
only if
is an even integer,
109
the forms
or
<$q
and
6p .
110
together with
111
and
CHAPTER FOUR
THE SPECIAL CANONICAL GROUP
4.1
4.2
4.3
4.4
I.
4.5
4.6
4.7
4.8
4.9
Differential Operators
Schrodinger Equations
The q p Transformation Function
Differential Statements of
Completeness
Non-Herroitian Canonical Variables
Some Transformation Functions
Physical Interpretation
Composition by Contour Integration
Measurements of Optimum Compatibility
4.10
4.11
4.12
Rotation Group
External Algebra
Eigenvectors and Eigenvalues
4.13
4.14
4.15
4.16
II.
III.
H4
H5
H^
120
122
125
126
130
133
1^0
I43
143
i45
148
i52
I52
156
166
170
The commutation properties of the infinitesimal operator variations that are employed in the
fundamental dynamical principle are such as to
113
114
I.
5z
If one con-
115
Gz
, or
Gcj
, Gp
, together
4,1
DIFFERENTIAL OPERATOR'S
The transformations of this group can be
usefully studied by their effect on the eigenvectors of the complete set of commuting Hermitian
operators provided by the
q
, or
n,
, at a given time
canonical variables
t
. We first
p -description,
116
<q't| + 6<q't|
q - <Sq
is an eigenvector
<$q
of the unit operator, the varied, vector is described equivalently as an eigenvector of the operators
q 1 -f 5q
. This
<$ <q't
to
can be ascribed
q'
by
Sq
. A
and
. Accordingly,
117
F (q p)
and arbitrary
, we establish by induction
that
and
118
q - des-
and
The transformations
or
119
descriptions with
4.2
SCHR5DINGER EQUATIONS
The infinitesimal operator
G. = -H <5t gen-
q - description at time
cription at time
t + <St
to the
q -des-
we have
if
varia-
120
bles.
is represen-
4.3
and
121
Hence
and then
is fixed by the
composition property
is an intrinsically arbi-
states.
Hence, with
122
and. p
repre-
With the aid of these connections, the unit operator can be exhibited, not only in terms of the
complete set of
4.4
, or
qp
or
pq
states,
representations,
123
An arbitrary vector
q't>
is constructed
p'=0
^(q)
|p'>
. Employing a similar
procedure, we find
124
or
125
<q'|p'>
and
4.5
126
To follow the pattern set by the Hermitian canonical variables, we must first construct the eigenvectors of the two complete sets of commuting
operators y and y
4.6
|y't>
<q't y't>
<q't|
127
equation
and
128
is
<p't q't> .
In particu-
|y*t>
with
|y't>
values of
and
y'
<y
j
.i
129
i t*
<q't|y t>
and no vector
gives
i t'
jy t>
This
asymmetry between y and y , in striking contrast with the situation for Hermitian canonical
variables is evident from the commutation relation
-yyt
y y
130
PHYSICAL INTERPRETATION
Now
and, on writing
we infer that
131
and
nor the
|y't>
Thus
132
and generally,
4 (y
t)
and
and
4. I
Go.
on
|y't>
are given by
133
The same
4.8
<p'tjq't>
<y
t'
t|y"t>
134
We infer that
n=l
n
, for simplicity;
is immediate).
135
$(y
4, I
t)
and
$(y't)
Alterna-
where
The integrations in
136
tfi(y't)
j.
but no singularity of ty (y
t)
, or
cHy't) .
If the wave functions ty(y't) and
axe related to the vector bases
jy
4-1
t>
<y't|
$(y
4. I
t)
and
/ given symbolically by
and
137
and
^i(y')
and
. Indeed,
4>(y't)
y"
while
y1
4>(y"t)
138
i{i(y"t)
<y't|
is made
explicit on writing
Thus
and
139
y (t) , respectively.
Now
and y
y
<y't|
1
The use of complex eigenvalues has been developed
in a more formal way by P.A.M. Dirac, Cornm. Dub,
Inst. for Adv. Studies, Ser. A, No. 1 (1943),
without initial recognition of the asymmetry be-
140
<yllyly">
eigenvector,
4.9
tween left and right eigenvectors of the non-Heritdtian variables. With this procedure, the alternative evaluations of <y*|y[y">
lead to results
differing by unity and, generally, one is forced
to assume that two <|(y') functions differing
by an arbitrary non-negative power series in y 1
describe the same state.
141
If we write
q"
and
to
p'
through
142
|q'p't>
Although
certainly not linearly independent or the transformation function (4.56) would be a delta function.
Instead, it appears that displacing the eigenvalues
q'p'
from
q"p"
function
( Aq' Ap 1 )/2ir 1
143
and
measurements,
at the time
dq 1
dp 1
and
II
VA^^BLE^^j^Hj^ECONjp^KIMD
4.10
ROTATION GROUP
q'
and
p1
, respectively.
Si,
^K
This is the
144
&.U * J
55
must be
, say
where the
145
%v(v-l) = n(2n-l)
Hermitian
operators obeying
Gg
Hermitian operators
range from
to
2n-fl
,
KA
, where
and
2n+l
4.11
EXTERNAL ALGEBRA
We have been discussing a group of inner
It
146
To obtain
Is
be a set of
2n
completely anti-
commutative operators,
147
<SE 1C
and
148
4.12
and
Furthermore, if
q K,
and
4. I
qK
are quantities
149
and
|q t>
and
<q
tj
150
and
4. I
implies (4.110).
The operators
qfC qrC
are commuta-
tive and indeed constitute a complete set of commuting Hermitan operators for the variables of the
second kind.
And,
151
and
qIN qK,
, or the adjoint
q
+
qK,q1C
and
. In particular, the
q q
also exist.
<q't]
equations
|q t>
152
Ill
4.13
can be constructed and the general eigenvector defined by a finite operation of the group,
153
is
154
and
and
C 1C
, or eguivalently, with
q1C
and
q(C
. The
155
. This product,
q q
K
**
Accordingly, in considering
the factor
by the number
that occurs in
(~l)n
and
q K.
can be replaced
156
factor
that of (4.126) if
for even
4.14
TRANSFORMATION FUNCTIONS
157
<
p'jl l>
is character-
and differs in its integral form only by the numerical factors that express the normalization conventions for the particular type of variable.
To
(2IT)
that appears
This
158
The
by
159
160
and
fication.
<p'|p">
combined with
indicates that
<q'|q">
(For non-hermitian
which is solved by
<y'|y"> = ty'-y"5
-1
.) With
161
and we shall retain this notation for the corresponding function referring to the second class of variable,
antieommuting factors
1,.. , ,n
we
write
The
, as
162
<q
4. I
f"
|q
>
pro~
yields
and similarly
163
We also have
and
q - eigenvectors, we observe
that
<^
wave
can be presented as
164
and
and
165
appears as
and similarly
(4.164) this
166
becomes
4 .15
INTEGRATION
Although the integral notation is effective in
has the
This is emphasized by
q' -* Xq'
167
n~
is even.
An interesting
168
<p'|x|q'>
and
n_
169
in place of
with
Xp
for varia-
170
even
(4.166) , is
4.16
DIFFERENTIAL REALIZATIONS
Finally, we note the universality of the
and
The
<q't|
and
|p't>
171
as contrasted with
172
Thus the following Schrodinger equations are applicable to Hermitian variables of the first kind and
to the variables of the second kind,
CHAPTER FIVE
CANONICAL TRANSFORMATIONS
5.1
5.2
5.3
5.4
5.5
5.6
5.7
5.8
5.9
175
178
182
185
187
190
191
194
195
173
174
other generators
dance with
, pCt)
H (qpt)
as a canonical
and
operators variations.
to infinitesimal varia3
CWQMIC&L TRANSFORMATIONS
175
5.1
and
The
qp -* qp
is
q, q
and
176
q ,q
W(q , q)
only.
as a
It is not
and
, which
By retaining
the variables of a suitable intermediate transformation, one can deiive the desired transformation
by independent differentiation.
An important ex-
and
where
variables, as described by
177
CANONICAL TRANSFORMATIONS
Since
p * q = q
, we obtain the
as superfluous variables.
q=q
, which yields
identity transformation.
W=0
for the
W(qqt)
178
{5.5}, we obtain
in which the
W(pqt)
and these equations are equally suitable for describing the transformation
qp * qp
The identity
5.2
- p q
q ,q
is
The appro-
179
CANONICAL TRANSFORMATIONS
where
On applying (5.5),
with
180
Hence
and if
transformation.
whence
CANONICAL TRANSFORMATIONS
181
G, = - H <5t
The tran-
t + <St
is a constant of the
being the condition for the maintenance of the functional form of the Hamiltonian operator under time
translation.
182
and
5.3
183
CANONICAL TRANSFORMATIONS
presents the same appearance in terms of the variables appropriate to any coordinate system.
This
invariant, is a constant
then,
j are
matrices.
is an imag-
184
Hermitian.
G^
w
to the operator
transformation
J
we find
But
we also have
and therefore
the matrices
It is a
185
CANONICAL TRANSFORMATIONS
of the matrix
is unnecessary.
j
The decompositon
duces a partitioning of the dynamical variables into kinematically independent sets that appear additively in the structure of
The num-
5.4
TRANSLATIONS.
LINEAR MOMENTUM
The remarks concerning invariance with respect to rotations of the coordinate system appJ._
equally to coordinate system translations, which
have the infinitesimal generator
186
For systems described by a finite number of dynamical variables, the appropriate transformation that
leaves the kinematical part of
invariant is the
If we apply an infinitesimal
in accordance with
variables
187
CANONICAL TRANSFORMATIONS
r, ... t T , with the complementary variables
and therefore
One exhibiting the contribution of the vector variables to the total angular momentum, we have
part-
5.5
r,
TRANSFORMATION PARAMETERS
It is useful to regard a general infinitesimal
188
-dT
, so that the
s
infinitesimal generator has the form
in which the
parameters.
tion is expressed by
or
are altered
189
CANONICAL TRANSFORMATIONS
Hence
is the action operator generating the finite canonical transformation, with the operators referring
to all values of
intermediate between
t.
and
variables, it is stationary with respect to infinitesimal special variations of all dynamical quantities that do not refer to the terminal values of
190
5.6
-H
and generator
CANONICAL TRANSFORMATIONS
191
t (=t.)
to
tor
W (=W,2)
obeys
or
On comparison with {5.5} we recognize that the Hamilton-Jacobi transformation is such that
which expresses the lack of dependence on
the new dynamical variables
Hamiltonian at time
uated at time
of
5.7
t~
x(t }
5=0
t
of
, The new
eval-
t_
PATH DEPENDENCE
192
G,\s i,
as a. generator, we have
and therefore
s ,
W.
is thus
CANONICAL TRANSFORMATIONS
193
leads to the integrability condition of the differential form (5.5?) in its dependence upon the parameter path,
and
194
5.8
it is necessary
that
As an example of this situation, consider a canonical transformation with two sets of parameters and
generators:
t , -H ;
X , G,,,
I A;
. On referring
to (5.55) we see that the condition for path independence can be presented as
G,,
v dX
I A;
identical with (5.23), characteristic of an infinitesimal canonical transformation, we learn that the
same resultant canonical transformation is obtained
whether the system evolves in time and a canonical
transformation is performed at the terminal time,
CANONICAL TRANSFORMATIONS
195
5.9
G,,v
(A I
X(t)
dependence of
is such that
dH/dX = 0.
LINEAR TRANSFORMATIONS
under some circumstances, this extension of
Thus, let
by
196
If
trans-
, is
for fixed
transformation
, and
But the
197
CANONICAL TRANSFORMATIONS
that a. special variation of
esimal change of
q(A5
and an infinit-
, in
, combined with
a linear transformation:
, this
in which
3H/3A
under the
transformation.
198
Since
W(qq0t}
and
. The transformation is
the variables
(h constant)
, and thus
CANONICAL TRANSFORMATIONS
199
CHAPTER SIX
GROUPS OF TRANSFORMATIONS
6.1
6.2
6.3
6.4
6.5
6.6
6.7
6.8
6.9
6.10
6.11
6.12
6.13
6.14
6.15
6.16
6.17
6.18
6.19
Integrability Conditions
Finite Matrix Representation
Subgroups
Differential Forms and Composition
Properties
Canonical Parameters
An Example, Special Canonical Group
Other Parameters, Rotation Group
Differential Operator Realizations
Group Volume
Compact Groups
Projection Operators and Invariants
Differential Operators and the
Rotation Group
Non-Compact Group Integration
Variables of the Second Kind
Reflection Operator
Finite Operator Basis
Addendum: Derivation of the Action
Principle
Addendum Concerning the Special
Canonical Group
Addendum: Quantum Variables and the
Action Principle
201
202
204
207
209
211
216
219
226
228
231
233
238
243
247
249
250
254
259
275
202
6.1
G, .
RJL 5
are to be zero.
G, , (x , t)
\ s}
G, (x)
\3.)
On writing
be line-
GROUPS OF TRANSFORMATIONS
203
The numbers
CO.cS(t)
v3/
are Hermitian.
can be conveniently presented by introducing a matrix notation for the array with fixed second index,
operator
G,, ,
g,
. This
204
relations (6.2).
that property,
-g
dence
coefficients,
comprised in the commutation relations, are identical with the conditions of integral-ility for the
differential equations (6.3), which verifies the
consistency of the operator presentation (6.1).
6.2
G, ,
g
persists under a change of
a
operator basis, to within the freedom of matrix
transformations that preserve algebraic relations;
the non-singular transformation
induces
205
GROUPS OF TRANSFORMATIONS
are Hermitian and possess a non-zero, linearly independent, finite-dimensional, Hermitian matrix representation.
is completely antisymmetrical in
a ,b ,
and
where
206
Thus
matri-
G,\3.lv , a = l,...,v,
it be labelled
G, ,
basis transformation.
and
g . = 0
by an appropriate orthogonal
Then
will never
This
matrices
20?
GROUPS OF TRANSFORMATIONS
6.3
SUBGROUPS
Groups of the latter type are necessarily
and
Then,
Abelian subgroup
208
g,
g ,
, and the matrix
lblC2
cannot be antisymmetrical. Alternatively, we
a
l
conclude from these attributes of an Abelian invariant subgroup that
On re-
209
GROUPS OF TRANSFORMATIONS
6.4
dT
the operator
U(T)
210
for infinitesimal
t,
U(T) I u(t+dt)
<5 XT Tct
such
that
An infinitesimal change of
T..
in the general
and,
211
GROUPS OF TRANSFORMATIONS
or
(Maurer-Cartan)
6.5
CANONICAL PARAMETERS
The choice of parameters is arbitrary to
t -* T ' ,
212
and thus
Through the
the generators
G, ,(T)
, for T = 0
G,
v
\a,l
with
, This would
to the
differential equations,
A special set
As the number
varies from
to
213
GROUPS OF TRANSFORMATIONS
where the
t
are arbitrary constants. The point
a
in the t-space that is reached at X = 1 is deter-
ct
Now if
ta
is replaced by
Yta
t Y < 1
> the
X = 1
point attained at
X = y
the t-space as
or
214
dA
is
Indeed,
becomes
At
215
GROUPS OF TRANSFORMATIONS
6,t
are obtained
explicitly as
The
structure of
The substitution
t * ~t~cft , dt -* dt
, converts
216
6.6
The matrices
gcl
linear combination
GROUPS OF TRANSFORMATIONS
217
*,
In virtue
t' = 0
: t = t"
, and the
218
219
GROUPS OF TRANSFORMATIONS
6.7
We combine
Hence
220
and
j are
1 , 0 , -1
, and therefore
$**/
GROUPS OF TRANSFORMATIONS
221
The substitution
while leaving
un
u> -* -w
converts
into
-u
6 u
is
This is indicated
60w
J6
or
& u
3T
imply:
du , du
222
and
223
GROUPS OF TRANSFORMATIONS
tation group in
2n + 1
dimensions.
Hence, a
where
224
%0
for, according to
(4.96) ,
and
1 ,a
to measurement
0,,
and (Pauli)
225
GROUPS OF TRANSFORMATIONS
un , u
are
226
which correspondence is
2:1
since
and
-U
The
is just (6.73).
where
is
6.8
to
rj
as
(-T) , t,
as
(T)
, according
GROUPS OF TRANSFORMATIONS
227
Thus
or, on writing
as
228
relations
n(t)
6.9
GROUP VOLUME
An infinitesimal element of volume can be
229
GROUPS OF TRANSFORMATIONS
inexact differentials (6.19)
T- + i
T = T(T. , T2)
An alternative definition
6 i
, and
T, - T
*
of group multiplication.
The relation
230
(or zero) to within the latitude of matrix transformations that do not alter the trace.
But, as the
element, stated by
is given a differential form on choosing the parameters T to be infinitesimal, in which circumstance the explicit transformation is
GROUPS OF TRANSFORMATIONS
231
Gf \
(a)
. The
study of a v-parameter group of unitary transformations can thus be performed with the aid of an equivalent dynamical system described by
pairs of
to
, these
6.10
COMPACT GROUPS
The ability to integrate over the group mani-
g
a
232
, as character-
transformation
are not anti-
symmetrical,
k - -
, if
k - +
det U < 1
, if
det U > 1 ,
This contradicts
GROUPS OF TRANSFORMATIONS
233
matrix.
Hence the
vanishing trace.
gcLQ
has a
t , gt
The numer-
2ir
234
, or
-t
P_
t -> -t
. Thus,
is a measurement symbol
or, in geometrical language, a projection operator, for the subspace of states that are invariant under all the transformations of the group.
These are also the states for which all the
generating operators can be simultaneously
235
GROUPS OF TRANSFORMATIONS
assigned the value zero.
In a similar way
U{T}
tent of (6.113) is
236
in (6.112) is chosen as
and
Now
. The effect of
and, since
cl
, the opera-
tor nature of the latter is not relevant which permits (6.116) to be replaced by the numerical invariance requirement
GROUPS OF TRANSFORMATIONS
237
Let
and
symbolize a K-dimensional
and
Then
238
is an invariant function.
powers of
6.12
On referring to
239
GROUPS OF TRANSFORMATIONS
or, if we introduce the notation
123
V3uQ
is omitted in (6.124).
The three-di-
240
undet
Alternatively,
u = u~ , u
, and a
(du) = duQ
6 (u^ 4- u
an
u_
-l)
(du)
enforced
. On
|un
by
|det C|
Here the proper constants have been supplied to normalize the total volume to unity, although in the
three-dimensional form one must also sum over the
GROUPS OF TRANSFORMATIONS
241
u-. SB (l-u ) . The advantage of the four-dimensional form stems from the commutativity of
with the differential operators
6(u
-I)
, which permits
the latter to be defined in the unbounded four-dimensional Euclidean space, thereby identifying the
four variables
first kind.
u
with canonical variables of the
a
Thus the general properties of a three-
, namely,
2
J
for there is only one independent rotationally invariant function of a three-dimensional vector.
observe from (6.124-6) that
We
242
monics
imply
GROUPS OF TRANSFORMATIONS
243
-2
inhomogeneous equation
6.13
We
(6.112), we consider
244
tor
U(q'p')
and
must be a multiple
This equivalence was used for a systematic development of the theory of angular momentum in a paper
GROUPS OP TRANSFORMATIONS
245
and therefore
If
246
a1
XM(a')
sult into
If the operator
of (6.138)
F(q , p)
, that
formula becomes
GROUPS OF TRANSFORMATIONS
247
6.14
tr ...
U(q'p')
are anticoiranutative with the variables of the second kind and thus contain the factor
, whereas
q'=0>
matrix element.
It is also worth
We
248
This
or
Similarly
and
GROUPS OF TRANSFORMATIONS
symbol
Ev
(6
in
Kl
-O)
249
Hermitian operator
6.15
REFLECTION OPERATOR
If the integration process (6,109) is applied
bo the operators
U(q'p'X)
, referring to variables
integration.
But, if the
integration is
tor
and
250
and correspondigly
The now familiar operator possessing these properties for the variables of the second kind is similarly produced by
6.16
U(lp
GROUPS OF TRANSFORMATIONS
251
2n
U(C')
distinct
These we define
more precisely as
where each
is
or
, and
a{v)
'{v}
to designate the
"
K,
252
(1 - v}
{v}
, to within
a phase factor,
C*
prior to integration.
GROUPS OF TRANSFORMATIONS
253
v = v
an even integer,
multiplying
a{v}
induces
The net result has the same form in either circumstance, leading to the following expression of
completeness for the
a{v}
a{v}
or obtained directly
254
6.17
PHYSICS: J. SCHWINGEM
893
where
are the fundamental quantum variables of the system for the description produced
by the transformation V(r). The accompanying state transformations are indicated by
PHYSICS: J. SCHWINGEB
PBOC. N. A. S.
894
which includes
The general discussion of transformation functions indicates that the most compact characterization is a differential one. Accordingly, we replace this explicit
statement of the transformation function (a'-r + dr\b'r} by a differential description in which the guiding principle will be the maintenance of generality by avoiding
considerations that refer to specific choices of the states o' and &', We
note first that the transformation function depends upon the parameters T, T +
AT and upon the form of the generator 0(x, T), Infinitesimal changes in these
aspects [8*] induce the alteration
where the omission of the labels a', 6' emphasizes the absence of explicit reference
to these states. Yet some variation of the states must be introduced if a sufficiently
complete characterization of the transformation function is to be obtained. For
this purpose we use the infinitesimal transformations of the special canonical group,
performed independently on the states associated with parameters r and T + <J-r[S'l.
nnu,,^.
in which the infinitesimal generators are constructed from the operators appropriate
to the description employed for the corresponding vectors, namely x(r + dr) and
X(T). It is convenient to use the symmetrical generator <?,, which produces
changes of the variables x by '/jte. Then
which, with the similar expression for 0,{r + dr), gives
wfoer**
and the Sx(r), &x(r -f dr) are independent arbitrary infinitesimal numbers upon
which we impose the requirement of continuity in r.
The infinitesimal unitary transformation that relates X(T) and x(r + dr) is obtained from
PHYSICS: J, SCHWINGBR,
895
as
Accordingly, one can write
or
m which & is used here to describe the change of q, p by Sq and Sp, occurring independently but continuously at r and r + dr. The two species of variation can
now be united: J = &' + &*, and
where
Our result is a specialization or tne general diflerential characterization 01 transformation functions whereby, for a class of alterations, the infinitesimal operator
SW is derived as the variation of a single operator W. This is a quantum action
principle8 and W is the action operator associated with the transformation.
We can now proceed directly to the action principle that describes a finite unltarv transformation.
for multiplicative composition of the individual infinitesimal transformation functions is expressed by addition of the corresponding action operators
As written, this action operator depends upon all operators X(T) in the r interval
between r\ and r. But the transformations of the special canonical group, applied
to (n | ra), give
which is to say that d'Wi does not contain operators referring to values of r in the
open interval between r\ and n, or that W-a, is stationary with respect to the special
variations of x(r) in that interval. Indeed, this principle of stationary action,
the condition that a finite unitary transformation emerge from the infinitesimal
ones, asserts of q(r), p(r) that
89
PHYSICS: J. SCMWINOBK
PBOC. N, A. S.
with each drK/dr given as an arbitrary function of T, and then regard the transformation as one with p parameters, conducted along a particular path in the parameter
space that is specified by the p functions of a path parameter, T>(T). Now
is the action operator lor a traasiormation referring to a prescribed path and generally depends upon that path. If we consider an infinitesimal path variation with
fixed end points we find that
where
* Publication assisted by the Office of Scientific Besearch, United States Air Force, ynder contract number AF49(638)-589.
These PBOCBBMNGS, 45,1S42 (1959); 48, 257 (1960); and 46, 570 (1960),
* The group can be obtained directly as the limit of the finite order group associated with each
r. That group, of order *, is generated by U, , and the th root of unity given by WV~lU~l.
Some aspects of the latter group are worthy of note. There are ' + r 1 classes, the commutator subgroup is of order e, and the order of the corresponding quotient group, F', is the number
of inequivatent one-dimensional representations. The remaining 1 matrix representations
must be of dimensionality , ' ~ * + ( ~ I)"1) and differ only in the choice of the generating
th root of unity. That choice is already made in the statement of operator properties for U and
F and there can be only one irreducible matrix representation of these operators, to within the
freedom of unitary transformation.
* In earlier work of the author, for example Phyt, Km., 91, 713 (1953), the quantum action
principle has been postulated rather than derived.
GROUPS OF TRANSFORMATIONS
6.18
259
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp. 1401-1415 (I960)
For any prime v > 2 we can choose the integers k and I to range from l/t(v 1)
to l/t(v I ) , rather than from 0 to v J. An arbitrary state * can be represented
alternatively by the wave functions
where
1402
PHYSICS: J, SCHWINGSB
Pmoc. N. A. S.
and
As v increases without limit the spectra of q and p become arbitrarily dense and
the eigenvalues of largest magnitude increase indefinitely. Accordingly we must
restrict all further considerations to that physical class of states, or physical subspace of vectors, for which the wave functions $(q') and ${p') are sufficiently well
behaved with regard to continuity and the approach of the variable to infinity
that a uniform transition to the limit v = can be performed, with the result
and
We shall not attempt here to delimit more precisely the physical class of states.
Note however that the reciprocal relation between wave functions can be combined
into
which must be an identity for wave functions of the physical class when the
operations are performed as indicated. There will also be a class of functions
K(p', ), such that
and
We shall also use the notation that is modeled on the discrete situation, with
integrals reolacine summations, as in
with
PHYSICS: J. SCHWINGER
1403
There are other applications of the limit v * <*>. The reciprocal property of the
operators U and F is expressed by
or
with an exception when q' or p' is the greatest eigenvalue, for then q' + t or p' + e
is identified with the least eigenvalue, q' or p'. We write these relations as
wave function statements, of the form
and
In the transition to the limit v = , the subspaee of physical vectors * is distinguished by such properties of continuity and behavior at infinity of the wave
functions that the left-hand limits. -+ 0, exist as derivatives of the corresponding
wave function. We conclude, for the physical class of states, that
and
It will also be evident from this application of the limiting process to the unitary
operators exp(feg), exp(icp) that a restriction to a physical subspaee is needed for
the validity of the commutation relation
Fhe elements of an orthonormal operator basis are given bj
or v-^Uia'-D'), with
Thus, since -' = Ag'Ap'/2-r, we have, for an.arbitrary function f(q'p') of the
discrete variables q', p',
1404
PHYSICS: J. SCHWINGER
PBOC. N. A. S.
The properties of the U(g'p') basis are also described, with respect to an arbitra
discrete operator basis X(d), by
and
When X is given as F(q, p), the operations of the special canonical group can be
utilized to bring the completeness expression into the form
This operator relation implies a numerical one if it is possible to order F(q, p),
so that all g operators stand to the left, for example, of the operator p: F(; p).
Then the evaluation of the (g' = 0
p' = 0} matrix element gives
As an example of this ordering process other than the one already given by
{r U(g'p'), we remark that
where
PHYSICS; J. SCSWINGER
1405
and thwefori
which reproduces
the well-known non-degenerate spectrum of the operator
5
w + p )-
or
and therefore
with
1406
PHYSICS: J. SCHWINOEB
PBOO, N. A, S.
or, alternatively
on using tee tact tnat
These transformation functions can also be viewed as matrix elements of the
unitary operator, an element of the special canonical group, that produces the
complete transformation. That operator, incidentally, is
where (r r') is the odd step function
We can compute the trace of a transformation function, regarded as a matrix, and
this will equal the trace of the associated unitary operator provided the otherwise
arbitrary representation is not an explicit function of r. Thus
where, in view of the delta function factors, f + (r T') can be replaced by other
equivalent functions, such as q+ ! /j = */, or */je(r ~ T'^ (T r')/Tt with
f = T, Tj. The latter choice has the property of giving a zero value to the
double integral whenever Q(r) or P(r) is a constant. As an operator statement,
the trace formula is the known result
It is important to recognize that the trace, which is much more symmetrical
than any individual transformation function, also implies specific transformation
functions. Thus, let us make the substitutions
and then indicate the effect of the additional localized transformations by the
equivalent unitary operators, which gives
Accordingly, if we also multiply by exp(ip'ff) and Integrate with respect to
dp'/Zr, what emerges is {q'n \ q"Tt)gr, as we can verify directly.
PHYSICS; J. SCHWINGSR
1407
where the coefficients are so chosen that the action operator for an arbitrary special
canonical transformation
acquires the form
1408
PHYSICS: J, 8CHWINOER
PBOC. N. A. S.
Therefore
where the factor of 2-jr is supplied by reference to the elementary situation with
constant Q(r) and P(r). We note, for comparison with previous results, that
and
The new formula for the trace can be given a uniform integral expression by using
the representation
and W[q, pi is the numerical function formed in the same way as the action operator,
Alternatively, we can use the Fourier series to define the numerical functions
q(r), pM. Then
f T*
and d[q, p] appears as a measure in the quantum phase space of the functions
W, P(T).
It is the great advantage of the special canonical group that these considerations
can be fully utilized in discussing arbitrary additional unitary transformations,
as described by the action operator
First, let us observe how an associated transformation function {n| r^)0^p depends
upon the arbitrary functions Q(r), P(r). The action principle asserts that
Vol. 46,1960
PHYSICS: J. SCHWINGER
1409
Here (
)0 is an ordered product that corresponds to the sense of progression from
TJ to n. If T follows T' in sequence, the operator function of r stands to the left,
while if r precedes T' the associated operator appears on the right. This description
covers the two algebraic situations: n > r, where we call the ordering positive,
(
)+, and n < TI, which produces negative ordering, (
)_. For the moment
take TI > rj and compare
with
and therefore
1410
PHYSICS: J. SCHWINGER
PBOO, N. A. S.
Thus, through the application of the special 'canonical group, we obtain functional
differential operator representations for all the dynamical variables. The general
statement is
where F(q, p)a is an ordered function of the q(r), p(r) throughout the interval between TS and n, and, as the simple example of q(T)p(r) and p(r)q(r) indicates,
the particular order of multiplication for operators with a common value of t
must be reproduced by a suitable limiting process from different r values.
The connection with the previous considerations emerges on supplying G with
a variable factor X. For states at n and n that do not depend explicitly upon X
we use the Action principle to evaluate
The formal expression that gives the result of integrating this differential equation
from X = 0 to X = 1 is
where the latter transformation function is that for X = 0 and therefore refers
only to the special canonical group. An intermediate formula, corresponding to
0 = Gi + Gt, contains the functional differential operator constructed from G\
acting on the transformation function associated with (?j. The same structure
applies to the traces of the transformation functions. If we use the integral
representation for the trace of the special canonical transformation function, and
perform the differentiations under the integration sign, we obtain the general
integral formula'
Here the action functional W[q, p] is
which is formed in essentially the same way as the action operator PFM, the multiplication order of noncommutative operator factors in G being replaced by suitable
infinitesimal displacements of the parameter r. The Hermitian operator G can
always be constructed from symmetrized products of Hermitian functions of q
and of p, and the corresponding numerical function is real Thus the operator
Vtf/ifato, MvM] is represented by 'AC/jCfCr + )) + /,(<?(r -t)))MpM),
for example. One will expect to find that this averaged limit, * -* 0, implies no
more than the direct use of /I(#(T)/J(P(T)), although the same statement is certainly
not true of either term containing e. Incidentally, it is quite sufficient to construct
PHYSICS: J. SCHWINGER
1411
the action from pdq, for example, rather than the more symmetrical version, in
virtue of the periodicity,
As a specialization of this trace formula, we place Q P = 0 and consider the
class of operators G that do not depend explicitly upon T, Now we are computing
&nfL
This example also illustrates the class of Hermitian operators with spectra that
are bounded below and for which the trace of exp (iTG) continues to exist on giving
T a positive imaginary component, including the substitution T -* iff, ft > 0.
The trace formula can be reatated for the latter situation on remarking that the
Fourier series depend only upon the variable (r T$)/T = A, which varies from
0 to 1, and therefore
Another property of the example is that the contributions to the trace of all
Fourier coefficients except n = 0 tend to unity for sufficiently small T at ft. This
is also true for a class of operators of the form G = !/pz + /(<?) By a suitable
translation of the Fourier coefficients for p(X) we can write w[q, p] as
For sufficiently small B, the trem involing dq/dy to which all the Fourier coffi-
cients of q(y) contribute except q0, will effectively suppress these Fouier coefficient
Povides appropiate restric are imposed concering sigular pointes in the
neighborhood of which f(q) acquires arge negative values. Then f(q (y)f (q0))
and we can reduce the integrations to just the contribution of qo and po, as experssed
by
1412
PHYSICS: J. SCBWINGSR
PEOC. N. A. S.
Comparison with the previously obtained trace formula involving the ordering of
operators shows that the noneommutativity of g and p is not significant in this limit,
Thus we have entered the classical domain, where the incompatibility of physical
properties at the microscopic level is ao longer detectible. Incidentally, a, first
correction to the classical trace evaluation, stated explicitly for one degree of
freedom, is
which gives the exact value when /(g) is a positive multiple of q2.
Another treatment of the general problem can be given on remarking that the
equations of motion implied by the stationary action principle,
These equations are valid for any such transformation function. The trace is
specifically distinguished by the property of periodicity,
which asserts that the trace depends upon Q(r), P(r) only through the Fourier
coefficients Qn, Pn, and that the functional derivatives can be interpreted by means
of ordinary derivatives:
Now introduce the functional differential operator that is derived from the
numerical action function W0[q, p] which refers only to the transformation
srcnerated bv G. namelv
PHYSICS; J. SCHWINGER
1413
>r by
and
The result is just the known form of the transformation function trace
When integral representations are inserted for each of the delta function factors
in 8[Q, P], we obtain
1414
PHYSICS: J. SCHWINOER
PBOC. N. A, 8.
is such that
A verification of the reciprocal formula follows from the latter property on inserting
for the trace the formal differential operator construction involving 5[Q, F]. The
reality of Wg[q, p] now implies that
f d[Q, P]d[Q', F']eVTW(p-F')-0-e')) (tr)0e* (&)'/' = \
or, equivalently,
f d[Q, P](fr)x+*,*(fr)*+*i - [Qi - Qt, Pi - Pt]
where X combines Q and P.
The trace possesses the composition property
The operation involved is the replacement of Q(r), P(r) in the respective factors
by Q(r) =F q'S(r n), F(r) =F p'S(r n) followed by integration with respect
to dq'dj>'/2ir. The 'explicit form of the left side is therefore
in view of the completeness of the operator basis formed from f(-ri), p(n),
No special relation has been assumed among TO, n and T. If n andS are
T
equated, one transformation function in the product is the complex conjugate of
the other. We must do more than this, however, to get a useful result. The most
general procedure would be to choose the special canonical transformation in
ft" {raj Ti)ep = tr (n\ Tt)g<>r* arbitrarily different from that in tr (n TJ)OW. The
calculations! advantages that appear in this way will be explored elsewhere.
PHYSICS: /. SCHWINOER
1415
GROUPS OF TRANSFORMATIONS
6.19
ADDENDUM:
PRINCIPLE
275
1078
PHYSICS: J. SCUWINOER
PBOC. N. A. S.
Thus, the concentration on the complementary pair of operators fi and fe does not
give a symmetrical expression to the underlying three-dimensional rotation group.
This is rectified somewhat by using, for those special transformations in which |j
and fe are changed independently, the generator of the variations VtSft, k = 1,2,
n>
where S', in its effect upon operators, refers to the special variations 8ft, k = 1, 2,
performed independently but continuously at r and r + dr.
It is only if the last term is zero that one obtains the quantum action principle
is = r + 1
with
Since the special variation is such that 8|i and Jfe are arbitrary multiples of &, it
PHYSICS: J. SCMWINGKS
1077
is necessary that [6, |3] commute with & and fe. Hence this commutator must be
a multiple of the unit operator, which multiple can only be zero, since the trace of
the commutator vanishes or, alternately, as required by [G, Is2] = 0. For an action
principle formulation to be feasible, it is thus necessary and sufficient that
Terms in & and S-t are thereby excluded from G, which restriction is also conveyed
by the statement that a permissible <? must be an even function of the {, k = 1, 2.
Apart from multiples of the unit operator, generating phase transformations, the
only allowed generator is fife, which geometrically is a rotation about the third
axis.
It should be noted that the class of variations &' can be extended to include the
one generated by (?, without reference to the structure of G. Thus,
1078
PHYSICS: J,
PRoc. N. A. S.
shows that
and gives
The generator term G&T evidently restates the transformation significance of the
operator G, The effect upon operators is conveyed by the infinitesimal unitary
transformation
which is the general equation of motion,
Then, if we write
which defines the left and right derivatives of G with respect to the f,- we get
PHYSICS: J. SCHWINOBR
1079
In the opposite signs of left and right derivatives, we recognize the even property of
the function G.
On comparing the two forms of the equation of motion for f* we see that
The left side is just the change induced in (? by (?{, the generator of the special variations, which also appears in {?, t, while the right side gives the result in terms of
changes of the { by Vifi. Since (? is an arbitrary even function of the f*, we accept
this as the general interpretation of the transformation generated by (?$, which
then asserts of any operator F that
and the particular choice F = f j gives the basic operator properties of these quantum
variables
In this way, we verify that the quantum action principle gives a consistent account
of all the characteristics of the given type of quantum variable.
The operator basis of a single degree of freedom is used in a different manner
when the object of study is the three-dimensional rotation group rather than transfoimations of the pair of complementary physical properties. The generator of
the infinitesimal rotation Sir = Su X e is
On applying this transformation independently but continuously to the states of
the transformation function (r 4- drl T). we encounter
The identity,
1080
PHYSICS: J. SCHWINGIBR
Pnoc. N. A, S.
combined with the equivalence of the two left-hand terms, both of which equal
then gives
where 8' describes the independent operator variations Sr(r) = &i(r) X a(r) at
r and T + dr. If we add the effect of independent variations of r, T + dr, and the
structure of (7 (8"], we obtain an action principle3 without restrictions on the form
of G.
The action operator for a finite transformation is
The most general form for G, describing phase transformations and rotations, is
We shall be content to verify that the principle of stationary action reproduces "the
equations of motion that also follow directly from the significance of G,
where the operator variations are arbitrary infinitesimal rotations, So- = fo X <r.
Hence the equations of motion are
which appear in the anticipated form on remarking that the left-hand side of the
latter equation equals
PHYSICS; J. SCHWINGSR
1081.
1082
PHYSICS: J. SCHWINOSR
Pnoc. N. A. S.
for the condition that permits an action principle formulation. Each special variation is proportional to the single operator $s*+i. It is necessary, therefore, that
[G, **+i] commute with every *, k = 1 . . . 2, or equivalently, with each complementary pair of operators fi, j(a>, a I ... n. Such an operator can only be a multiple of the unit operator and that multiple must be zero. Hence the infinitesimal
generators of transformations that can be described by an action principle must
commute with f+i. Considered as a function of the anticomrnutative operator
set Jt, k = 1 . . . In which generates the 22" dimensional operator basis, an admissible operator (?({) must be even. This single condition replaces the set of n conditions that appear when commutativity is the relationship between different degrees
of fieedom. Of course, if the class of transformations under consideration is such
that Q is also an even function of some even-dimensional subsets of the {*, one can
PHYSICS: J. SCHWINGER
1083
which gives
and the earlier discussion can be transferred intact. It may be useful, however, to
emphasize that the special variations anticommute, not only with each &>(r), but
also with dit/dr, since this property is independent of r. Then it follows directly
from the implication of the principle of stationary action,
The action principle is still severely restricted in a practical sense, foi the generators of the special variations cannot be included in G since the operators &fc+i are
odd functions of the 2w fundamental variables. It is for the purpose of circumventing this difficulty, and thereby of converting the action principle into an effective computation device, that we shall extend the number system by adjoining
an exterior or Grassmann algebra,
1
CHAPTER
CANONICAL TRANSFORMATION FUNCTIONS
7.1
7.2
7.3
7.4
7.5
7.6
7.7
7.8
7.9
7.10
7.1
285
287
293
297
299
302
306
309
317
321
operator
W(q , q , t)
transformation at time
, infinitesimal altera-
produce a change
<q't|q't>
286
given by
and
so that the
q's
q's
every-
. This ordered
6W(q ; q , t)
and
and
act directly on
Hence
8W
tegration yields
. This constant is
287
It is to be emphasized
possess
<q'jp'>
. For Hermitian
whereas
7.2
288
for
q = q
supplement
and
. It is convenient to
so that
(X=0)
(A = 1}
and the
. Then
5G
and thus
289
<5W
now
G(p;g)
and thus
(A=l)
W(p;q)
, and de-
Hence
or
as the
When
290
and, in particular,
The integrations
is a linear function of
function.
291
and
p'
, it is convenvariables to
Then
where
On eliminating
292
in which
M(q")
2
3 G/3p3p
representation.
where
rn
, we have
2
3 H/3p3p
and
7.3
pn
293
is defined by
To evaluate
<T,JT 2 >
along a
in which
In the limit
N -
294
and obtain
in which
in which
295
The
296
(2-n)
for Hermi-
The boundary
values are
297
On writing
The
298
T-
T,
on
, and
G, ,
commute, thus
Then a
representation exists
299
<p'T 1 |q*T ? >
can be exhibited as
states.
7.5
AN EXAMPLE
An elementary example for
n = 1
is provided
300
namely
(q1)
*5
t | o
= (q )
=0
301
syranetrization or antisymmetrization
necessary and it is omitted in (7.40).
(,)
is un-
No ordering
is required to obtain
An alternative
procedure is
302
7.6
in which the subscripts indicate that the infinitesimal parameter change is governed by the generators
303
Another derivation of the latter result pro.ceeds directly from the fundamental dynamical principle, now applied to a change in the dynamical
characteristics of the system.
produces
<t
ii't2>
' *ascri^e<^ ^y
304
<t,|t>
appears
and
One
305
A = 0
306
7.7
functions.
- H fit we
307
by
and the extended transformation appears as a Hamilton-Jacobi transformation with an effective Hamiltonian.
If the displacements
Q
a
and
P
a
are
308
tQ
tx
Thus with
> t2
t.(-0)
and
t2(+0)
, A
309
t,
and
t23
7.8
VARIATIGNAL DERIVATIVES
A more significant use of the special canoni-
cal group appears on considering arbitrary displacements throughout the interval between
t.
and
t_
310
An infinitesimal variation of
311
In particular,
p > 1
The
as
and
312
where
6X 1
, or ex-
t * t 1
in a definite sense,
whereas
Thus
313
Now according to
314
Hence
and
p(x(t)}
is any algebraic
, re-
315
as implied by
AH
A-l
On integrating from
A = 0
316
A more general
317
7.9
where
x1
and
x_
Correspondingly the
X,
and
318
The Hamiltonian
^l^xl' "*" ^12 ^xl ' ^o(t}) describes the first system
only, as influenced by the external disturbance
originating in the second system, with its variables
regarded as prescribed but arbitrary functions of
the time.
319
t.
and
t_
320
and, for variables of the first kind, one can substitute composition by integration for the differ-
321
7.10
ADDENDUM:
PRINCIPLE1"
The quantum action principle1 that has been devised for quantum variables of
type v = 2 lacks one decisive feature that would enable it to function as an instrument of calculation. To overeome_ this difficulty we shall enlarge the number
system by adjoining an exterior or Grassmann algebra.2
An exterior algebra is generated by N elements = 1 .V, that obey
which includes ,J = 0.
A basis for the exterior algebra is supplied by the unit element and the homogeneous products of degree d
for d = 1 JV. The total number of linearly independent elements is counted as
604
PHYSICS: J. SCBWINGSR
PBOC. N. A, 8.
The members of this class antieommute with the & variables, owing to the factor
f2-f.!, and among themselves,
since they are linear combinations of the exterior algebra generators. Accordingly,
the generator of a special variation,
VOL. 48,1962
PHYSICS: J. SCMWINGSR
805
despite the enlargement of the aumber system. Complex conjugation thus has
the algebraic property
The anticonimutativity of the generating elements is maintained by this operation,
and we therefore regard complex conjugation in the exterior algebra as a linear
mapping of the JV-dimensional subspaee of generators,
and if we use the Cayley construction for R' in terms of a real matrix rft which is
a function of R with the property r'(1) *= 0, we get
600
PHYSICS: J, SCHWINGER
PBOC. N. A. S,
for
where X symbolizes the summation over a complete set of states which, for the
moment at least, are to be understood in the conventional sense. These attributes
are consistent with the nature of complex conjugation, since
For an infinitesimal transformation, we have
where 0 is Hermitian, which implies that its matrix array of exterior algebra
elements obeys
The subsequent discussion of the action principle requires no explicit reference
to the structure of the special variations, and the action principle thus acquires a
dual significance, depending upon the nature of the number system.
We shall need some properties of differentiation in an exterior algebra. Since
x2 = 0, any given function of the generators can be displayed uniquely in the
alternative forms
where /a, /i, /, do not contain x- By definition, /, and ft are the right and left
derivatives, respectively, of /() with respect to x,
PBY8ICS: J. SCHWINGMR
mi
and
property is used to identify dervatives, it must be supplemented by the requirement that the derivative be of lower degree than the function, for any numberical
multple of E1E2..EN can be added to a derivative without changing the differential
608
PHYSICS: J. SCHWINGMR
PBOC. N. A. S.
form. Let us also note the possibility of using arbitrary nonsingular linear combinations of the x in differentiation, as expressed by the matrix formula
which follows directly from the differential expression,
We shall now apply the extended action principle to the superposition of two
transformations, one produced by a conventional Hermitian operator G, an even
function of the f t , while the other is a special canonical transformation performed
arbitrarily, but continuously in T, The effective generator is
where Xt(r)dr is the special variation induced in |jt(r) during the interval dr.
The objects -3T*(r) are constructed by multiplying %in+i with a linear combination
of the x containing real numerical coefficients that are arbitrary continuous functions of r. To use the stationary action principle, we observe that each XI(T),
as a special variation, is commutative with a generator of special variations and
thus
The action principle then asserts that
where the If* are variations constructed from the exterior algebra elements. We
cannot entirely conclude that
since there remains an arbitrariness associated with multiples of > ew> as in the
identification of derivatives from a differential form. No such term appears,
however, on evaluating
PHYSICS: J. SCHWINGER
809
while Xt'(r) is entirely an element of the exterior algebra. Thus, it is really the
JT'(r) upon which the transformation function depends. An infinitesimal change
of the latter induces
where the summation index k has been suppressed. The repetition of such variations gives the ordered products
Here,
according to whether an even or odd permutation is required to bring r1, r2"1
into the ordered sequence. This notation ignores one vital point, however. In
an exterior algebra with N generating elements, no derivative higher than the
Nth exists. If we wish to evaluate unlimited numbers of derivatives, in order to
construct correspondingly general functions of the dynamical variables, we must
choose N = <*>; the exterior algebra is of infinite dimensionality. Then we can
assert of arbitrary even ordered functions of the |(T) that
In the alternative right derivative form, &T signifies that successive differentiations
are performed from left to right rather than in the conventional sense. We also
note that the particular order of multiplication for operator products at a common
time is to be produced by limiting processes from unequal r values. As an appliea-
610
PHYSICS: 3. SCHWISGER
Pnoc, N. A. S,
tion to the transformation function (n \ Tt)gx, we supply the even operator function
0 with a variable factor X and compute
and
provided the states are conventional ones. Since the variations SX(r) have no
implicit T dependence, the factors pe can be referred to any r value. If this is
chosen as n or T% there will remain one p operator while the odd product of exterior
algebra elements can be withdrawn from the matrix element if, as we assume, the
product commutes with the states (n| and TJ). The sign difference between the
left and right derivative forms stems directly from the property {AST = iXf.
As an example, let F(Q be the odd function that appears on the left-hand side
in the equation of motion
since the X(r) are special canonical displacements, and this yields the functional
differential equations obeyed by a transformation function {n | Tt)0x, namely,
and
Some properties that distinguish the trace of the transformation function can
also be derived from the statement about odd functions. Thus,
since either side is evaluated as
PHYSICS: J. SCHWINGMB
611
Accordingly,
and, in particular,
which is an assertion of effective antiperiodicity for the operators {(T) over the
interval T = n T*. The equivalent restriction on the trace of the transformation function is
or
CHAPTER EIGHT
GREEN'S FUNCTIONS
8.1
8.2
8.3
8.4
8.5
8.6
8.1
331
335
337
340
341
343
The most elementary method for the construction of canonical transformation functions associated with parameterized transformations is the direct
solution of the differential equations that govern
the dependence upon the parameters.
332
J~
or
t0
<&
The desired
which means that the canonical transformation function is independent of the common time and is determined only by the relation between the descriptions.
This formalism is given an operator basis on writing
GREEN'S FUNCTIONS
333
The retarded
where
334
md
and
n,
GREENS'S FUNCTIONS
335
8.2
does
336
, when restricted, to
The application of the
GREEN'S FUNCTIONS
337
Corres-
8.3
and therefore form together a single operator function of the complex variable
, defined every-
338
axis, coin-
in some convenient representation, and an investigation of its singularities will thus supply the
entire energy spectrum of the system together with
automatically normalized and complete sets of wave
functions for the energy states.
the Hamiltonian
Green's function
H(q
G(q
, q)
+
, q'
, E)
could be obtained
GREEN'S FUNCTIONS
339
We should also
q'
|<E'Y*|O>|
obey
0> .
340
8.4
G (E)
for real
GREEN'S FUNCTIONS
341
E > EO
EQ
the discontin-
is
E > EQ
implies that
G(E)
E = EQ
possesses a
En
plane.
G(E)
as a function of a complex
variable.
8.5
AN EXAMPLE
The elementary example of a single free
342
The solution
of the
+i|E|k
for E < 0
|r-r'| ->
ie
. Accori-
= -f-|E| 2 on
E
-|E|
. The
GREEN'S FPNCTIONS
343
p = p n
. On
representation are
of the motion may be apparent from symmetry considerations and it is desired to investigate only states
with specific values of these quantities, or, one
may be interested for classification purposes in
constructing the states of a perturbed system which
correspond most closely to certain states of a related unperturbed system.
344
M,
one obtains
and
GREEN'S FUNCTIONS
345
which we write as
ML
, by
where
346
CHAPTER NINE
SOME APPLICATIONS AND FURTHER DEVELOPMENTS
9.1
9.2
9.1
t
Reproduced from the Journal of Mathematical
Physics, Vol. 2, pp. 407 -432 (1961).
347
347
374
Reprinted from the JOURNAL OF MATHEMATICAL Pavsicss Vol. 2, Mo. 3, 407-432, J lay-June, 1961
tinted S V- S, A,
Aa action principle tec&nkjue for the direct coasputatioR of esEp^etatioti values is described aad illustrated
m detail by a special physical example, tfe effect on an oscillator of another physics! system. This simple
problem has the advaatage of orobiaiiisg immediate physical applicability (e,f,, resistive damping or
maser amplification of a single electromagnetic cavity mode) with a slgniieaat idealisation of the complex
problems encountered in many-particle and relativiatic fieM titeory. Successive sections eemtain discussions
of the oscillator subjected to external forces, the oscillator loosely coupled io the external systemt aa
improved treatment of this problem and, finally, there is a brief account of a general fonrnsktkta.
IfTOGOTCTIG!?
and, therefore^
ami
in which we shall take ^>la. These mutually complexconjugate forms correspond to the two viewpoints
whereby states at different times can be compared,
either by progressing forward from the earlier time* or
backward from the later time. The relation between
the pair of transformation functions is such that
407
408
J. SCHWINGER
operatorss q,p, by
Hence in effect we have
Note
and
BROWN1AN
MOTION
OF
A QUANTUM
OSCILLATOR
409
&nd
since
The choice ol oscillator ground state Is no essential
restriction since we eas now derive the analogous
results for any initial oscillator state. Consider, for
this purpose, the impulse forces
Whch Yielsds
Accordingly^ a non-Hermitian canonical variable transformation function can serve as a generator for the
transformation (unction referring to unperturbed
oscillator energy statesr
as
in which
410
J. SCHWINGER
are contained m
Thus
and since the elements of G& are also given by unperturbed oscillator thermal expectation values
and
the designation {n}$ is consistent with its identification
as (yW*
The thermal forms can also be derived directly by
solving the equations of motion, in the manner used to
find (0^ I Qi%}K*. On replacing the single diagonal element
bby the statistical avera
in which the nth Lagaerre polynomial has been, introduced on observing that
we find the following relation
One obtains a much neater form, however, from which
these results can be recovered, on considering an
Initial mixture of oscillator energy states for which
the nth state is assigned the probability
and
can be interpreted as a temperature. Then, since
We also hav;
we obtain
with
and in which
and correspondingly
B R O W N 1 A N M O T I O N OF A Q U A N T U M O S C I L L A T O R
As an elementary application let us evaluate the
expectation value of the oscillator energy at time t\
tot a system that was in thermal equilibrium at time (5
and is subsequently disturbed by an arbitrarily timevarying force. This can be computed as
411
there appears
*""> therefore,
u{n)0+u
More generally, the expectatian values of all functions
of y((.) and y(fc) are known from that of
exp{ - i[X/{h)+MyOi)]},
and this quantity is obtained on supplementing K+
and K-t* by the impulsive forces (note that in this use
of the formalism a literal eoraplex-conjugat relationship
is not required)
Accordingly,
K+(t)-\t(t h),
K^.*(t)"iit{llt+0),
412
j.
SCHW1NGER
abd obtain
with
or
Here
whrer
B R O W N I A N MOTION OF A Q U A N T U M OSCILLATOR
Let us consider
ixW\y-(t*')\ti-Z <aVb-(V)k%),
where we require of the a representation only that it
have no explicit time dependence. Then
a&e
and the action principle supplies the following evaluation of the trace ratio:
413
EXraRHAt SYSTEM
This concludes our preliminary survey of the oscillator and we turn to the specific physical problem &i
interest: An oscillator subjected to prescribed external
forces and loosely coupled to an essentially macroscopic
external system. All oscillator interactions are linear
in the oscillator variables, as described by the Lagranglan operator
whre
414
J. SCHWINGER
whers
and
The nonlocal character of these equations is not very
marked if, for example, the correlation between Q(t)
and Q(f} in the macroscopic system disappears when
\tlf\ is still small compared with the period of the
oscillator, Then, since the behavior of y(t) over a short
time interval is given approximately by "**', the matrix
A (<;') is effectively replaced by
ana
it should be noted that A+,(a) and 4_+(a) are rea
Kjsitive Quantities since
together with
and
The latter set is also obtained by combitning the formal
adjomt operation with the interchange of the + and
~ labels attached to the operators and K{t). Another
significant form is conveyed by the pair of equations
One consequence
It also follows from
that
and
is real. Furthermore
where
B R O W N I A N M O T I O N OF A Q U A N T U M O S C I L L A T O R
so that
415
416
J. SCHWINGER
dervied form
and is expressed by
(where f indicates differentiation to the left) h
conjunction with the initial value
B R O W N I A H MOTION OF A Q U A N T U M O S C I L L A T O R
and
417
This is a formula for the direct computation, of expectation values of general functions of y(t) and yfO). A less
explicit but simpler result can also be givesi by means of
expectation values for functions of the operators
and it is clearly necessary that each term obey separately the positiveness requirement. The first term is
418
j. SCHWINGER
for then
Kfiri^+iKd,
On
ir/'-z-Htfi-flCt),
B R O W H 1 A H M O T I O N OF & Q U A H T 0 M OSCILLATOR
These properties can be expressed by writing
where 0(w) is a real eves function that cas range from
* to 4" . When only one value of is of interest^
all conceivable situations for the external system can be
described by the single parameter & the reciprocal of
which appears as an effective temperature of the
macroscopic system. A new physical domain that
appears m this way is characterised by negative
temperatarej $<G. Since & is an iatrmsicaJly positive
constant, it is y that will reverse sign
aad the effect of the external system on the oscillator
changes from damping to amplification,
We shall discuss the following physical sequence. At
time Ig the oscillator, in a thermal mixture of states at
temperature $#, is acted on by external forces which
are present lor a time, short in comparison with 1/J7J,
Altar a sufficiently extended interval "-(/ifc) such
that the amplification factor or gain is very large,
measurements are made in the neighborhood of time
t\. A prediction of all such measurements is contained IB
the general expectation value formula. Approximations
that convey the physical situation under consideration
are given by
419
with
and, on defining
and
In this section we seek to remove some of the limitations ot the preceding discussion. To aid in dealing
successfully with the Ronlocal time behavior of the
oscillator, it is conveaient to replace the non-Hermitian
operator description with one employing Hermitlan
operatois. Accordingly^ we begin the development
again, now using the Lagrangian operator
420
J. SCH W! M G E R
&nd
are
anc
and
arm
Implicit is the time /i as one beyond which F~.~F+
equals zero. The initial conditions Cor the second
equation, which this solytiou supplies, are
together witl
and
and
B R O W N I A N M O T I O H OF A Q U A N T U M O S C I L L A T O R
and the two real factions are related by
421
where
with
422
J. S C H W I N G E R
which gives
of regularity. Accordingly,
and
and
B R O W N I A N M O T I O N OF A Q U A N T U M O S C I L L A T O R
t1-t2) reduces to
423
But
and, therefore,
with
G(<(*) a derivation that employs thermal equilibrium as an initial condition would be desirable,
The required derivation is produced by the device of
which describes the oscillator in equilibrium at each computing the trace of the transformation function
frequency with the external system. When the tempera- (fe'Ha)^ in which the return path terminates at the
ture is frequency independent, this is thermal equilib- different time t,'**f,~T, and the external force F_{)
rium. Note also that at zero temperature (w)~0, and is zero in the interval between (j and It. The particular
G(t~ <%+ is characterized by the temporal outgoing significance of the trace appears on varying the paramwave boundary conditionpositive (negative) fre- eter \ that measures the coupling between oscillator
quencies (or positive (negative) time difference. The and external system:
situation is similar for G(t~~t'}~~ as a function of 't,
It can no longer be maintained that placing ft>=tf
removes all reference to the initial time. An interval
must elapse before thermal equilibrium is established
at the common temperature. This can be seen by
evaluating the fe derivative of w(<~fe, t't^j:
()- (M">-!)->,
424
J, S C H W I N G E R
Therefore,
smce, with positive time argument;
whereas
wit!
as anticipated.
Our results determiae the trace ratio
B R O W H I A N MOTION OF A Q U A N T U M OSCILLATOR
425
with
ana
where
Thin
426
J. SCHWINGER
and
that
yields
where the lower limit is approached as &; * ^.
A comparison of asymptotic forms for G~l{$) shows
that
We have already introduced the function
B R O W N 1 A N MOTION OF A Q U A N T U M OSCILLATOR
aaa the summation tormula derived worn the pnxtuci
form of the hyperbolic sine function,
427
where
428
J . SCH W I N G E R
and
or
wito
If in particular /9i<Cl, the frequencies under consideration are in the classical domain and 7 is the frequency
independent constant
But
To regard j as constant for a quantum oscillator requires
a suitable frequency restriction to the vicinity of on,
The function B(ws) can be computed from
and the response to such an external force is adequately
described by the low-frequency part of the Green's
function. We can represent this situation by an equivalent differential equation
and accordingly is given by
which needs no further qualification when the oscilla*
lions are classical but implies a restriction to a frequency
interval within which y is constant, for quantum oscillations. We note the reduction in the effectiveness of the
external force by the factor B. Under the circumstances
B R O W N I A N MOTION OF A O U A H T U M OSCILLATOR
mtlined this effect is not important an4 we shall place
5 equal to unity.
One can ntafee a general replacement of the Green's
unctions by their low "frequency parts:
429
with
which Is to say
and
If a comparison is made with the similar results o! the
previous section it cars be appreciated that the f reqtsency
range has been extended and the jrestriction tscs&j
removed.
We return from these extended considerations on
thermal equilibrium and consider am extreme example
of negative temperature for the external system, itiis
is described by
and
With the definition
and the necessary partial integrations involve the
previously established Jemima oa tiffie-ordered operatorsj
430
J. SCHWINGER
we have
are located at
compoued fior
with
When I is in the vicinity of a time li, such that th<
mptification factor
the oscillator is described by the classical coordins
Here
and
where g-t and ^ are characterised by the expectation
value formula
in which
AceordJKgly, the probability of observing ft and j
B E O W N I A H M O T I O N OF A Q U A N T U M OSCILLATOR
and we have indicated that q^ is finally set equal to
zero If we are eonceraed OBly with nseasarements on
the oscillator.
Let us consider for the moment just the exteraal
system with the perturbation gfQ, the effect 0! which Is
indicated by8
431
become
Bui
and farthermore,
We shall define
and similarly
When q(l)**tf(t)t
we haye
we have
432
J. S C H W I M G E R
374
9.2
t
Reproduced from the Journal of Mathematical Physics,
Vol. 5, pp. 1606-1608 (1964).
Reprinted liom
JOUKKAL OF M A T H E M A T I C A L
Printed in VSA.
PHYSICS
VOLOKB 5, N U M B E R 11
NOVEMBER I96<
Then, if we define
where
1607
whei
and
The function D that is defined similarly throughout the Euclidean space is the Green's funetioc
of the four-dimensional Poisson equation,
It can be constructed in terms of a eomplete set
of four-dimensional solid harmonics. In the spherical
coordinates indicated by />, Q, these are
where the quantum numbers J, m provide a threedimensional harmonic classification of the fourdimensional harmonics. The largest vslue of i contained in the EQisogeneous polynomial fli>~tY*tm($l)
together with the integral representation
is the degree of the polynomial, n 1. Thus,
label the n distinct harmonies that have a common
value of n.
1608
JUtlAN SCBWINGER
U>
C2)
am
where
and
anil
The scattering amplitude obtained in this way
coincides with the known result,