This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Hydrodynamic representation and energy balance for Dirac and Weyl fermions in curved space-times

Tonatiuh Matos tonatiuh.matos@cinvestav.mx Departamento de Física, Centro de Investigación y de Estudios Avanzados del IPN, A.P. 14-740, 07000 CDMX, México. Omar Gallegos omar.gallegos@cinvestav.mx Departamento de Física, Centro de Investigación y de Estudios Avanzados del IPN, A.P. 14-740, 07000 CDMX, México. Pierre-Henri Chavanis chavanis@irsamc.ups-tlse.fr Laboratoire de Physique Théorique, Université de Toulouse, CNRS, UPS, France
Abstract

Using a generalized Madelung transformation, we derive the hydrodynamic representation of the Dirac equation in arbitrary curved space-times coupled to an electromagnetic field. We obtain Dirac-Euler equations for fermions involving a continuity equation and a first integral of the Bernoulli equation. Comparing between the Dirac and Klein-Gordon equations we obtain the balance equation for fermion particles. We also use the correspondence between fermions and bosons to derive the hydrodynamic representation of the Weyl equation which is a chiral form of the Dirac equation.

1 Introduction

The Standard Model of elementary particles establishes that there exist two kinds of particles, fermions and bosons. In previous works [1][2], the energy balance for bosons was derived starting from the general relativistic Klein-Gordon (KG) equation. In the present work, we study a system of fermions described by the Dirac equation in arbitrary curved space-times taking into account electromagnetic effects. We also use the Weyl equation which is a chiral form of the Dirac equation due to the relationship between the Lie algebras of the symmetry groups for both systems of particles. We give the hydrodynamic representation of the Dirac and Weyl equations for fermions using previous results obtained for boson particles. This representation is built analogously as in quantum mechanics (QM) and as in the bosonic case [1], where it was introduced by the Madelung transformation in order to find an alternative interpretation of a boson system. This interpretation has been very useful in astrophysics [2]. In this article, we extend the previous transformation to the fermionic case, in the same way we pretend to give an alternative interpretation of the femionic systems.

Many examples of fermion particles in strong gravitational fields can be found in nature. Indeed, the curvature of space-time plays an important role in a neutron star, in the early Universe, or in a fermion cloud (e.g. a dark matter halo) in the vicinity of a black hole. We need to develop a general framework to identify what are the different energy contributions in such systems. In this work we use the geometrical decomposition of the metric in 3+1 slices and the tetrad formalism to study the particle spin in an arbitrary space-time. We define the gamma matrices in curved space-times and derive the generalized Dirac and Weyl equations. Then, using the Madelung transformation, we introduce a hydrodynamic representation of the Dirac and Weyl spinors. This hydrodynamic representation can help us to describe the fermionic system in a general framework. We can highlight that this description is convenient because it is easier to make a physical interpretation, since the hydrodynamic representation is given in some variable such as number of particles, speed, potential or energy. In fact, a non-obvious result is the energy balance equation, which is the first law of thermodynamics, which comes from the Dirac equation with the Madelung transformation for spinors. Although the equations obtained from this representation are more complicated than in the usual way, it can help us to have a closer answer for interpretations of quantum theory, for example, the de Broglie-Bohm interpretation[3, 4, 5]. In addition, we can compare the hydrodynamics and energy balance in different frames for classical and quantum particles, as well as spin and spinless particles, such as bosons and fermions.

Gravitational effects on quantum fields have been rigorously studied for a few decades, particularly in the case of spinor fields. Standard books such as [6, 7, 8, 9] delve into the mathematical structure of the spinor formalism. Spinor fields in curved space-times have been studied in several papers, and we make a brief review of these works. In [10] the authors develop the formalism of the Dirac equation in a curved space-time coupled to an electromagnetic field. In [11] the authors give the key to generalize the Dirac equation from flat space-time to general relativity via the tetrad formalism with the Lorentz invariant transformation. In [12, 13] the authors study the quantum mechanics of the hydrogen atom in a general relativistic context. In [12] the analog of the Stark effect is considered with the center of mass formalism. Paper [13] analyses the modifications in the eigenvalues of the energy spectrum that arise due to the curvature of space-time. Additionally,[14] compares the energy levels of neutrinos and electrons in a curved space-time with spherical symmetry, that is, the Schwarzschild metric. Moreover, the authors study thermodynamical processes and the creation of neutrino pairs. On the other hand, in paper [15] the authors write the Dirac and Weyl equations for neutrinos in a Kerr metric using the tetrad formalism and compare them with the results obtained in a spherical metric without rotation. We mentioned these references to place our work in a broader context. There are specific points that we shall discuss deeply in the next sections, one of them being the consistency conditions for the continuity equation. More information about the continuity equation can be found in [16, 17, 18, 19].

This paper is organized as follows. In section 2, we present the field equations and the formalism that we will use to describe the Dirac fermions in curved space-times. In section 3, we introduce a generalized Madelung transformation for Dirac fermions, which implies a hydrodynamic representation for this case. Since, we can work using either the Dirac or Weyl representation for 1/2-spin fermions. In section 4, we give a brief introduction to these both representations, further it is shown the field equations for the Weyl fermions (or the chiral form of the Dirac fermions). Analogously, for Weyl fermions we introduce the hydrodynamic representation from a generalized Madelung transformation in section 5. For both kinds of fermions in section 6, we explain what are the different contributions of the energy for a Fermi gas in a curved space-time coupled to an electromagnetic field and we show a generalized Gross-Piitaevskii equation for fermions. Moreover, the conclusions are indicated in section 7 and the acknowledgments are shown in section 8. Finally, in appendix A, we can find a solution for a simple example to the Dirac equation in a flat space-time.

2 Field Equations

We start using the tetrad formalism for the space-time geometry, and the canonical expansion of the space-time in a 3+1 ADM decomposition [9, 20, 21, 22, 23, 24], such that the coordinate tt is the parameter of evolution. The 3+1 metric reads

ds2=N2c2dt2hij(dxi+Nicdt)(dxj+Njcdt),\mathrm{d}s^{2}=N^{2}c^{2}\mathrm{d}t^{2}-h_{ij}\left(\mathrm{d}x^{i}+N^{i}c\,\mathrm{d}t\right)\left(\mathrm{d}x^{j}+N^{j}c\,\mathrm{d}t\right), (1)

where NN represents the lapse function which measures the proper time of the observers traveling along the world line, NiN^{i} is the shift vector that measures the displacement of the observers between the spatial slices and hijh_{ij} is the 3-dimensional slice-metric. In what follows i,j,k,l=1,2,3i,j,k,l=1,2,3 are the spatial indices; a,b,c=0,1,2,3a,b,c=0,1,2,3 and μ,ν,α=0,1,2,3\mu,\nu,\alpha=0,1,2,3 the space-time indices. We write eq. (1) in the tetrad formalism as ds2=ηabeμaeνbdxμdxνs^{2}=\eta_{ab}e^{a}_{\,\,\mu}e^{b}_{\,\,\nu}dx^{\mu}dx^{\nu}, where ηab=\eta_{ab}= diag(1,1,1,1)(1,-1,-1,-1). Here ea=eμadxμe^{a}=e^{a}_{\,\,\mu}dx^{\mu} is the set of one-forms base of the cotangent space at the space-time manifold given by

e0\displaystyle e^{0} =\displaystyle= Ncdt,\displaystyle Nc\mathrm{d}t,
ek\displaystyle e^{k} =\displaystyle= e^ik(dxi+Nicdt),\displaystyle\hat{e}^{k}_{\,\,\,i}\left(\mathrm{d}x^{i}+N^{i}c\,\mathrm{d}t\right), (2)

with inverse

e0\displaystyle e_{0} =\displaystyle= 1N(ctNjxj),\displaystyle\frac{1}{N}\left(\frac{\partial}{c\,\partial t}-N^{j}\frac{\partial}{\partial x^{j}}\right),
ek\displaystyle e_{k} =\displaystyle= e^kjxj,\displaystyle\hat{e}_{k}^{\,\,\,j}\frac{\partial}{\partial x^{j}}, (3)

where e^k=e^ikdxi\hat{e}^{k}=\hat{e}^{k}_{\,\,i}\mathrm{d}x^{i} are the one-form base to the three-dimensional slice of the cotangent manifold, such that hij=δkle^ike^jlh_{ij}=\delta_{kl}\hat{e}^{k}_{\,\,i}\hat{e}^{l}_{\,\,j}. We can also define the set of vectors base of the tangent-space to the space-time as ea=eaμμe_{a}=e^{\,\,\mu}_{a}\partial_{\mu}, such that eaeb=δbae^{a}e_{b}=\delta^{a}_{\,\,b}. We will use the tetrad formalism[7, 9, 22, 23, 24, 25] to describe the space-time geometry where the fermion particles are located.

The action of a fermion system in curved space-times coupled to an electromagnetic field AμA_{\mu} is given by S[ψ(xμ),μψ(xμ)]=(ψ(xμ),μψ(xμ))d4xS\left[\psi(x^{\mu}),\partial_{\mu}\psi(x^{\mu})\right]=\int\mathcal{L}\left(\psi(x^{\mu}),\partial_{\mu}\psi(x^{\mu})\right)d^{4}x, where =(ψ(xμ),μψ(xμ))\mathcal{L}=\mathcal{L}\left(\psi(x^{\mu}),\partial_{\mu}\psi(x^{\mu})\right) is the Lagrangian density [16, 17, 18]:

=gic2[ψBγμ(Dμψ)(Dμψ)Bγμψ+2imcψBψ].\displaystyle\mathcal{L}=\sqrt{-g}\dfrac{i\hbar c}{2}\left[\psi^{\dagger}B\gamma^{\mu}\left(D_{\mu}\psi\right)-\left(D_{\mu}\psi\right)^{\dagger}B\gamma^{\mu}\psi+\dfrac{2imc}{\hbar}\psi^{\dagger}B\psi\right]. (4)

Here, Dμ=μ+iqcAμD_{\mu}=\nabla_{\mu}+\dfrac{iq}{\hbar c}A_{\mu} is the total covariant derivative accounting for electromagnetic effects. The covariant derivative of a spinor ψ=(ψν˙)\psi=(\psi_{\dot{\nu}}) is given by μ(ψν˙)=μ(ψν˙)+Γμν˙α˙(ψα˙)\nabla_{\mu}(\psi_{\dot{\nu}})=\partial_{\mu}(\psi_{\dot{\nu}})+\Gamma^{\dot{\alpha}}_{\mu\dot{\nu}}(\psi_{\dot{\alpha}}), where Γμν˙α˙\Gamma^{\dot{\alpha}}_{\mu\dot{\nu}} is the spin connection[9, 26]. Observe the internal indices as dot indices. Using the least action principle it is possible to obtain from eq.(4) the corresponding Dirac equation. This equation is given by

[iγμ(μ+iqAμ)mc]ψ=0,\left[i\hbar\gamma^{\mu}\right(\nabla_{\mu}+iqA_{\mu}\left)-mc\right]\psi=0, (5)

where \hbar, cc are the Planck constant and the speed of light respectively, while q,mq,m are the charge and mass of the fermion particle and ψ\psi is its spinor. Besides, the gamma matrices γμ\gamma^{\mu} are related to the spin and space-time geometry. They can be written as γμ=eaμγ~a\gamma^{\mu}=e^{\mu}_{\,\,a}\tilde{\gamma}^{a}, where γ~a\tilde{\gamma}^{a} are the gamma matrices in flat space-time, which are well-know from standard Quantum Field Theory (QFT) [27, 28, 29] Henceforth, to simplify the notation, we use the natural units (c==1c=\hbar=1), instance, mc/mmc/\hbar\rightarrow m. Therefore,

γ0\displaystyle\gamma^{0} =\displaystyle= Nγ~0,\displaystyle N\tilde{\gamma}^{0},
γk\displaystyle\gamma^{k} =\displaystyle= e^jk(γ~j+Njγ~0).\displaystyle\hat{e}^{k}_{\,\,\,j}(\tilde{\gamma}^{j}+N^{j}\tilde{\gamma}^{0}). (6)

