Questions tagged [isoperimetric-problems]
The isoperimetric-problems tag has no usage guidance.
32
questions with no upvoted or accepted answers
22
votes
0
answers
514
views
Sphere with bounded curvature
Let $V$ be a body in $\mathbb{R}^3$ bounded by a smooth sphere with principal curvatures at most 1 (by absolute value).
Is it true that
$$\mathop{\rm vol} V\ge \mathop{\rm vol} B,$$
where $B$ denotes ...
16
votes
0
answers
588
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}...
12
votes
0
answers
349
views
A variation on the local Günther inequality
This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...
8
votes
0
answers
109
views
Hölder isoperimetric problem
Denote by $S_r$ the usual circle of radius $r$, with the path metric ($d(x,y) = r\theta$, where $\theta$ is the angle between the vectors $x$ and $y$), and let $\alpha \in (1/2,1)$. Consider the ...
7
votes
0
answers
649
views
Least area minimal hypersurface of $\mathbb C P^{n+1}$
After a few lectures on min-max for minimal hypersurfaces and isoperimetric problems, and seeing in several instances that the least area minimal hypersurface of the round sphere is an equator, I was ...
6
votes
0
answers
176
views
Optimal planar net for catching convex shapes
Imagine you want to make a net out of string to filter and catch objects of
a certain size, minimizing the length of string employed.
(This actually arises in filtering biological impurities from ...
5
votes
0
answers
72
views
Dimension reduction and isoperimetric inequality
$\newcommand{\II}{\mathit{II}}$The isoperimetric inequality $\II_n$ in ${\mathbb R}^n$ is
$$\frac{{\rm vol}_nU}{{\rm vol}_nB_n}\le\left(\frac{{\rm vol}_{n-1}\partial U}{{\rm vol}_{n-1}\partial B_n}\...
5
votes
0
answers
85
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 ...
4
votes
0
answers
140
views
A variation of Zuk's isoperimetric inequality for groups
$\DeclareMathOperator\diam{diam}\DeclareMathOperator\inrad{inrad}$There is a isoperimetric inequality (conjectured by Sikorav and proven by Żuk (Topology 39 (2000) 947–956) which holds in every Cayley ...
4
votes
0
answers
121
views
Integrating a function of distance between a set and its neighbourhood
I am aware of the isoperimetric inequality, which states that if you fix the Lebesgue measure of a measurable set $A \subset \mathbb R^d. d \geq 2$ then the smallest possible value of the perimeter of ...
4
votes
0
answers
126
views
Area lower bound given a mean curvature upper bound?
If $\Sigma$ is a smooth embedded closed hypersurface in $\mathbb R^n$ with (normalized) mean curvature $H\le 1$ (the mean curvature of the unit sphere), then its ($(n-1)$-dimensional) area is at least ...
4
votes
0
answers
176
views
What to do when Euler Lagrange Equation is highly nonlinear ode?
In $\mathbb{R}^3$, suppose there is a curve on X-Y plane $y(x)$ defined on $x\in [-a,a]$ satisfying:
$y(x)\geqslant 0$;
$y(-a)=y(a)=0.$
Rotate $y(x)$ along x-axis in $\mathbb{R}^3$ and get a solid ...
4
votes
0
answers
49
views
Lower estimate on length of boundary of 2d Riemannian surface
Fix constants $\kappa\in \mathbb{R}, D>0,A>0$. Does there exist a constant $C>0$ depending on $\kappa, D, A$ only such that for any compact 2-dimensional Riemannian surface (or more generally ...
4
votes
0
answers
200
views
An isoperimetric inequality for "order" polytopes
I am looking for an isoperimetric inequality for order-like polytopes.
An order polytope $K\in \mathbb{R}^n$ is defined by a set of linear inequaities:
$$ \forall i \; 0\leq x_i \leq 1 $$
and
$ ...
3
votes
0
answers
191
views
Cheeger constant and isoperimetric ratio
$(S^2,g)$ is 2-dimensional sphere with Riemannian metric. Consider any curves $\gamma$ on $S^2$ dividing the total area $A$ into two parts $A_1+A_2 =A$. The isoperimetric ratio is
$$
C_s(\gamma)=\frac{...
3
votes
0
answers
88
views
Reference for Varopoulos isoperimetric inequality with multiplicity
The Varopoulos isoperimetric inequality for a bounded domain $D$ in a nilpotent group $\Gamma$ of growth $n$ reads
$$
\# D \le \mathrm{const} \cdot (\#\partial D)^{n/(n-1)}
$$
See Ch. 6.E+ in Gromov's ...
3
votes
0
answers
124
views
Isoperimetric inequality for general metric space
Consider some space $\mathcal{S}$ with metric $d$ and measure $\mu$.
For arbitrary set $H$ denote the $v$-bound of $H$ by $\delta_v(H):= \{x \mid x \notin H: \exists y \in H \text{ s.t. } d(x,y) \le v ...
3
votes
0
answers
63
views
Minimizing expected mutual distances in spherical regions
Suppose I take the unit sphere in $d$ dimensions, and I take some subset $A$ of the sphere of fixed relative volume $V$. Now from this set $A$ I draw two vectors, uniformly at random, and I look at ...
3
votes
0
answers
80
views
Estimate of volume of a ball on the boundary of Riemannian manifold
Let $M^n$ be a smooth compact Riemannian manifold with geodesically locally convex boundary and sectional curvature at least $-1$. Let $x\in M$ and $\varepsilon\in (0,1)$.
Does there exist a ...
2
votes
0
answers
42
views
Nonlocal perimeter of level sets
Let $u \in W^{s,1}(B)$ be given and $k < l$ be two numbers, then I am looking for a way to bound the following term from above. Here $B$ is the euclidean ball.
$$
\int_{B: u < k} \int_{B:u>l} ...
2
votes
0
answers
118
views
Characterization of planar domains onto which a unit disk can be mapped with constant singular values
It can be shown that there are (smoothly bounded, Jordan) domains $E\subset \mathbb{R}^2$ which are $\textit{not}$ images of mappings $f$ from the unit disk (or any other planar domain), such that $\...
2
votes
0
answers
84
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. ...
2
votes
0
answers
73
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 ...
2
votes
0
answers
200
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 ...
1
vote
0
answers
82
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},$$...
1
vote
0
answers
141
views
$\newcommand\v{\operatorname{vol}_d(C}$Compact subsets of $ℝ^d$ which maximize $\inf_{|v|\le1}\dfrac{\v\cap(𝜀v+C))}{\v)}$ for fixed $\v)$ and $𝜀>0$
Let $\operatorname{vol}_d$ be the volume measure on $\mathbb R^d$ and let $B_d$ be the unit-ball. For $\varepsilon \ge 0$ and a compact subset $C$ of $\mathbb R^d$ with $\operatorname{vol}_d(C)>0$, ...
1
vote
0
answers
59
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 $$ ...
1
vote
0
answers
109
views
Cheeger constant of truncated hypercube
Look at the $d$-dimensional hypercube and truncate it. This means one replaces each vertex by a cycle (of length $d$) in such a way the the new graph is 3-regular.
Question 1: What is the asymptotic ...
1
vote
0
answers
163
views
Area of a surface confined by a sphere
Let $S$ be a hypersurface enclosed inside the unit sphere in $R^n$. We may assume that every ray $\{t x: t \geq 0 \}$ intersects $S$ at most once.
Under what extra condition is ${\rm Area}(S) \leq {\...
1
vote
0
answers
98
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\}$ ...
0
votes
0
answers
94
views
Asymptotic optimal sphericity
How quickly does maximum sphericity of polyhedra with $n$ faces approach 1 as $n→∞$? I can show that sphericity $1 - \frac{5 \sqrt{3} π}{27n} - O(n^{-3/2})$ is possible. Is this, especially $O(n^{-3/...
0
votes
0
answers
320
views
Isoperimetric profile
In the paper of Andrews and Bryan Curvature bounds by isoperimetric comparison for normalized Ricci flow on the two-sphere http://arxiv.org/abs/0908.3606, the isoperimetric profile is defined by $h(\...