On the stationary Navier-Stokes equations in exterior domains

초록

This paper is concerned with the existence and uniqueness questions on weak solutions of the stationary Navier-Stokes equations in an exterior domain Omega in R-3, where the external force is given by div F with F = F (x) = (F-j(i)(x))(i j = 1.2.3). First, we prove the existence and uniqueness of a weak solution for F is an element of L-3/2.infinity (Omega) boolean AND L-p.q (Omega) with 3/2 < p < 3 and 1 <= q <= infinity) provided parallel to F parallel to(L3/2.infinity) is sufficiently small. Here L-p,L-q (ohm) denotes the well-known Lorentz space. We next show that weak solutions satisfying the energy inequality are unique for F is an element of L-3/2.infinity (Omega) boolean AND L-2 (Omega) under the same smallness condition on parallel to F parallel to(L3/2.infinity(Omega)). This result provides a complete answer to the uniqueness question of weak solutions satisfying the energy inequality, the existence of which was proved by Leray in 1933. Finally, we establish the existence of weak solutions for data F in a very large class, for instance, in L-3/2 (Omega) + L-2 (Omega), which generalizes Leray's existence result. (C) 2012 Elsevier Inc. All rights reserved.

키워드