[论文解读] Polynomials Associated with the Higher Derivatives of the Airy Functions Ai(z) and Ai'(z)

Bernard J. Laurenzi|arXiv (Cornell University)|Oct 10, 2011

Advanced Mathematical Theories and Applications参考文献 1被引用 4

一句话总结

本文利用部分贝尔多项式和Faà di Bruno公式，推导出出现在艾里函数$\operatorname{Ai}(z)$和$\operatorname{Ai}'(z)$高阶导数中的多项式$\tilde{P}_n(z)$和$Q_n(z)$的一般封闭形式表达式。主要贡献在于提出了一套系统且可解析处理的框架，用于计算这些多项式，其表现出非平凡的递推关系，并通过不连续函数$\mathsf{M}(m)$和$\epsilon(m)$体现出对索引奇偶性的复杂依赖，从而实现对高阶导数的精确符号计算。

ABSTRACT

The Airy function Ai(z) and its derivative Ai'(z) occur in a large number of applications in Chemistry and Physics. As a result, there is a continuing interest in the properties of these functions. Recently, there has been interest in obtaining general expressions for the higher derivatives of these functions. In this work, general expressions for the polynomials which are contained in these derivatives are given in terms of the partial Bell polynomials.

研究动机与目标

• 推导出现在艾里函数$\operatorname{Ai}(z)$和$\operatorname{Ai}'(z)$的$n$阶导数中的多项式$\mathcal{P}_n(z)$和$Q_n(z)$的一般解析表达式。
• 通过将Faà di Bruno公式应用于艾里函数的贝塞尔函数表示，建立这些多项式与部分贝尔多项式之间的联系。
• 通过引入不连续函数$\mathsf{M}(m)$、$\mathcal{M}(m)$和$\epsilon(m)$，解析捕捉这些多项式的结构性复杂性，其表现出非平凡的递推关系和与奇偶性相关的依赖行为。
• 以广义超几何函数和伽马函数的形式，显式给出奇数阶多项式$\mathcal{P}_{2m+1}(z)$和$Q_{2m+1}(z)$的系数表达式，其为有限和，可表示为$m$的加权多项式。
• 通过递推关系和微分关系，实现对$\operatorname{Ai}(z)$和$\operatorname{Ai}'(z)$高阶导数的实际计算，即使在$n$较大时亦可高效处理。

提出的方法

• 将Faà di Bruno公式应用于$K_{2/3}(\zeta)$的$n$阶导数，其中$\zeta = \frac{2}{3}z^{3/2}$，将导数表示为部分贝尔多项式$B_{n,k}$的形式。
• 利用贝塞尔函数表示$\operatorname{Ai}'(z) = -\frac{1}{\pi\sqrt{3}} z K_{2/3}(\zeta)$，将$\operatorname{Ai}'(z)$的高阶导数表示为$K_{2/3}^{(n)}(\zeta)$和$K_{2/3}^{(n-1)}(\zeta)$的线性组合，其系数涉及$z$和$n$。
• 推导出$\mathcal{P}_n(z)$和$Q_n(z)$的递推关系：$\mathcal{P}_{n+2} = z\mathcal{P}_n + n\mathcal{P}_{n-1}$，$Q_{n+2} = zQ_n + nQ_{n-1}$，以及微分关系：$\mathcal{P}_{n+1} = \frac{d}{dz}\mathcal{P}_n + zQ_n$，$Q_{n+1} = \frac{d}{dz}Q_n + \mathcal{P}_n$。
• 构造生成函数：$\sum_{n=0}^\infty \frac{t^n}{n!} \mathcal{P}_n(z) = \pi \left[ Bi'(z)Ai(z+t) - Ai'(z)Bi(z+t) \right]$，并对$Q_n(z)$给出类似表达式。
• 利用包含伽马函数和二项式系数的有限和，表达$\mathcal{P}_{2m+1}(z)$和$Q_{2m+1}(z)$的系数，其中引入辅助系数$C_i^{(0)}(m,p)$和$C_i^{(2)}(m,p)$。
• 将系数和表示为超几何函数${}_3F_2$和${}_4F_3$的组合，尽管未发现简化形式更具优势。
• 通过递推或微分关系，从奇数阶多项式推导出偶数阶多项式$\mathcal{P}_{2m}(z)$和$Q_{2m}(z)$，从而实现对所有$n$的完整覆盖。

实验结果

研究问题

• RQ1 出现在$\operatorname{Ai}(z)$和$\operatorname{Ai}'(z)$的$n$阶导数中的多项式$\mathcal{P}_n(z)$和$Q_n(z)$的一般解析结构是什么？
• RQ2 如何利用部分贝尔多项式和Faà di Bruno公式系统地表达艾里函数的高阶导数？
• RQ3 序列$\mathcal{P}_n(z)$和$Q_n(z)$中表现出的复杂且与奇偶性相关的依赖行为的根源是什么？如何通过代数方法捕捉这一特性？
• RQ4 是否可以为$\mathcal{P}_{2m+1}(z)$和$Q_{2m+1}(z)$的系数推导出封闭形式表达式？若可以，其函数形式为何？
• RQ5 递推关系和微分关系在多大程度上可用于计算$\mathcal{P}_n(z)$和$Q_n(z)$的高阶导数，而无需进行直接的符号展开？

主要发现

• 出现在$\operatorname{Ai}(z)$和$\operatorname{Ai}'(z)$的$n$阶导数中的多项式$\mathcal{P}_n(z)$和$Q_n(z)$满足一对耦合递推关系：$\mathcal{P}_{n+2} = z\mathcal{P}_n + n\mathcal{P}_{n-1}$和$Q_{n+2} = zQ_n + nQ_{n-1}$，该关系为新发现，此前未被研究。
• 微分递推关系$\mathcal{P}_{n+1} = \frac{d}{dz}\mathcal{P}_n + zQ_n$和$Q_{n+1} = \frac{d}{dz}Q_n + \mathcal{P}_n$被证明对推导高阶表达式至关重要，并在附录中完成证明。
• $\mathcal{P}_n(z)$和$Q_n(z)$的生成函数明确给出为：$\sum_{n=0}^\infty \frac{t^n}{n!} \mathcal{P}_n(z) = \pi \left[ Bi'(z)Ai(z+t) - Ai'(z)Bi(z+t) \right]$，以及$\sum_{n=0}^\infty \frac{t^n}{n!} Q_n(z) = \pi \left[ Ai(z)Bi(z+t) - Bi(z)Ai(z+t) \right]$。
• 对于奇数阶多项式，其系数以包含伽马函数和二项式系数的有限和形式表达，其中$\mathcal{P}_{2m+1}(z)$和$Q_{2m+1}(z)$依赖于不连续函数$\mathsf{M}(m)$、$\mathcal{M}(m)$和$\epsilon(m)$，这些函数控制其结构性复杂性。
• $\mathcal{P}_{2m+1}(z)$和$Q_{2m+1}(z)$的系数表达式$\mathbf{C}_{1/3}(m,q)$和$\mathbf{C}_{2/3}(m,q)$以封闭形式推导得出，但无法进一步简化，其表达为关于$i$的求和，包含伽马函数的比值。
• $C_i^{(0)}(m,p)$和$C_i^{(2)}(m,p)$被证明可表示为$m$的加权多项式，例如$C_1^{(0)}(m,p) = 2^{2m} \binom{m}{m-p-1} \cdot \wp^{(p)}(m)$，表明多项式序列背后存在深刻的代数结构。