All Questions
Tagged with geometric-measure-theory isoperimetric-problems
18 questions
16
votes
0
answers
616
views
Isoperimetric inequality and geometric measure theory
The following version of the isoperimetric inequality can be easily deduced from the Brunn-Minkowski inequality:
Theorem. If $K\subset\mathbb{R}^n$ is compact, then $$ |K|^{\frac{n-1}{n}}\leq n^{-1}...
- 28k
15
votes
3
answers
1k
views
Stronger version of the isoperimetric inequality
I have been searching for a version of the isoperimetric inequality which is something like:
$P(\Omega) - 2\sqrt{\pi} Vol(\Omega)^{1/2} \geq \pi (r_{out}^2 - r_{in}^2)$ where $r_{out}$ and $r_{in}$ ...
- 2,641
11
votes
2
answers
3k
views
Levy's isoperimetric inequality for sphere
Let me recall subj:
If $s>0$, $A$ and $B$ are two subsets of $\mathbb{S}^{n}$, $|A|=|B|$ ($|\cdot|$ stands for the Lebesgue measure on the sphere) and $B$ is a cup $B=\{ (x_1,x_2,\dots,x_n)\in \...
- 109k
10
votes
1
answer
463
views
Isoperimetric inequality for closed curves in $\mathbb{R}^n$
A well known isoperimetric inequality for closed curves in $\mathbb{R}^2$ can be generalized to closed curves in $\mathbb{R}^{2n}$, see: https://mathoverflow.net/a/321505/121665.
I have two questions:
...
- 28k
8
votes
3
answers
287
views
Set with small internal radius, small perimeter and prescribed area
Given a regular set $E\subset \mathbb R^2$ define
$$
R(E) = \sup\{r\colon \exists x,\ B(x,r)\subseteq E\}
$$
to be the radius of the largest circle contained in $E$ and let $|\partial E|$ be the ...
- 702
8
votes
1
answer
513
views
An isoperimetric-type inequality inside a cube
I am looking for a reference for the following inequality: if $\Omega \subset [0,1]^d$ satisfies $\mbox{vol}(\Omega) \leq 1/2$, then
$$ \mathcal{H}^{d-1}\left( \partial\Omega \cap (0,1)^d\right) \geq ...
7
votes
1
answer
211
views
Isoperimetric type inequality in $\mathbb{R}^2$
Fix $L \in (0,\infty)$ and consider $\mathcal{C}_L$ defined as follows:
\begin{align*}
\mathcal{C}_L := \{ \gamma:[0,1] \rightarrow \mathbb{R}^2 |~ \gamma \text{ is smooth and length($\gamma$)$=L$ }\}....
- 399
7
votes
1
answer
299
views
Convexity of Isoperimetric Domains
I am interested in what is known about the convexity of isoperimetric domains in compact Cartan-Hadamard manifolds (Riemannian manifolds that are complete and simply-connected and have non-positive ...
- 343
7
votes
1
answer
438
views
An isoperimetric type of inequality in terms of Wasserstein distance/Optimal transport
Let $A \subset \mathbb{R}^n$ be a region having the same volume as an $n$ dimensional ball $B^n_R$ with radius $R$ centring at the origin.
Isoperimetric inequality says:
$ Vol_{n-1} \partial A \geq ...
- 365
5
votes
0
answers
96
views
Isoperimetric profile with obstacle
Fix two open smooth bounded domains $\Omega_-$ and $\Omega_+$ with $\overline{\Omega}_-\subset \Omega_+$ in a complete Riemannian manifold ($\mathbb{R}^n$ is already interesting to me).
I was ...
- 2,478
2
votes
0
answers
92
views
Lower bound to $\epsilon$-expansion of a subset of a half-sphere
Below are two known lemmas on a $d$-dimensional sphere (related to the isoperimetric inequality). I would like to know: does a similar statement like this holds for a $d$-dimensional dome also (i.e. ...
- 21
2
votes
0
answers
78
views
A uniform version of Minkowski content?
Let $A\subseteq [-1,1]^d$ be a measurable set and $\mu$ be the Lebesgue measure. For any $\delta>0$, define $A_\delta := \{x: d(x,A)\leq \delta\}$, where $d(x,A) := \inf_{y\in A}\|x-y\|_2$.
The ...
- 373
2
votes
0
answers
201
views
Bonnesen's inequality for non-simple curves
Given a closed curve in the plane $\mathbb{R}^2$, it is well known that $L^2 \geq 4\pi A$ where $L$ is the length of the curve and $A$ is the area of the interior of the curve.
For a simple closed ...
- 2,641
1
vote
1
answer
258
views
Isoperimetric inequality for domains in the exterior of a precompact open set in Riemannian manifold
Fix $n\geq 2$ and let $$\mathbb{H}^{n}=\mathbb{R}_{+}\times \mathbb{S}^{n-1}$$ be the hyperbolic space, so that any point $x\in \mathbb{H}^{n}$ can be represented in polar coordinates $x=(r, \theta)$, ...
- 459
1
vote
1
answer
140
views
Isoperimetric inequality for exterior domains on $\mathbb{H}^{n}$
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\...
- 459
1
vote
0
answers
87
views
Symmetry of the isoperimetric profile
Given a probability measure $\mu$ on a metric space $(X, \mathsf{d})$, the $(\mu-)$Minkowski content of a set $A$ is defined as
$$\mu^+ (A) := {\lim\inf}_{r \to 0^+} \frac{\mu ( A_r \setminus A)}{r},$$...
- 801
1
vote
0
answers
64
views
Perimeter decreases under intersection with half spaces
The main thing i need to prove is the following assertion:
Let $E\subset R^N$ be a set of finite perimeter and $H=\{x\in R^N : x\cdot e < t \}$ for $t\in R$ and $e\in S^{N-1}$.
Then prove that $$ ...
- 73
1
vote
0
answers
105
views
Gaussian isoperimetry for $\ell_p$ norms
Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$. It is well-known (e.g see Proposition 1) that for a given Gaussian volume content, half-spaces $H=\{x \in \mathbb R^n | a^Tx \le b\}$ ...
- 6,853