A New Expression for the Bernoulli Numbers and its Applications

Technische Samenvatting: Een nieuwe uitdrukking voor de Bernoulli-getallen en de toepassingen ervan

Probleemstelling
Het artikel behandelt het probleem van het vinden van gesloten vorm-uitdrukkingen voor eindige discrete convoluties met Stirling-getallen van beide soorten en harmonische getallen. Hoewel expliciete formules voor Bernoulli-getallen ($B_n$) goed gevestigd zijn (bijv. Worpitzky's identiteit en zijn generalisaties), onderzoeken de auteurs de specifieke som:
$$\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$$
waarbij $\left\{ \begin{matrix} n \\ k \end{matrix} \right\}$ en $\left[ \begin{matrix} k \\ j \end{matrix} \right]$ respectievelijk Stirling-getallen van de tweede en eerste soort zijn, en $H_k$ het $k$-de harmonische getal is. Eerdere werken door Mező en Merca hadden identiteiten met Stirling-getallen uitgebreid naar Bernoulli-polynomen, en recente artikelen introduceerden specifieke gevallen met harmonische getallen. Dit werk beoogt deze bevindingen te generaliseren in een verenigde formule.

Methodologie
De auteurs maken gebruik van een combinatie van genererende functies, recursierelaties en combinatorische identiteiten.

1. Combinatorische Afleiding: Het bewijs van de hoofdstelling berust op de standaard recursierelaties voor Stirling-getallen van de eerste en tweede soort. Door de som als $B_{n,j}$ te definiëren en deze recursies toe te passen, leiden de auteurs een reductieformule af die $B_{n+1,j}$ relateert aan $B_{n,j-1}$ en een term die een binomiale coëfficiënt en Bernoulli-getallen bevat.
2. Genererende Functies: Om toepassingen vast te stellen, maken de auteurs gebruik van de genererende functies voor Stirling-getallen, harmonische getallen en poly-Bernoulli-polynomen. Specifiek manipuleren zij de genererende functie van de Stirling-getallen van de tweede soort om sommen met $H_k$ te evalueren.
3. Differentiatie en Integratie: De afleiding van de cumulatieve somformule geschiedt door de hoofdidentiteit te differentiëren met betrekking tot een variabele $x$ en specifieke vormen te integreren om de sommen te relateren aan poly-Bernoulli-polynomen en Cauchy-getallen.
4. Modulaire Rekenkunde: De congruentieresultaten worden afgeleid door een onzuivere priem $p$ in de afgeleide formules in te vullen en bekende stellingen over Stirling-getallen modulo $p$ toe te passen (bijv. $\left\{ \begin{matrix} p \\ k \end{matrix} \right\} \equiv 0 \pmod p$ voor $1 < k < p$), Babbage's stelling en de von Staudt-Clausen stelling.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Stelling 1): Het artikel stelt een nieuwe expliciete formule vast voor de bovengenoemde convolutie:
  $$\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}$$
  voor gehele getallen $0 \le j \le n$. De auteurs merken op dat voor $j=1$ en $j=2$, dit eerder bekende identiteiten herstelt die betrokken zijn bij $B_{n-1}$ en $B_{n-2}$.

• Recursierelaties:

  • De auteurs bewijzen opnieuw een lineaire recursierelatie voor Bernoulli-getallen die eerder door Agoh is gegeven.
  • Een nieuwe recursierelatie wordt afgeleid:
    $$\sum_{j=1}^{n} \left( \binom{n}{j} + 1 \right) \frac{B_j}{j} (1 - 2^j) = 1$$

• Cumulatieve Somformule: Een gesloten formule voor de cumulatieve som van Bernoulli-getallen wordt gepresenteerd, die deze linkt aan Bernoulli-getallen, di-Bernoulli-getallen ($B_n^{(2)}$) en di-Bernoulli-polynomen geëvalueerd bij $x=1$:
  $$\sum_{j=0}^{n} B_j = B_n^{(2)}(1) + B_n - B_n^{(2)} - 1$$

• Congruenties: Het artikel stelt verschillende congruenties vast voor sommen van Bernoulli- en Euler-getallen modulo een onzuivere priem $p$ en de kwadraat daarvan:

  • $\sum_{j=0}^{p} p B_j \equiv -1 \pmod p$
  • $\sum_{j=0}^{p-3} B_j \equiv -1 \pmod p$ (voor $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$

Betekenis en Claims
Het artikel claimt dat de primaire betekenis van dit werk ligt in de unificatie van diverse bekende identiteiten in één enkele, algemene uitdrukking (Stelling 1) met betrekking tot Stirling-getallen en harmonische getallen. De auteurs stellen dat deze uitdrukking dient als een krachtig instrument om:

1. Bestaande resultaten (zoals de recursie van Agoh) te herbewijzen via een andere methodologische lens.
2. Nieuwe recursierelaties en gesloten formules voor cumulatieve sommen af te leiden die niet eerder in deze specifieke vorm beschikbaar waren.
3. Een systematische aanpak te bieden voor het vaststellen van congruenties voor sommen van Bernoulli- en Euler-getallen, waarmee het begrip van hun modulaire eigenschappen wordt uitgebreid.

Het werk stelt geen experimentele toepassingen of toekomstige theoretische richtingen voor buiten de direct gepresenteerde wiskundige afleidingen. De bijdragen zijn strikt beperkt tot het domein van de getaltheorie en combinatoriek, specifiek gericht op de eigenschappen van Bernoulli-, Euler- en verwante speciale getallen.