<p>Given <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and a map <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="TEX">\(g : B^n(0,1)\rightarrow S_n^{++}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>:</mo> <msup> <mi>B</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">→</mo> <msubsup> <mi>S</mi> <mi>n</mi> <mrow> <mo>+</mo> <mo>+</mo> </mrow> </msubsup> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="31" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_n^{++}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>S</mi> <mi>n</mi> <mrow> <mo>+</mo> <mo>+</mo> </mrow> </msubsup> </math></EquationSource> </InlineEquation> is the group of positively definite matrices, we study critical points of the following functional: <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq4.gif" Format="GIF" Height="31" Rendition="HTML" Resolution="72" Type="Linedraw" Width="691" /> </InlineMediaObject> <EquationSource Format="TEX">\(v\in W^{1,p}\left( B^n(0,1);\mathbb {R}^N \right) \mapsto \int _{B^n(0,1)} |\nabla v|^p_g\, d\textrm{vol}_g = \int _{B^n(0,1)} \left( g^{\alpha \beta }(x) \left\langle \partial _\alpha v(x),\partial _\beta v(x) \right\rangle \right) ^{\frac{p}{2}}\, \sqrt{\det g(x)}\, dx.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>∈</mo> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msup> <mfenced close=")" open="("> <msup> <mi>B</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>;</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> </mfenced> <mo>↦</mo> <msub> <mo>∫</mo> <mrow> <msup> <mi>B</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <msubsup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>v</mi> <mo stretchy="false">|</mo> </mrow> <mi>g</mi> <mi>p</mi> </msubsup> <mspace width="0.166667em" /> <mi>d</mi> <msub> <mtext>vol</mtext> <mi>g</mi> </msub> <mo>=</mo> <msub> <mo>∫</mo> <mrow> <msup> <mi>B</mi> <mi>n</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <msup> <mfenced close=")" open="("> <msup> <mi>g</mi> <mrow> <mi>α</mi> <mi>β</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mfenced close="〉" open="〈"> <msub> <mi>∂</mi> <mi>α</mi> </msub> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <msub> <mi>∂</mi> <mi>β</mi> </msub> <mi>v</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> </mfenced> <mfrac> <mi>p</mi> <mn>2</mn> </mfrac> </msup> <mspace width="0.166667em" /> <msqrt> <mrow> <mo movablelimits="true">det</mo> <mi>g</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </msqrt> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We show that if <i>g</i> is uniformly close to a constant matrix, then <i>v</i> is locally Hölder-continuous. If <i>g</i> is Hölder-continuous, we show that <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nabla v\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">∇</mi> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation> is locally Hölder-continuous. As an application, we prove that any Hölder-continuous solution to <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(|\Delta _{g,p}u|\lesssim |\nabla u|^p_g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>g</mi> <mo>,</mo> <mi>p</mi> </mrow> </msub> <msubsup> <mrow> <mi>u</mi> <mo stretchy="false">|</mo> <mo>≲</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>g</mi> <mi>p</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation> satisfies additional regularity properties depending on the regularity of <i>g</i>. In the case <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11118_2025_10210_Article_IEq7.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, only the continuity is assumed <i>a priori</i>.</p>

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

Regularity of Unconstrained p-harmonic Maps from Curved Domain and Application to critical p-Laplace Systems

  • Dorian Martino

摘要

Given \(p\ge 2\) p 2 and a map \(g : B^n(0,1)\rightarrow S_n^{++}\) g : B n ( 0 , 1 ) S n + + , where \(S_n^{++}\) S n + + is the group of positively definite matrices, we study critical points of the following functional: \(v\in W^{1,p}\left( B^n(0,1);\mathbb {R}^N \right) \mapsto \int _{B^n(0,1)} |\nabla v|^p_g\, d\textrm{vol}_g = \int _{B^n(0,1)} \left( g^{\alpha \beta }(x) \left\langle \partial _\alpha v(x),\partial _\beta v(x) \right\rangle \right) ^{\frac{p}{2}}\, \sqrt{\det g(x)}\, dx.\) v W 1 , p B n ( 0 , 1 ) ; R N B n ( 0 , 1 ) | v | g p d vol g = B n ( 0 , 1 ) g α β ( x ) α v ( x ) , β v ( x ) p 2 det g ( x ) d x . We show that if g is uniformly close to a constant matrix, then v is locally Hölder-continuous. If g is Hölder-continuous, we show that \(\nabla v\) v is locally Hölder-continuous. As an application, we prove that any Hölder-continuous solution to \(|\Delta _{g,p}u|\lesssim |\nabla u|^p_g\) | Δ g , p u | | u | g p satisfies additional regularity properties depending on the regularity of g. In the case \(p=n\) p = n , only the continuity is assumed a priori.