[論文レビュー] Time-dependent singular differential equations

Xavier Gràcia, Rubén Martín|ArXiv.org|Oct 25, 2004

Dynamics and Control of Mechanical Systems参考文献 21被引用数 3

ひとこと要約

本稿は、$ A(t,x)\dot{x} = b(t,x) $ の形をした線形特異系を対象として、ジェットバンドルとアフィン幾何学を用いて、時間に依存する特異微分方程式の幾何的枠組みを構築する。非自励系への制約アルゴリズムの拡張と、時間に依存する系と等価な非自励系を結びつけるための標準的ベクトルハル構成を導入し、ラグランジュ的およびスキンナー＝ラスク形式を含む制約付き力学系の体系的解法を可能にする。

ABSTRACT

A geometric framework for describing and solving time-dependent implicit differential equations F(t,x,x')=0 is studied, paying special attention to the linearly singular case, where F is affine in the velocities: A(t,x)x' = b(t,x). This framework is based on the jet bundle of a time-dependent configuration space, and is an extension of the geometric framework of the autonomous case. When A is a singular matrix, the solutions can be obtained by means of constraint algorithms, either directly or through an equivalent autonomous system that can be constructed using the vector hull functor of affine spaces. As applications, we consider the jet bundle description of time-dependent lagrangian systems and the Skinner-Rusk formulation of time-dependent mechanics.

研究の動機と目的

• 非自励系から時間に依存する系への特異微分方程式の幾何理論の拡張。
• 標準的な存在・一意性定理が成立しない時間に依存する陰的および線形特異方程式の解法の挑戦への対処。
• 非自励系におけるプレシンプレクティック制約アルゴリズムに類似した、時間に依存する系のための制約アルゴリズムの構築。
• ベクトルハル関手を用いて、時間に依存する特異系と等価な非自励系との間の標準的対応を確立。
• この枠組みを時間に依存するラグランジュ力学および力学系のスキンナー＝ラスク形式に適用。

提案手法

• 時間に依存する配置空間を、自明な積 $ \mathbb{R} \times Q $ ではなく、$ \rho: M \to \mathbb{R} $ のファイバー束としてモデル化することで、幾何的構造を保存する。
• 時間に依存する1階微分方程式の自然な位相空間として、1階ジェットバンドル $ J^1\rho \to M $ を用いる。
• アフィン写像として線形特異方程式を定式化する：$ A(t,x)\dot{x} = b(t,x) $、ここで $ A $ は特異である可能性がある。
• 解が存在する $ J^1\rho $ の部分多様体を特定するための制約アルゴリズムを適用し、非自励系の一般化を行う。
• アフィンジェットバンドルのベクトルハルを用いて等価な非自励系を構成し、$ \widehat{J^1\rho} = TM $ および $ \widehat{J^2\rho} = C\rho_{1,0} $（カルタン分布）を特定する。
• 自然な単射 $ J^1\rho \hookrightarrow TM $ とベクトルハル関手を用いて、アフィン写像を線形写像に均一化し、非自励系の手法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 特異微分方程式の幾何理論を非自励系から時間に依存する系へ一般化する方法は何か？
• RQ2 適切な幾何的構造（特にどのバンドルと写像型）が必要か、時間に依存する陰的微分方程式を記述するためか？
• RQ3 時間に依存する線形特異系に、非自励系におけるプレシンプレクティック制約アルゴリズムに類似した、体系的な制約アルゴリズムをどのように拡張できるか？
• RQ4 時間に依存する特異系を、標準的に等価な非自励系に変換できるか？もしそうなら、その方法は何か？
• RQ5 時間に依存する力学系のスキンナー＝ラスク形式およびラグランジュ形式を、この幾何的枠組み内で一貫して記述できるか？

主な発見

• ジェットバンドル $ J^1\rho $ は、非自励系で用いられる接バンドルに代わる、時間に依存する1階陰的微分方程式の自然な幾何的設定を提供する。
• 1階ジェットバンドルのベクトルハル $ \widehat{J^1\rho} $ は、自然に接バンドル $ TM $ に同一視され、時間に依存する系を非自励系に埋め込む標準的埋め込みを可能にする。
• 2階ジェットバンドルのベクトルハル $ \widehat{J^2\rho} $ は、$ T(J^1\rho) $ 内のカルタン分布 $ C\rho_{1,0} $ に同一視され、2階時間に依存する系の幾何的基盤を提供する。
• 時間に依存する線形特異系のための制約アルゴリズムは、非自励系におけるプレシンプレクティック制約アルゴリズムの自然な拡張として構築され、部分多様体上での解の整合性と存在を保証する。
• この形式は、時間に依存するラグランジュ系およびスキンナー＝ラスク形式を、ジェットバンドルとベクトルハルの枠組みに埋め込むことで、うまく記述できる。
• 本手法は、長さが時間に依存する振り子の例に適用され、時間に依存する制約を持つ具体的な力学系における有効性が示された。