| Register
\(\newcommand{\Cat}{{\rm Cat}} \) \(\newcommand{\A}{\mathcal A} \) \(\newcommand{\freestar}{ \framebox[7pt]{$\star$} }\)

5. Existence of a traveling wave for Gross-Pitaevskii equation in \(\mathbb{R}^2\)

    1. Problem 5.1.

      [Javier Gómes-Serrano] Prove existence of a traveling wave for Gross-Pitaevskii equation in \(\mathbb{R}^2\) for all wave speeds \(c \in [0, \sqrt{2}]\).

          Cite this as: AimPL: Computer assisted proofs for stability analysis of nonlinear waves, available at http://aimpl.org/compproofstability.