<p>In this paper we study strongly singular problems with Dirichlet boundary condition on bounded domains given by <Equation ID="Equ30"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_Equ30.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="382" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} -\operatorname {div} \left( |\nabla u|^{p-2}\nabla u+\mu (x)|\nabla u|^{q-2}\nabla u \right) = \frac{h(x)}{{\left( u^+\right) }^r} \quad \text {in } \Omega , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>-</mo> <mo>div</mo> <mfenced close=")" open="("> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo>+</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi mathvariant="normal">∇</mi> <mi>u</mi> </mfenced> <mo>=</mo> <mfrac> <mrow> <mi>h</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mfenced close=")" open="("> <msup> <mi>u</mi> <mo>+</mo> </msup> </mfenced> </mrow> <mi>r</mi> </msup> </mfrac> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;p&lt;N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq2.gif" Format="GIF" Height="26" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&lt;q&lt;p^*=\frac{Np}{N-p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <msup> <mi>p</mi> <mo>∗</mo> </msup> <mo>=</mo> <mfrac> <mrow> <mi mathvariant="italic">Np</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>p</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="128" /> </InlineMediaObject> <EquationSource Format="TEX">\(0 \le \mu (\cdot ) \in L^\infty (\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>μ</mi> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq4.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(1&lt;r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(h\in L^1(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>∈</mo> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(h(x)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for a.a.&#xa0;<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\in \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>. Since the exponent <i>r</i> is larger than one, the corresponding energy functional is not continuous anymore and so the related Nehari manifold <Equation ID="Equ31"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_Equ31.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="479" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {N} = \left\{ u \in W^{1,\mathcal {H}}_0(\Omega ):\Vert \nabla u\Vert _p^p+\Vert \nabla u\Vert _{q,\mu }^q- \int _\Omega h(x){\left( u^+\right) }^{1-r} \,\textrm{d}x = 0\right\} \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mfenced close="}" open="{"> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msubsup> <msubsup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo stretchy="false">‖</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> <mi>p</mi> </msubsup> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>μ</mi> </mrow> <mi>q</mi> </msubsup> <mo>-</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mfenced close=")" open="("> <msup> <mi>u</mi> <mo>+</mo> </msup> </mfenced> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>r</mi> </mrow> </msup> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>x</mi> <mo>=</mo> <mn>0</mn> </mfenced> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>is not closed in the Musielak-Orlicz Sobolev space <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,\mathcal {H}}_0(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Instead we are minimizing the energy functional over the constraint set <Equation ID="Equ32"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_Equ32.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="492" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {M} = \left\{ u \in W^{1,\mathcal {H}}_0(\Omega ):\Vert \nabla u\Vert _p^p+\Vert \nabla u\Vert _{q,\mu }^q- \int _\Omega h(x){\left( u^+\right) }^{1-r} \,\textrm{d}x \ge 0\right\} , \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi mathvariant="script">M</mi> <mo>=</mo> <mfenced close="}" open="{"> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msubsup> <msubsup> <mrow> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo stretchy="false">‖</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mi>p</mi> <mi>p</mi> </msubsup> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">‖</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>q</mi> <mo>,</mo> <mi>μ</mi> </mrow> <mi>q</mi> </msubsup> <mo>-</mo> <msub> <mo>∫</mo> <mi mathvariant="normal">Ω</mi> </msub> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mfenced close=")" open="("> <msup> <mi>u</mi> <mo>+</mo> </msup> </mfenced> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>r</mi> </mrow> </msup> <mspace width="0.166667em" /> <mtext>d</mtext> <mi>x</mi> <mo>≥</mo> <mn>0</mn> </mfenced> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>which turns out to be closed in <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq8.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(W^{1,\mathcal {H}}_0(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>W</mi> <mn>0</mn> <mrow> <mn>1</mn> <mo>,</mo> <mi mathvariant="script">H</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and prove the existence of at least one weak solution. Our result is even new in the case when the weight function <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2025_1564_Article_IEq10.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is away from zero.</p>

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

Strongly singular problems with unbalanced growth

  • Marcos T. O. Pimenta,
  • Patrick Winkert

摘要

In this paper we study strongly singular problems with Dirichlet boundary condition on bounded domains given by \(\begin{aligned} -\operatorname {div} \left( |\nabla u|^{p-2}\nabla u+\mu (x)|\nabla u|^{q-2}\nabla u \right) = \frac{h(x)}{{\left( u^+\right) }^r} \quad \text {in } \Omega , \end{aligned}\) - div | u | p - 2 u + μ ( x ) | u | q - 2 u = h ( x ) u + r in Ω , where \(1<p<N\) 1 < p < N , \(p<q<p^*=\frac{Np}{N-p}\) p < q < p = Np N - p , \(0 \le \mu (\cdot ) \in L^\infty (\Omega )\) 0 μ ( · ) L ( Ω ) , \(1<r\) 1 < r and \(h\in L^1(\Omega )\) h L 1 ( Ω ) with \(h(x)>0\) h ( x ) > 0 for a.a.  \(x\in \Omega \) x Ω . Since the exponent r is larger than one, the corresponding energy functional is not continuous anymore and so the related Nehari manifold \(\begin{aligned} \mathcal {N} = \left\{ u \in W^{1,\mathcal {H}}_0(\Omega ):\Vert \nabla u\Vert _p^p+\Vert \nabla u\Vert _{q,\mu }^q- \int _\Omega h(x){\left( u^+\right) }^{1-r} \,\textrm{d}x = 0\right\} \end{aligned}\) N = u W 0 1 , H ( Ω ) : u p p + u q , μ q - Ω h ( x ) u + 1 - r d x = 0 is not closed in the Musielak-Orlicz Sobolev space \(W^{1,\mathcal {H}}_0(\Omega )\) W 0 1 , H ( Ω ) . Instead we are minimizing the energy functional over the constraint set \(\begin{aligned} \mathcal {M} = \left\{ u \in W^{1,\mathcal {H}}_0(\Omega ):\Vert \nabla u\Vert _p^p+\Vert \nabla u\Vert _{q,\mu }^q- \int _\Omega h(x){\left( u^+\right) }^{1-r} \,\textrm{d}x \ge 0\right\} , \end{aligned}\) M = u W 0 1 , H ( Ω ) : u p p + u q , μ q - Ω h ( x ) u + 1 - r d x 0 , which turns out to be closed in \(W^{1,\mathcal {H}}_0(\Omega )\) W 0 1 , H ( Ω ) and prove the existence of at least one weak solution. Our result is even new in the case when the weight function \(\mu \) μ is away from zero.