A Basis for Causal Scattering Waves, Relativistic Diffraction in Time Functions

Relativistic diffraction in time wave functions can be used as a basis for causal scattering waves. We derive such exact wave function for a beam of Dirac and Klein-Gordon particles. The transient Dirac spinors are expressed in terms of integral defined functions which are the relativistic equivalent of the Fresnel integrals. When plotted versus time the exact relativistic densities show transient oscillations which resemble a diffraction pattern. The Dirac and Klein-Gordon time oscillations look different, hence relativistic diffraction in time depends strongly on the particle spin.


Introduction
Similarities between optics and quantum mechanics have long been recognized.One example of this symmetry was obtained by Moshinsky [1] who addressed the following non-relativistic, quantum, 1D shutter problem.Consider a monoenergetic beam of free particles moving parallel to the x-axis.For negative times, the beam is interrupted at 0 x = by a perfectly absorbing shutter perpendicular to the beam.Suddenly, at time 0 t = , the shutter is opened, allowing for 0 t > the free time-evolution of the beam of particles.What is the transient density observed at a distance x from the shutter?The shutter problem implies solving, as an initial value problem, the time-dependent Schrödinger equation with an initial condition given by ( ) ( ) , 0 e , ikx x x where ( ) x θ denotes the step function defined as: ( ) For 0 x ≥ , Moshinsky proves that the free propagation of the beam has the exact solution given by: ( where the integral is the complex Fresnel function: ( ) ( ) ( ) .For 0 x ≥ the probability density ρ is then ( ) ( ) ( ) ( ) The right-hand side in Equation ( 3) is similar to the mathematical expression for the light intensity in the optical Fresnel diffraction by a straight edge [2].For a fixed position 1 x = , the plot of the probability density ( ) 1, t ρ as a function of time is shown in Figure 1.These temporal oscillations are a pure quantum phenomenon, and similar oscillations arise at the moment of closing and opening gates in nanoscopic circuits [3].With adequate potentials added to the model, it has been used to study transient dynamics of tunneling matter waves [4]- [7], and the transient responses to abrupt changes of the interaction potential in semiconductor structures and quantum dots [8] [9].For a review on the subject see [10] [11].There is, in summary, a strong motivation for a thorough understanding of transient time oscillation in beams of matter.
One of the main problems in physics is to find, for the S matrix of an interaction, restrictions which proceed from general principles such as causality [12].Notice that there is a close relation between diffraction in times wave functions and those wave functions which are needed for a causal description.From Equation (2) we see that for 0 x ≥ the wave function

( )
, ; M x t k is causal and the shutter solution can then be used as a basis function for causal scattering.Indeed, for an arbitrary function, , and assuming an initial condition given by: then the free time evolution of the initial condition becomes It is evident that if we want a relativistic solution for ( ) , we need, instead of ( ) , ; M x t k , the corresponding relativistic solution to the shutter problem.
As far as we know nobody has ever reported the exact relativistic solution to the shutter problem.Moshinsky worked this problem and gave an approximated answer.In a couple of articles [13] [14], he discussed the shutter problem using the Klein-Gordon and the Dirac equations.Using approximated solutions Moshinsky arrives to the conclusion that only for the Schrödinger equation the wave function ψ does resemble the expression that appear in the optical theory of diffraction.In his conclusions [13], Moshinsky emphatically denies the existence of diffraction in time in the relativistic case.In the case of photons this is obviously true, the d'Alembert's solution does not allow such time oscillations.However, for particles with mass different from zero, in full disagreement with Moshinsky's conclusions, we report here that relativistic diffraction in time oscillations is indeed present.
The purpose of the present paper is to derive the exact solutions for the Dirac and Klein-Gordon shutter problems.The exact transient Dirac spinors are expressed in terms of integral-defined-functions which are the relativistic equivalent of the Fresnel integrals.In partial agreement with Moshinsky's conclusions we find that indeed the relativistic densities do not resemble the mathematical expression for intensity of light that appears in the theory of diffraction in Optics.In spite of this, when our exact relativistic densities are plotted versus time, the plots show transient oscillations which resemble a diffraction pattern.For this reason in this article we claim that impressive diffractions in time oscillations do exist in the relativistic realm.Furthermore, the Dirac and Klein-Gordon densities look quite different, which implies that relativistic diffraction in time distinguishes between spin 0 and 1/2.

The Dirac Shutter Problem
Consider, for relativistic particles of spin 1/2, the shutter problem.We want to find out the spinor wave function ( ) ( ) , , , , z t ψ ψ ψ ψ ψ = which is the solution of the one-dimensional Dirac equation: ( ) where z σ is the 2 2 × Pauli matrix and the Compton length.The initial condition corresponds, for 0 t ≤ , to a plane wave to the left of the shutter and zero to the right.Three quantum numbers are needed to classify the Dirac free particle solutions, namely, the momentum ≡ p k  , the positive or negative energies ω = ±  , where ( ) , and helicity S p Λ = ⋅ S p .We select the initial condition assuming a positive energy ω = +  and a plane wave propagating along the z direction ( ) we choose the initial state with a well defined direction of spin, for instance parallel to the direction of motion, 1 2 z S = + .Then in the shutter problem we have an incident plane wave given by ( ) For free particles, the helicity S Λ is a constant of motion.The initial direction of spin, 1 2 z S = , will be conserved at all positive times.As a consequence the two components of the wave function ( 2ψ and 4 ψ ) which are zero at the initial time will remain zero at all positive times: , , 0. 0 .z t z t t In terms of the remaining two components ( ) the Dirac shutter problem is the solution of the equation, ( ) with the initial condition: , 0 e , , 0 , d e where ( ) n J z is the Bessel function of the first kind of order n.Notice that 0 z = is a removable singularity for ( ) n n J z z , hence the functions n G are analytic.In fact the integrand can be explicitly written analytic by eliminating the denominator.Indeed, using repeatedly the recurrence relation for the Bessel functions, ( ) ( ) ( ) Clearly the real and imaginary parts of n n n G C iS ≡ + are analytic oscillating functions.From Appendix A, for the right side of the shutter 0 χ > , we have the exact Dirac shutter solution: ( ) Notice the function ( ) θ τ χ − which shows the relativistic condition that no wave function exists until ct z ≥ .This property is missing in the Schrödinger solution.

Dirac Diffraction in Time
Given the Dirac wave function ( ) in Equation ( 14), we can calculate the probability density ρ given by ( ) In Figure 2, for fixed values of 1 ) and 5 χ = , we show a typical plot of the Dirac density ( ) ρ τ .Surprisingly we find damped oscillations which resemble the Schrödinger diffraction in time oscillations.
For this reason we call this plot a relativistic diffraction in time process.However, the Dirac oscillations are clearly different from the Schrödinger ones (see Figure 1).For 1 ρ notice the impressive double oscillations which are unique to the Dirac theory.As expected, for a relativistic solution, the Dirac density vanishes for times 0 t z c ≤ ≤ .The down oscillation, immediately following, t z c = , is also a relativistic property.