In general, these matrices fulfill the following anti-commutation relation[6][9]

{γμ,γν}=γμγν+γνγμ=2gμν𝕀,\{\gamma^{\mu},\gamma^{\nu}\}=\gamma^{\mu}\gamma^{\nu}+\gamma^{\nu}\gamma^{\mu}=2g^{\mu\nu}\mathbb{I}, (7)

where gμνg_{\mu\nu} represents the metric that describes the space-time geometry. Furthermore, as we know, the gamma matrices in flat space-time are related to the Pauli matrices, which describe the spin of the fermion particles. In addition, due to the Lorentz invariance that spinors follow, we note that ψψ\psi\psi^{\dagger} is not a Lorentz scalar and neither ψγμψ\psi\gamma^{\mu}\psi^{\dagger} is a Hermitian. On the other hand, we observe that, in general, the gamma matrices obey the following relation[16, 17, 18, 19]

(γμ)=BγμB1,(\gamma^{\mu})^{\dagger}=B\gamma^{\mu}B^{-1}, (8)

where BB is a hermitian matrix, i.e. B=BB^{\dagger}=B, that is uniquely determined by the gamma matrices γμ\gamma^{\mu}. As usual, we denote by BB^{\dagger} the conjugate (or Hermitian) transpose of BB. In contrast, using eq.(8) it is straightforward to obverse the invariant quantities under the Lorentz transformation are ψψ¯\psi\bar{\psi} as scalar and ψγμψ¯\psi\gamma^{\mu}\bar{\psi} as a four-vector, where ψ¯=ψB\bar{\psi}=\psi^{\dagger}B is named the adjoint spinor (see more in[6, 7, 9, 27]).

Furthermore, we note that in QFT the relation (8) is fulfilled when B=γ~0B=\tilde{\gamma}^{0} and the gamma matrices are in flat space-time. From the action (4) of the fermion system we can find the equation for the transpose conjugated spinor by making an infinitesimal variation of this action with respect to ψ\psi. Another way of getting this equation of motion is to take the transpose conjugate of the Dirac equation (5) and using (8). In this manner we find that the transpose conjugated Dirac equation in curved space-time is given by

i(μψ¯)γμiψμ(Bγμ)+iψ¯μγμ+ψ¯Aμγμ+mψ¯=0.i\left(\nabla_{\mu}\bar{\psi}\right)\gamma^{\mu}-i\psi^{\dagger}\nabla_{\mu}\left(B\gamma^{\mu}\right)+i\bar{\psi}\nabla_{\mu}\gamma^{\mu}+\bar{\psi}A_{\mu}\gamma^{\mu}+m\bar{\psi}=0. (9)

We consider (μψ)=μψ(\nabla_{\mu}\psi)^{\dagger}=\nabla_{\mu}\psi^{\dagger} and denote the adjoint spinor as ψ¯=ψB\bar{\psi}=\psi^{\dagger}B. Using the gamma matrices in flat space-time and the fact that B=γ~0B=\tilde{\gamma}^{0}, we recover the definition of ψ¯\bar{\psi} in QFT and the transpose conjugated Dirac equation. However, in an arbitrary space-time μγμ\nabla_{\mu}\gamma^{\mu} is distinct from zero, since γμ=eaμγ~a\gamma^{\mu}=e^{\mu}_{\,\,a}\tilde{\gamma}^{a}. Therefore, in general μeaμ\nabla_{\mu}e^{\mu}_{\,\,a} is non-zero.

We can get the conserved charge from the Noether theorem [30]. The Dirac current is

Jμ=ψ¯γμψ=ψBγμψ.J^{\mu}=\bar{\psi}\gamma^{\mu}\psi=\psi^{\dagger}B\gamma^{\mu}\psi. (10)

To obtain the continuity equation

μJμ=0,\nabla_{\mu}J^{\mu}=0, (11)

for the Dirac current, we take the covariant derivative of eq. (10). This gives

μJμ=(μψ¯)γμψ+ψ¯(μγμ)ψ+ψ¯γμμψ.\nabla_{\mu}J^{\mu}=(\nabla_{\mu}\bar{\psi})\gamma^{\mu}\psi+\bar{\psi}\left(\nabla_{\mu}\gamma^{\mu}\right)\psi+\bar{\psi}\gamma^{\mu}\nabla_{\mu}\psi. (12)

If we multiply the Dirac equation (5) by ψ¯\bar{\psi} and its transpose conjugate (9) by ψ\psi and sum both equations, it follows that

μJμ=ψμ(Bγμ)ψ.\nabla_{\mu}J^{\mu}=\psi^{\dagger}\nabla_{\mu}\left(B\gamma^{\mu}\right)\psi. (13)

If we require that the continuity equation (11) is fulfilled, i.e., that the number of particles is conserved, then we need μ(Bγμ)=0\nabla_{\mu}\left(B\gamma^{\mu}\right)=0, or equivalently

(μB)γμ=Bμγμ.(\nabla_{\mu}B)\gamma^{\mu}=-B\nabla_{\mu}\gamma^{\mu}. (14)

At this point, we want to emphasize the consistency conditions for the continuity equation (11). Some authors in [14] impose μγν=0\nabla_{\mu}\gamma^{\nu}=0 while others, [13], impose μB=0\nabla_{\mu}B=0. These conditions are independent of each other. Instead, in references [17, 18], the authors conclude that the condition μ(Bγν)=0\nabla_{\mu}(B\gamma^{\nu})=0 is the most convenient because it is implied by μγν=0\nabla_{\mu}\gamma^{\nu}=0 and μB=0\nabla_{\mu}B=0.

In addition, we can note that the matrix BB can be obtained for a general metric (1) by solving the differential equation

(0(BN)+j(Be^ijNi))γ~0j(Be^ij)γ~i=0,\left(\nabla_{0}(BN)+\nabla_{j}(B\hat{e}^{j}_{i}N^{i})\right)\tilde{\gamma}^{0}-\nabla_{j}(B\hat{e}^{j}_{i})\tilde{\gamma}^{i}=0, (15)

which follows from eq. (14). Using the condition (14), it is possible to rewrite the transpose conjugated Dirac equation (9) as

i(μψ¯)γμ+iψ¯μγμ+ψ¯Aμγμ+mψ¯=0.i\left(\nabla_{\mu}\bar{\psi}\right)\gamma^{\mu}+i\bar{\psi}\nabla_{\mu}\gamma^{\mu}+\bar{\psi}A_{\mu}\gamma^{\mu}+m\bar{\psi}=0. (16)

In order to find the conserved quantity resulting from the continuity equation, we take an arbitrary surface 𝒮\mathcal{S} enclosing the volume 𝒱\mathcal{V} which contains the whole system. Let kjk^{j} be an orthonormal vector to 𝒮\mathcal{S} such that

𝒱μJμdV=𝒱0J0dV+𝒮kjJjhd3x=0.\int_{\mathcal{V}}\nabla_{\mu}J^{\mu}dV=\int_{\mathcal{V}}\nabla_{0}J^{0}dV+\int_{\mathcal{S}}k_{j}J^{j}\sqrt{h}d^{3}x=0. (17)

where hh is the determinant of the slice-metric hijh_{ij}. We assume that far away from the source spinor ψ\psi goes to zero, that means that in this region JμJ^{\mu} is negligible. Then, the surface integral in eq. (17) vanishes, and we obtain

dQdt=𝒱0J0dV=0,\dfrac{dQ}{dt}=\int_{\mathcal{V}}\nabla_{0}J^{0}dV=0, (18)

where Q=𝒱J0𝑑VQ=\int_{\mathcal{V}}J^{0}dV is the conserved charge, dVdV is the curved volumen element dV=gd4xdV=\sqrt{-g}d^{4}x. In QFT this charge is identified with the number of fermions or with the electric charge of the system. In flat space-time we have B=γ~0B=\tilde{\gamma}^{0}, so that J0=ψψ=nJ^{0}=\psi^{\dagger}\psi=n represents the number density of fermion particles. In curved space-time J0J^{0} (which is determined by γ0\gamma^{0} and by the generalized gamma matrices) has a different interpretation. The form of BB given by eqs. (8) and (14) for each metric is related to the gamma matrices and to the tetrad formalism.

Finally, since the spinor field used is coupled to an electromagnetic field, we show the equations that describe the electromagnetic field. Thus, with the Maxwell four-potential we can define the Faraday tensor

Fμν=μAννAμ.F_{\mu\nu}=\nabla_{\mu}A_{\nu}-\nabla_{\nu}A_{\mu}. (19)

In the electromagnetic theory, the Faraday tensor FμνF_{\mu\nu} satisfies the Maxwell field equations

νFνμ=JEμ,\nabla_{\nu}F^{\nu\mu}=J^{E\mu}, (20)

where JEμJ^{E\mu} is the four-electromagnetic current.

At this point, we gave the most general form for standard Dirac fermions in an arbitrary framework coupled to an electromagnetic field. In fact, for quantities like BB and γμ\gamma^{\mu} we have not yet adopted any representation. Nevertheless, we will have to make this decision to give some examples and results in the sections below.

3 Dirac Hydrodynamic Representation

Analogously to the hydrodynamic representation of the Schrödinger equation, which was introduced by Madelung[31], we derive the hydrodynamic representation of the Dirac equation. We carry out the following generalized Madelung transformation for each component of the spinor ψ=ψ(xμ)\psi=\psi(x^{\mu}) as follows

ψ=exp(iθ𝕀)R,\psi=\exp(i\theta\mathbb{I})R, (21)

where 𝕀\mathbb{I} is the identity matrix, RR is a spinor and θ\theta is a complex function. Observe that the spinor ψ\psi has eight degrees of freedom and the spinor Rexp(iθ𝕀)R\exp(i\theta\mathbb{I}) has ten. A similar situation appeared for the case of the boson case, where the scalar field Φ=Ψexp(iθ)\Phi=\Psi\exp(i\theta) has two degrees of freedom and the right hand side has three. This extra degree of freedom is interpreted as the velocity potential. Here it will be a similar situation. In what follows we will denote θ𝕀θ\theta\mathbb{I}\rightarrow\theta, unless it is specify. For the case where we consider a Dirac electron-like fermion, θ=θ(xμ)\theta=\theta(x^{\mu}), the spinor ψ\psi reads

ψ=(R1˙R2˙R3˙R4˙)exp(iθ)=Rexp(iθ),\psi=\left(\begin{array}[]{cccc}R_{\dot{1}}\\ R_{\dot{2}}\\ R_{\dot{3}}\\ R_{\dot{4}}\end{array}\right)\exp(i\theta)=R\exp(i\theta), (22)

where we use the notation μ˙\dot{\mu}, ν˙\dot{\nu}, …=1˙,,4˙=\dot{1},\cdots,\dot{4} for the spinor indices such that

R=(R1˙R2˙R3˙R4˙)=(n1˙n2˙n3˙n4˙).R=\left(\begin{array}[]{cccc}R_{\dot{1}}\\ R_{\dot{2}}\\ R_{\dot{3}}\\ R_{\dot{4}}\end{array}\right)=\left(\begin{matrix}\sqrt{n_{\dot{1}}}\\ \sqrt{n_{\dot{2}}}\\ \sqrt{n_{\dot{3}}}\\ \sqrt{n_{\dot{4}}}\end{matrix}\right). (23)

