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

fixed point iterationlinearizationexistence theoremspectral codespatially periodic non-stationary Navier-Stokes equationssteady 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)

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

(17)

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

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)