Finite Time Domain Dynamics of Scalar Fields

In the present paper, we study the finite time domain dynamics of a scalar field interacting with external sources. We expand both the scalar field and the corresponding Hamiltonian in annihilation and creation operators and evaluate the relevant path integral. So, we get the Green function within a finite time interval. We apply the solution to the relevant Cauchy problem and further, we study the dynamics of scalar fields coupled with electromagnetic fields via perturbative methods.

• Scalar Fields
• Finite Time Evolution
• Electromagnetic Field
• Perturbative Methods

1. Introduction

Quantum field theory constitutes a large area of physics with a variety of uses [1] - [5] . It deals with the properties of the various particles and fields. Here, we aim to consider analytic techniques for their finite time evolution as opposed to methods such as the numerical simulations of the dynamic equations [6] [7] or the use of lattice quantum field theory [5] . For previous analytic attempts, see, for example, [8] . Under appropriate preparations, finite time methods may be of value in the prediction of corresponding finite time results and effects in various systems contrasted, for instance, with asymptotic scattering theories.

In the present paper, we consider scalar fields [9] - [11] in a finite time domain and develop path integral methods for their dynamics. We start from the corresponding Lagrangian and Hamiltonian densities, decompose the scalar fields in expressions with annihilation and creation operators and evaluate their relevant path integral [12] [13] . In that way, we can extract the relevant Green function if we consider vacuum-to-vacuum transitions. It describes completely the whole dynamical system. We use it in the solution of the relevant Cauchy problem and further in their finite time propagation in spacetime. We study dimensions two, three and four. We suppose them to be coupled with electromagnetic fields and, more particularly, plane waves. We develop and apply perturbative techniques with respect to those electromagnetic fields. From the derived expressions, we can obtain results on the scalar fields’ current densities.

The present paper proceeds as follows. In Section 2, we describe the present scalar field systems, decompose them in annihilation and creation operators, derive the Hamiltonian in a form with annihilation and creation operators and evaluate the relevant path integral in a finite time interval to obtain the transition amplitudes between coherent and more particularly vacuum states. Then, in Section 3, we use these results to evaluate the Green functions in an integral or series form for certain spacetime dimensions. In Section 4, we use those Green functions to solve the Cauchy problem for the present finite time domain Klein-Gordon equation. Then, in Section 5, we consider scalar fields, obeying the Klein-Gordon equation within a finite time interval and coupled with weak classical electromagnetic fields. We derive their time evolution via using, on the one hand, the obtained Green function and, on the other, perturbation theory with respect to the electromagnetic field. Finally, in Section 6, we give our conclusions.

Throughout the paper we use a Minkowski metric with signature $(1,\underset{d-1}{\underset{︸}{-1,\cdots ,-1}})$, where $d$ is the spacetime dimension. Moreover, we set $c=\hslash =1$. Then, $e^2=\alpha \simeq \frac{1}{137}$, where $\alpha$ is the fine structure constant. In our expressions, we maintain the mass symbol $m$ for clarity. The scalar particle’s rest energy is $m{c}^2$ and the units of length, time and energy are $\frac{{\hslash }^2}{m{e}^2}$, $\frac{{\hslash }^3}{m{e}^4}$ and $\frac{m{e}^4}{{\hslash }^2}$ respectively.

2. System Hamiltonian and Path Integration

We intend to study a real scalar field $\phi$ of mass $m$ coupled to a current $J$ in a $d$-dimensional spacetime. Let it have Lagrangian

$L=\frac{1}{2}{\left(\partial \phi \right)}^2-\frac{m^2}{2}{\phi }^2+J\phi$ (1)

and corresponding classical action

$I_0(\phi ,J)={\displaystyle \int \text{d}\tau {\displaystyle \int {\text{d}}^{d-1}x\left[\frac{1}{2}{\left(\partial \phi \right)}^2-\frac{m^2}{2}{\phi }^2+J\phi \right]}}$ (2)

Then, according to variational considerations, it obeys the equation

$\left(\square +m^2\right)\phi =J$ (3)

where $\square$ is the d’Alembert operator. The corresponding homogeneous equation is the Klein-Gordon equation. We intend to confront the whole problem via path integral methods. Its quantum Hamiltonian has the form

$H={\displaystyle \int {\text{d}}^{d-1}x\left[\frac{1}{2}{\pi }^2+\frac{1}{2}{\left(\nabla \phi \right)}^2+\frac{m^2}{2}{\phi }^2-J\phi \right]}$ (4)

where $\pi$ is the conjugate momentum. It describes an assembly of quantum oscillators coupled to external forces.

$\pi$ and $\phi$ must satisfy equal-time canonical commutation relations,

$\left[\phi \left(x,t\right),\pi \left(y,t\right)\right]=i{\delta }^{\left(d-1\right)}\left(x-y\right)$ (5)

$\left[\pi \left(x,t\right),\pi \left(y,t\right)\right]=\left[\phi \left(x,t\right),\phi \left(y,t\right)\right]=0$ (6)

We decompose the fields in annihilation and creation operator components

$\phi \left(x\right)={\displaystyle \int \text{d}\tilde{k}\left[a\left(k\right){\text{e}}^{ik\cdot x}+a^{+}\left(k\right){\text{e}}^{-ik\cdot x}\right]}$ (7)

