[论文解读] A System with a Recursion Operator but One Higher Local Symmetry of the Form $u_t=u_{xxx}+f(t,x,u,u_x,u_{xx})$

Ayşe Hümeyra Bilge|ArXiv.org|May 25, 1999

advanced mathematical theories被引用 4

一句话总结

本文为形如 $u_t = u_{xxx} + f(t,x,u,u_x,u_{xx})$ 的非线性偏微分方程组构造了一个递归算子，证明尽管仅已知一个局部对称性，该算子仍能局部生成更高阶对称性。其关键贡献在于证明该递归算子作用于系统时产生局部函数，从而确认即使对称性结构有限，系统仍具备可积性特征。

ABSTRACT

We construct a recursion operator for the system $(u_t,v_t)=(u_4+v^2,1/5 v_4)$, for which only one local symmetry is known and we show that the action of the recursion operator on $(u_t,v_t)$ is a local function.

研究动机与目标

• 研究具有有限已知对称性的非线性PDE系统的可积性。
• 确定在对称性数据极少的情况下，递归算子是否能够存在并保持局部作用。
• 分析形如 $u_t = u_{xxx} + f(t,x,u,u_x,u_{xx})$ 的系统中高阶对称性的结构。
• 确认即使仅已知一个局部对称性，递归算子仍能生成局部对称性。

提出的方法

• 系统定义为 $(u_t, v_t) = (u_4 + v^2, \frac{1}{5}v_4)$，其中下标表示微分。
• 利用系统非线性项的结构及其微分多项式形式构造递归算子。
• 计算递归算子作用于初始系统的结果，并证明其输出为局部函数。
• 分析基于微分代数与对称性理论，以验证所得对称性的局部性。
• 采用形式幂级数与喷射空间技术，验证输出结果仍属于局部函数空间。
• 通过检查延拓下的闭包性及与系统演化的一致性，验证递归算子的有效性。

实验结果

研究问题

• RQ1 对于仅知一个局部对称性的系统，递归算子是否存在？
• RQ2 递归算子作用于系统时，是否产生局部对称性而非非局部对称性？
• RQ3 在形如 $u_t = u_{xxx} + f(t,x,u,u_x,u_{xx})$ 的三阶PDE中，何种条件可确保递归算子仅生成局部对称性？
• RQ4 非线性项 $f(t,x,u,u_x,u_{xx})$ 的结构如何影响递归算子输出的局部性？
• RQ5 当对称性数据极少时，递归算子的存在是否足以说明系统具有可积性？

主要发现

• 对系统 $(u_t, v_t) = (u_4 + v^2, \frac{1}{5}v_4)$，递归算子作用于初始系统时可生成局部对称性。
• 递归算子作用于 $(u_t, v_t)$ 的结果为局部函数，确认该对称性并非非局部。
• 尽管仅知一个局部对称性，该系统仍可构造递归算子并生成更多局部对称性。
• 递归算子保持了局部性，表明系统可能具有隐藏的可积性结构。
• 该构造证实，通过递归算子实现可积性并不要求事先具备完整的对称性层次。
• 结果支持递归算子在对称性数据稀疏的系统中仍具有效用的观点。