[论文解读] On the Cauchy problem of fractional Schrödinger equation with Hartree type nonlinearity

Yonggeun Cho, Gyeongha Hwang+2 more|arXiv (Cornell University)|Sep 26, 2012

Advanced Mathematical Physics Problems参考文献 15被引用 5

一句话总结

该论文通过 Strichartz 估计和守恒律，建立了具有 Hartree 型非线性的分数阶薛定谔方程解的局部与全局存在性。证明了当 $2\alpha < \gamma < n$ 时小初值全局存在性与散射；在临界正则性下，径向解在 $H^{\frac{\gamma-\alpha}{2}}$ 中全局存在，并在质量临界情形 $\gamma = \alpha$，$\lambda = -1$ 时获得一致范数有界性，条件为 $\|\varphi\|_{L^2} < \|Q\|_{L^2}/\|\psi\|_{L^\infty}^{1/2}$。此外，在某些条件下也建立了 $\lambda = -1$ 时的有限时间爆破。

ABSTRACT

We study the Cauchy problem for the fractional Schrödinger equation $$ i\partial_tu = (m^2-Δ)^\frac\alpha2 u + F(u) in \mathbb{R}^{1+n}, $$ where $ n \ge 1$, $m \ge 0$, $1 &lt; α&lt; 2$, and $F$ stands for the nonlinearity of Hartree type: $$F(u) = λ(\frac{ψ(\cdot)}{|\cdot|^γ} * |u|^2)u$$ with $λ= \pm1, 0

研究动机与目标

• 建立具有 Hartree 型非线性的分数阶薛定谔方程柯西问题解的局部与全局存在性。
• 从尺度与正则性角度分析临界与次临界情形，特别是 $\dot{H}^{\frac{\gamma-\alpha}{2}}$-次临界、临界与超临界空间。
• 利用 Strichartz 估计证明当 $2\alpha < \gamma < n$ 时小初值的全局存在性与散射。
• 在 $\gamma = \alpha$，$\lambda = -1$ 情形下，将质量临界全局存在性结果扩展至初值在 $L^2$ 中满足小性条件的情形。
• 研究聚焦情形（$\lambda = -1$）下的有限时间爆破，并推导紧支集初值解的矩估计。

提出的方法

• 通过酉群 $U(t) = e^{-it(m^2 - \Delta)^{\alpha/2}}$ 将问题表述为非线性积分方程。
• 应用 Strichartz 估计（2.1）、（2.2）以及（2.3）–（2.4），在 $L^p_t L^q_x$ 空间中控制非线性项，从而实现低正则性下的存在性结果。
• 利用质量与能量守恒推导解范数的统一有界性，尤其在质量临界情形下。
• 采用正则化方法与 $C([0,T^*); H^s)$ 中的压缩映射法证明局部存在性，并对光滑解保证能量守恒。
• 应用 Gronwall 不等式于 $|x|u(t)$ 与 $|x|\nabla u(t)$ 的矩估计，证明在 $x\varphi, |x|\nabla\varphi \in L^2$ 条件下，$\||x|u(t)\|_{L^2}$ 与 $\||x|\nabla u(t)\|_{L^2}$ 在时间上一致有界。
• 利用径向对称性与角向正则性，避免 Strichartz 估计中的正则性损失，从而实现临界正则性结果。

实验结果

研究问题

• RQ1 在 $\alpha$、$\gamma$、$\lambda$ 与 $\psi$ 满足何种条件下，具有 Hartree 非线性的分数阶薛定谔方程存在局部与全局解？
• RQ2 能否在 $2\alpha < \gamma < n$ 情形下建立小初值的全局存在性与散射？
• RQ3 全局存在的正则性阈值的精确值为何？是否可在 Strichartz 估计中避免正则性损失而达到该阈值？
• RQ4 当初始数据范数低于精确阈值时，质量临界情形（$\gamma = \alpha$，$\lambda = -1$）是否允许全局解存在？
• RQ5 在何种条件下解会表现出有限时间爆破，特别是聚焦情形（$\lambda = -1$）？

主要发现

• 在 $\|\varphi\|_{L^2} < \|Q\|_{L^2}/\|\psi\|_{L^\infty}^{1/2}$ 条件下，质量临界情形（$\gamma = \alpha$，$\lambda = -1$）的全局存在性得以建立，其中 $Q$ 是非线性椭圆方程的解。
• 通过无正则性损失的 Strichartz 估计，证明了当 $2\alpha < \gamma < n$ 时小初值的全局存在性与散射。
• 通过精细的 Strichartz 估计，在适当 $\alpha$ 与 $\gamma$ 条件下，证明了径向解在临界空间 $H^{\frac{\gamma-\alpha}{2}}$ 中的全局存在性。
• 矩估计表明，对于 $t \in [0, T^*)$，$\||x|u(t)\|_{L^2}$ 与 $\||x|\nabla u(t)\|_{L^2}$ 在时间上保持一致有界，且与 $m$ 无关。
• 在适当条件下，证明了 $\lambda = -1$ 时的有限时间爆破，表明聚焦区域存在不稳定性。
• 解范数在有限时间内对 $m$ 保持一致有界，从而可研究 $m \to 0$ 与 $m \to \infty$ 的极限情形。