You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
45<br />
3. <strong>EULER</strong>OVY MATEMATICKÉ PRÁCE<br />
∂<br />
∂a<br />
∞<br />
∂ I(a, b) = ∫ ( bx<br />
e − sin<br />
xax<br />
0 ∂a<br />
(integrace per partes nebo [80-82]).<br />
∞<br />
) dx = ∫<br />
0<br />
−bx<br />
e cos ax dx =<br />
a<br />
2<br />
b<br />
+ b<br />
2<br />
Proto<br />
∞<br />
Integrál I(a) = ∫<br />
0<br />
∫<br />
∂ I(a, b) da =<br />
b<br />
a<br />
∂a ∫ da = arctan .<br />
2 2<br />
a + b<br />
b<br />
sin<br />
xax dx dostaneme z I(a, b) limitním přechodem b→0+,<br />
I(a) =<br />
lim<br />
b→0+<br />
I(a, b) =<br />
lim<br />
b→0+<br />
arctan b<br />
a .<br />
Pro a > 0 je I(a) konstanta nezávislá na a. Speciálně tedy pro a = 1 je<br />
∞<br />
I(1) = ∫<br />
0<br />
sin x<br />
x dx =<br />
π .<br />
2<br />
Integrál I(1) poprvé korektně vypočetl N. I. Lobačevskij (1792–1856) [80].<br />
3.3.4. FUNKCE BETA A GAMMA.<br />
Pod Eulerovými integrály se obvykle rozumí jiné, důležitější integrály — funkce Γ a Β:<br />
∞<br />
Γ(s) = ∫<br />
0<br />
1<br />
Β(p, q) = ∫<br />
0<br />
e –t t s–1 dt, s > 0<br />
t p–1 (1 – t) q–1 dt, p, q > 0<br />
— Eulerův integrál 2. druhu, gamma funkce<br />
— Eulerův integrál 1. druhu, beta funkce<br />
Tyto funkce mají mnoho zajímavých vlastností, proto v učebnicích zpravidla<br />
zabírají celou kapitolu. Zde pochopitelně můžeme odkázat jen na literaturu [80,81] nebo<br />
internet a ukázat jen několik vlastností.<br />
Funkce G.<br />
Funkce Γ je důležitější, proto ji uvádíme jako první. Integrací per partes dostaneme<br />
∞<br />
Γ(s) = ∫<br />
0<br />
∞<br />
Zřejmě Γ(1) = ∫<br />
0<br />
e –t t s–1 dt = – e –t t s–1<br />
∞<br />
∞<br />
0 + (s – 1) ∫<br />
0<br />
e –t t s–2 dt = (s – 1) Γ(s – 1).<br />
e –t dt = 1, Γ(2) = (2 – 1) Γ(1) = 1, Γ(3) = (3 – 1) Γ(2) = 2×1 = 2!<br />
a pro přirozené n je tedy Γ(n) = (n – 1)!, resp. n! = Γ(n+1). Funkce Γ tedy představuje<br />
F. KOUTNÝ: <strong>Leonhard</strong> <strong>EULER</strong>