[论文解读] Local ill-posedness of the 1D Zakharov system

Justin Holmer|ArXiv.org|Feb 8, 2006

Advanced Mathematical Physics Problems参考文献 9被引用 38

一句话总结

本文在Ginibre-Tsutsumi-Velo确定的适定性范围之外，建立了1维Zakharov系统的Sobolev空间$H^k \times H^s$中的局部不适定性。通过使用频率局部化的初始数据并分析解映射的二阶导数，证明了当$s > 2k - \frac{1}{2}$时波分量$n$出现范数膨胀，当$s < -\frac{1}{2}$时Schr"odinger分量$u$出现相位去相干，从而证明了适定性阈值的最优性。

ABSTRACT

Ginibre-Tsutsumi-Velo (1997) proved local well-posedness for the Zakharov system for any dimension $d$, in the inhomogeneous Sobolev spaces $(u,n)\in H^k(\mathbb{R}^d) imes H^s(\mathbb{R}^d)$ for a range of exponents $k$, $s$ depending on $d$. Here we restrict to dimension $d=1$ and present a few results establishing local ill-posedness for exponent pairs $(k,s)$ outside of the well-posedness regime. The techniques employed are rooted in the work of Bourgain (1993), Birnir-Kenig-Ponce-Svanstedt-Vega (1996), and Christ-Colliander-Tao (2003) applied to the nonlinear Schroedinger equation.

研究动机与目标

• 在Ginibre-Tsutsumi-Velo建立的适定性范围之外，建立1维Zakharov系统在Sobolev空间$H^k \times H^s$中的局部不适定性。
• 证明适定性带中的边界线$s = 2k - \frac{1}{2}$和$s = -\frac{1}{2}$是最优的。
• 分析在适定性区域之外的指数对下，$H^k \times H^s \times H^{s-1}$拓扑中初始数据到解映射的连续性失效问题。
• 通过两种不同机制量化不适定性：当$s > 2k - \frac{1}{2}$时，$n$中出现范数膨胀；当$s < -\frac{1}{2}$时，$u$中出现相位去相干。

提出的方法

• 使用具有紧致傅里叶支撑的频率局部化初始数据序列$\phi_N$，以探测$H^k \times H^s$拓扑中的不适定性。
• 分析解映射$F$在零点的二阶导数$D^2F(0)$，以检测其无界性，从而表明一致连续性的失效。
• 采用沿射线$\gamma \mapsto \gamma (u_0, n_0, n_1)$测试解映射的方法，通过$\partial_\gamma^2 u|_{\gamma=0}$和$\partial_\gamma^2 n|_{\gamma=0}$提取$D^2F(0)$。
• 构造特定初始数据：当$s < -\frac{1}{2}$时，$\hat{u}_0$和$\hat{n}_0$分别在$-N$和$\pm(2N-1)$附近具有紧致支撑；当$s > 2k - \frac{1}{2}$时，$\hat{u}_0$在$\pm N$附近具有紧致支撑。
• 应用驻定相位法与卷积估计，以计算非线性相互作用中二阶扰动项的傅里叶变换。
• 依赖Bourgain（1993）、Birnir-Kenig-Ponce-Svanstedt-Vega（1996）以及Christ-Colliander-Tao（2003）在非线性Schr"odinger方程不适定性研究中的技术。

实验结果

研究问题

• RQ1 1维Zakharov系统在$H^k \times H^s$中，适定性阈值$s = 2k - \frac{1}{2}$是否最优？
• RQ2 当波数据$n_0, n_1$比Schr"odinger数据$u_0$更光滑时，即当$s > 2k - \frac{1}{2}$时，是否出现不适定性？
• RQ3 当波数据更不规则时，即当$s < -\frac{1}{2}$时，Schr"odinger分量$u$中的相位去相干是否可量化？
• RQ4 在适定性带之外的指数对下，$H^k \times H^s \times H^{s-1}$拓扑中初始数据到解映射是否一致连续？
• RQ5 当$k < 0$时，不适定性的失效是否可通过$n$中的范数膨胀或$u$中正则性损失来证明？

主要发现

• 当$0 < k < 1$且$s > 2k - \frac{1}{2}$，或$k \leq 0$且$s > -\frac{1}{2}$时，存在一列初始数据$\phi_N$满足$\|\phi_N\|_{H^k} \leq 1$，使得对所有$0 < t \leq T$和$N \geq c t^{-1}$，有$\|n_N(t)\|_{H^s} \geq c t N^{\alpha}$，从而证明了$n$中出现范数膨胀。
• 当$s < -\frac{1}{2}$时，二阶导数$\partial_\gamma^2 u|_{\gamma=0}(t)$满足$\|\partial_\gamma^2 u|_{\gamma=0}(t)\|_{H^k} \geq c(t) N^{-s - \frac{1}{2}}$，表明初始数据到解映射不具有一致连续性，且指示了$u$中的相位去相干。
• 当$s > 2k - \frac{1}{2}$时，二阶导数$\partial_\gamma^2 n|_{\gamma=0}(t)$满足$\|\partial_\gamma^2 n|_{\gamma=0}(t)\|_{H^s} \geq c(t) N^{s - (2k - \frac{1}{2})}$，证实了当波数据比Schr"odinger数据更光滑时，波分量中出现范数膨胀。
• 不适定性结果是最优的：边界线$s = 2k - \frac{1}{2}$和$s = -\frac{1}{2}$是最佳的，因为适定性区域恰好在这些线上结束。
• 分析确认，在区域$s > 2k - \frac{1}{2}$和$s < -\frac{1}{2}$中，$H^k \times H^s \times H^{s-1}$初始数据到解映射不具有一致连续性，从而证明了适定性带的最优性。
• 结果可推广至负$k$值，表明多种机制可共同导致不适定性，尽管方法仍能有效量化正则性失效。