$\pi \left(x\right)=-i{\displaystyle \int \text{d}\tilde{k}{\omega }_k\left[a\left(k\right){\text{e}}^{ik\cdot x}-a^{+}\left(k\right){\text{e}}^{-ik\cdot x}\right]}$ (8)

where

$\text{d}\tilde{k}=\frac{{\text{d}}^{d-1}k}{{\left(2\pi \right)}^{d-1}2{\omega }_k}$ (9)

${\omega }_k=\sqrt{m^2+k^2}$ (10)

In order commutation relations (5) and (6) to be obeyed, $a$ and $a^{+}$ must obey

$\left[a\left(k\right),a^{+}\left(k^{\prime }\right)\right]={\left(2\pi \right)}^{d-1}2{\omega }_k{\delta }^{\left(d-1\right)}\left(k-k^{\prime }\right)$ (11)

$\left[a\left(k\right),a\left(k^{\prime }\right)\right]=\left[a^{+}\left(k\right),a^{+}\left(k^{\prime }\right)\right]=0$ (12)

Now, on substituting expressions (7) and (8) in the Hamiltonian (4), we obtain the following diagonal expression for the present system’s Hamiltonian, up to a constant which in fact is cancelled in Equation (23)

$H={\displaystyle \int \text{d}\tilde{k}\left[{\omega }_{\stackrel{\to }{k}}{a}^{+}\left(k\right)a\left(k\right)-f\left(k,t\right)a^{+}\left(k\right)-f^{\ast }\left(k,t\right)a\left(k\right)\right]}$ (13)

We have set

$f\left(k,t\right)={\displaystyle \int {\text{d}}^{d-1}x{\text{e}}^{-ik\cdot x}J\left(x,t\right)}$ (14)

The Hamiltonian (13) is diagonal with respect $k$ and therefore on path integrating its diagonal terms, we easily obtain the coherent states propagator

$\begin{array}{l}U\left(z_f^{\ast }\left(k\right),t_f;z_i\left(k\right),t_i;J\right)\\ =\exp \{{\displaystyle \int \text{d}\tilde{k}[z_f^{\ast }\left(k\right){\text{e}}^{-i{\omega }_k\left(t_f-t_i\right)}{z}_i\left(k\right)\begin{array}{c}\\ \end{array}}\\ +i{\displaystyle \underset{t_i}{\overset{t_f}{\int }}\text{d}t\left(z_f^{\ast }\left(k\right){\text{e}}^{-i{\omega }_k\left(t_f-t\right)}f\left(k,t\right)+f^{\ast }\left(k,t\right){\text{e}}^{-i{\omega }_k\left(t-t_i\right)}{z}_i\left(k\right)\right)}\\ -\frac{1}{2}{\displaystyle \underset{t_i}{\overset{t_f}{\int }}{\displaystyle \underset{t_i}{\overset{t_f}{\int }}\text{d}t}\text{d}{t}^{\prime }{f}^{\ast }\left(k,t^{\prime }\right){\text{e}}^{-i{\omega }_k\left|t-t^{\prime }\right|}f\left(k,t\right)}]\}\end{array}$ (15)

To get the final form of the coherent state’s evolution amplitude, we integrate diagonally [12] [13] , i.e.

$\begin{array}{l}{U}_0\left({\zeta }^{\ast }\left(k\right),t_f;\eta \left(k\right),t_i;J\right)\\ ={\displaystyle \underset{\stackrel{\to }{k}}{\prod }\left[{\displaystyle \int \frac{{\text{d}}^{2}z\left(k\right)}{\pi }}\right]}{\displaystyle \underset{k}{\prod }\left[\langle \zeta \left(k\right)|z\left(k\right)\rangle \right]U\left(z^{\ast }\left(k\right),t_f;z\left(k\right),t_i;J\right)}{\displaystyle \underset{k}{\prod }\left[\langle z\left(k\right)|\eta \left(k\right)\rangle \right]}\end{array}$ (16)

So, since

$\langle \zeta \left(k\right)|z\left(k\right)\rangle =\exp \left[-\frac{1}{2}{\left|\zeta \left(k\right)\right|}^2-\frac{1}{2}{\left|z\left(k\right)\right|}^2|+{\zeta }^{\ast }\left(k\right)z\left(k\right)\right]$ (17)

and

$\langle z\left(k\right)|\eta \left(k\right)\rangle =\exp \left[-\frac{1}{2}{\left|z\left(k\right)\right|}^2-\frac{1}{2}{\left|\eta \left(k\right)\right|}^2+z^{\ast }\left(k\right)\eta \left(k\right)\right]$ (18)

we get

