Local existence and uniqueness of strong solutions to the Navier-Stokes equations with nonnegative density

In this paper, we consider the initial-boundary value problem to the nonhomogeneous incompressible Navier Stokes equations. Local strong solutions are established, for any initial data (rho(0), u(0)) is an element of (W-1,W-gamma boolean AND L-infinity) x H-0,sigma(1), with gamma > 1, and if gamma >= 2, then the strong solution is unique. The initial density is allowed to be nonnegative, and in particular, the initial vacuum is allowed. The assumption on the initial data is weaker than the previous widely used one that (rho(0), u(0)) is an element of (H-1 boolean AND L-infinity) x (H-0,sigma(1) boolean AND H-2), and no compatibility condition is required. (C) 2017 Elsevier Inc. All rights reserved.