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

Mitsuhiro T. Nakao, Kouji Hashimoto, Kenta Kobayashi

Research output: Contribution to journalArticle

4 Citations (Scopus)

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 andfixed point theorems. Numerical examples related to the step flow problems in L-shape domain are presented.

Original languageEnglish
Pages (from-to)777-799
Number of pages23
JournalHokkaido Mathematical Journal
Volume36
Issue number4
DOIs
Publication statusPublished - 2007 Jan 1

    Fingerprint

Keywords

  • Navier-Stokes equation
  • Nonconvex polygonal domains
  • Step flow

ASJC Scopus subject areas

  • Mathematics(all)

Cite this