$\begin{array}{l}{U}_0\left({\zeta }^{\ast }\left(k\right),t_f;\eta \left(k\right),t_i;J\right)\\ =\exp \{{\displaystyle \int \text{d}\tilde{k}}[-\frac{1}{2}{\left|\zeta \left(k\right)\right|}^2-\frac{1}{2}{\left|\eta \left(k\right)\right|}^2+\frac{{\zeta }^{\ast }\left(k\right)\eta \left(k\right)}{1-{\text{e}}^{-i{\omega }_k\left(t_f-t_i\right)}}-\ln \left(1-{\text{e}}^{-i{\omega }_k\left(t_f-t_i\right)}\right)\\ +i{\displaystyle \underset{t_i}{\overset{t_f}{\int }}\text{d}t\left(-{\zeta }^{\ast }\left(k\right)\frac{{\text{e}}^{i{\omega }_{k}t}}{{\text{e}}^{i{\omega }_k{t}_i}-{\text{e}}^{i{\omega }_k{t}_f}}f\left(k,t\right)+f^{\ast }\left(k,t\right)\frac{{\text{e}}^{-i{\omega }_{k}t}}{{\text{e}}^{-i{\omega }_k{t}_i}-{\text{e}}^{-i{\omega }_k{t}_f}}\eta \left(k\right)\right)}\\ -{\displaystyle \underset{t_i}{\overset{t_f}{\int }}{\displaystyle \underset{t_i}{\overset{t}{\int }}{f}^{\ast }\left(k,t\right)\xi \left(k,t_f,t_i,t,t^{\prime }\right)f\left(k,t^{\prime }\right)\text{d}{t}^{\prime }\text{d}t}}]\}\end{array}$ (19)

We have set

$\begin{array}{c}\xi \left(k,t_f,t_i,t,t^{\prime }\right)={\text{e}}^{-i{\omega }_k\left(t-t^{\prime }\right)}+\frac{2\cos \left({\omega }_k\left(t-t^{\prime }\right)\right)}{1-{\text{e}}^{i{\omega }_k\left(t_f-t_i\right)}}\\ =i\frac{\cos \left({\omega }_k\left(t-t^{\prime }\right)-\frac{{\omega }_k\left(t_f-t_i\right)}{2}\right)}{\sin \left(\frac{{\omega }_k\left(t_f-t_i\right)}{2}\right)}\end{array}$ (20)

Finally,

$\begin{array}{l}{U}_0\left({\zeta }^{\ast }\left(k\right),t_f;\eta \left(k\right),t_i;J\right)\\ =\exp \{{\displaystyle \int \text{d}\tilde{k}}[-\frac{1}{2}{\left|\zeta \left(k\right)\right|}^2-\frac{1}{2}{\left|\eta \left(k\right)\right|}^2+\frac{{\zeta }^{\ast }\left(k\right)\eta \left(k\right)}{1-{\text{e}}^{-i{\omega }_k\left(t_f-t_i\right)}}-\ln \left(1-{\text{e}}^{-i{\omega }_k\left(t_f-t_i\right)}\right)\begin{array}{c}\\ \\ \\ \end{array}\\ +i{\displaystyle \underset{t_i}{\overset{t_f}{\int }}\text{d}t\left(-{\zeta }^{\ast }\left(k\right)\frac{{\text{e}}^{i{\omega }_{k}t}}{{\text{e}}^{i{\omega }_k{t}_i}-{\text{e}}^{i{\omega }_k{t}_f}}f\left(k,t\right)+f^{\ast }\left(k,t\right)\frac{{\text{e}}^{-i{\omega }_{k}t}}{{\text{e}}^{-i{\omega }_k{t}_i}-{\text{e}}^{-i{\omega }_k{t}_f}}\eta \left(k\right)\right)}\\ -i\frac{1}{2}{\displaystyle \underset{t_i}{\overset{t_f}{\int }}{\displaystyle \underset{t_i}{\overset{t_f}{\int }}\text{d}t}\text{d}{t}^{\prime }{f}^{\ast }\left(k,t\right)\frac{\cos \left({\omega }_k\left|t-t^{\prime }\right|-\frac{{\omega }_k\left(t_f-t_i\right)}{2}\right)}{\sin \left(\frac{{\omega }_k\left(t_f-t_i\right)}{2}\right)}f\left(k,t^{\prime }\right)}]\}\end{array}$ (21)

We can use the above considerations to obtain the finite time interval Green function of scalar fields. We do it in the next section.

3. Green Function Evaluation

Now, we intend to derive Green functions for the present system. Green functions are useful as they constitute the functional inverses of the dynamic operators, giving the evolution of the various dynamic systems. They can be combined with perturbation theory giving a powerful tool. We apply that mathematical structure here.

According to the results of the previous section, the correlation functions’ generating functional of the present system has the form

$Z\left(J\right)=U_0\left(0,t_f;0,t_i;J\right)$ (22)

Then, the $d$ dimensional Green function obeys the relations

$\begin{array}{c}{G}^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)=\langle 0|\text{Τ}\phi \left(t^{\prime },x^{\prime }\right)\phi \left(t,x\right)|0\rangle \\ =-\frac{1}{Z\left(0\right)}{\frac{{\delta }^2}{\delta J\left(t^{\prime }\right)\delta J\left(t\right)}Z\left(J\right)|}_{J=0}\end{array}$ (23)

where ${\rm T}$ is the time ordering operator.

Upon performing the functional derivations according to Equations (21)-(23), we get the form

