DeepAI AI Chat
Log In Sign Up

Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations

02/27/2022
by   Kevin Church, et al.
0

We present a computer-assisted approach to prove the existence of Hopf bubbles and degenerate Hopf bifurcations in ordinary and delay differential equations. We apply the method to rigorously investigate these nonlocal bifurcation structures in the FitzHugh- Nagumo equation, the extended Lorenz-84 model and a time-delay SI model.

READ FULL TEXT

page 1

page 2

page 3

page 4

11/11/2021

Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs

A computer-assisted argument is given, which provides existence proofs f...
01/28/2021

Computer-assisted proofs for some nonlinear diffusion problems

In the last three decades, powerful computer-assisted techniques have be...
11/11/2017

Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis

We present an interval approach to real-number computations. In some asp...
05/08/2023

Computer assisted proofs for hyperbolic quasi-periodic invariant tori in dissipative twist maps

This paper outlines an approach for proving existence of hyperbolic quas...
09/19/2017

Synthesizing SystemC Code from Delay Hybrid CSP

Delay is omnipresent in modern control systems, which can prompt oscilla...
03/23/2021

A geometric characterization of unstable blow-up solutions with computer-assisted proof

In this paper, blow-up solutions of autonomous ordinary differential equ...
04/06/2021

Extraction of a computer-certified ODE solver

Reliably determining system trajectories is essential in many analysis a...