where we will use nμ˙=|Rμ˙|2n_{\dot{\mu}}=|R_{\dot{\mu}}|^{2}, here nμ˙n_{\dot{\mu}} is the number density which represents the modulus of ψμ˙\psi_{\dot{\mu}} and θ\theta is its phase (both are complex variables). In general, nμ˙n_{\dot{\mu}} is different for each component of the spinor. Note that the covariant derivative of the spinor ψ\psi in terms of its decomposition (22) is μ(ψν˙)=μ(Rν˙eiθ)+Γμν˙α˙(Rα˙eiθ)=(μRν˙)eiθ+i(μθ)Rν˙eiθ+Γμν˙α˙(Rα˙eiθ)\nabla_{\mu}(\psi_{\dot{\nu}})=\partial_{\mu}(R_{\dot{\nu}}e^{i\theta})+\Gamma^{\dot{\alpha}}_{\mu\dot{\nu}}(R_{\dot{\alpha}}e^{i\theta})=(\partial_{\mu}R_{\dot{\nu}})e^{i\theta}+i(\partial_{\mu}\theta)R_{\dot{\nu}}e^{i\theta}+\Gamma^{\dot{\alpha}}_{\mu\dot{\nu}}(R_{\dot{\alpha}}e^{i\theta}), implying that μθ=μθ\nabla_{\mu}\theta=\partial_{\mu}\theta. In the appendix, we show some exact solutions of the Dirac equation with this ansatz in flat space-time.

Using the transformation (22) in eq. (5), the Dirac equation in terms of the variables RR and θ\theta reads

exp(iθ)γμ(iμR(μθ)RqAμRm4γμR)=0.\displaystyle\exp(i\theta)\gamma^{\mu}\left(i{\nabla}_{\mu}R-(\nabla_{\mu}\theta)R-q{A}_{\mu}R-\frac{m}{4}\gamma_{\mu}R\right)=0. (24)

To get the last term, we used the property of the gamma matrices that γμγμ=4𝕀\gamma_{\mu}\gamma^{\mu}=4\mathbb{I}, where 𝕀\mathbb{I} is the 4×44\times 4 identity matrix. This property results from the anti-commutation relation of the gamma matrices.

Similarly, the continuity equation (11) with (10) can be written with these new variables as

(μR)KμR+RKμ(μR)=0,\displaystyle\left(\nabla_{\mu}R^{\dagger}\right)K^{\mu}R+R^{\dagger}K^{\mu}\left(\nabla_{\mu}R\right)=0, (25)

where RR^{\dagger} denotes the conjugated transpose of RR and Kμ=BγμK^{\mu}=B\gamma^{\mu}. Observe that KμK^{\mu} is hermitian (Kμ=KμK^{\mu{\dagger}}=K^{\mu}).

Summarizing, we have introduced the Madelung transformation for the Dirac equation (24) and the continuity relation (25) by making the change of variables from eq. (21). With this new form to write the Dirac equation, we can introduce variables that have a more plausible physical interpretation in quantum theory.

To see this, we apply the operator iγμDμ=iγμμqγμAμi\gamma^{\mu}D_{\mu}=i\gamma^{\mu}\nabla_{\mu}-q\gamma^{\mu}A_{\mu} to the Dirac equation (5) written under the form iγμμψ=qγμAμψ+mψi\gamma^{\mu}\nabla_{\mu}\psi=q\gamma^{\mu}A_{\mu}\psi+m\psi. This yields

γμγν(μνψ+iq(μAν)ψ+iqAν(μψ)+iqAμ(νψ)q2AμAνψ)\displaystyle-\gamma^{\mu}\gamma^{\nu}\left(\nabla_{\mu}\nabla_{\nu}\psi+iq(\nabla_{\mu}A_{\nu})\psi+iqA_{\nu}(\nabla_{\mu}\psi)+iqA_{\mu}(\nabla_{\nu}\psi)-q^{2}A_{\mu}A_{\nu}\psi\right) \displaystyle-
m2ψγμ(μγν)(νψ+iqAνψ)\displaystyle m^{2}\psi-\gamma^{\mu}(\nabla_{\mu}\gamma^{\nu})(\nabla_{\nu}\psi+iqA_{\nu}\psi) =\displaystyle= 0.\displaystyle 0.

Using the relation (7) in eq. (3), we obtain

Eψ+m2ψ+i2qγμγνFμνψ+γμ(μγν)(Dνψ)=0,\displaystyle\Box_{E}\psi+m^{2}\psi+\frac{i}{2}q\gamma^{\mu}\gamma^{\nu}F_{\mu\nu}\psi+\gamma^{\mu}(\nabla_{\mu}\gamma^{\nu})(D_{\nu}\psi)=0, (27)

where we have defined the D’Alambertian operator in the presence of an electromagnetic field by E=(μ+iqAμ)(μ+iqAμ)\Box_{E}=(\nabla_{\mu}+iqA_{\mu})(\nabla^{\mu}+iqA^{\mu}) and the anti-symmetric Faraday tensor by Fμν=μAννAμF_{\mu\nu}=\nabla_{\mu}A_{\nu}-\nabla_{\nu}A_{\mu}. Eq. (27) is similar to the Klein-Gordon equation with an electromagnetic source except that here ψ\psi is a spinor instead of a complex scalar field. Note that the first two terms in (27) are the Klein-Gordon equation, but the the electromagnetic field and the spinorial character of the equation add two more terms. The difference here is that if you “square” the Dirac equation in flat space-time, you obtain the Klein-Gordon equation, for an arbitrary curved space this does not happen. The last term of eq. (27) contains the covariant derivative of γμ\gamma^{\mu} which vanishes in a flat space-time.

As for the Klein-Gordon equation [1, 2], we define the diagonal matrix 4-velocity vμv_{\mu} by

mvμ=μS+qAμ𝕀.mv_{\mu}=\nabla_{\mu}S+qA_{\mu}\mathbb{I}. (28)

Here, S(xμ)S(x^{\mu}) is a phase with components S=(θωt)𝕀S=(\theta-\omega t)\mathbb{I}, where ω\omega are constants that can be related to the mass of the fermion particle by ω=mc2/\omega=mc^{2}/\hbar. In this manner we can write

μθ𝕀=mvμωδμ0𝕀qAμ𝕀.\nabla_{\mu}\theta\mathbb{I}=mv_{\mu}-\omega\delta^{0}_{\,\,\,\mu}\mathbb{I}-qA_{\mu}\mathbb{I}. (29)

We interpret nν˙n_{\dot{\nu}} as the density number of fermions and vμv_{\mu} as its velocity. In what follow we denote ωω𝕀\omega\rightarrow\omega\mathbb{I} unless otherwise stated. Additionally, we will show that eq.(24) can be interpreted as the first integral of the Bernoulli equation for fermions in an arbitrary space-time. For doing so, we will use this new interpretation using variables nν˙n_{\dot{\nu}} and vμv_{\mu} in the Dirac equation, instead of ψ\psi in order to write a Navier-Sotkes-like equation for ferminos, in the same way a it was done for bosons in [1]. Then, we will see that equation (25) can be interpreted as the generalized first integral of the Bernoulli equation in the sense that, for obtaining the Navier-Stokes-like equation, we need to differentiate equation (24).

According to [1, 2] if we apply the transformation (21) to eq. (27), we could expect to obtain the continuity equation for the imaginary part and the Bernoulli equation for the real part. However, in the case of the Dirac equation, the four components are mixed by the presence of the four dimensional spinor ψ\psi. Hence, we obtain the following expression

i[2(mvμωδ0μ)μRqAμ+qμ(AμR)+μ(mvμωδ0μqAμ)R]\displaystyle i\left[2(mv^{\mu}-\omega\delta^{\mu}_{0})\nabla_{\mu}R-qA_{\mu}+q\nabla_{\mu}(A^{\mu}R)+\nabla_{\mu}(mv^{\mu}-\omega\delta_{0}^{\mu}-qA^{\mu})R\right] +\displaystyle+
(m2vμvμ+2mωv0+ω2N2+m2)RR\displaystyle\left(m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}\right)R-\Box R +\displaystyle+
i2qγμγνFμνR+γμ(μγν)(i(mvν+ωνt)R+DνR)\displaystyle\frac{i}{2}q\gamma^{\mu}\gamma^{\nu}F_{\mu\nu}R+\gamma^{\mu}(\nabla_{\mu}\gamma^{\nu})(i(mv_{\nu}+\omega\nabla_{\nu}t)R+D_{\nu}R) =\displaystyle= 0.\displaystyle 0.

Here, we have defined =νν\Box=\nabla^{\nu}\nabla_{\nu}. For bosons, the real and imaginary parts are separated into two independent equations, namely, the continuity equation and the Bernoulli equation [1, 2]. But in the spinor case, the last line of equation (3) mixes both the imaginary and real parts and there is no natural separation into real and imaginary parts. The system remains coupled.

4 Weyl Representation

The Dirac equation for 1/21/2-spin particles is associated with the SO(1,3)SO(1,3) symmetry group. Nevertheless, we can introduce a new representation as in standard QFT, since there exists a surjective homomorphism between the SO(1,3)SO(1,3) and SU(2)SU(2)SU(2)\otimes SU(2) Lie groups.

As we know, the special unitary group SU(2)SU(2) is formed by the set of 2×22\times 2 complex matrices AA, which satisfy det(A)=1(A)=1. Explicitly, we have

A=(ab¯ba¯),A=\left(\begin{matrix}a&-\bar{b}\\ b&\bar{a}\end{matrix}\right), (31)

with det(A)=|a|2+|b|2=1(A)=|a|^{2}+|b|^{2}=1, where aa and bb are complex parameters. Equivalently, we have the identity A=A1A^{\dagger}=A^{-1}.

The Lie algebra 𝔰𝔲(2)\mathfrak{su}(2) associated to the SU(2)SU(2) Lie group is given by the exponential map

exp(𝔰𝔲(2))SU(2).\exp(\mathfrak{su}(2))\rightarrow SU(2). (32)

For any element XX of the Lie algebra, we have exp(X)exp(X)=𝕀\exp(X)\exp(X)^{\dagger}=\mathbb{I}, implying that X+X=0X+X^{\dagger}=0. In what follows, we will indistinctly use exp(X)\exp(X) and eXe^{X} as the exponential map.

In terms of the Pauli matrices σμ\sigma^{\mu} the 4×44\times 4 gamma matrices γμ\gamma^{\mu} can be written as two 2×22\times 2 block matrices

γ0\displaystyle\gamma^{0} =\displaystyle= Nγ~0=N(0𝕀𝕀0),\displaystyle N\tilde{\gamma}^{0}=N\left(\begin{matrix}0&\mathbb{I}\\ \mathbb{I}&0\end{matrix}\right), (33)
γj\displaystyle\gamma^{j} =\displaystyle= e^ij(γ~i+Niγ~0)=(0e^ij(σ~iNi𝕀)e^ij(σ~i+Ni𝕀)0),\displaystyle\hat{e}^{j}_{\,\,\,i}(\tilde{\gamma}^{i}+N^{i}\tilde{\gamma}^{0})=\left(\begin{matrix}0&-\hat{e}^{j}_{\,\,\,i}(\tilde{\sigma}^{i}-N^{i}\mathbb{I})\\ \hat{e}^{j}_{\,\,\,i}(\tilde{\sigma}^{i}+N^{i}\mathbb{I})&0\end{matrix}\right), (34)

where σ~i\tilde{\sigma}^{i} are the 2×22\times 2 Pauli matrices in flat space-time

σ~1=(0110),σ~2=(0ii0),σ~3=(1001),\tilde{\sigma}^{1}=\left(\begin{matrix}0&1\\ 1&0\end{matrix}\right),\,\,\,\,\tilde{\sigma}^{2}=\left(\begin{matrix}0&-i\\ i&0\end{matrix}\right),\,\,\,\,\tilde{\sigma}^{3}=\left(\begin{matrix}1&0\\ 0&-1\end{matrix}\right), (35)

and 𝕀\mathbb{I} is the 2×22\times 2 identity matrix. The γμ\gamma^{\mu} matrices satisfy (γ0)=γ0\left(\gamma^{0}\right)^{\dagger}=\gamma^{0} and (γj)=γj+2Njγ0/N\left(\gamma^{j}\right)^{\dagger}=-\gamma^{j}+2N^{j}\gamma^{0}/N. At this point, we need to adopt the standard representation for the gamma matrices in a flat space-time γ~μ\tilde{\gamma}^{\mu} as follows

