[論文レビュー] Use of Complex Lie Symmetries for Linearization of Systems of Differential Equations - I: Ordinary Differential Equations

Sajid Ali, F. M. Mahomed+1 more|arXiv (Cornell University)|Nov 30, 2007

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

ひとこと要約

本稿は、実変数に関する複素関数（r-CODEs）に対するリーの線形化可能基準を拡張し、2つの実OEDから成る非線形系が複素点変換を用いて線形化可能であることを示している。複素解を実成分に分解することで、非線形連立OED系を線形化する不変基準および変換を体系的に導出する手法を提供し、高階および連立系に対して従来の実変数手法よりも効率的な代替手法を提供する。

ABSTRACT

The Lie linearizability criteria are extended to complex functions for complex ordinary differential equations. The linearizability of complex ordinary differential equations is used to study the linearizability of corresponding systems of two real ordinary differential equations. The transformations that map a system of two nonlinear ordinary differential equations into systems of linear ordinary differential equations are obtained from complex transformations. Invariant criteria for linearization are given for second order complex ordinary differential equations in terms of the coefficients of the equations, as well as the corresponding real system, which provide procedures for writing down the solutions of the equations. Illustrative examples are given and discussed.

研究の動機と目的

• 2階実OEDのリー線形化可能基準を、1つの実変数に関する複素関数（r-CODEs）に拡張すること。
• 複素変換を用いた2階r-CODEの線形化のための不変基準を確立すること。
• 2つの非線形実OEDから成る系が、それに対応するr-CODEを変換することによって線形化可能であることを示すこと。
• 非線形系を線形形に写像する点変換を構成する体系的メソッドを提供すること。
• 複素定数を含む複素解が、連立非線形OED系の実解を生成するにあたり、その意義を明らかにすること。

提案手法

• 非線形r-CODEを線形r-CODEに写像する複素点変換の使用、例として $ u' + u^2 = 0 $ を $ U' = 0 $ に変換すること。
• 関数 $ u(x) = y(x) + iz(x) $ の複素関数の分解により、r-CODEを2つの実OED系に変換すること。
• r-CODEの線形化のためのリー適合条件を係数関数の観点から導出すること。
• 複素変換から導かれる不変基準を応用し、実系の線形化可能性を特定すること。
• 複素積分を用いて複素定数を含む一般解を導出し、それを実定数に分解して実OED系の解を得ること。
• 解の複素形式から実形式への写像を実施し、r-CODEの解とそれに対応する実系の解との整合性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 実OEDのリー線形化可能基準を、1つの実変数に関する複素関数にどのように一般化できるか？
• RQ2 2階r-CODEが複素変換を用いて線形化可能であるかどうかを決定する不変基準は何か？
• RQ3 複素点変換は、2つの結合非線形実OED系をどのように線形化に導くか？
• RQ4 r-CODEの対称性とそれに対応する実系との関係、特にリー点対称性の観点から、どのように関係するか？
• RQ5 r-CODEの複素解を体系的に用いて、連立非線形OED系の実解を生成することは可能か？

主な発見

• 2階r-CODEの線形化可能性は、方程式の係数関数に依存する不変基準によって決定される。
• 2つの非線形実OED系は、それに対応するr-CODEを可逆な複素点変換により線形化することで実現可能である。
• 複素定数を含むr-CODEの解は、実部と虚部に分解することで、対応するOED系の実解を導出可能である。
• 変換 $ u' + u^2 = 0 \to U' = 0 $ は $ \chi = x, U = (1/u) - x $ を通じて実施され、一見自明に思える複素写像であっても、非自明な実変換を生み出すことを示している。
• 系 $ y'' = -y, z'' = -z $ はr-CODE $ u'' + u = 0 $ に対応し、複素解と実解の構造が整合していることを確認している。
• 本手法は、複素対称性構造を活用することで、4つの2階OED系の線形化において、従来の実変数手法よりも効率的な代替手段を提供する。