Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates
Dynamical Systems
2026-02-25 v3 Analysis of PDEs
Abstract
We provide a framework for turning a numerical simulation of a gap soliton in the one-dimensional Gross-Pitaevskii equation into a rigorous mathematical proof of its existence. These nonlinear localized solutions play a central role in the study of Bose-Einstein condensates (BECs). We reformulate the problem of proving their existence as the search for homoclinic orbits in a dynamical system. We then apply computer-assisted proof techniques to obtain verifiable conditions under which a numerically approximated trajectory corresponds to a true homoclinic orbit. This work also presents the first examples of computer-assisted proofs of gap solitons in the Gross-Pitaevskii equation on non-perturbative parameter regimes.
Cite
@article{arxiv.2503.04701,
title = {Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates},
author = {Miguel Ayala and Carlos García-Azpeitia and Jean-Philippe Lessard},
journal= {arXiv preprint arXiv:2503.04701},
year = {2026}
}