Validated Spectral Stability via Conjugate Points (Q5037772)

scientific article; zbMATH DE number 7484037

In more languages

Language	Label	Description	Also known as
English	Validated Spectral Stability via Conjugate Points	scientific article; zbMATH DE number 7484037

Statements

Validated Spectral Stability via Conjugate Points (English)

SIAM Journal on Applied Dynamical Systems

0 references

publication date

4 March 2022

0 references

full work available at URL

https://arxiv.org/abs/2105.06895

0 references

zbMATH Keywords

stability

0 references

computer assisted proof

0 references

conjugate points

0 references

Maslov index

0 references

reaction-diffusion systems

0 references

describes a project that uses

MaRDI publication profile

0 references

cites work

Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation

0 references

Traveling wave solutions for the FPU chain: a constructive approach

0 references

Q5563918

0 references

The Sturm theorems and symplectic geometry

0 references

Instability of pulses in gradient reaction–diffusion systems: a symplectic approach

0 references

Exponential Dichotomies for Elliptic PDE on Radial Domains

0 references

A dynamical approach to semilinear elliptic equations

0 references

Computing Evans functions numerically via boundary-value problems

0 references

On the iteration of closed geodesics and the sturm intersection theory

0 references

Q5574850

0 references

Nonlinear stability of time-periodic viscous shocks

0 references

Numerical proof of stability of viscous shock profiles

0 references

Computing the Maslov index of solitary waves. I: Hamiltonian systems on a four-dimensional phase space

0 references

Computing the Maslov index of solitary waves. II: Phase space with dimension greater than four

0 references

Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation

0 references

Stability analysis for standing pulse solutions to FitzHugh-Nagumo equations

0 references

The Morse and Maslov indices for multidimensional Schrödinger operators with matrix-valued potentials

0 references

A Morse Index Theorem for Elliptic Operators on Bounded Domains

0 references

Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system

0 references

Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model

0 references

Beyond the Melnikov method: A computer assisted approach

0 references

Multi-dimensional Morse Index Theorems and a symplectic view of elliptic boundary value problems

0 references

An infinite-dimensional Evans function theory for elliptic boundary value problems

0 references

Computer-assisted proofs in PDE: a survey

0 references

The Maslov and Morse indices for system Schroedinger operators on \mathBB{R}

0 references

Q3779682

0 references

The Morse and Maslov indices for matrix Hill's equations

0 references

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

0 references

Spectral and dynamical stability of nonlinear waves

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

Q4520741

0 references

Evans functions for periodic waves on infinite cylindrical domains

A rigorous ODE solver and Smale's 14th problem

0 references

Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof

0 references

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

0 references

Rigorous Numerics in Dynamics

0 references

Validated computations for connecting orbits in polynomial vector fields

0 references

Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof

Validated Spectral Stability via Conjugate Points (Q5037772)

Statements

Identifiers

Sitelinks

Mathematics(1 entry)