Computer-Assisted Proofs of Gap Solitons in Bose-Einstein Condensates

Miguel Ayala, Carlos García-Azpeitia, Jean-Philippe Lessard

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. The…