On the \(\mathrm {L}^p\)-theory of the Navier-Stokes equations on three-dimensional bounded Lipschitz domains (Q1751031): Difference between revisions

This article concerns \(L^p\)-theory of the three dimensional Navier-Stokes equations on bounded Lipschitz domains. The key technical ingredient is the study of the Stokes operator on solenoidal \(L^p_{\sigma}(\Omega)\) spaces in the spirit of the works by \textit{Z. Shen} [Arch. Ration. Mech. Anal. 205, No. 2, 395--424 (2012; Zbl 1320.76029)] and \textit{P. C. Kunstmann} and \textit{L. Weis} [J. Evol. Equ. 17, No. 1, 387--409 (2017; Zbl 1396.42003)]. In particular, the author provides a characterization of the domain of the square root of the Stokes operator as a space of \(W^{1,p}_{0,\sigma}(\Omega)\) for suitable choice of \(p\), which implies gradient estimates as well as crucial \(L^pL^q\) type mapping properties of the corresponding semigroup (Theorem 1.1 and Corollary 1.2 respectively). Using these results, the solvability (mild solution) of the three dimensional Navier-Stokes in the critical space \(L^{\infty}(0,\infty;L^3_{\sigma}(\Omega))\) is established under a suitable smallness assumption on the initial data in \(L^3\) norm in case of bounded Lipschitz domains. The proof follows using the classical approach of \textit{Y. Giga} [J. Differ. Equations 61, 186--212 (1986; Zbl 0577.35058)] and \textit{T. Kato} [Math. Z. 187, 471--480 (1984; Zbl 0545.35073)] and the estimates of Corollary 1.2. The final result combines the above mentioned approach and \(L^p\) maximal regularity of the Stokes operator to obtain a strong solution (Theorem 1.4) under a suitable smallness assumption on the data.