[论文解读] Special Functions of the Isomonodromy Type, Rational Transformations of Spectral Parameter, and Algebraic Solutions of the Sixth Painlevé Equation

A. V. Kitaev|ArXiv.org|Feb 18, 2001

Nonlinear Waves and Solitons参考文献 6被引用 15

一句话总结

本文提出通过特殊函数的等单变型（SFITs）对谱参数进行有理变换，作为构造第六 Painlevé 方程（P₆）代数解的方法。通过应用 RS-变换——有理变换与 Schlesinger 变换的组合——推导出显式代数解，并识别复平面上的特殊点，在这些点上超越解表现出极点或零点，且其单值性数据可计算，从而可通过展开实现解的连接。

ABSTRACT

We discuss relations which exist between analytic functions belonging to the recently introduced class of special functions of the isomonodromy type (SFITs). These relations can be obtained by application of some simple transformations to auxiliary ODEs with respect to a spectral parameter which associated with each SFIT. We consider two applications of rational transformations of the spectral parameter in the theory of SFITs. One of the most striking applications which is considered here is an explicit construction of algebraic solutions of the sixth Painlevé equation.

研究动机与目标

• 建立一种系统化方法，通过谱参数变换生成第六 Painlevé 方程的代数解。
• 探讨有理变换与 RS-变换在关联不同等单变型特殊函数（SFITs）中的作用。
• 识别独立变量复平面上的特殊点，使得 P₆ 的超越解在此类点处具有极点或零点，且其单值性数据可显式计算。
• 通过利用这些特殊点处的洛朗或泰勒展开，解决 P₆ 某些超越解的连接问题。

提出的方法

• 在形如 dΨ/dλ = A(λ)Ψ 的线性 ODE 上应用 RS-变换——即谱参数的有理变换与 Schlesinger 变换的组合——以建立 SFITs 之间的关系。
• 对谱参数 λ 应用分式线性变换，以映射极点构型，并从已知解导出新解，特别关注第六 Painlevé 方程。
• 利用 Jimbo-Miwa τ 函数将 SFITs 与 Schlesinger 系统的解关联，并推导出 σ(t) 与 τ(t) 的显式表达式。
• 通过渐近展开与单值性数据构造解，结合超几何型方程中的正交投影算子与矩阵分解。
• 通过将 Schlesinger 方程以 P₆ 解参数化，确定在 t = -1、1/2 和 2 等特殊点处的洛朗展开。
• 应用对合变换（t → 1/t，α₆ → -β₆ 等）将极点解转化为零点解，从而实现对变换后解的渐近行为与单值性数据的显式计算。

实验结果

研究问题

• RQ1 如何利用谱参数的有理变换生成第六 Painlevé 方程的代数解？
• RQ2 在独立变量复平面上的哪些特殊点，可通过超越 P₆ 解的洛朗或泰勒展开显式计算其单值性数据？
• RQ3 RS-变换如何关联不同的 SFITs，并实现从已知解构造新代数解？
• RQ4 能否通过在已知单值性数据的特殊点处展开，解决 P₆ 超越解的连接问题？

主要发现

• 通过 RS-变换 R₄(2|1+1|2)，将 λ → μ = λ²，构造出第六 Painlevé 方程的显式代数解，得到 y₁₂(t) = -√t 与 y₂₁(t) = -√t × √t 的有理函数。
• 对应参数 θ∞ = α - β，θ₀ = α - β - 1，θ₁ = θₜ = α + β + 1/2 的 σ(t) 与 τ(t) 函数分别为 σ(t) = ½(β² + α² + β + ¼) - α(1 + 2β)√t - t/16 与 τ(t) = Ct^(-1/16)(1 - 1/t)^(½(α² + β² + β + 1/8))((1 + √t)/(1 - √t))^(α(1 + 2β))。
• 在 t = -1、1/2 和 2 处，至少存在两个 P₆ 的超越解：一个具有极点，一个具有零点，两者均可通过其展开显式计算单值性数据。
• 对合变换 (5.25) 将 t = -1 处的极点解映射为 ˆt = -1 处的零点解，从而可通过已知展开式显式确定变换后解的渐近行为与单值性数据。
• 该方法表明，t = -1、1/2 和 2 等特殊点是连续变量空间中的超曲面，在这些点处解在超越与代数行为之间发生转变，从而实现连接问题的解决。