Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.20600 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915949265813504 |
|---|---|
| author | Su, Weicong Wang, Zhuang Zhang, Yi Ru-Ya |
| author_facet | Su, Weicong Wang, Zhuang Zhang, Yi Ru-Ya |
| contents | We investigate the geometric behavior of $τ(E)$ for bounded finite-perimeter sets $E \subset \mathbb R^n$, where $τ(E)$ is the trace constant introduced by Figalli--Maggi--Pratelli [Invent. Math. 2010]. This quantity is a key ingredient in proving a quantitative isoperimetric inequality with the optimal exponent.
We first show that for every $ε>0$ one can find a bounded open set $Ω\subset \mathbb R^n$ that is very close to the unit ball $\mathbb B^n$ in the sense that $$ τ(\mathbb B^n)>τ(Ω)>τ(\mathbb B^n)-ε\quad \text{and} \quad P(ΩΔ\mathbb B^n)\le C(n)ε, $$ while at the same time the complement of $Ω$ has infinitely many connected components. Thus, $τ(Ω)$ can be made arbitrarily close to $τ(\mathbb B^n)$ even when $Ω$ has highly intricate geometry.
We then establish, under a mild additional hypothesis, the equivalence between a condition formulated in terms of $τ$ and two classical criteria from the literature for open sets that admit trace inequalities. As a consequence, we obtain the John-type characterization of domains that support a trace inequality, assuming the ball separation property. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_20600 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Geometric properties of Euclidean domains supporting trace inequalities Su, Weicong Wang, Zhuang Zhang, Yi Ru-Ya Functional Analysis 46E35 We investigate the geometric behavior of $τ(E)$ for bounded finite-perimeter sets $E \subset \mathbb R^n$, where $τ(E)$ is the trace constant introduced by Figalli--Maggi--Pratelli [Invent. Math. 2010]. This quantity is a key ingredient in proving a quantitative isoperimetric inequality with the optimal exponent. We first show that for every $ε>0$ one can find a bounded open set $Ω\subset \mathbb R^n$ that is very close to the unit ball $\mathbb B^n$ in the sense that $$ τ(\mathbb B^n)>τ(Ω)>τ(\mathbb B^n)-ε\quad \text{and} \quad P(ΩΔ\mathbb B^n)\le C(n)ε, $$ while at the same time the complement of $Ω$ has infinitely many connected components. Thus, $τ(Ω)$ can be made arbitrarily close to $τ(\mathbb B^n)$ even when $Ω$ has highly intricate geometry. We then establish, under a mild additional hypothesis, the equivalence between a condition formulated in terms of $τ$ and two classical criteria from the literature for open sets that admit trace inequalities. As a consequence, we obtain the John-type characterization of domains that support a trace inequality, assuming the ball separation property. |
| title | Geometric properties of Euclidean domains supporting trace inequalities |
| topic | Functional Analysis 46E35 |
| url | https://arxiv.org/abs/2604.20600 |