5. Existence of a traveling wave for Gross-Pitaevskii equation in \(\mathbb{R}^2\)
-
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.