Employing nonresonant step sizes for time integration of highly oscillatory nonlinear Dirac equations

We apply the two-scale formulation approach to propose uniformly accurate (UA) schemes for solving the nonlinear Dirac equation in the nonrelativistic limit regime. The nonlinear Dirac equation involves two small scales \epsilon and \epsilon^2 with epsilon \to 0 in the nonrelativistic limit regime. The small parameter causes high oscillations in time which brings severe numerical burden for classical numerical methods. We transform our original problem as a two-scale formulation and present a general strategy to tackle a class of highly oscillatory problems involving the two small scales \epsilon and\epsilon^2. Suitable initial data for the two-scale formulation is derived to bound the time derivatives of the augmented solution. Numerical schemes with uniform (with respect to \epsilon\in (0;1]) spectral accuracy in space and uniform first order or second order accuracy in time are proposed. Numerical experiments are done to confirm the UA property.

Splitting methods for nonlinear Dirac equations with Thirring type interaction in the nonrelativistic limit regime

We present several numerical methods and establish their error estimates for the discretization of the nonlinear 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 the conservative Crank-Nicolson finite difference (CNFD) method and establish rigorously its error estimate which depends explicitly on the mesh size $h$ and time step $\tau$ as well as the small parameter $0<\varepsilon\le 1$. Based on the error bound, in order to obtain `correct' numerical solutions in the nonrelativistic limit regime, i.e. $0<\varepsilon\ll 1$, the CNFD method requests the $\varepsilon$-scalability: $\tau=O(\varepsilon^3)$ and $h=O(\sqrt{\varepsilon})$. Then we propose and analyze two numerical methods for the discretization of the nonlinear Dirac equation by using the Fourier spectral discretization for spatial derivatives combined with the 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$ compared with the CNFD method. Extensive numerical results are reported to confirm our error estimates.

A multiscale time integrator Fourier pseudospectral (MTI-FP) method is proposed and rigorously analyzed for the nonlinear Dirac equation (NLDE), which involves a dimensionless parameter ε ∈ (0, 1] inversely proportional to the speed of light. The solution to the NLDE propagates waves with wavelength O (ε2) and O (1) in time and space, respectively. In the nonrelativistic regime,i.e., 0 &lt; ε ≪ 1, the rapid temporal oscillation causes significantly numerical burdens, making it quite challenging for designing and analyzing numerical methods with uniform error bounds inε ∈ (0, 1]. The key idea for designing the MTI-FP method is based on adopting a proper multiscale decomposition of the solution to the NLDE and applying the exponential wave integrator with appropriate numerical quadratures. Two independent error estimates are established for the proposed MTI-FP method as hm0+τ2/ε2andhm0 + τ2 + ε2, where his the mesh size, τis the time step and m0depends on the regularity of the solution. These two error bounds immediately suggest that the MTI-FP method converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at O (τ) for all ε ∈ (0, 1] and optimally with quadratic convergence rate at O (τ2) in the regimes when either ε = O (1) or 0 &lt; ε ≲ τ. Numerical results are reported to demonstrate that our error estimates are optimal and sharp.

Efficient time integration of the Maxwell–Klein–Gordon equation in the non-relativistic limit regime

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: $\tau=O(\varepsilon^3)$. 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 exponential wave integrator and time-splitting technique for temporal derivatives, respectively. Rigorous error bounds for the two numerical methods show that their $\varepsilon$-scalability on time step is improved to $\tau=O(\varepsilon^2)$ when $0<\varepsilon\ll 1$. Extensive numerical results are reported to support our error estimates.

Numerical methods for nonlinear Dirac equation

We analyze rigourously error estimates and compare numerically temporal/spatial resolution of various numerical methods for solving the Klein–Gordon (KG) equation in the nonrelativistic limit regime, involving a small parameter $${0 < {\varepsilon}\ll 1}$$ which is inversely proportional to the speed of light. In this regime, the solution is highly oscillating in time, i.e. there are propagating waves with wavelength of $${O({\varepsilon}^2)}$$ and O(1) in time and space, respectively. We begin with four frequently used finite difference time domain (FDTD) methods and obtain their rigorous error estimates in the nonrelativistic limit regime by paying particularly attention to how error bounds depend explicitly on mesh size h and time step τ as well as the small parameter $${{\varepsilon}}$$. Based on the error bounds, in order to compute ‘correct’ solutions when $${0 < {\varepsilon}\ll1}$$, the four FDTD methods share the same $${{\varepsilon}}$$ -scalability: $${\tau=O({\varepsilon}^3)}$$. Then we propose new numerical methods by using either Fourier pseudospectral or finite difference approximation for spatial derivatives combined with the Gautschi-type exponential integrator for temporal derivatives to discretize the KG equation. The new methods are unconditionally stable and their $${{\varepsilon}}$$ -scalability is improved to τ = O(1) and $${\tau=O({\varepsilon}^2)}$$ for linear and nonlinear KG equations, respectively, when $${0 < {\varepsilon}\ll1}$$. Numerical results are reported to support our error estimates.

In this work, we are concerned with a time-splitting Fourier pseudospectral (TSFP) discretization for the Klein-Gordon (KG) equation, involving a dimensionless parameterɛ ∊(0,1]. In the nonrelativistic limit regime, the smallɛproduces high oscillations in exact solutions with wavelength of(ɛ2) in time. The key idea behind the TSFP is to apply a time-splitting integrator to an equivalent first-order system in time, with both the nonlinear and linear subproblems exactly integrable in time and, respectively, Fourier frequency spaces. The method is fully explicit and time reversible. Moreover, we establish rigorously the optimal error bounds of a second-order TSFP for fixedɛ=(1), thanks to an observation that the scheme coincides with a type of trigonometric integrator. As the second task, numerical studies are carried out, with special efforts made to applying the TSFP in the nonrelativistic limit regime, which are geared towards understanding its temporal resolution capacity and meshing strategy for(ɛ2)-oscillatory solutions when 0 &lt;ɛ« 1. It suggests that the method has uniform spectral accuracy in space, and an asymptotic(ɛ−2Δt2) temporal discretization error bound (Δtrefers to time step). On the other hand, the temporal error bounds for most trigonometric integrators, such as the well-established Gautschi-type integrator in, are(ɛ−4Δt2). Thus, our method offers much better approximations than the Gautschi-type integrator in the highly oscillatory regime. These results, either rigorous or numerical, are valid for a splitting scheme applied to the classical relativistic NLS reformulation as well.

Comparison of numerical methods for the nonlinear Klein-Gordon equation in the nonrelativistic limit regime

We propose and rigourously analyze a multiscale time integrator Fourier pseudospectral (MTI-FP) method for the (linear) Dirac equation with a dimensionless parameter $\varepsilon\in(0,1]$ which is inversely proportional to the speed of light. In the nonrelativistic limit regime, i.e., $0<\varepsilon\ll 1$, the solution exhibits highly oscillatory propagating waves with wavelength $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively. Due to the rapid temporal oscillation, designing and analyzing numerical methods with uniform error bounds in $\varepsilon\in(0,1]$ is quite challenging. We present the MTI-FP method based on properly adopting a multiscale decomposition of the solution of the Dirac equation and applying the exponential wave integrator with appropriate numerical quadratures. By a careful study of the error propagation and using the energy method, we establish two independent error estimates via two different mathematical approaches as $h^{m_0}+\frac{\tau^2}{\varepsilon^2}$ and $h^{m_0}+\tau^2+\varepsilon^2$, where $h$ is the mesh size, $\tau$ is the time step, and $m_0$ depends on the regularity of the solution. These two error bounds immediately imply that the MTI-FP method converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(\tau)$ for all $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(\tau^2)$ in the regimes when either $\varepsilon=O(1)$ or $0<\varepsilon\lesssim \tau$. Numerical results are reported to demonstrate that our error estimates are optimal and sharp. Finally, the MTI-FP method is applied to study numerically the convergence rates of the solution of the Dirac equation to those of its limiting models when $\varepsilon\to0^+$.

A multiscale time integrator Fourier pseudospectral (MTI-FP) method is proposed and analyzed for solving the Klein-Gordon-Schr\"{o}dinger (KGS) equations in the nonrelativistic limit regime with a dimensionless parameter $0<\varepsilon\le1$ which is inversely proportional to the speed of light. In fact, the solution to the KGS equations propagates waves with wavelength at $O(\varepsilon^2)$ and $O(1)$ in time and space, respectively, when $0<\varepsilon\ll 1$, which brings significantly numerical burdens in practical computation. The MTI-FP method is designed by adapting a multiscale decomposition by frequency to the solution at each time step and applying the Fourier pseudospectral discretization and exponential wave integrators for spatial and temporal derivatives, respectively. We rigorously establish two independent error bounds for the MTI-FP at $O(\tau^2/\varepsilon^2+h^{m_0})$ and $O(\varepsilon^2+h^{m_0})$ for $\varepsilon\in(0,1]$ with $\tau$ time step size, $h$ mesh size and $m_0\ge 4$ an integer depending on the regularity of the solution, which imply that the MTI-FP converges uniformly and optimally in space with exponential convergence rate if the solution is smooth, and uniformly in time with linear convergence rate at $O(\tau)$ for $\varepsilon\in(0,1]$ and optimally with quadratic convergence rate at $O(\tau^2)$ in the regime when either $\varepsilon=O(1)$ or $0<\varepsilon\le \tau$. Thus the meshing strategy requirement (or $\varepsilon$-scalability) of the MTI-FP is $\tau=O(1)$ and $h=O(1)$ for $0<\varepsilon\ll 1$, which is significantly better than classical methods. Numerical results demonstrate that our error bounds are optimal and sharp. Finally, the MTI-FP method is applied to study numerically convergence rates of the KGS equations to the limiting models in the nonrelativistic limit regime.

A uniformly accurate method for the Klein-Gordon-Dirac system in the nonrelativistic regime

This work concerns the time averaging techniques for the nonlinear Klein-Gordon (KG) equation in the nonrelativistic limit regime which have recently gained a lot of attention in numerical analysis. This is due to the fact that the solution becomes highly-oscillatory in time in this regime which causes the breakdown of classical integration schemes. To overcome this numerical burden various novel numerical methods with excellent efficiency were derived in recent years. The construction of each method thereby requests essentially the averaged model of the problem. However, the averaged model of each approach is found by different kinds of asymptotic approximation techniques reaching from the modulated Fourier expansion over the multiscale expansion by frequency up to the Chapman-Enskog expansion. In this work we give a first comparison of these recently introduced asymptotic series, reviewing their approximation validity to the KG in the asymptotic limit, their smoothness assumptions as well as their geometric properties, e.g., energy conservation and long-time behaviour of the remainder.

We propose and compare numerically spatial/temporal resolution of various efficient numerical methods for solving the Klein–Gordon–Dirac system (KGD) in the nonrelativistic limit regime. The KGD system involves a small dimensionless parameter $$0<\varepsilon \ll 1$$ in this limit regime and admits rapid oscillations in time as $$\varepsilon \rightarrow 0^+$$ . By adopting the Fourier spectral discretization for spatial derivatives followed with the time-splitting or exponential wave integrators based on some efficient quadrature rules in phase field, we propose four different numerical discretizations for the KGD system. The discretizations are all fully explicit and valid in one, two and three dimensions. Extensive numerical results demonstrate that these discretizations provide optimal numerical resolutions for the KGD system, i.e., under the mesh strategies $$\tau =O(\varepsilon ^2)$$ and $$h=O(1)$$ with time step $$\tau $$ and mesh size h in terms of $$\varepsilon $$ , they all perform well with uniform spectral accuracy in space and second-order accuracy in time. In addition, the $$\varepsilon $$ -scalability of the best method is improved as $$\tau =O(\varepsilon )$$ , which is much superior than that of the finite difference methods. For applications, we profile the dynamics of the KGD system in 2D with a honeycomb lattice potential, which depend greatly on the singular perturbation $$\varepsilon $$ and the weak/strong interaction.