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

Résumé technique : Sommation analytique de séries impliquant des dérivées d'ordre supérieur des polynômes de Tchebychev de seconde espèce

Énoncé du problème
Ce papier traite de la sommation analytique de séries fonctionnelles dont les termes sont constitués de dérivées d'ordre supérieur des polynômes de Tchebychev de seconde espèce, notés $U_N(z)$. Plus précisément, les auteurs étudient des séries où le degré du polynôme est intrinsèquement lié à l'ordre de la dérivée. Le défi principal réside dans la détermination des fonctions rationnelles vers lesquelles ces séries convergent et dans l'établissement de leurs liens avec des suites numériques spéciales générées par des relations de récurrence linéaire. Bien que les propriétés des polynômes de Tchebychev eux-mêmes soient bien documentées, les séries impliquant leurs dérivées d'ordre supérieur restent moins investiguées.

Méthodologie
Les auteurs emploient une combinaison de fonctions génératrices, d'identités combinatoires et de prolongement analytique pour dériver des solutions sous forme fermée.

1. Fonctions génératrices : L'étude utilise la fonction génératrice des polynômes de Tchebychev de seconde espèce, $g(z, t) = (1 - 2tz + z^2)^{-1}$, ainsi que ses dérivées partielles d'ordre supérieur par rapport au paramètre $t$. Cela permet de représenter les dérivées $U^{(s)}_N(z)$ en termes de séries entières.
2. Analyse combinatoire : Le papier dérive des formules explicites pour les dérivées $U^{(s)}_{N+s-1}(z)$ et les relie à des coefficients combinatoires spécifiques. La Lemme 3.1 établit une identité de sommation impliquant des coefficients binomiaux qui facilite la transformation des séries en fonctions rationnelles.
3. Prolongement analytique : Pour traiter les séries formellement divergentes, les auteurs appliquent le prolongement analytique à la frontière du domaine de convergence ($|z|=1$). Cette technique permet d'attribuer des valeurs finies à des séries qui ne convergent pas au sens classique, en les reliant aux formules d'Euler classiques.
4. Lien avec les suites récurrentes : La méthodologie mappe explicitement les dérivées dérivées aux nombres de Fibonacci ($F_n$), aux nombres de Lucas ($L_n$), aux nombres de Pell ($P_n$), à leurs convolutions ($F^{(s)}_n, P^{(s)}_n$) et aux $k$-sections de la suite de Fibonacci ($\Phi_{n,k}$).

Contributions et résultats clés
Le papier produit plusieurs résultats théoriques significatifs :

• Formules de sommation pour les séries convergentes : Les auteurs dérivent des expressions sous forme fermée pour deux séries principales pour $|z| < 1$ et $|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)$$
  Ces sommes sont exprimées comme des fonctions rationnelles impliquant des polynômes de Tchebychev avec des arguments composites.

• Nouvelles identités pour les suites numériques : En substituant des valeurs spécifiques de $z$ (telles que $z = i/2$ ou $z = 1/(2L_k)$) dans les formules de sommation générales, le papier établit de nouvelles identités sous forme fermée pour :

  • Des sommes impliquant des nombres de Fibonacci convolués ($F^{(s)}_n$) et des nombres de Pell convolués ($P^{(s)}_n$).
  • Des sommes impliquant des $k$-sections de la suite de Fibonacci ($\Phi_{n,k}$).
  • Des exemples spécifiques sont fournis pour de petits $N$, produisant des valeurs complexes pour des sommes de suites convoluées.

• Sommation de séries divergentes : Grâce au prolongement analytique, le papier obtient des sommes pour des séries formellement divergentes. Notamment, il retrouve les formules classiques d'Euler pour les séries entières alternées. Par exemple, le papier démontre que :
  $$\sum_{\sigma=0}^{\infty} (-1)^\sigma \binom{N+2\sigma}{N-1} = 2^{-N/2} \sin\left(\frac{N\pi}{4}\right)$$
  Ce résultat est généralisé à des nombres complexes arbitraires en utilisant la fonction Gamma.

• Lien avec les polynômes de Gegenbauer : Le papier note que les dérivées $U^{(s)}_{N+s-1}(z)$ sont liées aux polynômes de Gegenbauer $C^{(\alpha)}_n(z)$ via la relation $\frac{1}{2^s s!} U^{(s)}_{N+s-1}(x) = C^{(s+1)}_{N-1}(x)$. Par conséquent, les formules de sommation sont réexprimées en termes de polynômes de Gegenbauer, comblant une lacune dans les manuels classiques concernant les séries sommées sur l'indice supérieur.

Signification et applications
Les auteurs positionnent ce travail comme une contribution à la recherche de représentations analytiques de sommes impliquant des polynômes orthogonaux. La signification des résultats est double :

1. Théorique : Le travail établit des connexions exactes entre les dérivées des polynômes de Tchebychev et des suites arithmétiques (Fibonacci, Lucas, Pell), fournissant de nouveaux outils pour dériver des identités combinatoires.
2. Appliqué : Les auteurs suggèrent des applications potentielles en théorie de l'approximation, en méthodes numériques utilisant des polynômes orthogonaux et en cryptographie. Plus précisément, la relation entre les polynômes de Tchebychev et les systèmes cryptographiques (faisant référence à l'identité $U_{M-1}(T_n(x))U_{n-1}(x) = U_{nm-1}(x)$) est mise en avant comme un domaine potentiel pour une utilité future.

Le papier conclut que les dérivées des polynômes de Tchebychev servent de mécanisme efficace pour représenter des suites récurrentes convoluées et que le prolongement analytique fournit un cadre rigoureux pour évaluer les sommes de séries divergentes qui s'alignent avec les résultats classiques.