Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996): Difference between revisions

@@ Property / DOI @@
-.1214/22-aap1841
@@ Property / DOI: 10.1214/22-aap1841 / rank @@
-Normal rank
@@ Property / cites work @@
+Non-radial solutions for some semilinear elliptic equations on the disk
+Normal rank
@@ Property / cites work @@
+Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
+Normal rank
@@ Property / cites work @@
+Q4210478
@@ Property / cites work: Q4210478 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976840
@@ Property / cites work: Q3976840 / rank @@
+Normal rank
@@ Property / cites work @@
+A regularity method for lower bounds on the Lyapunov exponent for stochastic differential equations
+Normal rank
@@ Property / cites work @@
+Q4321540
@@ Property / cites work: Q4321540 / rank @@
+Normal rank
@@ Property / cites work @@
+From synchronisation to persistent optical turbulence in laser arrays
+Normal rank
@@ Property / cites work @@
+Shear-Induced Bifurcations and Chaos in Models of Three Coupled Lasers
+Normal rank
@@ Property / cites work @@
+Lyapunov exponents for random perturbations of some area-preserving maps including the standard map
+Normal rank
@@ Property / cites work @@
+Rigorous validation of stochastic transition paths
+Normal rank
@@ Property / cites work @@
+A quasi-ergodic theorem for evanescent processes
@@ Property / cites work: A quasi-ergodic theorem for evanescent processes / rank @@
+Normal rank
@@ Property / cites work @@
+Guaranteed a posteriori bounds for eigenvalues and eigenvectors: Multiplicities and clusters
+Normal rank
@@ Property / cites work @@
+Criteria for Exponential Convergence to Quasi-Stationary Distributions and Applications to Multi-Dimensional Diffusions
+Normal rank
@@ Property / cites work @@
+Exponential convergence to quasi-stationary distribution and \(Q\)-process
+Normal rank
@@ Property / cites work @@
+Quasi-Stationary Distributions
@@ Property / cites work: Quasi-Stationary Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+Markov measures for random dynamical systems
@@ Property / cites work: Markov measures for random dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of a Stochastic Two-Dimensional Non-Hamiltonian System
+Normal rank
@@ Property / cites work @@
+A stochastic dynamical systems view of the Atlantic Multidecadal Oscillation
+Normal rank
@@ Property / cites work @@
+Attractors and expansion for Brownian flows
@@ Property / cites work: Attractors and expansion for Brownian flows / rank @@
+Normal rank
@@ Property / cites work @@
+Hopf bifurcation with additive noise
@@ Property / cites work: Hopf bifurcation with additive noise / rank @@
+Normal rank
@@ Property / cites work @@
+Plenty of elliptic islands for the standard family of area preserving maps
+Normal rank
@@ Property / cites work @@
+Bifurcation analysis of a stochastically driven limit cycle
+Normal rank
@@ Property / cites work @@
+Conditioned Lyapunov exponents for random dynamical systems
+Normal rank
@@ Property / cites work @@
+Synchronization by noise
@@ Property / cites work: Synchronization by noise / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of noise induced order, a computer aided proof
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of chaos in the Lorenz equations
+Normal rank
@@ Property / cites work @@
+Q3763475
@@ Property / cites work: Q3763475 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs in PDE: a survey
@@ Property / cites work: Computer-assisted proofs in PDE: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Shear-induced chaos
@@ Property / cites work: Shear-induced chaos / rank @@
+Normal rank
@@ Property / cites work @@
+A framework of verified eigenvalue bounds for self-adjoint differential operators
+Normal rank
@@ Property / cites work @@
+Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
+Normal rank
@@ Property / cites work @@
+Quasi-stationary distributions and population processes
+Normal rank
@@ Property / cites work @@
+Chaos in the Lorenz equations: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
+Normal rank
@@ Property / cites work @@
+Numerical verification of existence and inclusion of solutions for nonlinear operator equations
+Normal rank
@@ Property / cites work @@
+Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
+Normal rank
@@ Property / cites work @@
+Computer-assisted existence proofs for two-point boundary value problems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Theory and applications of stochastic processes. An analytical approach
+Normal rank
@@ Property / cites work @@
+Numerical verification method for positive solutions of elliptic problems
+Normal rank
@@ Property / cites work @@
+Q4904857
@@ Property / cites work: Q4904857 / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Galerkin's procedure for nonlinear periodic systems
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Some improvements of invertibility verifications for second-order linear elliptic operators
+Normal rank
@@ Property / cites work @@
+Q5802536
@@ Property / cites work: Q5802536 / rank @@
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Chaotic phenomena in three settings: large, noisy and out of equilibrium
+Normal rank
@@ Property / DOI @@
+.1214/22-AAP1841
@@ Property / DOI: 10.1214/22-AAP1841 / rank @@
+Normal rank