15. Lebesgueův integrál na pÅÃmce Integrál podle Lebesgueovy mÃry ...
15. Lebesgueův integrál na pÅÃmce Integrál podle Lebesgueovy mÃry ...
15. Lebesgueův integrál na pÅÃmce Integrál podle Lebesgueovy mÃry ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
(De-2) pro všech<strong>na</strong> t ∈ I je funkce f(t, ·) měřitelná,<br />
(De-3) existuje integrovatelná funkce g <strong>na</strong> D tak, že pro všech<strong>na</strong> t ∈ I a x ∈ D je<br />
∣ ∂f<br />
∂t (t, x)∣ ∣ ≤ g(x),<br />
(De-4) existuje t 0 ∈ I tak, že f(t 0 , ·) je integrovatelná <strong>na</strong> D.<br />
Potom pro všech<strong>na</strong> t ∈ I je f(t, ·) integrovatelná <strong>na</strong> D, funkce<br />
∫<br />
F : t ↦→ f(t, x) dµ(x)<br />
je diferencovatelná <strong>na</strong> I a platí vzorec<br />
∫<br />
F ′ (t) =<br />
D<br />
D<br />
∂f<br />
(t, x) dµ(x) .<br />
∂t<br />
Důkaz. Nechť a, b ∈ I, b ≠ a. Podle věty o střední hodnotě pro skoro každé x ∈ D existuje ξ mezi a a b<br />
tak, že<br />
f(b, x) − f(a, x)<br />
∣ ∣ = ∣ ∂f ∣ ∣∣<br />
b − a ∂t (ξ, x) ≤ g(x).<br />
Odtud plyne, že funkce<br />
f(b, x) − f(a, x)<br />
x ↦→<br />
b − a<br />
je integrovatelná, tudíž, volíme-li a = t 0 , i funkce f(b, ·) je integrovatelná. Zvolme znovu a ∈ I. Uvažujme<br />
funkci<br />
⎧<br />
⎨f(t, x) − f(a, x)<br />
, t ≠ a,<br />
h(t, x) = t − a<br />
⎩ ∂f<br />
(a, x), t = a.<br />
∂t<br />
Z předpokladů a výše dokázaného je jasné, že funkce h(t, x) splňuje předpoklady věty 17.4 pro spojitost<br />
v bodě a (s majorantou g), tedy<br />
∫<br />
F ′ D<br />
(a) = lim<br />
f(t, x) dµ(x) − ∫ f(a, x) dµ(x)<br />
D<br />
t→a<br />
Tím je věta dokázá<strong>na</strong>.<br />
17.6. Příklad. Uvažujme funkci<br />
= lim<br />
t→a<br />
∫D<br />
t − a<br />
f(t, x) − f(a, x)<br />
t − a<br />
F (t) =<br />
∫ ∞<br />
0<br />
1 − cos x<br />
x 2<br />
∫<br />
dµ(x) =<br />
D<br />
e −tx dx.<br />
∂f<br />
(a, x) dµ(x) .<br />
∂t<br />
Potom F je spojitá <strong>na</strong> [0, ∞) (majoranta x −2 (1 − cos x)) a pro t ∈ (0, ∞) je<br />
F ′ (t) = −<br />
F ′′ (t) =<br />
∫ ∞<br />
0<br />
∫ ∞<br />
0<br />
1 − cos x<br />
x<br />
e −tx dx,<br />
(1 − cos x) e −tx dx.<br />
Zde již nemůžeme <strong>na</strong>jít majorantu <strong>na</strong>jednou pro t ∈ (0, ∞), poslouží<br />
x ↦→ 1 − cos x e −ax ,<br />
x<br />
x ↦→ (1 − cos x) e −ax<br />
pro t ∈ (a, ∞). Jelikož pro p > 0, q ∈ R je<br />
∫ ∞<br />
∫ ∞<br />
[ e<br />
e −px cos qx dx = Re e −px−iqx −px−iqx<br />
dx = − Re<br />
0<br />
0<br />
p + iq<br />
p<br />
=<br />
p 2 + q 2 ,<br />
máme<br />
F ′′ (t) = t<br />
t 2 − t<br />
t 2 + 1 = 1<br />
t(t 2 + 1) .<br />
5<br />
] ∞<br />
x=0<br />
= Re<br />
1<br />
p + iq<br />
□