[論文レビュー] Richness or Semi-Hamiltonicity of quasi-linear systems which are not in evolution form

Michael Michael, Bialy|arXiv (Cornell University)|Jan 31, 2011

Control and Stability of Dynamical Systems参考文献 6被引用数 3

ひとこと要約

本稿では、進化形でない準線形系に対して、特徴的角に関する回転不変条件を導入することで、RichnessおよびSemi-Hamiltonicityの概念を一般化する。この条件下で、Riemann不変量が特徴曲線に沿ってRiccati方程式を満たすことが証明され、両方の係数行列が退化する場合でも爆発解析が可能になる。主な貢献は、2次トーラス上の測地線流れの多項式積分といった幾何的文脈における双曲型系を分析する一般化された枠組みの構築である。

ABSTRACT

The aim of this paper is to consider quasi-linear systems which are not in the form of evolution equations. We propose new condition of Richness or Semi-Hamiltonicity for such a system and prove that the blow up analysis along characteristic curves can be performed for it in an analogous manner. This opens a possibility to use this ansatz also for geometric problems. We apply the results to the problem of Polynomial integral for geodesic flows on the 2-torus.

研究の動機と目的

• 進化形でない系にまでRichおよびSemi-Hamiltonian系の理論を拡張し、そのうちの1つの係数行列が非退化である場合を想定する。
• 両方の行列 $ A(u) $ と $ B(u) $ が退化する場合でも適用可能な、回転不変なRichnessの条件を定義する。
• この一般化された条件下で、Riemann不変量の微分が特徴曲線に沿ってRiccati方程式を満たすことを確立する。
• この枠組みを、特に共形座標における2次トーラス上の測地線流れの多項式積分問題に適用する。
• 系が保存則形式 $ (g_i)_x + (h_i)_y = 0 $ に書けるのは、かつはそのときのみ、一般化されたRichness条件が成り立つことの証明。

提案手法

• 系の特徴的角 $ \theta_i $ に基づく、Richnessの新しい定義を導入し、条件 $ \frac{\theta_{j,i}}{\tan(\theta_i - \theta_j)} $ が対称的微分恒等式を満たすことを要請する。
• 特徴曲線に沿う単位ベクトル場 $ v_i $ に対して $ L_{v_i} r_i = 0 $ を満たすように、正則な座標変換によるRiemann不変量 $ r_i $ を定義する。
• 直交微分 $ w_i = L_{v_i^\bot} r_i $ に対して、関数 $ G_i $ を $ \frac{\theta_{j,i}}{\tan(\theta_i - \theta_j)} $ で定義したポテンシャルを含むRiccati方程式を導出する。
• コンmutator恒等式 $ [v_i, v_i^\bot] $ を用いて $ w_i $ の進化を導出し、Riccati構造を得る。
• 共形座標における2次トーラス上の測地線流れに、一般化された枠組みを適用し、得られる系が一般化されたRichness条件を満たすことを示す。
• 正則な座標変換と可逆行列の積を用いることで、系が $ n $ 個の保存則 $ (g_i)_x + (h_i)_y = 0 $ に書けるのは、かつはそのときのみ、一般化されたRichness条件が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 進化形でない準線形系において、両方の係数行列が退化する場合でも、RichnessまたはSemi-Hamiltonicityの概念を拡張可能か？
• RQ2 特徴的角に関する回転不変条件が、行列の退化が存在する場合でも、特徴曲線に沿った爆発解析を可能にするか？
• RQ3 一般化されたRichness条件は、系が保存則形式に書けることに同値か？
• RQ4 この枠組みは、2次トーラス上の測地線流れの多項式積分といった幾何的問題にどのように応用できるか？
• RQ5 真の非線形性が成立しない場合、Riemann不変量の直交微分に関するRiccati方程式の挙動はいかなるものか？

主な発見

• 一般化されたRichness条件（Φ）は平面の回転に対して不変であり、系が進化形である場合には古典的条件（R）に還元される。
• 一般化されたRichness条件下で、直交微分 $ w_i = L_{v_i^\bot} r_i $ は方程式 $ L_{v_i}(\text{exp}(-G_i)w_i) + \text{exp}(G_i)\frac{\theta_{i,i}}{\tan(\theta_i - \theta_j)}(\text{exp}(-G_i)w_i)^2 = 0 $ を満たす。ここで $ G_i $ は $ \frac{\theta_{j,i}}{\tan(\theta_i - \theta_j)} $ で定義される。
• 系が新しい意味でのRichであることは、正則な座標変換と可逆行列の積を用いて $ (g_i)_x + (h_i)_y = 0 $ の形に書けることに同値である。
• 共形座標における2次トーラス上の測地線流れに対して得られる準線形系は、進化形でないにもかかわらず、一般化されたRichness条件を満たす。
• 多項式 $ P = \text{det}(\beta A - \beta B) $ は恒等的に消えないため、$ A $ と $ B $ が一部の点で退化しても、系は依然として厳密に双曲的であることが保証される。
• $ n=3 $ の例では、両方の行列 $ A $ と $ B $ がある点で特異であっても、系が保存則形式に書けることが示され、したがって一般化されたRichness条件を満たすことが確認される。