[论文解读] The integral representations of the q-Bessel-Macdonald functions

V. -B. K. Rogov|ArXiv.org|Jan 31, 2001

Advanced Mathematical Identities被引用 4

一句话总结

本文通过经典双重积分，为类型1、2、3的$q$-Bessel-Macdonald函数（$q$-BMF）建立了新的积分表示，克服了基于$q$-格点的Jackson积分的局限性。通过构建涉及$q$-指数函数和$q$-超几何函数的显式积分公式，作者推导出在$q \to 1$极限下可推广经典Macdonald函数积分的表示形式，从而实现对量子洛巴切夫斯基空间上解析延拓与调和分析的支持。

ABSTRACT

The q-Bessel-Macdonald functions of kinds 1, 2 and 3 are considered. Their representations by classical integral are constructed.

研究动机与目标

• 克服在量子洛巴切夫斯基空间上调和分析中基于$q$-格点的Jackson积分的局限性。
• 为所有三种类型（1、2、3）的$q$-Bessel-Macdonald函数构建经典双重积分表示。
• 将经典Macdonald函数的积分表示推广至$q$-形变情形。
• 确保$q$-BMF在级数展开收敛半径之外的解析延拓。

提出的方法

• 从基本超几何级数和$q$-伽马函数推导出$q$-修正贝塞尔函数$I_{\nu}^{(j)}((1-q^2)z; q^2)$。
• 通过使用$I_{\nu}^{(j)}$和$I_{-\nu}^{(j)}$的$q$-朗斯基安构造，引入$q$-贝塞尔-麦克唐纳函数$K_{\nu}^{(j)}$。
• 构造辅助函数$\xi_{\eta}^{(\delta)}(s)$，作为$q$-指数或$q$-超几何级数，以模拟核函数的组成部分。
• 通过在复平面上对$\xi_{\eta}^{(\delta)}$函数的乘积进行积分，并施加$q$-指数权函数，推导出双重积分表示。
• 通过分析$q$-级数和$q$-二项式恒等式，建立收敛性与亚纯延拓。
• 通过验证$q \to 1$极限，恢复经典Macdonald函数的积分表示形式。

实验结果

研究问题

• RQ1 能否以不依赖于$q$-格点结构的经典双重积分形式表示类型1、2、3的$q$-贝塞尔-麦克唐纳函数？
• RQ2 在$q \to 1$极限下，$q$-修正贝塞尔函数$I_{\nu}^{(j)}$和$K_{\nu}^{(j)}$与经典贝塞尔函数之间有何关系？
• RQ3 $q$-朗斯基安在构造$q$-差分方程的基本解系中起什么作用？
• RQ4 如何将双重积分表示解析延拓至$q$-级数收敛半径之外？

主要发现

• $q$-贝塞尔-麦克唐纳函数$K_{\nu}^{(j)}(2(1-q^2)|z|, q^2)$可通过$\xi_{\eta}^{(\delta)}$函数和$q$-指数函数表示为双重积分形式。
• 公式(5.9)和(5.10)对$\delta=2,0,1$成立，分别对应$j=1,2,3$，且显式依赖于$A_\nu$和$\Gamma_{q^2}(\nu+1)$。
• 当$\delta < 2$时，通过$e^{in\phi}$的正交性逐项计算积分，结果为$q$-贝塞尔函数。
• 在$q \to 1^-$极限下，$q$-积分表示退化为经典Macdonald函数的积分形式。
• 该表示在$r\rho < 1/(1-q^2)$范围内有效，并可通过解析延拓扩展至整个复平面。
• $I_{\nu}^{(j)}$和$K_{\nu}^{(j)}$的$q$-朗斯基安非零，证实其构成$q$-差分方程的基本解系。