Bernoullin luku

Bernoullin luvut ovat rationaalilukujono, jolla on suuri merkitys lukuteoriassa. Ensimmäiset Bernoullin luvut ovat:

$B_0=1,B_1=\pm 1/2,B_2=1/6,B_3=0,B_4=-1/30,B_5=0,B_6=1/42.$

On kaksi eri tapaa määritellä Bernoullin luvut. Määritelmät eroavat vain luvun B₁ kohdalla: B₁ on joko -Malline:Murtoluku tai Malline:Murtoluku. Ensimmäisessä tapauksessa on kysymyksessä ensimmäiset Bernoullin luvut ja jälkimmäisessä toiset Bernoullin luvut. Koska Bernoullin luvut, joiden indeksi on pariton ja suurempi kuin 1 ovat nollia, käsitellään monesti vain lukuja B_2n, joita joissakin teksteissä merkitään harhaanjohtavasti B_n, kun itse asiassa tarkoitetaan lukua B_2n. Tämä voi johtaa sekaannuksiin; mikäli on tarpeellista käyttää vain lukuja B_2n, voi käyttää vaihtoehtoista merkintää $B_n^{*}=B_{2n}$.

Bernoullin luvut esiintyvät tangenttifunktion ja hyperbolisen tangenttifunktion Taylorin sarjakehitelmässä, n:n ensimmäisen kokonaisluvun potenssisummien kaavoissa, Eulerin-Maclaurinin kaavassa ja eräiden Riemannin zeta-funktion arvojen lausekkeissa.

Ne on nimetty 1600-luvulla eläneen kehittäjänsä Jakob Bernoullin mukaan.

Historia

Bernoullin lukujen keksiminen juontaa juurensa ongelmaan kokonaislukupotenssien summan laskemisesta, mikä on kiinnostanut matemaatikkoja antiikin ajoista lähtien.

Aluksi tunnettiin tapoja laskea n:n ensimmäisen kokonaisluvun, n:n ensimmäisen neliön ja n:n ensimmäisen kuutioluvun summa, mutta ei varsinaisia kaavoja, vain puhtaasti sanallisia kuvauksia. Varhaisista matemaatikoista tätä ongelmaa ovat miettineet ainakin Pythagoras, Arkhimedes, Aryabhata, Abu Bakr al-Karajidi ja Abu Ali al-Hasan ibn al-Hasan ibn al-Haytham.

Thomas Harriot (n. 1560–1621) on ilmeisesti ensimmäinen, joka johti ja kirjoitti kaavat symbolisessa muodossa, mutta hän etsi kaavat vain neljänsien potenssien summaan asti. Vuonna 1631 julkaistussa Academia Algebraessa Johann Faulhaber esitti kaavat potenssien summille polynomimuodossa aina 17. potenssiin asti ja mainitsi etsineensä kaavat 25. potenssiin asti. Nämäkin kaavat ovat teoksessa, tosin salakirjoitusmuodossa. Donald E. Knuth arvelee olevansa ensimmäinen, joka ratkaisi Faulhaberin koodin ja sanoo kaavojen olleen oikein 23. potenssiin asti. Kuitenkaan Faulhaberkaan ei keksinyt yleistä sääntöä.

Jakob Bernoullin Summae Potestatum, 1713

Sveitsiläinen matemaatikko Jakob Bernoulli (1654-1705) oli ensimmäinen, joka huomasi yksittäisen lukujonon, joka tarjoaisi tavan muodostaa yleisen kaavan potenssisummille. Ensimmäinen julkaisu Bernoullin luvuista on Bernoullin hänen kuolemansa jälkeen, vuonna 1713 julkaistussa Ars Conjectandissa.

Kuvan otteessa kirjasta näkyy sivun alemmassa puoliskossa Bernoullin löytämä kaava. Siinä käytetyt merkinnät kuitenkin poikkeavat useissa kohdissa nykyisistä. Niinpä Bernoulli käyttää merkintöjä A, B C ja D modernin merkintätavan mukaisista luvuista B₂, B₄, B₆ ja B₈. Lausekkeessa c·c−1·c−2·c−3 esiintyvät pisteet ovat erottamassa kertolaskun termejä c, c-1, c-2 ja c-3; nykyisin se kirjoitettaisiin c·(c−1)·(c−2)·(c−3). Modernia termejä käyttäen kyseessä on siis laskeva kertoma, jolle käytetään myös merkintää $c^{\underset{\_}{k-1}}$. Myöskään kertomamerkintää ei vielä tuolloin käytetty. Integraalin merkki on peräisin Leibniziltä, joka käytti sitä merkitsemään summaa. Oheisella sivulla Bernoullin käyttämänä esimerkiksi merkintä $\int n^4$ tarkoittaa summaa $1^4+2^4+...+n^4$. Niinpä nykyaikaisin merkinnöin Bernoullin kaava kirjoitettaisiin:

