[论文解读] Wave function for $GL(n,\mathbb{R})$ hyperbolic Sutherland model II. Dual Hamiltonians

S. Kharchev, S. Khoroshkin|arXiv (Cornell University)|Aug 11, 2021

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过证明波函数的梅林-巴恩斯积分表示满足对偶黎曼-麦克唐纳差分算子的谱方程，建立了 $GL(n,\mathbb{R})$ 双曲 Sutherland 模型波函数的双谱对偶性。关键结果是波函数对任意耦合 $g>1$ 满足这些对偶哈密顿量的谱问题，从而将原始 Sutherland 哈密顿量的已知谱性质推广至对偶哈密顿量系统。

ABSTRACT

Recently we found Mellin-Barnes integrals, representing the wave function for $GL(n,\mathbb{R})$ hyperbolic Sutherland model. In present paper, we establish bispectral properties of this wave function with respect to dual Ruijesenaars-Macdonald operators.

研究动机与目标

• 建立 $GL(n,\mathbb{R})$ 双曲 Sutherland 模型波函数在任意耦合 $g>0$ 下的双谱性质。
• 证明梅林-巴恩斯积分波函数满足对偶黎曼-麦克唐纳差分算子的谱方程。
• 将原始 Sutherland 哈密顿量的已知谱对偶性推广至由黎曼-麦克唐纳算子定义的对偶哈密顿量系统。
• 阐明波函数在 $x$-变量与 $\lambda$-变量中的解析结构，包括解析延拓与对称性性质。

提出的方法

• 波函数表示为奇异因子 $\prod_{j<k}\operatorname{sh}^{g}|x_j - x_k|$ 与 $\mathbb{R}^{n(n-1)/2}$ 上的梅林-巴恩斯积分 $\Phi^{(g)}_{\lambda_1,\ldots,\lambda_n}(x_1,\ldots,x_n)$ 的乘积，被积函数中包含伽马函数。
• 对偶哈密顿量 $\mathcal{H}_r^{(g)}(\lambda_1,\ldots,\lambda_n)$ 定义为黎曼-麦克唐纳差分算子，其在 $\lambda_i$ 上具有 $+2$ 的平移，涉及索引子集的乘积以及 $\lambda_i - \lambda_j$ 的有理函数。
• 通过验证 $\mathcal{H}_r^{(g)}\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n} = e_r(e^{2x_1},\ldots,e^{2x_n})\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}$ 来确认谱方程，其中 $e_r$ 为第 $r$ 个初等对称函数。
• 利用解析延拓，将波函数从虚 $\lambda_i$ 扩展至实平移，确保谱关系在广义意义下成立。
• 证明依赖于对称有理函数和的递推恒等式，通过归纳法与留数分析证明，且在极点 $u_i = v_a$ 处留数为零。
• 该方法将早期在可积系统中关于双谱问题的研究（包括查利赫、新美与岛崎的工作）推广至非整数耦合情形 $g>1$。

实验结果

研究问题

• RQ1 $GL(n,\mathbb{R})$ 双曲 Sutherland 模型的梅林-巴恩斯积分波函数是否满足对偶黎曼-麦克唐纳差分算子的谱方程？
• RQ2 能否将双谱对偶性从原始 Sutherland 哈密顿量推广至任意耦合 $g>1$ 的对偶哈密顿量系统？
• RQ3 波函数的谱性质在 $\lambda$-参数与差分算子平移的解析延拓下如何表现？
• RQ4 波函数的积分表示与 $\lambda$-空间中黎曼-麦克唐纳算子之间的确切关系为何？
• RQ5 对偶哈密顿量是否保持波函数在 $x_k$ 置换下的对称性？

主要发现

• 波函数 $\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}(x_1,\ldots,x_n)$ 通过梅林-巴恩斯积分定义，对所有 $r=1,\ldots,n$ 和 $g>1$ 满足谱方程 $\mathcal{H}_r^{(g)}\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n} = e_r(e^{2x_1},\ldots,e^{2x_n})\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}$。
• 波函数在 $\mathbb{R}^n \subset \mathbb{C}^n$ 附近的一个带形区域内解析，并可解析延拓至 $\lambda_i$ 的实平移，从而支持与差分算子的谱关系。
• 对偶哈密顿量 $\mathcal{H}_r^{(g)}$ 为具有平移 $T_{\lambda_i}f(\lambda_i) = f(\lambda_i + 2)$ 的黎曼-麦克唐纳差分算子，作用于波函数的 $\lambda$-参数。
• 波函数也满足原始 Sutherland 谱方程：$H_1^{(g)}\Psi = (\sum_p \lambda_p)\Psi$ 与 $H_2^{(g)}\Psi = -\sum_p \lambda_p^2 \Psi$，从而证实了 $H_r^{(g)}$ 与 $\mathcal{H}_r^{(g)}$ 的双谱对偶性。
• 关键恒等式的证明依赖于留数分析与对称性，表明对称有理函数之差恒为零，从而由归纳法可知该恒等式对所有 $n$ 成立。
• 波函数在 $x_k$ 置换下的不变性得以保持，且对偶算子作用于 $\lambda$-参数，从而在 $x$-与 $\lambda$-谱问题之间建立了完整的双谱对偶性。