<p>We establish regularity results for weak solutions of Robin problems driven by the well-known Orlicz <i>g</i>-Laplacian operator given by <Equation ID="Equ1"> <EquationNumber>P</EquationNumber> <MediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_Equ1.gif" Format="GIF" Height="64" Rendition="HTML" Resolution="72" Type="Linedraw" Width="299" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _g u=f(x,u),&amp; x\in \Omega \\ \displaystyle a(\vert \nabla u\vert )\frac{\partial u}{d\nu }+b(x)\vert u\vert ^{p-2}u=0,&amp; x\in \partial \Omega , \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>g</mi> </msub> <mi>u</mi> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <mi>a</mi> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>d</mi> <mi>ν</mi> </mrow> </mfrac> <mo>+</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> </mrow> </mstyle> </mtd> <mtd columnalign="left"> <mrow> <mi>x</mi> <mo>∈</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="170" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _g u:=\text {div}(a(\vert \nabla u\vert )\nabla u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mi>g</mi> </msub> <mi>u</mi> <mo>:</mo> <mo>=</mo> <mrow> <mtext>div</mtext> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N,\ N\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mspace width="4pt" /> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, is a bounded domain with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation>-boundary <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq5.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="85" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{\partial u}{d\nu }=\nabla u \cdot \nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>d</mi> <mi>ν</mi> </mrow> </mfrac> <mo>=</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>·</mo> <mi>ν</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq6.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\nu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ν</mi> </math></EquationSource> </InlineEquation> is the unit exterior vector on <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\partial \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq9.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(b \in C^{1,\theta }(\partial \Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>b</mi> <mo>∈</mo> <msup> <mi>C</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>θ</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\theta \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> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\(\inf _{x\in \partial \Omega } b(x) &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mo movablelimits="true">inf</mo> <mrow> <mi>x</mi> <mo>∈</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> </mrow> </msub> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Specifically, using a suitable variation of the Moser iteration technique, we prove that every weak solution of the problem (<InternalRef RefID="Equ2">P</InternalRef>) is bounded. Moreover, we combine this result with the Lieberman regularity theorem, to show that every <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq12.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^1(\overline{\Omega })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>C</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-local minimizer is also a <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="229_2025_1652_Article_IEq13.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,G}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>W</mi> <mrow> <mn>1</mn> <mo>,</mo> <mi>G</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-local minimizer for the corresponding energy functional of problem (<InternalRef RefID="Equ2">P</InternalRef>).</p>

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

Orlicz-Sobolev versus Hölder local minimizers for nonlinear Robin problems

  • Anouar Bahrouni,
  • Hlel Missaoui,
  • Hichem Ounaies,
  • Vicenţiu D. Rădulescu

摘要

We establish regularity results for weak solutions of Robin problems driven by the well-known Orlicz g-Laplacian operator given by P \(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _g u=f(x,u),& x\in \Omega \\ \displaystyle a(\vert \nabla u\vert )\frac{\partial u}{d\nu }+b(x)\vert u\vert ^{p-2}u=0,& x\in \partial \Omega , \end{array} \right. \end{aligned}\) - Δ g u = f ( x , u ) , x Ω a ( | u | ) u d ν + b ( x ) | u | p - 2 u = 0 , x Ω , where \(\Delta _g u:=\text {div}(a(\vert \nabla u\vert )\nabla u)\) Δ g u : = div ( a ( | u | ) u ) , \(\Omega \subset \mathbb {R}^N,\ N\ge 3\) Ω R N , N 3 , is a bounded domain with \(C^2\) C 2 -boundary \(\partial \Omega \) Ω , \(\frac{\partial u}{d\nu }=\nabla u \cdot \nu \) u d ν = u · ν , \(\nu \) ν is the unit exterior vector on \(\partial \Omega \) Ω , \(p>0\) p > 0 , \(b \in C^{1,\theta }(\partial \Omega )\) b C 1 , θ ( Ω ) with \(\theta \in (0,1)\) θ ( 0 , 1 ) and \(\inf _{x\in \partial \Omega } b(x) > 0\) inf x Ω b ( x ) > 0 . Specifically, using a suitable variation of the Moser iteration technique, we prove that every weak solution of the problem (P) is bounded. Moreover, we combine this result with the Lieberman regularity theorem, to show that every \(C^1(\overline{\Omega })\) C 1 ( Ω ¯ ) -local minimizer is also a \(W^{1,G}(\Omega )\) W 1 , G ( Ω ) -local minimizer for the corresponding energy functional of problem (P).