<p>In the setting of a doubling metric measure space, we study regularity of sets with finite <i>s</i>-perimeter, that is, sets whose characteristic functions have finite Besov energy, with regularity parameter <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2013_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;s&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and exponent <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2013_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Following a result of Visintin in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2013_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, we provide a sufficient condition for finiteness of the <i>s</i>-perimeter given in terms of the upper Minkowski codimension of the regularized boundary of the set. We also show that if a set has finite <i>s</i>-perimeter, then its measure-theoretic boundary has codimension <i>s</i> Hausdorff measure zero. To the best of our knowledge, this result is new even in the Euclidean setting. By studying certain fat Cantor sets, we provide examples illustrating that the converses of these results do not hold in general. In the doubling metric measure space setting, we then consider minimizers of a nonlocal perimeter functional, extending the definition introduced by Caffarelli, Roquejoffre, and Savin in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2013_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, and prove existence, uniform density, and porosity results for minimizers.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Regularity of Sets of Finite Fractional Perimeter and Nonlocal Minimal Surfaces in Metric Measure Spaces

  • Josh Kline

摘要

In the setting of a doubling metric measure space, we study regularity of sets with finite s-perimeter, that is, sets whose characteristic functions have finite Besov energy, with regularity parameter \(0<s<1\) 0 < s < 1 and exponent \(p=1\) p = 1 . Following a result of Visintin in \(\mathbb {R}^n\) R n , we provide a sufficient condition for finiteness of the s-perimeter given in terms of the upper Minkowski codimension of the regularized boundary of the set. We also show that if a set has finite s-perimeter, then its measure-theoretic boundary has codimension s Hausdorff measure zero. To the best of our knowledge, this result is new even in the Euclidean setting. By studying certain fat Cantor sets, we provide examples illustrating that the converses of these results do not hold in general. In the doubling metric measure space setting, we then consider minimizers of a nonlocal perimeter functional, extending the definition introduced by Caffarelli, Roquejoffre, and Savin in \(\mathbb {R}^n\) R n , and prove existence, uniform density, and porosity results for minimizers.