[论文解读] On the Lax pairs of the sixth Painleve' equation

Robert Conte|arXiv (Cornell University)|Jan 24, 2007

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

一句话总结

本文研究了六階Painlevé方程（P6）的全純矩陣Lax對構造，解決了現有矩陣等單調形式中一個關鍵限制：其中一個單調指數的依賴關係為亞純函數。透過對Lax矩陣L提出一種Kimura型假設，該工作旨在實現參數θj的全純依賴，以及對u、u′和x的有理依賴——從而為構造完全全純且有理的矩陣Lax對鋪平道路，這仍是一個開放性挑戰。

ABSTRACT

The dependence of the sixth equation of Painleve' on its four parameters $(2 α,-2 β,2 γ,1-2 δ) =(θ_{\infty}^2,θ_{0}^2,θ_{1}^2,θ_{x}^2)$ is holomorphic, therefore one expects all its Lax pairs to display such a dependence. This is indeed the case of the second order scalar ``Lax'' pair of Fuchs, but the second order matrix Lax pair of Jimbo and Miwa presents a meromorphic dependence on $θ_\infty$ (and a holomorphic dependence on the three other $θ_j$). We analyze the reason for this feature and make suggestions to suppress it.

研究动机与目标

• 解決Jimbo-Miwa矩陣Lax對中θ∞的亞純依賴問題，此問題與P6本身參數的全純依賴性相矛盾。
• 構造一個二階矩陣Lax對，使其在所有四個單調指數θj = (θ∞, θ0, θ1, θx)上均為全純函數。
• 探索超越Jimbo-Miwa構造的Lax矩陣L之替代假設，特別是考慮先前研究中提出的在t中加入線性項的構想。
• 識別使所得矩陣Lax對在u、u′和x上保持有理依賴，同時確保θj參數全純性的條件。

提出的方法

• 採用一種Kimura型假設於Lax矩陣L，假設L = -Mx/(t-x) + m M∞，其中m為待定函數。
• 透過t的常微分方程組定義單調矩陣M，其中M∞為常數，且M0、M1、Mx滿足特定的交換子關係。
• 透過要求變數zj的t-微分與演化方程的一致性，強制系統閉合，確保可積性。
• 透過交換子條件X = Sx + Cttt + CSt + 2CtS = 0，識別出標量Lax對，將矩陣系統與標量Fuchs型形式關聯起來。
• 利用t = u處的可去奇點具有Fuchs指數差為3（而非2）的條件來約束系統，使其與標準P6 Lax對區分開來。
• 推導出一項必須滿足的一致性多項式關係F(z∞, u∞, θ∞, u0, θ0, ux, θx, u, x, e^{iφ}) = 0，其中F在每個變數上皆為二次多項式。

实验结果

研究问题

• RQ1 為何Jimbo-Miwa矩陣Lax對在θ∞上表現出亞純依賴，儘管P6本身具有全純參數依賴？
• RQ2 能否構造一個在所有四個單調指數θj上均為全純的P6二階矩陣Lax對？
• RQ3 是否可能在矩陣Lax形式中同時實現θj的全純依賴與u、u′和x的有理依賴？
• RQ4 除了Jimbo-Miwa構造外，Lax矩陣L的哪些替代假設可產生全純且有理的矩陣Lax對？
• RQ5 Kimura型系統中可去奇點結構與標準P6 Lax對之間的變換如何影響所得Lax對的性質？

主要发现

• Jimbo-Miwa矩陣Lax對在θ∞上表現出亞純依賴，此與P6方程本身參數的全純依賴性相矛盾。
• 對L採用Kimura型假設可導致系統在所有θj上均為全純依賴，但所得矩陣元素為u′、u和x的代數函數，而非有理函數。
• 在t = u處僅有一個可去奇點的條件導致Fuchs指數差為3，此與標準P6情況（差為2）不同，暗示其背後的ODE結構不同。
• 系統的一致性由多項式關係F = 0確保，涉及z∞、u∞、θ∞、u0、θ0、ux、θx、u、x及角度φ，此關係必須求解以閉合系統。
• 所得矩陣Lax對無法透過雙有理變換轉化為標準標量P6 Lax對，表明其具有不同的解空間。
• 本文結論認為，必須採用新假設（可能包含t的線性項）以同時實現θj的全純性與u、u′、x的有理性。