A New Expression for the Bernoulli Numbers and its Applications

Resumo Técnico: Uma Nova Expressão para os Números de Bernoulli e Suas Aplicações

Enunciado do Problema
O artigo aborda o problema de encontrar expressões de forma fechada para convoluções discretas finitas envolvendo números de Stirling de ambos os tipos e números harmônicos. Embora fórmulas explícitas para os números de Bernoulli ($B_n$) sejam bem estabelecidas (por exemplo, a identidade de Worpitzky e suas generalizações), os autores investigam a soma específica:
$$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k$$
onde $\left\{ \begin{matrix} n \\ k \end{matrix} \right\}$ e $\left[ \begin{matrix} k \\ j \end{matrix} \right]$ denotam os números de Stirling de segunda e primeira espécie, respectivamente, e $H_k$ é o $k$-ésimo número harmônico. Trabalhos anteriores de Mező e Merca estenderam identidades envolvendo números de Stirling para polinômios de Bernoulli, e artigos recentes introduziram casos específicos envolvendo números harmônicos. Este trabalho busca generalizar esses achados em uma fórmula unificada.

Metodologia
Os autores empregam uma combinação de funções geradoras, relações de recorrência e identidades combinatórias.

1. Derivação Combinatória: A prova do teorema principal baseia-se nas relações de recorrência padrão para os números de Stirling de primeira e segunda espécie. Ao definir a soma como $B_{n,j}$ e aplicar essas recorrências, os autores derivam uma fórmula de redução que relaciona $B_{n+1,j}$ a $B_{n,j-1}$ e um termo envolvendo coeficientes binomiais e números de Bernoulli.
2. Funções Geradoras: Para estabelecer aplicações, os autores utilizam as funções geradoras para números de Stirling, números harmônicos e polinômios poli-Bernoulli. Especificamente, eles manipulam a função geradora dos números de Stirling de segunda espécie para avaliar somas envolvendo $H_k$.
3. Diferenciação e Integração: A derivação da fórmula da soma cumulativa envolve diferenciar a identidade principal em relação a uma variável $x$ e integrar formas específicas para relacionar as somas aos polinômios poli-Bernoulli e números de Cauchy.
4. Aritmética Modular: Os resultados de congruência são derivados substituindo um primo ímpar $p$ nas fórmulas derivadas e aplicando teoremas conhecidos sobre números de Stirling módulo $p$ (por exemplo, $\left\{ \begin{matrix} p \\ k \end{matrix} \right\} \equiv 0 \pmod p$ para $1 < k < p$), o teorema de Babbage e o teorema de von Staudt-Clausen.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1): O artigo estabelece uma nova fórmula explícita para a referida convolução:
  $$\sum_{k=j}^{n} (-1)^{k-j} \left\{ \begin{matrix} n \\ k \end{matrix} \right\} \left[ \begin{matrix} k \\ j \end{matrix} \right] H_k = \left( \binom{n}{j} - 1 \right) \frac{B_{n-j}}{n-j}$$
  para inteiros $0 \le j \le n$. Os autores observam que para $j=1$ e $j=2$, isso recupera identidades conhecidamente estabelecidas envolvendo $B_{n-1}$ e $B_{n-2}$.

• Relações de Recorrência:

  • Os autores reprovam uma relação de recorrência linear para números de Bernoulli previamente dada por Agoh.
  • Uma nova relação de recorrência é derivada:
    $$\sum_{j=1}^{n} \left( \binom{n}{j} + 1 \right) \frac{B_j}{j} (1 - 2^j) = 1$$

• Fórmula da Soma Cumulativa: Uma fórmula fechada para a soma cumulativa dos números de Bernoulli é apresentada, ligando-os aos números de Bernoulli, números di-Bernoulli ($B_n^{(2)}$) e polinômios di-Bernoulli avaliados em $x=1$:
  $$\sum_{j=0}^{n} B_j = B_n^{(2)}(1) + B_n - B_n^{(2)} - 1$$

• Congruências: O artigo estabelece diversas congruências para somas de números de Bernoulli e Euler módulo um primo ímpar $p$ e seu quadrado:

  • $\sum_{j=0}^{p} p B_j \equiv -1 \pmod p$
  • $\sum_{j=0}^{p-3} B_j \equiv -1 \pmod p$ (para $p \ge 5$)
  • $\sum_{j=0}^{p} E_j \equiv \frac{3}{2} \pmod p$
  • $\sum_{j=0}^{p} \frac{p B_j}{p-j+1} \equiv -1 \pmod p$

Significância e Alegações
O artigo alega que a principal significância deste trabalho reside na unificação de várias identidades conhecidas em uma única expressão geral (Teorema 1) envolvendo números de Stirling e números harmônicos. Os autores afirmam que esta expressão serve como uma ferramenta poderosa para:

1. Reprovar resultados existentes (como a recorrência de Agoh) através de uma lente metodológica diferente.
2. Derivar novas relações de recorrência e fórmulas fechadas para somas cumulativas que não estavam anteriormente disponíveis nesta forma específica.
3. Fornecer uma abordagem sistemática para estabelecer congruências para somas de números de Bernoulli e Euler, estendendo a compreensão de suas propriedades modulares.

O trabalho não propõe aplicações experimentais ou direções teóricas futuras além das derivações matemáticas imediatas apresentadas. As contribuições estão estritamente confinadas ao domínio da teoria dos números e combinatória, focando especificamente nas propriedades dos números de Bernoulli, Euler e números relacionados.