A numerically based existence theorem for the Navier-Stokes equations

DOI10.1007/S000210050002MaRDI QIDQ1294085zbMATH OpenOpenAlexFDO

Authors John G. Heywood, Wayne Nagata, Wenzheng Xie

Publication date 6 February 2000

Published in Journal of Mathematical Fluid Mechanics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s000210050002

zbMATH Keywords

existence theoremfixed point iterationlinearizationspatially periodic non-stationary Navier-Stokes equationsspectral codesteady periodic and chaotic solutions

Mathematics Subject Classification ID

Navier-Stokes equations (35Q30) Existence, uniqueness, and regularity theory for incompressible viscous fluids (76D03) Spectral methods applied to problems in fluid mechanics (76M22)

Review text

This paper deals with a new spectral code for the spatially periodic non-stationary Navier-Stokes equations. It was found a plenty of apparently steady, periodic and choatic solutions interesting from the point of view of dynamical systems theory. The authors discuss the numerical solution chosen for analysis, introduce some function spaces and estimate the norm of the inverse of the linearization L about the numerical solution. The method presented here is based on showing that the computed solution satisfies criteria which imply the convergence of a fixed point iteration, in appropriate function spaces, using the computed solution for an existence theorem.

Recommendations

• scientific article; zbMATH DE number 3926479
• Existence of a strong solution of the Navier-Stokes equations
• scientific article; zbMATH DE number 1440928
• A numerical verification method of solutions for the Navier-Stokes equations
• On a numerical scheme for solving the Navier-Stokes equations
• A method for numerical analysis of the Navier--Stokes equations
• An a posteriori condition on the numerical approximations of the Navier-Stokes equations for the existence of a strong solution
• scientific article; zbMATH DE number 991962
• scientific article; zbMATH DE number 1457612
• On the Numerical Solution of the Incompressible Navier‐Stokes Equations

Cited in

(18)

• A construction of two different solutions to an elliptic system
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
• A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
• Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration
• Localized forms of the LBB condition and a posteriori estimates for incompressible media problems
• Spontaneous periodic orbits in the Navier-Stokes flow
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• Norm bound computation for inverses of linear operators in Hilbert spaces
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• scientific article; zbMATH DE number 4196509 (Why is no real title available?)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
• Computer-assisted enclosure methods for elliptic differential equations
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
• Vortices of large scale appearing in the 2D stationary Navier-Stokes equations at large Reynolds numbers
• Estimates of deviations from the exact solution of a generalized Oseen problem
• Quantifier elimination supported proofs in the numerical treatment of fluid flows

This page was built for publication: A numerically based existence theorem for the Navier-Stokes equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1294085)