$G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)=i{\displaystyle \int \frac{d^{d-1}k}{{\left(2\pi \right)}^{d-1}}{\text{e}}^{ik\cdot \left(x-x^{\prime }\right)}}\frac{\cos \left({\omega }_k\left|t-t^{\prime }\right|-\frac{{\omega }_{k}T}{2}\right)}{2{\omega }_k\sin \left(\frac{{\omega }_{k}T}{2}\right)}$ (24)

where $T=t_f-t_i$ and $0\le \left|t-t^{\prime }\right|\le T$.

On writing the sine function in terms of exponentials and performing certain manipulations in Equation (24), we can take the form

$G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)=-{\displaystyle \int \frac{d^{d-1}k}{{\left(2\pi \right)}^{d-1}}{\text{e}}^{ik\cdot \left(x-x^{\prime }\right)}\frac{1}{{\omega }_k}}\frac{\cos \left({\omega }_k\left|t-t^{\prime }\right|-\frac{{\omega }_{k}T}{2}\right)}{1-{\text{e}}^{-i{\omega }_{k}T}}{\text{e}}^{-i\frac{{\omega }_{k}T}{2}}$ (25)

So, after an appropriate geometric series expansion, we get

$\begin{array}{c}{G}^{\left(d\right)}\left(x,\tau ;T\right)=-{\displaystyle \int \frac{d^{d-1}k}{{\left(2\pi \right)}^{d-1}}\frac{1}{{\omega }_k}{\text{e}}^{ik\cdot x}}\cos \left({\omega }_k\left|\tau \right|-\frac{{\omega }_{k}T}{2}\right){\text{e}}^{-i\frac{{\omega }_{k}T}{2}}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\\ =-{\displaystyle \int \frac{d^{d-1}k}{{\left(2\pi \right)}^{d-1}}\frac{1}{2{\omega }_k}{\text{e}}^{ik\cdot x}}\left[{\text{e}}^{i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-i\left(n+1\right){\omega }_{k}T}}+{\text{e}}^{-i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\right]\end{array}$ (26)

We notice that the poles appearing in Equation (25) can be bypassed by introducing a parameter $\mu$ that is smaller but close to one and using the equation

$G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)=-{\displaystyle \int \frac{{\text{d}}^{d-1}k}{{\left(2\pi \right)}^{d-1}}{\text{e}}^{ik\cdot \left(x-x^{\prime }\right)}\frac{1}{{\omega }_k}}\frac{\cos \left({\omega }_k\left|t-t^{\prime }\right|-\frac{{\omega }_{\stackrel{\to }{k}}T}{2}\right)}{1-\mu {\text{e}}^{-i{\omega }_{k}T}}{\text{e}}^{-i\frac{{\omega }_{k}T}{2}}$ (27)

We have applied such an approach in [14] .

Alternatively, we can perform the integration on $k$ in Equation (26) analytically. If $d=2$, we obtain

$\begin{array}{l}{G}^{\left(2\right)}\left(x,\tau ;T\right)\\ =-\frac{1}{2\pi }{\displaystyle \underset{0}{\overset{\infty }{\int }}\text{d}k\frac{1}{{\omega }_k}\cos \left(kx\right)}\left[{\text{e}}^{i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-i\left(n+1\right){\omega }_{k}T}}+{\text{e}}^{-i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\right]\\ =-\frac{1}{2\pi }{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{K}_0\left[im\sqrt{{\left(\left(n+1\right)T-\left|\tau \right|\right)}^2-x^2}\right]}-\frac{1}{2\pi }{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{K}_0\left[im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-x^2}\right]}\\ =-\frac{1}{2\pi }{\displaystyle \underset{n=-\infty }{\overset{-1}{\sum }}{K}_0\left[im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-x^2}\right]-\frac{1}{2\pi }{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{K}_0\left[im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-x^2}\right]}}\\ =-\frac{1}{2\pi }{\displaystyle \underset{n=-\infty }{\overset{\infty }{\sum }}{K}_0\left[im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-x^2}\right]}=\frac{i}{4}{\displaystyle \underset{n=-\infty }{\overset{\infty }{\sum }}{H}_0^{\left(2\right)}\left[m\sqrt{{\left(nT+\left|\tau \right|\right)}^2-x^2}\right]}\end{array}$ (28)

In the first sum from the second to the third line, we have replaced $n+1\to n$ and then we have replaced $n\to -n$. $K_0$ is a modified Bessel function of the third kind. $H_0^{\left(2\right)}$ is a Hankel function of the second kind.

If $d=3$ on expanding the factor ${\text{e}}^{ik\cdot x}$ in terms of exponentials and Bessel functions [15] and integrating angularly, the Green function (26) takes the form

$\begin{array}{c}{G}^{\left(3\right)}\left(x,\tau ;T\right)=-\frac{1}{4\pi }{\displaystyle \underset{0}{\overset{\infty }{\int }}\text{d}k{J}_0\left(k\left|x\right|\right)\frac{k}{{\omega }_k}\left[{\text{e}}^{i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-i\left(n+1\right){\omega }_{k}T}}+{\text{e}}^{-i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\right]}\\ =i\frac{1}{4\pi }{\displaystyle \underset{n=-\infty }{\overset{\infty }{\sum }}\frac{1}{\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}}}\exp \left[-im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}\right]\end{array}$ (29)

