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<ε≪1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$0<\varepsilon \ll 1$$\end{document} 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(ε2)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$O(\varepsilon ^2)$$\end{document} 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 τ\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau $$\end{document} as well as the small parameter ε\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\varepsilon $$\end{document}. Based on the error bounds, in order to obtain ‘correct’ numerical solutions in the nonrelativistic limit regime, i.e. 0<ε≪1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$0<\varepsilon \ll 1$$\end{document}, the FDTD methods share the same ε\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\varepsilon $$\end{document}-scalability on time step and mesh size as: τ=O(ε3)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau =O(\varepsilon ^3)$$\end{document} and h=O(ε)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$h=O(\sqrt{\varepsilon })$$\end{document}. 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 ε\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\varepsilon $$\end{document}-scalability is improved to τ=O(ε2)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\tau =O(\varepsilon ^2)$$\end{document} and h=O(1)\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$h=O(1)$$\end{document} when 0<ε≪1\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$0<\varepsilon \ll 1$$\end{document}. Extensive numerical results are reported to support our error estimates.

Convergence for Imaginary Time Step Evolution in the Fermi and Dirac Seas

Optimization of the Imaginary Time Step Evolution for the Dirac Equation

Avoid the Tsunami of the Dirac Sea in the Imaginary Time Step Method

Invariant-Related Unitary Transformation Method and Exact Solutions for the Quantum Dirac Field in A Time-Dependent Spatially Homogeneous Electric Field

High-order Symplectic FDTD Scheme for Solving a Time-Dependent Schrödinger Equation

Solving the Dirac equation with nonlocal potential by Imaginary Time Step method

Solving coupled Non-linear Schrödinger Equations via Quantum Imaginary Time Evolution

First Attempt to Overcome the Disaster of Dirac Sea in Imaginary Time Step Method

Long-time Asymptotic Behavior for the Derivative Schrödinger Equation with Finite Density Type Initial Data

Determination of Molecular Energies via Quantum Imaginary Time Evolution in a Superconducting Qubit System

Numerical Methods and Comparison for the Dirac Equation in the Nonrelativistic Limit Regime

Asymptotic Behaviour of Time Stepping Methods for Phase Field Models

Determination of molecular energies via variational-based quantum imaginary time evolution in a superconducting qubit system

Time-Dependent Quantum Transport: An Efficient Method Based On Liouville-Von-Neumann Equation For Single-Electron Density Matrix

Accurate and Fast Estimation of the Continuum Limit in Path Integral Simulations of Quantum Oscillators and Crystals

The Long-Time Asymptotics of the Derivative Nonlinear Schrödinger Equation with Step-Like Initial Value

Long time asymptotic behavior for the derivative Schrödinger equation with nonzero boundary conditions

Long time asymptotic behavior for the derivative Schr\"odinger equation with nonzero boundary conditions

Learning efficient and provably convergent splitting methods

Convergence of a Class of Schrödinger Equations

Parallel transport dynamics for mixed quantum states with applications to time-dependent density functional theory