Boxing inequalities for relative fractional perimeter and fractional Poincaré-type inequalities on John domains with the BBM factor
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910160382853120 |
|---|---|
| author | Huang, Manzi Lahti, Panu Li, Jiang Wang, Zhuang |
| author_facet | Huang, Manzi Lahti, Panu Li, Jiang Wang, Zhuang |
| contents | For $0<δ,τ<1$ and $1\le s\le \frac{n}{n-δ}$, we prove that for a given $s$-John domain
$Ω\subset \mathbb{R}^n$, the following Boxing inequality holds for every Lebesgue measurable set $U\subsetΩ$ with $|U|/|Ω|\leγ<1$:
\[
\mathcal{H}^{s(n-δ)}_{\infty}(U\setminus\mathcal{N}_U)\le C(1-δ)\int_Ω\int_{|x-y|<τ\operatorname{dist}(y,\partialΩ)}\frac{|χ_U(x)-χ_U(y)|}{|x-y|^{n+δ}}\,dx\,dy,
\]
where $\mathcal{H}^{s(n-δ)}_{\infty}(U)$ denotes the $s(n-δ)$-dimensional Hausdorff content of $U$, $\mathcal{N}_U$ is a set of Lebesgue measure zero and the constant $C$ depends only on $n,τ,s,γ$, the John constant and the diameter of $Ω$. Moreover, we establish the functional formulation of the above Boxing inequality and discuss the equivalence between these two formulations. Based on the Boxing inequality, we prove the fractional Poincaré--Wirtinger trace inequality on $s$-John domains, of which the fractional Sobolev--Poincaré inequality and fractional Hardy-type inequality are special cases. Notably, we prove all of the aforementioned inequalities with the Bourgain--Brezis--Mironescu (BBM) factor $1-δ$. Furthermore, with the aid of the Bourgain--Brezis--Mironescu formula, we recover the Poincaré--Wirtinger trace inequality. Finally, by showing that, under the separation property, any domain supporting the Boxing inequality is necessarily a John domain, we conclude that the John domain condition is essentially sharp for the above inequalities. All the above inequalities with the BBM factor are new even for Lipschitz domains. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_21506 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Boxing inequalities for relative fractional perimeter and fractional Poincaré-type inequalities on John domains with the BBM factor Huang, Manzi Lahti, Panu Li, Jiang Wang, Zhuang Functional Analysis Analysis of PDEs Complex Variables 46E35, 30C65, 30L15 For $0<δ,τ<1$ and $1\le s\le \frac{n}{n-δ}$, we prove that for a given $s$-John domain $Ω\subset \mathbb{R}^n$, the following Boxing inequality holds for every Lebesgue measurable set $U\subsetΩ$ with $|U|/|Ω|\leγ<1$: \[ \mathcal{H}^{s(n-δ)}_{\infty}(U\setminus\mathcal{N}_U)\le C(1-δ)\int_Ω\int_{|x-y|<τ\operatorname{dist}(y,\partialΩ)}\frac{|χ_U(x)-χ_U(y)|}{|x-y|^{n+δ}}\,dx\,dy, \] where $\mathcal{H}^{s(n-δ)}_{\infty}(U)$ denotes the $s(n-δ)$-dimensional Hausdorff content of $U$, $\mathcal{N}_U$ is a set of Lebesgue measure zero and the constant $C$ depends only on $n,τ,s,γ$, the John constant and the diameter of $Ω$. Moreover, we establish the functional formulation of the above Boxing inequality and discuss the equivalence between these two formulations. Based on the Boxing inequality, we prove the fractional Poincaré--Wirtinger trace inequality on $s$-John domains, of which the fractional Sobolev--Poincaré inequality and fractional Hardy-type inequality are special cases. Notably, we prove all of the aforementioned inequalities with the Bourgain--Brezis--Mironescu (BBM) factor $1-δ$. Furthermore, with the aid of the Bourgain--Brezis--Mironescu formula, we recover the Poincaré--Wirtinger trace inequality. Finally, by showing that, under the separation property, any domain supporting the Boxing inequality is necessarily a John domain, we conclude that the John domain condition is essentially sharp for the above inequalities. All the above inequalities with the BBM factor are new even for Lipschitz domains. |
| title | Boxing inequalities for relative fractional perimeter and fractional Poincaré-type inequalities on John domains with the BBM factor |
| topic | Functional Analysis Analysis of PDEs Complex Variables 46E35, 30C65, 30L15 |
| url | https://arxiv.org/abs/2604.21506 |