Numerical verification of stationary solutions for Navier-Stokes problems

Authors:
K. Nagatou;K. Hashimoto;M. T. Nakao
Affiliations:
Faculty of Mathematics, Kyushu University, Japan;Graduate School of Mathematics, Kyushu University, Japan;Faculty of Mathematics, Kyushu University, Japan
Venue:
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Year:
2007

Citing 2
Cited 3

A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations

Journal of Computational and Applied Mathematics
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems

Computing - Editorial: Special issue on GAMM – Workshop on Guaranteed Error-bounds for the Solution of Nonlinear Problems in Applied Mathematics

An interval version of the crank-nicolson method --- the first approach

PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
An interval finite difference method of crank-nicolson type for solving the one-dimensional heat conduction equation with mixed boundary conditions

PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
An interval backward finite difference method for solving the diffusion equation with the position dependent diffusion coefficient

PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a numerical method to enclose stationary solutions of the Navier-Stokes equations, especially 2-D driven cavity problem with regularized boundary condition. Our method is based on the infinite dimensional Newton's method by estimating the inverse of the corresponding linearized operator. The method can be applied to the case for high Reynolds numbers and we show some numerical examples which confirm us the actual effectiveness.