Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains
NAKAO, Mitsuhiro T. ; HASHIMOTO, Kouji ; KOBAYASHI, Kenta
Hokkaido Math. J., Tome 36 (2007) no. 4, p. 777-799 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2007-11-15
Classification:  Navier-Stokes equation,  nonconvex polygonal domains,  step flow,  35J60,  65N15 
@article{1272848033,
     author = {NAKAO, Mitsuhiro T. and HASHIMOTO, Kouji and KOBAYASHI, Kenta},
     title = {Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains},
     journal = {Hokkaido Math. J.},
     volume = {36},
     number = {4},
     year = {2007},
     pages = { 777-799},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1272848033}
}

NAKAO, Mitsuhiro T.; HASHIMOTO, Kouji; KOBAYASHI, Kenta. Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains. Hokkaido Math. J., Tome 36 (2007) no. 4, pp.  777-799. http://gdmltest.u-ga.fr/item/1272848033/