Spontaneous periodic orbits in the Navier-Stokes flow
From MaRDI portal
Publication:2022571
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)
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.
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
Cites work
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 1440928 (Why is no real title available?)
- scientific article; zbMATH DE number 3312030 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A computer-assisted proof of the Feigenbaum conjectures
- A note on the existence of periodic solutions of the Navier-Stokes equations
- A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems
- A numerically based existence theorem for the Navier-Stokes equations
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- A proof of the Kepler conjecture
- A reproductive property of the Navier-Stokes equations
- A rigorous ODE solver and Smale's 14th problem
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Bifurcating time periodic solutions and their stability
- Chaotic streamlines in the ABC flows
- Computational modelling of bifurcations and instabilities in fluid dynamics
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted enclosure methods for elliptic differential equations
- Computer-assisted proofs in PDE: a survey
- Elliptic instability in two-dimensional flattened Taylor–Green vortices
- Existence and stability of time-periodic solutions to the Navier-Stokes equations in the whole space
- Existence et stabilité de la solution périodique secondaire intervenant dans les problèmes d'évolution du type Navier-Stokes
- Existence of periodic solutions of the Navier-Stokes equations
- Global smooth solutions for the inviscid SQG equation
- Integration of dissipative partial differential equations: a case study
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- On bifurcating time-periodic flow of a Navier-Stokes liquid past a cylinder
- On the stability of periodic solutions of the Navier-Stokes equations in a noncylindrical domain
- On the stability of viscous fluid motions
- On time periodic solutions, asymptotic stability and bifurcations of Navier-Stokes equations
- Periodic motion embedded in plane Couette turbulence: Regeneration cycle and burst
- Periodic solutions of the Navier-Stokes equations in unbounded domains
- Periodic solutions of the Navier-Stokes equations with inhomogeneous boundary conditions
- Recurrent flows: the clockwork behind turbulence
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Rigorous numerics in dynamics
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- The four-colour theorem
- The onset of auto-oscillations in a fluid
- 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
- kepler98
Cited in
(18)- Highest cusped waves for the fractional KdV equations
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Validated integration of semilinear parabolic PDEs
- scientific article; zbMATH DE number 4201909 (Why is no real title available?)
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- 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
- navierstokes
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- 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
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)
