[论文解读] On Mittag-Leffler function and associated polynomials

D. Babusci, G. Dattoli+1 more|arXiv (Cornell University)|Jun 15, 2012

Mathematical functions and polynomials参考文献 2被引用 3

一句话总结

本文研究了Mittag-Leffler函数（MLF）及其与分数阶微积分的联系，引入了一类新的分数阶热多项式和分数阶Laguerre多项式。通过操作演算和积分表示，作者推导出生成函数、微分方程和积分恒等式，建立了MLF、Wright函数与经典正交多项式之间的联系，关键成果包括对 $ E_\alpha(-x^2) $ 和 $ W_{\alpha,\beta}(-x^2) $ 积分的闭式表达式。

ABSTRACT

The Mittag-Leffler function plays a role of central importance in the theory of fractional derivatives. In this brief note we discuss the properties of this function and its connection with the Wright-Bessel functions and with a new family of associated heat polynomials.

研究动机与目标

• 通过研究Mittag-Leffler函数（MLF）及其相关多项式，应对分数阶导数在分析与计算工具方面日益增长的需求。
• 建立MLF与Wright-Bessel函数之间的联系，定义新的分数阶多项式家族，应用于异常扩散问题。
• 开发操作技术，推导MLF相关多项式的积分表示和生成函数。
• 利用分数阶导数和操作演算，将经典多项式家族（Hermite、Laguerre）推广至分数阶。
• 为涉及 $ E_\alpha(-x^2) $ 和 $ W_{\alpha,\beta}(-x^2) $ 的积分提供闭式表达式，扩展高斯型函数分析。

提出的方法

• 将分数阶热多项式 $ {}_{\alpha}H_n(x,y) $ 定义为通过演化算子 $ E_\alpha(k_\alpha t^\alpha \partial_x^2) $ 求解分数阶Fokker-Planck方程的解。
• 推导生成函数 $ \sum_{n=0}^\infty \frac{\xi^n}{n!} {}_{\alpha}H_n(x,y) = E_\alpha(\xi^2 y) e^{\xi x} $，将其归入Appell函数族。
• 引入一种操作演算形式化方法，使用满足 $ \hat{c}^\alpha \varphi(0) = \varphi(\alpha+1) $ 的类平移算子 $ \hat{c} $，其中 $ \varphi(\mu) = 1/\Gamma(\mu) $。
• 利用恒等式 $ E_\alpha(-x^2) = \frac{1}{1 + \hat{c}^\alpha x^2} \varphi(0) $，通过伽马函数恒等式 $ \frac{1}{A^\nu} = \frac{1}{\Gamma(\nu)} \int_0^\infty e^{-sA} s^{\nu-1} ds $ 推导积分表示。
• 通过 $ \hat{c}^{\alpha-1} e^{\hat{c}^\beta x} \varphi(0) $ 定义Wright函数 $ W_{\alpha,\beta}(x) $，并推导其级数展开与微分性质。
• 利用分数阶Laguerre导数 $ {}_{\alpha}\hat{D}_{L,x} = -(1/\alpha) \partial_x^\alpha x \partial_x $ 构造分数阶Laguerre多项式 $ {}_{\alpha}L_n(x,y) $，并推导其生成函数。

实验结果

研究问题

• RQ1 如何系统地将Mittag-Leffler函数与分数阶热多项式及其生成函数联系起来？
• RQ2 $ E_\alpha(-x^2) $ 的积分性质是什么？如何利用操作演算推导这些性质？
• RQ3 分数阶导数如何改变经典多项式家族（如Hermite与Laguerre）？由此产生的广义多项式是什么？
• RQ4 何种操作演算框架能够实现MLF相关函数的积分与导数的闭式表达式的推导？
• RQ5 新引入的分数阶多项式与经典正交多项式及Wright函数之间有何关系？

主要发现

• 利用操作演算与伽马函数恒等式，推导出积分 $ \int_{-\infty}^\infty E_\alpha(-x^2) dx = \frac{\pi}{\Gamma(1 - \alpha/2)} $。
• 分数阶热多项式 $ {}_{\alpha}H_n(x,y) $ 满足递推关系 $ \partial_x {}_{\alpha}H_n = n \, {}_{\alpha}H_{n-1} $，并满足涉及 $ \partial_y^\alpha $ 的分数阶微分方程。
• 生成函数 $ \sum_{n=0}^\infty \frac{\xi^n}{n!} {}_{\alpha}H_n(x,y) = E_\alpha(\xi^2 y) e^{\xi x} $ 确认了其属于Appell函数族。
• 分数阶Laguerre多项式 $ {}_{\alpha}L_n(x,y) $ 通过指数形式的分数阶导数算子 $ e^{y \, {}_{\alpha}\hat{D}_{L,x}} $ 定义，其生成函数为 $ \sum_{n=0}^\infty t^n \, {}_{\alpha}L_n(x,y) = \frac{1}{1 - yt} E_\alpha\left( -\frac{x^\alpha t}{1 - yt} \right) $。
• 建立了Wright函数的积分恒等式 $ \int_{-\infty}^\infty W_{\alpha,\beta}(-x^2) dx = \frac{\sqrt{\pi}}{\Gamma(\alpha - \beta/2)} $。
• Wright函数的分数阶导数满足 $ \partial_x^m W_{\alpha,\beta}(x) = W_{\alpha + m\beta, \beta}(x) $，推广了经典特殊函数的行为特征。