[論文レビュー] Normalizers of planar systems with known first integrals

Marco Sabatini|ArXiv.org|Mar 17, 2006

Advanced Differential Equations and Dynamical Systems参考文献 7被引用数 3

ひとこと要約

本稿では、既知の第一積分をもつ平面微分系に対して正規化子を構成的に計算する手法を提示し、積分公式を用いて周期関数の導関数を明示的に計算可能にする。主な貢献は、∇H / |∇H|² に比例する正規化子ベクトル場（正規化子の関数μがその正規化子の発散に等しくなる）の構成であり、中心型系における周期関数の単調性および等時性の直接的解析を可能にする。

ABSTRACT

Given a planar differential system with a first integral, we show how to find a normalizer. For systems with a center, we give an integral formula for the derivative of its period function.

研究の動機と目的

• 第一積分が既知である平面ベクトル場の正規化子を体系的に構成するための手法を開発すること。
• 正規化子の軌道に沿った周期関数T(z)の導関数を明示的に計算できること。
• 第一積分Hの勾配およびヘッセ行列を用いて、正規化関数μの式を提供すること。
• 標準的な正規化子（例：分離可能なハミルトニアン形式）が、微分係数が0になるために失敗するような系に対しても、正規化子に基づく手法の適用範囲を拡張すること。

提案手法

• 第一積分Hをもつ平面系に対して、正規化子ベクトル場W = ∇H / |∇H|²を構成する。
• 恒等式μ = [V, W] · V / |V|²を用いて、関連する正規化関数μを導出する。
• μが正規化子ベクトル場Wの発散に一致することを示す。
• Wに沿った周期関数Tの導関数T’(H)がT’(H)であることを証明し、サイクルに沿ったμの積分による単調性解析を可能にする。
• 正規化子がHの等高線集合を保存し、Vの流れに対して横断的であることを確立する。
• 逆積分因子（RIF）を用いて系を再パラメータ化したハミルトニアン系として表現することで、非ハミルトニアン系への構成の一般化を行う。

実験結果

リサーチクエスチョン

• RQ1 第一積分Hが既知である平面系に対して、正規化子を明示的に構成する方法は何か？
• RQ2 正規化関数μはHおよびその微分を用いてどのように明示的に表されるか？
• RQ3 周期関数Tの導関数は、周期軌道に沿ったμの積分によって計算可能か？
• RQ4 本稿で提示された正規化子は、分離可能なハミルトニアン系における既存の正規化子（例：G’(x)やF’(y)が0となる場合）と比較して、定義域の適用範囲においてどのように異なるか？
• RQ5 Hの偏導関数が0になる場合でも、正規化子が依然として適切に定義される条件は何か？

主な発見

• 正規化子W = ∇H / |∇H|²が、正規化子の関数μ = div(W)を満たすように、標準的な正規化子として構成される。
• Wに沿った周期関数の導関数T’(H)が得られ、Tの単調性解析に直接的な手法を提供する。
• 分離可能なハミルトニアン系においてG’(x)やF’(y)が0になる場合でも、標準的な正規化子とは異なり、正規化子は依然として適切に定義される。
• 関数μはμ = Λ_H / |∇H|⁴として明示的に与えられ、ここでΛ_HはHの二階微分を含む2次形式である。
• 逆積分因子κをもつ系では、正規化子はW = (−Q, P) / (|V||∇H|)で与えられ、μはP, Qおよびその微分の有理関数として表現される。
• 本手法は再パラメータ化されたハミルトニアン系へ一般化可能であり、再パラメータ化下でのμの変換はμ̄ = μ − ∂_W ln κとして与えられる。