Finite Time Domain Dynamics of Vector Fields: Stueckelberg Lagrangian

Abstract

We study the finite time domain dynamics of vector fields under the Stueckelberg lagrangian. We consider the relevant Hamiltonian and expand in term of creation and annihilation operators. We integrate via path integral methods within the holomorphic representation and extract the corresponding Green functions in various dimensions. Further, we study the photonic massless case. Finally, we consider the possible generation of vector fields and in particular of photons from currents.

Share and Cite:

Thrapsaniotis, E. (2026) Finite Time Domain Dynamics of Vector Fields: Stueckelberg Lagrangian. Journal of Applied Mathematics and Physics, 14, 1954-1972. doi: 10.4236/jamp.2026.145095.

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 ( T ) 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 c==1 . 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 g μν =diag( 1, 1,,1 d1 ) . The first component corresponds to time. We denote the spacetime with { x 0 t,x } , x R d1 , and the vector field with A μ ={ A 0 ,A } . Let F μν ( t,x ) be the field strength tensor. Then the Stueckelberg lagrangian of the vector field couple with a real current J μ has the form

L= 1 4 F μν ( t,x ) F μν ( t,x )+ 1 2 m 2 A μ ( t,x ) A μ ( t,x ) 1 2 λ ( μ A μ ( t,x ) ) 2 J μ ( t,x ) A μ ( t,x ) (1)

where m is the mass and

