c○ MIM UW, 2010/11 49Proszę zauważyć, że dla dużych n liczba 1/(n ln n) jest dużo mniejsza od 1/n (iloraztych liczb dąży do 0 dla n → ∞), więc sumy częściowe ostatniego szeregu rosną wolniej niżsumy częściowe szeregu harmonicznego. Jednak dzięki zastosowaniu kryterium zagęszczeniowego,tzn. dzięki odpowiedniemu grupowaniu wyrazów, potrafimy łatwo wykazaćrozbieżność.Przykład 4.21. Szereg 3 ζ(s) =∞∑n=11n s (4.5)jest zbieżny wtedy i tylko wtedy, gdy s > 1. Dla s ≤ 0 rozbieżność jest oczywista: nie jestspełniony warunek konieczny zbieżności, gdyż dla takich s mamy a n = n −s → +∞. Niechwięc s > 0. Wyrazy a n = n −s maleją do zera; zastosujmy kryterium zagęszczeniowe. Otóżb n = 2 n a 2 n = 2 n ·1(2 n ) s =1(2 s−1 ) n = q n , gdzie q = 2 1−s ,a więc zagęszczenie prowadzi do szeregu geometrycznego ∑ b n = ∑ q n , który (jak jużwiemy) jest zbieżny wtedy i tylko wtedy, gdy |q| = 2 1−s < 1 = 2 0 , tzn. wtedy i tylko wtedy,gdy 1 − s < 0. □Przykład 4.22. Jeśli a n = 1/ ( n(ln n) s) , gdzie s ∈ R, to ∑ a n jest zbieżny wtedy i tylkowtedy, gdy s > 1. Kryterium zagęszczeniowe daje:b n = 2 n a 2 n = 2 n ·12 n( ln(2 n ) ) 1s = c ·n s , gdzie c = 1/(ln 2)s .Wystarczy teraz spojrzeć na poprzedni przykład.□Dla porządku odnotujmy też nieco ogólniejszą wersję kryterium zagęszczeniowego.Stwierdzenie 4.23 (kryterium zagęszczeniowe, wariant ogólny). Jeśli (a n ) jest malejącymciągiem liczb dodatnich, a k ∈ N, k ≥ 2, to szeregi∞∑n=1a noraz∞∑b n , gdzie b n = k n a k n ,n=1są albo jednocześnie zbieżne, albo jednocześnie rozbieżne.Dowód. Niezbyt trudne ćwiczenie dla zainteresowanych.Warto zdawać sobie sprawę, że istnieją przykłady, które wymagają nieco subtelniejszejanalizy, nie polegającej na szybkim stosowaniu gotowych kryteriów. Popatrzmy na dwa znich.Przykład 4.24. Niech p n oznacza n-tą z kolei liczbę pierwszą, tzn. p 1 = 2, p 2 = 3, p 3 = 5,p 4 = 7, p 5 = 11, . . . Wykażemy, że szereg∞∑n=1□1p n(4.6)3 Suma tego szeregu odgrywa bardzo ważną rolę w teorii liczb i jest nazywana funkcją dzeta Riemanna.
50 wersja robocza z dnia: 1 czerwca 2011jest rozbieżny. Ustalmy liczbę N. Niech P N = {p : p pierwsza, p ≤ N}. Wtedy( ∑)1exppp∈P N= ∏≥≥exp(1/p)p∈P N ∏ (1 + 1 )pp∈P N∑ 1n .1≤n≤Nn bezkwadr.gdyż exp(x) ≥ 1 + xW ostatniej linijce występuje suma odwrotności wszystkich liczb bezkwadratowych 4 n,n ≤ N; nietrudno zauważyć, że mnożąc wszystkie nawiasy (1 + 1 p) szkolną metodą ‘każdyz każdym’, otrzymamy tylko odwrotności liczb bezkwadratowych: wszystkich liczb bezkwadratowych≤ N i niektórych liczb bezkwadratowych > N.Wiemy już, że 2 > ∑ 1≤n≤N 1 dla każdego N (patrz Przykład 4.10); mnożąc tę nierównośćprzez poprzednią,n 2otrzymujemy( ∑)12 exppp∈P N≥≥( ∑1≤n≤Nn bezkwadr.N∑n=11n) (1 ∑·n1≤n≤N(4.2)≥ ln(N + 1) .)1n 2Zatem∑ 1≥ ln ln(N + 1) − ln 2,pp∈P Na więc sumy częściowe szeregu (4.6) nie są ograniczone. 5□Przykład 4.25 (szereg Kempnera). Niech A będzie zbiorem tych liczb naturalnych, wktórych zapisie dziesiętnym w ogóle nie występuje cyfra 9. Wtedy szereg∑n∈Ajest zbieżny, a jego suma S nie przekracza liczby 80. Aby się o tym przekonać, oznaczmy1nA N = A ∩ [10 N−1 , 10 N − 1](jak widać, A N to podzbiór A złożony z liczb N-cyfrowych). Liczba elementów A N jestrówna#A N = 8 · 9 N−1 ,4 Mówimy, że n jest liczbą bezkwadratową, jeśli n nie dzieli się przez żaden pełny kwadrat różny od 1;równoważnie, n jest liczbą bezkwadratową, gdy jest iloczynem różnych liczb pierwszych.5 Rozbieżność szeregu odwrotności liczb pierwszych wykazał L. Euler w 1737 roku, w nieco inny sposóbod zaprezentowanego tutaj.
- Page 4: c○ MIM UW, 2010/11 45Jednak ln (
- Page 10 and 11: c○ MIM UW, 2010/11 51gdyż pierws
- Page 12 and 13: c○ MIM UW, 2010/11 53Intuicja zwi
- Page 14 and 15: c○ MIM UW, 2010/11 55Szereg ∑
- Page 16 and 17: c○ MIM UW, 2010/11 57Lemat. Jeśl
- Page 18 and 19: c○ MIM UW, 2010/11 59gdzie A k =
- Page 20 and 21: c○ MIM UW, 2010/11 61• środek,
- Page 22 and 23: c○ MIM UW, 2010/11 63dla wszystki
- Page 24 and 25: c○ MIM UW, 2010/11 65Korzystając
- Page 26 and 27: c○ MIM UW, 2010/11 67Portret exp,
- Page 28 and 29: c○ MIM UW, 2010/11 69Z definicji
- Page 30 and 31: c○ MIM UW, 2010/11 71Zatem s n (y
- Page 32 and 33: c○ MIM UW, 2010/11 73Twierdzenie
- Page 34 and 35: c○ MIM UW, 2010/11 75Wniosek 4.76