A computer-assisted proof of dynamo growth in the stretch-fold-shear map
From MaRDI portal
Publication:6040419
DOI10.1080/14689367.2022.2139224OpenAlexW4311834598MaRDI QIDQ6040419
No author found.
Publication date: 16 May 2023
Published in: Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/14689367.2022.2139224
Newton methodBernoulli polynomialoperator spectrumkinematic dynamoapproximate eigenvalue-eigenfunction pair
Magnetohydrodynamics and electrohydrodynamics (76W05) Basic methods in fluid mechanics (76M99) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Cites Work
- Asymptotic behaviour of Bernoulli, Euler, and generalized Bernoulli polynomials
- Towards an existence proof of MacKay's fixed point
- Topological methods in hydrodynamics
- Interval analysis: Theory and applications
- Advected fields in maps. I: Magnetic flux growth in the stretch-fold-shear map
- A renormalization group fixed point associated with the breakup of golden invariant tori
- A complete proof of the Feigenbaum conjectures
- Rigorous bounds on the fast dynamo growth rate involving topological entropy
- Golden mean renormalization for the Harper equation: The strong coupling fixed point
- Julia: A Fresh Approach to Numerical Computing
- Advected fields in maps: II. Dynamo action in the stretch–fold–shear map
- Interval arithmetic
- A computer-assisted proof of universality for area-preserving maps
- Advected fields in maps—III. Passive scalar decay in baker's maps
- Introduction to Interval Analysis
- A computer-assisted proof of the Feigenbaum conjectures
- Construction of fast dynamos using unsteady flows and maps in three dimensions
- Stretch, Twist, Fold: The Fast Dynamo
- Rigorous computer-assisted bounds on the period doubling renormalization fixed point and eigenfunctions in maps with critical point of degree 4
- ABC flows then and now
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A computer-assisted proof of dynamo growth in the stretch-fold-shear map