<p>We are concerned with the study of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^{2, \gamma }_{loc}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>γ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation>-positive solutions to the Choquard equation <Equation ID="Equ53"> <EquationSource Format="TEX">\( \displaystyle -\Delta u=\lambda (|x|^{-\alpha }*u^p)u^q \quad \text{ in } \mathbb {R}^N_+=\mathbb {R}^{N-1}\times (0, \infty )\, , N\ge 2, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo>-</mo> <mi mathvariant="normal">Δ</mi> <mi>u</mi> <mo>=</mo> <msup> <mrow> <mi>λ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>x</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mo>-</mo> <mi>α</mi> </mrow> </msup> <mrow /> <mo>∗</mo> <msup> <mi>u</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">)</mo> </mrow> <msup> <mi>u</mi> <mi>q</mi> </msup> <mspace width="1em" /> <mspace width="0.333333em" /> <mtext>in</mtext> <mspace width="0.333333em" /> <msubsup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> <mi>N</mi> </msubsup> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mo>,</mo> <mi>N</mi> <mo>≥</mo> <mn>2</mn> <mo>,</mo> </mrow> </mstyle> </math></EquationSource> </Equation>subject to the Robin boundary condition <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\beta u+\frac{\partial u}{\partial \nu }=g\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mi>u</mi> <mo>+</mo> <mfrac> <mrow> <mi>∂</mi> <mi>u</mi> </mrow> <mrow> <mi>∂</mi> <mi>ν</mi> </mrow> </mfrac> <mo>=</mo> <mi>g</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\partial \mathbb {R}^N_+\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>∂</mi> <msubsup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mo>+</mo> <mi>N</mi> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. Here <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p,q, \lambda &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>λ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\alpha \in (0,N)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi>N</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\beta \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(0\le g\in C^{1, \gamma }_{loc}(\mathbb {R}^{N-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>g</mi> <mo>∈</mo> <msubsup> <mi>C</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mrow> <mn>1</mn> <mo>,</mo> <mi>γ</mi> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\gamma \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>. First we show that if <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\beta &lt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&lt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> then no solutions exist. Further, in the case <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\beta =0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> we prove that the existence of a <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(C^{2, \gamma }_{loc}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>γ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> solution is closely related to the rate at which <i>g</i> decays at infinity. To this aim, we assume <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(g(x')\simeq (1+|x'|)^{-m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>x</mi> <mo>′</mo> </msup> <mo stretchy="false">)</mo> </mrow> <mo>≃</mo> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>+</mo> <mo stretchy="false">|</mo> </mrow> <msup> <mi>x</mi> <mo>′</mo> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mrow> <mo>-</mo> <mi>m</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(m&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and determine the exact range of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p, q, \alpha , m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>,</mo> <mi>q</mi> <mo>,</mo> <mi>α</mi> <mo>,</mo> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation> for which a <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(C^{2, \gamma }_{loc}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>C</mi> <mrow> <mi mathvariant="italic">loc</mi> </mrow> <mrow> <mn>2</mn> <mo>,</mo> <mi>γ</mi> </mrow> </msubsup> </math></EquationSource> </InlineEquation> solution exists. A similar discussion arises in the case <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\beta &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>β</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Our approach combines integral estimates and integral representation of superharmonic functions together with a new sub and supersolution method devised in a nonlocal setting.</p>

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

The Choquard equation in the half-space with a Robin boundary condition

  • Marius Ghergu

摘要

We are concerned with the study of \(C^{2, \gamma }_{loc}\) C loc 2 , γ -positive solutions to the Choquard equation \( \displaystyle -\Delta u=\lambda (|x|^{-\alpha }*u^p)u^q \quad \text{ in } \mathbb {R}^N_+=\mathbb {R}^{N-1}\times (0, \infty )\, , N\ge 2, \) - Δ u = λ ( | x | - α u p ) u q in R + N = R N - 1 × ( 0 , ) , N 2 , subject to the Robin boundary condition \(\beta u+\frac{\partial u}{\partial \nu }=g\) β u + u ν = g on \(\partial \mathbb {R}^N_+\) R + N . Here \(p,q, \lambda >0\) p , q , λ > 0 , \(\alpha \in (0,N)\) α ( 0 , N ) , \(\beta \in \mathbb {R}\) β R and \(0\le g\in C^{1, \gamma }_{loc}(\mathbb {R}^{N-1})\) 0 g C loc 1 , γ ( R N - 1 ) , \(\gamma \in (0,1)\) γ ( 0 , 1 ) . First we show that if \(\beta <0\) β < 0 then no solutions exist. Further, in the case \(\beta =0\) β = 0 we prove that the existence of a \(C^{2, \gamma }_{loc}\) C loc 2 , γ solution is closely related to the rate at which g decays at infinity. To this aim, we assume \(g(x')\simeq (1+|x'|)^{-m}\) g ( x ) ( 1 + | x | ) - m , \(m>0\) m > 0 , and determine the exact range of \(p, q, \alpha , m\) p , q , α , m for which a \(C^{2, \gamma }_{loc}\) C loc 2 , γ solution exists. A similar discussion arises in the case \(\beta >0\) β > 0 . Our approach combines integral estimates and integral representation of superharmonic functions together with a new sub and supersolution method devised in a nonlocal setting.