[论文解读] On the spectral theory of one functional-difference operator from conformal field theory

L. D. Faddeev, Leon A. Takhtajan|arXiv (Cornell University)|Aug 1, 2014

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

一句话总结

本文建立了函数-差分算子 $ H = U + U^{-1} + V $ 的谱理论，其中 $ U $ 和 $ V $ 是满足 $ UV = q^2 VU $ 的 Weyl 算子，且 $ q = e^{ au \pi i} $，$ \tau > 0 $。利用模形式量子多对数函数，作者推导出显式的预解式公式，证明了本征函数展开定理，并提出了散射理论——将 Kontorovich-Lebedev 变换推广至 $ q $-形变设置。

ABSTRACT

In the paper we consider a functional-difference operator $H=U+U^{-1}+V$, where $U$ and $V$ are self-adjoint Weyl operators satisfying $UV=q^{2}VU$ with $q=e^{πiτ}$ and $τ>0$. The operator $H$ has applications in the conformal field theory and in the representation theory of quantum groups. Using modular quantum dilogarithm - a $q$-deformation of the Euler's dilogarithm - we define the scattering solution and the Jost solutions, derive an explicit formula for the resolvent of the self-adjoint operator $H$ in the Hilbert space $L^{2}(\mathbb{R})$, and prove the eigenfunction expansion theorem. The latter is a $q$-deformation of the well-known Kontorovich-Lebedev transform in the theory of special functions. We also present a formulation of the scattering theory for the operator $H$.

研究动机与目标

• 在 $ L^2(\mathbb{R}) $ 上将函数-差分算子 $ H = U + U^{-1} + V $ 作为无界自伴算子，发展完整的谱理论，填补文献中的空白。
• 为与 $ H $ 相关的本征值方程定义散射解与 Jost 解，确保其在复带域内解析且具有渐近行为。
• 利用模形式量子多对数函数，推导出 $ H $ 的显式预解式公式。
• 证明 $ H $ 的本征函数展开定理，建立在分布意义下的完备性与正交性。
• 建立 $ H $ 的散射理论，通过模形式量子多对数函数导出的 $ S $-矩阵识别散射算子。

提出的方法

• 作者在 $ L^2(\mathbb{R}) $ 上定义满足 $ q $-交换关系 $ UV = q^2 VU $ 的 Weyl 算子 $ U $ 和 $ V $，其中 $ q = e^{\pi i \tau} $，$ \tau > 0 $，并构造 $ H = U + U^{-1} + V $ 为无界自伴算子。
• 他们利用模形式量子多对数函数 $ \gamma(z) $（即 Euler 多对数函数的 $ q $-形变）来定义本征方程 $ H\psi = \lambda \psi $ 的散射解与 Jost 解。
• 预解式 $ R(\lambda) $ 被显式构造为积分算子，其核由模形式量子多对数函数与傅里叶变换导出。
• 通过 Casorati 行列式与围道积分技巧，建立本征函数展开，证明其在分布意义下的完备性与正交性关系。
• 通过定义 Jost 解 $ \varphi^{(\pm)}(x,k) $，其渐近行为为 $ x \to -\infty $ 时满足 $ e^{2\pi i k x} + S(k) e^{-2\pi i k x} $，其中 $ S(k) $ 为散射矩阵，从而建立散射理论。
• 酉同构 $ \mathscr{U}^{(+)} $ 将 $ L^2(\mathbb{R}) $ 等距映射到 $ L^2([0,\infty)) $，变换后的算子作用为乘法算子 $ \lambda $，推广了 Kontorovich-Lebedev 变换。

实验结果

研究问题

• RQ1 如何在 $ L^2(\mathbb{R}) $ 上严格发展函数-差分算子 $ H = U + U^{-1} + V $ 的谱理论，使其作为自伴算子，考虑到其在共形场论与量子群中的作用？
• RQ2 预解式 $ H $ 的显式形式是什么？如何利用模形式量子多对数函数推导出它？
• RQ3 散射解与 Jost 解的渐近行为如何？它们在构造本征函数展开中起什么作用？
• RQ4 该算子 $ H $ 的本征函数展开在多大程度上推广了特殊函数论中的经典 Kontorovich-Lebedev 变换？
• RQ5 散射算子 $ S(k) $ 如何从模形式量子多对数函数导出？它在谱分解中起什么作用？

主要发现

• 自伴算子 $ H $ 的预解式被显式给出为积分算子，其核由模形式量子多对数函数与傅里叶变换导出。
• 本征函数展开定理已得证，完备性与正交性关系在分布意义下成立：$ \int_0^\infty \varphi(x,k)\varphi(y,k)\rho(k)dk = \delta(x-y) $ 与 $ \int_{-\infty}^\infty \varphi(x,k)\varphi(x,l)dx = \frac{1}{\rho(k)}\delta(k-l) $。
• 散射矩阵 $ S(k) $ 的表达式为 $ S(k) = \frac{M(-k)}{M(k)} = e^{-4\pi i \omega'' k} \frac{\gamma(-2k - \omega'')}{\gamma(2k - \omega'')} $，其中 $ \gamma $ 为模形式量子多对数函数。
• 酉变换 $ \mathscr{U}^{(+)} $ 将 $ L^2(\mathbb{R}) $ 等距映射到 $ L^2([0,\infty)) $，变换后的算子作用为乘法算子 $ \lambda $，推广了 Kontorovich-Lebedev 变换。
• $ H $ 的本征函数展开是 Kontorovich-Lebedev 变换的 $ q $-形变，其谱测度 $ \rho(k) $ 与模形式量子多对数函数相关。
• 散射理论通过 $ S $-矩阵建立，非定常方法亦通过算子 $ \mathscr{U}^{(\pm)} $ 描述，其将解映射至谱空间。