[论文解读] Infinite-dimensional symmetries of a two-dimensional generalized Burgers equation

F. Güngör|ArXiv.org|Feb 24, 2009

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

一句话总结

本文确定了二维广义Burgers方程在何种条件下，其具有九个任意系数函数时，会拥有无限维对称代数。通过等价变换，作者推导出规范形式，并表明尽管可能存在Kac-Moody型对称性，但无法实现Virasoro代数，这表明此类变系数推广即使具有庞大的对称群，依然保持非可积性。

ABSTRACT

The conditions for a generalized Burgers equation which a priori involves nine arbitrary functions of one, or two variables to allow an infinite dimensional symmetry algebra are determined. Though this algebra can involve up to two arbitrary functions of time, it does not allow a Virasoro algebra. This result confirms that variable coefficient generalizations of a non-integrable equation should be expected to remain as such.

研究动机与目标

• 确定具有九个任意系数函数的二维广义Burgers方程在何种条件下会拥有无限维对称代数。
• 研究此类方程是否能支持Virasoro代数，这是2+1维中可积性的标志。
• 对无限维对称代数实现的所有情况进行分类，特别关注Kac-Moody和阿贝尔结构。
• 应用对称约化技术，从无限维对称代数构造显式解。
• 通过对称结构阐明可积方程（如KP方程）与非可积推广（如Burgers方程）之间的区别。

提出的方法

• 作者使用等价（允许的）变换将一般方程约化为规范形式，同时保持系数函数的结构不变。
• 通过分析规范广义Burgers方程在点变换下的不变性，推导出对称性的确定方程。
• 通过求解确定方程来分析对称代数，特别关注含时间或空间任意函数的情形。
• 通过显式构造向量场，研究时间重参数化不变性以及Kac-Moody代数实现的可能性。
• 应用对称约化于不变解，利用群不变的假设将PDE约化为ODE或更简单的PDE。
• 通过基于对称生成元的假设，包括运动框架和非阿贝尔Kac-Moody对称性，构造特定解族。

实验结果

研究问题

• RQ1 在何种条件下，二维广义Burgers方程会拥有无限维对称代数？
• RQ2 广义Burgers方程的对称代数是否可能包含Virasoro子代数，从而指示其可积性？
• RQ3 此类方程可能存在的最大对称代数结构（如Kac-Moody、阿贝尔）是什么？
• RQ4 系数函数如何约束非阿贝尔或阿贝尔无限维对称性的存在？
• RQ5 对称约化能否为广义Burgers方程产生显式解？

主要发现

• 当且仅当函数f(y,t)恒为零，且a、b、c为任意函数时，规范广义Burgers方程会拥有无限维阿贝尔对称代数。
• 当满足特定系数条件时，存在非阿贝尔Kac-Moody对称代数，包括b(y,t) = b₁(t)y + b₀(t) 和 c(y,t) = c₂(t)y² + c₁(t)y + c₀(t)，且a = f = 0。
• 即使在最对称的情况下，也无法实现Virasoro代数作为对称代数的子代数，这证实了该方程尽管具有无限维对称性，依然保持非可积性。
• 最一般的对称是沿x方向任意运动框架的变换，这要求f(y,t) ≡ 0，并导致解在x方向为线性，且具有特定的y依赖性。
• 对称约化导出的约化PDE形式为 (F_t + FF_z + F_zz)_z + ε(ξ²/η²)F_zz + ... = 0，当c(t) = 0时，该方程退化为1D Burgers方程。
• 通过假设(6.5)，1D Burgers方程的解可被提升至2D，从而为广义方程提供系统化方法以生成y依赖解。