γ~0=(0𝕀𝕀0),γ~j=(0σ~jσ~j0).\tilde{\gamma}^{0}=\left(\begin{matrix}0&\mathbb{I}\\ \mathbb{I}&0\end{matrix}\right),\,\,\,\,\tilde{\gamma}^{j}=\left(\begin{matrix}0&-\tilde{\sigma}^{j}\\ \tilde{\sigma}^{j}&0\end{matrix}\right). (36)

This representation helps us to build the Weyl representation. Additionally, in the Weyl representation we can write a Dirac fermion as a four-spinor ψ\psi made of two spinors, each of which having two components, for instance

ψ=(ψRψL),\psi=\left(\begin{array}[]{cc}\psi_{R}\\ \psi_{L}\end{array}\right), (37)

where ψR\psi_{R} and ψL\psi_{L} are the right- and the left- handed Weyl spinors, respectively. If we write the adjoint spinor ψ¯\bar{\psi} and use the Weyl representation, it follows that

ψ¯=ψB=(ψR,ψL)B,\bar{\psi}=\psi^{\dagger}B=\left(\psi_{R}^{\dagger},\psi_{L}^{\dagger}\right)B, (38)

where BB is the matrix from eqs. (8) and (14). If we use the relation (8) it is straightforward to see that the matrix BB must have the following form

B=(0BζBζ0),B=\left(\begin{array}[]{cc}0&B_{\zeta}\\ B_{\zeta}&0\end{array}\right), (39)

where the 2×22\times 2 matrix BζB_{\zeta} is a diagonal matrix, Bζ=b𝕀B_{\zeta}=b\mathbb{I}, with b=b(xμ)b=b(x^{\mu}). Therefore, we get B=bγ~0B=b\tilde{\gamma}^{0} and eq. (15) transforms into

0(Nb)+j(e^ijNib)\displaystyle\nabla_{0}(Nb)+\nabla_{j}(\hat{e}^{j}_{i}N^{i}b) =\displaystyle= 0,\displaystyle 0, (40)
j(e^ijb)σ~i\displaystyle\nabla_{j}(\hat{e}^{j}_{i}b)\tilde{\sigma}^{i} =\displaystyle= 0.\displaystyle 0. (41)

Note that in eq.(40), we assume also a representation to BB matrix. Adopt a specific representation for the symmetry group, which is done without loss of generality. In fact, it shall make this choice to build the Weyl fermions and its field equations. Hence, using the definition of the spinor and its adjoint we can write the Dirac quadricurrent JμJ^{\mu} from eq. (10) as

Jμ=(ψR,ψL)Bγμ(ψRψL),J^{\mu}=\left(\psi_{R}^{\dagger},\psi_{L}^{\dagger}\right)B\gamma^{\mu}\left(\begin{array}[]{cc}\psi_{R}\\ \psi_{L}\end{array}\right), (42)

where the gamma matrices are defined by eqs. (33) and (34) and, in general, BB is given by the previously mentioned conditions. This yields

J0\displaystyle J^{0} =\displaystyle= Nb(ψRψR+ψLψL),\displaystyle Nb(\psi^{\dagger}_{R}\psi_{R}+\psi^{\dagger}_{L}\psi_{L}), (43)
Jj\displaystyle J^{j} =\displaystyle= be^ij(ψR(σ~i+Ni𝕀)ψRψL(σ~iNi𝕀)ψL).\displaystyle b\hat{e}^{j}_{\,\,\,i}(\psi^{\dagger}_{R}(\tilde{\sigma}^{i}+N^{i}\mathbb{I})\psi_{R}-\psi^{\dagger}_{L}(\tilde{\sigma}^{i}-N^{i}\mathbb{I})\psi_{L}). (44)

In order to simplify the notation, we now define the vectors of 2×22\times 2 matrices 𝕊a=(𝕀,σ~j+Nj𝕀)\mathbb{S}^{a}=(\mathbb{I},\tilde{\sigma}^{j}+N^{j}\mathbb{I}) and 𝕊¯a=(𝕀,σ~jNj𝕀)\mathbb{\bar{S}}^{a}=(-\mathbb{I},\tilde{\sigma}^{j}-N^{j}\mathbb{I}) in terms of the Pauli matrices. 𝕊a\mathbb{S}^{a} and 𝕊¯a\mathbb{\bar{S}}^{a} are the (generalized) Pauli matrices in flat space-time. In terms of these new definitions, the density currents read

Jμ\displaystyle J^{\mu} =\displaystyle= be^iμ(ψR𝕊iψRψL𝕊¯iψL)\displaystyle b\hat{e}^{\mu}_{\,\,\,i}(\psi^{\dagger}_{R}\mathbb{S}^{i}\psi_{R}-\psi^{\dagger}_{L}\bar{\mathbb{S}}^{i}\psi_{L}) (45)
=\displaystyle= b(ψRσμψRψLσ¯μψL),\displaystyle b(\psi^{\dagger}_{R}\sigma^{\mu}\psi_{R}-\psi^{\dagger}_{L}\bar{\sigma}^{\mu}\psi_{L}),

where we have defined the 2×22\times 2 Pauli matrices in a curved space-time by σμ=eaμ𝕊a\sigma^{\mu}=e^{\mu}_{\,\,a}\mathbb{S}^{a} and σ¯μ=eaμ𝕊¯a\bar{\sigma}^{\mu}=e^{\mu}_{\,\,a}\bar{\mathbb{S}}^{a}. With this definition, the matrices γj\gamma^{j} read

γj\displaystyle\gamma^{j} =\displaystyle= (0σ¯jσj0).\displaystyle\left(\begin{matrix}0&-\bar{\sigma}^{j}\\ {\sigma}^{j}&0\end{matrix}\right). (46)

Furthermore, observe that the σj\sigma^{j} matrices follow the same commutation relations as the flat space-time Pauli matrices. This means that [σi,σ¯j]=e^kie^lj[σ~k,σ~l][\sigma^{i},\bar{\sigma}^{j}]=-\hat{e}^{i}_{k}\hat{e}^{j}_{l}[\tilde{\sigma}^{k},\tilde{\sigma}^{l}]. For the Weyl representation we have to obtain two equations for each Dirac fermion. Thus, we need to redefine the covariant derivative μ\nabla_{\mu} and the spinor affine connection Γμ\Gamma_{\mu}[26] [32], which can be written as μ=μ+Γμ\nabla_{\mu}=\partial_{\mu}+\Gamma_{\mu} and Γμ=14σ¯νσ;μν\Gamma_{\mu}=\dfrac{1}{4}\bar{\sigma}_{\nu}\sigma^{\nu}_{;\mu}, where σ;νμ=νσμ+Γανμσα\sigma^{\mu}_{;\nu}=\partial_{\nu}\sigma^{\mu}+\Gamma^{\mu}_{\alpha\nu}\sigma^{\alpha}. Nevertheless, in this representation we need to introduce two other notations due to the presence of σ¯μ\bar{\sigma}^{\mu}. Let ¯μ\bar{\nabla}_{\mu} and Γ~μ\tilde{\Gamma}_{\mu} be the bar covariant derivative and the bar spinor affine connection, respectively, defined by ¯μ=μ+Γ~μ\bar{\nabla}_{\mu}=\partial_{\mu}+\tilde{\Gamma}_{\mu}, where Γ~μ=14σνσ¯;μν\tilde{\Gamma}_{\mu}=\dfrac{1}{4}\sigma_{\nu}\bar{\sigma}^{\nu}_{;\mu} (we stress that we use the greek indices for denoting the objects in curved space-time as the gamma and Pauli matrices).

We can now apply the Weyl representation to rewrite the Dirac equation (5) for a spinor with four components as

(iσμ(¯μ+iqAμ)ψRmψLiσ¯μ(μ+iqAμ)ψLmψR)=(00).\left(\begin{array}[]{cc}i\sigma^{\mu}\left(\bar{\nabla}_{\mu}+iqA_{\mu}\right)\psi_{R}-m\psi_{L}\\ i\bar{\sigma}^{\mu}\left(\nabla_{\mu}+iqA_{\mu}\right)\psi_{L}-m\psi_{R}\end{array}\right)=\left(\begin{array}[]{cc}0\\ 0\end{array}\right). (47)

These are the Weyl equations for a spinor in a curved space-time coupled to an electromagnetic field. If we apply the Weyl representation to the transpose conjugated Dirac equation (16), it is straightforward to obtain the Weyl equation for the adjoint spinor (38). However, we shall not write the adjoint spinor equation explicitly because the results are analogous to the spinor equation as we have seen in the previous sections.

If we set B=bγ~0B=b\tilde{\gamma}^{0}, the current density now reads

Jμ=b(ψRσμψRψLσ¯μψL).J^{\mu}=b\left(\psi_{R}^{\dagger}{\sigma}^{\mu}\psi_{R}-\psi_{L}^{\dagger}{\bar{\sigma}}^{\mu}\psi_{L}\right). (48)

Explicitly, we have for the spatial part

Jj\displaystyle J^{j} =\displaystyle= be^ij(ψRσ~iψRψLσ~iψL+NiNb2J0).\displaystyle b\hat{e}^{j}_{i}\left(\psi_{R}^{\dagger}{\tilde{\sigma}}^{i}\psi_{R}-\psi_{L}^{\dagger}\tilde{\sigma}^{i}\psi_{L}+\frac{N^{i}}{Nb^{2}}J^{0}\right). (49)

On the other hand, the last line of eq. (3) can be obtained from the identities