The Klein-Gordon Shutter Problem
For relativistic particles with spin 0, the Klein-Gordon shutter problem is, by definition, the solution ( ) or in simplified notation The presence of ( ) θ τ χ − means, as expected, that the wave function vanishes for t z c < , where z is the distance from shutter to the particle detector.
Given the Klein-Gordon wave function

( )
, ψ χ τ , we have a charge density given by (charge Notice that the asymptotic behavior of ρ is not 1, as it occurs in the Schrödinger solution.In the particular case of 5 χ = and ) shown in Figure 3, the stationary density is 1.4 ρ = , which is the correct prediction for the shutter's initial conditions (18).In fact Therefore, for 1 κ = the predicted stationary density is 1.4.

Conclusions
We derived the exact solutions for the Klein-Gordon and the Dirac shutter problems.In agreement with Moshinsky we find that the relativistic solutions do not resemble the analytic expression that appears in the theory of diffraction in Optics.In spite of this, we prove that when the exact Dirac and Klein-Gordon densities are plotted versus time, the following happens: 1) both densities show transient oscillations which in some way resemble the optical diffraction pattern; 2) the Dirac density looks quite different from the Klein-Gordon one, which implies that transient time oscillations depend strongly on the particle spin.For these reasons and in total disagreement with Moshinsky's conclusions [13], we claim that impressive diffractions in time oscillations do exist in the relativistic realm.For spin 0 and 1/2 particles, we prove that diffraction in time oscillations exists only for particles of rest mass different from zero; photons do not show such time oscillations.

