Abstract
We propose a method to enclose solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains. Our method is based on an infinite dimensional Newton-type formulation by using the finite element method with constructive error estimates and fixed point theorems. Numerical examples related to the step flow problems in $L$-shape domain are presented.
Citation
Mitsuhiro T. NAKAO. Kouji HASHIMOTO. Kenta KOBAYASHI. "Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains." Hokkaido Math. J. 36 (4) 777 - 799, November 2007. https://doi.org/10.14492/hokmj/1272848033
Information