[論文レビュー] Hermite-Pade approximation, isomonodromic deformation and hypergeometric integral

Toshiyuki Mano, Teruhisa Tsuda|arXiv (Cornell University)|Feb 24, 2015

Nonlinear Waves and Solitons参考文献 20被引用数 3

ひとこと要約

本稿は、Mahlerの双対性が、モノドロミー不変Fuchs系の指数を整数分シフトするSchlesinger変換を規定することを示すことにより、Hermite-Padé近似、等モノドロミー的変形、および超幾何積分の間の深い関係を確立する。主な貢献は、反復超幾何積分およびベクトル連分数を用いて、等モノドロミー型多項式ハミルトニアン系、特に第6 Painlevé方程式およびGarnier系の解を構成することにある。

ABSTRACT

We develop an underlying relationship between the theory of rational approximations and that of isomonodromic deformations. We show that a certain duality in Hermite's two approximation problems for functions leads to the Schlesinger transformations, i.e. transformations of a linear differential equation shifting its characteristic exponents by integers while keeping its monodromy invariant. Since approximants and remainders are described by block-Toeplitzs determinants, one can clearly understand the determinantal structure in isomonodromic deformations. We demonstrate our method in a certain family of Hamiltonian systems of isomonodromy type including the sixth Painleve equation and Garnier systems; particularly, we present their solutions written in terms of iterated hypergeometric integrals. An algorithm for constructing the Schlesinger transformations is also discussed through vector continued fractions.

研究の動機と目的

• 線形微分方程式におけるHermite-Padé近似と等モノドロミー的変形の間の本質的関係を解明すること。
• Mahlerの双対性が、特性指数を整数分シフトしながらモノドロミーを保存するSchlesinger変換を生成することを示すこと。
• 反復超幾何積分を用いて、等モノドロミー型多項式ハミルトニアン系、特に第6 Painlevé方程式およびGarnier系の明示的解を提供すること。
• ベクトル連分数展開を通じてSchlesinger変換を体系的に生成するアルゴリズムを開発すること。
• ブロック-Toeplitz構造を用いて近似多項式および剰余の行列式表現を確立し、背後にある代数幾何学的構造を明確にすること。

提案手法

• Mahlerの双対性を用いて、タイプIおよびタイプIIのHermite-Padé近似を関連付け、それらの多項式解を結ぶ行列恒等式を示す。
• 双対性を応用して、特性指数を整数分シフトしながらモノドロミーを保存するFuchs系に対するゲージ的変換であるSchlesinger変換を構成する。
• 近似多項式および剰余をブロック-Toeplitz行列式で表現し、等モノドロミー的変形に隠された行列式的構造を明らかにする。
• 反復超幾何積分を用いて、等モノドロミー型ハミルトニアン系の解を構成し、Vandermonde型行列式を含む多変数積分で明示的にパrameter化する。
• 留数解析および正規化条件を用いて変形方程式の係数行列 $ B_i $ を導出し、$ B_i = \frac{A_i}{u_i - z} + K_i $ と表され、$ K_i $ が下三角行列であることを示す。
• ベクトル連分数展開のアルゴリズムを導入し、体系的にSchlesinger変換および近似解を生成する。

実験結果

リサーチクエスチョン

• RQ1 Hermite-Padé近似におけるMahlerの双対性は、等モノドロミー的変形におけるSchlesinger変換とどのように関係するか？
• RQ2 等モノドロミー型多項式ハミルトニアン系の解は、反復超幾何積分で表現可能か？
• RQ3 等モノドロミー的変形の文脈において、Hermite-Padé近似および剰余の行列式的構造は何か？
• RQ4 ベクトル連分数は、Schlesinger変換をアルゴリズム的に生成するためにどのように利用可能か？
• RQ5 留数行列の正規化は、Fuchs系の変形方程式を構成する上で果たす役割は何か？

主な発見

• Mahlerの双対性により、タイプIおよびタイプIIのHermite-Padé近似に属する多項式族の間の行列恒等式が確立され、その積は対角行列（モニックの場合単位行列）となる。
• 双対性を用いてSchlesinger変換が構成され、特性指数を整数分シフトしながらモノドロミーを保存する変換が可能となり、近似枠組みから明示的な公式が導出される。
• ハミルトニアン系 $ \mathcal{H}_{L,N} $ の解は、Vandermonde行列式および多変数測度を含む反復超幾何積分として表現される。
• ブロック-Toeplitz行列式を通じて近似の行列式的構造が明らかになり、等モノドロミー的変形に明確な代数的枠組みが与えられる。
• 変形方程式における係数行列 $ B_i $ は、$ z = u_i $ に単純極を持つ有理関数であり、留数が $ -A_i $ で、定数部 $ K_i = -(A_i)_{\rm LT}/u_i $ が下三角行列であることが示される。
• ベクトル連分数展開のアルゴリズムにより、Schlesinger変換を構成的に生成する方法が得られ、近似理論と可積分系の間の接続が明確にされる。