All Questions
Tagged with isoperimetry or isoperimetric-problems
102 questions
5
votes
1
answer
323
views
An inequality that may be of isoperimetric nature
I am trying to prove the following inequality: let $f,g:S^1\to R$ (here $S^1$ is the unit circle parametrized by arc-length) be differentiable and have zero mean. Then
$$
4\pi \int f(t) g(t)\, dt \le \...
- 797
1
vote
0
answers
72
views
Do almost all Gibbs' measures satisfy the weak-Poincare Inequality?
I am trying to interprete the discussion given in Section 3 of this paper,
https://core.ac.uk/download/pdf/82217936.pdf
Lets suppose we restrict to considering Gibbs's measures of the form $\sim e^{-...
- 617
0
votes
0
answers
40
views
Is the principal eigenvalue of the clamped plate minimized by the equilateral triangle among all triangles of a given area?
Let $\Omega$ be a ``nice'' domain in $\mathbb{R}^2$
(bounded and with piecewise smooth boundary). Consider the clamped plate eigenvalue problem, given by
$$\Delta^2 u = \lambda u $$
$$ u|_{\partial \...
- 3,245
5
votes
2
answers
384
views
On a 3D Gagliardo-Nirenberg inequality
It is well known that there exists a constant $C$ such that
$$\forall f\in C^\infty_c(\mathbb R^3), \quad
\Vert f\Vert_{L^6(\mathbb R^3)}\le C\Vert \nabla f\Vert_{L^2(\mathbb R^3)}.
\tag{$\ast$}$$
Now ...
- 16.2k
0
votes
0
answers
63
views
Improvement of isoperimetric inequalities
The standard functional isoperimetric inequality is for an integer $n\ge 1$,
$$
\Vert u\Vert_{L^{\frac{n}{n-1}}(\mathbb R^n)}\le c(n)\Vert \nabla u\Vert_{L^1(\mathbb R^n)}, \quad c(n)=\frac{(\vert\...
- 16.2k
0
votes
0
answers
34
views
Sub-additiviy of the log-Sobolev constant without independence
If two random variables $X$ and $Y$ verify the log-Sobolev inequality, what can we say about the log-Sobolev constant of their sum $X+Y$?
If they are independent, we know that
$$
c_{LS}(X+Y) \leq c_{...
1
vote
0
answers
54
views
Isoperimetric Inequalities in Annular Regions
Let $\Omega$ be an open set in $\mathbb{R}^2$ whose boundary is a rectifiable Jordan curve. Then an old result by Alfred Huber states that
$$
\left(\int_{\partial \Omega} e^u ds\right)^2 \geq 2 \left(...
- 434
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
3
votes
0
answers
209
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{...
- 165
9
votes
1
answer
404
views
Mass transportation proof of the Gaussian isoperimetric inequality?
In his book "Topics in optimal transportation", Graduate Studies in Mathematics 58, AMS 2003,
Villani presents a proof, due to Gromov, of the classical isoperimetric inequality
in Euclidean ...
- 101
3
votes
0
answers
95
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 ...
- 243
4
votes
0
answers
143
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,432
5
votes
0
answers
73
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}\...
- 52.3k
22
votes
0
answers
547
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 ...
- 45k
2
votes
0
answers
47
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} ...
- 455
4
votes
0
answers
135
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 ...
1
vote
0
answers
143
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$, ...
- 6,853
5
votes
1
answer
124
views
Nearest point is always regular for isoperimetric hypersurfaces
In his paper "Paul Levy's Isoperimetric Inequality" (published as appendix C in Metric Structures for Riemannian and Non-riemannian Spaces), Gromov claims that if $H$ is a minimal $n$-...
- 645
3
votes
0
answers
137
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 ...
- 2,576
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
2
votes
0
answers
119
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 $\...
- 134
0
votes
0
answers
98
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/...
- 7,545
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
1
vote
0
answers
70
views
Does it holds that the $L^{\infty}$ norm of the support function of a convex body is minimal on balls with the same volume? [closed]
I was wondering if the following inequality holds.
Let $K$ be a convex body of $\mathbb{R}^n$ and let us denote by $h_K$ its support function, defined as, for $x\in\mathbb{R}^n$
$$ h_K(x)={\max}\{x\...
- 119
5
votes
1
answer
201
views
An Indepth Look at Isoperimetry in the Cayley Graph Generated by All Transpositions
Let $\Omega_n$ denote the symmetric/permutation group on $n$ objects.
Let $T_n \subseteq \Omega_n$ denote the set of transpositions.
Drop the $n$-subscripts.
Define the Cayley graph $G = (\Omega, E)$ ...
- 560
3
votes
1
answer
114
views
Lower-bound for $\underset{p \le \gamma_d(A) \le q}{\inf} \gamma(A^\epsilon)$, where $\gamma_d$ is the standard gaussian distribution on $\mathbb R^d$
Let $\gamma_d = \gamma_1 \otimes \ldots \otimes \gamma_1$ be the standard Gaussian distribution on $\mathbb R^d$, where $d$ is a large positive integer. Given $\epsilon \ge 0$ and a measurable $A \...
- 6,853
1
vote
1
answer
151
views
Lower-bound on Sobolev norm of function on $(d-1)$-dimensional sphere, whose sign has been fixed at $n$ points
Let $\mathbb S_{d-1} := \{x \in \mathbb R^d \mid x^\top x = 1\}$ be $(d-1)$-dimensional sphere in $\mathbb R^d$ and let $\sigma_d$ be the uniform distribution on $\mathbb S_{d-1}$. Let $x_1,\ldots,x_n$...
- 6,853
7
votes
3
answers
735
views
When is perimeter continuous under Hausdorff convergence?
It is known that the perimeter is lower semicontinuous for the convergence of sets. Two variants are widely known:
(Golab's theorem) in $\Bbb{R}^2$ if the sets $\Omega_n$ converge to $\Omega$ in the ...
- 2,222
5
votes
1
answer
190
views
"Isoperimetric inequality" for self intersecting closed surfaces?
As the title suggests, I am trying to find something like an isoperimetric inequality for smooth immersions of the 2-sphere into $\mathbb{R}^3$ that relates the surface area to the enclosed 3d-volume. ...
- 221
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
121
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 ...
- 4,432
3
votes
1
answer
237
views
Isoperimetric inequality for analytic functions on an annulus
Let $f$ be an anylytic function on the unid disk $|z|<1$. It is well known that
$$\left (\int_0^{2\pi}f(e^{i\theta})d \theta \right)^2 \geq 4\pi \iint_{|z|<1} |f(r e^{i\theta})|^2r dr d \theta.$...
- 434
3
votes
0
answers
65
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 ...
- 733
10
votes
2
answers
926
views
Is there a volume-preserving diffeomorphism of the disk with prescribed singular values?
This is a cross-post. While working on a variational problem, I have reached to the following question.
Let $0<\sigma_1<\sigma_2$ satisfy $\sigma_1\sigma_2=1$, and let $D \subseteq \mathbb{R}^2$...
- 6,741
1
vote
1
answer
165
views
Area of a surface confined by a sphere II
[A followup on two related posts:
Area of a surface confined by a sphere
Area of a elliptic surface confined by a sphere
. Thanks to all the inputs so far.]
Let $S$ be a surface enclosed inside the ...
- 511
5
votes
1
answer
178
views
Area of a elliptic surface confined by a sphere
Let $S$ be a surface enclosed inside the unit sphere in $R^3$. If every point of S is elliptic, then must $\operatorname{Area}(S)≤\operatorname{Area}(S^2)$?
- 511
1
vote
0
answers
164
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 {\...
- 511
3
votes
2
answers
242
views
Is the radial projection map area increasing?
Let $S$ be a hypersurface enclosed inside the unit sphere in $R^n$. Assume that every ray $\{t x: t \geq 0 \}$ intersects $S$ at most once.
Is it always true that ${\rm Area}(S) \leq {\rm Area}(P(S))$...
- 511
0
votes
1
answer
115
views
Compute lower bound on $\min_{E} \mathcal N(0,\sigma^2 I_n)(E)$ subject to $vol(E \cap H_n(r)) / vol(H_n(r)) \ge p$ where $H_n(r)$ is $n$-hemisphere
Let $n \ge 2$ be an integer, which may be assumed to be very large. For $r > 0$, consider the hemi-sphere $H_n(r) := S_n(r) \cap (\mathbb R^+ \times \mathbb R^{n-1})$, where
$$
S_n(r):= \{x \in \...
- 6,853
3
votes
0
answers
87
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 ...
- 21.8k
4
votes
0
answers
127
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 ...
- 41
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
3
votes
1
answer
189
views
Isoperimetry on $[0, 1]^n$ w.r.t $\ell_p$ distance, with $p \in [1,\infty]$
Let $A$ be a measurable subset of the metric space $\mathcal X = ([0, 1]^n,\ell_p)$ with $1 \le p \le \infty$, and define its $\varepsilon$-blowup by $A^\varepsilon:=\{x \in \mathcal X \mid \|x-a\|_p \...
- 6,853
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 ...
4
votes
0
answers
185
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 ...
- 183
3
votes
2
answers
442
views
What happens to the Gaussian volume of a Borel set when it is translated?
Let $\gamma_n$ be the standard Gaussian measure on $\mathbb R^n$, $A \subseteq \mathbb R^n$ be Borel and $c \in \mathbb R^n$. Define the translate $A_c := c + A := \{c+a \mid a \in A\} = \{x \in \...
- 6,853
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
1
vote
1
answer
125
views
An asymptotic version of the Isoperimetric inequality
Let $U$ be a simply connected bounded open set in $\mathbb{R}^2$. The area of $U$ is denoted by $A$.
(We do not assume any thing about its boundary).
Assume that $\gamma_n$,s are smooth simple ...
- 356
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