γμγνFμνψ={(2NNkF0k+iF^ijϵijkσ~k)ψR(2NNkF0kiF^ijϵijkσ~k)ψL,\displaystyle\gamma^{\mu}\gamma^{\nu}F_{\mu\nu}\psi=\left\{\begin{array}[]{cc}(2NN^{k}F_{0k}+i\hat{F}_{ij}{\epsilon^{ij}}_{k}\tilde{\sigma}^{k})\psi_{R}\\ -(2NN^{k}F_{0k}-i\hat{F}_{ij}{\epsilon^{ij}}_{k}\tilde{\sigma}^{k})\psi_{L}\end{array}\right., (52)

and using definition (46), we find that

γμ(μγν)(Dνψ)\displaystyle\gamma^{\mu}(\nabla_{\mu}\gamma^{\nu})(D_{\nu}\psi) =\displaystyle= {𝕊¯a𝕊b(^ae^bν)(DνψR)𝕊a𝕊¯b(^ae^bν)(DνψL)\displaystyle\left\{\begin{array}[]{cc}-\bar{\mathbb{S}}^{a}\mathbb{S}^{b}(\hat{\nabla}_{a}\hat{e}^{\nu}_{b})(D_{\nu}\psi_{R})\\ -\mathbb{S}^{a}\bar{\mathbb{S}}^{b}(\hat{\nabla}_{a}\hat{e}^{\nu}_{b})(D_{\nu}\psi_{L})\end{array}\right. (55)
=\displaystyle= {(N(0N)σ¯j(jN))(D0ψR)+(N(0σi)σ¯j(jσi))(DiψR)(N(0N)+σj(jN))(D0ψL)(N(0σ¯i)σj(jσ¯i))(DiψL)\displaystyle\left\{\begin{array}[]{cc}(N(\nabla_{0}N)-\bar{\sigma}^{j}(\nabla_{j}N))(D_{0}\psi_{R})+(N(\nabla_{0}\sigma^{i})-\bar{\sigma}^{j}(\nabla_{j}\sigma^{i}))(D_{i}\psi_{R})\\ (N(\nabla_{0}N)+\sigma^{j}(\nabla_{j}N))(D_{0}\psi_{L})-(N(\nabla_{0}\bar{\sigma}^{i})-\sigma^{j}(\nabla_{j}\bar{\sigma}^{i}))(D_{i}\psi_{L})\end{array}\right. (58)
=\displaystyle= {(^0N𝕊¯k(^kN))(D0ψR)+(𝕊k^0e^ki𝕊¯k𝕊l^ke^li))(DiψR)(^0N+𝕊k(^kN))(D0ψL)(𝕊¯k^0e^ki𝕊k𝕊¯l(^ke^li))(DiψL),\displaystyle\left\{\begin{array}[]{cc}(\hat{\nabla}_{0}N-\bar{\mathbb{S}}^{k}(\hat{\nabla}_{k}N))(D_{0}\psi_{R})+(\mathbb{S}^{k}\hat{\nabla}_{0}\hat{e}^{i}_{k}-\bar{\mathbb{S}}^{k}\mathbb{S}^{l}\hat{\nabla}_{k}\hat{e}^{i}_{l}))(D_{i}\psi_{R})\\ (\hat{\nabla}_{0}N+\mathbb{S}^{k}(\hat{\nabla}_{k}N))(D_{0}\psi_{L})-(\bar{\mathbb{S}}^{k}\hat{\nabla}_{0}\hat{e}^{i}_{k}-\mathbb{S}^{k}\bar{\mathbb{S}}^{l}(\hat{\nabla}_{k}\hat{e}^{i}_{l}))(D_{i}\psi_{L}),\end{array}\right. (61)

where ϵijk{\epsilon^{ij}}_{k} is the usual Levi-Civita tensor, F^ij=e^ile^jmFlm\hat{F}_{ij}=\hat{e}^{l}_{i}\hat{e}^{m}_{j}F_{lm} is the directional Maxwell tensor F^ij=(e^il^je^jl^i)Al\hat{F}_{ij}=(\hat{e}^{l}_{i}\hat{\nabla}_{j}-\hat{e}^{l}_{j}\hat{\nabla}_{i}){A}_{l}, and ^a=e^aαα\hat{\nabla}_{a}=\hat{e}^{\alpha}_{a}\nabla_{\alpha} is the directional covariant derivative which defines the Cartan connection ^ce^bν=Γbcae^aν\hat{\nabla}_{c}\hat{e}^{\nu}_{b}=\Gamma^{a}_{bc}\hat{e}_{a}^{\nu}. The Cartan connection Γbca=e^νa^ce^bν\Gamma^{a}_{bc}=\hat{e}^{a}_{\nu}\hat{\nabla}_{c}\hat{e}^{\nu}_{b} determines the Cartan first fundamental form de^a+Γbae^bd\hat{e}^{a}+\Gamma^{a}_{b}\wedge\hat{e}^{b} for the connections Γba=Γbdae^d\Gamma^{a}_{b}=\Gamma^{a}_{bd}\hat{e}^{d} with the property that Γab+Γba=0\Gamma_{ab}+\Gamma_{ba}=0, where Γab=ηadΓbd\Gamma_{ab}=\eta_{ad}\Gamma^{d}_{b}.

In this section, we have introduced the field equations for Weyl fermions using the relation with the Dirac fermion equations. Moreover, we assume a certain representation for the symmetry Lie gruop to describe the Weyl spinors. In the next section, we will use the field equations found here to get a hydrodynamic representation as in the Dirac spinor case.

5 Weyl Hydrodynamic Representation

We now have all the ingredients to propose a hydrodynamic representation for the Weyl fermions, following the same procedure as the one developed for the Schrödinger and KG equations in Refs. [1, 2].

We start to propose our Madelung transformation in the Weyl spinor, using the exponential map, that is

ψ=(ψRψL)=(RRRL)eiθ.\psi=\left(\begin{array}[]{cc}\psi_{R}\\ \psi_{L}\end{array}\right)=\left(\begin{array}[]{cc}R_{R}\\ R_{L}\end{array}\right)e^{i\theta}. (63)

Since ψR\psi_{R} and ψL\psi_{L} are two spinors, we observe that RRR_{R} and RLR_{L} are two two-dimensional vectors. The Weyl representation of the adjoint spinor ψ¯\bar{\psi} when B=bγ~0B=b\tilde{\gamma}^{0} is

ψ¯=b(ψR,ψL)γ~0\displaystyle\bar{\psi}=b\left(\psi_{R}^{\dagger},\psi_{L}^{\dagger}\right)\tilde{\gamma}^{0} =(RR,RL)eiθ.\displaystyle=\left(R_{R}^{\dagger},R_{L}^{\dagger}\right)e^{-i\theta}. (64)

As in section 3, we use RLR_{L} and RRR_{R} as complex two-spinors and θ\theta as a complex function. Therefore, using the Madelung transformation (63) in the Weyl equations (47) and applying the Lie algebra and the Lie group, we can get the following expression

(σμ(¯μθ)RR+iσμ(¯μRR)qσμAμRRσ¯μ(μθ)RL+iσ¯μ(μRL)qσ¯μAμRL)=(mRLmRR).\left(\begin{array}[]{cc}-\sigma^{\mu}\left(\bar{\nabla}_{\mu}\theta\right)R_{R}+i\sigma^{\mu}\left(\bar{\nabla}_{\mu}R_{R}\right)-q\sigma^{\mu}A_{\mu}R_{R}\\ -\bar{\sigma}^{\mu}\left(\nabla_{\mu}\theta\right)R_{L}+i\bar{\sigma}^{\mu}\left(\nabla_{\mu}R_{L}\right)-q\bar{\sigma}^{\mu}A_{\mu}R_{L}\end{array}\right)=\left(\begin{array}[]{cc}mR_{L}\\ mR_{R}\end{array}\right). (65)

These are the Weyl equations in curved space-time with the Madelung transformation. We can also apply the Madelung transformation (63) and (64) to the current density (48), thereby obtaining

Jμ=b(RRσ¯μRRRLσμRL).J^{\mu}=b\left(R_{R}^{\dagger}\bar{\sigma}^{\mu}R_{R}-R_{L}^{\dagger}\sigma^{\mu}R_{L}\right). (66)

Its components are

J0\displaystyle J^{0} =\displaystyle= Nb(RRRR+RLRL)=Nbn,\displaystyle Nb(R_{R}^{\dagger}R_{R}+R_{L}^{\dagger}R_{L})=Nbn, (67)
Jj\displaystyle J^{j} =\displaystyle= b(e^3j(n1˙n2˙n3˙+n4˙)+2e^1j(n1˙n2˙n3˙n4˙)+e^ijNin).\displaystyle b\left(\hat{e}^{j}_{3}(n_{\dot{1}}-n_{\dot{2}}-n_{\dot{3}}+n_{\dot{4}})+2\hat{e}^{j}_{1}(\sqrt{n_{\dot{1}}n_{\dot{2}}}-\sqrt{n_{\dot{3}}n_{\dot{4}}})+\hat{e}^{j}_{i}N^{i}n\right).

We note that the zero component, where n=ν˙=1˙4˙nν˙n=\sum_{\dot{\nu}=\dot{1}}^{\dot{4}}n_{\dot{\nu}} is the density number of fermions in the system, gives the number of both right- and left-handed particles. We can write the following expressions |ψR|2=ψRψR=RRRR=nR|\psi_{R}|^{2}=\psi^{\dagger}_{R}\psi_{R}=R^{\dagger}_{R}R_{R}=n_{R} and |ψL|2=ψLψL=RLRL=nL|\psi_{L}|^{2}=\psi^{\dagger}_{L}\psi_{L}=R^{\dagger}_{L}R_{L}=n_{L} for the right- and left-handed spinors, as in the Dirac case. Thus, nRn_{R}, nLn_{L} are the right- and left- handed particle number and n=nR+nLn=n_{R}+n_{L} is the total density number.

Furthermore, eq. (3) using the Weyl representation, which has been discussed in this section, it becomes

i[2(mvμωδ0μ)μRRqAμ+qμ(AμRR)+μ(mvμωδ0μqAμ)RR]\displaystyle i\left[2(mv^{\mu}-\omega\delta^{\mu}_{0})\nabla_{\mu}R_{R}-qA_{\mu}+q\nabla_{\mu}(A^{\mu}R_{R})+\nabla_{\mu}(mv^{\mu}-\omega\delta_{0}^{\mu}-qA^{\mu})R_{R}\right] +\displaystyle+
(m2vμvμ+2mωv0+ω2N2+m2)RRRR\displaystyle\left(m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}\right)R_{R}-\Box R_{R} +\displaystyle+
(2NNkF0k+iϵljkF^ljσ~k)RR\displaystyle(2NN^{k}F_{0k}+i{\epsilon^{lj}}_{k}\hat{F}_{lj}\tilde{\sigma}^{k})R_{R} +\displaystyle+
(N(0N)σ¯j(jN))((mv0ω)RR+D0RR)\displaystyle(N(\nabla_{0}N)-\bar{\sigma}^{j}(\nabla_{j}N))((mv_{0}-\omega)R_{R}+D_{0}R_{R}) +\displaystyle+
(N(0σk)σ¯j(jσk))(imvkRR+DkRR)\displaystyle(N(\nabla_{0}\sigma^{k})-\bar{\sigma}^{j}(\nabla_{j}\sigma^{k}))(imv_{k}R_{R}+D_{k}R_{R}) =\displaystyle= 0.\displaystyle 0.

A similar equation is obtained for the left-handed spinor RLR_{L} with the substitution RLR\longrightarrow L and 𝕊𝕊¯\mathbb{S}\longleftrightarrow\bar{\mathbb{S}} in eq. (5). Simplifying the first line in this equation for ν˙=1,2\dot{\nu}=1,2 corresponding to right-handed components, we get

imnν˙[ωm0nν˙+μ(nν˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{\nu}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{\nu}}+\nabla_{\mu}(n_{\dot{\nu}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
nν˙[m2vμvμ+2mωv0+ω2N2+m2nν˙nν˙]\displaystyle\sqrt{n_{\dot{\nu}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega v^{0}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right] +\displaystyle+
(2NNkF0k+iϵljkF^ljσ~k)RR\displaystyle(2NN^{k}F_{0k}+i{\epsilon^{lj}}_{k}\hat{F}_{lj}\tilde{\sigma}^{k})R_{R} +\displaystyle+
(^ae^bα)𝕊¯a𝕊b((mvαωδα0)RR+DαRR)\displaystyle-(\hat{\nabla}_{a}\hat{e}^{\alpha}_{b})\bar{\mathbb{S}}^{a}\mathbb{S}^{b}((mv_{\alpha}-\omega\delta^{0}_{\alpha})R_{R}+D_{\alpha}R_{R}) =\displaystyle= 0.\displaystyle 0.

The equation for the left-handed components ν˙=3,4\dot{\nu}=3,4 is obtained by changing RRRLR_{R}\longrightarrow R_{L} and 𝕊𝕊¯\mathbb{S}\longleftrightarrow\bar{\mathbb{S}}. Note that, although in eq.(5) the first line is multiplied by ii, we cannot consider the separation between the real and imaginary part, since from the Madelung transformation (21) we assume RR and θ\theta as complex parameters. Additionally, the first line of eq. (5) represents the hydrodynamic part of the fermionic fluid. The second line in eq. (5) is written the Bernoulli equation. In this respect, we note that eq. (24) is the first integral of this equation. Then, the last lines of eq. (5 are the source of the fermionic fluid, something that is not present in the case of bosons. This is because the Dirac equation was introduced [33] in order to eliminate the negative probability problem of the KG equation. As a result, the Dirac equation involves only first derivatives while the KG equation is a second order equation. We will identify the terms in eq.(5) as terms of the first law of thermodynamics in the next section.

Writing explicitly each component of eq.(5), we can obtain for ν˙=1˙\dot{\nu}=\dot{1}:

imn1˙[ωm0n1˙+μ(n1˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{1}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{1}}+\nabla_{\mu}(n_{\dot{1}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
n1˙[m2vμvμ+2mωv0+ω2N2+m2n1˙n1˙]\displaystyle\sqrt{n_{\dot{1}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{1}}}}{\sqrt{n_{\dot{1}}}}\right] =\displaystyle=
i[F12n1˙+F23n2˙2Γ21a((mv^aωδ^a0)n1˙+D^an1˙)]\displaystyle i\left[F_{12}\sqrt{n_{\dot{1}}}+F_{23}\sqrt{n_{\dot{2}}}-2\Gamma^{a}_{21}((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{1}}}+\hat{D}_{a}\sqrt{n_{\dot{1}}})\right] \displaystyle-
2i(Γ21aN1Γ32aN3+Γ20a+Γ32a)((mv^aωδ^a0)n2˙+D^an2˙)\displaystyle 2i(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}+\Gamma^{a}_{32})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{2}}}+\hat{D}_{a}\sqrt{n_{\dot{2}}}) +\displaystyle+
2N(F01N1+F02N2+F03N3)n1˙F13n2˙\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})\sqrt{n_{\dot{1}}}-F_{13}\sqrt{n_{\dot{2}}} +\displaystyle+
[Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2})\right. +\displaystyle+
2Γ31aN1+2Γ32aN2Γ00a+2Γ30a]((mv^aωδ^a0)n1˙+D^an1˙)\displaystyle\left.2\Gamma^{a}_{31}N^{1}+2\Gamma^{a}_{32}N^{2}-\Gamma^{a}_{00}+2\Gamma^{a}_{30}\right]((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{1}}}+\hat{D}_{a}\sqrt{n_{\dot{1}}}) +\displaystyle+
(2Γ21aN22Γ31aN3+2Γ10a+2Γ31a)((mv^aωδ^a0)n2˙+D^an2˙),\displaystyle(-2\Gamma^{a}_{21}N^{2}-2\Gamma^{a}_{31}N^{3}+2\Gamma^{a}_{10}+2\Gamma^{a}_{31})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{2}}}+\hat{D}_{a}\sqrt{n_{\dot{2}}}), (71)

