<p>We investigate the existence of weak solutions for a class of nonlinear elliptic inclusion problems that involve singular terms, degenerate coercivity, and explicit dependence of the principal part on the unknown function. The problem under study is <Equation ID="Equ37"> <EquationSource Format="TEX">\( {\left\{ \begin{array}{ll} \beta (u) - \operatorname {div}\left( \dfrac{a(x, u, \nabla u)}{(1 + u)^{\theta (p-1)}} \right) \ni \dfrac{f}{u^{\gamma }} &amp; \text {in } \Omega , \\ u \ge 0 &amp; \text {in } \Omega , \\ u = 0 &amp; \text {on } \partial \Omega , \end{array}\right. } \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mi>β</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mo>div</mo> <mfenced close=")" open="("> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo>,</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>θ</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </mfrac> </mstyle> </mfenced> <mo>∋</mo> <mstyle displaystyle="true" scriptlevel="0"> <mfrac> <mi>f</mi> <msup> <mi>u</mi> <mi>γ</mi> </msup> </mfrac> </mstyle> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>≥</mo> <mn>0</mn> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>in</mtext> <mspace width="0.333333em" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mn>0</mn> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mtext>on</mtext> <mspace width="0.333333em" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \subset \mathbb {R}^N\)</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> </mrow> </math></EquationSource> </InlineEquation> (<InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) is a bounded domain, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>β</mi> </math></EquationSource> </InlineEquation> is a maximal monotone graph with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(0 \in \beta (0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∈</mo> <mi>β</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(a(x,s,\xi )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>s</mi> <mo>,</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is a Carathéodory function. The forcing term <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>f</mi> </math></EquationSource> </InlineEquation> is strictly positive and belongs to <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L^\infty (\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <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>, while the parameters satisfy <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(0 \le \gamma \le 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>γ</mi> <mo>≤</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(0 \le \theta (p-1) &lt; \frac{N(p-1)}{N-1} - 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>θ</mi> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mfrac> <mrow> <mi>N</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The factor <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((1+u)^{-\theta (p-1)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mi>θ</mi> <mo stretchy="false">(</mo> <mi>p</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> induces degenerate coercivity, and the term <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(u^{-\gamma }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>u</mi> <mrow> <mo>-</mo> <mi>γ</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> introduces a strong singularity. Using an approximation scheme, uniform a priori estimates, and techniques from the theory of pseudomonotone operators, we establish the existence of a nonnegative weak solution.</p>

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

On singular elliptic inclusion problems with degenerate coercivity

  • Mohamed Bahadi,
  • Morad Ouboufettal,
  • Youssef Akdim

摘要

We investigate the existence of weak solutions for a class of nonlinear elliptic inclusion problems that involve singular terms, degenerate coercivity, and explicit dependence of the principal part on the unknown function. The problem under study is \( {\left\{ \begin{array}{ll} \beta (u) - \operatorname {div}\left( \dfrac{a(x, u, \nabla u)}{(1 + u)^{\theta (p-1)}} \right) \ni \dfrac{f}{u^{\gamma }} & \text {in } \Omega , \\ u \ge 0 & \text {in } \Omega , \\ u = 0 & \text {on } \partial \Omega , \end{array}\right. } \) β ( u ) - div a ( x , u , u ) ( 1 + u ) θ ( p - 1 ) f u γ in Ω , u 0 in Ω , u = 0 on Ω , where \(\Omega \subset \mathbb {R}^N\) Ω R N ( \(N \ge 2\) N 2 ) is a bounded domain, \(\beta \) β is a maximal monotone graph with \(0 \in \beta (0)\) 0 β ( 0 ) , and \(a(x,s,\xi )\) a ( x , s , ξ ) is a Carathéodory function. The forcing term \(f\) f is strictly positive and belongs to \(L^\infty (\Omega )\) L ( Ω ) , while the parameters satisfy \(0 \le \gamma \le 1\) 0 γ 1 and \(0 \le \theta (p-1) < \frac{N(p-1)}{N-1} - 1\) 0 θ ( p - 1 ) < N ( p - 1 ) N - 1 - 1 . The factor \((1+u)^{-\theta (p-1)}\) ( 1 + u ) - θ ( p - 1 ) induces degenerate coercivity, and the term \(u^{-\gamma }\) u - γ introduces a strong singularity. Using an approximation scheme, uniform a priori estimates, and techniques from the theory of pseudomonotone operators, we establish the existence of a nonnegative weak solution.