New sums mixing harmonic numbers and central binomial coefficients

Resumo Técnico: Novas Somas Misturando Números Harmônicos e Coeficientes Binomiais Centrais

Enunciado do Problema
O artigo aborda a avaliação de somas combinatórias envolvendo recíprocos de coeficientes binomiais centrais, especificamente aqueles misturados com números harmônicos ($H_n$), números harmônicos ímpares ($O_n$) e números harmônicos generalizados de ordem 2 ($H_n^{(2)}$). Embora identidades para somas da forma $\sum \frac{2^{2k}}{\binom{2k}{k}}$ e suas generalizações sejam bem documentadas (por exemplo, por Rockett, Comtet e Gould), os autores focam na derivação de expressões de forma fechada e soluções recursivas para somas onde esses coeficientes são multiplicados por potências do índice ($k^d$) e termos harmônicos. O trabalho estende descobertas anteriores de Bataille e Frontczak para incluir componentes harmônicos em somas binomiais generalizadas.

Metodologia
A principal metodologia empregada é a abordagem do operador derivativo aplicada a identidades combinatórias conhecidas. Os autores utilizam a relação entre números harmônicos e a função digama, $\psi(z)$, onde $H_z = \psi(z+1) + \gamma$. Ao diferenciar identidades existentes em relação a um parâmetro $m$ (onde o coeficiente binomial é generalizado para $\binom{m+k}{k}$), eles geram termos envolvendo $H_{k+m}$.

Principais etapas técnicas incluem:

1. Diferenciação de Identidades Generalizadas: Partindo da identidade estabelecida em [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)$$
   Os autores diferenciam esta expressão em relação a $m$, utilizando a propriedade $\frac{d}{dm}\binom{m+k}{k} = \binom{m+k}{k}(H_{k+m} - H_m)$.
2. Integração por Partes (Transformação de Abel): Para as somas de potência $U_d(n)$ e $V_d(n)$, os autores empregam a transformação de Abel para derivar relações recursivas. Eles definem sequências auxiliares $u_k = \frac{2^{2k}}{\binom{2k}{k}}$ e $a_k = (2k-1)(k-1)^d$ para manipular as somas em formas recursivas envolvendo somas de ordem inferior.
3. Simplificação Algébrica: As expressões resultantes são simplificadas isolando partes racionais e irracionais (especificamente separando termos envolvendo $\ln 2$ ao lidar com argumentos de meio inteiro) e utilizando relações conhecidas entre $H_n$, $O_n$ e $H_{2n}$.

Principais Contribuições e Resultados

1. Somas Harmônicas Generalizadas (Teorema 2.1):
   O artigo estabelece uma identidade geral para somas da forma $\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} H_{k+m}$. Este resultado é válido para $m$ complexo (excluindo inteiros não positivos e $-3/2$).

   • Corolário 2.2 & 2.4: Ao definir valores específicos para $m$, os autores derivam novas expressões de forma fechada para:
     $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_k \quad \text{e} \quad \sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} H_{2k}$$
     Estas são apresentadas como resultados potencialmente novos, distintos de identidades anteriormente conhecidas para números harmônicos ímpares.

2. Soluções Recursivas para Somas de Potência (Teoremas 3.1 & 3.3):
   Os autores definem duas classes de somas:

   • $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$
     Eles derivam fórmulas recursivas que expressam $U_d(n)$ e $V_d(n)$ em termos de somas de ordem inferior ($U_{d-j}$ e $V_{d-j}$) e termos de contorno. Formas fechadas explícitas são fornecidas para $d=1, 2, 3$.
   • Observação: O artigo nota que $V_d(n)$ pode ser expressa em uma forma polinomial específica envolvendo $H_n$, um termo constante e um fator normalizador $N(d) = \prod_{j=0}^{d+1} (2j+1)$.

3. Segunda Família de Somas Harmônicas (Teorema 4.1):
   Uma segunda família de identidades é derivada envolvendo o termo $\frac{2^{-2k}}{2k-1}$. O Teorema 4.1 fornece uma fórmula geral para somas envolvendo $\binom{m+k+1}{k} H_{m+k+1}$. Os corolários fornecem avaliações específicas para casos onde $m=0$ e $m=1$, relacionando estas somas a $H_{n+1}$ e $H_{n+2}$.

4. Somas Envolvendo Números Harmônicos ao Quadrado (Teorema 5.1):
   O artigo investiga somas envolvendo $H_k^2 - H_k^{(2)}$ (onde $H_k^{(2)} = \sum_{j=1}^k j^{-2}$). Ao diferenciar a identidade no Teorema 2.1 duas vezes (ou utilizar a derivada da função digama), eles derivam uma forma fechada para:
   $$\sum_{k=0}^n \frac{2^{2k}}{\binom{2k}{k}} \binom{m+k}{k} (H_{k+m}^2 - H_{k+m}^{(2)})$$

   • Corolário 5.2: Resultados específicos para $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^2$ e $\sum \frac{2^{2k}}{\binom{2k}{k}} H_k^{(2)}$ são fornecidos.
   • Limitação: Os autores afirmam explicitamente que uma avaliação de forma fechada para a soma residual $\sum_{j=1}^n \frac{2^{2j}}{j^2 \binom{2j}{j}}$ permanece elusiva e não foi encontrada na literatura existente.

Significância e Escopo
O artigo posiciona-se como um acréscimo ao trabalho anterior dos autores [3], estendendo o escopo de identidades conhecidas para coeficientes binomiais centrais para incluir números harmônicos e suas potências. A significância reside em:

• Fornecer novas identidades de forma fechada para somas que misturam coeficientes binomiais centrais com $H_k$ e $H_{2k}$.
• Estabelecer métodos recursivos sistemáticos para computar somas da forma $\sum \frac{2^{2k}}{\binom{2k}{k}} k^d H_k$ para qualquer inteiro positivo $d$.
• Destacar a utilidade do método do operador derivativo na geração de novas identidades combinatórias a partir de outras existentes.

Os autores mantêm um tom modesto, observando que, embora os polinômios derivados $P_d(n)$ e $Q_d(n)$ nas soluções recursivas sejam interessantes, suas propriedades estruturais mais profundas merecem estudos adicionais. Eles também sugerem direções de pesquisas futuras envolvendo funções geradoras com variável $x$ (analogamente ao trabalho de Mansour e Batir/Sofo) para melhor compreender os polinômios associados a essas somas. O artigo não propõe aplicações experimentais, focando estritamente na derivação teórica e avaliação dessas somas combinatórias.