A numerically based existence theorem for the Navier-Stokes equations

DOI10.1007/S000210050002zbMATH Open0934.35115OpenAlexW2055511445MaRDI QIDQ1294085FDOQ1294085

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

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

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)

Cited In (17)

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