In the last equality, we have evaluated the integrals.

Similarly, if $d\ge 4$ on expanding the factor ${\text{e}}^{ik\cdot x}$ in terms of Gegenbauer polynomials and Bessel functions [15] and integrating angularly, the Green function (26) takes the form

$G^{\left(d\right)}\left(x,\tau ;T\right)=-\frac{1}{2{\left(2\pi \right)}^{\frac{d-1}{2}}}{\displaystyle \underset{0}{\overset{\infty }{\int }}\text{d}k\frac{J_{\nu }\left(k\left|x\right|\right)}{{\left(k\left|x\right|\right)}^{\nu }}\frac{k^{d-2}}{{\omega }_k}}\left[{\text{e}}^{i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-i\left(n+1\right){\omega }_{k}T}}+{\text{e}}^{-i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\right]$ (30)

where $\nu =\frac{d-3}{2}\ne 0,-1,-2,\cdots$. $J_{\nu }$ is a Bessel function of the first kind. So, the whole problem has been reduced to the evaluation of the $k$-integrals in Equation (30).

So, if $d=4$ on writing the Bessel function $J_{\frac{1}{2}}$ in terms of the sine function [15] , the corresponding Green function takes the form

$\begin{array}{c}{G}^{\left(4\right)}\left(x,\tau ;T\right)=-\frac{1}{4{\pi }^2}{\displaystyle \underset{0}{\overset{\infty }{\int }}\text{d}k\frac{\sin \left(k\left|x\right|\right)}{\left|x\right|}\frac{k}{{\omega }_k}\left[{\text{e}}^{i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-i(n+1){\omega }_{k}T}}+{\text{e}}^{-i{\omega }_k\left|\tau \right|}{\displaystyle \underset{n=0}{\overset{\infty }{\sum }}{\text{e}}^{-in{\omega }_{k}T}}\right]}\\ =i\frac{m}{4{\pi }^2}{\displaystyle \underset{n=-\infty }{\overset{\infty }{\sum }}\frac{1}{\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}}{K}_1\left(im\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}\right)}\\ =i\frac{m}{8\pi }{\displaystyle \underset{n=-\infty }{\overset{\infty }{\sum }}\frac{1}{\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}}{H}_1^{\left(2\right)}\left(m\sqrt{{\left(nT+\left|\tau \right|\right)}^2-{\left|x\right|}^2}\right)}\end{array}$ (31)

$K_1$ is a modified Bessel function of the third kind. $H_1^{\left(2\right)}$ is a Hankel function of the second kind.

We can apply the above considerations in the study of the propagation of scalar fields in spacetime.

4. Boundary Value Problem

Now, we apply the above expressions of the Green functions to the solution of the Cauchy problem and the propagation of the present scalar fields obeying the Klein-Gordon equation.

We consider a spacetime region $\Omega$ bounded by the space-like surfaces ${\sigma }_0$ and $\sigma$. Let $\phi \left(x,t\right)$ be a solution of the field equations such that on ${\sigma }_0$, it takes the initial values ${\phi }_0\left(x,t\right)$ and $n^{\mu }{\partial }_{\mu }{\phi }_0\left(x,t\right)$ for its derivative, where $n^{\mu }$ is normal on ${\sigma }_0$. $x$ is a $d-1$ dimensional vector. Further, we suppose $F_{\mu }\left(x,t\right)$ be a function that vanishes as $\left|x\right|\to \infty$ of the form

$F_{\mu }\left(x^{\prime },t^{\prime }\right)=G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right){{\partial }^{\prime }}_{\mu }\phi \left(x^{\prime },t^{\prime }\right)-{{\partial }^{\prime }}_{\mu }{G}^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)\phi \left(x^{\prime },t^{\prime }\right)$ (32)

$G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)$ and $\phi \left(x,t\right)$ are both solutions of the Klein-Gordon equation. So,

${\partial }^{\mu }{F}_{\mu }\left(x,t\right)=0$ (33)

in $\Omega$ and therefore

${\displaystyle \underset{\sigma }{\int }{F}_{\mu }\left(x^{\prime },t^{\prime }\right)\text{d}{{\sigma }^{\prime }}^{\mu }}-{\displaystyle \underset{{\sigma }_0}{\int }{F}_{\mu }\left(x^{\prime },t^{\prime }\right)\text{d}{{\sigma }^{\prime }}^{\mu }}={\displaystyle \underset{\Omega }{\int }{{\partial }^{\prime }}_{\mu }{F}_{\mu }\left(x^{\prime },t^{\prime }\right){\text{d}}^d{x}^{\prime }}=0$ (34)

Now, we observe that if we use Equation (24)

${\frac{\partial }{\partial \tau }{G}^{\left(d\right)}\left(x,\tau ;T\right)|}_{\tau =0^{+}}=\frac{i}{2}{\delta }^{\left(d-1\right)}\left(x\right)$ (35)

So, if we let ${\sigma }_0$ to be a hyperplane with $t=t^{\prime }$, $n^{\mu }=(1,\underset{d-1}{\underset{︸}{0,\cdots ,0}})$ and use the above equations, we obtain

