[论文解读] q-Bessel-Macdonald functions

V. -B. K. Rogov|ArXiv.org|Oct 17, 2000

Mathematical functions and polynomials参考文献 5被引用 8

一句话总结

本文引入了第一类、第二类和第三类的 $q$-Bessel-Macdonald 函数作为经典修正贝塞尔函数与麦克唐纳函数的 $q$-类比，通过 $q$-超几何级数和 $q$-积分表示进行定义。文中建立了递推关系、$q$-朗斯基安、渐近展开式以及 $q$-积分表示，其核心结果是第三类 $q$-麦克唐纳函数的 $q$-积分定义及其与第三类 $q$-修正贝塞尔函数的关系。

ABSTRACT

The modified q-Bessel functions and the q-Bessel-Macdonald functions of the first and second kind are introduced. Their definition is based on representations as power series. Recurrence relations, the q-Wronskians, asymptotic decompositions and q-integral representations are received. In addition, the q-Bessel-Macdonald function of kind 3 is determined by its q-integral representation.

研究动机与目标

• 将第一类、第二类和第三类 $q$-贝塞尔-麦克唐纳函数定义为经典麦克唐纳函数的 $q$-类比。
• 为这些 $q$-函数推导递推关系、$q$-朗斯基安和渐近展开式。
• 为 $q$-麦克唐纳函数（特别是第三类）建立 $q$-积分表示。
• 证明当 $q \to 1^{-}$ 时，$q$-麦克唐纳函数退化为经典麦克唐纳函数。

提出的方法

• 通过 $q$-超几何级数定义 $q$-修正贝塞尔函数 $I_{\nu}^{(j)}((1-q^2)z; q^2)$，其中 $j=1,2,3$。
• 利用 $q$-差分算子 $\partial_q$ 和 $q$-移位阶乘推导递推关系。
• 为二阶 $q$-差分方程引入 $q$-朗斯基安，以分析基本解系。
• 通过涉及第三类 $q$-贝塞尔函数的 $q$-积分表示构造第三类 $q$-麦克唐纳函数。
• 利用级数求和与 $q$-乘积恒等式建立渐近行为和归一化常数。
• 通过取 $q \to 1^{-}$ 极限验证与经典极限的一致性，恢复已知的积分表示。

实验结果

研究问题

• RQ1 如何一致地将第一类、第二类和第三类 $q$-贝塞尔-麦克唐纳函数定义为经典麦克唐纳函数的 $q$-类比？
• RQ2 各类 $q$-修正贝塞尔函数的递推关系和 $q$-朗斯基安关系为何？
• RQ3 第三类 $q$-麦克唐纳函数如何通过 $q$-积分表示？它与第三类 $q$-修正贝塞尔函数有何关系？
• RQ4 当 $q \to 1^{-}$ 时，$q$-麦克唐纳函数的行为如何？它们是否能恢复为经典麦克唐纳函数？

主要发现

• 第三类 $q$-麦克唐纳函数由 $q$-积分表示定义：$K_{\nu}^{(3)}((1-q^2)z; q^2) = \frac{1}{2}q^{-\nu^2 + \nu} \Gamma_{q^2}(\nu)\Gamma_{q^2}(1-\nu)\left[I_{-\nu}^{(3)}((1-q^2)z; q^2) - I_{\nu}^{(3)}((1-q^2)z; q^2)\right]$。
• $I_{\nu}^{(3)}$ 与 $K_{\nu}^{(3)}$ 的 $q$-朗斯基安为 $W(I_{\nu}^{(3)}, K_{\nu}^{(3)}) = \frac{1}{2}q^{-\nu^2}(1-q^2)$，证实其构成基本解系。
• $q$-修正贝塞尔函数 $I_{\nu}^{(j)}((1-q^2)z; q^2)$ 满足一个含参数 $\delta$ 的二阶 $q$-差分方程，其中 $\delta$ 对应该类别的类型 $j$。
• 当 $q \to 1^{-}$ 时，$K_{\nu}^{(3)}((1-q^2)z; q^2) \to K_{\nu}(z)$，恢复经典麦克唐纳函数及其积分表示。
• $q$-积分表示中的归一化常数 $C(\nu)$ 被证明为常数（设为 1），确保极限下的一致性。
• 分析了 $I_{\nu}^{(3)}$ 在格点 $z = 2q^n$ 上的渐近行为，表明当 $n \to -\infty$ 时，比值 $I_{\nu}^{(3)}(2q^n; q^2)/I_{-\nu}^{(3)}(2q^n; q^2) \to 1$，支持了 $q$-麦克唐纳函数的对称形式。