Spontaneous periodic orbits in the Navier-Stokes flow
From MaRDI portal
Publication:2022571
Symmetries, invariants, etc. in context of PDEs (35B06) Periodic solutions to PDEs (35B10) Pattern formations in context of PDEs (35B36) Navier-Stokes equations (35Q30) Algorithms with automatic result verification (65G20) Computer assisted proofs of proofs-by-exhaustion type (68V05) Viscous vortex flows (76D17)
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
- 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 for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- 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 enclosure methods for elliptic differential equations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- 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
- 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?)
- Integration of dissipative partial differential equations: a case study
- kepler98
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- 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
Cited in
(27)- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- A Hopf bifurcation in the planar Navier-Stokes equations
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- scientific article; zbMATH DE number 4201909 (Why is no real title available?)
- Rigorous FEM for One-Dimensional Burgers Equation
- Variational methods for finding periodic orbits in the incompressible Navier-Stokes equations
- Relative periodic orbits in transitional pipe flow
- navierstokes
- Smooth self-similar imploding profiles to 3D compressible Euler
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Highest cusped waves for the fractional KdV equations
- Validated integration of semilinear parabolic PDEs
- 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
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Periodic and quasiperiodic waves on the sphere
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- Constructive proofs for some semilinear PDEs on \(H^2(e^{|x|^2/4}, \mathbb{R}^d)\)
- Existence of analytic non-convex V-states
- Detecting random bifurcations via rigorous enclosures of large deviations rate functions
- The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns
- Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
- Smooth imploding solutions for 3D compressible fluids
- Blowup for the defocusing septic complex-valued nonlinear wave equation in \(\mathbb{R}^{4+1}\)
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)
