Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
From MaRDI portal
Publication:2077832
DOI10.1016/J.PHYSD.2021.133072zbMath1496.34103OpenAlexW3208706555WikidataQ115341678 ScholiaQ115341678MaRDI QIDQ2077832
Jean-Philippe Lessard, Kevin E. M. Church
Publication date: 22 February 2022
Published in: Physica D (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.physd.2021.133072
Stability theory of functional-differential equations (34K20) Periodic solutions to functional-differential equations (34K13) Computational methods for bifurcation problems in dynamical systems (37M20) Bifurcation theory of functional-differential equations (34K18) Stationary solutions of functional-differential equations (34K21)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Rigorous verification of saddle-node bifurcations in ODEs
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Can a traveling wave connect two unstable states? The case of the nonlocal Fisher equation
- Hopf bifurcation for non-densely defined Cauchy problems
- Andronov-Hopf bifurcations in planar, piecewise-smooth, continuous flows
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Period doubling in the Rössler system -- a computer assisted proof
- Bifurcation analysis on a survival red blood cells model
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- On Hopf bifurcation in non-smooth planar systems
- The numerical solution of forward-backward differential equations: decomposition and related issues
- New approach to the numerical solution of forward-backward equations
- Mixed-type functional differential equations: A numerical approach
- \(S^ 1\)-degree and global Hopf bifurcation theory of functional differential equations
- The Hopf bifurcation theorem in infinite dimensions
- A stochastic Hopf bifurcation
- Hopf bifurcation in spatially extended reaction-diffusion systems
- Traveling wave solutions for planar lattice differential systems with applications to neural networks
- Hopf bifurcation for functional differential equations of mixed type
- On necessary and sufficient conditions for numerical verification of double turning points
- A functional analytic approach to validated numerics for eigenvalues of delay equations
- Computer-assisted proofs in PDE: a survey
- Numerical solution of mixed-type fractional functional differential equations using modified Lucas polynomials
- Segmented tau approximation for a forward-backward functional differential equation
- Pulsating fronts for nonlocal dispersion and KPP nonlinearity
- Hopf bifurcation for semilinear dissipative hyperbolic systems
- One-parameter localized traveling waves in nonlinear Schrödinger lattices
- Center manifold theory for functional differential equations of mixed type
- Rigorous Numerics in Dynamics
- Verification methods: Rigorous results using floating-point arithmetic
- On the nonlocal Fisher–KPP equation: steady states, spreading speed and global bounds
- Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
- A method to rigorously enclose eigendecompositions of interval matrices
- Pattern and Waves for a Model in Population Dynamics with Nonlocal Consumption of Resources
- Hopf Bifurcation From Viscous Shock Waves
- The non-local Fisher–KPP equation: travelling waves and steady states
- Exponential dichotomies for linear non-autonomous functional differential equations of mixed type
- Stability and Hopf Bifurcation for Fully Nonlinear Parabolic-Hyperbolic Equations
- Pseudospectral Approximation of Hopf Bifurcation for Delay Differential Equations
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
- Traveling wave solutions for the FPU chain: a constructive approach
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- MIXED-TYPE FUNCTIONAL DIFFERENTIAL EQUATIONS, HOLOMORPHIC FACTORIZATION, AND APPLICATIONS
- Rigorous verification of cocoon bifurcations in the Michelson system
- Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
- MATCONT
- Computation of Mixed Type Functional Differential Boundary Value Problems
- Elements of applied bifurcation theory
This page was built for publication: Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
