Answer Chapter
Answer Chapter
44.) Prove Lusin’s theorem that if f : [a, b] ! R is measurable and ✏ > 0, then there is
a compact set E so m(E c ) < ✏ and f is continuous on E: First, Theorem 2.26 gives simple
functions n ! f in L1 where the sets are intervals. Second, choose continuous functions
1
n where | n n | ! 0 in L (just change n near the boundaries of the intervals). Since
1
|f n | |f n| + | n n |, the n ’s go to f in L . Egoro↵ gives a bad set B with
c
m(B) < ✏ so n ! f uniformly on B . By the definition of measure, there is an open set
F with B ⇢ F and m(F ) < ✏. Set E = [a, b] \ F so E is compact, m(E c ) < ✏, and f is
continuous on E (since it is the uniform limit of continuous functions there).
R R
56.) Define h(x, t) = t 1 f (t) {t x} . Note that g(x) = xa t 1 f (t) dt is then just 0a h(x, t) dt.
R R R R
Meanwhile, 0a h(x, t) dx = 0t t 1 f (t) dx = f (t). By Fubini’s theorem, 0a g(x) dx = 0a f (t) dt
as desired.
R
57.) Show that 01 e sx x 1 sin x dx = arctan(s 1 ) for s > 0: Define h(x, y) = e sxy
sin x.
Since the derivative of ecx is cecx , we have
Z 1 Z 1
sxy sx
h(x, y) dy = sin x e dy = e sin x/(sx) .
1 1
R1 cx
Since 0 e sin x dx = 1/(c2 + 1) (think of e cx
sin x as the imaginary part of e(i c)x
),
Z 1Z 1 Z 1 Z 1
dy dt
h(x, y) dx dy = = 1/s = (⇡/2 arctan(s))/s = 1/(s arctan(s)) .
1 0 1 s2 y 2+1 s t2 +1
(I used the change of variables t = sy.) Applying Fubini to h(x, y) gives the claim.
59). Let f (x) = x 1 sin x.
R R (2n+1)⇡
a). Show that 01 |f (x)| dx = 1: If n is an integer, then 2n⇡ sin x dx = cos(2n + 1)⇡
cos 2n⇡ = 2. Therefore,
Z 1 1 Z
X X
(2n+1)⇡ sin x 2
|f (x)| dx dx = = 1.
0 n=1 2n⇡ (2n + 1)⇡ (2n + 1)⇡