Abstract
We consider the Dirac equations in static spherically-symmetric space-times, and we present a type of spinor field whose structure allows the separation of elevation angle and radial coordinate in very general situations. We demonstrate that after such a separation of variables the Dirac equations reduce to two equations that can always be integrated, at least in principle. To prove that ours is a fully-working method, we find an explicit exact solution in the special case of the de Sitter universe.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Dirac theory is arguably one of the most far-reaching physical theory, both for its role in the standard model of high-energy particles and for modeling low-energy systems [1,2,3,4,5,6,7,8]. Yet, finding exact solutions to the Dirac equations is still a rather complicated problem, at least in general \((3+1)\)-dimensional space-times.
One feature that seems to be particularly problematic is the fact that the Dirac spinor, being characterized by an intrinsic spin axial-vector, naturally selects a specific spatial direction, so that the consequent lack of isotropy seems to be compatible only with axially-symmetric metrics [9,10,11]. Just the same, the quest for exact solutions with spherical symmetry retains a certain appeal due to the simplicity of such material distributions.
Correspondingly, in the past there have been several attempts at finding spinor fields that are compatible with a spherically-symmetric background. Because the presence of the spin axial-vector breaks the rotational invariance of the spinor system, any attempt at finding spinor fields that are compatible with spherical symmetry must limit the impact of the spin structures on the background. There are two ways in which this can be done, the first consisting in the inclusion of self-interactions of specific structure that can cancel all spin contributions [12,13,14,15]. The second consists in considering multi-particle situations so that the spins cancel, either by averaging out in random configurations [16,17,18,19,20] or because two spinors are taken as a singlet state where the spins are opposite [21,22,23,24].
Recently, an interesting application to Dirac particles in materials having non-trivial curvature was discussed [25].
In the special de Sitter case, exact solutions are discussed for example in [26,27,28,29,30,31]. The approach followed in these references, however, is heavily dependent on the fact that the underlying metric be de Sitter in strict sense.
In the present work we wish to present a procedure that would ensure the Dirac spinor field equation to be integrated in static and spherically-symmetric space-times, without any further assumptions whether they are on interactions or on spin configurations. By extrapolating the general structure of the spinor field that is compatible with Schwarzschild-like metrics, we will see that the corresponding Dirac equations will split, reducing to an angular part that can always be integrated, and a radial part that can always be converted to a Riccati equation, and so always integrable.
We show the viability of our method with a specific example, given by the de Sitter case. The fact that in the specific de Sitter case our method gives results that are similar to those obtained in the literature under more restrictive conditions is to be seen as a sign of consistency of our approach.
2 Dirac equations with static spherical symmetry
The initial step of our construction is that of writing the Dirac spinor field equations in static and spherically-symmetric space-time metrics. In spherical coordinates these are given by
where B(r) and A(r) are functions of the radial variable r alone. A basic argument on the Killing structure of this space-time suggests that the temporal/azimuthal dependence be split from the elevation/radial dependence, but we still retain the right to have some freedom in choosing the frame in the \((t-\varphi )\) and the \((\theta -r)\) plane. Consequently we pick the dual sets of frame and coframe given by
and
where \(\rho (r,\theta )\) and \(\alpha (r,\theta )\) are suitable functions of the coordinates r and \(\theta\) only. Of course \(\eta _{\mu {\nu }}e^\mu \otimes e^\nu =g\) with \(\mu ,\nu =1,\ldots ,4\) and \(\eta _{\mu {\nu }}=\textrm{diag}(-1,-1,-1,1)\) setting our convention on the signature of the Minkowski metric.
We recall that, given a space-time M endowed with a metric tensor \(g_{ij}\) and a linear connection \(\Gamma _{ij}^{\,\,\,h}\), the covariant derivative of a spinor field \(\psi\) is defined as
where
are the coefficients of the spin derivative associated with the metric tensor \(g_{ij}\) and a linear connection \(\Gamma _{ij}^{\,\,\,h}\) with \(Y^i:=\gamma ^\mu e_\mu ^i\) (in standard notation we would have \(Y^i:=\gamma ^i\) but we prefer to keep these two matrices distinguished for clarity). The Clifford matrices \(\gamma ^\mu\) are of course those belonging to the Clifford algebra (see [32] for general identities holding among them). For brevity, hereafter we adopt the notation \(f_x:=\partial {f}/\partial {x}\) to indicate the partial derivative of the function f with respect to the x variable. Then, the metric (1), its Levi–Civita connection and the tetrad fields (2) and (3) induce coefficients of the spinorial derivative expressed as
as those that will be used in the spinorial covariant derivative \(D_{j}\psi\) in the Dirac equations. As for the Dirac equations themselves, they will be taken as
in which the tetrad fields (3) define the soldering and at the same time encode all information about the background gravitational field. These are the field equations of which we are going to look for solutions next. It is important to specify that our candidate solution will not be a solution of the fully-coupled system of field equations. It will be the exact solution of the Dirac spinorial field equation in a given space-time without backreaction of the spinor on the metric itself. Hence our aim will be focused on the Dirac equations alone, and not on the Einstein equations.
3 Integrability of a special spinor field
We set ourselves the task of finding a suitable structure for the spinor field compatible with the above Dirac equations. To guide our intuition, let us have a look at standard solutions of the Dirac equations, that is in the two known integrable cases, given by the Coulomb and elastic potentials [32]. Both have the same static spherical symmetry, so our hope is that, albeit different, these two exact solutions might still share some general features that can be taken as basis to constitute a tentative solution also in the case considered in the previous section.
While this hope is justified (and we will in fact find similarities), it is nevertheless very difficult to infer analogous characters between different spinor fields when these spinor fields are compared in different situations. In other words, if we compare spinor fields some of their similar properties might appear different in different frames, and as a consequence we would not see them. Therefore our first step will be that of bringing these two exact solutions in the same frame. This frame will be that in which the spinor field is (locally) at rest and with spin aligned along the third axis. In this circumstance (and only in this circumstance) every difference between the two cases is in fact a real difference. And consequently all analogous characters will be very easily recognized.
When a spinor field is brought into the frame in which it is at rest and with spin aligned along the third axis, it is possible to demonstrate that its general structure is given (in chiral representation) by
with \(\alpha\) a phase and \(\phi\) and b being the module and chiral angle given by \(\bar{\psi }\psi \!=\!2\phi ^{2}\cos {b}\) and \(i\bar{\psi }\gamma ^{5}\psi \!=\!2\phi ^{2}\sin {b}\) [33].
The exact solution for the hydrogen atom is given (for the 1S orbital) by a spinor field that, in this frame, has
with tetrads
in which we have introduced
and \(\Gamma \!=\!\sqrt{1-\alpha ^{2}}\) as usual [32]. The exact solution for the harmonic oscillator is given (in ground state) by a spinor field that, in the very same frame, has
with tetrads
where now we have defined
and \(a\!=\!(E\!-\!m)/2\omega\) with \(E^{2}\!=\!m^{2}\!+\!6\omega\) [32]. As is clear to a visual comparison, the two types of potentials give rise to two types of solutions that are in fact different, but the spherical symmetry also restricts them to have remarkable analogies. It is indeed obvious that both chiral angles can be written as
with
for the hydrogen atom and
for the harmonic oscillator. Notice that the same (22-23) also make the two sets of tetrads coincide. So the hydrogen atom and the harmonic oscillator are two structurally-analogous solutions, the difference being given by the different functional dependence of the function X in the two cases. We can therefore guess that the different form of X is due to the different potentials, but the similar structure of the spinor is due to the spherical symmetry [34, 35].
Hence, we may extrapolate that such a structure might be a candidate spinor also for other situations of spherical symmetry such as Schwarzschild-like metrics. We thus assume that, in rest-frame and spin-eigenstate, the spinor be
where the phase has been written in the usual form in terms of the energy m and the angular momentum L for now not better specified. The module has also been written in terms of a function \(\nu (r,\theta )\) for easier manipulation of the formulas later on. The chiral angle \(b(r,\theta )\) will be chosen according to the above (21) and so such that
in terms of a function \(\zeta (r,\theta )\) unspecified for the moment. As for the tetrads we assume the functions \(\rho\) and \(\alpha\) to be
in terms of the same \(\zeta\) function. This specifies the full structure of the candidate solution.
When the spinor field (24) is substituted into the Dirac equations (7) these reduce to the four real equations
and when also the chiral angle (25) together with the functions (26) in the tetrads (2) and (3) are all plugged in we further obtain that \(\zeta _\theta =0\) so that \(\zeta =\zeta (r)\) verifying
as well as
for which the conditions of the Schwarz theorem are met, as a direct check would easily show.
It is convenient to express \(\zeta (r)\) in terms of another function Z(r) as
in terms of which now (28), (29a) and (29b) become respectively
resulting in what does not seem much of a simplification. However, the last two equations can be integrated giving
in terms of a function N(r) that has to verify
yielding the function N(r) once Z(r) is known and with Z(r) being obtained from (31). Equation (31) itself is a Riccati equation which can always be reduced to a linear equation through the Cole–Hopf transformation
in terms of yet another function z(r) which is the final step of the solutive process. The knowledge of z(r) would entail, via the inverse Cole–Hopf, that of Z(r) which, in turn, gives the N(r) function after integration of (35). Then, functions \(\nu (r)\) and \(\zeta (r)\) are determined by (34) and (30), and eventually (25) and (26) furnish \(b(r,\theta )\), \(\rho (r,\theta )\) and \(\alpha (r,\theta )\) so that the spinor field (24) and tetrads (2) are fully determined. In doing so, the full set of Dirac equations has been effectively reduced to only two equations: one is equation (35), in terms of which we can get N after integration once Z is given; and the other is equation (31), giving Z as solution of a differential equation of Riccati type.
As is clear, then, all angular dependence has been separated, leaving only two equations for the radial dependence of the only two functions to be determined. The candidate solution of the form given above, in rest-frame and spin-eigenstate, with a chiral angle (25), together with (26), has in fact a structure that allows for a complete separation of angular and radial parts, and henceforth for the whole integration of the Dirac equations.
The problem of finding a way to obtain exact solutions for the spinor equations is now solved completely.
4 Exact solutions in the de Sitter space–time
In the previous section, we have provided a structure for the spinor field that allows the Dirac spinor field equations written in static and spherical metrics to be always separated, and hence integrated at least in general circumstances.
In the present section, we will show the general outlines to actually carry on the procedure till the end, finding the explicit solution for one explicit case. As an example of explicit case, we will choose the specific metric given by the de Sitter space–time, for two reasons. One is that the de Sitter metric is sufficiently symmetric to ensure that no unnecessary complications will arise (thus keeping the example at its simplest). The other is that the de Sitter universe is what best approximates the behavior of cosmological observations soon after the initial singularity and in recent epochs (the two times in which the universe was dominated by a form of cosmological constant).
The de Sitter metric is given by
defined in the domain \(0\!\le \!r\!\le \!1/\sqrt{K}\) for the chosen coordinates. We also take \(L=-1/2\) because the spinor in which we are interested is just the spin-1/2 spinor after all. Anyway, this choice will be better motivated later.
Now, in this circumstance, equation (31) assumes the expression
so that after performing the Cole–Hopf transformation
we get that (38) is linearized into
which can always be solved. It is convenient to change the variable according to
and express the mass of the spinor field as
for the sake of simplicity. In terms of the new variable and constant, (40) acquires the form
which admits the exact solution
where
and with \(C_1\) and \(C_2\) two complex integration constants. In (45), F(a, b; c; z) is the Gauss hypergeometric function (see for instance the general reference [36]). By expansions to arbitrary orders, we can prove that (45a) and (45b) are complex conjugates of each other. Therefore, the conditions \(C_2=\bar{C}_1\) ensures that (44) is real as it actually has to be.
The Cole–Hopf transformation (39), in terms of the variable p, is
whereas the analogous (35), always in terms of p, is
which can be integrated as
with Q an integration constant. As it stands, the problem is now fully solved, up to variable changes and substitutions.
Once the function z(p) (or z(r)) is known, so are the functions Z(p) and N(p) (respectively Z(r) and N(r)) from (46) and (48), and therefore all the remaining functions are determined. Just the same, one must verify that the two integrals given by
converge to ensure the well–posedness of all quantities of physical meaning. In this regard it should be noted that we could have solved the problem by choosing L with an arbitrary value. But at this point, the integrals (49) would be seen to converge only for \(L<1/2\) strictly. This justifies the choice \(L=-1/2\) we made above. The convergence of (49) is in turn ensured by that of
and because
we only need to prove the convergence of the last integral, which is much easier. By employing (46) and (48), we get the further relation
and in view of (44), we also derive
which, together with the regularity of the functions \(Q_1(p)\) and \(Q_{2}(p)\) and their derivatives, prove the convergence of both integrals in (52) in a neighborhood of \(p=0\). To discuss instead the convergence in a neighborhood of \(p=1\), it is more convenient to perform another change of variable as
leading to
where now the convergence has to be proved in a neighborhood of \(v=0\). By developing z(v) in series at \(v=0\) according to
one finds that the first three coefficients are given by
and the convergence condition is granted by requiring that \(T_1=0\) identically. Explicitly this is
with
and because this condition can always be obtained the convergence is finally established. The solution (44), (46) and (48) is physically acceptable, and as a consequence the found spinor field represents a meaningful material distribution.
We notice two things about the above coefficients. One is that from a purely numerical perspective, we can write relation (42) as \(\alpha \!\approx \!-l_{\textrm{Universe}}/l_{\textrm{Compton}}\) where \(l_{\textrm{Universe}}\) is the radius of the observable Universe and \(l_{\textrm{Compton}}\) the Compton length of the particle. This means that \(\alpha\) is negative and with an absolute value that is impressively large, so that it makes sense to take the limit \(\alpha \!\rightarrow \!-\infty\). When this is done (58) tends to
which is a remarkably simple value. The second thing is that the vanishing of the coefficient of the quadratic term is granted by the validity of the field equation
in the limit for v that goes to zero. Notice also that with (61) one can also establish the relations tying all other coefficients of the expansion (in this way one can prove for example that \(T_{3}=T_{1}/4\!\rightarrow \!0\) and that \(T_{4}=-T_{0}\alpha ^2/3\)).
As a conclusive remark, we point out that the problem would have a similar solution in terms of Gauss hypergeometric functions also in the case of an anti–de Sitter space–time. More in detail, in this case the problem is solved by matching two distinct solutions, one defined in a neighborhood of \(r=0\) and the other defined in a neighborhood of \(r=\infty\), again ensuring the convergence of (49). The full procedure is perfectly analogous to the one we that have presented here above. We are not going to deepen the discussion on anti–de Sitter metrics, however, since the treatment is more involuted from a purely mathematical perspective without really bringing any new element of clarity.
5 Conclusion
In this paper, we have considered the Dirac equation on a background metric of Schwarzschild type, that is static and with spherical symmetry, tackling the problem of finding a special spinor field that could split the Dirac equations in angular and radial parts, so to have them integrated. We have found such a Dirac spinor, given by (24) with a chiral angle (25), which was defined for a background described by the tetrads (3) with \(\rho\) and \(\alpha\) given by (26), and we have proved that the separability was obtained. We also proved that after separation, the full set of equations reduced to only two equations, and we discussed how they could always be integrated, at least in principle.
In practice, we have specialized to the de Sitter universe and, in this case, we have carried on all computations.
The same form (25-26) can also be used, by construction, to find more general solutions of hydrogen-like atoms.
Quite generally, the procedure we outlined is useful in any case where static/spherical backgrounds are considered.
Data Availability Statement
This manuscript has no data available. The manuscript has associated data in a data repository
References
M.Z. Hasan, C.L. Kane, Topological insulators. Rev. Mod. Phys. 82, 3045 (2010)
O. Boada, A. Celi, M. Lewenstein, J. Rodríguez-Laguna, J.I. Latorre, Quantum simulation of non-trivial topology. New J. Phys. 17, 045007 (2015)
D. Suchet, M. Rabinovic, T. Reimann, N. Kretschmar, F. Sievers, C. Salomon, J. Lau, O. Goulko, C. Lobo, F. Chevy, Analog simulation of Weyl particles with cold atoms. EPL 114, 26005 (2016)
K.S. Novoselov, A.K. Geim, S.V. Morozov, D. Jiang, M.I. Katsnelson, I.V. Grigorieva, S.V. Dubonos, A.A. Firsov, Two-dimensional gas of massless Dirac fermions in graphene. Nature 438, 197 (2005)
M.I. Katsnelson, K.S. Novoselov, A.K. Geim, Chiral tunneling and the Klein paradox in graphene. Nat. Physics 2, 620 (2006)
P. Schwerdtfeger, L.F. Pašteka, A. Punnett, P.O. Bowman, Relativistic and quantum electrodynamic effects in superheavy elements. Nucl. Phys. A 944, 551 (2015)
L.F. Pašteka, E. Eliav, A. Borschevsky, U. Kaldor, P. Schwerdtfeger, Relativistic coupled cluster calculations with variational quantum electrodynamics resolve the discrepancy between experiment and theory concerning the electron affinity and ionization potential of gold. Phys. Rev. Lett. 118, 023002 (2017)
J. Autschbach, Perspective: relativistic effects. J. Chem. Phys. 136, 150902 (2012)
R. Cianci, L. Fabbri, S. Vignolo, Axially-symmetric exact solutions for flagpole fermions with gravity. Eur. Phys. J. Plus 135, 131 (2020)
R. Cianci, L. Fabbri, S. Vignolo, Critical exact solutions for self-gravitating Dirac fields. Eur. Phys. J. C 76, 595 (2016)
R. Cianci, L. Fabbri, S. Vignolo, Exact solutions for Weyl fermions with gravity. Eur. Phys. J. C 75, 478 (2015)
M. Soler, Classical, stable, nonlinear spinor field with positive rest energy. Phys. Rev. D 1, 2766 (1970)
A.F. Ranada, Classical nonlinear Dirac field models of extended particles. Math. Phys. Stud. 4, 271 (1983)
B. Saha, Spinor fields in spherically symmetric space-time. Eur. Phys. J. Plus 133, 461 (2018)
K.A. Bronnikov, Y.P. Rybakov, B. Saha, Spinor fields in spherical symmetry: Einstein-Dirac and other space-times. Eur. Phys. J. Plus 135, 124 (2020)
C.A.R. Herdeiro, A.M. Pombo, E. Radu, Asymptotically flat scalar, Dirac and Proca stars: discrete vs. continuous families of solutions. Phys. Lett. B 773, 654 (2017)
C. Herdeiro, I. Perapechka, E. Radu, Ya.. Shnir, Asymptotically flat spinning scalar, Dirac and Proca stars. Phys. Lett. B 797, 134845 (2019)
V. Dzhunushaliev, V. Folomeev, Dirac star in the presence of Maxwell and Proca fields. Phys. Rev. D 99, 104066 (2019)
J.L. Blázquez-Salcedo, C. Knoll, E. Radu, Boson and Dirac stars in \(D\ge 4\) dimensions. Phys. Lett. B 793, 161 (2019)
J.L. Blázquez-Salcedo, C. Knoll, Constructing spherically symmetric Einstein-Dirac systems with multiple spinors: Ansatz, wormholes and other analytical solutions. Eur. Phys. J. C 80, 174 (2020)
F. Finster, J. Smoller, S. Yau, Particle-like solutions of the Einstein-Dirac equations. Phys. Rev. D 59, 104020 (1999)
F. Finster, J. Smoller, S. Yau, Non-existence of black hole solutions for a spherically symmetric, static Einstein-Dirac-Maxwell system. Commun. Math. Phys. 205, 249 (1999)
F. Finster, J. Smoller, S. Yau, Non-existence of time periodic solutions of the Dirac equation in a Reissner-Nordstrom black hole background. J. Math. Phys. 41, 2173 (2000)
F. Finster, J. Smoller, S. Yau, Absence of stationary, spherically symmetric black hole solutions for Einstein-Dirac-Yang-Mills equations with angular momentum. Adv. Theor. Math. Phys. 4, 1231 (2002)
B. Bagchi, A. Gallerati, R. Ghosh, Dirac equation in curved spacetime: the role of local Fermi velocity. Eur. Phys. J. Plus 138, 1037 (2023)
P.A.M. Dirac, The Electron Wave Equation in De-Sitter Space. Ann. Math. 36, 657 (1935)
K.C. Hannabuss, The Dirac equation in de Sitter space. J. Phys. A: Gen. Phys. 2, 274 (1969)
V.V. Klishevich, V.A. Tyumentsev, On the solution of the Dirac equation in de Sitter space. Class. Quant. Grav. 22, 4263 (2005)
I. Cotaescu, Dirac fermions in de Sitter and anti-de Sitter backgrounds. Rom. J. Phys. 52, 895 (2007)
S. Kanno, M. Sasaki, T. Tanaka, Vacuum state of the Dirac field in de sitter space and entanglement entropy. JHEP 03, 068 (2017)
C. Dappiaggi, F. Finster, S. Murro, E. Radici, The fermionic signature operator in de Sitter spacetime. J. Math. Anal. Appl. 485, 123808 (2020)
L. Fabbri, F. Moulin, A. Barrau, Non-trivial effects of sourceless forces for spinors: toward an Aharonov-Bohm gravitational effect? Eur. Phys. J. C 79, 875 (2019)
Luca Fabbri, Spinors in polar form. Eur. Phys. J. Plus 136, 354 (2021)
A.G. Luca Fabbri, Campos, Angular-radial integrability of Coulomb-like potentials in Dirac equations. J. Math. Phys. 62, 113505 (2021)
L. Fabbri, R. Cianci, S. Vignolo, A square-integrable spinor solution to non-interacting Dirac equations. AIP Adv. 11, 115314 (2021)
M. Abramowitz, I.A. Stegun, Handbook of mathematical functions: with formulas, graphs, and mathematical tables (Dover Publications Inc., UK, 1965)
Acknowledgements
This work has been carried out in the framework of activities of the INFN Research Project QGSKY.
Funding
Open access funding provided by Università degli Studi di Genova within the CRUI-CARE Agreement. The work of L.F. is funded by Next Generation EU through the project “Geometrical and Topological effects on Quantum Matter (GeTOnQuaM)”.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally to the computations and to the writing.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no Conflict of interest.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cianci, R., Vignolo, S. & Fabbri, L. Integrability of Dirac equations in static spherical space-times. Eur. Phys. J. Plus 139, 406 (2024). https://doi.org/10.1140/epjp/s13360-024-05126-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjp/s13360-024-05126-x