Full Download Functional Methods in Quantum Field Theory and Statistical Physics First Edition Vasiliev PDF DOCX
Full Download Functional Methods in Quantum Field Theory and Statistical Physics First Edition Vasiliev PDF DOCX
com
https://ebookfinal.com/download/functional-methods-in-
quantum-field-theory-and-statistical-physics-first-edition-
vasiliev/
OR CLICK BUTTON
DOWNLOAD EBOOK
https://ebookfinal.com/download/quantum-field-theory-in-condensed-
matter-physics-2nd-edition-alexei-m-tsvelik/
ebookfinal.com
https://ebookfinal.com/download/mathematical-methods-of-many-body-
quantum-field-theory-1st-edition-detlef-lehmann/
ebookfinal.com
https://ebookfinal.com/download/instantons-and-large-n-an-
introduction-to-non-perturbative-methods-in-quantum-field-theory-
marcos-marino/
ebookfinal.com
https://ebookfinal.com/download/quantum-field-theory-from-operators-
to-path-integrals-physics-textbook-1st-edition-kerson-huang/
ebookfinal.com
Conformal Field Theory New Non perturbative Methods In
String And Field Theory Yavuz Nutku
https://ebookfinal.com/download/conformal-field-theory-new-non-
perturbative-methods-in-string-and-field-theory-yavuz-nutku/
ebookfinal.com
https://ebookfinal.com/download/six-quantum-pieces-a-first-course-in-
quantum-physics-valerio-scarani/
ebookfinal.com
https://ebookfinal.com/download/quantum-field-theory-in-a-nutshell-
second-edition-a-zee/
ebookfinal.com
https://ebookfinal.com/download/quantum-field-theory-1st-edition-
michael-v-sadovskii/
ebookfinal.com
https://ebookfinal.com/download/introduction-to-quantum-field-theory-
second-edition-roberto-casalbuoni/
ebookfinal.com
Functional Methods in Quantum Field
Theory and Statistical Physics
C RC Press
Taylor & Fra ncis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
This book contains information obtained from authentic and hi ghly regarded sources. Reaso nable efforts have bee n made to
publish reliable data and information, but th e author and publisher ca nnot assume res ponsibility fo r the va lidity of all materials
or the co nsequ ences of th eir use. The authors an d publishers have attempted to trace the copyr ight holders of all material repro·
duced in this publication and apologize to copyright holders if permission to publish in this form has not been obta ined. If any
copyright material has not bee n ac knowledged please write and let us kn ow so we may rec tify in any future reprint.
Except as permi tted under U.S. Copyri ght Law, no part of t his book may be reprinted, reproduced, transmi tted, or utilized in any
form by any electronic, mechanical, or other means, now known or hereafter inve nted, including photocopying, microfilmin g,
and recording, or in any informat io n storage or ret rieval system, wit hout written permission from the publishers.
For permission to photocopy or use material elec tronic ally from this wo rk, please access www.copy ri ght. co m (http://www.co py·
right.com /) or co ntac t the Co pyright Clea rance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400.
CCC is a not· for· profit organi zation th at provides licenses and registration for a va riet y of use rs. For organizations that have been
granted a photocopy license by the CCC, a separate sys tem of pay ment has been arranged.
Trademark Notice: Product or corporate names may be trademark s or registered trademarks, and are used only for identifica·
tion and explanation wit hout intent to infringe.
Visit the Taylor & Francis We b site at
http: //www.taylorandfrancis.com
Preface xiii
REFERENCES 305
Patricia A. Millard
University ofPittsburgh, USA
xi
Preface
This book is based on a revised and expanded series of lectures given by the
author over several years to fifth-year students specializing in theoretical
physics at the Physics Faculty of St Petersburg State University (formerly
Leningrad State University). It is intended for a well prepared reader famil-
iar with the basics of quantum field theory and statistical physics.
The book is devoted not to physics as such, but to certain techniques used
in physics. The term "functional methods" in the title refers to a set of tech-
nical methods which allow the quantum-mechanical operator formalism to
be interpreted into the language of classical objects: nonlinear functionals.
This language is very well suited to describing the expressions which
typically arise in field theory, for example, Wick's theorem. In addition, it is
universal and can be used in widely differing areas of theoretical physics:
quantum field theory, Euclidean theory, the quantum statistics of field and
spin systems, and the statistics of the classical nonideal gas.
In Chapter 1 we systematically discuss the mathematical apparatus of
ordinary (pseudo-Euclidean) quantum field theory, and in the following
chapters this formalism is made specific and generalized to the case of
Euclidean theories and statistical physics. The short Chapter 3 is devoted to
the theory of the massless Yang-Mills field, and the final Chapter 6, which
makes up nearly a third of the book, is devoted to variational methods and
functional Legendre transformations.
The material of Chapters 1, 2, 4, and 5, except for that in certain sections,
is not new, but it cannot all be found in a single place. The material pre-
sented in these chapters would most accurately be thought of as the "folk-
lore" of modem quantum field theory. Of course, this folklore did not
appear spontaneously~ it was created by the labor of many people, and I
hav~ not attempted to give any detailed list of references.
This book consists of six chapters divided into sections, most (but not all)
of which are in tum divided into subsections. Throughout the book, parts
of the text are referred to by giving the chapter, section, and, if applicable,
subSection number. The displayed equations are numbered sequentially
xiii
xiv Preface
within each chapter by the chapter and equation number. The system of
units with n = c = 1 is used everywhere.
It is my pleasant task to thank everyone who helped me with this book:
L.D. Faddeev and V.A. Franke, who read the manuscript and made anum-
ber of useful comments which were taken into account in the final version
of the text; and A.G. Basuev, N.M. Bogolyubov, A.K. Kazanskii,
A.V. Kuz'menko, Yu.M. Pis'mak, and R.A. Radzhabov, who provided
essential assistance in the preparation of the original text. I am also grateful
to all my colleagues and the graduate students in theoretical nuclear and ele-
mentary particle physics at the Physics Faculty of St Petersburg State Uni-
versity for many useful discussions about the topics dealt with here. But
above all, the publication of the manuscript can be attributed to my wife,
who created the necessary working conditions. It is to her that I dedicate
this book.
In this book the term "field" will be used to refer to the notation for the
generalized coordinates of any ·system, independently of whether we are
discussing a true field theory or a system with a finite number of degrees of
freedom. In particular, the particle coordinate in mechanics is treated as a
field depending only on time. To economize on notation and make the formu-
las more uniform we shall often use universal notation, in which the entire set
of generalized coordinates is described by a unified field <p(x) =<p(t, x). Here
the argument x denotes the set of continuous and discrete variables (indices),
except for time, on which the field depends. For complex quantities, cp and cp+
= =
are assumed to be different components of a single field {cp cp 1, cp+ CJ>2),
and the index distinguishing these components is included in the argument x.
The symbol Jdx ... will denote integration over all continuous components
and summation over all discrete components of x, and the symbol (x- x')a
a
will denote the product of functions for all continuous components and
a a
Kronecker symbols for all discrete components of X. Finally, (x- x') =
a{t- ()li(x- x') and I dx .. .=Jdt Jdx .. ., where, unless stated otherwise, the
integration over time is always understood to run from -oo to +oo.
In this notation the commutation relation (1.1) holds for all systems.
FUNCflONAL METHODS 3
Kq>=O, (1.2)
where K is some linear operator on a set of fields q>, the explicit form of which
is determined by the Lagrangian. It is often convenient to take K to be a linear
integral operator
0
S (q>) = ~q>Kq>=~Jfdxdx'q>(x)K(x,x')q>(x'), (1.4)
but actually to go from the usual expression s0 = Jdtf£0 (t) to the form (1.4)
it is necessary to integrate by parts and discard the surface terms. For
=
example, for a free particle in one-dimensional space q> = q(t), P 0 mq 212,
K = -ma7,
and K(t, () = -ma7o(t- ().The expressions 2S0 _= mldtq 2 and
4 A. N. VASILIEV
(1.5)
1.1.3 Anticommutingfie/ds
In quantum theory there are also systems whose operators corresponding to
canonical variables satisfy not commutation relations (1.1), but anti-
commutation relations:
generalized coordinates of which are not simple functions but rather anti-
commuting functions. Here we shall give only the small amount of informa-
tion on anticommuting quantities that we shall need in this text (more details
can be found in [2]).
In the language of mathematics, a set of a finite number of pairwise anti-
=
commuting objects* cp cp 1.. •q>n forp1s a set of generators of a finite-
dimensional Grassmann algebra, and the algebra itself is defined as the set of
all polynomials constructed from cp1. . . q>n. The number of independent
monomials q>; 1 . .. q>;k is finite, because, first of all, any two monomials
differing only by interchange of the factors coincide up to a sign and, second,
no monomial can contain any of the generators cp; twice: by permutations the
two identical factors cp; could be put next to each other and then it would be
possible to use the equation cp? = 0 following from the anticommutativity of
the generators. From this it follows that the monomial of highest degree is the
product of all the generators cp;. The total number of all independent
monomials, including unity, is easily found to be 2n, i.e., the Grassmann
algebra with n generators is a finite-dimensional space of dimension 2n and
its general element can be written as a linear combination
• In this book we shall often encounter functions and functionals of many variables,
and for compactness of notation we shall not write out the ellipsis when listing argu-
ments [in, for example, "functional of the variables cp1••• cp." or W.(x1••.x.)]. In those
relatively rare cases where we are speaking of a product of quantities rather than a list
this will be clear from the context or will be indicated by the term "monomial" or
"product."
6 A. N. VASILIEV
permutations needed to move <p; to the extreme left position is even or odd.
The right derivative is defined analogously, except that here <p; must be .
moved to the position farthest to the right. The derivatives are different,
because the parities of the permutations to the left and right are in general
different. It is easily checked that the left and right derivatives commute with
each other, and that identical derivatives anticommute.
When this language is generalized to the case of a field <p(x) the argument x
is treated as a continuous index. The field cp represents a set of anticommuting
generators of the Grassmann algebra (i.e., cp(x)cp(x') = -cp(x')<p(x)], and
functionals F(cp) are elements of this algebra. We introduce the left and right
variational derivatives with respect to cp(x), each of which acts on an
individual factor cp (x') according to the usual rule:
-+ +-
ocp(x')/~cp(x) = ocp(x')/~cp(x) = ~(x-x') . (1.7)
-+ -+
= -~/ocp (x)
f- f-
~/~cp (x) . ~/~cp (x') . o/ocp (x') . (1.9)
Now let cp(x) and A(x) be a pair of anticommuting (including with each
other) fields. Then
...
exp (-cpA) F(~/ocp) exp (cpA)
...
= F(A +~/~cp), (1.10)
...
exp(Ao/ocp)F(cp} = F(cp+A) . (1.11)
FUNCOONAL METHODS 7
We note that the operation o/O<p anticommutes with the factor A owing to
the anticommutativity of A and <p. From (1.10) we have
....
F(o/o<p)expq>A = F(A)expq>A. (1.12)
(1.14)
where n ... denotes any product of the factors and b and 0: is an arbitrary
a
constant (a c-number).
The rules (1.15) define the symbol N as a linear operator on a set of poly-
nomial forms constructed from a and b; each such form 'P is uniquely
associated with a form J:' = NJ:. However, it does not follow from this that
N can be understood as a linear operation on a set of operators. There exist
polynomials which are equal as operators, and from the operator equation
J: 1 = J:2 it does not follow that NJ: 1 =NJ:2• A counter-example is the
operator equation (1.13), for which
N [ <P (x) <P (x')] = <P (x) <P (x') - n (x, x') , (1.16)
The well known (see, for example, [1]) Wick's theorem specifies the rule for
reducing the product <P<x 1) ... <P<xn) to normal-ordered form. For n 1, 2 =
we have
10 A. N. VASILIEV
The first of these equations is obvious, and the second is the same as (1.16).
We shall give a proof by induction of the validity of the following rule for
reduction to the N-form:
(1.18)
where the symbol! , as below, stands for 'PI = <pz = .. . = <9n = 4>. In this and
the following expr~~~ions <p(x) stands for the classical analog of 4> (x) , i.e.,
the ordinary classical field for bosons and the anticommuting field for
fermions. The fields <p1... <pn on the right-hand side of (1.18) are treated as
independent functional arguments, and the differential quadratic forms are
defined as ·
0 0_ 0 I 0
~n~ = Jldxdx ~(
1
) n(x,x) 0 ( 1) ·
u<p; u<pk ucp; X cpk X
(1.19)
n
+ L ekn (xk' xn + 1) [ (j>1 ... <Pn1 k' (1.20)
k=1
where [ <1>1..• <Pn1 k denotes the product (j> 1.•. <Pn without the factor <P k• and e
and Et are sign factors. For bosons they are always equal to 1, and for
=
fennions e (-l)n and ek (-1)n-k.=
The factors a and b in the first two terms on the right-hand side of (1.20)
are arranged in the correct ("normal") order and, using the rule (1.18) for the
n factors (j>, the sum of these two terms can be written as
(1.21)
(1.22)
(1.23)
12 A. N. VASILIEV
We have written the reduction operator for [ <P1. .. <Pn1 kin the same form
(1.22) as for the operator with n factors, because the extra terms containing
derivatives with respect to <Pk do not contribute, as the field <Pk does not appear
in the differentiated expression.
It is now necessary to return the factors cpk and cpn + 1 to their natural
location. In the fermionic case, taking both derivatives to be right ones, we
have
The differentiation with respect to cpn + 1 from the right does not introduce a
sign factor, while the next differentiation with respect to cpk from the right
gives a factor (-1 )n- k equal to the parity of the permutation of cpk to the right.
The sign factorek in (1.23) is also equal to (-l)n-k, which allows us to write
(1.23) as
Adding to this the expression obtained earlier for the sum of the first two
terms on the right-hand side of (1.20), we conclude that the complete
reduction operator for n + 1 factors is written as
(1.24)
The summation runs over all n! permutations P of the operators <P, and Ep
has the usual meaning. From this definition and from (1.17) we find
Sym [ <P (x) <P (x')) = N [ <j>(x) <P (x')) + ns (x, x') ,
where ns is the symmetric part of the simple contraction. n:
(1.25)
=n 9(tk-tk+1).
n-1
e(t .... tn) (1.27)
k=l
• Sometimes theN-product rather than the Sym-product is used here; see, for example,
[2].
14 A. N. VASILIEV
For the field to the "zeroth" power the symbols T and Sym are defined using
= =
the usual auxiliary condition Sym 1 T 1 1. We note that Sym and T, like
N, are not actually linear operators on an operator space: neither TF 1 = TF2
nor Sym J; 1 = Sym J;2 follows from the operator equation 1< 1 = J;2.
The time-ordered contraction or propagator of the field cp is the c-number
function A(x, x') defined by the relation
=
We can write this compactly as A etfn + x9r,nT. By convention, for
coincident times the contraction A is defined by the auxiliary condition
=
In contrast to n, the contraction A is always symmetric, i.e., A xAT. The
contractions have another important property: the simple contraction n
satisfies the free equation (1.2) in each of its arguments, while the time-
ordered contraction (1.29) is always the Green function (up to a factor l) of
this equation•:
Kn = KnT = 0, KA = i. (1.31)
The left-hand sides are understood as products of linear operators, and the
i on the right-hand side is a multiple of the unit operator [the kernel of the
latter is o(x-x')]. We shall not present the general proof ofEqs. (1.31), since
they are easily verified for all the specific systems considered in the next
chapter. A special case is that of a massless vector field, which is studied
separately in Chap. 3.
• Often iA instead of A is written in (1.28), and then the equation KA = i takes the form
KA = l. In this notation A= K-1 is the true Green function (without the l). We prefer
the notation (1.28), because then the contraction A= iK- 1 enters as a whole into all the
expressions, but for brevity we shall refer to it simply as the Green function, under-
standing that this means ''up to a factor of i".
FUNCfiONAL METHODS 15
The symmetrization on the right-hand side is done with respect to all permu-
tations of x 1•• •Xn while preserving the order of the functional arguments
<l>t· ··<l>n· For example,
The fields q>; in (1.32) are classical objects, and by permutations of the
factors q>; we can return the arguments x; to the original order x 1•• •Xn in each
term of the sum on the right-hand side of ( 1.32). The extra sign factor arising
in the <I>; permutations obviously coincides with the factor £p in the definition
(1.24) of the symmetrization operation, and these two factors cancel each
other out. From this we see that the symmetrization on the right-hand side of
(1.32) can also be understood as symmetrization of the bosonic type (all terms
with plus sign) relative to permutations of the functional arguments q> 1•• ·<l>n
while preserving the order x 1•••xn. In the example of (1.33),
We stress the fact that the sign on the right-hand side of this equation is
independent of the statistics.
Let us now tum to the reduction operator and expand each of the differ-
ential quadratic forms into parts which are symmetric and antisymmetric
under permutation of the indices:
(1.34)
16 A. N. VASILIEV
Using the facts that (i) the differentiated functional is proved to be even under
any permutation of the functional arguments <p;. (ii) it is linear in each of the
arguments <p;. and (iii) after differentiation all the <p; are assumed to be equal
to the same operator q,, we conclude that the odd parts of any of the forms
(1.34) do not contribute to the final expression and can be discarded.
Therefore, each factor of the reduction operator can be written as
(1.36)
Again using the linearity of the differentiated functional in <p; , we can add
diagonal terms with i =k to the argument of the exponential in (1.36), after
which the exponent takes the form of a "perfect square":
(1.37)
If we change from <p 1.. ·<lln to new functional arguments, the average
<p =(<pi +...+ <!ln)ln and the differences <p;- <p; + 1, the form (1.37) reduces to
the second derivative with respect to <p:
o 0<1>; o o
-=I,-.-
. o<p . o<p o<p.
= I,- .
. o<p. '
(1.38)
I I I I
After performing the differentiation we must replace all the <p; by q,. Clearly,
it is possible to set <p 1 =<p2 =... = <lln = <p even before the differentiation,
because the form (1.38) does not contain derivatives with respect to the
differences <p;- <p; + 1• This means that Wick's theorem ( 1.32) can be rewritten
as follows:
FUNCTIONAL METHODS 17
(1.39)
The symbol Sym on the right-hand side has been omitted because the
product q>(x 1) ••• q>(xn> is automatically symmetric. We also note that the
contraction n in (1.39) can be replaced by its symmetric part (1.25), because
the kernel of the differential quadratic form is automatically symmetrized
owing to the commutativity of the derivatives in the bosonic case and the anti-
commutativity of like derivatives (in this case, right ones) in the fermionic
case:
(1.40)
Equation (1.39) is better than (1.18) in the sense that the reduction operator
in (1.39) is universal, i.e., it is independent of the type of expression reduced.
Let us now turn to the Tproduct. From the definition (1.26) and Eq. (1.18)
we have
= N{ n (1 + ;-n;-)L£pP
i<k <i>; q>k
[9 (tl"""tn) q>l (xl) ... q>n (xn)]} I .
p .. .
The summation on the right-hand side runs over all simultaneous permuta-
tions of the arguments X1..• Xn and times t 1... tn in the 9 function with the order
of the functional arguments <p 1... <i>n preserved. It is important to note that in
each term of the sum over permutations the field with the higher index always
has the smaller time, i.e., from i < k it follows that the time argument t; of the
field q>; is larger than that of the field <i>k· This follows directly from the
definition of the T-product and (1.18): the time arguments of the fields
decrease in going from left to right in all the terms of the sum ( 1.26), and the
indices of the fields in (1.18) increase in·going from left to right.
Let us first assume that among the times t 1.. . tn there are none which
coincide. It is then clear from the above discussion that in all the differential
fonns (0/0<p;)n(O/O<pk) of the reduction operator in (1.41) it is possible to
replace the contraction n by ~. using the fact that for t > ( these two
contractions coincide. Then, using the symmetry of the contraction ~. the
18 A. N. VASILIEV
We have derived this expression assuming that all of the times t 1.. . tn are
different, but it can easily be checked that it is true also in the general case: if
the contraction t\ in (1.43) for coincident times is given by (1.30), the
right-hand side of (1.43) defines the T-product when arbitrary groups of time
arguments coincide, just as in the preceding section.
Equation (1.43) is the functional statement of the Wick time-ordering
theorem. It was obtained in this form by Hori [3].
co
F (<jl) = I, J. .. Jdx1 ••• dxn Fn (x 1 ••• xn) <P (x1) ••. <jl(xn), (1.44)
n=O
SymF(<p) = Nexp
A ~ ~ JF{<p) I • ,
[12 · SnS (1.45)
<p <p <P=<P
TF(<p) A
= N exp [1- · -~. d~-
2 ~<p ~<p
J F(<p) I
<P =<P
. (1.46)
From this we easily find the expressions for the inverse transformations and
all possible combined transformations. For example,
20 A. N. VASILIEV
NF(f9)
.
A
= Symexp [ 0 OJ
--1 · - n - F(f9)
2 Of9 Of9 ,=~
I• (1.47)
Starting from the general statement of Wick's theorem (1.18) and arguing
exactly as in the derivation of (1.39), we obtain the following expression
generalizing (1.45) to the case of the product of several symmetric operator
functionals:
(1.48)
Here and below the noncommuting factors on the left-hand side are assumed
to be arranged in increasing order:
n
ll [Sym F; (</>)] = Sym F 1 (<!>) · ... · Sym Fn (<!>) .
i=1
n [.<IF;<<~>)]=
n
i =1
(1.49)
FUNCfiONAL METHODS 21
Here d stands for Sym or N, and the summation in the diagonal terms of the
quadratic form runs over only those fields which correspond to factors in the
Sym-ordered form. If all the factors are written in N-ordered form, there are
no diagonal terms.
If a product of operator functionals appears inside some kind of symmetric
product it is automatically symmetrized, and the usual expressions (1.45) and
(1.46) can be used. For example,
(1.50)
n
T{ fl F; (<P) } =
i =I
(1.51)
In this section we shall discuss the question of defining the T-product in those
cases where the expression contains derivatives of the field with respect to the
argument x, in particular, derivatives with respect to time. We define
22 A. N. VASILIEV
where !ll;(x;) are arbitrary differential operators acting on the arguments x;.
The T-product defined with this auxiliary condition is called the Wick
product, distinguished from the Dyson T-product, which will be discussed
below.
The expression inside the T-product on the left-hand side of (1.52) can be
formally represented as an operator functional (1.44) with a singular kernel:
(1.53)
We recall that the transpose of the differential operator !ll(x) is given by the
rule aT= -'d. If we assume that (1.53) is an ordinary operator functional and
write
Tj. .. jdyl ... dynF (yt .. ·Yn) <P (yl) ... .p (yn) =
=f ... fdyl ... dynF (yt .. ·Yn) T[ <(l{yl) ... <(~ (yn)] •
the right-hand side of this equation for the singular kernel (1.53) is exactly the
right-hand side of (1.52). In other words, the rule (1.52) is equivalent to
extending the reduction formula (1.46) to the case of functionals with any
singular kernel, including to t-local functionals with time derivatives of the
field. We note that an equation analogous to (1.52) is always satisfied for the
N- and Sym-products.
Let us now define the Dyson T-product. Let li';(t;) be arbitrary. time-
dependent operators (other arguments, if they exist, are treated as fixed para-
meters), and each of the F; be either a bosonic or a fermionic operator, but
not a mixture of the two types. The Dyson T-product of these operators is
defined as
in which the summation runs over all simultaneous permutations of the times
t; in the 9 function and the operators Ji';(t;) as a whole, and the sign factor Ep
FUNCfiONAL METHODS 23
while
= I. <-i> nf. .. fdr 1•• •drne u1••• tn> v <r1>... v (tn>. (t.55)
n=O
24 A. N. VASILIEV
and the entire series (1.55) can then be written as a Dyson T-ordered
exponential:
(1.57)
Equation (1.56) is true only when V(t) is a bosonic operator, which is what
we shall always assume, although in practice one encounters cases where this
is not so. For example, the interaction operator of a two-level system with
quantized electromagnetic field is written in the form a+b + b+a, where b+ and
bare the fermionic raising and lowering operators of the two-level system and
a+ and a are bosonic operators. The interaction in this case is a fermionic
operator and the Volterra series ( 1.55) does not reduce to the Dyson T-ordered
exponential.
An important object of study in field theories are the Green functions of a
field, which are defined as
(1.58)
FUNCfiONAL METHODS 25
Here I0) denotes the ground state of the full Hamiltonian, the "physical
vacuum," which is assumed to be nondegenerate and normalized to unity;
cPH (x) is the field operator in the Heisenberg picture <PH (t, x) =
= exp (iHt) <P (0, x) exp ( -iHt). The symbol T0 is defined in the
preceding section.
'tl
will be called the interaction functional in the interval 't2 ::;; t $ 'tt for a given
quantum interaction V. The interaction functional on the entire time axis will
be denoted Sv(cp).
Let us immediately emphasize the fact that Sv is treated simply as some
classical image of the given quantum interaction, and not as a characteristic
of the classical system whose canonical quantization leads to the quantum
theory in question. The functional Sv determines the operator V uniquely,
while the canonical quantization in general is not unique.
We can transform to the interaction picture in (1.57) on the basis of the
following statement: for any set t1 (11) ... tn (tn) of simple t-local operator
functionals,
The symbol Ton the right-hand side denotes the Wick T-product, in which
all operators F; are assumed to be represented by their Sym-forms:
I<'; (t;} = Sym-¥; ( cp) = -¥;< cp ). The need for this representation arises from
our choice of definition of the T-product for coincident times (Sec. 1.2.2}.
To prove ( 1.60), we reduce both sides of this equation toN-form and verify
that the resulting expressions are identical.
The right-hand side of (1.60) is reduced toN-form using the rule (1.50):
N{exp[!:r,~n~+ L
2 ; ocp; ocp; i<tocp; Jx
ocpJ ::-n °
x:r,epP[9(t1 •. . t,.}~1 (cp 1 ) ••• ~"(<p")] lj , (1.62)
p . ..
in which the summation runs over all simultaneous permutations of the times
t; in the a function and the subscripts of the functionals fij while preserving
the order of the functional arguments cp 1••• cp"; £pis determined, as usual, by
the parity of the permutation of the fermionic factors.
The further arguments are nearly identical to the proof of the Wick time-
ordering theorem ( 1.43). The main consideration is that in all the terms of the
sum over permutations in (1.62) the arguments cp; are ordered with index
increasing from left to right, and this ordering exactly coincides with the
ordering of decreasing times in the T-product. Therefore, in the off-diagonal
terms of the quadratic form of the derivatives the contraction n can be
replaced by a, followed by symmetrization in i r;!k exactly as was done in
the proof of Eq. (1.43):
(1.63)
FUNCTIONAL METIIODS 27
=Nexp (
1 a a exp iSv(tl't2 ;<p)l =cf (1.64)
20<pao<p) 111
Here 1<"; ( t) is the operator in the interaction picture and U is the evolution
operator (1.55). By definition,
Using Eq. (1.65) and the group property U(t1, t 2)U(t2, t3) =U(t1, t3) for the
evolution operator, we obtain
28 A. N. VASILIEV
Let t 1 and 't2 be arbitrary numbers such that 't2 S t; S 'tt for any of the times
=
t; in the product (1.66). Using the equatiQns U(O, t 1) U(O, 'tt)U(t1, t 1) and
U(tn, 0) =U{tn• 't2)U('t2, 0), we obtain
where
(1.67)
The summation in the last expression runs over all simultaneous permuta-
tions of the operators P; (t;) as a whole and the times t; in the 9 function and
in the evolution operators U.
We shall prove that the right-hand side of (1.67) is
(1.68)
(1.69)
and in the reduced functional each of the operators 'P; must be replaced by .¥;
and each of the operators U by exp iSv for the corresponding time interval. In
the form (1.69) the first sum (with the prime) runs over then+ 1 fields <p;
which are the arguments of the classical interaction functionals Sv, and the
factor exp ( 1/2 "i:.' •••) is the contribution of all the reduction operators ( 1.64)
for the evolution operators U. The second group of diagonal terms (the sum
with two primes) is the contribution of the reduction operators to theN-form
of all the symmetric functionals .¥;; the t-locality of these functionals together
with Eq. (1.30) allows n to be replaced by.!\ in these terms, exactly as in the
proof of (1.60). As far as the off-diagonal terms in (1.69) are concerned, the
usual arguments according to which the field with highest index has the
smallest time remain valid also for the right-hand side of (1.67), because the
time arguments of the fields in the functional U(t1, t2) are located between It
and t2 (here the assumption t 2 S t; S t 1 is important). This allows us to
substitute (1.63) in the off-diagonal terms of Eq. (1.69), so that the latter
becomes a perfect square and all the fields <p; can, as usual, be set equal even
before differentiation. The product of the factors exp iSv for all the evolution
operators in (1.67) is then combined to form the complete exponential for the
interval t 2 S t St1; the sum over permutations, as in the proof of(l.43),leads
to the substitution 9--+ 1, and in the end we arrive at the right-hand side of
(1.68).
The statement we have proved can be written as follows:
=U (0, t 1) T['Pl (t1) ... lt'n (tn) exp iSv (t 1, t 2;<P)] U (t2, 0) . (1.70)
We note that in deriving (1.45), (1.46), (1.60), and (1.70) we have essen-
tially used only the fact that fort> (the contractions .!\(x, x') and n(x, x')
=
coincide, and for t (they are related by (1.30). In the chapters which follow
we shall study Euclidean field theory and quantum statistics. In these theories
the contractions .!\ and n will be different, but the functional form of the
= =
r~uction operators and the equalities .!\ n for t > ( and .!\ ns for t will=(
be preserved. Therefore, the proof of Eqs. (1.45), (1.46), (1.60), and (1.70)
remains valid also for these theories.
30 A. N. VASILIEV
Let us now consider the expectation value of the operator ( 1.70) in the true
ground state I0). We assume that the following asymptotic expressions of
nonstationary perturbation theory for a discrete nondegenerate level are well
known: for t 1 -+ oo and t 2 -+ -oo·
The meaning of the phase factor ~*(t 1 )<x(t2) is easily found from (1.71):
p(tl)<X*('tz)= (0 IU ('tl' t 2) I0 ). Therefore, for t 1 -+ oo, t 2 -+ -oo
• The S-matrix operator is sometimes written in this expression instead of exp iS.(~).
This notation is careless: strictly speaking, "T-operator" has no meaning at all, in con-
trast to "T-operator functional" (cf. the remark in Sec. 1.2.1).
FUNCTIONAL METHODS 31
function without vacuum loops. The meaning of this terminology will become
clear later. The quantities
(1.75)
are by definition the full Green functions of the field <PH· The "zeroth-order
function" Go= (OI TexpiSV (cp) I0) is a number, the vacuum expectation
value of the S matrix. The functions
Hn (xi .. . xn) = (0 IT0 [cpH (xi) .. .cpH (xn)] I 0) = G01Gn (xi . . .xn)
(1.76)
The symbol Tin this expression can also be understood as the ordinary Wick
T-product of the independent fields cp n• thereby treating ( 1.77) as a special
case of the general definition (1.28). This means that in the language of a
system of independent fields cp n• all the standard reduction formulas remain
valid (the index n, if desired, can be included in the argument x). In particular,
it is possible to use Eqs. (1.60) and (1.70), since in the language of the fields
q>n the interaction functional Sv('POt q>1, ••• ), which is the Sym-form of the
quantum interaction, d~s not contain time derivatives of the fields.
Therefore,
32 A. N. VASILIEV
(1.78)
The symbol I indicates that after the differentiation each of the classical
fields ({); must 't)e replaced by the quantum field <Pi·
The resulting theory can also be formulated in the language of a singl~ field
q> ='Po by changing the interaction functional in a certain way. To do this, we
isolate from the contrac.tion matrix A.m. the "Wick part" l:i'nm:
ti' (x x')
nm '
=ant amt' ti (x' x') .' (1.79)
The extra piece anm is t-local, i.e., it contains the factor ~(t - () and
finite-order derivatives of it. It is also clear that a 00 =0.
Let us now define the functional ~('Po. fPl> .. .) as
U = Nexp(~L~~ ti'nm~~
nm 'Pn 'Pm
)exp iS~(cp0, q>l' ... ) I =cP·.
q1.
(1.81)
I I
The final thing to note is that .this expression can be viewed as the reduction
formula of the ordinary Wick T-exponential
ql
(1.83)
In fact, let <Pn =Kn <P and ti'n, =KnKml:i =Knl:iK!r where Kn are arbitrary
linear operators (for us Kn =if,). We have
FUNcnONAL METHODS 33
~ ' ~ ~ T 0
!ll=~-6. -=~-KA.K-=
~om nmom ~om n mo<p
nm Tn Tm nm Tn m
=l(K!t)A(K~-!-)·
nm <pn <l>m
i.e., the differential form reduces to a perfect square. From this we find
since
(1.84)
G(A) = ;k _!_G
n! n
(iA)n=
n=O
(1.85)
The argument of the functional A(x) is a classical object of the same nature
as the field <p(x), (.~ .• an ordinary function for bosons and an anticonum.iting
function for fermions. In the latter case only functions Gn with even n are
nonzero.
Using Eqs. (1.75) and (1.76), we obtain