<p>This work studies the inhomogeneous Schrödinger coupled system with inverse square potential <Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_Equa.gif" Format="GIF" Height="49" Rendition="HTML" Resolution="72" Type="Linedraw" Width="393" /> </MediaObject> <EquationSource Format="MATHML"><math> <mi>i</mi> <msub> <mi>∂</mi> <mi>t</mi> </msub> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>+</mo> <mi mathvariant="normal">Δ</mi> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>−</mo> <mfrac> <mi>λ</mi> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> </mrow> </mfrac> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>=</mo> <mo>±</mo> <mo stretchy="false">|</mo> <mi>x</mi> <msup> <mo stretchy="false">|</mo> <mrow> <mo>−</mo> <mi>τ</mi> </mrow> </msup> <mo maxsize="3.8ex" minsize="3.8ex" stretchy="true">(</mo> <munderover> <mo movablelimits="false">∑</mo> <mrow> <mi>k</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>m</mi> </munderover> <msub> <mi>a</mi> <mrow> <mi>j</mi> <mi>k</mi> </mrow> </msub> <mo stretchy="false">|</mo> <msub> <mi>u</mi> <mi>k</mi> </msub> <msup> <mo stretchy="false">|</mo> <mi>p</mi> </msup> <mo maxsize="3.8ex" minsize="3.8ex" stretchy="true">)</mo> <mo stretchy="false">|</mo> <msub> <mi>u</mi> <mi>j</mi> </msub> <msup> <mo stretchy="false">|</mo> <mrow> <mi>p</mi> <mo>−</mo> <mn>2</mn> </mrow> </msup> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>.</mo> </math></EquationSource> <EquationSource Format="TEX">\( i\partial _{t} u_{j} +\Delta u_{j}-\frac{\lambda}{|x|^{2}}u_{j} =\pm |x|^{- \tau}\Big(\displaystyle \sum _{k=1}^{m}a_{jk}|u_{k}|^{p}\Big)|u_{j}|^{p-2}u_{j}. \)</EquationSource> </Equation> In this paper, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq1.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo>:</mo> <mi mathvariant="double-struck">R</mi> <mo>×</mo> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> <mo stretchy="false">→</mo> <mi mathvariant="double-struck">C</mi> </math></EquationSource> <EquationSource Format="TEX">$u_{j}:\mathbb{R}\times \mathbb{R}^{3}\to \mathbb{C}$</EquationSource> </InlineEquation> and the above parameters satisfy <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>1</mn> <mo>≤</mo> <mi>j</mi> <mo>≤</mo> <mi>m</mi> </math></EquationSource> <EquationSource Format="TEX">$1\leq j\leq m$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>τ</mi> <mo>&gt;</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$\tau &gt;0$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="102" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <mn>3</mn> <mo>−</mo> <mi>τ</mi> </math></EquationSource> <EquationSource Format="TEX">$1\leq p&lt;3-\tau $</EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>λ</mi> <mo>&gt;</mo> <mo>−</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>4</mn> </mfrac> </math></EquationSource> <EquationSource Format="TEX">$\lambda &gt;-\frac{1}{4}$</EquationSource> </InlineEquation>. In order to avoid the singular term <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">|</mo> <msub> <mi>u</mi> <mi>j</mi> </msub> <msup> <mo stretchy="false">|</mo> <mrow> <mi>p</mi> <mo>−</mo> <mn>2</mn> </mrow> </msup> </math></EquationSource> <EquationSource Format="TEX">$|u_{j}|^{p-2}$</EquationSource> </InlineEquation>, one assumes that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>p</mi> <mo>≥</mo> <mn>2</mn> </math></EquationSource> <EquationSource Format="TEX">$p\geq 2$</EquationSource> </InlineEquation>. The invariant Sobolev norm under the classical scaling <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq8.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="72" Type="Linedraw" Width="266" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">∥</mo> <msup> <mi>κ</mi> <mfrac> <mrow> <mn>2</mn> <mo>−</mo> <mi>τ</mi> </mrow> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>p</mi> <mo>−</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mfrac> </msup> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo stretchy="false">(</mo> <msup> <mi>κ</mi> <mn>2</mn> </msup> <mi>t</mi> <mo>,</mo> <mi>κ</mi> <mo>⋅</mo> <mo stretchy="false">)</mo> <mo stretchy="false">∥</mo> </mrow> <msup> <mover accent="true"> <mi>H</mi> <mo>˙</mo> </mover> <msub> <mi>s</mi> <mi>c</mi> </msub> </msup> </msub> <mo>=</mo> <msub> <mrow> <mo stretchy="false">∥</mo> <msub> <mi>u</mi> <mi>j</mi> </msub> <mo stretchy="false">(</mo> <msup> <mi>κ</mi> <mn>2</mn> </msup> <mi>t</mi> <mo stretchy="false">)</mo> <mo stretchy="false">∥</mo> </mrow> <msup> <mover accent="true"> <mi>H</mi> <mo>˙</mo> </mover> <msub> <mi>s</mi> <mi>c</mi> </msub> </msup> </msub> </math></EquationSource> <EquationSource Format="TEX">$\|\kappa ^{\frac{2-\tau}{2(p-1)}}{u_{j}}(\kappa ^{2} t,\kappa \cdot ) \|_{\dot{H}^{s_{c}}}=\|{u_{j}}(\kappa ^{2} t)\|_{\dot{H}^{s_{c}}}$</EquationSource> </InlineEquation> gives the energy critical exponent <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>3</mn> <mo>−</mo> <mi>τ</mi> </math></EquationSource> <EquationSource Format="TEX">$3-\tau $</EquationSource> </InlineEquation>, which corresponds to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq10.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="138" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>1</mn> <mo>=</mo> <msub> <mi>s</mi> <mi>c</mi> </msub> <mo>:</mo> <mo>=</mo> <mfrac> <mrow> <mn>3</mn> </mrow> <mn>2</mn> </mfrac> <mo>−</mo> <mfrac> <mrow> <mn>2</mn> <mo>−</mo> <mi>τ</mi> </mrow> <mrow> <mn>2</mn> <mo stretchy="false">(</mo> <mi>p</mi> <mo>−</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mfrac> </math></EquationSource> <EquationSource Format="TEX">$1=s_{c}:=\frac{3}{2}-\frac{2-\tau}{2(p-1)}$</EquationSource> </InlineEquation>. So, necessarily, one needs to assume that <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mn>0</mn> <mo>&lt;</mo> <mi>τ</mi> <mo>&lt;</mo> <mn>1</mn> </math></EquationSource> <EquationSource Format="TEX">$0&lt;\tau &lt;1$</EquationSource> </InlineEquation>. The assumption <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq5.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>λ</mi> <mo>&gt;</mo> <mo>−</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>4</mn> </mfrac> </math></EquationSource> <EquationSource Format="TEX">$\lambda &gt;-\frac{1}{4}$</EquationSource> </InlineEquation> is motivated by the critical Hardy inequality <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq13.gif" Format="GIF" Height="31" Rendition="HTML" Resolution="72" Type="Linedraw" Width="227" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>4</mn> </mfrac> <msub> <mo>∫</mo> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </msub> <mfrac> <mrow> <mo stretchy="false">|</mo> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> </mrow> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> </mrow> </mfrac> <mspace width="0.2em" /> <mi>d</mi> <mi>x</mi> <mo>≤</mo> <msub> <mo>∫</mo> <msup> <mi mathvariant="double-struck">R</mi> <mn>3</mn> </msup> </msub> <mo stretchy="false">|</mo> <mi mathvariant="normal">∇</mi> <mi>f</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mspace width="0.2em" /> <mi>d</mi> <mi>x</mi> </math></EquationSource> <EquationSource Format="TEX">$\frac{1}{4}\int _{\mathbb{R}^{3}}\frac{|f(x)|^{2}}{|x|^{2}}\,dx\leq \int _{ \mathbb{R}^{3}}|\nabla f(x)|^{2}\,dx$</EquationSource> </InlineEquation>. In the stationary regime, one proves a Gagliardo-Nirenberg estimate adapted to the above problem and one establishes the existence of ground states. In the evolution regime, one develops an energy local theory. Moreover, for small datum, a local solution extends to a global one which scatter in the energy space. Eventually, in the inter-critical regime, one obtains a dichotomy of global existence versus blow-up of energy solutions under the ground state threshold. The limit case <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3352_Article_IEq14.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>τ</mi> <mo stretchy="false">→</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$\tau \to 0$</EquationSource> </InlineEquation> gives some results about the local/global well-posedness of the homogeneous Schrödinger system with inverse square potential in the energy space. Indeed, to the authors knowledge, such a problem was not treated before.</p>

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

