パンルヴェ方程式

数学においてパンルヴェ方程式は、パンルヴェ性 en を備えた特定の種類の二階非線型の複素常微分方程式である。パンルヴェ方程式は一般には初等関数の範囲で解くことはできず、パンルヴェ方程式の解としてパンルヴェ超越関数 en と呼ばれる複素変数の特殊関数が定義される。名の由来は後にフランス首相の座に就くポール・パンルヴェの著した論文 から。

1. 歴史
-----

パンルヴェ超越関数の起源は、微分方程式の解としてしばしば現れる特殊関数の研究および、線型微分方程式の等モノドロミー変形の研究にある。たとえば楕円関数などは特殊関数のクラスのなかでも特に有用なものの一つである。パンルヴェ超越関数は、方程式の特異点がパンルヴェ性を満たす二階常微分方程式の解として定められる。ここで、パンルヴェ性とは「動く特異点は極に限る」というものである。線型常微分方程式はつねにパンルヴェ性を持つが、非線型方程式でパンルヴェ性を持つものは稀である。アンリ・ポアンカレとラザルス・フックスはパンルヴェ性を持つ一階方程式が、必ずワイエルシュトラス方程式かリッカチ方程式に変形できることを示した。エミール・ピカールは一階よりも高階の動く真性特異点をもつ方程式に着目して、パンルヴェ性をもつ新たな例を探ろうとして失敗に終わっている。1900年頃、ポール・パンルヴェは動く特異点を持たない二階微分方程式を研究していて、そのような方程式で有理関数 //R// を用いて

の形に表されるものは、適当な変形を加える違いを除いて50個の「標準形」に直すことができることを発見した。さらに last=Painlevé では、先の50の「標準形」のうちの44個は既知の関数を用いて解けるという意味で削減できることが判明し、解として新たな特殊関数の導入を必要とする方程式として残ったのはわずかに6個であった。以後長らくの間、これら6個の方程式が一般の値のパラメータに対してこれ以上簡約不能であるかということが物議を醸す未解決問題であったが、最終的には Nishioka および txt によって解決を見た。これら6つの非線型二階方程式はパンルヴェ方程式と呼ばれ、それらの解はパンルヴェ超越関数と呼ばれる。

パンルヴェが見逃していた最も一般の形の第六方程式は、1905年にリチャード・フックスによって、モノドロミーを保つ変形のもとで P1 上に4つの正常特異点をもつ二階のフックス型方程式の特異性によって満たされる微分方程式として発見された。これは txt でパンルヴェ方程式のリストに加えられている。

ではパンルヴェの成果をより高階の方程式に対して拡張する試みがなされ、パンルヴェ性を満たす三階方程式がいくつか発見されている。

2. 分類パンルヴェ方程式の分類
----------------

以下の6種類の方程式に、伝統的にパンルヴェ I から VI までの番号が振られている。

I : II : III : IV : V : VI :ここでパラメータ α, β, γ, δ は複素定数である。III-型方程式では //y// と //t// をスケール変換してパラメータをふたつ減らすことができ、同様に V-型はパラメータをひとつ減らせる。つまりこれらの方程式では本当の意味での独立なパラメータはそれぞれ2つ、および3つである。

3. 特異点
------

パンルヴェ方程式が持ち得る特異点は次のようなものである。

動く極
無限遠点 ∞
点 0
点 1 パンルヴェ I-型では、特異点は動く二位の極か留数 0 の点になり、その解は複素平面上にそのような極を無限個持つ。//z//0 に二位の極を持つ関数は、//z//0 の近傍で収束するローラン展開

をもつ。極の場所は last=Boutroux に詳しく載っている。半径 //R// の球に含まれる極の数は、だいたい //R//5/2 の定数倍程度増加する。

II-型では全ての特異点が一位の極である。

4. パンルベ系の退化の系列}}パンルヴェ系の退化の系列
----------------------------

パンルヴェ I から V まではパンルヴェ VI の退化した場合になっている。もう少し詳しくは、以下の図式の如くだが、この図式は対応するガウスの超幾何関数の退化の系列をも与えている。



5. ハミルトン系
---------

パンルヴェ方程式は何れもハミルトン系として表現することができる。

例:

とおくと、パンルヴェ II 方程式

はハミルトニアン

に対するハミルトン系

に同値である。

6. パンルベ系の対称性}}パンルヴェ系の対称性
------------------------

ベックルント変換は独立変数・従属変数を変換して、微分方程式を相似な微分方程式に変換するものだが、パンルヴェ方程式は何れもベックルント変換からなる離散群の作用を持ち、ベックルント変換によりパンルヴェ方程式の既知の解から別の新しい解を得ることができる。

6.1. パンルベ I の例}}パンルヴェ I の例
--------------------------

パンルヴェ第 I 方程式

の解全体の成す集合には位数 5 の対称性を持つ変換 //y// → ζ3//y//, //t// → ζ//t// が作用する。この変換で不変な解が二つあり、ひとつは原点 0 に二位の極をもち、いま一つは原点 0 に三位の零点をもつ。

6.2. パンルベ II の例}}パンルヴェ II の例
----------------------------

パンルヴェ II-型方程式

のハミルトニアンによる定式化

において二種類のベックルント変換が

および

で与えられる。これらは共に位数 2 の変換でベックルント変換からなる無限二面体群を生成する。//b// = 1/2 ならば方程式は //y// = 0 を解に持つ。これにベックルント変換を施せば、

//y// = 1///t//, //y// = 2///t//, ...のように有理関数の無限族が得られる。岡本和夫は、各パンルヴェ方程式のパラメータ空間を半単純リー環のカルタン部分環に同一視することができ、そこでのアフィンワイル群の作用をパンルヴェ方程式のベックルント変換に持ち上げられることを発見した。PI, PII, PIII, PIV, PV, PVI に対応するリー環はそれぞれ 0, A1, A1⊕A1, A2, A3, D4 である。

7. 他分野との関係
----------

求積可能な偏微分方程式系はすべてパンルヴェ方程式に帰着できる。

自己双対ヤン＝ミルズ方程式はすべてパンルヴェ方程式に帰着される。

パンルヴェ方程式は、非対称単純排他過程、二次元イジング模型、トレイシー・ウィドム分布の定式化におけるランダム行列理論や、二次元の量子重力論などにも現れる。

8. 参考文献
-------

Robert M. M. Conte://The Painlevé Handbook//, Springer, ISBN‎ 978-9400796270, .
Robert M. M. Conte://The Painlevé Handbook//, Springer; 2nd ed, ISBN 978-3030533397, .
last=Davis //See sections 7.3, chapter 8, and the Appendices//
first=B. .
Martin A. Guest , Claus Hertling: //Painlevé III: A Case Study in the Geometry of Meromorphic Connections//, Springer, LNM, vol.2198, ISBN 9783319665269, .
Alexander R. Its, Victor Yu. Novokshenov: //The Isomonodromic Deformation Method in the Theory of Painlevé Equations//, Springer, LNM 1191, ISBN 9783540398233, .
岡本和夫：「パンルヴェ方程式」、岩波書店、ISBN 978-4-00005836-0 .
眞野智行：「平坦構造と複素鏡映群・パンルヴェ方程式」、森北出版、ISBN：978-4-627-08381-3.

9. 外部リンク
--------

Kanehisa Takasaki [1]
[2]
[3]
[4]

10. 関連項目
--------

ガルニエ系
複素微分方程式
超幾何微分方程式