New sums mixing harmonic numbers and central binomial coefficients

Resumen Técnico: Nuevas Sumas de Mezcla de Números Armónicos y Coeficientes Binomiales Centrales

Planteamiento del Problema
El artículo aborda la evaluación de sumas combinatorias que involucran recíprocos de coeficientes binomiales centrales, específicamente aquellos mezclados con números armónicos ($H_n$), números armónicos impares ($O_n$) y números armónicos generalizados de orden 2 ($H_n^{(2)}$). Mientras que las identidades para sumas de la forma $\sum \frac{2^{2k}}{\binom{2k}{k}}$ y sus generalizaciones están bien documentadas (por ejemplo, por Rockett, Comtet y Gould), los autores se centran en derivar expresiones de forma cerrada y soluciones recursivas para sumas donde estos coeficientes están multiplicados por potencias del índice ($k^d$) y términos armónicos. El trabajo extiende los hallazgos previos de Bataille y Frontczak respecto a sumas binomiales generalizadas para incluir componentes armónicos.

Metodología
La metodología principal empleada es el método del operador de derivada aplicado a identidades combinatorias conocidas. Los autores utilizan la relación entre los números armónicos y la función digamma, $\psi(z)$, donde $H_z = \psi(z+1) + \gamma$. Al derivar identidades existentes con respecto a un parámetro $m$ (donde el coeficiente binomial se generaliza a $\binom{m+k}{k}$), generan términos que involucran a $H_{k+m}$.

Pasos técnicos clave incluyen:

1. Diferenciación de Identidades Generalizadas: Partiendo de la identidad establecida en [3, Teorema 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)$$
   Los autores derivan esto con respecto a $m$, utilizando la propiedad $\frac{d}{dm}\binom{m+k}{k} = \binom{m+k}{k}(H_{k+m} - H_m)$.
2. Sumación por Partes (Transformación de Abel): Para las sumas de potencias $U_d(n)$ y $V_d(n)$, los autores emplean la transformación de Abel para derivar relaciones recursivas. Definen secuencias auxiliares $u_k = \frac{2^{2k}}{\binom{2k}{k}}$ y $a_k = (2k-1)(k-1)^d$ para manipular las sumas hacia formas recursivas que involucran sumas de orden inferior.
3. Simplificación Algebraica: Las expresiones resultantes se simplifican aislando las partes racionales e irracionales (específicamente separando términos que involucran $\ln 2$ al tratar con argumentos de semienteros) y utilizando relaciones conocidas entre $H_n$, $O_n$ y $H_{2n}$.

Contribuciones Clave y Resultados

1. Sumas Armónicas Generalizadas (Teorema 2.1):
   El artículo establece una identidad general para sumas de la forma $\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} H_{k+m}$. Este resultado es válido para $m$ complejo (excluyendo enteros no positivos y $-3/2$).

   • Corolario 2.2 y 2.4: Al establecer valores específicos para $m$, los autores derivan nuevas expresiones de forma cerrada para:
     $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_k \quad \text{y} \quad \sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_{2k}$$
     Estas se presentan como resultados potencialmente nuevos, distintos de las identidades previamente conocidas para números armónicos impares.

2. Soluciones Recursivas para Sumas de Potencias (Teoremas 3.1 y 3.3):
   Los autores definen dos clases de sumas:

   • $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$
     Derivan fórmulas recursivas que expresan $U_d(n)$ y $V_d(n)$ en términos de sumas de orden inferior ($U_{d-j}$ y $V_{d-j}$) y términos de frontera. Se proporcionan formas cerradas explícitas para $d=1, 2, 3$.
   • Observación: El artículo señala que $V_d(n)$ puede expresarse en una forma polinómica específica que involucra a $H_n$, un término constante y un factor de normalización $N(d) = \prod_{j=0}^{d+1} (2j+1)$.

3. Segunda Familia de Sumas Armónicas (Teorema 4.1):
   Se deriva una segunda familia de identidades que involucra el término $\frac{2^{-2k}}{2k-1}$. El Teorema 4.1 proporciona una fórmula general para sumas que involucran $\binom{m+k+1}{k} H_{m+k+1}$. Los corolarios proporcionan evaluaciones específicas para los casos donde $m=0$ y $m=1$, relacionando estas sumas con $H_{n+1}$ y $H_{n+2}$.

4. Sumas que Involucran Números Armónicos al Cuadrado (Teorema 5.1):
   El artículo investiga sumas que involucran $H_k^2 - H_k^{(2)}$ (donde $H_k^{(2)} = \sum_{j=1}^k j^{-2}$). Al derivar la identidad del Teorema 2.1 dos veces (o utilizar la derivada de la función digamma), derivan una forma cerrada para:
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} (H_{k+m}^2 - H_{k+m}^{(2)})$$

   • Corolario 5.2: Se proporcionan resultados específicos para $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^2$ y $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^{(2)}$.
   • Limitación: Los autores declaran explícitamente que la evaluación de forma cerrada para la suma residual $\sum_{j=1}^n \frac{2^{2j}}{j^2 \binom{2j}{j}}$ sigue siendo esquiva y no fue hallada en la literatura existente.

Significancia y Alcance
El artículo se posiciona como un apéndice al trabajo previo de los autores [3], extendiendo el alcance de las identidades conocidas para coeficientes binomiales centrales para incluir números armónicos y sus potencias. La significancia radica en:

• Proveer nuevas identidades de forma cerrada para sumas que mezclan coeficientes binomiales centrales con $H_k$ y $H_{2k}$.
• Establecer métodos recursivos sistemáticos para computar sumas de la forma $\sum \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$ para cualquier entero positivo $d$.
• Destacar la utilidad del método del operador de derivada para generar nuevas identidades combinatorias a partir de las existentes.

Los autores mantienen un tono modesto, señalando que, si bien los polinomios derivados $P_d(n)$ y $Q_d(n)$ en las soluciones recursivas son interesantes, sus propiedades estructurales más profundas ameritan un estudio adicional. También sugieren direcciones de investigación futura que involucren funciones generatrices con la variable $x$ (análogas al trabajo de Mansour y Batir/Sofo) para comprender mejor los polinomios asociados con estas sumas. El artículo no propone aplicaciones experimentales, sino que se enfoca estrictamente en la derivación teórica y la evaluación de estas sumas combinatorias.