[论文解读] Is a nonclassical symmetry a symmetry?

Michael Kunzinger, Roman O. Popovych|arXiv (Cornell University)|Mar 4, 2009

Nonlinear Waves and Solitons参考文献 19被引用 16

一句话总结

本文批判性地审视了微分方程中非经典对称性的概念，认为其并非李群理论意义上的真正对称性。文章提出应将术语‘非经典对称’替换为‘约化算子’，以更准确地反映其在通过不变曲面条件约化偏微分方程时的实际数学作用。

ABSTRACT

Various versions of the definition of nonclassical symmetries existing in the literature are analyzed. Comparing properties of Lie and nonclassical symmetries leads to the conclusion that in fact a nonclassical symmetry is not a symmetry in the usual sense. Hence the term "reduction operator" is suggested instead of the name "operator of nonclassical symmetries". It is shown that in contrast to the case of single partial differential equations a satisfactory definition of nonclassical symmetries for systems of such equations has not been proposed up to now. Moreover, the cardinality of essential nonclassical symmetries is discussed, taking into account equivalence relations on the entire set of nonclassical symmetries.

研究动机与目标

• 批判性评估非经典对称是否真正符合标准李群理论意义上的对称性定义。
• 识别并解决文献中非经典对称定义与应用中的不一致性和模糊性。
• 提出一种更准确且数学上一致的术语——‘约化算子’——以描述此类对象。
• 解决非经典对称在偏微分方程组中缺乏严格定义的问题。
• 分析非经典对称的基数及其等价类，特别是与李对称及等价群的关系。

提出的方法

• 分析文献中非经典对称的多种定义，以识别概念上的不一致。
• 比较李对称与非经典对称的性质，尤其关注不变性与约化特性。
• 利用不变曲面条件及PDE与其不变性条件的联合系统，评估非经典对称是否满足对称性标准。
• 引入并应用约化算子族上的等价关系，以对非经典对称进行分类。
• 研究非经典对称的确定方程，并剔除对应于李对称或在李对称群下等价的解。
• 讨论计算非经典对称的算法挑战，以及此类约化可能变得平凡或冗余的条件。

实验结果

研究问题

• RQ1 非经典对称在传统李群理论意义上是否真正是一种对称？
• RQ2 非经典对称能否在不变曲面条件下被一致地解释为条件对称？
• RQ3 对于偏微分方程组，非经典对称是否存在一个严格且标准的定义？该定义能否从单个方程的情形推导而来？
• RQ4 在考虑等价性与冗余性的情况下，本质非经典对称的数量与经典对称的数量相比如何？
• RQ5 等价关系与对称群作用在多大程度上减少了不同非经典约化的有效数量？

主要发现

• 非经典对称不满足李对称的标准判据，尤其是在PDE与其不变曲面条件构成的完整系统背景下。
• 术语‘非经典对称’具有误导性，应替换为‘约化算子’，以更准确反映这些对象在约化PDE中的真实数学角色。
• 文献中尚未建立非经典对称在偏微分方程组中的令人满意且一致的定义。
• 通过等价关系（包括由李对称群及系数的可逆变换所诱导的等价关系）显著减少了本质非经典对称的数量。
• 许多非经典对称与李对称等价，或可通过李群作用从李族中导出，从而降低了其实际新颖性。
• 寻找非经典对称的问题通常等价于求解原PDE，特别是在确定系统欠定或不产生新解的情况下。