[論文レビュー] Integrable geodesic flows on 2-torus: formal solutions and variational principle

Michael Michael, Bialy+1 more|arXiv (Cornell University)|Jan 10, 2014

Nonlinear Waves and Solitons参考文献 7被引用数 5

ひとこと要約

本稿では、3次および4次多項式第一積分を記述する準線形PDE系を分析することにより、2次トーラス上の可積分な測地線流れを研究する。4次の場合、系は1つの3階方程式に簡約され、これは変分原理のEuler-Lagrange方程式であることが示され、小さなパラメータに関するべき級数として形式的な2重周期的解が構成される。これにより、高次多項式第一積分に対する変分的かつ可積分な構造が確立される。

ABSTRACT

In this paper we study quasi-linear system of partial differential equations which describes the existence of the polynomial in momenta first integral of the integrable geodesic flow on 2-torus. We proved in [3] that this is a semi-Hamiltonian system and we show here that the metric associated with the system is a metric of Egorov type. We use this fact in order to prove that in the case of integrals of degree three and four the system is in fact equivalent to a single remarkable equation of order 3 and 4 respectively. Remarkably the equation for the case of degree four has variational meaning: it is Euler-Lagrange equation of a variational principle. Next we prove that this equation for $n=4$ has formal double periodic solutions as a series in a small parameter.

研究の動機と目的

• 2次トーラス上の測地線流れに対して、2次より高い次数の非自明な多項式第一積分の存在を特徴づけること。
• ハミルトニアンと第一積分がポアソン可換となる条件から生じる準線形PDE系を分析すること。
• 4次第一積分の場合、系が変分的意味を持つ顕著な1つの方程式に簡約されることを示すこと。
• 小さなパラメータに関する形式的2重周期的解が、4次の場合に存在することを証明すること。

提案手法

• 測地線流れのハミルトニアンと、運動量に関して多項式である第一積分がポアソン可換であるという条件から、PDE系(1)を導出すること。
• 系が半ハミルトニアン的であり、双曲的領域ではリーマン不変量を有することを示し、一般化されたホドグラフ法の適用を可能にすること。
• 系に付随する計量がエゴロフ型であることを証明することにより、系の幾何的構造を単純化すること。
• エゴロフ計量構造を活用して、3次および4次系をそれぞれ3階および4階の単一方程式に簡約すること。
• 4次方程式が変分原理のEuler-Lagrange方程式であることを確立し、系に変分的基礎を与えること。
• 再帰的フーリエ係数解析と対称性制約を用いて、小さなパラメータに関する漸近級数として形式的2重周期的解を構成すること。

実験結果

リサーチクエスチョン

• RQ1 2次トーラス上の4次多項式第一積分のPDE系は、1つのより取り扱いやすい方程式に簡約可能か？
• RQ2 4次系は変分的定式化を有するか？ もし有するならば、その背後にあるラグランジアンは何か？
• RQ3 4次方程式の形式的解の構造は何か？ また、それらは2重周期性を示すか？
• RQ4 系の対称性は、解成分のフーリエモードにどのような制約を課えるか？
• RQ5 エゴロフ計量構造は、可積分系の解析をどのように単純化するか？

主な発見

• 4次第一積分のPDE系は、3次の場合には1つの3階方程式に、4次の場合には1つの4階方程式に等価である。
• 4次方程式は変分原理のEuler-Lagrange方程式であるため、系に変分的基礎を与える。
• 形式的2重周期的解が、小さなパラメータに関する漸近的べき級数として存在し、再帰的フーリエ係数解析によって構成される。
• すべての解成分は座標軸および対角線に関して対称であり、$e^{inx}, e^{iny}, e^{in(xackpm y)}$ の形のフーリエ単項式を含まない。
• 半ハミルトニアン系に付随する計量はエゴロフ型であるため、単一の1次方程式への簡約が可能となり、幾何的構造が単純化される。
• 特定のフーリエモードの不在は、再帰的系における非線形項の奇・偶対称性に依拠した帰納法により証明される。