[论文解读] Local Well and Ill Posedness for the Modified KdV Equations in Subcritical Modulation Spaces

Mingjuan Chen, Boling Guo|arXiv (Cornell University)|Nov 13, 2018

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

一句话总结

本文在子临界调制空间 $M^{1/4}_{2,q}({\mathbb{R}})$ 中建立了修正 KdV 方程的局部适定性，其中 $2 \leq q \leq \infty$，利用 $U^p$ 和 $V^p$ 空间处理非线性项。此外，本文证明了当 $s < 1/4$ 时，在 $M^s_{2,q}$ 中数据到解的映射不具有 $C^3$ 连续性，表明 $1/4$ 是最优正则性阈值，其结果超越了经典的 Sobolev 空间。

ABSTRACT

We consider the Cauchy problem of the modified KdV equation (mKdV). Local well-posedness of this problem is obtained in modulation spaces $M^{1/4}_{2,q}(\mathbb{R})$ $(2\leq q\leq\infty)$. Moreover, we show that the data-to-solution map fails to be $C^3$ continuous in $M^{s}_{2,q}(\mathbb{R})$ when $s&lt;1/4$. It is well-known that $H^{1/4}$ is a critical Sobolev space of mKdV so that it is well-posedness in $H^s$ for $s\geq 1/4$ and ill-posed (in the sense of uniform continuity) in $H^{s'}$ with $s'&lt;1/4$. Noticing that $M^{1/4}_{2,q} \subset B^{1/q-1/4}_{2,q}$ is a sharp embedding and $H^{-1/4}\subset B^{-1/4}_{2,\infty}$, our results contains all of the subcritical data in $M^{1/4}_{2,q}$, which contains a class of functions in $H^{-1/4}\setminus H^{1/4}$.

研究动机与目标

• 在 $2 \leq q \leq \infty$ 的条件下，建立修正 KdV 方程在调制空间 $M^{1/4}_{2,q}({\mathbb{R}})$ 中的局部适定性。
• 通过分析数据到解映射的连续性，确定适定性的最优正则性阈值。
• 通过使用调制空间而非经典 Sobolev 空间 $H^s$，将适定性理论扩展至 $H^{1/4}$ 之外，其中调制空间包含某些不属于 $H^{1/4}$ 但属于 $H^{-1/4}$ 的函数。
• 通过证明当 $s < 1/4$ 时出现不适定性，表明 $M^{1/4}_{2,q}$ 中正则性指标 $1/4$ 是最优的。

提出的方法

• 作者利用 $U^p$ 和 $V^p$ 空间通过三线性估计控制非线性项，借助其对偶性与有界性性质。
• 他们定义了解空间 $X^{1/4}_{q,A}$，并在时间依赖函数空间中使用压缩映射原理证明局部存在性与唯一性。
• 通过利用精确包含关系 $M^{1/4}_{2,q} \subset B^{1/q - 1/4}_{2,q}$ 建立适定性结果，该关系将调制空间与 Besov 空间联系起来。
• 对于不适定性结果，他们构造了一类特定的初始数据 $u_0 \in M^s_{2,q}$，其中 $s < 1/4$，其频率支集位于 $\pm N$ 附近的频率环形区域，以检验解映射的正则性。
• 他们计算了解映射的三阶 Fréchet 导数，并估计其在 $M^s_{2,q}$ 中的范数，表明当 $N \to \infty$ 时，该范数以 $N^{-2s + 1/2}$ 的速度增长，当 $s < 1/4$ 时违反了 $C^3$ 连续性。
• 证明依赖于具有驻相位特征的估计以及频率局部化，以控制三线性相互作用中的相位函数 $\Phi(\xi,\xi_1,\xi_2) = -3(\xi - \xi_1)(\xi - \xi_2)(\xi_1 + \xi_2)$。

实验结果

研究问题

• RQ1 修正 KdV 方程在调制空间 $M^{1/4}_{2,q}$ 中（$2 \leq q \leq \infty$）是否具有局部适定性？
• RQ2 在调制空间设定下，正则性阈值 $s = 1/4$ 是否为最优？还是适定性可进一步延拓至 $s < 1/4$？
• RQ3 当 $s < 1/4$ 时，数据到解的映射在 $M^s_{2,q}$ 中是否仍保持 $C^3$ 连续性，或因非线性不稳定性而失效？
• RQ4 调制空间能否捕捉超出临界 Sobolev 空间 $H^{1/4}$ 的初始数据，同时仍保证适定性？
• RQ5 调制空间中的适定性阈值与 Sobolev 空间中已知的 $H^{1/4}$-临界性相比如何？

主要发现

• 修正 KdV 方程在 $C([0,T]; M^{1/4}_{2,q}) \cap X^{1/4}_{q,A}([0,T])$ 中具有局部适定性，其中 $2 \leq q \leq \infty$，且 $T > 0$ 依赖于初始数据的范数。
• 在 $M^{1/4}_{2,q}$ 中正则性指标 $1/4$ 是最优的：当 $s < 1/4$ 时，$M^s_{2,q}$ 中的数据到解的映射在原点处不具有 $C^3$ 连续性。
• 不适定性结果对聚焦与非聚焦 mKdV 方程均成立，且当 $s < 1/4$ 时，通过频率局部化的初始数据序列可证明其 $C^3$ 正则性失效。
• 所构造的初始数据 $u_0$ 满足 $\|u_0\|_{M^s_{2,q}} \sim 1$，但导致 $\|u_3\|_{M^s_{2,q}} \gtrsim N^{-2s + 1/2}$，当 $N \to \infty$ 时，若 $s < 1/4$ 则该范数发散，从而违反 $C^3$ 连续性。
• 该结果表明 $M^{1/4}_{2,q}$ 包含不属于 $H^{1/4}$ 的函数，例如某些 $H^{-1/4}$ 函数，从而将适定性范围扩展至经典 Sobolev 空间之外。
• 精确嵌入关系 $M^{1/4}_{2,q} \subset B^{1/q - 1/4}_{2,q}$ 与包含关系 $\widehat{H^{q'}} \subset M^{1/4}_{2,q}$ 确认了结果的最优性与普遍性。