Finite Time Domain Dynamics of Vector Fields: Stueckelberg Lagrangian ()
1. Introduction
The quantum theory of field constitutes a large area of physics with various applications [1]-[5]. It studies particles and fields and their possible structure. Here, we consider finite time path integral methods to study the possible evolution of fields in contrast to possible numerical simulations [6] [7] or the use of lattice quantum field theory [5]. On considering initial experimental preparations, these methods can give predictions on finite time effects, opposed to the outcomes of asymptotic in/out (
) scattering theories. Such finite time expressions apply to the case of the possible generation of particles or after the removal of trapping fields or configurations.
In previous papers, we have considered Dirac, scalar and massive vector fields [8]-[10]. Here we study the dynamics of finite time domain vector fields within the standard gauge invariant Stueckelberg lagrangian formulation with an auxiliary scalar field [1] [2]. Such a description can be used in the study of systems such as massive vector Bosons such as the W and Z particles of the electroweak theory and further photons [11]-[13]. We approach them via path integral methods. We expand the system’s vector field in term of annihilation and creation operators and evaluate the corresponding Hamiltonian in term of such operators. We integrate it within the holomorphic representation and extract the Green functions in various dimensions. These Green functions describe fully the system and give the whole dynamical information of possible evolution. In fact, here we use the derived Green functions in the possible generation of fields by currents in spacetime dimensions three and four.
The present paper proceeds as follows. In section 2, we give the present system’s Stueckelberg lagrangian and derive the equations that the fields satisfy. We expand in annihilation and creation operators and integrate to obtain the transition amplitude between vacuum states. Then, in section 3, we use that result to derive the Green functions for certain spacetime dimensions and give possible numerical forms. In section 4, we use these Green functions to obtain the potentials of vector fields generated by conserved currents and further we consider the vector potential that a charge and more particularly a stationary charge can generate. Moreover, in section 5 we give our conclusions. Finally, in Appendix A, we give the integrals that appear in section 3.
Here we set
. Moreover, if d is the spacetime dimension, then we assume Latin indices to range from 1 to d − 1 and Greek ones to range from 0 to d − 1.
2. System and Path Integration
Here we quantize a vector field. We proceed in real time with the metric
. The first component corresponds to time. We denote the spacetime with
,
, and the vector field with
. Let
be the field strength tensor. Then the Stueckelberg lagrangian of the vector field couple with a real current
has the form
(1)
where
is the mass and
(2)
We notice that the present model corresponds to the standard gauge invariant Stueckelberg formulation with an auxiliary scalar field.
According to variational techniques the field obeys the equation:
(3)
where
is the d’Alembertian. On taking the d-divergence of the above equation, we get
(4)
Within the present approach of a transverse/scalar decomposition (see Equation (9) below) we have to assume a conserved current. So, for conserved currents (see for instance the example in Equation (78) and the discussion there) we get
(5)
For
,
is a scalar field obeying a Klein-Gordon equation with square mass
(6)
We assume
to be positive in order
not to be negative. We define the field
(7)
Due to Equation (5)
is divergenceless
(8)
Correspondingly
splits into a transverse (spin 1) and a scalar part. i.e.
(9)
The conjugate momenta have the form
(10)
Then we have
while and the electric field is given as
.
So, we can get the following expression for the Hamiltonian
(11)
We have used
and integrated by parts to make the replacement
. Further
.
Moreover, the following equal time canonical commutation relations must be valid
(12)
(13)
(14)
(15)
(16)
Now we expand the field in terms of creation and annihilation operators. So
(17)
where
(18)
and
(19)
From the dynamic equations we can derive the following equations that the free creation and annihilation operators obey
(20)
(21)
(22)
(23)
The
vectors
give the
polarization directions.
of those polarization directions are supposed to be around the direction of motion and another spacelike one is supposed to have momentum in the direction of motion, so that
. In the particular case of a massive vector boson moving
along the
direction we have
. On setting
we get
for
and
.
The electric field has the form
(24)
From the definition of the electric field upon setting
we obtain the relation [2]
(25)
From the relations
we have obtained
(26)
By direct evaluation
has the form
(27)
In order the above equations to be consistent the following commutation rules must be valid
(28)
(29)
All the other commutators vanish.
The minus sign in the last commutant is a signal of the indefinite metric that we introduce to face the gauge dependence of
. So, we introduce an indefinite norm Fock space to preserve the locality properties although only vectors in a physical positive norm subspace receive physical interpretation.
Eventually, we get the following diagonal Hamiltonian in normal order form
(30)
where
(31)
(32)
(33)
The space-like orthonormalized vectors
are orthogonal to the time-like vector
as well, and therefore if we assume them real
(34)
and
(35)
Now we study the Hamiltonian
(36)
Hamiltonians of such a form appear in Equation (30).
We intend to construct a path integral representation of the evolution operator
(37)
We work within the holomorphic representation. We introduce the complex variables
and proceed via path integral methods. We represent the operators
,
with the operators
and
respectively. They act on functions of
obeying the same commutation relations. Then the Hamiltonian
has the representation
(38)
and for a small time
we obtain
(39)
Moreover, according to the group property
(40)
After multiple application of the Equations (39)-(40) we obtain the evolution operator at finite time in the following path integral representation
(41)
where
(42)
(43)
and
(44)
If we let
we obtain the following path integral form
(45)
The action has the form
(46)
The path integral (45) with the action (46) is Gaussian and can be evaluated exactly. By varying
the saddle point equation yields
(47)
with solution
(48)
For completeness we give relations for
as well. So, on varying
we get
(49)
with solution
(50)
In order to derive the above equations, we have taken into account the boundary conditions given in Equation (44).
Now we can use the differential Equation (47) to write Equation (46) in the form
(51)
Finally, since the integrals are Gaussian, we get
(52)
So, on using Equations (48) (51) (52) we get
(53)
where the semigroup property of the path integral implies
.
The Hamiltonian (30) is a superposition of Hamiltonians of the form (36). So, we can obtain the coherent states propagator of the Hamiltonian (30) in the form
(54)
In Equation (30), Equation (54) notice the different sign in front of the symbol
compared with the sign in front of the symbol
.
To extract the generating functional of the correlations functions of the present system we have to integrate diagonally [14] [15] from vacuum to vacuum. Then
(55)
So since
(56)
and
(57)
we get
(58)
We can get the finite time interval Green function of vector fields from the present considerations. We do that in the next section.
3. Green Function
We procced to the extraction of the finite time domain Green function of the Stueckelberg lagrangian describing vector fields in a series of possible representations.
According to the discussion of the previous section the
dimensional Green function is given as
(59)
So, on performing the functional derivations according to Equations (58)-(59) we get
(60)
where
. To derive Equation (60) we have applied Equation (35).
Further, we remove
by replacing the various
with appropriate derivatives. So, we get the forms
(61a)
and
(61b)
for the remaining matrix elements.
Equations (61a, 61b) give the Green function that describes the dynamics of vector fields within the Stueckelberg lagrangian. We can use it in the study of their generation and propagation in a spacetime of a finite time interval.
Proceeding to the study of the Green function (61a, 61b) we write the sine function in terms of exponentials. Then
(62a)
and
(62b)
for the remaining matrix elements.
Now we can expand the denominators of Equations (62a, 62b) in geometric series to get
(63a)
and
(63b)
for the remaining matrix elements.
So according to standard results
(64)
where
(65)
If
we get
(66)
Moreover
(67)
where
(68)
(69)
and
(70)
In Appendix A, we give expressions for the above integrals for spacetime dimensions three and four.
We observe that if we let
the expressions in the above parentheses become
and
. So, we obtain the standard infinite time domain results for the Stueckelberg lagrangian [1] [2]. In fact, if
is its corresponding Green function, then as we can check [1] [2]
(71)
Then on comparing the various time dependences in the series in the above equations, it is easy to conclude that
(72a)
and
(72b)
for the remaining matrix elements.
Moreover
(73)
Therefore
obeys periodic boundary conditions with respect the time.
Further if
then
and
. So, the expressions containing
in the above parentheses become zero and we obtain the results of ref. [10].
If we let
we obtain the photon Green function
in the form
(74)
(75)
and
(76)
4. Application
We proceed to the study of the generation of vector fields and more particularly of photons, from currents. Let the current be
where the vector
has dimension
. Then
(77)
Let us consider a charged particle on a trajectory
. Then, the current d-vector has the form
(78)
is its velocity and
its charge. Further, we set
(79)
The present current is conserved as
(80)
We have used the fact that
.
Therefore, the above theory is applicable and we get
(81)
and
(82)
Source-generated potentials are expected to be gauge dependent objects but physical results should not be affected by the gauge choice. Therefore, they must be independent of
.
In the case of photons when
we obtain the Feynman gauge. The limiting
is the Landau gauge.
Now we study photons and we consider the Feynman gauge. Then
(83)
So, in the case of a uniformly moving charge with velocity
along the x-direction, Equation (79) becomes
(84)
and therefore
(85)
If
then the particle is stationary. We proceed to applications concerning that case.
If
we get
(86)
That result corresponds to the electric potential of a single point charge in a three-dimensional space.
We observe that
is independent of
. Moreover, since
we get
(87)
If
obeys the relations
(88)
where in the last equality we have performed an appropriate Wick rotation. The final result corresponds to the electric potential of a single point charge in a 2 + 1-dimensional spacetime.
is a vector in a 2-dimensional space. Moreover
(89)
5. Conclusions
In the present paper, we studied the finite-time dynamics of vector fields using a Stueckelberg-type lagrangian, Hamiltonian quantization, and holomorphic path-integral methods. Within that structure, we integrated and derived finite time-interval Green functions in general dimension and gave explicit forms for selected cases, including the massless photon limit. Additionally, we gave integral as well as series representations. We then applied these kernels to source-generated potentials in three- and four-dimensional spacetime. These results can be used in the extraction of finite time predictions.
As far as gauge invariance is concerned, we can observe that the present Stueckelberg formulation with an auxiliary scalar field is invariant under local gauge transformations.
Finally, we notice that the present approach appears as an alternative compared to the numerical integration of the corresponding equations or to the employment of lattice field techniques.
In subsequent work, we intend to consider the dynamics of other fields, interacting or free, and study them.
Appendix
Appendix A: Numerical Forms
Here we present the integrals (65), (66), (68), (69), (70) for spacetime dimensions equal to three and four. So, we obtain the expressions below concerning
,
,
,
and
.
So, if
takes the form
(A1)
In the equations the symbol
represents the previous expression where in the sum and only the sum, we replace the symbol m with the symbol M.
Proceeding if
we get for the
, the expression
(A2)
Moreover, if we let
we get for
(A3)
satisfies the following relations if
(A4)
Further
where
has the form
(A5)
Proceeding further if
,
becomes
(A6)
If
has the form
(A7)
while if
we get for
(A8)
For
is
(A9)
Finally,
where to
takes the form
(A10)
In the above equations we can apply the identity [16]
(A11)
In the equations (A1) to (A11)
are modified Bessel functions of the third kind and
are Hankel functions of the second kind.