$\begin{array}{c}\phi \left(x,t\right)=2i{\displaystyle \int \{\left[G^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right)-G^{\left(d\right)}\left(x-x^{\prime },0;T\right)\right]{{\partial }^{\prime }}_0{\phi }_0\left(x^{\prime },t^{\prime }\right)}\\ -{{\partial }^{\prime }}_0{G}^{\left(d\right)}\left(x-x^{\prime },t-t^{\prime };T\right){\phi }_0\left(x^{\prime },t^{\prime }\right)\}{\text{d}}^{d-1}{x}^{\prime }\end{array}$ (36)

where $t\ge t^{\prime }$.

Equation (36) solves the boundary value problem relevant to the present field.

5. Application to Charged Scalar Fields

Now, we proceed to an application of the above theory. We intend to study the propagation of a charged scalar particle. We start from the Lagrangian of a free-charged scalar field

$L_0={\partial }_{\mu }{\varphi }^{\ast }{\partial }^{\mu }\varphi -m^2{\varphi }^{\ast }\varphi ={\displaystyle \underset{i=1}{\overset{2}{\sum }}\left[\frac{1}{2}{\partial }_{\mu }{\phi }_i{\partial }^{\mu }{\phi }_i-\frac{m^2}{2}{\phi }_i^2\right]}$ (37)

where

$\varphi =\frac{1}{\sqrt{2}}\left({\phi }_1+i{\phi }_2\right)$ (38)

${\varphi }^{\ast }=\frac{1}{\sqrt{2}}\left({\phi }_1-i{\phi }_2\right)$ (39)

where ${\phi }_i,i=1,2$ are real scalar fields (see Equation (1)).

We suppose that the charged scalar field interacts with an electromagnetic field of potential $A_{\mu }$ in the Lorentz gauge and performs the minimal substitution ${\partial }_{\mu }\varphi \to \left({\partial }_{\mu }+ie{A}_{\mu }\right)\varphi$. Then, the action becomes

$I\left(\phi ,A\right)={\displaystyle \int \text{d}\tau }{\displaystyle \int {\text{d}}^{d-1}x\left[D_{\mu }{\varphi }^{\ast }{D}^{\mu }\varphi -m^2{\varphi }^{\ast }\varphi \right]}$ (40)

where

$D_{\mu }\varphi ={\partial }_{\mu }\varphi +ie{A}_{\mu }\varphi$ (41)

We can apply the variational principle for the field $\varphi$ to derive the equation

$\left(D_{\mu }{D}^{\mu }+m^2\right)\varphi =0$ (42)

or equivalently

$\left({\partial }_{\mu }{\partial }^{\mu }+m^2\right)\varphi =-2ie{A}_{\mu }{\partial }^{\mu }\varphi +e^2{A}_{\mu }{A}^{\mu }\varphi$ (43)

The above equation describes the present scalar field interacting with an electromagnetic field. It can be confronted for instance with numerical methods. Alternatively, we can use the present finite-time analytic methods combined with perturbation theory. Then, proceeding with the Green function $G^{(d)}\left(\stackrel{\to }{x},t;T\right)$, derived in the previous sections, obeys the equation

$\left({\partial }_{\mu }{\partial }^{\mu }+m^2\right)G^{\left(d\right)}\left(x,t;T\right)=i{\delta }^{\left(d-1\right)}\left(x\right)\delta \left(t\right)$ (44)

Under perturbative considerations, we set

$\varphi \left(x,\sigma \right)={\varphi }^{\left(0\right)}\left(x,\sigma \right)+{\varphi }^{\left(1\right)}\left(x,\sigma \right)+{\varphi }^{\left(2\right)}\left(x,\sigma \right)+\cdots$ (45)

and suppose that initially both $\varphi \left(x,\sigma \right)$ and ${\varphi }^{\left(0\right)}\left(x,\sigma \right)$ obey boundary values ${\varphi }_0\left(x^{\prime },0\right)$ and ${{\partial }^{\prime }}_0{\varphi }_0\left(x^{\prime },0\right)$ for their derivative, while the other terms obey homogeneous boundary conditions (here and below, we set $t^{\prime }=0$). Then, according to Equation (36), the zeroth order term of the field $\phi \left(x,\sigma \right)$ at time $\sigma$ has the form

$\begin{array}{c}{\varphi }^{\left(0\right)}\left(x,\sigma \right)=2i{\displaystyle \int \{\left[G^{\left(d\right)}\left(x-x^{\prime },\sigma ;T\right)-G^{\left(d\right)}\left(x-x^{\prime },0;T\right)\right]{{\partial }^{\prime }}_0{\phi }_0\left(x^{\prime },0\right)}\\ -{{\partial }^{\prime }}_0{G}^{\left(d\right)}\left(x-x^{\prime },\sigma ;T\right){\phi }_0\left(x^{\prime },0\right)\}{\text{d}}^{d-1}{x}^{\prime }\end{array}$ (46)

Now, we suppose that $A_{\mu }$ is small enough. That point is essential in order Equation (45) to converge. Further, the magnitude of the electromagnetic field must be small in order for the stability of the present whole system to be ensured against, for example, the generation of other particles.

Then, perturbatively to first order, we get

