[论文解读] On the Cauchy- and periodic boundary value problem for a certain class of derivative nonlinear Schroedinger equations

Axel Gruenrock|ArXiv.org|Jun 26, 2000

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

一句话总结

本文建立了涉及复共轭波函数空间导数的幂型非线性项的一类导数型非线性薛定谔方程的柯西问题与周期边界值问题的局部适定性。通过使用 $X^{/pm}_{s,b}$ 和 $Y_s$ 空间中的傅里叶限制范数方法，证明了在正则性 $s > s_c = \frac{n}{2} - \frac{1}{m-1}$ 下的适定性，且在一维情况下对二次非线性项（$m=2$，$n=1$）实现了全局 $L^2$-适定性。

ABSTRACT

The Cauchy- and periodic boundary value problem for the nonlinear Schroedinger equations in $n$ space dimensions [u_t - iΔu = ( abla \bar{u})^β, |β|=m \ge 2, u(0)=u_0 \in H^{s+1}_x] is shown to be locally well posed for $s > s_c := \frac{n}{2} - \frac{1}{m-1}$, $s \ge 0$. In the special case of space dimension $n=1$ a global $L^2$-result is obtained for NLS with the nonlinearity $N(u)= \partial_x (\bar{u} ^2)$. The proof uses the Fourier restriction norm method.

研究动机与目标

• 建立导数型非线性薛定谔方程 $ u_t - i\Delta u = (\nabla \bar{u})^\beta $，其中 $ |\beta| = m \geq 2 $，的柯西问题与周期边界值问题的局部适定性。
• 确定在 $ H^{s+1}_x $ 或 $ H^s_x $ 中局部适定性的最优正则性阈值 $ s_c = \frac{n}{2} - \frac{1}{m-1} $，具体取决于公式设定。
• 将结果推广至非线性项 $ \partial_j(\bar{u}^m) $，并证明相同的正则性阈值依然适用。
• 证明在一维情况下，当 $ m=2 $，$ n=1 $ 时，利用 $ \|u(t)\|_{L^2} $ 的守恒性，可实现 $ L^2 $ 中的全局适定性。

提出的方法

• 采用傅里叶限制范数方法，利用通过空间与时间傅里叶变换定义的 $ X^{\pm}_{s,b} $ 空间，其范数涉及 $ \langle \xi \rangle^s \langle \tau \pm |\xi|^2 \rangle^b $。
• 引入辅助空间 $ Y_s $，其范数为 $ \| \langle \xi \rangle^s \langle \tau + |\xi|^2 \rangle^{-1} \mathcal{F}f \|_{L^2_\xi(L^1_\tau)} $，以控制非线性项。
• 在时间区间 $ I $ 上使用限制范数 $ X^{\pm}_{s,b}(I) $ 对解进行时间局部化。
• 在 $ X^{\pm}_{s,b} $ 和 $ Y_s $ 空间中应用多重线性估计以控制非线性项 $ \partial_j(\bar{u}^m) $，依赖于插值与频率局部化。
• 通过 $ \epsilon $-正则化技巧 $ \| \langle \tau + |\xi|^2 \rangle^{\epsilon} F_i \|_{L^2_{\xi\tau}} $ 处理 $ Y_s $ 范数中的奇点。
• 利用同构 $ \partial_x: \dot{H}^1_x \to L^2_x $ 将一维中 $ u \in L^2 $ 的 $ L^2 $-全局结果转移至 $ u \in \dot{H}^1_x $。

实验结果

研究问题

• RQ1 导数型非线性薛定谔方程 $ u_t - i\Delta u = (\nabla \bar{u})^\beta $，其中 $ |\beta| = m \geq 2 $，其局部适定性的最优正则性阈值 $ s $ 是什么？
• RQ2 在一维空间中，对于二次非线性项 $ \partial_x(\bar{u}^2) $，是否可实现 $ L^2 $ 中的全局适定性？
• RQ3 傅里叶限制范数方法如何扩展以处理阶数 $ m \geq 2 $ 的导数型非线性项？
• RQ4 $ Y_s $ 空间在周期与非周期情形下控制非线性项中起什么作用？
• RQ5 正则性阈值 $ s > \frac{n}{2} - \frac{1}{m-1} $ 是否最优？标度论证是否证实这一点？

主要发现

• 在 $ X^{+}_{s,b}([-T,T]) $ 中，对 $ u_t - i\Delta u = \partial_j(\bar{u}^m) $，当 $ s > s_c = \frac{n}{2} - \frac{1}{m-1} $，$ s \geq 0 $ 时，局部适定性成立，且 $ T = T(\|u_0\|_{H^s_x}) > 0 $。
• 当 $ m=2 $，$ n=1 $ 时，由于 $ \|u(t)\|_{L^2_x} $ 的守恒性，解在 $ C^0(\mathbb{R}, L^2_x) $ 中全局适定，即使 $ s=0 $ 亦成立。
• 解映射 $ u_0 \mapsto u $ 从 $ H^s_x $ 到 $ X^{+}_{s,b}([-T',T']) $ 局部利普希茨连续，对任意 $ T' < T $ 成立。
• 建立了 $ Y_s $ 范数估计 $ \| \prod_{i=1}^m v_i \|_{Y_{s+1}} \leq c T^\theta \prod_{i=1}^m \|v_i\|_{X^{-}_{s,1/2}} $，其中 $ s \in (s_c, \frac{n}{2}) $，且在 $ n=1, m \in \{3,4\} $ 情况下 $ s \leq \frac{1}{3} $。
• 通过频率分解与柯西-施瓦茨不等式，利用不等式 $ \langle \xi \rangle^2 \leq \langle \tau + |\xi|^2 \rangle + \sum_i \langle \tau_i - |\xi_i|^2 \rangle $ 证明了多重线性估计。
• 结果在如下意义下是最优的：标度论证表明 $ \|u_\lambda^0\|_{\dot{H}^{s_c}_x} $ 在标度下不变，表明 $ s_c $ 是临界阈值。