<p>We prove that for every planar convex set <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, the function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="242" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\in (-r(\Omega ),+\infty )\longmapsto \sqrt{|\Omega _t|}h(\Omega _t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mo>+</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mo>⟼</mo> <msqrt> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi mathvariant="normal">Ω</mi> <mi>t</mi> </msub> <mrow> <mo stretchy="false">|</mo> </mrow> </mrow> </msqrt> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is monotonically decreasing, where <i>r</i>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\cdot |\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mo>·</mo> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>h</i> stand for the inradius, the measure and the Cheeger constant and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\((\Omega _t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for parallel bodies of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>. The result is shown not to hold when the convexity assumption is dropped. We also prove the differentiability of the map <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(t\longmapsto h(\Omega _t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>⟼</mo> <mi>h</mi> <mo stretchy="false">(</mo> <msub> <mi mathvariant="normal">Ω</mi> <mi>t</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in any dimension and without any regularity assumption on the convex <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10957_2025_2727_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, obtaining an explicit formula for the derivative. Those results are then combined to obtain estimates on the contact surface of the Cheeger sets of convex bodies. Finally, potential generalizations to other functionals such as the first eigenvalue of the Dirichlet Laplacian are explored.</p>

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

The Monotonicity of the Cheeger constant for Parallel Bodies

  • Ilias Ftouhi

摘要

We prove that for every planar convex set \(\Omega \) Ω , the function \(t\in (-r(\Omega ),+\infty )\longmapsto \sqrt{|\Omega _t|}h(\Omega _t)\) t ( - r ( Ω ) , + ) | Ω t | h ( Ω t ) is monotonically decreasing, where r, \(|\cdot |\) | · | and h stand for the inradius, the measure and the Cheeger constant and \((\Omega _t)\) ( Ω t ) for parallel bodies of \(\Omega \) Ω . The result is shown not to hold when the convexity assumption is dropped. We also prove the differentiability of the map \(t\longmapsto h(\Omega _t)\) t h ( Ω t ) in any dimension and without any regularity assumption on the convex \(\Omega \) Ω , obtaining an explicit formula for the derivative. Those results are then combined to obtain estimates on the contact surface of the Cheeger sets of convex bodies. Finally, potential generalizations to other functionals such as the first eigenvalue of the Dirichlet Laplacian are explored.