Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
Periodic solutions to functional-differential equations (34K13) Bifurcation theory of functional-differential equations (34K18) Stability theory of functional-differential equations (34K20) Stationary solutions of functional-differential equations (34K21) Computational methods for bifurcation problems in dynamical systems (37M20)
The paper is concerned with the development of a numerical method to prove the existence of Hopf bifurcations in simple functional differential equations of mixed type, otherwise known as advance-delay equations, or sometimes as forward-backward equations. The question of interest is to consider the properties of the eigenvalues, and use is made of the Newton-Kantorovich theorem. The authors prove the existence of Hopf bifurcations in the Lasota-Wazewska-Czyzewska model and the existence of periodic traveling waves in the Fisher equation with nonlocal reaction. The overall objective of the work is to `develop numerical methods which can lead to computer-assisted proofs of existence of different type of dynamical objects arising in the study of differential equations.' Consequently, there is a section that discusses computer-assisted proofs of some of the theorems presented and links are provided to the relevant code.
- 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
- \(S^ 1\)-degree and global Hopf bifurcation theory of functional differential equations
- A functional analytic approach to validated numerics for eigenvalues of delay equations
- A method to rigorously enclose eigenpairs of complex interval matrices.
- A stochastic Hopf bifurcation
- Andronov-Hopf bifurcations in planar, piecewise-smooth, continuous flows
- Bifurcation analysis on a survival red blood cells model
- Can a traveling wave connect two unstable states? The case of the nonlocal Fisher equation
- Center manifold theory for functional differential equations of mixed type
- Computation of Mixed Type Functional Differential Boundary Value Problems
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted proofs in PDE: a survey
- Elements of applied bifurcation theory
- Exponential dichotomies for linear non-autonomous functional differential equations of mixed type
- Hopf bifurcation for functional differential equations of mixed type
- Hopf bifurcation for non-densely defined Cauchy problems
- Hopf bifurcation for semilinear dissipative hyperbolic systems
- Hopf Bifurcation From Viscous Shock Waves
- Hopf bifurcation in spatially extended reaction-diffusion systems
- scientific article; zbMATH DE number 17857 (Why is no real title available?)
- MATCONT
- MIXED-TYPE FUNCTIONAL DIFFERENTIAL EQUATIONS, HOLOMORPHIC FACTORIZATION, AND APPLICATIONS
- Mixed-type functional differential equations: A numerical approach
- New approach to the numerical solution of forward-backward equations
- Numerical bifurcation analysis of delay differential equations using DDE-BIFTOOL
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Numerical solution of mixed-type fractional functional differential equations using modified Lucas polynomials
- Numerical verification methods and computer-assisted proofs for partial differential equations
- On Hopf bifurcation in non-smooth planar systems
- On necessary and sufficient conditions for numerical verification of double turning points
- On the nonlocal Fisher–KPP equation: steady states, spreading speed and global bounds
- One-parameter localized traveling waves in nonlinear Schrödinger lattices
- Pattern and Waves for a Model in Population Dynamics with Nonlocal Consumption of Resources
- Period doubling in the Rössler system -- a computer assisted proof
- Pseudospectral approximation of Hopf bifurcation for delay differential equations
- Pulsating fronts for nonlocal dispersion and KPP nonlinearity
- Rigorous numerics in dynamics
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Rigorous verification of cocoon bifurcations in the Michelson system
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Rigorous verification of saddle-node bifurcations in ODEs
- Segmented tau approximation for a forward-backward functional differential equation
- Stability and Hopf Bifurcation for Fully Nonlinear Parabolic-Hyperbolic Equations
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- The Hopf bifurcation theorem in infinite dimensions
- The non-local Fisher-KPP equation: travelling waves and steady states
- The numerical solution of forward-backward differential equations: decomposition and related issues
- Traveling wave solutions for planar lattice differential systems with applications to neural networks
- Traveling wave solutions for the FPU chain: a constructive approach
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- scientific article; zbMATH DE number 4038278 (Why is no real title available?)
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Unstable Stokes waves
- Andronov-Hopf and Bogdanov-Takens bifurcations in a Filippov Hindmarsh-Rose system with switching policy for the slow variable
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
- Asymptotic stability of sharp fronts: analysis and rigorous computation
- Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence
- Determination of stable branches of relative equilibria of the N-vortex problem on the sphere
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)
