[论文解读] Lax pairs for additive difference Painlevé equations

Hidehito Nagao|arXiv (Cornell University)|Apr 9, 2016

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

一句话总结

本文通过帕德插值方法，显式构造了加法差分 Painlevé 方程 $E_7^{(1)}$ 的标量 Lax 对。通过系数特征化方法证明了 Lax 对的相容性，并通过退化方法推导出低类型方程（$E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$）的 Lax 对，建立了一个统一框架，将加法差分 Painlevé 方程的标量 Lax 表示与帕德问题联系起来。

ABSTRACT

A Lax pair for the additive difference Painlevé equation of type $E_7^{(1)}$ is explicitly obtained as certain linear difference equations of scalar form. The compatibility of the Lax pair is proved by using certain characterization of the coefficients in the Lax equation. Some Lax pairs for types $E_6^{(1)}$, $D_4^{(1)}$ and $A_3^{(1)}$ are also given by the degeneration.

研究动机与目标

• 显式构造加法差分 Painlevé 方程 $E_7^{(1)}$ 类型的标量 Lax 对。
• 通过线性差分方程中系数的特征化方法，证明所构造 Lax 对的相容性。
• 通过 $E_7^{(1)}$ 情况的退化，推导出低类型加法差分 Painlevé 方程（$E_6^{(1)}$、$D_4^{(1)}$、$A_3^{(1)}$）的 Lax 对。
• 建立结果与帕德插值问题之间的联系，展示一种系统化推导 Lax 对的方法。

提出的方法

• Lax 对被表述为两个关于标量函数的三阶线性差分方程：$L_2(x) = 0$ 和 $L_3(x) = 0$，涉及未知函数 $y(x)$、其平移 $y(x+ heta)$、$\overline{y}(x)$ 和 $\overline{y}(x- heta)$。
• 方程通过参数 $f, g, a_i, b_i, \delta$ 定义，其中 $v = a_1 + a_4 - b_3$，平移算子 $T$ 通过 $a_i \to a_i - \delta$ 实现作用。
• 通过一种不同于 $(f,g)$-坐标方法的系数特征化方法，证明了 Lax 对的相容性，即 $d$-$E_7^{(1)}$ 方程（1.3）和（1.4）是保证一致性的充分条件。
• 通过参数极限（如 $a_2 \to -1/\varepsilon$ 和 $t \to \varepsilon t$，当 $\varepsilon \to 0$ 时）对 $E_7^{(1)}$ 系统进行退化，得到 $E_6^{(1)}$、$D_4^{(1)}$ 和 $A_3^{(1)}$ 的 Lax 对。
• 该方法基于加法网格 $x_s = s\delta$ 上的帕德插值问题，其中插值序列 $Y_s$ 通过每种方程类型的 Pochhammer 符号定义。
• 结果独立于先前工作，采用基于帕德的方法，从单一插值设置中同时推导出演化方程、Lax 对和特殊解。

实验结果

研究问题

• RQ1 如何显式构造加法差分 Painlevé 方程 $E_7^{(1)}$ 类型的标量 Lax 对？
• RQ2 何种系数特征化方法可确保所推导 Lax 对方程的相容性？
• RQ3 为何 $E_6^{(1)}$、$D_4^{(1)}$ 和 $A_3^{(1)}$ 的 Lax 对可由 $E_7^{(1)}$ 系统退化得到？
• RQ4 帕德插值问题在推导 Lax 对和 Painlevé 方程中起何种作用？
• RQ5 所提出的方法与基于 $(f,g)$-坐标特征化或矩阵 Lax 对的先前方法有何异同？

主要发现

• 显式构造了 $d$-$E_7^{(1)}$ 方程的标量 Lax 对，形式为两个线性三阶差分方程：$L_2(x) = (x-f)\overline{y}(x) - (x-g-v)y(x+\delta) + (x-g)y(x) = 0$ 和 $L_3(x) = w(x - \overline{f} - \delta)\cdots$（完整形式见论文）。
• 通过证明 $d$-$E_7^{(1)}$ 方程（1.3）和（1.4）是保证一致性的充分条件，且使用一种不同于 $(f,g)$-坐标方法的系数特征化方法，验证了 Lax 对的相容性。
• 通过 $E_7^{(1)}$ 系统的退化，推导出 $d$-$E_6^{(1)}$、$d$-$D_4^{(1)}$ 和 $d$-$A_3^{(1)}$ 的 Lax 对，并为每种情况提供了显式方程。
• 结果被证明源于加法网格上的帕德插值问题，插值序列 $Y_s$ 通过 Pochhammer 符号定义：$E_7^{(1)}$ 类型为 $\prod_{i=1}^3 \frac{(b_i/\delta)_s}{(a_i/\delta)_s}$，低类型具有类似形式。
• 该方法不仅产生 Lax 对和演化方程，还通过帕德多项式 $P_m(x)$ 和 $Q_n(x)$ 推导出特殊解，展示了从插值问题统一推导可积系统的方法。
• 所推导的 $d$-$A_3^{(1)}$ 的 Lax 对在对 $y(x)$ 进行适当的规范变换后，等价于文献 [7] 中的标量 Lax 方程，确认了与先前结果的一致性。