[论文解读] Nonlinear wave equation, nonlinear Riemann problem, and the twistor transform of Veronese webs

Ilya Zakharevich|ArXiv.org|Jun 4, 2000

Mathematics and Applications参考文献 5被引用 39

一句话总结

本文通过扭量变换，建立了三维Veronese束、满足 A+B+C=0 的三元组 (A,B,C) 参数化的非线性波动方程，以及非线性黎曼问题之间的几何对应关系。结果表明，这些非线性波动方程的解可约化为求解非线性黎曼问题，并通过一阶系统构造了方程之间的显式Bäcklund–Darboux变换，从而实现通过希尔伯特空间中的利普希茨常微分方程求解。

ABSTRACT

Veronese webs are rich geometric structures with deep relationships to various domains of mathematics. The PDEs which determine the Veronese web are overdetermined if dim >3, but in the case dim =3 they reduce to a special flavor of a non-linear wave equation. The symmetries embedded in the definition of a Veronese web reveal themselves as Bäcklund--Darboux transformations between these non-linear wave equations. On the other hand, the twistor transform identifies Veronese webs with moduli spaces of rational curves on certain complex surfaces. These moduli spaces can be described in terms of the non-linear Riemann problem. This reduces solutions of these non-linear wave equations to the non-linear Riemann problem. We examine these relationships in the particular case of 3-dimensional Veronese webs, simultaneously investigating how these notions relate to general notions of geometry of webs.

研究动机与目标

• 建立三维Veronese束与形如 $Aw_x w_{yz} + Bw_y w_{xz} + Cw_z w_{xy} = 0$ 的非线性波动方程解之间的几何对应关系，其中 $A+B+C=0$。
• 证明Bäcklund–Darboux变换在这些非线性波动方程之间源于Veronese束的对称性。
• 表明扭量变换将Veronese束映射为复曲面上有理曲线的模空间，这些模空间通过非线性黎曼问题描述。
• 将非线性波动方程的求解约化为求解非线性黎曼问题，并进一步约化为希尔伯特空间中利普希茨常微分方程的求解。
• 提供Veronese束的扭量变换及其粘合函数的显式构造，特别是在Airy束和无穷小族背景下的情形。

提出的方法

• 以三维Veronese束的几何结构为基础，分析非线性波动方程的可积性条件。
• 应用扭量变换，将Veronese束识别为复曲面上有理曲线的模空间，从而实现对解的几何解释。
• 通过在复平面上曲线上的边界值数据表达解，将非线性波动方程约化为非线性黎曼问题。
• 通过关联两个不同 $(A,B,C)$-方程解的一阶PDE系统（方程 0.4）构造Bäcklund–Darboux变换。
• 在 $H^s(S^1) \times H^s(S^1)$ 上引入一族向量场 $v_\rho$，以控制非线性黎曼问题解曲线的演化。
• 通过将非线性波动方程的柯西问题约化为希尔伯特空间中利普希茨常微分方程的初值问题，求解该问题，利用 $s > 1/2$ 时 $H^s$ 函数的正则性。

实验结果

研究问题

• RQ1 形如 $Aw_x w_{yz} + Bw_y w_{xz} + Cw_z w_{xy} = 0$ 且满足 $A+B+C=0$ 的非线性波动方程与三维Veronese束的几何结构有何关联？
• RQ2 非线性黎曼问题在求解这些非线性波动方程中起什么作用？
• RQ3 Bäcklund–Darboux变换如何从Veronese束的对称性中产生？它们如何用于关联不同 $(A,B,C)$-方程的解？
• RQ4 是否可以显式构造扭量变换，将Veronese束映射为有理曲线的模空间？其函数形式是什么？
• RQ5 非线性波动方程柯西问题的解在多大程度上可约化为希尔伯特空间中利普希茨常微分方程的求解？

主要发现

• 通过扭量变换，$(A,B,C)$-非线性波动方程的解等价于非线性黎曼问题的解，从而建立了几何约化。
• 两个 $(A,B,C)$-方程之间的Bäcklund–Darboux变换通过一个一阶系统（0.4）实现，该系统在变换函数 $v$ 上是线性的，且变换在规范等价意义下唯一确定。
• 给定一个非退化的 $(A,B,C)$-方程解 $w$，若满足 $A\widetilde{B} \neq \widetilde{A}B$，则存在唯一（在规范变换下）对应的非退化 $(\widetilde{A},\widetilde{B},\widetilde{C})$-方程解 $v$。
• 非线性黎曼问题通过约化为希尔伯特空间中的常微分方程求解：曲线 $\left(\widetilde{{\mathfrak{R}}}_+(g_\kappa), \widetilde{{\mathfrak{R}}}_-(g_\kappa)\right)$ 是 $H^s(S^1) \times H^s(S^1)$ 上利普希茨向量场 $v_\kappa$ 的积分曲线。
• 非线性波动方程柯西问题的解在计算上可约化为希尔伯特空间中利普希茨常微分方程的求解，该方程具有强存在性与正则性性质。
• 扭量变换通过粘合函数与截面坐标显式构造，其无穷小版本由截面的Kodaira–Spencer形变控制，从而将几何与形变理论联系起来。