[论文解读] Continuous Dependence of Cauchy Problem For Nonlinear Schrödinger Equation in $H^{s}$

Wei Dai, Weihua Yang+1 more|arXiv (Cornell University)|Sep 10, 2010

Advanced Mathematical Physics Problems参考文献 16被引用 3

一句话总结

该论文在 $H^s(\r^N)$ 中建立了非线性薛定谔方程解的连续依赖性，其中 $s > \text{max}\{1, N/2\}$，在 $H^s$-次临界和临界非线性项属于类 $\nc(\bar{\alpha},s)$ 的条件下。通过使用 Strichartz 估计、不动点论证以及改进的 Sobolev 和 Hölder 不等式，证明了当非线性项为 $C^{[s]+2}$ 时，解流在 $H^s$ 中具有局部利普希茨连续性，否则为连续依赖性，从而解决了关于流映射中 $\bar{\varepsilon} = 0$ 正则性的一个长期悬而未决的问题。

ABSTRACT

We consider the Cauchy problem for the nonlinear Schrödinger equation $i \partial_{t}u+ Δu=λ_{0}u+λ_{1}|u|^αu$ in $\mathbb{R}^{N}$, where $λ_{0},λ_{1}\in\mathbb{C}$, in $H^s$ subcritical and critical case: $0

研究动机与目标

• 解决一个长期悬而未决的问题：非线性薛定谔方程的解流在 $H^s$ 中是否连续，其中 $\bar{\varepsilon} = 0$，即在 $H^s$-范数本身中。
• 为非线性项 $g_1(u) = \lambda_1 |u|^{\alpha}u$ 建立在 $1 < s < N/2$ 或 $s \geq N/2$ 时 $H^s$ 中连续依赖性的精确条件。
• 通过改进 Strichartz 和 Sobolev 空间中的估计，将已知的 $H^{s-\varepsilon}$ 连续依赖性结果推广至完整的 $H^s$-连续性。
• 为柯西问题在类 $\nc(\alpha, s)$ 下提供 $H^s$ 中连续依赖性的完整证明，包括临界情况 $\alpha = 4/(N-2s)$。
• 阐明更高阶正则性（$C^{[s]+2}$）在实现初始数据在 $H^s$ 中解映射的局部利普希茨依赖性中的作用。

提出的方法

• 在 $\rr^N$ 上建立非线性薛定谔方程 $i\partial_t u + \Delta u = \lambda_0 u + \lambda_1 |u|^\alpha u$ 的柯西问题，初始数据属于 $H^s(\rr^N)$，其中 $s > \text{max}\{1, N/2\}$。
• 应用杜哈梅公式将偏微分方程转化为积分方程：$u(t) = e^{it\Delta}\phi - i\int_0^t e^{i(t-\tau)\Delta} g(u(\tau)) d\tau$。
• 在适定对 $(q,r)$ 的空间 $L^q((-T,T), B^{s}_{r,2}(\rr^N))$ 中使用 Strichartz 估计来控制解的范数。
• 利用改进的 Sobolev 和 Hölder 不等式来估计差值 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)}$，依赖于类 $\nc(\alpha, s)$ 和至多 $[s]+1$ 阶导数的行为。
• 应用 Schauder 型估计和插值方法，控制 $g_1(u_n) - g_1(u)$ 的高阶导数差值的 $L^2$-范数，特别是 $\|\Delta_y \partial_x^{[s]}(g_1(u_n) - g_1(u))\|_{L^2}$。
• 在 $L^\infty((-T,T), H^s)$ 的球内使用不动点论证，其估计依赖于 $\|\varphi_n - \varphi\|_{H^s}$，以证明当 $n \to \infty$ 时 $\|u_n - u\|_{L^\infty(I, H^s)} \to 0$，前提是 $T$ 足够小。

实验结果

研究问题

• RQ1 对于 $s > \text{max}\{1, N/2\}$，非线性薛定谔方程的解流是否能在 $H^s(\rr^N)$ 中连续，且收敛性在 $H^s$-范数中而非 $H^{s-\varepsilon}$ 中？
• RQ2 非线性项 $g_1(u) = \lambda_1 |u|^\alpha u$ 的何种正则性条件能确保在 $H^s$ 中的连续依赖性？
• RQ3 当非线性项为 $C^{[s]+2}$ 时，解映射在 $H^s$ 中是否为局部利普希茨连续的？其与 $H^{s-\varepsilon}$-连续情况相比如何？
• RQ4 在类 $\nc(\alpha, s)$ 下，差值 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)}$ 的估计行为如何，特别是当 $g_1$ 不属于 $C^{[s]+2}$ 时？
• RQ5 能否通过迭代局部结果，在紧致时间区间上统一建立解在 $L^\infty((-T,T), H^s)$ 中的收敛性？

主要发现

• 解流在 $H^s(\rr^N)$ 中是连续的，其中 $s > \text{max}\{1, N/2\}$，且收敛性在 $L^\infty((-T,T), H^s)$ 中成立，从而解决了标准连续依赖性结果中 $\varepsilon = 0$ 的开放问题。
• 若非线性项 $g_1$ 属于 $C^{[s]+2}(\mathbb{C}, \mathbb{C})$，则解映射从 $H^s(\rr^N)$ 到 $L^\infty((-T,T), H^s(\rr^N))$ 是局部利普希茨连续的。
• 对于一般 $g_1$ 属于类 $\nc(\alpha, s)$ 的情况，即使没有 $C^{[s]+2}$ 正则性，只要非线性项满足定义 1.1 中的导数有界条件，解流在 $H^s$ 中仍为连续的。
• 关键估计 $\|g_1(u_n) - g_1(u)\|_{L^1(I, H^s)} \leq \varepsilon_n + CT\|u_n - u\|_{L^\infty(I, H^s)}$ 成立，其中 $\varepsilon_n \to 0$，这表明在适当选择 $T$ 足够小时可推出收敛性。
• 该证明依赖于对差值 $\Delta_y \partial_x^{[s]}(g_1(u_n) - g_1(u))$ 的仔细分解，分为六项（$H_1$ 到 $H_6$），每一项均通过 Hölder 不等式、Sobolev 嵌入以及类 $\nc(\alpha, s)$ 条件进行估计。
• 通过迭代，该结果可推广至 $(-T_{\min}, T_{\max})$ 的任意紧致子区间，从而确认了解流在 $H^s$ 中的全局连续依赖性。