Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
From MaRDI portal
Publication:2077832
DOI10.1016/J.PHYSD.2021.133072zbMATH Open1496.34103OpenAlexW3208706555WikidataQ115341678 ScholiaQ115341678MaRDI QIDQ2077832FDOQ2077832
Authors: Kevin E. M. Church, Jean-Philippe Lessard 
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
Recommendations
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Nongeneric Hopf Bifurcations in Functional-differential Equations
- Equivariant Hopf bifurcation for functional differential equations of mixed type
- Hopf bifurcation for retarded functional differential equations and for semiflows in Banach spaces
- Interaction of homoclinic solutions and Hopf points in functional differential equations of mixed type
Periodic solutions to functional-differential equations (34K13) Stability theory of functional-differential equations (34K20) Computational methods for bifurcation problems in dynamical systems (37M20) Bifurcation theory of functional-differential equations (34K18) Stationary solutions of functional-differential equations (34K21)
Cites Work
- The Hopf bifurcation theorem in infinite dimensions
- Pulsating fronts for nonlocal dispersion and KPP nonlinearity
- On the nonlocal Fisher–KPP equation: steady states, spreading speed and global bounds
- Pattern and Waves for a Model in Population Dynamics with Nonlocal Consumption of Resources
- The non-local Fisher-KPP equation: travelling waves and steady states
- Title not available (Why is that?)
- Can a traveling wave connect two unstable states? The case of the nonlocal Fisher equation
- MATCONT
- Hopf bifurcation for non-densely defined Cauchy problems
- On Hopf bifurcation in non-smooth planar systems
- Elements of applied bifurcation theory
- Verification methods: rigorous results using floating-point arithmetic
- Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
- Rigorous verification of cocoon bifurcations in the Michelson system
- Hopf bifurcation for semilinear dissipative hyperbolic systems
- On necessary and sufficient conditions for numerical verification of double turning points
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Rigorous verification of saddle-node bifurcations in ODEs
- A method to rigorously enclose eigendecompositions of interval matrices
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
- 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
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Hopf bifurcation in spatially extended reaction-diffusion systems
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Hopf bifurcation for functional differential equations of mixed type
- Center manifold theory for functional differential equations of mixed type
- Rigorous numerics in dynamics
- Exponential dichotomies for linear non-autonomous functional differential equations of mixed type
- MIXED-TYPE FUNCTIONAL DIFFERENTIAL EQUATIONS, HOLOMORPHIC FACTORIZATION, AND APPLICATIONS
- Computation of Mixed Type Functional Differential Boundary Value Problems
- Title not available (Why is that?)
- A stochastic Hopf bifurcation
- \(S^ 1\)-degree and global Hopf bifurcation theory of functional differential equations
- Andronov-Hopf bifurcations in planar, piecewise-smooth, continuous flows
- Bifurcation analysis on a survival red blood cells model
- Hopf Bifurcation From Viscous Shock Waves
- Stability and Hopf Bifurcation for Fully Nonlinear Parabolic-Hyperbolic Equations
- Mixed-type functional differential equations: A numerical approach
- New approach to the numerical solution of forward-backward equations
- The numerical solution of forward-backward differential equations: decomposition and related issues
- Computer-assisted proofs in PDE: a survey
- Traveling wave solutions for planar lattice differential systems with applications to neural networks
- One-parameter localized traveling waves in nonlinear Schrödinger lattices
- Segmented tau approximation for a forward-backward functional differential equation
- Pseudospectral Approximation of Hopf Bifurcation for Delay Differential Equations
- Traveling wave solutions for the FPU chain: a constructive approach
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Numerical solution of mixed-type fractional functional differential equations using modified Lucas polynomials
- A functional analytic approach to validated numerics for eigenvalues of delay equations
Cited In (5)
- Andronov-Hopf and Bogdanov-Takens bifurcations in a Filippov Hindmarsh-Rose system with switching policy for the slow variable
- Title not available (Why is that?)
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- Unstable Stokes waves
Uses Software
This page was built for publication: Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2077832)
