Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
41<br />
3. <strong>EULER</strong>OVY MATEMATICKÉ PRÁCE<br />
Funkci, kterou jsme označili podle Riemanna ζ(s) [68], vyšetřoval pro s > 1 už<br />
Euler. Roku 1735 ve věku 28 let rozřešil tzv. basilejský problém [69]: čemu se rovná<br />
∑ ∞ =1 k<br />
1<br />
2<br />
k<br />
? Nikomu před ním, ani Bernoulliům, se nepodařilo najít odpověď. Eulerův<br />
postup je podrobně vyložen v práci [70].<br />
n S n (2)<br />
10 1 1.5497677317<br />
10 2 1.6349839002<br />
10 3 1.6439345667<br />
10 4 1.6448340718<br />
10 5 1.6449240669<br />
10 6 1.6449330668<br />
10 7 1.6449339668<br />
10 8 1.6449340568<br />
10 9 1.6449340658<br />
10 10 1.6449340666<br />
a obecně pro sudá čísla ζ(2n) =<br />
Součty sudých mocnin k<br />
1<br />
se dnes zmiňují v teorii funkcí<br />
komplexní proměnné jako příklad aplikace rozvoje funkce<br />
cot z = cos z/sin z v Taylorovu (či Laurentovu) řadu a reziduové<br />
věty [71, 72,14]. Euler však byl mistr manipulací s řadami a<br />
delším postupem [70] dospěl k výsledku, že<br />
ζ(2) = ∑ ∞<br />
k=1<br />
Později ukázal, že<br />
ζ(4) = ∑ ∞<br />
k=1<br />
2n<br />
B2<br />
n π<br />
2<br />
(2n)!<br />
1<br />
2<br />
k<br />
1<br />
4<br />
k<br />
=<br />
2<br />
π =1.644 934 066 848…<br />
6<br />
4<br />
= π = 1.082 323 233 711…<br />
90<br />
, kde B 2n jsou Bernoulliho čísla (= koeficienty<br />
z z<br />
rozvoje<br />
e z = 1 – +<br />
−1 2 ∑ ∞ B<br />
n<br />
2 k<br />
z 2k ). Dále platí<br />
(2k)!<br />
∑ ⎜<br />
⎛ n + 1<br />
⎟<br />
⎞ Bk = 0 [72], což po zadání B<br />
k=1<br />
k=<br />
0 ⎝ k<br />
0 = 1<br />
⎠<br />
umožňuje snadné rekurentní počítání B k na počítači. Tabulka B k je na str. 51. Další informace a seznam<br />
B 2k ve tvaru zlomků (podílů celých čísel) pro k =1, …, 20 jsou v [73]).<br />
Je ovšem jasné, že s rostoucím s rychlost konvergence řad ζ(s) roste, takže<br />
numerický výpočet hodnoty funkce ζ např. při přesnosti 10 –14 pak nevyžaduje velká n:<br />
pro s = 6 stačí n = 10 3 , pro s = 8 stačí n = 100 atd.<br />
z(s)<br />
8<br />
7<br />
6<br />
5<br />
4<br />
3<br />
2<br />
1<br />
0<br />
0 1 2 3 4 5 6 7<br />
s<br />
Obr. 3.12 – Průběh funkce ζ(s) pro reálná s, s > 1.<br />
F. KOUTNÝ: <strong>Leonhard</strong> <strong>EULER</strong>