Validated Spectral Stability via Conjugate Points
From MaRDI portal
Publication:5037772
DOI10.1137/21M1420095zbMATH Open1494.37046arXiv2105.06895OpenAlexW4206957046MaRDI QIDQ5037772FDOQ5037772
Authors: Margaret Beck, Jonathan Jaquette 
Publication date: 4 March 2022
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/2105.06895
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
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)
Cites Work
- A rigorous ODE solver and Smale's 14th problem
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Title not available (Why is that?)
- On the iteration of closed geodesics and the sturm intersection theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing the Maslov index of solitary waves. I: Hamiltonian systems on a four-dimensional phase space
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Spectral and dynamical stability of nonlinear waves
- A computer-assisted proof of the Feigenbaum conjectures
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Stationary coexistence of hexagons and rolls via rigorous computations
- Rigorous numerics in dynamics
- Beyond the Melnikov method: A computer assisted approach
- Title not available (Why is that?)
- Nonlinear stability of time-periodic viscous shocks
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- An infinite-dimensional Evans function theory for elliptic boundary value problems
- Multi-dimensional Morse index theorems and a symplectic view of elliptic boundary value problems
- Evans functions for periodic waves on infinite cylindrical domains
- Stability analysis for standing pulse solutions to FitzHugh-Nagumo equations
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- A dynamical approach to semilinear elliptic equations
- Interval arithmetic and interval analysis: An introduction
- Computing the Maslov index of solitary waves. II: Phase space with dimension greater than four
- The Sturm theorems and symplectic geometry
- Instability of pulses in gradient reaction-diffusion systems: a symplectic approach
- Computer-assisted proofs in PDE: a survey
- 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
- Exponential Dichotomies for Elliptic PDE on Radial Domains
- The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials
- The Morse and Maslov indices for matrix Hill's equations
- A Morse index theorem for elliptic operators on bounded domains
- The Maslov and Morse indices for system Schrödinger operators on \(\mathbb{R}\)
- Computing Evans functions numerically via boundary-value problems
- Numerical proof of stability of viscous shock profiles
- Validated computations for connecting orbits in polynomial vector fields
- Traveling wave solutions for the FPU chain: a constructive approach
- Numerical verification methods and computer-assisted proofs for partial differential equations
Cited In (2)
Uses Software
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)
