Computer-assisted proof for the stationary solution existence of the Navier–Stokes equation over 3D domains

01/11/2021

∙

by   Xuefeng Liu, et al.

∙

0

∙

share

The verified computing with assistance of computers has proved to be a promising approach to investigate the solution existence to nonlinear equation systems. In this paper, the latest progress about the solution verification for the stationary Navier–Stokes equation over a non-convex 3D domain is reported.