[论文解读] Some identities for Bernoulli polynomials involving Chebyshev polynomials

Dae San Kim, Taekyun Kim+1 more|arXiv (Cornell University)|Nov 6, 2012

Advanced Mathematical Identities参考文献 13被引用 20

一句话总结

本文推导出新的显式恒等式，将伯努利、欧拉和埃尔米特多项式表示为第二类切比雪夫多项式的有限线性组合，利用加权内积空间中的正交关系和罗德里格斯型公式。主要贡献是将 $ B_n(x) $、$ E_n(x) $ 和 $ H_n(x) $ 以 $ U_k(x) $ 的形式给出闭式展开，其系数涉及伯努利、欧拉和埃尔米特数以及组合因子。

ABSTRACT

In this paper, we derive some new and interesting idebtities for Bernoulli, Euler and Hermite polynomials associated with Chebyshev polynomials.

研究动机与目标

• 建立经典正交多项式——伯努利、欧拉和埃尔米特——使用第二类切比雪夫多项式的新型显式表示。
• 利用 $ U_n(x) $ 在加权内积 $ \langle f,g \rangle = \int_{-1}^1 \sqrt{1-x^2} f(x)g(x) dx $ 中的正交性推导展开式。
• 通过罗德里格斯公式和积分恒等式推导这些展开式的闭式系数表达式。
• 通过将切比雪夫多项式作为正交展开中的基函数，推广已知的多项式恒等式。

提出的方法

• 在权函数 $ \sqrt{1-x^2} $ 下定义内积空间 $ \mathbf{P}_n^* $，其中 $ \{U_k(x)\} $ 构成正交基。
• 使用 $ U_n(x) $ 的罗德里格斯公式：$ U_n(x) = \frac{(-1)^n 2^n (n+1)!}{(2n+1)!} (1-x^2)^{-1/2} \frac{d^n}{dx^n} (1-x^2)^{n+1/2} $，通过分部积分表达系数。
• 利用系数公式 $ C_k = \frac{2}{\pi} \int_{-1}^1 \sqrt{1-x^2} U_k(x) p(x) dx $，将 $ p(x) = x^n $、$ B_n(x) $、$ E_n(x) $ 和 $ H_n(x) $ 在 $ \{U_k(x)\} $ 基下展开。
• 应用恒等式 $ \int_{-1}^1 (1-x^2)^{k+1/2} x^l dx = 0 $（当 $ l $ 为奇数时），以及 $ l $ 为偶数时的贝塔函数型表达式，简化积分。
• 使用伯努利多项式 $ B_n(x) = \sum_{l=0}^n \binom{n}{l} B_{n-l} x^l $ 及其在 $ E_n(x) $、$ H_n(x) $ 上的类似展开式，代入系数积分中。
• 通过合并同类项并化简组合与阶乘系数，推导最终展开式。

实验结果

研究问题

• RQ1 伯努利多项式能否表示为第二类切比雪夫多项式的有限线性组合？
• RQ2 此类展开式的显式系数公式（以伯努利、欧拉和埃尔米特数表示）是什么？
• RQ3 如何利用 $ U_n(x) $ 的正交性和罗德里格斯公式推导经典正交多项式的恒等式？
• RQ4 加权内积 $ \int_{-1}^1 \sqrt{1-x^2} f(x)g(x) dx $ 在构造这些展开式中起到什么作用？
• RQ5 对于欧拉和埃尔米特多项式，是否能使用相同的基函数和方法得到类似的恒等式？

主要发现

• 推导出恒等式 $ x^n = \frac{n!}{2^n} \sum_{\substack{0 \leq k \leq n \\ k \equiv n \pmod{2}}} \frac{k+1}{\left(\frac{n+k+2}{2}\right)! \left(\frac{n-k}{2}\right)!} U_k(x) $，将单项式表示为 $ U_k(x) $ 的形式。
• 伯努利多项式满足 $ B_n(x) = n! \sum_{k=0}^n \left( \frac{k+1}{2^k} \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{B_{n-k-l}}{2^l (n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $，提供了新的基展开。
• 欧拉多项式以类似方式展开为 $ E_n(x) = n! \sum_{k=0}^n \left( \frac{k+1}{2^k} \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{E_{n-k-l}}{2^l (n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $。
• 埃尔米特多项式表示为 $ H_n(x) = n! \sum_{k=0}^n \left( (k+1) \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{H_{n-k-l}}{(n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $，其系数涉及埃尔米特数。
• 推导依赖于 $ U_k(x) $ 的正交性及罗德里格斯公式，积分在 $ [-1,1] $ 上加权为 $ \sqrt{1-x^2} $，从而得到闭式系数表达式。
• 所有展开式对 $ n \in \mathbb{Z}_+ $ 成立，且求和仅限于偶数 $ l $，这是由于积分中的对称性，确保仅当 $ l $ 为偶数时才有非零贡献。