Inhomogeneous Schrödinger system with inverse square potential in three space dimensions

  • Salah Boulaaras,
  • Radhia Ghanmi,
  • Tarek Saanouni

摘要

This work studies the inhomogeneous Schrödinger coupled system with inverse square potential i t u j + Δ u j λ | x | 2 u j = ± | x | τ ( k = 1 m a j k | u k | p ) | u j | p 2 u j . \( i\partial _{t} u_{j} +\Delta u_{j}-\frac{\lambda}{|x|^{2}}u_{j} =\pm |x|^{- \tau}\Big(\displaystyle \sum _{k=1}^{m}a_{jk}|u_{k}|^{p}\Big)|u_{j}|^{p-2}u_{j}. \) In this paper, u j : R × R 3 C $u_{j}:\mathbb{R}\times \mathbb{R}^{3}\to \mathbb{C}$ and the above parameters satisfy 1 j m $1\leq j\leq m$ , τ > 0 $\tau >0$ , 1 p < 3 τ $1\leq p<3-\tau $ and λ > 1 4 $\lambda >-\frac{1}{4}$ . In order to avoid the singular term | u j | p 2 $|u_{j}|^{p-2}$ , one assumes that p 2 $p\geq 2$ . The invariant Sobolev norm under the classical scaling κ 2 τ 2 ( p 1 ) u j ( κ 2 t , κ ) H ˙ s c = u j ( κ 2 t ) H ˙ s c $\|\kappa ^{\frac{2-\tau}{2(p-1)}}{u_{j}}(\kappa ^{2} t,\kappa \cdot ) \|_{\dot{H}^{s_{c}}}=\|{u_{j}}(\kappa ^{2} t)\|_{\dot{H}^{s_{c}}}$ gives the energy critical exponent 3 τ $3-\tau $ , which corresponds to 1 = s c : = 3 2 2 τ 2 ( p 1 ) $1=s_{c}:=\frac{3}{2}-\frac{2-\tau}{2(p-1)}$ . So, necessarily, one needs to assume that 0 < τ < 1 $0<\tau <1$ . The assumption λ > 1 4 $\lambda >-\frac{1}{4}$ is motivated by the critical Hardy inequality 1 4 R 3 | f ( x ) | 2 | x | 2 d x R 3 | f ( x ) | 2 d x $\frac{1}{4}\int _{\mathbb{R}^{3}}\frac{|f(x)|^{2}}{|x|^{2}}\,dx\leq \int _{ \mathbb{R}^{3}}|\nabla f(x)|^{2}\,dx$ . In the stationary regime, one proves a Gagliardo-Nirenberg estimate adapted to the above problem and one establishes the existence of ground states. In the evolution regime, one develops an energy local theory. Moreover, for small datum, a local solution extends to a global one which scatter in the energy space. Eventually, in the inter-critical regime, one obtains a dichotomy of global existence versus blow-up of energy solutions under the ground state threshold. The limit case τ 0 $\tau \to 0$ gives some results about the local/global well-posedness of the homogeneous Schrödinger system with inverse square potential in the energy space. Indeed, to the authors knowledge, such a problem was not treated before.