尖锐相互作用估计及其应用:带势的耦合薛定谔系统归一化基态的存在性
偏微分方程分析
2026-03-20 v3
摘要
本文旨在证明下列带势薛定谔系统归一化基态的存在性:{ − Δ u 1 + V 1 ( x ) u 1 + λ 1 u 1 = ∂ 1 G ( u 1 , u 2 ) in R N , − Δ u 2 + V 2 ( x ) u 2 + λ 2 u 2 = ∂ 2 G ( u 1 , u 2 ) in R N , 0 < u 1 , u 2 ∈ H 1 ( R N ) , N ≥ 1 , ∫ R N u 1 2 d x = a 1 , ∫ R N u 2 2 d x = a 2 . \begin{cases} -\Delta u_1+V_1(x)u_1+\lambda_1 u_1=\partial_1 G(u_1,u_2)\;\quad&\hbox{in}\;\mathbb{R}^N,\\ -\Delta u_2+V_2(x)u_2+\lambda_2 u_2=\partial_2G(u_1,u_2)\;\quad&\hbox{in}\;\mathbb{R}^N,\\ 0<u_1,u_2\in H^1(\mathbb{R}^N), N\geq 1,\\ \int_{\mathbb{R}^N}u_1^2 \mathrm{d} x=a_1, \int_{\mathbb{R}^N}u_2^2 \mathrm{d} x=a_2. \end{cases} ⎩ ⎨ ⎧ − Δ u 1 + V 1 ( x ) u 1 + λ 1 u 1 = ∂ 1 G ( u 1 , u 2 ) − Δ u 2 + V 2 ( x ) u 2 + λ 2 u 2 = ∂ 2 G ( u 1 , u 2 ) 0 < u 1 , u 2 ∈ H 1 ( R N ) , N ≥ 1 , ∫ R N u 1 2 d x = a 1 , ∫ R N u 2 2 d x = a 2 . in R N , in R N , 势 V 1 ( x ) , V 2 ( x ) V_1(x),V_2(x) V 1 ( x ) , V 2 ( x ) 是一般的,满足 inf ess σ ( − Δ + V ι ) > − ∞ \inf \text{ess}~\sigma(-\Delta+V_\iota)>-\infty inf ess σ ( − Δ + V ι ) > − ∞ ,并允许在某些点处奇异。非线性项 G ( u 1 , u 2 ) G(u_1,u_2) G ( u 1 , u 2 ) 考虑为如下形式:{ G ( u 1 , u 2 ) : = ∑ i = 1 ℓ μ i p i ∣ u 1 ∣ p i + ∑ j = 1 m ν j q j ∣ u 2 ∣ q j + ∑ k = 1 n β k ∣ u 1 ∣ r 1 , k ∣ u 2 ∣ r 2 , k , ℓ , m , n ∈ N 0 + , μ i , ν j , β k > 0 , 2 < r 1 , k + r 2 , k , p i , q j < 2 + 4 N , r 1 , k , r 2 , k > 1 , i = 1 , 2 , ⋯ , ℓ ; j = 1 , 2 , ⋯ , m ; k = 1 , 2 , ⋯ , n . \begin{cases} G(u_1, u_2):=\sum_{i=1}^{\ell}\frac{\mu_i}{p_i}|u_1|^{p_i}+\sum_{j=1}^{m}\frac{\nu_j}{q_j}|u_2|^{q_j}+\sum_{k=1}^{n}\beta_k |u_1|^{r_{1,k}}|u_2|^{r_{2,k}},~~\ell,m,n\in \mathbb{N}^+_0, \mu_i, \nu_j,\beta_k>0, ~2<r_{1,k}+r_{2,k}, p_i, q_j<2+\frac{4}{N}, ~r_{1,k}, r_{2,k}>1, i=1,2,\cdots, \ell; j=1,2,\cdots, m; k=1,2,\cdots, n. \end{cases} { G ( u 1 , u 2 ) := ∑ i = 1 ℓ p i μ i ∣ u 1 ∣ p i + ∑ j = 1 m q j ν j ∣ u 2 ∣ q j + ∑ k = 1 n β k ∣ u 1 ∣ r 1 , k ∣ u 2 ∣ r 2 , k , ℓ , m , n ∈ N 0 + , μ i , ν j , β k > 0 , 2 < r 1 , k + r 2 , k , p i , q j < 2 + N 4 , r 1 , k , r 2 , k > 1 , i = 1 , 2 , ⋯ , ℓ ; j = 1 , 2 , ⋯ , m ; k = 1 , 2 , ⋯ , n . 在质量次临界假设下,归一化基态作为泛函 J J J 在流形 S a 1 , a 2 S_{a_1,a_2} S a 1 , a 2 上的最小值获得。由于该泛函不是弱下半连续的,为证明极小问题的可解性,关键步骤是建立严格的次可加不等式。其主要构成部分之一是对正解的尖锐衰减与相互作用估计的研究。
引用
@article{arxiv.2107.12570,
title = {Sharp interaction estimates and their application: existence of normalized ground states to coupled Schr\"odinger systems with potentials},
author = {Yinbin Deng and Qihan He and Xuexiu Zhong},
journal= {arXiv preprint arXiv:2107.12570},
year = {2026}
}
备注
46 pages