<p>The purpose of this article is two-fold. First, we investigate the inequality <Equation ID="Equ90"> <EquationSource Format="TEX">\( -\Delta u+V(x) u\ge f\quad \text{ in } B_1\setminus \{0\}\subset \mathbbm {R}^N , N \ge 2, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>≥</mo> <mi>f</mi> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>⊂</mo> <msup> <mi mathvariant="double-struck">R</mi> <mi>N</mi> </msup> <mo>,</mo> <mi>N</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(f\in L^1_{loc}(B_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. If <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(V\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is radially symmetric, we provide optimal conditions for which any solution <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(0\le u\in \mathcal {C}^2(B_1\setminus \{0\})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>u</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the above inequality satisfies <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(u, \Delta u, V(x)u\in L^1_{loc}(B_1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mo>,</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>,</mo> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>∈</mo> <msubsup> <mi>L</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mn>1</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. This extends a result of H. Brezis and P.-L. Lions (1982), originally established for constant potentials <i>V</i>. Second, we investigate the equation <Equation ID="Equ91"> <EquationSource Format="TEX">\(\displaystyle -\Delta u + \lambda V(x) u = (K_{\alpha , \beta } * u^p) u^q \quad \text {in } B_1 \setminus \{0\},\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>+</mo> <mi>λ</mi> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>u</mi> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mrow /> <mo>∗</mo> <msup> <mi>u</mi> <mi>p</mi> </msup> <mo stretchy="false">)</mo> </mrow> <msup> <mi>u</mi> <mi>q</mi> </msup> <mspace width="1em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msub> <mi>B</mi> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </mstyle> </math></EquationSource> </Equation>where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(0\le V\in \mathcal {C}^{0, \nu }( \overline{B}_1\setminus \{0\})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>V</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mrow> <mn>0</mn> <mo>,</mo> <mi>ν</mi> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mover> <mi>B</mi> <mo>¯</mo> </mover> <mn>1</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(0&lt;\nu &lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>ν</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda , p, q&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <Equation ID="Equ92"> <EquationSource Format="TEX">\(K_{\alpha , \beta }(x) = |x|^{-\alpha }\log ^{\beta }\frac{2e}{|x|}, \quad \text {where } 0 \le \alpha &lt; N, \beta \in \mathbbm {R}.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mi>K</mi> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> <msup> <mo>log</mo> <mi>β</mi> </msup> <mfrac> <mrow> <mn>2</mn> <mi>e</mi> </mrow> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> </mfrac> <mo>,</mo> <mspace width="1em" /> <mtext>where</mtext> <mspace width="0.333333em" /> <mn>0</mn> <mo>≤</mo> <mi>α</mi> <mo>&lt;</mo> <mi>N</mi> <mo>,</mo> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> <mo>.</mo> </mrow> </math></EquationSource> </Equation>For <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(N \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, we establish sharp conditions on the exponents <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\alpha , \beta , p, q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>,</mo> <mi>β</mi> <mo>,</mo> <mi>p</mi> <mo>,</mo> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation> under which singular solutions exist and exhibit the asymptotic behavior <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(u(x) \simeq |x|^{2-N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>2</mn> <mo>-</mo> <mi>N</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> near the origin. For <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(N = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we provide a classification of the existence and boundedness of solutions based on the local behavior of the potential <i>V</i>(<i>x</i>) near the origin.</p>

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

Isolated Singularities for Elliptic Equations with Convolution Terms in a Punctured Ball

  • Marius Ghergu,
  • Zhe Yu

摘要

The purpose of this article is two-fold. First, we investigate the inequality \( -\Delta u+V(x) u\ge f\quad \text{ in } B_1\setminus \{0\}\subset \mathbbm {R}^N , N \ge 2, \) - Δ u + V ( x ) u f in B 1 \ { 0 } R N , N 2 , where \(f\in L^1_{loc}(B_1)\) f L loc 1 ( B 1 ) . If \(V\ge 0\) V 0 is radially symmetric, we provide optimal conditions for which any solution \(0\le u\in \mathcal {C}^2(B_1\setminus \{0\})\) 0 u C 2 ( B 1 \ { 0 } ) of the above inequality satisfies \(u, \Delta u, V(x)u\in L^1_{loc}(B_1)\) u , Δ u , V ( x ) u L loc 1 ( B 1 ) . This extends a result of H. Brezis and P.-L. Lions (1982), originally established for constant potentials V. Second, we investigate the equation \(\displaystyle -\Delta u + \lambda V(x) u = (K_{\alpha , \beta } * u^p) u^q \quad \text {in } B_1 \setminus \{0\},\) - Δ u + λ V ( x ) u = ( K α , β u p ) u q in B 1 \ { 0 } , where \(0\le V\in \mathcal {C}^{0, \nu }( \overline{B}_1\setminus \{0\})\) 0 V C 0 , ν ( B ¯ 1 \ { 0 } ) , \(0<\nu <1\) 0 < ν < 1 , \(\lambda , p, q>0\) λ , p , q > 0 and \(K_{\alpha , \beta }(x) = |x|^{-\alpha }\log ^{\beta }\frac{2e}{|x|}, \quad \text {where } 0 \le \alpha < N, \beta \in \mathbbm {R}.\) K α , β ( x ) = | x | - α log β 2 e | x | , where 0 α < N , β R . For \(N \ge 3\) N 3 , we establish sharp conditions on the exponents \(\alpha , \beta , p, q\) α , β , p , q under which singular solutions exist and exhibit the asymptotic behavior \(u(x) \simeq |x|^{2-N}\) u ( x ) | x | 2 - N near the origin. For \(N = 2\) N = 2 , we provide a classification of the existence and boundedness of solutions based on the local behavior of the potential V(x) near the origin.