[論文レビュー] Application of a composition of generating functions for obtaining explicit formulas of polynomials

Vladimir Kruchinin, Dmitry Kruchinin|arXiv (Cornell University)|Nov 1, 2012

Analytic Number Theory Research参考文献 3被引用数 4

ひとこと要約

本稿では、生成関数の合成と合成関数のコンポジタを用いた新規手法を導入し、チェビシェフ、ルジャンドル、ギーゲンバウアー、ラゲール、ベルヌーイ、オイラー、その他の古典的直交多項式および特殊多項式の広範なクラスに対して明示的で閉形式の公式を導出する。このアプローチは、スターリング数と二項係数を含む組合せ的和を用いて多項式の係数を表現するため、生成関数のコンポジタを体系的に活用し、多様な多項式族にわたる統一的かつ明示的な表現を実現する。

ABSTRACT

Using notions of composita and composition of generating functions we obtain explicit formulas for Chebyshev polynomials, Legendre polynomials, Gegenbauer polynomials, Associated Laguerre polynomials, Stirling polynomials, Abel polynomials, Bernoulli Polynomials of the Second Kind, Generalized Bernoulli polynomials, Euler Polynomials, Peters polynomials, Narumi polynomials, Humbert polynomials, Lerch polynomials and Mahler polynomials.

研究の動機と目的

• 生成関数の合成に基づく一般化された手法を用いて、特殊多項式の明示的公式を導出すること。
• 通常の母関数に一般化されたコンポジタの概念を拡張し、多項式表現への応用範囲を広げること。
• 直交多項式および特殊関数を含む多様な多項式族における明示的公式の導出を統一すること。
• ベルヌーイ、オイラー、マーラー多項式などの多項式の係数について、計算に実用的な表現を提供すること。
• 14種の具体的な多項式族に対する閉形式の表現を導出することで、本手法の有効性を実証すること。

提案手法

• 本手法は、定数項を含まない母関数 $ F(t) $ に対して、$ [F(t)]^k $ の係数関数 $ F^{ riangle}(n,k) $ として定義されるコンポジタの概念に基づく。
• コンポジタは整数の合成を用いて計算される：$ F^{ riangle}(n,k) = \sum_{\pi_k \in C_n} f(\lambda_1)f(\lambda_2)\cdots f(\lambda_k) $、ここで $ \pi_k $ は $ n $ を $ k $ 個の部分に分割する合成である。
• 生成関数の合成を用いて新たな母関数を導出し、たとえば $ \exp(\alpha \cdot \ln(1 + \frac{\ln(1+t)}{t} - 1)) $ のような式が得られる。この係数は多項式列を生成する。
• 有理関数または対数関数の母関数に対しては、二項展開と第一種および第二種スターリング数の既知の恒等式を適用する。
• 指数型母関数の乗法則を用いてコンポジタを組み合わせ、得られる多項式列の係数を導出する。
• 既知の母関数（例：$ \frac{\ln(1+t)}{t} $、$ e^t - 1 $、$ \ln(1+t) $）に対して特定の変換を施し、複雑な合成のコンポジタを導出する。

実験結果

リサーチクエスチョン

• RQ1 生成関数の合成に基づく統一的アプローチにより、多様な直交多項式および特殊多項式の明示的公式を導出できるか？
• RQ2 生成関数のコンポジタを体系的に活用して、多項式列の係数を表現できるか？
• RQ3 対数的および有理関数的項を含む生成関数を合成した場合、どのような閉形式の表現が得られるか？
• RQ4 ベルヌーイ、オイラー、マーラー多項式など、非自明な母関数を持つ多項式族に対して、この手法はどの程度対応できるか？
• RQ5 関数的合成を用いて、ハムバート多項式およびレルヒ多項式の明示的公式を導出できるか？

主な発見

• チェビシェフ、ルジャンドル、ギーゲンバウアー、および関連ラゲール多項式に対して、コンポジタに基づく合成を用いて明示的公式を導出した。
• ベルヌーイ多項式の第二種について、閉形式の表現が得られた：$ B_n^{(2)}(x) = \sum_{k=0}^n \binom{n}{k} B_k^{(2)} x^{n-k} $、係数はコンポジタを用いて導出された。
• オイラー多項式については、$ E_n(x) = \sum_{k=0}^n \left( \sum_{j=0}^k \binom{k}{j} (-1)^j \frac{j!}{n!} \genfrac{[}{]}{0.0pt}{}{n}{j} \right) x^k $ が得られ、これは $ \left( \frac{2}{e^t + 1} \right)^n $ から導出された。
• マーラー多項式の係数は、$ M_n(x) = \sum_{k=0}^n x^k \left( \sum_{j=0}^k (-1)^j \binom{n}{k-j} \genfrac{\{}{\}}{0.0pt}{}{n-k+j}{j} \right) $ で与えられ、$ t - (e^t - 1) $ のコンポジタを用いた。
• ハムバート多項式については、$ 3xt - t^3 $ のコンポジタを用いて、$ H_n(x,\lambda) = \sum_{m=0}^{\lfloor n/3 \rfloor} \binom{n-2m}{m} 3^{n-3m} (-1)^m x^{n-3m} \binom{n-2m + \lambda - 1}{n-2m} $ が導出された。
• レルヒ多項式は、$ \ln(1+t) $ および $ (1-t)^{-\lambda} $ のコンポジタを用いて、$ L_n(x,\lambda) = \frac{1}{n!} \sum_{k=1}^n k! \genfrac{[}{]}{0.0pt}{}{n}{k} x^k \binom{\lambda + k - 1}{k} $ として表現された。