<p>In this paper, we establish multiplicity of normalized ground-state solutions for the following mixed local and nonlocal Laplacian equation with general nonlinearity in cylindrical domain <Equation ID="Equ45"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_Equ45.gif" Format="GIF" Height="95" Rendition="HTML" Resolution="72" Type="Linedraw" Width="375" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle -\Delta _yu+(-\Delta _z)^s_{a(\epsilon z)}u =\lambda u +h(\epsilon z, u),\ \ (y,z)\in \Omega ,\\ u=0,\ \ (y,z)\in \partial \Omega ,\\ \displaystyle \int \limits _{\Omega }|u|^2dx=\rho ^2, \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"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>y</mi> </msub> <mi>u</mi> <mo>+</mo> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>z</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>ϵ</mi> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msubsup> <mi>u</mi> <mo>=</mo> <mi>λ</mi> <mi>u</mi> <mo>+</mo> <mi>h</mi> <mrow> <mo stretchy="false">(</mo> <mi>ϵ</mi> <mi>z</mi> <mo>,</mo> <mi>u</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="4pt" /> <mspace width="4pt" /> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mstyle> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mrow> <mrow /> <mi>u</mi> <mo>=</mo> <mn>0</mn> <mo>,</mo> <mspace width="4pt" /> <mspace width="4pt" /> <mo stretchy="false">(</mo> <mi>y</mi> <mo>,</mo> <mi>z</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>∂</mi> <mi mathvariant="normal">Ω</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="left"> <mstyle displaystyle="true" scriptlevel="0"> <mrow> <mrow /> <munder> <mo movablelimits="false">∫</mo> <mi mathvariant="normal">Ω</mi> </munder> <msup> <mrow> <mo stretchy="false">|</mo> <mi>u</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <mi>d</mi> <mi>x</mi> <mo>=</mo> <msup> <mi>ρ</mi> <mn>2</mn> </msup> <mo>,</mo> </mrow> </mstyle> </mtd> </mtr> </mtable> </mrow> </mfenced> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;s&lt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>&lt;</mo> <mi>s</mi> <mo>&lt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le K&lt;N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>K</mi> <mo>&lt;</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon &gt;0,\lambda \in {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ϵ</mi> <mo>&gt;</mo> <mn>0</mn> <mo>,</mo> <mi>λ</mi> <mo>∈</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho &gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ρ</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq5.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega =\Omega ^\prime \times {\mathbb {R}}^{N-K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Ω</mi> <mo>=</mo> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq6.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega ^\prime \subset {\mathbb {R}}^K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>K</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is a smooth bounded domain containing zero, <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Delta _y\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Δ</mi> <mi>y</mi> </msub> </math></EquationSource> </InlineEquation> is the Laplacian with respect to variable <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq8.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(y\in \Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>y</mi> <mo>∈</mo> <mi mathvariant="normal">Ω</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq9.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\((-\Delta _z)^s_{a(\epsilon \cdot )}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>z</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>a</mi> <mo stretchy="false">(</mo> <mi>ϵ</mi> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msubsup> </math></EquationSource> </InlineEquation> is the weighted s-fractional Laplacian with respect to variable <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(z\in {\mathbb {R}}^{N-K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> and weight <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(a:{\mathbb {R}}^{N-K}\times {\mathbb {R}}^{N-K}\rightarrow {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">R</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq12.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\(h:{\mathbb {R}}^{N-K}\times {\mathbb {R}}\rightarrow {\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>h</mi> <mo>:</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> <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 and may satisfy Sobolev critical or supercritical growth conditions. The existence of normalized solutions is established through variational methods on a truncated problem, ensuring compactness and critical point existence. Multiplicity arises from applying the Lusternik–Schnirelmann category theory to the solution manifold, yielding multiple ground states as the parameter <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq13.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(\epsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ϵ</mi> </math></EquationSource> </InlineEquation> is small enough. The novelties of this paper are listed as follows. (1) We improve the existing results concerning normalized solutions in the literature by establishing refined multiplicity criteria through variational analysis, and generalizing the assumptions on the nonlinear term. Our results are new even if <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(K=N\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>K</mi> <mo>=</mo> <mi>N</mi> </mrow> </math></EquationSource> </InlineEquation>. (2) The operator <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(-\Delta _y+(-\Delta _z)^s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>y</mi> </msub> <mo>+</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <msub> <mi mathvariant="normal">Δ</mi> <mi>z</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>s</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> is anisotropic in <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq16.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(y\in \Omega ^\prime \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>y</mi> <mo>∈</mo> <msup> <mi mathvariant="normal">Ω</mi> <mo>′</mo> </msup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="33_2025_2579_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(z\in {\mathbb {R}}^{N-K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>N</mi> <mo>-</mo> <mi>K</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> directions, which causes some difficulties in discussing the compactness of energy functional.</p>

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

Anisotropic (non)local elliptic problems with general nonlinearity in cylindrical domains: multiplicity of normalized solutions

  • Claudianor Oliveira Alves,
  • Mingqi Xiang

摘要

In this paper, we establish multiplicity of normalized ground-state solutions for the following mixed local and nonlocal Laplacian equation with general nonlinearity in cylindrical domain \(\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle -\Delta _yu+(-\Delta _z)^s_{a(\epsilon z)}u =\lambda u +h(\epsilon z, u),\ \ (y,z)\in \Omega ,\\ u=0,\ \ (y,z)\in \partial \Omega ,\\ \displaystyle \int \limits _{\Omega }|u|^2dx=\rho ^2, \end{array}\right. } \end{aligned}\) - Δ y u + ( - Δ z ) a ( ϵ z ) s u = λ u + h ( ϵ z , u ) , ( y , z ) Ω , u = 0 , ( y , z ) Ω , Ω | u | 2 d x = ρ 2 , where \(0<s<1\) 0 < s < 1 , \(1\le K<N\) 1 K < N , \(\epsilon >0,\lambda \in {\mathbb {R}}\) ϵ > 0 , λ R , \(\rho >0\) ρ > 0 , \(\Omega =\Omega ^\prime \times {\mathbb {R}}^{N-K}\) Ω = Ω × R N - K , \(\Omega ^\prime \subset {\mathbb {R}}^K\) Ω R K is a smooth bounded domain containing zero, \(\Delta _y\) Δ y is the Laplacian with respect to variable \(y\in \Omega \) y Ω , \((-\Delta _z)^s_{a(\epsilon \cdot )}\) ( - Δ z ) a ( ϵ · ) s is the weighted s-fractional Laplacian with respect to variable \(z\in {\mathbb {R}}^{N-K}\) z R N - K and weight \(a:{\mathbb {R}}^{N-K}\times {\mathbb {R}}^{N-K}\rightarrow {\mathbb {R}}\) a : R N - K × R N - K R , \(h:{\mathbb {R}}^{N-K}\times {\mathbb {R}}\rightarrow {\mathbb {R}}\) h : R N - K × R R is a continuous function and may satisfy Sobolev critical or supercritical growth conditions. The existence of normalized solutions is established through variational methods on a truncated problem, ensuring compactness and critical point existence. Multiplicity arises from applying the Lusternik–Schnirelmann category theory to the solution manifold, yielding multiple ground states as the parameter \(\epsilon \) ϵ is small enough. The novelties of this paper are listed as follows. (1) We improve the existing results concerning normalized solutions in the literature by establishing refined multiplicity criteria through variational analysis, and generalizing the assumptions on the nonlinear term. Our results are new even if \(K=N\) K = N . (2) The operator \(-\Delta _y+(-\Delta _z)^s\) - Δ y + ( - Δ z ) s is anisotropic in \(y\in \Omega ^\prime \) y Ω and \(z\in {\mathbb {R}}^{N-K}\) z R N - K directions, which causes some difficulties in discussing the compactness of energy functional.