Spontaneous periodic orbits in the Navier-Stokes flow
From MaRDI portal
Publication:2022571
DOI10.1007/s00332-021-09695-4zbMath1475.35247arXiv1902.00384OpenAlexW3150334259MaRDI QIDQ2022571
Maxime Breden, Jean-Philippe Lessard, Jan Bouwe Van Den Berg, Lennaert Van Veen
Publication date: 29 April 2021
Published in: Journal of Nonlinear Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.00384
Periodic solutions to PDEs (35B10) Navier-Stokes equations (35Q30) Algorithms with automatic result verification (65G20) Viscous vortex flows (76D17) Symmetries, invariants, etc. in context of PDEs (35B06) Pattern formations in context of PDEs (35B36) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Related Items
A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Smooth self-similar imploding profiles to 3D compressible Euler, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions, A Hopf bifurcation in the planar Navier-Stokes equations, navierstokes, Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains, Rigorous FEM for One-Dimensional Burgers Equation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- kepler98
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- On bifurcating time-periodic flow of a Navier-Stokes liquid past a cylinder
- On time periodic solutions, asymptotic stability and bifurcations of Navier-Stokes equations
- Periodic solutions of the Navier-Stokes equations with inhomogeneous boundary conditions
- On the stability of viscous fluid motions
- A note on the existence of periodic solutions of the Navier-Stokes equations
- On the stability of periodic solutions of the Navier-Stokes equations in a noncylindrical domain
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- A numerically based existence theorem for the Navier-Stokes equations
- Existence of periodic solutions of the Navier-Stokes equations
- The four-colour theorem
- A rigorous ODE solver and Smale's 14th problem
- Computational modelling of bifurcations and instabilities in fluid dynamics
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Periodic solutions of the Navier-Stokes equations in unbounded domains
- Computer-assisted proofs in PDE: a survey
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A proof of the Kepler conjecture
- A reproductive property of the Navier-Stokes equations
- Bifurcating time periodic solutions and their stability
- The onset of auto-oscillations in a fluid
- Existence et stabilité de la solution périodique secondaire intervenant dans les problèmes d'évolution du type Navier-Stokes
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Periodic motion embedded in plane Couette turbulence: regeneration cycle and burst
- Rigorous Numerics in Dynamics
- Verification methods: Rigorous results using floating-point arithmetic
- Integration of Dissipative Partial Differential Equations: A Case Study
- Global Smooth Solutions for the Inviscid SQG Equation
- Validated Continuation for Equilibria of PDEs
- Chaotic streamlines in the ABC flows
- A computer-assisted proof of the Feigenbaum conjectures
- Existence and stability of time-periodic solutions to the Navier-Stokes equations in the whole space
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Recurrent flows: the clockwork behind turbulence
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Elliptic instability in two-dimensional flattened Taylor–Green vortices
- Computer-assisted enclosure methods for elliptic differential equations
