<p>We investigate the existence and nonexistence of solutions to the Dirichlet problem 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 smooth bounded domain, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p\in (1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\lambda &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(g\in C(\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi>C</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Our main assumption is that <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(f:\mathbb {R}\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>:</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a continuous function such that <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f(s)&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>s</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(s\in (\alpha ,\beta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(0&lt;\alpha &lt;\beta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>α</mi> <mo>&lt;</mo> <mi>β</mi> </mrow> </math></EquationSource> </InlineEquation> are two zeros of <i>f</i>. If <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(f(0)\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mn>0</mn> <mo stretchy="false">)</mo> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that an area condition involving <i>f</i> and <i>g</i> is both sufficient and necessary in order to have a pair <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\((\lambda ,u)\in \mathbb {R}^+\times {C^1_0(\overline{\Omega })}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>λ</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> </msup> <mo>×</mo> <mrow> <msubsup> <mi>C</mi> <mn>0</mn> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(u\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Vert u\Vert _{C(\overline{\Omega })}\in (\alpha ,\beta ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mo stretchy="false">‖</mo> <mi>u</mi> <mo stretchy="false">‖</mo> </mrow> <mrow> <mi>C</mi> <mo stretchy="false">(</mo> <mover> <mi mathvariant="normal">Ω</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </msub> <mo>∈</mo> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, solving&#xa0;(<i>P</i>). We also study how the presence of the gradient term affects the existence of solution. Roughly speaking, the more negative <i>g</i> is, the stronger its regularizing effect on&#xa0;(<i>P</i>). We prove that, regardless of the shape of <i>f</i>, for any fixed <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\lambda \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>λ</mi> </math></EquationSource> </InlineEquation>, there always exists a function <i>g</i> such that&#xa0;(<i>P</i>) admits a nonnegative solution with maximum in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\((\alpha ,\beta ]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Regularizing Effect of the Natural Growth Term in Quasilinear Problems with Sign-Changing Nonlinearities

  • José Carmona Tapia,
  • Paolo Malanchini,
  • Antonio J. Martínez Aparicio,
  • Pedro J. Martínez-Aparicio

摘要

We investigate the existence and nonexistence of solutions to the Dirichlet problem where \(\Omega \subset \mathbb {R}^N\) Ω R N is a smooth bounded domain, \(p\in (1,\infty )\) p ( 1 , ) , \(\lambda >0\) λ > 0 and \(g\in C(\mathbb {R})\) g C ( R ) . Our main assumption is that \(f:\mathbb {R}\rightarrow \mathbb {R}\) f : R R is a continuous function such that \(f(s)>0\) f ( s ) > 0 for all \(s\in (\alpha ,\beta )\) s ( α , β ) , where \(0<\alpha <\beta \) 0 < α < β are two zeros of f. If \(f(0)\ge 0\) f ( 0 ) 0 , we show that an area condition involving f and g is both sufficient and necessary in order to have a pair \((\lambda ,u)\in \mathbb {R}^+\times {C^1_0(\overline{\Omega })}\) ( λ , u ) R + × C 0 1 ( Ω ¯ ) , with \(u\ge 0\) u 0 and \(\Vert u\Vert _{C(\overline{\Omega })}\in (\alpha ,\beta ]\) u C ( Ω ¯ ) ( α , β ] , solving (P). We also study how the presence of the gradient term affects the existence of solution. Roughly speaking, the more negative g is, the stronger its regularizing effect on (P). We prove that, regardless of the shape of f, for any fixed \(\lambda \) λ , there always exists a function g such that (P) admits a nonnegative solution with maximum in \((\alpha ,\beta ]\) ( α , β ] .