<p>The paper provides optimal quantitative stability estimates for the celebrated Alexandrov’s Soap Bubble Theorem within the class of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^{k,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> domains, for any <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(k \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0 &lt; \alpha \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, by leveraging Gagliardo-Nirenberg-type interpolation inequalities. Optimal estimates of uniform closeness to a ball are established for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^r\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>r</mi> </msup> </math></EquationSource> </InlineEquation> deviations of the mean curvature from being constant, for any <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(r\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> (more generally, for any <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(r\ge (2N-2)/(N+1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mi>N</mi> <mo>-</mo> <mn>2</mn> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mo stretchy="false">(</mo> <mi>N</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>). For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(r&gt;\frac{N-1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>&gt;</mo> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, the stability profile is linear, thus returning the existing results established in the literature through computations for nearly spherical sets. All the stability estimates for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(r\le \frac{N-1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≤</mo> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, for which the profile is not linear, are new; even in the particular case <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(r=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> (which has been extensively studied, since it is a case of interest for several critical applications), the sharp stability profile that we obtain is new. Interestingly, we also prove that the (non-linear) profile for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(r \le \frac{N-1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≤</mo> <mfrac> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation> improves as <i>k</i> becomes larger to such an extent that it becomes formally linear as <i>k</i> goes to <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>∞</mi> </math></EquationSource> </InlineEquation>. Finally, for any <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(k \ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(0&lt; \alpha \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that our estimates are optimal within the class of <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(C^{k,\alpha }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mrow> <mi>k</mi> <mo>,</mo> <mi>α</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> domains, by providing explicit examples.</p>

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

Optimal quantitative stability estimates for Alexandrov’s Soap Bubble Theorem via Gagliardo-Nirenberg-type interpolation inequalities

  • João Gonçalves da Silva,
  • Giorgio Poggesi

摘要

The paper provides optimal quantitative stability estimates for the celebrated Alexandrov’s Soap Bubble Theorem within the class of \(C^{k,\alpha }\) C k , α domains, for any \(k \ge 1\) k 1 and \(0 < \alpha \le 1\) 0 < α 1 , by leveraging Gagliardo-Nirenberg-type interpolation inequalities. Optimal estimates of uniform closeness to a ball are established for \(L^r\) L r deviations of the mean curvature from being constant, for any \(r\ge 2\) r 2 (more generally, for any \(r>1\) r > 1 such that \(r\ge (2N-2)/(N+1)\) r ( 2 N - 2 ) / ( N + 1 ) ). For \(r>\frac{N-1}{2}\) r > N - 1 2 , the stability profile is linear, thus returning the existing results established in the literature through computations for nearly spherical sets. All the stability estimates for \(r\le \frac{N-1}{2}\) r N - 1 2 , for which the profile is not linear, are new; even in the particular case \(r=2\) r = 2 (which has been extensively studied, since it is a case of interest for several critical applications), the sharp stability profile that we obtain is new. Interestingly, we also prove that the (non-linear) profile for \(r \le \frac{N-1}{2}\) r N - 1 2 improves as k becomes larger to such an extent that it becomes formally linear as k goes to \(\infty \) . Finally, for any \(k \ge 1\) k 1 and \(0< \alpha \le 1\) 0 < α 1 , we show that our estimates are optimal within the class of \(C^{k,\alpha }\) C k , α domains, by providing explicit examples.