Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains

Mitsuhiro T. Nakao
Kouji Hashimoto
Kenta Kobayashi

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 andfixed point theorems. Numerical examples related to the step flow problems in L-shape domain are presented. © 2007 by the University of Notre Dame. All rights reserved.

Hokkaido Mathematical Journal

10.14492/hokmj/1272848033

https://doi.org/10.14492/hokmj/1272848033