Validated Spectral Stability via Conjugate Points
From MaRDI portal
Publication:5037772
Stability in context of PDEs (35B35) Reaction-diffusion equations (35K57) Stability problems for infinite-dimensional dissipative dynamical systems (37L15) Sturm-Liouville theory (34B24) Computational methods for bifurcation problems in dynamical systems (37M20) Algorithms with automatic result verification (65G20) Computational methods for invariant manifolds of dynamical systems (37M21)
Abstract: Classical results from Sturm-Liouville theory state that the number of unstable eigenvalues of a scalar, second-order linear operator is equal to the number of associated conjugate points. Recent work has extended these results to a much more general setting, thus allowing for spectral stability of nonlinear waves in a variety of contexts to be determined by counting conjugate points. However, in practice, it is not yet clear whether it is easier to compute conjugate points than to just directly count unstable eigenvalues. We address this issue by developing a framework for the computation of conjugate points using validated numerics. Moreover, we apply our method to a parameter-dependent system of bistable equations and show that there exist both stable and unstable standing fronts. This application can be seen as complimentary to the classical result via Sturm-Louiville theory that in scalar reaction-diffusion equations pulses are unstable whereas fronts are stable, and to the more recent result of "Instability of pulses in gradient reaction-diffusion systems: a symplectic approach," by Beck et. al., that symmetric pulses in reaction-diffusion systems with gradient nonlinearity are also necessarily unstable.
Recommendations
- Criteria for stability of the point spectrum under completely continuous perturbations
- Stability estimates and structural spectral properties of saddle point problems
- Stabilization techniques for spectral methods
- On stabilized point spectra of multivalued systems
- On the stability of the spectral Galerkin approximation
- Spectral stability of relative equilibria
- scientific article; zbMATH DE number 610078
- Stability of eigenvalues and spectral decompositions under linear perturbation
- Robust stability and a criss-cross algorithm for pseudospectra
- Spectral stabilization of dynamic systems
Cites work
- scientific article; zbMATH DE number 4041188 (Why is no real title available?)
- scientific article; zbMATH DE number 1543283 (Why is no real title available?)
- scientific article; zbMATH DE number 1787329 (Why is no real title available?)
- scientific article; zbMATH DE number 3279763 (Why is no real title available?)
- scientific article; zbMATH DE number 3292104 (Why is no real title available?)
- A Morse index theorem for elliptic operators on bounded domains
- A computer-assisted proof of the Feigenbaum conjectures
- A dynamical approach to semilinear elliptic equations
- A rigorous ODE solver and Smale's 14th problem
- An infinite-dimensional Evans function theory for elliptic boundary value problems
- Beyond the Melnikov method: A computer assisted approach
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Computer assisted proof of the existence of the Lorenz attractor in the Shimizu-Morioka system
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- Computer-assisted proofs in PDE: a survey
- Computing Evans functions numerically via boundary-value problems
- Computing the Maslov index of solitary waves. I: Hamiltonian systems on a four-dimensional phase space
- Computing the Maslov index of solitary waves. II: Phase space with dimension greater than four
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Evans functions for periodic waves on infinite cylindrical domains
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Exponential Dichotomies for Elliptic PDE on Radial Domains
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Instability of pulses in gradient reaction-diffusion systems: a symplectic approach
- Interval arithmetic and interval analysis: An introduction
- Multi-dimensional Morse index theorems and a symplectic view of elliptic boundary value problems
- Nonlinear stability of time-periodic viscous shocks
- Numerical proof of stability of viscous shock profiles
- Numerical verification methods and computer-assisted proofs for partial differential equations
- On the iteration of closed geodesics and the sturm intersection theory
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Rigorous numerics in dynamics
- Spectral and dynamical stability of nonlinear waves
- Stability analysis for standing pulse solutions to FitzHugh-Nagumo equations
- Stationary coexistence of hexagons and rolls via rigorous computations
- The Maslov and Morse indices for system Schrödinger operators on \(\mathbb{R}\)
- The Morse and Maslov indices for matrix Hill's equations
- The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials
- The Sturm theorems and symplectic geometry
- Traveling wave solutions for the FPU chain: a constructive approach
- Validated computations for connecting orbits in polynomial vector fields
Cited in
(2)
This page was built for publication: Validated Spectral Stability via Conjugate Points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037772)
