パンルヴェ方程式

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

歴史[編集]

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

y''=R(y',y,t)

の形に表されるものは、適当な変形を加える違いを除いて50個の「標準形」に直すことができることを発見した（一覧表が (Ince 1956) にある）。さらに Painlevé (1900, 1902) では、先の50の「標準形」のうちの44個は既知の関数を用いて解けるという意味で削減できることが判明し、解として新たな特殊関数の導入を必要とする方程式として残ったのはわずかに6個であった（実はパンルヴェの成果にはいくつか計算間違いがあり、のちに弟子のガンビエとフックスによって修正されている）。以後長らくの間、これら6個の方程式が一般の値のパラメータに対してこれ以上簡約不能であるか（特殊な値のパラメータについては、方程式が簡約化されてしまう場合もある。後述）ということが物議を醸す未解決問題であったが、最終的には Nishioka (1988) および Hiroshi Umemura (1989) によって解決を見た。これら6つの非線型二階方程式はパンルヴェ方程式と呼ばれ、それらの解はパンルヴェ超越関数と呼ばれる。

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

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

パンルヴェ方程式の分類[編集]

以下の6種類の方程式に、伝統的にパンルヴェ I から VI までの番号が振られている（括弧内は発見者）。

I (Painlevé): ${\frac {d^{2}y}{dt^{2}}}=6y^{2}+t$
II (Painlevé): ${\frac {d^{2}y}{dt^{2}}}=2y^{3}+ty+\alpha$
III (Painlevé): ${\frac {d^{2}y}{dt^{2}}}={\frac {1}{y}}\left({\frac {dy}{dt}}\right)^{2}-{\frac {1}{t}}{\frac {dy}{dt}}+{\frac {1}{t}}(\alpha y^{2}+\beta )+\gamma y^{3}+{\frac {\delta }{y}}$
IV (Gambier): ${\frac {d^{2}y}{dt^{2}}}={\frac {1}{2y}}\left({\frac {dy}{dt}}\right)^{2}+{\tfrac {3}{2}}y^{3}+4ty^{2}+2(t^{2}-\alpha )y+{\frac {\beta }{y}}$
V (Gambier): ${\begin{aligned}{\frac {d^{2}y}{dt^{2}}}&=\left({\frac {1}{2y}}+{\frac {1}{y-1}}\right)\left({\frac {dy}{dt}}\right)^{2}-{\frac {1}{t}}{\frac {dy}{dt}}\\&\quad +{\frac {(y-1)^{2}}{t}}\left(\alpha y+{\frac {\beta }{y}}\right)+\gamma \,{\frac {y}{t}}+\delta \,{\frac {y(y+1)}{y-1}}\end{aligned}}$
VI (R. Fuchs): ${\begin{aligned}{\frac {d^{2}y}{dt^{2}}}&={\frac {1}{2}}\left({\frac {1}{y}}+{\frac {1}{y-1}}+{\frac {1}{y-t}}\right)\left({\frac {dy}{dt}}\right)^{2}-\left({\frac {1}{t}}+{\frac {1}{t-1}}+{\frac {1}{y-t}}\right){\frac {dy}{dt}}\\&\quad +{\frac {y(y-1)(y-t)}{t^{2}(t-1)^{2}}}\left\{\alpha +\beta {\frac {t}{y^{2}}}+\gamma {\frac {t-1}{(y-1)^{2}}}+\delta {\frac {t(t-1)}{(y-t)^{2}}}\right\}\end{aligned}}$

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

特異点[編集]

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

動く極
無限遠点 ∞
点 0 （III, V, VI-型）
点 1 （VI-型）

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

(z-z_{0})^{-2}-{\frac {z_{0}}{10}}(z-z_{0})^{2}-{\frac {1}{6}}(z-z_{0})^{3}+h(z-z_{0})^{4}+{\frac {z_{0}^{2}}{300}}(z-z_{0})^{6}+\cdots

をもつ（h は適当な複素数）。極の場所は (Boutroux 1913, 1914) に詳しく載っている。半径 R の球に含まれる極の数は、だいたい R^5/2 の定数倍程度増加する。

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

パンルヴェ系の退化の系列[編集]

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

				III Bessel
			$\nearrow$		$\searrow$
VI Gauss	→	V Kummer				II Airy	→	I None
			$\searrow$		$\nearrow$
				IV Hermite-Weber

ハミルトン系[編集]

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

例:

q=y,\quad p=y'+y^{2}+t/2

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

y''=2y^{3}+ty+b-1/2

はハミルトニアン

\displaystyle H=p(p-2q^{2}-t)/2-bq

に対するハミルトン系

q'={\frac {\partial H}{\partial p}}=p-q^{2}-t/2

p'=-{\frac {\partial H}{\partial q}}=2pq+b

に同値である。

パンルヴェ系の対称性[編集]

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

パンルヴェ I の例[編集]

パンルヴェ第 I 方程式

y''=6y^{2}+t

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

パンルヴェ II の例[編集]

パンルヴェ II-型方程式

y''=2y^{3}+ty+b-1/2

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

q=y,\quad p=y'+y^{2}+t/2

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

(q,p,b)\to (q+b/p,p,-b)

および

(q,p,b)\to (-q,-p+2q^{2}+t,1-b)

で与えられる。これらは共に位数 2 の変換でベックルント変換からなる無限二面体群（後述するように、これは実は A₁-型のアフィンワイル群である）を生成する。b = 1/2 ならば方程式は y = 0 を解に持つ。これにベックルント変換を施せば、

y = 1/t, y = 2(t³−2)/t(t³−4), ...

のように有理関数の無限族が得られる。岡本和夫は、各パンルヴェ方程式のパラメータ空間を半単純リー環のカルタン部分環に同一視することができ、そこでのアフィンワイル群の作用をパンルヴェ方程式のベックルント変換に持ち上げられることを発見した。P_I, P_II, P_III, P_IV, P_V, P_VI に対応するリー環はそれぞれ 0, A₁, A₁⊕A₁, A₂, A₃, D₄ である。

他分野との関係[編集]

求積可能な偏微分方程式系はすべてパンルヴェ方程式に帰着できる（(M. J. Ablowitz & P. A. Clarkson 1991)を見よ）。

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

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

参考文献[編集]

Ablowitz, M. (2001), “Painlevé-type equations”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Ablowitz, M. J.; Clarkson, P. A. (1991), Solitons, nonlinear evolution equations and inverse scattering, London Mathematical Society Lecture Note Series, 149, Cambridge University Press, ISBN 978-0-521-38730-9, MR1149378
Chazy, J. (1910), “Sur les équations différentielles dont l'intégrale générale possede un coupure essentielle mobile”, C.R. Acad. Sci. (Paris) 150: 456–458
Chazy, J. (1911), “Sur les équations différentielles de troisième ordre et d'ordre supérieur dont l'intégrale générale a ses points critiques fixés”, Acta Math. 33: 317–385, doi:10.1007/BF02393131
Clarkson, P. A. (2010), “パンルヴェ方程式”, in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, http://dlmf.nist.gov/32
Robert Conte ed. (1999), Conte, Robert, ed., The Painlevé property, CRM Series in Mathematical Physics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98888-7, MR1713574
Robert M. M. Conte:The Painlevé Handbook, Springer, ISBN 978-9400796270, (2014).
Robert M. M. Conte:The Painlevé Handbook, Springer; 2nd ed, ISBN 978-3030533397, (2022).
Davis, Harold T. (1962), Introduction to Nonlinear Integral and Differential Equations, New York: Dover, ISBN 0-486-60971-5 See sections 7.3, chapter 8, and the Appendices
Fokas, Athanassios S.; Its, Alexander R.; Kapaev, Andrei A.; Novokshenov, Victor Yu. (2006), Painlevé transcendents: The Riemann–Hilbert approach, Mathematical Surveys and Monographs, 128, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3651-4, MR2264522
Gambier, B. (1910), “Sur les équations différentielles du second ordre et du premier degré dont l'intégrale générale est à points critique fixés”, Acta. Math. 33: 1–55, doi:10.1007/BF02393211 .
Gromak, Valerii I.; Laine, Ilpo; Shimomura, Shun (2002), Painlevé differential equations in the complex plane, de Gruyter Studies in Mathematics, 28, Berlin: Walter de Gruyter & Co., ISBN 978-3-11-017379-6, MR1960811
Martin A. Guest , Claus Hertling: Painlevé III: A Case Study in the Geometry of Meromorphic Connections, Springer, LNM, vol.2198, ISBN 9783319665269, (2017).
Ince, Edward L. (1956), Ordinary Differential Equations, Dover, ISBN 0486603490
Alexander R. Its, Victor Yu. Novokshenov: The Isomonodromic Deformation Method in the Theory of Painlevé Equations, Springer, LNM 1191, ISBN 9783540398233, (1986).
Iwasaki, Katsunori; Kimura, Hironobu; Shimomura, Shun; Yoshida, Masaaki (1991), From Gauss to Painlevé, Aspects of Mathematics, E16, Braunschweig: Friedr. Vieweg & Sohn, ISBN 978-3-528-06355-9, MR1118604
Nishioka, Keiji (1988), “A note on the transcendency of Painlevé's first transcendent”, Nagoya Mathematical Journal 109: 63–67, ISSN 0027-7630, MR931951
Noumi, Masatoshi (2004), Painlevé equations through symmetry, Translations of Mathematical Monographs, 223, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3221-9, MR2044201
Noumi, Masatoshi; Yamada, Yasuhiko (2004), “Symmetries in Painlevé equations”, Sugaku Expositions 17 (2): 203–218, ISSN 0898-9583, MR1816984
Painlevé, P. (1900), “Memoire sur les équations différentielles dont l'intégrale générale est uniforme”, Bull. Soc. Math. Phys. France 28: 201–261
Painlevé, P. (1902), “Sur les équations différentielles du second ordre et d'ordre supérieur dont l'intégrale générale est uniforme”, Acta Math. 25: 1–85, doi:10.1007/BF02419020
Rozov, N.Kh. (2001), “Painlevé equation”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Umemura, Hiroshi (1989), “On the irreducibility of Painlevé differential equations”, Sugaku Expositions 2 (2): 231–252, MR944888
Umemura, Hiroshi (1998), “Painlevé equations and classical functions”, Sugaku Expositions 11 (1): 77–100, ISSN 0898-9583, MR1365704
岡本和夫：「パンルヴェ方程式」、岩波書店、ISBN 978-4-00005836-0 (2009年9月25日).
眞野智行：「平坦構造と複素鏡映群・パンルヴェ方程式」、森北出版、ISBN：978-4-627-08381-3（2022年12月）.

外部リンク[編集]

Kanehisa Takasaki Painlevé Equations
Weisstein, Eric W. "Painleve Transcendents". mathworld.wolfram.com (英語).
Weisstein, Eric W. "Painleve Property". mathworld.wolfram.com (英語).
岡本和夫「Painlevéの方程式」『数学』第32巻第1号、日本数学会、1980年、30-43頁、CRID 1390001205067007872、doi:10.11429/sugaku1947.32.30、ISSN 0039470X。
岡本和夫「パンルヴェ方程式の数理」『総合講演・企画特別講演アブストラクト』第1997巻Spring-Meeting、日本数学会、1997年、10-16頁、CRID 1390001205343230208、doi:10.11429/emath1996.1997.spring-meeting_10、ISSN 1884-3972。
梅村浩「Painlevé方程式の100年」『数学』第51巻第4号、日本数学会、1999年、395-420頁、CRID 1390001205066420480、doi:10.11429/sugaku1947.51.395、ISSN 0039470X。