Laura Westermann | arXiv Science

arXiv2024

Optimal Regularity for the Stokes Equations on a 2D Wedge Domain Subject to Navier Boundary Conditions

We consider the Stokes equations subject to Navier boundary conditions on a two-dimensional wedge domain with opening angle $\theta_0 \in (0,\,\pi)$. We prove existence and uniqueness of solutions with optimal regularity in an $L^p$-setting. The results are based on optimal regularity results for the Stokes equations subject to perfect slip boundary conditions on a two-dimensional wedge domain that have been obtained by the authors in [15]. Based on a detailed study of the corresponding trace operator on anisotropic Sobolev-Slobodeckij type function spaces on a two-dimensional wedge domain we are able to generalize the results proved in [15] to the case of inhomogeneous boundary conditions. Existence and uniqueness of solutions to the Stokes equations subject to (inhomogeneous) Navier boundary conditions are then obtained using a perturbation argument.

math.AP↗

arXiv2018

Optimal Sobolev regularity for the Stokes equations on a 2D wedge domain

In this note we prove that the solution of the stationary and the instationary Stokes equations subject to perfect slip boundary conditions on a 2D wedge domain admits optimal regularity in the $L^p$-setting, i.p. it is $W^{2,p}$ in space. This improves known results in the literature to a large extend. For instance, in [21, Theorem 1.1 and Corollary 3] it is proved that the Laplace and the Stokes operator in the underlying setting have maximal regularity. In that result the range of p admitting $W^{2,p}$ regularity, however, is restricted to the interval $1 0$, depending on the opening angle of the wedge. This note gives a detailed answer to the question, whether the optimal Sobolev regularity extends to the full range $1<p<\infty$. We will show that for the Laplacian this does only hold on a suitable subspace, but, depending on the opening angle of the wedge domain, not for every $p\in(1,\infty)$ on the entire $L^p$-space. On the other hand, for the Stokes operator in the space of solenoidal fields $L^p_{\sigma}$ we obtain optimal Sobolev regularity for the full range $1<p<\infty$ and for all opening angles less that $\pi$. Roughly speaking, this relies on the fact that an existing $ bad$ part of $L^p$ for the Laplacian is complementary to the space of solenoidal vector fields.

math.AP↗