English

Admissible Discrete Linear Propagators for High-Order Time Splittings of Rotational Nonlinear Schrödinger Equations with Arbitrary Three-Dimensional Rotation

Numerical Analysis 2026-07-08 v1

Abstract

We study robust high-order time splittings for nonlinear Schr\"odinger equations whose linear part is defined by the Laplacian and an arbitrary three-dimensional rotation operator. After Fourier pseudospectral discretization, a continuous exact factorization of the linear flow need not yield a method self-adjoint fixed-grid propagator. For the original stage-wise explicit exact integrator, we identify a quadratic even term in the local logarithm and show that its visibility is state-dependent, so the observed temporal order of accuracy can depend on the initial data. We then formulate fixed-grid admissibility for discrete linear propagators and construct two admissible propagators for arbitrary three-dimensional rotation: a symmetrized explicit exact integrator and a palindromic generalized shear propagator. Both are unitary, first-order consistent, method self-adjoint, and have odd local logarithms. Numerical experiments verify the predicted defect mechanism and demonstrate recovery of the designed second-, fourth-, and sixth-order behavior with the admissible propagators.

Keywords

Cite

@article{arxiv.2607.07923,
  title  = {Admissible Discrete Linear Propagators for High-Order Time Splittings of Rotational Nonlinear Schrödinger Equations with Arbitrary Three-Dimensional Rotation},
  author = {Tianqi Zhang and Fei Xue},
  journal= {arXiv preprint arXiv:2607.07923},
  year   = {2026}
}