Harmonijski red (matematika)

U matematici, harmonijski red je beskonačni red



Njegovo ime potiče iz koncepta harmonika, u muzici: talasne dužine harmonika vibrirajuće žice su 1/2, 1/3, 1/4, itd., osnovne talasne dužine. Svaki član reda nakon prvog je harmonijska sredina susjednih članova.

 Divergencija harmonijskog reda 

Harmonijski red divergira u beskonačnost, iako to radi prilično sporo (suma prvih 1043 članova iznosi manje od 100). Jedan od načina da dokažemo ovu divergenciju je da uočimo da je harmonijski red član po član veći ili jednak drugom divergentnom redu:



Suma beskonačno mnogo  očito divergira u beskonačnost, što znači da i harmonijski red divergira. Preciznije, ako je  2k-ta parcijalna suma harmonijskog reda, tada je



što očito divergira, ali sporo (po logaritamskom pravilu). Ovaj dokaz, zahvaljujući Nicoleu Oresmeu, je vrhunac srednjovijekovne matematike. Ovo je još uvijek standardni dokaz koji se i danas obrađuje na časovima matematike .

Drugi dokaz koristi Cauchyjev integralni test konvergencije, koji poredi harmonisjki red sa (divergentnim) integralom  u granicama od 1 do beskonačnosti.

Čak i suma recipročnih prostih brojeva divergira u beskonačnost, iako to čini sporije; poznati dokazi ove činjenice su mnogo teži.

 Konvergencija alternativnog harmonijskog reda 

desno|mini|240px|Prvih četrnaest parcijalnih suma alternativnog harmonijskog reda (segmenti srnih linija) prikazani kako konvergiraju prema prirodnom logaritmu od 2 (crvena linija).

Alternativni harmonijski red konvergira:



Ova jednakost posljedica je Mercatorovog reda, Taylorovog reda za prirodni logaritam.
Druga jednakost, slična po formi Mercatorovom redu, je:

Ovo je posljedica predstavljanja Taylorovog reda funkcije tangensa (koja ima radijus konvergencije 1).

 Parcijalne sume 

ntta parcijalna suma divergentnog harmonijskog reda,


naziva se n-ti harmonijski broj.

Razlika između n-tog harmonijskog borja i prirodnog logaritma od n konvergira u vrijednost Euler-Mascheroniove konstante.

Razlika između različitih harmonijskih brojava nikada nije cijeli broj.

Jeffrey Lagarias je, 2001. godine, dokazao da je Riemannova hipoteza logički jednaka iskazu

gdje σ(n) označava pozitivne djelioce broja n.An Elementary Problem Equivalent to the Riemann Hypothesis,  American Mathematical Monthly, volume 109 (2002), pages 534--543.

 Opći harmonijski red 

Opći harmonijski red je red u obliku

Svi opći harmonijski redovi divergiraju.

 p-red

p-red je red oblika

za svaki pozitivan realan broj p. Red je uvijek konvergentan ako je p > 1 (u tom slučaju naziva se hiperharmonijski red), dok je divergentan u ostalim slučajevima. Za slučaj p = 1, red postaje harmonijski red. Ako je p > 1 tada je suma red ζ(p), npr., Riemannova zeta-funkcija izračunata u p.

 Slučajni harmonijski red 

Byron Schmuland sa Univerziteta u Alberti ispitao je"Random Harmonic Series", American Mathematical Monthly 110, 407-416, May 2003 osobine slučajnog harmonijskog reda

gdje su sn nezavisne, identično raspoređene slučajne promjenljive koje imaju vrijednost +1 i −1, sa jednakom vjerovatnoćom od . Pokazao je da ova suma konvergira sa vjerovatnoćom 1, te da je konvergentna slučajna promjeljiva sa nekim interesantnim osobinama. Na primjer, funkcija gustine ove slučajne varijable je izračunata da na +2 ili na −2 ima vrijednost 0,124 999 999 999 999 999 999 999 999 999 999 999 999 999 7642 ..., razlikujući se od  za manje od 10−42. Schmulandov rad objašnjava zašto je ova vjerovatnoća blizu, ali ne iznosi tačno .

 "Iscrpljeni" harmonijski red 

Za "iscrpljeni" harmonijski red, gdje su svi članovi sa brojem 9 u nazivniku uklonjeni, može se pokazati da konvergira, te da je njegova vrijednost manja od 80. U stvari, kada se bilo koji član, koji sadrži neki niz brojeva, ukljoni, red opet konvergira.

 Također pogledajte 

 Kompleksni logaritam
 Harmonijski brojnumber
 Riemannova zeta-funkcija
 Mnogo dokaza divergencije harmonijskih redova : "The Harmonic Series Diverges Again and Again", The AMATYC Review, 27 (2006), str. 31-43.

 Reference

Kategorija:Divergentni redovi
Kategorija:Matematički redovi