[论文解读] Special Solutions of the Sixth Painleve Equation with Solvable Monodromy

Kazuo Kaneko, Shoji Okumura|ArXiv.org|Oct 23, 2006

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

一句话总结

本文構造了第六 Painlevé 方程的非經典特殊解，這些解在特定 Bäcklund 變換下不變，並透過將相關線性系統約化為 Gauss 超幾何方程，推導出其精確的線性單值性。主要貢獻在於明確計算單值性不變量，並在 Fricke 的三次曲面上對其進行特徵描述，顯示這些解對應於在 $\sigma_1$ 和 $\sigma_2\circ\sigma_1$ 變換下的對稱解，且在參數受限時具有可解的單值性。

ABSTRACT

We will study two types of special solutions of the sixth Painleve equation, which are invariant under the symmetries obtained from the Backlund transformations. In most cases, the fixed points of the Backlund transformations are classical solution, but our solutions are not classical for generic parameters. We will calculate the linear monodromy of these solutions exactly, and we will characterize them on Fricke's cubic surface of monodromy.

研究动机与目标

• 識別並構造第六 Painlevé 方程的非經典特殊解，使其在特定 Bäcklund 變換下不變。
• 計算這些解的精確線性單值性，其在一般參數下並非經典解。
• 在單值性不變量的 Fricke 三次曲面上特徵描述單值性資料。
• 證明這些對稱解的線性化系統可約化為 Gauss 超幾何方程。
• 建立單值性矩陣在對稱性約束下滿足特定跡關係，從而實現單值性參數的顯式表達。

提出的方法

• 作者使用 Bäcklund 變換識別兩類對稱性：$\sigma_1: t\to1-t, y\to1-y$ 和 $\sigma_2\circ\sigma_1: t\to1/(1-t), y\to1/(1-y)$，這些變換固定某些解。
• 在約束 $-\beta=\gamma$ 和 $\alpha=-\beta=\gamma$ 下，分別將對稱解構造為這些變換的不動點。
• 利用 Garnier-Okamoto 形式化方法線性化 Painlevé 方程的線性系統，使其約化為具有四個正則奇點的 Fuchsian 方程。
• 透過求解相關的超幾何方程來計算線性單值性，進而得到單值性矩陣 $M_0, M_t, M_1, M_\infty$ 的顯式跡表達式。
• 推導出單值性不變量 $p_j = \mathrm{tr}M_j$ 和 $p_{jk} = \mathrm{tr}M_jM_k$，並證明其滿足 Fricke 的三次關係。
• 透過驗證跡不變量滿足三次恆等式，且在對稱性約束下形成重根或三重根，於 Fricke 的三次曲面上參數化這些解。

实验结果

研究问题

• RQ1 能否構造在 Bäcklund 變換下不變且具有可解單值性的第六 Painlevé 方程的非經典特殊解？
• RQ2 當標準單值性計算通常難以處理時，如何顯式計算此類解的線性單值性？
• RQ3 對稱性在將線性系統約化為具有可解單值性的超幾何方程中發揮何種作用？
• RQ4 在約束 $p_0 = p_1$ 或 $p_0 = p_1 = p_\infty$ 下，單值性不變量 $p_j$ 和 $p_{jk}$ 如何表現？
• RQ5 這些對稱解的單值性資料能否在單值性資料的 Fricke 三次曲面上完全特徵化？

主要发现

• 在 $\sigma_1$ 和 $\sigma_2\circ\sigma_1$ 對稱下的解對一般參數而言為非經典解，與通常為經典解的 Bäcklund 變換不動點不同。
• 這些解的線性化系統精確約化為 Gauss 超幾何方程，從而實現單值性的顯式計算。
• 對於 $\sigma_1$-不變解，單值性跡表達式為 $p_0 = p_1 = 2\cos\pi\alpha_3$，$p_t = 2\cos\pi(\alpha_0+1)$，$p_\infty = 2\cos\pi\alpha_1$，且 $p_{1t} = p_{t0}$，其中 $p_{01}$ 滿足二次方程。
• 對於 $\sigma_2\circ\sigma_1$-不變解，單值性滿足 $p_0 = p_1 = p_\infty = 2\cos(\pi\alpha_1)$ 且 $p_{t0} = p_{t1} = p_{t\infty} = X$，其中 $X$ 滿足一個三次方程，其根與式 (29)、(31) 和 (33) 的表達式一致。
• 兩類解的單值性不變量均滿足 Fricke 的三次曲面關係，確認其與 $SL(2,\mathbb{C})$ 單值性表示的一致性。
• 本文證明，在對稱性約束 $p_0 = p_1$ 和 $p_{0t} = p_{t1}$ 下，單值性關係在 $p_{01}$ 上具有重根，從而唯一地特徵化了 $\sigma_1$-對稱解。