<p>We study the limiting behavior of minimizing <i>p</i>-harmonic maps from a bounded Lipschitz domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation> to a compact connected Riemannian manifold without boundary and with finite fundamental group as <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(p \nearrow 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>↗</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. We prove that there exists a closed set <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation> of finite length such that minimizing <i>p</i>-harmonic maps converge to a locally minimizing harmonic map in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \setminus S_{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mmultiscripts> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> </mrow> </math></EquationSource> </InlineEquation>. We prove that locally inside <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq5.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 singular set <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation> is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains. Furthermore, we establish local and global estimates for the limiting singular harmonic map. Under additional assumptions, we prove that globally in <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq7.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\Omega }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> the set <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_{*}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mi>S</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation> is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains, which is defined by a given boundary datum and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="205_2025_2086_Article_IEq5.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>.</p>

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

Limiting Behavior of Minimizing p-Harmonic Maps in 3d as p Goes to 2 with Finite Fundamental Group

  • Bohdan Bulanyi,
  • Jean Van Schaftingen,
  • Benoît Van Vaerenbergh

摘要

We study the limiting behavior of minimizing p-harmonic maps from a bounded Lipschitz domain \(\Omega \subset \mathbb {R}^{3}\) Ω R 3 to a compact connected Riemannian manifold without boundary and with finite fundamental group as \(p \nearrow 2\) p 2 . We prove that there exists a closed set \(S_{*}\) S of finite length such that minimizing p-harmonic maps converge to a locally minimizing harmonic map in \(\Omega \setminus S_{*}\) Ω \ S . We prove that locally inside \(\Omega \) Ω the singular set \(S_{*}\) S is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains. Furthermore, we establish local and global estimates for the limiting singular harmonic map. Under additional assumptions, we prove that globally in \(\overline{\Omega }\) Ω ¯ the set \(S_{*}\) S is a finite union of straight line segments, and it minimizes the mass in the appropriate class of admissible chains, which is defined by a given boundary datum and \(\Omega \) Ω .