[论文解读] Orbital reducibility and a generalization of lambda symmetries

Giampaolo Cicogna, Giuseppe Gaeta+1 more|arXiv (Cornell University)|Oct 11, 2012

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

一句话总结

本文引入了自治一阶常微分方程的轨道可约性概念，通过将可约性与对称性结构联系起来，推广了 λ 对称性。该文建立了一个框架，其中向量场可通过保持解轨道的映射实现降维，通过标准嵌入方法将该框架扩展至非自治和高阶系统，并证明轨道可约性对应于比传统 λ 对称性更广泛的对称类。

ABSTRACT

We review the notion of reducibility and we introduce and discuss the notion of orbital reducibility for autonomous ordinary differential equations of first order. The relation between (orbital) reducibility and (orbital) symmetry is investigated and employed to construct (orbitally) reducible systems. By standard identifications, the notions extend to non-autonomous ODEs of first and higher order. Moreover we thus obtain a generalization of the lambda symmetries of Muriel and Romero. Several examples are given.

研究动机与目标

• 通过引入轨道可约性，正式化并推广常微分方程中可约性的概念，该概念保留解轨道而非参数化解。
• 阐明轨道可约性与轨道对称性之间的关系，表明可约系统可系统地从对称系统构造而来。
• 通过将非自治和高阶常微分方程降阶为自治一阶系统，将可约性框架扩展至非自治和高阶系统。
• 通过证明 Muriel 和 Romero 的 λ 对称性对应于一类特定的轨道可约性，推广其 λ 对称性。
• 提供基于群不变量和联合对称性的构造性方法，用于生成可约系统，特别是针对高阶方程。

提出的方法

• 将轨道可约性定义为存在一个光滑映射，将向量场降维至低维系统，同时保持解轨道不变。
• 使用局部轨道等价的概念：若两个向量场在非平衡点附近具有相同的首次积分，则它们是轨道等价的。
• 通过对称向量场的不变函数提升可约系统，特别利用紧致连通李群的不变量。
• 应用逆问题方法：给定一个映射，确定所有可通过该映射实现可约的向量场，利用 Olver 和 Rosenau 的方法。
• 通过坐标变换将高阶常微分方程转化为一阶自治系统，以应用轨道可约性框架，实现降阶。
• 使用坐标变换和不变量，以新变量表示约化系统，如示例中所示，包含显式的雅可比行列式和 λ 函数。

实验结果

研究问题

• RQ1 如何将常微分方程中可约性的概念推广，使其保留解轨道而非参数化解？
• RQ2 轨道可约性与轨道对称性之间的确切关系是什么？所有轨道可约系统是否都能从对称系统构造而来？
• RQ3 Muriel 和 Romero 推广的 λ 对称性与轨道可约性之间有何关系？它们能否被纳入这一更广泛的框架？
• RQ4 能否系统地从具有联合对称性的系统构造出可约的高阶常微分方程，特别是那些具有 λ 对称性结构的系统？
• RQ5 紧致李群的不变量在构造轨道可约系统中起什么作用？该方法能否实现算法化？

主要发现

• 轨道可约性被定义为存在一个光滑映射，将向量场降维至低维系统，同时保持解轨道不变，从而推广了标准可约性。
• 系统 $ \dot{x} = H(x) $，其中 $ H(x) = \left( \frac{1}{1+x_1x_2}, \frac{x_2(1+x_1x_2) - x_1}{1+x_1x_2} \right) $，可轨道可约至 $ \dot{z}_1 = 1, \dot{z}_2 = -z_2^2 $，还原通过不变量 $ \sigma_1 = x_1, \sigma_2 = \frac{x_1}{1+x_1x_2} $ 实现。
• 第二个例子表明，可通过具有联合 $ \lambda $-对称性的系统构造三阶常微分方程，并通过不变量 $ \psi_1 = x_0x_2/x_1, \psi_2 = x_0^2x_3/x_1 $ 约化为二维自治系统。
• 约化系统 $ \dot{z}_1 = z_1 - z_1^2 + z_2, \dot{z}_2 = 2z_2 - z_1z_2 $ 在 $ z_1 $ 上是非自治的，对应于非自治一阶方程 $ dz_2/dz_1 = (2z_2 - z_1z_2)/(z_1 - z_1^2 - z_2) $。
• 从对称系统构造高阶可约方程是可行的，尽管代数上较为复杂，如从 $ x $-坐标导出的长三阶方程所示。
• 本文证明，通过紧致李群的不变量实现的轨道可约性，可提供一种系统化方法来生成可约系统，其适用范围超越了基于标准对称性的约化。