Remark on the strong solvability of the Navier-Stokes equations in the weak $L^n$ space

TL;DR

This paper demonstrates the strong solvability of the Navier-Stokes equations in a weak Lebesgue space, establishing local well-posedness without small initial data constraints and analyzing the semigroup's continuity properties.

Contribution

It characterizes the maximal subspace where the Stokes semigroup is strongly continuous and proves local strong solvability of Navier-Stokes in this space without smallness assumptions.

Findings

Strong solvability in weak $L^n$ space established.

Maximal subspace with strong semigroup continuity identified.

Local well-posedness achieved without initial data smallness condition.

Abstract

The initial value problem of the incompressible Navier-Stokes equations with non-zero forces in $L^{n,\infty}(\mathbb{R}^n)$ is investigated. Even though the Stokes semigroup is not strongly continuous on $L^{n,\infty}(\mathbb{R}^n)$, with the qualitative condition for the external forces, it is clarified that the mild solution of the Naiver-Stokes equations satisfies the differential equations in the topology of $L^{n,\infty}(\mathbb{R}^n)$. Inspired by the conditions for the forces, we characterize the maximal complete subspace in $L^{n,\infty}(\mathbb{R}^n)$ where the Stokes semigroup is strongly continuous at $t=0$. By virtue of this subspace, we also show local well-posedness of the strong solvability of the Cauchy problem without any smallness condition on the initial data in the subspace. Finally, we discuss the uniqueness criterion for the mild solutions in weak Lebesgue spaces by the argument by Brezis.