[论文解读] On Fractional Schrodinger Equations in sobolev spaces

Younghun Hong, Yannick Sire|arXiv (Cornell University)|Jan 7, 2015

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

一句话总结

本文在Sobolev空间 $ H^s $ 中建立了分数阶非线性薛定谔方程的局部适定性与不适定性，利用Strichartz估计和函数不等式。证明了当 $ s \geq \max(s_c, s_g, 0) $ 时适定性成立，其中 $ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $ 且 $ s_g = \frac{1-\sigma}{2} $，并在 $ H^s $ 中对 $ s \in (s_c, 0) $ 证明了不适定性，通过新颖地运用伪伽利略不变性构造反例。

ABSTRACT

Let $σ\in(0,1)$ with $σ eq\frac{1}{2}$. We investigate the fractional nonlinear Schrödinger equation in $\mathbb R^d$: $$i\partial_tu+(-Δ)^σu+μ|u|^{p-1}u=0,\, u(0)=u_0\in H^s,$$ where $(-Δ)^σ$ is the Fourier multiplier of symbol $|ξ|^{2σ}$, and $μ=\pm 1$. This model has been introduced by Laskin in quantum physics \cite{laskin}. We establish local well-posedness and ill-posedness in Sobolev spaces for power-type nonlinearities.

研究动机与目标

• 在 $ \mathbb{R}^d $ 中为分数阶非线性薛定谔方程建立全面的适定性与不适定性理论，其中 $ \sigma \in (0,1) \setminus \{\frac{1}{2}\} $。
• 解决分数阶拉普拉斯算子在Strichartz估计中导数损失的挑战，且不依赖Bourgain空间。
• 在亚临界与临界情形下建立 $ H^s $ 中的局部适定性，并在临界情形下建立小初值散射性。
• 在 $ H^s $ 中证明 $ s \in (s_c, 0) $ 时的不适定性，将连续依赖性的失效扩展至标度临界阈值以下。
• 引入并利用“伪伽利略不变性”构造不适定性的反例，克服当 $ \sigma \neq 1 $ 时精确伽利略对称性的缺失。

提出的方法

• 在 $ \mathbb{R}^d $ 中使用标准Strichartz估计和函数不等式，避免使用Bourgain空间。
• 引入两个临界指数：$ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $（标度临界）和 $ s_g = \frac{1-\sigma}{2} $（伪伽利略临界）。
• 提出一种新方法以在合适函数空间中控制非线性项，改进[CKS+08]的估计，以抵消Strichartz估计中的导数损失。
• 利用基于伪伽利略变换的去相干引理，构造初始数据：其 $ H^s $-范数很小，但随时间演化产生显著解发散。
• 采用非线性迭代论证以控制 $ H^k $ 中扰动的演化，整合来自 $ O(\nu^\delta) $ 的误差项。

实验结果

研究问题

• RQ1 分数阶NLS在 $ H^s $ 中对哪些正则性指标 $ s $ 实现局部适定性？
• RQ2 在 $ H^s $ 中不适定性的精确阈值是什么？它与 $ s_c $ 和 $ s_g $ 的关系如何？
• RQ3 当 $ \sigma \neq 1 $ 时，精确伽利略不变性的缺失如何影响适定性理论？
• RQ4 是否可在标度临界情形下建立小初值散射性？对 $ p $ 和 $ d $ 的条件是什么？
• RQ5 Strichartz估计中导数损失在多大程度上限制了适定性理论？如何克服这一限制？

主要发现

• 在 $ H^s $ 中，当 $ s \geq \max(s_c, s_g, 0) $ 时，局部适定性成立，其中 $ s_c = \frac{d}{2} - \frac{2\sigma}{p-1} $ 且 $ s_g = \frac{1-\sigma}{2} $。
• 在临界情形下建立了小初值散射性：当 $ d = 1 $ 时 $ p > 5 $，当 $ d \geq 2 $ 时 $ p > 3 $，且满足 $ \|u_0\|_{H^{s_c}} < \delta $，其中 $ \delta > 0 $。
• 在 $ d $、$ \sigma $ 和 $ p $ 满足一定条件（包括 $ \sigma > \frac{d}{4} $ 且若 $ p $ 非奇整数则 $ p \geq k+1 $）下，证明了在 $ H^s $ 中 $ s \in (s_c, 0) $ 时的不适定性。
• 不适定性证明依赖于基于伪伽利略变换的去相干引理，这些变换虽非方程的对称性，但足以引发解的发散。
• 反例构造表明，具有任意小 $ H^s $-范数的解可在有限时间内发散，从而在 $ s \in (s_c, 0) $ 时破坏连续依赖性。
• 不适定性结果并非最优，因为预期不适定性应可下探至 $ s_g = \frac{1-\sigma}{2} $，但该问题目前仍为开放问题。