[论文解读] Baecklund transformations and Baxter's Q-operator

E. K. Sklyanin|arXiv (Cornell University)|Sep 4, 2000

Nonlinear Waves and Solitons参考文献 27被引用 9

一句话总结

本文建立了经典Bäcklund变换（BTs）与量子可积系统中Baxter的Q-算子之间的深层联系，以周期Toda晶格为关键范例。通过量子群$\widehat{\mathfrak{sl}}_q(2)$的q-振子表示构造Q-算子，证明经典BT的生成函数与Q-算子核的半经典极限精确匹配，并为Toda模型证明了Baxter方程，将谱论与分离变量法联系起来。

ABSTRACT

The course of 5 lectures given at the seminar "Integrable Systems: from Classical to Quantum" (Universite de Montreal, Jul 26 -- Aug 6, 1999) contains a detailed comment on the recently discovered (Gaudin-Pasquier, 1992) connection between Baecklund transformations in the theory of classical integrable systems on one hand, and Baxter's Q-operator for quantum integrable systems, on the other hand. We restrict our attention to the systems with finite number of degrees of freedom. Our main illustrative example is the periodic Toda lattice. We present a general construction of Q-operator for models governed by the SL(2)-invariant R-matrix and apply it to our example. We discuss also applications of BT and Q-operators to the separation of variables and theory of special functions.

研究动机与目标

• 澄清近期发现的可积系统中经典Bäcklund变换与量子Q-算子之间的联系。
• 利用$\widehat{\mathfrak{sl}}_q(2)$的q-振子表示，为周期Toda晶格构造Q-算子。
• 证明经典Bäcklund变换的生成函数作为Q-算子核的半经典极限而重现。
• 为Toda模型证明Baxter方程，并将其与谱论和分离变量法联系起来。
• 在一个统一框架内整合Baxter、Pasquier-Gaudin与量子群表示理论的方法。

提出的方法

• 通过$\widehat{\mathfrak{sl}}_q(2)$的q-振子表示中Lax算子构建的单色矩阵的迹来构造Q-算子。
• 将Q-算子的核导出为具有Lax矩阵核乘积的积分算子，从而在坐标表象中得到因子分解表达式。
• 利用半经典极限$\hbar \to 0$，证明Q-算子核$Q_\lambda(y|x) \sim \exp(i\hbar^{-1} F_\lambda(y|x))$重现了Bäcklund变换的古典生成函数$F_\lambda$。
• 通过分析转移矩阵在Q-算子核上的作用，证明Baxter方程$t(\lambda)Q_\lambda = Q_{\lambda+i} + Q_{\lambda-i}$。
• 在Baxter方程推导中应用三角形规范变换，以简化矩阵乘积结构。
• 利用Q-算子核分解为局部项$w_j(\lambda)$，分离转移矩阵的作用并导出有限差分方程。

实验结果

研究问题

• RQ1 经典Bäcklund变换与可积系统中的量子Q-算子之间有何关系？
• RQ2 能否使用量子群表示理论（特别是q-振子表示）为Toda晶格构造Q-算子？
• RQ3 Q-算子核的半经典极限是否重现了Bäcklund变换的古典生成函数？
• RQ4 如何利用所构造的Q-算子为Toda模型推导Baxter方程？
• RQ5 Q-算子在连接量子谱问题与经典分离变量法中起什么作用？

主要发现

• Toda晶格的Q-算子核由下式明确给出：$\mathcal{Q}_\lambda(y|x) = \prod_{j=1}^n \exp\bigl(\mathrm{i} \mathrm{e}^{y_{j+1}-x_j} - \mathrm{i} \mathrm{e}^{x_j-y_j} + \mathrm{i}\lambda(x_j-y_j)\bigr)$。
• Bäcklund变换的古典生成函数$F_\lambda(y|x)$被精确恢复为$F_\lambda(y|x) = -\mathrm{i} \log \mathcal{Q}_\lambda(y|x)$，表明在Toda情形下存在精确对应。
• 证明了另一种Q-算子核$\check{\mathcal{Q}}_\lambda(y|x) = \prod_{j=1}^n \exp\bigl(-\mathrm{e}^{y_{j+1}-x_j} - \mathrm{e}^{x_j-y_j} + \lambda(x_j-y_j)\bigr)$更具分析便利性，因其在实轴上具有快速衰减。
• 利用Q-算子核的因子分解结构，为Toda模型严格证明了Baxter方程$t(\lambda)Q_\lambda = Q_{\lambda+i} + Q_{\lambda-i}$。
• 修改后的核满足$t(\lambda)Q_\lambda = \mathrm{i}^n Q_{\lambda+i} + \mathrm{i}^{-n} Q_{\lambda-i}$，其中Toda哈密顿量嵌入在转移矩阵$t(\lambda)$中。
• 该构造表明Q-算子作为Bäcklund变换的量子类比，经典BT作为共轭自同态$\mathcal{O} \mapsto Q_\lambda \mathcal{O} Q_\lambda^{-1}$在$\hbar \to 0$极限下的结果而出现。