$\sum _{k=1}^n{k}^c=\frac{n^{c+1}}{c+1}+\frac{1}{2}{n}^c+\sum _{k=2}^c\frac{B_k}{k!}{c}^{\underset{\_}{k-1}}{n}^{c-k+1}.$

Tätä voidaan vielä yksinkertaistaa käyttämällä edellä määriteltyjä toisia Bernoullin lukuja, jolloin $B_1=\frac{1}{2}$. Lisäksi voidaan vielä todeta, että laskeva kertoma $c^{\underset{\_}{k-1}}$ saa arvolla k=0 arvon $\frac{1}{c+1}$.</ref>Malline:Kirjaviite</ref> Näin ollen Bernoullin kaava yksinkertaistuu muotoon:

$\sum _{k=1}^n{k}^c=\sum _{k=0}^c\frac{B_k}{k!}{c}^{\underset{\_}{k-1}}{n}^{c-k+1}$

Oheisella Bernoullin teoksen sivulla on kuitenkin virhe: summan $\int n^9$ (eli ${\sum }_{k=1}^n{k}^9$) lausekkeessa viimeisen termin tulisi olla $-\frac{3}{20}{n}^2$, ei $-\frac{1}{12}{n}^2$.

Bernoullin tyytyväisyys nopeaan tapaan määrittää kertoimet n ensimmäisen kokonaisluvun c:nsien potenssien summalle, jokaiselle kokonaisluvulle c näkyy seuraavasta kommentista:

"Tämän taulukon avulla sain laskettua alle puolessa neljännestunnissa, että 1000 ensimmäisen luvun kymmenien potenssien summa on 91409924241424243424241924242500.”

Bernoullin luvut voidaan määritellä generoivan funktion avulla:

$\frac{x}{e^x-1}=\sum _{n=0}^{\mathrm{\infty }}{B}_n\frac{x^n}{n!}.$

Ensimmäiset Bernoullin luvut

Tässä taulukossa on vain Bernoullin luvut B_2n, koska parittomilla indekseillä B_n on 0, lukuun ottamatta lukua B₁, jonka arvo on sopimuksesta riippuen joko -Malline:Murtoluku tai Malline:Murtoluku

Ensimmäiset Bernoullin luvut, joilla on parillinen indeksi

n	Bn
0	1
2	Malline:Sfrac
4	−Malline:Sfrac
6	Malline:Sfrac
8	−Malline:Sfrac
10	Malline:Sfrac
12	−Malline:Sfrac
14	Malline:Sfrac
16	−Malline:Sfrac
18	Malline:Sfrac
20	−Malline:Sfrac
22	Malline:Sfrac
24	−Malline:Sfrac
26	Malline:Sfrac
28	−Malline:Sfrac
30	Malline:Sfrac
32	−Malline:Sfrac
34	Malline:Sfrac
36	−Malline:Sfrac
38	Malline:Sfrac
40	−Malline:Sfrac
42	−Malline:Sfrac
44	−Malline:Sfrac
46	Malline:Sfrac
48	−Malline:Sfrac
50	Malline:Sfrac

Bernoullin luvut ja Riemannin zeta-funktio

Bernoullin luvut Riemannin zeta-funktion avulla.

Bernoullin luvuilla on yhteyksiä Riemannin zeta-funktion arvoihin, Bernoullin luvut voidaan ilmoittaa Riemannin zeta-funktion avulla

$B_n={(-1)}^{n+1}n\zeta (1-n)$

Riemannin zeta-funktion arvot $\zeta (n)$ voidaan ilmoittaa yksinkertaisella lausekkeella Bernoullin lukujen avulla, kun n on negatiivinen kokonaisluku tai parillinen positiivinen kokonaisluku: parillisille positiivisille kokonaisluvuille 2n

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

ja negatiivisille kokonaisluvuille pätee

$\zeta (-n)=-\frac{B_{n+1}}{n+1}$, kun Malline:Nowrap,

Kiinteästä yhteydestä kertoo myös se, että Riemannin hypoteesi voidaan muotoilla uudelleen Bernoullin lukuja käyttäen. Marcel Riesz todisti vuonna 1916 seuraavan hypoteesin olevan yhtäpitävä Riemannin hypoteesin kanssa:

Jokaiselle luvulle ε > 1/4 on olemassa (ε:sta riippuva) vakio C_ε > 0 siten, että |R(x)| < C_ε x^ε kun x → ∞.

Merkintä R(x) tarkoittaa Rieszin funktiota

$R(x)=2\sum _{k=1}^{\mathrm{\infty }}\frac{k^{\bar{k}}{x}^k}{(2\pi {)}^{2k}(B_{2k}/(2k))}=2\sum _{k=1}^{\mathrm{\infty }}\frac{k^{\bar{k}}{x}^k}{(2\pi {)}^{2k}{\beta }_{2k}}.$

Tässä $n^{\bar{k}}$ tarkoittaa nousevaa kertomaa, käyttäen Donald E. Knuthin esittämää merkintää.