<p>We show that local minimizers of the non-autonomous functional <Equation ID="Equ70"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2969_Article_Equ70.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="436" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\mathcal {P}}_{\log }(u,\Omega )= \int _\Omega |Du|^p\big (1+a(x)\log \left( e+|Du|\right) \big )\,dx,\qquad p&gt;1, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">P</mi> <mo>log</mo> </msub> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>D</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mn>1</mn> <mo>+</mo> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>log</mo> <mfenced close=")" open="("> <mi>e</mi> <mo>+</mo> <mo stretchy="false">|</mo> <mi>D</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mfenced> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <mo>,</mo> <mspace width="2em" /> <mi>p</mi> <mo>&gt;</mo> <mn>1</mn> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>have continuous gradient provided that the function <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2969_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(a(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is (almost everywhere) non-negative and weakly differentiable, and moreover its gradient locally belongs to the Lorentz-Zygmund space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2969_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{n,1}\log L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mrow> <mi>n</mi> <mo>,</mo> <mn>1</mn> </mrow> </msup> <mo>log</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation>. This gives a precise insight of the fact that for this type of two-phase functionals the lack of uniform ellipticity can be overcome by additional regularity of the switching coefficient <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2025_2969_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(a(\cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>; the novelty is that the condition is not pointwise, but has integral character, and actually improves the known results ensuring regularity for minimizers of such functionals.</p>

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

A new condition ensuring gradient continuity for minimizers of non-autonomous functionals with mild phase transition

  • Paolo Baroni

摘要

We show that local minimizers of the non-autonomous functional \(\begin{aligned} {\mathcal {P}}_{\log }(u,\Omega )= \int _\Omega |Du|^p\big (1+a(x)\log \left( e+|Du|\right) \big )\,dx,\qquad p>1, \end{aligned}\) P log ( u , Ω ) = Ω | D u | p ( 1 + a ( x ) log e + | D u | ) d x , p > 1 , have continuous gradient provided that the function \(a(\cdot )\) a ( · ) is (almost everywhere) non-negative and weakly differentiable, and moreover its gradient locally belongs to the Lorentz-Zygmund space \(L^{n,1}\log L\) L n , 1 log L . This gives a precise insight of the fact that for this type of two-phase functionals the lack of uniform ellipticity can be overcome by additional regularity of the switching coefficient \(a(\cdot )\) a ( · ) ; the novelty is that the condition is not pointwise, but has integral character, and actually improves the known results ensuring regularity for minimizers of such functionals.