Numerical stability analysis of spatial-temporal fully discrete scheme for time-fractional delay Schrödinger equations

• Published in: Numerical algorithms Vol. 97; no. 3; pp. 1237 - 1265
• Main Authors: Yao, Zichen, Yang, Zhanwen
• Format: Journal Article
• Language: English
• Published: New York Springer US 01.11.2024; Springer Nature B.V
• Subjects: Algebra; Algorithms; Approximation; Computer Science; Decoupling method; Delay; Eigenvalues; Eigenvectors; Finite element method; Galerkin method; Laplace transforms; Mathematical analysis; Methods; Numeric Computing; Numerical Analysis; Numerical stability; Original Paper; Partial differential equations; Schrodinger equation; Stability analysis; Stability criteria; Theory of Computation; Z transforms; 35J10; Fractional delay differential equations; Stability; 93D20; Fractional linear multistep method; 34K06; Long-time decay; 35B40; Galerkin finite element method; Fractional Schrödinger equations; 34K20
• ISSN: 1017-1398; 1572-9265
• DOI: 10.1007/s11075-023-01747-y

We consider the numerical stability problem for fractional delay Schrödinger equations involving a Caputo fractional derivative in time, which is developed by Galerkin finite element method (FEM) in space and fractional linear multistep methods (FLMMs) in time. Through rigorous analyses of the characteristic equation yielded by the Laplace transform, we first present an α -dependent coefficient criterion to ensure the stability of spatially semidiscrete Galerkin FEM and extend the stability property to all convergent spatially semidiscrete methods. Secondly, by introducing a decoupling technique after Z transform, we prove the stability of FLMMs generated by both A-stable and A( β )-stable linear multistep methods, without any restriction on the time step size. The stability results are formulated by the fractional exponent, the principal eigenvalue of Dirichlet Laplacian, and the mesh size, but are not related to the delay and time step size. However, for a general spatial region, the principal eigenvalue of Dirichlet Laplacian is always unavailable. In order to provide an effective method for stability detection, when the stability condition is violated, we prove that the fractional trapezoidal rule is an effective method to detect stability because it can not only maintain the stable behavior of the semidiscrete solution, but also the unstable behavior. Extensive numerical experiments for fractional delay Schrödinger equations confirm the long-time decay behaviors of the fully discrete numerical solutions.