[论文解读] Series Representation of the Modified Bessel Functions

K. Maślanka|ArXiv.org|Apr 12, 2001

Fractional Differential Equations Solutions参考文献 2被引用 3

一句话总结

本文通过分数阶微分，特别是黎曼-刘维尔形式，推导出修正贝塞尔函数 $ K_\alpha $ 的新型幂级数表示。通过将 $ K_\alpha $ 表示为指数函数和幂函数的分数阶微分，作者构建了两种新的广义超几何级数展开——一种基于 $ V_k^{(-1)} $ 多项式，另一种基于 $ V_k^{(-1/2)} $，二者均收敛于 $ K\_\alpha(z) $，其 Pochhammer 符号比值结构类似于库默尔合流超几何函数。

ABSTRACT

Some power series representations of the modified Bessel functions (McDonald functions $K_α$) are derived using the relatively little known formalism of fractional derivatives. The resulting summation formulae are believed to be new.

研究动机与目标

• 推导修正贝塞尔函数 $ K_\alpha $ 的新型幂级数表示，尤其针对非整数阶次。
• 探讨分数阶微积分——特别是黎曼-刘维尔分数阶微分——在生成特殊函数级数展开中的应用价值。
• 定义并分析多项式族 $ V_k^{(\alpha)}(z) $，作为表达指数型函数分数阶微分的工具。
• 通过分数阶微分解释，建立涉及 $ \exp(-\beta/t) $ 的定积分与修正贝塞尔函数之间的联系。
• 基于广义二项式与 Pochhammer 符号，生成 $ K_\alpha(z) $ 的显式系数，实现广义超几何级数展开。

提出的方法

• 采用 $ s < 0 $ 时的黎曼-刘维尔分数阶微分定义，并通过与整数阶微分复合的方式将其扩展至 $ s \geq 0 $。
• 应用分数阶微分的莱布尼茨法则，使用通过 Gamma 函数定义的广义二项式系数 $ \binom{s}{j} $。
• 引入多项式 $ V_k^{(\alpha)}(z) = x^k \exp(\beta x^\alpha) \partial_x^k \exp(-\beta x^\alpha) $，并证明其为 $ z = \beta x^\alpha $ 的多项式，其系数 $ A_{kj}^{(\alpha)} $ 涉及 Gamma 函数的比值。
• 利用莱布尼茨法则与分数阶微分的幂函数法则，推导出 $ x^\nu \exp(-\beta x^\alpha) $ 的分数阶微分，得到表达式 (9)。
• 将分数阶微分表达式代入已知的积分表示式 (4) 和 (5)，得到 $ K_s(z) $ 的两个新级数展开，分别标记为 (10) 和 (11)。
• 通过将系数表示为 Pochhammer 符号 $ (a)_k $ 的形式，将所得级数转化为广义超几何形式，其结构类似于合流超几何函数 $ {}_1F_1 $。

实验结果

研究问题

• RQ1 能否利用分数阶微分推导出修正贝塞尔函数 $ K_\alpha(z) $ 的新级数展开？
• RQ2 多项式 $ V_k^{(\alpha)}(z) $ 的结构是怎样的？它如何从 $ \exp(-\beta x^\alpha) $ 的分数阶微分中产生？
• RQ3 积分表示式 (4) 和 (5) 如何与 $ \exp(-\beta/x) $ 和 $ \exp(-\beta/\sqrt{x}) $ 的分数阶微分相关联？
• RQ4 能否将 $ K_s(z) $ 的结果级数表示为包含 Pochhammer 符号比值的广义超几何形式？
• RQ5 所推导的 $ K_\alpha(z) $ 级数展开的收敛性特征与显式系数结构是什么？

主要发现

• 修正贝塞尔函数 $ K_s(z) $ 被表示为广义超几何级数形式：$ K_s(z) = 2^{s-1}\Gamma(s)z^{-s}\exp(-z)\left[1 + \sum_{k=1}^{\infty} \frac{(\frac{1}{2}-s)_k}{(\frac{1}{2}+s)_k} \sum_{j=1}^{k} \binom{k-1}{j-1} \frac{(-2z)^j}{j!} \right] $，该结果源自 $ V_k^{(-1)} $ 多项式族。
• 通过 $ V_k^{(-1/2)}(z) $ 推导出第二个级数展开，得到 $ K_s(z) = 2^{s-1}\sqrt{\pi} \frac{\Gamma(2s)}{\Gamma(\frac{1}{2}-s)} z^{-s} \exp(-z) \sum_{k=0}^{\infty} \frac{(-1)^k}{k!} \frac{\Gamma(k + \frac{1}{2} - s)}{\Gamma(k + \frac{1}{2} + s)} V_k^{(-1/2)}(z) $，该式在 $ \text{Re}(s) > -\frac{1}{2} $ 时成立。
• $ V_k^{(-1)} $ 多项式的系数明确给出为 $ A_{kj}^{(-1)} = \frac{(-1)^{k+j}}{(k-j)!} \frac{k!(k-1)!}{j!(j-1)!} $，证实其为多项式，并支持精确级数计算。
• 分数阶微分 $ x^\nu \exp(-\beta x^\alpha) $ 的结果为 $ x^{\nu - s} \frac{\Gamma(\nu+1)}{\Gamma(-s)} \exp(-\beta x^\alpha) \sum_{k=0}^{\infty} \frac{(-1)^k}{k!} \frac{\Gamma(k - s)}{\Gamma(k - s + \nu + 1)} V_k^{(\alpha)} $，构成该方法的核心。
• 积分表示式 (4) 和 (5) 被重新解释为分数阶微分：$ \partial_x^s [x^{2s} \exp(-\beta/x)] = \frac{\beta^{s+1/2}}{\sqrt{\pi x}} \exp(-\beta/(2x)) K_{s+1/2}(\beta/(2x)) $，从而直接将它们与 $ K_\nu $ 关联。
• 所得级数展开被称为“广义超几何形式”，因其包含 Pochhammer 符号比值 $ \frac{(\frac{1}{2}-s)_k}{(\frac{1}{2}+s)_k} $，其结构与合流超几何函数 $ {}_1F_1 $ 相似。