F μν ( t,x )= μ A ν ( t,x ) ν A μ ( t,x ) (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:

( + m 2 ) A ν ( 1λ ) ν ( μ A μ )= J ν (3)

where is the d’Alembertian. On taking the d-divergence of the above equation, we get

λ[ + m 2 λ ] μ A μ = μ J μ (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

λ[ + m 2 λ ] μ A μ =0 (5)

For λ0 , μ A μ is a scalar field obeying a Klein-Gordon equation with square mass

M 2 = m 2 λ (6)

We assume λ to be positive in order M 2 not to be negative. We define the field

A ν T = A ν + 1 M 2 ν ( μ A μ )= A ν + λ m 2 ν ( μ A μ ) (7)

Due to Equation (5) A ν T is divergenceless

ν A ν T =0 (8)

Correspondingly A splits into a transverse (spin 1) and a scalar part. i.e.

A ν = A ν T λ m 2 ν ( μ A μ ) (9)

The conjugate momenta have the form

π ν ( t,x )= F 0ν ( t,x )λ g 0ν ( μ A μ ) (10)

Then we have π 0 =λ ρ A ρ while and the electric field is given as E i = π i = F 0i = 0 A i + i A 0 .

So, we can get the following expression for the Hamiltonian

H( E,A )= π μ 0 A μ L= π i ( π i + i A 0 )λ ρ A ρ 0 A 0 L = 1 2 E 2 + 1 4 F ij F ij ( i π i ) A 0 + m 2 2 A 2 m 2 2 ( A 0 ) 2 + 1 2 λ ( ρ A ρ ) 2 λ ρ A ρ 0 A 0 + J 0 A 0 JA = 1 2 E 2 + 1 4 F ij F ij ( E ) A 0 + m 2 2 A 2 m 2 2 ( A 0 ) 2 1 2 λ[ ( 0 A 0 ) 2 ( i A i ) 2 ]+ J 0 A 0 JA (11)

We have used 0 A i = F 0i + i A 0 = π i + i A 0 and integrated by parts to make the replacement π i i A 0 ( i π i ) A 0 . Further i π i =E .

Moreover, the following equal time canonical commutation relations must be valid

[ A μ ( t,x ), π ν ( t,y ) ]=i g μν δ ( d1 ) ( xy ) (12)

[ π μ ( t,x ), π ν ( t,y ) ]=[ A μ ( t,x ), A ν ( t,y ) ]=0 (13)

[ A ˙ 0 ( t,x ), A ˙ 0 ( t,y ) ]=[ A ˙ i ( t,x ), A ˙ j ( t,y ) ]=0 (14)

[ A ˙ μ ( t,x ), A ν ( t,y ) ]=i g μν [ 1+( 1 λ 1 ) g μ0 ] δ ( d1 ) ( xy ) (15)

[ A ˙ 0 ( t,x ), A ˙ j ( t,y ) ]=i( 1 1 λ ) j x δ ( d1 ) ( xy ) (16)

Now we expand the field in terms of creation and annihilation operators. So

A μ ( t,x )= d d1 k ( 2π ) d1 2 ω k m λ=1 d1 [ a ( λ )+ ( k ) ε μ ( k,λ ) e ikx + a ( λ ) ( k ) ε μ ( k,λ ) e ikx ] + d d1 k ( 2π ) d1 2 ω k M k μ m [ a ( 0 )+ ( k ) e ikx + a ( 0 ) ( k ) e ikx ] (17)

where

ω k m = m 2 + k 2 (18)

and

ω k M = M 2 + k 2 (19)

From the dynamic equations we can derive the following equations that the free creation and annihilation operators obey

a ( λ )+ ( t,k )= a ( λ )+ ( 0,k ) e i ω k m t (20)

a ( 0 )+ ( t,k )= a ( 0 )+ ( 0,k ) e i ω k M t (21)

a ( λ ) ( t,k )= a ( λ ) ( 0,k ) e i ω k m t (22)

a ( 0 ) ( t,k )= a ( 0 ) ( 0,k ) e i ω k M t (23)

The d1 vectors ε( k,λ ) give the d1 polarization directions. d2 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 kε( k,λ )=0 . In the particular case of a massive vector boson moving

along the d1 direction we have k μ =( ω k m ,,| k | ) . On setting ε( k,λ )=( ε 1 ( k,λ ),, ε d1 ( k,λ ) ) we get ε μ ( k,λ )=( 0,ε( k,λ ) ) for λ=1,,d2 and ε μ ( k,d1 )=( | k | m ,, ω k m m ) .

The electric field has the form

E i ( t,x )=i d d1 k ( 2π ) d1 2 ω k m λ=1 d1 [ ω k m a ( λ )+ ( k ) ε ˜ i* ( k,λ ) e ikx ω k m a ( λ ) ( k ) ε ˜ i ( k,λ ) e ikx ] i d d1 k ( 2π ) d1 ω k M k i m [ ω k M a ( 0 )+ ( k ) e ikx ω k M a ( 0 ) ( k ) e ikx ] (24)

From the definition of the electric field upon setting ε ˜ ( k,λ )=( ε ˜ 1 ( k,λ ),, ε ˜ d1 ( k,λ ) ) we obtain the relation [2]

ε ˜ ( k,λ )=ε( k,λ ) k ω k m ε 0 ( k,λ )=ε( k,λ )k kε( k,λ ) ( ω k m ) 2 (25)

From the relations kε( k,λ )= ω k m ε 0 ( k,λ )kε( k,λ )=0 we have obtained

ε 0 ( k,λ )= kε( k,λ ) ω k m (26)

By direct evaluation F ij has the form

F ij ( t,x )=i d d1 k ( 2π ) d1 2 ω k m λ=1 d1 { a ( λ )+ ( k )[ k i ε j* ( k,λ ) k j ε i* ( k,λ ) ] e ikx a ( λ ) ( k )[ k i ε j ( k,λ ) k j ε i ( k,λ ) ] e ikx } (27)

In order the above equations to be consistent the following commutation rules must be valid

[ a ( λ ) ( k ), a ( λ )+ ( k ) ]= δ λ λ 2 ω k m ( 2π ) d1 δ ( d1 ) ( k k )1λ, λ d1 (28)

[ a ( 0 ) ( k ), a ( 0 )+ ( k ) ]=2 ω k M ( 2π ) d1 δ ( d1 ) ( k k ) (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 A μ . 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

I( a ( λ ) ( k ), a ( 0 ) ( k ), a ( λ )+ ( k ), a ( 0 )+ ( k ),t )= d d1 xH( E,A ) = d d1 k ( 2π ) d1 2 ω k m λ=1 d1 [ ω k m a ( λ )+ ( k ) a ( λ ) ( k )+ j ( λ ) ( t,k ) a ( λ ) ( k )+ j ( λ ) ( t,k ) a ( λ )+ ( k ) ] + d d1 k ( 2π ) d1 2 ω k M [ ω k M a ( 0 )+ ( k ) a ( 0 ) ( k )+ j ( 0 ) ( t,k ) a ( 0 ) ( k )+ j ( 0 ) ( t,k ) a ( 0 )+ ( k ) ] (30)

where

j ( λ ) ( t,k )= ε μ ( k,λ ) J μ ( t,k )1λd1 (31)

j ( 0 ) ( t,k )= k μ m J μ ( t,k ) (32)

J μ ( t,k )= d d1 x J μ ( t,x ) e ikx (33)

The space-like orthonormalized vectors ε μ ( k,λ ) are orthogonal to the time-like vector k μ as well, and therefore if we assume them real

ε( k,λ )ε( k, λ )= δ λ λ (34)

and

λ ε μ ( k,λ ) ε ν ( k,λ ) =( g μν k μ k ν m 2 ) (35)

Now we study the Hamiltonian

H 0 =ω a + a+ j ( t )a+j( t ) a + (36)

Hamiltonians of such a form appear in Equation (30).

We intend to construct a path integral representation of the evolution operator

U 0 ( T )= e i 0 T H 0 dτ (37)

We work within the holomorphic representation. We introduce the complex variables α and proceed via path integral methods. We represent the operators a + , a with the operators α and α respectively. They act on functions of α obeying the same commutation relations. Then the Hamiltonian H 0 has the representation

H 0 =ω α α + j ( t ) α +j( t ) α (38)

and for a small time t we obtain

α | U 0 ( t )| α =[ 1it( ω α α + j ( t ) α +j( t ) α )+O( t 2 ) ] e α α =[ 1it( ω α α + j ( t ) α +j( t ) α )+O( t 2 ) ] e α α = e α α ( 1itω )it( α j( t )+ j ( t ) α ) +O( t 2 ) (39)

Moreover, according to the group property

α | U 2 U 1 | α = d α d α 2πi α | U 2 | α e α α α | U 1 | α (40)

After multiple application of the Equations (39)-(40) we obtain the evolution operator at finite time in the following path integral representation

α f | U 0 ( T )| α i = lim N p=1 N1 d α p d α p 2πi exp[ i S 0 ( α p , α p ) ] (41)

where

S 0 ( α p , α p )=i p=1 N1 α p ( α p α p1 ) i α N α N1 ωε p=1 N α p α p1 ε p=1 N ( j p α p + j p1 α p1 ) (42)

ε= T N (43)

and

α 0 = α i , α N = α f (44)

If we let N we obtain the following path integral form

α f | U 0 ( T )| α i = α( 0 )= α i α ( T )= α f D α ( τ )Dα( τ ) 2πi exp[ i S 0 ( α ( τ ),α( τ ) ) ] (45)

The action has the form

S 0 ( α ( τ ),α( τ ) )=i α f α( T )+ 0 T dτ{ α ( τ )[ i α ˙ ( τ )ωα( τ ) ] α ( τ )j( τ ) j ( τ )α( τ ) } (46)

The path integral (45) with the action (46) is Gaussian and can be evaluated exactly. By varying α ( τ ) the saddle point equation yields

i α ˙ ( τ )ωα( τ )j( τ )=0 (47)

with solution

α( t )= e iωt α i i 0 t dτ e iω( tτ ) j( τ ) (48)

For completeness we give relations for α ( t ) as well. So, on varying α( t ) we get

i α ˙ ( τ )ω α ( τ ) j ( τ )=0 (49)

with solution

α ( t )= e iω( Tt ) α f i t T dτ e iω( τt ) j ( τ ) (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

S 0 ( α ( τ ),α( τ ) )=i α f α( T ) 0 T dτ j ( τ )α( τ ) (51)

Finally, since the integrals are Gaussian, we get

α f | U 0 ( T )| α i =F( T )exp[ i S 0 ( α ( τ ),α( τ ) ) ] (52)

So, on using Equations (48) (51) (52) we get

α f | U 0 ( T )| α i =exp{ α f e iωT α i i 0 T dt( α f e iω( Tt ) j( t )+ j ( t ) e iωt α i ) 0 T 0 t j ( t ) e iω( t t ) j( t )d t dt } (53)

where the semigroup property of the path integral implies F( T )=1 .

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

U 0 ( α f ( λ ) ( k ), α i ( λ ) ( k ), α f ( 0 ) ( k ), α i ( 0 ) ( k ),T;J ) =exp{ d d1 k ( 2π ) d1 2 ω k m λ=1 d1 [ α f ( λ ) ( k ) e i ω k m T α i ( λ ) ( k ) i 0 T dt( α f ( λ ) ( k ) e i ω k m ( Tt ) j ( λ ) ( t,k )+ j ( λ ) ( t,k ) e i ω k m t α i ( λ ) ( k ) ) 0 T 0 t j ( λ ) ( t,k ) e i ω k m ( t t ) j ( λ ) ( t ,k )d t dt ] + d d1 k ( 2π ) d1 2 ω k M [ α f ( 0 ) ( k ) e i ω k M T α i ( 0 ) ( k ) i 0 T dt( α f ( 0 ) ( k ) e i ω k M ( Tt ) j ( 0 ) ( t,k )+ j ( 0 ) ( t,k ) e i ω k M t α i ( 0 ) ( k ) ) 0 T 0 t j ( 0 ) ( t,k ) e i ω k M ( t t ) j ( 0 ) ( t ,k )d t dt ] } (54)

In Equation (30), Equation (54) notice the different sign in front of the symbol ω k M compared with the sign in front of the symbol ω k m .

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

Z( J )=U( 0,0,0,0,T;J ) = k κ=0 d1 [ d 2 α ( κ ) ( k ) π ] k κ=0 d1 [ 0| α ( κ ) ( k ) ] × U 0 ( α ( λ ) ( k ), α ( λ ) ( k ), α ( 0 ) ( k ), α ( 0 ) ( k ),T;J ) k κ=0 d1 [ α ( κ ) ( k )|0 ] (55)

So since

0| α ( κ ) ( k )=exp[ 1 2 | α ( κ ) ( k ) | 2 ] (56)

and

α ( κ ) ( k )|0=exp[ 1 2 | α ( κ ) ( k ) | 2 ] (57)

we get

Z( J )=exp{ d d1 k ( 2π ) d1 2 ω k m λ=1 d1 ln( 1 e i ω k m T ) d d1 k ( 2π ) d1 2 ω k M ln( 1 e i ω k M T ) i 1 2 d d1 k ( 2π ) d1 2 ω k m λ=1 d1 0 T 0 T j ( λ ) ( t,k ) cos( ω k m | t t | ω k m T 2 ) sin( ω k m T 2 ) j ( λ ) ( t ,k )d t dt +i 1 2 d d1 k ( 2π ) d1 2 ω k M 0 T 0 T j ( 0 ) ( t,k ) cos( ω k M | t t | ω k M T 2 ) sin( ω k M T 2 ) j ( 0 ) ( t ,k )d t dt } (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 d dimensional Green function is given as

G ( d )μν ( x x ,t t ;T )= 1 Z( 0 ) δ 2 δ J μ δ J ν Z( J )| J=0 (59)

So, on performing the functional derivations according to Equations (58)-(59) we get

G ( d )μν ( x x ,t t ;T ) =i d d1 k ( 2π ) d1 e i k ( x x ) [ cos( ω k m | t t | ω k m T 2 ) 2 ω k m sin( ω k m T 2 ) ( g μν k μ k ν m 2 )| k 0 = ω k m + cos( ω k M | t t | ω k M T 2 ) 2 ω k M sin( ω k M T 2 ) k μ k ν m 2 | k 0 = ω k M ] (60)

where 0t, t T . To derive Equation (60) we have applied Equation (35).

Further, we remove k μ k ν m 2 by replacing the various k μ , k ν with appropriate derivatives. So, we get the forms

G ( d )0i ( x x ,t t ;T )= G ( d )i0 ( x x ,t t ;T ) =i 1 2 m 2 d d1 k ( 2π ) d1 e i k ( x x ) k i [ cos( ω k m | t t | ω k m T 2 ) 2 ω k m sin( ω k m T 2 ) cos( ω k M | t t | ω k M T 2 ) sin( ω k M T 2 ) ] (61a)

and

G ( d )μν ( x x ,t t ;T ) =i( g μν + x μ x ν m 2 ) d d1 k ( 2π ) d1 e ik( x x ) cos( ω k m | t t | ω k m T 2 ) 2 ω k m sin( ω k m T 2 ) +i x μ x ν m 2 d d1 k ( 2π ) d1 e ik( x x ) cos( ω k M | t t | ω k M T 2 ) 2 ω k M sin( ω k M T 2 ) (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

G ( d )0i ( x x ,t t ;T )= G ( d )i0 ( x x ,t t ;T ) = 1 m 2 d d1 k ( 2π ) d1 e i k ( x x ) k i [ cos( ω k m | t t | ω k m T 2 ) 1 e i ω k m T e i ω k m T 2 cos( ω k M | t t | ω k M T 2 ) 1 e i ω k M T e i ω k M T 2 ] (62a)

and

G ( d )μν ( x x ,t t ;T ) =( g μν + x μ x ν m 2 ) d d1 k ( 2π ) d1 e ik( x x ) cos( ω k m | t t | ω k m T 2 ) ω k m ( 1 e i ω k m T ) e i ω k m T 2 x μ x ν m 2 d d1 k ( 2π ) d1 e ik( x x ) cos( ω k M | t t | ω k M T 2 ) ω k M ( 1 e i ω k M T ) e i ω k M T 2 (62b)

for the remaining matrix elements.

Now we can expand the denominators of Equations (62a, 62b) in geometric series to get

G ( d )0i ( x,τ;T )= G ( d )i0 ( x,τ;T ) = 1 2 m 2 d d1 k ( 2π ) d1 e i k x k i [ e i ω k m | τ | n=0 e i(n+1) ω k m T + e i ω k m | τ | n=0 e in ω k m T e i ω k M | τ | n=0 e i( n+1 ) ω k M T e i ω k M | τ | n=0 e in ω k M T ] (63a)

and

G ( d )μν ( x,τ;T ) =( g μν + x μ x ν m 2 ) d d1 k ( 2π ) d1 e ikx 1 2 ω ik m [ e i ω ik m | τ | n=0 e i( n+1 ) ω ik m T + e i ω ik m | τ | n=0 e in ω ik m T ] x μ x ν m 2 d d1 k ( 2π ) d1 e ikx 1 2 ω k M [ e i ω ik M | τ | n=0 e i( n+1 ) ω ik M T + e i ω ik M | τ | n=0 e in ω ik M T ] (63b)

for the remaining matrix elements.

So according to standard results

G ( d )0i ( x,τ;T )= G ( d )i0 ( x,τ;T )= A ( d ) ( x 2 ,τ;T ) x i (64)

where

A (d) ( x 2 ,τ;T)= 1 2 m 2 1 x 2 d d1 k ( 2π ) d1 ( k x ) e i k x [ e i ω k m | τ | n=0 e i(n+1) ω k m T + e i ω k m | τ | n=0 e in ω k m T e i ω k M | τ | n=0 e i( n+1 ) ω k M T e i ω k M | τ | n=0 e in ω k M T ] (65)

If μ=ν=0 we get

G ( d )00 ( x,τ;T ) =( 1+ x 0 x 0 m 2 ) d d1 k ( 2π ) d1 e ikx 1 2 ω k m [ e i ω k m | τ | n=0 e i( n+1 ) ω k m T + e i ω k m | τ | n=0 e in ω k m T ] x 0 x 0 m 2 d d1 k ( 2π ) d1 e ikx 1 2 ω k M [ e i ω k M | τ | n=0 e i( n+1 ) ω k M T + e i ω k M | τ | n=0 e in ω k M T ] (66)

Moreover

G ( d )ij ( x,τ;T )=[ B ( d ) ( x 2 ,τ;T )+ C ( d ) ( x 2 ,τ;T ) ] δ ij + D ( d ) ( x 2 ,τ;T ) x i x j (67)

where

B ( d ) ( x 2 ,τ;T )= 1 2 m 2 1 d2 1 x 2 d d1 k ( 2π ) d1 [ ( kx ) 2 + k 2 x 2 ] e ikx ×{ 1 ω k m [ e i ω k m | τ | n=0 e i( n+1 ) ω k m T + e i ω k m | τ | n=0 e in ω k m T ] 1 ω k M [ e i ω k M | τ | n=0 e i( n+1 ) ω k M T + e i ω k M | τ | n=0 e in ω k M T ] } (68)

D ( d ) ( x 2 ,τ;T )= 1 2 m 2 1 d2 1 ( x 2 ) 2 d d1 k ( 2π ) d1 [ ( d1 ) ( kx ) 2 k 2 x 2 ] e ikx ×{ 1 ω k m [ e i ω k m | τ | n=0 e i( n+1 ) ω k m T + e i ω k m | τ | n=0 e in ω k m T ] 1 ω k M [ e i ω k M | τ | n=0 e i( n+1 ) ω k M T + e i ω k M | τ | n=0 e in ω k M T ] } (69)

and

C ( d ) ( x 2 ,τ;T )= d d1 k ( 2π ) d1 e ikx 1 2 ω k m [ e i ω k m | τ | n=0 e i( n+1 ) ω k m T + e i ω k m | τ | n=0 e in ω k m T ] (70)

In Appendix A, we give expressions for the above integrals for spacetime dimensions three and four.

We observe that if we let T the expressions in the above parentheses become e i ω k m | τ | and e i ω k M | τ | . So, we obtain the standard infinite time domain results for the Stueckelberg lagrangian [1] [2]. In fact, if F ( d )μν ( x,t ) is its corresponding Green function, then as we can check [1] [2]

F (d)μν ( x ,t )=i d d k ( 2π ) d e ikx [ g μν k μ k ν m 2 k 2 m 2 +i0 + k μ k ν m 2 k 2 M 2 +i0 ] (71)

Then on comparing the various time dependences in the series in the above equations, it is easy to conclude that

G ( d )0i ( x,t;T )= G ( d )i0 ( x,t;T ) = n=0 F ( d )0i ( x,t+nT ) + n=0 F ( d )0i ( x,( n+1 )Tt ) (72a)

and

G ( d )μν ( x,t;T )= n= F ( d )μν ( x,t+nT ) (72b)

for the remaining matrix elements.

Moreover

G ( d )μν ( x,t;T )= G ( d )μν ( x,Tt;T )0tT (73)

Therefore G ( d )μν ( x,t;T ) obeys periodic boundary conditions with respect the time.

Further if λ0 then M and ω k M . So, the expressions containing ω k M in the above parentheses become zero and we obtain the results of ref. [10].

If we let m0 we obtain the photon Green function G ph ( d )μν ( x,τ;T ) in the form

G ph ( d )i0 ( x,τ;T )= G ph ( d )0i ( x,τ;T ) =i d d1 k ( 2π ) d1 e ikx k i 1λ λ 1 4| k | sin 2 ( | k |T 2 ) × [ ( | τ | T 2 )sin( | k || τ | | k |T 2 ) sin( | k |T 2 ) + T 2 cos( | k || τ | | k |T 2 )cos( | k |T 2 ) ] (74)

G ph ( d )ij ( x,τ;T )=i d d1 k ( 2π ) d1 e ikx { cos( | k || τ | | k |T 2 ) 2| k |sin( | k |T 2 ) δ ij + 1λ λ k i k j | k | 2 1 4| k | sin 2 ( | k |T 2 ) × [ ( | τ | T 2 )| k |sin( | k || τ | | k |T 2 ) sin( | k |T 2 ) + T 2 | k |cos( | k || τ | | k |T 2 )cos( | k |T 2 ) +cos ( | k || τ | | k |T 2 )sin( | k |T 2 ) ] } (75)

and

G ph ( d )00 ( x,τ;T )=i d d1 k ( 2π ) d1 e ikx { cos( | k || τ | | k |T 2 ) 2| k |sin( | k |T 2 ) 1λ λ 1 4| k | sin 2 ( | k |T 2 ) × [ ( | τ | T 2 )| k |sin( | k || τ | | k |T 2 ) sin( | k |T 2 ) + T 2 | k |cos( | k || τ | | k |T 2 )cos( | k |T 2 ) cos ( | k || τ | | k |T 2 )sin( | k |T 2 ) ] } (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 J ν ( x,t ) where the vector x has dimension d1 . Then

A μ ( t,x )=i 0 T d t d d1 x G ( d )μν ( x x ,t t ;T ) J ν ( x , t ) (77)

Let us consider a charged particle on a trajectory y( t ) . Then, the current d-vector has the form

J ν ( x,t )=Q v ν ( t ) δ ( d1 ) ( xy( t ) ) (78)

v ν ( t ) ν=0,1,,d1 is its velocity and Q its charge. Further, we set

v=( 1, v 1 ,, v d1 )=( 1,v ) (79)

The present current is conserved as

ν J ν ( x,t )= 0 J 0 ( x,t ) i J i ( x,t ) =Q 0 y i ( t ) x i [ δ ( d1 ) ( xy( t ) ) ]Q v i ( t ) x i [ δ ( d1 ) ( xy( t ) ) ] =0 (80)

We have used the fact that 0 y( t )=v .

Therefore, the above theory is applicable and we get

A 0 ( t,x )=iQ 0 T { G ( d )00 ( xy( t ),t t ;T ) A ( d ) ( ( xy( t ) ) 2 ,t t ;T ) ( xy( t ) ) j v j ( t ) }d t (81)

and

A i ( t,x )=iQ 0 T { A ( d ) ( ( xy( t ) ) 2 ,t t ;T ) ( xy( t ) ) i [ B ( d ) ( ( xy( t ) ) 2 ,t t ;T )+ C ( d ) ( ( xy( t ) ) 2 ,t t ;T ) ] v i ( t ) D ( d ) ( ( xy( t ) ) 2 ,t t ;T ) ( xy( t ) ) i ( xy( t ) ) j v j ( t ) }d t (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 λ=1 we obtain the Feynman gauge. The limiting λ is the Landau gauge.

Now we study photons and we consider the Feynman gauge. Then

G ph ( d )μν ( x,τ;T )=i g μν d d1 k ( 2π ) d1 e ikx cos( | k || τ | | k |T 2 ) 2| k |sin( | k |T 2 ) = g μν d d1 k ( 2π ) d1 e ikx cos( | k || τ | | k |T 2 ) | k |( 1 e i| k |T ) e i | k |T 2 = g μν d d1 k ( 2π ) d1 e ikx 1 2| k | [ e i| k || τ | n=0 e i( n+1 )| k |T + e i| k || τ | n=0 e in| k |T ] (83)

So, in the case of a uniformly moving charge with velocity v 0 along the x-direction, Equation (79) becomes

v=( 1, v 0 ,0,,0 ) (84)

and therefore

y( t )=( v 0 t,0,,0 ) (85)

If v 0 =0 then the particle is stationary. We proceed to applications concerning that case.

If d=4 we get

A 0 ( T,x )=iQ 0 T dτ d 3 k ( 2π ) 3 e ikx 1 2| k | [ e i| k |( Tτ ) n=0 e i( n+1 )| k |T + e i| k |( Tτ ) n=0 e in| k |T ] =iQ 1 4 π 2 0 T dτ 0 dk k j 0 ( k| x | ) [ e ikτ n=0 e inkT + e ikτ n=0 e i( n+1 )kT ] =iQ 1 4 π 2 0 T dτ 0 dk sin( k| x | ) | x | [ e ikτ n=0 e inkT + e ikτ n=0 e i( n+1 )kT ] =iQ 1 4 π 2 0 T dτ n= 1 | x | 2 ( τ+nT ) 2 =iQ 1 4 π 2 dτ 1 τ 2 | x | 2 +i0 =Q 1 4π 1 | x | (86)

That result corresponds to the electric potential of a single point charge in a three-dimensional space.

We observe that A 0 ( T,x ) is independent of T . Moreover, since g i0 =0 we get

A i ( T,x )=0 (87)

If d=3 A 0 ( T,x ) obeys the relations

A 0 ( T,x )=iQ 0 T dτ d 2 k ( 2π ) 2 e ikx 1 2| k | [ e i| k |( Tτ ) n=0 e i( n+1 )| k |T + e i| k |( Tτ ) n=0 e in| k |T ] =iQ 1 4π 0 T dτ 0 dk J 0 ( k| x | ) [ e ikτ n=0 e inkT + e ikτ n=0 e i( n+1 )kT ] =iQ 1 4π 0 T dτ n= 1 | x | 2 ( τ+nT ) 2 =iQ 1 4π dτ 1 | x | 2 τ 2 =Q 1 4π dρ 1 | x | 2 + ρ 2 (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. x is a vector in a 2-dimensional space. Moreover

A i ( T,x )=0 (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 G ( d )00 ( x,τ;T ) , A ( d ) ( x 2 ,τ;T ) , B ( d ) ( x 2 ,τ;T ) , C ( d ) ( x 2 ,τ;T ) and D ( d ) ( x 2 ,τ;T ) .

So, if d=3 G ( 3 )00 ( x,τ;T ) takes the form

G ( 3 )00 ( x,τ;T ) =i 1 4π m 2 n= 1 [ ( nT+| τ | ) 2 | x | 2 ] 5 2 [ 2 ( nT+| τ | ) 2 + | x | 2 +im[ 2 ( nT+| τ | ) 2 + | x | 2 ] ( nT+| τ | ) 2 | x | 2 m 2 ( nT+| τ | ) 4 + m 2 ( nT+| τ | ) 2 | x | 2 ]exp[ im ( nT+| τ | ) 2 | x | 2 ] { mM }i 1 4π n= 1 [ ( nT+| τ | ) 2 | x | 2 ] 1 2 exp[ im ( nT+| τ | ) 2 | x | 2 ] (A1)

In the equations the symbol { mM } represents the previous expression where in the sum and only the sum, we replace the symbol m with the symbol M.

Proceeding if d=4 we get for the G ( 4 )00 ( x,τ;T ) , the expression

G ( 4 )00 ( x,τ;T ) =i 1 4 π 2 m 2 n= m [ ( nT+| τ | ) 2 | x | 2 ] 5 2 { im ( nT+| τ | ) 2 | x | 2 ×( 3 ( nT+| τ | ) 2 + | x | 2 ) K 0 ( im ( nT+| τ | ) 2 | x | 2 )+ [ 2( 3 ( nT+| τ | ) 2 + | x | 2 ) m 2 ( nT+| τ | ) 2 ( ( nT+| τ | ) 2 | x | 2 ) ] K 1 ( im ( nT+| τ | ) 2 | x | 2 ) } { mM }i m 4 π 2 n= 1 [ ( nT+| τ | ) 2 | x | 2 ] 1 2 K 1 ( im ( nT+| τ | ) 2 | x | 2 ) (A2)

Moreover, if we let d=3 we get for A ( 3 ) ( x 2 ,τ;T )

A ( 3 ) ( x 2 ,τ;T ) = 2 π 1 4π m 2 e iπ 4 [ n=0 ( ( n+1 )T| τ | ) m 3 2 K 5 2 ( im ( ( n+1 )T| τ | ) 2 | x | 2 ) ( ( ( n+1 )T| τ | ) 2 | x | 2 ) 7 4 { mM } + n=0 ( | τ |+nT ) m 3 2 K 5 2 ( im ( | τ |+nT ) 2 | x | 2 ) ( ( | τ |+nT ) 2 | x | 2 ) 7 4 { mM } ] (A3)

A ( 4 ) ( x 2 ,τ;T ) satisfies the following relations if d=4

A ( 4 ) ( x 2 ,τ;T ) = 1 4 π 2 m 2 e iπ 4 [ n=0 ( ( n+1 )T| τ | ) m 3 2 K 3 ( im ( ( n+1 )T| τ | ) 2 | x | 2 ) ( ( ( n+1 )T| τ | ) 2 | x | 2 ) 9 4 { mM } + n=0 ( | τ |+nT ) m 3 2 K 3 ( im ( | τ |+nT ) 2 | x | 2 ) ( ( | τ |+nT ) 2 | x | 2 ) 9 4 { mM } ] (A4)

Further B ( 3 ) ( x 2 ,τ;T ) where d=3 has the form

B ( 3 ) ( x 2 ,τ;T )=i 1 4π m 2 n= 1 ( ( | τ |+nT ) 2 | x | 2 ) 3 2 ( 1+im ( | τ |+nT ) 2 | x | 2 ) ×exp( im ( | τ |+nT ) 2 | x | 2 ){ mM } (A5)

Proceeding further if d=4 , B ( 4 ) ( x 2 ,τ;T ) becomes

B ( 4 ) ( x 2 ,τ;T )= 1 4 π 2 m 2 n= m 2 ( | τ |+nT ) 2 | x | 2 K 2 ( im ( | τ |+nT ) 2 | x | 2 ){ mM } (A6)

If d=3 C ( 3 ) ( x 2 ,τ;T ) has the form

C ( 3 ) ( x 2 ,τ;T )=i 1 4π n= 1 ( ( | τ |+nT ) 2 | x | 2 ) 1 2 exp[ im ( | τ |+nT ) 2 | x | 2 ] (A7)

while if d=4 we get for C ( 4 ) ( x 2 ,τ;T )

C ( 4 ) ( x 2 ,τ;T )=i 1 2 π 2 n= m ( ( | τ |+nT ) 2 | x | 2 ) 1 2 K 1 ( im ( | τ |+nT ) 2 | x | 2 ) (A8)

For d=3 D ( 3 ) ( x 2 ,τ;T ) is

D ( 3 ) ( x 2 ,τ;T ) = 2 π 1 4π m 2 e iπ 4 n= m 5 2 ( ( | τ |+nT ) 2 | x | 2 ) 5 4 K 5 2 ( im ( | τ |+nT ) 2 | x | 2 ){ mM } (A9)

Finally, D ( 4 ) ( x 2 ,τ;T ) where to d=4 takes the form

D ( 4 ) ( x 2 ,τ;T ) =i 1 4 π 2 m 2 n= m 3 ( ( | τ |+nT ) 2 | x | 2 ) 3 2 K 3 ( im ( | τ |+nT ) 2 | x | 2 ){ mM } (A10)

In the above equations we can apply the identity [16]

K ν ( iz )= πi 2 e π 2 νi H ν ( 2 ) ( z ) (A11)

In the equations (A1) to (A11) K l are modified Bessel functions of the third kind and H l ( 2 ) are Hankel functions of the second kind.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Itzykson, C. and Zuber, J.B. (1980) Quantum Field Theory. McGraw Hill.
[2] Williams, A.G. (2022) Introduction to Quantum Field Theory. Cambridge University Press.[CrossRef]
[3] Zinn-Justin, J. (1996) Quantum Field Theory and Critical Phenomena. 3rd Edition, Oxford University Press.
[4] Hatfield, B. (1992) Quantum Field Theory of Point Particles and Strings. Westview Press.
[5] Baaquie, B.E. (2021) Lattice Quantum Field Theory of the Dirac and Gauge Fields. World Scientific.
[6] Trangenstein, J.A. (2007) Numerical Solution of Hyperbolic Partial Differential Equations. Cambridge University Press.
[7] Li, Z., Qiao, Z. and Tang, T. (2017) Numerical Solution of Differential Equations. Cambridge University Press.[CrossRef]
[8] Thrapsaniotis, E.G. (2023) Finite Time Domain Dynamics of Dirac Fields. Journal of Applied Mathematics and Physics, 11, 3928-3942.[CrossRef]
[9] Thrapsaniotis, E.G. (2025) Finite Time Domain Dynamics of Scalar Fields. Journal of Applied Mathematics and Physics, 13, 454-464.[CrossRef]
[10] Thrapsaniotis, E.G. (2025) Finite Time Domain Dynamics of Massive Vector Fields. Journal of Applied Mathematics and Physics, 13, 2199-2216.[CrossRef]
[11] Grosse-Knetter, C. (1993) Hamiltonian Quantization of Effective Lagrangians with Massive Vector Fields. Physical Review D, 48, 2854-2864.[CrossRef] [PubMed]
[12] Haller, K. and Bishop, G. (1980) Field Theory of Massive Vector Bosons in a Model with Spontaneously Broken Symmetry. Physical Review D, 21, 368-383.[CrossRef]
[13] Djukanovic, D., Gegelia, J. and Meißner, U. (2018) Derivation of Spontaneously Broken Gauge Symmetry from the Consistency of Effective Field Theory I: Massive Vector Bosons Coupled to a Scalar Field. Physics Letters B, 785, 543-550.[CrossRef]
[14] Thrapsaniotis, E.G. (2001) Propagator of an Electron in a Cavity in the Presence of a Coherent Photonic Field. The European Physical Journal D, 14, 43-47.[CrossRef]
[15] Thrapsaniotis, E.G. (2017) Atoms-Photonic Field Interaction: Influence Functional and Perturbation Theory. In: Uzunov, D.I., Ed., Recent Studies in Perturbation Theory, InTech, 151-168.[CrossRef]
[16] Gradshteyn, I.S., Ryzhik, I.M. and Zwillinger, D. (2015) Table of Integrals, Series, and Products. 8th Edition, Academic Press.

Copyright © 2026 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.