[論文レビュー] Tabulation of PVI Transcendents and Parametrization Formulas

Davide Guzzetti|arXiv (Cornell University)|Aug 17, 2011

Nonlinear Waves and Solitons参考文献 8被引用数 2

ひとこと要約

本稿は、第六パンルヴェ方程式（PVI）の解に関する臨界的挙動とモノドロミーに基づくパrametrization式の包括的表を提示する。ジムボらの先行研究および著者のモノドロミー保存変形技法を用いた研究に基づき、収束性が保証された展開（対数型を除く）を体系的に整理し、パンルヴェ・プロジェクトの基盤的リファレンスを提供する。

ABSTRACT

In this paper, I provide two tables, one for the critical behaviors of solutions of the sixth Painleve equation PVI, and one for the formulae which parameterize, in terms of associated monodromy data, the integration constants determining the critical behaviors. Though critical behaviors and expansions of the Painleve six functions at the critical points, and their parameterization in terms of monodromy data, have been extensively studied, the effort of collecting and tabulating them has been missing. It is the time to make a first point of the situation, in view of the Painleve Project. This is the main aim of this paper, which is a systematization (and tabulation) of the results. The table is based on the results obtained by Jimbo in [17] and in my series of papers [10], [11], [12] and [9]. These results represent essentially what have been obtained, by means of techniques of the monodromy preserving deformations method, about the critical behaviors of the Painleve six functions and their parameterization in terms of associated monodromy data. The table of critical behaviors I propose here is essentially complete. Namely, the solutions which are tabulated form a set in correspondence to (essentially) the whole space of monodromy data of the isomonodromic Fuchsian system associated to PVI. Except for the case when logarithms appear in the expansions tabulated, the expansions are convergent and define true solutions. The proof is based on the results of [22] and [9]. When logarithms appear, no proof of convergence is known to the author, though one may expect that an extension of the method of [22] and [9] be possible for the power logarithmic expansions.

研究の動機と目的

• 第六パンルヴェ方程式（PVI）の解の臨界的挙動を体系的に整理・表にすること。これらは広く研究されてきたが、統一的なリファレンスにはなっていない。
• 関連する等長モノドロミーFuchs系のモノドロミー・データを用いて、PVI解における積分定数の明示的パrametrization式を提供すること。
• PVIのモノドロミー・データのほぼ全空間をカバーする、既知の解の完全かつ体系的な概要を確立すること。
• モノドロミー保存変形に関する主要な研究結果を統合することで、パンルヴェ・プロジェクトの基盤的リソースを提供すること。

提案手法

• ジムボ（1982）および著者のFuchs系のモノドロミー保存変形に関するシリーズ論文[9]、[10]、[11]、[12]の結果を活用する。
• 等長変形法を用いて、PVI解の特異点における臨界的挙動を導出し、分類する。
• モノドロミー・データに基づいた解の表を構築し、これらのデータによってパラメータ化された展開を提示する。
• 非対数型展開の収束性は[22]および[9]の結果を用いて確立するが、対数型の場合には収束性の証明が未だ存在しないことを指摘する。
• 等長変形理論の技法を応用し、正則および不規則特異点近傍におけるモノドロミー・データと解の挙動の対応を確立する。
• 収束性が未証明の対数型を除き、モノドロミー・データの全空間に対応する解に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 第六パンルヴェ方程式の解の臨界的挙動は、文献においてどのように体系的にカタログ化されており、どのように完全に分類可能か？
• RQ2 関連するFuchs系のモノドロミー・データを用いて、PVI解における積分定数をどのようにパラメータ化できるか？
• RQ3 PVI解の展開の収束性と完全性の状態は、それぞれどのように評価されるか？
• RQ4 どのような場合に展開に対数項が現れ、なぜそれらの収束性はまだ確立されていないのか？
• RQ5 モノドロミー保存変形理論からの結果は、PVI解の統一的フレームワークをどのように支えているか？

主な発見

• 臨界的挙動の表は本質的に完全であり、PVIの等長モノドロミーFuchs系のモノドロミー・データの全空間に対応する解をカバーしている。
• 対数項を含まないすべての展開について、[22]および[9]の結果を用いて収束性が厳密に確立されており、これらが真の局所解を定義していることが確認された。
• 展開に対数項が現れる場合、現在のところ収束性の証明は知られていないが、[22]および[9]の手法の拡張により、その証明が可能であると著者は予想している。
• 積分定数のモノドロミー・データによるパラメータ化は完全に導出され、表にまとめられており、モノドロミー・データと解の挙動との直接的な関連を提供している。
• 本研究は、複数の主要論文の結果を統合・体系化し、パンルヴェ・プロジェクトにおける今後の研究の基盤的リファレンスを形成している。
• この表は、PVI超越関数およびそのモノドロミーに基づく分類に関する、現在の知識状態の標準的リファレンスとして機能する。