Self-consistent flow maps based on commutator-free exponential integrators
Abstract
We develop a flow-map framework for nonlinear transport equations, comprising a self-consistent exact frozen flow and its numerical realization. An exponential--pullback identity represents each frozen transport exponential in a commutator-free exponential integrator as the pullback induced by its exact backward characteristic map. Composing these maps defines the self-consistent exact frozen flow, a time-discrete construction with autonomous frozen fields formed from linear combinations of transport fields evaluated at the stage approximations. A local freezing-error identity and a one-step estimate for the Lie--Euler Vlasov--Poisson update separate field variation, field approximation, and characteristic integration errors; these estimates do not assert global PDE convergence. We specialize this construction to the Vlasov--Poisson system and obtain the self-consistent numerical flow through velocity-space quadrature, a discrete Poisson solve, field interpolation, and numerical integration of the frozen characteristic equations. Under suitable regularity assumptions, we prove that the self-consistent exact frozen flow for this system is a volume-preserving diffeomorphism. Temporal self-convergence tests on Vlasov--Poisson and guiding-center benchmarks yield rates consistent with the design orders and illustrate conservation behavior and the evolution of solution structures in long-time simulations with large time steps.
Related
- Analysis of split exponential integrators for semilinear problems with noncommuting operators
- Asymptotic-Preserving Exponential Integrators applied to the Hyperbolic Korteweg-de Vries System
- Boris-type exponential integrators for charged-particle dynamics in strong magnetic fields
- A novel class of high-order uniformly accurate exponential integrators with local linear extension for the charged-particle dynamics under strong magnetic field
- Hilbert-Schmidt Norms of Self-Commutator and Cross-Commutator on Nη-type Quotient Modules in Polydisc
BibTeX
@misc{cai2026selfconsistent,
title = {{Self-consistent flow maps based on commutator-free exponential integrators}},
author = {Xiaofeng Cai and Linghui Kong},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.35327},
eprint = {2610.35327},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.35327},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Self-consistent flow maps based on commutator-free exponential integrators
AU - Xiaofeng Cai
AU - Linghui Kong
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.35327
UR - https://arxiv.org/abs/2610.35327
AB - We develop a flow-map framework for nonlinear transport equations, comprising a self-consistent exact frozen flow and its numerical realization. An exponential--pullback identity represents each frozen transport exponential in a commutator-free exponential integrator as the pullback induced by its exact backward characteristic map. Composing these maps defines the self-consistent exact frozen flow, a time-discrete construction with autonomous frozen fields formed from linear combinations of transport fields evaluated at the stage approximations. A local freezing-error identity and a one-step estimate for the Lie--Euler Vlasov--Poisson update separate field variation, field approximation, and characteristic integration errors; these estimates do not assert global PDE convergence. We specialize this construction to the Vlasov--Poisson system and obtain the self-consistent numerical flow through velocity-space quadrature, a discrete Poisson solve, field interpolation, and numerical integration of the frozen characteristic equations. Under suitable regularity assumptions, we prove that the self-consistent exact frozen flow for this system is a volume-preserving diffeomorphism. Temporal self-convergence tests on Vlasov--Poisson and guiding-center benchmarks yield rates consistent with the design orders and illustrate conservation behavior and the evolution of solution structures in long-time simulations with large time steps.
ER -