for ν˙=2˙\dot{\nu}=\dot{2}:

imn2˙[ωm0n2˙+μ(n2˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{2}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{2}}+\nabla_{\mu}(n_{\dot{2}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
n2˙[m2vμvμ+2mωv0+ω2N2+m2n2˙n2˙]\displaystyle\sqrt{n_{\dot{2}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{2}}}}{\sqrt{n_{\dot{2}}}}\right] =\displaystyle=
i[F12n2˙+F23n1˙+2Γ21a((mv^aωδ^a0)n2˙+D^an2˙)]\displaystyle i\left[-F_{12}\sqrt{n_{\dot{2}}}+F_{23}\sqrt{n_{\dot{1}}}+2\Gamma^{a}_{21}((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{2}}}+\hat{D}_{a}\sqrt{n_{\dot{2}}})\right] +\displaystyle+
2i(Γ21aN1Γ32aN3+Γ20aΓ32a)(mv^aωδ^a0)n1˙+D^an1˙)\displaystyle 2i(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}-\Gamma^{a}_{32})(m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{1}}}+\hat{D}_{a}\sqrt{n_{\dot{1}}}) +\displaystyle+
2N(F01N1+F02N2+F03N3)n2˙+F13n1˙\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})\sqrt{n_{\dot{2}}}+F_{13}\sqrt{n_{\dot{1}}} +\displaystyle+
[Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2}\right.) +\displaystyle+
2Γ31aN12Γ32aN2Γ00a2Γ30a]((mv^aωδ^a0)n2˙+D^an2˙)\displaystyle\left.-2\Gamma^{a}_{31}N^{1}-2\Gamma^{a}_{32}N^{2}-\Gamma^{a}_{00}-2\Gamma^{a}_{30}\right]((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{2}}}+\hat{D}_{a}\sqrt{n_{\dot{2}}}) +\displaystyle+
(2Γ21aN22Γ31aN3+2Γ10a2Γ31a)((mv^aωδ^a0)n1˙+D^an1˙),\displaystyle(-2\Gamma^{a}_{21}N^{2}-2\Gamma^{a}_{31}N^{3}+2\Gamma^{a}_{10}-2\Gamma^{a}_{31})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{1}}}+\hat{D}_{a}\sqrt{n_{\dot{1}}}), (72)

for ν˙=3˙\dot{\nu}=\dot{3}:

imn3˙[ωm0n3˙+μ(n3˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{3}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{3}}+\nabla_{\mu}(n_{\dot{3}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
n3˙[m2vμvμ+2mωv0+ω2N2+m2n3˙n3˙]\displaystyle\sqrt{n_{\dot{3}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{3}}}}{\sqrt{n_{\dot{3}}}}\right] =\displaystyle=
i[F12n3˙+F23n4˙2Γ21a((mv^aωδ^a0)n3˙+D^an3˙)]\displaystyle i\left[F_{12}\sqrt{n_{\dot{3}}}+F_{23}\sqrt{n_{\dot{4}}}-2\Gamma^{a}_{21}((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{3}}}+\hat{D}_{a}\sqrt{n_{\dot{3}}})\right] +\displaystyle+
2i(Γ21aN1Γ32aN3+Γ20aΓ32a)((mv^aωδ^a0)n4˙+D^an4˙)\displaystyle 2i(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}-\Gamma^{a}_{32})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{4}}}+\hat{D}_{a}\sqrt{n_{\dot{4}}}) +\displaystyle+
2N(F01N1+F02N2+F03N3)n3˙F13n4˙\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})\sqrt{n_{\dot{3}}}-F_{13}\sqrt{n_{\dot{4}}} +\displaystyle+
[Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2})\right. +\displaystyle+
2Γ31aN12Γ32aN2Γ00a2Γ30a]((mv^aωδ^a0)n3˙+D^an3˙)\displaystyle\left.-2\Gamma^{a}_{31}N^{1}-2\Gamma^{a}_{32}N^{2}-\Gamma^{a}_{00}-2\Gamma^{a}_{30}\right]((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{3}}}+\hat{D}_{a}\sqrt{n_{\dot{3}}}) +\displaystyle+
(2Γ21aN2+2Γ31aN32Γ10a+2Γ31a)((mv^aωδ^a0)n4˙+D^an4˙),\displaystyle(2\Gamma^{a}_{21}N^{2}+2\Gamma^{a}_{31}N^{3}-2\Gamma^{a}_{10}+2\Gamma^{a}_{31})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{4}}}+\hat{D}_{a}\sqrt{n_{\dot{4}}}), (73)

and for ν˙=4˙\dot{\nu}=\dot{4}:

imn4˙[ωm0n4˙+μ(n4˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{4}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{4}}+\nabla_{\mu}(n_{\dot{4}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
n4˙[m2vμvμ+2mωv0+ω2N2+m2n4˙n4˙]\displaystyle\sqrt{n_{\dot{4}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{4}}}}{\sqrt{n_{\dot{4}}}}\right] =\displaystyle=
i[F12n4˙+F23n3˙+2Γ21a((mv^aωδ^a0)n4˙+D^an4˙)]\displaystyle i\left[-F_{12}\sqrt{n_{\dot{4}}}+F_{23}\sqrt{n_{\dot{3}}}+2\Gamma^{a}_{21}((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{4}}}+\hat{D}_{a}\sqrt{n_{\dot{4}}})\right] \displaystyle-
2i(Γ21aN1Γ32aN3+Γ20a+Γ32a)((mv^aωδ^a0)n3˙+D^an3˙)\displaystyle 2i(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}+\Gamma^{a}_{32})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{3}}}+\hat{D}_{a}\sqrt{n_{\dot{3}}}) +\displaystyle+
2N(F01N1+F02N2+F03N3)n4˙+F13n3˙\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})\sqrt{n_{\dot{4}}}+F_{13}\sqrt{n_{\dot{3}}} +\displaystyle+
[Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2})\right. +\displaystyle+
2Γ31aN1+2Γ32aN2Γ00a+2Γ30a]((mv^aωδ^a0)n4˙+D^an4˙)\displaystyle\left.2\Gamma^{a}_{31}N^{1}+2\Gamma^{a}_{32}N^{2}-\Gamma^{a}_{00}+2\Gamma^{a}_{30}\right]((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{4}}}+\hat{D}_{a}\sqrt{n_{\dot{4}}}) +\displaystyle+
(2Γ21aN2+2Γ31aN32Γ10a2Γ31a)((mv^aωδ^a0)n3˙+D^an3˙),\displaystyle(2\Gamma^{a}_{21}N^{2}+2\Gamma^{a}_{31}N^{3}-2\Gamma^{a}_{10}-2\Gamma^{a}_{31})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{3}}}+\hat{D}_{a}\sqrt{n_{\dot{3}}}), (74)

where we have used that Γab+Γba=0\Gamma_{ab}+\Gamma_{ba}=0 and defined the directional quantities va=vαe^aαv_{a}=v_{\alpha}\hat{e}_{a}^{\alpha}, δ^a0=δα0e^aα=Nδa0\hat{\delta}^{0}_{a}=\delta^{0}_{\alpha}\hat{e}_{a}^{\alpha}=N\delta^{0}_{a} and D^a=e^aαDα\hat{D}_{a}=\hat{e}_{a}^{\alpha}D_{\alpha}.

Observe that the structure of equations (5)-(5) is

