Solution of Leray's problem for stationary Navier-Stokes equations in plane and axially symmetric spatial domains

Abstract

We study the nonhomogeneous boundary value problem for the NavierStokes equations of steady motion of a viscous incompressible uid in arbitrary bounded multiply connected plane or axially-symmetric spatial domains. (For axially symmetric domains, data is assumed to be axially symmetric as well.) We prove that this problem has a solution under the sole necessary condition of zero total ux through the boundary. The problem was formulated by Jean Leray 80 years ago. The proof of the main result uses Bernoulli’s law for a weak solution to the Euler equations.