[論文レビュー] Application of Lie-group symmetry analysis to an infinite hierarchy of differential equations at the example of first order ODEs

Michael Frewer|arXiv (Cornell University)|Oct 30, 2015

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

ひとこと要約

この論文は、リッカティ型系のような無限階層の1階常微分方程式系が、一意な一般解多様体が存在しないため、閉じていない構造を示しており、その結果、無限個の独立な解多様体が存在することを示している。リー群の対称性解析を用いて、このような系は完全なリー対称性ではなく、不定な同値変換しか許されないことを示し、この結果がリッカティ例を越えて常微分方程式および偏微分方程式に対しても普遍的に成り立つことを証明している。

ABSTRACT

This study will explicitly demonstrate by example that an unrestricted infinite and forward recursive hierarchy of differential equations must be identified as an unclosed system of equations, despite the fact that to each unknown function in the hierarchy there exists a corresponding determined equation to which it can be bijectively mapped to. As a direct consequence, its admitted set of symmetry transformations must be identified as a weaker set of indeterminate equivalence transformations. The reason is that no unique general solution can be constructed, not even in principle. Instead, infinitely many disjoint and thus independent general solution manifolds exist. This is in clear contrast to a closed system of differential equations that only allows for a single and thus unique general solution manifold, which, by definition, covers all possible particular solutions this system can admit. Herein, different first order Riccati-ODEs serve as an example, but this analysis is not restricted to them. All conclusions drawn in this study will translate to any first order or higher order ODEs as well as to any PDEs.

研究の動機と目的

• 無限階層の1階常微分方程式の構造的性質および対称性特性、特にリー群の対称性解析の文脈における性質を調査すること。
• 各方程式が個別に解けるにもかかわらず、その系が本質的に閉じていないのはなぜかを明確にすること。
• その系が完全なリー点対称性ではなく、不定な同値変換に限られる理由を示すこと。
• 一意な一般解多様体が存在しないことが、閉じた系とは対照的に無限個の互いに素な解多様体が存在することにつながることを示すこと。
• リッカティ型方程式に限らない他の常微分方程式および偏微分方程式に対しても、結果が一般化可能であることを確立すること。

提案手法

• 本研究では、無限階層の1階リッカティ常微分方程式系に対してリー群の対称性解析を適用し、無限小生成子を求める手法を用いる。
• 無限小量 ξ および ηₙ の決定系を導出し、偏微分方程式の過剰系に帰着させる。
• 系を結合しない解に制限するために、ξ が x のみに依存し、ηₙ が x および yₙ に依存すると仮定することで、再帰的制約に簡略化される。
• 得られた系は各 n に対して独立な方程式に分解され、無限小量の再帰的連鎖となる常微分方程式系に帰着する。
• ψₙ(x, yₙ) = αₙ(x)yₙ の線形形の仮定により、問題が αₙ および φ(x) の解法に還元される。
• 最終的な対称性代数は、X₁^∞ および X₂^∞ で張られる2次元部分代数として得られ、交換子関係 [X₁^∞, X₂^∞] = X₂^∞ を満たす。

実験結果

リサーチクエスチョン

• RQ1 なぜ無限階層の1階常微分方程式系は、各方程式が個別に解けるにもかかわらず、一意な一般解多様体を許さないのか？
• RQ2 このような無限系が許す対称性群の性質は何か？ なぜ完全なリー群的対称性ではないのか？
• RQ3 系の構造が、リー対称性解析の文脈における同値変換の存在および形にどのように影響を与えるか？
• RQ4 無限階層において結合しない不変性が成立するためには、無限小量がどのような条件を満たすべきか？
• RQ5 リッカティ型常微分方程式に対して得られた結果は、他の常微分方程式および偏微分方程式へどの程度一般化可能か？

主な発見

• 無限階層の1階常微分方程式系は構造的に閉じていない。つまり、一意な一般解多様体が存在せず、代わりに無限個の互いに素な解多様体が共存する。
• 一意な解構造が欠落しているため、系は完全なリー点対称性ではなく、不定な同値変換しか許されない。
• 一貫したリー点対称性は、無限小量が ξ = c₁x + c₂x² および ηₙ = (2c₁ + c₂x)yₙ (すべての n ≥ 1 に対して) である2次元部分代数によってのみ生成される。
• 対称性代数は交換子関係 [X₁^∞, X₂^∞] = X₂^∞ を満たしており、非アーベル構造を示している。
• 無限小量の解は、φ(x) に関する2階常微分方程式 x·d²φ/dx² - 2·dφ/dx + 2φ/x = 0 に帰着され、一般解は φ(x) = c₁x + c₂x² である。
• 得られる対称性代数は、φ(x) = c₁x + c₂x² の特定の形にある場合にのみ閉じており、一貫性がある。これにより、許可される対称性は有限次元部分代数に制限される。