Appendix A
With the help of the dimensionless variables given by:  10) may be rewritten as and the initial condition becomes: , 0 , 0 e ., 0 Taking the Laplace transform ( s τ → ) in Equation (23), and denoting ( which holds in the range χ −∞ < < ∞ .Due to the presence of the step function ( ) θ χ − , the origin 0 χ = is a singular point where we demand that the function ( ) , s φ χ must be continuous.We break the infinite range into the ranges ( 0 χ ≤ ) and ( 0 χ ≥ ).For the left side of the shutter, ( ) and for the right side, ( ) Both functions φ < and φ > must be bounded ( φ < at −∞ ) and ( φ > at +∞ ), and must be continuous at the interface 0 χ = .
Because the matrix 0 0 has eigenvalues given by: 2 1 2 1 s λ λ = + = − , with corresponding orthogonal eigenvectors given by: then, taking into account the boundary conditions at ±∞ , we have the general solutions for the matrix differential equations: where 2 2 1 κ Ω = + .The constants A and B are fixed from the condition at the interface: We have then a set of two algebraic equations with solutions: ( ) Substituting Equation (32) into Equation (30) and Equation (33) into Equation (31), we get the solution for Dirac shutter problem in the ( , s χ ) space.For 0 χ ≥ , where the particle detector is located, we have the solution: Notice the singular points at s i = ± Ω (simple poles) and s i = ± (branch points), all of them locate in the imaginary axis.Therefore, by the Nyquist stability criterion, the time dependent solution ( ) , ψ χ τ is an oscillatory bounded solution.
To simplify the final notation, we express the inverse Laplace transforms ( s τ → ) with the help of the integral-defined complex functions (τ χ ≥ ): ( ) , ; d e 0,1, 2, Using Laplace Transforms Tables [15] and the convolution theorem we find the following results, valid for 0 χ ≥ , ( ) ( ) Next, we use the relation Finally, using the identities Therefore, for 0 χ ≥ , the Dirac final solution is given by: ( ) ( ) ( ) where each inverse Laplace transform has been previously calculated.We claim that Equation (43) is the exact Dirac wave function for the shutter problem, valid for 0 χ ≥ and 1 Ω ≠ ( 0 k ≠ ).

Appendix B
In a similar way to the Dirac solution, the Klein-Gordon shutter problem can be written in terms of dimensionless variables:  Here both functions φ < and φ > must be bounded: ( φ < at ∞ − ) and ( φ > at +∞ ).The two functions and their first derivatives must be continuous at the interface 0 χ = .
Taking into account the boundary conditions at ±∞ , the solutions of Equations ( 46) and (47) are:

Figure 1 .
Figure 1.Probability density for non-relativistic diffraction in time.
normalization factor N is chosen as 1 N c ω µ ≡ + ; in this way the probability density ρ and the density current c j transform initially, as a four-vector ( ) ( )( ) these variables we derive in Appendix A the exact solution of the Dirac shutter problem.To simplify the notation, for n integer, we denote by n G the integral-defined complex functions
initial conditions correspond to a plane wave to the left of the shutter and zero to the right.
when the shutter is suddenly opened, we have the initial con-Dirac problem, in terms of the dimensionless variables: find the exact solution of this Klein-Gordon problem in Appendix B. At a fixed distance 0 χ > , on the right side of the shutter, we have the exact Klein-Gordon shutter solution: