[论文解读] Well-posedness and Ill-posedness for the cubic fractional Schrödinger equations

Yonggeun Cho, Gyeongha Hwang+2 more|arXiv (Cornell University)|Nov 1, 2013

Advanced Mathematical Physics Problems参考文献 8被引用 10

一句话总结

本文通过在 Bourgain 的 $X^{s,b}$ 空间中使用三线性估计，建立了当 $\alpha \in (1,2)$ 时，1D 三次分数阶薛定谔方程在 $H^s$ 中局部适定性，其中 $s \geq \frac{2-\alpha}{4}$。此外，本文证明了在 $\frac{2-3\alpha}{4(\alpha+1)} < s < \frac{2-\alpha}{4}$ 的 $H^s$ 中不适定性，表明流映射不是局部一致连续的，从而确立了正则性阈值的最优性。

ABSTRACT

We study the low regularity well-posedness of the 1-dimensional cubic nonlinear fractional Schrödinger equations with Lévy indices $1 &lt; α&lt; 2$. We consider both non-periodic and periodic cases, and prove that the Cauchy problems are locally well-posed in $H^s$ for $s \geq \frac {2-α}4$. This is shown via a trilinear estimate in Bourgain's $X^{s,b}$ space. We also show that non-periodic equations are ill-posed in $H^s$ for $\frac {2 - 3α}{4(α+ 1)} &lt; s &lt; \frac {2-α}4$ in the sense that the flow map is not locally uniformly continuous.

研究动机与目标

• 在 $s \geq \frac{2-\alpha}{4}$ 时，建立 1D 三次分数阶薛定谔方程在低正则性 Sobolev 空间 $H^s$ 中的局部适定性。
• 通过分析三线性估计中的共振相互作用，确定局部适定性的最优正则性阈值。
• 在 $H^s$ 中证明 $s < \frac{2-\alpha}{4}$ 时的不适定性，特别地在范围 $\frac{2-3\alpha}{4(\alpha+1)} < s < \frac{2-\alpha}{4}$ 内，通过流映射一致连续性的失败来证明。
• 更正文献 [10] 中关于 $L^2$ 初始数据的全局适定性结果，表明其依赖于一个无效的三线性估计。

提出的方法

• 使用 Bourgain 的 $X^{s,b}$ 空间框架来分析具有三次非线性的分数阶薛定谔方程的柯西问题。
• 在周期与非周期情形下，建立三线性估计 $\|uvw\|_{X^{s,b-1}} \lesssim \|u\|_{X^{s,b}}\|v\|_{X^{s,b}}\|w\|_{X^{s,b}}$。
• 将 Tao 的二元分解方法适配于加权 $L^2$ 空间中的多线性估计，以处理分数阶拉普拉斯情形。
• 通过频率局部化与相空间分析构造反例，以证明在阈值 $s = \frac{2-\alpha}{4}$ 以下的不适定性。
• 使用 $u^\lambda(t,x) = \lambda u(\lambda^\alpha t, \lambda x)$ 的尺度变换，将全局解设定下的不适定性转移至原方程。
• 应用引理 5.4 来控制尺度变换下的 $H^s$ 范数，特别是针对 $s < 0$ 的情形，结合频率局部化与时间区间迭代。

实验结果

研究问题

• RQ1 1D 三次分数阶薛定谔方程的柯西问题在 $s \geq \frac{2-\alpha}{4}$ 的 $H^s$ 中是否局部适定？
• RQ2 局部适定性的最优正则性阈值是什么？该阈值是否最优？
• RQ3 当 $s < \frac{2-\alpha}{4}$ 时，方程是否不适定？如果是，以何种意义？
• RQ4 当 $s < \frac{2-\alpha}{4}$ 时，三线性估计的失效是否意味着不适定性？如何证明？
• RQ5 文献 [10] 中关于 $L^2$ 初始数据的全局适定性声称是否成立？其论证中的缺陷是什么？

主要发现

• 在非周期与周期情形下，1D 三次分数阶薛定谔方程在 $s \geq \frac{2-\alpha}{4}$ 的 $H^s$ 中是局部适定的。
• 正则性阈值 $s = \frac{2-\alpha}{4}$ 是最优的，因为当 $s < \frac{2-\alpha}{4}$ 时，三线性估计由于强烈的高–高–高到高频率共振相互作用而失效。
• 在 $\frac{2-3\alpha}{4(\alpha+1)} < s < \frac{2-\alpha}{4}$ 的 $H^s$ 中，方程是不适定的，且流映射不是局部一致连续的。
• 通过构造涉及频率局部化解与尺度变换的反例来证明不适定性，表明初始数据的微小扰动可在 $H^s$ 中导致解的巨大差异。
• 该证明推翻了文献 [10] 中关于 $L^2$ 初始数据的全局适定性声称，因为其中关键的三线性估计在 $s=0$ 处不成立。
• 在所选尺度下，尺度化解的 $H^s$ 范数保持有界于 $\varepsilon$，而解之间的差异则增长至 $\gtrsim \varepsilon$，从而确认了在指定范围内的不适定性。