[论文解读] A priori bounds and weak solutions for the nonlinear Schrödinger equation in Sobolev spaces of negative order

Michael Christ, J. Colliander+1 more|ArXiv.org|Dec 15, 2006

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

一句话总结

该论文为一维三次非线性薛定谔方程在负阶Sobolev空间 $H^s$ 中建立了先验估计，其中 $s > -\frac{1}{12}$，证明了即使初始数据大小任意，光滑解的 $H^s$ 范数在短时间区间内仍保持一致有界。此外，通过一种新颖的多重线性傅里叶分析方法，利用能量增量公式中的抵消效应，该研究构造了所有 $H^s$ 初始数据对应的弱解，属于 $C^0([0,T], H^s) \cap Y^{s,b}$。

ABSTRACT

Solutions to the Cauchy problem for the one-dimensional cubic nonlinear Schrödinger equation on the real line are studied in Sobolev spaces $H^s$, for $s$ negative but close to 0. For smooth solutions there is an {\em a priori} upper bound for the $H^s$ norm of the solution, in terms of the $H^s$ norm of the datum, for arbitrarily large data, for sufficiently short time. Weak solutions are constructed for arbitrary initial data in $H^s$.

研究动机与目标

• 为一维三次非线性薛定谔方程在 $s > -\frac{1}{12}$ 时建立光滑解的先验 $H^s$ 估计，尽管已知在 $s < 0$ 时 $H^s$ 中存在不适定性。
• 为任意 $H^s$ 初始数据在 $s > -\frac{1}{12}$ 时构造属于 $C^0([0,T], H^s) \cap Y^{s,b}$ 的弱解，克服了在 $s < 0$ 时解映射在 $H^s$ 中不连续的缺陷。
• 证明当 $s > -\frac{1}{12}$ 时，解映射在 $C^0(H^s)$ 中于零点连续，即使当 $s < -\frac{1}{2}$ 时其不具有一致连续性。
• 为负阶Sobolev空间中的弱解提供一种不依赖完全可积性的框架，适用于非可积的一般化情形。

提出的方法

• 将增量 $\|u(t)\|_{H^s}^2 - \|u_0\|_{H^s}^2$ 重写为 $u$ 的时空傅里叶变换的多重线性表达式，利用线性差中不存在的抵消效应。
• 利用 $X^{r,b}$ 和 $Y^{s,b}$ 函数空间，通过其傅里叶变换的绝对收敛积分表示来控制非线性项 $|u|^2u$。
• 引入依赖频率的权函数 $\varphi(\xi)$，满足 $\varphi(\xi) \leq \langle\xi\rangle^{2s'}$，其中 $s' \in (s,0)$，以实现高频控制的局部化并建立等度连续性。
• 通过使用初始数据逼近 $u_0 \in H^s$ 的解的等度连续族，应用极限论证，借助子列收敛得到 $C^0(H^s)$ 中的弱解。
• 建立不等式 $|\Phi_\varphi(t,u) - \Phi_\varphi(0,u)| \leq C\|u\|_{Y^{s,b}}^4$，其中 $s > -\frac{1}{12}$，该不等式可统一控制高频 $H^s$ 范数。
• 利用 $Y^{s,b}$ 在 $b > \frac{1}{2}$ 时连续嵌入 $C^0(H^s)$ 的事实，确保解在时间上取值于 $H^s$ 的连续性。

实验结果

研究问题

• RQ1 当 $s > -\frac{1}{12}$ 时，能否为一维三次非线性薛定谔方程解的 $H^s$ 范数建立先验估计，尽管在 $s < 0$ 时 $H^s$ 中存在不适定性？
• RQ2 当 $s > -\frac{1}{12}$ 时，能否为任意 $H^s$ 初始数据构造属于 $C^0([0,T], H^s) \cap Y^{s,b}$ 的弱解，即使在 $s < 0$ 时解映射在 $H^s$ 中不连续？
• RQ3 当 $s > -\frac{1}{12}$ 时，解算子是否在 $C^0(H^s)$ 中于零点保持连续，即使在 $s < -\frac{1}{2}$ 时其不具有一致连续性？
• RQ4 $Y^{s,b}$ 空间框架能否用于定义弱解的自然概念，使得 $|u|^2u$ 在傅里叶空间中通过绝对收敛积分来解释？

主要发现

• 当 $s > -\frac{1}{12}$ 时，光滑解的 $H^s$ 范数在短时间区间 $[0,T]$ 内保持一致有界，其中 $T$ 与初始数据大小的负幂次成比例。
• 对于 $r < s$ 且 $s > -\frac{1}{12}$，不等式 $|\|u(t)\|_{H^s}^2 - \|u_0\|_{H^s}^2| \leq C\|u\|_{X^{r,b}}^4$ 成立，多重线性傅里叶表达式中的抵消效应阻止了对解差值的连续性估计。
• 当 $s > -\frac{1}{12}$ 时，对所有 $H^s$ 初始数据，弱解存在于 $C^0([0,T], H^s) \cap Y^{s,b}$ 中，通过逼近和子列收敛方法构造。
• 高频 $H^s$ 范数得到统一控制：对任意 $\varepsilon > 0$，存在 $\delta > 0$ 和 $N < \infty$，使得当 $\|v_0 - u_0\|_{H^s} < \delta$ 时，对所有 $t \in [0,T]$，$\|v(t)\|_{H^s}^2$ 在 $|\xi| \geq N$ 上的限制小于 $\varepsilon$，从而确保等度连续性。
• 当 $s > -\frac{1}{12}$ 时，解映射在 $C^0(H^s)$ 中于零点连续，但未建立弱解构造的连续性或唯一性。
• 结果可推广至一维三次NLS的非可积向量值推广形式，只要保持 $H^0$ 范数守恒。