[论文解读] Analysis of Hartree equation with an interaction growing at the spatial infinity

Satoshi Masaki|arXiv (Cornell University)|Mar 16, 2011

Advanced Mathematical Physics Problems参考文献 6被引用 3

一句话总结

本文建立了非线性薛定谔方程在非局部非线性项中相互作用势能在空间无穷远处呈二次增长（即 $ u = -2$）时的全局适定性。通过利用质量守恒和非线性项的分解，作者证明了在加权能量空间 $Σ^{1,\gamma/2}$ 中全局解的存在性与唯一性，当 $γ = 2$ 时给出显式解，并表明动量守恒对于控制解的超线性增长速率至关重要。

ABSTRACT

We consider nonlinear Schrödinger equation with a Hartree-type nonlocal nonlinearity. The case where a nonlinear interaction potential grows at the spatial infinity is studied. By virtue of an effective decomposition of the nonlinearity based on conservation of mass, this kind of growing nonlinear interaction is known to contain an effect like a linear potential. In this paper, a well-posedness result is obtained in a suitable energy space for a class of interaction potential growing at the spatial infinity in at most the quadratic order. If the growth rate of interaction potential is faster than the linear order, a priori information on the center of mass plays a crucial role. When the interaction potential is exactly in the quadratic order, solution are written explicitly.

研究动机与目标

• 建立非局部非线性项中相互作用势能在空间无穷远处增长的哈特ree方程的全局适定性，特别针对 $\nu \in [-2, -1)$ 的情形。
• 分析质心与动量守恒在相互作用势增长快于线性时对解的控制作用。
• 在二次增长（$\nu = -2$）情况下提供显式解，并将适定性结果推广至先前工作之外。
• 基于能量估计与非线性项的有效分解，建立处理奇异与增长势的框架。
• 证明在次二次增长（$\gamma \in (0,1]$）情况下为无条件唯一性，而在 $\gamma \in (1,2)$ 情况下为条件唯一性，需依赖动量守恒。

提出的方法

• 使用加权能量空间 $\Sigma^{1,\gamma/2}$ 控制梯度的 $L^2$-范数与解的加权 $L^2$-范数。
• 通过质量守恒对非线性项进行分解，使增长势能的表现如同线性势能。
• 应用第3节的抽象存在性理论，将其适配于势能 $V(x) = \lambda |x|^\gamma \chi(|x|)$ 截断后的情形，并通过正则性与衰减估计进行分析。
• 利用能量守恒与 $\nabla u(t)$ 和 $\langle x \rangle^{\gamma/2} u(t)$ 的先验 $L^2$-界，防止有限时间爆破。
• 在 $\gamma \in (1,2)$ 情形下，通过抽象框架中的 $\zeta = \infty$，在动量守恒条件下建立唯一性，而在 $\gamma \in (0,1]$ 情形下实现无条件唯一性。
• 当 $\gamma = 2$ 时，利用方程结构与势能 $|x|^2$ 的形式推导显式解。

实验结果

研究问题

• RQ1 当相互作用势能在空间无穷远处增长时，哈特ree方程的适定性状态如何，特别是针对 $\nu \in [-2, -1)$ 的情形？
• RQ2 质心与动量守恒如何影响在增长型非局部非线性项存在下解的全局存在性与唯一性？
• RQ3 当相互作用势能呈二次增长时，能否构造出显式解？
• RQ4 在增长势能下，解在加权能量空间 $\Sigma^{1,\gamma/2}$ 中保持有界的条件是什么？
• RQ5 抽象框架（假设 (V1)-(V4)）在证明非利普希茨增长势能的全局适定性中起什么作用？

主要发现

• 当 $\gamma \in (1,2)$ 时，哈特ree方程在 $\Sigma^{1,\gamma/2}$ 中全局适定，解保持质量、能量与动量守恒。
• 唯一性仅在 $C(\mathbb{R}; \Sigma^{1,\gamma/2})$ 中条件成立，当且仅当动量守恒，表明在此参数范围内动量信息对唯一性至关重要。
• 当 $\lambda > 0$ 时，梯度的 $L^2$-范数 $\|\nabla u(t)\|_{L^2}$ 的增长速率至多为 $\langle t \rangle^{\gamma/(2-\gamma)}$，而 $\|\langle x \rangle^{\gamma/2} u(t)\|_{L^2}$ 的增长速率类似。
• 当 $\lambda < 0$ 时，$\|\nabla u(t)\|_{L^2}$ 与 $\|\langle x \rangle^{\gamma/2} u(t)\|_{L^2}$ 均在时间上一致有界。
• 当 $\gamma = 2$ 时，方程存在显式解，证实了在二次增长下系统的可积性。
• 当 $\gamma \in (0,1]$ 时，$\Sigma^{1,\gamma/2}$ 中的全局适定性无条件成立，无需动量守恒，这是由于抽象框架中更强的正则性。