Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
DOI10.1214/22-aap1841zbMath1519.34039arXiv2101.01491MaRDI QIDQ6103996
Maximilian Engel, Maxime Breden
Publication date: 5 June 2023
Published in: The Annals of Applied Probability (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.01491
Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Characteristic and Lyapunov exponents of ordinary differential equations (34D08) Ordinary differential equations and systems with randomness (34F05) Complex behavior and chaotic systems of ordinary differential equations (34C28) Transition functions, generators and resolvents (60J35) Error analysis and interval analysis (65G99) Bifurcation of solutions to ordinary differential equations involving randomness (34F10)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- From synchronisation to persistent optical turbulence in laser arrays
- Lyapunov exponents for random perturbations of some area-preserving maps including the standard map
- Attractors and expansion for Brownian flows
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Theory and applications of stochastic processes. An analytical approach
- Computer-assisted existence proofs for two-point boundary value problems
- A rigorous ODE solver and Smale's 14th problem
- A quasi-ergodic theorem for evanescent processes
- Non-radial solutions for some semilinear elliptic equations on the disk
- Bifurcation analysis of a stochastically driven limit cycle
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Plenty of elliptic islands for the standard family of area preserving maps
- Quasi-stationary distributions and population processes
- Computer assisted proof of chaos in the Lorenz equations
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- A regularity method for lower bounds on the Lyapunov exponent for stochastic differential equations
- Some improvements of invertibility verifications for second-order linear elliptic operators
- Numerical verification method for positive solutions of elliptic problems
- Computer-assisted proofs in PDE: a survey
- Rigorous validation of stochastic transition paths
- Synchronization by noise
- Galerkin's procedure for nonlinear periodic systems
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Exponential convergence to quasi-stationary distribution and \(Q\)-process
- Rigorous Numerics in Dynamics
- Verification methods: Rigorous results using floating-point arithmetic
- Quasi-Stationary Distributions
- Shear-Induced Bifurcations and Chaos in Models of Three Coupled Lasers
- Stability of a Stochastic Two-Dimensional Non-Hamiltonian System
- Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
- Shear-induced chaos
- Validated Continuation for Equilibria of PDEs
- Chaotic phenomena in three settings: large, noisy and out of equilibrium
- A computer-assisted proof of the Feigenbaum conjectures
- Markov measures for random dynamical systems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Chaos in the Lorenz equations: a computer-assisted proof
- Hopf bifurcation with additive noise
- Guaranteed a posteriori bounds for eigenvalues and eigenvectors: Multiplicities and clusters
- Criteria for Exponential Convergence to Quasi-Stationary Distributions and Applications to Multi-Dimensional Diffusions
- Conditioned Lyapunov exponents for random dynamical systems
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- A stochastic dynamical systems view of the Atlantic Multidecadal Oscillation
- Existence of noise induced order, a computer aided proof
This page was built for publication: Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