imnν˙[ωm0nν˙+μ(nν˙vμ)+ωmt]\displaystyle i\frac{m}{\sqrt{n_{\dot{\nu}}}}\left[-\frac{\omega}{m}\nabla_{0}n_{\dot{\nu}}+\nabla_{\mu}(n_{\dot{\nu}}v^{\mu})+\frac{\omega}{m}\Box t\right] +\displaystyle+
nν˙[m2vμvμ+2mωv0+ω2N2+m2nν˙nν˙]\displaystyle\sqrt{n_{\dot{\nu}}}\left[m^{2}v_{\mu}{v^{\mu}}+2m\omega{v^{0}}+\frac{\omega^{2}}{N^{2}}+m^{2}-\frac{\Box\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right] =\displaystyle=
i[e1ν˙F12nν˙+F23nν¨2e1ν˙Γ21a((mv^aωδ^a0)nν˙+D^anν˙)]\displaystyle i\left[e_{1\dot{\nu}}F_{12}\sqrt{n_{\dot{\nu}}}+F_{23}\sqrt{n_{\ddot{\nu}}}-2e_{1\dot{\nu}}\Gamma^{a}_{21}((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{\nu}}}+\hat{D}_{a}\sqrt{n_{\dot{\nu}}})\right] \displaystyle-
2i(Γ21aN1Γ32aN3+Γ20a+e2ν˙Γ32a)((mv^aωδ^a0)nν¨+D^anν¨)\displaystyle 2i(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}+e_{2\dot{\nu}}\Gamma^{a}_{32})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\ddot{\nu}}}+\hat{D}_{a}\sqrt{n_{\ddot{\nu}}}) +\displaystyle+
2N(F01N1+F02N2+F03N3)nν˙e1ν˙F13nν¨\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})\sqrt{n_{\dot{\nu}}}-e_{1\dot{\nu}}F_{13}\sqrt{n_{\ddot{\nu}}} +\displaystyle+
[Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2})\right. +\displaystyle+
2e2ν˙(Γ31aN1+Γ32aN2+Γ30a)Γ00a]((mv^aωδ^a0)nν˙+D^anν˙)\displaystyle\left.2e_{2\dot{\nu}}(\Gamma^{a}_{31}N^{1}+\Gamma^{a}_{32}N^{2}+\Gamma^{a}_{30})-\Gamma^{a}_{00}\right]((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\dot{\nu}}}+\hat{D}_{a}\sqrt{n_{\dot{\nu}}}) +\displaystyle+
(2e3ν˙(Γ21aN2+Γ31aN3Γ10a)+2e1ν˙Γ31a)((mv^aωδ^a0)nν¨+D^anν¨),\displaystyle(-2e_{3\dot{\nu}}(\Gamma^{a}_{21}N^{2}+\Gamma^{a}_{31}N^{3}-\Gamma^{a}_{10})+2e_{1\dot{\nu}}\Gamma^{a}_{31})((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{n_{\ddot{\nu}}}+\hat{D}_{a}\sqrt{n_{\ddot{\nu}}}), (75)

where the coefficients eiν˙e_{i\dot{\nu}} are ±1\pm 1 with e1ν˙=(+,,+,)e_{1\dot{\nu}}=(+,-,+,-), e2ν˙=(,+,,+)e_{2\dot{\nu}}=(-,+,-,+) and e3ν˙=(+,+,,)e_{3\dot{\nu}}=(+,+,-,-), and the sub-index ν¨\ddot{\nu} are the conjugate of the sub-index ν˙\dot{\nu}, such that 1¨=2˙\ddot{1}=\dot{2}, 2¨=1˙\ddot{2}=\dot{1}, 3¨=4˙\ddot{3}=\dot{4} and 4¨=3˙\ddot{4}=\dot{3}. In comparison with the boson case, we cannot separate them in real and imaginary part. Due to, the generalized transformation, that we assume, has complex parameters. Therefore, we shall work with the full equations, which are more complicated than the standard equations for fermions in curved space-time, that themselves are complicated. An advantage for the hydrodynamic representation, that we found, is to give directly an interpretation of quantum theory through the De Broglie-Bohm interpretation.

6 Energy Balance

From equation (5), we can identify the different energy contributions to the Fermi gas, and obtain an energy balance equation for fermions analogous to the one obtained for bosons in [1, 2]. In order to simplify the notations, we can re-write the equation (5) in terms of the ν˙\dot{\nu} coefficients with the understanding that the subindex RR refers to each component R=1˙,2˙R=\dot{1},\dot{2} individually. We get

i[ω0ln(nν˙)+mμ(nν˙vμ)nν˙+ωnν˙t]\displaystyle i\left[-\omega\nabla_{0}\ln(n_{\dot{\nu}})+\dfrac{m\nabla_{\mu}(n_{\dot{\nu}}v^{\mu})}{n_{\dot{\nu}}}+\frac{\omega}{n_{\dot{\nu}}}\Box t\right] +\displaystyle+
2m2(K+1mωv0+12UN+UQ)+E+US\displaystyle 2m^{2}\left(K+\frac{1}{m}\omega{v^{0}}+\frac{1}{2}U^{N}+U^{Q}\right)+E+U^{S} =\displaystyle= 0.\displaystyle 0. (76)

The first line in eq. (6) describes the free density evolution of the fermions, while the contribution of the different energy terms appears in the second line. The first one is the kinetic energy Kν˙K_{\dot{\nu}} defined as

K=12vμvμ.\displaystyle K=\dfrac{1}{2}v_{\mu}v^{\mu}. (77)

The lapse potential UNU^{N} is given by

UN=ω2m21N2+1.\displaystyle U^{N}=\frac{\omega^{2}}{m^{2}}\frac{1}{N^{2}}+1. (78)

It represents the energy contribution due to the chosen lapse function NN. The quantum potential UQU^{Q} is defined as

UQ=12m2nν˙nν˙.U^{Q}=-\frac{1}{2m^{2}}\dfrac{\Box\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}. (79)

The contribution of the electromagnetic interaction EE is given by

E\displaystyle E =\displaystyle= (2NNkF0k+iϵljkF^ljσ~k),\displaystyle(2NN^{k}F_{0k}+i{\epsilon^{lj}}_{k}\hat{F}_{lj}\tilde{\sigma}^{k}),
=\displaystyle= 2N(F01N1+F02N2+F03N3)e1ν˙F13nν¨nν˙+i(e1ν˙F12+F23nν¨nν˙).\displaystyle 2N(F_{01}N^{1}+F_{02}N^{2}+F_{03}N^{3})-e_{1\dot{\nu}}F_{13}\sqrt{\frac{n_{\ddot{\nu}}}{n_{\dot{\nu}}}}+i\left(e_{1\dot{\nu}}F_{12}+F_{23}\sqrt{\frac{n_{\ddot{\nu}}}{n_{\dot{\nu}}}}\right).

It depends on the Faraday tensor, shift vector and lapse function that are related to the Pauli matrices. This relationship is due to the interaction between the electromagnetic field and the fermionic spin. Finally, the potential Uν˙SU^{S}_{\dot{\nu}} describes the interaction between the spin and the geometry of space-time. It is given by

US\displaystyle U^{S} =\displaystyle= ((mv^Rdων˙δ^d0)+D^αnν˙nν˙)Γbad𝕊¯a𝕊b,\displaystyle-\left((m\hat{v}_{Rd}-\omega_{\dot{\nu}}\hat{\delta}^{0}_{d})+\dfrac{\hat{D}_{\alpha}\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right)\Gamma^{d}_{ba}\bar{\mathbb{S}}^{a}\mathbb{S}^{b},
=\displaystyle= [Γ11a(1(N1)2)+Γ22a(1(N2)2)+Γ33a(1(N3)2)\displaystyle\left[\Gamma^{a}_{11}(1-({N^{1}})^{2})+\Gamma^{a}_{22}(1-({N^{2}})^{2})+\Gamma^{a}_{33}(1-({N^{3}})^{2})\right.
+\displaystyle+ 2e2ν˙(Γ31aN1+Γ32aN2+Γ30a)Γ00a]((mv^aωδ^a0)+D^anν˙nν˙)\displaystyle\left.2e_{2\dot{\nu}}(\Gamma^{a}_{31}N^{1}+\Gamma^{a}_{32}N^{2}+\Gamma^{a}_{30})-\Gamma^{a}_{00}\right]\left((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})+\frac{\hat{D}_{a}\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right)
+\displaystyle+ (2e3ν˙(Γ21aN2+Γ31aN3Γ10a)+2e1ν˙Γ31a)((mv^aωδ^a0)nν¨nν˙+D^anν¨nν˙)\displaystyle(-2e_{3\dot{\nu}}(\Gamma^{a}_{21}N^{2}+\Gamma^{a}_{31}N^{3}-\Gamma^{a}_{10})+2e_{1\dot{\nu}}\Gamma^{a}_{31})\left((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{\frac{n_{\ddot{\nu}}}{n_{\dot{\nu}}}}+\frac{\hat{D}_{a}\sqrt{n_{\ddot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right)
+\displaystyle+ i[2e1ν˙Γ21a((mv^aωδ^a0)+D^anν˙nν˙)\displaystyle i\left[-2e_{1\dot{\nu}}\Gamma^{a}_{21}\left((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})+\frac{\hat{D}_{a}\sqrt{n_{\dot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right)\right.
\displaystyle- 2(Γ21aN1Γ32aN3+Γ20a+e2ν˙Γ32a)((mv^aωδ^a0)nν¨nν˙+D^anν¨nν˙)],\displaystyle\left.2(\Gamma^{a}_{21}N^{1}-\Gamma^{a}_{32}N^{3}+\Gamma^{a}_{20}+e_{2\dot{\nu}}\Gamma^{a}_{32})\left((m\hat{v}_{a}-\omega\hat{\delta}^{0}_{a})\sqrt{\frac{n_{\ddot{\nu}}}{n_{\dot{\nu}}}}+\frac{\hat{D}_{a}\sqrt{n_{\ddot{\nu}}}}{\sqrt{n_{\dot{\nu}}}}\right)\right], (82)

Note that USU^{S} disappears if we assume a flat space-time or if we consider particles without spin. Furthermore, USU^{S} is constructed with the generalized gamma matrices (46), which are related to the spin (the Pauli matrices) and to the space-time geometry (tetrads).

Finally, we can also write equation (27) as a Gross-Pitaevskii-like equation. If we perform the transformation ψ=Ψeiω0t\psi=\Psi e^{i\omega_{0}t}, where Ψ\Psi is a four spinor that depends on all the variables xμx^{\mu}, equation (27) becomes

i0Ψ12ω0EΨ+m22ω0Ψ+(ω0N22qA0+it)Ψ\displaystyle i\nabla^{0}\Psi-\frac{1}{2\omega_{0}}\Box_{E}\Psi+\frac{m^{2}}{2\omega_{0}}\Psi+\left(-\frac{\omega_{0}}{N^{2}}-2qA^{0}+i\Box t\right)\Psi +\displaystyle+
12ω0(2NNkF0k+iF^ijϵijkσ~k002NNkF0k+iF^ijϵijkσ~k)Ψ\displaystyle\frac{1}{2\omega_{0}}\left(\begin{matrix}2NN^{k}F_{0k}+i\hat{F}_{ij}{\epsilon^{ij}}_{k}\tilde{\sigma}^{k}&0\\ 0&-2NN^{k}F_{0k}+i\hat{F}_{ij}{\epsilon^{ij}}_{k}\tilde{\sigma}^{k}\end{matrix}\right)\Psi \displaystyle-
12ω0(𝕊¯a𝕊b00𝕊a𝕊¯b)Γbad(D^dΨ+iω0Nδd0Ψ)\displaystyle\frac{1}{2\omega_{0}}\left(\begin{matrix}\bar{\mathbb{S}}^{a}\mathbb{S}^{b}&0\\ 0&\mathbb{S}^{a}\bar{\mathbb{S}}^{b}\end{matrix}\right)\Gamma^{d}_{ba}(\hat{D}_{d}\Psi+i\omega_{0}N\delta^{0}_{d}\Psi) =\displaystyle= 0.\displaystyle 0. (83)

Equation (6) is the generalization of the Gross-Pitaevskii equation[34] for fermions with electromagnetic field interaction in an arbitrary space-time.

7 Conclusions

A non-standard representation for fermions was worked using an analogy as in the boson and quantum mechanics case, where it was proposed the Madelung transformation. We extended this transformation for the spinor case, either Dirac or Weyl fermions. Thus, it was possible to get a successful hydrodynamic representation for fermions in an arbitrary framework coupled to an electromagnetic field. Although, the full equations that describe the Fermi gas behaviour are more complicated than in standard description. This is closer to the De Broglie-Bohm interpretation in quantum theory, where the measure problem can be solved by a statistic way. Furthermore, a non-obvious result using this new description was the first law of the thermodynamics or the energy balance equation, where different energy contributions of these kind of particles were found.

The main difference between the hydrodynamic representation of bosons [1][2] and fermions, concerns the form of the Bernoulli equation. For bosons, after doing the Madelung transformation, we can separate the KG equation into real and imaginary parts. By contrast, for fermion particles we have to work with the complete equations of motion because the real and imaginary parts cannot be easily separated. This is related to the fact that the gamma matrices are a representation of the SO(1,3)(1,3) group and the generalized Madelung transformation used, because it only admits complex parameter to fulfill the Lorentz invariance.

The spin is a fundamental outcome of the Dirac equation [33], which combines both elements of special relativity and quantum mechanics, that was introduced to solve the problem of negative probability present in the KG equation – first proposed as a relativistic generalization of the Schrödinger equation. Here, we observe that the general relativistic Dirac equation involves an additional contribution due to geometry and spin through the generalized gamma and Pauli matrices. These terms arise from endowing a quantum field with a curvature (geometry) given by a metric in General Relativity. Such a contribution is absent in a flat space-time and in a system without spin as for a scalar field.

With this work we open the possibility of studying in detail the behavior of fermions in different situations (such as massive stars or dark matter halos harboring a central black hole), where general relativity effects may be important. We solved the problem of energy balance for both bosons and fermions. In this manner, we can compare the result of the hydrodynamic representation for classical and quantum fluids in the various geometries mentioned above.

8 Acknowledgments

This work was partially supported by CONACyT México under grants: A1-S-8742, 304001, 376127; Project No. 269652 and Fronteras Project 281;Xiuhcoatl and Abacus clusters at Cinvestav, IPN; I0101/131/07 C-234/07 of the Instituto Avanzado de Cosmología (IAC) collaboration (http:// www.iac.edu.mx). O.G. acknowledges financial support from CONACyT doctoral fellowship and appreaciates Angelica C. Aguirre Castañón for her valuable review and support. Works of T.M. are partially supported by Conacyt through the Fondo Sectorial de Investigación para la Educación, grant CB-2014-1, No. 240512.

References

  • [1] T. Matos, A. Avilez, T. Bernal, and P.-H. Chavanis, “Energy balance of a Bose gas in a curved space-time,” Gen. Rel. Grav., vol. 51, no. 12, p. 159, 2019.
  • [2] P.-H. Chavanis and T. Matos, “Covariant theory of Bose-Einstein condensates in curved spacetimes with electromagnetic interactions: the hydrodynamic approach,” Eur. Phys. J. Plus, vol. 132, no. 1, p. 30, 2017.
  • [3] D. Bohm, “A Suggested interpretation of the quantum theory in terms of hidden variables. 1.,” Phys. Rev., vol. 85, pp. 166–179, 1952.
  • [4] D. Bohm, “A Suggested interpretation of the quantum theory in terms of hidden variables. 2.,” Phys. Rev., vol. 85, pp. 180–193, 1952.
  • [5] D. BOHM and J. BUB, “A Proposed Solution of the Measurement Problem in Quantum Mechanics by a Hidden Variable Theory,” Rev. Mod. Phys., vol. 38, pp. 453–469, 1966.
  • [6] N. D. Birrell and P. C. W. Davies, Quantum Fields in Curved Space. Cambridge Monographs on Mathematical Physics, Cambridge, UK: Cambridge Univ. Press, 2 1984.
  • [7] R. Penrose and W. Rindler, SPINORS AND SPACE-TIME. VOL. 2: SPINOR AND TWISTOR METHODS IN SPACE-TIME GEOMETRY. Cambridge Monographs on Mathematical Physics, Cambridge University Press, 4 1988.
  • [8] R. M. Wald, Quantum Field Theory in Curved Space-Time and Black Hole Thermodynamics. Chicago Lectures in Physics, Chicago, IL: University of Chicago Press, 1995.
  • [9] P. Collas and D. Klein, The Dirac Equation in Curved Spacetime: A Guide for Calculations. SpringerBriefs in Physics, Springer, 2019.
  • [10] W. L. Bade and H. Jehle, “An introduction to spinors,” Rev. Mod. Phys., vol. 25, pp. 714–728, Jul 1953.
  • [11] C. G. de Oliveira and J. Tiomno, “Representations of Dirac equation in general relativity,” Nuovo Cim., vol. 24, no. 4, pp. 672–687, 1962.
  • [12] E. Fischbach, B. S. Freeman, and W.-K. Cheng, “General-relativistic effects in hydrogenic systems,” Phys. Rev. D, vol. 23, pp. 2157–2180, May 1981.
  • [13] L. Parker, “One-electron atom as a probe of spacetime curvature,” Phys. Rev. D, vol. 22, pp. 1922–1934, Oct 1980.
  • [14] D. R. Brill and J. A. Wheeler, “Interaction of neutrinos and gravitational fields,” Rev. Mod. Phys., vol. 29, pp. 465–479, Jul 1957.
  • [15] K. Konno and M. Kasai, “General Relativistic Effects of Gravity in Quantum Mechanics: A Case of Ultra-Relativistic, Spin 1/2 Particles,” Progress of Theoretical Physics, vol. 100, pp. 1145–1157, 12 1998.
  • [16] M. Arminjon and F. Reifler, “Basic quantum mechanics for three Dirac equations in a curved spacetime,” Braz. J. Phys., vol. 40, pp. 242–255, 2010.
  • [17] M. Arminjon and F. Reifler, “Equivalent forms of Dirac equations in curved spacetimes and generalized de Broglie relations,” Braz. J. Phys., vol. 43, pp. 64–77, 2013.
  • [18] M. Arminjon and F. Reifler, “Four-vector vs. four-scalar representation of the Dirac wave function,” Int. J. Geom. Meth. Mod. Phys., vol. 09, p. 1250026, 2012.
  • [19] M. Pollock, “On the Dirac equation in curved spacetime,” Acta Physica Polonica B, vol. 41, p. 8, 2010.
  • [20] R. L. Arnowitt, S. Deser, and C. W. Misner, “The Dynamics of general relativity,” Gen. Rel. Grav., vol. 40, pp. 1997–2027, 2008.
  • [21] M. Alcubierre, “Introduction to 3+1 Numerical Relativity,” International Series of Monographs on Physics (OUP Oxford), 2008.
  • [22] S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time. Cambridge Monographs on Mathematical Physics, Cambridge University Press, 2 2011.
  • [23] M. Nakahara, Geometry, topology and physics. IOP Publishing, second edition ed., 2003.
  • [24] O. Gallegos and T. Matos, “Weak gravitational quantum effects in boson particles,” Gen. Rel. Grav., vol. 53, no. 4, p. 50, 2021.
  • [25] R. M. Wald, General Relativity. The University of Chicago Press, first edition ed., 1984.
  • [26] N. J. Poplawski, “Covariant differentiation of spinors for a general affine connection,” 10 2007.
  • [27] S. Weinberg, The Quantum Theory of Fields. Press Syndicate of the University of Cambridge, first edition ed., 1995.
  • [28] I. J. R. Aitchison and A. J. G. Hey, Gauge Theories in Particles Physics Volume 1: From Relativistic Quantum Mechanics to QED. CRC Press, third edition ed., 2003.
  • [29] T. Lancaster and S. J. Blundell, Quantum Field Theory for the Gifted Amateur. Oxford University Press, first edition ed., 2014.
  • [30] E. Noether, “Invariante variantionsprobleme,” Nachr. d. Kgl. Ges d. Wiss (Math. phys. Klasse), Göttingen, p. 235, 1918.
  • [31] E. Madelung, “Quantentheorie in Hydrodynamischer Form,” Zeitschrift für Physik, vol. 40, pp. 322–326, 1927.
  • [32] Y.-Q. Gu, “Simplification of the covariant derivatives of spinors,” 10 2006.
  • [33] P. A. M. Dirac, “The quantum theory of the electron,” Proc. Roy. Soc. Lond. A, vol. 117, pp. 610–624, 1928.
  • [34] E. P. Gross, “Structure of a quantized vortex in boson systems,” Il Nuovo Cimento (1955-1965), vol. 20, pp. 454–477, 1961.

Appendix A Solutions to the Dirac equation in flat space-time

Equation (5) in flat space-time, using the Pauli matrices (35), reads

[tψyxψz+iyψzzψymψttψzxψyiyψy+zψzmψxtψt+xψxiyψx+zψtmψytψx+xψt+iyψtzψxmψz]=0,\displaystyle\left[\begin{array}[]{c}{\frac{\partial}{\partial t}}\psi_{y}-{\frac{\partial}{\partial x}}\psi_{z}+i{\frac{\partial}{\partial y}}\psi_{z}-{\frac{\partial}{\partial z}}\psi_{y}-m\psi_{t}\\ \vskip 6.0pt plus 2.0pt minus 2.0pt\cr{\frac{\partial}{\partial t}}\psi_{z}-{\frac{\partial}{\partial x}}\psi_{y}-i{\frac{\partial}{\partial y}}\psi_{y}+{\frac{\partial}{\partial z}}\psi_{z}-m\psi_{x}\\ \vskip 6.0pt plus 2.0pt minus 2.0pt\cr{\frac{\partial}{\partial t}}\psi_{t}+{\frac{\partial}{\partial x}}\psi_{x}-i{\frac{\partial}{\partial y}}\psi_{x}+{\frac{\partial}{\partial z}}\psi_{t}-m\psi_{y}\\ \vskip 6.0pt plus 2.0pt minus 2.0pt\cr{\frac{\partial}{\partial t}}\psi_{x}+{\frac{\partial}{\partial x}}\psi_{t}+i{\frac{\partial}{\partial y}}\psi_{t}-{\frac{\partial}{\partial z}}\psi_{x}-m\psi_{z}\end{array}\right]=0, (88)

where we have defined the spinor as ψ=(ψμ˙)=(ψx,ψy,ψz,ψt)T\psi=(\psi_{\dot{\mu}})=(\psi_{x},\psi_{y},\psi_{z},\psi_{t})^{T}. In order to find an exact solution of the previous equation, we use the ansatz ψμ˙=R0μ˙exp(i(x0x+y0y+z0z+t0t))\psi_{\dot{\mu}}=R_{0\dot{\mu}}\exp(i(x_{0}x+y_{0}y+z_{0}z+t_{0}t)), where x0t0x_{0}\cdots t_{0} and R0μ˙R_{0\dot{\mu}} are constants. Here, we have the simplest solutions of the Dirac equation where the exponential is the same for all components. We obtain four linear equations

iR0zζ0+iR0yη0+mR0t\displaystyle iR_{0z}\zeta_{0}^{*}+iR_{0y}\eta_{0}+mR_{0t} =\displaystyle= 0,\displaystyle 0,
iR0yζ0iR0zξ0+mR0x\displaystyle iR_{0y}\zeta_{0}-iR_{0z}\xi_{0}+mR_{0x} =\displaystyle= 0,\displaystyle 0,
R0xζ0+R0tξ0+imR0y\displaystyle R_{0x}\zeta_{0}^{*}+R_{0t}\xi_{0}+imR_{0y} =\displaystyle= 0,\displaystyle 0,
R0tζ0R0xη0+imR0z\displaystyle R_{0t}\zeta_{0}-R_{0x}\eta_{0}+imR_{0z} =\displaystyle= 0,\displaystyle 0, (89)

where ζ0=x0+iy0\zeta_{0}=x_{0}+iy_{0}, η0=z0t0\eta_{0}=z_{0}-t_{0}, and ξ0=z0+t0\xi_{0}=z_{0}+t_{0}. The solutions of these equations are

R0t\displaystyle R_{0t} =\displaystyle= 1m(iR0yη0+iR0zζ0),\displaystyle-\frac{1}{m}(iR_{0y}\eta_{0}+iR_{0z}\zeta_{0}),
R0x\displaystyle R_{0x} =\displaystyle= 1m(iR0zξ0iR0yζ0),\displaystyle\frac{1}{m}(iR_{0z}\xi_{0}-iR_{0y}\zeta_{0}^{*}), (90)

where x02+y02+z02t02=m2x_{0}^{2}+y_{0}^{2}+z_{0}^{2}-t_{0}^{2}=m^{2}.

Now, we use the ansatz ψμ=R0μexp(iθ)\psi_{\mu}=R_{0\mu}\exp(i\theta), where θ\theta is an arbitrary function of the coordinates. Substituting this ansatz into (88), we obtain

iR0zZ0+iR0yE0+mR0t\displaystyle iR_{0z}Z_{0}^{*}+iR_{0y}E_{0}+mR_{0t} =\displaystyle= 0,\displaystyle 0,
iR0yZ0iR0zF0+mR0x\displaystyle iR_{0y}Z_{0}-iR_{0z}F_{0}+mR_{0x} =\displaystyle= 0,\displaystyle 0,
R0xZ0+R0tF0+imR0y\displaystyle R_{0x}Z_{0}^{*}+R_{0t}F_{0}+imR_{0y} =\displaystyle= 0,\displaystyle 0,
R0tZ0R0xE0+imR0z\displaystyle R_{0t}Z_{0}-R_{0x}E_{0}+imR_{0z} =\displaystyle= 0,\displaystyle 0, (91)

where Z0=θ,x+iθ,yZ_{0}=\theta_{,x}+i\theta_{,y}, E0=θ,zθ,tE_{0}=\theta_{,z}-\theta_{,t}, and F0=θ,z+θ,tF_{0}=\theta_{,z}+\theta_{,t}. The solution of the previous system of differential equations is

θ\displaystyle\theta =\displaystyle= F(X)it\displaystyle F(X)-it (92)
+\displaystyle+ m2R0tR0z+2R0xR0y(iζ0(R0x2R0z2)iζ0(R0y2R0t2)),\displaystyle\frac{m}{2R_{0t}R_{0z}+2R_{0x}R_{0y}}\left(i\zeta_{0}^{*}(R_{0x}^{2}-R_{0z}^{2})-i\zeta_{0}(R_{0y}^{2}-R_{0t}^{2})\right),

where F(X)F(X) is an arbitrary function of

X=R0t(ζR0yζR0x+ξR0yηR0z)2R0tR0z+2R0xR0y.X=\frac{R_{0t}(-\zeta R_{0y}-\zeta^{*}R_{0x}+\xi R_{0y}-\eta R_{0z})}{2R_{0t}R_{0z}+2R_{0x}R_{0y}}. (93)