Well-posedness of the Laplacian on manifolds with boundary and bounded geometry

Let $M$ be a Riemannian manifold with a smooth boundary. The main question we address in this article is: “When is the Laplace-Beltrami operator $\mathrm{\Delta }\text{\hspace{0.17em}⁣}:H^{k+1}(M)\cap H_0^1(M)\to H^{k-1}(M)$, $k\in {\mathbb{N}}_0$, invertible?” We consider also the case of mixed boundary conditions. The study of this main question leads us to the class of manifolds with boundary and bounded geometry introduced by Schick (Math. Nach. 2001). We begin with some needed results on the geometry of manifolds with boundary and bounded geometry. Let ${\mathrm{\partial }}_{D}M\subset \mathrm{\partial }M$ be an open and closed subset of the boundary of $M$. We say that $(M,{\mathrm{\partial }}_{D}M)$ has \emph{finite width} if, by definition, $M$ is a manifold with boundary and bounded geometry such that the distance $d(x,{\mathrm{\partial }}_{D}M)$ from a point $x\in M$ to $\partial_D M \subset \partial M$isboundeduniformlyin$x$(andhence,inparticular,$\partial_D M$intersectsallconnectedcomponentsof$M$)\mathrm{.}Formanifolds$(M, \partial_D M)$ with finite width, we prove a Poincar'e inequality for functions vanishing on ${\mathrm{\partial }}_{D}M$, thus generalizing an important result of Sakurai (Osaka J. Math, 2017). The Poincar'e inequality then leads, as in the classical case to results on the spectrum of $\mathrm{\Delta }$ with domain given by mixed boundary conditions, in particular, $\mathrm{\Delta }$ is invertible for manifolds $(M, \partial_D M)$ with finite width. The bounded geometry assumption then allows us to prove the well-posedness of the Poisson problem with mixed boundary conditions in higher Sobolev spaces $H^s(M)$, $s\ge 0$.