[论文解读] The Sylvester equation and the elliptic Korteweg-de Vries system

Ying‐ying Sun, Da‐jun Zhang+1 more|arXiv (Cornell University)|Jul 20, 2015

Nonlinear Waves and Solitons参考文献 23被引用 3

一句话总结

本文提出了一种基于具有柯西矩阵结构的西尔维斯特型矩阵方程的新解框架，用于椭圆型Korteweg-de Vries（KdV）系统。通过利用矩阵 $\bm{k}$ 的典范形式推导显式解，作者重新推导出离散（elpKdV）和连续（epKdV）椭圆型KdV系统，建立其Lax对，并表明标量函数 $S^{(i,j)}$ 构成一个无限对称矩阵，通过递推关系和连续极限生成非线性方程。

ABSTRACT

The elliptic Korteweg-de Vries (KdV) system is a multi-component generalization of the lattice potential KdV equation, whose soliton solutions are associated with an elliptic Cauchy kernel (i.e., a Cauchy kernel on the torus). In this paper we generalize the class of solutions by using a Sylvester type matrix equation and rederiving the system from the associated Cauchy matrix. Our starting point is the Sylvester equation in the form of $~\boldsymbol{k} \boldsymbol{M}+ \boldsymbol{M} \boldsymbol{k} = \boldsymbol{r} {\boldsymbol{c}}^{T}-g\boldsymbol{K}^{-1} \boldsymbol{r} {\boldsymbol{c}}^{T} \boldsymbol{K}^{-1}$ where $\boldsymbol{k}$ and $\boldsymbol{K}$ are commutative matrices and obey the matrix relation ${\boldsymbol{k}}^2=\boldsymbol{K}+3e_1\boldsymbol{I}+g{\boldsymbol{K}}^{-1}$. The obtained elliptic equations, both discrete and continuous, are formulated by the scalar function $S^{(i,j)}$ which is defined using $(\boldsymbol{k},\boldsymbol{K}, \boldsymbol{M}, \boldsymbol{r},\boldsymbol{c})$ and constitute an infinite size symmetric matrix. Lax pairs for both the discrete and continuous system are derived. The explicit solution $\boldsymbol{M}$ of the Sylvester equation and generalized solutions of the obtained elliptic equations are presented according to the canonical forms of matrix $\boldsymbol{k}$.

研究动机与目标

• 通过使用西尔维斯特型矩阵方程而非标准的直接线性化方法，推广椭圆型KdV系统的孤子解。
• 基于与椭圆曲线相关的矩阵关系，通过柯西矩阵公式重新推导离散（elpKdV）和连续（epKdV）椭圆型KdV系统。
• 利用 $\bm{k}$ 的对角块和若尔当代数块形式，构造西尔维斯特方程中矩阵 $\bm{M}$ 的显式解，从而实现孤子解的构造。
• 基于推导出的矩阵结构和标量函数 $S^{(i,j)}$，为离散与连续系统建立Lax对。
• 证明标量函数 $S^{(i,j)}$（由 $(\bm{k}, \bm{K}, \bm{M}, \bm{r}, \bm{c})$ 定义）构成一个无限对称矩阵 $\bm{S}$，该矩阵通过递推关系和连续极限生成非线性方程。

提出的方法

• 研究从西尔维斯特方程 $\bm{k}\bm{M} + \bm{M}\bm{k} = \bm{r}\bm{c}^T - g\bm{K}^{-1}\bm{r}\bm{c}^T\bm{K}^{-1}$ 出发，其中 $\bm{k}$ 和 $\bm{K}$ 是满足 $\bm{k}^2 = \bm{K} + 3e_1\bm{I} + g\bm{K}^{-1}$ 的可交换矩阵，将系统与椭圆曲线联系起来。
• 通过 $\bm{M}$ 的矩阵元定义标量函数 $S^{(i,j)}$，形成一个无限对称矩阵 $\bm{S}$，该矩阵编码了非线性动力学。
• 针对三种典范情形（对角 $\bm{k}$、若尔当代数块 $\bm{k}$ 及其组合），利用 $\bm{k}$ 的谱分解构造 $\bm{M}$ 的显式解。
• 通过位移和导数条件推导 elpKdV 与 epKdV 系统的色散关系：$(a\bm{I} - \bm{k})\widetilde{\bm{r}} = (a\bm{I} + \bm{k})\bm{r}$，以及 $\bm{r}_x = \bm{k}\bm{r}, \bm{r}_t = 4\bm{k}^3\bm{r}$。
• 通过分析矩阵演化方程与标量函数 $S^{(i,j)}$ 的相容性，推导出两个系统的Lax对。
• 分析 elpKdV 系统的连续极限，以恢复 epKdV 系统，表明离散与连续形式之间的一致性。

实验结果

研究问题

• RQ1 如何通过西尔维斯特型矩阵方程与柯西矩阵方法重新推导椭圆型KdV系统？
• RQ2 当 $\bm{k}$ 为对角矩阵、若尔当代数块或两者组合时，西尔维斯特方程中矩阵 $\bm{M}$ 的显式解是什么？
• RQ3 从 $\bm{M}$ 衍生出的标量函数 $S^{(i,j)}$ 如何通过递推关系和连续极限生成非线性 elpKdV 与 epKdV 方程？
• RQ4 矩阵 $\bm{k}$ 的典范形式在构造孤子解及推导椭圆型KdV系统Lax对中起什么作用？
• RQ5 通过西尔维斯特方程框架的连续极限，离散与连续椭圆型KdV系统之间有何关联？

主要发现

• 具有 $\bm{k}^2 = \bm{K} + 3e_1\bm{I} + g\bm{K}^{-1}$ 条件的西尔维斯特方程 $\bm{k}\bm{M} + \bm{M}\bm{k} = \bm{r}\bm{c}^T - g\bm{K}^{-1}\bm{r}\bm{c}^T\bm{K}^{-1}$ 提供了一种新的代数框架，用于推导椭圆型KdV系统。
• 通过 $\bm{k}$ 的典范形式及其对应的 $\bm{r}, \bm{c}$ 向量，为对角 $\bm{k}$、若尔当代数块 $\bm{k}$ 及其组合构造了 $\bm{M}$ 的显式解。
• 由 $\bm{M}$ 定义的标量函数 $S^{(i,j)}$ 构成一个无限对称矩阵 $\bm{S}$，其在 $\mathbb{Z} \times \mathbb{Z}$ 上满足递推关系，这些关系对推导离散 elpKdV 系统至关重要。
• 基于矩阵演化方程与标量函数 $S^{(i,j)}$，推导出 elpKdV 与 epKdV 系统的Lax对，证实了系统的可积性。
• 连续 epKdV 系统作为 elpKdV 系统的连续极限获得，其色散关系为 $\bm{r}_x = \bm{k}\bm{r}, \bm{r}_t = 4\bm{k}^3\bm{r}$ 与 $\bm{c}^T_x = \bm{c}^T\bm{k}, \bm{c}^T_t = \bm{c}^T\bm{k}^3$，控制连续动力学。
• 给出了 $\bm{r}$ 和 $\bm{c}$ 的显式解：对角 $\bm{k}$ 情形下 $\rho_i = \left(\frac{a+k_i}{a-k_i}\right)^n\left(\frac{b+k_i}{b-k_i}\right)^m\rho_i^0$，连续情形下 $\rho_1 = e^{k_1x + 4k_1^3t + \xi_1^{(0)}}$，从而实现完整的孤子解构造。