[论文解读] Nonuniqueness of weak solutions of the nonlinear Schroedinger equation

Michael Christ|ArXiv.org|Mar 17, 2005

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

一句话总结

本文在负 Sobolev 空间 $H^s$（$s < 0$）中建立了具有三次或二次非线性项的一维周期非线性薛定谔方程弱解的非唯一性。通过引入一个修正的非线性项 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$，该非线性项确保了分布意义上的非线性表达式有定义，作者在 $C^0([0,T], H^s)$ 中构造了初始数据恒为零的非平凡解，表明即使在弱解类中，对于负正则性，唯一性也失效。

ABSTRACT

Generalized solutions of the Cauchy problem for the one-dimensional periodic nonlinear Schrödinger equation, with certain nonlinearities, are not unique. For any $s&lt;0$ there exist nonzero generalized solutions varying continuously in the Sobolev space $H^s$, with identically vanishing initial data.

研究动机与目标

• 研究在标准适定性理论失效的负 Sobolev 空间 $H^s$（$s < 0$）中，周期非线性薛定谔方程弱解的无条件唯一性。
• 解决在 $H^s$（$s < 0$）中对分布而言，$|u|^2u$ 等非线性项的解释模糊问题，此时点态乘积无定义。
• 构造非线性项的规范解释，使得修正方程有良好定义，并允许构造具有零初始数据的弱解。
• 证明即使在该规范解释下，解仍不唯一，从而在 $s < 0$ 时确立弱解类中的非唯一性。
• 将非唯一性结果推广至具有二次非线性项（如 $u^2$ 或 $|u|^2 - \mu(|u|^2)$）的方程，在相同的负正则性范围内。

提出的方法

• 引入修正非线性项 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$，其中 $\mu(f) = (2\pi)^{-1}\int_{\mathbb{T}} f(x)\,dx$，以稳定 $H^s$（$s < 0$）中分布的非线性表达式。
• 通过极限过程定义弱解：对一列傅里叶截断算子 $({\mathcal{P}}_N)$，若 $\lim_{N\to\infty} \mathbf{N}({\mathcal{P}}_N u)$ 在 $\mathcal{D}'((0,1)\times\mathbb{T})$ 中收敛，则称 $\mathbf{N}(u)$ 存在。
• 利用基于修正方程的非线性迭代格式，在 $C^0([0,1], \ell^2_s)$ 中构造一组近似解 $x^{(n)}$，其初始数据为零。
• 通过精心选择的傅里叶模 $S^\dagger$ 进行频率局域化，生成共振相互作用，从而从零初始数据产生非平凡解。
• 建立非线性项 $\mathbf{N}(x^{(n)})$ 在 $C^{-1}([0,1], \ell^2_s)$ 中的收敛性，以及解序列 $x^{(n)}$ 在 $C^0([0,1], \ell^2_s)$ 中的收敛性，从而得到满足 $x(t) = \int_0^t \mathbf{N}(x(s))\,ds$ 的极限解。
• 通过 $\widehat{u}(t,n) = e^{-in^2 t} x_n(t)$ 将解映射回物理空间，得到弱解 $u \in C^0([0,T], H^s)$，且满足 $u(0,\cdot) \equiv 0$。

实验结果

研究问题

• RQ1 在负 Sobolev 空间 $H^s$（$s < 0$）中，非线性薛定谔方程是否可能存在初始数据为零的非平凡弱解？
• RQ2 在 $H^s$（$s < 0$）中，$|u|^2u$ 这类非线性项是否对分布有良好定义？若可定义，能否通过规范解释建立一致的弱解理论？
• RQ3 引入修正非线性项 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 是否能恢复足够的正则性，以在负 Sobolev 空间中保证弱解的存在性与唯一性？
• RQ4 对于修正方程，即使在修正非线性项下，是否仍能在 $C^0([0,T], H^s)$（$s < 0$）中建立弱解的非唯一性？
• RQ5 该非唯一性结果能否推广至具有二次非线性项（如 $u^2$、$\bar{u}^2$ 或 $|u|^2 - \mu(|u|^2)$）的方程，在相同的负正则性范围内？

主要发现

• 对任意 $s < 0$，存在非平凡弱解 $u \in C^0([0,T], H^s)$，满足修正非线性薛定谔方程，且初始数据恒为零 $u(0,\cdot) \equiv 0$。
• 修正非线性项 $\mathbf{N}(u) = (|u|^2 - 2\mu(|u|^2))u$ 通过傅里叶截断的极限过程，确保了在 $H^s$（$s < 0$）中分布意义下的非线性项有良好定义且具有规范性。
• 通过迭代格式构造的解在 $C^0([0,1], \ell^2_s)$ 中收敛，其非线性项在 $C^{-1}([0,1], \ell^2_s)$ 中收敛，从而得到满足积分方程 $x(t) = \int_0^t \mathbf{N}(x(s))\,ds$ 的解。
• 尽管修正方程具有适定性，且在弱意义下对初始数据具有一致连续依赖性，但非唯一性仍出现，表明即使在有利条件下，唯一性也失效。
• 该结果可推广至具有二次非线性项（如 $u^2$、$\bar{u}^2$ 和 $|u|^2 - \mu(|u|^2)$）的方程，在所有 $s < 0$ 情况下均建立类似非唯一性。
• 该构造依赖于 $S^\dagger$ 中高频模之间的共振频率相互作用，通过精心调节，实现从零初始数据生成非平凡解，同时在所需拓扑中保持收敛性。