<p>We prove some regularity results for a priori bounded local minimizers of non-autonomous integral functionals of the form <Equation ID="Equ72"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2912_Article_Equ72.gif" Format="GIF" Height="41" Rendition="HTML" Resolution="72" Type="Linedraw" Width="188" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {F}(v,\Omega )=\int _\Omega F(x,Dv)dx, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">F</mi> <mrow> <mo stretchy="false">(</mo> <mi>v</mi> <mo>,</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>D</mi> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> <mi>d</mi> <mi>x</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>under the constraint <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2912_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="TEX">\(v \ge \psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>v</mi> <mo>≥</mo> <mi>ψ</mi> </mrow> </math></EquationSource> </InlineEquation> a.e. in <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2912_Article_IEq2.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>, where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2912_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\psi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ψ</mi> </math></EquationSource> </InlineEquation> is a fixed obstacle function. Assuming that the coefficients of the partial map <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2912_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="109" /> </InlineMediaObject> <EquationSource Format="TEX">\(x \mapsto D_\xi F(x,\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>↦</mo> <msub> <mi>D</mi> <mi>ξ</mi> </msub> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> satisfy a suitable Sobolev regularity, we are able to obtain higher differentiability and Lipschitz continuity results for the local minimizers.</p>

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

Gradient regularity for a class of elliptic obstacle problems

  • Raffaella Giova,
  • Antonio Giuseppe Grimaldi,
  • Andrea Torricelli

摘要

We prove some regularity results for a priori bounded local minimizers of non-autonomous integral functionals of the form \(\begin{aligned} \mathcal {F}(v,\Omega )=\int _\Omega F(x,Dv)dx, \end{aligned}\) F ( v , Ω ) = Ω F ( x , D v ) d x , under the constraint \(v \ge \psi \) v ψ a.e. in \(\Omega \) Ω , where \(\psi \) ψ is a fixed obstacle function. Assuming that the coefficients of the partial map \(x \mapsto D_\xi F(x,\xi )\) x D ξ F ( x , ξ ) satisfy a suitable Sobolev regularity, we are able to obtain higher differentiability and Lipschitz continuity results for the local minimizers.