Generalized Continuity Equations for Schrödinger and Dirac Equations
Abstract
The concept of the generalized continuity equation (GCE) was recently introduced in [J. Phys. A: Math. and Theor. 52, 1552034 (2019)], and was derived in the context of independent Schrödinger systems. The GCE is induced by a symmetry transformation which mixes the states of these systems, even though the -system Lagrangian does not. As the -system Schrödinger Lagrangian is not invariant under such a transformation, the GCE will involve source terms which, under certain conditions vanish and lead to conserved currents. These conditions may hold globally or locally in a finite domain, leading to globally or locally conserved currents, respectively. In this work, we extend this idea to the case of arbitrary -transformations and we show that a similar GCE emerges for systems in the Dirac dynamics framework. The emerging GCEs and the conditions which lead to the attendant conservation laws provide a rich phenomenology and potential use for the preparation and control of fermionic states.
I Introduction
Symmetries and the emerging conservation laws are of fundamental importance in Physics. For continuous transformations, the link between conservation laws and symmetries is provided by Noether’s theorem Noether1918 . Based on the Lagrangian formulation of the underlying dynamics, Noether’s theorem allows for applications both in classical field theory and in non-relativistic quantum mechanics, leading to symmetry induced continuity equations directly linked to conservation laws. In the context of Schrödinger dynamics, these continuity equations usually refer to a single quantum state of the considered system and they are connected to internal symmetries of the Hilbert space.
Recently, it was shown that symmetry-induced bilocal continuity equations emerge in quantum Hermitian and non-Hermitian systems Spourdalakis2016 from symmetry transformations leaving the corresponding Lagrangian density invariant. They generalize the usual continuity equations, involving two distinct wave fields which obey different dynamics, when the non-Hermitian part in the potential term is non-zero. The corresponding two-field Lagrangian is invariant under dilatation and phase transformations of these fields. The theoretical framework developed in Spourdalakis2016 addresses the impact of global symmetry transformations on quantum Schrödinger states and indicates that the currents associated with the bilocal continuity equations act as correlators between the two fields. However, the existence of global symmetries often can be an idealized scenario. In realistic systems symmetries can be broken due to defects, impurities and boundary conditions. Moreover, the presence of a potential term depending only on space leads to stationary states, which violate the equal treatment between space and time, indicating the breaking of Lorentz invariance.
A case of particular interest is when a symmetry transformation, even though globally broken, appears to hold in restricted spatial domains. The existence of such local symmetries, being present to a broad range of photonic Kalozoumis2013b , acoustic Kalozoumis2015a and, quantum Kalozoumis2013a systems induce interesting spectral properties and exhibit a new class of non-local currents (NLC) which have been shown to characterize rigorously the symmetry breaking Kalozoumis2014a . The question is, if these currents, which are connected to local symmetries, can be extracted variationally from a suitable Lagrangian density. Clearly, the GCE derived in Spourdalakis2016 is not directly transferable to a Lagrangian density possessing local symmetries, and a more general mathematical framework is needed for the description of local conservation laws assigned to systems with local symmetries. Such an approach has been recently proposed in Diakonos2019 . The variational scheme developed there, utilizing the concept of a super-Lagrangian, allowed to derive a GCE obeyed by the local symmetry induced NLC. This mathematical framework led to GCEs linking pairwise wave fields which belong to different Schrödinger problems and involve the dynamics of single particle evolution in different potentials with . Within this scenario, the extended symmetry transformation applied to the super-Lagrangian is chosen to belong to the Lie group and its algebraic form determines the form of the occurring source terms. As it has been shown Diakonos2019 , under certain conditions the source terms vanish and GCEs lead to generalized conservation laws. This consistent variational framework, allowed the description of a special class of currents, which are locally conserved in restricted spatial domains whenever symmetries of the potential terms are valid within these domains. From a group theoretical point of view, this analysis was restricted to transformations, which involved only generators of the Cartan sub-algebra and the super-Lagrangian was designed to describe only Schrödinger dynamics.
Although, the Schrödinger equation can handle a multitude of quantum mechanical problems, it is not suitable to describe microscopic systems at high energies, such as relativistic fermions. The need to incorporate special theory of relativity in a quantum mechanical context led to the Dirac equation, formulated by Paul Dirac in 1928. In this work, we extend the concept of the super-Lagrangian Diakonos2019 for non-relativistic Schrödinger problems, to a relativistic framework. We introduce GCEs which contain Dirac fermionic states and we consider symmetry transformations with generators beyond the Cartan sub-algebra, covering this way all the possible transformations. Thus, the set of possible source terms in the GCEs will be significantly increased, giving rise to a novel class of symmetry-induced invariant currents. Our results provide a unified treatment of generalized conservation laws in the presence of potentials with globally broken, domain-wise sustained symmetries for both Dirac and Schrödinger-type problems.
The paper is organized as follows: In Section II we introduce the super-Lagrangian for Dirac fermions, we derive the corresponding GCE, and extract the global and local conservation laws that emerge. In Section III we apply the concept of the super-Lagrangian to the case of two, single-Fermion Dirac systems and we derive the corresponding global and local conservation laws. In Section IV, non-relativistic systems are considered again and we generalize the results found in Diakonos2019 for symmetry transformations. Our results are summarized in Section V.
II Super-Lagrangian for Dirac Fermions and the Generalized Continuity Equation
The Dirac Lagrangian density is,
(1) |
where is a Dirac spinor. describes the dynamics of fermionic states in the presence of the potential term . Applying the usual variational approach to leads to the Dirac equation for the field . The super-Lagrangian is defined as the sum of the individual Lagrangian densities which describe the dynamics of independent quantum systems in different potential landscapes , . For these independent Dirac systems the super-Lagrangian can be written as,
(2) |
where , are defined as,
(3) |
and
(4) |
respectively and are the corresponding Dirac spinors.
The quantities and are defined as,
(5) |
with
(6) |
and
(7) |
being the kinetic and potential terms, respectively.
To derive the GCEs from the super-Lagrangian in Eq. (2), we make an arbitrary transformation of the spinors . Note, that the source terms in the resulting GCEs are subject to this transformation. We are interested in the conditions under which these source terms vanish. In this case, we consider an transformation of , which for an infinitesimal variation can be expressed as
(8) |
where denotes the generators of the group and are arbitrary small parameters. The variation of the Lagrangian density yields that , and consequently , with . These considerations lead to a current conservation law with a vanishing divergence.
If was invariant under the transformation then, according to Noether’s theorem, a typical continuity equation would be obtained, associated with this invariance. However, here is not invariant, since , and Noether’s approach leads to a GCE with non-vanishing source terms, dictated by the performed symmetry transform in Eq. (8). In order to calculate we employ the generators of the group and we write the potential matrix as,
(9) |
where
The explicit form of and the details for their derivation are presented in Appendix A. The fact that only, leads to
(10) |
Using Eq. (9) it is straightforward to find that
(11) |
and consequently
(12) |
On the other hand the variation of the Lagrangian can be also written as,
(13) |
where enumerates the Dirac spinors. Employing the Euler-Lagrange equations for each fermion ,
(14) |
and the relations,
(15) |
we find that the Lagrangian variation is given by
(16) |
Using Eq. (9) and after some algebra, we find
(17) |
Combining Eq. (12) and Eq. (17) and keeping only first order terms in we obtain a GCE for the Dirac equation,
(18) |
which is associated to symmetry transformations. Equation (18) is one of the core results of this work. The term “generalized” in the derived continuity equation has a two-fold meaning. Firstly, Eq. (18) involves non-zero source terms and therefore it does not, directly, lead to a 4-current conservation. Secondly, the 4-current is not the usual current, but an abstract mathematical quantity that connects the solutions of different Dirac problems [see the definition of in Eq. (3)]. Thus, Eq. (18), in fact, corresponds to different equations and the number of the emerging 4-currents is equal to the number of the group’s generators. In the case of a diagonal potential matrix , as the one discussed here, and due to the property of the structure constants , the remaining not trivial currents will be those related to the non-diagonal elements of an matrix in the fundamental representation. These currents are not all independent of each another. They appear in Hermitian conjugate pairs and, in this sense, for every emerging current, there is a corresponding Hermitian conjugate, which is described by Eq. (18), as well.
Of particular interest is the case where the source terms of the GCE in Eq. (18) vanish, leading to a new class of conservation laws. Here we will examine the possible scenarios which lead to vanishing source terms in Eq. (18). These can be classified in the following two categories: (i) Global conservation laws. The source terms become zero due to a global property of the potential and holds for any spinor . In this case the emerging conservation law will be valid globally. (ii) Local conservation laws. The source terms become zero due to a local property of the potential and holds for any . As local we consider here a property of the potentials which is valid within a finite spatial domain. The emerging conservation law will also be valid only within the spatial region where this property of the potentials holds.
In principle, there is a third category related to the accidental case where the source terms become zero from a suitable combination of and properties. Apparently, this would require a fine tuning in and and the emerging conservation law would not necessarily correspond to a symmetry of the potentials. Nevertheless, this case will not be considered here due to the lack of a specific example leading to a non-trivial generalized current.

