A numerical verification method of solutions for the Navier-Stokes equations

DOI10.1023/A:1009976505460zbMath0947.65121MaRDI QIDQ1971089

Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto

Publication date: 22 March 2000

Published in: Reliable Computing (Search for Journal in Brave)

zbMATH Keywords

numerical examplesfinite elementerror boundsstationary Navier-Stokes equationsnumerical verification methodverification algorithm

Mathematics Subject Classification ID

Navier-Stokes equations for incompressible viscous fluids (76D05) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Navier-Stokes equations (35Q30) Finite element methods applied to problems in fluid mechanics (76M10) Algorithms with automatic result verification (65G20)

Related Items (5)

Numerical verification for solutions to partial differential equations ⋮ The error term approximation in interval method of Crank-Nicolson type ⋮ NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS ⋮ Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations ⋮ Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains

This page was built for publication: A numerical verification method of solutions for the Navier-Stokes equations