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

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.