Numerical Construction of Quasi-Periodic Solutions for Nonlinear PDEs: I. Bounded Perturbation
Abstract
In this paper, we propose an alternating numerical scheme for constructing quasi-periodic solutions to a class of nonlinear partial differential equations (PDEs) with bounded perturbations, including the one-dimensional nonlinear Schrödinger (NLS) equations and nonlinear wave (NLW) equations under periodic and Dirichlet boundary conditions. A key observation concerning the resonant Q-equations allows us to establish directly a local diffeomorphism between the amplitudes and the drifted frequencies. This renders the proof considerably cleaner, since it avoids the Birkhoff normal form and the associated coordinate transformations required in classical KAM theory for PDEs.Unlike in the finite-dimensional setting, the lattice boxes must also include the spatial index, so that the multiscale induction has to be carried out in one additional dimension. This introduces two difficulties. First, the measure estimate for the excluded set of ``bad'' frequencies must account for the spatial index. For both the NLS and NLW equations, the linear frequencies and their differences are integers or close to integers; this allows the spatial dependence to be controlled through the modulus of the temporal index, so that the excluded measure remains under control. Second, a singular set may contain sites with the same temporal index but widely separated spatial indices, which obstructs the ``inversion implies localization'' process. For the one-dimensional NLS and NLW equations, however, such sites occur only in pairs with opposite spatial indices. They can therefore be separated by small boxes, after which the global inverse is obtained from the local inverses via the resolvent identity. Numerical experiments illustrate the scheme for nonlinear traveling and standing waves, exhibiting both the computed quasi-periodic solutions and the convergence of the iteration.
Related
- Numerical Construction of Quasi-Periodic Solutions for Nonlinear PDEs: II. Unbounded Perturbation
- Explicit quasi-periodic solutions to the discrete derivative nonlinear Schrödinger equation
- On the Existence, Uniqueness, and Numerical Solutions of a Time-Fractional Pseudo-Parabolic Equation Under Periodic Boundary Conditions
- Sharp non-uniqueness of singular solutions to the one-dimensional periodic cubic nonlinear Schrödinger equation
- Optimal L^2 Error Estimates for CSLDG Ideal Numerical Solutions in Time-Dependent Compressible Periodic Flows
BibTeX
@misc{fu2026numerical,
title = {{Numerical Construction of Quasi-Periodic Solutions for Nonlinear PDEs: I. Bounded Perturbation}},
author = {Mingwei Fu and Bin Shi},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.07262},
eprint = {2610.07262},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.07262},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Numerical Construction of Quasi-Periodic Solutions for Nonlinear PDEs: I. Bounded Perturbation
AU - Mingwei Fu
AU - Bin Shi
PY - 2026
DA - 2026/10/05
PB - arXiv
DO - 10.48550/arxiv.2610.07262
UR - https://arxiv.org/abs/2610.07262
AB - In this paper, we propose an alternating numerical scheme for constructing quasi-periodic solutions to a class of nonlinear partial differential equations (PDEs) with bounded perturbations, including the one-dimensional nonlinear Schrödinger (NLS) equations and nonlinear wave (NLW) equations under periodic and Dirichlet boundary conditions. A key observation concerning the resonant Q-equations allows us to establish directly a local diffeomorphism between the amplitudes and the drifted frequencies. This renders the proof considerably cleaner, since it avoids the Birkhoff normal form and the associated coordinate transformations required in classical KAM theory for PDEs.Unlike in the finite-dimensional setting, the lattice boxes must also include the spatial index, so that the multiscale induction has to be carried out in one additional dimension. This introduces two difficulties. First, the measure estimate for the excluded set of ``bad'' frequencies must account for the spatial index. For both the NLS and NLW equations, the linear frequencies and their differences are integers or close to integers; this allows the spatial dependence to be controlled through the modulus of the temporal index, so that the excluded measure remains under control. Second, a singular set may contain sites with the same temporal index but widely separated spatial indices, which obstructs the ``inversion implies localization'' process. For the one-dimensional NLS and NLW equations, however, such sites occur only in pairs with opposite spatial indices. They can therefore be separated by small boxes, after which the global inverse is obtained from the local inverses via the resolvent identity. Numerical experiments illustrate the scheme for nonlinear traveling and standing waves, exhibiting both the computed quasi-periodic solutions and the convergence of the iteration.
ER -