[论文解读] A Discussion on the Different Notions of Symmetry of Differential Equations

Giampaolo Cicogna|arXiv (Cornell University)|Dec 9, 2010

Nonlinear Waves and Solitons参考文献 26被引用 14

一句话总结

本文提出了一套统一框架，用于分类偏微分方程（PDEs）中的不同对称类型，引入并严格刻画了“标准”与“弱”条件对称性，以及精确对称性、部分对称性和隐藏对称性。通过使用与对称性相适应的变量，展示了这些对称性如何导出约化系统和不变解，具体例子表明不同对称类型在解集上存在显著差异。

ABSTRACT

A discussion is presented, within a simple unifying scheme, about different types of symmetry of PDE's, with the introduction and a precise characterization of the notions of "standard" and "weak" conditional symmetries, together with their relationship with exact and partial symmetries. An extensive use of "symmetry-adapted" variables will be made, and some clarifying examples are provided.

研究动机与目标

• 为PDE中不同形式的对称性提供一个全面且统一的方案，尤其聚焦于条件对称性、部分对称性和隐藏对称性。
• 澄清“标准”与“弱”条件对称性之间的区别，这两者在文献中常被混淆。
• 建立对部分对称性的严格刻画，并阐明其与条件对称性及不变解的关系。
• 通过具体例子展示不同对称类型如何产生不同的解族，包括非平凡的不变解。
• 通过引入与对称性相适应的坐标和微分约束，扩展标准对称约化程序。

提出的方法

• 通过特征线法引入与对称性相适应的变量（s, z, v），将PDE变换为关于∂/∂s不变的形式。
• 通过向量场X = ξᵢ∂/∂xᵢ + φₐ∂/∂uₐ的延拓，依据对X*(Δ)的条件及相应约束，定义精确对称性、条件对称性和部分对称性。
• 对精确对称性采用条件X*(Δ) = GₐᵦΔᵦ，对不变性采用X*(Δ) = 0；对条件对称性引入微分约束Δ⁽¹⁾ = 0, Δ⁽²⁾ = 0, 等等。
• 通过系统Δ = 0, Δ⁽¹⁾ = 0, ..., Δ⁽σ⁾ = 0，结合不变性条件X_Q u = 0，引入弱条件对称性的概念，以推导不变解。
• 将PDE约化为仅依赖于z和v⁽ᵐ⁾的系统Kₐ = 0，证明在与对称性相适应的坐标下与原系统等价。
• 通过具体例子（Popovich方程、KdV方程、Boussinesq方程）说明不同对称类型——弱CS、部分对称性、精确对称性——如何产生不同的解族。

实验结果

研究问题

• RQ1 如何在单一框架内系统地区分并统一精确对称性、条件对称性、部分对称性和隐藏对称性等不同对称概念？
• RQ2 “标准”与“弱”条件对称性的精确数学刻画是什么？它们在生成解的能力上如何不同？
• RQ3 部分对称性在多大程度上推广或包含弱条件对称性？这对解的构造有何影响？
• RQ4 与对称性相适应的坐标如何促进PDE的约化及不变解的推导？
• RQ5 同一个对称向量场是否可能在施加不同不变性条件时生成多个解族？

主要发现

• 本文确立了弱条件对称性由系统Δ = 0, Δ⁽¹⁾ = 0, ..., Δ⁽σ⁾ = 0与不变性条件X_Q u = 0共同刻画，并可导出特定的不变解。
• 在Popovich方程中，向量场X = ∂/∂t是弱条件对称性，生成解u = c exp(x)；同时为部分对称性，生成更一般的解u = c exp(x) + c₁ exp(x + t)。
• 在Boussinesq方程中，对称性X = ∂/∂t + (1/t² - 2u/t)∂/∂u是阶数σ = 1的弱条件对称性，导出解u = 1/t - x²/t²。
• 对称性X = t²∂/∂x + ∂/∂t - (2x + 10t³/3)∂/∂u是阶数σ = 3的弱条件对称性，生成解u = -t⁴/3 - 2tx - 12/(x - t³/3)²。
• 当去掉不变性条件X_Q u = 0时，同一对称性生成扩展的解族u = -t⁴/3 + c₁t - 2tx + c₂，证明其亦为部分对称性。
• Korteweg-de Vries方程允许标度对称性X = 2x∂/∂x + t∂/∂t + u∂/∂u作为弱条件对称性，生成解u = x/t；同时作为部分对称性，生成更大的解族u = (x + c₁)/(t + c₂)。