Validated Spectral Stability via Conjugate Points
DOI10.1137/21M1420095zbMath1494.37046arXiv2105.06895OpenAlexW4206957046MaRDI QIDQ5037772
Jonathan Jaquette, Margaret Beck
Publication date: 4 March 2022
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.06895
Stability in context of PDEs (35B35) Reaction-diffusion equations (35K57) Sturm-Liouville theory (34B24) Stability problems for infinite-dimensional dissipative dynamical systems (37L15) Algorithms with automatic result verification (65G20) Computational methods for bifurcation problems in dynamical systems (37M20) Computational methods for invariant manifolds of dynamical systems (37M21)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Beyond the Melnikov method: A computer assisted approach
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Computing the Maslov index of solitary waves. II: Phase space with dimension greater than four
- Computing the Maslov index of solitary waves. I: Hamiltonian systems on a four-dimensional phase space
- Nonlinear stability of time-periodic viscous shocks
- The Sturm theorems and symplectic geometry
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- A rigorous ODE solver and Smale's 14th problem
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Computing Evans functions numerically via boundary-value problems
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Spectral and dynamical stability of nonlinear waves
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- A dynamical approach to semilinear elliptic equations
- Validated computations for connecting orbits in polynomial vector fields
- Computer-assisted proofs in PDE: a survey
- An infinite-dimensional Evans function theory for elliptic boundary value problems
- Stability analysis for standing pulse solutions to FitzHugh-Nagumo equations
- Evans functions for periodic waves on infinite cylindrical domains
- Rigorous Numerics in Dynamics
- The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials
- Multi-dimensional Morse Index Theorems and a symplectic view of elliptic boundary value problems
- Numerical proof of stability of viscous shock profiles
- On the iteration of closed geodesics and the sturm intersection theory
- A Morse Index Theorem for Elliptic Operators on Bounded Domains
- A computer-assisted proof of the Feigenbaum conjectures
- Instability of pulses in gradient reaction–diffusion systems: a symplectic approach
- The Maslov and Morse indices for system Schroedinger operators on \mathBB{R}
- Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system
- Exponential Dichotomies for Elliptic PDE on Radial Domains
- Traveling wave solutions for the FPU chain: a constructive approach
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- The Morse and Maslov indices for matrix Hill's equations
This page was built for publication: Validated Spectral Stability via Conjugate Points
