<p>In this paper, we consider the following weighted problem involving an indefinite nonlinearity: <Equation ID="Equ24"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \! \begin{array}{lllllll} -\operatorname {div}(g(x)\nabla u)\!=\!\lambda _{1}\beta (x)u\!+\!\mu f(x,u)\!+\!W(x)h(u)\!+\! \eta u^{2_s^*\!-\!1}\ \text {in} \ \Omega ,\\ u=0 \ \text {on} \ \partial \Omega ,\\ u(x)\ge 0 \ \text {in} \ \Omega . \end{array}\right. \quad (P_{\mu ,\eta }) \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mfenced open="{"> <mspace width="-0.166667em" /> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <mo>div</mo> <mrow> <mo stretchy="false">(</mo> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="-0.166667em" /> <mo>=</mo> <mspace width="-0.166667em" /> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mi>β</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mi>μ</mi> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mi>W</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> <mspace width="-0.166667em" /> <mo>+</mo> <mspace width="-0.166667em" /> <mi>η</mi> <msup> <mi>u</mi> <mrow> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> <mspace width="-0.166667em" /> <mo>-</mo> <mspace width="-0.166667em" /> <mn>1</mn> </mrow> </msup> <mspace width="4pt" /> <mtext>in</mtext> <mspace width="4pt" /> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mspace width="4pt" /> <mtext>on</mtext> <mspace width="4pt" /> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>≥</mo> <mn>0</mn> <mspace width="4pt" /> <mtext>in</mtext> <mspace width="4pt" /> <mi mathvariant="normal">Ω</mi> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mspace width="1em" /> <mrow> <mo stretchy="false">(</mo> <msub> <mi>P</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>η</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> </mtable> </mrow> </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> is a bounded domain with smooth boundary, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\eta \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>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\lambda _{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> denotes the first eigenvalue of the corresponding problem in <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(g^{-1}\in L^{1}_{loc}(\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>g</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a positive weight, and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\beta \in L^\infty (\Omega )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <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>. The function <i>W</i> is indefinite and changes sign, and we impose suitable conditions on <i>f</i> and <i>h</i>. The constant <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(2_s^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mn>2</mn> <mi>s</mi> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation> is the critical exponent associated with the operator. Applying the mountain pass theorem, we prove the existence of a nonnegative solution for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((P_{\mu ,\eta })\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>P</mi> <mrow> <mi>μ</mi> <mo>,</mo> <mi>η</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and, moreover, obtain a pointwise lower bound for the first eigenvalue associated with the operator on an adequate domain.</p>

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

Nonnegative solutions to a weighted indefinite elliptic Schrödinger equation

  • Gustavo S. A. Costa,
  • Lucas G. F. Cunha,
  • José C. O. Junior

摘要

In this paper, we consider the following weighted problem involving an indefinite nonlinearity: \(\begin{aligned} \left\{ \! \begin{array}{lllllll} -\operatorname {div}(g(x)\nabla u)\!=\!\lambda _{1}\beta (x)u\!+\!\mu f(x,u)\!+\!W(x)h(u)\!+\! \eta u^{2_s^*\!-\!1}\ \text {in} \ \Omega ,\\ u=0 \ \text {on} \ \partial \Omega ,\\ u(x)\ge 0 \ \text {in} \ \Omega . \end{array}\right. \quad (P_{\mu ,\eta }) \end{aligned}\) - div ( g ( x ) u ) = λ 1 β ( x ) u + μ f ( x , u ) + W ( x ) h ( u ) + η u 2 s - 1 in Ω , u = 0 on Ω , u ( x ) 0 in Ω . ( P μ , η ) where \(\Omega \subset \mathbb {R}^{N}\) Ω R N is a bounded domain with smooth boundary, \(\eta \in \{0,1\}\) η { 0 , 1 } , \(N\ge 3\) N 3 , \(\lambda _{1}\) λ 1 denotes the first eigenvalue of the corresponding problem in \(\Omega \) Ω , \(g^{-1}\in L^{1}_{loc}(\Omega )\) g - 1 L loc 1 ( Ω ) is a positive weight, and \(\beta \in L^\infty (\Omega )\) β L ( Ω ) . The function W is indefinite and changes sign, and we impose suitable conditions on f and h. The constant \(2_s^*\) 2 s is the critical exponent associated with the operator. Applying the mountain pass theorem, we prove the existence of a nonnegative solution for \((P_{\mu ,\eta })\) ( P μ , η ) and, moreover, obtain a pointwise lower bound for the first eigenvalue associated with the operator on an adequate domain.