A numerically based existence theorem for the Navier-Stokes equations

DOI10.1007/s000210050002zbMath0934.35115OpenAlexW2055511445MaRDI QIDQ1294085

Wenzheng Xie, John G. Heywood, Wayne Nagata

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

linearizationexistence theoremfixed point iterationspectral codespatially periodic non-stationary Navier-Stokes equationssteady periodic and chaotic solutions

Mathematics Subject Classification ID

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

Related Items (16)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ 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 ⋮ A construction of two different solutions to an elliptic system ⋮ Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers ⋮ 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 ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Localized forms of the LBB condition and a posteriori estimates for incompressible media problems ⋮ Computer-assisted enclosure methods for elliptic differential equations ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Estimates of deviations from the exact solution of a generalized Oseen problem

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