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

DOI10.14492/HOKMJ/1272848033zbMath1134.76029OpenAlexW2028434886MaRDI QIDQ2479959

Kouji Hashimoto, Mitsuhiro T. Nakao, Kenta Kobayashi

Publication date: 3 April 2008

Published in: Hokkaido Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14492/hokmj/1272848033

zbMATH Keywords

finite element methodfixed point theoremsstep flow

Mathematics Subject Classification ID

Navier-Stokes equations for incompressible viscous fluids (76D05) Error bounds for boundary value problems involving PDEs (65N15) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) Finite element methods applied to problems in fluid mechanics (76M10)

Related Items (5)

Numerical verification for solutions to partial differential equations ⋮ Some improvements of invertibility verifications for second-order linear elliptic operators ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Finite element approximation of invariant manifolds by the parameterization method

This page was built for publication: Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains