Bernoullital

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

Bernoullitalen är en sekvens av rationella tal som ofta förekommer inom matematiken, främst inom talteori. De betecknas Bn och är för n = 0, 1, 2, ... lika med

1, -1/2, 1/6, 0, -1/30, 0, 1/42, 0, 1/30, 0, 5/66, 0, -691/2730, ...

där täljarna och nämnarna ges av A027641 respektive A027642 i Nätuppslagsverket över heltalssekvenser. Bortsett från att talen är noll för udda n större än två saknas ett enkelt uttryck för det n:te Bernoullitalet.



Innehåll

Historik

Bernoullitalen studerades i Europa först av Jakob Bernoulli (1654-1705) och namngavs därefter av Abraham de Moivre (1667-1754). De upptäcktes oberoende, och kanske ännu tidigare, av Seki Shinsuke Kowa (1637-1708).

Bernoullitalen har även en liten roll i datorernas historia, då Ada Lovelace 1842 beskrev en algoritm för att beräkna Bernoullital med den analytiska maskinen. Därmed var Bernoullitalen ämnet för ett av de första datorprogrammen någonsin.

Det största Bernoullital som beräknats år 2005 var B5000000. Nämnaren innehåller 27332507 siffror.

Förekomst i serier

Bernoullitalen kan definieras med den genererande funktionen

\frac{x}{e^x-1} = \sum_{n=0}^{\infin} B_n \frac{x^n}{n!}.

De förekommer i många andra Taylorserier, exempelvis för tangensfunktionen

\tan x = \sum^{\infin}_{n=1} \frac{B_{2n} (-4)^n (1-4^n)}{(2n)!} x^{2n-1}

samt för den hyperboliska tangensfunktionen

\tanh x = \sum^{\infin}_{n=1} \frac{B_{2n} 4^n (4^n-1)}{(2n)!} x^{2n-1}.

Bernoullitalen är en viktig komponent i Euler-Maclaurins formel

\frac{f\left( 0\right) +f\left( n\right) }{2}+\sum_{k=1}^{n-1}f\left(
k\right) - \int_0^n f(x) dx =\sum_{k=1}^\infty\frac{B_{2k}}{(2k)!}\left(f^{(2k-1)}(n)-f^{(2k-1)}(0)\right)

som används för att omvandla svåra integraler till mer lätthanterliga summor, eller omvänt att omvandla långsamt konvergerande serier till integraler. Bernoullitalen figurerar som en följd i otaliga serier som kan härledas med hjälp av Euler-Maclaurins formel, exempelvis den utökade versionen av Stirlings formel för gammafunktionen samt ett flertal formler för Eulers konstant.

Följande resonemang av Adrien-Marie Legendre kan användas för att motivera Bernoullitalens förekomst i Euler-Maclaurins formel: Differensoperatorn Δ kan skrivas

Δ = eDI,

där D är differentialoperatorn och I är identitetsoperatorn. Eftersom summationsoperatorn Σ är invers till differensoperatorn gäller att

\Sigma = \Delta^{-1} = \frac1{e^D - I}.

Högerledet är väsentligen Bernoullitalens genererande funktion, och därmed är

\Sigma = \frac1D \sum_{n=0}^{\infin} B_n \frac{D^n}{n!} = \frac1D -\frac12 I + \frac16 D + \cdots 
= \int - \frac12 I + \frac16 D + \cdots.

En fullständig härledning är dock omständligare.

Samband med Riemanns zeta-funktion

Bernoullitalen är intimt sammanbundna med Riemanns zeta-funktion, ζ. Likheten

B_{2k}=2(-1)^{k+1}\frac {\zeta(2k)\; (2k)!} {(2\pi)^{2k}}

innebär att zeta-funktionen av ett positivt jämnt heltal kan uttryckas på sluten form med hjälp av Bernoullitalen, eller omvänt att Bernoullitalen kan uttryckas på sluten form i termer av zeta-funktionen. Leonhard Euler upptäckte formeln som en mer generell version av hans ursprungliga lösning till Baselproblemet.

På liknande sätt sammanbinder formeln

B_n = -n \, \zeta(1-n),

där n > 1, Bernoullitalen med zetafunktionen för negativa heltalsargument.

Tillväxthastighet

Logaritmisk graf över absolutvärdet på B2k (blå) jämfört med uppskattningen 4√(πk)(k/(π e))2k (röd).

Eulers formel gör det möjligt att beräkna Bernoullitalen numeriskt med hjälp av serien för zeta-funktionen,

B_{2k}=2(-1)^{k+1} \frac{(2k)!}{(2\pi)^{2k}} \left(1 + \frac{1}{2^{2k}} + \frac{1}{3^{2k}} + \cdots \right).

Eftersom ζ(s) snabbt går mot 1 då s växer, utgör

B_{2k} \approx 2(-1)^{k+1} \frac{(2k)!}{(2\pi)^{2k}} \approx (-1)^{k-1} 4 \sqrt{\pi k} \left( \frac{k}{\pi e} \right)^{2k},

där fakulteten ersatts med Stirlings formel i högerledet, en mycket god uppskattning av Bernoullitalens storlek för jämna index.

Talteoretiska egenskaper

De enda kända Bernoullital vars täljare är primtal är Bn för n = 10, 12, 14, 16, 18, 36, och 42 (talföljd A092132 i OEIS), med täljarna 5, -691, 7, -3617, 43867, -26315271553053477373, och 1520097643918070802691 (talföljd A092133 i OEIS).

Ett reguljärt primtal är ett primtal p som inte delar någon av täljarna i B2, B4, ..., Bp-3. Ernst Kummer visade 1850 att Fermats stora sats uppfylls för exponenter som är reguljära primtal. Johann Ludwig Jensen visade 1915 att antalet icke reguljära primtal är oändligt, men motsvarande resultat för de reguljära primtalen saknas.

Von Staudt-Clausens sats

Karl von Staudt (1798–1867) och Thomas Clausen (1801–1885) upptäckte oberoende av varandra att Bernoullitalen uppfyller

B_n = A_n - \sum_{(p_k-1)|n} \frac{1}{p_k}

där An är ett heltal och pk det k:te primtalet. Med andra ord ges det n:te Bernoullitalet av ett heltal plus en summa över inversen till alla primtal pk sådana att pk-1 delar n. Av von Staudt-Clausens sats följer omedelbart att alla Bernoullitalens nämnare är kvadratfria och delbara med 6.

En viktig tillämpning av von Staudt-Clausens sats är beräkningen av mycket stora Bernoullital. Genom att bestämma täljaren exakt med ovanstående formel och beräkna Bn numeriskt med hög noggrannhet kan även det exakta värdet för Bn fastställas, genom att avrunda det erhållna numeriska värdet för An till närmaste heltal.

Kombinatoriska identiteter

Bernoullitalen uppfyller en mängd rekursiva samband innehållande binomialkoefficienter, exempelvis

\sum_{k=0}^m{m+1\choose{k}}B_k = 0

med begynnelsevärdet B0 = 1, vilket kan utnyttjas för att beräkna små Bernoullital (i praktiken upp till exempelvis B1000).

Srinivasa Ramanujan upptäckte även att

{{n+3}\choose{n}} B_n = -\left[ \sum_{k=1}^{\lfloor n/6 \rfloor}{n+3\choose{n-6k}}B_{n-6k} \right] + \begin{cases} {{n+3}\over3}, & n\equiv 0\,\bmod\,6 \\ {{n+3}\over3}, & n\equiv 2\,\bmod\,6 \\ -{{n+3}\over6}, & n\equiv 4\,\bmod\,6 \end{cases}

vilket kan utnyttjas för att snabba upp beräkningen av det n:te Bernoullitalet, då det räcker att först beräkna Bk för k < n som är kongruenta med n (mod 6).

Ytterligare identiteter på liknande form är

\sum_{k=0}^n {{6n+3} \choose {6k}} B_{6k} = 2n+1

och

\sum_{k=0}^n {{6n+5} \choose {6k+2}} B_{6k+2} = \frac{6n+5}{3}.

Generaliseringar och relaterade sekvenser

Referenser

Litteratur

Noter


Externa länkar

Personliga verktyg