We obtain the complete Lie point symmetry algebras of two sequences of odd-order evolution equations. This includes equations that are fully-nonlinear, i.e. nonlinear in the highest derivative. Two of the equations in the sequences have recently been identified as symmetry-integrable, namely a 3rd-order equation and a 5th-order equation [Open Communications in Nonlinear Mathematical Physics, Special Issue in honour of George W Bluman, ocnmp:15938, 1--15, 2025]. These two examples provided the motivation for the current study. The Lie-Bäcklund symmetries and the consequent symmetry-integrability of the equations in the sequences are also discussed.
Two sequences of fully-nonlinear evolution equations and their symmetry properties 论文ID : 2509.05535标题 : Two sequences of fully-nonlinear evolution equations and their symmetry properties作者 : Marianna Euler, Norbert Euler分类 : nlin.SI (Exactly Solvable and Integrable Systems)发表期刊 : Open Communications in Nonlinear Mathematical Physics, Vol.5 (2025) pp 81–89论文链接 : https://arxiv.org/abs/2509.05535 本文获得了两个奇数阶演化方程序列的完整李点对称代数。这些方程是完全非线性的,即在最高阶导数中非线性。序列中的两个方程最近被识别为对称可积的,即一个3阶方程和一个5阶方程。文章还讨论了方程序列的李-贝克伦德对称性以及相应的对称可积性。
完全非线性演化方程 :研究在最高阶导数中非线性的演化方程,这类方程在数学物理中具有重要意义对称可积性 :寻找具有无穷多局部李-贝克伦德对称性的演化方程,这是可积性的重要标志已知结果的推广 :基于已知的两个对称可积方程 u t = u 3 x − 1 / 2 u_t = u_{3x}^{-1/2} u t = u 3 x − 1/2 和 u t = u 5 x − 2 / 3 u_t = u_{5x}^{-2/3} u t = u 5 x − 2/3 来构造更一般的序列作者之前发现了两个完全非线性对称可积演化方程,这激发了对更一般序列的研究 希望理解这类方程的对称性结构和可积性模式 为非线性演化方程的分类提供理论基础 提出两个完全非线性演化方程序列 :序列1:u t = ( u ( 2 k + 1 ) x ) − k / ( k + 1 ) u_t = (u_{(2k+1)x})^{-k/(k+1)} u t = ( u ( 2 k + 1 ) x ) − k / ( k + 1 ) , k = 1 , 2 , 3 , . . . k = 1,2,3,... k = 1 , 2 , 3 , ... 序列2:u t = ( u ( 2 k + 1 ) x ) − n k u_t = (u_{(2k+1)x})^{-n_k} u t = ( u ( 2 k + 1 ) x ) − n k , n k ≠ k / ( k + 1 ) n_k \neq k/(k+1) n k = k / ( k + 1 ) 完整确定李点对称代数 :序列1具有维数为 2 k + 6 2k+6 2 k + 6 的对称代数 序列2具有维数为 2 k + 5 2k+5 2 k + 5 的对称代数 提出对称可积性的必要条件猜想 :为不同阶数的演化方程建立了对称可积性的必要条件分析序列的对称可积性 :确定了哪些方程可能具有对称可积性研究形如 u t = ( u ( 2 k + 1 ) x ) − n k u_t = (u_{(2k+1)x})^{-n_k} u t = ( u ( 2 k + 1 ) x ) − n k 的奇数阶完全非线性演化方程的李点对称性和李-贝克伦德对称性。
对于演化方程 E : = u t − F ( x , t , u , u x , u x x , . . . , u n x ) = 0 E := u_t - F(x,t,u,u_x,u_{xx},...,u_{nx}) = 0 E := u t − F ( x , t , u , u x , u xx , ... , u n x ) = 0 ,李点对称生成元为:
Z = ξ 1 ( x , t , u ) ∂ ∂ x + ξ 2 ( x , t , u ) ∂ ∂ t + η ( x , t , u ) ∂ ∂ u Z = \xi^1(x,t,u)\frac{\partial}{\partial x} + \xi^2(x,t,u)\frac{\partial}{\partial t} + \eta(x,t,u)\frac{\partial}{\partial u} Z = ξ 1 ( x , t , u ) ∂ x ∂ + ξ 2 ( x , t , u ) ∂ t ∂ + η ( x , t , u ) ∂ u ∂
不变性条件为:
L E [ u ] Q ∣ E = 0 = 0 L_E[u]Q\Big|_{E=0} = 0 L E [ u ] Q E = 0 = 0
其中 Q = η − ξ 1 u x − ξ 2 u t Q = \eta - \xi^1 u_x - \xi^2 u_t Q = η − ξ 1 u x − ξ 2 u t 是不变面。
通过应用不变性条件,发现方程序列自然分为两类:
情况1 :n k = k / ( k + 1 ) n_k = k/(k+1) n k = k / ( k + 1 ) 的特殊序列
李对称代数维数:2 k + 6 2k+6 2 k + 6 对称生成元包括额外的生成元 Z 5 = x 2 ∂ ∂ x + 2 k x u ∂ ∂ u Z_5 = x^2\frac{\partial}{\partial x} + 2kxu\frac{\partial}{\partial u} Z 5 = x 2 ∂ x ∂ + 2 k xu ∂ u ∂ 情况2 :n k ≠ k / ( k + 1 ) n_k \neq k/(k+1) n k = k / ( k + 1 ) 的一般序列
李对称代数维数:2 k + 5 2k+5 2 k + 5 缺少上述额外生成元 作者提出了不同阶数演化方程对称可积性的必要条件:
2阶方程 :2 ∂ F ∂ u x x ∂ 3 F ∂ u x x 3 − 3 ( ∂ 2 F ∂ u x x 2 ) 2 = 0 2\frac{\partial F}{\partial u_{xx}}\frac{\partial^3 F}{\partial u_{xx}^3} - 3(\frac{\partial^2 F}{\partial u_{xx}^2})^2 = 0 2 ∂ u xx ∂ F ∂ u xx 3 ∂ 3 F − 3 ( ∂ u xx 2 ∂ 2 F ) 2 = 0 3阶方程 :9 ( ∂ F ∂ u 3 x ) 2 ∂ 4 F ∂ u 3 x 4 − 45 ∂ F ∂ u 3 x ∂ 2 F ∂ u 3 x 2 ∂ 3 F ∂ u 3 x 3 + 40 ( ∂ 2 F ∂ u 3 x 2 ) 3 = 0 9(\frac{\partial F}{\partial u_{3x}})^2\frac{\partial^4 F}{\partial u_{3x}^4} - 45\frac{\partial F}{\partial u_{3x}}\frac{\partial^2 F}{\partial u_{3x}^2}\frac{\partial^3 F}{\partial u_{3x}^3} + 40(\frac{\partial^2 F}{\partial u_{3x}^2})^3 = 0 9 ( ∂ u 3 x ∂ F ) 2 ∂ u 3 x 4 ∂ 4 F − 45 ∂ u 3 x ∂ F ∂ u 3 x 2 ∂ 2 F ∂ u 3 x 3 ∂ 3 F + 40 ( ∂ u 3 x 2 ∂ 2 F ) 3 = 0 奇数阶 n ≥ 5 n \geq 5 n ≥ 5 :( 2 k + 3 ) ∂ F ∂ u ( 2 k + 3 ) x ∂ 3 F ∂ u ( 2 k + 3 ) x 3 − ( 3 k + 5 ) ( ∂ 2 F ∂ u ( 2 k + 3 ) x 2 ) 2 = 0 (2k+3)\frac{\partial F}{\partial u_{(2k+3)x}}\frac{\partial^3 F}{\partial u_{(2k+3)x}^3} - (3k+5)(\frac{\partial^2 F}{\partial u_{(2k+3)x}^2})^2 = 0 ( 2 k + 3 ) ∂ u ( 2 k + 3 ) x ∂ F ∂ u ( 2 k + 3 ) x 3 ∂ 3 F − ( 3 k + 5 ) ( ∂ u ( 2 k + 3 ) x 2 ∂ 2 F ) 2 = 0 使用符号计算系统进行李对称性分析 计算李-贝克伦德对称性直到19阶(受计算机内存限制) 验证必要条件的满足情况 对已知的对称可积方程验证必要条件 检查序列中各方程是否满足相应的必要条件 尝试构造具体的李-贝克伦德对称生成元 已确认对称可积 :3阶方程:u t = u 3 x − 1 / 2 u_t = u_{3x}^{-1/2} u t = u 3 x − 1/2 (具有5阶李-贝克伦德对称) 5阶方程:u t = u 5 x − 2 / 3 u_t = u_{5x}^{-2/3} u t = u 5 x − 2/3 (具有11阶李-贝克伦德对称) 理论预测 :序列中所有方程都满足对称可积性的必要条件计算限制 :7阶及更高阶方程在19阶范围内未发现李-贝克伦德对称3阶方程 :只有当 n 1 ∈ { − 1 , 1 / 2 , 2 } n_1 \in \{-1, 1/2, 2\} n 1 ∈ { − 1 , 1/2 , 2 } 时满足必要条件唯一相关情况 :u t = u 3 x − 2 u_t = u_{3x}^{-2} u t = u 3 x − 2 (已知对称可积)高阶方程 :均不满足必要条件序列2只包含一个对称可积方程:u t = u 3 x − 2 u_t = u_{3x}^{-2} u t = u 3 x − 2
任何5阶及以上的对称可积完全非线性演化方程必须具有形式:
u t = f 1 ( u ( 2 k + 3 ) x + f 2 ) k + 1 k + 2 + f 3 u_t = f_1(u_{(2k+3)x} + f_2)^{\frac{k+1}{k+2}} + f_3 u t = f 1 ( u ( 2 k + 3 ) x + f 2 ) k + 2 k + 1 + f 3
其中 f j f_j f j 是依赖于低阶导数的函数。
李对称理论在微分方程中的应用已有悠久历史 对称可积性概念为研究非线性演化方程提供了重要工具 作者之前的工作建立了2阶和3阶方程对称可积性的必要条件 将必要条件推广到任意奇数阶方程 系统研究了完全非线性方程序列的对称性结构 为高阶非线性演化方程的分类提供了理论框架 对称性分类 :两个序列具有不同维数的李点对称代数,差异在于一个额外的对称生成元可积性模式 :序列1中所有方程理论上都可能对称可积 序列2中只有一个已知的对称可积方程 必要条件的作用 :为筛选潜在的对称可积方程提供了有效工具计算限制 :由于内存限制,无法验证19阶以上的李-贝克伦德对称性必要条件的充分性 :满足必要条件不保证方程一定对称可积构造方法 :缺乏系统的方法来构造新的对称可积方程高阶对称性 :开发更高效的算法来计算高阶李-贝克伦德对称充分条件 :寻找对称可积性的充分条件序列推广 :研究其他类型的非线性演化方程序列应用探索 :将结果应用于具体的物理问题理论深度 :系统性地研究了完全非线性演化方程的对称性结构方法创新 :提出了高阶方程对称可积性的必要条件猜想结果完整性 :完整确定了两个序列的李点对称代数实用价值 :为寻找新的可积方程提供了理论指导验证不完整 :由于计算限制,部分结果仅基于必要条件分析猜想性质 :核心的必要条件仍是猜想,缺乏严格证明应用有限 :主要是理论结果,实际应用价值有待进一步探索理论贡献 :为非线性演化方程的对称性理论做出重要贡献方法论价值 :提供的分析框架可应用于其他方程序列启发意义 :为后续研究完全非线性可积系统提供了重要线索数学物理中的可积系统研究 非线性演化方程的分类问题 对称性方法在微分方程中的应用 计算机代数系统在对称性分析中的应用 论文引用了作者之前在该领域的重要工作,包括:
2阶完全非线性方程的研究 3阶方程对称可积性条件的建立 具体对称可积方程的发现 这些工作为本文的研究奠定了坚实基础,体现了研究的连续性和系统性。