New sums mixing harmonic numbers and central binomial coefficients

Résumé Technique : Nouvelles sommes mélangeant les nombres harmoniques et les coefficients binomiaux centraux

Énoncé du Problème
L'article traite de l'évaluation de sommes combinatoires impliquant les réciproques des coefficients binomiaux centraux, spécifiquement celles mélangées avec des nombres harmoniques ($H_n$), des nombres harmoniques impairs ($O_n$) et des nombres harmoniques généralisés d'ordre 2 ($H_n^{(2)}$). Alors que les identités pour les sommes de la forme $\sum \frac{2^{2k}}{\binom{2k}{k}}$ et leurs généralisations sont bien documentées (par exemple, par Rockett, Comtet et Gould), les auteurs se concentrent sur la dérivation d'expressions à forme fermée et de solutions récursives pour des sommes où ces coefficients sont multipliés par des puissances de l'indice ($k^d$) et des termes harmoniques. Ce travail étend les découvertes antérieures de Bataille et Frontczak concernant les sommes binomiales généralisées pour inclure des composantes harmoniques.

Méthodologie
La méthodologie principale employée est l'approche par l'opérateur de dérivation appliquée à des identités combinatoires connues. Les auteurs utilisent la relation entre les nombres harmoniques et la fonction digamma, $\psi(z)$, où $H_z = \psi(z+1) + \gamma$. En dérivant des identités existantes par rapport à un paramètre $m$ (où le coefficient binomial est généralisé à $\binom{m+k}{k}$), ils génèrent des termes impliquant $H_{k+m}$.

Étapes techniques clés :

1. Dérivation d'identités généralisées : En partant de l'identité établie dans [3, Théorème 4.2] :
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} = \frac{1}{2m+3} \left( (m+n+1)\binom{m+n}{n}\binom{2n}{n} 2^{2n+1} + 1 \right)$$
   Les auteurs dérivent cette expression par rapport à $m$, en utilisant la propriété $\frac{d}{dm}\binom{m+k}{k} = \binom{m+k}{k}(H_{k+m} - H_m)$.
2. Sommation par parties (Transformation d'Abel) : Pour les sommes de puissances $U_d(n)$ et $V_d(n)$, les auteurs emploient la transformation d'Abel pour dériver des relations récursives. Ils définissent des séquences auxiliaires $u_k = \frac{2^{2k}}{\binom{2k}{k}}$ et $a_k = (2k-1)(k-1)^d$ pour manipuler les sommes en formes récursives impliquant des sommes d'ordre inférieur.
3. Simplification algébrique : Les expressions résultantes sont simplifiées en isolant les parties rationnelles et irrationnelles (spécifiquement en séparant les termes impliquant $\ln 2$ lors du traitement d'arguments demi-entiers) et en utilisant les relations connues entre $H_n$, $O_n$ et $H_{2n}$.

Contributions Clés et Résultats

1. Sommes Harmoniques Généralisées (Théorème 2.1) :
   L'article établit une identité générale pour les sommes de la forme $\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} H_{k+m}$. Ce résultat est valide pour $m$ complexe (excluant les entiers non positifs et $-3/2$).

   • Corollaire 2.2 & 2.4 : En fixant des valeurs spécifiques pour $m$, les auteurs dérivent de nouvelles expressions à forme fermée pour :
     $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_k \quad \text{et} \quad \sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_{2k}$$
     Celles-ci sont présentées comme des résultats potentiellement nouveaux, distincts des identités précédemment connues pour les nombres harmoniques impairs.

2. Solutions Récursives pour les Sommes de Puissances (Théorèmes 3.1 & 3.3) :
   Les auteurs définissent deux classes de sommes :

   • $U_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d$
   • $V_d(n) = \sum_{k=1}^n \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$
     Ils dérivent des formules récursives qui expriment $U_d(n)$ et $V_d(n)$ en termes de sommes d'ordre inférieur ($U_{d-j}$ et $V_{d-j}$) et de termes limites. Des formes fermées explicites sont fournies pour $d=1, 2, 3$.
   • Observation : L'article note que $V_d(n)$ peut être exprimé sous une forme polynomiale spécifique impliquant $H_n$, un terme constant, et un facteur de normalisation $N(d) = \prod_{j=0}^{d+1} (2j+1)$.

3. Seconde Famille de Sommes Harmoniques (Théorème 4.1) :
   Une seconde famille d'identités est dérivée impliquant le terme $\frac{2^{-2k}}{2k-1}$. Le Théorème 4.1 fournit une formule générale pour les sommes impliquant $\binom{m+k+1}{k} H_{m+k+1}$. Les corollaires fournissent des évaluations spécifiques pour les cas où $m=0$ et $m=1$, reliant ces sommes à $H_{n+1}$ et $H_{n+2}$.

4. Sommes Impliquant les Carrés de Nombres Harmoniques (Théorème 5.1) :
   L'article étudie les sommes impliquant $H_k^2 - H_k^{(2)}$ (où $H_k^{(2)} = \sum_{j=1}^k j^{-2}$). En dérivant deux fois l'identité du Théorème 2.1 (ou en utilisant la dérivée de la fonction digamma), ils dérivent une forme fermée pour :
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} (H_{k+m}^2 - H_{k+m}^{(2)})$$

   • Corollaire 5.2 : Des résultats spécifiques pour $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^2$ et $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^{(2)}$ sont fournis.
   • Limite : Les auteurs déclarent explicitement qu'une évaluation à forme fermée pour la somme résiduelle $\sum_{j=1}^n \frac{2^{2j}}{j^2 \binom{2j}{j}}$ demeure insaisissable et n'a pas été trouvée dans la littérature existante.

Signification et Portée
L'article se positionne comme un addendum aux travaux précédents des auteurs [3], étendant la portée des identités connues pour les coefficients binomiaux centraux pour inclure les nombres harmoniques et leurs puissances. La signification réside dans :

• La fourniture de nouvelles identités à forme fermée pour des sommes mélangeant les coefficients binomiaux centraux avec $H_k$ et $H_{2k}$.
• L'établissement de méthodes récursives systématiques pour calculer les sommes de la forme $\sum \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$ pour tout entier positif $d$.
• La mise en évidence de l'utilité de la méthode de l'opérateur de dérivation pour générer de nouvelles identités combinatoires à partir d'identités existantes.

Les auteurs maintiennent un ton modeste, notant que bien que les polynômes dérivés $P_d(n)$ et $Q_d(n)$ dans les solutions récursives soient intéressants, leurs propriétés structurelles plus profondes méritent une étude plus approfondie. Ils suggèrent également des directions de recherche futures impliquant des fonctions génératrices avec une variable $x$ (analogues aux travaux de Mansour et Batir/Sofo) pour mieux comprendre les polynômes associés à ces sommes. L'article ne propose pas d'applications expérimentales mais se concentre strictement sur la dérivation théorique et l'évaluation de ces sommes combinatoires.