Numerical verification of stationary solutions for Navier-Stokes problems

DOI10.1016/J.CAM.2005.09.031zbMath1106.76057OpenAlexW2149167749MaRDI QIDQ861928

Mitsuhiro T. Nakao, Kaori Nagatou, Kouji Hashimoto

Publication date: 2 February 2007

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cam.2005.09.031

zbMATH Keywords

numerical enclosure methoddriven cavity flowsinfinite-dimensional Newton's method

Mathematics Subject Classification ID

Navier-Stokes equations for incompressible viscous fluids (76D05)

Related Items (7)

Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Numerical verification for solutions to partial differential equations ⋮ The error term approximation in interval method of Crank-Nicolson type ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A Numerical Verification Method for a System of FitzHugh-Nagumo Type ⋮ On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations ⋮ A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

Cites Work

• Best constant in Sobolev inequality
• A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• Unnamed Item
• Unnamed Item

This page was built for publication: Numerical verification of stationary solutions for Navier-Stokes problems