Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences

技术摘要：涉及第二类切比雪夫多项式高阶导数的级数解析求和

问题陈述
本文探讨了函数级数的解析求和问题，其中各项由第二类切比雪夫多项式（记为 $U_N(z)$）的高阶导数组成。具体而言，作者研究了多项式的次数与导数阶数内在关联的级数。主要挑战在于确定这些级数收敛到的有理函数，并建立它们与由线性递推关系生成的特殊数值序列之间的联系。虽然切比雪夫多项式本身的性质已有详尽记录，但涉及其高阶导数的级数研究仍较少。

方法论
作者结合生成函数、组合恒等式和解析延拓来推导闭式解。

1. 生成函数：研究利用第二类切比雪夫多项式的生成函数 $g(z, t) = (1 - 2tz + z^2)^{-1}$ 及其关于参数 $t$ 的高阶偏导数。这使得能够将导数 $U^{(s)}_N(z)$ 表示为幂级数形式。
2. 组合分析：本文推导了导数 $U^{(s)}_{N+s-1}(z)$ 的显式公式，并将其与特定的组合系数联系起来。引理 3.1 建立了一个涉及二项式系数的求和恒等式，促进了将级数转化为有理函数。
3. 解析延拓：为了处理形式发散的级数，作者对收敛域边界（$|z|=1$）应用了解析延拓。该技术允许为在经典意义上不收敛的级数赋予有限值，并将它们与经典的欧拉公式联系起来。
4. 与递推序列的联系：该方法明确地将推导出的导数映射到斐波那契数（$F_n$）、卢卡斯数（$L_n$）、佩尔数（$P_n$）、它们的卷积（$F^{(s)}_n, P^{(s)}_n$）以及斐波那契序列的 $k$-分段（$\Phi_{n,k}$）。

主要贡献与结果
本文得出了若干重要的理论结果：

• 收敛级数的求和公式：作者推导了针对 $|z| < 1$ 和 $|z| > 1$ 的两个主要级数的闭式表达式：
  $$\sum_{\sigma=0}^{\infty} \frac{z^\sigma U^{(\sigma)}_{N+\sigma-1}(z)}{2^\sigma \sigma!} = (1-z)^{-\frac{N+1}{2}} U_{N-1}\left(\frac{z}{\sqrt{1-z}}\right)$$
  $$\sum_{\sigma=0}^{\infty} \frac{z^{-\sigma} U^{(\sigma)}_{N+\sigma-1}(z)}{2^\sigma \sigma!} = \left(\frac{z}{z-1}\right)^{\frac{N+1}{2}} U_{N-1}\left(z\sqrt{\frac{z}{z-1}}\right)$$
  这些和表示为涉及具有复合自变量的切比雪夫多项式的有理函数。

• 数值序列的新恒等式：通过将特定 $z$ 值（如 $z = i/2$ 或 $z = 1/(2L_k)$）代入通用求和公式，本文建立了以下新闭式恒等式：

  • 涉及卷积斐波那契数（$F^{(s)}_n$）和卷积佩尔数（$P^{(s)}_n$）的和。
  • 涉及斐波那契序列 $k$-分段（$\Phi_{n,k}$）的和。
  • 提供了小 $N$ 值的具体示例，得出了卷积序列和的复数值。

• 发散级数的求和：通过解析延拓，本文获得了形式发散级数的和。值得注意的是，它恢复了交错幂级数的经典欧拉公式。例如，本文证明了：
  $$\sum_{\sigma=0}^{\infty} (-1)^\sigma \binom{N+2\sigma}{N-1} = 2^{-N/2} \sin\left(\frac{N\pi}{4}\right)$$
  该结果利用伽玛函数推广到了任意复数。

• 与盖根鲍尔多项式的联系：本文指出，导数 $U^{(s)}_{N+s-1}(z)$ 通过关系式 $\frac{1}{2^s s!} U^{(s)}_{N+s-1}(x) = C^{(s+1)}_{N-1}(x)$ 与盖根鲍尔多项式 $C^{(\alpha)}_n(z)$ 相关。因此，求和公式被重新表述为盖根鲍尔多项式的形式，填补了经典手册中关于对上限索引求和的级数的空白。

意义与应用
作者将这项工作定位为对寻找涉及正交多项式的和的解析表示的探索的贡献。结果的意义体现在两个方面：

1. 理论方面：该工作建立了切比雪夫多项式导数与数论序列（斐波那契、卢卡斯、佩尔）之间的精确联系，为推导组合恒等式提供了新工具。
2. 应用方面：作者提出了在逼近理论、利用正交多项式的数值方法以及密码学中的潜在应用。具体而言，切比雪夫多项式与密码系统之间的关系（引用恒等式 $U_{M-1}(T_n(x))U_{n-1}(x) = U_{nm-1}(x)$）被强调为未来应用的潜在领域。

本文得出结论：切比雪夫多项式的导数是表示卷积递推序列的有效机制，而解析延拓为评估与经典结果一致的发散级数之和提供了严格的框架。