The most straightforward way to set the source terms to zero is by setting the coefficients . Observing the explicit form of the coefficients as shown in the Appendix A and for a diagonal matrix , as in our case, this condition can be realized if in a spatial domain holds,
(19) |
where , enumerate the different components of . Obviously, this means that in every region where Eq. (19) holds, a locally conserved 4-current emerges. Such a case, where two different potential landscapes of two distinct problems, have a common profile within a region , is schematically shown in Fig. 1 (a). Note, that since the potential term , which appears in the th Dirac equation, is a matrix , the coefficients will also be matrices . This, in turn, leads to the commutation property
(20) |
which can be generalized for the case where the potential terms and the coefficients are not proportional to the unit matrix but to , i.e. and . Then, Eq. (20) becomes
(21) |
A similar procedure can be developed in the presence of gauge fields. Using an gauge transformation of , the Lagrangian density becomes with and the covariant derivative containing the gauge field . Following the process described above, we find that the corresponding GCE is,
(22) |
The detailed derivation of Eq. (22) can be found in the Appendix B.
III Generalized continuity equation for two Dirac Systems
To illustrate the properties of the Dirac GCE in a more transparent way, we will focus on the case of two distinct systems each consisting of one Dirac Fermion. This composite system is described by the super-Lagrangian ,
(23) |
Recalling that the representation of the generators are , where are the Pauli matrices, and that the 3D Levi-Civita symbol corresponds to the structure constants of the group (), we find that, for a global transformation, the emerging GCEs, which hold for any pair of arbitrary states , according to Eq. (18) are,
(24) | ||||
(25) | ||||
(26) |
where the coefficients are given by Eq. (9). Obviously Eq. (26) is trivial and Eqs. (24) and (25) are Hermitian conjugates. Hence, for the rest of our analysis, and without loss of generality, we consider only Eq. (24), aiming to determine the conditions which eliminate the right-hand-side (r.h.s.) of Eq. (24).
III.1 Global conservation laws
We first consider the global conservation case i.e , where the source term in Eq. (24) vanishes in the entire space. An interesting scenario occurs when Eq. (24) involves eigenstates of the same Dirac equation which -in the absence of degeneracy- differ in energy. Note, that this holds always for 1-D systems. In higher dimensions, different eigenstates which share the same energy eigenvalue constitute also a possible realization of the global conservation scenario.
Assuming 1-D solutions of the form
(27) |
and inserting Eq. (27) into Eq. (24), we find
(28) |
The quantity is identified as the spatial part of the conserved current. The spatial integral, over , of the time derivative in the l.h.s. of Eq. (III.1) leads to the condition,
(29) |
If and , we recover the global generalized charge . This, in turn, can be expressed via currents at , according to Eq. (29).
III.2 Local conservation laws
Equation (24) also supports the scenario of local conservation laws. We assume that the equality holds only in a finite spatial domain , as shown in Fig. 1 (a) and that there is, at least, one common energy state for the two distinct systems involved in the Lagrangian (23). Even though, the two eigenstates share the same eigenvalue, this is not a degeneracy case. These eigenstates correspond to different Dirac equations, e.g. in Fig. 1 (a) there are -regions in which . Otherwise, this would be a case of global conservation law. Note that restricting our analysis to systems which a common energy value simplifies significantly the GCE and only spatial variations remain. This condition can be always satisfied for two different scattering systems. For bound systems, on the other hand, it can be achieved only with appropriate fine tuning.
Due to the condition of Eq. (19) which holds for [see Fig. 1 (a)], we get
(30) |
This, in turn, leads to the divergence-free current,
(31) |
The subscripts denote the solutions of the Dirac equations which involve the potentials and , respectively. The vanishing divergence holds also for the Hermitian conjugate of the current . It should be stressed here that this current is a completely different quantity from the usual probability current. In fact, its existence is not attributed to the presence of a particular source in region [see Fig. 1 (a)], but it is based on the fact that outside region the potential landscapes in the two problems differ from each other. Restricting our analysis to 1-D, Eq. (30) becomes,
(32) |
yielding a spatially constant current
(33) |
where we have employed the usual convention for the -matrices in 1-D,
(34) |
The constant current in acts as a correlator between the solutions of two different 1-D Dirac systems, based on the equality of the potentials and in this region. Obviously, if the condition holds for more than one regions , i.e in the regions , with , then the respective currents will be constant in every region while, in general, for .
Finally, we discuss an interesting sub-case which also belongs to the class of local conservation laws. It is based on a relation of the form,
(35) |
holding within a finite domain . In Eq. (35) is a linear transformation under which the Laplacian operator is invariant. Notice that since the Dirac field is not a scalar, one has to take into account the spinor transformation under the specific geometric transform (leaving the Laplacian invariant) in the super-Lagrangian. To explain this in more detail let us restrict to the one spatial dimension. In 1-D, describes either an inversion with respect to a point or a translation by , as shown in Fig. 1 (b). Treating such transforms requires attention. For instance, the transformed spinor, in the inversion case, is given by . The symmetry transform can be formally written as,
(36) |
where the parameters and are as follows:
(37) | |||||
(38) |
The symmetry condition (35) leads, in turn, to a current which is spatially conserved in and is expressed as,
(39) |
or
(40) |
Note, that the conservation of the generalized current in the spatial domain and its symmetry-transformed counterpart involves the original solution which corresponds to the potential landscape and the transformed solution which corresponds to the potential landscape . We will demonstrate the construction of such a current using the setup illustrated in Figure 2.

