Suma szeregu harmonicznego
Szereg harmoniczny jest rozbieżny - jego suma dąży do nieskończoności, mimo że wyrazy dążą do zera
Czym jest szereg harmoniczny?
Szereg harmoniczny to suma odwrotności wszystkich liczb naturalnych: 1 + 1/2 + 1/3 + 1/4 + ... Nazwa pochodzi od teorii muzyki - częstotliwości kolejnych harmonicznych struny są proporcjonalne do 1, 1/2, 1/3, 1/4 itd. długości struny podstawowej.
Szereg harmoniczny jest jednym z najważniejszych przykładów w teorii szeregów. Pomimo że jego wyrazy dążą do zera (lim 1/n = 0), szereg jest rozbieżny. To pokazuje, że warunek konieczny zbieżności (lim aₙ = 0) nie jest warunkiem wystarczającym.
Rozbieżność szeregu harmonicznego została udowodniona przez Nicole Oresme w XIV wieku, co czyni ją jednym z najstarszych wyników w teorii szeregów. Szereg ten rośnie bardzo wolno - potrzeba około 10⁴³ wyrazów, aby suma przekroczyła 100.
Elementy szeregu
Wyraz ogólny szeregu harmonicznego. n-ty wyraz to odwrotność liczby naturalnej n. Wyrazy maleją, ale zbyt wolno.
Liczba harmoniczna - suma n pierwszych wyrazów szeregu. Hₙ = 1 + 1/2 + 1/3 + ... + 1/n. Rośnie logarytmicznie.
Logarytm naturalny - funkcja, do której przybliża się Hₙ. Dla dużych n: Hₙ ≈ ln(n) + γ.
Stała Eulera-Mascheroniego. Granica różnicy Hₙ - ln(n) przy n dążącym do nieskończoności.
Dowód rozbieżności
Klasyczny dowód rozbieżności szeregu harmonicznego pochodzi od Nicole Oresme. Grupujemy wyrazy szeregu tak, aby każda grupa miała sumę większą lub równą 1/2:
Oszacowania dla grup:
- Grupa 1: 1/3 + 1/4 > 1/4 + 1/4 = 1/2
- Grupa 2: 1/5 + 1/6 + 1/7 + 1/8 > 4 · (1/8) = 1/2
- Grupa k: 2ᵏ⁻¹ wyrazów, każdy >= 1/2ᵏ, suma >= 1/2
Ponieważ suma nieskończenie wielu połówek jest nieskończona, szereg harmoniczny jest rozbieżny.
Wizualizacja
Poniższy wykres pokazuje wzrost sum częściowych Hₙ szeregu harmonicznego w porównaniu z funkcją ln(n). Sumy częściowe rosną bez ograniczeń, ale bardzo wolno.
Suma częściowa szeregu harmonicznego
Przybliżenie asymptotyczne (γ ≈ 0.5772)
Sumy częściowe
Liczby harmoniczne Hₙ rosną bardzo wolno. Oto kilka wartości:
Asymptotycznie suma częściowa przybliża się wzorem:
gdzie γ ≈ 0.5772156649 to stała Eulera-Mascheroniego. Aby Hₙ przekroczyło 10, potrzeba n ≈ 12367 wyrazów. Aby przekroczyło 100, potrzeba n ≈ 10⁴³ wyrazów!
Znaczenie szeregu harmonicznego
- Teoria szeregów - klasyczny przykład rozbieżnego szeregu z wyrazami dążącymi do zera
- Analiza algorytmów - złożoność wielu algorytmów (np. QuickSort) zawiera Hₙ
- Prawdopodobieństwo - problem kolekcjonera kuponów, oczekiwana liczba prób
- Teoria liczb - związki z funkcją dzeta Riemanna: ζ(1) = "nieskończoność"
- Fizyka - pojawia się w elektrodynamice i mechanice kwantowej
- Muzyka - harmoniczne dźwięku odpowiadają częstotliwościom 1, 1/2, 1/3, ... podstawowej
Przykłady obliczeniowe
Przykład 1: Obliczenie sumy częściowej H₅
Zadanie: Oblicz sumę pięciu pierwszych wyrazów szeregu harmonicznego.
Rozwiązanie:
Odpowiedź: H₅ = 137/60 ≈ 2.283
Przykład 2: Oszacowanie H₁₀₀ za pomocą wzoru asymptotycznego
Zadanie: Oszacuj wartość H₁₀₀ używając wzoru Hₙ ≈ ln(n) + γ.
Rozwiązanie:
Wartość dokładna to H₁₀₀ ≈ 5.1874. Błąd przybliżenia wynosi około 0.1%.
Odpowiedź: H₁₀₀ ≈ 5.18
Przykład 3: Ile wyrazów potrzeba, aby suma przekroczyła 5?
Zadanie: Znajdź najmniejsze n takie, że Hₙ > 5.
Rozwiązanie:
Korzystamy z przybliżenia: Hₙ ≈ ln(n) + γ > 5
Sprawdzamy: H₈₂ ≈ 4.990, H₈₃ ≈ 5.002. Potrzebujemy n = 83.
Odpowiedź: Potrzeba 83 wyrazów, aby suma przekroczyła 5.
Przykład 4: Szereg naprzemienny harmoniczny
Zadanie: Czy szereg naprzemienny 1 - 1/2 + 1/3 - 1/4 + ... jest zbieżny?
Rozwiązanie:
To szereg naprzemienny z wyrazami aₙ = 1/n. Sprawdzamy warunki kryterium Leibniza:
- aₙ > 0 - spełnione (1/n > 0)
- aₙ₊₁ < aₙ - spełnione (ciąg malejący)
- lim aₙ = 0 - spełnione
Odpowiedź: Szereg naprzemienny harmoniczny jest zbieżny i jego suma wynosi ln(2) ≈ 0.693.
Częste błędy
Myślenie, że lim aₙ = 0 gwarantuje zbieżność
Szereg harmoniczny jest klasycznym kontrprzykładem: mimo że lim(1/n) = 0, szereg jest rozbieżny.
Warunek lim aₙ = 0 jest konieczny, ale NIE wystarczający do zbieżności szeregu.
Stosowanie kryterium d'Alemberta
Dla szeregu harmonicznego kryterium d'Alemberta daje L = 1, więc nie rozstrzyga.
lim[n/(n+1)] = 1 - kryterium d'Alemberta nie ma tu zastosowania.
Mylenie z szeregiem 1/n²
Szereg 1/n jest rozbieżny, ale szereg 1/n² jest zbieżny (suma = π²/6). Potęga ma znaczenie!
Szereg 1/nᵖ jest zbieżny dla p > 1 i rozbieżny dla p <= 1.
Niedocenianie wolnego wzrostu
Sumy częściowe rosną tak wolno, że w praktyce mogą wydawać się ograniczone. Ale teoretycznie rosną bez granic.
Porady i wskazówki
Dowód Oresme'a: Grupuj wyrazy w potęgi dwójki i pokaż, że każda grupa >= 1/2.
Szybkie przybliżenie: Hₙ ≈ ln(n) + 0.5772. Błąd jest rzędu 1/(2n).
Kryterium całkowe: Porównaj z całką: integral(1/x)dx = ln(x), która dąży do nieskończoności.
Szereg naprzemienny: 1 - 1/2 + 1/3 - 1/4 + ... = ln(2). Naprzemienny szereg harmoniczny jest zbieżny!
Przypadki szczególne i uogólnienia
Szereg p-harmoniczny (szereg Riemanna)
Uogólnienie szeregu harmonicznego na dowolne potęgi p. Zbieżność zależy od wartości p.
Dla p = 2: suma = π²/6 ≈ 1.645 (problem bazylejski rozwiązany przez Eulera).
Szereg naprzemienny harmoniczny
Szereg ze zmieniającymi się znakami jest zbieżny warunkowo.
Jest to rozwinięcie ln(1+x) dla x = 1.
Stała Eulera-Mascheroniego
Fundamentalna stała matematyczna definiowana jako granica różnicy Hₙ i ln(n).
Nie wiadomo, czy γ jest liczbą wymierną czy niewymierną!
Szereg harmoniczny z pominięciem
Szereg harmoniczny bez wyrazów zawierających cyfrę 9 jest zbieżny (suma ≈ 22.92).
To zaskakujący wynik - usunięcie "niewielkiej" liczby wyrazów zmienia zbieżność!