A New Expression for the Bernoulli Numbers and its Applications

Resumen Técnico: Una Nueva Expresión para los Números de Bernoulli y sus Aplicaciones

Planteamiento del Problema
El artículo aborda el problema de encontrar expresiones de forma cerrada para convoluciones discretas finitas que involucran números de Stirling tanto de la primera como de la segunda clase y números armónicos. Si bien las fórmulas explícitas para los números de Bernoulli ($B_n$) están bien establecidas (por ejemplo, la identidad de Worpitzky y sus generalizaciones), los autores investigan la suma 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$$
donde $\left\{ \begin{matrix} n \\ k \end{matrix} \right\}$ y $\left[ \begin{matrix} k \\ j \end{matrix} \right]$ denotan los números de Stirling de la segunda y primera clase, respectivamente, y $H_k$ es el $k$-ésimo número armónico. Trabajos previos de Mező y Merca habían extendido las identidades que involucran números de Stirling a los polinomios de Bernoulli, y artículos recientes introdujeron casos específicos que involucran números armónicos. Este trabajo busca generalizar estos hallazgos en una fórmula unificada.

Metodología
Los autores emplean una combinación de funciones generatrices, relaciones de recurrencia e identidades combinatorias.

1. Derivación Combinatoria: La demostración del teorema principal se basa en las relaciones de recurrencia estándar de los números de Stirling de la primera y segunda clase. Al definir la suma como $B_{n,j}$ y aplicar estas recurrencias, los autores derivan una fórmula de reducción que relaciona $B_{n+1,j}$ con $B_{n,j-1}$ y un término que involucra coeficientes binomiales y números de Bernoulli.
2. Funciones Generatrices: Para establecer las aplicaciones, los autores utilizan las funciones generatrices de los números de Stirling, los números armónicos y los polinomios poli-Bernoulli. Específicamente, manipulan la función generatriz de los números de Stirling de la segunda clase para evaluar sumas que involucran $H_k$.
3. Diferenciación e Integración: La derivación de la fórmula de la suma acumulada implica diferenciar la identidad principal con respecto a una variable $x$ e integrar formas específicas para relacionar las sumas con los polinomios poli-Bernoulli y los números de Cauchy.
4. Aritmética Modular: Los resultados de congruencia se derivan sustituyendo un primo impar $p$ en las fórmulas obtenidas y aplicando teoremas conocidos sobre los números de Stirling módulo $p$ (por ejemplo, $\left\{ \begin{matrix} p \\ k \end{matrix} \right\} \equiv 0 \pmod p$ para $1 < k < p$), el teorema de Babbage y el teorema de von Staudt-Clausen.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1): El artículo establece una nueva fórmula explícita para la convolución mencionada:
  $$\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 enteros $0 \le j \le n$. Los autores señalan que para $j=1$ y $j=2$, esto recupera identidades previamente conocidas que involucran $B_{n-1}$ y $B_{n-2}$.

• Relaciones de Recurrencia:

  • Los autores reprueban una relación de recurrencia lineal para los números de Bernoulli dada previamente por Agoh.
  • Se deriva una nueva relación de recurrencia:
    $$\sum_{j=1}^{n} \left( \binom{n}{j} + 1 \right) \frac{B_j}{j} (1 - 2^j) = 1$$

• Fórmula de Suma Acumulada: Se presenta una fórmula cerrada para la suma acumulada de los números de Bernoulli, vinculándolos con los números di-Bernoulli ($B_n^{(2)}$) y los polinomios di-Bernoulli evaluados en $x=1$:
  $$\sum_{j=0}^{n} B_j = B_n^{(2)}(1) + B_n - B_n^{(2)} - 1$$

• Congruencias: El artículo establece varias congruencias para sumas de números de Bernoulli y Euler módulo un primo impar $p$ y su cuadrado:

  • $\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$

Significancia y Reivindicaciones
El artículo sostiene que la principal significancia de este trabajo radica en la unificación de diversas identidades conocidas en una única expresión general (Teorema 1) que involucra números de Stirling y números armónicos. Los autores afirman que esta expresión sirve como una herramienta poderosa para:

1. Repruebar resultados existentes (como la recurrencia de Agoh) a través de un enfoque metodológico diferente.
2. Derivar nuevas relaciones de recurrencia y fórmulas cerradas para sumas acumuladas que no estaban disponibles previamente en esta forma específica.
3. Proporcionar un enfoque sistemático para establecer congruencias para sumas de números de Bernoulli y Euler, extendiendo la comprensión de sus propiedades modulares.

El trabajo no propone aplicaciones experimentales ni direcciones teóricas futuras más allá de las derivaciones matemáticas inmediatas presentadas. Las contribuciones se limitan estrictamente al ámbito de la teoría de números y la combinatoria, centrándose específicamente en las propiedades de los números especiales de Bernoulli, Euler y relacionados.