18.03.2014 Views

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 ...

SHOW MORE
SHOW LESS

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 />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!