A multiscale finite element method for the Schrödinger equation with multiscale potentials
Jingrun Chen, Dingjiong Ma, Zhiwen Zhang
TL;DR
The paper tackles solving the Schrödinger equation in the semiclassical regime with multiscale potentials, where traditional asymptotic approaches fail. It introduces a localized multiscale finite element method that builds basis functions via a constrained energy-minimization on a coarse mesh, using sparse compression of the Hamiltonian to achieve $H = O(ε)$ and a time step $k$ independent of $ε$; time evolution is computed through a one-shot eigendecomposition or Jordan-form based solver on the reduced space. The approach yields exponential decay of the basis, enabling localization and a sparse system while preserving gauge invariance and conserving mass and energy. Numerical tests in1D and 2D across various multiscale potentials confirm first-order convergence in $H^1$ and second-order convergence in $L^2$, demonstrating robustness and efficiency for complex quantum heterostructures and metamaterials. The method offers a practical framework that avoids explicit additive-scale decompositions and suggests potential extensions to stochastic inputs and spintronic device modeling.
Abstract
In recent years, an increasing attention has been paid to quantum heterostructures with tailored functionalities, such as heterojunctions and quantum matematerials, in which quantum dynamics of electrons can be described by the Schrödinger equation with multiscale potentials. The model, however, cannot be solved by asymptoics-based approaches where an additive form of different scales in the potential term is required to construct the prescribed approximate solutions. In this paper, we propose a multiscale finite element method to solve this problem in the semiclassical regime. The localized multiscale basis are constructed using sparse compression of the Hamiltonian operator, and thus are "blind" to the specific form of the potential term. After an one-shot eigendecomposition, we solve the resulting system of ordinary differential equations explicitly for the time evolution. In our approach, the spatial mesh size is $ H=\mathcal{O}(ε) $ where $ε$ is the semiclassical parameter and the time stepsize $ k$ is independent of $ε$. Numerical examples in one dimension with a periodic potential, a multiplicative two-scale potential, and a layered potential, and in two dimension with an additive two-scale potential and a checkboard potential are tested to demonstrate the robustness and efficiency of the proposed method. Moreover, first-order and second-order rates of convergence are observed in $H^1$ and $L^2$ norms, respectively.
