<p>In this paper, we study the regularizing effect due to the interaction between the coefficient of the zero-order term and the datum for the following type of elliptic problem <Equation ID="Equ61"> <EquationSource Format="TEX">\(\begin{aligned} u\in W_{0}^{1,p}(\Omega ):\, -\operatorname {div}(M(x)|\nabla u|^{p-2}\nabla u)+b(x)h(u)=f(x), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>W</mi> <mrow> <mn>0</mn> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mspace width="0.166667em" /> <mo>-</mo> <msup> <mrow> <mo>div</mo> <mo stretchy="false">(</mo> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </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> <mrow> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> is a bounded open subset of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathbb {R}}^{N},\, N&gt;2,\, \, M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>N</mi> </msup> <mo>,</mo> <mspace width="0.166667em" /> <mi>N</mi> <mo>&gt;</mo> <mn>2</mn> <mo>,</mo> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> is a bounded elliptic matrix, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(0\le b(x)\in L^{1}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <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> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(h\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>h</mi> </math></EquationSource> </InlineEquation> is a continuous odd-increasing function. Even if <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(f(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> only belongs to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(L^{1}(\Omega ),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the assumption <Equation ID="Equ62"> <EquationSource Format="TEX">\(\begin{aligned} \text{ there } \text{ exists }\, L\in \left( 0, \lim \limits _{s\rightarrow \infty }h(s)\right) \,\, \text{ such } \text{ that }\,\, |f(x)|\le L b(x) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mspace width="0.333333em" /> <mtext>there</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>exists</mtext> <mspace width="0.333333em" /> <mspace width="0.166667em" /> <mi>L</mi> <mo>∈</mo> <mfenced close=")" open="("> <mn>0</mn> <mo>,</mo> <munder> <mo movablelimits="false">lim</mo> <mrow> <mi>s</mi> <mo stretchy="false">→</mo> <mi>∞</mi> </mrow> </munder> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> </mrow> </mfenced> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mspace width="0.333333em" /> <mtext>such</mtext> <mspace width="0.333333em" /> <mspace width="0.333333em" /> <mtext>that</mtext> <mspace width="0.333333em" /> <mspace width="0.166667em" /> <mspace width="0.166667em" /> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> </mrow> <mo>≤</mo> <mi>L</mi> <mi>b</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>implies the existence of a weak solution belonging to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(W_{0}^{1,p}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>W</mi> <mrow> <mn>0</mn> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>p</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and to <InlineEquation ID="IEq10"> <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>. Using the strong maximum principle we prove that such a solution <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(u\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>u</mi> </math></EquationSource> </InlineEquation> is strictly positive a.e. in the domain <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Omega .\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> In the second part, we continue to study the previous problem, we add a term having a superlinear growth depending on the gradient of the solution, and we prove that this problem admits a weak bounded solution and from the weak maximum principle we prove that each solution of the problem is positive. Finally, we study the existence and summability of solutions to problems featuring Hardy-type potentials.</p>

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

Regularizing effect due to the interplay between coefficients in some elliptic problems with \(L^{1}\) data

  • Mounim El Ouardy,
  • Abdelaaziz Sbai,
  • Youssef El Hadfi

摘要

In this paper, we study the regularizing effect due to the interaction between the coefficient of the zero-order term and the datum for the following type of elliptic problem \(\begin{aligned} u\in W_{0}^{1,p}(\Omega ):\, -\operatorname {div}(M(x)|\nabla u|^{p-2}\nabla u)+b(x)h(u)=f(x), \end{aligned}\) u W 0 1 , p ( Ω ) : - div ( M ( x ) | u | p - 2 u ) + b ( x ) h ( u ) = f ( x ) , where \(\Omega \) Ω is a bounded open subset of \({\mathbb {R}}^{N},\, N>2,\, \, M\) R N , N > 2 , M is a bounded elliptic matrix, \(0\le b(x)\in L^{1}(\Omega )\) 0 b ( x ) L 1 ( Ω ) and \(h\) h is a continuous odd-increasing function. Even if \(f(x)\) f ( x ) only belongs to \(L^{1}(\Omega ),\) L 1 ( Ω ) , the assumption \(\begin{aligned} \text{ there } \text{ exists }\, L\in \left( 0, \lim \limits _{s\rightarrow \infty }h(s)\right) \,\, \text{ such } \text{ that }\,\, |f(x)|\le L b(x) \end{aligned}\) there exists L 0 , lim s h ( s ) such that | f ( x ) | L b ( x ) implies the existence of a weak solution belonging to \(W_{0}^{1,p}(\Omega )\) W 0 1 , p ( Ω ) and to \(L^{\infty }(\Omega )\) L ( Ω ) . Using the strong maximum principle we prove that such a solution \(u\) u is strictly positive a.e. in the domain \(\Omega .\) Ω . In the second part, we continue to study the previous problem, we add a term having a superlinear growth depending on the gradient of the solution, and we prove that this problem admits a weak bounded solution and from the weak maximum principle we prove that each solution of the problem is positive. Finally, we study the existence and summability of solutions to problems featuring Hardy-type potentials.