[論文レビュー] First integrals of ordinary linear differential systems

V. N. Gorbuzov, Andrei Pranevich|arXiv (Cornell University)|Jan 19, 2012

Advanced Differential Equations and Dynamical Systems参考文献 21被引用数 6

ひとこと要約

本稿は、定数係数を有する線形常微分方程式系、非-autonomous可積分系（代数的還元可能、三角的、Lappo-Danilevskii系を含む）、およびさまざまな変換群下での還元可能系に適用可能な、第一積分を構成するスペクトル法を開発する。この方法は、係数行列の固有構造解析に依拠し、自律的および非自律的ケースを含む関数的基底としての第一積分を体系的に導出する。複素固有値および多重基本因子に対しても明示的構成が提供され、対数的および三角関数的非線形性を有するオイラー型系のような特定の系に対して完全積分基底をもたらす。

ABSTRACT

The spectral method for building first integrals of ordinary linear differential systems is elaborated. Using this method, we obtain bases of first integrals for linear differential systems with constant coefficients, for linear nonautonomous differential systems integrable in closed form (algebraic reducible systems, triangular systems, the Lappo-Danilevskii systems), and for reducible ordinary differential systems with respect to various transformation groups.

研究の動機と目的

• 線形常微分方程式系に対する第一積分を体系的に求める手法を開発し、力学系理論における古典的問題に取り組む。
• 第一積分構成のダルブー問題を、定数係数線形系および非-autonomous可積分形に拡張する。
• 三角的、代数的還元可能、Lappo-Danilevskii系などの特殊クラスの系に対して、第一積分の明示的構成を提供する。
• 指数変換を特に注目して、変換群下での還元可能系にこの手法を一般化する。
• 対数的および三角関数的係数を有するオイラー型系のような特定の非-autonomous系に対して、完全な第一積分基底を明示的に構成する。

提案手法

• 線形微分方程式系の係数行列の固有構造に基づくスペクトル法を提案し、第一積分を構成する。
• 複素固有値と一般化固有ベクトルを用い、複素解の実部および虚部から実数値第一積分を導出する。
• 単純および多重基本因子を有する系にこの手法を適用し、非同次項の積分を用いて第一積分の表現を導出する。
• 指数変換（例：$ t = e^\tau $）を用いて非-autonomous系を定数係数形に還元し、スペクトル解析を可能にする。
• 固有ベクトルおよび固有値から導かれる補助関数の積分を通じて第一積分を構成し、$ \cos \ln t $、$ \sin \ln t $、および対数積分を含む項を含む。
• 特定の領域（例：$ J_l \times \mathbb{R}^n $）における関数的独立性の確認により、構成された第一積分の独立性を検証する。

実験結果

リサーチクエスチョン

• RQ1 定数係数線形常微分方程式系に対して、第一積分を体系的に構成するスペクトル法をどのように開発できるか？
• RQ2 代数的還元可能または三角的である非-autonomous線形系の第一積分の構造はいかなるものか？
• RQ3 複素固有値および多重基本因子は、線形系における実数第一積分の構成にどのように影響するか？
• RQ4 変換群（例：指数群$ \text{Exp}(n) $）は、非-autonomous系をスペクトル解析に適した形に還元する上で果たす役割は何か？
• RQ5 特定の非-autonomous系（例：対数的および三角関数的非線形性を有するオイラー型系）に対して、完全な第一積分基底をどのように明示的に構成できるか？

主な発見

• スペクトル法は、係数行列の固有構造解析を用いて、定数係数線形微分方程式系に対して完全な第一積分基底を成功裏に構成した。
• 複素共役固有値$ \lambda = \pm i $を有する系に対して、本手法は複素共役解から導かれる4つの実数的、関数的に独立な第一積分$ F_{11}, F_{21}, F_{12}, F_{22} $をもたらす。
• 非-autonomousなオイラー型系（3.24）に対して明示的第一積分が構成され、$ \cos \ln t $、$ \sin \ln t $、$ \ln t $、$ \ln^2 t $、および対数積分を含む項が含まれる。
• 構成された第一積分$ F_{11}, F_{21}, F_{12}, F_{22} $は領域$ J_l \times \mathbb{R}^4 $上で関数的に独立であり、系（3.24）の完全積分基底を形成する。
• $ \frac{1}{t} \ln t $、$ \frac{1}{t^2} \sin \ln t $、$ \frac{1}{t^4} \cos \ln t $を含む非同次項の積分は、再帰的積分と記号的操作により実行され、閉形式の表現が得られる。
• 多重基本因子を有する系へも本手法は一般化可能であり、一般化固有ベクトルが第一積分に$ \ln t \cdot F_{11} $および$ \ln t \cdot F_{21} $のような高次項を寄与させ、基底の完全性を保証する。