[論文レビュー] On the integrability of polynomial fields in the plane by means of Picard-Vessiot theory

Primitivo B. Acosta-Humánez, J. Tomás Lázaro-Ochoa+2 more|arXiv (Cornell University)|Dec 21, 2010

Advanced Differential Equations and Dynamical Systems参考文献 19被引用数 5

ひとこと要約

本稿は、ピカード・ベシオ理論とコヴァチッチのアルゴリズムを用いて、多項式ベクトル場の可積分性を複素平面上で決定する。リッカティ方程式への還元を通じて、2次系、リャンダール方程式、およびハイパージェオメトリック、ヘン、ラメなどの特殊関数に関連する方程式のリウヴィル可積分性に対する有効な基準を確立し、可積分性がコヴァチッチのアルゴリズムのケース1に正確に対応し、パラメータに特定の代数的条件が課されることが示された。

ABSTRACT

We study the integrability of polynomial vector fields using Galois theory of linear differential equations when the associated foliations is reduced to a Riccati type foliation. In particular we obtain integrability results for some families of quadratic vector fields, Liénard equations and equations related with special functions such as Hypergeometric and Heun ones. The Poincaré problem for some families is also approached.

研究の動機と目的

• 複素平面上の多項式ベクトル場におけるリウヴィル第一積分の存在に対する有効な基準を開発すること。
• 特定の2次系およびリャンダール型系に対するダルブーフ問題とポincare問題を扱うこと。
• ガロア理論的メソッドを用いて、超幾何関数、ヘン、ラメに関連する方程式の可積分性を特徴づけること。
• 2階線形微分方程式に対するコヴァチッチのアルゴリズムと結びつけることで、既知の可積分性結果を統一的かつ拡張すること。
• ガロア理論的基準を用いて、リッカティ型の分岐構造が有理関数または代数的第1積分をもつ場合を体系的に同定するフレームワークを提供すること。

提案手法

• 多項式ベクトル場を $ v' = a_0(x) + a_1(x)v + a_2(x)v^2 $ の形のリッカティ方程式に還元する。ここで係数は有理関数である。
• リッカティ方程式から導かれる2階線形微分方程式に対してピカード・ベシオ理論を適用する。
• コヴァチッチのアルゴリズムを用いて、ガロア群が有限（代数的解をもつ）か、可解（リウヴィル解をもつ）かを同定する。
• コヴァチッチのアルゴリズムのどのケースが適用されるかをチェックすることで可積分性条件を特定し、特に可解ガロア群に対応するケース1に注目する。
• 具体的な族に適用：2次ベクトル場、リャンダール方程式、超幾何型およびヘン型方程式。
• 結果式と超幾何型関数を用いた代数的条件を用いて、解がリウヴィル的であるときの条件を同定する。

実験結果

リサーチクエスチョン

• RQ1 どの2次多項式ベクトル場の族に対してリウヴィル第一積分が存在するか？
• RQ2 形 $ yy' = \cdots $ のリャンダール型方程式がリウヴィル解をもつのはどのような条件下か？
• RQ3 双曲的ヘン方程式がリウヴィル解をもつのはいつか？パラメータにどのような正確な代数的条件が課されるか？
• RQ4 ラメ方程式の可積分性の必要十分条件はガロア群の構造に関してどのように記述できるか？
• RQ5 ガロア理論的メソッドを用いて、特定のリッカティ型分岐構造に対してポincare問題を有効に扱うことができるか？

主な発見

• 双曲的ヘン方程式は、コヴァチッチのアルゴリズムのケース1を満たし、かつ $ \delta_0, \delta_1, \delta_2, \delta_3 $ に関する3つの特定のパラメータ条件のいずれかを満たす場合に限り、リウヴィル解をもつ。その条件には $ \delta_3 $ の消滅と $ \delta_2 $ が奇数整数であることが含まれる。あるいは、超幾何型積に関する非自明な代数的条件が課される。
• ラメ方程式に関しては、可積分性は以下の既知のケースに正確に対応する：ラメ＝エルミート系（整数 $ n $）、ブリオシ＝ハーフェン＝クローファード系（$ n + 1/2 $ が半整数でパラメータに代数的条件が課される）、バッラッサリ系（$ n + 1/2 $ が有理数で追加の代数的制約がある）。
• リャンダール方程式 $ yy' = (a(2m+k)x^{2k} + b(2m-k)x^{m-k-1})y - (a^2 m x^{4k} + c x^{2k} + b^2 m)x^{2m-2k-1} $ は、$ m, k $ が有理数であり、関連するリッカティ方程式がコヴァチッチのアルゴリズムのケース1に属する場合に完全可積分である。
• リッカティ方程式に有理第一積分が存在することは、ガロア群が有限であることと同値であり、これはまさにコヴァチッチのアルゴリズムのケース1の条件を満たす場合に成立する。
• ガロア理論的解析を通じて次数の上限と可積分性基準を確立することで、特定の系の族に対してポincare問題を完全に解明した。
• 本手法は、特殊関数の可積分性に関する既存の結果を成功裏に回復・一般化し、リウヴィル解がパラメータの特定の代数的制約のもとでのみ出現することを示した。