Pointwise upper bounds for the solution of the Stokes equation on \(L_\sigma^\infty(\varOmega)\) and applications (Q2261943): Difference between revisions

The authors consider the abstract Stokes system on an exterior domain \(\Omega\subset {\mathbb R}^n\) with smooth boundary, given by \[ u'(t)-Au=0,\;\;\;u(0)=u_0,\tag{1} \] where \(A\) is the Stokes operator defined on \(L^p_{\sigma}(\Omega)\) by \[ Au:=P_{\Omega}\Delta u\;\;\;\text{with}\;D(A)=W^{2,p}(\Omega)\cap W_0^{1,p}(\Omega)\cap L^p_{\sigma}(\Omega), \] where \(P_{\Omega}\) is the Helmholtz projector from \(L^p(\Omega)\) to \(L^p_{\sigma}(\Omega)\). It is known (Borchers-Sohr) that the unique solution of (1) given by the Stokes semi-group \(T_p(t)\) on \(L^p_{\sigma}(\Omega)\) extends, for \(1<p<\infty\), to a bounded analytic semi-group of angle \(\pi/2\) on \(L^p_{\sigma}(\Omega)\) such that \[ \| T_p(z)\|_{{\mathcal L}( L^p_{\sigma}(\Omega))}\leq C \quad \text{for}\;\;z\in \Sigma_{\theta}:=\{\lambda\in{\mathbb C}\backslash 0,\;|Arg \lambda|<\theta\}, \] with \(\theta<\pi/2\). In this article, the authors extend the previous result to \(p=\infty\). The difficulty lies on the fact that the Helmholtz projector is no longer bounded from \(L^p(\Omega)\) to \(L^p_{\sigma}(\Omega)\) and that the Stokes operator needs to be defined in a new way, inspired by Maremonti.