<p>Let <i>D</i> be a bounded open subset of <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq1.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> with finite <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\((n-1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-dimensional Hausdorff measure <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\partial D|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>∂</mi> <mi>D</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> and let <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0 \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> be a point of <i>D</i>. We introduce a new harmonic invariant, that we call Kuran gap of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> w.r.t. <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. To define this new invariant, denoted <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}(\partial D, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">K</mi> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>D</mi> <mo>,</mo> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we use a family of harmonic functions introduced by&#xa0;Kuran (Bull. London Math. Soc. <b>4</b>, 311-312, <CitationRef CitationID="CR11">1972</CitationRef>). Our main stability result can be described as follows: if <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> is sufficiently regular just in one of the points of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial D\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi>D</mi> </mrow> </math></EquationSource> </InlineEquation> nearest to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {K}(\partial D, x_0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">K</mi> <mo stretchy="false">(</mo> <mi>∂</mi> <mi>D</mi> <mo>,</mo> <msub> <mi>x</mi> <mn>0</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is bounded from below by a kind of isoperimetric index, precisely the normalized difference between <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\partial D|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>∂</mi> <mi>D</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\partial B|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>∂</mi> <mi>B</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>, being <i>B</i> the biggest ball contained in <i>D</i> and centered at <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10200_Article_IEq6.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(x_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>x</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation>. This partially extends and improves a stability result by Preiss and Toro. By our stability result, we also obtain new rigidity results: <i>(i)</i> a characterization of the Euclidean spheres in terms of single-layer potentials, improving previous theorems by Fichera and by Shahgholian; <i>(ii)</i> a sufficient condition for a harmonic pseudosphere to be a Euclidean sphere, partially extending and improving rigidity results by Lewis and Vogel.</p>

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

On the Harmonic Characterization Of The Spheres: A Sharp Stability Inequality

  • Giovanni Cupini,
  • Ermanno Lanconelli

摘要

Let D be a bounded open subset of \(\mathbb {R}^n\) R n with finite \((n-1)\) ( n - 1 ) -dimensional Hausdorff measure \(|\partial D|\) | D | and let \(x_0 \) x 0 be a point of D. We introduce a new harmonic invariant, that we call Kuran gap of \(\partial D\) D w.r.t. \(x_0\) x 0 . To define this new invariant, denoted \(\mathcal {K}(\partial D, x_0)\) K ( D , x 0 ) , we use a family of harmonic functions introduced by Kuran (Bull. London Math. Soc. 4, 311-312, 1972). Our main stability result can be described as follows: if \(\partial D\) D is sufficiently regular just in one of the points of \(\partial D\) D nearest to \(x_0\) x 0 , then \(\mathcal {K}(\partial D, x_0)\) K ( D , x 0 ) is bounded from below by a kind of isoperimetric index, precisely the normalized difference between \(|\partial D|\) | D | and \(|\partial B|\) | B | , being B the biggest ball contained in D and centered at \(x_0\) x 0 . This partially extends and improves a stability result by Preiss and Toro. By our stability result, we also obtain new rigidity results: (i) a characterization of the Euclidean spheres in terms of single-layer potentials, improving previous theorems by Fichera and by Shahgholian; (ii) a sufficient condition for a harmonic pseudosphere to be a Euclidean sphere, partially extending and improving rigidity results by Lewis and Vogel.