3. The Lp spaces (1 ≤ p < ∞)
In this section we discuss an important construction, which is extremely useful in virtually all branches of Analysis. In Section 1, we have already introduced the space L1. The first construction deals with a generalization of this space.
Definitions. Let (X, A, µ) be a measure space, and let K be one of the fields R or C. A. For a number p ∈ (1, ∞), we define the space Z Lp (X, A, µ) = f : X → : f measurable, and |f|p ∈ dµ < ∞ . K K X R Here we use the convention introduced in Section 1, which defines X h dµ = ∞, for those measurable functions h : X → [0, ∞], that are not integrable. Of course, in this definition we can allow also the value p = 1, and in this case we get the familiar definition of L1 (X, A, µ). K B. For p ∈ [1, ∞), we define the map Q : L1 (X, A, µ) → [0, ∞) by p K Z Q (f) = |f|p dµ, ∀ f ∈ L1 (X, A, µ). p K X Remark 3.1. The space L1 (X, A, µ) was studied earlier (see Section 1). It K has the following features: (i) L1 (X, A, µ) is a -vector space. K K (ii) The map Q : L1 (X, A, µ) → [0, ∞) is a seminorm, i.e. 1 K (a) Q (f + g) ≤ Q (f) + Q (g), ∀ f, g ∈ L1 (X, A, µ); 1 1 1 K (b) Q (αf) = |α| · Q (f), ∀ f ∈ L1 (X, A, µ), α ∈ . 1 1 K K (iii) R f dµ ≤ Q (f), ∀ f ∈ L1 (X, A, µ). X 1 K Property (b) is clear. Property (a) immediately follows from the inequality |f +g| ≤ |f| + |g|, which after integration gives Z Z Z Z |f + g| dµ ≤ |f| + |g| dµ = |f| dµ + |g| dµ. X X X X In what follows, we aim at proving similar features for the spaces Lp (X, A, µ) K and Qp, 1 < p < ∞. The following will help us prove that Lp is a vector space. Exercise 1 ♦. Let p ∈ (1, ∞). Then one has the inequality (s + t)p ≤ 2p−1(sp + tp), ∀ s, t ∈ [0, ∞).
Hint: The inequality is trivial, when s = t = 0. If s + t > 0, reduce the problem to the case t + s = 1, and prove, using elementary calculus techniques that min tp + (1 − t)p = 21−p. t∈[0,1]
Proposition 3.1. Let (X, A, µ) be a measure space, let K be one of the fields R or C, and let p ∈ (1, ∞). When equipped with pointwise addition and scalar multiplication, Lp (X, A, µ) is a -vector space. K K
300 §3. Lp spaces (1 ≤ p < ∞) 301
Proof. It f, g ∈ Lp (X, A, µ), then by Exercise 1 we have K Z Z p Z Z |f + g|p dµ ≤ |f| + |g| dµ ≤ 2p−1 |f|p dµ + |g|p dµ < ∞, X X X X so f + g indeed belongs to Lp (X, A, µ). K It f ∈ Lp (X, A, µ), and α ∈ , then the equalities K K Z Z Z |αf|p dµ = |α|p · |f|p dµ = |α|p · |f|p dµ X X X clearly prove that αf also belongs to Lp (X, A, µ). K
Our next task will be to prove that Qp is a seminorm, for all p > 1. In this direction, the following is a key result. (The above mentioned convention will be used throughout this entire section.) Theorem 3.1 (H¨older’s Inequality for integrals). Let (X, A, µ) be a measure space, let f, g : X → [0, ∞] be measurable functions, and let p, q ∈ (1, ∞) be such 1 1 1 that p + q = 1. Then one has the inequality Z Z 1/p Z 1/q (1) fg dµ ≤ f p dµ · gq dµ . X X X R p R p Proof. If either X f dµ = ∞, or X g dµ = ∞, then the inequality (1) is trivial, because in this case, the right hand side is ∞. For the remainder of the R p R q proof we will assume that X f dµ < ∞ and X g dµ < ∞. ∞ ∞ 1 Use Corollary 2.1 to find two sequences (ϕn) , (ψn) ⊂ L (X, A, µ), n=1 n=1 R,elem such that
• 0 ≤ ϕ1 ≤ ϕ2 ≤ ... and 0 ≤ ψ1 ≤ ψ2 ≤ ... ; p q • limn→∞ ϕn(x) = f(x) and limn→∞ ψn(x) = g(x) , ∀ x ∈ X. By the Lebesgue Dominated Convergence Theorem, we will also get the equalities Z Z Z Z p q (2) f dµ = lim ϕn dµ and g dµ = lim ψn dµ. X n→∞ X X n→∞ X 1/p 1/q Remark that the functions fn = ϕn , gnψn , n ≥ 1 are also elementary (because they obviously have finite range). It is obvious that we have
• 0 ≤ f1 ≤ f2 ≤ ... , and 0 ≤ g1 ≤ g2 ≤ ... ; • limn→∞ fn(x) = f(x), and limn→∞ gn(x)] = g(x), ∀ x ∈ X. With these notations, the equalities (2) read Z Z Z Z p p q q (3) f dµ = lim (fn) dµ and g dµ = lim (gn) dµ. X n→∞ X X n→∞ X
Of course, the products fngn, n ≥ 1 are again elementary, and satisfy
• 0 ≤ f1g1 ≤ f2g2 ≤ ... ; • limn→∞[fn(x)gn(x)] = f(x)g(x), ∀ x ∈ X. Using the General Lebesgue Monotone Convergence Theorem, we then get Z Z fg dµ = lim fngn dµ. X n→∞ X
1 Here we use the convention ∞1/p = ∞1/q = ∞. 302 CHAPTER IV: INTEGRATION THEORY
Using (3) we now see that, in order to prove (1), it suffices to prove the inequalities Z Z 1/p Z 1/q p q fngn dµ ≤ (fn) dµ · (gn) dµ , ∀ n ≥ 1. X X X In other words, it suffices to prove (1), under the extra assumption that both f and g are elementary integrable. Suppose f and g are elementary integrable. Then (see III.1) there exist pair- m wise disjoint sets (Dj)j=1 ⊂ A, with µ(Dj) < ∞, ∀ j = 1, . . . , m, and numbers α1, β1, . . . , αm, βm ∈ [0, ∞), such that f = α + ··· + α 1κ D1 mκ Dm g = β + ··· + β 1κ D1 mκ Dm Notice that we have fg = α β + ··· + α β , 1 1κ D1 m mκ Dm so the left hand side of (1) is the given by m Z X fg dµ = αjβjµ(Dj). X j=1
1/p 1/q Define the numbers xj = αjµ(Dj) , yj = βjµ(Dj) , j = 1, . . . , m. Using these 1 1 numbers, combined with p + q = 1, we clearly have m Z X (4) fg dµ = (xjyj). X j=1 At this point we are going to use the classical H¨olderinequality (see Appendix D), which gives m m 1/p m 1/q X X p X q (xjyj) ≤ (xj) · (yj) , j=1 j=1 j=1 so the equality (4) continues with Z m 1/p m 1/q X p X q fg dµ ≤ (xj) · (yj) = X j=1 j=1 m 1/p m 1/q X p X q = (αj) µ(Dj) · (βj) µ(Dj) = j=1 j=1 Z 1/p Z 1/q p q = f dµ · g dµ . X X
Corollary 3.1. Let (X, A, µ) be a measure space, let K be one of the fields 1 1 R or C, and let p, q ∈ (1, ∞) be such that p + q = 1. For any two functions f ∈ Lp (X, A, µ) and g ∈ Lq (X, A, µ), the product fg belongs to L1 (X, A, µ) and K K K one has the inequality Z
fg dµ ≤ Qp(f) · Qq(g). X §3. Lp spaces (1 ≤ p < ∞) 303
Proof. By H¨older’sinequality, applied to |f| and |g|, we get Z |fg| dµ ≤ Qp(f) · Qq(g) < ∞, X 1 1 so |fg| belongs to L+(X, A, µ), i.e. fg belongs to L (X, A, µ). The desired inequal- R RK ity then follows from the inequality X fg dµ ≤ X |fg| dµ. Notation. Suppose (X, A, µ) is a measure space, K is one of the fields R or C, and p, q ∈ (1, ∞) are such that 1 + 1 = 1. For any pair of functions f ∈ Lp (X, A, µ), p q K g ∈ Lq (X, A, µ), we shall denote the number R fg dµ ∈ simply by hf, gi. With K X K this notation, Corollary 3.1 reads: p q hf, gi ≤ Qp(f) · Qq(g), ∀ f ∈ L (X, A, µ), g ∈ L (X, A, µ). K K
The following result gives an alternative description of the maps Qp, p ∈ (1, ∞). Proposition 3.2. Let (X, A, µ) be a measure space, let K be one of the fields or , let p, q ∈ (1, ∞) be such that 1 + 1 = 1. and let f ∈ Lp (X, A, µ). Then R C p q K one has the equality q (5) Qp(f) = sup hf, gi : g ∈ L (X, A, µ),Qq(g) ≤ 1 . K Proof. Let us denote the right hand side of (5) simply by P (f). By Corollary 3.1, we clearly have the inequality
P (f) ≤ Qp(f).
To prove the other inequality, let us first observe that in the case when Qp(f) = 0, there is nothing to prove, because the above inequality already forces P (f) = 0. Assume then Qp(f) > 0, and define the function h : x → K by |f(x)|p if f(x) 6= 0 f(x) h(x) = 0 if f(x) = 0 It is obvious that h is measurable. Moreover, one has the equality |h| = |f|p−1, which using the equality qp = p + q gives |h|q = |f|qp−q = |f|p. This proves that h ∈ Lq (X, A, µ), as well as the equality K Z 1/q Z 1/q q p p/q Qq(h) = |h| dµ = |f| dµ = Qp(f) . X X −p/q If we define the number α = Qp(f) , then the function g = αh has Qq(g) = 1, so we get Z 1 Z P (f) ≥ fg dµ = fh dµ . p/q X Qp(f) X Notice that fh = |f|p, so the above inequality can be continued with 1 Z Q (f)p P (f) ≥ |f|p dµ = p = Q (f). p/q p/q p Qp(f) X Qp(f) Corollary 3.2. Let (X, A, µ) be a measure space, let K be one of the fields p or , and let p ∈ (1, ∞). Then the Qp is a seminorm on L (X, A, µ), i.e. R C K p (a) Qp(f1 + f2) ≤ Qp(f1) + Qp(f2), ∀ f1, f2 ∈ L (X, A, µ); p K (b) Qp(αf) = |α| · Qp(f), ∀ f ∈ L (X, A, µ), α ∈ . K K 304 CHAPTER IV: INTEGRATION THEORY
p 1 1 Proof. (a). Take q = p−1 , so that p + q = 1. Start with some arbitrary q g ∈ L (X, A, µ), with Qq(g) ≤ 1. Then the functions f1g and f2g belong to K L1 (X, A, µ), and so f g + f g also belongs to L1 (X, A, µ). We then get K 1 2 K Z Z Z
hf1 + f2 , gi = (f1g + f2g) dµ = f1g dµ + f2g dµ ≤ X X X Z Z
≤ f1g dµ + f2g dµ = hf1, gi + hf2, gi . X X Using Proposition 3.2, the above inequality gives
hf1 + f2 , gi ≤ Qp(f1) + Qp(f2). q Since the above inequality holds for all g ∈ L (X, A, µ), with Qq(g) ≤ 1, again by K Proposition 3.2, we get
Qp(f1 + f2) ≤ Qp(f1) + Qp(f2). Property (b) is obvious. Remarks 3.2. Let (X, A, µ) be a measure space, and K be one of the fields R or C, and let p ∈ [1, ∞). p A. If f ∈ L (X, A, µ) and if g : X → K is a measurable function, with g = f, K p µ-a.e., then g ∈ L (x, A, µ), and Qp(g) = Qp(f). K B. If we define the space NK(X, A, µ) = f : X → K : f measurable, f = 0, µ-a.e. , then N (X, A, µ) is a linear subspace of Lp (X, A, µ). In fact one has the equality K K p N (X, A, µ) = f ∈ L (X, A, µ): Qp(f) = 0 . K K p The inclusion “⊂” is trivial. Conversely, f ∈ L (X, A, µ) has Qp(f) = 0, then the K p R measurable function g : X → [0, ∞) defined by g = |f| will have X g dµ = 0. By Exercise 2.3 this forces g = 0, µ-a.e., which clearly gives f = 0, µ-a.e.
Definition. Let (X, A, µ) be a measure space, let K be one of the fields R or C, and let p ∈ [1, ∞). We define Lp (X, A, µ) = Lp (X, A, µ)/N (X, A, µ). K K K In other words, Lp (X, A, µ) is the collection of equivalence classes associated with K the relation “=, µ-a.e.” For a function f ∈ Lp (X, A, µ) we denote by [f] its K equivalence class in Lp (X, A, µ). So the equality [f] = [g] is equivalent to f = g, K p µ-a.e. By the above Remark, there exists a (unique) map k . kp : L (X, A, µ) → K [0, ∞), such that p k[f]kp = Qp(f), ∀ f ∈ L (X, A, µ). K p By the above Remark, it follows that k . kp is a norm on L (X, A, µ). When = K K C the subscript C will be ommitted. Conventions. Let (X, A, µ), K, and p be as above We are going to abuse a bit the notation, by writing f ∈ Lp (X, A, µ), K if f belongs to Lp (X, A, µ). (We will always have in mind the fact that this notation K signifies that f is almost uniquely determined.) Likewise, we are going to replace Qp(f) with kfkp. §3. Lp spaces (1 ≤ p < ∞) 305
1 1 Given p, q ∈ (1, ∞), with p + q = 1, we use the same notation for the (correctly defined) map h .,. i : Lp (X, A, µ) × Lq (X, A, µ) → . K K K Remark 3.3. Let (X, A, µ) be a measure space, let K be either R or C, and let p, q ∈ (1, ∞) be such that 1 + 1 = 1. Given f ∈ Lp (X, A, µ), we define the map p q K q Λf : L (X, A, µ) 3 g 7−→ hf, gi ∈ . K K According to Proposition 3.2, the map Λf is linear, continuous, and has norm q ∗ kΛf k = kfkp. If we denote by L (X, A, µ) the Banach space of all linear continu- K ous maps Lq (X, A, µ) → , then we have a correspondence K K p q ∗ (6) L (X, A, µ) 3 f 7−→ Λf ∈ L (X, A, µ) K K which is linear and isometric. This correspondence will be analyzed later in Section 5.
∞ p Notation. Given a sequence (fn) , and a function f, in L (X, A, µ), we n=1 K are going to write p f = L - lim fn, n→∞ ∞ if (fn)n=1 converges to f in the norm topology, i.e. limn→∞ kfn − fkp = 0. The following technical result is very useful in the study of Lp spaces. Theorem 3.2 (Lp Dominated Convergence Theorem). Let (X, A, µ) be a mea- ∞ sure space, let K be one of the fields R or C, let p ∈ [1, ∞) and let (fn)n=1 be a sequence in Lp (X, A, µ). Assume f : X → K is a measurable function, such that K (i) f = µ-a.e.- limn→∞ fn; (ii) there exists some function g ∈ Lp (X, A, µ), such that K |fn| ≤ |g|, µ-a.e., ∀ n ≥ 1. p Then f ∈ LK(X, A, µ), and one has the equality p f = L - lim fn. n→∞ p p p Proof. Consider the functions ϕn = |fn| , n ≥ 1, and ϕ = |f| , and ψ = |g| . Notice that
• ϕ = µ-a.e.- limn→∞ ϕn; • |ϕn| ≤ ψ, µ-a.e., ∀ n ≥ 1; 1 • ψ ∈ L+(X, A, µ). We can apply the Lebsgue Dominated Convergence Theorem, so we get the fact that ϕ ∈ L1 (X, A, µ), which gives the fact that f ∈ Lp (X, A, µ). Now if we consider + K p p−1 p p the functions ηn = |fn − f| , and η = 2 |g| + |f| , then using Exercise 1, we have:
• 0 = µ-a.e.- limn→∞ ηn; • |ηn| ≤ η, µ-a.e., ∀ n ≥ 1; 1 • η ∈ L+(X, A, µ). Again using the Lebesgue Dominated Convergence Theorem, we get Z lim ηn dµ = 0, n→∞ X 306 CHAPTER IV: INTEGRATION THEORY which means that p lim |fn − f| dµ, n→∞ p p which reads limn→∞ kfn − fkp = 0, so we clearly have f = L - limn→∞ fn. Our main goal is to prove that the Lp spaces are Banach spaces. The key result which gives this, but also has some other interesting consequences, is the following.
Theorem 3.3. Let (X, A, µ) be a measure space, let K be one of the fields R ∞ p or , let p ∈ [1, ∞) and let (fk) be a sequence in L (X, A, µ), such that C k=1 K ∞ X kfkkp < ∞. k=1 ∞ p Consider the sequence (gn) ⊂ L (X, A, µ) of partial sums: n=1 K n X gn = fk, n ≥ 1. k=1 Then there exists a function g ∈ Lp (X, A, µ), such that K (a) g = µ-a.e.- limn→∞ gn; p (b) g = L - limn→∞ gn. P∞ Proof. Denote the sum k=1 kfnkp simply by S. For each integer n ≥ 1, define the function hn : X → [0, ∞], by n X hn(x) = |fn(x)|, ∀ x ∈ X. k=1 p It is clear that hn ∈ L (X, A, µ), and we also have R n X (7) khnkp ≤ kfkkp ≤ S, ∀ n ≥ 1. k=1
Notice also that 0 ≤ h1 ≤ h2 ≤ ... . Define then the function h : X → [0, ∞] by
h(x) = lim hn(x), ∀ x ∈ X. n→∞ Claim: h ∈ Lp (X, A, µ). R p p To prove this fact, we define the functions ϕ = h and ϕn = (hn) , n ≥ 1. Notice that, we have
• 0 ≤ ϕ1 ≤ ϕ2 ≤ ... ; • ϕ ∈ L1 (X, A, µ), ∀ n ≥ 1; n R • limn→∞ ϕn(x) = ϕ(x), ∀ x ∈ X; R p • sup X ϕn dµ : n ≥ 1 ≤ M . Using the Lebesgue Monotone Convergence Theorem, it then follows that hp = ϕ ∈ L1 (X, A, µ), so h indeed belongs to Lp (X, A, µ).(7) gives R R Let us consider now the set N = {x ∈ X : h(x) = ∞}. On the one hand, since we also have N = {x ∈ X : ϕ(x) < ∞}, and ϕ is integrable, it follows that N ∈ A, and µ(N) = 0. On the other hand, since ∞ X |fn(x)| = h(x) < ∞, ∀ x ∈ X r N, k=1 §3. Lp spaces (1 ≤ p < ∞) 307
P∞ it follows that, for each x ∈ X r N, the series k=1 fk(x) is convergent. Let us define then g : X → K by P∞ f (x) if x ∈ X N g(x) = k=1 k r 0 if x ∈ N It is obvious that g is measurable, and we have
g = µ-a.e.- lim gn. n→∞ Since we have n n X X |gn| = fk ≤ |fk| = hn ≤ h, ∀ n ≥ 1,
k=1 k=1 using the Claim, and Theorem 3.2, it follows that g indeed belongs to Lp (X, A, µ) p K and we also have the equality g = L - limn→∞ gn. Corollary 3.3. Let (X, A, µ) be a measure space, and let K be one of the fields or . Then Lp (X, A, µ) is a Banach space, for each p ∈ [1, ∞). R C K Proof. This is immediate from the above result, combined with the complete- ness criterion given by Remark II.3.1. Another interesting consequence of Theorem 3.3 is the following.
Corollary 3.4. Let (X, A, µ) be a measure space, let K be one of the fields p ∞ R or C, let p ∈ [1, ∞), and let f ∈ L (X, A, µ). Any sequence (fn)n=1 ⊂∈ p p K ∞ L (X, A, µ), with f = L - limn→∞ fn, has a subsequence (fn ) such that f = K k k=1 µ-a.e.- limk→∞ fnk . Proof. Without any loss of generality, we can assume that f = 0, so that we have lim kfnkp = 0. n→∞ Choose then integers 1 ≤ n1 < n2 < . . . , such that 1 kf k ≤ , ∀ k ≥ 1. nk p 2k If we define the functions m X gm = fnk , k=1 then by Theorem 3.3, it follows that there exists some g ∈ Lp (X, A, µ), such that K g = µ-a.e.- lim gm. m→∞ This measn that there exists some N ∈ A, with µ(N) = 0, such that
lim gm(x) = g(x), ∀ x ∈ X N. m→∞ r P∞ In other words, for each x ∈ X r N, the series k=1 fnk (x) is convergent (to some number g(x) ∈ K). In particular, it follows that
lim fnk (x) = 0, ∀ x ∈ X r N, k→∞ so we indeed have 0 = µ-a.e.- limk→∞ fnk . The following result collects some properties of Lp spaces in the case when the undelrying measure space is finite. 308 CHAPTER IV: INTEGRATION THEORY
Proposition 3.3. Suppose (X, A, µ) is a finite measure space, and K is one of the fields R or C. (i) If f : X → is a bounded measurable function, then f ∈ Lp (X, A, µ), K K ∀ p ∈ [1, ∞). (ii) For any p, q ∈ [1, ∞), with p < q, one has the inclusion Lq (X, A, µ) ⊂ K Lp (X, A, µ). So taking quotients by N (X, A, µ), one gets an inclusion of K K vector spaces (8) Lq (X, A, µ) ,→ Lp (X, A, µ). K K Moreover the above inclusion is a continuous linear map.
Proof. The key property that we are going to use here is the fact that the constant function 1 = κ X is µ-integrable (being elementary µ-integrable). (i). This part is pretty clear, because if we start with a bounded measurable p function f : X → K and we take M = supx∈X |f(x)|, then the inequality |f| ≤ M p · 1, combined with the integrability of 1, will force the inetgrability of |f|p, i.e. f ∈ Lp (X, A, µ). K (ii). Fix 1 ≤ p < q < ∞, as well as a function f ∈ Lq (X, A, µ). Consider the K number r = q > 1, and s = r , so that we have 1 + 1 = 1. Since f ∈ Lq (X, A, µ), p r−1 r s K the function g = |f|q belongs to L1 (X, A, µ). If we define then the function h = |f|p, K then we obviously have g = hr, so we get the fact that h belongs to Lr (X, A, µ). K Using part (i), we get the fact that 1 ∈ Ls (X, A, µ), so by Corollary 3.1, it follows K that h = 1 · h belongs to L1 (X, A, µ), and moreover, one has the inequality K Z Z Z 1/s Z 1/r p r |f| dµ = h dµ ≤ k1ks · khkr = 1 dµ · h dµ = X X X X Z 1/r 1/s q 1/s q/r = µ(X) · |f| dµ = µ(X) · kfkq . X On the one hand, this inequality proves that f ∈ Lp (X, A, µ). On the other hand, K this also gives the inequality