Miroslav Pavlovi´c
Introduction to Function Spaces on the Disk
Matematiˇckiinstitut SANU Beograd 2004 Miroslav Pavlovi´c Faculty of Mathematics Belgrade University 11001 Belgrade, p.p. 550 Serbia
Typeset by the author in LATEX. c M. Pavlovi´cand Matematiˇckiinstitut SANU. All rights reserved. No part of this publication may be reproduced, stored in a re- trieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without prior permission of the copyright owner. To Mirjana and Pavle Contents
Preface 6
1 Quasi-Banach spaces 7 1.1 Quasinorm and p-norm ...... 7 1.2 Linear operators ...... 10 1.3 Open mapping, closed graph ...... 12 1.4 F -spaces ...... 14 1.5 The spaces `p ...... 16
2 Interpolation and maximal functions 18 2.1 The Riesz/Thorin theorem ...... 18 2.2 Weak Lp-spaces and Marcinkiewicz’s theorem ...... 22 2.3 Maximal function and Lebesgue points ...... 25 2.4 The Rademacher functions ...... 28 2.5 Nikishin’s theorem ...... 30 2.6 Nikishin and Stein’s theorem ...... 34 2.7 Banach’s principle ...... 36
3 Poisson integral 38 3.1 Harmonic functions ...... 38 3.2 Borel measures and the space h1 ...... 42 3.3 Radial limits of the Poisson integral ...... 45 p p 3.4 The spaces h and L (T) ...... 49 3.5 The Littlewood/Paley theorem ...... 51 3.6 Harmonic Schwarz lemma ...... 53
4 Subharmonic functions 55 4.1 Basic properties ...... 55 4.2 Properties of the mean values ...... 60 4.3 Integral means of univalent functions ...... 62 4.4 The subordination principle ...... 64 4.5 The Riesz measure ...... 67 4.6 A Littlewood/Paley theorem ...... 70
5 Classical Hardy spaces 73 5.1 Basic properties ...... 73 5.2 The space H1 ...... 78 5.3 Blaschke product ...... 80 5.4 Inner and outer functions ...... 85 5.5 Composition with inner functions ...... 88
4 6 Conjugate functions 92 6.1 Harmonic conjugates ...... 92 6.2 Riesz projection theorem ...... 96 6.3 Applications of the projection theorem ...... 99 6.4 Aleksandrov’s theorem ...... 100 6.5 Strong convergence in H1 ...... 101 6.6 Quasiconformal harmonic homeomorphisms ...... 104 7 Maximal functions, interpolation, coefficients 110 7.1 Maximal theorems ...... 110 7.2 Maximal characterization of Hp ...... 114 7.3 “Smooth” Ces`aromeans ...... 116 7.4 Interpolation of operators on Hardy spaces ...... 119 7.5 On the Hardy/Littlewood inequality ...... 123 7.6 On the dual of H1 ...... 127 8 Bergman spaces: Atomic decomposition 129 8.1 Bergman spaces ...... 129 8.2 Reproductive kernels ...... 130 8.3 The Coifman/Rochberg theorem ...... 133 8.4 Coefficients of vector-valued functions ...... 137 9 Subharmonic behavior 143 9.1 Subharmonic behavior and Bergman spaces ...... 143 9.2 The space hp, p < 1 ...... 147 9.3 Subharmonic behavior of smooth functions ...... 148 10 Lipschitz spaces 154 10.1 Lipschitz spaces of first order ...... 154 10.2 Lipschitz condition for the modulus ...... 158 10.3 Lipschitz spaces of higher order ...... 160 10.4 Growth of derivatives ...... 162 11 Lacunary series 170 11.1 Lacunary series in Hp ...... 170 11.2 Karamata’s theorem and Littlewood’s theorem ...... 172 11.3 Lacunary series in C[0, 1] ...... 176 11.4 Lp-integrability of lacunary series on (0, 1) ...... 178 Bibliography 182 Index 187
5 Preface
This text contains some facts, ideas, and techniques that can help or motivate the reader to read books and papers on various classes of functions on the disk and the circle. The reader will find several well known, fundamental theorems as well as a number of the author’s results, and new proofs or extensions of known results. Most of assertions are proved, although sometimes in a rather concise way. A number of assertions are named by Exercise, while certain assertions are collected in Miscellaneous or Remarks; most of them can be treated by the reader as exercises. The reader is assumed to have good foundation in Lebesgue integration, complex analysis, functional analysis, and Fourier series, which means in particular that he/she had a good training through these areas. It is of some importance that the reader can accept the following: Throughout this text, constants are often given without computing their exact values. In the course of a proof, the value of a constant C may change from one occurrence to the next. Thus, the inequality 2C 6 C is true even if C > 0.
Acknowledgment I want to express my appreciation to those who pointed out to me several typos as well as suggestions for improvement. In particular, I want to mention the detailed comments from Professor Miroljub Jevti´cand Professor MiloˇsArsenovi´c. I also want to express my deep gratitude to Mathematical Institute of Serbian Academy of Arts and Sciences and to the Faculty of Economics, Finance and Ad- ministration, Belgrade, for financial support.
Cvetke and Belgrade, 20 March – 22 April 2003.
6 1 Quasi-Banach spaces
In this text we mention only two examples of locally convex spaces: h(Ω), the space of all complex-valued functions harmonic in Ω ⊂ C, and its subspace H(Ω) consisting of analytic functions. For our purposes, the class of locally bounded spaces is more important. By Kolmogorov’s theorem, the intersection of this class with the class of locally convex spaces consists precisely of normable spaces. The topology of a locally bounded space can be described by a “quasinorm”; conversely, a “quasinormable” space is locally bounded. In the class of quasi-Banach spaces, there hold the “basic principles of functional analysis.” A concise discussion of these principles is contained in Section 1.3 and, in the context of F -spaces, in 1.4. Some properties of `p are stated, without proofs, in Section 1.5.
1.1 Quasinorm and p-norm
Let X be a (complex) vector space. A functional k · k: X 7→ [0, ∞) is called a quasinorm if the following conditions hold:
kf + gk 6 K(kfk + kgk), (1.1) where K (> 1) is a constant independent of f, g ∈ X; and kfk > 0 (f 6= 0), kλfk = |λ| kfk (λ ∈ C). (1.2) The couple (X, k · k) is then called a quasinormed space. The standard example are Lebesgue spaces: if µ is a positive measure defined on a sigma-algebra of subsets p p p of a set S, then the space L (µ) = L (S, µ) = L (S) (0 < p 6 ∞) consists of all measurable complex-valued functions f on S for which Z 1/p p kfk = kfkp = |f| dµ < ∞, S with the usual interpretation in the case p = ∞. When p < 1, this functional is not a norm but satisfies (1.1) with K = 21/p−1 and, moreover, p p p kf + gk 6 kfk + kgk . (1.3) A functional satisfying (1.3) and (1.2) is called a p-norm. From (1.3) it follows that p p p p kf1 + f2 + ··· + fnk 6 kf1k + kf2k + ··· + kfnk . A similar inequality holds in the general case although a quasinorm need not be a p-norm for any p.
7 8 1 Quasi-Banach spaces
1.1.1 Lemma If k · k is a quasinorm on X, then there exist constants p ∈ (0, 1) and C 6 4 such that
p p p p kf1 + f2 + ··· + fnk 6 C kf1k + kf2k + ··· + kfnk (1.4)
for every finite sequence f1, . . . , fn ∈ X.
From this one can deduce that X is “p-normable” for some p > 0.
1.1.2 Theorem (Aoki/Rolewicz) If k · k is a quasi-norm on X, then there is p > 0 and a p-norm ||| · ||| on X such that kfk/C 6 |||f||| 6 kfk, f ∈ X, where C is independent of f.
The p-norm is defined by
n 1/p n n X p X o |||f||| = inf kfjk : f = fj , j=1 j=1
where the infimum is taken over all finite sequences {fj} ⊂ X. Proof of Lemma. Take p so that (2K)p = 2, where K is the constant from (1.1), and define the functional H on X in the following way: H(0) = 0 and p k k−1 p k H(f) = 2 if 2 6 kfk < 2 for some integer k. Since p p p kfk 6 H(f) 6 2kfk , (1.5) inequality (1.4) is a consequence of the inequality
p p p kf1 + ··· + fnk 6 2 H(f1) + ··· + H(fn) .
The latter holds for n = 1. If n > 2, we consider two cases. (i) Let the summands H(fj) be mutually distinct and arranged in decreasing order. Then we have
p 1−j p H(fj) 6 2 H(f1) (1 6 j 6 n). (1.6)
From (1.1) it follows that kf + gk 6 2K max{kfk, kgk}, whence, by (1.5),
j kf1 + ··· + fnk 6 max{(2K) H(fj) : 1 6 j 6 n}.
p p Because of (1.6) and the choice of p, it turns out that kf1 + ··· + fnk 6 2H(f1) , which implies the required inequality. (ii) Assume that the sequence H(fj) contains at least two equal elements; for m m−1 p p m example, let H(f1) = H(f2) = 2 . Then 2 6 kfk1, kfk2 < 2 . Since
p p p p p p m+1 kf1 + f2k 6 (2K) max{kf1k , kf2k } = 2 max{kf1k , kf2k } 6 2 , 1.1 Quasinorm and p-norm 9
p m+1 p p we have H(f1 +f2) 6 2 = H(f1) +H(f2) . This and the induction hypothesis imply
p p p k(f1 + f2) + ··· + fnk 6 2 H(f1 + f2) + ··· + H(fn) p p p 6 2 H(f1) + H(f2) + ··· + H(fn) p p p 6 2 kf1k + kf2k + ··· + kfnk . 2
The space X is endowed with the structure of a topological vector space by declaring “a neighborhood of zero” to mean “a set containing {f : kfk < 1/n} for some n = 1, 2,....”(∗) This topology is metrizable, according to the Aoki/Rolewicz theorem; namely, if a p-norm |||· ||| is equivalent to the original quasinorm, then the formula d(f, g) = |||f − g|||p defines a metric that induces the same topology. The space X need not be locally convex(†); it is locally bounded because the neighborhoods {f : kfk < 1/n} are bounded in the sense of theory of topologi- cal vector spaces. On the other hand, it is known that a locally bounded vector topology can be described by a quasinorm (cf. [87]).
1.1.3 Exercise On the space Lp(0, 1) (0 < p < 1), there is not an equivalent p q-norm for 1 > q > p. The same holds for the sequence space ` .
Quasi-Banach and p-Banach spaces A quasinormed space X is called a quasi- Banach space if it is complete, which means that a sequence {fn} ⊂ X is convergent if (and only if) kfm − fnk → 0 as m, n → ∞. If X is p-normed and complete, then X is said to be p-Banach.
1.1.4 Proposition Let X be p-normed. Then X is complete iff convergence of the P p P P series kfnk implies convergence of fn. If X is complete and fn converges, P∞ p P∞ p then there holds the inequality n=1 fn 6 n=1 kfnk .
1.1.5 Proposition Let {fjk} (j, k > 1) be a double sequence in a p-Banach ∞ ∞ ∞ ∞ P p P P P P space X. If kfjkk < ∞, then the iterated series fjk and fjk j,k j=1 k=1 k=1 j=1 converge and have the same sum.
1.1.6 Exercise (Peck [81]) Let (X, k · k) be a complex p-normed space of dimen- sion n < ∞. By a theorem of Carathe´odory, every point from the convex hull of the unit ball can be represented as a convex combination of 2n points from the ball (because the real dimension is 2n). This can be used to show that there exists a 1/p−1 1/p−1 norm k · kn on X such that kfkn 6 kfk 6 (2n) kfkn. Note that (2n) is not the best constant, at least for n = 1.
(∗)The “ball” {f : kfk < 1} need not be an open set. Therefore a quasinorm, in contrast to a p-norm, need not be continuous. (†)For example, the space Lp(0, 1), 0 < p < 1, is not locally convex. 10 1 Quasi-Banach spaces
1.2 Linear operators
In the class of quasinormed spaces, continuity and boundedness of linear operators are equivalent. In the space L(X,Y ), of continuous linear operators from X to Y , the quasinorm is defined by kT k := sup kT fk. kfk61 The space L(X,Y ) is complete iff so is Y . An operator T ∈ L(X,Y ) is said to be invertible if it is bijective and its inverse is continuous.
1.2.1 Proposition Let X be a quasi-Banach space and T ∈ L(X,X) such an operator that kI − T k < 1, where I is the identity operator. Then T is invertible −1 p p −1 and there holds the inequality kT k 6 C 1 − kI − T k , where C and p are the constants from Lemma 1.1.1.
P∞ k Proof. Consider the series k=0(I − T ) . From inequality (1.4), applied to the space L(X,X), we get n p n X k X pk (I − T ) C kI − T k . 6 k=m k=m Therefore the series converges; denote its sum by S. Then we have ST = TS = I p P∞ pk and kSk 6 C k=0 kI − T k , which was to be proved. 2 The following statement is important although its proof is very simple.
1.2.2 Theorem Let X and Y be quasi-Banach spaces and E a dense subset of X. Let Tn ∈ L(X,Y ) be a sequence such that supn kTnk < ∞. If the limit limn→∞ Tnf exists for all f ∈ E, then it exists for all f ∈ X and the operator T f := limn→∞ Tnf is linear and continuous.
1.2.3 Exercise Let T be a continuous linear operator from a quasi-normed space X to quasi-normed space Y , and let E be a subset of X such that the linear hull of E is dense in X. If Y0 is a closed subspace of Y such that T (E) ⊂ Y0, then T (X) ⊂ Y0.
q-Banach envelope In the general case, a quasi-Banach space is embedded into many q-Banach spaces; the “smallest” of them is called the q-Banach envelope of X. To be more precise, define the functional Nq (0 < q 6 1) on X in the following way: 1/q X q X Nq(f) = inf kfjk : fj = f , (1.7) j j
where the infimum is taken over the set of finite sequences {fj} ⊂ X. This func- tional is a “ q-seminorm”, i.e., satisfies the conditions
q q q {Nq(f + g)} 6 {Nq(f)} + {Nq(g)} ,Nq(λf) = |λ| Nq(f). 1.2 Linear operators 11
The set {f ∈ X : Nq(f) = 0} =: Ker Nq is a closed subspace of X. If Ker Nq = {0}, i.e., if Nq is a q-norm, then the “completion” of the space (X,Nq) is a q- Banach space and is called the q-Banach envelope of X; denote it by [X]q. According to the Aoki/Rolewicz theorem, always there exists a q such that X = p [X]q, with equivalent quasinorms. A simple but illustrative example is X = ` ; q then [X]q = ` (p < q 6 1) and the corresponding quasinorms are equal (see 1.2.8 and 1.2.6). It is much more difficult to identify the envelops of the Hardy space Hp (see Theorem 8.3.5). The importance of the space [X]q lies in the fact that every operator from X to an arbitrary q-Banach space extends to an operator on [X]q; more precisely:
1.2.4 Proposition Let X possess the q-Banach envelope ( i.e., let Nq be a q- norm) and let Y be an arbitrary q-Banach space. If T ∈ L(X,Y ), then there exists a unique operator S ∈ L([X]q,Y ) such that Sf = T f for all f ∈ X.
The following fact is useful in identifying the envelope:
1.2.5 Proposition Let X be continuously embedded into a q-Banach space Y in P∞ such a way that every f ∈ Y can be represented as f = n=1 fn, fn ∈ X, with P∞ q q n=1 kfnkX 6 CkfkY , where C does not depend of f. Then Y = [X]q (with equivalent quasinorms).
Proof. The space X is a dense subset of Y . Since X is dense in [X]q, we see that it suffices to prove that the q-norms k · kY and Nq are equivalent on X. P Let f = fj, where {fj} is a finite sequence in X. Then
q X q q X q kfkY 6 kfjkY 6 C kfjkX .
Taking the infimum over {fj} ⊂ X, we get kfkY 6 CNq(f). (Incidentally this shows that Nq is a q-norm.) P∞ To prove the reverse inequality, let f ∈ X. Then f = n=1 fn, where P∞ q q P∞ q q n=1 kfnkX 6 CkfkY . Since Nq(fn) 6 kfnkX , we get n=1 Nq(fn) 6 CkfkY . P q P q q Hence fn converges to f in [X]q to f, and Nq(f) 6 Nq(fn) 6 CkfkY , which completes the proof. 2
Miscellaneous
1.2.6 The functional Nq is a q-norm on X iff there is a q-Banach space Y such that L(X,Y ) separates points in X. The latter means that for every f 6= 0 there is T ∈ L(X,Y ) with T f 6= 0.
1.2.7 The dual of a quasi-Banach space X is X∗ = L(X, C). If X∗ separates points in X, then the Banach envelope of X is equal to the completion of the ∗ normed space (X,N), where N(f) = sup{|Λf| :Λ ∈ X , kΛk 6 1}. 12 1 Quasi-Banach spaces
p 1.2.8 If X = L (0, 1), 0 < p < 1 and 1 > q > p, then Nq(f) = 0 for all f ∈ X. This is connected with the relation L(X,Y ) = {0}, where Y is an arbitrary q- Banach space.
1.3 Open mapping, closed graph
Let X,Y be a pair of complete spaces such that X is a dense subset of Y , which means that each member of Y can be approximated by members of X. This does not imply that members of a ball K1 ⊂ Y can be approximated by members of any fixed ball K2 ⊂ X, i.e., that K2 ⊃ K1.(K2 = the closure of K2 in the topology of Y .) Namely, as the following theorem states, if K2 ⊃ K1, then X = Y .
1.3.1 Theorem Let X and Y be quasi-Banach spaces. Let T ∈ L(X,Y ) be such that the closure of T (B), where B = {f ∈ X : kfk < 1}, contains a neighborhood of zero in Y . Then the mapping T : X 7→ Y is open and the operator Tb : X/ Ker T 7→ Y is invertible.
A mapping is open if it maps open sets onto open sets. If T ∈ L(X,Y ), then the operator Tb ∈ L(X/ Ker T,Y ) is defined by Tb(f + Ker T ) = T f. The quasinorm in X/Z is defined by kf + Zk = inf{kf − gk : g ∈ Z}. Proof. Because of the Aoki/Rolewicz theorem, we can suppose that X and Y are p-normed for some p < 1. Let δ > 0 and U = {f ∈ X : kfkp < δ}. From the p hypotheses of the theorem it follows that there are balls Un = {f ∈ X : kfk < δn} p and Vn = {g ∈ Y : kgk < εn}, n > 1, limn εn = 0, such that
Vn ⊂ T (Un), (1.8) ∞ X δn < δ. (1.9) n=1
We will prove that V1 ⊂ T (U); then it will be easy to complete the proof. Let g ∈ V1. It follows from (1.8) that there exists f1 ∈ U1 such that g−T f1 ∈ V2. Similarly, there is f2 ∈ U2 such that (g − T f1) − T f2 ∈ V3. Continuing in this way, Pn we get the sequence of relations g − k=1 T fk ∈ Vn+1, fk ∈ Uk. It follows that P∞ p P g = n=1 T fn. And since kfkk < δk, inequality (1.9) implies that the series k fk p P∞ p converges; denote its sum by f. Thus we have g = T f and kfk 6 n=1 kfnk < δ, which was to be proved. 2
The open mapping theorem
1.3.2 Theorem Let X and Y be complete spaces and T ∈ L(X,Y ). If T is onto, then T is open. In particular, T is invertible if it is onto and one-to-one.
Proof. Let U be the unit ball in X. Choose a zero-neighborhood W so that W − W ⊂ U. By the hypothesis, the space Y is the union of the sets T (nW ) 1.3 Open mapping, closed graph 13
(n > 1). By Baire’s category theorem, the closure at least of one of them has nonempty interior, which implies that T (W ) contains an open set V 6= ∅. Then V − V is a neighborhood of zero and there hold the inclusions
V − V ⊂ T (W ) − T (W ) ⊂ T (W ) − T (W ) ⊂ T (U).
Now the desired result follows from Theorem 1.3.1. 2
1.3.3 Exercise A subspace E of a quasi-Banach space X is said to have the Hahn/Banach extension property (HBEP) if each λ ∈ E∗ has an extension Λ ∈ X∗. If E has HBEP, then Λ can be chosen so that kΛkX∗ 6 CkλkE∗ , where C is independent of λ.
As a special case of the open mapping theorem we have:
1.3.4 Theorem (on equivalent norms) Let k · k1 and k · k2 be quasinorms on a a vector space X, and let kfk1 6 kfk2 for every f ∈ X. If X is complete with respect to both quasinorms, then there exists a constant C < ∞ such that kfk2 6 Ckfk1 for all f ∈ X.
The uniform boundedness principle
1.3.5 Theorem (Banach/Steinhauss) Let X and Y be quasi-Banach spaces, and let {As} ⊂ L(X,Y ) be a family of operators. If sups kAsfk < ∞, for all f ∈ X, then sups kAsk < ∞. In particular the limit of an everywhere convergent sequence of bounded operators is a bounded operator.
Proof. Let kfk2 = kfkX + sups kAsfkY (f ∈ X). From the hypotheses it follows that the functional k · k2 is a quasinorm on X. It is not hard to prove that the space (X, k · k2) is complete and therefore the conclusion follows from Theorem 1.3.4. 2
1.3.6 Corollary Let B : X×Y 7→ Z be a separately continuous bilinear operator, where X,Y,Z are quasi-Banach spaces. Then there is a constant C < ∞ such that kB(f, g)kZ 6 CkfkX kgkY for all f ∈ X, g ∈ Y . “Separately continuous” means that every operator of the form f 7→ B(f, g) (f ∈ X) or g 7→ B(f, g)(g ∈ Y ) is continuous.
Shauder basis
A sequence {en : n > 1} in a quasi-Banach space X is called a Shauder basis of X if to each f ∈ X there corresponds a unique scalar sequence {λn(f)} such that P∞ f = n=1 λn(f)en, the series converging in the topology of X.
1.3.7 Proposition If {en : n > 1} is a Shauder basis of X, then the function- als λn are continuous and the linear operators Sn : X 7→ X defined by Snf = Pn k=1 λk(f)ek are uniformly bounded. 14 1 Quasi-Banach spaces
Proof. Let |||f||| = supn kSnfk. Since kf − Snfk → 0, we have kfk 6 K|||f|||, where K is the constant from (1.1), and therefore, by Theorem 1.3.4, it is enough ∞ to prove that X is complete with respect to the quasinorm |||· |||. Let {fj}j=1 be a Cauchy sequence in ||| · |||. This implies, because of the completeness of k · k, that there is a sequence gn such that
sup kSnfj − gnk → 0 as j → ∞, (1.10) n>1
∞ and that for every k the sequence {λk(fj)}j=1 converges; let γk = limj λk(fj). Since the functional λk is linear and the space Sn(X) is finite-dimensional, it follows that λk(gn) = limj λk(Snfj) = limj λk(fj) = γk for k 6 n, and λk(gn) = 0 for k > n. Pn Hence gn = k=1 γkek. On the other hand, (1.10) implies that {gn} converges in P∞ k · k to some g. Thus g = n=1 γnen, whence gn = Sng. Returning to (1.10) we see that |||fj − g||| → 0 as j → ∞, which was to be proved. 2
1.3.8 Exercise A sequence {en : n > 1} of nonzero vectors in a quasi-Banach space X is a Shauder basis of X if and only if the following conditions are satisfied: (a) The closed linear span of {en} is X; (b) There is a constant K such that Pm Pn k j=0 ajejk 6 Kk j=0 ajejk for all scalar sequences {aj} and m < n.
The closed graph theorem 1.3.9 Theorem Let T : X 7→ Y be a linear operator, where X and Y are complete spaces. Then T is continuous if the following condition is satisfied: For every sequence {fn} ⊂ X such that fn tends to 0 ∈ X and T fn tends to some g ∈ Y we have g = 0.
Proof. It follows from the hypotheses that X is complete with respect to the quasinorm kfk2 = kfkX + kT fkY so we can apply Theorem 1.3.4. 2
1.4 F -spaces
The closed graph theorem remains valid in a wider class of spaces, the so called F -spaces. By the term “F -norm” on a vector space X we mean a functional N : X 7→ [0, ∞) satisfying: (a) N(f) = 0 =⇒ f = 0; (b) N(f +g) 6 N(f)+N(g); (c) N(λf) 6 N(f) for |λ| 6 1, and lim N(λf) = 0. (1.11) λ→0 The formula d(f, g) = N(f − g) defines an invariant metric on X and the topology induced by this metric is vectorial, which means in particular that mul- tiplication by scalars is continuous on C × X. In the case where the metric d is complete, the space X is called an F -space. A p-Banach space can be treated as an F -space by introducing the F -norm p N(f) = kfkX . 1.4 F -spaces 15
Besides, if X is a locally convex space whose topology is given by a sequence of seminorms pn (n = 1, 2,... ), then the formula
∞ −n X 2 pn(f) N(f) = 1 + p (f) n=1 n defines an F -norm on X that induces the same topology. As an example one can take the space h(D) consisting of all harmonic functions on the unit disk D ⊂ C as well as its analytic analogue H(D). These spaces are endowed with the topology of uniform convergence on compact subsets of D. This topology can be given by the sequence of norms p (f) = max |f(z)|, where r ∈ (0, 1) is an arbitrary n |z|6rn n sequence tending to 1. Concerning the requirement (1.11), which guarantees the continuity of scalar multiplication, it is useful to consider the case of the Nevanlinna class N (D). This class consists of the functions f ∈ H(D) for which 1 Z π N(f) := sup log 1 + |f(reiθ)| dθ < ∞. (1.12) 0 The functional N induces a complete invariant metric on the vector space N (D) but (1.11) is not satisfied. For example, 1 + z if f(z) = exp , then lim N(εf) = 1. 1 − z ε→0 The set on which (1.11) holds coincides with the Smirnov class N +(D) consisting iθ of those f ∈ N (D) for which the family θ 7→ log 1 + |f(re )| , 0 < r < 1, is uniformly integrable. This and other topological properties of the Nevanlinna class are discussed in [90]. The Nevanlinna theory is exposed in, e.g., [100, 18, 22]. In the class of F -spaces, there holds the open mapping theorem 1.3.2 as well (the formulation is the same). Theorem 1.3.1 is now stated as follows: Let X and Y be F -spaces and T ∈ L(X,Y ). If for each neighborhood U of 0 ∈ X the set T (U) contains a neighborhood of 0 ∈ Y , then T (X) = Y and T is open. The proof is identical to the proof of Theorem 1.3.1 up to the obvious changes of notation. The property (1.11) is used only in proving that T (X) = Y . As a special case of the open mapping theorem, we have the following gen- eralization of Theorem 1.3.4, from which the closed graph theorem is obtained immediately. 1.4.1 Theorem Let N1 and N2 be F -norms on a vector space X, and let N1(f) 6 N2(f) for all f ∈ X. If X is complete with respect to both of them, then every sequence {fn} ⊂ X satisfies the condition: N1(fn) → 0 =⇒ N2(fn) → 0. 1.4.2 Exercise Let X and Y be quasi-Banach spaces “continuously” contained ∞ in H(D). A scalar sequence µ = {µn}0 is called a multiplier from X to Y if 16 1 Quasi-Banach spaces P∞ n for every f ∈ X the series (µ ∗ f)(z) = n=0 µnfb(n)z converges in D and µ ∗ f belongs to Y . If µ is a multiplier, then there is a constant C < ∞ such that kµ ∗ fkY 6 CkfkX for all f ∈ X. In particular if Y = X and X contains all the polynomials, then the sequence µ is bounded. 1.4.3 Exercise Let Ts : X 7→ Y be a family of operators between F -spaces X and Y . If sups NY (Tsf/n) → 0, as n → ∞, for every f ∈ X, then the following holds: If NX (fn) → 0, where fn ∈ X, then sups NY (Tsfn) → 0. 1.5 The spaces `p The simplest examples of infinite-dimensional (quasi-)Banach spaces are `p (0 < ∞ p 6 ∞) and c0 = {a ∈ ` : lim an = 0}. They play an exceptional role in many areas of analysis and especially in geometry of Banach spaces; we refer the reader to [53]. Their importance for the theory of spaces of analytic functions lies in the following fact: 1.5.1 Theorem For every p ∈ (0, ∞) the Bergman space Ap, p p A = {f ∈ L (D): f analytic in D}, D = {z : |z| < 1}, is isomorphic with `p. In the case 1 < p < ∞, this was proved by Lindenstrauss and Pe lczy´nski [50] by using Theorem 1.5.5(b) below; an explicit isomorphism was constructed in [59] (p > 1) and [97](p 6 1). The case of mixed norm spaces was considered in [97, 59]. p Here we list a few properties of ` and c0. A slight modification of the proof of Theorem 1.3.1 yields the following: 1.5.2 Theorem If X and Y are p-Banach spaces and T ∈ L(X,Y ) is such that kT k 6 1 and T (BX ) ⊃ BY , where B indicates the open unit ball, then the spaces Y and X/ Ker T are isometrically isomorphic. In particular: 1.5.3 Theorem Every separable p-Banach space (0 < p 6 1) is isometrically isomorphic to some quotient space of `p. p ∞ P∞ Proof. Define the operator T : ` 7→ X, by T ({an}1 ) = n=1 anfn, where {fn} is a dense subset of the unit ball of X. 2 1.5.4 Exercise Let Y be a subspace of `p such that Lp(0, 1) is isometric to `p/Y . If a functional Λ ∈ (`p)∗ = `∞ vanishes on Y , then it vanishes everywhere on `p. The proof of the following is much more delicate (cf. [35, 52]). 1.5 The spaces `p 17 p 1.5.5 Theorem Let X be either c0 or ` , 0 < p 6 ∞. Then: (a) Every closed subspace (of infinite dimension) of X contains an isomorphic copy of X. And: (b) Every complemented subspace of X is isomorphic to X. In the case 1 6 p < ∞ both assertions were proved Pe lczy´nski [82], while the case p < 1 was discussed by Stiles [96, 95]. Assertion (b) for p = ∞ was proved by Lindenstrauss [49]. The fact that the spaces `p and `q (p 6= q) are not isomorphic is contained in the following assertion of Pitt (p > 1, cf. [52, Theorem I.2.7]) and Stiles [96](p < 1, cf. [35, Proposition 2.9]): 1.5.6 Theorem Every bounded linear operator from `q to `p (0 < p < q < ∞) is p compact; the same is true for linear operators from c0 to ` . (Moreover, if p < q 6 1, then every operator from a q-Banach space to `p (p < q) is compact.) Consequently, p no space of the class ` , 0 < p < ∞, and c0 is isomorphic to a subspace of another member of this class. p On the other hand, if 0 < q < p 6 2, then L (0, 1) is isometrically isomorphic to a subspace of Lq(0, 1) (see [52, Theorem II.3.4]). 2 Lebesgue spaces: Interpolation and maximal functions Thorin’s proof of two variants of the Riesz/Thorin theorem is in Section 2.1; as an example, we prove the Hausdorff/Young theorem. The simplest version of Marcinkiewicz’s interpolation theorem is proved in Section 2.2; as an example, we prove Paley’s theorem on Fourier coefficients (Theorem 2.2.5). Section 2.3 con- tains the Hardy/Littlewood maximal theorem with application to Lebesgue points. In Section 2.4 we prove Khintchine’s inequality, which says that the subspace of Lp(0, 1), 0 < p < ∞, spanned by the Rademacher functions is isomorphic with `2. The rest of this chapter is devoted to the proof of Nikishin’s theorem. This theorem states, in particular, that if a bounded linear operator T maps Lp(T) into Lq(T), p where 0 < q < p 6 2, then actually T maps L (T) into the weak Lebesgue space Lp,∞(T r A), where T r A is of arbitrarily small measure (see Theorem 2.5.2). If in addition T “commutes with rotations”, then we can take A = ∅. Also, we prove the so called Banach’s principle and the theorem on a.e. convergence (Theorems 2.7.1 and 2.7.2). 2.1 The Riesz/Thorin theorem The proof of various variants of the Riesz/Thorin (convexity) theorem can be found, e.g., in the books [7, Ch. IV §2] and [8]. The case of bilinear forms Let γ = (γ1, . . . , γm) and δ = (δ1, . . . , δn) be sequences of positive real numbers. For a ∈ Cm, b ∈ Cn and p, q > 0 let m 1/p n 1/q X p X p kakγ,p = |aj| γj , kbkδ,q = |bk| δk . j=1 k=1 2.1.1 Theorem Let 0 < p0, q0, p1, q1 6 ∞. Let m,n X m n B(a, b) = Bjkajbk, a ∈ C , b ∈ C , j,k=1 18 2.1 The Riesz/Thorin theorem 19 where Bjk ∈ C, and suppose that |B(a, b)| 6 M0kakγ,p0 kbkδ,q0 , |B(a, b)| 6 M1kakγ,p1 kbkδ,q1 for all a ∈ Cm, b ∈ Cn. If 1 1 − η η 1 1 − η η = + , = + and 0 < η < 1, p p0 p1 q q0 q1 then 1−η η |B(a, b)| 6 M0 M1 kakγ,pkbkδ,q. In other words, if M(α, β) = sup{ |B(α, β)|: kakγ,1/α 6 1, kbkδ,1/β 6 1}, then the function log M(α, β) is convex in the quadrant α > 0, β > 0. Proof. (Throughout the proof we omit the indices γ, δ.) Let p, q < ∞, and kakp = 1 and kbkq = 1. (2.1) Define a(z) ∈ Cm and b(z) ∈ Cn by p/p(z) i arg aj q/q(z) i arg bk a(z)j = |aj| e and b(z)k = |bk| e , where 1 1 − z z 1 1 − z z = + and = + . p(z) p0 p1 q(z) q0 q1 z−1 −z The function F (z) := M0 M1 B(a(z), b(z)) is entire, as a sum of exponential functions. We consider the restriction of F to the strip Π = {z : 0 6 Re z 6 1}. We have, for t ∈ R, p/p0 q/q0 |a(it)j| = |aj| , |b(it)k| = |bk| , p/p1 q/q1 |a(1 + it)j| = |aj| , |b(1 + it)k| = |bk| , whence, in view of (2.1), ka(it)kp0 = 1, kb(it)kq0 = 1, ka(1 + it)kp1 = 1, kb(1 + it)kq1 = 1. −1 It follows that |F (it)| = M0 |B(a(it), b(it))| 6 1 and similarly |F (1 + it)| 6 1 for every t ∈ R. Thus the function F is analytic and bounded on Π and |F | 6 1 on the 1−η η boundary of Π. It follows that |F | 6 1 on Π and in particular |B(a, b)| 6 M0 M1 , which completes the proof in the case p, q < ∞. The remaining case is similar. 2 20 2 Interpolation and maximal functions The case of linear operators 2.1.2 Theorem Let (R, µ) and (S, ν) be sigma-finite measure spaces and let 1 6 p0, q0, p1, q1 6 ∞. Let T be a (complex-)linear operator defined on µ-simple functions on R and taking values in the set of all complex ν-measurable functions, and let kT fkq0 6 M0kfkp0 and kT fkq1 6 M1kfkp1 for all µ-simple functions f on R. If 1 1 − η η 1 1 − η η = + , = + and 0 < η < 1, p p0 p1 q q0 q1 1−η η then kT fkq 6 M0 M1 kfkp for all µ-simple functions f. Remark. Concerning the validity of this theorem in the entire first quadrant, that is, for 0 < pk, qk 6 ∞, see [7, page 281]. R Proof of Theorem. We consider the bilinear form B(f, g) = S(T f)g dν, where f, g are simple functions on R,S, respectively, and use the formula kT fkq = sup{ |B(f, g)|: kgkq0 = 1, g simple}, 0 Pm Pn where 1/q + 1/q = 1. Let f = j=1 ajKj, g = k=1 bkHk, where Kj and Hk are sequences of “pairwise disjoint” characteristic functions. Then straightforward 0 0 calculation shows that we can apply Theorem 2.1.1 with the indices p0, q0, p1, q1, Z Z Z Bj,k = (TKj)Hk dν, γj = Kj dµ, δk = Hk dν. S R S The details are left to the reader. 2 The following form of the preceding theorem is perhaps more convenient in application. 2.1.3 Theorem Let (R, µ) and (S, ν) be sigma-finite measure spaces and let 1 6 p0, q0, p1, q1 6 ∞. Let T be a linear operator defined on the complex space Lp0 (R, µ)+Lp1 (R, µ) and taking values in the set of all complex ν-measurable func- p0 p1 tions, and let kT fkq0 6 M0kfkp0 , kT fkq1 6 M1kfkp1 for all f ∈ L , f ∈ L , respectively. If 1 1 − η η 1 1 − η η = + , = + and 0 < η < 1, p p0 p1 q q0 q1 then T is a bounded operator from Lp(R, µ) into Lq(S, ν) and 1−η η kT fkq 6 M0 M1 kfkp. Proof. We shall consider the case where the measure µ is finite and p0 < p1 0 6 ∞. Then Lp(µ) ⊂ Lp0 (µ). With the above notation, let g ∈ Lq (ν) be a simple p function and let f ∈ L (µ) be arbitrary. Choose a sequence fn of simple functions on R such that kfn − fkp → 0. Then kfn − fkp0 → 0 and therefore Z T (fn − f)g dν → 0, S 2.1 The Riesz/Thorin theorem 21 p q p q0 because T : L 0 7→ L 0 is continuous on L 0 (µ) and g ∈ L 0 . Hence Z 1−η η 0 T (f)g dν 6 M0 M1 kfkpkgkq . S The result follows. 2 The case of real-linear operators 1−η η For the validity of the conclusion kT fkq 6 M0 M1 kfkp in the Riesz/Thorin theorem, it is essential that the operator T be complex-linear, i.e., that T (λf) = λT f for all complex scalars λ (see [7, Ch. 4, Example 1.3]). For real spaces, the conclusion of the theorem remains valid if pk 6 qk (k = 0, 1). Otherwise, we 1−η η have kT fkq 6 2M0 M1 kfkp. However, if T is a positive linear operator, then Theorem 2.1.3 remains valid for any pk, qk > 1. The Hausdorff/Young theorem Let T denote the unit circle of the complex plane. For a function f ∈ L1(T), let fb(n) be the Fourier coefficients of f, 1 Z π fb(n) = f(eiθ)e−inθ dθ. 2π −π p 2.1.4 Theorem If f ∈ L (T), 1 6 p 6 2, ∞ 1/p0 X p0 |fb(n)| 6 kfkp , (2.2) n=−∞ 0 p p where 1/p + 1/p = 1. In other words: If f ∈ L (T) and {bn} is a two-sided ` - P sequence, 1 6 p 6 2, then the series bnfb(n) is absolutely convergent and there holds the inequality ∞ X bnfb(n) 6 kfkp k{bn}kp . (2.3) n=−∞ Proof. The theorem is true for p = 1 because |fb(n)| 6 kfk1, and is true for p = 2 because of Parseval’s formula. Then the result is obtained by the Riesz/Thorin theorem. 2 ∞ p0 2.1.5 Exercise If p > 2 and {bn}−∞ ∈ ` , then there exists a unique function 0 p P∞ p0 1/p g ∈ L (T) such that gb(n) = bn for all n and kgkp 6 n=−∞ |bn| . 22 2 Interpolation and maximal functions 2.2 Weak Lp-spaces and Marcinkiewicz’s theorem The space Lp,∞ Let Ω be a measure space with a (positive) sigma-finite measure µ. The weak Lp space Lp,∞(µ), 0 < p < ∞, consists of those measurable functions f on Ω for which 1/p kfkp,∞ := sup λ · µ(f, λ) < ∞, 0<λ<∞ where µ(f, λ) = µ{ω : |f(ω)| > λ} = µ {ω ∈ Ω: |f(ω)| > λ}. Chebyshev’s inequality, 1 Z µ(g, λ) 6 |g| dµ, λ Ω shows that Lp ⊂ Lp,∞, while the formula Z Z ∞ |g|q dµ = µ(g, λ) d(λq) (2.4) Ω 0 (proved by means of Fubini’s theorem) implies Lp,∞ ⊂ Lq for q < p, if µ is finite. The quantity k · kp,∞ is a norm for no p, but we have max(1/p,1) kf + gkp,∞ 6 Cp (kfkp,∞ + kgkp,∞)(Cp = 2 ), and hence k · kp,∞ is a (complete) quasinorm. It is interesting, however, that if p = 1, then the space need not be locally convex (if, for example, Ω = [0, 1] with Lebesgue measure), although it can be q-renormed for every q < 1. For p > 1 the space is locally convex, and for p < 1 it is p-convex, i.e., there is an equivalent p-norm on it.(∗) 2.2.1 Exercise There hold the inequalities µ(f1 + f2, λ1 + λ2) 6 µ(f1, λ1) + µ(f2, λ2), µ(f1f2, λ1λ2) 6 µ(f1, λ1) + µ(f2, λ2). Marcinkiewicz’s theorem Quasilinear operators Let T be an operator acting from a vector space X to the set of all nonnegative measurable functions defined on a measure space (Ω, µ). Then T is called a quasilinear operator if there exists a constant K such that T (f + g) 6 K(T f + T g)(f, g ∈ X). If K = 1, then T is said to be subadditive. If an operator S with values in the set of finite measurable functions on Ω is linear, then the operator T f = |Sf| is subadditive. (∗)For further information see Kalton [36]. See also [7] for the general theory of weak Lp spaces. 2.2 Weak Lp-spaces and Marcinkiewicz’s theorem 23 2.2.2 Theorem Let µ and σ be sigma-finite measures on Ω and S, respectively, p q let 0 < p < q 6 ∞ and let T be a quasilinear operator from L (σ) + L (σ) to the set of all nonnegative µ-measurable functions. Assume there exist constants C1 and C2, independent of f, such that kT fkp,∞ 6 C1kfkp , (2.5) kT fkq,∞ 6 C2kfkq . (2.6) Then for every s ∈ (p, q) there exists a constant C independent of f such that kT fks 6 Ckfks. (2.7) In the case q = ∞ inequality (2.6) should be interpreted as kT fk∞ 6 C2kfk∞. Weak type and strong type If T satisfies (2.5), i.e., if T maps Lp into Lp,∞ and is continuous at zero, then we say that T is of weak type (p, p); if (2.7) holds, then T is of strong type (s, s). Proof of Theorem 2.2.2 We consider the case where K = C1 = C2 = 1 and q < ∞, leaving the remaining cases to the reader. We have to deduce the inequality Z Z s s |T f| dµ 6 C |f| dσ Ω S from two “weak” inequalities: Z 1 p µ(T f, λ) 6 p |f| dσ, (2.8) λ S Z 1 q µ(T f, λ) 6 q |f| dσ. (2.9) λ S To show this we represent the function f in the form f = gλ + hλ, where ( f(ζ), if |f(ζ)| > λ, gλ(ζ) = 0, if |f(ζ)| < λ. Since T f 6 T (gλ) + T (hλ), we have µ(T f, λ) 6 G(λ) + H(λ), where G(λ) = µ(T gλ, λ/2) and H(λ) = µ(T hλ, λ/2). It follows from (2.8) and (2.9) that Z Z p p p p G(λ) 6 (2/λ) |gλ| dσ = (2/λ) |f| dσ (2.10) S |f|>λ 24 2 Interpolation and maximal functions and Z Z q q q q H(λ) 6 (2/λ) |hλ| dσ = (2/λ) |f| dσ. S |f|6λ Now we use the formula Z Z ∞ Z ∞ s s−1 s−1 |T f| dµ = s µ(T f, λ)λ dλ 6 s G(λ) + H(λ) λ dλ. Ω 0 0 Multiplying inequality (2.10) by sλs−1 and then integrating over λ ∈ (0, ∞) we get Z ∞ Z ∞ Z s−1 p s−p−1 p s G(λ)λ dλ 6 s2 λ |f| dσ dλ 0 0 |f|>λ Z Z |f| = s2p λs−p−1 dλ |f|p dσ S 0 s2p Z = |f|s dσ. s − p S The analogous inequality for H(λ) is proved in a similar way. 2 Marcinkiewicz’s theorem for L log+ L 2.2.3 Theorem Let µ and σ be finite measures on Ω and S, respectively, let 1 1 < q 6 ∞ and let T be a quasilinear operator from L (σ) to the set of all nonnegative µ-measurable functions. If T satisfies (2.5)(p = 1) and (2.6), then Z Z + T f dµ 6 K1 + K2 |f| log |f| dσ, (2.11) Ω S where K1 and K2 are independent of f. The class of those σ-measurable functions f on S for which the integral on the right hand side of (2.11) is finite is denoted by L log+ L(S). The proof is similar to that of Theorem 2.2.2. Other variants of Marcinkiewicz’s theorem can be found in Zygmund [100, Ch. XII§4]; the proof of some of them is much more difficult. Paley’s theorem The implication ∞ p X p0 f ∈ L (T) =⇒ |fb(n)| < ∞ (1 < p < 2), n=−∞ which is a weak form of the Hausdorff/Young theorem, was improved by Hardy and Littlewood; namely: p P∞ p−2 ∗ p 2.2.4 Theorem If f ∈ L (T), 1 < p < 2, then n=0(n + 1) (cn) < ∞, where ∗ {cn} is the decreasing rearrangement of the sequence {fb(n)}. 2.3 Maximal function and Lebesgue points 25 An application of Marcinkiewicz’s theorem yields a more general result, due to Paley: ∞ 2.2.5 Theorem Let (Ω, µ) be a finite measure space and let {ϕn}1 be an or- 2 thonormal sequence in L (Ω, µ) such that supn kϕnk∞ < ∞. Then ∞ X p−2 p p p n |an| 6 Ckfkp, f ∈ L (Ω, µ), n=1 R where 1 < p < 2 and an = Ω fϕn dµ. Proof. Let µ(Ω) = 1 and supn kϕnk∞ = K. Define the measure σ on N, the set −2 1 of positive integers, by σ({n}) = n . Define the operator T : L (Ω, µ) 7→ L0(N, σ) by (T f)(n) = nan. Bessel’s inequality implies that T is of strong type (2, 2). To prove that T is of weak type (1, 1) and therefore to conclude the proof (by Marcinkiewicz’s theorem), observe that |an| 6 Kkfk1. Hence, if kfk1 = 1, we have X −2 σ{n: |T f(n)| > λ} 6 σ{n: Kn > λ} 6 n 6 CK min(1, 1/λ), n>λ/K which concludes the proof. 2 ∞ 2.2.6 Exercise Let (Ω, µ) be a sigma-finite measure space and let {ϕn}1 be an 2 γ orthonormal sequence in L (Ω, µ) such that kϕnk 6 Mn , where M and γ are positive constants. Then for 1 < p < 2 there holds the inequality ∞ X (γ+1)(p−2) p p n |an| 6 Ckfkp . n=1 2.3 Maximal function and Lebesgue points The maximal function of a 2π-periodic function φ ∈ L1(−π, π) is the (2π-periodic) function Mφ defined as Z θ+h 1 (Mφ)(θ) = sup φ(t) dt. (2.12) 0 The function Mφ is above semicontinuous (and, consequently, measurable) as the supremum of a family of continuous functions. The (sublinear) operator M taking φ to Mφ is called the maximal operator of Hardy and Littlewood. If g ∈ L1(T), then we define (Mg)(eiθ) = (Mφ)(θ), where φ(θ) = g(eiθ). (2.13) 26 2 Interpolation and maximal functions The main maximal theorem 2.3.1 Theorem (a) If φ is in L1(−π, π), then there exists an absolute constant C C such that {θ ∈ (−π, π): Mφ(θ) > λ} 6 λ kφk1. p p (b) If φ ∈ L (−π, π), p > 1, then Mφ ∈ L (−π, π) and kMφkp 6 Cpkφkp, where Cp depends only of p. By | · · · | we denote the Lebesgue measure on the line. Proof. Assertion (b) is obtained from (a) by Marcinkiewicz’s theorem. To prove (a), let φ ∈ L1(−π, π), let E = {θ ∈ (−π, π): Mφ(θ) > 1} and let K be a compact subset of E. It suffices to find an absolute constant C such that |K| 6 Ckφk1. By the definition of Mφ and the compactness of E, there are S R intervals Ii (i = 1, . . . , n) such that Ii ⊂ (−2π, 2π), K ⊂ Ii and |Ii| |φ(t)| dt. 6 Ii Assume that the sequence |Ii| is decreasing. Let J1 = I1. Let J2 = Ik, where k is the smallest i for which Ii ∩ J1 = ∅. Then let J3 = Im, where m is the smallest i > k such that Ii ∩ (J1 ∪ J2) = ∅. Continuing in this way we find a sequence S S ∗ Jj ⊂ (−2π, 2π) of pairwise disjoint intervals such that Ii ⊂ Jj , where, for each ∗ ∗ j, Jj is the interval “concentric” with Jj and |Jj | = 3|Jj|. It follows that X X Z (1/3)|K| 6 |Jj| 6 |φ(t)| dt, j j Jj which gives the desired inequality with C = 6. 2 Lebesgue points The maximal theorem has many important applications. It is useful, for exam- ple, in proving almost everywhere convergence. Usually, we can easily prove a.e. convergence for a dense set of functions, and then use the maximal theorem to interchange the limits. Here we consider the existence of Lebesgue points. The Lebesgue point of a function φ is a point x ∈ R such that Z h 1 lim φ(t + x) − φ(x) dt = 0. h→0 2h −h The set of all Lebesgue points of f is called the Lebesgue set of f. 2.3.2 Theorem If a 2π-periodic function φ is integrable on (−π, π), then almost every point in R is a Lebesgue point for φ. 2.3.3 Corollary The inequality |φ(θ)| 6 (Mφ)(θ) holds almost everywhere. Proof of Theorem. The operator Z h 1 T φ(x) = lim sup φ(t + x) − φ(x) dt h→0 2h −h 2.3 Maximal function and Lebesgue points 27 satisfies: (a) T (φ1 + φ2) 6 T φ1 + T φ2 ; (b) T φ 6 |φ| + Mφ ; (c) T g = 0 if g is continuous. Let φ ∈ L1(−π, π), λ > 0 and ε > 0. Choose a continuous function g so that kφ − gk1 < ε. From (a) we get T φ 6 T g + T (φ − g) = T (φ − g) and then, from (b), by Theorem 2.3.1 and Chebyshev’s inequality, we get {θ : T (φ − g)(θ) > λ} 6 {θ : |φ − g|(θ) > λ/2} + {θ : M(φ − g)(θ) > λ/2} 4π 2C 2(2π + C)ε kφ − gk + kφ − gk . 6 λ 1 λ 1 6 λ Thus {θ : T (φ − g)(θ) > λ} = 0, for every λ > 0, because ε is arbitrary. 2 Non-periodic case n Let φ be a locally integrable function defined on R , n > 1. The maximal function Mφ is defined on Rn by Z 1 (Mφ)(z) = sup n φ(ξ) dVn(ξ), (2.14) r>0 r |ξ−z| Density of rational functions in Lp 2.3.4 Theorem If D is a bounded subdomain of C, then the set of rational functions with simple poles is dense in Lp(D), for 0 < p < 2. Observe that the function 1/(z − a), where a ∈ D, belongs to Lp(D) if and only if p < 2. q Proof. It suffices to consider the case 1 6 p < 2. Let ϕ ∈ L (D), 1/p+1/q = 1, and let Z ϕ(w)R(w) dA(w) = 0, where dA = dV2, D for every rational function R. Then Z ϕ(w) dA(w) = 0 D z − w for every z ∈ C, whence Z Z ϕ(w) dA(w) dz = 0, |z−z0|=r D z − w 28 2 Interpolation and maximal functions where z0 ∈ D and r < dist(z0, ∂D). Here we can apply Fubini’s theorem because Z ϕ(w) Z 1/p −p dA(w) 6 kϕkq |z − w| dA(w) 6 C, D z − w D for |z − z0| = r, where C is independent of z. Hence, by Cauchy’s integral formula, Z ϕ(w) dA(w) = 0. |w−z0| If z0 is a Lebesgue point of ϕ, then we obtain 1 Z 0 = lim ϕ(w) dA(w) = ϕ(z0), r→0 2 r |w−z0| and this concludes the proof. 2 2.3.5 Exercise An interesting fact, observed in [10], can be deduced from Theo- rem 2.3.4 and Runge’s theorem. If f is a Lebesgue measurable function defined on C, then there is a sequence Pn of (holomorphic) polynomials such that Pn → f a.e. 2.3.6 Exercise Let R denote the set of all rational functions. If p < 2 then the set R ∩ Lp(C) is dense in Lp(C). 2.4 The Rademacher functions j The Rademacher functions rj(t) are defined by rj(t) = sign sin(2 tπ)(j > 0, t ∈ R). For example, r0(t) = 1 for 0 < t < 1, 1, 0 < t < 1/2, r1(t) = −1, 1/2 < t < 1, 0, t = 0, 1/2, 1, 2 and rn(t) ≡ rn−1(2t). These functions form an orthonormal sequence in L (0, 1) and therefore Z 1 n 2 n X X 2 n ajrj(t) dt = |aj| , {ak}0 ⊂ C. (2.15) 0 j=0 j=0 This generalization of the parallelogram law can also be written as n 2 n 1 X X X 2 a0 + εjak = |aj| , 2n n k=0 (εj )∈{−1,1} j=0 2.4 The Rademacher functions 29 or in a more symmetric form n 2 n 1 X X X 2 εjak = |aj| . 2n+1 n+1 k=0 (εj )∈{−1,1} j=0 P∞ 2 P∞ It was proved by Rademacher that k=0 |ak| < ∞, then k=0 akrk(t) converges P∞ 2 P∞ a.e. On the other hand, if k=0 |ak| = ∞, then k=0 akrk(t) diverges a.e. (Khint- chine and Kolmogorov). The proof of these facts can be found in Duren [18] and, in a stronger form, in Zygmund [100]. Khintchine’s inequality 2.4.1 Theorem For every p ∈ (0, ∞) there are positive constants cp and Cp such that n 1/2 Z 1 n p 1/p n 1/2 X 2 X X 2 cp |aj| ajrj(t) dt Cp |aj| (2.16) 6 6 j=0 0 j=0 j=0 n for every finite sequence {aj}1 of complex scalars. Note that we can take cp = 1 for p 2, and Cp = 1 for p 2. > 6 n P Proof. Suppose we have proved the theorem for p > 2. Let φn(t) = ajrj(t). Then j=0 Z 1 Z 1 2 2 1/2 3/2 kφnk2 = |φn(t)| dt = |φn(t)| |φn(t)| dt 0 0 1/2 3/2 3/2 1/2 3/2 6 kφnk1 kφnk3 6 C3 kφnk1 kφnk2 , 3 and hence kφnk2 6 C3 kφnk1, which proves the left-hand side inequality in (2.16) for p = 1. Using this we can prove that kφnk1 6 const kφnk1/2, and so on. To discuss the case p > 2, we can suppose that p is an even integer. Using the binomial formula we find that there holds the inequality p p |x + y| + |x − y| p/2 |x|2 + κ |y|2 , x, y ∈ , (2.17) 2 6 p C 1/2 where κp > 1 is a constant. We shall prove that kφnkp 6 κp kφnk2 by induction n on the length of {ak}0 . In the case n = 1 we have |a + a |p + |a − a |p 1/p kφ k = 0 1 0 1 κ1/2 kφ k , n p 2 6 p n 2 because of (2.17). Let n > 2. Then, as is easily verified, Z 1 n p Z 1 X 1 p p ajrj(t) dt = |a0 + ψ(t)| + |a0 − ψ(t)| dt, (2.18) 2 0 j=0 0 30 2 Interpolation and maximal functions n n−1 P P where ψ(t) = akrk−1(t) = ak+1 rk(t). From this and (2.17) it follows that k=1 k=0 Z 1 n p Z 1 X 2 2p/2 ajrj(t) dt |ψ(t)| + κp |a0| dt. 6 0 j=0 0