Loading [MathJax]/jax/output/HTML-CSS/fonts/TeX/AMS/Regular/Main.js
| Register
\newcommand{\Cat}{{\rm Cat}} \newcommand{\A}{\mathcal A} \newcommand{\freestar}{ \framebox[7pt]{$\star$} }

Computer assisted proofs for stability analysis of nonlinear waves

Edited by Joel Dahne

    Sections

    1. 1. Existence of most probable escape paths in non-gradient systems
    2. 2. Existence and marginally stability of pushed and pulled fronts
    3. 3. Spatial dynamics
    4. 4. Computing Maslov indices and Evans functions in 2 dimensions
    5. 5. Existence of a traveling wave for Gross-Pitaevskii equation in \mathbb{R}^2
    6. 6. Stability of spatially periodic solution to generalised KdV or other non-integrable dispersive PDE
    7. 7. Finite-dimensional gradient flows with many stable equilibria
    8. 8. Existence of quasiperiodic patterns
    9. 9. Geometric phase
    10. 10. Maslov index for an asymmetric pulse
    11. 11. Center manifolds
    1. Bibliography

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