Wyrazy szeregu mogą dążyć do zera, a jego suma i tak rośnie bez ograniczeń
W szeregu harmonicznym 1 + 1/2 + 1/3 + 1/4 + … kolejne składniki stają się dowolnie małe i dążą do zera. Mimo to szereg jest rozbieżny: jego sumy częściowe rosną bez ograniczeń. Klasyczny dowód grupuje wyrazy w bloki o długościach 1, 2, 4, 8, …; każdy taki blok od pewnego miejsca wnosi co najmniej 1/2, więc po nieskończenie wielu blokach nie może powstać skończona granica. Warunek an→0 jest zatem konieczny dla zbieżności szeregu ∑an, ale zdecydowanie niewystarczający. To klasyczny przykład, że warunek a_n→0 jest konieczny dla zbieżności szeregu, ale sam w sobie zdecydowanie nie wystarcza.
Małe składniki nie gwarantują małej sumy
Jeśli nieskończony szereg ma mieć skończoną sumę, jego wyrazy muszą dążyć do zera. Gdyby pozostawały większe od pewnej dodatniej wartości, sumy częściowe nie mogłyby się ustabilizować. Łatwo jednak pomylić warunek konieczny z wystarczającym i uznać, że samo an→0 wystarczy. Szereg harmoniczny jest klasycznym kontrprzykładem: 1/n staje się dowolnie małe, ale suma 1+1/2+1/3+… nie ma skończonej granicy.
Dowód przez grupowanie
Zgrupujmy wyrazy: 1, potem 1/2, następnie 1/3+1/4, potem 1/5+…+1/8, dalej osiem kolejnych składników i tak dalej. W bloku od 2^{k-1}+1 do 2^k każdy wyraz jest co najmniej 1/2^k, a jest ich 2^{k-1}. Cały blok wnosi więc co najmniej 1/2. Po każdym kolejnym bloku suma rośnie o co najmniej pół. Liczba bloków nie ma końca, zatem sumy częściowe nie są ograniczone z góry.
Rozbieżność jest bardzo powolna
Paradoks intuicyjny pogłębia tempo wzrostu. Suma pierwszych N wyrazów szeregu harmonicznego rośnie w przybliżeniu jak ln N. Aby zwiększyć sumę o stałą wartość, potrzeba więc coraz większego zwielokrotnienia liczby wyrazów. Szereg może przez bardzo długi czas wyglądać numerycznie jak coś niemal stabilnego, a mimo to ostatecznie przekroczy dowolnie duży próg. Rozbieżność nie musi być gwałtowna.
Porównanie z p-szeregami
Zmiana wykładnika całkowicie zmienia rezultat. Szereg 1+1/2²+1/3²+… jest zbieżny, podobnie jak każdy p-szereg ∑1/n^p dla p>1. Dla p≤1 sytuacja jest inna: przy p=1 mamy szereg harmoniczny, a dla mniejszych dodatnich p wyrazy maleją jeszcze wolniej. To pokazuje, że pytanie o zbieżność zależy od szybkości zanikania składników, a nie od samego faktu, że dążą do zera.
Suma szeregu to granica, nie czynność wykonywana bez końca
Mówiąc o sumie nieskończonego szeregu, nie zakładamy wykonania ostatniego dodawania. Definiujemy sumy częściowe S_N=a1+…+aN i pytamy, czy ciąg S_N ma skończoną granicę przy N→∞. W szeregu harmonicznym taka granica nie istnieje jako liczba skończona, ponieważ S_N rośnie bez ograniczeń. Ta definicja usuwa niejasne wyobrażenie o „dodawaniu nieskończenie wielu rzeczy” i zastępuje je zwykłą teorią granic.
Lekcja ogólna
Szereg harmoniczny jest jednym z najprostszych przykładów pokazujących, że zachowanie pojedynczych wyrazów nie determinuje zachowania ich kumulacji. Niewielkie dodatnie wartości, jeśli zanikają zbyt wolno, mogą nagromadzić się bez ograniczeń. Ta sama idea pojawia się w analizie, teorii prawdopodobieństwa, fizyce matematycznej i badaniu algorytmów. Nieskończoność nie jest tu egzotycznym dodatkiem: to właśnie przejście do granicy ujawnia różnicę między „każdy składnik jest mały” a „całość ma skończony rozmiar”.
Jak szybko naprawdę rosną sumy częściowe
Rozbieżność szeregu harmonicznego jest tak powolna, że łatwo jej nie zauważyć na krótkiej liście składników. Sumy częściowe rosną w przybliżeniu logarytmicznie: aby zwiększyć ich wartość o kolejną stałą porcję, trzeba przejść do coraz większej liczby wyrazów. To właśnie sprawia, że przykład jest tak pouczający. Każdy pojedynczy składnik po pewnym czasie jest mikroskopijny, lecz pojawiają się one bez końca i ich łączny wkład nie daje się zamknąć pod żadnym stałym sufitem. Warunek a_n→0 mówi jedynie, że pojedyncze dopłaty maleją; niczego jeszcze nie gwarantuje o sumie wszystkich przyszłych dopłat. Można zobaczyć rozbieżność bez żadnych zaawansowanych narzędzi. Grupujemy wyrazy po potęgach dwójki: 1/2, potem 1/3+1/4, następnie 1/5+…+1/8 i tak dalej. W drugim bloku każdy z dwóch składników jest co najmniej 1/4, więc blok daje co najmniej 1/2. W następnym są cztery składniki po co najmniej 1/8, znów co najmniej 1/2. Każdy kolejny blok dodaje więc przynajmniej pół, a bloków jest nieskończenie wiele. Dowód pokazuje, dlaczego samo „składniki robią się małe” jest za słabe: jednocześnie liczba składników w kolejnych skalach rośnie na tyle szybko, że ich łączny wkład nie zanika. Ten sam fakt widać przez całkę: pole pod krzywą 1/x od 1 do N wynosi ln N i rośnie bez ograniczeń. Suma 1+1/2+…+1/N zachowuje się podobnie, więc jej powolny wzrost nie zatrzymuje się nigdy. Logarytm rośnie bardzo wolno, ale nie ma skończonej granicy — i dokładnie tak zachowują się sumy częściowe szeregu harmonicznego. To także pokazuje, dlaczego bardzo długie obliczenia numeryczne mogą sprawiać złudne wrażenie stabilizacji: wzrost jest powolny, lecz nieustanny.