[论文解读] Equivalence of Q-Conditional Symmetries under Group of Local Transformation

Roman O. Popovych|ArXiv.org|Aug 2, 2002

Nonlinear Waves and Solitons参考文献 11被引用 7

一句话总结

本文引入了在局部变换下Q-条件对称性的等价性概念，实现了对偏微分方程组中此类对称性的系统分类。该框架被应用于分类n维线性热方程（n ≥ 2）和不可压缩理想流体的欧拉方程的所有单个Q-条件对称算子，表明非李型Q-条件对称性仅以特定形式存在；而对于纳维-斯托克斯方程，所有Q-条件对称性均等价于李对称性。

ABSTRACT

The definition of Q-conditional symmetry for one PDE is correctly generalized to a special case of systems of PDEs and involutive families of operators. The notion of equivalence of Q-conditional symmetries under a group of local transformation is introduced. Using this notion, all possible single Q-conditional symmetry operators are classified for the n-dimensional (n >= 2) linear heat equation and for the Euler equations describing the motion of an incompressible ideal fluid.

研究动机与目标

• 将Q-条件对称性的定义推广至偏微分方程组及可积算子族。
• 引入在局部变换下Q-条件对称性的等价性概念，以简化分类过程。
• 对n维线性热方程（n ≥ 2）的所有可能单个Q-条件对称算子进行分类。
• 对不可压缩理想流体欧拉方程的所有可能单个Q-条件对称算子进行分类。
• 将结果与纳维-斯托克斯方程进行比较，表明所有Q-条件对称性均等价于李对称性。

提出的方法

• 将Q-条件对称性的定义从单个PDE推广至偏微分方程组及可积微分算子族。
• 引入在局部变换下Q-条件对称性的等价性概念，通过算子族的可逆变换（雅可比行列式非零）进行定义。
• 利用Frobenius定理确保由Q-算子定义的不变系统具有相容性。
• 应用延拓技术将Q-算子提升至阶数为r的喷层空间，以检验系统L=0的不变性。
• 推导出条件Q^{s}_{(r)}L|_{{\cal M}\cap{\cal L}} = 0作为Q-条件不变性的判据。
• 通过基于Q-算子构造待定形式并代入原PDE系统，实现对称约化。

实验结果

研究问题

• RQ1 Q-条件对称性在偏微分方程组及可积算子族中的正确推广形式是什么？
• RQ2 如何在局部变换下定义Q-条件对称性的等价性，并用于简化分类？
• RQ3 n维线性热方程（n ≥ 2）的所有可能单个Q-条件对称算子是什么？
• RQ4 不可压缩理想流体欧拉方程的所有可能单个Q-条件对称算子是什么？
• RQ5 纳维-斯托克斯方程是否存在非李型Q-条件对称性，或所有此类对称性是否均等价于李对称性？

主要发现

• 对于n维线性热方程（n ≥ 2），所有可能的单个Q-条件对称算子已被分类，其根据函数φ(θ)的形式分为四类不等价类。
• 对于不可压缩理想流体的欧拉方程，任一Q-条件对称算子要么等价于李对称，要么模最大李不变代数等价于算子∂₃ + ζ(t,x₃,u³)∂ᵤ³ + χ(t)x₃∂ₚ，其中ζ和χ满足特定约束。
• 通过非李型Q-条件对称性对欧拉方程进行约化，得到的待定形式为：u¹ = v¹, u² = v², u³ = x₃v³ + ψ(t,v³), p = q + ½χ(t)x₃²，其中ψ满足一个一阶PDE。
• 欧拉方程的约化系统由三个方程组成：vⁱₜ + vʲvⁱⱼ + qᵢ = 0, v³ₜ + vʲv³ⱼ + (v³)² + χ = 0, 以及vʲⱼ + v³ = 0。
• 对于纳维-斯托克斯方程，所有实数Q-条件对称算子均等价于李对称算子，意味着所有约化均为李型，不存在新的非李型约化。
• 纳维-斯托克斯方程的结果表明，非李型Q-条件对称性无法超越李代数，这与欧拉方程的情形形成对比。