<p>This paper is devoted to the study of the existence, qualitative properties, and numerical approximation of normalized solutions for a class of critical Schrödinger–Bopp–Podolsky systems in <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {R}^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation>, involving the <i>p</i>-Laplacian operator, logarithmic nonlinearities, critical Sobolev growth, and nonlocal electromagnetic interactions. More precisely, we consider the system <Equation ID="Equ13"> <EquationSource Format="TEX">\( {\left\{ \begin{array}{ll} -\varDelta _p u + V(\varepsilon x)|u|^{p-2}u + M(x)|u|^{p-2}u + \kappa \phi u \\ \qquad = \lambda |u|^{p-2}u + \vartheta |u|^{p-2}u \log |u|^p + \mu |u|^{q-2}u + |u|^{p^*-2}u, \\ -\varDelta \phi + a^2 \varDelta ^2 \phi = 4\pi u^2, \end{array}\right. } \qquad x\in \mathbb {R}^3, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfenced open="{"> <mrow> <mtable> <mtr> <mtd columnalign="left"> <mrow> <mo>-</mo> <msub> <mi>Δ</mi> <mi>p</mi> </msub> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mi>V</mi> <mrow> <mo stretchy="false">(</mo> <mi>ε</mi> <mi>x</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> <mi>M</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <msup> <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> <mi>κ</mi> <mi>ϕ</mi> <mi>u</mi> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mspace width="2em" /> <mo>=</mo> <msup> <mrow> <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> <msup> <mrow> <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> <msup> <mrow> <mi>u</mi> <mo>log</mo> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mo>+</mo> <msup> <mrow> <mi>μ</mi> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>+</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <msup> <mi>p</mi> <mo>∗</mo> </msup> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mi>u</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mo>-</mo> <mi>Δ</mi> <mi>ϕ</mi> <mo>+</mo> <msup> <mi>a</mi> <mn>2</mn> </msup> <msup> <mi>Δ</mi> <mn>2</mn> </msup> <mi>ϕ</mi> <mo>=</mo> <mn>4</mn> <mi>π</mi> <msup> <mi>u</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </mfenced> <mspace width="2em" /> <mi>x</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo>,</mo> </mrow> </math></EquationSource> </Equation>subject to the mass constraint <Equation ID="Equ14"> <EquationSource Format="TEX">\( \int _{\mathbb {R}^3} |u|^p\,dx = \rho ^p, \)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <msub> <mo>∫</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> </msub> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mspace width="0.166667em" /> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>ρ</mi> <mi>p</mi> </msup> <mo>,</mo> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\varDelta _p u = \textrm{div}(|\nabla u|^{p-2}\nabla u)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Δ</mi> <mi>p</mi> </msub> <mi>u</mi> <mo>=</mo> <msup> <mrow> <mtext>div</mtext> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>p</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mi mathvariant="normal">∇</mi> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the <i>p</i>-Laplace operator, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\in (1,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p^*=\frac{3p}{3-p}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>p</mi> <mo>∗</mo> </msup> <mo>=</mo> <mfrac> <mrow> <mn>3</mn> <mi>p</mi> </mrow> <mrow> <mn>3</mn> <mo>-</mo> <mi>p</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is the critical Sobolev exponent, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> is a small semiclassical parameter, and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\lambda \in \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a Lagrange multiplier associated with the normalization. The parameters <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\rho , a, \kappa , \vartheta , \mu &gt; 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>,</mo> <mi>a</mi> <mo>,</mo> <mi>κ</mi> <mo>,</mo> <mi>ϑ</mi> <mo>,</mo> <mi>μ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> are given constants, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(V:\mathbb {R}^3\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is an external potential, and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(M:\mathbb {R}^3\rightarrow \mathbb {R}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>3</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation> is a variable mass coefficient. The exponent <i>q</i> satisfies <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(p&lt;q&lt;p+\frac{p^2}{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&lt;</mo> <mi>q</mi> <mo>&lt;</mo> <mi>p</mi> <mo>+</mo> <mfrac> <msup> <mi>p</mi> <mn>2</mn> </msup> <mn>3</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. The main novelty of this work lies in the introduction and analysis of a Schrödinger–Bopp–Podolsky system combining <i>variable mass effects</i> and <i>mixed nonlinearities</i>, including logarithmic, subcritical, and critical growth terms, within a normalized framework. This setting significantly extends existing results by incorporating spatial inhomogeneities and competing nonlinear interactions, which fundamentally modify the variational structure of the problem. In particular, the presence of the variable mass term <i>M</i>(<i>x</i>) destroys translation invariance and affects the concentration behavior of solutions, while the logarithmic nonlinearity introduces non-polynomial growth that requires refined functional tools. To overcome these difficulties, we develop a variational approach on a normalized constraint manifold, employ Orlicz space techniques to handle the logarithmic term, use a reduction method for the nonlocal Bopp–Podolsky field, and apply concentration–compactness principles adapted to critical growth. The simultaneous presence of the <i>p</i>-Laplacian, logarithmic nonlinearity, critical exponent, and nonlocal coupling necessitates a nonstandard combination of analytical techniques beyond classical frameworks. We prove the existence and multiplicity of normalized solutions for sufficiently small <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\varepsilon &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and show that these solutions concentrate near the global minima of the external potential <i>V</i>. Furthermore, we analyze the asymptotic behavior as the Lagrange multiplier <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\lambda \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>λ</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and as the Bopp–Podolsky parameter <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(a\rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, recovering the corresponding Schrödinger–Poisson system in the limit. Finally, we propose a numerical approximation scheme that preserves the normalization constraint. The numerical results, presented in tabular form, confirm the theoretical findings and illustrate the dependence of solutions on the model parameters, providing a unified analytical and computational framework for the proposed problem.</p>

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

Normalized Solutions and Numerical Approximation for a Critical p-Laplacian Schrödinger–Bopp–Podolsky System with Variable Mass and Logarithmic Nonlinearity

  • Salah Boulaaras,
  • Yassine Chargui,
  • Rafik Guefaifia

摘要

This paper is devoted to the study of the existence, qualitative properties, and numerical approximation of normalized solutions for a class of critical Schrödinger–Bopp–Podolsky systems in \(\mathbb {R}^3\) R 3 , involving the p-Laplacian operator, logarithmic nonlinearities, critical Sobolev growth, and nonlocal electromagnetic interactions. More precisely, we consider the system \( {\left\{ \begin{array}{ll} -\varDelta _p u + V(\varepsilon x)|u|^{p-2}u + M(x)|u|^{p-2}u + \kappa \phi u \\ \qquad = \lambda |u|^{p-2}u + \vartheta |u|^{p-2}u \log |u|^p + \mu |u|^{q-2}u + |u|^{p^*-2}u, \\ -\varDelta \phi + a^2 \varDelta ^2 \phi = 4\pi u^2, \end{array}\right. } \qquad x\in \mathbb {R}^3, \) - Δ p u + V ( ε x ) | u | p - 2 u + M ( x ) | u | p - 2 u + κ ϕ u = λ | u | p - 2 u + ϑ | u | p - 2 u log | u | p + μ | u | q - 2 u + | u | p - 2 u , - Δ ϕ + a 2 Δ 2 ϕ = 4 π u 2 , x R 3 , subject to the mass constraint \( \int _{\mathbb {R}^3} |u|^p\,dx = \rho ^p, \) R 3 | u | p d x = ρ p , where \(\varDelta _p u = \textrm{div}(|\nabla u|^{p-2}\nabla u)\) Δ p u = div ( | u | p - 2 u ) denotes the p-Laplace operator, \(p\in (1,3)\) p ( 1 , 3 ) , \(p^*=\frac{3p}{3-p}\) p = 3 p 3 - p is the critical Sobolev exponent, \(\varepsilon >0\) ε > 0 is a small semiclassical parameter, and \(\lambda \in \mathbb {R}\) λ R is a Lagrange multiplier associated with the normalization. The parameters \(\rho , a, \kappa , \vartheta , \mu > 0\) ρ , a , κ , ϑ , μ > 0 are given constants, \(V:\mathbb {R}^3\rightarrow \mathbb {R}\) V : R 3 R is an external potential, and \(M:\mathbb {R}^3\rightarrow \mathbb {R}\) M : R 3 R is a variable mass coefficient. The exponent q satisfies \(p<q<p+\frac{p^2}{3}\) p < q < p + p 2 3 . The main novelty of this work lies in the introduction and analysis of a Schrödinger–Bopp–Podolsky system combining variable mass effects and mixed nonlinearities, including logarithmic, subcritical, and critical growth terms, within a normalized framework. This setting significantly extends existing results by incorporating spatial inhomogeneities and competing nonlinear interactions, which fundamentally modify the variational structure of the problem. In particular, the presence of the variable mass term M(x) destroys translation invariance and affects the concentration behavior of solutions, while the logarithmic nonlinearity introduces non-polynomial growth that requires refined functional tools. To overcome these difficulties, we develop a variational approach on a normalized constraint manifold, employ Orlicz space techniques to handle the logarithmic term, use a reduction method for the nonlocal Bopp–Podolsky field, and apply concentration–compactness principles adapted to critical growth. The simultaneous presence of the p-Laplacian, logarithmic nonlinearity, critical exponent, and nonlocal coupling necessitates a nonstandard combination of analytical techniques beyond classical frameworks. We prove the existence and multiplicity of normalized solutions for sufficiently small \(\varepsilon >0\) ε > 0 and show that these solutions concentrate near the global minima of the external potential V. Furthermore, we analyze the asymptotic behavior as the Lagrange multiplier \(\lambda \rightarrow 0\) λ 0 and as the Bopp–Podolsky parameter \(a\rightarrow 0\) a 0 , recovering the corresponding Schrödinger–Poisson system in the limit. Finally, we propose a numerical approximation scheme that preserves the normalization constraint. The numerical results, presented in tabular form, confirm the theoretical findings and illustrate the dependence of solutions on the model parameters, providing a unified analytical and computational framework for the proposed problem.