[論文レビュー] Application of Group Analysis to Classification of Systems of Three Second-Order Ordinary Differential Equations

Supaporn Suksern, Sibusiso Moyo+1 more|arXiv (Cornell University)|Oct 19, 2013

Nonlinear Waves and Solitons参考文献 8被引用数 3

ひとこと要約

本稿では、Ovsiannikovの手法を用いて、3階の線形常微分方程式系の完全な群分類を提示し、非退化系で非自明なリー対称性を有する4つの異なるケースを同定した。分類は、係数行列のジョルダン標準形を用いた決定方程式の解法に基づくもので、系の明示的形およびそれに関連する生成子が得られた。

ABSTRACT

Here we give a complete group classification of the general case of linear systems of three second-order ordinary differential equations excluding the case of systems which are studied in the literature. This is given as the initial step in the study of nonlinear systems of three second-order ordinary differential equations. In addition the complete group classification of a system of three linear second-order ordinary differential equations is done. Four cases of linear systems of equations are obtained.

研究の動機と目的

• 非自明なリー対称性を有する非退化系を除き、これまでに研究済みのケースや退化形を除いた、3つの2階常微分方程式からなる線形系の完全な群分類を提供すること。
• スカラー系および2方程式系に既に適用されてきたOvsiannikovの手法を、定数係数行列を有する3方程式系へと拡張すること。
• 行列Aの代数的性質を用いて、非自明なリー対称生成子を有するすべての非退化線形系を同定すること。
• 係数行列のジョルダン形と同値変換に基づく、このような系を分類する体系的な枠組みを確立すること。
• 非線形系の3つ2階常微分方程式系の将来的な群分類の基盤を、まず線形系を解くことによって築くこと。

提案手法

• 一般の3つ2階常微分方程式系にOvsiannikovの手法を適用し、1つの生成子を簡略化し、関連関数を導出する。
• 定数行列Aのジョルダン標準形を用いて、決定方程式を簡略化し、対称性構造を分析する。
• 得られた定数係数を有する1階線形常微分方程式系を、常微分方程式論における既知の解法技術を活用して解く。
• 同値変換を用いて、系を標準形に簡約し、分類の完全性を保証する。
• 許容されるリー代数の代数的構造を分析し、非自明な生成子を同定し、系を異なるケースに分類する。
• 非自明な生成子を有する非退化系は4つに限られることを確認し、退化系や定数係数系を除く。

実験結果

リサーチクエスチョン

• RQ1 非自明なリー対称生成子を有するすべての可能な非退化線形系の3つ2階常微分方程式系とは何か？
• RQ2 2方程式系よりも複雑性が高まる3方程式系に対して、Ovsiannikovの手法を体系的に適用する方法は何か？
• RQ3 係数行列Aのジョルダン標準形は、許容されるリー代数の構造を決定する上で果たす役割は何か？
• RQ4 2方程式系とは異なり、すべての非自明な生成子がX₀ = (A𝐲)·∇の形である非退化3方程式系は存在しないのはなぜか？
• RQ5 同値変換および行列Aの代数的性質は、このような系の群分類プロセスをどのように簡略化するか？

主な発見

• 非自明なリー対称生成子を有する3つ2階常微分方程式の非退化系は4つの異なるケースに分類され、すべてのこのような系はこれらの4つの形のいずれかに同値である。
• 系(37)に許容される非自明な生成子は∂ₓ − αz∂_z − βu∂_uであり、xに関する特定の多項式係数を有する系に対応する。
• 系(38)では非自明な生成子が∂ₓ + αy∂_y + c(u∂_z − z∂_u)であり、z–u平面における回転型対称性を示す。
• 系(39)は生成子∂ₓ + αy∂_y + u∂_zを許容し、u方向のz微分を含む異なる対称性構造を示す。
• 系(40)は生成子∂ₓ + z∂_y + u∂_zを有し、e^{−αx}を介したxに関する指数関数的依存性を有する系に対応する。
• 解析により、2方程式系とは異なり、非自明な生成子がすべてX₀ = (A𝐲)·∇の形である非退化3方程式系は存在しないことが確認された。これは、行列の交換子条件CA − AC = 0における構造的制約による。