[論文レビュー] The geometry of second-order ordinary differential equations

Boris Doubrov, Boris Komrakov|arXiv (Cornell University)|Feb 2, 2016

Nonlinear Waves and Solitons参考文献 10被引用数 6

ひとこと要約

この論文は、ジェットバンドル、カルタン接続、およびリー群構造を用いて、2階常微分方程式（SODE）の幾何的枠組みを構築する。SODEと1次ジェットバンドル上の幾何的対象との間の対応関係を確立し、不変量による分類と、対称性が存在する場合の重ね合わせ原理による解法を可能にする。主な貢献は、対称代数と接触幾何学を用いて可積分性を決定し一般解を構成する体系的な手法の開発である。

ABSTRACT

These are lecture notes of the Summer school on the geometry of differential equations held in Nordfjordeid, Norway in 1996. They cover geometric structures related to scalar second order ODEs, the construction of the associated Cartan connection, techniques for computing invariants of differential equations starting from the Cartan connection, recognition of symmetric 2nd order ODEs by their differential invariants and the constructive aspects of the local equivalence problem.

研究の動機と目的

• ジェットバンドルと接触構造を用いて、2階常微分方程式の微分幾何的枠組みを構築すること。
• カルタン接続の不変量および関連するリー代数を用いてSODEを分類すること。
• SODEが対称性還元を用いて可積分であり、重ね合わせ原理を満たすための条件を確立すること。
• 曲線および微分同相写像のジェット空間における延長の幾何的特徴づけを提供すること。
• SODEの可解性が対称代数の構造とどのように関連するかを明らかにすること、特にその代数が可解である場合に注目する。

提案手法

• 平面内の方向をパラメトライズする3次元多様体として、$ J^1(\mathbb{R}^2) $ の1次ジェットバンドルを用い、局所座標 $ (x, y, z) $ をとり、$ z = y' $ とする。
• 延長曲線の接空間の分布として接触分布 $ C \subset T J^1(\mathbb{R}^2) $ を定義し、$ \partial_x + z \partial_y $ および $ \partial_z $ で張られる。
• 2階微分方程式 $ y'' = F(x, y, y') $ を幾何学的に記述するため、$ J^1(\mathbb{R}^2) $ 上のカルタン接続を導入し、水平分布が接触分布に横断的であることに基づいて方程式を同定する。
• リー代数 $ \mathfrak{g} $ が可解である場合、$ \mathfrak{g} $-構造および主バンドルの理論を適用し、SODEの統合を1形式の系の解法に還元する。
• 重ね合わせ原理を用いる：$ k $ 個の特解 $ F_1, \dots, F_k $ が存在し、それらの安定化部分群の交わりが自明であれば、任意の解は関数 $ \Phi(F_1, \dots, F_k, b) $ として表され、ここで $ \Phi $ は多様体 $ N $ 上の群 $ G $ の作用である。
• 線形系にこの手法を適用する。$ \omega = X(t) dt $ を行列値1形式とみなして、SODEを線形系 $ F'(t) = A(t)F(t) $ に還元し、一般解を $ n $ 個の一次独立な解の線形結合として得る。

実験結果

リサーチクエスチョン

• RQ1 2階常微分方程式は、ジェットバンドルと接触構造を用いてどのように幾何的に特徴づけられるか？
• RQ2 カルタン接続の不変量は、局所微分同相写像に関してSODEをどのように分類するか？
• RQ3 2階ODEが対称代数に基づいて重ね合わせ原理を満たすための条件は何か？
• RQ4 対称代数の可解性はSODEの可積分性とどのように関連するか？
• RQ5 ジェット空間における曲線および微分同相写像の延長の幾何的意味は何か？

主な発見

• 任意の2階微分方程式 $ y'' = F(x, y, y') $ は、接触分布に横断的な $ J^1(\mathbb{R}^2) $ 上の水平分布に対応し、逆にそのような水平分布はSODEに対応する。
• 平面内の曲線 $ N $ の延長は、接触分布に接する $ J^1(\mathbb{R}^2) $ 内の曲線であり、任意のこのような曲線は局所的に平面曲線の延長として得られる。
• 対称代数 $ \mathfrak{g} $ が多様体 $ N $ 上で有効に作用する場合、SODEに対して重ね合わせ原理が成り立ち、一般解は $ k $ 個の特解および群作用の関数として表される。
• 線形系 $ F'(t) = A(t)F(t) $ に対して、一般解は $ n $ 個の一次独立な解の線形結合として得られ、これは重ね合わせ原理の特別な場合である。
• 対称代数 $ \mathfrak{g} $ が可解である場合、SODEは四則演算により可積分となり、$ \dim \mathfrak{g} $ 個の1形式の積分に還元される。
• 平面 $ \mathbb{R}^2 $ 上の微分同相写像 $ \varphi $ の延長は、$ J^1(\mathbb{R}^2) $ 上の微分同相写像 $ \varphi^{(1)} $ を誘導し、接触分布を保存する。明示的な式は $ C(x,y,z) = \frac{B_x + B_y z}{A_x + A_y z} $ である。