Return to Question

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all bounded open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary. Does the same Isoperimetric inequality now hold for bounded open sets $\Omega\subset \mathbb{H}^{n}\setminus K$ with smooth boundary and if yes, where can I find a reference for this statement? Note that the fact that we consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary implies that $\partial \Omega\cap K=\emptyset$. If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all precompact open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold. Does the same Isoperimetric inequality now hold for precompact open sets $\Omega\subset \mathbb{H}^{n}\setminus K$ with smooth boundary and if yes, where can I find a reference for this statement? If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all precompact open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary. Does the same Isoperimetric inequality now hold for precompact open sets $\Omega\subset \mathbb{H}^{n}\setminus K$ with smooth boundary and if yes, where can I find a reference for this statement? If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all bounded open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary. Does the same Isoperimetric inequality now hold for bounded open sets $\Omega\subset \mathbb{H}^{n}\setminus K$ with smooth boundary and if yes, where can I find a reference for this statement? Note that the fact that we consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary implies that $\partial \Omega\cap K=\emptyset$. If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all precompact open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary. Does the same Isoperimetric inequality now hold on $\mathbb{H}^{n}\setminus K$ and if yes, where can I find a reference for this statement? If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!

Fix $n\geq 2$ and let $\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$ be the hyperbolic space be defined as a Riemannian manifold equipped with the Riemannian metric $$g=dr^{2}+\sinh^{2}rd\theta^{2},$$ where $dr^{2}$ is the standard metric on $\mathbb{R}_{+}$ and $d\theta^{2}$ is the standard metric on the sphere $\mathbb{S}^{n-1}$. Denote with $\mu$ the Riemannian measure on $\mathbb{H}^{n}$ and with $\sigma$ the Riemannian measure of co-dimension $1$ on hypersurfaces on $\mathbb{H}^{n}$. It is a known fact that $\mathbb{H}^{n}$ admits the Isoperimetric inequality $$\sigma(\partial \Omega)\geq f(\mu(\Omega)),$$ for all precompact open sets $\Omega\subset \mathbb{H}^{n}$ with smooth boundary, where $f$ is defined by $$f(v)=\left\{\begin{array}{cl}v, &v\geq 1\\ v^{\frac{n-1}{n}}, &v\leq 1.\end{array}\right.$$

Let us fix some compact set $K\subset \mathbb{H}^{n}$ and consider $\mathbb{H}^{n}\setminus K$ as a manifold with boundary. Does the same Isoperimetric inequality now hold for precompact open sets $\Omega\subset \mathbb{H}^{n}\setminus K$ with smooth boundary and if yes, where can I find a reference for this statement? If this is not known for the hyperbolic space $\mathbb{H}^{n}$, is a similar statement known for other Riemannian manifolds, for example $\mathbb{R}^{n}$?

Thanks in advance for your help!