[论文解读] 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

一句话总结

本文應用皮卡-ヴェسيオー理論與コヴァチッチのアルゴリズム，將複素平面上の多項式ベクトル場の可積分性問題簡化為リッカティ方程式，從而建立二次系、リャンダール方程式およびヘンおよびラメ方程式などの特殊方程式に対するリウヴィル可積分性の有効な基準。結果として、可積分性はコヴァチッチのアルゴリズムのケース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.

研究动机与目标

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

提出的方法

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

实验结果

研究问题

• RQ1 どの二次多項式ベクトル場の族に対してリウヴィル的第1積分が存在するか？
• RQ2 リャンダール型方程式 $ yy' = \cdots $ がリウヴィル的解をもつのはどのような条件下か？
• RQ3 双連接ヘン方程式がリウヴィル的解をもつのはいつか？そのパラメータに課される正確な代数的条件は何か？
• RQ4 ラメ方程式の可積分性に必要な十分条件はガロア群の構造をどのように特徴づけるか？
• RQ5 ガロア理論的手法を用いて、特定のリッカティ型ファイブレーションに対してポincare問題を効果的に取り扱えるか？

主要发现

• 双連接ヘン方程式は、コヴァチッチのアルゴリズムのケース1を満たし、かつ $ \delta_0, \delta_1, \delta_2, \delta_3 $ に関する3つの特定のパラメータ条件（$ \delta_3 $ の消滅および $ \delta_2 $ が奇数整数であること、または超幾何型積に関する非自明な条件）を満たす場合に限り、リウヴィル的解をもつ。
• ラメ方程式に関しては、可積分性は以下の既知の3つの場合に正確に対応する：ラメ＝エルミートの場合（$ 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積分が存在することは、ガロア群が有限であることと同値であり、これはまさにコヴァチッチのアルゴリズムのケース1の条件を満たす場合に成立する。
• ガロア理論的解析を用いて次数の上限と可積分性基準を確立することで、特定の系の族に対してポincare問題を完全に解明した。
• 本手法は、特殊関数の可積分性に関する既存の結果を正確に回復し、一般化し、リウヴィル的解がパラメータの特定の代数的制約のもとでのみ出現することを示した。