Professional Documents
Culture Documents
Kinematics
and Dynamics
This page intentionally left blank
Quantum
Kinematics
and Dynamics
JULIAN SCHWINGER
University of California, Los Angeles
Western
PRESS
Advanced Book Program
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmit-
ted! in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without
the prior written permission of the publisher. Printed in the United States of Amenca.
A CIP catalog record for this book is available from the Library of Congress.
ISBN 0-7382-0303-3
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 Depart-
ment 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
ADVANCED BOOK CLASSICS
David Pines, Series Editor
Anderson, P.W., Basic Notions of Condensed Matter Physics
Bethe H, and Jackiw, R,, Intermediate Quantum Mechanics, Third Edition
Cowan, G. and Pines, D., Compkxity: Metaphors, Models, and Reality
de Germes, P.G., Superconductivity of Metals and Alloys
d'Bspagnat, B., Conceptual Foundations of Quantum Mechanics, Second Edition
Feynman, R., Photon-Hadron Interactions
Feynman, R., Quantum Electrodynamics
Feynman, R., Statistical Mechanics
Feynman, R., The Theory of Fundamental Processes
GeH-Mann, M. and Ne'eman, Y., The Eightfold Way
Khalatnikov, I. M. An Introduction to the Theory of Superfluidity
Ma, S-K., Modern Theory of Critical Phenomena
Migdal, A. B., Qualitative Methods in Quantum Theory
Negele, J. W, and Orland, H,, Quantum Many-Particle Systems
Nozieres, P., Theory of Interacting Fermi Systems
Nozieres, P. and Pines, D., The Theory of Quantum Liquids
Parisi, G., Statistical Field Theory
Pines, D., Elementary Excitations in Solids
Pines, D., The Many-Body Problem
Quigg, C, Gauge Theories of the Strong, Weak, and Electromagnetic Interactions
Schrieffer, J.R., Theory of Superconductivity, Revised
Schwinger, J-, Particles, Sources, and Fields, Volume I
Schwinger, J., Particles, Sources, and Fields, Volume II
Sehwinger, J., Particles, Sources, and Fields, Volume III
Schwinger, J., Quantum Kinematics and Dynamics
Wyld, H.W., Mathematical Methods for Physics
This page intentionally left blank
Editor's Foreword
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
This page intentionally left blank
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).
This page intentionally left blank
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. 107-
129), 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 Mechan-
ics. 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.)
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.
JULIAN SCHWINGER
Belmont, Massachusetts
1969
This page intentionally left blank
Contents
x.v
xvi Contents
1
2 QUANTUM KINEMATICS AND DYNAMICS
scopic measurement.
and
where
measurement is
6 QUANTUM KINEMATICS AND DYHAMICS
and
and similarly
with
namely
and similarly
that
(1.27). In particular,
whence
for then
and
In particular,
or equivalently.
1.9 MATRICES
2
arbitrary operator by N numbers, and the abstract
properties of operators are realized by the combina-
torial laws of these arrays of numbers, which are
those of matrices. Thus
shows that
and in particular
matrix.
is defined by
where
representations is
and also
or
Now
THE ALGEBRA OF MEASUREMENT 25
and therefore
t
Reproduced from the Proceedings of the National
Academy of Sciences Vol. 45, pp. 1552-1553 (1959).
1552 PHYSICS: J. SCHWINGEK PJROC. N. A, 8.
If, in contrast, the intermediate B-measurement accepts all systems without dis-
crimination, which is equivalent to performing no .B-measurenient, the relevant
probability is
There are examples of the relation between the symbol of any selective measure-
ment and a corresponding probability,
Now let the intervening measurement be nonselective, which is to say that the ap-
paratus 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
Voi. 4S, 1989 ACKNOWLEDGMENT: I. OLKIN 1SS3
It should also be noted that, within this probability context, the symbols of the
elementary selective measurements are derived from the nonseleetive symbol by re-
placing all but one of the phases by positive infinite imaginary numbers, which is an
absorptive description of the process of rejecting subenaembles.
The general probability statement for successive measurements is
and
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 quan-
tum 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
0 , and write
null state,
and
whereas
and
32 QUANTUM KINEMATICS AND DYNAMICS
and
and
while
ff
to a number,
and in particular
Accordingly,
THE GEOMETRY OF STATES 35
and
is given by
and
and, in particular,
THE GEOMETRY OF STATES 39
are
and
ferent representations,
in the-a-description is
40 QUANTUM KINEMATICS AND DYNAMICS
where
THE GEOMETRY OF STATES 43
obeys
and
where
and
initial transformation, is
individual transformations,
AND ROTATIONS
operators.
Hence,
52 QUANTUM KINEMATICS AND DYNAMICS
2,9 REFLECTIONS
or
that
function ,
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp 261-265 (I960).
Vox,. 46, I960 PHYSICS: J. SCHWINGEK 2t»t
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
can now be viewed as the transformation connecting two orthonormal bases. This
change of basis is described by the transformation function
and
The probability relating two states appears as a particular type of operator space
transformation function.
The connection with the M(a', V) basis is described by the transformation function
Vol.. 46, WOT PHYSICS: J. 8CHWINQER 2(iH
We also have
the validity of which for arbitrary Y is equivalent to the completeness of the oper-
ator basis X(a). Since the operator set Z(a)t also forms an orthonormal basis
we must have
and
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 spaces—the 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 ele-
ments of the operator space appear in the dual role of operator and operand on de-
fining 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
and
VOL. 46, 1960 PHYSICS: J. SCHWINGER 265
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
Sehwinger, J., these PEOCBBDINOS, 45,1542 (1959).
62 QUANTUM KINEMATICS AND DYNAMICS
f
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp. 570-579 (1960).
Hepriat«d from the Proceedings of the NATIONAL ACAWJSMV or Scieufcisis
Vol. 46, No. 4, pp. 5T0-S79. April, 1980,
and
for both Ua> and £/»„. If a third ordered coordinate system is given, (c*|, k — I . .N,
we can similarly define the unitary operators U,f, [/»„, which obey the composition
property
Voi. 46, 1960 PHYSICS: J. SCSWINGER 571
Let us define
where the latter statement follows from the remark that the F(a)t form an ortho-
normal basis and therefore
and in consequence
according to the completeness of the X(a) basis. Thus the operator U is unitary
if we choose
The converse theorems should be noted. For any unitary operator U, the ortho-
normal basis
obeys the same multiplication law as the X(a), and the F(a) t are given by the same
linear combination of the F(«) as are the X(«)f of the X(a) set. In particular, if
X{a) is a Hermitiari basis, so also is F(a),
We cannot refrain from illustrating these remarks for the simplest of the N*-
dimensional operator spaces, the quaternion space associated with a physical system
possessing only two states. If a particular choice of these is arbitrarily designated
as + and —, we obtain the four measurement symbols M(±, ±), and can then in-
troduce a Hermitian orthonormal operator basis
572 PHYSICS: J, SCHWINGSB, Pmoc. N. A, 8
such that
the coefficients of which constitute the well-known Pauli matrices. With these
definitions, the multiplication properties of the & operators can be expressed as
with
Voiu 48, 1080 PHYSICS: J SCHWINOER 573
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 iden-
tical, 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
have all the properties required of measurement symbols. Now let us observe
that the factorization of the minimum equation for F that is given by
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
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 sub-
stitution
The latter could be emphasized by choosing the elements of the operator basis as
which are invariant under this substitution when combined with m -*• », n -*• — m.
One proof of completeness for the operator basis generated by U and F depends
upon the following lemma: If an operator commutes with both U and F it is neces-
sarily a multiple of the unit operator. Since U is complete in itself, such an opera-
tor must be a function of U. Then, according to the hypothesis of eomniutatrvity
with V, for each k we have
576 PHYSICS: J. SCHWIN0MR PBOC. N. A. S,
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. Accord-
ingly, 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). Al-
ternatively, 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 trans-
lations. 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 trans-
lations 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,
The pair of operators U*, V1 also generate the operator basis X(mn), in some per-
muted order,
We shall now proceed to replace the single pair of complementary operators U, V
by several such pairs, the individual members of which have smaller periods than
the arbitrary integer N. This leads to a classification of quantum degrees of free-
dom in relation to the various irreducible, prime periods. Let
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 oper-
ators 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 ortho-
normal operator basis are given in some order by
578 PHYSICS; J, SCSWINGSR PEOC, N A. S.
where
Equivatently, we replace
by
which gives
together with the commutativity of any two operators carrying different sub-
scripts. The orthonormality of the NfN<? — N* operators X'(?»i«»»j»z} can now
be directly verified. Also, by an appropriate extension of the proceeding discus-
sion, we obtain the transformation function
with
is thus constructed from the operator bases individually associated with the / de-
grees of freedom, and the pair of irreducible complementary quantities of each de-
gree 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 re-
quires 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
(1«60).
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 com-
plete operator basis for any If, said of their optimum incompatibility, as summarized in the at-
tribute 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
73
74 QUANTUM KINEMATICS AND DYNAMICS
tor is Hermitian,
a
If one views the transformation from the 2t2
where
Hence,
and
since
or
82 QUANTUM KINEMATICS AND DYNAMICS
tives Of H ,
thus obtain
THE DYNAMICAL PRINCIPLE 83
and
or
ing F = H , we obtain
and
Gx , that
transformation k 3s. If
imply that
duced,
THE DYNAMICAL PRINCIPLE 89
so that
6 ?; , summarized in
92 QUANTUM KINEMATICS AND DYNAMICS
with
and
Lagrangian,
94 QUANTUM KINEMATICS AND DYNAMICS
variables are
and
we obtain
and
THE DYNAMICAL PRINCIPLE 97
dimensional submatrices, as
matrix forms
z,:
K
and z,,K , k - l,...,n,X . According to
(3.75), these variables obey the commutation rela-
THE DYNAMICAL PRINCIPLE 99
tions
and
expressed by
equations of motion,
variables,
THE DYNAMICAL PRINCIPLE 103
Let us define
also be written as
and
the forms
or p ,
together with
and
This page intentionally left blank
CHAPTER FOUR
THE SPECIAL CANONICAL GROUP
imal variations
group.
as indicated by (2.58),
116 QUANTUM KINEMATICS AND DYNAMICS
and
THE SPECIAL CANONICAL GROUP 117
T
where the symbol 3 is used to indicate that the
conventional sense of differentiation is reversed.
that
and
and
equations
equation
THE SPECIAL CANONICAL GROUP 121
and then
procedure, we find
or
results become
properties
THE SPECIAL CANONICAL GROUP 125
and <p'Iq'> ,
and
erators
equation
and
is
i t'
and no vector jy t> , or any linear combination
of these vectors, possesses a finite length. This
Now
and, on writing
we infer that
THE SPECIAL CANONICAL GROUP 131
and
(4.47) reads
and generally,
and
4. I
The transformations generated, by G on <y tj
and by Go. on |y't> are given by
y
THE SPECIAL CANONICAL GROUP 133
t'
The transformation function <y t|y"t>
We infer that
be computed as
where
and
and
and
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 QUANTUM KINEMATICS AND DYNAMICS
give
II VA^^BLE^^j^Hj^ECONjp^KIMD
C2n+1 , say
we obtain
where the
THE SPECIAL CANONICAL GROUP 145
£
? , , and two variations formed in this way are
commutative. Hence the generator of one variation
does not commute with a second such variation and
commutative operators,
and
equations
and
I 4. I
Furthermore, if q K, and qK are quantities
and
+
the spectrum of each operator QKqK q contains only
the values 0 and 1 , Hence there is a state for
=
which all operators qIN qK, possess the value zero
and the state is also described by a right eigenvector
of the non-Hermitian operators q , or the adjoint
+
left eigenvector of the q , belonging to the set
of zero eigenvalues. We should observe here that,
unlike the situation with non-Hermitian variables
of the first kind, there is complete symmetry between
+
the operators q and q . In particular, the
+
operators qK,q1C possess zero eigenvalues, which
are equivalent to the unit eigenvalues of q q ,
and the zero eigenvalue, right eigenvector of the
+
q and left eigenvector of the q also exist.
The possibility of defining the eigenvectors |q t>
and <q't] is then indicated by the differential
equations
152 QUANTUM KINEMATICS AND DYNAMICS
and
factors.
and
operators as
THE SPECIAL CANONICAL GROUP 155
Accordingly, in considering
i
where the final q is entirely an element of the
external algebra. In a similar way
and
156 QUANTUM KINEMATICS AND DYNAMICS
<
The transformation function p'j«l l> is character-
ized for all variables by the differential expression
by
THE SPECIAL CANONCIAL GROUP 159
combined with
would read
-1
which is solved by <y'|y"> = ty'-y"5 .) With
Herraitian variables of the first kind these properties
write
yields
and similarly
We also have
and
and
and
THE SPECIAL CANONICAL GROUP 165
appears as
and similarly
becomes
(4.22) .
4 .15 INTEGRATION
and
THE SPECIAL CANONICAL GROUP 169
and
THE SPECIAL CANONICAL GROUP 171
as contrasted with
172 QUANTUM KINEMATICS AND DYNAMICS
173
174 QUANTUM KINEMATICS AND DYNAMICS
dance with
canonical transformations,
where
177
CANONICAL TRANSFORMATIONS
Since
{5.5}, we obtain
action operator - p q .
with
kind, we have
Hence
whence
and
we also have
and therefore
in accordance with
and therefore
vectors r,
or
Hence
Now
or
and therefore
meter path,
and
194 QUANTUM KINEMATICS AND DYNAMICS
that
transformation G,, v dX
I A; « Since this change is
by
196 QUANTUM KINEMATICS AND DYNAMIC:
a linear transformation:
Since
201
202 QUANTUM KINEMATICS AND DYNAMICS
parameters,
the form
dence
induces
GROUPS OF TRANSFORMATIONS 205
where
rical,
206 QUANTUM KINEMATICS AND DYNAMICS
6.3 SUBGROUPS
subgroup:
invariant subgroup:
Abelian subgroup
208 QUANTUM KINEMATICS AND DYNAMICS
or
and thus
the t-space as
or
214 QUANTUM KINEMATICS AND DYNAMICS
mation characterized by dA is
becomes
we obtain
GROUPS OF TRANSFORMATIONS 215
explicitly as
property
linear combination
presented as
operation:
Hence
220 QUANTUM KINEMATICS AND DYNAMICS
and
and
tics:
and
and (Pauli)
GROUPS OF TRANSFORMATIONS 225
dular,
product
Thus
or, on writing
as
are commutative,
228 QUANTUM KINEMATICS AND DYNAMICS
(6.88).
The relation
tical if
element, stated by
canonical variables.
symmetrical,
*a '
tent of (6.113) is
a semi-simple group) f
and
238 QUANTUM KINEMATICS AND DYNAMICS
2
Another procedure uses complex combinations
of the parameters, as comprised in the pair of com-
plex numbers that form any row or column of the ma-
trix
imply
GROUPS OF TRANSFORMATIONS 243
~ •
and any function of the y that is homogeneous
of integral degree n provides an eigenfunction,
which is associated with the eigenvalue
j(j+1) , j = n/2 . One recognizes that the differ-
ential operators refer to an equivalent system des-
cribed by two complementary pairs of non-Hermitian
variables of the first kind, and
and therefore
sult into
formula becomes
or
Similarly
and
I in
symbol 5 (6 -O) with an eigenvalue of the
Ev Kl
Hermitian operator £
tor
and
250 QUANTUM KINEMATICS AND DYNAMICS
kind.
and correspondigly
larly produced by
more precisely as
we have
252 QUANTUM KINEMATICS AND DYNAMICS
t
6.17 ADDENDUM: DERIVATION OP THE ACTION PRINCIPLE
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp. 893 - 897 (1960).
VOL. 46, I960 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 indi-
cated by
which includes
the matrix of V(r) in the arbitrary ab representation. The relation between in-
finitesimally neighboring values of r is indicated by
The general discussion of transformation functions indicates that the most com-
pact characterization is a differential one. Accordingly, we replace this explicit
statement of the transformation function (a'-r + dr\b'r} by a differential descrip-
tion 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
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 ob-
tained from
You 46, 1960 PHYSICS: J, SCHWINGBR, 895
as
or
m which & is used here to describe the change of q, p by Sq and Sp, occurring inde-
pendently but continuously at r and r + dr. The two species of variation can
now be united: J = &' + &*, and
where
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 transforma-
tion 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 gener-
ally 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 con-
tract 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 commu-
tator 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 259
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 46, pp. 1401-1415 (I960)
Reprinted from the Proceedings of the NATIONAL ACABEMTT op SCIENCES
Vol. 48, No. JO, pp. 1401-1416. October, IBM.
and
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
where e = Ag' = Ap', the interval between adjacent eigenvalues. Then we have
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 sub-
space 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
Vou 46, I960 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
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
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',
In particular,
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
VOL. 46, I960 PHYSICS; J. SCSWINGER 1405
and thwefori
which reproduces
5 the well-known non-degenerate spectrum of the operator
w + p )-
Now we shall consider the construction of finite special canonical transformations
from a succession of infinitesimal ones, as represented by the variation of a pa-
rameter T. Let the generator of the transformation associated with r -*• r + dr be
where Q(T) and P(r) are arbitrary numerical functions of r. That is, the in-
finitesimal transformation is
or
and therefore
gives
with
1406 PHYSICS: J. SCHWINOEB PBOO, N. A, S.
or, alternatively
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
and then indicate the effect of the additional localized transformations by the
equivalent unitary operators, which gives
and similarly
which is a property of periodicity over the interval T — r\ — rt. Let us, therefore,
represent the operators g(r), J>(T) by the Fourier series
where the coefficients are so chosen that the action operator for an arbitrary special
canonical transformation
together with
The first of these results implies that the trace contains the factors &(Qo) and
J(Po). The dependence upon Qn, Pn, n 4= 0, is then given by the action principle as
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
where
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
where [ r') X (T' symbolizes the summation over a complete set of states, and
therefore
with
and therefore
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 be-
tween 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'
which is formed in essentially the same way as the action operator PFM, the multi-
plication 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
VOL. 46, 1960 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
>r by
on noting that [Wo, Q(r)], for example, is constructed entirely from differential
operators and is commutative with the differential operator WG- Accordingly,
which asserts that exp(—iW0)(tr) vanishes when multiplied by any of the Fourier
coefficients Qn, Pn and therefore contains a delta function factor for each of these
variables. We conclude that
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
where the action function W[q, p] now includes the special canonical transformation
described by Q and P.
1414 PHYSICS: J. SCHWINOER PBOC. N. A, 8.
where
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)e«p = 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.
VOL. 46, 1960 PHYSICS: /. SCHWINOER 1415
where
and similarly for Q"{r), P*(r). This statement follows immediately from the
orthonormality of the U(q'p') operator basis on evaluating the left-hand side as
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 47, pp. 1075 -1083 (1961)
Hpprhited from the Proeeetlmgs of the NATSOKAZ, ACAOJKMY or SCIENCES
Vol. ff, No. 7, pp. 1078-1083, July, W6I.
which obey
We have remarked1 upon the well-known connection between the 0%, k = 1,2, 3,
and three-dimensional rotations. In particular, the most general unitary operator
that differs inftnitesimally from unity is, apart from a phase factor, of the form
Accordingly, an infinitesimal transformation that varies £» and not & can only be a
rotation about the second axis,
Jimilarly,
is generated by
and
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>
Here
or
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
VOL. 47, 1961 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,
which refers to a fixed form of the operator G({(r), r), expresses the requirement
that a finite transformation emerge from the succession of infinitesimal transforma-
tions. It will be instructive to see how the properties of the quantum variables
are conversely implied by this principle. The discussion will be given without
explicit reference to the single pair of variables associated with one degree of free-
dom, since it is of greater generality.
The bilinear concomitant
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
(2) the &^(T) have no implicit T dependence; and (3) every Sft is an arbitrary in-
finitesimal numerical multiple of a common nonsingular operator, which does not
vary with r. The second basic property asserts that
Then, if we write
which defines the left and right derivatives of G with respect to the f»,- we get
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 vari-
ations, 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 trans-
foimations of the pair of complementary physical properties. The generator of
the infinitesimal rotation Sir = Su X e is
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 S«r(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
and ia
The generators G( and their commutators can thus be constructed from the basis
provided by the n(2n + 1) operators {*;, with k and I ranging from 1 to 2n + 1.
And, since
these operators are the generators of a unitary transformation group, which has the
structure of the Euclidean rotation group in 2n + 1 dimensions. For n > 1, the
operators {«, k, I = 1 .. 2n + 1 can also be combined with the linearly independent
set
for the condition that permits an action principle formulation. Each special varia-
tion 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 comple-
mentary pair of operators fi, j(a>, a — I ... n. Such an operator can only be a mul-
tiple 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 admis-
sible operator (?({) must be even. This single condition replaces the set of n condi-
tions 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
VOL. 47, 1961 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 genera-
tors 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 circum-
venting this difficulty, and thereby of converting the action principle into an ef-
fective computation device, that we shall extend the number system by adjoining
an exterior or Grassmann algebra,
1
These PROCBSDINGS, 46, 570 (1960),
'Ibid., 46, 883(1960).
* The possibility of using the components of an angular momentum vector as variables in an
action principle was pointed out to me by I), Volkov during the 1959 Conference on High Energy
Physics held at Kiev, U.8.S.R.
CHAPTER
CANONICAL TRANSFORMATION FUNCTIONS
given by
6W(q ; q , t) and
comes
tegration yields
whereas
operator
288 QUANTUM KINEMATICS AND DYNAMICS
for
or
and, in particular,
and
Then
where
2
in which M(q") is the matrix inverse to 3 G/3p3p
2
where rn is the matrix inverse to 3 H/3p3p and
in which pn is defined by
x
in which signifies the application of a method
and obtain
in which
obtain
296 QUANTUM KINEMATICS AND DYNAMICS
values are
On writing
can be exhibited as
states.
7.5 AN EXAMPLE
namely
*5 «t» | o
kind (q1) = (q ) =0 , and the summation in
is required to obtain
procedure is
by
time tQ ,
tx > t2
tiroes,
t23
is used here,
CANONICAL TRANSFORMATION FUNCTIONS 311
as
and
312 QUANTUM KINEMATICS AND DYNAMICS
where
are anticommutative.
whereas
CANONICAL TRANSFORMATION FUNCTIONS 313
tonian
Hence
and
cribed by
^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
Hamiltonian H is obtained as
PRINCIPLE1"
t
Reproduced from the Proceedings of the National
Academy of Sciences, Vol. 48 pp. 603-611 (1962).
Reprinted from the Proceedings of the NATIONAL ACA&EM* OF SCIENCES
Vol. 48, No. 4, pp. 803-611, April, 1962.
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 instru-
ment 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
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,
where the right-hand side is proportional to the unit operator, and to a bilinear
function of the exterior algebra generating elements,
The latter structure commutes with all operators and with, all exterior algebra
elements. The commutator therefore commutes with any generator 0(, and the
totality of the new special variations has a group structure which is isomorphic
to that of the special canonical group for the degrees of freedom of type » » = * » .
This, rather than the rotation groups previously discussed, is the special canonical
group for the v = 2 variables.
We are thus led to reconsider the action principle, now using the infinitesimal
variations of the special canonical group. The class of transformation generators
0 that obey
includes not only all even operator functions of the In variables {», but also even
functions of the f t that are multiplied by even functions of the N exterior algebra
generators e,, and odd functions of the J* multiplied by odd functions of the ««.
The generators of the special canonical transformations are included in the last
category.
The concept of a Hermitian operator requires generalization to accommodate
the noncommutative numerical elements. The reversal in sense of multiplication
that is associated with the adjoint operation now implies that
where X is a number, and we have continued to use the same notation and language
VOL. 48,1962 PHYSICS: J. SCMWINGSR 805
despite the enlargement of the aumber system. Complex conjugation thus has
the algebraic property
obeys
which asserts that a basis can always be chosen with real generators. There still
remains the freedom of real nonsingular linear transformations.
This conclusion is not altered when R has the eigenvalue — 1. In. that circum-
stance, we can construct p(R), & polynomial in R that has the properties
The matrix
also obeys
while
since the contrary would imply the existence of a nontrivial vector » such that
or, equivaleatly,
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,
where the nonsingular matrices a and p* are commutative, and thereby proves
the reality of the generator set
When real generators are chosen, the other elements of a real basis are supplied
by the nonvanishing products
for
and
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
where 0 is Hermitian, which implies that its matrix array of exterior algebra
elements obeys
where /a, /i, /, do not contain «x- By definition, /, and ft are the right and left
derivatives, respectively, of /(«) with respect to «x,
Vou 48, 1962 PBY8ICS: J. SCHWINGMR mi
so that
Since a derivative is independent of the element involved, repetition of the opera-
tion annihilates any function,
where the coefficients are independent of sx and «„. The last term has the alterna-
tive forms
with
Then,
and
form. Let us also note the possibility of using arbitrary nonsingular linear combi-
nations of the «x in differentiation, as expressed by the matrix formula
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 func-
tions 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
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
Here,
VOL, 48, 1962 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 varia-
tions gives the ordered products
Here,
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
where the latter transformation function refers entirely to the special canonical
group.
The corresponding theorems for odd ordered functions of the f*(r) are
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,
Accordingly,
and, in particular,
which shows that the trace is an even function of the X'(r). The nature of the
trace is involved again in the statement
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 transforma-
tion function is
or
where
334 QUANTUM KINEMATICS AND DYNAMICS
md
tion
operator is constructed as
appear as
336 QUANTUM KINEMATICS AND DYNAMICS
operators
yields
GREEN'S FUNCTIONS 337
tion.
O
where the coefficients |<E'Y*|O>| obey
8.4 SINGULARITIES
variable.
8.5 AN EXAMPLE
equation
342 QUANTUM KINEMATICS AND DYNAMICS
The solution
J«
involves the double-valued function E of the
complex energy parameter, which must be interpreted
as +i|E|k for E < 0 in order that the Green's
function remain bounded as |r-r'| -> «• . Accor-
ie i-
dingly, for E > 0 we must have E = -f-|E| 2 on
the upper half of the real axis and E = -|E|
on the lower half. Hence there is a discontinuity
across the real axis for E > 0 which constitutes
the entire energy spectrum, since the Green's func-
tion is always bounded as a function of E . The
discontinuity is given by
GREEN'S FPNCTIONS 343
symbolized by
operators, obey
M, ,
one obtains
and
GREEN'S FUNCTIONS 345
which we write as
where
t
Reproduced from the Journal of Mathematical
Physics, Vol. 2, pp. 407 -432 (1961).
347
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.
ami
where Xj. can BOW be identified. Accordingly, if a
system is suitably perturbed2 in a manner that depends
upon the time sense, a knowledge of the transformation
in which we shall take ^>la. These mutually complex- function referring to a dosed time path determines the
conjugate forms correspond to the two viewpoints expectation value of any desired physical quantity for
whereby states at different times can be compared, a specified initial state or state mixture.
either by progressing forward from the earlier time* or
backward from the later time. The relation between OSCILLATOR
the pair of transformation functions is such that To illustrate this remark we first consider an oscillator
subjected to an arbitrary external force, as described by
the Lagrangian operator
* Supported by the Mi Force Office of Scientific Research
(ARDCV
1 a
Some reierenees are: Julias Scfewinger, Fhys. Rev. ^, 9M ESespite this dynamical language, a change in the Hamiltoroan
(!»51}j 91, ?J3 (!9»)j Phil Mag. 44, H?J (WSJ). The first two
papers also appear io Selected Papers OK Quantum Ele£tf®dyn®mfo$
(Dover Pttbffcallons, New fork, »S8), A recent discussion is
r atot of a system can be kineiratical in character, arising from
consideration of another transformation along with (lie
dynamical aw generated by the Hamiltonkn. See Use last paper
contained in Julian Scbwinger, Proc. JMatl. Acad. Sd. U. S. 46, quoted in footnote I, sod Julias Schwinger, Proc Natl Acad.
883 (I960). Sd. U. S. «, 1401 (1«0).
407
408 J. SCHWINGER
in which the complementary pair of nor*-Hermiiian The choice of initial state implies effective boundary
operators y, iy>, are constructed from Hermitian conditions that supplement the equations of motion,
operatorss q,p, by
Hence in effect we have
The equations of motion implied by the action principle
are
and
or, equivalently, by the eigenvector equations The requirement that the transformation function
reduce to unity on identifying X+ with £_, K+* with
K~.*, is satisfied by the null sum of all elements of Ge,
Since the transformation function simply equals as assured by the property %.+>!_= 1.
unity if K+***K~ and K+*~K-*, we must examine the An operator interpretation of Gt is given by the
effect of independent changes in K+ and JC_, and of second variation
JC+* and K-", as described by tie action principle
the effects of which are described by We infer She norincgative integer spectrum o! yry( and
the corresponding wave functions
iims, unaer the influence oi these lorces, me states Accordingly^ a non-Hermitian canonical variable trans-
|%) and (0^1 become, at the time fe-f-O, the states formation function can serve as a generator for the
iy%) &&d (y f %], which are right an<l left eigenvectors! transformation (unction referring to unperturbed
respectively, of the operators y(fe) and yf(J»). OH takiag oscillator energy statesr
into account arbitrary additional forces* the transforma-
tion function for the closed time path can be expressed
as
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
One obtains a much neater form, however, from which instead of the effective initial condition ^{^^O. This
these results can be recovered, on considering an is obtained by combining
Initial mixture of oscillator energy states for which
the nth state is assigned the probability
s*ith the property of the trace
and
We also hav;
can be interpreted as a temperature. Then, since
we obtain
Hence, to the previously determined y^(t) is to be
added the term
with
and correspondingly
and in which
u{n)0+u
Accordingly,
has acted, il it was initially m a thermal mixture of rhls ferai; and the implied transition probabilities, have
states, ilready been derived in another connection,4 and we
To evaIlia If? shall only state the general resell here;
or
as one shows with a similar procedure^ or by direct Still another derivation ojf the lormuk giving thermal
series expari&iors, Tfeeref&re., expectation values merits attention. Now we let the
return path terminate al a different time l/=4~"^»
and on regarding the resulting transformation function
as a matrix, compute the traces or rather the trace
rattn
whrer
which reduces to unity in the absence of external
forces. The action principle again describes the dqsend-
and <m referring 10 the previously used Lagiier: enee upon JC±*(/}, K±(t) through the opera-tore y±0)»
polynomial sum formula, we obtain y^(f) which are related to the forces by the solutions
of the equations of motion, and, is particular*
EXraRHAt SYSTEM
This concludes our preliminary survey of the oscil-
lator 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 Lagran- whre
glan operator
414 J. SCHWINGER
ana
and
One consequence
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 It also follows from
significant form is conveyed by the pair of equations
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 415
so that which supplites the initial conditiron for the s
equation of motion
which employs the formal property The corresponding solutions for y^(tj are obtained by
interchanging the ± labels in the formal adjoint
equation.
The differential dependence of the transformation
On introducing the "time Fourier transforms, howevi function (fe \ ti)»t>tK* upon the external forces is described
this becomes the explicit relation by these results, and the explicit formula obtained on
integration is
and we conclude that
and is expressed by
(where f indicates differentiation to the left) h The previously employed technique of impulsive force;
conjunction with the initial value applied at the time t\ gives the more general result
according to the hypothesis, and the stated result Such expectation values are to be understood as effective
fellows &n integrating this differential equation, evaluations that serve to describe the properties of the
Tbe structure of the lemma Is given; by the rearrange- oscillator under the circumstances that validate the
ment various approximations that have bees used,
It will be observed that when » is sufficiently large
to permit the neglect of all other terms,
and complex conjugation yields the analogous result for we find by Fourier transformation that
negatively time^-ordered products.
With the aid of the differential equation obeyed by
G, we now get
m IMFEO?E0 TEEA1MEHT
In this section we seek to remove some of the limita-
tions 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
and operatois. Accordingly^ we begin the development
again, now using the Lagrangian operator
&nd
and the implied equations of motion,, presented as or> more conveniently expressed,
second-order differentia! equations after eliminating
are
together witl
and
which enables us to present the integro-differenlial
equations as
and
The Green's function that is appropriate lor the
equation obeyed by q.++•§-- is defined by
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 421
and the two real factions are related by The latter obeys
where
We note the identifications
Here
and the result oi integration is
'bb can also be displayed m the matrix form sr, since (A~,+-~A^~)(&) is an odd function ol <&}
with
We have already remarked on the generality of the
representation
and
and
The integral relations mentioned previously can be
expressed in terms of these Green's functions. Thus,
The Green's functions are recovered on using thi which indicates the initial effect of the coupling to the
inverse Fourier transformation external system.
The function S(u*} is bounded, and the Green's
functions mast therefore approach sero as 11~~ t1 \ ~~t «s.
Accordingly, all reference to the initial oscillator condi-
tion and to the time k must eventually disappear.
where the path of integration is drawn in the half-plane For sufficiently large t—It, f—h, the function »(«— />,
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 423
and, therefore,
time pjiiereiKesi that WMCB nas seen written tor external torees tftat are
aero until the m&m&nt t% has passed.
Perhaps the simplest procedure at this point is to
ivhicfa if -"'so expressed by ask for the dependence o£ the latter solution upon t$,
for fixed T, We find that
Therefore,
These are supplemented by the eciuation lor f_(/) in
the interval from I/ to fe:
smce, with positive time argument;
whereas
wit!
as anticipated.
Our results determiae the trace ratio
Thin
that
aaa the summation tormula derived worn the pnxtuci That the function in question, ReG^^-HD), has a
form of the hyperbolic sine function, zero, follows from its positive value at w^O and its
ssyraptotic approach to — <# with indefinitely inereasmg
frequency. Under1 the conditions we have described.,
with the major contribution to the integral coming
from high frequencies^ the gero point is given approxi-
gives us the desired result mately as
The second factor can be ascribed to the oscillator, ind somewhat more accurately by
with its properties modified by interaction with the
external system, The average energy of the oscillator
at temperature $~0rl is therefore gives by
where
and
which clearly identifies B<1 with the contribution to
the integral J"AaiJS(in'') that comes from the vicinity of
The latter result confirms that B< i. A somewhat more thisresonanceof width t at frequency «i, although the
accurate formula lor ,8 fa same result is obtained without the last approximation.
The remainder of the integral, t—B, arises from fre-
quencies considerably higher than an according to our
assumptions.
There is a similar decomposition of the expressions
If the major contributions to all these integrals come for the Green's functions. Thus, with Of,
from the general vicinity of a frequency «»««, we
can mate toe crude estimates
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
mtlined this effect is not important an4 we shall place which here asserts that
5 equal to unity.
One can ntafee a general replacement of the Green's
unctions by their low "frequency parts:
where s^o^Wi),
The simplest presentation of results is again to be
found m the Laogevin. viewpoint, which directs the
emphasis fom the coordinate operator g(t) to the
and
fluctuating force defined by
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.
which Is to say 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
Its a function of £*t G(£) now has complex poles if where g» and «? ate the amplitude and phase of f,(i).
Despite rather different assumptions about the external
system, these are the same conclusions as before, apart
We shall suppose, for simplicity, that wt^wa and from a factor of f in the formula (or the gain.
sfXsat. Then the poles of
6IHERAL THE0M
The whole of the preceding discussion assumes an
are located at and external system that is only slightly influenced by the
Acoordingly is regulat outside a stirip of wich presence of the oscillator. Now we must attempt to
The associated Greeen's Futcation are given by place this simplification within the framework ol a
general formulation, A more thorough treatment is
also a practical necessity in situations such as those
producing amplification of the oscillator motion, for a
and the function compoued fior sizeable reaction in the external system must eventually
appear, unless a counter mechanism is provided,
It is useful to supplement the previous Lagrangian
operator with the term f'('X?, in which q'{i) is an
arbitrary numerical function of time, and also, to
imagine the coupling term gQ supplied with a variable
factor X. Then
with
in which
and farthermore,
We shall define
approximation of the Q±(ttq±) oy linear functions of converts the functional differential equations into
%&>
and
wherein the linear equations tor the operators q±(t) ana
their meaning in terms of variations of the P& have
been united in one pair of functional differential
enuafJons. This relation becomes clearer if one writes
and, with the defiuition When the Q$, are linear functions of g±( the functional
differential operators disappear7 amcl we regam the
linear eolations for q±(t)t which in turn imply the
quadratic form of $T{F&) that characterizes the
preceding discussion,
T
The degeneration of th« lunctioriml ^jtiation? iato or^nafy
Eliffeiwitial equations a^e» oeeurs when the RHJ!ion of the oscillator
is classical aad free of Iuct«atioR.
374 QUANTUM KINEMATICS AND DYNAMICS
+
9.2 COULOMB GREEN'S FUNCTION
t
Reproduced from the Journal of Mathematical Physics,
Vol. 5, pp. 1606-1608 (1964).
Reprinted liom Printed in VSA.
JOUKKAL OF M A T H E M A T I C A L PHYSICS VOLOKB 5, N U M B E R 11 NOVEMBER I96<
A one-parameter istegml Eeprestutation is given for tlis momestucft 8[>a«e Green's fuoctioa
he nasrelativistie Coulomb problem.
rproblem
r has long been known that the degenwasy of
the bound states in the nonrektrristio Coulomb
can be described by a four-dimensional
Sreen's function a (ft = 1)
and
anil