6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x, y) } has measure zero. (b) Let f(x, y) be nonnegative and measurable in 2. Suppose that for almost every x, f(x, y) is finite for almost every y. Show that for almost every y, f(x, y) is finite for almost every x. (a) Consider the indicator function 1 on 2. This is a nonnegative measurable function, so by Fubini/Tonelli we have ( ) 1 1 (x, y) dy dx 2 For almost every x, we have 1 (x, y) dy {y : (x, y) }, so all the integrals in the first line above are. Since 2 1, we have. Moreover, since ( ) 1 (x, y) dx dy ( ) 1 (x, y) dx dy. {x : (x, y) } dy and since {x : (x, y) } is a nonnegative function of y whose integral over y is zero, it follows that {x : (x, y) } for almost every y. (b) Let be the set of points on which f is not finite. This is a measurable subset of 2, and x {y : (x, y) } has measure zero for almost every x, so by part (a) the result immediately follows.
6.2. If f and g are measurable in n, show that the function h(x, y) f(x)g(y) is measurable in n n. Deduce that if 1 and 2 are measurable subsets of n, then their Cartesian product 1 2 {(x, y) : x 1, y 2 } is measurable in n n, and 1 2 1 2. Fix a measurable function f, and let G f {g : n, is measurable : f(x)g(y) is measurable}. Let n be a measurable set, and let 1 be its indicator function. If h(x, y) f(x)1 (y), then c f 1 (a, ), a < h 1 (a, ) f 1 (a, ), a is measurable for all a, so h is measurable; hence, G f contains the indicator functions of measurable subsets of n. Moreover, if a, b and g 1, g 2 G f, then f(x) (ag 1 (y) + bg 2 (y)) af(x)g 1 (y)+bf(x)g 2 (y), a sum of measurable functions; hence, G f is closed under linear combinations. Finally, if g 1, g 2,... is an increasing sequence of functions in G f which converges to the function g, then f(x)g 1 (y), f(x)g 2 (y),... is an increasing sequence of measurable functions converging to f(x)g(y). Since a limit of measurable functions is measurable, f(x)g(y) G f ; hence, G f is closed under increasing limits. Any collection of functions on n satisfying these three properties contains all measurable functions on n, so G f contains all measurable functions. Since this is true for all measurable f, it follows that f(x)g(y) is measurable for all measurable f and g. Alternatively, we could let F (x, y) f(x) and G(x, y) g(y). Then {(x, y) : F (x, y) > a} {x : f(x) > a} n and {(x, y) : G(x, y) > a} n {y : g(y) > a}. These sets are measurable via repeated application of a lemma proved in Chapter 5 that is measurable for all measurable d. Given this result, take f 1 1 and g 1 2. Then h(x, y) 1 1 2 (x, y) f(x)g(y) is measurable, so 1 2 is measurable. Moreover, via Fubini/Tonelli we have 1 2 1 1 2 1 1 (x)1 2 (y) dx dy 1 1 (x) 1 2 (y) dy dx 1 2. 2 2 This is a common proof technique in analysis called a monotone class argument. It will come up again later in the section on abstract measure theory. Since the purpose of the problem is to show that the product of two general measurable sets is measurable, you cannot just cite that result to say that F 1 (a, ) and G 1 (a, ) are measurable.
6.4. Let f be measurable and periodic with period 1: f(t + 1) f(t). Suppose that there is a finite c such that 1 f(a + t) f(b + t) dt c for all a and b. Show that f L(, 1). [Hint: Set a x, b x, integrate with respect to x, and make the change of variables ξ x + t, η x + t.] c 1 2 1 1 ξ f(x + t) f( x + t) dt dx 1 ξ 2 1 ξ f(ξ) f(η) dη dξ + 1 2 1 ξ 1 f(ξ) f(η) dη dξ. By the periodicity of f, each integral will double in size by integrating η over the entire interval [ 1, 1]. Thus, so (again by periodicity) 2 1 1 1 1 f(ξ) f(η) dη dξ 2c, f(ξ) f(η) dη dξ c 2. Thus, f(ξ) f(η) (hence f(ξ) f(η)) is integrable over the square [, 1] [, 1]. By the result of xercise 6.3, f is integrable over (, 1). Proof of 6.3:...
6.5. (a) If f is nonnegative and measurable on and ω(y) {x : f(x) > y}, y >, use Tonelli s theorem to prove that f ω(y) dy. [Hint: By definition of the integral, we have f (f, ) dx dy. Use the observation in (f,) the proof of (6.11) that {x : f(x) y} {x : (x, y) (f, )}, and recall that ω(y) {x : f(x) y} unless y is a point of discontinuity of ω.] (b) Deduce from this special case the general formula f p p y p 1 ω(y) dy (f, < p < ). (a) Since ω is a monotone decreasing function on, it has only countably many points of discontinuity, so ω(y) {x : f(x) y} for almost all y. Thus, ω(y) dy {x : f(x) y} dy {x : (x, y) (f, )} dy dx dy (f,) (f,) y 1 (f, ) (See Theorem (6.8) on page 9 of the text for why (f,) y dx dy 1.) (f,) (b) Let ω f (y) be the distribution function for f, and let ω f p(y) be the same for f p. Then we have f p ω f p(y) dy f. ω f (y 1/p ) dy. Make the change of variables u y 1/p. Then du 1 p y(p 1)/p 1 p up 1, so f p p u p 1 ω f (u) du.
6.6. For f L(), define the Fourier transform f of f by f(x) + f(t)e ixt dt (x 1 ). (For a complex-valued function F F + if 1 whose real and imaginary parts F and F 1 are integrable, we define F F + i F 1.) Show that if f and g belong to L(), then f g(x) f g(x) f(x)ĝ(x). [ ] f(u t)g(t) dt e ixu du [ ] g(t) f(u t)e ixu du dt, where the second equality follows from Fubini. Then we have [ ] [ ] g(t) f(u t)e ixu du dt g(t)e ixt f(u t)e ix(u t) du dt. Changing variables v u t, we have [ ] [ g(t)e ixt f(u t)e ix(u t) du dt g(t)e ixt ( ) ( g(t)e ixt dt ] f(v)e ixv dv dt f(v)e ixv dv ) f(x)ĝ(x).
6.1. Let v n be the volume of the unit ball in n. Show by using Fubini s theorem that 1 v n 2v n 1 (1 t 2 ) (n 1)/2 dt. [We also observe that the integral can be expressed in terms of the Γ-function: Γ(s) e t t s 1 dt, s >.] We proceed by induction, noting a priori that v 1 2. For n 2, we have v 2 π, which jibes with 1 2 v 1 1 t2 dt 4 π 4 π. Now suppose the formula holds for the case n 1. ecall that the n-ball B n is defined by x 2 1 + + x 2 n 1. We have v n 1 dx 1 dx n B n x 2 1 + +x2 n 1 1 1 x 2 2 + +x2 n 1 x2 1 dx 1 dx 2 dx n Defining y j x j / 1 x 2 1 for j 2,..., n, and noting that dy j dx j / 1 x 2 1, we make a change of variables: 1 1 y 2 2 + +y2 n 1 1 (1 x 2 1) (n 1)/2 dx 1 dy 2 dy n 2v n 1 (1 t 2 ) (n 1)/2 dt. Since all functions involved are bounded on the compact domain of integration, they are all integrable, so Fubini/Tonelli justifies the swapping of integrals. The last inequality is justified by the fact that the integrand is even and that y 2 2 + + y 2 n 1 defines an (n 1)-ball of radius 1. In case you re not familiar with this integral, you can compute it with the trig substitution t cos θ. Geometrically, just observe that it is the area under the graph of the portion of the unit circle in the first quadrant of the plane.
6.11. Use Fubini s theorem to prove that [Hint: For n 1, write ( + e x2 dx e x 2 n ) 2 + For n > 1, use the formula e x 2 e x2 1 e x 2 n n 1.] dx π n/2. + y 2 e x2 dx dy and use polar coordinates. and Fubini s theorem to reduce to the case Following the hint, in the case n 1 we have ( 2 2π e dx) x2 e x2 y 2 dx dy e r2 r dr dθ π so e x2 dx π 1/2. e u du π, Assume by induction that the proposition holds true for n 1; we ll show the case n. Write x (x 1,..., x n ). Then we have, via induction and Fubini/Tonelli, e x 2 n dx n j1 n ( e x2 j e x2 1 dx1 ) ( n 1 j2 ) n e x2 j dx2 dx n π 1/2 π (n 1)/2 π n/2.