Abstract
We present the exact solution of the one-dimensional stationary Dirac equation for the pseudoscalar interaction potential, which consists of a constant and a term that varies in accordance with the inverse-square-root law. The general solution of the problem is written in terms of irreducible linear combinations of two Kummer confluent hypergeometric functions and two Hermite functions with non-integer indices. Depending on the value of the indicated constant, the effective potential for the Schrödinger-type equation to which the problem is reduced can form a barrier or well. This well can support an infinite number of bound states. We derive the exact equation for the energy spectrum and construct a rather accurate approximation for the energies of bound states. The Maslov index involved turns out to be non-trivial; it depends on the parameters of the potential.
Similar content being viewed by others
Introduction
The Dirac equation is a relativistic wave equation that models the behavior of spin-1/2 particles in quantum mechanics and quantum field theory1,2,3. It is a generalization of the Schrödinger equation that takes into account the effects of special relativity. The Dirac equation has been used to study a wide variety of physical systems, including electrons, protons, neutrons, and quarks1,2,3. However, finding exact solutions of the Dirac equation for non-trivial interaction potentials is a challenging task, as it presents a rather complicated mathematical object.
One class of potentials that has attracted considerable attention in recent years is the pseudoscalar interaction potential4,5,6,7,8,9,10,11, which has been shown to be related to supersymmetry and integrability12,13,14,15, which are both important concepts in quantum mechanics. In this paper, we present the exact solution of the one-dimensional stationary Dirac equation for a pseudoscalar interaction potential, which is a combination of a constant and a term that varies in accordance with the inverse-square-root law. This potential is an exactly solvable potential because both of its parameters can be varied independently.
The general solution of the problem is written in terms of irreducible linear combinations of two Kummer confluent hypergeometric functions and two Hermite functions with non-integer indices. The effective potential for the Schrödinger-like equation, to which the problem is reduced, can be a repulsive potential or a well, depending on the value of the indicated constant. In the latter case, the potential supports infinitely many bound states, which are located in two energy intervals separated by the gap \(( - mc^{2} ,mc^{2} )\). We derive the exact equation for the energy spectrum and construct a rather accurate approximation for the energies of bound states. The Maslov index16 (see also17,18) involved turns out to be non-trivial, unlike the case of a combined vector-scalar interaction with the same potential form19.
The paper is organized as follows. In Section "Potential", we review the one-dimensional Dirac equation with the pseudoscalar interaction potential under consideration, and the reduction of the equation to a single second-order differential equation. In Section "General solution", we present the exact general solution of the Dirac equation. In Section "Bound states", we derive the exact equation for the energy spectrum and construct a rather accurate approximation for it, which we compare to the exact numerical result. In Section "Discussion", we discuss the results of the paper and their implications. Since the applications of the pseudoscalar interaction potential extend to various areas of physics, we hope that this paper will be of interest to researchers in the fields of quantum mechanics, particle physics, and condensed matter physics.
Potential
We consider a spin-1/2 Dirac fermion of rest mass \(m\) and energy \(E\) in the field of a pseudoscalar interaction potential given as
where \(W_{0}\) and \(W_{1}\) are arbitrary constants and \(x\) is a space coordinate. The stationary one-dimensional Dirac equation for such an interaction can be written as
where \(\psi = (\psi_{1} ,\psi_{2} )\) is the two-component wavefunction of the particle, \(\sigma_{0}\) is the identity matrix, \(\sigma_{1,2,3}\) are the Pauli matrices:
\(c\) is the speed of light, and \(\hbar\) is the reduced Planck constant. In explicit form, the Dirac equation is written as
Eliminating one of the components from this system, one can obtain a one-dimensional Schrödinger-like equation. For instance, resolving the second equation with respect to \(\psi_{2}\):
where the prime denotes differentiation, we obtain the following Schrödinger-type equation:
where we have denoted
and introduced the effective Schrödinger potential
Potential (1) is a version of the field configuration that was not discussed in previous studies of potentials with the same functional form, including terms that vary according to the law of inverse square root (see19,20). At first glance, the modification appears insignificant, with the only difference being the addition of a constant, \(W_{0}\). However, this constant has a dramatic effect on the behavior of the system. Without \(W_{0}\), the potential does not support bound states. However, for a negative value of \(W_{0} W_{1}\), the potential supports infinitely many bound states, regardless of the values of the parameters \(W_{0}\) and \(W_{1}\). This is because in this case the potential becomes a long-range well that can trap particles from a long distance away. Importantly, for a definite-parity extension of potential (1) to the region \(x < 0\), these observations hold for the entire \(x\)-axis.
For an odd-parity extension (Fig. 1), we have
and the effective Schrödinger potential is given as
The form of this potential is shown in Fig. 2. As we can see, it is symmetric with respect to the origin. As the origin is approached, the potential diverges as \(\left| x \right|^{ - 3/2}\). And as \(x\) goes to infinity, the potential behaves as
Hence, it is a long-range potential. For \(W_{1} W_{0} > 0\), the potential forms a barrier (Fig. 2, left panel), and for \(W_{1} W_{0} < 0\), the potential forms a well (Fig. 2, right panel). In the latter case, the potential supports infinitely many bound states.
We conclude this section by noting that the ability of the background constant pseudoscalar potential to significantly impact the behavior of the system has been observed in several cases (see, for instance21,22).
General solution
The effective Schrödinger potential (11) is a particular case of the first Exton potential (see Eq. (21) of23):
Here, \(V_{0,1,3}\) are arbitrary constants. This potential, in turn, is a specific case of one of the five biconfluent Heun potentials originally discussed by Lemieux and Bose24 (also see25):
In general, the solution of the Schrödinger equation for this Lemieux-Bose potential is written in terms of the biconfluent Heun functions, which are advanced special functions26,27,28 that generalize the Kummer confluent hypergeometric function. This function is encountered in various branches of contemporary research, ranging from classical physics and quantum mechanics to general relativity and cosmology (see29,30,31,32,33,34 and references therein). Although the biconfluent Heun function is generally a complicated mathematical object, it can be simplified and expressed in terms of simpler mathematical functions, particularly confluent hypergeometric functions, for certain specifications of its potential. Many of these cases are obtained by terminating the expansion of the biconfluent Heun function in terms of the Hermite functions35,36. The first Exton potential (13) represents one such case. In this case, the solution is obtained by terminating the expansion at the second term. This simplified solution has been discussed in several papers37,38,39.
For \(x > 0\), the effective Schrödinger potential given by Eq. (11) represents the first Exton potential with the specification
With this, the general solution of the Dirac equation can be written as39
and \(C_{1}\),\(C_{2}\) are arbitrary constants. We note that both signs for \(\delta\) are applicable; however, for definiteness, below we apply the plus sign. From Eqs. (16) and (17), we observe that each of the two independent fundamental solutions is given as an irreducible linear combination with non-constant coefficients of two Kummer hypergeometric functions or two Hermite functions with non-integer indices.
It can be verified that the wave function \(\psi_{1}\) vanishes as \(x\) goes to infinity only if \(C_{2} = 0\). With this, the solution for \(x > 0\) is simplified to
To complete this section, we recall that the second component of the wave function is
Bound states
The possibility of bound states is determined by the boundary conditions at \(x = 0\). Let the solution for \(x < 0\) that vanishes at infinity be \(\psi_{{\text{L}}} = (\psi_{{{\text{1L}}}} ,\psi_{{{\text{2L}}}} )\) and it be proportional to a constant, say \(C_{3}\). Then the continuity condition of the wave function:
presents a set of two homogeneous linear equations with respect to the constants \(C_{1}\) and \(C_{3}\). For a non-trivial solution, the determinant of this system must be zero:
Since we consider the odd extension, when \(W\left( { - x} \right) = - W\left( x \right)\), the Dirac equation is covariant under the parity transformation \(x \to \,- x\), and the solution for the negative \(x\)-region can be written as \(\psi_{{\text{L}}} (x) = C_{3} \left( {\psi_{{{\text{1R}}}} ( - x), - \psi_{{{\text{2R}}}} ( - x)} \right)\). As a result, Eq. (24) reduces to \(\psi_{{1{\text{R}}}} \left( 0 \right)\psi_{{2{\text{R}}}} \left( 0 \right) = 0\), and we obtain two branches of bound states, generated by \(\psi_{{1{\text{R}}}} \left( 0 \right) = 0\) or \(\psi_{{2{\text{R}}}} \left( 0 \right) = 0\). Let us consider these cases separately.
Bound states with \(\psi_{{1{\text{R}}}} \left( 0 \right) = 0\)
The equation for the bound states’ energy spectrum is
The behavior of \(F\) as a function of energy is shown in Fig. 3.
It can be shown that, provided \(W_{0} W_{1} < 0\), the spectrum equation has infinitely many roots, all located in the intervals
To construct an approximation for the spectrum, it is convenient to transform Eq. (25), using the recurrence relations between contiguous Hermite functions40, into the form
The advantage of this form is that the argument \(y_{0}\) of the involved Hermite functions here is such that it belongs to the left transient region \(y_{0} \approx \sqrt {2\nu - 1}\), where \(\nu = a + 1\) or \(\nu = a + 2\). Then, using the Airy-function approximation of the Hermite function for this region41, we arrive at an approximation of this equation as
where
It is shown that \(A_{0,1} < 1\) and for the solution of Eq. (29), \(a > 1\). Furthermore, for large \(a\), the energy \(E\) is close to \(E_{0}\): \(E \approx E_{0}\). With these observations, for large a, we arrive at the approximate equation
The dependence of \(a\) on \(E\) (see Eq. (19)) shows that this is a sextic polynomial equation in \(E\) that is readily reduced to a cubic one. The real roots of the equation are given as
where, using Cardano's formula for the cubic,
This is a fairly accurate approximation. It provides the spectrum with relative error of the order of \(10^{ - 4}\) or less (see Table 1 for a comparison with the exact numerical result). The normalized wave function on the entire \(x\)-axis is shown in Fig. 4 (\(n = 3\), positive energy branch). It can be observed that the wave function is anti-symmetric with respect to the origin, as expected, and that the derivative of \(\psi_{2} (x)\) is discontinuous at the origin.
Bound states with \(\psi_{{{\text{2R}}}} \left( 0 \right) = 0\)
This time, the exact spectrum equation is written as
Acting now essentially in the same way as in the previous case, we arrive at the spectrum expressed by the same formulas (34)–(36), with the parameter \(A_{1}\) given as
where \(u\) is given by Eq. (32). The obtained result again is a fairly good approximation as seen from Table 2. The normalized wave function on the entire \(x\)-axis is shown in Fig. 5 (\(n = 3\), positive energy branch). It can be observed that this time the derivative of \(\psi_{1} (x)\) is discontinuous at the origin.
As Eq. (36) shows, the Maslov index is given as
where the parameter \(A_{1}\) is different for the spectrum branches with \(\psi_{1} (0) = 0\) and \(\psi_{2} (0) = 0\). An interesting observation is that \(A_{1}\) is not a constant but depends on the potential parameters \(W_{0}\) and \(W_{1}\). Figure 6 shows this dependence. As we can see, the Maslov index for the energy spectrum branch with \(\psi_{1} (0) = 0\) starts from \(- 1/6\), while that for the branch with \(\psi_{2} (0) = 0\) starts from \(- 5/6\) as \(u = 0\). We note that both indices tend to \(- 1\) as \(u \to \infty\).
Discussion
Thus, we have presented the exact solution of the one-dimensional stationary Dirac equation for a pseudoscalar potential consisting of an independently variable constant and a term that varies in accordance with the inverse square root law. Since the strength of the term that varies in accordance with the inverse square root law can also be independently varied, this is an exactly solvable potential. We have expressed the general solution of the problem as a linear combination with arbitrary coefficients of two fundamental solutions. Each of these fundamental solutions can be expressed as an irreducible linear combination of two functions of the hypergeometric class, namely Kummer hypergeometric functions or Hermite functions with non-integer indices.
A peculiarity of the potential we discussed is that the effective potential for the Schrödinger-like equation, to which the problem is reduced, changes its nature depending on the value of the involved constant term. With certain values, the effective potential is a barrier, and with others, it becomes a well, supporting infinitely many bound states.
We have derived the exact equation for the energy spectrum and have shown that the discrete energies of the bound states are located in two energy intervals separated by the gap \(( - mc^{2} ,mc^{2} )\). We have constructed a rather accurate approximation for the energies of bound states and calculated the Maslov index of the spectrum. It turns out that this index, which is a constant addition to the quantum number \(n\) numbering the bound states and does not vanish at \(n \to \,\,\infty\), is rather nontrivial. In the Schrödinger case with a potential, which varies according to the inverse-square-root law, this index is known to be a constant equal to \(- 1/6\)17,18. On the contrary, in our case, the Maslov index turns out to be dependent on the potential parameters and may vary over a rather large interval.
The interaction we have discussed can serve as a model for studying relativistic quantum systems in one dimension, providing insight into confinement effects. The non-polynomial Hermite functions involved in the general solution, confinement behavior, and localization of wave functions near the origin contribute to a comprehensive understanding of relativistic quantum systems and hold promise for diverse applications in condensed matter physics and quantum technology. For example, this interaction can be used to model graphene nanoribbons42,43, Weyl and Dirac semimetals44, topological insulators and superconductors45,46, or quantum dots47.
Data availability
All data generated or analyzed during this study are included in this published article.
References
Griffiths, D. J. Introduction to Quantum Mechanics (Prentice Hall, 2005).
Gross, F. Relativistic Quantum Mechanics and Field Theory (Wiley, 1999).
Weinberg, S. The Quantum Theory of Fields. Foundations Vol. 1 (Cambridge University Press, 2003).
Haouat, S. & Benzekka, M. On the quantum behavior of a neutral fermion in a pseudoscalar potential barrier. Phys. Lett. A 377, 2298–2306 (2013).
Schulze-Halberg, A. & Roy, B. Darboux partners of pseudoscalar Dirac potentials associated with exceptional orthogonal polynomials. Ann. Phys. 349, 159–170 (2014).
Castro, L. B., de Castro, A. S. & Alberto, P. Pseudospin and spin symmetries in 1 + 1 dimensions: The case of the Coulomb potential. Ann. Phys. (N. Y.) 356, 83 (2015).
Tokmehdashi, H., Rajabi, A. A. & Hamzavi, M. Dirac equation with mixed scalar–vector–pseudoscalar linear potential under relativistic symmetries. Z. Naturforsch. 70, 713–720 (2015).
Assi, I. A., Alhaidari, A. D. & Bahlouli, H. Solution of spin and pseudo-spin symmetric Dirac equation in (1 + 1) space-time using tridiagonal representation approach. Commun. Theor. Phys. 69, 241–256 (2018).
Arda, A. & Sever, R. Bound-state solutions of the Dirac equation for the Kratzer potential with pseudoscalar-Coulomb term. Eur. Phys. J. Plus 134, 29 (2019).
Bagchi, B. & Ghosh, R. Dirac Hamiltonian in a supersymmetric framework. J. Math. Phys. 62, 072101 (2021).
Ishkhanyan, A. M. & Krainov, V. P. Conditionally exactly solvable Dirac potential, including pseudoscalar interaction. Phys. Scr. 98, 075229 (2023).
Cooper, F., Khare, A. & Sukhatme, U. Supersymmetry and quantum mechanics. Phys. Rep. 251, 267–385 (1995).
Shifman, M. & Kane, G. The Supersymmetric World: The Beginnings of the Theory (World Scientific Publishing, 2000).
Zakharov, V. E. (ed.) What is Integrability? (Springer, 1991).
Clarkson, P. A. & Nijhoff, F. W. (eds) Symmetries and Integrability of Difference Equations (Cambridge University Press, 1999).
Maslov, V. P. & Fedoriuk, M. V. Semiclassical Approximation in Quantum Mechanics (Reidel, 1981).
Ishkhanyan, A. M. & Krainov, V. P. Maslov index for power-law potentials. JETP Lett. 105, 43–46 (2017).
Quigg, C. & Rosner, J. L. Quantum mechanics with applications to quarkonium. Phys. Rep. 56, 167–235 (1979).
Ishkhanyan, A. M. Exact solution of the 1D Dirac equation for the inverse-square-root potential. Zeitschrift für Naturforschung A 75, 771–779 (2020).
Schulze-Halberg, A. & Ishkhanyan, A. M. Inverse-root and inverse-root-exponential potentials: Darboux transformations and elementary Darboux partners. Phys. Scr. 96, 025206 (2021).
de Castro, A. S. Bounded solutions of neutral fermions with a screened Coulomb potential. Ann. Phys. 320, 56–70 (2005).
de Castro, A. S. The peremptory influence of a uniform background for trapping neutral fermions with an inversely linear potential. Int. J. Mod. Phys. A 21, 2321–2330 (2006).
Exton, H. The exact solution of two new types of Schrodinger equation. J. Phys. A 28, 6739 (1995).
Lemieux, A. & Bose, A. K. Construction de potentiels pour lesquels l’équation de Schrödinger est soluble. Ann. Inst. Henri Poincaré A 10, 259–270 (1969).
Ishkhanyan, A. & Krainov, V. Discretization of Natanzon potentials. Eur. Phys. J. Plus 131, 342 (2016).
Ronveaux, A. Heun’s Differential Equations (Oxford University Press, 1995).
Slavyanov, S. Y. & Lay, W. Special Functions (Oxford University Press, 2000).
Olver, F. W. J. et al. (eds) NIST Handbook of Mathematical Functions (Cambridge University Press, 2010).
Hortaçsu, M. Heun functions and some of their applications in physics. Adv. High Energy Phys. 2018, 8621573 (2018).
Hassanabadi, H., Alimohammadi, M. & Zare, S. γ-rigid version of Bohr Hamiltonian with the modified Davidson potential in the position-dependent mass formalism. Mod. Phys. Lett. A 32, 1750085 (2017).
Cuzinatto, R. R., de Montigny, M. & Pompeia, P. J. Non-commutativity and non-inertial effects on the Dirac oscillator in a cosmic string space–time. Gen. Relativ. Gravit. 51, 107 (2019).
Ishkhanyan, T. A., Papoyan, A. V., Ishkhanyan, A. M. & Leroy, C. Inverse square root level-crossing quantum two-state model. Las. Phys. Lett. 17, 106001 (2020).
Sobhani, H., Hassanabadi, H. & Chung, W. S. Effects of cosmic-string framework on the thermodynamical properties of anharmonic oscillator using the ordinary statistics and the q-deformed superstatistics approaches. Eur. Phys. J. C 78, 106 (2018).
The Heun project: Heun functions, http://theheunproject.org/bibliography.html (last updated 23.09.2019, accessed on 11.08.2023).
Ishkhanyan, T. A. & Ishkhanyan, A. M. Solutions of the bi-confluent Heun equation in terms of the Hermite functions. Ann. Phys. 383, 79–91 (2017).
Hautot, A. Sur des combinaisons linéaires d’un nombre fini de fonctions transcendantes comme solutions d’équations différentielles du second ordre. Bull. Soc. R. Sci. Liège 40, 13–23 (1971).
López-Ortega, A. New conditionally exactly solvable inverse power law potentials. Phys. Scr. 90, 085202 (2015).
Ishkhanyan, A. M. Exact solution of the Schrödinger equation for the inverse square root potential. EPL 112, 10006 (2015).
Ishkhanyan, A. M. A conditionally exactly solvable generalization of the inverse square root potential. Phys. Lett. A 380, 3786–3790 (2016).
Lebedev, N. N. Special Functions and Their Applications (Prentice Hall, 1965).
Szegö, G. Orthogonal Polynomials (American Mathematical Society, 1975).
Castro Neto, A. H., Guinea, F., Peres, N. M. R., Novoselov, K. S. & Geim, A. K. The electronic properties of graphene. Rev. Mod. Phys. 81, 109–162 (2009).
Lone, S., Bhardwaj, A., Pandit, A. K. & Mahajan, S. A review of graphene nanoribbon field-effect transistor structures. J. Electron. Mater. 50, 3169–3186 (2021).
Armitage, N. P., Mele, E. J. & Vishwanath, A. Weyl and Dirac semimetals in three-dimensional solids. Rev. Mod. Phys. 90, 015001 (2018).
Hasan, M. Z. & Kane, C. L. Colloquium: Topological insulators. Rev. Mod. Phys. 82, 3045 (2010).
Qi, X. L. & Zhang, S. C. Topological insulators and superconductors. Rev. Mod. Phys. 83, 1057 (2011).
Chakraborty, T. Quantum Dots. A Survey of the Properties of Artificial Atoms (Elsevier Science, 1999).
Acknowledgements
This work was supported by the Armenian Science Committee (grant nos. 21AG-1C064 and 21SC-BRFFR-1C021), by the Russian Foundation for Basic Research (project no. 20-52-05012), and by the Ministry of Science and Higher Education of the Russian Federation (project no. FSMG-2021-0005).
Funding
This work was funded by the Armenian Science Committee grants No. 21AG-1C064 and No. 21SC-BRFFR-1C021.
Author information
Authors and Affiliations
Contributions
All authors equally contributed to the conceptualization, mathematical derivations, discussion of the result, as well as to the preparation of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Ishkhanyan, A.M., Krainov, V.P. Exact solution of the 1D Dirac equation for a pseudoscalar interaction potential with the inverse-square-root variation law. Sci Rep 13, 13482 (2023). https://doi.org/10.1038/s41598-023-40604-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-023-40604-9
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.