[论文解读] Differential Invariants for the Korteweg-de Vries Equation

Elsa Maria Dos Santos Cardoso-Bihlo|arXiv (Cornell University)|Jul 16, 2013

Nonlinear Waves and Solitons参考文献 10被引用 4

一句话总结

本文使用移动标架法计算了Korteweg–de Vries (KdV) 方程的最大李对称群的闭式微分不变量，引入了替代归一化条件 $U_X = 1$，该条件产生的不变量比以往方法更简洁、更自然。主要贡献在于构造了任意阶微分不变量的最小函数基，其中 $I_{10} = u_x^{-5/3}(u_t + u u_x)$ 被识别为基本生成元，并显式推导出不变微分的递推关系。

ABSTRACT

Differential invariants for the maximal Lie invariance group of the Korteweg-de Vries equation are computed using the moving frame method and compared with existing results. Closed forms of differential invariants of any order are presented for two sets of normalization conditions. Minimal bases of differential invariants associated with the chosen normalization conditions are given.

研究动机与目标

• 使用移动标架法计算KdV方程最大李对称群的微分不变量。
• 比较和对比不同归一化条件下的结果，特别是 $U_T = 1$ 与 $U_X = 1$ 的差异。
• 为任意阶微分不变量的函数基推导闭式表达式。
• 证明新归一化条件可产生更简洁、更自然的不变量及递推关系。
• 表明经不变化处理的KdV方程在新归一化条件下更适用于演化型方程。

提出的方法

• 将移动标架法应用于KdV方程的最大李对称代数，其由四个向量场张成：$\partial_t$，$\partial_x$，$t\partial_x + \partial_u$，以及 $3t\partial_t + x\partial_x - 2u\partial_u$。
• 通过选择归一化条件 $U_X = 1$ 而非 $U_T = 1$，引入一种替代移动标架，从而得到一组不同但更自然的归一化不变量。
• 利用不变化Maurer–Cartan形式与水平微分，推导出不变微分 $\mathrm{D}_t^\mathrm{i}$ 和 $\mathrm{D}_x^\mathrm{i}$ 的递推关系。
• 求解递推公式，将高阶不变量 $I_{\alpha}$ 用基本不变量 $I_{10}$ 和 $I_{02}$ 表示，其中 $I_{02}$ 可通过 $I_{10}$ 及其导数表示。
• 利用交换子 $[\mathrm{D}_x^\mathrm{i}, \mathrm{D}_t^\mathrm{i}]$ 显式推导出 $I_{20}$ 关于 $I_{10}$ 及其不变微分的表达式。
• 通过证明 $I_{10}$ 通过不变微分与递推关系可生成所有其他不变量，构建了微分不变量的最小基。

实验结果

研究问题

• RQ1 不同归一化条件如何影响KdV方程微分不变量的形式与简洁性？
• RQ2 能否为KdV方程对称群显式构造任意阶微分不变量的闭式函数基？
• RQ3 在替代归一化 $U_X = 1$ 下，微分不变量代数的结构如何？
• RQ4 两种归一化选择下，递推关系与不变微分有何不同？
• RQ5 为何归一化 $U_X = 1$ 比 $U_T = 1$ 更适用于KdV方程等演化型方程？

主要发现

• 归一化条件 $U_X = 1$ 产生的归一化微分不变量的代数形式比 $U_T = 1$ 条件下更简洁。
• 基本微分不变量 $I_{10} = u_x^{-5/3}(u_t + u u_x)$ 通过不变微分与递推关系可生成所有高阶不变量。
• 微分不变量 $I_{02} = u_x^{-4/3}u_{xx}$ 可用 $I_{10}$ 及其不变微分表示，证实仅 $I_{10}$ 即构成最小基。
• 不变微分的递推公式已显式推导，并在新归一化下显示更简洁，其中 $\mathrm{D}_t^\mathrm{i}I_{\alpha}$ 与 $\mathrm{D}_x^\mathrm{i}I_{\alpha}$ 可表示为 $I_{11}$、$I_{02}$ 与 $I_{\alpha}$ 的函数。
• 经不变化处理的KdV方程在 $U_X = 1$ 归一化下更合适，因其自然分离出仅含 $x$-导数的不变量，这对演化型方程至关重要。
• 显式推导出 $I_{20}$ 的闭式表达式为 $I_{20} = \frac{[\mathrm{D}_t^\mathrm{i}, \mathrm{D}_x^\mathrm{i}]I_{10} - \frac{1}{3}(\mathrm{D}_x^\mathrm{i}I_{10}+2)\mathrm{D}_x^\mathrm{i}I_{10}}{\frac{5}{9}I_{10}\mathrm{D}_x^\mathrm{i}I_{10} - \mathrm{D}_t^\mathrm{i}I_{10}}$，证明了任意阶不变量闭式表达的可行性。