Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
From MaRDI portal
Publication:6103996
Complex behavior and chaotic systems of ordinary differential equations (34C28) Characteristic and Lyapunov exponents of ordinary differential equations (34D08) Ordinary differential equations and systems with randomness (34F05) Bifurcation of solutions to ordinary differential equations involving randomness (34F10) Stochastic ordinary differential equations (aspects of stochastic analysis) (60H10) Transition functions, generators and resolvents (60J35) Error analysis and interval analysis (65G99)
Abstract: We confirm a long-standing conjecture concerning shear-induced chaos in stochastically perturbed systems exhibiting a Hopf bifurcation. The method of showing the main chaotic property, a positive Lyapunov exponent, is a computer-assisted proof. Using the recently developed theory of conditioned Lyapunov exponents on bounded domains and the modified Furstenberg-Khasminskii formula, the problem boils down to the rigorous computation of eigenfunctions of the Kolmogorov operators describing distributions of the underlying stochastic process.
Recommendations
- Computer assisted proof of chaos in the Lorenz equations
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- A computer proof that the Lorenz equations have ``chaotic solutions
- Chaos in the Lorenz equations: a computer-assisted proof
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
Cites work
- A computer-assisted proof of the Feigenbaum conjectures
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A quasi-ergodic theorem for evanescent processes
- A regularity method for lower bounds on the Lyapunov exponent for stochastic differential equations
- A rigorous ODE solver and Smale's 14th problem
- A stochastic dynamical systems view of the Atlantic Multidecadal Oscillation
- Approximation theory and approximation practice
- Attractors and expansion for Brownian flows
- Bifurcation analysis of a stochastically driven limit cycle
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Chaos in the Lorenz equations: a computer-assisted proof
- Chaotic phenomena in three settings: large, noisy and out of equilibrium
- Computer assisted proof of chaos in the Lorenz equations
- Computer-assisted existence proofs for two-point boundary value problems
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted proofs in PDE: a survey
- Conditioned Lyapunov exponents for random dynamical systems
- Criteria for exponential convergence to quasi-stationary distributions and applications to multi-dimensional diffusions
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Evaluation of the Least Constant in Sobolev’s Inequality for H^1 (0,s)
- Existence of noise induced order, a computer aided proof
- Exponential convergence to quasi-stationary distribution and \(Q\)-process
- From synchronisation to persistent optical turbulence in laser arrays
- Galerkin's procedure for nonlinear periodic systems
- Guaranteed a posteriori bounds for eigenvalues and eigenvectors: multiplicities and clusters
- Hopf bifurcation with additive noise
- scientific article; zbMATH DE number 4020324 (Why is no real title available?)
- scientific article; zbMATH DE number 19400 (Why is no real title available?)
- scientific article; zbMATH DE number 1201579 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 3063407 (Why is no real title available?)
- Lyapunov exponents for random perturbations of some area-preserving maps including the standard map
- Markov measures for random dynamical systems
- Non-radial solutions for some semilinear elliptic equations on the disk
- Numerical verification method for positive solutions of elliptic problems
- Numerical verification methods and computer-assisted proofs for partial differential equations
- 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
- Quasi-stationary distributions. Markov chains, diffusions and dynamical systems.
- Rigorous numerics in dynamics
- Rigorous validation of stochastic transition paths
- Shear-induced bifurcations and chaos in models of three coupled lasers
- Shear-induced chaos
- Some improvements of invertibility verifications for second-order linear elliptic operators
- Stability of a stochastic two-dimensional non-Hamiltonian system
- Synchronization by noise
- Theory and applications of stochastic processes. An analytical approach
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Validated Continuation for Equilibria of PDEs
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(9)- Shear-induced chaos
- Positive Lyapunov exponent in the Hopf normal form with additive noise
- Lyapunov exponents and shear-induced chaos for a Hopf bifurcation with additive noise
- The conditioned Lyapunov spectrum for random dynamical systems
- Existence of analytic non-convex V-states
- Detecting random bifurcations via rigorous enclosures of large deviations rate functions
- Smooth imploding solutions for 3D compressible fluids
- Efficient computation of stationary measures and the Lyapunov landscape for families of random dynamical systems with smooth additive noise
- Synchronization by noise for traveling pulses
This page was built for publication: Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103996)
