[论文解读] The Cubic Szeg\h{o} Equation with a Linear Perturbation

Haiyan Xu|arXiv (Cornell University)|Aug 6, 2015

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

一句话总结

本文研究带有线性扰动的立方 Szeg€¶ 方程，通过涉及平移 Hankel 算子 $K_u$ 的 Lax 对结构证明其完全可积。当 $\alpha = 0$ 时，解在 $H^s$ 中保持有界（$s > 1/2$）；但当 $\alpha > 0$ 时，某些初值导致 Sobolev 范数呈指数增长，表明能量级联与弱湍流现象。

ABSTRACT

We consider the following Hamiltonian equation on the $L^2$ Hardy space on the circle $S^1$ , $$i\partial\_ t u = Π(|u|^ 2 u) + α(u|1) , α\in\mathbb{R} ,$$ where $Π$ is the Szegő projector. The above equation with $α= 0$ was introduced by G{é}rard and Grellier as an important mathematical model [5, 7, 3]. In this paper, we continue our studies started in [22], and prove our system is completely integrable in the Liouville sense. We study the motion of the singular values of the related Hankel operators and find a necessary condition of norm explosion. As a consequence, we prove that the trajectories of the solutions will stay in a compact subset, while more initial data will lead to norm explosion in the case $α>0$.

研究动机与目标

• 研究线性扰动 $\alpha(u|1)$ 下立方 Szeg€¶ 方程的动力学行为，扩展 Gérard 与 Grellier 的可积模型。
• 确定扰动系统在 Liouville 意义下是否仍完全可积，特别是通过分析 Lax 对结构。
• 识别导致 $L^2$-范数或 Sobolev 范数爆炸的初值条件，尤其关注 $\alpha > 0$ 的情形。
• 探索导致 Sobolev 范数呈指数增长的初值的普遍性，表明弱湍流现象。
• 考察 Hankel 算子奇异值在刻画解行为与能量级联中的作用。

提出的方法

• 利用 Lax 对结构 $(K_u, C_u)$，其中 $K_u = T_z^* H_u$ 且 $C_u = \frac{i}{2}K_u^2 - i T_{|u|^2}$，证明 $K_u^2$ 的谱保持不变。
• 应用平移 Hankel 算子 $K_u$，推导出 $K_{u(t)}$ 与 $K_{u_0}$ 的酉等价性，表明谱在时间演化下保持不变。
• 通过分析 $s > 1/2$ 时 $\|u\|_{H^s}$ 的增长，研究能量级联机制，利用 Blaschke 乘积表示解。
• 采用变量替换 $\widetilde{u}(z) = u(z\chi(z))$，将方程转化为便于分析奇点与增长的形式。
• 使用估计式 $\| (1 - p\Psi)^{-1} \|_{H^s} \gtrsim (1 - |p|)^{-s - 1/2}$，该式源自 $H^s$-范数表示，适用于 Blaschke 乘积 $\Psi$。
• 基于 $|c|/(1 - |p|)^{s+1/2}$ 的缩放关系，通过渐近行为 $\mathrm{e}^{C_{\alpha}(2s-1)|t|}$ 证明 $\|u\|_{H^s}$ 呈指数增长。

实验结果

研究问题

• RQ1 带有线性扰动 $\alpha(u|1)$ 的立方 Szeg€¶ 方程是否在 Liouville 意义下完全可积？
• RQ2 何种初值条件会导致 $s > 1/2$ 时 $H^s$-范数爆炸？
• RQ3 $\alpha > 0$ 的存在如何影响系统的长期动力学与能量级联？
• RQ4 Sobolev 范数的增长是否可量化？对于 $\alpha > 0$，其是否通常呈指数增长？
• RQ5 Hankel 算子 $H_u$ 的奇异值在刻画解轨迹与潜在爆破现象中起何作用？

主要发现

• 当 $\alpha \in \mathbb{R}$ 时，扰动后的立方 Szeg€¶ 方程在 $H^{1/2}_+$ 上整体适定，光滑初值产生 $C^\infty$ 解。
• 系统通过 Lax 对 $(K_u, C_u)$ 完全可积，确保 $K_u^2$ 的谱守恒。
• 当 $\alpha > 0$ 时，存在初值使得解的 $H^s$-范数随时间呈指数增长，增长速率为 $\mathrm{e}^{C_{\alpha}(2s-1)|t|}$（$s > 1/2$）。
• 范数爆炸与 $H^s$-范数 $\|1/(1 - p z \chi(z))\|_{H^s}$ 的增长相关，其缩放行为为 $|c| / (1 - |p|)^{s + 1/2}$，而由于 $|c| \sim (1 - |p|)^{1/2 - s}$，该量呈指数增长。
• 通过 $u(t,z) = b(t) + c(t) z \chi(z)/(1 - p(t) z \chi(z))$ 构造的解 $\widetilde{u}$ 在 $s > 1/2$ 时表现出 $H^s$-范数的指数增长，证实弱湍流现象。
• 构造解满足 $L_1(u) = \frac{1}{2}(\|u\|_{L^4}^4 - \|u\|_{L^2}^4) - \alpha(\|u\|_{L^2}^2 - |(u|1)|^2) = 0$，表明在变换下存在守恒结构。