[论文解读] Higher order energy conservation and global wellposedness of solutions for Gross-Pitaevskii hierarchies

Thomas Chen, Nataša Pavlović|arXiv (Cornell University)|Jun 16, 2009

Advanced Mathematical Physics Problems参考文献 18被引用 4

一句话总结

本文在 $d$ 维空间中引入了 Gross-Pitaevskii (GP) 层次方程的高阶能量泛函，证明了在能量次临界和 $L^2$ 次临界聚焦与非聚焦情形下这些泛函的守恒性。通过利用这些泛函以及针对密度矩阵的广义 Sobolev-Gagliardo-Nirenberg 不等式，作者建立了先验 $H^1$ 估计，并证明了 Klainerman-Machedon 与 Erd\'os-Schlein-Yau 所研究空间中正半定解的全局适定性。

ABSTRACT

We consider the cubic and quintic Gross-Pitaevskii (GP) hierarchies in $d$ dimensions, for focusing and defocusing interactions. We introduce new higher order energy functionals and prove that they are conserved for solutions of energy subcritical defocusing, and $L^2$ subcritical (de)focusing GP hierarchies, in spaces also used by Erdös, Schlein and Yau in \cite{esy1,esy2}. By use of this tool, we prove a priori $H^1$ bounds for positive semidefinite solutions in those spaces. Moreover, we obtain global well-posedness results for positive semidefinite solutions in the spaces studied in the works of Klainerman and Machedon, \cite{klma}, and in \cite{chpa2}. As part of our analysis, we prove generalizations of Sobolev and Gagliardo-Nirenberg inequalities for density matrices.

研究动机与目标

• 在能量与 $L^2$ 次临界条件下，建立 $d$ 维 Gross-Pitaevskii 层次方程的全局适定性。
• 为正半定解引入并证明高阶能量泛函的守恒性。
• 利用新引入的能量泛函与广义型 Sobolev 不等式，推导出先验 $H^1$ 估计。
• 将适定性框架扩展至包含次临界区域中聚焦与非聚焦相互作用的情形。
• 将 Sobolev 与 Gagliardo-Nirenberg 不等式推广至 GP 层次方程背景下密度矩阵的设定。

提出的方法

• 定义涉及 $m$-体边际密度矩阵的高阶能量泛函 $\langle \mathcal{K}^{(m)} \rangle_\Gamma$。
• 证明在能量次临界与 $L^2$ 次临界区域中，这些泛函对解的守恒性。
• 利用守恒性，通过具有指数衰减特性的加权范数 $\|\Gamma\|_{\mathfrak{H}_\xi^1}$ 推导出先验 $H^1$ 估计。
• 利用先前工作的定理（如定理 7.1）中的归纳与迭代存在性论证，将局部解逐步延拓为全局解。
• 建立适用于密度矩阵的广义 Sobolev 与 Gagliardo-Nirenberg 不等式，以控制层次方程中的非线性项。
• 利用高阶能量的守恒性，传播正则性，确保在指定函数空间中解的唯一性与全局存在性。

实验结果

研究问题

• RQ1 能否在 $d$ 维 GP 层次方程中构造出高阶能量泛函，并证明其守恒性？
• RQ2 这些泛函的守恒性是否能导出正半定解的先验 $H^1$ 估计？
• RQ3 能否在能量与 $L^2$ 次临界区域中，为聚焦与非聚焦 GP 层次方程建立全局适定性？
• RQ4 Sobolev 与 Gagliardo-Nirenberg 不等式如何推广至 GP 层次方程中密度矩阵的设定？
• RQ5 加权范数 $\|\Gamma\|_{\mathfrak{H}_\xi^1}$ 在控制解随时间增长方面起到何种作用？

主要发现

• 在能量次临界与 $L^2$ 次临界区域中，对所有 $m \in \mathbb{N}$，高阶能量泛函 $\langle \mathcal{K}^{(m)} \rangle_\Gamma$ 均守恒。
• 通过不等式 $\|\Gamma(t)\|_{\mathfrak{H}_\xi^1} \leq \sum_{m \in \mathbb{N}} (2\xi)^m \langle \mathcal{K}^{(m)} \rangle_{\Gamma(t)} \leq \|\Gamma(0)\|_{\mathfrak{H}_{\xi'}^1}$ 建立了先验 $H^1$ 估计，对所有 $t \in \mathbb{R}$ 成立。
• 在 Klainerman 与 Machedon 所研究的空间中，以及 Erd\'os-Schlein-Yau 的框架下，正半定解的全局适定性已得证。
• 高阶能量的守恒性使得可通过归纳法将局部解逐步延拓为全局解。
• 推导出适用于密度矩阵的广义 Sobolev 与 Gagliardo-Nirenberg 不等式，从而实现对层次方程中非线性项的有效控制。
• 当 $p < \frac{4}{d-2}$（能量次临界）且 $\mu = +1$（非聚焦），或当 $p < \frac{4}{d}$（$L^2$ 次临界）且 $\mu < 0$（聚焦）且 $|\mu|$ 较小时，全局存在性在所述条件下成立。