Derivative of the Jacobi polynomials with respect to their order and applications to indefinite integration

技术摘要：雅可比多项式对阶数的导数及其在不定积分中的应用

问题陈述
特殊函数，特别是依赖于数值参数的特殊函数，是模拟物理和数学过程的基础。虽然关于其自变量的特殊函数导数是标准做法，但关于其参数（参数导数）的导数通常更难确定。尽管雅可比多项式对参数 $a$ 和 $b$ 的参数导数已知可以产生多项式形式，但关于其阶数（传统上为离散整数 $n$）的导数尚未有明确的闭式表达。本文旨在解决确定雅可比多项式对阶数（将阶数视为连续实变量）的一阶导数这一空白。

方法论
作者采用了三步分析法：

1. 定义域扩展： 通过利用如下关系，将雅可比多项式 $P_n^{(a,b)}(x)$ 的离散阶数 $n$ 扩展为连续实变量 $\mu$：
   $$P_\mu^{(a,b)}(x) = \frac{\Gamma(a+\mu+1)}{\Gamma(\mu+1)\Gamma(a+1)} {}_2F_1\left(-\mu, a+b+\mu+1, a+1, \frac{1-x}{2}\right)$$
   这种扩展允许在正实轴上进行关于 $\mu$ 的微分。
2. 微分与级数展开： 使用乘积法则计算导数 $\frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x)$。通过对高斯超几何函数 $_2F_1$ 的级数表示进行逐项微分来计算其导数。这引入了双伽马函数 $\psi$。
3. 在整数值处求值： 将所得表达式在非负整数值 $\mu = n$ 处进行求值。作者仔细处理了当 $\mu \to n$ 时双伽马函数差值的极限，通过将无限级数拆分为有限和（对于 $k \le n$）和无限尾部（对于 $k > n$）来进行处理。应用了关于双伽马函数差值极限的特定恒等式来消除奇异性并简化级数。

主要贡献与结果
主要贡献是推导出了雅可比多项式对阶数的显式闭式表达式，记作 $\left[ \frac{\partial}{\partial \mu} P_\mu^{(a,b)}(x) \right]_{\mu=n}$。

• 一般形式： 所得导数通常是非初等函数的，包含广义超几何函数 $_3F_2$。该公式结合了涉及双伽马项的包含原雅可比多项式的项、涉及有理函数的有限和以及 $_3F_2$ 项。
• 初等特例： 本文证明了对于特定的参数设置，非初等项 $_3F_2$ 可以简化为初等函数。文中提供了三个针对 $n=0$ 的特定情况：
  • 当 $a = -b-3$ 时，结果为多项式加上双伽马常数。
  • 当 $a = b = 1$ 时，结果涉及对数项。
  • 当 $a = b = -1/2$ 时，结果涉及反三角函数（具体为 $\arcsin$）。
• 不定积分的应用： 所得阶数导数被应用于一种利用朗斯基行列式（Wronskian）解决不定积分的最新开发方法。通过将雅可比微分方程识别为具有特定形式且可由朗斯基行列式法求解的形式，作者推导出了不定积分的闭式表示：
  $$\int (1-t)^a (1+t)^b \left[ P_n^{(a,b)}(t) \right]^2 dt$$
  此类积分此前在文献中缺乏已报道的闭式解，通过计算函数 $u(x, \mu)$ 及其关于 $\mu$ 的导数的朗斯基行列式解决了这一问题。文中给出了一个 $a=b=1$ 且 $n=2$ 的具体示例进行演算，验证了该方法的有效性。

意义与范围
本文声称在两个主要领域具有重要意义：

1. 数学完整性： 它提供了第一个关于雅可比多项式对其阶数的显式闭式表达式，这一量有别于已知的关于参数 $a$ 和 $b$ 的参数导数。
2. 实际效用： 它证明了该导数不仅是一个理论构造，而且是解决一类涉及平方雅可比多项式的特定不定积分的必要组成部分。

作者指出，该结果可以推广到其他作为雅可比多项式特例的多项式系统，包括 Gegenbauer 多项式、勒让德多项式以及第一类和第二类切比雪夫多项式。文章最后指出，所使用的超几何表示存在约束（例如 $a$ 不能为负整数），并建议在这些特定参数范围内存在替代表示。本文作为建立该导数及其直接积分应用的说明性笔记，并未提出超出所提供的数学框架之外的进一步实验或计算扩展。