Luiz C L Botelho - Lecture Notes in Topics in Path Integrals and String Representations-World Scientific (2017)
Luiz C L Botelho - Lecture Notes in Topics in Path Integrals and String Representations-World Scientific (2017)
Topics in
Path Integrals and
String Representations
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONG KONG • TA I P E I • CHENNAI
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
ZhangJi - Lecture Notes in Topics in Path Integrals and String Representations.indd 1 21-12-16 2:25:15 PM
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page v
To my aphrodites, Mermaids
v
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
Preface
Since the years 1978–1984, the search for an analytical formalism for han-
dling Non Abelian Gauge Theories through String Path integrals has been
pursued with some success by strong interactions Theoretical-Mathematical
Physicists. The basic idea is very simple: write loop wave equations for
the SU (∞) quantum Wilson loop, at least in a formal Mathematical level
in relation to the rigorous mathematical meaning of the loop functional
derivatives and to the rigorous (perturbative or not) Euclidean quantum
Yang-Mill measure – and try to solve it – at least for some classe of suit-
able surfaces; through a string path integral.
These ideas have been throughly exposed in my previous monograph
entitled Methods of Bosonic and Fermionic Path Integral Representations
– Continuous Random Geometry in Quantum Field Theory. Nova Science
Publishers - Inc. NY, 2009 and references therein.
My aim in this another set of informal lecture notes on the subject
is to present author’s original research material and developments on this
problem done after 2007; Mainly based on revised and amplified on author’s
published papers on international scholar journals during 2007–2015.
The methodology used to write my set of lecture notes is the same of
our previous lecture notes sets/research monographs ([1]): My exposition
is intend to be quick and specially expected to be thought – provoking. It
is informal, with graduate students on mind and the application – oriented
style is expected also to estimulate the involviment of Mathematicians in
solving and analyzing the problem on the subject.
Cumbersome use of English and certainly types and spelling mistakes
reflects the author’s limitations on the using of advanced English grammar.
The reader’s criticism and comments are welcome.
vii
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page viii
[1] Botelho, Luiz C.L., Methods of Bosonic and Fermionic Path Inte-
grals Representations, Continuum Random Geometry in Quantum
Field Theory, Nova Science Publishers, Inc., New York-USA, ISBN:
978-1-60456-068, (2009).
Contents
Preface vii
ix
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page x
Contents xi
Contents xiii
Index 227
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
Chapter 1
1.1 Introduction
In the last years approaches have been pursued to reformulate non super-
symetric quantum chromodynamics as a String Theory ([1], [2], [3]) and
thus handle the compound hadron structure in the QCD model for strong
interactions ([3]). The common idea of all those attempts is to represent
the full quantum ordered non supersymetric phase factor as a string path
integral, which certainly takes into account more explicitly the geometrical
setting of the non abelian gauge theory than its usual description by gauge
potential.
Other main protocol to achieve such string representation for the wilson
loop operator in QCD is to use the still not completely understand large
number of colors of t’Hooft for non supersymetric quantum Yang-Mills
theory.
It is the purpose of this chapter to evaluate the static potential between
two static charges with opposite signal on the approach of an effective
reduced quantum dynamics of Yang-Mills constant-gauge fields ([3]) these
results surely expected to be relevant for the validity of the old conjecture
of E. Witten about a QCD(SU (∞)) dynamics dominated by a constant
gauge SU (∞) master field configuration ([4], [5], [6]). These studies are
presented in section 2 of this chapter. In section 3, we present the relevant
1
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 2
QCD(SU (∞)) loop wave equation for our reduced model of constant –
gauge fields for QCD(SU (∞)) and suggest that, a free bosonic string as
solution for this reduced Loop Wave Equation ([7]). We continue with our
study and present also a detailed calculation of the quark-antiquark static
potential from a one-loop approximation on the Regge slope string constant
directly from the well-known Nambu-Goto string path integral ([8]). 1
Finally in section 4, we present also somes studies on the dynamical
aspects of this framework of constant field model by presenting path integral
studies on evaluation of vectorial-scalar color singlet quark currents ([6],[8]).
Before to proceed, let us firstly reproduce two enlightneen discourses on
the present day problem of handle quantitatively Yang-Millls fields outside
the lattice approximation
1 – Quoted from A. Jaffe and Eduard Witten.
Classical properties of non abelian gauge theory are within the reach of
established mathematical methods, and indeed, classical non abelian gauge
theory has played a very important role in pure mathematics in the last
twenty years, especially in the study of three- and four-dimensional (C ∞ -
differentiable) manifolds.
On the other hand, one does not yet have a mathematically complete
example of a quantum gauge theory in four-dimensional space-time, not
even a non abelian quantum gauge theory in four-dimensional.
2 – Related to the pure string holographic approach based on the Mal-
dacena conjecture and Super String Theory it appears interesting to cite
V. Rivasseu (Math-ph/0006017) about the general philosophy underlying
supersymmetric strings.
Today the main strean of theoretical physics holds the view that field
theory is only an effective (approximated!) theory and that superstring
or its variant, M -theory are the best candidate for a fundamental global
theory of nature (including QCD).
However this superstring theory has not yet received direct experimental
confirmation; it has (surely) opened up a new interface with mathemati-
cians, mostly centered around concepts and ideas of geometry and topology
(of C ∞ -manifolds), with algebra and geometry dominating over analysis
and calculational aspects.
Fortunately there is Lattice Gauge Theory, which although has re-
mained largely phenomenological, it has produced somewhat “precise” re-
sults on Experimentall Hadron mass spectroscopy as it has been pointed
1 It is worth to call attention that our constant gauge fields at SU (∞) are not the
out by F. Wilczek (Nature 456,449, 2008). Being enough for that by just
taking some mesons (π, μ, Σ) mass inputs, even if in the context of QED
e2 1
one needs as input only the fine structure α = ∼ ·
4πc 137
As again in this chapter we try to implement the QED one universal
protocol for QED, by taking now our reduced model as the QCD effective
theory at large Nc and as universal imput parameter, the Gluonic conden-
sate 0|Tr(F 2 )|0SU(∞) ([7]).
The Gauge connection Aμ (x) and the field strenght Fμν (x) are explicitly
given by
Fμν (x) = ∂μ Aν − ∂ν Aμ + ig[Aμ , Aν ]− (x)
Aμ (x) = Aaμ (x)λa (1.4)
The SU (N ) generators λa a=1,...,N 2 −1 , are supposed to be Hemiteans and
satisfying the will known matrix relationship below
a b
λ , λ = ifabc λc
δab
Tr λa λb =
2
f abc f dbc = N δ ad (1.5)
In our proposal for the Euchi-Kawai model on continuum, we introduce
the space-time trajector C(R,T ) of a static quark-antiquark pair, separated
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 4
g2N q
lim < ∞. (1.6)
N →∞ L2 p
q
≡a→0 (1.7)
p
Na
lim g 2 = (g∞ )2dim (1.8)
N →∞ L2
a→0
g2 2
× ΔF p [Aμ ] exp + V Tr Aμ , Aν −
4
|g 2 S[C(R,T ) ]|2 1
× exp · TrSU(N ) [A0 , A1 ]2 ·
2 N
(1.9)
In order to evaluate the SU (N )-invariant constant Gauge field path in-
tegral eq. (1.9), we use the Bollini-Giambiagi Cartan matrix decomposition
([5])
Aμ = Bμa Ha + Gbμ Eb (1.10)
where the Cartan basis {Ha , Ea } of the SU (N ) Lie algebra possesses the
special calculations properties ([5], [6])
a) For a, b = 1, 2, . . . , N − 1
Ha , Hb − = 0. (1.11)
N (N − 1)
b) For b = ±1, . . . , ±
2
Ha , Eb − = ra (b) Eb . (1.12)
N (N − 1)
c) For a = 1, 2, . . . , ·
2
−1
N
Ea , E−a = rc (a) Ha . (1.13)
=1
N (N − 1)
d) For a = −b, a, b = ±1, . . . , ±
2
Ea , Eb − = Nab Ea+b . (1.14)
In this distinguished Lie Algebra basis, one can easily fix the Gauge
on the SU (N )-valued invariant matrix path integral by simply choosing all
the N -abelian components Bμa on the connection eq. (2.10) to be vanished.
Namely
Bμa = 0. (1.15)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 6
$ % &'
1 a b c d [g 2 S][C(R,T ) ]
exp + Gμ Gν Gμ Gν Labcd g V + δμ0 δν1
2
N (1.17)
2 2
2
The above matrix valued path integral can be easily exactly evaluated
through re-scalings, at large N : Namelly (see Appendix A for details).
a) For μ = 0, 1: Gaμ → Gaμ [g 2 V ]− 4 .
1
b) For μ = 0, 1;
% &−1/4
[g 2 S[C(R,T ) ])2 ]
Gμ → Gμ g +
a a 2
N (1.18)
2
[N 2 − N )(D − 2) ( (N2 − N )D
− −
× g2V 4 2
(g V ) 4 (1.19)
In this section we intend to show that our proposed SU (∞) constant gauge
field theory leads to a free string theory path-integral. We thus evaluate ex-
plicitly through the string path-integral the next non-confining corrections
to the quark-antiquark potential eq. (2-22).
In order to argument an effective low energy QCD string representation
in this model, we are going to consider the loop have equation ([1]) for
constant gauge fields already on the continuum at large N limit.
Let us thus firstly consider general loops Cx x = Xμ (σ) μ=0,1,2,3 ; 0 ≤
σ ≤ 2π on R4 . It is well-known that formally we have the functional loop
derivative
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 8
a)
1
ψ Cx,x , Aμ (x) = Tr P eig Aμ (X(σ))dXμ (σ) (1.23)
N Cxx
b)
δ ig dX ν (σ)
ψ Cxx , Aμ (x) = Tr P Fμν Xx (σ)
δXμ (σ) N dσ
× exp ig Aμ (X(σ))dX μ (σ) (1.24)
Cxx
3
c)
δ2
ψSU(N ) Cxx , Aμ (x)
δXμ (σ)δX μ (σ)
δ
= (Fμν (X(σ)))
δXμ (σ)
+ ,- .
1 dX ν
= ig Tr P (∇Fμν )(X (σ))
β
(σ) exp ig Aμ dXμ )
N dσ Cxx
(ig)2
+ Tr P (Fμν Fμν )(X β (σ))
N
dX ρ dX ρ
× · (σ) exp ig Aμ dXμ ) (1.25)
dσ dσ Cxx
For constant gauge fields configurations the first term of the right-hand
δ
side of eq. (1.25) ( constant Fμν ) = 0! vanishes identically. So,
δXμ (σ)
after taking the path integral average of eq. (3.25) through the path integral
of constant gauge fields configurations eq. (1.9) and considering the usual
path integral factorization of a product of gauge invariant observable at
SU (∞), together with the formation of non-vanishing value of the Yang-
Mills energy on the non-trivial QCD vacuum one gets finally the following
loop wave equation for the quantum Wilson Loop our Loop in our reduced
SU (∞) gauge theory on R4 .
2π μ
δ2
ψSU(∞) X (σ)] dσ
0 δXμ (σ) δX μ (σ)
3 The central hypothesis about the Constant Gauge Fields QCD(S ∪ (∞)) stringy
vacuum:
ΩVac |(Fμν F μα )(x)|ΩVac = ΩVac |(Fμν F μν )|ΩVac .
να
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 9
(≥ 0)
/ 0 2π 1 1
2
= − g∞ (0) 0|F 2 |0SU(∞) × 1Xμ (σ)12 × ψSU(∞) X μ (σ)] dσ
0
(1.26)
Here, we have the SU (∞) Euclidean Gauge Theory parameters
identification a)
2
g∞ (0) = lim (g 2 N )
N →∞
b)
1 2 1 1 3
δ ρα 0|F 2 |0SU(∞) = lim Tr 01 dD x Fμρ (x) F μα (x) 10 <0
N →∞ N
(1.27)
By comparing the above parameters with those coupling constants of the
static case,one has the following identification for the Spaghetti QCD non
perturbative broken scale invariance vacuum effective area domain with the
QCD value condensate
1 2 3
eff
= − 0|F 2 |0 > 0. (1.28)
a
A result already expected ([7]).
At this point we point out that the reduced loop wave equation is the
same of a free Bosonic string theory with the string Regge slope identifica-
tion with the reduced Gauge theory at SU (∞)
1 2
= − g∞ (0) 0|F 2 |0 (1.29)
(2πα )2
As a consequence, one should expects the phenomenological path-
integral representation between the large Nc and extreme low energy con-
tinuum QCD(SU (∞)) (represented by constant SU (∞) gauge fields), with
a free bosonic (creation process) string path integral on the light-cone gauge
2 3
ψ Cxx , Aμ (x) SU(∞) = G(Cxx , A)
low−energy
∞ X μ (σ,A)=Cxx (σ)
= dA DF [X μ (σ(ζ)]
0 X μ (σ,0)=0
1 A 2π 2 1 2
× exp − dt dσ ∂ζ X μ + 2
∂σ X μ (1.30)
2 0 0 (2πα )
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 10
Gstring Cxx , 0 = Gstring Cxx , ∞ = 0 (1.31)
At this point it is worth observe that our light-cone string path integral
propagator
Gstring Cxx , A = DF [X μ (σ, π)]
X μ (σ,0)=Cxx (σ)
1 A 2π 2 1 2
× exp − dt dσ ∂ζ X μ + ∂σ X μ (1.32)
2 0 0 (2πα )2
satisfies the area-Difusion euclidean Schrodinger loop functional equation:
∂Gstring Cxx , A
∂A
2π
δ2 1
= dσ − |X (σ)| 2
Gstring Cxx , A (1.33)
0 δXμ (σ)δXμ (σ) (2πα )2 μ
togheter with the boundary conditons:
Gstring Cxx , 0 = Gstring Cxx , ∞ = 0. (1.34)
Let us now evaluate in details the quark-antiquark potential from the
general Nambu-Goto string, path integral in RD
ψ C(R,T ) = DF X μ (σ, ζ)
$ % &'
1 T R 4
× exp − dζ μ
dσ det(h(X (σ, ζ)) (1.35)
2πα 0 0
Y μ (0, ±T ) = Y μ (0, 0)
⎪
⎪
⎩μ = 2, 3, . . . , D − 2
c)
h00 X μ (σ, ζ = ∂ζ X μ ∂ζ Xμ (σ, ζ) = 1 + πα ∂ζ Y μ ∂ζ Y μ (σ, ζ)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 11
d)
h01 X μ (σ, ζ = πα ∂σ Y μ ∂ζ X μ (σ, ζ)
e)
h11 X μ (σ, ζ = 1 + πα ∂σ Y μ ∂σ X μ (σ, ζ) (1.36)
(D−2)
= e− 2πα det −
RT
2 − Δ (R,T ) (1.38)
where the Laplacian −Δ(R,T ) on the rectangle C(R,±1) has Dirichlet bound-
ary conditions and considered projected out from the zero modes.
It has been evaluated fully on the literature ([8]):
det − − Δ(R,T )
D−2
2
% &
R
( D−2
2
∞ / 0−2(D−2)
+ πT − 2πn T
= e 6R (D−2) × 1−e R (R) (1.39)
T n=1
At this point, one can easily verify the string result for the quark-
antiquark potential:
1 1 (D − 2)π 1
V (R) = lim − n ψ C(R,T ) = R− ·
T →∞ T 2πα 6 R
+ ,- .
Luscher correction
(1.40)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 12
1 1
2 1 1 e 2 1 3
1
G(x, y, t) = x 1exp −t − i∇ − A − i e ϕ + g V 1y (1.41)
2m c 1
X(t)−x → →
G(x, y, t) = DF (X(σ)) DF [ p (σ)]
X(0)=y
⎧ ⎛ →
⎞ ⎫
⎨ t → ⎬
× exp +i ⎝P · dA ⎠ (σ) dσ
⎩ 0 dσ ⎭
$ %
t → 2
1 e→ →
× exp − P (σ) − A(X(σ))
0 2m c
→
− i e ϕ(X(σ), σ) + g V (X(σ), σ) (1.42)
→ e→ → →
P (σ) − A(X(σ), σ) = Q(σ) (1.43)
e
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 13
Namely
t t
dX ∂Λ
exp ie (∇Λ)(X(σ), σ) dσ + ie dσ
0 dσ 0 dσ
t
d
= exp ie Λ(X(σ), σ) dσ
0 dσ
= exp ie Λ(x, t) − Λ(y, 0) . (1.48)
D
In the euclidean quantum field case in R one must consider the gen-
erating fermionic case
1
det 2 D∗ (A) D(A)
Z[Aμ ] = 1 , (1.49)
det 2 ( ∂ ∗ ∂)
which can be re-write through well-known propertion loop space techniques
as a loop space D-dimensionall non-relativistic propagator
1 ∞ dt Xμ (ζ)=xμ
g Z[A]/Z(A = 0) = − dD xμ DF [Xμ (σ)]
2 0 t RD Xμ (0)=xμ
$ '
2
1 t dX μ
exp − (σ) dσ
2 0 dσ
/ t
ie μ ν
Pspin PSU(N ) exp ie μ
Aμ (X (σ)) + [γ , γ ] Fμν (X (σ)) dσρ
,
0 4
(1.50)
where the symbols Pspin and PSU(N ) means σ-ordered matrixes indexes of
the spin-color gauge connection phase factor (the fermionic Wilson loop).
At very low energy region, one could consider as an effective theory, all
degree of Dirac spin of the particle, non-dynamical (i.e. frozen to scalar
values), or equivalently one can disregard the spin orbit shenght field cou-
ig μ ν
pling on eq. (1.50) [γ , γ ]Fμν (X β (σ)) ∼
=0 .
Let us now apply the above well-known remarks to evaluate approxi-
mately “scalar” composite operators quark-antiquark Green functions.
The effective connected generating functional for vectorial quark cur-
rents at very low energy (the strong coupling region of the underlying
Massless Yang-Mills theory) is given by the following loop expression
/ 0 9 :
1
ef f
g ZQCD [Jμ ] = g det 2 D∗ (igAμ + Jμ ) D(igAμ + Jμ ) (1.51)
Aμ
there Aμ denotes the complete Yang-Mills path integral, Aμ the Yang-
Mills field μand Jμ (x) the external source of the vectorial quark currents
Jμ (x)(ψγ ψ)(x) .
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 15
On the basis of the above discusions one has the following expression
for eq. (4.50), with the QCD scale ΛQCD already bult in a large SU (∞)
limit:
/ 0 ΛQCD
ef f 1 dt
g ZQCD [Jμ ]ΛQCD = −
2 1/ΛQCD t
2
1 t dX
× dD zμ DF (X α (σ)) exp − (σ) dσ
X α (0)=X α (t)=z α 2 0 dσ
9 t : t
dX μ dX μ
× PSU(N ) exp ig Aμ (σ)dσ exp i Jμ dσ
0 dσ Aμ 0 dσ
(1.52)
The vectorial N -point bilinear quark current is given by in momentum
space
2 3
(ψγ μ1 ψ)(x1 ) . . . (ψγ μN ψ)(xμ ) Aμ
δ2 ; / 0 1
ef f 1
= g ZQCD (Jμ ) 1 = Gμ1 ...μN (x1 , . . . , xN )
δJμ1 (x1 ), . . . , δJμN (x1 ) Jμ ≡0
(1.53)
Or equivalently, after suitable Fourier momenta transforms.
ΛQCD
1 N dt t t
<
GΛQCD Pμ1 , . . . , PμN = − (i) dσ1 . . . dσN dD zμ
2 1/ΛQCD t 0 0
Xμ (t)=zμ
× DF [X(σ)]
Xμ (0)=zμ
t 2
1 dX
× exp − (σ)dσ
2 0 dσ
dXμ1 dXμN
× (σ1 ) . . . (σN )
dσ dσ
N
μ
× exp i pk Xμ (σk )
h=1
t
9 ig Aμ dX μ :
× e 0 (1.54)
SU(∞)
On the basis of eq. (1.54), one could envisage to try to evaluate eq. (1.53)
through an Gaussian (euclidean) string path integral. Let us take for
granted such string representation as a workable sound hypothesis on basis
of our previous studies.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 16
The key point is to evaluate in terms of the loop variable X μ (σ), the
following anihillation string path integral:4
∞
Y μ (σ,A)=0
W Xμ (σ), 0 ≤ σ ≤ t = dA DF (Y μ (σ, s))
0 Y μ (σ,0)=X μ (σ)
$ '
1 A t
μ 2 1
μ 2
exp − ds dσ ∂s Y + ∂σ Y (σ, s) (1.55)
2 0 0 (πα )
In order to evaluate eq. (1.55) exactly, let us firstly consider the stndard
re-scale
1/2
σ −→ σ πα =σ
s −→ s
μ 1/4 μ
Y μ (σ, s) −→ Y (σ, s) ≡ πα (Y (σ, s)) (1.56)
which formally turns the string velocity into a overall factor into the path
integral weight
∞ μ
Y (σ,A)=0 μ
W X μ (σ) = dA DF Y (σ, s)
μ
0 Y (σ,0)=X μ (σ)
⎧ ⎡ ⎛ ⎞⎤⎫
⎨ 1 ⎣ A t(πα )1/2
∂Y
μ 2
∂Y
μ 2
⎬
× exp − ds dσ ⎝ + ⎠⎦
⎩ (2πα ) 0 0 ds dσ ⎭
(1.57)
A−s √
Y μ (σ, s) = X μ (σ) + πα Z μ (σ, s)
A
Z μ (σ, A) = Z μ (σ, 0) = 0
Z μ (σ + t, s) = Z μ (σ, s), (1.58)
4 If 1
the action was A
0
ds t
0
dσ[(∂s Y μ )2 + (πα )2
(∂σ Y μ )2 ](s, σ), then eq. (1.56) would
μ
takes the form σ → σ = σ(πα ) and Y μ
(σ, s) = Y (σ, s).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 17
(1.59)
Just for completeness, we note the following exactly expressions for the
fluctucting worl-sheet Z μ Laplacean determinant and its Green function on
σ
+; ,- . + ,- .
ξ
12
the rectangle 0, (πα ) t × [0, A]:
% & −D/2
/ 0 2πn
2
2πm
2
−D
det 2 −Δ 1 = 1 +
((πα) 2 t,A)
n,m ((πα ) 2 t A
D/2
(πα ) 2 t
1
π A
= exp D
A 6 (πα ) 12 t
∞ −2D
2πnA
× 1 − exp 1 ; (1.60-a)
n=1 (πα ) 2 t
(−Δ)−1 1 (σ, σ , s, s )
((πα ) 2 t,A)
2πin(σ−σ )
+∞ 1
1 e (πα ) 2 t
=−
2 n,m 2πn
2
2πm 2
−∞ 1 + A
(πα ) 2 t
2πm 2πm
× cos (s − s ) − cos (s + s ) (1.60-b)
A A
As a consequence we get for N -point euclidean scalar meson Green
function after disregarding the contribution of the functional determinant
eq. (1.60-a) and by considering πα = 1 from now on
< (t) (P μ , . . . , P μ )
G 1 N
ΛQCD ∞
1 dt t t
=− × dσ1 . . . dσN dA
2 1/ΛQCD t 0 0 ε
μ μ
× F (Pk · Pk ), A, T, {σ1 , . . . , σN } . (1.61)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 18
Conclusion: We can see from this work that another time in QCD physics
it is raised hopes that on underlying string dynamics is in place to han-
dle correctly the mathematical – calculational aspects of Euclidean Non-
Abelian Gauge – abelian Gauge theories in theirs confining phase, signaled
here by
a hypothesizednon-vanishing energy for the non-perturbative vac-
uum 0|tr(F 2 )|0 = 0 . (See eq. (1.27) for the analytic expression of this
hypothesis).
At this point let us remark that our string representation for the QCD-
Eguchi-Kawai reduced model is a free bosonic one. However if one considers
next non-constant full space-time variable corrections/fluctuations to the
gauge connections entering into the full Yang-Mills path integrals, one is
lead to the self-avoiding fermionic full structure of the QCD(SU (∞)) ([3])
with the extrinsic string as an effective bosonic string representation for
QCD(SU (∞)) (chapter 3).
Finally, we should roughly say that our path integral is at SU (∞),
1
but surely we are in the context of a somewhat expansion for the pure
D
quantum Yang-Mills field, with a non perturbative vacuum. Unfortunately,
1
the famous expansion of Lattice QCD has not been generalized or even
D
well-understood on the continuum. We hope that our work should be a
step in this direction.
1.5 Appendix A
becomes now
⎧ ⎫
⎨1 (g V ) × (g V )
2 2 −1/2 ⎬
<b < c <d
<a G
I2 = exp G0 2 G0 G2 Labcd 2 s)2 (A.6)
⎩4 g 2 V + (gN/2 ⎭
We added also the remark about the constant gauge field non-abelian
Stokes theorem
/ / 0?
W [C] = TrSU(N ) P eig c Aμ dXμ
1 μν
= TrSU(N ) P eig Fμν ds
N
1 > / ??
= TrSU(N ) P e(ig)ig[Aμ ,Aν ]− S (δμ0 δν1 )
N
N →∞ 1 (g 2 S)2
∼ TrSU(N ) 1 − g 2 S[A0 , A1 ]− + [A0 , A1 ]2− + . . .
N 2
N →∞ (g 2
S)2
∼ exp + TrSU(∞) [A0 , A1 ]2− (A.10)
2N
As a last point of our Wilson loop evaluations at large N at the context
of constant gauge field configurations, we point out that at D = 2 (the two
dimensional case, it is not need to consider the phenomena of the dimen-
sional transmutation coupling constant and the evaluation above displayed
leads directly to the area behaviour for the Wilson Loop. (Remark origi-
nally due Bollini-Giambiagi). However it is important to keep in mind that
such result can be obtained quite straightforwardly by using the axial gauge
Aa0 = 0, and mostly important, it shows the non-dynamical behaviour of
the pure Yang-Mills quantum (perturbative) theory at two-dimensions. At
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 22
1.6 References
[1] Luiz C.L. Botelho - “Critical String Wave Equations and the
QCD(U (Nc )) String. (Some comments)”, Int. J. Theor. Phys.
(2009) 48 - 2715-2725.
[3] Luiz C.L. Botelho - “Methods of Bosonic and Fermionic Path Inte-
gral Representations - Continuous Random Geometry in Quantum
Field Theory”, Nova Science, New York - (2008).
[5] Luiz C.L. Botelho - “The confining behavior and asymptotic free-
dom for QCD(SU (∞)) - a constant Gauge field path integral anal-
ysis”, Eur. Phys. J. 44, 267-276 (2005).
Chapter 2
2.1 Introduction
Since its inception on seventy years ago, Non-Abelian Gauge theories have
shown as the most promissing mathematical formalism for a realistic de-
scription of strong interactives and even formulated on its supersymmetric
version it has became an attractive attempt for unify Physics.
In strong interaction the picture image of a mesonic quantum excita-
tion, is for instance, a wave quantum mechanical functional assigned to a
classical configuration of a space-time trajectory of a pair quark-antiquark
bounding a space-time non-abelian gluon flux surface (of all topological
genera) connecting both particle pair: the famous t’Hoft-Feymman planar
diagrams ([1]).
It appears thus, appealing for mathematical formulations to consider di-
rectly as dynamical variables or wave functions in this Faraday line frame-
work for non-abelian gauge theories, the famous quantum Wilson Loop
or (quantum) holonomy factor associated to a given space-time Feynman
quark-antiquark closed trajectory C in a SU (Nc ) Yang-Mills quantum field
theory. Namely
9 :
1 (c)
ψ[C] = W [C] = TrSU(Nc ) P exp ig Aμ dxμ (2.1)
Nc C
25
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 26
structure form
1
ψ[C] = exp − A(S) ΦQCD [C] (2.2)
2πα
@ S,∂s=C
with denoting the Feynman-Wiener continuous sum over all surfaces
S;∂S=C
S, with all topological genera and bounded by C; α is the fundamental
constant of strong force physics called the Regge slope parameter ([1]) A(S)
is the area functional “evaluated” at the sample surface S and Φ[C] is a
functional related probably to the existence of a (neutral) non-abelian 2D
intrinsic fermions structure on the surface S, called the Elfin fermionic
functional ([1]).
It is a consequence of eq. (2.1)-eq. (21.2) that non-abelian gauge theories
(even on theirs supersymmetric versions ([2])) should be better reformulated
as a dynamics of random surfaces (strings theories).
Our aim in this chapter is to present in full technical details added
with ours original improvements, the work of A.M. Polyakov ([1]) to give
a precise path integral meaning for eq. (2.2) in a 2D-gravitational context
and only considering the case of trivial surface topology.
We give (also in details) the path integral meaning for the usual case of
Nambu-Goto for eq. (2.2) in the pure surface context, all these new results
due to ourselves ([1]).
This chapter is organized as follows: in §1.2 we survey some basic results
of classical surface theory. In §1.3, we expose the Physical toy model exactly
soluble Polyakov’s framework. In §1.4, we expose the Nambu-Goto theory
(our results).
with hab (ξ) = (∂a X μ ∂b Xμ )(ξ) denoting the metric tensor induced on the
surface Sc (rigorously induced on the surface-manifold tangent bundle) by
the parametrization {Xμ (ξ)}.
The most important property of the functional eq. (2.3) is its invariance
under the (formal) group of the reparametrizations of S. Namely:
(ξ1 , ξ2 ) = (ϕ1 (ξ1 , ξ2 ); ϕ2 (ξ1 , ξ2 )
Xμ (ξ ) = Xμ (ϕ(ξ1 )) (2.4)
here ϕ(ξ ) denotes a two-dimensional intrinsic C1 vector field on Ω with
everywhere non-zero Jacobian.
Formal Euler-Lagrange equations associated to the surface action func-
tional eq. (2.3) can be easily written and producing the boundary value
problem on Ω for each μ-component (μ = 1, . . . , D)
1
1 Δh X μ (ξ) = 0
1 1
1 μ (2.5)
1 X (ξ))1ξ∈∂Ω = C μ
where Δh denotes the second order elliptic operator called Laplace-Beltrami
associated to the metric (hab (ξ)) (h(ξ) = det{hab (ξ)})
1 √
Δh = √ ∂a ( h hab db ) (ξ) (2.6)
h
If one now choose the conformal gauge for the surface hab (ξ) = eϕ(ξ) δab ,
formally one obtains that the surface vector position satisfies the Dirichlet
problem in Ω.
1
1 Δh=δ X μ (ξ) = 0
1 ab
1
1 μ (2.7)
1 X (ξ))1ξ∈∂D = C μ
The solution of the above mentioned potential problem can be exactly
given by conformal complex variable theory methods ([2] - Chapter 1).
Note that eq. (2.7) produces minimal surfaces (i.e. classical surfaces
which minimize the area functional locally) as the associated classical sur-
faces actions on the Nambu-Goto theory eq. (2.3). Note that all the above
displayed discussion remains correct to the case of general topological gen-
1 √
era (i.e. χ(S) = ( h R(h))(ξ) dξ 2 = 0; here R(h) denoting the scalar
4π Ω
of curvature associated to the induced metric hab (ξ)).
However at the classical level, there is a quadratic area functional due to
Howe-Brink-Polyakov equivalent to the above result related to the classical
aspects Nambu-Goto action. It is the functional associated to a theory of
D scalar classical massless fields on Ω but interacting with intrinsic (news)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 28
conformal symetry which acts solely on the new degree of freedom (with
λ(ξ) > 0), crucial for the exactly modeel solubility.
gab (ξ) → λ(ξ)gab (ξ). (2.12)
The classical motion equations associated to the Howe-Brink-Polyakov
functional are easily written down:
Δgab X μ (ξ) = 0
1
X μ (ξ)1 = C μ
∂Ω
1
Tab (ξ) = (∂a Xμ ∂b X μ − gab g cd ∂c X μ ∂d Xμ )(ξ) = 0. (2.13)
2
From the last classical motion equation (2.13) for the intrinsic metric
field, one obtains the result
gab (ξ) = λ(ξ)(∂a Xμ ∂b X μ )(ξ) (2.14)
where the unknow scale λ(ξ) can be formally fixed to be the function λ(ξ) =
1 on the interior of Ω.
gab (ξ) ∂Ω = gab (ξ) ∂Ω = δab . (2.15)
Another important classical surface functional, probably related to the
still not completely understood functional ΦQCD [C] on eq. (2.2) is the so
called extrinsic functional which is defined by the square of the surface
mean curvature (see eq. (2.6)))
2
1 √
(H2 (S)) = (Δh X μ )2 = − √ ∂a ( h hab ∂b )(X μ . (2.16)
h
Namely
√
Fextr (S) = (Δh X μ )2 (ξ) d2 ξ. (2.17)
Ω
where λab (ξ) denote lagrange multipliers insuring that at the classical level
gab (ξ) = (∂a X μ ∂b Xμ )(ξ).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 30
(f Δ2 g)d2 ξ = (g Δ2 f )d2 ξ
Ω Ω
Δg ∂f ∂ ∂g
+ −f ∂ + Δg + g Δf − Δf ds. (2.20)
∂Ω ∂n ∂n ∂n ∂n
As a further comment and just for the reader’s curiosity, one has an ana-
logue of representing (at least locally) two-dimensional harmonic functions
on Ω by analytical complex variable functions; one still has the following
representation (not unique!) for biharmonic functions (the Goursat repre-
sentation - 1898)
V(ξ1 , ξ2 ) = Re{z ϕ(z) + ρ(z)} (2.21)
where z = ξ1 + iξ2 and (ϕ(z), ρ(z)) a pair of complex variable analytic
functions on Ω.
If the surface S is on R3 and given in “nonparametric form” X 3 =
f (X 2 , X 2 ), we can introduce as parametric coordinates ξ 1 = X 1 , ξ 2 = X 2
and obtain as a result convenient for computations (exercises for the diligent
reader), the Gauss curvature given explicitly by
2
R(hab ) = 1 + fX2 2
1 + fX 2 · det{fab (X 1 , X 2 )}. (2.22-a)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 31
1 1 1
1Xξ1 ξ2 Xξ21 ξ2 Xξ31 ξ2 1
1 1 1
D = √ 1 X1 X2 X3 1 (2.23-c)
EG − F 1 1 1 ξ1 ξ1 ξ1 1
Xξ2 Xξ22 Xξ32 1
2
1 1 1
1Xξ2 ξ2 Xξ22 ξ2 Xξ32 ξ2 1
1 1 1
D = √ 1 X1 X2 X3 1
EG − F 1 1 1 ξ1 ξ1 ξ1 1
Xξ2 Xξ22 Xξ32 1
2
Finally we remark that one could easily generalize all the above written
results to the general case of the initial ambient space RD being new a gen-
eral Riemann Manifold (M, Gμν (X γ )). In this case, the “induced” surface
metric tensor hab (X(ξ)) = ∂a X μ (ξ)∂b Xν (ξ) will be replaced by the new
“induced” tensor
hab (X(ξ), [Gμν ]) = ∂a X μ (ξ)Gμν (X γ (ξ))∂b X ν (ξ)
on the exposed formulae. The full classical and quantum theory of there
surfaces σ-models can be found in [1].
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 32
After exposing some basic concepts of the classical surface theory in Section
1.2, we now pass to the vital problem of quantization on the formalism of
Feynman-Wiener path integrals.
Following R.P. Feynman in his theory of path integration – sum over
histories, a mathematical meaning for the continuous sum over (now), eu-
clidean quantum (random) surfaces for eq. (1.2) should be given by follow-
ing path integrals for the Nambu-Goto case and of A.M. Polyakov respec-
tively (see eqs. (2.3)–(2.8)).
1
GN G (C) = 1 dμ[X (ξ)] exp −
μ
A(Sc ) (2.24-a)
Xμ (ξ)1 =Cμ 2πα
ξ∈∂Ω
1 1
dμ[X (ξ), gab (ξ)] exp −
μ
Xμ (ξ)1
Gp (C) = A(Sc )
=C
1ξ∈∂Ω μ 2πα
gab (ξ)1 =0
ξ∈∂Ω
√
× exp −μ20 g(ξ) d2 ξ (2.24-b)
Ω
Here α and μ20 are constants to be identified with certain physical pa-
rameters of the theory. Note that α has dimension of inverse if mass square.
And [μ20 ] = [α ]−1 . It is important remark that the Feynman-Wiener path
measures dμ[X μ (ξ)] and dμ[X μ (ξ), gab (ξ)] must be defined in a such way
in order to be fully invariant under the action of the local diffeomorphism
group of both descriptions (see eq. (2.4) and eq. (2.9)).
We aim now to evaluate explicitly the A.M. Polyakov’s integral eq. (1.24-
b). As a first step one recall that we have imposed the “fluctuat-
ing” zero Dirichlet
1 boundary condition for the intrinsic metric field
gab (ξ) gab (ξ)1∂Ω = 0 . That results lead us to the effective action for the
surface dynamics weight functional
1 √
A(Sc ) = g X μ − Δg Xμ (ξ) d2 ξ. (2.24-c)
2 Ω
Since at the classical level, the metric field decouples (one can choose
it in the form gab = eϕ δab ) and considering
4 the usual classical plus quan-
CL q
tum decomposition Xμ (ξ) = Xμ (ξ)1 + (πα ) Xμ (ξ), where the quantum
correction Xμq (ξ) is such that Xμq (ξ)1∂Ω = 0.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 33
Let us choose the conformal gauge fixing to evaluate the above metric
path integral sucessfully ([1]), but already considering the metric positivity
gab (ξ) = eϕ(ξ) δab . (2.30)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 34
/√
0
γ (ab,a b ) [gcd (ξ)] = g(g aa g bb + c g ab g a b ) (ξ) (2.32-b)
where
=0
+ ,- .
δV(ξ) = δϕ(ξ) + (∇c Ec )(ξ) = δϕ(ξ) (2.40)
and the Faddev-Popov operator acting on the two-dimensional vector field
generators of the local group of coordinate transformations is explicitly
given by
A a = − (∇d ∇d δ b + [∇b , ∇a ])Eb (ξ)
(LE) (2.41)
a
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 36
dμ[gab (ξ)] = dcov [ϕ(ξ)]dcov [E1 (ξ)]dcov [E2 (ξ)] det1/2 [L]. (2.42)
Here
ϕ(ξ)
/ ϕ(ξ) 0 ; ϕ(ξ)
dcov (ϕ(ξ)) = e 2 δϕ(ξ) = δ 2e 2 = DF e 2
(ξ∈Ω) ξ∈Ω
d cov
[Ea (ξ)] = d Ea (ξ) = DF [Ea (ξ)] (2.43)
ξ∈Ω
Just for pedagogical purpose let us evaluate in details the relevant term for
the Fadeev-Popov operator in the above formulae.
We have that, for instance, the following sample calculation
√
d2 ξ g(∇a Eb + ∇b Ea )g aa g bb (∇a Eb + ∇b Ea )
Ω
√
= d2 ξ{ g(∇a Eb )g aa g bb (∇a Eb )}(ξ) + similar terms
gbb ∇a Eb =∇a (gbb Eb )=∇a E b
+ ,- .
√
= d2 ξ g (∇a Eb , ∇a E b )
+ ∇a E ∇b E + ∇b E ∇a E + ∇b E ∇ Ea (ξ)
b a a b a b
√
= d2 ξ g Eb (−∇a ∇a )E b − E b (∇a ∇b )E a
− E (∇b ∇a )E − E (∇b ∇ )Ea
a b a b
+ ,- .
2 √
=− d ξ g 2Eb (−∇a ∇a )E − E (∇a ∇b + ∇a ∇b )E a
b b
(∇a E a =0)
√ + ,- .
= −2 d2 ξ g Ea (∇ ∇c )δab + [∇b , ∇a ]− Eb
c
(2.44)
where we have introduced the complex plane notation and the above dis-
played operators now acting on complex functions (isomorphic to two-
component objects = vector fields)
∂ ∂ ∂ √
= −i (i = −1)
∂z ∂ξ1 ∂ξ2
∂ ∂ ∂
= +i (2.46)
∂z ∂ξ1 ∂ξ2
In ref[3], we present the explicit evaluation of elliptic operators of the
form (for j being a positive integer) below considered
Lj = e−(j+1)ϕ(ξ) ∂z (ejϕ)ξ) ∂z ).
The result is
>
1 + 6j(j + 1)) 1
detF (Lj ) = exp − d2 ξ (∂a ϕ)2 (ξ)
12π Ω 2
1 ?
− lim d2 ξ eϕ(ξ) (2.47)
ε→0−1 2πε Ω
As our final result of this covariant Polyakov path integral, we get the
2D-induced quantum gravity Liouville model
; ϕ
(26 − D) 1
I= D e F 2 (ξ)
exp − 2 2
(∂a ϕ) (ξ) d ξ
48π Ω 2
−μ2ren
× e e ϕ(ξ) 2
d ξ . (2.49)
Ω
(2 − D)
Here μ2r = μ20 + lim+ .
8πε
ε→0
Note that the quantum measure on the above displayed Liouville model
B
is not the usual flat Feynman measure dϕ(ξ) = DF [ϕ(ξ)] as initially
ξ∈Ω
wrongly supposed by A.M. Polyakov.
As a consequence one should
1 re-write
1 it in terms of the canonical Gold-
1 ϕ(ξ) 1/2 1
stone boson field ρ(ξ) = 1 e 1 which lead us to a kind of “non-
compact” σ-model with a “renormalized” mass term
(26 − D) (∂a ρ)2 2
I = DF [ρ(ξ)] exp − d ξ − μ 2
r ρ 2
(ξ) d2
ξ
12π Ω ρ2 Ω
(2.50)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 38
which would lead to the same expression eq. (2.50) but with the “reduced”
anomaly conformal coefficient 26-D to 25-D, if one could disregard the in-
finite piece on eq. (2.51) and if the “Fujikawa-like” evaluation of the func-
tional jacobian could be done more invariant. At this point it appears
that the above 2D-Liouville-Polyakov path integral only makes sense at the
classical level which is formally equuivalent to evaluate all the observables
in the ϕ(ξ)-theory at the limit of D → −∞ ([1]). One can see this after
considering the re-scale
=
48π
ϕ→ ϕ
26 − D
ϕ
; √ 48π D→−∞
DF [e 2 ] → DF e 26−D ϕ −→ DF [e0 ] ∼ classical.
ing covariant behavior for the Beltrami-Laplace operator for small distances
−1 1 1
Δg=eϕ δab (ξ, ξ )ε=(ξ−ξ )→0 ∼ − g eϕ(ξ) |ξ − ξ |
2πε 2π
1 1 1 1
∼ − ϕ(ξ) − g|ξ − ξ |.
2π ε 2π 2π
(2.52)
This lead us to consider the regularized from of the Green function used on
dual models based on the Polyakov’s path integral
⎧
/ 1 1 0 ⎪⎨− 1 g|ξ − ξ | ξ = ξ
1 −1 −EΔg=eϕ δab 1 2π
ξ 1Δg=eϕ δab e 1ξ =
⎪− 1 1 + 1 ϕ(ξ)
⎩ ξ = ξ
g ε 4π
4π
(2.53)
Note that we have used the following formulae to write explicitly the func-
tional trace of the general two-dimensional (strongly) elliptic operators ([3])
∂2 ∂2 ∂ ∂
A = − g11 2 + g22 2 12×2 − (A1 ) − (A2 ) − A0 (2.54-a)
∂ξ1 ∂ξ2 ∂x1 ∂x2
1
lim tr(e−tA )t→0 d2 ξ (g11 g22 )− 2 (ξ)
+ 1
=
t→0+ 4πt
1 > 1
d2 ξ(g11 g22 )− 2 (− R(g −1 ))
1
+
4π 6
1 ∂
d2 ξ(g11 g22 )− 2 (g11 g22 )− 2 A1
1 1
−
2 ∂ξ 1
∂ 1 2 1 2 ?
− 12
+ ((g 11 g 22 ) A2 ) − (A1 /g 11 ) − (A2 /g 22 ) + A0 + O(t) (2.54-b)
∂ξ 2 4 4
In order to given a path integral meaning for the symbolic Feynman con-
tinuum sum over surfaces histories eq. (2.24-a), we start re-writting it in
the following Polyakov’s form, but in the presence of a constraint ([1])
1 2 √
GN G (C) = dμ[xμ (ξ), gab (ξ)] exp − d ξ g g ab
∂a X μ
∂b X μ (ξ)
2πα Ω
× δcov
(F )
gab − ∂a X μ ∂b Xμ (2.55)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 40
(2.56)
where the covariant Feynman-Wiener measure on eq. (1.56) is the element
of volume of the functional metric
√
ds2 = ||δλab ||2 = ( g δ λab (g aa g bb )δ λa b )(ξ)d2 ξ (2.57)
Note the usual non-covariant function “flat” constraint relating the sur-
face vector position to the auxiliary metric field gab (ξ) on the conformal
gauge.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 41
After realizing the immediate ρ(ξ) functional integral, one gets the final
result, after a renormalization of the Regge slope constant (∂+ = ∂z , ∂− =
∂z ) (*) 1
⎡ ⎤
4
GN (C) = ⎣ dX μ (z, z) h(X μ (z, z))⎦
4
(μ,ξ,ξ )
2.5 References
[1] Luiz C.L. Botelho - Methods of Bosonic and Fermionic Path Inte-
grals Representation - Continuous Random Geometry in Quantum
Field Theory - Nova Science - (2007)
[2] Luiz C.L. Botelho - Lecture Notes in Applied Differential Equations
of Mathematical Physics - World Scientific - 2008.
[3] J.T. Oden and J.N. Reddy - An Introduction to the Mathematical
Theory of finite elements - John Willey & Sons - 1976.
Here
A(σ) = σ Eμν ∂ν ϕ (A-10)
Since TrDirac (γ5 ) = 0, one has the immediate result
det D(A)
/ g2 g2
= e− 2π (∂φ)2 d2 ξ
= e− 2π A2μ (ξ)d2 ξ
× δ (F ) (∂μ Aμ ) (A-11)
det ∂
In the general non gauge fixed case, one has the result:
det(/
D(A)) g2
= DF [ω(x)]e− 2π (Aμ +∂μ ω)2 d2 ξ
det( ∂)
2 ∂μ ∂ν
g
− 2π d2 ξ Aμ δμν − (−∂ 2 ) Aν (ξ)
=e (A-12)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 44
So
det(/
D(A)) g2
g = d2 ξTrDirac (iγ 5 (−2i Eμν )γ5 φ × Fμν (A)
det( ∂) 16π
g2
= d2 ξ φ Eμν Fμν (A)
4π
g2 g2 g2
= d2 ξ φ ∂ 2 φ = − d2 ξ(∂φ)2 = − d2 ξ(Gμ )2
2π 2π 2π
(A-13)
It is important to remark that if one had used the following self-adjoint
Dirac euclidean operator
/A
D(A) = eeγ5 φ (iγμ ∂μ )egγ5 φ (A-14)
one would obtain a “Tachion” (imaginary mass) term for the dynamically
generated mass term for the abelian gauge field
2
/A
detFD(A) g
= exp + d2 ξ(Gμ )2 (A-15)
det ∂ 2π
At this point it is worth recall the Seeley asymptotic expansion
lim ξ| exp(−tA)|ξ
t→0+
% &
1 1 Vμ2 ∂μ Vμ
= 1 2×2 + V0 − − (A-16)
4πt 4π 4 2
index theorem ([1]). By the other side, it is widely known that the tech-
niques to obtain such results are extremelly intricated and based on the
most difficult aspects of the theory of elliptic operators on closed compact
orientable N -dimensional manifolds (see [2]-chapter 11). Our aim in this
section is to somewhat simplify a very important index theorem on the
Laplacian operator acting on forms ([3]).
As in the last reference [3], one can argue that the index of the Laplacian
operator Δf acting on differential forms on a N -dimensional Riemannian
compact orientable manifold M is given by the object called super-trace
which by its turn can be wirtten as a Grasnmanian (supersymmetric) eu-
clidean path integral ([1]):
⎧ ⎛ ⎞⎫
⎪ ≡Dcov
F
[X μ (s)] ⎪
⎪
⎨ ⎜ + ,- . ⎪
⎟⎬
index(Δf ) =: lim ⎜ det
1
2 [G (X μ
(s))]dX μ
(s)⎟
→0 ⎪ ⎝ μν ⎠⎪
⎪
⎩ 0≤s≤1 ⎪
⎭
1≤n≤N
X (0) = X μ (1) = xμ
μ
⎛ ⎞
≡Dcov
F i
(ξ(α) (ξ)]
⎜+ ,- .⎟
⎜ 1 √ ⎟
× ⎜ det 2 [ G(X (s))]dξ(α) (s)dξ(α) (α)⎟
μ i ∗i
⎜ ⎟
⎝ 0≤s≤1 ⎠
α=1,2
1≤i≤2N
1
1 1 dX μ dX μ
exp − dsGμν (X α (s)) (s) (s)
0 2 ds ds
i d i
+ Gμν (X α (s)) ξ(α i
(s) ξ(α)
2 ds
1 α i k j
+ Rijk (X (s))(ξ(1) (s)ξ(2) (s) )(ξ(1) (s)ξ(2) (s)) (B-1)
8
An important remark to be done now originally due to ourselves - [4])
is about the “bosonic” behavior of the Grassmanian composite products
i j
ξ(1) (s) ξ(2) = σ ij (s) as can seen easily verified from the computation be-
low ([a, b]− = ab − ba; [a, b]+ = ab + ba) −[AB, CD]− = A[B, C]+ D −
AC[B, D]+ + [A.C]+ DB − C[A, D]+ B
i j p q p q j p q j
ξ(1) ξ(2) , ξ(1) ξ(2) −
i
= ξ(1) ξ(1) ξ(2) , ξ(2) +
− ξ(1) i
ξ(2) , ξ(1) ξ
+ (2)
> ?
p q j p q j
= ξ(j) i
ξ(1) ξ(2) ξ(2) − ξ(1) ξ(2) i
ξ(1) ξ(2)
> ?
j p q p q j
+ ξ(1) i
ξ(2) ξ(1) ξ(2) − ξ(1)
i
ξ(1) ξ(2) ξ(2)
=0+0=0 (B-2)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 46
On the basis of the above made remark eq. (B-2) one can re-write the
Grasmanian path integral eq. (B-1) in the terms of “composite bosonic
operators” ([4])
F
index(Δf ) = lim Dcov [X μ (s)] DF [ξαi (s)]
t→0 X μ (0)=X μ (1)=X
μ i (0)=−ξ i (1)
ξα α
Bosonic Variable Bosonic Variable
+ ,- . + ,- .
× F
Dcov [σik (s)] D F
[λik (s)]
σik (0)=σik (1) λik (0)=λik (1)
i
× exp ds λik (ξ(1)
i k
(s) ξ(2) (s) − σik (s))
h 0
1
1 1 j
× exp − Rijk (X α (s))σ(s)
ik
σ(s) (B-3)
4h 0 2
After integrating the Grasmanian variables {ξ(1) i i
(s), ξ(2) }1≤i≤N , one
gets the below written functional determinant as outcome (prove it with
the definition θ(0) = 0, here θ(s) denotes the heaviside step function-
distribution)
d
detcov Gij (X α (s)) δij + λik (s) = 1 (B-4)
ds
Now the σik functional integral is Gaussian and yielding the result
$ −1 '
1 1
1 1
exp − ds ds (λik (s)) α
Rpqrs (X(s) ) δ(s − s )(λj (s))
2 0 0 2 (ik).(j)
(B-5)
At the classical limit → 0, the closed periodic quantum trajectories
X μ (0) = X μ (s) = xμ , all reduces to theirs initial common point xμ . As a
consequence one gets that at → 0.
X μ (s) → x−μ (B-6)
x
−1
R(A,B) (X (s) λ j (s ))
-.+,
B
1
→ det RAB (x )] =: Pf (RAB (x−μ ))
2 −μ
(B-8)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 47
By group together eqs. (B-6)–eq. (B-8), one gets the index of the
Laplacean operator acting on differential forms defined on a compact ori-
entable N -dimensional is universally proportional to the famous Chern in-
dex of the endowed riemannian structure of M. Namelly (see ref [3] for
topological details). Plus analogous induced term on the Manifold Bound-
ary if it is non empty (an open manifold).
1
index(Δf ) = ξChern (M) = e dN (x)det 2 [Gμν (xμ ]
M
Pfaffinian form of the curvature two-form
+ ,- .
× Pf (RAB (x μ)
(B-9)
√
index(Δf ) = χChern (Σ) = ( gR(g))(xμ )d2 x = 2π(2 − 2g), (B-10)
Σ
2.8 References
(C-4)
In order to implement the path integral bosonisation gauge invariant
technique [1,2], we rewrite the fermion interaction term in the Hubbard-
Stratonovitch form:
1
Z[η, η̄, A(n)
μ ]= D[ψ]D[ψ̄] exp − d2 xBμ2 (x)
2
As has been shown by Fujikawa [3], the transformations of (C-6) are not
free of cost in the fermionic sector since the functional measure D[ψ]D[ψ̄]
is defined in terms of the normalised eigenvectors of the Dirac operator
(n)
/ μ , Aμ in the presence of the external (auxiliary) Abelian field Bμ and
D(B
(n)
of the vortex topological field Aμ .
At this point we note that after the chiral change takes place, the new
quantum fermion vacuum is defined by the fermionic theory in the pres-
ence of the topological vortex; i.e. D[χ]D[χ̃] is now defined in terms of the
(n)
eigenvectors of the Dirac operator D(A/ μ ) which in turn has precisely n
fermionic zero modes with definite chiriality [4]. Their explicit expressions
are
1/2 l−1 (n)
1 x1 + ix2 h− (x, Aμ
ψ(0),l (x) = (C-7a)
2πR R 0
So, we face the problem of the evaluation of the ratio of the two Dirac
determinants with zero modes.
By following the procedure of [1,2], we first introduce a one-parameter
continuous family of Dirac operators itnerpolating the pure vortex Dirac op-
(n) (n)
/ μ , Bμ ) = iγμ ((∂μ + gBμ + ieAμ defined by the expression
erator and D(A
l=1
denoting the projection over the zero modes of the Dirac operator
(n)
/ (σ) (Bμ , Aμ ). Let us remark that by the Atyah-Singer theorem, this op-
D
σ
erator still has n zero modes β(0),l (x) which are related to those of (C-7a)
by an analytically continued chiral rotation (C-6):
σ
β(0),l (x) = exp(−ḡγ5 σu)ψ(0),l (x). (C-11)
The functional determinant (C-10) satisfies the following differential
equation:
d
/ (σ) (Bμ , A(n)
log det D μ )
dσ
11/ε
/ (σ) )(1 − P(σ) )]1
2
= −2 lim T r[ḡγ5 u exp(−ζ D ε
ε→0+
1/ε
dζ 2 d (σ)
+ lim+ T r exp(−ζ D/ (σ) ) P . (C-12)
ε→0ε ζ dσ
The second term in the right-hand side of (C-12) is easily evaluated by
noting that
d (σ) m
n
P |ζ = ζ| − ḡγ5 uβ(0),l
σ
+ ζ|β(0),l
σ
− ḡγ5 uβ(0),l
σ
(C-13)
dσ
l=1 l=1
which yields the zero-mode contribution for the determinant (12):
1/ε
dζ 2 d
lim T r exp(−ζ D/ (σ) ) P(σ)
ε→0+ ε ζ dσ
% &
n
= lim 4log(ε)ḡ β(0),l
σ σ
uβ(0),l . (C-14)
ε→0+
l=1
2
Since D / (σ) is a self-adjoint invertible operator in the manifold orthog-
onal to its zero modes, wed can use the usual Seeley-De Witt technique to
evaluate the first term in (C-12), which produces the usual result
11/ε
/ (σ) )(1 − P(σ) ))1ε
2
T r(ḡγ5 u exp(−ζ D
1 / εμν 0
= σ T r (−iḡ)u(−iḡ)∂ 2 u + F |μν (A(n)
μ ) . (C-15)
π 2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 51
By combining (C-15) with (C-14) and coming back to the real coupling
constant g, we obtain the final expression for the Jacobian (8a) after inte-
grating the differential equation (C-12)
log det D(B μ ) − log det D(B
/ μ , A(n) / μ = 0, A(n)
μ )
g2 1 g
= d2 x (∂u)2 + d2 xεμν Fμν (A(n)
μ )u
π 2 π
n
− igC(ε) +
d2 xψ(0),l (x)u(x)ψ(0),l (x) (C-16)
l=1
where we have used the unitarity of the matrix exp{iḡγ5 u} to evaluate (C-
16) and C(ε) is the usual infrared divergence contribution for the zero-mode
term, which can be made finite by a multiplicative renormalisation of the
Thirring coupling constant g.
The generating functional thus takes the simple form
Z[η, η̄, A(n)
μ ]
+ ,-. > 1 ;/ g2 0
= D[u] exp − d2 x 1 − (∂u)2 (x)
2 π
g
− d2 x(εμν Fμν (A(n)
μ )u)(x)
π
/ 0?
× exp − ig d2 xψ(0),l +
(x)u(x)ψ(0),l (x) Z(0) [η, η̄, A(n)
μ , u]
(C-17)
(n)
with Z(0) [η, η̄, Aμ , u] being the generating functional for the fermions in
the pure vortex field configuration
× exp − d2 x(χ̄D(A
/ (n)
μ )χ + χ̄ exp igγ5 uη + η̄ exp igγ5 uχ)(x) .
(C-18)
Let us exemplify our approach by calculating the two-point fermion
correlation function for an external vortex field with topological charge 1.
(n)
By functional differentiation of Z(0) [η, η̄, Aμ , u] twice, we get
(χ̄ exp igγ5 u)α (x)(exp igγ5 uχ)β (y)
= [exp(igγ5 u(x))S (1) (x − y) exp(igγ5 u(y))]αβ × det(D(A
/ (n)
μ ))
(C-19)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 52
where
/g
μ (z)) − igψ(0),0 (z)ψ(0),0 (z)
+
Jμ (z; [x, y]) = εμν Fμν (A(1)
π 0
(x) (y)
+ (igγ5 δ(z − x) + igγ5 δ(z − y)) (C-22)
with
1 1
ψ(0),0 (z) = √ √ ,0
2π 1 + z2
(1)
begin the only zero mode of D(A
/ μ ).
2.10 References
[1] Botelho L.C.L. (1985) Phys. Rev. D 31 1503; 1986 Phys. Rev. D
33 1195, 34 3250.
[2] Botelho L.C.L. (1989) Phys. Rev. D 39 3051.
[3] Fujikawa K. (1981) Phys. Rev. D 21 2848.
[4] Rothe K.D. and Schroer B. (1979) Phys. Rev. D 20 3203.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 53
2.11 Appendix D:
where dz̄ = dx0 − jdx1 and the SU (2) path-ordered integral in (D-5) is
taken over the (infinite) straight segment joining the (−∞) point to the
z = (x0 , x1 ) point.
By introducing the axial gauge field
∗Gμ · τ = (εμα Gα ) · τ (D-6)
we can re-write Eq. (D-5) in the more transparent form
(x0 ,x1 ) (x0 ,x1 )
(−2i (−∞) (Gμ ·τ dxμ −2γ5 (−∞) (∗Gμ ·τ )dxμ )
W ((x0 , x1 )) = P e (D-7)
where, again, the SU (2) path ordered integral in (D-7) is taken over the
straight segment joining the (−∞) point to the (x0 , x1 ) point.
Continuing our study, we can see that the Dirac operator D(G / μ ) can
be re-written in the suitable form ([3], [5])
/ μ ) = (ΩV −1 )(x)(iγμ ∂μ )(V −1 Ω−1 )(x).
D(G (D-8)
Here, the matrices Ω(x) and V (x) are respectively the unitary and her-
mitean factors of the SL(2, C) Wu-Yang factor (D-7).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 55
In order to decouple the fermion fields from the gauge field, we follow
Ref. ([1]) by making the variable change.
ψ(x) = (Ω · V )(x)χ(x)
(D-9)
ψ̄(x) = χ̄(x)(V · Ω−1 )(x)
which yields the fermionic generating functional
Z̃(η, η̄] = D[x]D[x̄]J[Gμ ]e−( d2 x(χ̄(iγμ ∂μ )χ
lim x|e−ε(D(G
(σ) 2
/ μ ) )
|x
ε→0+
1 iGμν γ5
= lim (1 − ε( Fμν (−iG(σ)
μ )))(x). (D-16)
ε→0+ 4πε 2
Substituting (D-16) into (D-15), we get the result
1
J[Gμ ] = e− 2π εμν { dσ( d2 xT r (c) (φτ Fμν (−iG(σ)
i
0 μ ))(x))} (D-17)
We remark that the result (D-17) coincides with the result obtained by
Roskies ([1]), and so the σ integration can be done explicitly producing the
expression
εμν
d2 x φFμν (Gμ ) 1
− 1
(x)
J[Gμ ] = e π |φ|tanh|φ| sinh2 |φ| (D-18)
We also note that by considering the vector and axial components of the
(σ) (σ) (σ) (σ)
gauge field Gμ (Gμ = iVμ +εμν Aν ), we re-obtain the result established
in Refs. ([3]) and ([5]).
Finally, the effective generating functional for the model where the
fermion fields are decoupled from the gauge fields can be written
− 4g12 T r (c) (Fμν
2
)(x)d2 x
Z[Jμ , β, β] = D[Gμ ]e DHaar [Ω]J[GΩ
μ]
(J μ G Ω
DχDχ̄ e−{
2
μ )(x)d x d2 x(χ̄(iγμ ∂μ )χ
e (
Wu-Yang factors (D-7) with the quantum average defined by the local ef-
fective gluonic action (in the Roskies gauge Ω ≡ 1)2
1
S EF F [Gμ ] = − d2 xT r(c) (Fμν
2
)(x) + gJ[Gμ ]. (D-20)
4g 2
For instance, the two point fermionic correlation function is given by
1 xμ − yμ
ψ(x)ψ̄(y) = γμ W (x)W −1 (y)EF F (D-21)
2π |x − y|2
where EF F is the quantum average defined by the action (D-20);
1 xμ −yμ
W ((z)) = W ((z0 , z1 )) is given by Eq. (D-7) and 2π γμ |x−y| 2 is the free
fermion propagator.
2.12 References
2 It appears to be an open problem in the subject the full evaluation of the Non-Abelian
Dirac Determinant defined on a Riemman Surface (the Hodge theorem for non abelian
connections).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 58
It is worth pointing out that the classical action in eq. (E-5) s invariant
under the local diffeomorphism group and the global Abelian and Abelian-
chiral groups acting on the spin field restrict to any local region R of D(g) .
These symmetries have the associated Noether conserved currents
∇μ (ψ̄γ 5 γ μ ψ) = 0; ∇μ (ψ̄γ μ ψ) = 0. (E-6)
In order to implement the path-integral gauge and local diffeomor-
phism invariant bosonization, we rewrite the fermion interaction term in
the Hubbard-Stratonovitch form by using an ausiliary vector field Aμ (ξ)
At this point we note that after the chiral change takes place the new
quantum fermionic vacuum is defined by the fermionic field χ(ξ) (with the
same spin structure of ψ(ξ)) in the presence solely of the Hodge topological
field AH
μ (eq. (E-1)).
The Jacobian associated to eq. (E-8) is [7]
g 1/2 αi , αi αi , β i
d [Aμ ] = d [η] (2π)2g
c c
dpi dri × det μ μ μ μ
, (E-16)
βμi , αiμ βμi , βμi
l=1
where the covariant scalar product in the space of vector fields in D(g) is
defined by
4
Σμ , θμ = d2 ξ( ĝ ĝ αβ Σα θβ )(ξ). (E-17)
D(g)
So, we face the problem of the evaluation of the ration of two Dirac
determinants related themselves by a chiral rotation
det[exp[icγ5 η]iγ μ (Dμ + cAμ ) exp[icγ5 η]]
J[Aμ ] = . (E-19)
det[iγ μ (Dμ + cAHμ )]
exp[icγ5 η]
μ ) · exp[icγ5 ζη],
D(ζ) (Aμ ) = exp[icγ5 ζη]D(AH (0 ≤ ζ ≤ 1). (E-20)
1/ε
dσ 2 d
+ lim+ T r exp[−σD(ζ) ] P(ζ)
ε→0 ε σ dζ
(ζ) (ζ)
= I(1) [Aμ ] + I(0) [Aμ ], (E-21)
@ (0),(ζ) (0),(ζ)
where P(ζ) = , φn φn denotes the projection over the zero
n
(0),(ζ)
modes φn of the Dirac interpolating operator D(ζ) . These zero modes
are related by an analytically continued chiral rotation to those of D(AH
μ )
φ(0),(ζ)
n = exp[−c̄γ5 ζη] · φ̄(0)
n (E-22)
and
μ ) · φ̄n = 0.
D(AH (0)
(E-23)
(σ)2
Since D (Aμ ) is a self-adjoint invertible operator in the manifold or-
thogonal to the subspace generated by the zero modes, we can use the
Seeley-De Witt technique to evaluate the first term in eq. (E-21) which
yields
(ζ) 2
I(1) [Aμ ] = lim+ T r[c̄γ5 η exp[−σD(ζ) ](1 − P(ζ) )]|1/ε
ε
ε→0
2 1 εμν μν H
= − ζT r −ic̄ η √ ∂α (ĝ ∂β )η +
αβ
F (A ) . (E-24)
π ĝ 2
The second term on the left side of eq. (E-21) is easily evaluated giving the
result
1/ε
(ζ) dσ 2 d
I(1) [Aμ ] = lim+ T r exp[−σD(ζ) ] P(ζ)
ε→0 ε σ dζ
4 (0) (0)
= lim+ (4 log ε · c̄) d2 ξ ĝ φ̄n · η φ̄n (ξ). (E-25)
ε→0 D(g)
n
The final result for the functional determinants ratio eq. (E-19) is thus
given by
(C (R) )2 1 /4 0
J[Aμ ] = d2 ξ ĝ ∂α ηĝ αβ ∂β η (ξ)
π D(g) 2
C (R) ; 4
+ d2 ξ (εμν F μν (AH μ ) · η) ĝ (ξ)
π D(g)
4 (0) (0)
− icR d2 ξ ĝ φ̄n · η φ̄n (ξ), (E-26)
n D(g)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 62
(0)
(0)
where the functional W [φ̂n , φ̂n , AH
μ ] is defined by the interaction with
(0)
(0)
the (external) zero-mode fermion fields φ̂n , φ̂n
(0) 4 ;/ c(R) 0
W [φ̂(0) H
n , φ̂n , Aμ ] = ĝ − i
d2 ξ εμν F μν (AH )η
D(g) π
(0)
+ (−c(R) φ̂(0)
n η φ̂n ) (ξ). (E-30)
We remark that the fermions χ(ξ) still interact with the Hodge topolog-
μ by the minimal gauge invariant interaction D(Aμ ) and with
ical field AH H
Let us exemplify our main result, eq. (E-29), by displaying the general
structure of the two-point fermion correlation function
+∞
1
ψα (ξ1 )ψ̄β (ξ2 ) = dm(pi , ri ) det[iγ μ (Dμ + c(R) AH
μ )]
Z[ρ, ρ̃] −∞
% 2
&
1 c(R)
× exp − Δ (ξ1 , ξ2 ) D−1 (AH
−1
μ ),
2 1 − (c(R)2 /π)
(E-31)
where Δ−1 (ξ1 , ξ2 ) is the Green’s function of the Laplace operator on the
Riemann surface D(g) and D−1 (AH μ
μ ) = (iγ (Dμ + c
(R) H −1
Aμ )) (ξ1 , ξ2 ) is the
Gree’s function of the Dirac operator with spin structure (θi , φi ) in the
presence of the topological Hodge vector field AH μ (ξ)[1].
The determinant in eq. (E-31) was exactly evaluated ref.[1] and
expressed in terms of ϑ-functions
1 1 1
1 i 1
det iγ μ (Dμ + c(R) AH ) = |l(Ω)| 2 1
· ϑ 2 +θ (0|Ω)1. (E-32)
μ 1 1 − φi 1
2
Finally a formal expression for the Green’s function of the Dirac oper-
ator is given by [3]
% &
c(R)
exp −i (A + γ5 εμν A )dξ × (iγ μ Dμ (AH ))−1
H ν,H μ
(φi ,θ i ) (ξ1 , ξ2 )
2 Cξ1 ,ξ2 μ
% &
c(R)
× exp −i H ν,H
(A + γ5 εμν A )dξ μ
(E-34)
2 Cξ1 ,ξ2 μ
where Cξ1 ,ξ2 is an arbitrary contour on the Riemann surface D(g) which
has a nonempty intersection with each canonical homology cycles on D(g)
and connecting the points ξ1 and ξ2 .
As we have shown, chiral changes in path integrals even for fermion
model on a Riemann surface provid a quick, mathematically and concep-
tually simple way to analyse these models.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 64
2.14 References
[1] Alvares-Guam L., Moore G. and Vafa C., Commun. Math. Phys.,
106 (1980) 1.
[2] Belavin A.A. and Knizhnic V.G., Sov. Phys. JETP , 64 (1986) 214.
[3] Botelho Luiz C.L., Phys. Rev. D, 34 (1986) 3250.
[4] Botelho Luiz C.L., Phys. Rev. D, 35 (1987) 1515.
[5] Fujikawa K., Phys. Rev., D, 21 (1980) 2848.
[6] Botelho Luiz C.L., Phys. Rev. D, 39 (1989) 3051.
[7] Freedman D.Z. and Pilch K., Phys. Lett. B, 213 (1988) 331.
Chapter 3
3.1 Introduction
Let us start this section by briefly reviewing our general procedure to write
diffusion string wave equations for Bosonic non-critical string [2]. The first
step is by considering the following fixed area string propagator in 2D in-
duced quantum gravity string quantization framework.
4
G[C out , C in , A] = Dc [gab ]Dc [Xμ ] × δ dσdτ g(σ, τ ) − A
D
× exp(−I0 (gab , Xμ , μ2 = 0)). (3.1)
65
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 66
π
∂ δ2 1
G[C out , C in , A = dσ − + C in (σ)2
∂A −π 2e2in (σ)δCμin (σ)δCμin (σ) 2 μ
26 − D
+ lim [R(ρ(σ, τ )) + C∞ ] × G[C out , C in , A].
24π r→0+
(3.2)
propagator
of the string Laplacian in terms of the cylindrical string propagator (3) may
be easily obtained.
In order to deduce this expression we integrate both side4 of (3.8) with
respect to the A-variable. Considering now the Asymptotic Behaviors.
∂
Zk (CX(−π),X(π) , As
∂A
= DF [X μ (σ, τ )] DF [ψ(k)(σ, τ )]
The free Bosonic term in the right-hand side of (3.20) leads to the string
Laplacian as in (3.4) of Sect. 2. The free Fermion term
π
(D)
F μ
D [X (σ, A)] D [ψk (σ, τ )] F
dσ δ (Xμ (σ) − Xμ (σ )
−π
% 22 &
dX μ (σ) dX μ (σ )
× · ψk (−π, A) · ψ̄ (+π, A) × (ψp (σ, A) · ψ̄p (σ, A))
da da p=1
1
by the expression
⎛ below (Ref.
⎞ [1]-Appendix B )
$ '
22
⎜ ⎟ A π
⎜ dψ(ξ, τ )⎟ a
⎝ ⎠ exp dτ dξ(ψ̄k (γ ∂a )ψk )(ξ, τ )
p=1 −π≤ξ≤π 0 −π
0≤τ ≤A
> β A A π π
× exp − dτ dτ
dξ (ψ̄k ψk )(ξ, τ )Tμν (ξ, τ ))
dξ
2 0 0 −π −π
?
× δ (D) (Xα (ξ, τ ) − Xα (ξ , τ ))T μν (X(ξ , τ ))
× (ψk (−π, A)ψ̄ (π, A)ψp (σ, A)ψ̄p (σ, A)
⎛ ⎞
; ⎜
22
⎟
= ⎜ dψ(ξ, τ )⎟
⎝ ⎠
p=1 −π≤ξ≤σ
0≤τ ≤A
$ '
A π
× exp dτ a
dξ(ψ̄k (γ ∂a )ψk )(ξ, τ ) (ψk (−π, A)ψ̄p (σ, A))
0 −π
> β A A π π
× exp − dτ dτ
dξ (ψ̄k ψk )(ξ, τ )Tμν (ξ, τ ))
dξ
2 0 0 −π −π
?
× δ (D) (X(ξ, τ ) − X(ξ , τ ))T μν (X(ξ , τ ))
⎛ ⎞
$ '
; ⎜ ⎟ A π
× ⎜ ⎟
dψ(ξ, τ )⎠ exp dτ a
dξ(ψ̄k (γ ∂a )ψk )(ξ, τ )
⎝
σ<ξ<π 0 σ
0≤τ ≤A
> A A π π
× exp −β dτ dτ
dξ (ψ̄k ψk )(ξ, τ )Tμν (X(ξ, τ ))
dξ
0 0
? σ σ
× δ (D) (X(ξ, τ ) − X(ξ , τ ))T μν (X(ξ , τ )) × (ψp (σ, 0)ψ̄ (π, 0))
(3.22)
1 Note that either crucial result below, due to the special class of surfaces chosen
A A σ−ε π
lim dτ dτ dξ dξ [(ψ̄k ψk )(ξ, τ )]Tμν (X(ξ, τ ))
ε→0 0 0 −π σ+ε
ε>0
× δ(D) (X(ξ, τ ) − X(ξ , tau ))T μν (X(ξ , τ )) = 0 (3.21-a)
since our orientation tensor strings world-sheet {X(ξ, τ )} is such that for ξ = ξ and
ζ, ζ ∈ [0, A]
T μν (X(ξ, τ )) · Tμν (X(ξ , τ )) = 0 (21-b)
(ζ̂)
(these “string fixed-time” loop Xμ (ξ, ζ̂) ≡ eμ (ξ) possesses solely simple iso-
lated self-intersections points (“eights” loops) where the non-trivial tangent lines
at theses self-intersect points are supposed to be always orthogonal to each other:
Tμν (X(ξ, ζ))T μν (X(ξ , ζ)) = 0 as a remnant of the Fermion Exclusion Pauli Principle
still acting for these Bosonic Pieces Cμ (ξ) of the full fermionic “quark trajectories”).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 73
Our aim in this appendix is very modest: we write a covariant action for
the elastic string and quantize in the Polyakov’s path integral framework a
truncated version of the covariant written theory.
Let us start our study by considering the classical action for the elastic
string in the conformal gauge.
% &
2
1 1 2 λab
S0 = d zρ + γ d zρ − ∂ X + i
2 2
(∂a X∂b X − gab ) .
2πα ρ ρ
(A-1)
The string surface is described by X = X(z), where X is the surface
vector position in D Euclidean dimensions; za (a = 1, 2) are the coor-
dinates of the world sheet. The first term in (A-1) is the Nambu term
with the string tension equal to 1/2πα. The second term is the square of
the extrinsic curvature with the rigidity coupling constant denoted by γ
(γ = limNc →∞ (g 2 (Nc )!) and λab (z) is a Lagrange multiplier which insures
that the metric (gab ) coincides with the intrinsic metrics (∂a X∂b X).
Let us consider a covariant version of action (A1) by promoting ρ(z) =
gab (z) to be a dynamical field. This procedure yields the following action
1 √
S1 [X(z), gab (z), λab (z)] = d2 z g
2πα
√
+ d2 z g [γ(−Δg X)2 + iλab (gab − ∂a X∂b X)].
(A-2)
4
Here g(z) = det(gab (z)) and −Δg = − √1g ∂a (g ab ∂b ) is the Laplace-
Beltrami operator associated to the intrinsic metric gab (z).
In the Polyakov’s path integral quantization effective framework the
partition functional for the theory (A-1) should be given by
Z= Dc [gab ]Dc [X]Dc [λab ] × exp −S1 [X(z), gab (z), λab (z)] (A-3)
where the functional measures are the DeWitt covariant functional mea-
sures [1].
Let us suppose that the constraint field in approximated by the intrinsic
metric λab (z) = λgab (z). (The covariant version of the usual mean field
approximation λab (z) = i(λ)δab with (λ) a positive fixed value.) As a
consequence of this hypothesis we get the truncated theory.
Z(T ) =∈ Dc [gab ]Dc [X] exp −S (T ) [gab (z), X(z)] (A-4)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 75
Now it is well known that the counterterms of SEF F [ϕ] are determined
by the asymptotic expansion of the diagonal part of massive Laplace-
Beltrami operator which is tabulated
λ
lim T r exp −T −Δg +
T →0 γ
ϕ
e 1 1 1 ϕ λ
= d2 z lim+ − Δϕ + e · (z). (A-10)
2π T →0 T 2π 2π γ
D 1 λ 1
· · lg d2 zeϕ(z) . (A-11)
2 2π γ ε
So, on the basis of the counter term (A-11) we have the following renor-
malization law for the inverse of the rigidity β = 1/γ (by choosing λ = 1)
1 1 D 1
= − · lg(ε). (A-12)
βR β0 2 2π
D β0 ε
βR (p2 ) = β0 (p2 = 0)/1 − · lg . (A-13)
2 2π p2
As a general conclusion, one can see that still exists a great deal of
not completely understood phenomena in QCD out of non-analytical field
theoretic continuum approaches-lattice approximations.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 77
N ?
+ μ20 (Φa )2 (x) . (B-2)
a=1
where σ(x) is an ausiliary scalar field and the σ functional measure in (B-3)
is given by
1 D 2
dμ[σ] = dσ(x) exp − 2
d x σ (x) (B-4)
D
2 λ0
x⊂R
with covariance
λ0 (D)
σ(x1 )σ(x2 )σ = dμ[σ]σ(x1 )σ(x2 ) = δ (x1 − x2 ). (B-5)
2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 78
The last result allows us to consider the δ(x) field as a random Gaussian
potential with noise’s strength λ20 .
After substitution of (B-4) into (B-2), we can evaluate explicitly the
Φ-functional integrations since they are of Gaussian type. We, thism get
the result
∞
dζ
log det(−Δ + μ20 − 2iσ) = − dD xF (x, x, σ)(ζ) (B-8)
0 ζ
>1
N ; ∞
× exp dD xD y ja (x) dζ (ζ)
dζ[wxy ]
2 s=1 0
?
× exp i dD zσ(z)j(wwy
(ζ)
δab · Jb (y) . (B-12)
We shall use ther andom path formulation (B-12) to analysie the cor-
relation functions of the λφ4 theory. As a useful remark, we note by using
(B-12) that the general k-point (bare) correlation function possesses the
general structure for free fields
where the quantum averages Φ in (B-13) are defined by the λφ4 partition
functional Z[0] (see (B-1) with J a (x) ≡ 0).
Because of this result, we have solely to study the properties of the
2-point correlation function
C ∞
Φil (x1 )Φi2 (x2 )Φ = δi1 i2 dζdμ[wx(ζ)
1 x1
]
0
> ?
× exp i dD zσ(z) · j(wx(ζ)
x
1 2
)(z)
>N ∞
dζ
× exp dD x dμ[x(ζ)
xx ]
2 0 ζ
; ?D
× exp i dD zσ(z)j(x(ζ)
xx (z)) . (B-14)
0
and since the σ-average in (B-15) is of the Gaussian type we can perform
it exactly. The result reads
N >
∞
k ∞
dζ
Φi1 (x)Φi2 (y)) = δi1 i2 dD x dD x dμ[wx(ζx) ]
2 0 ζ
k=0 =1
∞ > λ ;/ k ζ ζ
× dζ × (ζ)
dμ[wxy ] × exp − 2× dα × dα
0 4 0 0
=
0
× δ (D) (wx(ζx) α ) − wx(ζx) (α ))
/
k ζ ζ 0
+ dα δ (D) (wx(ζx) (α ) − wx(ζx) (α ))
= 0 0
/
k ζ ζ 0
+ 2× dα × dαδ (D) (wx(ζx) (α ) − wxy
(ζ)
(α) − wxy
(ζ)
(α))
=1 0 0
/ ζ ζ 0?
+ dα dα δ (D) (wxy
(ζ)
(α) − wxy
(ζ)
(α1)) . (B-16)
0 0
The above expression is the two-point correlation function of the λΦ4 −
O(N )-theory expressed as a sustem of interacting random paths with a
repulsive self-interaction at these points where they crosses themselves.
Now we can offer a topological explanation for the theory triviality
phenomenon for D > 4. At first, we note that the correlation function
(B-17) will differ from the free one, namely
∞
Φi1 (x)Φi2 (y)FREE = δi1 i2 (ζ)
dζdμ[wxy (B-17)
0
if the path intersections implied by the delta functions in (B-16) are non-
empty sets in the RD space-time. We intend to argument that those in-
tersection sets are empty for space-time with dimensionality greater than
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 81
3.6 References
Chapter 4
4.1 Introduction
83
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 84
must satisfy the topological constraint that originates from the Gauss the-
orem. For the case of boundaryless compact surfaces without “handles”
1 √
( h R)(X μ (ξ))d2 ξ = 2 − 2g, (4.2)
2π Ω
1 √
Δh = √ ∂a ( h hab ∂b ) (ξ). (4.9)
h
At this point, one most use formally, at least for trivial topological sur-
faces Sc , the hypothesis of the global extension of the local diffeomorphism
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 87
μ μ
dh [X (ξ1 , ξ2 )] = DF [X (ξ1 , ξ2 )] + O(α ). (4.15-b)
This leads to the result
1
G(C[R,T ] ) = exp − RT
2πα
−( (D−2)
2 )
× det (−Δ) . (4.16)
Ω(R,T )
1 ; / − 4πT 0−1/24
= T 1/2
e R
(R )
∞
(1 − e− )−2
2πnT
× R , (4.17)
n=1
one can see that the quantum strong ground state has the “confining be-
havior” with the Coulomb-Lscher term as its energy on this one-loop ap-
proximation
1 R π(D − 2) 1
EVacuum (R) = lim − ln G(C(R,T ) ) = − · .
T →+∞ T 2πα 6 R
(4.18)
Unfortunatelly ths string scattering amplitudes were never evaluated
in a undisputable form in this Nambu-Goto strong theory, unless on the
light-cone gauge by S. Mandelstam ([3], [6]).
As a consequence of the above mathematical aspects on the Nambu-
Goto quantum string theory, A.M. Polyakov has proposed a new functional
integral approach to overcame some of the above difficulties.
The complete mathematical exposition of the A.M. Polyakov propose
will be exposed (in details) on next section (see also chapter 2).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 89
One can see thus that only at D = 26, the pure bosonic Nambu-Goto
string is described by Marsless scalar fields on the string domain Ω, if One
uses formally the Bollini-Giambiagi dimensional regularization scheme to
assign the unity value for the tad-poles Feynman diagramms1 ([1], [4]),
through a not completely understood Feynman diaggrammatics for two-
dimensional (mathematically ill defined) Massless scalar fields for Ω = R2
(the so called Coleman theorem ([1])).
However, One can follows the Virassoro-Sakita proposal to evaluate
string scattering amplitudes using scalar vertex without bothering ourselve
with gauge fixed technical details ([3]).
We thus use the path integral eq. (4.21) for Ω = R2 in order to evaluate
the closed string (scalar) N -point scattering amplitude at D = 26 (with
δ (2) (0) = 0)
1> 1
A(ρμ1 , . . . , ρμN ) = DF [Xμ (ξ)] exp − (∂Xμ · ∂Xμ )(ξ)d2 ξ
Z πα R2
⎡ ⎤
N ?
×⎣ d2 ξj exp(iρjμ · Xμ )(ξj )⎦ . (4.23)
R2N j=1
One gets the Veneziana N -point amplitude as a result in R26 ([3]. [6])
A(ρμ1 , . . . , ρμN ) = d2 ξ1 . . . d2 ξN
R2N
N μ μ
(ρ ,ρ )
i j
× |ξi − ξj | πα (4.26)
i<j
1 If eikξ
Δ(ξ) = dD k · |K|β
with β ∈ R, then on the dimensional regularization scheme
Δ(0) = dD k|K|−β = 0, even if β = 0.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 91
Let us add suh functional to the area functional eq. (4.1) and consider
the associated string path integral propagator eq. (4.4) (in the trivial topo-
logical secta of surface Sc ).
Let us note that even by using the light-cone string coordinate system,
One still has a non-polinomial interacting quantum two-dimensional SO(D)
scalar field theory.
Namelly
Namelly:
A(ρμ1 , . . . , ρμN )
= d2 ξ1 . . . d2 ξN
R2N
⎛ ⎞
N μ μ
(ρ ,ρ )
×⎝ ⎠
i j
(ξi − ξj ) πα
i<j
⎛ ⎡ ⎤⎞
N 1/2
α 1
× ⎝exp ⎣− K0 |ξi − ξj | ⎦⎠ . (4.32)
2 i<j
πα γ 2
1
G[C(R,T ) ] = exp − RT
2πα
− (D−2)
1 2
× det γ 2 (−∂ 2 ) + (−∂ 2 ) . (4.33)
Ω(R,T ) γ2
− (D−2)
2 2 1 2
det γ (−∂ ) + (−∂ 2 )
Ω(R,T ) γ2
%
− (D−2)
2
= det [(−∂ 2 )]
Ω(R,T )
&
− (D−2)
2 1
× det 2
+ (−∂ ) . (4.34)
Ω(R,T ) γ2
− (D−2)
2
2 1
det (−∂ ) + 2
γ
> (D − 2)πT / 1 R
= exp −
R 6 γ 2 2π
4πe−γ̂
2
R
+ ln
2πγ 2 R
2 − 2 0?
3
4 1 ∞
1 R R
+ dx(1 − x) (n2 + x
2 2πγ 2 0 n=1
2πγ 2
⎧ ⎡⎡ ⎛⎛ G ⎞⎞⎤⎤⎫−(D−2)
⎨ +∞ 2 ⎬
× ⎣⎣1 − exp ⎝⎝− 2πT n2 + R ⎠⎠⎦⎦ .
⎩ R 2πγ 2 ⎭
n=−∞
(4.35)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 94
/ 0
R
Let us remark that t = 2πγ 2 (appendix B)
⎡ ⎤
1 ⎢ ⎥
⎢ 1 ⎥
dx(1 − x) ⎢ ⎥
0 ⎣ / 02 3/2 ⎦
R
n2 + x 2πγ 2
2 1 2n2
=− +
t2 (n + t2 )1/2
2 t4 (n2 + t2 )1/2
2 2 2
+ − (n + t2 )1/2 . (4.36)
t2 n t4
1
EVac (R) = lim − ln G(C(R,T ) ) . (4.37)
T →∞ T
The point is that for large R (R → ∞), the Epstein sum below written
has a finite asymptotic behavior (see appendix A for a detailed evaluation),
s∈R
∞
1
Sepst (s, a2 ) :=
n=1
(n2 + a2 )s
⎛ ⎡ ⎤⎞
1 ⎜ ∞
2 ⎢
/ d2
0⎥⎟
= ⎜ duU s−1 · e−U(λt ) ⎢ ⎧ ⎫ eU(− dz 2 ) ⎥⎟
Γ(s) ⎝ ⎣T r⎨ C 2 ([0, 1]) ⎬ ⎦⎠
0
⎩f (0) = f (1) = 0⎭
1 ;
(a2 )−(S− 2 +1) .
a→∞ 3
∼ (4.38)
4πΓ(s)
As a consequence of the finite behavior eq. (4.38), One has the asymp-
totic (distributional L. Schwartz sense)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 95
∞
1 R→∞ 1
/ 02 ∼ / 02 . (4.39)
R R
n=1 n2 + x 2πγ 2
2(π)3/2 x 2πγ 2
⎧ ⎡ ⎛ ⎞⎤⎫
⎪
⎨1 ∞ ⎪
⎬
⎜
4 1
R ⎢ 1 ⎟⎥
lim ⎣ dx(1 − x) ⎝ / 02 ⎠⎦
R→∞ ⎪
⎩2 2πγ 2 0 R ⎪
⎭
n=1 (n2 + x )3/2
2πγ 2
⎡ ⎤
4 1
1 R ⎢ 1 ⎥
= ⎣ dx(1 − x) / 02 ⎦
2 2πγ 2 0 R
2π 3/2 x 2πγ 2
/ 02
R
2πγ 2
1
dx(1 − x)
∼
4π 3/2 εQCD x
/ 02
R
2πγ 2
= [−y(εQCD ) − 1]
4π 3/2
(y(εQCD ) + 1)
=− R2 . (4.40)
16π 5/2 γ 2
1 1
2 (ε) = 2 ((ln εQCD ) + 1).
γbare γbare
(D − 2) 1
− · 4 R · ln(4πe−γ̂ )
4π γren
(D − 2) 1
+ 4
(R ln R)
4π γren
(D − 2) 1
+ 2
·R . (4.41)
16π 5/2 γren
We think that eq. (4.41) is an important result on applications of string
representations for QCD, since it leads to a growing force that goes to
infinite for R → ∞, confining the static color quarks charge, certainly
a real “quark confinement”, opposite to the pure Nambu-Goto case with
a “weak confinement” by a constant force. quarks are really confined if
a string for QCD holds true at the limit of large R. So a QCD point
particle description should only be phenomenological.
We comment also that such hind of behavior for the interquark potential
is compatible with a Mandelstan Gluonic propagator of the form ([8])
1
Dm (x − y) = dD p · eiρ(x−y) [(y(|p|2 ))/|p|4 ] . (4.42)
(2π)D
It is well known that Polyakov covariant string theory with exactly soluble
Liouville two dimensional model (the famous non critical string) has in its
protocol the main hope of suppressing the tachionic excitation of the usual
Nambu-Goto string ([10], [11], [12])2 .
By the other side it is less known that Polyakov-Liouville effective
string theory is somewhat phenomenological in the sense that it has al-
ready built in the assumption of “weak” two dimensional induced quantum
gravity, since one replaces its covariant path integral measure DF [eϕ/2 ] ≡
2 For a detailed presentation of the Polyakov’s string path integral see §3 of [9].
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 97
B
d(eϕ/2 (ξ)) by the usual Feynman path measure DF [eϕ/2(ξ) ] ∼ DF [ϕ(ξ)]
ξ∈D
when considering the final effective Liouville-Polyakov field theory on string
world-sheet.
So in this approximate scheme of non critical strings (but quite useful
([2])), we in this section (somewhat pedagogical) introduce a somewhat toy
model of higher-order two dimensional Polyakov covariant string with im-
proved ultra violet behavior and show the exactly solubility of the resulting
covariant Polyakov path integrations.
Let us start our analysis by considering the theory’s N -point off-shell
closed Scattering amplitude defined by the following Polyakov’s bosonic
string general path integral
μ2 √
A(P1μ , . . . , PNμ ) = dcov μ[gab (ξ)]e− 2 R2
( g)(ξ)d2 ξ
⎡ ⎤
+ ,- .
=newproposed term
⎢ γ 4 4 ⎥
⎢ − 2 2 ⎥
⎢ 2 R2 d ξd ξ g(ξ) g(ξ )R(ξ)Kg (ξ, ξ )R(ξ ) ⎥
× ⎢e ⎥
⎢ ⎥
⎣ ⎦
1 √
× dcov μ[X μ (ξ)] exp − ( g g ab ∂a X μ ∂b X μ )(ξ)d2 ξ
2 R2
$ '
N ;4
× g(ξi ) · exp(Piμ Xμ (ξi )) d2 ξi . (4.43)
R2N i=1
Here the covariant functional measures are the functional volume ele-
ments associated to the functional Riemann metrics ([1], [2]. [3])
;√
||δgab ||2 = g((δgab )(g aa g bb + cg ab g a b )(δga b )) d2 ξ
R2
√
||δX μ ||2 = [ g δX μ δX μ ](ξ)d2 ξ. (4.44)
R2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 98
⎧
⎪
⎪
1
− y|ξ − ξ | ξ = ξ
⎪
⎪
⎨ 2π
Kϕ (ξ, ξ ) = (4.45)
⎪
⎪
⎪
⎪ 1 1 1 1
⎩ − ϕ(ξ) − y(ε) ξ = ξ
2π ε 2π 2π
Note that eq. (4.3) is a direct result that in the conformal gauge
gab = eϕ(ξ) δab the Laplace-Beltrami operator reduces to the usual Laplace
operator for ξ = ξ . And for those points ξ = ξ , one should use the fa-
mous parameter formula of J. Hadamard for the Laplace Beltrami Operator
on R2 togheter by taking into account the fact that the geodesic distance
S(ξ, ξ ) in R2 , endowed with a metric in the conformal gauge is exactly
given by S(ξ, ξ ) = eϕ(ξ) |ξ − ξ | for ξ → ξ .
In other words, for ξ → ξ , we have the regularized asymptotic behavior
an RN ([5])
$ '
Γ( 12 N ) (2−N )g(S(ξ,ξ ))
K(ξ, ξ ) ∼ lim N e
N →2 2π ( 2 ) (N − 2)
N →2
1 1 1 / 0
ε→0
∼ − g eϕ(ξ) (|ξ − ξ |2 + ε2 )1/2
2π N −2 2π
N -point off-shell closed scattering amplitude that show us that such im-
portant term does not affects its pole singularities of those usual closed
string scattering amplitudes Kobo-Milsen-Virasoro result for μ2 = 0; even
in presence of metric fourth-order term as proposed by ours.
After collecting all the above results and remarks, we are lead to evalu-
ate perturbativelly on the Liouville-Polyakov cosmological constant μ2 , the
following standard Liouville-Polyakov path integral
(26 − d) 1
Ã(P1 , . . . , PN ) = D [ϕ(ξ)] exp −
F
(∂ϕ)2 (ξ)d2 ξ
48π R2 2
μ2
× exp − e ϕ(ξ) 2
d ξ
2 R2
2
γ
× exp − 2 2
(∂ ϕ) (ξ)d ξ 2
2 R2
$% N &% N &'
μ
·Xμ (ξi ))
× eϕ(ξi ) ei(Pi . (4.49)
i=1 i=1
1 0
× − ln |ξi − ξj |2
4π
(26 − D) 1
× D [ϕ(ξ)] exp −
F 2
(∂ϕ) (ξ)d ξ2
48π R2 2
2
γ μ2
× exp − (∂ ϕ) (ξ)d ξ exp −
2 2 2
e ϕ(ξ) 2
d ξ
2 R2 2 R2
% N N & '
ϕ(ξi )
× exp ϕ(ξ1 ) − (Pμi )2 . (4.50)
i=1 i=1
4π
RN )
Ã(0) (P1 , . . . , PN )
⎛ ⎡ ⎤⎞
⎜ ⎢ i 1 ⎥⎟
= d2 ξ1 . . . d2 ξN ⎜ ⎢
⎝exp − ⎣ (Pμ · Pμj ) − ln |ξi − ξj |2 ⎥
⎦⎠
⎟
R2N i,j=1
4π
i=j
⎛ ⎞
⎜ i ·P j )
(Pμ ⎟
d2 ξ1 . . . d2 ξN ⎜ ⎟.
μ
= ⎝ |ξi − ξj | 2π
⎠ (4.51)
R2N (i,j=1)
i=j
The key point of our study is the exactly path-integral evaluation of the
fourth-order improved Liouville path integral in a perturbative expansion
in the Polyakov’s cosmological constant μ2 . Namelly
(26 − D) 1
FLiouville (Pμi ) ≡ DF [ϕ(ξ)] exp − (∂ϕ)2 (ξ)d2 ξ
48π R2 2
2
γ
× exp − (∂ 2 ϕ)2 (ξ)d2 ξ
2 R2
$∞ '
μ2
n
× − e ϕ(z1 )
...e ϕ(zN ) 2 2
d z1 . . . d zN
n=0
2 R2N
%N &
(Pμi )
× exp ϕ(ξi )(1 − ) . (4.52)
i=1
4π
one obtains the result below, with the path integral average Notation,
1 − 12 ϕ(ξ)Lξ ϕ(ξ)dR ξ
O(ϕ)ϕ = F
D [ϕ]e O(ϕ) . (4.54)
2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 102
We remark now that the singularities type pole (paticle string excita-
tion that would modify the zeroth-order Veneziano-Kobe-Nielsen-Virasoro
closed bosonic string dual model will come from the “pinch” ultra-violet
singularities ξt → ξs ! However from the ultra-violet behavior below de-
picted
G
1 26 − D
lim K0 |ξt − ξs |
ξt →ξs 2π 48πγ 2
% G &
1 1 26 − D ψ(1)
= lim + ln |ξt − ξs | + ln − , (4.56)
ξt →ξs 2π 2π 96πγ 2 2π
one can see that there is the cancealling of the logaritmic terms on eq. (4.12)
for the “pinch” points protocol to analyze poles on string scattering am-
plitudes.
As a result, at each perturbative order M , these terms are expected to
not contribute to the bosonic closed string spectrum eq. (4.10).
That is the main conclusion of our section: the Polyakov proposal of
a quantum bosonic string as a theory of D (ill defined!) two-dimensional
massless scalar fields interacting with two-dimensional induced Liouville-
Polyakov quantum gravity, (expected to be computationally effective for
“weak” two-dimensional quantum gravity), still does not alter the usual
(tachionic) old closed bosonic string of the Veneziano-Virasoro dual model,
even with a improved ultra-violet behavior as proposed by ours.
It appears thus that the introduction of induced quantum gravity in
the Polyakov proposal, could not alter the usual tackionic spectrum of the
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 103
∞
1
Sepstein (s, a2 ) =
μ=1
(μ2 + a2 )s
∞
1
U s−1 e−a U 2 −Un2
2
= e dU
Γ(s) 0
⎛ ⎞
1 ⎜ ⎜
∞
−U −d 2 ⎟
⎟.
U s−1 · e−a
2
U2
= · T r⎧ ⎫ e dξ
Γ(s) ⎝ 0
⎨ C 2
([0, 1])⎬ ⎠
⎩ Dirichlet ⎭
(A-1)
Theta is:
∞
a2 →∞ 1 1
dU · U s−1 e−Ua
2
Seps (s, a2 ) ∼
Γ(s) 0 4πU 1/2
∞
a2 →∞ 1
dU · U s− 2 e−Ua
3 2
∼
4πΓ(s) 0
a2 →∞ 1 Γ(s − 32 + 1)
∼
4πΓ(s) (a2 )s− 32 +1
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 104
1 1 1
1 dx x
dx(1 − x) = − dx
0 (a2 + xb)3/2 0 (a2 + xb)3/2 0 (a2 + xb)3/2
2
2
2 a +b a +b
(x= v−a ) 1 1
dv · v − 2 dv · v − 2
3 1
b
= −
b a2 b2 a2
a2 +b
a2
dv · v − 2
3
− 2
b a2
2 2a2
= (a2 + b2 )− 2
1
− + 2
b b
2 2a 2a 2
+ + 2 − 2 − 2 (a2 + b)1/2
ab b b b
2b + 2a2 1 2 2
= − + − (a2 b)1/2 . (B-1)
b2 (a2 + b)1/2 ab b2 +
As a consequence (μ2 = n2 )
1
1 2 1
dx(1 − x) =−
0 (μ2 + xa2 )3/2 a2 (μ2 + a2 )1/2
1 2μ2
+ 4
· 2
a (μ + a2 )1/2
2 2
+ − (μ2 + a2 )1/2 . (B-2)
a2 μ a4
h(ξ) · 1 · d2 ξ = 0. (C-4)
R2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 106
j=1 j=1
⎧ % &⎫
⎨ N
(Pμj )2 ⎬
one-loop order
∼ exp 2ε 1 − h(ξj ) . (C-6)
⎩ 4π ⎭
j=1
1
At this point one can see that at a perturbativelly renormalized “ D dx-
pansion” (D → −∞) ([1], [9]), the contribution of the Liouville-Polyakov’s
@N
dynamics is a multiplication factor as given below ( (Pμj )2 = 0 for a
j=1
physical elastic string excitation scattering)
⎡ ⎤
N j
P i ·Pμ
Ã(Pμ1 , . . . , PμN ) = d2 ξj ⎣ |ξi − ξj | ( μ2π )RN ⎦
R2 i<j
⎧
⎪
⎪ +,-.
2ε2
⎪
⎨
N
24π
exp (1 − (Pμi )2 )(1 − (Pμj )2 )
⎪
⎪ (26 − D)
⎪
⎩i<j=1
1
× K0 (μR |ξi − ξj |) . (C-7)
2π
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 107
4.8 References
[1] Luiz C.L. Botelho, Methods of Bosonic and Fermionic Path Inte-
grals, Nova Science Publisher, Inc., 2009.
[2] A.M. Polyakov, Gauge Fields and Strings, Harwoud Academic Pub-
lisher, Chur., (1987).
[3] Michio Kako, Introduction to Superstrings, Springer Verlag, 1988.
[4] Luiz C.L. Botelho, Lecture Notes in Applied Differential Equations
of Mathematical Physics, World Scientific, 2008.
[5] M.J. Duff, Partial Differential Equations, Toronto Press, (1956).
[6] M.B. Green, J.H. Schwarz & E. Witten, Superstring theory, vol. 2,
Cambridge Monographs on Mathematical Physics, (1996).
[7] C. Itzykson & J.M. Drouffe, Statistical Field theory, vol. 1, Cam-
bridge Monographs on Mathematical Physics, (1991).
[8] Luiz C.L. Botelho, Mod. Physics Letters A, vol. 20, No. 12,
(2005).
[9] Luiz C.L. Botelho, ISRN High Energy Physics, vol. 2012, Arti-
cle ID 674985, doc. 10.5402/2012/674985. (Research Article) –
chapter 1.
[10] J. Teschner, Class. Quant. Grav., 18, (2001), R153–R222.
[11] Adel Bilal, F. Ferrari, S. Klevitson, arxi No. 1310.1951v2, [hep-th],
(1800–2013).
[12] Luiz C.L. Botelho, Gen Relative Gravity (research article), DOI
10.1007/S, 10714-012-1372-1, (May/11/2012).
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
Chapter 5
5.1 Introduction
109
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 110
where we have suppressed the O(2) indices and consider the fermionic fields
as complex fields. The average is defined as in Ref. 8 or chapter 2,
but with the appropriate boundary conditions of Refs. 10–13 and JR (x)
(R = 1, . . . , N ) is an external source with O(N ) indices.
Before turning to the computation of the N -point off-shell amplitudes
it is instructive to remark that Eq. (5.3) is the string generalization of the
analogous formulas in an SO(N ) quantum particle dynamics:
In a gauge e(ζ) =const, we find that lim δ 2 Γ[JR (x)]/δJR1 (x1 )δJR2 (x2 )
JR (x)→0
is the quantum-mechanical propagator of a free SO(N ) bosonic particle.
Let us now pass on to the problem of evaluating the scalar N -point
off-shell scattering amplitude through the correlation functions of the asso-
ciated effective quantum Liouville theory for the case of D being the upper
half-plane R+2
= {(ξ1 , ξ2 ) | ξ2 ≥ 0}. In momentum space, it is given by
ÂR1 , . . . , RN (p1 , . . . , pN )
E F
N ;
(H) (A)
= d2 ξj e(ξj ) exp (A) i l
i(pj ; φ (ξj )) ψ1 (ξj )(λRj )il ψ̄2 (ξj ) ,
R2+ j=1
(5.5)
where ( ; ) means the Euclidean scalar product over the Lorentz indices and
N
(H)
d2 ξj = d2 ξj |ξb − ξa |2 |ξc − ξb |2
j=1 j=1;j=a=b=c
is the Mbius-invariant Haar measure which takes into account the (physical)
residual symmetry of the projective group not fixed by the conformal gauge.
The physical spectrum is determined by considering the poles of the ex-
pression ÂR1 · · · RN (p1 , . . . , pN ) and the associated residues identified with
the on-shell scattering amplitudes for the related string excitation.
Proceeding as in Refs. 10–13 by introducing the family Lj =
−2(j+1)δ(Z,Z ∗ ) ∗
e ∂Z ∗ e2jδ(Z,Z ) ∂Z of self-adjoint operators acting on an appro-
priate space of two-component real functions on R+ 2
= {Z = ξ1 +iξ2 ; ξ2 ≥ 0}
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 112
we can perform the Gaussian functional integration over the scalar fields in
∗
the conformal gauge eaμ (Z, Z ∗ ) = eδ(Z,Z ) δμa . This yields the result
⎡ ⎛ ⎞⎤
N
−D
(L0 ) exp ⎣− ⎝ (pi ; pj )K (ε) (Zi , Zj , 2δ(Zi , Zi∗ ))⎠⎦ , (5.6)
(A) (A)
det 4
(i,j)=1
where K (ε) (Zi , Zj , 2δ(Zi , Zi∗ )) denotes the Neumann problem Green’s func-
tion of the covariant Laplacian conformally regularized on the half-plane
R2 . Its expression reads.
$
(ε) ∗ ∗ − 2π
1
ln(|Z − Z ||Z − Z ∗ |), Z = Z ,
K (Z, Z , 2δ(Z, Z )) = ∗
δ(Z,Z )
2π − 1
4π ln ε − 1
2π ln |Z − Z ∗ |, Z = Z .
(5.7)
(eaμ (Z, Z ∗ ) = eaμ (ξ) = exp[δ(Z, Z ∗ )]δμa ).
Let us now evaluate the functional integrations over the fermionic com-
pactified string degrees of freedom and also of the U (1) gauge field Aμ (ξ).
Therefore, we face the problem of evaluating the functional integrals
εμν
ψ i (ξ) = eiγ5 η(ξ) χi (ξ), ψ̄ i (ξ) = χ̄i (ξ)eiγ5 η(ξ) , Aμ (ξ) = − (∂ν η)(ξ),
e(ξ)
(5.9)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 113
Since in Eq. (5.10) the (η(ξ), χi (ξ), χ̄i (ξ)) fields are decoupled we can
evaluate the corresponding functional integrations, yielding (in the confor-
mal gauge)
regularized for the scalar N -point off-shell scattering amplitudes, Eq. (5.5):
⎡ ⎤
AR1 · · · RN (p1 , . . . , pN ) = ⎣T r
A (λRσ(1) · · · λRσ(N ) )⎦
(σ)
i=j
⎡ ⎛ ⎞⎤
N
× exp ⎣− ⎝ [(pi ; pj ) + 1]K (ε) (Zi , Zj , 2δ(Zi , Zi∗ ))⎠⎦
(A) (A)
i=j
⎡ ⎛ ⎞⎤⎫⎞
N ⎬
× ⎣ ⎝ (iγa ∂a )−1
(N ) (Zσ(i) ; Zσ(j) )
⎠⎦ ⎠ , (5.12)
⎭
(σ) (i,j) (a1 ,a2 )
2
where the effective Liouville action in the upper half-plane R+ is given by
26 − D − (N − 1) 1
Seff [δ(Z, Z ∗ )] = d2 ξ[ (∂a δ)2 + μ2 e2δ ](ξ)
12π R2+ 2
+∞ +∞
λ dξ1 eδ(ξ1 ,0) − D/8π dξ1 (∂N δ)(ξ1 , 0) (Z = ξ1 + iξ2 ).
−∞ −∞
(5.13)
2
Since the solution of the Liouville field theory in R+ was not found
yet, which would provide the complete solution of Eq. (5.12), we imple-
ment a saddle-point approximation to evaluate Eq. (5.12) as introduced √
in Ref. 10. By requiring the usual “boundary” restriction λ = −(5/ 2)μ
[cf. Eq. (3.11) of Ref. 10] the (natural) D → −∞ solution of the theory
2
described by Eq. (5.13) is the Poincar metric in R+ : namely,
1 2
δ(ξ1 , ξ2 ) = ln 2 (Z = ξ1 + iξ2 ). (5.14)
2 μ |Z − Z ∗ |2
We remark that this solution renders the action singular. However the
action Seff [δ(Z, Z ∗ )] does not depend on the points Zi , so it cancels with
the normalization factor of the quantum average.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 115
i<j
⎛ ⎞
⎜ ⎟
×⎜
⎝ [(iγa ∂a )−1 ⎟
N (Zσ(i) , Zσ(j) )]a1 a2 ⎠ ,
(σ) (i,j) (a1 ,a2 )
(i=j)
(5.15)
where the conformally regularized dual coupling constant model is given
explicitly by
N
1/2−( p2i /2πN )
2 i=j
N
p2i /4πN
ḡ(ε, pi ) = ε i=j . (5.16)
μ2
At this point it is instructive to compare with the similar result obtained
for the fermionic string [cf. Eq. (18) of Ref. 11].
In order to determine the associated spectrum we have to find the poles
in the external momentum variables p2i ) = (pi ; pi ). Such poles occur when
Zi and Zi∗ come close together. As a result, (Euclidean) poles exist when
p2i /π = 1 = −1, −2, . . . or p2i /π = 0, −1, −2, . . . . (5.17)
This fact implies that the spectrum of the RD × SO(N ) K = 2 bosonic
string at the D → −∞ saddle point is not sensitive to the axial anomaly and
coincides with the spectrum of the pure D → −∞ fermionic string, a string
without tachyans. As another comment, we remark that the absence of the
tachyon excitation of these models is entirely due to the covariant treatment
@N
of the fermionic degrees which produces the factor exp[− i=1 δ(Zi , Zi∗ )]
in Eq. (11), thus, suppressing the tachyon excitation from the pure bosonic
spectrum [cf. Ref. 10, Eq. (9.11)]. Opposite to the usual “add-hoc” spec-
trum projection onto an even “G-parity” sector implemented at the string
critical dimension Dc as an operator quantization analysis.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 116
5.3 References
Chapter 6
6.1 Introduction
It has been argued by A.M. Polyakov [1] that the presence of monopoles
excitations in the vacuum of Compact Quantum Electrodynamics is the
main fact responsible for the confinement or screening of the electric charge
of the electron excitations.
In this chapter we intend to show a similar, however diferent dynam-
ics of confinement of electrical charges in the presence of tensor fields by
path integral manipulations with abelian Wilson loops path integrals in the
framework of dimensional regularization and by phenomenologically repre-
senting the dynamics of the theory’s vacuum through an effective dynamics
of a low-energy rank-two antisymmetric tensor field ([2]) (see appendix for
some comments).
117
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 118
The Electric Charge Confining in Abelian Rank twoTensor Field Model 119
The searched binding energy takes thus the simple form in a dimensional
regularized integral-distributional form
2
e dν k
Ebin (R) = lim − 2 μ
fμ (k, C(R,T ) )D(k )f (−k, C(R,T ) ) (6.5)
T →∞ T (2π)ν
with the rectangle form factors ([4])
dxμ (s)
fμ (k, C(R,T ) ) = e−i(k0 x0 (s)+k1 x1 (s))
C(R,T ) ds
∂
= εμν (e−ikα xα ) d2 xα
S(R,T ) ∂xν
$
− k40 sin( k02T ) sin( k12R ) for μ = 0
= (6.6)
+ k41 sin( k02T ) sin( k12R ) for μ = 1
The effective electromagnetic propagator, local in momentum space, is
explicitly given by
−1
θ2 k 2 k 2 + m2
D(k 2 ) = k 2 − 2 = 4 · (6.7)
k +m 2 k + k 2 (m2 − θ2 )
Now one can easily see that for the fine tunning choice m = +θ, one
obtains after straightforwardly calculations ([4]), the expected confining
Cornell form ([5]) for the binding energy
e2
Ebind (R) = − + (4πe2 m2 )R . (6.8)
4πR
It is worth that for m = θ, or θ = iθ (θ ∈ R), call the reader attention that
the binding energy is of the Yukawa form and thus leading to a screening
picture for the inter-electronic potential for compact QED in R4 .
At this point, let us comment and compare ours results with the at-
tempts done in ref.[3] through Hamiltonian methods for a similar quantum
field model.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 120
We feel that these works may be not well-defined by the somewhat cum-
bersome use of cut-offs (otherwise infinite) ordinary integrals. For instance,
in these refs.[5], it has been obtained the following expression for the bind-
ing energy (see eqs. (17)-(29) of ref.[3] where R = (y − y ), M 2 = m2 + e2
in the refs author’s notation):
(1) (2)
Ebind (R) = V(R) + V(R) (6.9)
with
y y
e2 1
dzi δ (3) (x
(1)
V(R) = − 3
d x −z ) ∇2 dz i δ (3) (x − z)
2 y ∇2x − M 2 x y
2 −MR
H
= (e e ) 4πR (6.10)
and
y y
e 2 m2 1
V (2)
(R) = + d3 x dzi δ (3) (x − z ) dz i δ (3) (x − z)
2 y ∇x − M 2
2
y
e2 −MR e2 M ε3
=− e /R + R n 1 − 2 (6.11)
4π 8π M
where ε is a cutt-off to be imposed in order to make sense for their diver-
gent ordinary integrals. However, it appears that this process of handling
distributions has drawbacks, since one can easily use the screening result
eq. (6.10) to evaluate eq. (6.11) through the use of the simple operatorial
decomposition
y
e 2 m2 (∇x )2
V (2)
(R) = 3
d x dzi δ (3) (x − z )
2 y (∇x )2 (∇2x − M 2 )
y
× dz i δ (3) (x − z)
y
y
e 2 m2 1 1 1 1
= d x 3
dz1i δ (3) (x −z ) − 2 + 2
2 y M (∇x )2 M (∇x − M 2 )
2
y
e2 M 2 1 e 2 m2 e−MR
× dz i δ (3) (x − z) =− +
y 2M 2 R 2M 2 4πR
(6.12)
which clearly is finite and differs from the their claimed cut-off implicit
confining result. At this point let us suggest that the use of Hamiltonian
formalism to handle mathematically gauge theories, specially Yang-Mills
theory and its variants is somewhat difficulted by the fact that one must
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 121
The Electric Charge Confining in Abelian Rank twoTensor Field Model 121
fix the gauge and this makes recourse for formal BRST realizations of Gauge
Invariance in the observables evaluation in order to make the results phys-
ically acceptable. Certainly such somewhat formal technique making use
of “infinitesimal” grassmanian parameters in a theory with solely physical
bosons fields as imputs must be applied very carefully outside the well-
founded evaluations of matrix (on-sheel) scattering amplitudes which does
not exist in pure Yang-Mills theory due to severe infrared divergencies.
That was the main reason of reformulating all the gauge theories by means
of gauge invariant path integrals and mainly with the objective that in the
confining phase all the evaluations should be done non-perturbativelly (see
appendix for supplementary comments).
The author of the second set of ref.[7] present arguments that the av-
erage over the Bμν (x), probably representing the non-trivial random flux
structure of the QCD-vacuum should be defined by a pure white-noise set
of random fluxes. In the path integral language ([6], ]8]), the B-average
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 122
2
where g∞ = lim (g 2 Nc ) < ∞ denotes the Nc = +∞ t’Hooft QCD cou-
Ni →∞
pling constant.
It is very important to remark now that eq. (A-1) with the White-
Noise random flux average eq. (A-2), satisfies the QCD loop wave equation
exactly under the geometrical hypothesis that the bosonic surfaces (string
world-sheets) defining the QCD string should satisfies the self-intersecting
orthogonality tangent plane constraints (ξ = (s, σ)), X μ (s, 0+ ) = u (s))
Note that the second constraint in eq. (A-3) means that one allows
non-trivial topology in the intrinsic (mathematical) string time-direction
evolution 0 ≤ σ < ∞. However, the first geometrical constraint may be
connected (not proved yet) to the fact that the bosonic loops X μ (s, σ̄) (with
σ̄ fixed) should physically corresponding to R4 space-time euclidean quark-
antiquark trajectories on the fermionic quark functional determinant in the
presence of an abelian color singlet vectorial source, for instance:
1 ∞ dΓ
g det(∂(Aμ ) + Jμ ) = − d4 z β DF [X(s)]
2 0 T β β
X (0)=X (T )=z β
T T
1
exp − ds · X 2 (s) × exp ie ds Jμ (X(s))
2 0 0
% &
g2 T δ
Tr P Spin exp μ ν
ds[γ , γ ]
4i 0 δσμν (X(s))
% &
T
1
× Trcolor P exp ig Aμ (X(s))dX (s)μ
(A-4)
Nc 0
δ
with denoting the formal Mandelstam-Migdal area functional
δσμν (xβ )
δ δ
derivative = and satisfying thus the
β
δσμν (X (s)) δ[(Ẋμ Xν − Ẋν Xμ )(s)]
Pauli Exclusion principle which by its turn translates geometrically by
the condition that at non-trivial proper-time trajectories self-intersections
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 123
The Electric Charge Confining in Abelian Rank twoTensor Field Model 123
6.4 References
6.6 Introduction
The Electric Charge Confining in Abelian Rank twoTensor Field Model 125
The Lagrangian L1 (ψ, ψ̄, φ) is invariant under the global Abelian and
chiral Abelian groups
= det(D[φ])
Here J[φ] = det( D[φ])/ det( D[φ = 0]) is the explicit expression for this
Jacobian.
It is instructive to point out that the model displays the appearance
of the axial anomaly as a consequence of the nontriviality of J[φ], i.e.,
∂μ (ψ̄γμ γ5 ψ)(x) = {(δ/δφ)J[φ]}(x).
So, to arrive at a complete bosonization of the model Eq. (B-6) we face
the problem of evaluating J[φ].
Let us, thus, compute the four-dimensional fermion determinant
det( D[φ]) exactly, In order to evaluate it, we introduce a one-parameter
family of Dirac operators interpolating the free Dirac operator and the
interacting one D(ζ) [φ]: namely,
D(ζ) [φ] = exp(igγ5 ζφ)(iγμ ∂μ ) exp(igγ5 ζφ) (B-10)
with ζ ∈ [0, 1].
At this point we introduce the Hermitian continuation of the operator
D(ζ) [φ] by making the analytic extension in the coupling constant ḡ = ig.
This procedure has to be done in order to define the functional determinant
by the proper-time method since only in this way (Dζ [φ]) can be considered
as a (positive) Hamiltonian.
The justification for this analytic extension in the model coupling con-
stant is due to the fact that typical interaction energy densities such as
ψ̄γ 5 ψ, ψ̄γμ Δμ ψ, which are real in Minkowski space-times, become complex
after continuation in Euclidean space-time. As a consequence, the above
analytic coupling extension must be done in the proper-time regularization
for the Dirac functional determinant.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 127
The Electric Charge Confining in Abelian Rank twoTensor Field Model 127
The Electric Charge Confining in Abelian Rank twoTensor Field Model 129
It is instructive to point out that the operator solution Eq. (B-22) co-
incides with the operator solution of the U (1) vectorial model analyzed by
Schroer in Ref. [8] [the only difference between the model’s solutions being
the γ5 factor in the phase of Eq. (B-22)].
Consequently we can follow Schroer’s analysis to conclude that the Eu-
clidean correlation functions Eq. (B-20) define Wightman functions which
are distributions over certain class of analytic test functions. But the model
suffers the problem of the nonexistence of time-ordered Green’s functions
which means that the proposed axial model in Minkowski space-times does
not satisfy the Einstein causality principle.
Finally we remark that the proposed model is to a certain extent less
trivial than the vectorial model since for nondynamical φ(x) field the as-
sociated S matrix is nontrivial and is given in a regularized form by the
result
+∞
4
S = T exp i (ψ̄γμ γ5 ∂μ φψ)(x)d x
−∞
+∞
δ
= exp −i φ(x) Jε [φ] (x)d4 x (B-23)
−∞ δφ(x)
6.8 Appendix C
(Dζ [φ])2 = (−∂ 2 ) − (ḡγ5 ζ∂μ φ)∂μ − ḡζγ5 ∂ 2 φ + (∂μ φ)2 . (C-1)
For this study, let us consider the more general second-order elliptic four-
dimensional differential operator (non-necessarily) Hermitian in relation to
the usual normal in L2 (RD ) (Ref. [7]):
Now substituting the value aμ (x) = [−ζ ḡ∂μ φ(x)]14×4 and V (x) =
[(−ḡζγ5 ∂x2 φ + ∂μ φ)2 ]14×4 into Eq. (C-6) we obtain the result Eqs. (B-14)
and (B-15) quoted in the main text.
6.9 References
The Electric Charge Confining in Abelian Rank twoTensor Field Model 131
Chapter 7
7.1 Introduction
133
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 134
Proof: We note that L−1 α,Ω,m is a positive definite trace class operator on
2 D D
L (R ) for α > 2 (ref. ([2])). Since
−1 vol(Ω) dD k D
T rL2 (RD ) {L(α,Ω,m) } = D 2α 2
< ∞ if α > .
(2π) RD k +m 2
(7.9)
Now the result on the support of the probability measure given by
eq. (7.8) as given by the L2 (RD ) (or L2 (Ω)) space is a direct consequence
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 137
Note that remains a non trivial problem to evaluate the n-point field
correlation functions on this proposed scheme of ours. However the same
reasoning below can be applied to prove that the exponential regularized
n-point functions are finite. Namelly
(e−δφ φ)(x)j(x)dD x
2
× exp i
Ω
= Z(α,Ω,m2 ,δ) (j(x)) (7.12)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 138
On the light of such theorem, one can use the Sobolev immersion
Theorem H0m (Ω) ⊂ C P (Ω), for P < m − D/2, to have continuous or even
differentiable euclidean field sample configurations on the theory’s path in-
tegral for higher order free field path integral.
At this point appears the very difficult problem of cut-off remotions
vol(Ω) → ∞, α → 1, δ 2 → 0 or and m2 → 0 in these analitically “reg-
ularized” field thories. In next section one implement the finite volume
and the analitically regularized remotion on a class of non trivial massless
scalar field theories, just for exemplifying that cutt-off remotions on ours
proposed regularized path integrals are as possible as well.
Let us point out that theorem 3 can be considered as a sort of generalized
Wiener theorem on the continuity of Brownion motions for ours volume-
analitically regularized euclidean fields path integrals.
The proof of Theorem 3 is again a direct result of the Minlos-Bochner
theorem ([1], [2], [6]).
dL−1 μ(φ)||ϕ2 ||H m (Ω) < ∞ (7.13-a)
α,Ω,m
L2 (RD )
if
T rH m (Ω) [L−1
α,Ω,m ] < ∞. (7.13-b)
This can be verified by a direct computation
T rH m (Ω) [L−1
α,Ω,m ]
1 k 2m
= dD k dD u 2α | ˆΩ (k − U )|2 < ∞ (7.13-c)
I
vol(Ω) RD RD u + m2
if m + D < α.
The reader can check eq. (7.13-c) by means of the finitude condition of
the integral 2
K 2m
dD k 2α < ∞ if 2α − 2m − 2D > 0. (7.13-d)
K + m2
2 See also Appendix B for a discussion on the sample differentiability of the Euclidean
Here the functional measure on the path space of real square integrable
function on Ω, denoted by L2 (Ω) is given through the Minlos Theorem (see
Section 1) for real field sources j(x) on L2 (R2 ) and the parameter α on
the range α > 1. Here m2 is a mass parameter eventually vanishing at the
end of our estimate, since we are only interested on the ultraviolet field
singularities
1 −α
exp − 2 2 2
d xd y j(x)(χΩ (x)((−Δ) + m )(x, y)χΩ (y))j(y)
2 R2 ×R2
= (dL−1
α
μ)(ϕ) exp(ij, ϕL2 (R2 ) ). (7.15)
L2 (Ω)
Zα=1 (j(x)) = lim lim lim lim IN (gbare (α, v), [j]) . (7.18)
V →∞ N →∞ α→1 m2 →0
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 140
Theorem 1. The functional IN (gbare (α, v), [j]) satisfies the upper bound
at the limit α → 1
/ 0
lim lim |IN,α (gbare(α, v), [j]|)
N →∞ α→1
≤ C exp(C)
2
(7.19-a)
where the constant C is given by
C = (4π)1/2 gren ||V< ||L∞ (R) . (7.19-b)
Proof: By noting that C(Ω) (dL−1 α
μ)(ϕ) exp(ikϕ(x)) = 0, one has the fol-
lowing result eq. (7.8) (see [2]), where the integral kernel of the our “free”
propagator is given explicitly by (for α > 1; see Appendix A)
−1 1 Γ(1 − α) 2(1−α)
Lα,m2 =0 (xi , xj ) = χΩ (x) (|xi − xj | 2(α−1)
) 2 χΩ (y).
(2π) Γ(α)
Note that due to the continuity on the infrared cut-off mass parameter,
it is possible to consider directly its limit on the determinant formed by the
Green’s functions.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 141
At this point we note the Taylor expansion of the below written object
−1/2
LN (α, v) = d2 x1 · · · d2 xn det [L−1
α (xi , xj )]
Ω N ×N1≤i≤N
1≤j≤n
N
= (1 − α)N/2 Cn + (1 − α) 2 +m1 CN +1 + . . . (7.22)
with
⎛ ⎞−1/2
with
C = |gren | · ||V< ||L∞ (4π)1/2 . (7.26)
Note that we have used the elementary estimate to arrive at eq. (7.25)
for N > 1
1
≤ 1, for N ≥ 2. (7.27)
(N − 1)1/2
We conclude this, that the functional path integral eq. (7.14) under the
renormalization coupling constant eq. (7.17) and rigorous Feynman pertur-
bative definition eq. (7.18) has a finite limit for α = 1.
It is worth that one could also consider the most general multiplicative
renormalization including the functional form of the interaction
gren
gbare (α, v||V< ||L∞ (Ω) ) = . (7.28)
(1 − α) v||V< ||L∞ (Ω)
1/2
Now allowing interactions satisfying the constraint V< (k) = lim V< (k)
→∞
with ||V< (k)||L∞ (Ω) = ∈ N+ .
It is worth to recall that we have proven that the full generating func-
tional eq. (7.14) at α → 1 as defined by a Feynman’s perturbative series:
Feynman’s diagrammas renormalized order by order in a power serie expan-
sion on the bare coupling constant is finite and it is a continuous functional
on the source space j(x) ∈ L2 (Ω).
However it appear that the use of the propagator prescription
/; 1 Γ(1 − α)
L̂−1 2
α,m =0 (xi , xj ) = χ Ω (x) 22(1−α)
4π Γ(α)
4π 0
× |x − y|2(α−1) − χΩ (y), (7.29)
(1 − α)
which converges on the D (R2 ) L. Schwartz distributional sense to the usual
non positive definite two-dimensional Laplacean Green function for α → 1
does not lead to well defined Euclidean QFT generating functional. A
result already expected since Massless 2D Euclidean Q.F.T. Theories built
already as perturbation around free scalar Massless fields on R2 do not make
mathematical sense due to the fact that the two-dimensional Laplacean
Green function does not belongs to the “Fourier Transformable” Tempered
Distributional Space S (R2 ), a fact already observed a long time ago by
S. Coleman ([4]) and fully used by G. Hoft on his studies on (QCD)2 –
solubility at large number colors ([5]).
Another point worth call attention in this Section is that the same proof
works out for a class of four-dimensional analitically regularized Euclidean
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 143
Field theories with the “Free kinetic operator” defined through the Minlos’s
theorem on a finite volume region Ω ⊂ R4
> 1
exp − d4 x d4 y
2 R4 R4
> ; ?
× j(x) χΩ (x) (−Δ2 )−α + m20 χΩ (y) j(y)
/ 0?
= dL−1 μ(ϕ) exp i ϕ(x)j(x)d4 x . (7.30-a)
α,m2
0 R4
Here the Integral Kernel of the square D-fimensional Laplacean is given
by (for α > 1)
2 − 2α)
Γ( D
(−Δ2 )−α = (|x − y|4α−D ). (7.30-b)
Γ(2α)24α π D/2
Finally, we call attention that into another publication we will address
to the “differentiability” of the generating functional eq. (7.1) at α → 1
as defined in the Bulk of this section. However it is straithforward to
obtain such differentiability for sources j(x) coupled to field configurations
interaction of the form exp(−δϕ2 (x))ϕ(x). Note that in this case, the N -
point Taylor’s coeficients of Z[j(x)] are explicitly given by
δ N Z[j(x)] 1
1
1
δj(x1 ) · · · δj(xN ) j(x)≡0
N
= (dL−1
α
μ)(ϕ) [exp(−δϕ2 (x ))ϕ(x )]
C(Ω) =1
< ∞, (7.31)
since the domain of the above functional integral for α > 1 is the space of
measurable square integrable functions on Ω (and for δ > 0)
||e−δϕ ϕ(x)||L∞ (R) = (max |e−δx x|) = C < ∞,
2 2
(x)
(7.32)
x∈R
leading to the finitiness of eq. (7.31) by the use of the Lebesgue dominated
convergence theorem.
The limite of δ → 0 on the momentums eq. (7.31) will appears elsewhere.
Finally we wishe to point out that non trivial homological topology of
the compact planar two-dimensional domain Ω ([8]) in ours path integral
can be easily taken into account by the Ω set indicator function χΩ (Ω)
on eq. (7.30-a) of this section, specially on Fourier Space by means of the
Ω-domain Fourier Integral form factor for Ω with holes inside
N >
+ L−1
α,m2 =0 (x1 , xp )
p=1,q=1
?
−1 −1
× [L−1
α (xi , xj )] L
pq α,m =0
2 (xq , x2 ) (7.36)
and noting the Laplace formula for evaluate the inverse of the propagator
matrix
1
[L−1 −1
α (xi , xj )]pq =
detN ×N [L−1
α (xi , xj )]
a) For M ≤ N ,
L(M)
x (f (x1 , . . . xM )) = L(N )
x (f (x1 , . . . , xM )) (7.40)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 146
Since Ṙ∞ is a compact topological space one can apply the Riesz Markov
theorem to represent L∞
x̄ through a well defined measure on Ṙ
∞
(the Bare
∞
σ-albegra of Ṙ ).
Note that one could take ε = t/N with t > 0, a real fixed, and this
obtain the famous Wiener measure ending at x̄ at time t
L∞
(x̄,t) (f ) = dWiener
(x̄,t) μ̂[g(σ)]f (g(σ)) (7.41)
Ṙ∞
where g(σ) ∈ Ṙ∞ is identified with the set of all real functions on Ṙ [the
“compactified” Wiener path trajectory], with the domain σ ∈ [0, t].
It is worth to remark that on eq. (7.39), all the “time parameters” are
at the same value t = ε.
It is an open problem to show the existence and unicity of the Wiener
measure d(x̄,t) μ[g(σ)] under general (different) time steps on eq. (7.39).
It is worth also to note that f ∈ Cc (Ṙ∞ , R) by the hypothesis of the
Riesz-Markos theorem ([7]).
At this point if is argued that there is a unique “pull-back” of the above
constructed Wiener measure on the space of compact paths to the full R
paths. Namely, for F ∈ Cc (C(R, R), R) and x ∈ R
L∞
(x,t) (F ) = dWiener
(x,t) μ(X(σ))F (X(σ)). (7.42)
= (dWiener
(x,t) μ(X(σ))F (X(t)). (7.43)
X(t)=y
f (x)x|e− 2 Δ F |yḡ(y) =
t
dWiener μ(X(σ))(f (X(t))ḡ(X(0))).
RD X(0)=y
(7.44-b)
1 ∂2
S[D] = β − + A β (x, t)dD−1 xdt. (7.45)
D 2 ∂t2
The most usual way to give a mathematical meaning for eq. (7.46) is
to use the spectral theorem for A (Aϕμ = λμ ϕμ ) and regard eq. (7.46)
as the (enumerable) infinite product of Brownian Bridge Wiener mea-
sures eq. (7.44-a) and under the hypothesis that all the field configurations
entering on the support of the resulting field path integral measure is of the
form
∞
β(x, t) = Cμ (t)φμ (s) ∈ C([t1 , t2 ], L2 (Ω)). (7.47)
μ=0
Here
∞
in
β (x) = βnin ϕn (x) (7.49-a)
n=0
∞
β out (x) = βnout ϕn (x). (7.49-b)
n=0
∞
$G
λn
=
n=0
Sinh(λn T )
λn out 2
× exp − (βn )
2sinh(λn T )
?
+ (βnin )2 cosh(λn T ) − 2βnout βnin
T
2βnout
− dσjn (σ)sinh(λn σ)
λn 0
T
2βnin
− dσjn (σ)sinh(λn (T − σ))
λn 0
T T
2
− dσ dσ jn (σ)jn (σ )sinh(λn (T − σ))
(λn )2 0 0
?
× sinh(λn (σ )) (7.50)
7.6 Appendix A
= TK −2α . (A-4)
The complete distributional sense is given below for f (x) ∈ S(R ), with
D
fˆ(k) = F [f (x)]
T( 1 Γ(1−α) 22(1−α) r2(α−1) (f ) = Tk−2α (fˆ(k)). (A-5)
2π Γ(α)
Just for completeness, let us evaluate on the S (R2 ) sense the Fourier
Transform below
2
1 1
Gα (x, y, m2 ) = √ d2 keik(x−y) 2
2π R2 (k + m2 )α
⎛ ⎞
2J0 (kr)
1 ⎜ ∞ + ,- .
k ⎟
= ⎝ dk 2 2 )α
(J0 (kr) + J0 (−kr))⎠
2π 0 (k + m
∞
1 2(α−1) pJ0 (p)
= r × dp 2
2π 0 (p + m2 r2 )α
(mr) 1−α
· K1−α (mr)
= (A-6)
2α−1 Γ(α)
where we have used the distributional sense integral relation for μ and ν
complex parameters and a, b ≥ 0:
∞
JV (bx)xν+1 aν−μ bμ Kν−μ (ab)
dx = . (A-7)
0 (x2 + a2 )μ+1 2μ μ(μ + 1)
Just for completeness, one can use the above exposed formulae to obtain
the Integral Kernel of the S (RD ) distribution (−Δ)−α . Namely
2 − α)
Γ( D
(−Δ)−α (x, y) = . (A-8)
Γ(α)2 π D/2 (x − y)D−2α
2α
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 151
7.7 Appendix B
I
∞
As it is usual to expect that C ∞ (Ω) ⊂ H p (Ω) (where H p (Ω) denotes
p=0
the usual function Sobolev Spaces on Ω), the theorem of this appendix as
expressing the fact that differentiable sample on non enough sufficiently
regularized euclidean path integrals makes a set of zero measure. And clas-
sical smooth field configurations being useful only in the realm μ of formal
saddle-point (WKB) path integral evaluations. So one can not manipulate
path integral integrands with College Calculus rules.
For the less restringent condition of path integral sample continuity, one
has to use our generalization of the Wiener theorem eq. (7.9).
In the general case of non-Gaussian cylindrical measures, one should
imposes the bound restriction below, as a reasonable thechnical condition
1
sup |Z(j)| ≤ C exp − j, Aj (B-5)
2
J+
for some positive definite trace class positive operator A ∈ 1 (L2 (Ω)) and
C > 0, in order to obtain the validity of our theorem – Appendix B.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 153
7.8 Appendix C
Now if one substitutes eq. (C-4) into eq. (C-1) and by applying the
Fubbini theorem to the Product Measure Space (H × H alg ; dA μ ⊗ dB(ε) ν),
one obtains the result
− 12
1
I (ε)
(x) = det( C(ε))
ε2
> − 12
−i(x,k)
× f (z)e iz,k
dA μ(z) e dB(ε) ν(k) = det(ε−2 C(ε))
H alg H
× f (z)e iz−x,k
(dA μ(z)dB(ε) ν(k))
H alg H
− 12
= det(ε−2 (I(ε))) × f (z)ZB(ε) (z − x)dA μ(z)
H
− 12 (z−x,A(z−x))H
= f (z)e
H
% &
− 12
1
× det(ε−2 C(ε)) exp − 2 z − x; C(ε)(z − x) dA μ(z).
2ε H
(C-5)
At this point we take from the Hida Calculus, the formal definition of
the Dirac delta functional on Hilbert Spaces
− 12
1
lim+ det(ε−2 C(ε)) exp − 2 (z − x), C(ε)|z − x|H
ε→0 2ε
S (H).
(F )
= δH (z − x) on (C-6)
then formally, one has the “inversion” formula on the algebraic dual of H
− 12
f (x) = e+ 2 x,Ax det(A)
1
7.9 References
Chapter 8
Through the systematic use of the Minlos theorem on the support of cylin-
drical measures on R∞ , we produce several mathematically rigorous finite-
volume euclidean path integrals in interacting euclidean quantum fields
with Gaussian free measures defined by generalized powers of finite-volume
Laplacean operator.
8.1 Introduction
Since the result of R.P. Feynman on representing the initial value solu-
tion of Schrodinger Equation by means of an analytically time continued
integration on an infinite - dimensional space of functions, the subject of
Euclidean Functional Integrals representations for Quantum Systems has
became the mathematical - operational framework to analyze Quantum
Phenomena and stochastic systems as showed in the previous decades of
research on Theoretical Physics ([1]–[3]).
One of the most important open problem in the mathematical the-
ory of Euclidean Functional Integrals is that related to implementation
of sound mathematical approximations to these Infinite-Dimensional Inte-
grals by means of Finite-Dimensional approximations outside of the always
used [computer oriented] Space-Time Lattice approximations (see [2], [3] -
chap. 9). As a first step to tackle upon the above cited problem it will be
needed to characterize mathematically the Functional Domain where these
Functional Integrals are defined.
The purpose of this note is to present the formulation of Euclidean
Quantum Field theories as Functional Fourier Transforms by means of the
Bochner-Martin-Kolmogorov theorem for Topological Vector Spaces ([4],
157
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 158
[5] - theorem 4.35) and suitable to define and analyze rigorously Functional
Integrals by means of the well-known Minlos theorem ([5] - theorem 4.312
and [6] - part 2) which is presented in full in Appendix A.
We thus present studies on the difficult problem of defining rigorously
infinite-dimensional quantum field path integrals in general finite volume
space times Ω ⊂ Rν (ν = 2, 4, . . . ) by means of the analytical regularization
scheme ([12]).
Some comments on rigorous finite-volume euclidean quantum field path integrals 159
measurable real function1 . Note that V (x) is thus a continuous real function
vanishing at the infinite point.
Let us show that by defining an ultra-violet renormalized coupling con-
stant (with a finite volume Ω cut off built in).
gren / 0
2−α π − 4
1
gbare (α) = (8.2)
(1 − α) 1/2
(0)
is an integrable function on L1 (L2 (R2 ), dα,εIR μ [ϕ]) and leads to a well-
defined ultra-violet functional integral in the limit of α → 1.
The proof is based on the following estimates.
Since almost everywhere we have the pointwise limit
exp −gbare (α) 2
d x V (ϕ(x))
$N
(−1)n (gbare (α))n
lim dk1 · · · dkn Ṽ (k1 ) · · · Ṽ (kn )
N →∞ n! [−Λ,Λ]
n=0
× dx1 · · · dxn eik1 ϕ(x1 ) · · · eikn ϕ(xn ) (8.4)
Ω
with
ZεαIR [gbare ] = d(0)
α,εIR μ[ϕ] exp −gbare (α) d2 x V (ϕ(x)) (8.5-b)
Ω
1 It could be as well consider also a polinomial interaction of the form V
n,p (x) =
minimum of {(ϕ(x))p , n} with p and n psotive integers. Note that Ṽ (k) ∈ L1 (R)∩L∞ (R)
by hypothesis
eikϕ(x) · Ṽ (k)dk d2 x ≤ vol(Ω)||Ṽ ||L1 < ∞
Ω
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 160
(0)
we have, thus, the more suitable form after realizing the d2 ki and dα,εIR μ[ϕ]
integrals respectivelly2
1 1 ∞
(gbare (α))n / 0n
1 α 1
1ZεIR =0 bare 1
[g ] ≤ ||Ṽ ||L∞ (R)
n=0
n!
1 ; 1
1 1
dx1 · · · dxn det− 2 G(N
1
1 α
)
(xi , xj ) 1≤i≤N 1 (8.6)
R2 1≤j≤N
(N )
Here [Gα (xi , xj )] 1≤i≤N denotes the N × N symmetric matrix with
1≤j≤N
the (i, j) entry given by the positive Green-function of the α-Laplacean
(without the infra-red cut off here!).
Γ(1 − α) 1 2(1−α)
Gα (xi , xj ) = |xi − xj |2(α−1) 2 (8.7)
Γ(α) 2π
At this point, we call the reader attention that we have the formulae on
the asymptotic behavior for α → 1 and α < 1 (see ref. [12] - Appendix A).
$ '
lim det− 2 [G(N
1 N
)
α (xi , xj )] ∼ eN πiα × (π 4 · 2N α )
α→1
α>1
(+1)
× (1 − α)N | (8.8)
(−1)N (N − 1)
After substituting eq. (8.8) into eq. (8.6) and taking into account the
hypothesis of the compact support of the nonlinearity Ṽ (k), one obtains
the finite bound for any value grem > 0, without the finite volume cut off
and producing a proof for the convergence of the perturbative expansion in
terms of the renormalized coupling constant for the model
1 1 ∞
(Ṽ L∞ (R) )n n
1 1 gren
lim 1ZεαIR =0 [gbare (α)]1 ≤ 1
α→1
n=0
n! (1 − α) 2
× (1 − α)n/2 × (vol(Ω))n
≤ exp{gren ||V ||L∞ (R) vol(Ω)} < ∞ (8.9)
Another important rigorously defined functional integral is to consider
the following α-power Klein Gordon operator on Euclidean space-time
χΩ (2π)ν/2 χΩ (2π)ν/2
L−1
Ω = [(−Δ)α + m2 ]−1 × (8.10)
vol(Ω) vol(Ω)
2 Note that:
≥0 ≥0
N N
2 2 −1 i,j ki kj Gα (xi , xj ) ≤ 2 2 −1 i,j ki kj Gα (xi , xj )
d x1 . . . d xn e 2 d x1 . . . d xn e 2
Ω R2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 161
Some comments on rigorous finite-volume euclidean quantum field path integrals 161
(0)
× dLΩ μ[ϕ]
× exp i ν
d x (j(x) ϕ(x) + k(x) v(x)) (8.13)
where the Gaussian functional integralJ on the fields V (x) has a Gaussian
generating functional defined by a 1 -integral operator with a positive-
definite kernel g(|x − y|), namely
(0)
Z (0) [k] = dG β[v(x)] exp i dν x k(x)v(x)
1
= exp − dν x dν y (k(x) g(|x − y|) k(y)) (8.14)
2 Ω Ω
By a simple direct application of the Fubbini-Tonelli theorem on the
exchange of the integration order on eq. (8.13), lead us to the effective λϕ4
- like well-defined functional integral representation
(0)
Zeff [j] = dL μ[ϕ][ϕ(x)]
1
exp − d xd y |ϕ(x)| g(|x − y|) |ϕ(y)|
ν ν 2 2
2 Ω
× exp i dν x j(x)ϕ(x) (8.15)
Ω
Note that if one introduces from the begining a bare mass parame-
ters m2bare depending on the parameters α, but such that it always sat-
isfies eq. (8.11) one should obtains again eq. (8.15) as a well-defined
measure on L2 (Rν ). Of course that the usual pure Laplacean limit of
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 162
= d(0)
α μ[ϕ] exp(i ϕ(j)) (8.16)
E alg (S(Rν ))
d(0)
α μ[ϕ](ϕL2j (Rν ) )
2j
<∞ (8.18)
E alg (S(Rν ))
Some comments on rigorous finite-volume euclidean quantum field path integrals 163
In this case, one obtains that the finite - volume p(ϕ)2 interactions
⎧ ⎫
⎨ N ⎬
exp − λ2j (ϕ2 (x))j dx ≤ 1 (8.21)
⎩ Ω ⎭
j=1
(0)
= d(2n) μ[ϕ] exp(ij, ϕL2 (Ω) ) (8.23)
W2n (Ω)
here ϕ ∈ W2n (Ω) - the Sobolev space of order n which is the functional
domain of the cylindrical Fourier Transform measure of the Generating
functional Z (0) [j], a continuous bilinear positive form on W2−n (Ω) (the
topological dual of W2n (Ω)) ([4]–[6]).
By a straightforward application of the well-known Sobolev immersion
theorem, we have that for the case of
ν
n−k > (8.24)
2
including k a real number the functional Sobolev space W2n (Ω) is contained
in the continuously fractional differentiable space of functions C k (Ω). As a
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 164
with the non-linearity F (x) denoting a lower bounded real function (γ > 0)
F (x) ≥ −γ (8.27)
is well-defined and is integrable function on the functional space
(0)
(C k (Ω), d(2n) μ[ϕ]) by a direct application of the Lebesgue theorem
1 1
1 1
1 exp −g F (ϕ(x)) d x 1 ≤ exp{+gγ}
ν
(8.28)
Ω
Some comments on rigorous finite-volume euclidean quantum field path integrals 165
and
9 : 9 :
α α
P f, P f = f, f (8.35)
L2 (RN ) H+α
(8.38)
= (P α )∗ (T0−1 )∗ (P −α) )∗ P α (S(RN ))
Some comments on rigorous finite-volume euclidean quantum field path integrals 167
with a function f (x) ∈ L2 (RN ) and any given ε > 0, even if originally
all fields configurations entering into the path-integral were elements of
the Schwartz Tempered Distribution Spaces S (RN ) certainly very “rough”
mathematical objects to characterize from a rigorous geometrical point of
view.
We have, thus, make a further reduction of the functional domain of the
free massive Euclidean scalar field of S (RN ) to the measurable sub-set as
given by eq. (8.30) denoted by W (RN )
1 2 −1
exp − (−Δ + m ) j (j) = d(−Δ+m2 ) μ(ϕ) ei ϕ(j)
2 S (RN )
9 :
N +ε−1
i f,(−Δ+m2 ) 4 f
= d(−Δ+m2 ) μ̃(f ) e L2 (RN ) (8.41)
W (RN )⊂S (RN )
8.3 References
Some comments on rigorous finite-volume euclidean quantum field path integrals 169
J
if A−1 ∈ 1 (M), when E = M, a given Hilbert Space, we have that
d∞
A μ(x) · ||x|| = T rM (A
2 −1
) < ∞. (A-2)
Malg
This result produces another criterium for supp d∞
A μ = M (the Minlos
Theorem), when E = M is a Hilbert Space.
It is easy too to see that if
By the Sobolev theorem which means that the embeeded below is con-
tinuous (with Ω ⊆ Rν denoting a smooth domain), one can further reduce
the measure support to the Hlder α continuous function in Ω if 2m− ν2 > α.
Namely, we have a easy proof of the famous Wiener Theorem on sample
continuity of certain path integrals in Sobolev Spaces
M2m (Ω) ⊂ C α (Ω) (A-8-a)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 170
μn → L(n)
n (f ) = f (x) · dμp (x). (A-8-c)
(n)
K̂n
L
Here f ∈ Cb (K̂n ). Note that all the above functionals in ∞
(n) (n)
n=1 Cb (K̂n )
are bounded by 1. By the Alaoglu-Bourbaki
/L theorem 0∗they form a compact
∞ (n)
set in the weak star topology of n=1 Cb (K̂n ) , so there is a sub-
sequence (or better the whole sequence) converging to a unique cylindrical
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 171
Some comments on rigorous finite-volume euclidean quantum field path integrals 171
8.5 Appendix B
Chapter 9
9.1 Introduction
173
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 174
Proof: In order to show the validity of the above ergodic limit, let us
re-write eq. (9.1) in terms of the spectral resolution of L, namely.
+∞
1 T 11 12
1 1 T>
I= 1(ψ̃, exp(i tL)ψ)1 dt = e+i tλ dλ (ψ̃, Ej (λ)ψ)
T 0 T 0 −∞
+∞
−i tμ
× e dμ (ψ̃, Ej (μ)ψ) (9.2)
−∞
1 SeeAppendix C for a rigorous mathematical proof of the Ergodic Theorem for Wide-
Sense Stationary Stochastic Process.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 175
with ψ ∈ Hc (L).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 177
We leave the details of the proof of this result for the reader, since any
compact operator is the norm operator limit of finite - dimension operators
and one only needs to show that
1 T
N
lim cn (ei tL ψ, en )gn H dt = 0 (9.16)
T →∞ T 0 n=0
One of the most important statement in Physics is the famous zeroth law
of thermodynamics: “any system approaches an equilibrium state”. In the
classical mechanics frameworks, one begins with the formal elements of the
theory. Namely, the phase-space R6N associated to a system of N -classical
particles and the set of Hamilton equations
∂H ∂H
ṗi = − ; q̇i = (9.17)
∂qi ∂pi
where H(q, p) is the energy function.
The above cited thermodynamical equilibrium principle becomes the
mathematical statement that for each compact support continuous func-
tions Cc (R6N ), the famous ergodic limit should holds true ([3]).
$ '
3N 3N 1 T
d q(0)d p(0) lim f (q(t); p(t))dt = η(f ) (9.18)
R6N T →∞ T 0
@
3N
Let H(pi , q i ) = Aij pi pj + V (q i ) on R2DN , with A denoting a strictly
i=1
positive definite matrix. Then for any p0 , q0 ∈ R2DN , there is a unique
C 1 function from R to R2DN , denoted by w(t; p0 , q0 ) and satisfying globally
Eq. (9.17) with initial conditions p0 , q0 .
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 178
or
1
11 T 1 T 2
1 1 1
1 β, Ut ψdt1 ≤ 2
(β, Ut ψ) dt (9.24)
T 0 T 0
Let us start by considering the following initial value non-linear wave equa-
tion with a positive trace class operator as a kinetic operator on RD ([4]),
with U (t, x) ∈ C(R+ , L2 (RN )) (see Theorem 3 for the discreticized case)2
> −1 ? δV (U )
Utt (x, t) = − XΩ ((−Δ)α + m2 )−1 XΩ U (x, t) + (x, t)
δU
(9.32-a)
U (x, 0) = f (x) ∈ S(RD )
(9.32-b)
Ut (x, 0) = g(x) ∈ S(RD )
Here the Klein Gordon kinetic operator is given by an important set
of inverse of class of trace operator on Mathematical Physics of Construc-
tive Field Theory of rigorous path integrals ([4]), and defined by contin-
uum powers of the (strictly positive) Laplacean operator on RD (or any
other strongly uniform elliptic operator) but projected on a given compact
domain
$ Ω ⊂ RD through its charactheristic function IΩ (x) ≡ χΩ (x) ≡
1 x∈Ω
. The integral kernel of such class is given (defined) by
0 x ∈ Ω0
TΩ,α,m2 ) = χΩ (x)((−Δ)α + m2 )−1 (x, y)χΩ (y). (9.33)
The non negative non linear term V (U (x, t)) on our proposed Klein Gordon
Model
eqs. (9.32-a)–(9.32-b) is such that it allows to global solutions of the as-
sociated initial value Klein Gordon problem. Namely
||∇RD V (q i )||RD ≤ C(||q i ||2RD + a2 )1/2 . (9.34)
We now consider the discreticized (N particle) wave motion Hamiltonian
associated to the non-linear Klein-Gordon wave equation (for α > D 2)
N 2
pi
H(pi , qi ) = + λ2i qi2 + V<N (q11 , . . . , qN
1
) . (9.35)
i=1
2
Here
∞
U (x, t) = qi (t)φi (x) (9.36-a)
i=1
2 We note that the existence, uniqueness and globality on t ∈ [0, ∞] of the U (x, t) ∈
C([0, T ], L2 (RD )) through the application of the fixed point theorem ([2]).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 181
1
T(Ω,α,m2 ) φi (x) = φi (x) (9.36-b)
λi
N
V<N (q1 , . . . , qN ) = V qi (t)φi (x) dD x (9.36-c)
RD i=1
(definition)
F<N (q1 (t), . . . , qN (t))
pointwise convergence for each fixed t
≡ −→
/ 0
D −β V (ϕ(x))dD x
= d x (dT(Ω,α,m2 ) μ(ϕ(x))) e RD F (ϕ(x)) (9.39)
RD
Proof: Let us apply the already proved ergodic theorem for our N -particle
system with Hamiltonian function eq. (9.35). Namely
$ '
1 T <
lim FN (q1 (t), . . . , qN (t))dt
T →∞ T 0
$ % N &'
1
= F<N (q1 , . . . , qN ) exp −β λ2i qi2 + V<N (q1 , . . . , qN )
Z RN D i=1
(9.40)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 182
$ '
−β V (ϕ(x))dD x
= dT(Ω,α,m2 ) μ(ϕ(x)) · e Ω F (φ(x)) . (9.40-a)
RD L2 (RD )
% &
1 T > ?
lim F<N (q1 (t), . . . , qN (t)) dt
(formally)
= lim
T →∞ T 0 N →∞
% &
T
(physicist’s definition) 1
≡ lim D
F (U (x, t))d x dt . (9.41)
T →∞ T 0 RD
U (0, ) = U (0, t) = 0
Ut (x, 0) = g(x) ∈ C 1 ([0, ]); g (2) (x) ∈ L2 ([0, ]); g(0) = g() = 0. (9.42)
Here the exponentially cut-off interaction (a Lipschitzian function) is
explicitly given by (ε ∈ R1 )
M
V ∗ U (x, t)) = ((λ2j 2 2j
j ) exp(−ε(U (x, t)) ))(U (x, t)) ), (9.43)
j=1
one can substitute the T(Ω,α,m2 ) operator on the two-dimensional Klein-
d2
Gordon wave equation by the usual one-dimensional operator − dx 2 , but
Proof: As a first step, one should consider eq. (9.48) re-written in terms
of the “resolvent operator of A” by means of a Laplace Transform (The
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 185
The z → 0− limit of the integral of eq. (9.50) (since Real (z) ⊂ ρ(A) ⊂
(−∞, 0) ) can be evaluated by means of saddle point techniques applied to
Laplace’s transforms. We have the following result
lim ((z + A)−1 f )
z→0−
∞
= lim− e−zt (e−tA f ) dt
z→0 0
= lim (e−tA f ) = Pker(A) (f ). (9.51)
t→∞
lim P (q i , q̄ i ; t) = δ (N ) (q i − q̄ i ). (9.55)
t→0+
δV (U )
+ (x, t) + η(x, t)
δU
T T
U˙ n pL2 (−a,a) dt ≤ T (A2 ) 2 ⇔ U˙ pL2k (−a,a) dt ≤ Ã2
p
(A-15)
0 0
since we have the continuous injection below
H 1 (−a, a) → L2 (−a, a) (A-16)
d2 d2 2k−1
= 2
(U , v)L2 (−a,a) + − 2 U , v + g(U , v)L2 (−a,a) = 0
d t d x L2 (−a,a)
(A-21)
∞
for any v ∈ C ((0, T ), L (−a, a))
2
Wt (0) = 0 (A-25)
1 2
At this point we observe the estimate (where H → L !)
1 d d
W 2L2 (−a,a) + W 2H 1 (−a,a)
2 dt dt
dW
≤ aL∞ ((0,T )×(−a,a)) × W L2 (−a,a) × L2 )−a,a)
dt
dW 2
≤M 2 + W 2L2 (−a,a)
dt L (−a,a)
dW 2
≤M 2 + W 2H 1 (−a,a) (A-26)
dt L (−a,a)
which after a application of the Gronwall’s inequalite give us that
d
W 2L2 (−a,a) + W 2H 1 )−a,a) (t)
dt
dW 2
≤ 2 (0) + W 2H 1 (−a,a) (0) =0 (A-27)
dt L (−a,a)
which proves the problem’s uniqueness under the not proved yet hypothe-
sis that in the two-dimensional case (at least for compact support infinite
differentiable initial conditions)
sup a(x, t) ≤ M. (A-28)
x∈(−a,a)
t∈[0,∞)
It is thus expected (but not proven) that the associated invariant mea-
sure would be given by
$ '
a 1
dν d(− d2 −1
)
μ[X(σ)]e−β{g 0
(X(σ))2k dσ}
F (X(σ)) . (A-29)
−a D ((0,1)) dx2
2
d −1
Here the formal distributional operator (− dx 2) acts on D((0, 1)) to
D ((0, 1)) through the rule
−1
d2
− : D((0, 1)) −→ DT ((0, 1))
dx2 2
(− d 2 )−1
dx
(A-30)
f −→ T [f ]
Namely
−1
1 1
d2
T [f ](g) = T−(( d2 −1
) f)
(g) = f (s) − (s, t)g(t) dsdt.
dx2 0 0 dx2
(A-31)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 191
Note that through the Minlos Theorem, one has rigorously ([4]):
1
exp − T(− d2 )−1 (j) (j) = d(− d2 )−1 μ(X) exp {i X(j)} .
2 dx2 D ((0,1)) dx2
(A-32)
The above displayed formulae is our mathematical re-wording of our
final comments on section 4 of this paper.
> ?
= T r(H⊗H⊗...H)n e−β Ĥ(p̂i ,q̂i ) Ô(p̂i , q̂i ) T r(H⊗H⊗...H)n {e−β Ĥ(p̂i ,q̂i ) }.
(B-5)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 192
1>
= d(− d2 +T −1 )−1
μ(φ(x, t))
2 L2 ([0,β]×RD ) dt2 Ω,α,m2
φ(x,t+β)=φ(x,t)
$ % &'
β ?
× exp − V (φ(x, t))d x dt D
× O(φ(x, t)) . (B-7)
0 RD
= dμ(φ(x, t)) exp iφ(x, t), j(x, t)L2 ([0,R]×RD ) . (B-8)
d2
(− dt2 +T −1 2 )−1
Ω,α,m
∞
−[2α+ D2 ]
n2 π 2 1 D D
≤ 2
m + 2 × B ,α− <∞ (B-9)
n=u
β 2 2 2
which is convergent for α > D
2 as supposed.
A more detailed analysis of the quantum case will appears elsewhere.
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 193
here we have used the famous spectral Stone-theorem to re-write the as-
sociated time-translation unitary group in terms of the spectral process
dE(w)X(0), where H denotes the infinitesimal unitary group operator U (t).
We have supposed too that the σ-algebra generated by the X(t)-process is
the whole measure space Ω, and X(t) is a separable process.
Let us, thus, consider the following linear continuous functional on the
Hilbert (complete) space {L2 (Ω), dμ(λ)} - the space of the square integrable
random variables on Ω
T
1
L(Y (λ)) = lim dtE{Y (λ) X(t, λ) }. (C-2)
T →∞ 2T −T
T
1
= lim E{Y e−iHt X}dt
T →∞ 2T −T
For the auto-correlation process function, we still have the result for the
translated time ζ fixed (the lag time) as a direct consequence of eq. (C-1)
or the process’ stationarity property
T
1
lim dtE{X(t)X(t + ζ)} = E{X(0)X(ζ)}. (C-6)
T →∞ 2T −T
T
1
RT (ζ) = dtX(t)X(t + ζ). (C-8)
2T −T
sense stationary process {X(t), −∞ < t < ∞} and any of its single-sample
{X(t), −∞ < t < +∞} time average
T
1
lim dtf (X(t)) = E{PKer(H) (f (X0 ))} = E{f (X(t))} (C-10)
T →∞ 2T −T
T
1
lim dtX(t)X(t + ζ) = E{X(0)X(ζ)}
T →∞ 2T −T
= E{X(t)X(t + ζ)}
= RXX (ζ) (C-11)
9.9 References
Chapter 10
10.1 Introduction
197
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 198
One of the most important results on the subject of path integrals represen-
tations for wave propagations are those related to the use of rigorous Wiener
measure in infinite dimensional functional spaces ([1]). In this note we in-
tend to present these path integrals results on the context of the Banach
functional space of continuous functions on RN , vanishing at the point ∞:
C0 (RN ) = {f (x) ∈ Cb (RN ) | lim (f (x) = 0}, instead of the usual L2 (RN )
|x|→∞
framework of the usual Hilbert Space setting ([2]).
As a first important mathematical remark, we recall that we still have
the famous Trotter-Kato product formula in this more ample setting of
Banach Spaces as C0 (RN ) for the class of those so called contraction semi
groups on Banach Spaces, see ([2]).
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 199
(pointwise)
X(t)=x ; t dX 2
= DF (X(σ))e−1/2 0 ( dσ ) (σ) dσ
X(0)=y
t
× exp − V (X(σ)) dσ (10.4)
0
Note that the Wiener measure (with two marked fixed-intercept points
(x, y)) is written in the Feynman suggestive form of infinite product of usual
weighted Lebesgue measures of sample trajectories connecting the marked
points (x, y), i.e. ([1])
⎛ symbolic math
⎞
+
⎛ ,- ⎞.
rigorous path measure
+ ,- . ⎜+symbolic
,-
math
. ⎟
⎜ t
2 ⎟
⎜ 1 dX ⎟
d Wiener
μ[X(σ)] = ⎜ dX(σ) exp ⎝− (σ) dσ ⎠⎟ .
⎜ 2 0 dσ ⎟
⎝0≤σ≤t ⎠
(10.5)
We now intend to apply the above rigorous mathematical results to
second order hyperbolic wave motion with datum in C0 (RN ) ([3]). Let us
thus write the dynamical scalar wave equation governing our dynamics:
1 ∂2 1
U (x, t) = ΔU (x, t) + F (x, t)
C 2 (x) ∂t2 2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 200
U (x, 0) = f (x)
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 201
the scalar wave field is now given through the inverse Laplace transform at
least in the Schwartz Distributional sense ([2])1 (see also Appendix D).
f (C0 ω(ζ)) h(C0 ω(ζ))
× s + + C02 F< (C0 ω(ζ), s) (10.11)
q(C0 ω(ζ)) q(C0 ω(ζ))
note that full mathematical conditions on the initial datum leading to
each fixed x ∈ RN to a s-function which admits non-distributional in-
verse Laplace transforms remains on open problem as far as we know.
Certainly no problem if one choose datum such that U < (0, s) is an ana-
lytic function s = σ + iζ in the half-plane Real (s) > ∞, vanishes at
(s) → ∞ at all half-planes Real(s) > α + δ(δ ∈ R+ ) uniformly with respect
to arg(s) = arctg( σs ), besides the following integrability condition ([2]).
+∞
|U (·, α + σ + iζ)|dζ < ∞
−∞
1 The definition of the root square of the “positive” Laplacian inRN is done by
the usual (unitary) Fourier Transformation on L2 (RN ), namely: − 12 Δ(f )(x) :=
f −1 [ 12 |k|f(k)].
ˆ
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 202
Just for completeness of our note, let us write now a non rigorous Feyn-
man path integral representation for our (already built in) casual wave
propagation problem (see Equation (10.9) and refs. [3], [4])
−1
< y, s) = s2 C2
G(x, − 0Δ (x, y)
q(x) 2
9 1 1 :
∞ 1 s2 C02 1
= −i 1
dζ x 1exp iζ − Δ 11 y
0 q(x) 2
=0
+ ,- .
π s2 C02
− δ spectral − Δ
i q(x) 2
% ζ
∞ X(ζ)=x i X 2
( ddσ ) (σ)dσ
= −i F 2C02 0
dζ D [X(σ)] e
0 X(0)=y
ζ
−is (
2 dσ
)
× e 0 q(X (σ))
(10.12)
At this point of our note some comments appears to be relevant for an-
alytical manipulations. The first comment is related to the result already
expressed by our Feynman-Wiener and Feynman path integrals representa-
tions are solutions for obtaining full optics propagation from the idealized
geometrical optics, with its idealized rays paths given by the stationary so-
lutions of the geometrical optics Lagrangeans. Namely (see Equation (10.9)
and Equation (10.12) respectivelly and chapter twenty, first reference in [3]).
% &
ζ 2
1 d 1
LWiener(X(σ), ζ) = X(σ) + dσ (10.13)
0 2C02 dσ q(X(σ))
% &
ζ 2
1 d 1
LFeynman(X(σ), ζ) = X(σ) − dσ (10.14)
0 2C02 dσ q(X(σ))
The second comment is that our path integrals representations open a
good deal in principle to understand, through semi-classical and W.K.B.
methods, the entire range of interference and diffraction (caustics) electro-
magnetic scalar (optic) phenomena ([3], [5]) (see appendix A for the wave
propagation acoustic case).
As a last comment, we wishe to point out that alternativelly to the path
integral representation Equation (9), one has naturally associated to it, the
following initial-value diffusion equation on RN
⎧ / 0
⎨ ∂ U (x, ζ) = + C02 Δ − s2 U (x, ζ)
∂ζ s 2 q(x) s
(10.15)
⎩Us (x, 0+ ) = δ (N ) (x − y)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 203
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 203
φk (x, s)|∂Ω = 0.
A formal first-order perturbative calculation lead us to the result
(1) k 2 C02
Ek (s) = + s2 Ĉ (10.18-a)
2
1
Ĉ = dN x (10.18-b)
Ω q(x)
⎡ (1)
⎤
:=ψ̄k (x)
⎢+ ,- .⎥
⎢ ⎥
(1) 2s2 ⎢ N Q̂(k − k) +ik x ⎥
φk (x.s) =e ikx
+ 2 ⎢ d k 2 e ⎥ (10.18-c)
C0 ⎢ Ω k − k 2 ⎥
⎣ ⎦
1 i(k−k )x
Q̂(k − k ) = dN x e . (10.18-d)
Ω q(x)
We have thus the straightforward results (with C := 1 + Ĉ)
% &
t→∞ −1 1
G(x, y, t) ∼ LD (R+ ) k2 C 2
eik(x−y)
Ĉs2 + 2 0
% &
2( Cs0 )2
+L−1 (e−iky ψ̄k (x) + eikx (ψ̄k (y))∗ )
(1) (1)
D (R+ ) k2 C02
Ĉs2 + 2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 204
=
1 2 |k|C0
= sin 4 t eik(x−y)
C0 Ĉ 2Ĉ
√
2 |k|C02
+ − 4 |k| sin t + δ(t)
C0 Ĉ 2
/ 0
× e−iky ψ̄k (x) + eikx (ψ̄k (y))∗ .
(1) (1)
(10.19)
Here K is the wave vector on the bottom of the spectrum of the well-
defined free problem on Ω
C02 |K|2 2 iK·x
− Δ (eiK·x ) = C0 (e ). (10.20)
2 2
Extensive applications of this direct problem in scalar wave propagation
needs the explicity form of the wave field scatter q(x) = C 2 (x)/C02 and will
be left to geophysics oriented papers to appear elsewhere.
Finally, we would like to address ourselves to the important applica-
tion of using Feynman-Kac path integrals representations to the classical
problem of determining the electromagnetic field strength E[(x, y); z, t] orig-
inating from a monochromatic point source and propagating in a medium
characterized by a deterministic refractive index η(x, y, z) in the half-space
R+3
= {(x, y, z) | 0 ≤ z < ∞, (x, y) ∈ R2 }. In the well-known paraxial
approximation ([6]), this paraxial pulse is supposed to have explicitly the
following structural form
E(K,Ω) ((x, y); z, t) = Real{A[(x, y); z] ei(kz−Ωt) } (10.21)
where the (paraxial) amplitude A[(x, y), z] satisfies the following two-
dimensional Schrodinger initial value equation with the depth coordinate z
playing the role of the time variable
∂ 1
i + Δ(x,y) − k(1 − η(x, y, z) A[(x, y); z] = 0. (10.22)
∂z 2k
Here, the initial date condition is supposed to be known, namely:
A[(x, y); z → 0+ ] = B(x, y). (10.23)
Instead of the full set Eqs. (10.22)–(10.23), let us firstly solve them
under the depth-independent condition on the refractive index η(x, y, z) :=
η(x, y). In order to implement such analysis, let us consider the Feynman
propagator like problem associated to Equation (10.22) (k = 12 , r = (x, y))
∂ψ 1
i = − Δr ψ + V (r)ψ + iδ(r − r )δ(z − z ). (10.24)
∂z 2
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 205
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 205
$ %
∞ r(ζ)=r
L2 (R2 )
= +ieiωz dζ eωζ DF [r(σ)]
0 r(0)=r
ζ 2
1 dr
× exp − (σ) dσ
2 0 dσ
&'
ζ
× exp − V (r(σ)) dσ (10.26)
0
1 > Λ
; ∞
= i√ dω e−iω(z−z )
dζ e+ωζ
2π −Λ 0
/ r(ζ)=r / 1 ζ
dr 2 0
× DF [r(σ)] exp − ( ) (σ) dσ
r(0)=r 2 0 dσ
/ ζ 00?
× exp − V [r(σ)] dσ . (10.27)
0
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 206
Since the cut-off Λ is a finite number, one can apply the Fubbini theo-
rem for exchange the (ω, ζ) integrations and obtaining thus the more invari-
ant mathematically rigorous path integral representation for at least with
V (r) ∈ L2 (R2 ) + L∞ (R2 ).
Now if one takes formally the limit of cutt-off removing of Λ → ∞, one
could obtain the complete Feynman-Kac path integral representation below
written.
Since
1 e−Λζ e−iΛω (1 − e2Λζ e2iΛω ) D (C)
lim − √ := δ((z − z ) + iζ).
Λ→∞ 2π (ζ + iω)
(10.28-a)
It yields thus
> ∞
ψ[(z, r), (z , r )] = +i dζ δ((z − z ) + iζ)
0
; r(ζ)=r / 1 ζ
dr 2 0
× DF [r(σ)] exp − ( ) (σ) dσ
r(0)=r 2 0 dσ
/ ζ 0?
× exp − V [r(σ)] dσ . (10.28-b)
0
iz
× exp − V (r(σ)) dσ
iz
R(z)=r
= DF [R(σ)]
R(z )=r
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 207
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 207
⎛ ⎞
2
z
1 dR
× exp ⎝+iK (σ̄) dσ ⎠
z 2 dσ̄
z
× exp −iK V (R(σ̄)) dσ̄ . (10.30)
z
For a depth-dependent full case of the potential V (r, x), one should
just follow R.P. Feynman by introducing the z-ordered product inside the
Feynman-Kac path integral Equation (28)
∞
ψ[(z, r); (z , r )] = +i dζ δ((z − z ) + iζ)
0
r(ζ)=r ζ 2
1 dr
× DF [r(σ)] exp − (σ)dσ
r(0)=r 2 0 dσ
$ '&
ζ
×Tσ exp − V (r(σ)) dσ . (10.31)
0
> R(z)=r / z
1 dR(σ̄) 2 0
= DF [R(σ̄)] exp + iK ( ) dσ̄
R(z )=r z 2 dσ̄
/ / z 0?
×Tσ̄ exp − iK V (R(σ̄), σ̄) dσ̄ . (10.32)
z
1 > Λ
:= √ dω e−iω(z−z ) × dζ eωζ
2π −Λ
2 At this point the reader should not forget that the purely symbolic Feynman path
integral is just a formal string of symbols for the real mathematically meaningful object
Equation (10.28-b).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 208
;
× dWiener μ[r(σ)]f (r(σ))
/ ζ 0 ?
exp − V (r (σ)) dσ g(r(ζ)) . (10.33)
0
One can show that QΛ z−z is a closable semi-bounded quadratic form.
As a consequence there is a set of self-adjoint operators H(Λ) such that
f, QΛ
z−z gL2 (R2 ) = f, exp(−(z − z )H
(Λ)
)gL2 (R2 ) .
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 209
⎧ ⎛ ⎞
L2 (RN )
∞ ⎨ X(ζ)=x
1 ζ
dX
2
%
ζ ζ
dX i
× exp −i a(X(σ)) (σ) − (div a)(X(σ)) dσ
0 dσ 2 0
&'
ζ ζ
dσ
− V (X(σ)) dσ − s2 (A-4)
0 0 C 2 (X(σ))
which in terms of the original physical medium parameter density can be
written as of as
%
∞ X(ζ)=x 2
L2 (RN ) 1 ζ dX
G(x, y, s) = dζ D [X(σ)] exp −
F
(σ) dσ
0 X(0)=y 2 0 dσ
ζ
ρ(y) dσ
× × exp −s2
ρ(x) 0 C 2 (X)(σ))
ζ
× exp +1 (Δnρ)(X(σ)) dσ
0
&
ζ
1
× exp − ||(∇nρ)|| (X(σ)) dσ
2
(A-5)
2 0
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 211
π(x, 0) = g(x).
After introducing a discreticized space-time R1 ⇔ (nΔ); [0, t] ⇔ (mδ);
U (nΔ, mδ) = Unm ; π(nΔ, mδ) = πnm ; U (nΔ, 0) = f (Λ) (nΔ); π(nΔ, 0) =
g (Λ) (nΔ); one gets the difference scheme governing the discreticized dy-
namics
Unm+1 = iδπnm + Unm
C 2 (nΔ) · δ m
πnm+1 =i 2
Un+1 + Un−1 m
− 2Unm
Δ
(B-8)
2C (nΔ)C(nΔ) · δ m
+ (Un+1 − Un ) + πn ,
m m
Δ
which is stable in the Von Newmann stability criterium for grid spacements
(Δ, δ) satisfying the “Incertanty relationship”
δ
max |C 2 (x)| <1 (B-9)
x∈R Δ2
1
⇔ Δt < . (B-10)
(Δx)2 ||C 2 (x)||L∞ (R)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 213
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 213
10.5 Appendix C
t
−C 2 dt (F (x, t ) ∗ hret
1 (|x|, t )). (C-5)
0
Note that the equality on the above written Equation (C-5) must be taken
on distributional sense S (R3 ) (for each test function P (x) ∈ S(R3 ) and for
a fixed time t).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 214
It is worth now point out that if the initial datum f (x) and g(x) are
respectivelly considered as elements on the Sobolev Spaces H2 (R3 ) and
H1 (R), one may give a point function Mathematical Meaning for Equation
(C-2).
cos(Ct|k|)
Û (k, t) = (|k|2 fˆ(k))
|k|2
sin(Ct|k|)
+|k|ĝ(k)
|k|2
t
sin(C|k|(t − t ))
−C 2
(|k|F̂ (k, t)) . (C-6)
0 C|k|2
Now one has on L2 (R ), the Fourier Transform inverse formulae
3
$
D (R) 1 if a ≥ 0
O(a) =
0 if a < 0
= 1 1
cos(Ct|k|) 1 π d |x| + Ct 11 x − Ct 11
F −1 = − 1 2 1 O(x − Ct)
|k|2 2C|k| 2 dt 2
:= j2 (|x|, t)
(C-7)
=
sin(Ct|k|) 1 1
F −1 = (1 − O(|x| − Ct))
|k| 2π C|x| (C-8)
:= j1 (|x|, t).
We get thus, the solution on L2 (R3 ) for the wave field
L2 (RN )
U (x, t) = j2 (|x − x |, t)Δf (x ) d3 x
+∞
+ j1 (|x − x |, t)((−Δ)1/2 g)(x ) d3 x
−∞
t
3
−C 2
j1 (x − x , t )((−Δ) 1/2
H)(x , t ) d x dt . (C-9)
0
Note that if g(x) ∈ H2 (R3 ), then one obtains a full L2 (R3 ) solution,
since now
= 1 1
−1 sin(Ct|k|) 2 1 |x| + Ct 11 x − Ct 11
F = − 1 2 1 O(|x| − Ct) . (C-10)
|k|2 π C|x| 2
For the case of initial datum and outputs on space of continuous func-
tions see the Method of Spherical Means in second ref.[2].
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 215
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 215
⎧ ⎫
⎪
⎪ +
:=G̃s (x,y,s)
,- . ⎪
⎪
⎪ ⎪
∞⎪⎨ 3/2 ⎪
⎬
1 1 −(s ζ)
2
= exp − (x − y)2
e dζ
⎪ 2πC02 ζ
⎪ 2C02 ζ ⎪
⎪
0 ⎪
⎪ ⎪
⎪
⎩ ⎭
3/2 ∞
1 (x − y)2
ζ −3/2 e−(S ζ) e− ζ
2 1
= dζ
2πC02 0 2C02
$ −1/4
G '
1 1 (x − y)2 (x − y)2 2
= · × 2 K−1/2 2 S
(2π)3/2 (C0 )3 2C02 S 2 2C02
√
1 1 √ 1 − 2|x − y|S
= · · 2π · exp .
(2π)3/2 C02 |x − y| C0
(D-1)
Since one has the validity of the above Inverse Laplace Transform on
the sense of D (R+ )
L−1
s→t [e
−as
] = δ(t − a). (D-2)
One obtain the final retarded potential for our wave equation eq(6) on
the main text √
−1 δ(ct − |x − y| 2)
G(x, y, t) = Ls→t (G̃(x, y, s)) = . (D-3)
2πC0 |x − y|
On the usual case of Equation (60) written with the pure Laplacian
(+ 12 Δ → +Δ), one obtains the usual result due originally to Linard-
Wiechiert
3/2 3/2
1 1 (x − y)2
G̃s (x, y, ζ) = exp − . (D-4)
2 2πζC02 4C02
δ(C0 t − |x − y|)
Gret (x, y, t) = (D-5)
4πC0 |x − y|
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 216
Let us take into account in the wave equation initial value problem, the
existence of a damping term. Namely
⎧
⎪
⎨ C 3 (x) Utt = 2 ΔU − νUt + F
1 1
⎪
U (x, 0) = f (x) ∈ C0 (R3 ) (E-1)
⎪
⎪
⎩U (x, 0) = g(x) ∈ C (R3 ).
t 0
A Note on Feynman-Kac Path Integral Representations for Scalar Wave Motions 217
10.8 References
Chapter 11
11.1 Introduction
The subject of writing path integral representations for describing the quan-
tum propagation of particles (spinorial or scalar) in Riemannian Manifolds
remains as a central theme on the search of consistent framework for the
quantization of the gravitation. In last decades, we have seen the appear-
ance of several important studies on the subject. However all these works
make full recourses for the intrinsic geometrical properties of the Riemann
Manifold where the propagation is supposed to take place (see [1]–[4] for a
short sample list of references).
In this note we propose a somewhat different path integral quantiza-
tion geometrical framework, based on a deep theorem due to Nash that
asserts roughly that every Riemannian metric in a given d-dimensional
C ∞ -manifold {M, gμv (x)} can be always obtained from an immersion
f A : M → RS(d) (f A ∈ C 1 (M ) and rank Dx f A = d) in a suitable
Euclidean space is strictly greater than d (S(d) ≥ 2d − 1) ([5],[6]). As
a consequence one can forseen to write the metric field gμv (x) as
∂f A ∂f A def ∂f A ∂fA
S(d)
gμv (x) = ≡ (11.1)
∂xμ ∂xν ∂xμ ∂xν
A=1
219
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 220
here {x} ∈ Dom(f A ), a point of RS(d) (containing by its turn the manifold
chart of M which x belongs for). Note that eq. (11.1) is a non-linear first
order set of Partial Differential Equations for f A (xγ )γ=1,...,d with the source
term gμv (x) given explicitly as input.
So, let us start our analysis by re-writing the Lagrangian for free-motion
on the manifold in terms of the new extrinsic coordinates.
L(X i ,Ẋ i ) L(QA ,Q̇A )
+ ,- . + ,- .
i j A B
1 ∂X ∂X 1 dQ dQ
L = M gij (X μ (σ)) (σ) = M δAB (σ) (11.2)
2 ∂σ ∂σ 2 dσ dσ
where the new particle “extrinsic” coordinates are given explicitly by
QA (σ) = f A (X 1 (σ), . . . , X d (σ)) (11.3)
with A = 1, . . . , S(d) and we suppose besides that the inverse functional
relations hold true (the usual inverse theorem ([2]) of advanced calculus is
supposed to be at least locally being under application!). Namely:
X i (σ) = Gi (Q(A) (σ)) (11.4)
plus (S(d) − d) smooth constraints on the motion, when viewed on the
non-curved (absolute inertial) referential sistem RS(d)
Φ (QB ) = 0 = 1, . . . , S(d) − d. (11.5)
At the classical level, the intrinsic free motion in the Riemannian Mani-
fold (M, gμν (x)) as given by eq. (11.2) is entirely equivalent to the classical
motion in the extrinsic space RS(d) but now in the full presence of con-
straints given by eq. (11.5).
We have thus that the Free-Manifold Motion equation
⎧
⎪
⎪ d ∂L ∂L
⎪
⎪ =
⎪ dt ∂(Ẋ )
⎨ i ∂X i
(11.6)
⎪
⎪
⎪
⎪ X i
(σ) = A i
= A
⎪
⎩ Ẋ i (σ) = B i = B
A Note on the extrinsic phase Space path Integral Method for quantization 221
Note that the set of equations eq. (11.7)–eq. (11.8) must be added with
the initial conditions
QA (0) = f A (A)
. (11.9)
Q̇A (0) = ∇f (A), BRS(d)−d
Let us pass now to our proposed phase-space path integral for quantiza-
tion of this constraint classical system in RS(d) (eq. (11.2)–eq. (11.5)). So,
let us brieflly display those basic results on Hamiltonian constraints path
integral framework ([5]).
Firstly we consider the classical action functional for such a system. It
is given by
T
S(d)
S(d)−
S= dσ PA Q̇A − H(PA , QA ) − λ (QB )Φ (QB ) . (11.10)
0 i=1 =1
The set of variables {PA , Q } form the phase space R2S(d) and Φ
A
=0
+ ,- .
∂ 1 B ∂ (11.11)
− P PB A
Φ (Q )
∂QA 2 ∂P A
A
=P(σ)
+ ,-A .
dQ d A
= ·∇Φ (Q ) =
A
Φ (Q (σ)) = 0
dσ dσ
with also the result
A B
Φ , Φ P B = 0. (11.12)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 222
Ω, Φ P B = dP Φp (11.13)
together with
dΩ
= {H, Ω}P B + λ Φ , Ω . (11.14)
dσ
a) χ , χr PB
=0 (11.15)
b) det {χ , Φr } = 0. (11.16)
PB =1,...,S(d)−d
r=1,...,S(d)−d
If this is the case, which always happens in our case as can be easily
seen, one can perform a canonical transformation which turns the gauge
fixing functions χ (QA , P A ) ≡ π into new canonical moment. Let thus,
Q be the coordinates conjugate to π and Q∗ , P ∗ the remaining set of
canonical variables. Note that we can always solve the system Φ = 0,
and find Qa = Qa (Q∗ , P ∗ ). So the constraint conditions Φ = 0 and the
supplementary conditions χ define the new physical phase space Γ∗ . And
within Γ∗ , we have that
π ≡ 0 = 1, . . . , S(d) − d
Qa = Qa (Q∗ , π ∗ ). (11.17)
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 223
A Note on the extrinsic phase Space path Integral Method for quantization 223
The main result ([8]) to be fully used in our study is the following: The
matrix element of the quantum mechanical evalution operator is explicitly
given by the following phase-space path-integral (we have re-introduced
a potential V (X i ) ≡ Ṽ (QA ) into the motion Lagrangian without further
mathematical complication)
9 1 1 :
1 iH 1
QA
out , T
1exp 1 A
T 1 Qin , 0
1
⎧ ⎫
⎪
⎪
1 B
2 P PB +Ṽ (QA )⎪
⎪
⎪ + ,- .⎪
⎪
⎪
⎨i T
s(d) ⎬
= exp dσ PA Q̇A − H PA , QA (2π)S(d)−d
⎪
⎪ ⎪
⎪
⎪
⎪
0 A=1 ⎪
⎪
⎩ ⎭
S(d)−d (11.18)
r
× det χ , Φ ×
δ χ (Q , P ) A A
=1,...,S(d)−d
r=1,...,S(d)−d =1
S(d)
× δ Φ (Q ) A
DF [Qi (σ)]DF [P i (σ)]
=1
×δ (S(d))
Q (0) −
A
QA
in δ (S(d))
Q (T ) −
A
QA
out .
Note that it appears (at least in our proposal) that there is not an
invariant expression in terms of path integral for the matrix elements asked
j
directly into the original manifold variables Xout
i
, T | Xin , 0.
In this approach of ours, through the full use of the Nash Theorem, one
can do quantum mechanics in Riemann manifolds only when the intrinsic
geometrical setting is viewed as usual holonomic mechanical constraints
in the extrinsic space RS(d) of absolute embedding frame of the metric
manifold.
As useful remark, one can prove that the resulting phase-space path
integral eq. (11.19) does not depend on the concrete choice of supplementary
conditions χ (QA , P A ) ([8]).
As useful point in the original Feynman Lagrangean framework, the
Feymman propagation is easily re-written in the extrinsic space in the
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 224
QA (T )=QA
out
= dQ (σ) (W [Q (σ)])
A
QA (0)=QA
in 0≤σ≤T
S(d)−d (11.19)
× δ Φ (QB (σ))
=1
$ '
T
i 1
× exp dσ M (Q̇ (σ) − Ṽ (Q (σ))
A 2 A
0 2
with the path measure weight (see eq. (11.4))
⎧ ⎫
⎨ 1
4
⎬
W [Qi (σ)] = gμν (Gi (QA (σ)) . (11.20)
⎩ ⎭
0≤σ≤T
A Note on the extrinsic phase Space path Integral Method for quantization 225
i 1 4
× exp + (ϕ(− Δg )ϕ)(xα ) g(xα )dD x (11.25)
M 2
i 4
× exp + α α α D
(J(x )ϕ(x )) g(x )d x .
M
After evaluating the exactly soluble Gaussian Feynman covariant field
path integrals and expressing the resulting function determinant by means
of the proper-time method, one obtains the “Loop Space” path integral
representation for the non-normalized generating Functional associated to
the Feynman field path integral>eq. (11.26). Namely:
4 4
Z[J(x)] = det−1/2 (−Δg ) exp i M g(xα )dν x M g(y α )dν y
? (11.26)
α −1 α α α
J(x )(−Δg ) (x , y )J(y )
where one has the proper-time motion manifold path integrals representa-
tions, see eqs. (11.23)–(11.24).
≡K(xα ,xα ,t)
− 1 + ,- .
∞
2 dt −t(−Δg )
g det −Δg = T rL2 (M,g(x) e
0 2t
(11.27)
≡K(xα ,y α ,t)
∞ + ,- .
(−Δg )−1 (xα , y α ) = dt x, t|e−t(−Δg ) |y, o .
0
After re-inserting Eq. (11.26) into Eq. (11.27) we are able to re-write the
non-normalized Generating Functional in terms of a dynamics of covariant
path integrals ([9]).
December 8, 2016 14:47 10129 - Lecture Notes in Topics in Path Integrals 9789813143463 page 226
11.3 References
Index
Feynman, 136, 147, 197, 208 Renormalization, 76, 95, 133, 142
Riemann, 31, 147, 219, 223
Field Theory, 76, 123, 133, 137
Fourier, 142, 150, 153, 169, 213
Wave Propagation, 173
Wiener, 146–148
Generating Functional, 48, 51, 58, 77,
134
Green, 30, 52, 97, 216
227