Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
39<br />
3. <strong>EULER</strong>OVY MATEMATICKÉ PRÁCE<br />
Chování řady ∑ ∞<br />
k=1<br />
n<br />
členů S n = ∑<br />
k=<br />
1<br />
|a k | je určeno chováním zbytku R n = ∑ ∞ |a k | (součet předchozích<br />
k= n+<br />
1<br />
a k je konečný a o něj se zajímat nemusíme). V našem jednoduchém<br />
případě k odhadu zbytku můžeme použít minorantní hyperbolu.<br />
Pro libovolná celá kladná n, m, n < m je<br />
m<br />
∫<br />
n<br />
d<br />
= ln<br />
m<br />
n<br />
= ln (<br />
n + 1 n+<br />
2<br />
...<br />
m−1<br />
m<br />
) = ln ( 1+<br />
1<br />
) + ln ( 1+ 1<br />
n<br />
) + … + ln ( 1<br />
1<br />
)<br />
x x<br />
m<br />
< ∑ −<br />
k=<br />
1<br />
n<br />
k<br />
m<br />
n<br />
1<br />
= ∑<br />
k=<br />
n+<br />
1<br />
m<br />
Nerovnost ln n m < ∑<br />
n+<br />
1<br />
1<br />
.<br />
k−1<br />
k=<br />
n+<br />
1<br />
1<br />
k−1<br />
m−2<br />
m−1<br />
n<br />
+ 1<br />
+ m− 1<br />
= S m–1 – S n–1 ukazuje, že pro libovolné n je např.<br />
|S 2n–1 – S n–1 | = S 2n–1 – S n–1 > ln 2 a není splněna Bolzanova–Cauchyho nutná a<br />
postačující podmínka konvergence posloupnosti částečných součtů S n a tím i<br />
harmonické řady ∑ ∞<br />
k=1<br />
1 . Chování této řady ilustruje následující tabulka a obr. 3.9.<br />
k<br />
n 10 3 10 6 10 9 10 12<br />
S n 7.48547086 14.39272672 21.30048150 28.20823678<br />
30<br />
25<br />
20<br />
S n<br />
15<br />
10<br />
5<br />
0<br />
0 3 6 9 12<br />
log n<br />
Obr. 3.9 – Částečné součty harmonické řady rostou téměř lineárně s dekadickým logaritmem n.<br />
Aproximace součtů harmonické řady lineární závislostí na logaritmu horní meze<br />
znovu potvrzuje divergenci harmonické řady. Stejné závěry budou platit i pro řadu<br />
ζ(s) = ∑ ∞<br />
k=1<br />
1 s<br />
,<br />
k<br />
kde s < 1, neboť<br />
1<br />
> 1 s<br />
k k<br />
. Naopak pro k > 1 a x ∈ [k, k + 1] je (obr. 3.10)<br />
F. KOUTNÝ: <strong>Leonhard</strong> <strong>EULER</strong>