Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
From MaRDI portal
Publication:2077832
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)
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
Cites work
- scientific article; zbMATH DE number 17857 (Why is no real title available?)
- 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 Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- 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 From Viscous Shock Waves
- 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 in spatially extended reaction-diffusion systems
- 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 Hopf bifurcations via desingularization and continuation
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Rigorous verification of cocoon bifurcations in the Michelson system
- 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
- \(S^ 1\)-degree and global Hopf bifurcation theory of functional differential equations
Cited in
(10)- Andronov-Hopf and Bogdanov-Takens bifurcations in a Filippov Hindmarsh-Rose system with switching policy for the slow variable
- 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
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- scientific article; zbMATH DE number 4038278 (Why is no real title available?)
- Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- Asymptotic stability of sharp fronts: analysis and rigorous computation
- Unstable Stokes waves
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)
