<p>This paper investigates the existence of solutions to the Schrödinger–Poisson system on the Heisenberg group: <Equation ID="Equ25"> <EquationSource Format="TEX">\(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{H,p} u+ V(\xi )|u|^{p-2}u + \mu \phi |u|^{p-2} u = K(\xi )|u|^{r-2}u + f(\xi ,u), &amp; \xi \in \mathbb {H}^n,\\ -\Delta _H \phi = u^p, &amp; \xi \in \mathbb {H}^n, \end{array} \right. \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>H</mi> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>μ</mi> <mi>ϕ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>=</mo> <mi>K</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo stretchy="false">)</mo> </mrow> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>r</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>ξ</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>ξ</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>H</mi> </msub> <mi>ϕ</mi> <mo>=</mo> <msup> <mi>u</mi> <mi>p</mi> </msup> <mo>,</mo> </mrow> </mtd> <mtd columnalign="left"> <mrow> <mi>ξ</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Delta _{H,p}u =\text {div}_H(|D_H u|^{p-2}_{H}D_H u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mrow> <mi>H</mi> <mo>,</mo> <mi>p</mi> </mrow> </msub> <mi>u</mi> <mo>=</mo> <msub> <mtext>div</mtext> <mi>H</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> </mrow> <msub> <mi>D</mi> <mi>H</mi> </msub> <mi>u</mi> <mrow> <msubsup> <mo stretchy="false">|</mo> <mi>H</mi> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msubsup> <msub> <mi>D</mi> <mi>H</mi> </msub> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>p</mi> </math></EquationSource> </InlineEquation>-sub-Laplacian, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(1&lt; r&lt; p &lt; Q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>&lt;</mo> <mi>r</mi> <mo>&lt;</mo> <mi>p</mi> <mo>&lt;</mo> <mi>Q</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> is a real parameter and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(Q = 2n + 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Q</mi> <mo>=</mo> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> is the homogeneous dimension of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {H}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">H</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. Under appropriate assumptions about the functions <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(V\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>V</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(K\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>K</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(f\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>f</mi> </math></EquationSource> </InlineEquation>, and by employing the Ekeland variational principle together with the mountain pass theorem in the framework of classical Sobolev spaces on the Heisenberg group, we establish the existence of nontrivial solutions for this system. To some extent, our results extend previous work of Sun et al. (J Math Anal Appl 442:385–403, 2016) and Solukia et al. (J Elliptic Parabolic Equ 10:211–224, 2024).</p>

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

On the Schrödinger–Poisson system with combined nonlinearities on the Heisenberg group

  • Xuechun Zheng,
  • Lifeng Guo,
  • Sihua Liang

摘要

This paper investigates the existence of solutions to the Schrödinger–Poisson system on the Heisenberg group: \(\begin{aligned} \left\{ \begin{array}{ll} -\Delta _{H,p} u+ V(\xi )|u|^{p-2}u + \mu \phi |u|^{p-2} u = K(\xi )|u|^{r-2}u + f(\xi ,u), & \xi \in \mathbb {H}^n,\\ -\Delta _H \phi = u^p, & \xi \in \mathbb {H}^n, \end{array} \right. \end{aligned}\) - Δ H , p u + V ( ξ ) | u | p - 2 u + μ ϕ | u | p - 2 u = K ( ξ ) | u | r - 2 u + f ( ξ , u ) , ξ H n , - Δ H ϕ = u p , ξ H n , where \(\Delta _{H,p}u =\text {div}_H(|D_H u|^{p-2}_{H}D_H u)\) Δ H , p u = div H ( | D H u | H p - 2 D H u ) denotes the \(p\) p -sub-Laplacian, \(1< r< p < Q\) 1 < r < p < Q , \(\mu \) μ is a real parameter and \(Q = 2n + 2\) Q = 2 n + 2 is the homogeneous dimension of \(\mathbb {H}^{n}\) H n . Under appropriate assumptions about the functions \(V\) V , \(K\) K and \(f\) f , and by employing the Ekeland variational principle together with the mountain pass theorem in the framework of classical Sobolev spaces on the Heisenberg group, we establish the existence of nontrivial solutions for this system. To some extent, our results extend previous work of Sun et al. (J Math Anal Appl 442:385–403, 2016) and Solukia et al. (J Elliptic Parabolic Equ 10:211–224, 2024).