<p>We study the higher regularity of solutions and free boundaries in the Alt–Phillips problem <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="84" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta u=u^{\gamma -1},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>=</mo> <msup> <mi>u</mi> <mrow> <mi>γ</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma \in (0,1).\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Our main results imply that, once free boundaries are <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^{1,\alpha },\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>α</mi> </mrow> </msup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> then they are <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^\infty .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mi>∞</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In addition <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq8.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(u/d^{\frac{2}{2-\gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo stretchy="false">/</mo> <msup> <mi>d</mi> <mfrac> <mn>2</mn> <mrow> <mn>2</mn> <mo>-</mo> <mi>γ</mi> </mrow> </mfrac> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(u^{\frac{2-\gamma }{2}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>u</mi> <mfrac> <mrow> <mn>2</mn> <mo>-</mo> <mi>γ</mi> </mrow> <mn>2</mn> </mfrac> </msup> </math></EquationSource> </InlineEquation> are <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> too. In order to achieve this, we need to establish fine regularity estimates for solutions of linear equations with boundary-singular Hardy potentials <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq11.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\Delta v = \kappa v/d^2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>v</mi> <mo>=</mo> <mi>κ</mi> <mi>v</mi> <mo stretchy="false">/</mo> <msup> <mi>d</mi> <mn>2</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> in <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <i>d</i> is the distance to the boundary and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq13.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa \le \frac{1}{4}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>≤</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Interestingly, we need to include even the critical constant <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq14.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\kappa =\frac{1}{4},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>κ</mi> <mo>=</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> which corresponds to <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="208_2025_3135_Article_IEq15.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\(\gamma =\frac{2}{3}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>γ</mi> <mo>=</mo> <mfrac> <mn>2</mn> <mn>3</mn> </mfrac> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

\(C^\infty \) regularity in semilinear free boundary problems

  • Daniel Restrepo,
  • Xavier Ros-Oton

摘要

We study the higher regularity of solutions and free boundaries in the Alt–Phillips problem \(\Delta u=u^{\gamma -1},\) Δ u = u γ - 1 , with \(\gamma \in (0,1).\) γ ( 0 , 1 ) . Our main results imply that, once free boundaries are \(C^{1,\alpha },\) C 1 , α , then they are \(C^\infty .\) C . In addition \(u/d^{\frac{2}{2-\gamma }}\) u / d 2 2 - γ and \(u^{\frac{2-\gamma }{2}}\) u 2 - γ 2 are \(C^\infty \) C too. In order to achieve this, we need to establish fine regularity estimates for solutions of linear equations with boundary-singular Hardy potentials \(-\Delta v = \kappa v/d^2\) - Δ v = κ v / d 2 in \(\Omega ,\) Ω , where d is the distance to the boundary and \(\kappa \le \frac{1}{4}.\) κ 1 4 . Interestingly, we need to include even the critical constant \(\kappa =\frac{1}{4},\) κ = 1 4 , which corresponds to \(\gamma =\frac{2}{3}.\) γ = 2 3 .