Resolvent Estimates for the Stokes Operator in a Three-Dimensional Lipschitz Domain

Abstract

By refining the approach developed in \cite{AGH-2015, GS2026a}, we establish resolvent estimates in $L_{\sigma }^p(\Omega )$ for the Stokes operator in a bounded Lipschitz domain $\Omega$ in ${\mathbb{R}}^3$ for any $(3/2)-\e< p\le \infty$, where $\e>0$ depends on $\Omega$. As a consequence, the Stokes operator generates a uniformly bounded analytic semigroup in $L_{\sigma }^p(\Omega )$. The results are particularly surprising, as it is long believed that the $L^p$ resolvent estimates in three-dimensional Lipschitz domains may fail for large $p$. In the Appendices we prove a theorem on interpolation between $L_{\sigma }^2(\Omega )$ and $L_{\sigma }^{\infty }(\Omega )$. Given $1<p<\infty$ and a bounded Lipschitz domain $\Omega$ in ${\mathbb{R}}^d,d\ge 2$, we show that the resolvent estimate cannot hold in $L^p(Ω; \C^d)$ unless the Helmholtz projection is bounded on $L^p(Ω; \C^d)$. This explains the counter-example constructed in \cite{Deuring-2001}.

arXiv comment26 pages. Appendix B is added. Comments are welcome