${\varphi }^{\left(1\right)}\left(x,\sigma \right)=-2e{\displaystyle \int {\text{d}}^{d-1}{x}^{\prime }{\displaystyle \underset{0}{\overset{T}{\int }}\text{d}t{G}^{\left(d\right)}\left(x-x^{\prime },\sigma -t;T\right)A_{\mu }\left(x^{\prime },t\right){\partial }^{\mu }{\varphi }^{\left(0\right)}\left(x^{\prime },t\right)}}$ (47)

and further in general at order r > 1, if we group in powers of $e$ of the same order, the scalar field satisfies the recurrence relation

$\begin{array}{c}{\varphi }^{\left(r\right)}\left(x,\sigma \right)={\displaystyle \int {\text{d}}^{d-1}{x}^{\prime }{\displaystyle \underset{0}{\overset{T}{\int }}\text{d}t}{G}^{\left(d\right)}\left(x-x^{\prime },\sigma -t;T\right)}\\ \times [-i{e}^2{A}_{\mu }\left(x^{\prime },t\right)A^{\mu }\left(x^{\prime },t\right){\varphi }^{\left(r-2\right)}\left(x^{\prime },t\right)\\ -2e{A}_{\mu }\left(x^{\prime },t\right){\partial }^{\mu }{\varphi }^{\left(r-1\right)}\left(x^{\prime },t\right)]\end{array}$ (48)

The current density $j^{\mu }$ is

$j^{\mu }={\varphi }_b^{\ast }i\frac{\stackrel{\leftrightarrow }{\partial }}{\partial x_{\mu }}{\varphi }_a-2e{A}^{\mu }{\varphi }_b^{\ast }{\varphi }_a$ (49)

where $a$ and $b$ are the quantum numbers of any two solutions. On using the present results, we can derive its finite time evolution and therefore predict possible outcomes in various systems and experiments.

Now, we let $A_{\mu }$ be the potential of a plane electromagnetic wave with polarization vector $\epsilon$, wavevector $k_{ph}$, frequency ${\omega }_{ph}$, and amplitude ${\Delta }_0$. It has the form

$A\left(x,\tau \right)={\Delta }_0\left(\epsilon {\text{e}}^{i\left({\omega }_{ph}\tau -k_{ph}\cdot x\right)}+\epsilon {\text{e}}^{-i\left({\omega }_{ph}\tau -k_{ph}\cdot x\right)}\right)$ (50)

and

$A_0\left(x,\tau \right)=0$ (51)

$e{\Delta }_0$ must have dimension of energy (see also the discussion at the end of the introduction). This is the parameter that has to be small in order convergence to be ensured within the whole present perturbation theory.

Now, we consider the scalar field evolution. So, we suppose that initially

$\varphi \left(x^{\prime },0\right)={\text{e}}^{ip\cdot x^{\prime }}$ (52)

${{\partial }^{\prime }}_0\varphi \left(x^{\prime },0\right)=0$ (53)

$p$ is the $d-1$ dimensional initial momentum. Then, from Equation (46), we can extract ${\varphi }^{\left(0\right)}$. It is

${\varphi }^{\left(0\right)}\left(x,\sigma \right)={\text{e}}^{ip\cdot x}\frac{\sin \left(\frac{E_{p}T}{2}-E_p\sigma \right)}{\sin \left(\frac{E_{p}T}{2}\right)}$ (54)

The corresponding energy appearing in Equation (54) has the form $E_p=\sqrt{p^2+m^2}$.

If we let $T\to \infty$, we obtain the standard result:

${\varphi }_{T=\infty }^{\left(0\right)}\left(x,\sigma \right)={\text{e}}^{i\left(p\cdot x-E_p\sigma \right)}$ (55)

Further, we can insert the solution (54) in Equation (47) to get ${\varphi }^{\left(1\right)}$. At $\sigma =T$, it has the form

