Abstract
We analyze rigorously error estimates and compare numerically spatial/temporal resolution of various numerical methods for the discretization of the Dirac equation in the nonrelativistic limit regime, involving a small dimensionless parameter \(0<\varepsilon \ll 1\) which is inversely proportional to the speed of light. In this limit regime, the solution is highly oscillatory in time, i.e. there are propagating waves with wavelength \(O(\varepsilon ^2)\) and O(1) in time and space, respectively. We begin with several frequently used finite difference time domain (FDTD) methods and obtain rigorously their error estimates in the nonrelativistic limit regime by paying particular attention to how error bounds depend explicitly on mesh size h and time step \(\tau \) as well as the small parameter \(\varepsilon \). Based on the error bounds, in order to obtain ‘correct’ numerical solutions in the nonrelativistic limit regime, i.e. \(0<\varepsilon \ll 1\), the FDTD methods share the same \(\varepsilon \)-scalability on time step and mesh size as: \(\tau =O(\varepsilon ^3)\) and \(h=O(\sqrt{\varepsilon })\). Then we propose and analyze two numerical methods for the discretization of the Dirac equation by using the Fourier spectral discretization for spatial derivatives combined with the symmetric exponential wave integrator and time-splitting technique for temporal derivatives, respectively. Rigorous error bounds for the two numerical methods show that their \(\varepsilon \)-scalability is improved to \(\tau =O(\varepsilon ^2)\) and \(h=O(1)\) when \(0<\varepsilon \ll 1\). Extensive numerical results are reported to support our error estimates.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Dirac equation, which plays an important role in particle physics, is a relativistic wave equation derived by the British physicist Paul Dirac in 1928 [28,29,30, 74]. It provided a description of elementary spin-1 / 2 massive particles, such as electrons and positrons, consistent with both the principle of quantum mechanics and the theory of special relativity. It was the first theory to fully account for relativity in the context of quantum mechanics. It addressed the fine details of the hydrogen spectrum in a completely rigorous way and predicted the existence of a new form of matter, antimatter [4]. Since the graphene was first produced in the lab in 2003 [1, 63,64,65, 67], the Dirac equation has been extensively adopted to study theoretically the structures and/or dynamical properties of graphene and graphite as well as two dimensional (2D) materials [62]. This experimental advance renewed extensively the research interests on the mathematical analysis and numerical simulations of the Dirac equation and/or the (nonlinear) Schrödinger equation without/with external potentials, especially the honeycomb lattice potential [3, 35].
We consider the three dimensional (3D) Dirac equation for describing the time evolution of spin-1 / 2 massive particles, such as electrons and positrons, within external time-dependent electromagnetic potentials [28, 29]
Here, \(i=\sqrt{-1}\), t is time, \(\mathbf{x} =(x_1,x_2,x_3)^T\in {\mathbb {R}}^3\) (equivalently written as \(\mathbf{x} =(x,y,z)^T\)) is the spatial coordinate vector, \(\partial _k=\frac{\partial }{\partial x_k}\) (\(k=1,2,3\)), \(\varPsi :=\varPsi (t,\mathbf{x} )=(\psi _1(t,\mathbf{x} ),\psi _2(t,\mathbf{x} ), \psi _3(t,\mathbf{x} ), \psi _4(t,\mathbf{x} ))^T\in {\mathbb {C}}^4\) is the complex-valued vector wave function of the “spinorfield”. \(I_n\) is the \(n\times n\) identity matrix for \(n\in {{\mathbb {N}}}\), \(V:=V(t,\mathbf{x} )\) is the real-valued electrical potential and \(\mathbf{A}:=\mathbf{A}(t,\mathbf{x} )=(A_1(t,\mathbf{x} ), A_2(t,\mathbf{x} ), A_3(t,\mathbf{x} ))^T\) is the real-valued magnetic potential vector, and hence the electric field is given by \(\mathbf{E}(t,\mathbf{x} )=-\nabla V-\partial _t \mathbf{A}\) and the magnetic field is given by \(\mathbf{B}(t,\mathbf{x} )=\mathrm{curl}\, \mathbf{A}=\nabla \times \mathbf{A}\). The physical constants are: c for the speed of light, m for the particle’s rest mass, \(\hbar \) for the Planck constant and e for the unit charge. In addition, the \(4\times 4\) matrices \(\alpha _1\), \(\alpha _2\), \(\alpha _3\) and \(\beta \) are defined as
with \(\sigma _1\), \(\sigma _2\), \(\sigma _3\) (equivalently written \(\sigma _x\), \(\sigma _y\), \(\sigma _z\)) being the Pauli matrices defined as
In order to scale the Dirac equation (1.1), we introduce
where \(j=1,2,3\), and \(x_s\), \(t_s\) and \(A_s\) are the dimensionless length unit, time unit and potential unit, respectively, satisfying \(t_s=\frac{mx_s^2}{\hbar }\) and \(A_s=\frac{m v^2}{e}\) with \(v=\frac{x_s}{t_s}\) being the wave speed. Plugging (1.4) into (1.1), multiplying by \(\frac{t_sx_s^{3/2}}{\hbar }\), and then removing all \(\tilde{ }\), we obtain the following dimensionless Dirac equation in 3D
where \(\mathbf{x} \in {{\mathbb {R}}}^3\), and \(\varepsilon \) is a dimensionless parameter inversely proportional to the speed of light given by
We remark here that if one chooses the dimensionless length unit \(x_s=\frac{\hbar }{mc}\), \( t_s=\frac{x_s}{c}\) and \(A_s=\frac{mc^2}{e}\) in (1.4), then \(\varepsilon =1\) in (1.6) and Eq. (1.5) with \(\varepsilon =1\) takes the form often appearing in the literature [2, 17, 21, 23, 33, 41, 49, 53]. This choice of \(x_s\) is appropriate when the wave speed is at the same order of the speed of light. However, when the wave speed is much smaller than the speed of light, a different choice of \(x_s\) is more appropriate. Note that the choice of \(x_s\) determines the observation scale of the time evolution of the particles and decides: (i) which phenomena are ‘visible’ by asymptotic analysis, and (ii) which phenomena can be resolved by discretization by specified spatial/temporal grids. In fact, there are two important parameter regimes: One is \(\varepsilon =1\) (\(\Longleftrightarrow x_s=\frac{\hbar }{mc}\), \(t_s=\frac{x_s}{c}\) and \(A_s=\frac{mc^2}{e}\)), then Eq. (1.5) describes the case that wave speed is at the same order of the speed of light; the other one is \(0<\varepsilon \ll 1\), then Eq. (1.5) is in the nonrelativistic limit regime.
Similarly to the dimension reduction of the nonlinear Schrödinger equation and/or the Schrödinger–Poisson equations with/without anisotropic external potentials [8], when the initial data \(\varPsi (0,\mathbf{x} )\) and the electromagnetic potentials \(V(t,\mathbf{x} )\) and \(\mathbf{A}(t,\mathbf{x} )\) are independent of z and thus the wave function \(\varPsi \) is formally assumed to be independent of z, or when the electromagnetic potentials \(V(t,\mathbf{x} )\) and \(\mathbf{A}(t,\mathbf{x} )\) are strongly confined in the z-direction and thus \(\varPsi \) is formally assumed to be concentrated on the xy-plane, then the 3D Dirac equation (1.5) can be reduced to the Dirac equation in 2D with \(\mathbf{x} =(x,y)^T\in {\mathbb {R}}^2\) as
This 2D Dirac equation has been widely used to model the electron structure and/or dynamical properties of graphene since they share the same dispersion relation on the Dirac points [1, 63,64,65, 67, 35,36,37]. Similarly, under the proper assumptions on the initial data and the external electromagnetic potential, the 3D Dirac equation (1.5) can be reduced to the Dirac equation in 1D with \(\varPsi =\varPsi (t,x)\) as
In fact, the Dirac equation in 3D (1.5), in 2D (1.7) and in 1D (1.8) can be written in a unified way in d-dimensions (\(d=1,2,3\))
where \(\mathbf{x} \in {{\mathbb {R}}}^d\) and the initial condition for dynamics is given as
The Dirac equation (1.9) is dispersive and time symmetric. Introducing the position density \(\rho _j\) for the j-component (\(j=1,2,3,4\)) and the total density \(\rho \) as well as the current density \(\mathbf{J} (t,\mathbf{x} )=(J_1(t,\mathbf{x} ),J_2(t,\mathbf{x} )\), \(J_3(t,\mathbf{x} ))^T\) for \(j=1,2,3,4\) and \(l=1,2,3\)
where \(\overline{f}\) denotes the complex conjugate of f and \(\varPsi ^*=\overline{\varPsi }^T\), then the following conservation law can be obtained from the Dirac equation (1.9)
Thus the Dirac equation (1.9) conserves the total mass as
If the electric potential V is perturbed by a real constant \(V^0\), e.g. \(V(t,\mathbf{x} )\rightarrow V(t,\mathbf{x} )+V^0\), then the solution \(\varPsi (t,\mathbf{x} )\rightarrow e^{-iV^0t}\varPsi (t,\mathbf{x} )\) which implies the density of each component \(\rho _j\) (\(j=1,2,3,4\)) and the total density \(\rho \) unchanged. When \(d=1\), if the magnetic potential \(A_1\) is perturbed by a real constant \(A_1^0\), e.g. \(A_1(t,\mathbf{x} )\rightarrow A_1(t,\mathbf{x} )+A_1^0\), then the solution \(\varPsi (t,\mathbf{x} )\rightarrow e^{iA_1^0t\alpha _1}\varPsi (t,\mathbf{x} )\) which implies the total density \(\rho \) unchanged; but this property is not valid when \(d=2,3\). In addition, when the electromagnetic potentials are time-independent, i.e. \(V(t,\mathbf{x} )=V(\mathbf{x} )\) and \(A_j(t,\mathbf{x} )=A_j(\mathbf{x} )\) for \(j=1,2,3\), the following energy functional is also conserved
Furthermore, if the external electromagnetic potentials are constants, i.e. \(V(t,\mathbf{x} )\equiv V^0\) and \(A_j(t,\mathbf{x} )\equiv A_j^0\) for \(j=1,2,3\) with \(\mathbf{A}^0=(A_1^0,\ldots ,A_d^0)^T\), the Dirac equation (1.9) admits the plane wave solution as \(\varPsi (t,\mathbf{x} )=\mathbf{B}\,e^{i(\mathbf{k} \cdot \mathbf{x} -\omega t)}\), where the time frequency \(\omega \), amplitude vector \(\mathbf{B} \in {{\mathbb {R}}}^4\) and spatial wave number \(\mathbf{k} =(k_1,\ldots ,k_d)^T\in {{\mathbb {R}}}^d\) satisfy the following dispersion relation
which immediately implies the dispersion relation of the Dirac equation (1.9) as
Plugging (1.2) and (1.3) into (1.7), the 2D Dirac equation (1.7) can be decoupled for \(\mathbf{x} \in {\mathbb {R}}^2\) as
Equation (1.18) will collapse to (1.17) under the transformation \(y\rightarrow -y\) and \(A_2\rightarrow -A_2\). Thus, in 2D, the Dirac equation (1.7) can be reduced to the following simplified PDEs with \(\varPhi :=\varPhi (t,\mathbf{x} )=(\phi _1(t,\mathbf{x} ),\phi _2(t,\mathbf{x} ))^T \in {{\mathbb {C}}}^2\)
where \(\varPhi =(\psi _1,\psi _4)^T\) (or \(\varPhi =(\psi _2,\psi _3)^T\) under the transformation \(y\rightarrow -y\) and \(A_2\rightarrow -A_2\)). Similarly, in 1D, the Dirac equation (1.8) can be reduced to the following simplified PDEs with \(\varPhi =\varPhi (t,x)=(\phi _1(t,x),\phi _2(t,x))^T\)
where \(\varPhi =(\psi _1,\psi _4)^T\) (or \(\varPhi =(\psi _2,\psi _3)^T\)). Again, the Dirac equation in 2D (1.19) and in 1D (1.20) can be written in a unified way for \( \mathbf{x} \in {{\mathbb {R}}}^d\) in d-dimensions (\(d=1,2\))
and the initial condition for dynamics is given as
The Dirac equation (1.21) is dispersive and time symmetric. By introducing the position density \(\rho _j\) for the j-th component (\(j=1,2\)) and the total density \(\rho \) as well as the current density \(\mathbf{J} (t,\mathbf{x} )=(J_1(t,\mathbf{x} ),J_2(t,\mathbf{x} ))^T\)
the conservation law (1.12) is also satisfied [23]. In addition, the Dirac equation (1.21) conserves the total mass as
Again, if the electric potential V is perturbed by a real constant \(V^0\), e.g. \(V(t,\mathbf{x} )\rightarrow V(t,\mathbf{x} )+V^0\), the solution \(\varPhi (t,\mathbf{x} )\rightarrow e^{-iV^0t}\varPhi (t,\mathbf{x} )\) which implies the density of each component \(\rho _j\) (\(j=1,2\)) and the total density \(\rho \) unchanged. When \(d=1\), if the magnetic potential \(A_1\) is perturbed by a real constant \(A_1^0\), e.g. \(A_1(t,\mathbf{x} )\rightarrow A_1(t,\mathbf{x} )+A_1^0\), the solution \(\varPhi (t,\mathbf{x} )\rightarrow e^{iA_1^0t\sigma _1}\varPhi (t,\mathbf{x} )\) implying the total density \(\rho \) unchanged; but this property is not valid when \(d=2\). When the electromagnetic potentials are time-independent, i.e. \(V(t,\mathbf{x} )=V(\mathbf{x} )\) and \(A_j(t,\mathbf{x} )=A_j(\mathbf{x} )\) for \(j=1,2\), the following energy functional is also conserved
Furthermore, if the external electromagnetic potentials are constants, i.e. \(V(t,\mathbf{x} )\equiv V^0\) and \(A_j(t,\mathbf{x} )\equiv A_j^0\) for \(j=1,2\), the Dirac equation (1.21) admits the plane wave solution as \(\varPhi (t,\mathbf{x} )=\mathbf{B}\,e^{i(\mathbf{k} \cdot \mathbf{x} -\omega t)}\), where the time frequency \(\omega \), amplitude vector \(\mathbf{B} \in {\mathbb {R}}^2\) and spatial wave number \(\mathbf{k} =(k_1,\ldots ,k_d)^T\in {\mathbb {R}}^d\) satisfy the following dispersion relation
which again implies the dispersion relation (1.16) of the Dirac equation (1.21) for \(d=2,1\).
For the Dirac equation (1.9) with \(\varepsilon =1\), i.e. O(1)-speed of light regime, there are extensive analytical and numerical results in the literatures. For the existence and multiplicity of bound states and/or standing wave solutions, we refer to [47, 32, 25, 26, 31, 44, 75] and references therein. For the analysis of the classical/semiclassical limits via the Wigner transform techniques, we refer to [43, 7, 20, 22, 57, 72] and references therein. For the numerical methods and comparison such as the finite difference time domain (FDTD) methods and the Gaussian beam methods, we refer to [5, 7, 77, 27, 69, 45, 38, 39] and references therein. However, for the Dirac equation (1.9) with \(0<\varepsilon \ll 1\), i.e. nonrelativistic limit regime (or the scaled speed of light goes to infinity), the analysis and efficient computation of the Dirac equation (1.9) (or 1.21) are mathematically rather complicated. The main difficulty is due to that the solution is highly oscillatory in time and the corresponding energy functionals (1.14) and (1.25) are indefinite [18, 33] and become unbounded when \(\varepsilon \rightarrow 0\). There are extensive mathematical analysis of the (semi)-nonrelativistic limit of the Dirac equation (1.9) to the Pauli equation [54, 19, 18, 24, 40, 46, 59,60,61, 68, 76] and/or the Schrödinger equation when \(\varepsilon \rightarrow 0\) [18]. These rigorous analytical results show that the solution propagates waves with wavelength \(O(\varepsilon ^2)\) and O(1) in time and space, respectively, when \(0<\varepsilon \ll 1\). In fact, the oscillatory structure of the solution of the Dirac equation (1.9) when \(0<\varepsilon \ll 1\) can be formally observed from its dispersion relation (1.15) (or 1.26). To illustrate this further, Fig. 1 shows the solution of the Dirac equation (1.21) with \(d=1\), \(V(t,x)=\frac{1-x}{1+x^2}\), \(A_1(t,x)=\frac{(1+x)^2}{1+x^2}\) and \(\varPhi _0(x)=\left( \exp (-x^2/2),\exp (-(x-1)^2/2)\right) ^T\) for different \(\varepsilon \). This highly oscillatory nature of the solution of (1.9) (or 1.21) causes severe numerical burdens in practical computation, making the numerical approximation of (1.9) (or 1.21) extremely challenging and costly in the nonrelativistic regime \(0<\varepsilon \ll 1\). In [53], the resolution of the time-splitting Fourier pseudospectral (TSFP) method was studied for the Maxwell–Dirac equation in the nonrelativistic limit regime.
Recently, different numerical methods were proposed and analyzed for the efficient computation of the Klein–Gordon equation in the nonrelativistic limit regime [11, 12, 34] and/or highly oscillatory dispersive partial differential equations (PDEs) [9, 10, 13, 14]. To our knowledge, so far there are few results on the numerics of the Dirac equation in the nonrelativistic limit regime. The aim of this paper is to study the efficiency of the frequently used FDTD and TSFP methods applied to the Dirac equation in the nonrelativistic limit regime, to propose the symmetric exponential wave integrator Fourier pseudospectral (sEWI-FP) method and to compare their resolution capacities in this regime. We start with the detailed analysis on the stability and convergence of several standard implicit/semi-implicit/explicit FDTD methods [71]. Here we pay particular attention to how the error bounds depend explicitly on the small parameter \(\varepsilon \) in addition to the mesh size h and time step \(\tau \). Based on the estimates, in order to obtain ‘correct’ numerical approximations when \(0<\varepsilon \ll 1\), the meshing strategy requirement (\(\varepsilon \)-scalability) for those frequently used FDTD methods is: \(h = O(\sqrt{\varepsilon })\) and \(\tau = O(\varepsilon ^3)\), which suggests that the standard FDTD methods are computationally expensive for the Dirac equation (1.9) as \(0<\varepsilon \ll 1\). To relax the \(\varepsilon \)-scalability, we then propose the sEWI-FP method and compare it with the TSFP method, whose \(\varepsilon \)-scalability are optimal for both time and space in view of the inherent oscillatory nature. The key ideas of the sEWI-FP are: (i) to apply the Fourier pseudospectral discretization for spatial derivatives; and (ii) to adopt the symmetric exponential wave integrator (sEWI) for integrating the ordinary differential equations (ODEs) in phase space [42, 50] which was well demonstrated in the literatures that it has favorable properties compared to standard time integrators for oscillatory differential equations [42, 50,51,52]. Rigorous error estimates show that the \(\varepsilon \)-scalability of the sEWI-FP method is \(h = O(1)\), and \(\tau = O(\varepsilon ^2)\) for the Dirac equation with external electromagnetic potentials, meanwhile, the \(\varepsilon \)-scalability of TSFP method is \(h = O(1)\) and \(\tau = O(\varepsilon ^2)\). Thus, the sEWI-FP and TSFP offer compelling advantages over commonly used FDTD methods in temporal and spatial resolution when \(0<\varepsilon \ll 1\).
The rest of this paper is organized as follows. In Sect. 2, several second-order FDTD methods are reviewed and their stabilities and convergence are analyzed in the nonrelativistic limit regime. In Sect. 3, a symmetric exponential wave integrator Fourier pseudospectral method is proposed and analyzed rigorously. In Sect. 4, a time-splitting Fourier pseudospectral method is reviewed and analyzed rigorously. In Sect. 5, numerical comparison results are reported. Finally, some concluding remarks are drawn in Sect. 6. The mathematical proofs of the error estimates are given in the appendices, where extensions of sEWI-FP and TSFP to higher dimensions are also presented. Throughout the paper, we adopt the standard notations of Sobolev spaces, use the notation \(p \lesssim q\) to represent that there exists a generic constant C which is independent of h, \(\tau \) and \(\varepsilon \) such that \(|p|\le C\,q\).
2 FDTD Methods and Their Analysis
In this section, we apply the commonly used FDTD methods to the Dirac equation (1.9) (or 1.21) and analyze their stabilities and convergence in the nonrelativistic limit regime. For simplicity of notations, we shall only present the numerical methods and their analysis for (1.21) in 1D. Generalization to (1.9) and/or higher dimensions is straightforward and results remain valid without modifications. Similarly to most works in the literatures for the analysis and computation of the Dirac equation (cf. [17, 23, 48, 49, 53, 66, 77] and references therein), in practical computation, we truncate the whole space problem onto an interval \(\varOmega = (a,b)\) with periodic boundary conditions, which is large enough such that the truncation error is negligible. In 1D, the Dirac equation (1.21) with periodic boundary conditions collapses to
where \(\varPhi :=\varPhi (t,x)\), \(\varPhi _0(a)=\varPhi _0(b)\) and \(\varPhi _0^\prime (a)=\varPhi _0^\prime (b)\).
2.1 FDTD Methods
Choose mesh size \(h:=\varDelta x =\frac{b-a}{M}\) with M being an even positive integer, time step \(\tau := \varDelta t >0\) and denote the grid points and time steps as:
Denote \(X_M=\{{ U} =(U_0,U_1,\ldots ,U_M)^T\ |\ U_j\in {{\mathbb {C}}}^2, j=0,1,\ldots ,M, \ U_0=U_M\}\) and we always use \(U_{-1}=U_{M-1}\) and \(U_{M+1}=U_1\) if they are involved. For any \({ U} \in X_M\), we denote its Fourier representation as
where \(\mu _l\) and \(\widetilde{U}_l\in {{\mathbb {C}}}^2\) are defined as
The standard \(l^2\)-norm in \(X_M\) is given as
Let \(\varPhi _{j}^{n}\) be the numerical approximation of \(\varPhi (t_n,x_j)\) and \(V_j^n=V(t_n,x_j)\), \(V_j^{n+1/2}=V(t_n+\tau /2,x_j)\), \(A_{1,j}^n=A_1(t_n,x_j)\) and \(A_{1,j}^{n+1/2}=A_1(t_n+\tau /2,x_j)\) for \(0\le j\le M\) and \(n\ge 0\). Denote \(\varPhi ^n=\left( \varPhi _0^n, \varPhi _1^n, \ldots , \varPhi _M^n\right) ^T\in X_M\) as the solution vector at \(t=t_n\). Introduce the finite difference discretization operators for \(j=0,1,\ldots , M\) and \(n\ge 0\) as:
and the average as
Here we consider several frequently used FDTD methods to discretize the Dirac equation (2.1) for \(j=0,1,\ldots , M-1\).
I. Leap-frog finite difference (LFFD) method, for \(n\ge 1\),
II. Semi-implicit finite difference (SIFD1) method, for \(n\ge 1\),
III. Another semi-implicit finite difference (SIFD2) method, for \(n\ge 1\),
IV. Crank-Nicolson finite difference (CNFD) method, for \(n\ge 0\),
The initial and boundary conditions in (2.2) are discretized as:
Using Taylor expansion and noticing (2.1), the first step for the LFFD (2.6), SIFD1 (2.7) and SIFD2 (2.8) can be computed as
where \(j=0,1,\ldots , M\). In the above, we adopt \(\frac{1}{\tau }\sin \left( \frac{\tau }{\varepsilon }\right) \) and \(\frac{1}{\tau }\sin \left( \frac{\tau }{\varepsilon ^2}\right) \) instead of \(\frac{1}{\varepsilon }\) and \(\frac{1}{\varepsilon ^2}\) such that (2.11) is second order in term of \(\tau \) for any fixed \(0<\varepsilon \le 1\) and \(\Vert \varPhi ^1\Vert _{\infty }:=\max \limits _{0\le j\le M}|\varPhi _j^1|\lesssim 1\) for \(0<\varepsilon \le 1\). We remark here that they can be simply replaced by 1 when \(\varepsilon =1\).
The above four methods are all time symmetric, i.e. they are unchanged under \(\tau \leftrightarrow -\tau \) and \(n+1\leftrightarrow n-1\) in the LFFD, SIFD1 and SIFD2 methods or \(n+1\leftrightarrow n\) in the CNFD method, and the memory cost is the same at O(M). The LFFD method (2.6) is explicit and its computational cost per step is O(M). In fact, it might be the simplest and most efficient discretization for the Dirac equation when \(\varepsilon =1\) and thus it has been widely used when \(\varepsilon =1\). The SIFD1 method (2.7) is implicit, however at each time step for \(n\ge 1\), the corresponding linear system is decoupled and can be solved explicitly for \(j=0,1,\ldots ,M-1\) as
with \(H^n_j=\left[ \left( (i+\tau V_j^n)I_2+\frac{\tau }{\varepsilon ^2}\sigma _3-\tau A_{1,j}^n\sigma _1\right) \varPhi _j^{n-1} -\frac{2i\tau }{\varepsilon }\sigma _1\delta _x\varPhi _j^n\right] \), and thus its computational cost per step is O(M).
The SIFD2 method (2.8) is implicit, however at each time step for \(n\ge 1\), the corresponding linear system is decoupled in phase (Fourier) space and can be solved explicitly in phase space for \(l=-M/2,\ldots ,M/2-1\) as
where
and \(G^n=(G_0^n,G_1^n,\ldots ,G_M^n)^T\in X_M\) with \(G_j^n=- A_{1,j}^n\sigma _1+V_j^nI_2\) for \(j=0,1,\ldots ,M\), and thus its computational cost per step is \(O(M\ln M)\). The CNFD method (2.9) is implicit and at each time step for \(n\ge 0\), the corresponding linear system is coupled and needs to be solved via either a direct solver or an iterative solver, and thus its computational cost per step depends on the linear system solver, which is usually much larger than O(M), especially in 2D and 3D. Based on the computational cost per time step, the LFFD method is the most efficient one and the CNFD method is the most expensive one.
2.2 Linear Stability Analysis
In order to carry out the linear stability analysis for the FDTD methods via the von Neumann method [71], we assume that \(A_1(t,x)\equiv A_1^0\) and \(V(t,x)\equiv V^0\) with \(A_1^0\) and \(V^0\) being two real constants in the Dirac equation (2.1). Then we have the following results for the FDTD methods:
Lemma 2.1
-
(i)
The LFFD method (2.6) is stable under the stability condition
$$\begin{aligned} 0<\tau \le \frac{\varepsilon ^2h}{|V^0|\varepsilon ^2h+\sqrt{h^2+\varepsilon ^2(1+\varepsilon h|A_1^0|)^2}}, \quad h>0, \quad 0<\varepsilon \le 1. \end{aligned}$$(2.13) -
(ii)
The SIFD1 method (2.7) is stable under the stability condition
$$\begin{aligned} 0<\tau \le \varepsilon h, \quad h>0, \quad 0<\varepsilon \le 1. \end{aligned}$$(2.14) -
(iii)
The SIFD2 method (2.8) is stable under the stability condition
$$\begin{aligned} 0<\tau \le \frac{1}{|V^0|+|A_1^0|}, \quad h>0, \quad 0<\varepsilon \le 1. \end{aligned}$$(2.15) -
(iv)
The CNFD method (2.9) is unconditionally stable, i.e. it is stable for any \(\tau ,h>0\) and \(0<\varepsilon \le 1\).
Proof
(i) Plugging
with \(\xi _l\in {{\mathbb {C}}}\) and \(\widetilde{(\varPhi ^0)}_l\) being the amplification factor and the Fourier coefficient at \(n=0\), respectively, of the l-th mode in the phase space into (2.6), using the orthogonality of the Fourier series, we obtain for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\),
Substituting (1.3) into (2.17), we get that the amplification factor \(\xi _l\) satisfies
where
Then the stability condition for the LFFD method (2.6) becomes
which immediately implies the condition (2.13).
(ii) Similarly to (i), plugging (2.16) into the SIFD1 method (2.7), we have for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\),
Noticing (1.3), under the condition (2.14), we can get \(|\xi _l|\le 1\) for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\), and thus it is stable.
(iii) Similarly to (i), plugging (2.16) into the SIFD2 method (2.8), we have for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\),
Noticing (1.3), under the condition (2.15), we obtain
and thus it is stable.
(iv) Similarly to (i), plugging (2.16) into the CNFD method (2.9), we obtain for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\),
Noticing (1.3), we have for \(l = -\frac{M}{2},\ldots , \frac{M}{2}-1\),
Thus it is unconditionally stable. \(\square \)
2.3 Mass and Energy Conservation
For the CNFD method (2.9), we have the following conservative properties.
Lemma 2.2
The CNFD (2.9) conserves the mass in the discretized level, i.e.
Furthermore, if \(V(t,x)=V(x)\) and \(A_1(t,x)=A_1(x)\) are time independent, the CNFD (2.9) conserves the energy as well,
where \(V_j=V(x_j)\) and \(A_{1,j}=A_1(x_j)\) for \(j=0,1,\ldots ,M\).
Proof
(i) Firstly, we prove the mass conservation (2.24). Multiplying both sides of (2.9) from left by \(h\tau \, (\varPhi _j^{n+1/2})^*\) and taking the imaginary part, we have for \(j=0,1,\ldots ,M-1\),
Summing (2.26) for \(j=0,1,\ldots ,M-1\) and noticing (1.3), we get
which immediately implies (2.24) by induction.
(ii) Secondly, we prove the energy conservation (2.25). Multiplying both sides of (2.9) from left by \(2h\, (\varPhi _j^{n+1}-\varPhi _j^n)^*\) and taking the real part, we have
Summing (2.28) for \(j=0,1,\ldots ,M-1\) and noticing the summation by parts formula, we have
and
which immediately implies (2.25). \(\square \)
2.4 Error Estimates
Let \(0<T<T^*\) with \(T^*\) being the maximal existence time of the solution, and denote \(\varOmega _{T}=[0,T]\times \varOmega \). Motivated by the nonrelativistic limit of the Dirac equation [18] and the dispersion relation (1.26), we assume that the exact solution of (2.1) satisfies \(\varPhi \in C^{3}([0,T]; (L^{\infty }(\varOmega ))^2)\cap C^{2}([0,T]; (W_p^{1,\infty }(\varOmega ))^2) \cap C^{1}([0,T]; (W_p^{2,\infty }(\varOmega ))^2)\cap C([0,T]; (W_p^{3,\infty }(\varOmega ))^2)\) and
where \(W_p^{m,\infty }(\varOmega )=\{u\ |\ u\in W^{m,\infty }(\varOmega ),\ \partial _x^l u(a)=\partial _x^l u(b),\ l=0,\ldots ,m-1\}\) for \(m\ge 1\) and here the boundary values are understood in the trace sense. In the subsequent discussion, we will omit \(\varOmega \) when referring to the space norm taken on \(\varOmega \). In addition, we assume the electromagnetic potentials \(V\in C(\overline{\varOmega }_T)\) and \(A_1\in C(\overline{\varOmega }_T)\) and denote
Remark 2.1
From the analysis point of view, if \(V(t,x),A_1(t,x)\) and initial data \(\varPhi _0\) are sufficiently smooth, e.g. \(V(t,x),A(t,x)\in C([0,T];W_p^{4,2})\cap C^{1}([0,T];W_p^{2,2})\cap C^{2}([0,T];W_p^{1,2})\) and \(\varPhi _0\in (W_p^{4,2})^2\), the assumption (A) would hold [18]. In practice, if the exact solution \(\varPhi (t,x)\) remains well localized for \(t<T\) and the errors due to the periodic truncation of \(V(t,x)\varPhi (t,x)\) and \(A_1(t,x)\varPhi (t,x)\) onto the bounded domain \(\varOmega \) are negligible, the error estimates presented below would still hold without the periodicity assumptions on V(t, x), \(A_1(t,x)\) and \(\varPhi _0\). It is worth noticing that the honeycomb lattice potential [3] and many other external electromagnetic potentials have the desired smoothness.
Define the grid error function \(\mathbf{e} ^n=(\mathbf{e} _0^n,\mathbf{e} _1^n,\ldots ,\mathbf{e} _M^n)^T\in X_M\) as:
with \(\varPhi _j^n\) being the approximations obtained from the FDTD methods.
For the LFFD (2.6), we assume the stability condition
and establish the following error estimate (see its proof in “Appendix 1”).
Theorem 2.1
Under the assumptions (A) and (B), there exist constants \(h_{0}>0\) and \(\tau _0>0\) sufficiently small and independent of \(\varepsilon \), such that for any \(0<\varepsilon \le 1\), when \(0<h\le h_{0}\) and \(0<\tau \le \tau _0\) and under the stability condition (2.33), we have the following error estimate for the LFFD (2.6) with (2.10) and (2.11)
Similar to the proof of the LFFD method, error estimates for the CNFD (2.9), SIFD1 (2.7) and SIFD2 (2.8) under the stability condition
can be derived and the details are omitted here for brevity.
Theorem 2.2
Under the assumptions (A) and (B), there exist constants \(h_{0}>0\) and \(\tau _0>0\) sufficiently small and independent of \(\varepsilon \), such that for any \(0<\varepsilon \le 1\), \(0<h\le h_{0}\) and \(0<\tau \le \tau _0\), we have the following error estimate for the CNFD (2.9) with (2.10)
Theorem 2.3
Under the assumptions (A) and (B), there exist constants \(h_{0}>0\) and \(\tau _0>0\) sufficiently small and independent of \(\varepsilon \), such that for any \(0<\varepsilon \le 1\), when \(0<h\le h_{0}\) and \(0<\tau \le \tau _0\) and under the stability condition (2.14), we have the following error estimate for the SIFD1 (2.7) with (2.10) and (2.11)
Theorem 2.4
Under the assumptions (A) and (B), there exist constants \(h_{0}>0\) and \(\tau _0>0\) sufficiently small and independent of \(\varepsilon \), such that for any \(0<\varepsilon \le 1\), when \(0<h\le h_{0}\) and \(0<\tau \le \tau _0\) and under the stability condition (2.35), we have the following error estimate for the SIFD2 (2.8) with (2.10) and (2.11)
Based on Theorems 2.2–2.4, the four FDTD methods studied here share the same temporal/spatial resolution capacity in the nonrelativistic limit regime. In fact, given an accuracy bound \(\delta >0\), the \(\varepsilon \)-scalability of the four FDTD methods is:
3 A sEWI-FP Method and Its Analysis
In this section, we propose a symmetric exponential wave integrator Fourier pseudospectral (sEWI-FP) method to solve the Dirac equation (1.9) (or 1.21) and establish its stability and convergence in the nonrelativistic limit regime. Again, for simplicity of notations, we shall only present the numerical method and its analysis for (2.1) in 1D. Generalization to (1.9) and/or higher dimensions is straightforward and the results remain valid without modifications (see generalizations in “Appendix 3”).
3.1 The sEWI-FP Method
Denote
Let \([C_p(\overline{\varOmega })]^2\) be the function space consisting of all periodic vector function \(U(x):\ \overline{\varOmega }=[a,b]\rightarrow {{\mathbb {C}}}^2\). For any \(U(x)\in [C_p(\overline{\varOmega })]^2\) and \(U\in X_M\), define \(P_M:\ [L^2(\varOmega )]^2\rightarrow Y_M\) as the standard projection operator [70], \(I_M:\ [C_p(\overline{\varOmega })]^2\rightarrow Y_M\) and \(I_M:X_M\rightarrow Y_M\) as the standard interpolation operator [70], i.e. for \(a\le x\le b\)
with
where \(l=-\frac{M}{2}, -\frac{M}{2}+1,\ldots , \frac{M}{2}-1\) and \(U_j=U(x_j)\) when U is a function.
The Fourier spectral discretization for the Dirac equation (2.1) is as follows:
Find \(\varPhi _{M}(t,x)\in Y_M\), i.e.
such that, for \(a<x<b\) and \(t>0\), \(\varPhi _{M}:=\varPhi _{M}(t,x)\) satisfies
Substituting (3.3) into (3.4), noticing the orthogonality of \(\phi _l(x)\), we get for \(l=-\frac{M}{2},\ldots ,\frac{M}{2}-1\) and \(t\ge 0\)
For each l (\(l=-\frac{M}{2}, -\frac{M}{2}+1,\ldots , \frac{M}{2}-1\)), when t is near \(t=t_n\) \((n\ge 0)\), we rewrite the above ODEs as
where
and \(\varGamma _l=\mu _l\varepsilon \sigma _1+\sigma _3=Q_l\, D_l\, (Q_l)^*\) with \(\delta _l=\sqrt{1+\varepsilon ^2\mu _l^2}\) and
Solving the above ODE (3.6) via the integrating factor method, we obtain
We note here that \(e^{is\varGamma _l}=\cos (s\varGamma _l)+i\sin (s\varGamma _l)\) (\(s\in \mathbb {R}\), \(l=-\frac{M}{2},\ldots ,M-1\)) and
Setting \(n=0\) and \(s=\tau \), we get
For \(n\ge 1\), taking \(s=\tau \) and \(s=-\tau \) in (3.9), respectively, and subtracting one from the other, we have
To obtain an explicit numerical method with second order accuracy in time, we approximate the integrals in (3.11) and (3.12) via the Gautschi-type/trapezoidal rules [42, 50, 51], which have been widely used for integrating highly oscillatory ODEs [6, 12, 42, 50, 51, 55, 56], as
and for \(n\ge 1\)
Now, we are ready to describe our scheme. Let \(\varPhi _M^n(x)\) be the approximation of \(\varPhi _{M}(t_n,x)\) (\(n\ge 0\)). Choosing \(\varPhi _M^0(x)=(P_M\varPhi _0)(x)\), a symmetric exponential wave integrator Fourier spectral (sEWI-FS) discretization for the Dirac equation (2.1) is to update the numerical approximation \(\varPhi ^{n+1}_M(x)\in Y_M\) (\(n=0,1,\ldots \)) as
where for \(l = -\frac{M}{2}, \ldots , \frac{M}{2}-1\),
with \(G(t):=G(t,x)\). Notice that the above scheme for \(n\ge 1\) is unchanged if we interchange \(n+1\leftrightarrow n-1\) and \(\tau \leftrightarrow -\tau \).
The above procedure is not suitable in practice due to the difficulty in computing the Fourier coefficients through integrals in (3.2). Here we present an efficient implementation by choosing \(\varPhi _M^0(x)\) as the interpolant of \(\varPhi _0(x)\) on the grids \(\left\{ x_j, j = 0, 1,\ldots , M\right\} \) and approximate the integrals in (3.2) by a quadrature rule.
Let \(\varPhi _j^n\) be the numerical approximation of \(\varPhi (t_n,x_j)\) for \(j = 0, 1, 2, \ldots , M\) and \(n\ge 0\), and denote \(\varPhi ^n\in X_M\) as the vector with components \(\varPhi _j^n\). Choosing \(\varPhi ^0_j=\varPhi _0(x_j)\) (\(j = 0, 1,\ldots , M\)), the sEWI Fourier pseudospectral (sEWI-FP) method for computing \(\varPhi ^{n+1}\) for \(n\ge 0\) reads
where
The sEWI-FP (3.18–3.19) is explicit, and can be computed efficiently by the fast Fourier transform (FFT). The memory cost is O(M) and the computational cost per time step is \(O(M \log M)\).
3.2 Linear Stability Analysis
To consider the linear stability, we assume that in the Dirac equation (2.1), the external potential fields are constants, i.e. \(A_1(t,x)\equiv A_1^0\) and \(V(t,x)\equiv V^0\) with \(A_1^0\) and \(V^0\) being two real constants. Then we have
Lemma 3.1
The sEWI-FP method (3.18)–(3.19) and sEWI-FS method (3.16)–(3.17) are stable under the condition
Proof
We shall only prove the sEWI-FP case (3.19), as the sEWI-FP method case (3.16–3.17) is quite the same.
Similarly to the proof of Lemma 2.1, noticing (3.17), (3.7), (3.12) and (3.14), we find that
Multiplying both sides of (3.21) by \(\overline{\xi _l}(\widetilde{\varPhi ^0})^*_l\) and then taking the real part and dividing both sides by \((\widetilde{\varPhi ^0})^*_l(\widetilde{\varPhi ^0})_l\), in view of Hermitian matrices \(\varGamma _l\), \(\sigma _1\), we get
which implies \(|\xi _l|=1\) if \(\text {Re}(\xi _l)\ne 0\). On the other hand, if \(\text {Re}(\xi _l)=0\), we can take \(\xi _l=i c_l\) with \(c_l\in \mathbb {R}\), and (3.21) leads to
Denoting \(C=|V^0|+|A_1^0|\), multiplying both sides of (3.23) by \((\widetilde{\varPhi ^0})^*_l\) and then dividing both sides by \((\widetilde{\varPhi ^0})^*_l(\widetilde{\varPhi ^0})_l\), noticing \(\sin (\tau \delta _l/\varepsilon ^2)\le \frac{\sqrt{3}}{2}\) under the stability constraint and \(|\varepsilon ^2\delta _l^{-1}\sin (\tau \delta _l/\varepsilon ^2)|\le \tau \), we obtain
where no real number \(c_l\) can satisfy the above inequality if \(\tau <\frac{2-\sqrt{3}}{2C}\). It follows that the sEWI-FS (3.16–3.17) is stable under the constraint (3.20). \(\square \)
3.3 Error Estimates
In order to obtain an error estimate for the sEWI methods (3.16–3.17) and (3.18–3.19), motivated by the results in [19, 24], we assume that there exists an integer \(m_0\ge 2\) such that the exact solution \(\varPhi (t,x)\) of the Dirac equation (2.1) satisfies
where \(H^k_p(\varOmega )=\{u\ |\ u\in H^{k}(\varOmega ),\ \partial _x^l u(a)=\partial _x^l u(b),\ l=0,\ldots ,k-1\}\). In addition, we assume the electromagnetic potentials satisfy
The following estimate can be established (see its proof in “Appendix 2”).
Theorem 3.1
Let \(\varPhi _M^n(x)\) be the approximation obtained from the sEWI-FS (3.16)–(3.17). Under the assumptions (C) and (D), there exists \(h_0>0\) and \(\tau _0>0\) sufficiently small and independent of \(\varepsilon \) such that, for any \(0<\varepsilon \le 1\) under the stability constraint
when \(0<h\le h_0\) and \(0<\tau \le \tau _0\) satisfying the stability condition (3.25), we have the following error estimate
Remark 3.1
If we apply a filter in sEWI-FS (3.16–3.17), where we modify the coefficients in front of \(\widehat{(\varPhi _M^n)}_l\) as \(-2i\sin (\tau \varGamma _l/\varepsilon ^2)\rightarrow -2i\cos (\tau \delta _l/\varepsilon ^2)\sin (\tau \varGamma _l/\varepsilon ^2)\), the resulting scheme will be stable for \(\tau \lesssim 1\), i.e. the stability will be independent of \(\varepsilon \) and h. Accordingly, the error estimates will become \(\tau ^2/\varepsilon ^6+h^{m_0}\) under proper regularity assumptions on the exact solution.
Remark 3.2
The same error estimate in Theorem 3.1 holds for the sEWI-FP (3.18–3.19) and the proof is quite similar to that of Theorem 3.1.
4 A TSFP Method and Its Analysis
In this section, we present a time-splitting Fourier pseudospectral (TSFP) method to solve the Dirac equation(1.9) (or 1.21) which has been proposed and studied for the Maxwell–Dirac equation [17, 53]. Again, for simplicity of notations, we shall only present the numerical method and its analysis for (2.1) in 1D. Generalization to (1.9) and/or higher dimensions is straightforward and results remain valid without modifications (see generalizations in “Appendix 3”).
From time \(t = t_n\) to time \(t = t_{n+1}\), the Dirac equation (2.1) is split into two steps. One solves first
with the periodic boundary condition (2.2) for the time step of length \(\tau \), followed by solving
for the same time step. Equation (4.1) will be first discretized in space by the Fourier spectral method and then integrated (in phase or Fourier space) in time exactly [17]. For the ODEs (4.2), we can integrate analytically in time as
In practical computation, from time \(t=t_n\) to \(t=t_{n+1}\), one often combines the splitting steps via the standard Strang splitting [73]—which results in a second order time-splitting Fourier pseudospectral (TSFP) method—as
where \(\int _{t_n}^{t_{n+1}}G(t,x_j)dt=V_j^{(1)}\, I_2- A_{1,j}^{(1)}\,\sigma _1=P_j\, \varLambda _j\, P_j^*\) with \(V_j^{(1)}=\int _{t_n}^{t_{n+1}}V(t,x_j)dt\), \(A_{1,j}^{(1)}=\int _{t_n}^{t_{n+1}}A_1(t,x_j)dt\), \(\varLambda _j=\mathrm{diag}(\varLambda _{j,+},\varLambda _{j,-})\) with \(\varLambda _{j,\pm }=V_j^{(1)}\pm A_{1,j}^{(1)}\), and \(P_j=I_2\) if \(A_{1,j}^{(1)}=0\) and otherwise
Remark 4.1
Again, if the definite integrals in \(\int _{t_n}^{t_{n+1}}\varLambda (t,x_j)\,dt\) cannot be evaluated analytically, we can evaluate them numerically via the Simpson’s quadrature rule as
Lemma 4.1
The TSFP (4.4) conserves the mass in the discretized level, i.e.
Proof
The proof is quite standard and similar to that of Lemma 2.2. We omit it here. \(\square \)
From Lemma 4.1, we conclude that the TSFP (4.4) is unconditionally stable. In addition, under proper assumptions of the exact solution \(\varPhi (t,x)\) and electromagnetic potentials, it is easy to show the following error estimate via the formal Lie calculus introduced in [58],
where \(m_0\) depends on the regularity of \(\varPhi (t,x)\). We omit the details here for brevity.
5 Numerical Comparison and Applications
In this section, we compare the accuracy of different numerical methods including the FDTD, sEWI-FP and TSFP methods for the Dirac equation (1.21) in 1D in terms of the mesh size h, time step \(\tau \) and the parameter \(0<\varepsilon \le 1\). We will pay particular attention to the \(\varepsilon \)-scalability of different methods in the nonrelativistic limit regime, i.e. \(0<\varepsilon \ll 1\). Then we simulate the dynamics of the Dirac equation (1.21) in 2D with a honeycomb lattice potential by the TSFP method.
5.1 Comparison of Spatial/Temporal Resolution
To test the accuracy, we choose the electromagnetic potentials in the Dirac equation (1.21) with \(d=1\) as
and the initial data as
The problem is solved numerically on an interval \(\varOmega =(-16, 16)\) with periodic boundary conditions on \(\partial \varOmega \). The ‘reference’ solution \(\varPhi (t,x)=(\phi _1(t, x),\phi _2(t, x))^T\) is obtained numerically by using the TSFP method with a small time step and a very fine mesh size, e.g. \(\tau _e = 10^{-7}\) and \(h_e = 1/16\) or \(h_e = 1/4096\) for the comparison of the sEWI-FP/TSFP methods or the FDTD methods, respectively. Denote \(\varPhi ^n_{h,\tau }\) as the numerical solution obtained by a numerical method with mesh size h and time step \(\tau \). In order to quantify the convergence, we introduce
Table 1 lists spatial errors \(e_{h,\tau _e}(t=2)\) with different h (upper part) and temporal errors \(e_{h_e,\tau }(t=2)\) with different \(\tau \) (lower part) for the LFFD method (2.6). Tables 2, 3, 4, 5 and 6 show similar results for the SIFD1 method (2.7), SIFD2 method (2.8), CNFD method (2.9), sEWI-FP method (3.18–3.19) and TSFP method (4.4), respectively. For the LFFD and SIFD1 methods, due to the stability condition and accuracy requirement, we take
in Tables 1 and 2. For comparison, Table 7 depicts temporal errors of different numerical methods when \(\varepsilon =1\) for different \(\tau \), Table 8 depicts temporal errors of different numerical methods under different \(\varepsilon \)-scalability.
From Tables 1, 2, 3, 4, 5, 6, 7, and 8, and additional numerical results not shown here for brevity, we can draw the following conclusions for the Dirac equation by using different numerical methods:
(i). For the discretization error in space, for any fixed \(\varepsilon =\varepsilon _0>0\), the FDTD methods are second-order accurate, and resp., the sEWI-FP and TSFP methods are spectrally accurate (cf. each row in the upper parts of Tables 1, 2, 3, 4, 5, 6 and 7). For \(0<\varepsilon \le 1\), the errors are independent of \(\varepsilon \) for the sEWI-FP and TSFP methods (cf. each column in the upper parts of Tables 5, 6), and resp., are almost independent of \(\varepsilon \) for the FDTD methods (cf. each column in the upper parts of Tables 1, 2, 3, 4). In general, for any fixed \(0<\varepsilon \le 1\) and \(h>0\), the sEWI-FP and TSFP methods perform much better than the FDTD methods in spatial discretization.
(ii). For the discretization error in time, in the O(1) speed-of-light regime, i.e. \(\varepsilon =O(1)\), all the numerical methods including FDTD, sEWI-FP and TSFP are second-order accurate (cf. the first row in the lower parts of Tables 1, 2, 3, 4, 5, 6). In general, the sEWI-FP and TSFP methods perform much better than the FDTD methods in temporal discretizations for a fixed time step. In the non-relativistic limit regime, i.e. \(0<\varepsilon \ll 1\), for the FDTD methods, the ‘correct’ \(\varepsilon \)-scalability is \(\tau =O(\varepsilon ^3)\) which verifies our theoretical results; for the sEWI-FP and TSFP methods, the ‘correct’ \(\varepsilon \)-scalability is \(\tau =O(\varepsilon ^2)\) which again confirms our theoretical results. In fact, for \(0<\varepsilon \le 1\), one can observe clearly second-order convergence in time for the FDTD methods only when \(\tau \lesssim \varepsilon ^3\) (cf. upper triangles above the diagonal labelled by bold letters in the lower parts of Tables 1, 2, 3, 4), and resp., for the sEWI-FP and TSFP methods when \(\tau \lesssim \varepsilon ^2\) (cf. upper triangles above the diagonal labelled by bold letters in the lower parts of Tables 5 and 6). In general, for any fixed \(0<\varepsilon \le 1\) and \(\tau >0\), the TSFP method performs the best, and the sEWI-FP method performs much better than the FDTD methods in temporal discretization (cf. Table 8).
(iii). From Table 6, our numerical results suggest the following error bound for the TSFP method when \(\tau \lesssim \varepsilon ^2\),
which is much better than (4.7) for the TSFP method in the nonrelativistic limit regime. Rigorous mathematical justification for (5.3) is on-going.
From Tables 1, 2, 3, and 4, in the numerical example, we could not observe numerically the \(\varepsilon \)-dependence in the spatial discretization error for the FDTD methods, i.e. \(\frac{1}{\varepsilon }\) in front of \(h^2\), which was proven in Theorems 2.2–2.4. In order to investigate the spatial \(\varepsilon \)-resolution of the FDTD methods, we consider the Dirac equation (2.1) on \(\varOmega =(-1, 1)\) with no electromagnetic potential—the free Dirac equation, i.e.
The initial data in (2.2) is taken as
Table 9 shows the spatial errors \(e_{h,\tau _e}(t=2)\) of the CNFD method with different h. The results for the LFFD, SIFD1 and SIFD2 methods are similar and they are omitted here for brevity. From Table 9 where the error is of order \(h^2/\varepsilon \) (each row of the table), we can conclude that the error bounds in the Theorems 2.1–2.4 are sharp.
Based on the above comparison, in view of both temporal and spatial accuracies and resolution capacity, we conclude that the sEWI-FP and TSFP methods perform much better than the FDTD methods for the discretization of the Dirac equation, especially in the nonrelativistic limit regime. For the reader’s convenience, we summarize the properties of different numerical methods in Table 10.
As observed in [15, 16], the time-splitting spectral (TSSP) method for the Schrödinger equation performs much better for the physical observable, e.g. density and current, than for the wave function, in the semiclassical limit regime with respect to the scaled Planck constnat \(0<\varepsilon \ll 1\). In order to see whether this is still valid for the TSFP method for the Dirac equation in the nonrelativistic limit regime, let \(\rho ^n=|\varPhi ^n_{h,\tau }|^2\), \(\mathbf{J}^n=\frac{1}{\varepsilon }(\varPhi ^n_{h,\tau })^*\sigma _1\varPhi ^n_{h,\tau }\) with \(\varPhi ^n_{h,\tau }\) the numerical solution obtained by the TSFP method with mesh size h and time step \(\tau \), and define the errors
Table 11 lists temporal errors \(e_{\rho }^{h,\tau }(t=2)\) and \(e_\mathbf{J}^{h,\tau }(t=2)\) with different \(\tau \) for the TSFP method (4.4). From this Table, we can see that the approximations of the density and current are at the same order as for the wave function by using the TSFP method. The reason that we can speculate is that \(\rho =O(1)\) and \(\mathbf{J} =O(\varepsilon ^{-1})\) (see details in Eqs. 1.11 or 1.23) in the Dirac equation, where in the Schrödinger equation both density and current are all at O(1), when \(0<\varepsilon \ll 1\).
5.2 Dynamics of the Dirac Equation in 2D
Here we study numerically the dynamics of the Dirac equation (1.21) in 2D with a honeycomb lattice potential, i.e. we take \(d=2\), \(A_1(t,\mathbf{x} )=A_2(t,\mathbf{x} )\equiv 0\) and
with
The initial data in (1.22) is taken as
The problem is solved numerically on \(\varOmega =[-10,10]^2\) by the TSFP method with mesh size \(h=1/16\) and time step \(\tau =0.01\). Figures 2 and 3 depict the densities \(\rho _j(t,\mathbf{x} )=|\phi _j(t,\mathbf{x} )|^2\) (\(j=1,2\)) for \(\varepsilon =1\) and \(\varepsilon =0.2\), respectively.
From Figs. 2 and 3, we find that the dynamics of the Dirac equation depends significantly on \(\varepsilon \). For \(\varepsilon =1\), the dynamics is strange and the densities are fluctuating in a random pattern, featured as quantum Zitterbewegung [30], well-known for the relativistic Dirac dynamics. As \(\varepsilon \rightarrow 0^+\), the relativistic effects will vanish and the Dirac equation will reduce to Schrödinger equations. Indeed, from Fig. 3 where \(\varepsilon =0.2\), we find the dynamics is more like Schrödinger dynamics and the densities spread over the lattice potential in a smoother way. In addition, the TSFP method can capture the dynamics very accurately and efficiently.
6 Conclusion
Three types of numerical methods based on different time integrations were analyzed rigorously and compared numerically for simulating the Dirac equation in the nonrelativistic limit regime, i.e. \(0<\varepsilon \ll 1\) or the speed of light goes to infinity. The first class consists of the second order standard FDTD methods, including energy conservative/ nonconservative and implicit/semi-implicit/explicit ones. In the nonrelativistic limit regime, the error estimates of the FDTD methods were rigorously analyzed, which suggest that the \(\varepsilon \)-scalability of the FDTD methods is \(\tau =O(\varepsilon ^3)\) and \(h=O(\sqrt{\varepsilon })\). The second class applies the Fourier spectral discretization in space and Gautschi-type integration in time, resulting in an sEWI-FP method. Rigorous error bounds for the sEWI-FP method were derived, which show that the \(\varepsilon \)-scalability of the sEWI-FP method is \(\tau =O(\varepsilon ^2)\) and \(h=O(1)\). The last class combines the Fourier spectral discretization in space and splitting technique in time, which leads to a TSFP method. Based on the rigorous error analysis, the \(\varepsilon \)-scalability of the TSFP method is \(\tau =O(\varepsilon ^2)\) and \(h=O(1)\), which is similar to the sEWI-FP method. From the error analysis and numerical results, the sEWI-FP and TSFP methods perform much better than the FDTD methods, especially in the nonrelativistic limit regime. Extensive numerical results indicate that the TSFP method is superior than the sEWI-FP in terms of accuracy and efficiency, and thus the TSFP method is favorable for solving the Dirac equation directly, especially in the nonrelativistic limit regime. Finally, we studied the dynamics of the Dirac equation in 2D with a honeycomb lattice potential and observed some interesting dynamics for different \(\varepsilon \).
References
Abanin, D.A., Morozov, S.V., Ponomarenko, L.A., Gorbachev, R.V., Mayorov, A.S., Katsnelson, M.I., Watanabe, K., Taniguchi, T., Novoselov, K.S., Levito, L.S., Geim, A.K.: Giant nonlocality near the Dirac point in graphene. Science 332, 328–330 (2011)
Abenda, S.: Solitary waves for the Maxwell–Dirac and Coulomb–Dirac models. Ann. Inst. Henri Poincaré Phys. Theor 68, 229–244 (1998)
Ablowitz, M.J., Zhu, Y.: Nonlinear waves in shallow honeycomb lattices. SIAM J. Appl. Math. 72, 240–260 (2012)
Anderson, C.D.: The positive electron. Phys. Rev. 43, 491–498 (1933)
Antoine, X., Lorin, E., Sater, J., Fillion-Gourdeau, F., Bandrauk, A.D.: Absorbing boundary conditions for relativistic quantum mechanics equations. J. Comput. Phys. 277, 268–304 (2014)
Archilla, B.G., Sanz-Serna, J.M., Skeel, R.D.: Long-time-step methods for oscillatory differential equations. SIAM J. Sci. Comput. 20, 930–963 (1998)
Arnold, A., Steinrück, H.: The ‘electromagnetic’ Wigner equation for an electron with spin. ZAMP 40, 793–815 (1989)
Bao, W., Cai, Y.: Mathematical theory and numerical methods for Bose–Einstein condensation. Kinet. Relat. Models 6, 1–135 (2013)
Bao, W., Cai, Y.: Optimal error estmiates of finite difference methods for the Gross–Pitaevskii equation with angular momentum rotation. Math. Comput. 82, 99–128 (2013)
Bao, W., Cai, Y.: Uniform and optimal error estimates of an exponential wave integrator sine pseudospectral method for the nonlinear Schrödinger equation with wave operator. SIAM J. Numer. Anal. 52, 1103–1127 (2014)
Bao, W., Cai, Y., Zhao, X.: A uniformly accurate multiscale time integrator pseudospectral method for the Klein–Gordon equation in the nonrelativistic limit regime. SIAM J. Numer. Anal. 52, 2488–2511 (2014)
Bao, W., Dong, X.: Analysis and comparison of numerical methods for the Klein–Gordon equation in the nonrelativistic limit regime. Numer. Math. 120, 189–229 (2012)
Bao, W., Dong, X., Zhao, X.: An exponential wave integrator pseudospectral method for the Klein–Gordon–Zakharov system. SIAM J. Sci. Comput. 35, A2903–A2927 (2013)
Bao, W., Dong, X., Zhao, X.: Uniformly correct multiscale time integrators for highly oscillatory second order differention equations. J. Math. Study 47, 111–150 (2014)
Bao, W., Shi, J., Markowich, P.A.: On time-splitting spectral approximation for the Schrödinger equation in the semiclassical regime. J. Comput. Phys. 175, 487–524 (2002)
Bao, W., Shi, J., Markowich, P.A.: Numerical study of time-splitting spectral discretizations of nonlinear Schrödinger equations in the semi-classical regimes. SIAM J. Sci. Comput. 25, 27–64 (2003)
Bao, W., Li, X.: An efficient and stable numerical method for the Maxwell–Dirac system. J. Comput. Phys. 199, 663–687 (2004)
Bechouche, P., Mauser, N., Poupaud, F.: (Semi)-nonrelativistic limits of the Dirac eqaution with external time-dependent electromagnetic field. Commun. Math. Phys. 197, 405–425 (1998)
Bechouche, P., Mauser, N., Selberg, S.: On the asymptotic analysis of the Dirac–Maxwell system in the nonrelativistic limit. J. Hyper. Differ. Equat. 2, 129–182 (2005)
Bolte, J., Keppeler, S.: A semiclassical approach to the Dirac equation. Ann. Phys. 274, 125–162 (1999)
Booth, H.S., Legg, G., Jarvis, P.D.: Algebraic solution for the vector potential in the Dirac equation. J. Phys. A: Math. Gen. 34, 5667–5677 (2001)
Bournaveas, N.: Local existence for the Maxwell–Dirac equations in three space dimensions. Commun. Part. Differ. Equ. 21, 693–720 (1996)
Brinkman, D., Heitzinger, C., Markowich, P.A.: A convergent 2D finite-difference scheme for the Dirac–Poisson system and the simulation of graphene. J. Comput. Phys. 257, 318–332 (2014)
Cirincione, R.J., Chernoff, P.R.: Dirac and Klein Gordon equations: convergence of solutions in the nonrelativistic limit. Commun. Math. Phys. 79, 33–46 (1981)
Das, A.: General solutions of Maxwell–Dirac equations in 1 + 1 dimensional space-time and spatial confined solution. J. Math. Phys. 34, 3986–3999 (1993)
Das, A., Kay, D.: A class of exact plane wave solutions of the Maxwell–Dirac equations. J. Math. Phys. 30, 2280–2284 (1989)
Deuflhard, P.: A study of extrapolation methods based on multistep schemes without parasitic solutions. ZAMP 30, 177–189 (1979)
Dirac, P.A.M.: The quantum theory of the electron. Proc. R. Soc. Lond. A 117, 610–624 (1928)
Dirac, P.A.M.: A theory of electrons and protons. Proc. R. Soc. Lond. A 126, 360–365 (1930)
Dirac, P.A.M.: Principles of Quantum Mechanics. Oxford University Press, London (1958)
Dolbeault, J., Esteban, M.J., Séré, E.: On the eigenvalues of operators with gaps: applications to Dirac operator. J. Funct. Anal. 174, 208–226 (2000)
Esteban, M., Séré, E.: Existence and multiplicity of solutions for linear and nonlinear Dirac problems. Partial Differ. Equ. Appl. 12, 107–112 (1997)
Esteban, M., Séré, E.: An overview on linear and nonlinear Dirac equations. Discrete Contin. Dyn. Syst. 8, 381–397 (2002)
Faou, E., Schratz, K.: Asymptotic preserving schemes for the Klein–Gordon equation in the non-relativistic limit regime. Numer. Math. 126, 441–469 (2014)
Fefferman, C.L., Weistein, M.I.: Honeycomb lattice potentials and Dirac points. J. Am. Math. Soc. 25, 1169–1220 (2012)
Fefferman, C.L., Weistein, M.I.: Wave packets in honeycomb structures and two-dimensional Dirac equations. Commun. Math. Phys. 326, 251–286 (2014)
Ferreira, A., Gomes, J.V., Nilsson, J., Mucciolo, E.R., Peres, N.M.R., Catro Neto, A.H.: Unified description of the dc-conductivity of monolayer and bilayer graphene at finite densities based on resonant scatterers. Phys. Rev. B 83, 165402 (2011)
Fillion-Gourdeau, F., Lorin, E., Bandrauk, A.D.: Resonantly enhanced pair production in a simple diatomic model. Phys. Rev. Lett. 110, 013002 (2013)
Fillion-Gourdeau, F., Lorin, E., Bandrauk, A.D.: A split-step numerical method for the time-dependent Dirac equation in 3-D axisymmetric geometry. J. Comput. Phys. 272, 559–587 (2014)
Foldy, L.L., Wouthuysen, S.A.: On the Dirac theory of spin \(1/2\) particles and its nonrelavistic limit. Phys. Rev. 78, 29–36 (1950)
Fushchich, W.I., Shtelen, W.M.: On some exact solutions of the nonlinear Dirac equation. J. Phys. A: Math. Gen. 16, 271–277 (1983)
Gautschi, W.: Numerical integration of ordinary differential equations based on trigonometric polynomials. Numer. Math. 3, 381–397 (1961)
Gérad, P., Markowich, P.A., Mauser, N.J., Poupaud, F.: Homogenization limits and Wigner transforms. Commun. Pure Appl. Math. 50, 321–377 (1997)
Gesztesy, F., Grosse, H., Thaller, B.: A rigorious approach to relativistic corrections of bound state energies for spin-\(1/2\) particles. Ann. Inst. Henri Poincaré Phys. Theor 40, 159–174 (1984)
Gosse, L.: A well-balanced and asymptotic-preserving scheme for the one-dimensional linear Dirac equation. BIT Numer. Math. 55, 433–458 (2015)
Grigore, D.R., Nenciu, G., Purice, R.: On the nonrelativistic limits of the Dirac Hamiltonian. Ann. Inst. Henri Poincaré Phys. Theor 51, 231–263 (1989)
Gross, L.: The Cauchy problem for the coupled Maxwell and Dirac equations. Commun. Pure Appl. Math. 19, 1–15 (1966)
Hammer, R., Pötz, W., Arnold, A.: Single-cone real-space finite difference scheme for the time-dependent Dirac equation. J. Comput. Phys. 265, 50–70 (2014)
Hammer, R., Pötz, W., Arnold, A.: A dispersion and norm preserving finite difference scheme with transparent boundary conditions for the Dirac equation in (1 + 1)D. J. Comput. Phys. 256, 728–747 (2014)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Springer, Berlin (2002)
Hochbruck, M., Lubich, C.: A Gautschi-type method for oscillatory second-order differential equations. Numer. Math. 83, 402–426 (1999)
Hochbruck, M., Ostermann, A.: Exponential integrators. Acta Numer. 19, 209–286 (2000)
Huang, Z., Jin, S., Markowich, P.A., Sparber, C., Zheng, C.: A time-splitting spectral scheme for the Maxwell–Dirac system. J. Comput. Phys. 208, 761–789 (2005)
Hunziker, W.: On the nonrelativistic limit of the Dirac theory. Commun. Math. Phys. 40, 215–222 (1975)
Iserles, A.: A First Course in the Numerical Analysis of Differential Equations. Cambridge University Press, Cambridge (2008)
Iserles, A., Norsett, S.P.: From high oscillation to rapid approximation I: modified Fourier expansions. IMA J. Numer. Anal. 28, 862–887 (2008)
Kammerer, C.F.: Semi-classical analysis of a Dirac equaiton without adiabatic decoupling. Monatsh. Math. 142, 281–313 (2004)
Lubich, C.: On splitting methods for Schrödinger–Poisson and cubic nonlinear Schrödinger equations. Math. Comput. 77, 2141–2153 (2008)
Masmoudi, N., Mauser, N.J.: The selfconsistent Pauli equaiton. Monatsh. Math. 132, 19–24 (2001)
Mauser, N.J.: Rigorous derivation of the Pauli equation with time-dependent electromagnetic field. VLSI Design 9, 415–426 (1999)
Najman, B.: The nonrelativistic limit of the nonlinear Dirac equation. Ann. Inst. Henri Poincaré 9, 3–12 (1992)
Neto, A.H.C., Guinea, F., Peres, N.M.R., Novoselov, K.S., Geim, A.K.: The electronic properties of the graphene. Rev. Mod. Phys. 81, 109–162 (2009)
Novoselov, K.S., Geim, A.K., Morozov, S.V., Jiang, D., Katsnelson, M.I., Grigorieva, I.V., Dubonos, S.V., Firsov, A.A.: Two-dimensional gas of massless Dirac fermions in graphene. Nature 438, 197–200 (2005)
Novoselov, K.S., Geim, A.K., Morozov, S.V., Jiang, D., Zhang, Y., Dubonos, S.V., Grigorieva, I.V., Firsov, A.A.: Electric filed effect in atomically thin carbon films. Science 306, 666–669 (2004)
Novoselov, K.S., Jiang, Z., Zhang, Y., Morozov, S.V., Stormer, H.L., Zeitler, U., Maan, J.C., Boebinger, G.S., Kim, P., Geim, A.K.: Room-temperature quantum Hall effect in graphene. Science 315, 1379 (2007)
Nraun, J.W., Su, Q., Grobe, R.: Numerical approach to solve the time-dependent Dirac equation. Phys. Rev. A 59, 604–612 (1999)
Schedin, F., Geim, A., Morozov, S., Hill, E., Blake, P., Katsnelson, M., Novoselov, K.: Detection of individual gas molecules absorbed on graphene. Nat. Mater. 6, 652–655 (2007)
Schoene, A.Y.: On the nonrelativistic limits of the Klein–Gordon and Dirac equations. J. Math. Anal. Appl. 71, 36–74 (1979)
Shebalin, J.V.: Numerical solution of the coupled Dirac and Maxwell equations. Phys. Lett. A 226, 1–6 (1997)
Shen, J., Tang, T.: Spectral and High-Order Methods with Applications. Science Press, Beijing (2006)
Smith, G.D.: Numerical Solution of Partial Differential Equations: Finite Difference Methods. Clarendon Press, Oxford (1985)
Spohn, H.: Semiclassical limit of the Dirac equaiton and spin precession. Ann. Phys. 282, 420–431 (2000)
Strang, G.: On the construction and comparision of difference schemes. SIAM J. Numer. Anal. 5, 505–517 (1968)
Thaller, B.: The Dirac Equation. Springer, New York (1992)
Veselic, K.: Perturbation of pseudoresolvents and analyticity in \(1/c\) ofrelativistic quantum mechanics. Commun. Math. Phys. 22, 27–43 (1971)
White, G.B.: Splitting of the Dirac operator in the nonrelativistic limit. Ann. Inst. Henri Poincaré 53, 109–121 (1990)
Wu, H., Huang, Z., Jin, S., Yin, D.: Gaussian beam methods for the Dirac equation in the semi-classical regime. Commun. Math. Sci. 10, 1301–1315 (2012)
Acknowledgements
Part of this work was done when the authors were visiting the Institute for Mathematical Sciences at the National University of Singapore in 2015.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by the Ministry of Education of Singapore Grant R-146-000-223-112 (W. Bao and X. Jia), the Natural Science Foundation of China Grant U1530401 and the NSF Grants DMS-1217066 and DMS-1419053 (Y. Cai), and the ANR project BECASIM ANR-12-MONU-0007-02 (Q. Tang).
Appendices
Appendix 1
Proof of Theorem 2.1 for the LFFD method
Define the local truncation error \(\tilde{\xi }^{n}=(\tilde{\xi }_0^n,\tilde{\xi }_1^n,\ldots ,\tilde{\xi }_M^n)^T\in X_{M}\) of the LFFD (2.6) with (2.10) and (2.11) as follows, for \(0\le j\le M-1\) and \(n\ge 1\),
Applying the Taylor expansion in (6.1) and (6.2) we obtain for \( j=0,1,\ldots , M-1\) and \(n\ge 1\),
where \(t^\prime \in (0,\tau )\), \(t^{\prime \prime }\in (t_{n-1},t_{n+1})\), \(x^\prime ,x^{\prime \prime }\in (x_{j-1},x_{j+1})\). Noticing (2.1) and the assumptions (A) and (B), we have
which immediately implies
Subtracting (2.6) from (6.1), noticing (2.32), we get for \(0\le j\le M-1\) and \( n\ge 1\),
where the boundary and initial conditions are given as
For the first step, we have
Denote \({\mathcal {E}}^{n+1}\) for \(n=0, 1, \ldots \) as
and under the stability condition (2.33), e.g., \(\tau \le \frac{\varepsilon ^2\tau _1 h}{\varepsilon ^2h V_{\mathrm{max}}+\sqrt{h^2+\varepsilon ^2(1+\varepsilon h A_{1,\mathrm{max}})^2}}\) with \(\tau _1=\frac{1}{4}\), which implies \(\frac{\tau }{h}\le \frac{1}{4}\) and \(\frac{\tau }{\varepsilon ^2}\le \frac{1}{4}\), using Cauchy inequality, we can get that
It follows from (6.7) that
Multiplying (6.5) from the left by \(2h\tau (\mathbf{e} _j^{n+1}+\mathbf{e} _j^{n-1})^*\), taking the imaginary part, then summing for \(j=0,1,\ldots ,M-1\), using Cauchy inequality, noting (6.4) and (6.9), we get for \(n\ge 1\),
Summing the above inequality for \(n=1, 2, \ldots , m-1\), we get
Taking \(\tau _0\) sufficiently small, using the discrete Gronwall’s inequality and noticing (6.10), we obtain from the above equation that
which immediately implies the error bound (2.34) in view of (6.9). \(\square \)
Appendix 2
Proof of Theorem 3.1 for the sEWI-FP method
Define the error function \(\mathbf{e} ^n(x)\) for \(n=0,1,\ldots \) as
Using the triangular inequality and standard interpolation result, we get
where \(0\le n\le \frac{T}{\tau }\), and the above result means that we only need estimate \(\Vert \mathbf{e} ^n(x)\Vert _{L^2}\).
Define the local truncation error \(\xi ^n(x)=\sum _{l=-M/2}^{M/2-1}\widehat{\xi }_l^ne^{i\mu _l(x-a)}\in Y_M\) of the sEWI-FP (3.17) for \(n\ge 1\) as
and for \(n=0\) as
where we write \(\varPhi (t)\) and G(t) in short for \(\varPhi (t,x)\) and G(t, x), respectively.
Firstly, we estimate the local truncation error \(\xi ^n(x)\). Multiplying both sides of the Dirac equation (2.1) by \(e^{i\mu _l(x-a)}\) and integrating over the interval (a, b), we easily recover the equations for \((\widehat{\varPhi (t)})_l\), which are exactly the same as (3.6) with \(\varPhi _M\) being replaced by \(\varPhi (t,x)\). Replacing \(\varPhi _M\) with \(\varPhi (t,x)\), we use the same notations \(\widehat{F}_l^n(s)\) as in (3.7) and the time derivatives of \(\widehat{F}_l^n(s)\) enjoy the same properties of time derivatives of \(\varPhi (t,x)\). Thus, the same representation (3.12) holds for \((\widehat{\varPhi (t_n)})_l\) with \(n\ge 1\). From the derivation of the EWI method, it is clear that the error \(\xi ^n(x)\) comes from the approximations for the integrals in (3.13) and (3.14), and we have
and for \(n\ge 1\)
For \(n=0\), the above equalities imply \(|\widehat{\xi }^0_l|\lesssim \int _0^{\tau }\int _0^s|\partial _{s_1}\widehat{F}^0_l(s_1)|ds_1ds\) and by the Bessel inequality and assumptions (C) and (D), we find
Similarly, for \(n\ge 1\), we obtain
where we have used the assumptions (C) and (D). Hence, we derive that
Now, we look at the error equations. For each fixed \(l=-M/2,\ldots ,M/2-1\), subtracting (3.17) from (6.15), we obtain the equation for the error vector function as
where \(1\le n\le \frac{T}{\tau }-1,\) and \(R^n(x)=\sum \limits _{l=-M/2}^{M/2-1}\widehat{R}_l^ne^{i\mu _l(x-a)}\in Y_M\) for \(n\ge 1\) is given by
Since \(|\varepsilon ^2\delta _l^{-1}\sin (\tau \delta _l/\varepsilon ^2)|\le \tau \), from (6.20) and the assumption (D), we get
Multiplying both sides of (6.19) by \(\left( \widehat{\mathbf{e} }^n_l\right) ^*\) from left, taking the real parts, we obtain
which implies
Multiplying both sides of (6.19) by \(\left( \widehat{\mathbf{e} }_l^{n+1}-2\widehat{\mathbf{e} }_l^{n}+\widehat{\mathbf{e} }_l^{n-1}\right) ^*\) from left, taking the real parts, we have
Summing (6.22) and (6.23), then applying Cauchy inequality and triangle inequality, we get
Denote
and it follows from the stability constraint (3.25) that the matrix \(l^2\) norm satisfies \(\Vert \sin (\frac{\tau \varGamma _l}{\varepsilon ^2})\Vert _{l^2}\le \sin (\tau \delta _l/\varepsilon ^2)\le \sin (\pi /3)=\sqrt{3}/2\), which yield the following conclusion
Multiplying (6.24) by \(b-a\) and summing together for \(l=-M/2, \ldots , M/2-1\), in view of the Bessel inequality, we obtain
Summing (6.27) for \(n=1,\ldots ,m-1\), using (6.21) and (6.18), we derive
Since \(\mathbf{e} ^0(x)=\mathbf{0}\) and \(\mathcal{E}^{m-1}\) is bounded from below (6.26), we have for \(1\le m\le \frac{T}{\tau }\),
Noticing \(\Vert \mathbf{e} ^1(x)\Vert _{L^2}\lesssim \frac{\tau ^2}{\varepsilon ^2}\lesssim \frac{\tau ^2}{\varepsilon ^4}\), the discrete Gronwall’s inequality will imply that for sufficiently small \(\tau \),
Combining (6.14) and (6.30), we draw the conclusion (3.26). \(\square \)
Appendix 3
Extensions of the sEWI-FS (3.16–3.17) and TSFP (4.4) in 2D and 3D
The sEWI-FS (3.16–3.17), sEWI-FP (3.18–3.19) and TSFP (4.4) can be easily extended to 2D and 3D with tensor grids by modifying the matrices \(\varGamma _l\) in (3.8) and G(t, x) in (4.5) in the TSFP case. For the reader’s convenience, we present the modifications of \(\varGamma _l\) in (3.8) and G(t, x) in (4.5) in 2D and 3D as follows.
For the Dirac equation (1.21) in 2D, i.e. we take \(d=2\) in (1.21). The problem is truncated on \(\varOmega =(a_1, b_1)\times (a_2, b_2)\) with mesh sizes \(h_1=(b_1-a_1)/M_1\) and \(h_2=(b_2-a_2)/M_2\) (\(M_1,M_2\) two even positive integers) in the x- and y-direction, respectively. The wave function \(\varPhi \) is a two-component vector, and the matrix \(\varGamma _l\) in (3.8) will be replaced by
where \(-\frac{M_1}{2}\le j\le \frac{M_1}{2}-1\), \(-\frac{M_2}{2}\le k\le \frac{M_2}{2}-1\), and the Schur decomposition \(\varGamma _{jk}=Q_{jk}D_{jk}Q_{jk}^*\) is given as
where
The matrix \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt\) in (4.5) becomes \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt\) and the Schur decomposition \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt=P_\mathbf{x} \varLambda _\mathbf{x} P_{\mathbf{x} }^*\) with \(V_\mathbf{x} ^{(1)}=\int _{t_n}^{t_{n+1}}V(t,\mathbf{x} )dt\), \(A_{l,\mathbf{x} }^{(1)}=\int _{t_n}^{t_{n+1}}A_l(t,\mathbf{x} )dt\) for \(l=1,2\), \(\lambda _\mathbf{x} ^{(1)}=\sqrt{|A_{1,\mathbf{x} }^{(1)}|^2+|A_{2,\mathbf{x} }^{(1)}|^2}\), \(\varLambda _\mathbf{x} =\mathrm{diag}(\varLambda _{\mathbf{x} ,+},\varLambda _{\mathbf{x} ,-})\), \(\varLambda _{\mathbf{x} ,\pm }=V_\mathbf{x} ^{(1)}\pm \lambda _\mathbf{x} ^{(1)}\), and \(P_\mathbf{x} =I_2\) if \(\lambda _\mathbf{x} ^{(1)}=0\) and otherwise
For the Dirac equation (1.9) in 3D, i.e. we take \(d=3\) in (1.9). The problem is truncated on \(\varOmega =(a_1, b_1)\times (a_2, b_2)\times (a_3, b_3)\) with mesh sizes \(h_1=(b_1-a_1)/M_1\), \(h_2=(b_2-a_2)/M_2\) and \(h_3=(b_3-a_3)/M_3\) (\(M_1,M_2,M_3\) three even positive integers) in x-, y- and z-direction, respectively. The wave function \(\varPsi \) is a four-component vector, and the matrix \(\varGamma _l\) in (3.8) will be replaced by \(\varGamma _{jkl}\) as:
where \(-\frac{M_1}{2}\le j\le \frac{M_1}{2}-1,-\frac{M_2}{2}\le k\le \frac{M_2}{2}-1,-\frac{M_3}{2}\le l\le \frac{M_3}{2}-1\) and
The eigenvalues of \(\varGamma _{jkl}\) are
The corresponding eigenvectors are
and
Then the Schur decomposition \(\varGamma _{jkl}=Q_{jkl}D_{jkl}Q^*_{jkl}\) is given as
The matrix \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt\) in (4.5) becomes \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt\) and the Schur decomposition \(\int _{t_n}^{t_{n+1}}G(t,\mathbf{x} )dt=P_\mathbf{x} \varLambda _\mathbf{x} P_{\mathbf{x} }^*\) with \(V_\mathbf{x} ^{(1)}=\int _{t_n}^{t_{n+1}}V(t,\mathbf{x} )dt\), \(A_{l,\mathbf{x} }^{(1)}=\int _{t_n}^{t_{n+1}}A_l(t,\mathbf{x} )dt\) for \(l=1,2,3\), \(\lambda _\mathbf{x} ^{(1)}=\sqrt{|A_{1,\mathbf{x} }^{(1)}|^2+|A_{2,\mathbf{x} }^{(1)}|^2+|A_{3,\mathbf{x} }^{(1)}|^2}\), \(\varLambda _\mathbf{x} =\mathrm{diag}(\varLambda _{\mathbf{x} ,+},\varLambda _{\mathbf{x} ,+},\varLambda _{\mathbf{x} ,-},\varLambda _{\mathbf{x} ,-})\), \(\varLambda _{\mathbf{x} ,\pm }=V_\mathbf{x} ^{(1)}\pm \lambda _\mathbf{x} ^{(1)}\), and \(P_\mathbf{x} =I_4\) if \(\lambda _\mathbf{x} ^{(1)}=0\) and otherwise \(P_{\mathbf{x} }=(\mathbf{u}_\mathbf{x} ^{(1)},\mathbf{u}_\mathbf{x} ^{(2)},\mathbf{u}_\mathbf{x} ^{(3)},\mathbf{u}_\mathbf{x} ^{(4)})\),
and
For the Dirac equation (1.9) in 2D, we simply let \(\mu _{l}^{(3)}=0\), \(A_3(t,\mathbf{x} )\equiv 0\) in the above 3D case; and for the Dirac equation (1.9) in 1D, we let \(\mu _{k}^{(2)}=\mu _{l}^{(3)}=0\), \(A_2(t,\mathbf{x} )=A_3(t,\mathbf{x} )\equiv 0\) in the above 3D case. Then the sEWI-FP (3.18–3.19) and TSFP (4.4) can be designed accordingly for the Dirac equation (1.9) in 2D and 1D.
Rights and permissions
About this article
Cite this article
Bao, W., Cai, Y., Jia, X. et al. Numerical Methods and Comparison for the Dirac Equation in the Nonrelativistic Limit Regime. J Sci Comput 71, 1094–1134 (2017). https://doi.org/10.1007/s10915-016-0333-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10915-016-0333-3