The landscapes and are symmetric under an inversion symmetry transformation, with the exception of the point where the -barrier () is located in . The -barrier separates the -space into two distinct domains, namely and . The generalized current acquires a different value in each of these two domains. The coloring indicates the wavefunction domains participating in the generalized current in each case. Based on Eq. (40) we have :
(41) |
The constants can be expressed through the left and right () limiting values of the Dirac field at , as,
(42) |
Combining the properties of the Pauli matrices, the definition of in 1-D, and the following expressions as given in 1ddirac :
(43) | ||||
(44) |
we find that the constant generalized current can be expressed at as,
(45) |
Since represents a rotation matrix:
(46) |
we observe that the current in differs from in in containing the spinor with a phase shift induced by the -barrier. The phase shift angle is given by . Obviously, when there is a single value for the constant in the entire -space.
IV complete set of GCEs for Schrödinger systems
In this section we return to the Schrödinger framework and we generalize the results obtained in Diakonos2019 for non-relativistic quantum systems. To this end, we use a complete set of transformations instead of those belonging to the Cartan sub-algebra, as in Diakonos2019 . In addition, we include a gauge field in our analysis. The super-Lagrangian in the Schrödinger framework is written as,
(47) |
with
(48) |
and
(49) |
In Eqs. (48), (49), is the wavefunction of the -th system involved in the Schrödinger super-Lagrangian. Obviously,
(50) |
with
(51) |
and
(52) |
The symmetry transformation of Eq. (8) leads directly to the variation relations and as expected, once again . Since we find that the Lagrangian density variation is given by
(53) |
Substituting Eq. (9) we find that,
(54) |
and consequently
(55) |
The variation of can also be written as
(56) |
which after some algebraic calculations leads to,
(57) |
Combining Eq. (55) and Eq. (57) we finally get
(58) |
which generalizes the GCE found in Diakonos2019 .
Note, that the source terms both in the Schrödinger and the Dirac GCEs have the same form [see Eq. (20) and Eq. (IV)]. The conservation of the corresponding generalized currents implies the same conditions both for the relativistic and the non-relativistic case. On the contrary, the form of the conserved current differs between these two cases, i.e. in the non-relativistic GCE the current contains derivatives of the wave field while in the relativistic version there are no derivatives involved. This is due to the difference in the form of the kinetic term in either case.
V Summary & Conclusions
In this work we develop a systematic approach to derive generalized 4-currents built from fermionic fields which describe solutions of Dirac problems involving different external potential terms. This is achieved through the construction of a super-Lagrangian which allows the synthesis of a composite system acting as a generator for all involved sub-problems along the lines presented in Diakonos2019 in the context of Schrödinger (non-relativistic) quantum mechanics. The derived currents are related to symmetry transforms of the super-Lagrangian and they obey generalized continuity equations which involve source terms dictated by the specific transform. These source terms occur because the super-Lagrangian is not invariant under this transformation. Following this procedure, we have explored possible scenarios based on conditions on the form of the external potentials leading to the vanishing of the source terms globally or in finite spatial domains. In the second case local conservation laws manifest, relating solutions of Dirac equations which differ in the external potential terms. We have illustrated in a simple example how such a current is constructed in practice. In contrast to the Schrödinger case presented in Diakonos2019 the generalized Dirac currents do not involve derivative terms and therefore they can be considered as a direct mapping between solutions of different Dirac equations. It would be interesting to apply this procedure to specific problems and explore the insight gained by such a mapping. The corresponding local conservation laws may be useful for the control as well as the preparation of fermionic states through suitable modulation of the external potential(s). Here we have considered exclusively transformations of the super-field formed from the solutions of the different Dirac problems. Future perspectives of this work would be the investigation of other symmetry transformations and how new conservation laws could emerge.
Appendix A Analysis of V-matrix to SU(N) Representations of Generators
A general -matrix is analyzed to the basis of the generators of the group using the formula,
where
The explicit form of the coefficient is,
(59) |
For (), the coefficients which are related to the diagonal representations of the generators are,
Accordingly, the coefficients which are related to the non-diagonal representations of the generators are,
where,
Employing our analysis for the full-element -matrix, we derive the GCEs for an global infinitesimal transformation for Dirac problems:
where
and sum over all the remaining indices. The non-diagonal terms express a direct connection between the th Dirac problem with the remaining problems.
Appendix B Gauge Transformation and GCE
We present the basic steps towards a GCE which is induced by a gauge transformation, for Dirac problems. A gauge symmetric Lagrangian under a transformation is,
where
and are scalar fields. Demanding , this Lagrangian becomes invariant under the corresponding gauge transformation. The Lagrangian of these different problems is,
where is a diagonal matrix. In that case the Lagrangian becomes,
with
Following the same procedure we find that
and
Finally, we find that the GCE generated by a gauge transformation is,
This GCE is similar to the GCEs for global transformations, having only an extra term in the 4-gradient, as expected.
References
- (1) E. Noether, Invariante Variationsprobleme, Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-phys. Klasse 1918: 235–25 (1918).
- (2) A. G. B. Spourdalakis, G. Pappas, C. V. Morfonios, P. A. Kalozoumis, F. K. Diakonos and P. Schmelcher, "Generalized continuity equations from two-field Schrodinger Lagrangians", Phys. Rev. A 94, 052122 (2016).
- (3) P. A. Kalozoumis, C. Morfonios, N. Palaiodimopoulos, F. K. Diakonos, and P. Schmelcher, Phys. Rev. A 88, 033857 (2013).
- (4) P.A. Kalozoumis, O. Richoux, F.K. Diakonos, G. Theocharis and P. Schmelcher, Phys. Rev. B 92, 014303 (2015).
- (5) P. A. Kalozoumis, C. Morfonios, F. K. Diakonos, and P. Schmelcher, Phys. Rev. A 87, 032113 (2013).
- (6) P. A. Kalozoumis, C. Morfonios, F. K. Diakonos and P. Schmelcher, Phys. Rev. Lett. 113, 050403, (2014).
- (7) F. K. Diakonos and P. Schmelcher, "Super-Lagrangian and variational principle for generalized continuity equations", J. Phys. A: Math. and Theor. 52, 1552034 (2019).
- (8) Kennedy, P. and Dombey, N. "Low momentum scattering in the Dirac equation." J. Phys. A: Math. Theor. 35, 6645 (2002).
Schrödinger | Dirac | |
SU(N) 3-D | ||
Common Energy Condition | ||
Vanishing Source Terms Condition | ||
Divergence Free Currents : | ||
SU(N) 1-D | ||
Common Energy Condition | ||
Vanishing Source Terms Condition | ||
Conserved Currents | ||
SU(2) 1-D | ||
Common Energy Condition | ||
Condition for | ||
Conserved Current |