Spontaneous periodic orbits in the Navier-Stokes flow
From MaRDI portal
Publication:2022571
DOI10.1007/S00332-021-09695-4zbMATH Open1475.35247arXiv1902.00384OpenAlexW3150334259MaRDI QIDQ2022571FDOQ2022571
Authors: 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)
Abstract: In this paper, a general method to obtain constructive proofs of existence of periodic orbits in the forced autonomous Navier-Stokes equations on the three-torus is proposed. After introducing a zero finding problem posed on a Banach space of geometrically decaying Fourier coefficients, a Newton-Kantorovich theorem is applied to obtain the (computer-assisted) proofs of existence. The required analytic estimates to verify the contractibility of the operator are presented in full generality and symmetries from the model are used to reduce the size of the problem to be solved. As applications, we present proofs of existence of spontaneous periodic orbits in the Navier-Stokes equations with Taylor-Green forcing.
Full work available at URL: https://arxiv.org/abs/1902.00384
Recommendations
- Time dependent periodic Navier-Stokes flows on a two-dimensional torus
- Existence of time-periodic solutions to incompressible Navier-Stokes equations in the whole space
- Existence of time-periodic solutions to the Navier-Stokes equations around a moving body
- On some classes of time-periodic solutions for the Navier-Stokes equations in the whole space
- scientific article; zbMATH DE number 1066211
Navier-Stokes equations (35Q30) Symmetries, invariants, etc. in context of PDEs (35B06) Periodic solutions to PDEs (35B10) Pattern formations in context of PDEs (35B36) Viscous vortex flows (76D17) Algorithms with automatic result verification (65G20) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Cites Work
- Title not available (Why is that?)
- A rigorous ODE solver and Smale's 14th problem
- A proof of the Kepler conjecture
- kepler98
- The onset of auto-oscillations in a fluid
- Validated numerics. A short introduction to rigorous computations.
- Periodic solutions of the Navier-Stokes equations in unbounded domains
- A reproductive property of the Navier-Stokes equations
- Chaotic streamlines in the ABC flows
- Existence and stability of time-periodic solutions to the Navier-Stokes equations in the whole space
- A note on the existence of periodic solutions of the Navier-Stokes equations
- The four-colour theorem
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Verification methods: rigorous results using floating-point arithmetic
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Bifurcating time periodic solutions and their stability
- Existence et stabilité de la solution périodique secondaire intervenant dans les problèmes d'évolution du type Navier-Stokes
- On bifurcating time-periodic flow of a Navier-Stokes liquid past a cylinder
- Validated Continuation for Equilibria of PDEs
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- A computer-assisted proof of the Feigenbaum conjectures
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- On the stability of viscous fluid motions
- Rigorous numerics in dynamics
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Integration of dissipative partial differential equations: a case study
- Periodic solutions of the Navier-Stokes equations with inhomogeneous boundary conditions
- Periodic motion embedded in plane Couette turbulence: Regeneration cycle and burst
- A numerically based existence theorem for the Navier-Stokes equations
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- Title not available (Why is that?)
- Existence of periodic solutions of the Navier-Stokes equations
- On time periodic solutions, asymptotic stability and bifurcations of Navier-Stokes equations
- On the stability of periodic solutions of the Navier-Stokes equations in a noncylindrical domain
- Computer-assisted enclosure methods for elliptic differential equations
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- Computer-assisted proofs in PDE: a survey
- Title not available (Why is that?)
- Computational modelling of bifurcations and instabilities in fluid dynamics
- Elliptic instability in two-dimensional flattened Taylor–Green vortices
- Global smooth solutions for the inviscid SQG equation
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Recurrent flows: the clockwork behind turbulence
Cited In (18)
- Highest cusped waves for the fractional KdV equations
- Validated integration of semilinear parabolic PDEs
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- Title not available (Why is that?)
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Rigorous FEM for One-Dimensional Burgers Equation
- Smooth self-similar imploding profiles to 3D compressible Euler
- Variational methods for finding periodic orbits in the incompressible Navier-Stokes equations
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- navierstokes
- A Hopf bifurcation in the planar Navier-Stokes equations
- Periodic and quasiperiodic waves on the sphere
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Relative periodic orbits in transitional pipe flow
Uses Software
This page was built for publication: Spontaneous periodic orbits in the Navier-Stokes flow
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2022571)
