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$ に対する 2 つの主要な級数について閉形式の式を導出した。
  $$\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)$$
  この結果は、ガンマ関数を用いて任意の複素数へ一般化される。

• ** Gegenbauer 多項式との関連**: 本論文は、導関数 $U^{(s)}_{N+s-1}(z)$ が、関係式 $\frac{1}{2^s s!} U^{(s)}_{N+s-1}(x) = C^{(s+1)}_{N-1}(x)$ を通じて Gegenbauer 多項式 $C^{(s+1)}_n(z)$ と関連していることを指摘する。その結果、総和公式は Gegenbauer 多項式を用いて再表現され、上付き添字で総和される級数に関する古典的なハンドブックの欠落を埋めることとなる。

意義と応用
著者らは、この仕事を直交多項式を含む和の解析的表現の探索への貢献として位置づける。結果の意義は二重である。

1. 理論的: この研究は、チェビシェフ多項式の導関数と数論的数列（フィボナッチ、ルカス、ペル）との間の正確な関連性を確立し、組合せ論的恒等式を導出するための新たな道具を提供する。
2. 応用的: 著者らは、近似理論、直交多項式を利用する数値解析、および暗号学における潜在的な応用を提案する。具体的には、チェビシェフ多項式と暗号システムとの関係（恒等式 $U_{M-1}(T_n(x))U_{n-1}(x) = U_{nm-1}(x)$ への言及を参照）が、将来の有用性を持つ可能性のある領域として強調される。

本論文は、チェビシェフ多項式の導関数が畳み込まれた漸化数列を表現する効果的なメカニズムとして機能し、解析接続が古典的結果と整合する発散級数の和を評価するための厳密な枠組みを提供することを結論づけている。