$\begin{array}{c}{\varphi }^{\left(1\right)}\left(x,T\right)=-e{\Delta }_0\epsilon \cdot p\frac{1}{1-{\text{e}}^{-i{E}_{p}T}}{\text{e}}^{i\left(p-k_{ph}\right)\cdot x}\frac{1}{{\omega }_{p-k_{ph}}\left(1-{\text{e}}^{-i{\omega }_{p-k_{ph}}T}\right)}\\ \times (\frac{{\text{e}}^{i\left({\omega }_{ph}-E_p-{\omega }_{p-k_{ph}}\right)T}-1}{{\omega }_{ph}-E_{\stackrel{\to }{p}}-{\omega }_{p-k_{ph}}}+\frac{{\text{e}}^{i\left({\omega }_{ph}-E_p\right)T}-{\text{e}}^{-i{\omega }_{p-k_{ph}}T}}{{\omega }_{ph}-E_p+{\omega }_{p-k_{ph}}}\\ -\frac{{\text{e}}^{i\left({\omega }_{ph}-{\omega }_{p-k_{ph}}\right)T}-{\text{e}}^{-i{E}_{p}T}}{{\omega }_{ph}+E_p-{\omega }_{p-k_{ph}}}-\frac{{\text{e}}^{i{\omega }_{ph}T}-{\text{e}}^{-i\left({\omega }_{p-k_{ph}}+E_p\right)T}}{{\omega }_{ph}+E_p+{\omega }_{p-k_{ph}}})\\ -e{\Delta }_0\epsilon \cdot p\frac{1}{1-e^{-i{E}_{p}T}}{\text{e}}^{i\left(p+k_{ph}\right)\cdot x}\frac{1}{{\omega }_{p+k_{ph}}\left(1-{\text{e}}^{-i{\omega }_{p+k_{ph}}T}\right)}\\ \times (-\frac{{\text{e}}^{-i\left({\omega }_{ph}+E_p+{\omega }_{p+k_{ph}}\right)T}-1}{{\omega }_{ph}+E_p+{\omega }_{p+k_{ph}}}+\frac{{\text{e}}^{-i\left({\omega }_{ph}+E_p\right)T}-{\text{e}}^{-i{\omega }_{p+k_{ph}}T}}{-{\omega }_{ph}-E_p+{\omega }_{p+k_{ph}}}\\ -\frac{{\text{e}}^{-i\left({\omega }_{ph}+{\omega }_{p+k_{ph}}\right)T}-{\text{e}}^{-i{E}_{p}T}}{-{\omega }_{ph}+E_p-{\omega }_{p+k_{ph}}}-\frac{{\text{e}}^{-i{\omega }_{ph}T}-{\text{e}}^{-i\left({\omega }_{p+k_{ph}}+E_p\right)T}}{-{\omega }_{ph}+E_p+{\omega }_{p+k_{ph}}})\end{array}$ (56)

Then, we can proceed to higher-order terms by applying Equation (48) recursively. We observe that ${\varphi }^{\left(r\right)}$ is of order ${\left(e{\Delta }_0\right)}^r$ (see Equation (51)).

We conclude from the above considerations that the scalar particle is scattered by the photonic system and emits or absorbs photons. Moreover, according to Equation (49), there appear currents along the various wavevectors and the polarization of the photonic system, i.e. along the directions $\epsilon$, $p$, $p+k_{ph}$, $p-k_{ph}$ and so on for higher order terms.

6. Conclusions

Here, we considered the dynamics of scalar fields in a finite time domain. We expanded them into annihilation and creation operators and integrated them functionally in the case of dimensions equal to two, three and four. We extracted their Green function in both an integral and a series form and applied that Green function to the perturbative study of the dynamics of scalar plane waves supposed to be coupled with weak electromagnetic fields. From the derived expressions, the scalar fields’ current density can be obtained. So, under appropriate preparations, finite-time predictions and possible outcomes can be extracted.

The present method appears as an alternative to the direct numerical integration of the dynamic equations within finite time intervals or the use of lattice quantum field theoretic techniques for the study of quantum field systems.

In conclusion, the present approach is applicable to the dynamics of various field systems and can give interesting results within finite time domains. In subsequent papers, we aim to study the case of other such free or interacting quantum fields and give their dynamics.

References

1. Itzykson, C. and Zuber J.-B. (1980) Quantum Field Theory. McGraw Hill.

2. Zinn-Justin, J. (1996) Quantum Field Theory and Critical Phenomena. 3rd Edition, Oxford University Press.

3. Hatfield, B. (1992) Quantum Field Theory of Point Particles and Strings. Westview Press.

4. Kaku, M. (1993) Quantum Field Theory, a Modern Introduction. Oxford University Press.

5. Baaquie, B.E. (2021) Lattice Quantum Field Theory of the Dirac and Gauge Fields. Selected Topics, 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. Introduction to Finite Difference and Finite Element Methods. Cambridge University Press. >https://doi.org/10.1017/9781316678725

8. Nomoto, K. and Fukuda, R. (1991) Quantum Field Theory with Finite Time Interval: Application to QED. Progress of Theoretical Physics, 86, 269-302. >https://doi.org/10.1143/ptp/86.1.269

9. Gao, X., Fu, J., Li, X. and Gao, J. (1998) Invariant Formulation and Exact Solutions for the Relativistic Charged Klein-Gordon Field in a Time-Dependent Spatially Homogeneous Electric Field. Physical Review A, 57, 753-761. >https://doi.org/10.1103/physreva.57.753

10. Mostafazadeh, A. and Zamani, F. (2006) Quantum Mechanics of Klein-Gordon Fields I: Hilbert Space, Localized States, and Chiral Symmetry. Annals of Physics, 321, 2183-2209. >https://doi.org/10.1016/j.aop.2006.02.007

11. Mostafazadeh, A. and Zamani, F. (2006) Quantum Mechanics of Klein-Gordon Fields II: Relativistic Coherent States. Annals of Physics, 321, 2210-2241. >https://doi.org/10.1016/j.aop.2006.02.008

12. 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. >https://doi.org/10.1007/s100530170233

13. 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. >https://doi.org/10.5772/67774

14. Thrapsaniotis, E.G. (2023) Finite Time Domain Dynamics of Dirac Fields. Journal of Applied Mathematics and Physics, 11, 3928-3942. >https://doi.org/10.4236/jamp.2023.1112250

15. Gradshteyn, I.S., Ryzhik, I.M. and Zwillinger, D. (2015) Table of Integrals, Series, and Products. Eighth Edition, Academic Press.