On Borodin-Gorin presentation of Heckman-Opdam $\mathfrak{gl}_n$ hypergeometric function

技术摘要：关于 Borodin–Gorin 形式的 Heckman–Opdam $\mathfrak{gl}_n$ 超几何函数的呈现

问题陈述
本文探讨了 Heckman–Opdam $\mathfrak{gl}_n$ 超几何函数 $F_{\lambda_n}(x_n)$ 的不同积分表示之间的关系。具体而言，研究了通过特定定义域（$x_1 < y_1 < \dots < y_{n-1} < x_n$）上的交错积分（interlacing integrals）定义的 Borodin–Gorin 呈现形式，与文献中先前建立的另外两种积分呈现形式（特别是 Hallnäs–Ruijsenaars 和 Khoroshkin–Khoroshkin 的形式）之间的等价性。作者旨在证明，Borodin–Gorin 形式在已知归一化常数意义下与标准形式是等价的。此外，本文试图刻画该函数相对于一组新的“交错”巴克斯特算符（Baxter operators）和提升算符（raising operators）的谱性质，并理解从双曲 Ruijsenaars 模型到此有理/三角退化的极限过程。

方法论
作者结合算符理论和积分恒等式来建立其结果：

1. 算符构造： 本文定义了一组新的“交错”提升算符 ($\Lambda^*_n$) 和巴克斯特算符 ($Q^*_{n,\pm}$)。与在 $\mathbb{R}^n$ 上进行积分的标准算符不同，这些算符在由偏序关系 $y_m \succ y_{m-1}$（即 $y_{m,1} < y_{m-1,1} < y_{m,2} < \dots$）定义的交错定义域上进行积分。
2. 交换关系： 方法论的核心在于证明这些新算符与标准提升/巴克斯特算符之间的交换关系（对易关系）。这些关系是通过 E. Rains 积分恒等式的有理退化推导出来的。具体而言，作者利用涉及双正弦函数 $S_2$ 的 Rains 恒等式的极限过程，实现从双曲 Ruijsenaars 模型到三角 Sutherland 模型的过渡。
3. 收敛性分析： 在证明定义这些算符的多重积分的绝对收敛性方面，作者进行了大量的技术工作，特别是在存在沿对角线（$y_i = x_j$）及无穷远处的奇异性时。作者使用特定的界限（引理 3.1）和波函数（wave functions）的渐近分析，来证明应用 Fubini 定理和控制收敛定理的正当性。
4. 归纳证明： 积分表示的等价性和新算符的对角化性质是通过对秩 $n$ 进行归纳来证明的，过程中利用了已建立的交换关系。

主要贡献与结果

• 表示的等价性（定理 3.1）： 作者证明了 Borodin–Gorin 交错积分表示（记作 $\Psi^*_{\lambda_n}(x_n)$）与标准波函数 $\Psi_{\lambda_n}(x_n)$（该波函数生成 Heckman–Opdam 超几何函数 $F_{\lambda_n}$）在归一化因子 $\alpha_n^{-1} = \prod_{k=1}^n \frac{\Gamma(g)}{\Gamma(kg)}$ 意义下是等价的。
  $$\Psi^*_{\lambda_n}(x_n) = \alpha_n^{-1} F_{\lambda_n}(x_n)$$
  这是通过展示 Borodin–Gorin 波函数可以通过连续作用新的交错提升算符 $\Lambda^*_n$ 来生成，并且这些算符在 Gamma 函数因子意义下与标准提升算符对易来实现的。

• 新巴克斯特算符与谱性质（定理 3.2）： 本文引入了一个对称算符族 $Q^*_n(\mu) = Q^*_{n,+}(\mu) + Q^*_{n,-}(\mu)$。证明了波函数 $\Psi_{\lambda_n}(x_n)$ 是这些算符的特征函数。其特征值为如下 Gamma 函数乘积之和：
  $$\prod_{j=1}^n \frac{\Gamma(\frac{1-g}{2} - i(\lambda_j - \mu))}{\Gamma(\frac{1+g}{2} - i(\lambda_j - \mu))} + \prod_{j=1}^n \frac{\Gamma(\frac{1-g}{2} + i(\lambda_j - \mu))}{\Gamma(\frac{1+g}{2} + i(\lambda_j - \mu))}$$
  这确立了 Borodin–Gorin 呈现形式对一个不同于标准呈现形式中算符的特定巴克斯特算符族进行了对角化。

• 来自双曲模型的极限过程（第 4 节）： 作者展示了交错提升算符 $\Lambda^*_n$ 可以作为双曲 Ruijsenaars 模型中反射提升算符 $\Lambda^{R*}_n$ 在参数 $\omega_2 \to 0^+$ 时的严格极限获得。由于该极限会在对角线处引入额外的可积奇异性，这一过程是非平凡的。作者提供了严谨的界限，利用控制收敛定理证明了该极限的正当性。

• 关于巴克斯特算符极限的局限性： 文中指出了一种极限行为上的区别：虽然提升算符自然地作为极限出现，但相应的巴克斯特算符 $Q^*_n$ 并不直接作为双曲系统的极限出现（该极限会发散）。作者指出，这些算符可能源于涉及算符复合的更复杂的极限过程，尽管在讨论中仅针对耦合常数 $g \in (1, 3/2)$ 的限制范围建立了这种严谨性。

意义与主张
本文声称提供了一个严谨的证明，证明了 Borodin–Gorin 交错积分呈现形式与已建立的 Heckman–Opdam 超几何函数之间的等价性，从而解决了关于这两个对偶积分呈现形式是否一致的问题。通过引入并分析新的交错算符，作者将已知于标准呈现形式中的代数结构（对易族和交换关系）扩展到了这种交错语境中。

这项工作也阐明了双曲 Ruijsenaars 模型与其三角退化形式（Sutherland 模型）之间的关系，特别强调了“交错”结构是如何在有理极限中显现出来的。作者谦虚地指出，虽然提升算符作为极限是明确的，但交错巴克斯特算符如何从双曲系统产生的过程仍是一个需要通过研究算符复合来进一步探索的技术性挑战。这些结果被视为迈向更深入理解这些可积系统之对偶性与谱性质的一步。