Lectures in Harmonic Analysis
Joseph Breen Lectures by: Monica Visan
Last updated: June 29, 2017
Department of Mathematics University of California, Los Angeles Contents
Preface 3
1 Preliminaries4 1.1 Notation and Conventions...... 4 1.2 Lp Spaces...... 4 1.3 Complex Interpolation...... 5 1.4 Some General Principles...... 7 1.4.1 Integrating |x|−α ...... 8 1.4.2 Dyadic Sums...... 8
2 The Fourier Transform 10 d 2.1 The Fourier Transform on R ...... 10 d 2.2 The Fourier Transform on T ...... 16
3 Lorentz Spaces and Real Interpolation 19 3.1 Lorentz Spaces...... 19 3.2 Duality in Lorentz Spaces...... 23 3.3 The Marcinkiewicz Interpolation Theorem...... 26
4 Maximal Functions 29 4.1 The Hardy-Littlewood Maximal Function...... 29 4.2 Ap Weights and the Weighted Maximal Inequality...... 30 4.3 The Vector-Valued Maximal Inequality...... 36
5 Sobolev Inequalities 41 5.1 The Hardy-Littlewood-Sobolev Inequality...... 41 5.2 The Sobolev Embedding Theorem...... 44 5.3 The Gagliardo-Nirenberg Inequality...... 47
6 Fourier Multipliers 49 6.1 Calderon-Zygmund Convolution Kernels...... 49 6.2 The Hilbert Transform...... 56 6.3 The Mikhlin Multiplier Theorem...... 57
7 Littlewood-Paley Theory 61 7.1 Littlewood-Paley Projections...... 61 7.2 The Littlewood-Paley Square Function...... 68 7.3 Applications to Fractional Derivatives...... 71
8 Oscillatory Integrals 79 8.1 Oscillatory Integrals of the First Kind, d = 1 ...... 80 8.2 The Morse Lemma...... 87 8.3 Oscillatory Integrals of the First Kind, d > 1 ...... 89
1 8.4 The Fourier Transform of a Surface Measure...... 92
9 Dispersive Partial Differential Equations 94 9.1 Dispersion...... 94 9.2 The Linear Schrodinger¨ Equation...... 95 9.2.1 The Fundamental Solution...... 95 9.2.2 Dispersive Estimates...... 96 9.2.3 Strichartz Estimates...... 96
10 Restriction Theory 97 10.1 The Restriction Conjecture...... 97 10.2 The Tomas-Stein Inequality...... 100 10.3 Restriction Theory and Strichartz Estimates...... 103
11 Rearrangement Theory 108 11.1 Definitions and Basic Estimates...... 108 11.2 The Riesz Rearrangement Inequality, d = 1 ...... 114 11.3 The Riesz Rearrangement Inequality, d > 1 ...... 117 11.4 The Polya-Szego inequality...... 122 11.5 The Energy of the Hydrogen Atom...... 125
12 Compactness in Lp Spaces 128 12.1 The Riesz Compactness Theorem...... 128 12.2 The Rellich-Kondrachov Theorem...... 131 12.3 The Strauss Lemma...... 134 12.4 The Refined Fatou’s Lemma...... 136
13 The Sharp Gagliardo-Nirenberg Inequality 137 13.1 The Focusing Cubic NLS...... 137
14 The Sharp Sobolev Embedding Theorem 138
15 Concentration Compactness in Partial Differential Equations 139
References 139
2 Preface
**Eventually I’ll probably write a better introduction, this is a placeholder for now**
The following text covers material from Monica Visan’s Math 247A and Math 247B classes, offered at UCLA in the winter and spring quarters of 2017. The content of each chapter is my own adaptation of lecture notes taken throughout the two quarters. Chapter1 contains a selection of background material which was not covered in lec- tures. The rest of the chapters roughly follow the chronological order of lectures given throughout the winter and spring, with some slight rearranging of my own choice. For example, basic results about the Fourier transform on the torus are included in Chapter 2, despite being the subject of lectures in the spring. A strictly chronological (and incom- plete) version of these notes can be found on my personal web page at http://www. math.ucla.edu/˜josephbreen/. Finally, any mistakes are likely of my own doing and not Professor Visan’s. Comments and corrections are welcome.
3 Chapter 1
Preliminaries
The material covered in these lecture notes is presented at the level of an upper division graduate course in harmonic analysis. As such, we assume that the reader is comfortable with real and complex analysis at a sophisticated level. However, for convenience and completeness we recall some of the basic facts and inequalities that are used throughout the text. We also establish conventions with notation, and discuss a few select topics that the reader may be unfamiliar with (for example, the Riesz-Thorin interpolation theorem). Any standard textbook in real analysis or harmonic analysis is a suitable reference for this material, for example, [3], [6], and [8].
1.1 Notation and Conventions
If x ≤ Cy for some constant C, we say x . y. If x . y and y . x, then x ∼ y. If the implicit constant depends on additional data, this is manifested as a subscript in the inequality d d sign. For example, if A denotes the ball of radius r > 0 in R and | · | denotes R -Lebesgue d measure, we have |A| ∼d r . However, the dependencies of implicit constants are usually clear from context, or stated otherwise. FINISH
1.2 Lp Spaces
ADD
Proposition 1.1 (Young’s Convolution inequality). For 1 ≤ p, q, r ≤ ∞,
kf ∗ gk r d kfk p d kgk q d L (R ) . L (R ) L (R )
1 1 1 whenever 1 + r = p + q . Young’s convolution inequality may be proved directly, or by using the Riesz-Thorin interpolation theorem (see Section 1.3). For details on both methods, refer to [3]. It is convenient to record a few special cases of Young’s inequality that arise frequently.
Corollary 1.2 (Young’s Convolution inequality, special cases). The following convolution in- equalities hold:
1. For any 1 ≤ p ≤ ∞, kf ∗ gkL∞ . kfkLp kgkLp0 . In particular, kf ∗ gkL∞ . kfkL2 kgkL2 and kf ∗ gkL∞ . kfkL1 kgkL∞ .
2. For any 1 ≤ p ≤ ∞, kf ∗ gkLp . kfkL1 kgkLp .
4 1.3 Complex Interpolation
An important tool in harmonic analysis is interpolation. Broadly speaking, interpolation considers the following question: given estimates of some kind on two different spaces, say Lp0 and Lp1 , what can be said about the corresponding estimate on Lp for values of p between p0 and p1? There are a number of theorems which answer this kind of question. In Chapter3, we will prove the Marcinkiewicz interpolation theorem using real analytic methods. Here, we prove a different interpolation theorem using complex analytic methods. Both theorems have their own advantages and disadvantages, and will be used frequently. Our treatment of the Riesz-Thorin interpolation theorem follows [8]. The main state- ment is as follows. Theorem 1.3 (Riesz-Thorin interpolation). Suppose that T is a bounded linear map from Lp0 + Lp1 → Lq0 + Lq1 and that
kT fkLq0 ≤ M0 kfkLp0 and kT fkLq1 ≤ M1 kfkLp1 for some 1 ≤ p0, p1, q0, q1 ≤ ∞. Then
1−t t kT fkLqt ≤ M0 M1 kfkLpt where 1 = 1−t + t and 1 = 1−t + t , for any 0 ≤ t ≤ 1. pt p0 p1 qt q0 q1 As noted above, the proof of this theorem relies on complex analysis. Specifically, we need the following lemma. Lemma 1.4 (Three Lines lemma). Suppose that Φ(z) is holomorphic in S = {0 < Re z < 1} and continuous and bounded on S¯. Let
M0 := sup |Φ(iy)| and M1 := sup |Φ(1 + iy)|. y∈R y∈R Then 1−t t sup |Φ(t + iy)| ≤ M0 M1 y∈R for any 0 ≤ t ≤ 1. Proof. We can assume without loss of generality that Φ is nonconstant, otherwise the con- clusion is trivial. We first prove a special case of the lemma. Suppose that M0 = M1 = 1 and that ¯ sup0≤x≤1 |Φ(x + iy)| → 0 as |y| → ∞. In this case, φ has a global (on S) supremum of M > 0. Let {zn} be a sequence such that |Φ(zn)| → M. Because sup0≤x≤1 |Φ(x + iy)| → 0 as |y| → ∞, the sequence {zn} is bounded, hence there is a point z∞ ∈ S¯ such that a subsequence of {zn} converges to z∞. By continuity, |Φ(z∞)| = M. Since Φ is nonconstant, by the maximum modulus principle, z∞ is on the boundary of S¯. This means that |Φ(z)| is globally bounded by 1. Since M0 = M1 = 1, this proves the special case. Next, we remove the decay assumption and only suppose that M0 = M1 = 1. For ε > 0, define ε(z2−1) Φε(z) := Φ(z)e .
First observe that |Φε(z)| ≤ 1 if Re z = 0 or Re z = 1. Indeed, note that for y ∈ R we have
2 2 ε((iy) −1) −ε(y +1) |Φε(iy)| = |Φ(iy)| e ≤ e ≤ 1 and
2 2 2 ε((1+iy) −1) ε(1+2iy−y −1) 2iyε −εy |Φε(1 + iy)| = |Φ(1 + iy)| e ≤ e ≤ e e ≤ 1.
5 Next, we claim that Φε satisfies the decay condition from the previous case. Indeed, note that
2 2 2 ε((x+iy) −1) ε(x −y −1+2xyi) |Φε(x + iy)| = |Φ(x + iy)| e = |Φ(x + iy)| e 2 2 ε(x −y −1) ≤ |Φ(x + iy)| e .
Because 0 ≤ x ≤ 1 and because |Φ| is bounded, as |y| → ∞, |Φε(x + iy)| → 0 uniformly in x. By the previous case, |Φε(z)| ≤ 1 uniformly in S¯. Since this holds for all ε > 0, letting ε → 0 gives the desired result for Φ. Finally we assume that M0 and M1 are arbitrary positive numbers. Define φ˜(z) := z−1 −z M0 M1 φ(z). Note that if Re z = 0, then ˜ iy−1 −iy iy −iy |Φ(z)| ≤ |M0 M1 |M0 ≤ |M0 | · |M1 | ≤ 1 and if Re z = 1, then ˜ iy −1−iy iy −iy |Φ(z)| ≤ |M0 M1 |M1 ≤ |M0 | · |M1 | ≤ 1. The claim then follows by applying the previous case.
Proof of Theorem 1.3. By scaling appropriately, we may assume without loss of generality that kfkLpt = 1. First, consider the case when f is a simple function. By duality, Z
kT fk qt = sup T f(x) g(x) dx L where the supremum is taken over simple functions g with kgk q0 = 1. Fix such a g. First, L t consider the case pt < ∞ and qt > 1. Let 1 − z z 0 1 − z z γ(z) := pt + and δ(z) := qt 0 + 0 . p0 p1 q0 q1 Define f g f := |f|γ(z) and g := |g|δ(z) . z |f| z |g|
Note that γ(t) = 1. Hence, ft = f. Also, if Re z = 0, then Z Z p0 Z p0 p γ(z) pt−z pt+ p pt t p1 t kfzk p0 = |f| dx = |f| dx = |f| dx = kfk pt = 1. L L
A similar computation gives kfzk p = 1 if Re z = 1. Also, kgzk q0 = 1 if Re z = 0 and L 1 L 0 kgzk q0 = 1 if Re z = 1. L 1 Next, define Z Φ(z) := T fz(x) gz(x) dx. P As f and g are simple, we may write f = k akχEk where the sets Ek are disjoint and of P finite measure, and likewise g = j bjχFj . Then
X γ(z) ak X δ(z) bj fz = |ak| χEk and gz = |bj| χFj . |ak| |bj| k j
Also with this notation we have Z X γ(z) δ(z) ak bj Φ(z) = |ak| |bj| T (χEk ) χFj dx. |ak| |bj| j,k
6 From this it is evident that Φ(z) is holomorphic in S = {0 < Re z < 1} and continuous and bounded on S¯. Moreover, if Re z = 0, then Holder’s inequality gives Z |Φ(z)| ≤ |T fz(x) gz(x)| dx ≤ kT fzk q kgzk q0 ≤ M0 kfk p = M0. L 0 L 0 L 0
Similarly, if Re z = 1, |Φ(z)| ≤ M1. Therefore, by the Three Lines lemma, if Re z = t then 1−t t |Φ(z)| ≤ M0 M1. As Φ(t) = R T f(x) g(x) dx, this is the desired result. The passage from simple functions to general functions is a straightforward limiting argument, and the remaining cases pt = 1 and qt = ∞ are handled similarly. For more details, consult [8].
It is convenient to state a few special cases of Riesz-Thorin interpolation. These occur frequently, and also provide more concrete examples of interpolation at work. Corollary 1.5 (Riesz-Thorin interpolation, special cases). p p 1. Fix 1 ≤ p0 < p1 ≤ ∞. Suppose that T is bounded as a linear map from L 0 → L 0 and also p p p p from L 1 → L 1 . Then T is bounded from L → L for all p0 ≤ p ≤ p1. 2. Suppose that T is bounded as a linear map from L2 → L2 and also from L1 → L∞. Then T 0 is bounded from Lp → Lp for all 1 ≤ p ≤ 2.
Proof. 1. If T is bounded from Lp0 → Lp0 and Lp1 → Lp1 , then Riesz-Thorin implies that T is bounded from Lpt → Lqt for all 0 ≤ t ≤ 1 with 1 1 − t t 1 1 − t t = + and = + . pt p0 p1 qt p0 p1
Thus, pt = qt. Moreover, as t ranges from 0 to 1, pt ranges from p0 to p1. Therefore, T p p is bounded from L → L for all p0 ≤ p ≤ p1. 2. Riesz-Thorin gives boundedness of T : Lpt → Lqt for 0 ≤ t ≤ 1 with 1 1 − t t 1 1 − t t = + and = + . pt 1 2 qt ∞ 2 1 = 1 − t 1 = t q = p0 p = 2 t 0 Thus, pt 2 and qt 2 so that t t. Moreover, t 2−t , so as ranges from to 1, pt ranges from 1 to 2.
The first substantial application of interpolation is found in found in Chapter2, where we show that the Fourier transform is well-defined on Lp spaces for 1 ≤ p ≤ 2. As a final remark, the Riesz-Thorin interpolation theorem is an interpolation result based on complex analytic tools, namely, the maximum principle for holomorphic functions. In Chapter3, we prove a different interpolation theorem — the Marcinkiewicz interpolation theorem — based on real analytic techniques.
1.4 Some General Principles
Throughout the rest of this text, there are a number of straightforward principles that we will employ over and over again, often without explicit comment. For convenience, we include a short discussion of these recurring principles here.
7 1.4.1 Integrating |x|−α The first concern integration of functions of the form |x|−α. In words, integrating |x|−α over d a region of R increases the exponent by d. Explicitly, we have the following proposition. Proposition 1.6. Fix R > 0. Then
R −α 1. The integral |x|>R |x| dx is finite when α > d, in which case Z |x|−α dx ∼ R−α+d. |x|>R
R −α 2. The integral |x| −α p d Consequently, |x| ∈/ L (R ) for 1 ≤ p < ∞, for any choice of α. Proof. Fix R > 0. Set r = |x|. Then dx = rd−1 dr. Thus, ∞ Z 1 Z 1 Z ∞ dx = rd−1 dr = r−α+d−1 dr ∼ r−α+d . α α |x|>R |x| r>R r r=R R This limit exists precisely when −α + d < 0, i.e., when α > d, in which case Z 1 −α+d α dx ∼ R . |x|>R |x| Similarly, R Z 1 dx ∼ r−α+d . α |x| 1.4.2 Dyadic Sums Another computational tool ubiquitous in harmonic analysis is dyadic sums; that is, geo- 1 metric series with r = 2 . The following proposition is easy, but worth recording. n Proposition 1.7. Let 2Z = { 2 : n ∈ Z } be the set of dyadic numbers. Then X 1 1 = 2 · N N0 N∈2Z; N≥N0 and X N = 2 · N0 N∈2Z; N≤N0 8 n Proof. Fix a dyadic number N0 = 2 0 ∈ 2Z. Then n 1 ∞ 1n 1 0 1 X X −n X 2 −n0 = 2 = = 1 = 2 · 2 = 2 · . N 2 1 − 2 N0 N∈2Z; N≥N0 n∈Z; n≥n0 n=n0 Essentially the same computation gives X N = 2 · N0. N∈2Z; N≤N0 9 Chapter 2 The Fourier Transform Our study of harmonic analysis naturally begins with the Fourier transform. Historically, the Fourier transform was first introduced by Joseph Fourier in his study of the heat equa- tion. In this context, Fourier showed how a periodic function could be decomposed into a sum of sines and cosines which represent the frequencies of the function. From a modern point of view, the Fourier transform is a transformation which accepts a function and re- turns a new function, defined via the frequency data of the original function. As a bridge between the physical domain and the frequency domain, the Fourier transform is the main tool of use in harmonic analysis. The basic theory of the Fourier transform is standard, and there are a wealth of refer- ences (for example, [3], [6], and [7]) for the following material. 2.1 The Fourier Transform on Rd We begin by discussing the Fourier transform of complex-valued functions on the Eu- d clidean space R . The Fourier transform is defined as an integral transformation of a func- tion; as such, it is natural to first consider integrable functions. 1 d Definition 2.1. The Fourier transform of a function f ∈ L (R ) is given by Z F(f)(ξ) := fˆ(ξ) := (f)ˆ(ξ) := e−2πix·ξf(x) dx. Rd There are a number of conventions for placement of constants when defining the Fourier transform. For example, another common definition of the Fourier transform is Z ˆ 1 −ix·ξ f(ξ) = d e f(x) dx. (2π) 2 Rd These choices clearly do not alter the theory in any meaningful way; they are simply a mat- ter of notational preference. In this text, we will use either convention when convenient. In this section, we will use the former. We have two immediate goals. One is to understand the basic properties of the Fourier transform and how it interacts with operations such as differentiation, convolution, etc. The other goal is to understand which classes of functions the Fourier transform can be reasonably defined on. As and aid towards both of these goals, we introduce (or recall) a suitably nice class of functions. Here, we use the following multi-index notation: for d α = (α1, . . . , αd) ∈ N , define |α| α α1 αd α ∂ |α| := α1 + ··· αd; x := x1 ··· xd ; D := α1 αd . ∂x1 ··· ∂xd 10 ∞ d α β ∞ d Definition 2.2. A C -function f : R → C is Schwartz if x D f ∈ Lx (R ) for every d multiindex α, β ∈ N . The collection of Schwartz functions, Schwartz space, is denoted d S(R ). In words, a function is Schwartz if it is smooth, and if all of its derivatives decay faster 2 than any polynomial. An example of a Schwartz function is e−|x| . The set of Schwartz functions forms a Frechet space, i.e., a locally convex space (a vector space endowed with a family of seminorms {ρα} that separates points: if ρα(f) = 0 for all d α, then f = 0) which is metrizable and complete. In the case of S(R ), the collection of seminorms is given by {ρα,β}α,β∈Nd , where α β ρα,β(f) := x D f . ∞ d Lx (R ) d p The Frechet space structure of S(R ) is not our main concern; rather, density in L spaces ∞ d d (indeed, note that Cc (R ) ⊆ S(R )) and its interaction with the Fourier transform are of more importance. Here, we collect a number of basic and important properties of the Fourier transform of Schwartz functions. d Proposition 2.3. Let f ∈ S(R ). Then: 1. If g(x) = f(x − y), then gˆ(ξ) = e−2πiy·ξfˆ(ξ). 2. If g(x) = e2πix·ηf(x), then gˆ(ξ) = fˆ(ξ − η). d −1 −t 3. If g(x) := f(T x) for T ∈ GL(R ), then gˆ(ξ) = | det T | fˆ(T ξ). In particular, if T is a rotation or reflection and f(T x) = f(x) (i.e. f is rotation or reflection invariant), then gˆ(ξ) = fˆ(ξ). 4. If g(x) := f(x), then gˆ(ξ) = fˆ(−ξ). 5. If g(x) := Dαf(x), then gˆ(ξ) = (2πiξ)αfˆ(ξ). α i |α| α ˆ 6. If g(x) := x f(x), then gˆ(ξ) = 2π Dξ f(ξ). 1 d 7. If g(x) := (k ∗ f)(x) for k ∈ L (R ), then gˆ(ξ) = kˆ(ξ) · fˆ(ξ). ˆ 8. We have the basic estimate f ≤ kfk 1 . ∞ Lx Lξ Proof. 1. Making the change of variables z = x − y, we have Z Z Z gˆ(ξ) = e−2πix·ξf(x − y) dx = e−2πi(z+y)·ξf(z) dz = e−2πiy e−2πiz·ξf(z) dz = e−2πiyfˆ(ξ). 2. Computing directly gives: Z Z gˆ(ξ) = e−2πix·ξe2πix·ηf(x) dx = e−2πix·(ξ−η)f(x) dx = fˆ(ξ − η). d 3. For T ∈ GL(R ), make the change of variables y = T x. Then Z Z −1 gˆ(ξ) = e−2πix·ξf(T x) dx = e−2πi(T y)·ξf(y)| det T |−1 dy Z −t = | det T |−1 e−2πiy·(T ξ)f(y) dy = | det T |−1fˆ(T −tξ). 11 If T is a rotation or reflection (or more generally, T is orthogonal), then T tT = TT t = I and det T = 1. In this case, gˆ(ξ) = | det T |−1fˆ(T −tξ) = fˆ(ξ). 4. Computing directly gives: Z Z Z gˆ(ξ) = e−2πix·ξf(x) dx = e−2πix·ξf(x) dx = e−2πix·(−ξ)f(x) dx = fˆ(−ξ). 5. Integrating by parts, we have: Z Z gˆ(ξ) = e−2πix·ξDαf(x) dx = (−1)|α| Dαe−2πix·ξf(x) dx Z Z = (−1)|α| (−2πiξ)αe−2πix·ξf(x) dx = (2πiξ)α e−2πix·ξf(x) dx = (2πξ)αfˆ(ξ). α −2πix·ξ α −2πix·ξ α −2πix·ξ 6. Note that Dx e = (−2πix) e , so that x e . Thus, integrating by parts again gives: Z i |α| gˆ(ξ) = e−2πix·ξxαf(x) dx = fˆ(ξ). 2π 7. Computing, we have Z Z Z gˆ(ξ) = e−2πix·ξ(k ∗ f)(x) dx = e−2πix·ξ k(x − y)f(y) dy dx ZZ = e−2πix·ξk(x − y)f(y) dx dy. We make a change of variables z = x − y in the inner integral to get ZZ Z Z gˆ(ξ) = e−2πi(z+y)·ξk(z)f(y) dz dy = e−2πiz·ξk(z) dz · e−2πiy·ξf(y) dy = kˆ(ξ) · fˆ(ξ). 8. This follows from the triangle inequality for integrals: Z Z Z −2πix·ξ −2πix·ξ e f(x) dx ≤ | |e ||f(x)| dx = |f(x)| dx. From this proposition, it becomes immediately clear why the Fourier transform is such a powerful computational tool. For example, properties 5 and 7 above describe how the Fourier transform turns complicated function operations like differentiation and convolu- tion into multiplication. This becomes incredibly useful when studying partial differential equations, for instance. Also note that properties 1,2,3,4,7, and 8 extend immediately to 1 d functions in L (R ). d ˆ d d ˆ ˆ Proposition 2.4. If f ∈ S(R ), then f ∈ S(R ). Moreover, if fn → f ∈ S(R ), then fn → f ∈ d S(R ). 12 d Proof. Suppose that f ∈ S(R ). Note that Z α β α −2πix·ξ α β |ξ D fˆ(ξ)| ∼ |ξ xdβf(ξ)| ∼ |D\αxβf(ξ)| = e D (x f(x)) dx . α β 1 d Because f is Schwartz, D (x f(x)) ∈ L (R ). Therefore, ξαDβfˆ(ξ) Dα(xβf(x)) < ∞ ∞ . 1 Lξ L ˆ d d ˆ ˆ d so that f ∈ S(R ). It is clear that {fn} → f ∈ S(R ) if and only if {fn} → f ∈ S(R ) by properties 5 and 6 of the previous proposition. 1 d Corollary 2.5 (Riemann-Lebesgue Lemma). If f ∈ L (R ), then fˆis uniformly continuous and vanishes at ∞. d Proof. Let C0(R ) denote the space of continuous functions which vanish at ∞. 1 d Let {fn} be a sequence of Schwartz functions with fn → f in L (R ). Since f\n − f ≤ kfn − fkL1 L∞ ˆ ˆ ∞ d ˆ d ˆ d d it follows that fn → f in L (R ). As f ∈ S(R ), f ∈ C0(R ). Since C0(R ) is closed under uniform convergence, we are done. Aside from simple properties and estimates of the Fourier transform and its interaction with various function operations, we have not computed any Fourier transforms of actual functions. Lemma 2.6. Let A be a real, symmetric, positive definite d × d matrix. Then Z −x·Ax −2πix·ξ d − 1 −π2ξ·A−1ξ e e dx = π 2 (det A) 2 e . Proof. Since A is real, symmetric, and positive definite, it is diagonalizable. Explicitly, there is an orthogonal matrix O and a diagonal matrix D = diag(λ1, . . . , λd), λj > 0, so that A = OT DO. Let y = Ox and η = Oξ. Then d T X 2 x · Ax = x · O DOx = Ox · DOx = y · Dy = λjyj j=1 and x · ξ = OT y · OT η = y · η. Thus, d Z Z Pd 2 Z 2 −x·Ax −2πix·ξ − λj y −2πiy·η Y −λj y −2πiyj ηj e e dx = e j=1 j e dy = e j dyj. j=1 R Computing each of these one-variable integrals, we have: Z Z 2 2 2 2 2 Z 2 2 −λy2−2πiyη −λ y− πiη − π η − π η −λy2 − π η − 1 1 e dy = e ( λ ) λ dy = e λ e dy = e λ λ 2 π 2 . R R R So 2 2 d π η 2 Z j 1 Pd π 2 Y − − 1 d 1 − j=1 ηj −x·Ax −2πix·ξ λj 2 2 2 − 2 λj e e dx = e λj π = π (λ1 ··· λd) e j=1 d − 1 −π2η·D−1η = π 2 (det A) 2 e . The result follows from the fact that η · D−1η = Oξ · D−1Oξ = ξ · A−1ξ. 13 2 Corollary 2.7. The function e−π|x| is an eigenvalue of the Fourier transform with eigenvalue 1. 2 Explicitly, e\−π|x|2 = e−π|ξ| . Proof. This follows from the previous lemma with A = πId. Indeed, Z − 1 −π|x|2 −2πix·ξ d d 2 −π2ξ· 1 ξ −π|ξ|2 e e dx = π 2 π e π = e . Above, we computed that the Fourier transform of a Schwartz function is again Schwartz. In fact, the Fourier transform is an isometry on Schwartz space and extends to a unitary operator on L2. The next few results summarize these facts. d ˆ Theorem 2.8 (Fourier Inversion). If f ∈ S(R ), then (fˆ)(x) = f(−x). Equivalently, f(x) = (fˆ)ˆ(−x) =: (fˆ)ˇ(x) =: F −1(fˆ)(x). Proof. For ε > 0, let Z −πε2|ξ|2 2πix·ξ Iε(x) := e e fˆ(ξ) dξ. R 2πix·ξ By the dominated convergence theorem, as ε → 0, Iε(x) → e fˆ(ξ) dξ. Thus, to prove the theorem, it suffices to show that Iε(x) → f(x) as ε → 0. We have Z Z Z −πε2|ξ|2 2πix·ξ −πε2|ξ|2 2πix·ξ −2πiy·ξ Iε(x) = e e fˆ(ξ) dξ = e e e f(y) dy dξ Z Z 2 2 = f(y) e−πε |ξ| e−2πi(y−x)·ξ dξ dy. Note that Z ˆ − 1 −πε2|ξ|2 −2πi(y−x)·ξ −πε2|ξ|2 d 2 d 2 −π2(y−x)· 1 (y−x) e e dξ = e (y − x) = π 2 (πε ) e πε2 |y−x|2 −d −π = ε e ε2 . Consequently, Z |y−x|2 −d −π Iε(x) = f(y) ε e ε2 dy = (f ∗ φε)(x) −d x −π|x|2 where φε(x) = ε φ ε with φ(x) = e . It is a standard result that {φε} is an approxi- mation to the identity. Thus, as ε → 0, Iε(x) = (f ∗ φε)(x) → f(x). d R R R Lemma 2.9. If f, g ∈ S(R ), then fˆ(ξ)g(ξ) dξ = f(x)ˆg(x) dx. In particular, fˆ(ξ)gˆ(ξ) dx = R ˆ d f(x)g(x) dx, so that f = kfkL2 . Hence, the Fourier transform is an isometry on S(R ). L2 Proof. Computing, we have Z ZZ Z Z fˆ(ξ)g(ξ) dξ = e−2πix·ξf(x) dx g(ξ) dξ = f(x) e−2πix·ξg(ξ) dξ dx Z = f(x)ˆg(x) dx. For the “in particular” statement, let h = gˆ. Then hˆ(x) = gˆ = (ˆg)ˆ(−x) = g(x). 14 d Theorem 2.10 (Plancharel). The Fourier transform extends from an operator on S(R ) to a uni- 2 d tary operator on L (R ). 2 2 d d L Proof. Fix f ∈ L (R ). Let {fn} ⊆ S(R ) such that fn −→ f. As the Fourier transform is an d ˆ ˆ ˆ isometry on S(R ), we have fn − fm = kfn − fmkL2 . This shows that {fn} is Cauchy L2 2 2 in L . Let fˆ := limn→∞ fˆn, the limit being taken in the L -sense. We claim that fˆ is well-defined. Let {fn} and {gn} be two sequences of Schwartz func- L2 tions such that fn, gn −→ f. Define fk if n = 2k − 1 hn := . gk if n = 2k 2 L 2 Then hn −→ f. By the argument above, {hˆn} converges in L , which implies by the unique- ness of limits that lim fˆ = lim gˆ . n→∞ n n→∞ n 2 d ˆ Next we claim that f ∈ L (R ), then f = kfkL2 , so the Fourier transform is an L2 2 d 2 isometry on L (R ). Because the norm function is continuous in the L topology, we have ˆ ˆ f = lim fn = lim kfnkL2 = lim fn = kfkL2 . L2 n→∞ L2 n→∞ n→∞ L2 Before completing the proof, we remark that in infinite dimensions, an isometry is not nec- 2 2 essarily a unitary operator. For example, let T : ` (N) → ` (N) be the right-shift operator given by T (a0, a1, a2,... ) := (0, a0, a1,... ). Then ∗ T (a0, a1, a2,... ) := (a1, a2, a3,... ). Clearly T is an isometry, but TT ∗ 6= I. However, to prove that the isometry F is unitary, it suffices to prove that F is surjective. 2 d d We claim that im F is closed in L . From this claim, since S(R ) ⊆ im F and S(R ) is dense 2 d in L (R ), the proof is complete. 2 To demonstrate this claim, let g ∈ im F. Then there is a sequence {fn} of L functions 2 L 2 so that fˆn −→ g. As the Fourier transform is an isometry on L , this implies that {fn} 2 ˆ ˆ ˆ converges in L . Let f := limn→∞ fn. Then fn − f = kfn − fkL2 → 0 so that g = fn. L2 1 d To summarize our progress thus far, we have defined the Fourier transform on L (R ), investigated its properties on Schwartz functions, and used the class of Schwartz functions 2 d to define the Fourier transform on L (R ). Next, we used Riesz-Thorin interpolation (see p d Chapter1) to define the Fourier transform on L (R ) for 1 ≤ p ≤ 2. Even more, we will p d show that the Fourier transform cannot be defined as a bounded operator on L (R ) spaces for p > 2. d Theorem 2.11 (Hausdorff-Young). If f ∈ S(R ), then ˆ f 0 . kfkLp Lp 1 1 for 1 ≤ p ≤ 2, where p + p0 = 1. ˆ ˆ Proof. We have the estimates f ≤ kfkL1 and f = kfkL2 . Applying the Riesz- L∞ L2 Thorin interpolation theorem with p0 = 1, p1 = 2, q0 = ∞, and q1 = 2, it follows that the Fourier transform is bounded from Lpθ → Lqθ , where 1 1 − θ θ 1 θ = + and = pθ 1 2 qθ 2 15 1 θ 1 1 2 so that = 1 − , hence + = 1. Since pθ = , as θ ∈ [0, 1] we have pθ ∈ [1, 2] as pθ 2 pθ qθ 2−θ desired. Conversely, we have the following. This is one of our first examples of the power of scaling arguments. ˆ d Theorem 2.12. If f . kfkLp for all f ∈ S(R ) for some 1 ≤ p, q ≤ ∞, then 1 ≤ p ≤ 2 and Lq q = p0. d Proof. Fix f 6= 0 ∈ S(R ). For λ > 0, let fλ(x) := f(x/λ). Then Z x fˆ (ξ) = e−2πix·ξf dx = λdfˆ(λξ). λ λ ˆ We have fλ . kfλkLp , which implies Lq − d d d q ˆ p λ · λ f . λ kfkLp . Lq d d d d 1 1 d − 0 0 Thus, λ · λ q . λ p , so that λ q . λ p and hence λ q . λ p for all 0 < λ < ∞. Letting 1 1 1 1 0 λ → ∞ gives q0 ≤ p , and letting λ → 0 gives q0 ≥ p . Thus, so q = p . 0 ∞ d Next, we show 1 ≤ p ≤ 2. It suffices to show p ≤ p . Let ϕ ∈ Cc (R ) with supp ϕ ⊆ −2πix·λke1 B(0, 1/2). Let ϕk(x) = e ϕ(x − ke1). Using properties 1 and 2 of the Fourier transform, it follows that −2πiξ·ke1 ϕˆk(ξ) = e ϕˆ(ξ − λke1). 1 PN p Let f = ϕk. Since the supports of ϕk are disjoint, it follows that kfk p ∼ N . Next, k=1 L we compute, expanding out fˆ as follows: Lp0 N N X −2πiξ·ke1 X −2πiξ·ke1 C e ϕˆ(ξ − λke1)χ (ξ) + e ϕˆ(ξ − λke1)χ (ξ) B(λke1,λ/2) B(λke1,λ/2) k=1 k=1 Lp0 N X ≥ e−2πiξ·ke1 ϕˆ(ξ − λke )χ (ξ) 1 B(λke1,λ/2) k=1 Lp0 N X −2πiξ·ke1 C − e ϕˆ(ξ − λke1)χB(λke ,λ/2)(ξ) 0 1 Lp k=1 1 p0 C & N − N ϕˆ(ξ)χB(0,λ/2)(ξ) 0 . Lp Because ϕˆ is Schwartz, 1 ! p0 Z 1 − d ϕˆ(ξ)χC (ξ) dξ λ p0 B(0,λ/2) p0 . 2d . L |ξ|>λ/2 |ξ| 1 1 ˆ p0 p which → 0 as λ → ∞. Thus, f 0 . kfkLp if and only if N . N for all N, which is Lp true if and only if p ≤ p0. 2.2 The Fourier Transform on Td. The primary focus of this text is harmonic analysis on Euclidean space, and consequently d the Fourier transform on R is the most important tool for our purposes. One can also d d d define the Fourier transform on the torus T := R /Z , equivalently, for periodic functions. In the interest of studying dispersive partial differential equations on the torus (see Chapter 9), we include a brief discussion of the Fourier transform in this setting. 16 ∞ d d Definition 2.13. For a C -function f : T → C, we define its Fourier transform fˆ : Z → C by Z fˆ(k) = e−2πik·xf(x) dx. Td ˆ 2πik·x Then f(k) = hf, eki where ek(x) := e . The characters ek are orthonormal, since Z 2πi(k−l)·x hek, eli = e = δkl. Td We quickly establish some familiar properties of the Fourier transform. ∞ d Proposition 2.14 (Bessel’s Inequality). For f ∈ C (T ), X 2 2 | hf, e i | ≤ kfk 2 d . k L (T ) k∈Zd d Proof. Let S ⊆ Z be a finite set. Then 2 * + X X X 0 ≤ f − hf, eki ek = f − hf, eki ek, f − hf, eli el k∈S L2(Td) k∈S l∈S * + 2 X X X = kfk 2 d − 2 hf, e i he , fi + hf, e i e , hf, e i e L (T ) k k k k l l k∈S k∈S l∈S X X = kfk2 − 2 | hf, e i |2 + | hf, e i |2 L2(Td) k k k∈S where the last equality follows from orthogonality of the ek’s. Simplifying and rearranging gives X 2 2 | hf, e i | ≤ kfk 2 d k L (R ) k∈S for every finite set S, hence the desired inequality. ∞ d P 2 d f ∈ C ( ) d hf, e i e ∈ L ( ) This fact shows that if T , then k∈Z k k T . Unsurprisingly, these two objects can be identified. ∞ d Proposition 2.15 (Fourier inversion). If f ∈ C (T ), then X X ˆ 2πik·x f = hf, eki ek = f(k)e . k∈Zd k∈Zd P f 6= d hf, e i e Proof. Suppose for the sake of contradiction that k∈Z k k. Then by Stone- Weierstrass, there is a trigonometric polynomial g such that * + X f − hf, eki ek, g 6= 0. k∈Zd For any character el, * + X f − hf, eki ek, el = hf, eli − hf, eli = 0. k∈Zd This is a contradiction. 17 The following result is unique to the periodic case. Lemma 2.16 (Poisson summation). Let ϕ ∈ S(R). Then X X ϕ(x + n) = ϕˆ(n)e2πinx n∈Z n∈Z x ∈ P ϕ(n) = P ϕˆ(n) for all R. In particular, n∈Z n∈Z . F (x) = P ϕ(x + n) F (x) = P ϕˆ(n)e2πinx F Proof. Define 1 n∈Z and 2 n∈Z . Note that both 1 and F2 are 1-periodic in x. Also, since ϕ is Schwartz, each sum converges absolutely in n and converges uniformly in x on compact sets. Therefore, F1 and F2 are both continuous functions on T. As such, to give the desired equality it suffices to prove that F1 and F2 have the same Fourier coefficients. The definition of F2 immediately gives Fˆ2(k) =ϕ ˆ(k) for all k ∈ Z. Next, we compute: Z 1 Z n+1 X −2πikx X −2πik(y−n) Fˆ1(k) = ϕ(x + n)e dx = ϕ(y)e dy 0 n n∈Z n∈Z X Z n+1 = ϕ(y)e−2πiky dy n n∈Z Z = ϕ(y)e−2πiky dy R =ϕ ˆ(k). The in particular statement follows by considering x = 0. 18 Chapter 3 Lorentz Spaces and Real Interpolation In this chapter, we introduce a new class of functions space, namely, Lorentz spaces. These spaces measure the size of functions in a more refined manner than the classical Lp spaces. After developing some of the basic theory of Lorentz spaces, we then state and prove the Marcinkiewicz interpolation theorem in its most general setting. Some references for Lorentz spaces are [5] and [6]. 3.1 Lorentz Spaces Before defining Lorentz spaces in their full generality, we first consider a simpler and more familiar class of functions. d Definition 3.1. For 1 ≤ p ≤ ∞ and f : R → C measurable, define 1 ∗ n d o p p kfkL := sup λ x ∈ R : |f(x)| > λ . (3.1) weak λ>0 p p d The weak-L space, written Lweak(R ), is the family of measurable functions f for which ∗ kfk p is finite. Lweak The quantity defined in (3.1) contains an asterisk as a superscript because is not a norm. However, it is a quasinorm. Recall that a quasinorm satisfies the same properties as a norm, except that the triangle inequality is replaced by the quasi triangle inequality: kf + gk ≤ C (kfk + kgk) for some universal constant C > 0. p p d To clarify the definition of the weak-L (quasi)norm, consider a function f ∈ L (R ). Using the fundamental theorem of calculus, we can write Z Z Z |f(x)| kfkp = |f(x)|p dx = pλp−1 dλ dx. Lp(Rd) Rd Rd 0 By Tonelli’s theorem, Z ∞ Z Z ∞ n o kfkp = pλp−1 dx dλ = pλp−1 x ∈ d : |f(x)| > λ dλ Lp(Rd) R 0 { x∈Rd : |f(x)|>λ } 0 Z ∞ n o 1 p dλ d p = p λ x ∈ R : |f(x)| > λ . 0 λ 1 1 1 p d p So kfk p d = p λ x ∈ : |f(x)| > λ . Using the convention p ∞ = L (R ) R p dλ L ((0,∞), λ ) 1, we can then write 1 ∗ 1 n d o p kfk p d = p ∞ λ x ∈ : |f(x)| > λ . L (R ) R weak ∞ dλ L ((0,∞), λ ) In this way, weak-Lp spaces are a clear generalization of Lp spaces. 19 d − p p d p d Example 3.2. Let f(x) = |x| . Then f ∈ Lweak(R ), but f∈ / L (R ). To see this, first note that Z Z Z ∞ Z ∞ p 1 1 d−1 1 |f(x)| dx = d dx ∼ d r dr ∼ dr. Rd Rd |x| 0 r 0 r p p d This latter integral does not converge, hence the L -norm of f is not finite, so f∈ / L (R ). On the other hand, 1 p 1 1 ( ) p ( ) p n o 1 1 d x ∈ d : |f(x)| > λ p = x ∈ d : > λ = x ∈ d : |x| < . R R d R |x| p λ The set being measured is a ball of radius (1/λ)p/d. The volume of a such a ball scales d according to (1/λ)p/d = (1/λ)p. Taking pth roots as above then gives n o 1 1 x ∈ d : |f(x)| > λ p . R . λ Hence, ∗ 1 kfk p d sup λ = 1 < ∞ L (R ) . weak λ>0 λ p d so that f ∈ Lweak(R ). Lorentz spaces are an even further generalization of Lp and weak-Lp spaces. p,q d Definition 3.3. For 1 ≤ p ≤ ∞ and 1 ≤ q ≤ ∞, the Lorentz space L (R ) is the space of d measurable functions f : R → C for which the quantity 1 1 n o p ∗ q d kfk p,q d := p λ x ∈ : |f(x)| > λ L (R ) R (3.2) q dλ L ((0,∞), λ ) is finite. p d p,p d p d p,∞ d By our previous computation, L (R ) = L (R ), and Lweak(R ) = L (R ). Also, as with the weak-Lp norm, the Lp,q-norm defined in (3.2) is not actually a norm. ∗ k·k p,q d Lemma 3.4. The quantity L (R ) is a quasinorm. ∗ kfk p,q d = 0 Proof. First, note that if L (R ) , then 1 n d o p λ x ∈ R : |f(x)| > λ = 0 q dλ L ((0,∞), λ ) d which implies that, for almost all λ > 0, x ∈ R : |f(x)| > λ = 0. It follows that f(x) = 0 almost everywhere. Thus, f = 0. Next, let a ∈ C. Then 1 1 n o p ∗ q d kafk p,q d = p λ x ∈ : |af(x)| > λ L (R ) R q dλ L ((0,∞), λ ) 1 p 1 λ d λ = |a|p q x ∈ : |f(x)| > . a R a q dλ L ((0,∞), λ ) ∗ ∗ η = λ/a kafk p,q d = |a| kfk p,q d By making the change of variables , we have L (R ) L (R ). 20 It remains to prove that quasi-triangle inequality. To do this, we invoke the fact that for 0 < α < 1, the map x 7→ xα is concave. It is a standard fact that concave functions are subadditive, so that (x + y)α ≤ xα + yα. With this in mind, we compute: 1 1 n o p ∗ q d kf + gk p,q d = p λ x ∈ : |f(x) + g(x)| > λ . L (R ) R q dλ L ((0,∞), λ ) Observe that n o λ λ x ∈ d : |f(x) + g(x)| > λ ⊆ x ∈ d : |f(x)| > ∪ x ∈ d : |g(x)| > . R R 2 R 2 Thus, 1 1 λ λ p ∗ q kf + gk p,q d ≤ p λ x : |f(x)| > + x : |g(x)| > . L (R ) 2 2 q dλ L ((0,∞), λ ) 1 By subbaditivity of the concave map x 7→ x p , we have 1 1 ! 1 λ p λ p ∗ q kf + gk p,q d ≤ p λ x : |f(x)| > + x : |g(x)| > . L (R ) 2 2 q dλ L ((0,∞), λ ) Distributing the λ, factoring out a 2, and appliyng the usual Lq-Minkowski inequality then yields: 1 1 1 λ λ p λ λ p ∗ q kf + gk p,q d ≤ 2p x : |f(x)| > + x : |g(x)| > L (R ) 2 2 2 2 q dλ L ((0,∞), λ ) 1 1 λ λ p ≤ 2p q x : |f(x)| > 2 2 q dλ L ((0,∞), λ ) 1 λ λ p + x : |g(x)| > 2 2 q dλ L ((0,∞), λ ) ∗ ∗ = 2 kfk p,q d + kgk p,q d . L (R ) L (R ) ∗ 1 < p < ∞ 1 ≤ q ≤ ∞ k·k p,q d For and , we will show that the quasinorm L (R ) is in fact equivalent to a norm. For p = 1, q 6= 1, the quasinorm is not equivalent to a norm. However, in this case, there does exist a metric that generates the same topology. Thus, in p,q d either of these cases, L (R ) is a complete metric space. As another quick remark, we note that if |g| ≤ |f|, then for any λ > 0, n d o n d o x ∈ R : |g(x)| > λ ⊆ x ∈ R : |f(x)| > λ . ∗ ∗ kgk p,q d ≤ kfk p,q d This implies that L (R ) L (R ). It is natural to ask whether different Lorentz spaces have any simple embedding prop- erties. The next result gives a partial answer to this question. 1 ≤ p < ∞ 1 ≤ q ≤ ∞ f ∈ Lp,q( d) f = P f Proposition 3.5. Let , , and R . Write m∈Z m, where f (x) := f(x) χ . m { x∈Rd : 2m≤|f(x)|≤2m+1 } Then ∗ kfk p,q d ∼ kf k p d . L (R ) p,q m L (R ) q `m(Z) p,q d p,q d In particular, L 1 (R ) ⊆ L 2 (R ) whenever q1 ≤ q2. 21 Proof. By the preceding remark, note that ∗ ∗ X m X 2 χ{ x : 2m≤|f|≤2m+1 } ≤ fm m∈Z Lp,q(Rd) m∈Z Lp,q(Rd) ∗ X m+1 ≤ 2 χ{ x : 2m≤|f|≤2m+1 } . m∈Z Lp,q(Rd) f(x) = P 2mχ Therefore, it suffices to prove the proposition for a function of the form m∈Z Em where {Em} is a pairwise disjoint collection of sets. 1 ∗ m p kfk p,q d ∼ 2 |E | In this case, we need to show that L (R ) p,q m q . We compute: `m(Z) ∞ q Z q dλ ∗ q p kfk p,q d = p λ | { x : |f(x)| > λ } | L (R ) 0 λ 2m X Z q dλ = p λq | { x : |f(x)| > λ } | p . 2m+1 λ m∈Z m+1 m S Next, observe that for λ ∈ [2 , 2 ), { x : |f(x)| > λ } = n≥m EM . As the Em’s are disjoint, we then have q m p q Z 2 ∗ X q X dλ kfk p,q d = p λ |E | . L (R ) m 2m+1 λ m∈Z n≥m This removes the dependence on λ in the set inside the integral. Because m Z 2 dλ p p p λq = (2mq − 2(m+1)q) = (1 − 2q) 2mq 2m+1 λ q q it follows that q 1 q p p q ∗ X mq X m X kfk p,q d ∼ 2 |E | = 2 |E | . L (R ) p,q n m m∈ n≥m n≥m Z q `m(Z) Thus, 1 p ∗ X 1 m m p kfkLp,q( d) ∼p,q 2 |En| &p,q 2 (|Em|) q . R ` ( ) n≥m m Z q `m(Z) This gives half of the ∼p,q relation that we need. To get the other inequality, we compute as follows. First, invoking concavity of frac- tional powers as before, 1 p 1 ∗ m X m X p kfk p,q d ∼p,q 2 |En| ≤ 2 |En| . L (R ) n≥m n≥m q q `m( ) `m(Z) Z Next, making the change of variables n = m + k, m X 1 X −k m+k 1 X −k m+k 1 = 2 |E | p = 2 2 |E | p ≤ 2 2 |E | p m+k m+k m+k q `m(Z) k≥0 q k≥0 q k≥0 `m(Z) `m(Z) X −k m 1 = 2 2 |Em| p `q ( ) k≥0 m Z 1 = 2m|E | p m q `m(Z) 22 1 ∗ m p kfk p,q d 2 |E | so that L (R ) .p,q m q . Therefore, `m(Z) 1 ∗ m p kfk p,q d ∼ 2 |E | L (R ) p,q m q `m(Z) as desired. q q The “in particular” statement follows from the fact that if q1 ≤ q2, then ` 1 (Z) ⊆ ` 2 (Z). As noted in the proof of the above proposition, the monotonicty of the quasinorm allows for the following reduction in many computations involving Lorentz spaces. If p,q d f ∈ L (R ) is real-valued and nonnegative, then we can assume without loss of general- f = P 2mχ E ity that m∈Z Em , where the sets m are pairwise disjoint. In this case, 1 ∗ m p kfk p,q d = 2 |E | . L (R ) m q `m(Z) We can further decompose a general function into its real and imaginary parts, and then into their corresponding positive and negative parts, to apply this reduction. 3.2 Duality in Lorentz Spaces One of the most important principles in Lp space theory is that of duality. The analogous fact for Lorentz spaces is given by the following proposition. Proposition 3.6. Let 1 < p < ∞ and 1 ≤ q ≤ ∞, and let p0 and q0 denote the respective Holder conjugates. Then Z kfk∗ ∼ sup f(x)g(x) dx . Lp,q(Rd) p,q (3.3) ∗ d kgk p0,q0 d ≤1 R L (R ) Proof. As the quasinorm is positively homogeneous, we can scale the function f appro- ∗ kfk p,q d = 1 priately and assume without loss of generality that L (R ) . Also, as remarked previously, we can assume without loss of generality that f and g are real-valued and non- f = P 2nχ F g = P 2mχ negative, hence we can take n∈Z Fn for disjoint sets n and m∈Z Em for disjoint sets Em. In this case, we have q 1 q q ∗ n p X nq p 1 = kfk p,q d = 2 |F | = 2 |F | . L (R ) n q n `n(Z) n∈Z We decompose the above sum as follows. Let 2Z denote the set of dyadic numbers. Then q q q q q X nq X X nq X X nq X X n 2 |Fn| p = 2 N p = N p 2 ∼ N p 2 . n∈Z N∈2Z n:|Fn|∼N N∈2Z n:|Fn|∼N N∈2Z n:|Fn|∼N The latter equivalence is a straightforward exercise in dealing with dyadic sums, together with the fact that the `q-norm is bounded by the ell1-norm. Thus, q X X n 1 1 ∼ 2 N p . N∈2Z n:|Fn|∼N ∗ Similarly, since kgk p0,q0 d ≤ 1, the same computation gives L (R ) q0 1 X X m 0 2 |Em| p . 1. M∈2Z m:|Em|∼M 23 With these computations and our reductions in mind, we demonstrate the equivalence in (3.3). We first show that the right hand side is bounded by the left. Z Z X n m X n m f(x)g(x) dx = 2 2 χFn∩Em (x) dx = 2 2 |Fn ∩ Em| n,m∈Z n,m∈Z X X n X m . 2 2 min{N,M}. N,M∈2Z n:|Fn|∼N m:|Em|∼M 1 1 0 By our above computations, we eventually want to introduce the quantities N p and |Em| p . We force them in the sum as follows: ( ) 1 1 N M X X n p X m p0 . 2 N 2 |Em| min 1 1 , 1 1 p p0 p p0 N,M∈2Z n:|Fn|∼N m:|Em|∼M N M N M 1 1 ( 0 ) X X 1 X 1 N p M p = 2n|F | p 2m|E | p0 min , . n m M N N,M∈2Z n:|Fn|∼N m:|Em|∼M q Next, we use Holder’s inequality on the above sum, viewing the n-sum as living in `N and q0 the m-sum as living in `M . This yields 1 q 1 1 q ( 0 ) X X 1 N p M p 2n|F | p min , . n M N N,M∈2Z n:|Fn|∼N 1 0 q q0 ( 1 1 ) X X 1 N p0 M p · 2M |E | p0 min , . m M N N,M∈2Z m:|Em|∼M In the first term, freeze N and sum over M. Because p > 1 and hence p0 < ∞, we have ( 1 1 ) 1 1 X N p0 M p X M p X N p0 min , = + 1 + 1 1. M N N M . . M∈2Z M≤N M>N Similarly, in the second term we freeze M and sum over N. This gives 1 1 0 0 q q q q Z X X 1 X X 1 n p M p0 f(x)g(x) dx . 2 |Fn| · 2 |Em| N∈2Z n:|Fn|∼N M∈2Z m:|Em|∼M . 1. This gives one inequality. Next, we consider the converse inequality. Again we can take f to be of the form P 2nχ kfk∗ ∼ 1 n Fn with Lp,q(Rd) . Let 1 q−1 − 1 q X n p p0 X n(q−1) p −1 g = 2 |Fn| |Fn| χFn = 2 |Fn| χFn . n n We make two claims, from which the desired inequality clearly follows: R 1. f(x)g(x) dx & 1; ∗ 2. kgk p0,q0 d 1. L (R ) . 24 The first claim follows from Z Z q q X n(q−1) n p −1 X nq p f(x)g(x) dx = 2 2 |Fn| χFn = 2 |Fn| n n 1 q = 2n|F | p n q `n(Z) ∼ 1. To see the second claim, write X g ∼ NχS F n∈Sn n N∈2Z q n n(q−1) −1 o where Sn = n : 2 |Fn| p ∼ N . Note that the Sn’s are disjoint sets. Then q0 ! 0 q0 p ∗ X q0 X kgk p0,q0 d ∼ N |Fn| L (R ) N∈2Z n∈Sn q0 p ! p0 X 0 X q−p ∼ N q N2−n(q−1) N∈2Z n∈Sn 0 X 0 X p · q −nq p−1 ∼ N q N q−p p0 2 q−p N∈2Z n∈Sn where in the last equivalence we have used the fact about dyadic sums and `q norms from 0 q above and the fact that q = q−1 . It remains to compute and simplify all of the Holder exponents. Doing this gives 0 q q q−p q−p p−q ∗ X n(q−1) p −nq q−p kgk p0,q0 d ∼ 2 |Fn| 2 L (R ) n∈Z q X nq ∼ |Fn| p 2 n∈Z . 1. This proves both claims, the the converse inequality, and hence completes the proof. The right hand side of (3.3) defines a norm which is equivalent to the quasinorm Lorentz p,q d quasinorm. With respect to this norm, L (R ) for 1 < p < ∞, 1 ≤ q ≤ ∞, is a Banach space. The proof of completeness is the same as the proof of completeness in Lp spaces. p0,q0 d The dual space in this case is L (R ). As remarked above, if p = 1 and q 6= 1, there is no norm which is equivalent to the quasinorm. The following example demonstrates this explicitly. PN 1 Example 3.7. Consider the case p = 1, q = ∞, d = 1. Let f(x) = n=1 |x−n| . We ∗ ∗ saw in a previous example that 1 = 1 1. This implies that |x−n| 1,∞ |x−n| 1 . L (R) Lweak(R) ∗ PN 1 n=1 |x−n| . N. L1,∞(R) ∗ PN 1 We claim that n=1 |x−n| & N log N. We have L1,∞(R) N ∗ ( N ) X 1 X 1 = sup λ x ∈ d : > λ . |x − n| R |x − n| 1,∞ λ>0 n=1 L (R) n=1 25 1 1 Fix x ∈ [0,N]. Note that, for n ≥ x, |x−n| < n, so that |x−n| > n . For n < x, we can consider P 1 each finite number and rearrange them so that their sum is comparable to n ( N ) d X 1 kfk 1,∞ ≥ C log N x ∈ : > C log N ≥ CN log N L (R) R |x − n| n=1 as claimed. Now, suppose that the quasinorm was equivalent to a norm. Then by the triangle in- equality, ∗ N N ∗ X 1 X 1 N log N . . . N, |x − n| |x − n| 1,∞ 1,∞ L ( ) n=1 L (R) n=1 R which is a contradiction. 3.3 The Marcinkiewicz Interpolation Theorem Finally, we arrive at the Marcinkiewicz interpolation theorem. Before stating and proving the theorem, we recall the notion of sublinearity and introduce some language that will be used throughout the remainder of this text. Definition 3.8. A mapping T on a class of measurable functions is sublinear if |T (cf)| ≤ |c||T (f)| and |T (f + g)| ≤ |T (f)| + |T (g)| for all c ∈ C and f, g in the support of T . Any linear operator is obviously sublinear. A more interesting class of examples, and perhaps the primary motivation for defining sublinearity, is the following. Example 3.9. Given a family of linear mappings {Tt}t∈I , the mapping defined by T (f)(x) := kTt(f)(x)k q Lt is sublinear. When q = ∞, operators of this form are called maximal functions. When q = 2, the term square function is used. Definition 3.10. Let 1 ≤ p, q ≤ ∞. A mapping of functions T is of (strong) type (p, q) if kT fk q d kfk p d T (p, q) L (R ) .T L (R ). That is, is of type if it is bounded as a mapping from p d q d ∗ L ( ) → L ( ) q < ∞ T (p, q) kT fk q,∞ d R R . Similarly, for , is of weak type if L (R ) .T 1 ∗ p kfk p d (p, q) kT χ k q,∞ d |F | L (R ), and is of restricted weak type if F L (R ) .T for all finite mea- sure sets F . Note that type (p, q) implies weak type (p, q), which implies restricted weak type (p, q). An alternative characterization of restricted weak type operators is given by the following proposition. Proposition 3.11. A mapping T is of restricted weak type (p, q) if and only if Z 1 1 |T χF ||χE| dx . |E| p |F | q for all finite measure sets E,F . 26 1 ∗ p T (p, q) kT χ k q,∞ d |F | Proof. First, suppose that is of restricted type . Then F L (R ) .T . By the duality of Lorentz quasinorms, this implies Z ∗ ∗ |T χF ||χE| dx kT χF k q,∞ d kχEk q0,1 d . . L (R ) L (R ) Note that q0 Z 1 ∗ 0 q0 dλ kχEk q0,1 d = q λ |{ x : χE(x) > λ }| ∼ |E|. L (R ) 0 λ Hence, Z 1 1 |T χF ||χE| dx . |E| p |F | q . Conversely, suppose that the above inequality holds for all finite measure sets E and F . We again invoke duality to write Z Z ∗ kT χF kLq,∞( d) ∼ sup T χF g dx sup |T χF ||g| dx. R ∗ . ∗ kgk 0 ≤1 kgk 0 ≤1 Lq ,1 Lq ,1 P m Consider g := m 2 Em for an appropriate disjoint collection of sets Em. Then Z 1 1 1 X m p q0 p ∗ |T χF ||g| dx 2 |F | |E| |F | kgk q0,1 d . . L (R ) m 1 . |F | p as desired. The formulation of the Marcinkiewicz interpolation theorem that we state below is due to Hunt (see [5]). The classical statement of the theorem is given as Corollary 3.14 below. Theorem 3.12 (Marcinkiewicz interpolation). Fix 1 ≤ p1, p2, q1, q2 ≤ ∞ such that p1 6= p2 and q1 6= q2. Let T be a sublinear operator of restricted weak type (p1, q1) and of restricted weak type (p2, q2). Then for any 1 ≤ r ≤ ∞ and 0 < θ < 1, ∗ ∗ kT fkLqθ,r . kfkLpθ,r where 1 = θ + 1−θ and 1 = θ + 1−θ . pθ p1 p2 qθ q1 q2 Before proving the theorem, we make a few remarks. First, if pθ ≤ qθ, taking r = qθ gives ∗ kT fkLqθ . kfkLpθ,qθ . kfkLpθ so that T is of strong type (pθ, qθ). The requirement that pθ ≤ qθ is essential for the strong type conclusion, as evidenced by the following example. f(x) p Example 3.13. Define T (f)(x) := 1 . Then T is bounded as an operator from L (R) → |x| 2 2p 2p ,∞ p L p+2 (R) for any 2 ≤ p ≤ ∞, but is not bounded as an operator from L (R) → L p+2 (R). To prove this, we invoke Holder’s inequality in Lorentz spaces: for 1 ≤ p1, p2, p < ∞ 1 1 1 1 1 1 ∗ 1 ≤ q , q , q ≤ ∞ = + = + kfgk p,q and 1 2 satisfying p p1 p2 and q q1 q2 , we have L . ∗ ∗ kfkLp1,q1 kgkLp2,q2 . By this inequality, we have: ∗ ∗ ∗ − 1 kT fk 2p kfk p,∞ |x| 2 kfk p . ,∞ . L (R) 2,∞ . L (R) L p+2 (R) L (R) 27 − p+2 − 1 2p f(x) = |x| p log |x| + 1 On the other hand, consider the function |x| . We first claim p that f ∈ L (R). Indeed, we can write p+2 Z − 2 p 1 1 kfk p = log |x| + dx L (R) |x| |x| p+2 p+2 ! Z 2 − 2 Z ∞ − 2 1 1 1 1 = 2 log |x| + dx + log |x| + dx . 0 |x| |x| 2 |x| |x| Consider the second integral. Since p ≥ 2, we have p+2 Z ∞ − 2 Z ∞ −2 Z ∞ 1 1 1 1 1 log |x| + dx ≤ log |x| + dx ≤ 2 dx 2 |x| |x| 2 |x| |x| 2 x(log x) Z ∞ 1 = 2 du log 2 u < ∞. p By symmetry, the singularity at 0 behaves similarly. Hence, f ∈ L (R). However, it is not difficult to show that the quantity 2p −1 Z 2 1 p+2 − p+2 kT fk 2p = |x| log |x| + dx L p+2 |x| is not finite. We now prove Theorem 3.12. Proof. Corollary 3.14 (Marcinkiewicz interpolation). 28 Chapter 4 Maximal Functions The notion of averaging is one which is ubiquitous in analysis. For example, convolution can be viewed as a sort of averaging against a given function. Convolving a function with a smooth function then smooths the original function, a fact which is immensely useful. In this chapter, we study averaging in more depth via maximal functions. We begin by recalling the classical Hardy-Littlewood maximal inequality, and spend the rest of the chapter developing generalizations. 4.1 The Hardy-Littlewood Maximal Function The reader may already be familiar with the Hardy-Littlewood maximal function, defined as 1 Z M(f)(x) := sup |f(y)| dy. (4.1) r>0 |Br(x)| Br(x) 1 R |f(y)| dy The quantity |Br(x)| Br(x) represents the average value of the function on a ball centered at x. Thus, the maximal function measures the largest possible average values for f on various balls. The following theorem is standard. Theorem 4.1 (Hardy-Littlewood maximal inequality). Let M(f) denote the Hardy-Littlewood maximal function as in (4.1). Then p d 1. For f ∈ L (R ), 1 ≤ p ≤ ∞, M(f) is finite almost everywhere. 2. The operator M is of weak type (1, 1), and of strong type (p, p) for 1 < p ≤ ∞. Later in this chapter, we will prove a generalization of Theorem 4.1, and so we defer a proof until then. Unraveling statement 2 of Theorem 4.1, we see that M being of weak type (1, 1) means ∗ kMfk 1,∞ d kfk 1 d L (R ) . L (R ) and hence C | { x :(Mf)(x) > λ } | ≤ kfk 1 d λ L (R ) for all λ > 0. This is the usual formulation of the Hardy-Littlewood maximal inequality. We remark that the p > 1 condition in statement 2 is necessary, because M is not of strong ∞ d type (1, 1). To see this, let φ ∈ Cc (R ) with supp φ ⊆ B1/2(0). Fix |x| > 1. If r < |x| − 1/2, R φ(y) dy = 0 r > |x| + 1/2 then Br(x) . If , then 1 Z 1 Z 1 Z φ(y) dy = φ(y) dy ≤ φ(y) dy. |B (x)| |B (x)| |B (x)| r Br(x) r B|x|+1/2(x) |x|+1/2 B|x|+1/2(x) 29 Thus, 1 Z 1 (Mφ)(x) = sup φ(y) dy & d . |x|−1/2≤r≤|x|+1/2 |Br(x)| Br(x) |x| 1 1 d But |x|d is not in L (R ). We close this section with a classic application of the Hardy-Littlewood maximal in- equality. 1 d Theorem 4.2 (Lebesgue differentiation). Let f ∈ Lloc(R ). Then 1 Z lim f(y) dy = f(x) r→0 |Br(x)| Br(x) d for almost every x ∈ R . Proof. ADD IN More details on the classical Hardy-Littlewood maximal function can be found in [9]. 4.2 Ap Weights and the Weighted Maximal Inequality The main theorem of this section, which is a generalization of Theorem 4.1, is the following. d Theorem 4.3 (Weighted maximal inequality). Let ω : R → [0, ∞) be locally integrable. Asso- R ciate to ω the measure defined by ω(E) := E ω(y) dy. Then M : L1(M(ω) dx) → L1,∞(ω dx) and M : Lp(M(ω) dx) → Lp(ω dx) for 1 < p ≤ ∞. Explicitly, 1 Z ω ({ x : |(Mω)(x)| > λ }) . |f(x)| (Mω)(x) dx λ Rd and Z Z p p |(Mf)(x)| ω(x) dx . |f(x)| (Mω)(x) dx. Rd Rd Note that if ω ≡ 1, then M(ω) ≡ 1, and we recover the classical Hardy-Littlewood maximal inequality in Theorem 4.1. Before proving the weighted maximal inequality, we establish some preliminary facts on Ap weights. Definition 4.4. A function ω satisfies the A1 condition, written ω ∈ A1, if M(ω) . ω almost everywhere. 1 1,∞ Note that if ω ∈ A1, then Theorem 4.3 gives M : L (ω dx) → L (ω dx) and M : Lp(ω dx) → Lp(ω dx) for 1 < p ≤ ∞. Lemma 4.5. The following are equivalent: 1. ω ∈ A1; ω(B) 2. |B| . ω(x) for almost all x ∈ B and all balls B; 1 R 1 R 3. |B| B f(y) dy . ω(B) B f(y)ω(y) dx for all f ≥ 0 and all balls B. 30 Proof. We first show (1) ⇒ (2). Fix a ball B0 of radius r0 and let x ∈ B0. Then 1 Z 1 Z ω(x) & (Mω)(x) = sup ω(y) dy ≥ ω(y) dy. r>0 |Br(x)| |B2r (x)| Br(x) 0 B2r0 (x) Because B2r0 (x) ⊇ B0 (drawing a picture makes this clearer) and because |B2r0 (x)| .d |B0|, Z 1 ω(B0) ω(x) & ω(y) dy = |B0| B0 |B0| as desired. The implication (2) ⇒ (1) follows immediately from the definition of the maximal function. Next, we show (2) ⇒ (3). Fix a ball B and f ≥ 0. Then 1 Z 1 Z ω(B) 1 Z f(y)ω(y) dy & f(y) dy = f(y) dy. ω(B) B ω(B) B |B| |B| B Finally (3) ⇒ (2). Fix a ball B and let x ∈ B be a Lebesgue point of B (i.e., a point for which the conclusion of the Lebesgue differentiation theorem holds). Choose r << 1 so that Br(x) ⊆ B. Let f = χBr(x). Then by (3), Z Z Z 1 1 |Br(x)| 1 χBr(x)(y) dy . χBr(x)(y)ω(y) dx ⇒ . ω(y) dy. |B| B ω(B) B |B| ω(B) Br(x) Since x is a Lebesgue point, ω(B) 1 Z . ω(y) dy → ω(x) |B| |Br(x)| Br(x) as r → 0. d Definition 4.6. A function ω : R → [0, ∞) satisfies the Ap condition, written ω ∈ Ap, if p Z 0 0 ω(B) 1 − p p sup ω(y) p dy . 1, B |B| |B| B d where the supremum is taken over all open balls in R . We note for convenience that the above condition is equivalent to p ω(B) Z p0 p0 − p sup p ω(y) dy . 1. B |B| B Also, if 1 < p < q < ∞, then Ap ⊆ Aq. This follows from Holder’s inequality. The importance of the class of Ap weights is the following theorem, which characterizes when the maximal function is a bounded operator on a weighted Lp space. p p Theorem 4.7. Fix 1 < p < ∞. Then M : L (ω dx) → L (ω dx) if and only if ω ∈ Ap. Proof. Here, we only explicitly prove one direction (⇒) of this statement. For the other direction, we will provide an outline of the argument and leave the details as an exercise for the reader. p0 p p − Suppose that M : L (ω dx) → L (ω dx). Fix a ball B and let f = (ω + ε) p χB. For x ∈ B, Z 0 Z 0 1 − p 1 − p (Mf)(x) = sup (ω(y) + ε) p χB(y) dy ≥ (ω(y) + ε) p dy r>0 |B(x, r)| B(x,r) |2B| B Z 0 1 − p & (ω(y) + ε) p dy =: λ. |B| B 31 Here our definition of λ includes any implicit constants from the above inequality. Then λ 1 Z ω(B) ≤ ω x :(Mf)(x) > |f(y)|pω(y) dy 2 . λp where the final inequality follows from the fact that M : Lp(M(ω) dx) → Lp(ω dx), and hence M : Lp(M(ω) dx) → Lp,∞(ω dx). Plugging in our definition of λ gives −p Z p0 Z p − −p0 ω(B) . |B| (ω(y) + ε) p dy (ω(y) + ε) ω(y) dy B B −p Z p0 Z p − −p0+1 . |B| (ω(y) + ε) p dy (ω(y) + ε) dy B B Z 0 −p Z 0 − p − p = |B|p (ω(y) + ε) p dy (ω(y) + ε) p dy B B Z 0 −(p−1) − p = |B|p (ω(y) + ε) p dy . B Thus, p ω(B) Z p0 p0 − p p (ω(y) + ε) dy . 1. |B| B Letting ε → 0 gives ω ∈ Ap. Now, we sketch the proof of the converse direction. Suppose that ω ∈ Ap. Define the following weighted maximal function: 1 Z (Mωf)(x) := sup |f(y)|ω(y) dy. r>0 ω(B(x, r)) B(x,r) 1 1,∞ It can be shown (via techniques from this section) that Mω : L (ω dx) → L (ω dx), and p p moreover (Mf) . Mω(f ). Fix f ∈ Lp(ω dx). Then p ∗ p p p p kMfkLp,∞(ω dx) = sup λ ω ({ x :(Mf)(x) > λ }) = sup λ ω ({ x :(Mf) (x) > λ }) λ>0 λ>0 = sup η ω ({ x :(Mf)p(x) > η }) . η>0 p p Since (Mf) (x) . Mω(|f| )(x), p p ω ({ x :(Mf) (x) > η }) . ω ({ x : Mω(|f| )(x) > η }) . Thus, p ∗ p p kMfkLp,∞(ω dx . sup η ω ({ x : Mω(|f| )(x) > η }) = kMω(|f| )kL1,∞(ω dx) . η>0 1 1,∞ Since Mω : L (ω dx) → L (ω dx), Z p p p p kMω(|f| )kL1,∞(ω dx) . k|f| kL1(ω dx) = |f(x)| ω(x) dx = kfkLp(ω dx) . Therefore, ∗ kMfkLp,∞(ω dx . kfkLp(ω dx) so that M : Lp(ω dx) → Lp,∞(ω dx). 32 Theorem 4.8. Fix 1 ≤ p ≤ ∞, and let dµ be a nonnegative Borel measure. If M : Lp(dµ) → p,∞ L (dµ), then dµ = ω dx for some ω ∈ Ap. Proof. If we can prove that dµ is absolutely continuous, then in light of the previous proof, we are done. Decompose dµ = ω(x) dx + dν where dν is the singular part of dµ, i.e., there exists a compact set K with |K| = 0 but ν(K) > 0. Define Un = { x : d(x, K) < 1/n } and T fn = χUn\K . As Un \ K ⊇ Un+1 \ K, and (Un \ K) = ∅, it follows that fn → 0 pointwise. We claim that dµ is finite on compact sets. To see this, pick a measurable set E with 0 < µ(E) < ∞; this possible since µ is nontrivial. We may assume that E is compact by inner regularity. Then 1 Z (MχE)(x) = sup χE(y) dy. r>0 |B(x, r)| B(x,r) Let r = d(x, E) + diam E. Then |E| (Mχ )(x) . E & rd Since E is compact, if we restrict x to a compact set then d(x, E) is bounded below and above. Thus, MχE &E,F 1 uniformly for x ∈ F with F compact. So suppose for the sake of contradiction that there is a compact set F with µ(F ) = ∞. Then Z ∞ = µ(F ) ≤ µ ({ x : MχE(x) &E,F 1 }) .E,F dµ = µ(E) < ∞ E which is a contradiction. R p With this claim proven, next, note that |fn| dµ → 0 by the dominated convergence theorem. Fix x ∈ K. Then since B(x, 1/n) ⊆ Un and since |K| = 0, 1 Z 1 Z (Mf)(x) = sup χUn\K (y) dy ≥ χUn\K (y) dy r>0 |B(x, r)| B(x,r) |B(x, 1/n)| B(x,1/n) 1 Z = χB(x,1/n)(y) dy |B(x, 1/n)| KC 1 Z = d χB(x,1/n)(y) dy R KC = 1. So x ∈ { x :(Mfn)(x) > 1/2 }. Thus, K ⊆ { x :(Mfn)(x) > 1/2 }. So Z p 0 < ν(K) < µ(K) ≤ µ ({ x :(Mfn)(x) > 1/2 }) . |fn| dµ → 0 which is a contradiction. Thus, dµ = ω(x) dx, and by the previous theorem, ω ∈ Ap. Lemma 4.9. We have ω ∈ Ap if and only if Z p Z 1 1 p f(y) dy . f(y) ω(y) dy |B| B ω(B) B uniformly for all f ≥ 0 and all balls B. Proof. First, suppose that ω ∈ Ap. Then p ω(B) Z p0 p0 − p sup p w(y) . 1. B |B| B 33 Then, by Holder, p p 1 Z 1 Z 1 1 p − p p f(y) dy = p f(y)ω(y) ω(y) dy |B| B |B| B p 1 Z Z p0 p0 p − p . p |f(y)| ω(y) dy ω(y) |B| B B Z p 1 p |B| . p |f(y)| ω(y) dy |B| B ω(B) 1 Z = f(y)pω(y) dy. ω(B) B To see the converse direction, suppose that Z p Z 1 1 p f(y) dy . f(y) ω(y) dy |B| B ω(B) B 0 − p uniformly for all f ≥ 0 and all balls B. Let f = (ω + ε) p . Then 0 p 1 Z p 1 Z 0 − p −p p (ω(y) + ε) dy . (ω(y) + ε) ω(y) dy |B| B ω(B) B 1 Z 0 ≤ (ω(y) + ε)−p +1 dy ω(B) B 1 Z p0 = (ω(y) + ε) p dy. ω(B) B So p−1 ω(B) Z p0 − p p (ω(y) + ε) dy . 1. |B| B Letting ε → 0 gives the result. The final step before proving the weighted maximal inequality is a version of a covering lemma, due to Vitali. d Lemma 4.10 (Vitali). Let F be a finite collection of open balls in R . Then there exists a subcollec- S S tion S of F such that distinct balls in S are disjoint, and B∈F ⊆ B∈S 3B. Proof. Run the following algorithm. 1. Set S := ∅. 2. Choose a ball in F of largest radius, and add it to S. 3. Discard all of the balls in F which intersect balls in S. 4. If all balls in F are removed, stop. Otherwise, return to step 2. This algorithm terminates because at least one ball in F is discarded at every step. By construction, distinct balls in S are disjoint. Finally, if B is a ball in F which is not in S, it necessarily intersects some ball B0 ∈ S of larger radius. By the triangle inequality (draw a 0 S S picture), 3B contains B. Thus, B∈F ⊆ B∈S 3B. At last, we prove the weighted maximal inequality. 34 Proof of Theorem 4.3. First, we claim that M : L∞(M(ω) dx) → L∞(ω dx). To see this, let f ∈ L∞(M(ω) dx). Then kMfkL∞(ω dx) = inf sup |(Mf)(x)| ≤ inf sup |(Mf)(x)| ω(E)=0 x∈EC |E|=0 x∈EC R because |E| = 0 implies ω(E) = 0, asω(E) = E w(y) dy. We also have the trivial estimate that kMf(x)kL∞(dx) ≤ kfkL∞(dx), which follows from moving absolute value signs inside the integral definition of Mf. Then kMfkL∞(ω dx) ≤ inf sup |f(x)|. |E|=0 x∈EC Note that, unless ω ≡ 0, Mω(x) > 0 for all x. Thus, kMfkL∞(ω dx) ≤ inf sup |f(x)| = inf sup |f(x)| = kfkL∞(Mω dx) |E|=0 x∈EC (Mω)(E)=0 x∈EC as desired. Since M is bounded from L∞(M(ω) dx) → L∞(ω dx), by the Marcinkiewicz interpo- lation theorem, it suffices to prove that M is bounded from L1(M(ω) dx) → L1,∞(ω dx). Indeed, set p1 = 1, q1 = 1 and p2 = ∞, q2 = ∞, and for θ ∈ (0, 1), define 1 θ 1 − θ 1 = + = θ ⇒ pθ = pθ p1 p2 θ and 1 θ 1 − θ 1 = + = θ ⇒ qθ = . qθ q1 q2 θ 1 For r = qθ = pθ = θ , the interpolation theorem gives boundedness of M as an operator 1 1 θ θ 1 from L (M(ω) dx) → L (ω dx). As 0 < θ < 1, 1 < θ < ∞, hence the theorem is proved. So it remains to prove M : L1(M(ω) dx) → L1,∞(ω dx). For f ∈ L1(M(ω) dx), we need ∗ to show that kMfkL1,∞(ω dx) . kfkL1(M(ω) dx), i.e., Z sup λ ω ({ x : |Mf(x)| > λ }) . |f(x)|M(ω)(x) dx. λ>0 Fix λ > 0 and consider { x : |Mf(x)| > λ }. Let K ⊆ { x : |Mf(x)| > λ } be compact. For x ∈ K, Mf(x) > λ, so by definition of the maximal function there exists rx > 0 so that 1 Z |f(y)| dy > λ. |B (x)| r Brx (x) S Then K ⊆ x∈K Brx (x), and compactness then gives a finite subcover of such balls. By Vitali’s covering lemma, there exists a subcollection S of these balls such that distinct balls S P in S are disjoint, and K ⊆ B∈S 3B. Then ω(K) ≤ B∈S ω(3B). Consider a ball Bj ∈ S with radius rj. For y ∈ Bj, note that B4rj (y) ⊇ 3Bj. Thus, Z Z d ω(3Bj) = ω(x) dx ≤ ω(x) dx ≤ (Mω)(y) |B4rj (y)| = (Mω)(y) 4 |Bj|. 3Bj B4rj (y) Therefore, Z Z d ω(3Bj) · |f(y)| dy ≤ 4 |Bj| (Mω)(y)|f(y)| dy Bj Bj so that Z Z 1 d ω(3Bj) · |f(y)| dy ≤ 4 (Mω)(y)|f(y)| dy. |Bj| Bj Bj 35 But 1 R |f(y)| dy > λ, so |Bj | Bj 1 Z ω(3Bj) .d (Mω)(y)|f(y)| dy. λ Bj Since the balls Bj are all disjoint, we then have X 1 Z 1 ω(K) ≤ ω(3Bj) . (Mω)(y)|f(y)| dy = kfkL1(M(ω) dx) . λ d λ Bj ∈S R As this holds for all compact K ⊆ { x : |Mf(x)| > λ }, by the inner regularity of the mea- sure ω, we are done. 4.3 The Vector-Valued Maximal Inequality Our first application of the weighted maximal inequality is a similar estimate for vector- valued maximal functions. d 2 Definition 4.11. For f : R → ` (N) given by f(x) = {fn(x)}n≥1, define kfk p := {fn(x)}`2 p . L n Lx The vector-valued maximal function M¯ is given by ¯ M(f)(x) := k{Mfn(x)}k 2 . `n d Note that Mf¯ : R → [0, ∞], so that Mf¯ is not itself vector-valued. Rather, the phrase “vector-valued” refers only to the input functions f. The main estimate on M¯ is the following vector-valued version of the classical Hardy- Littlewood maximal inequality. Theorem 4.12 (Vector-valued maximal inequality). 1. The operator M¯ is of weak type (1, 1), that is, ¯ ∗ Mf L1,∞ . kfkL1 d 2 for f : R → ` (N); 2. M¯ is of strong type (p, p) for all 1 < p < ∞, that is, ¯ Mf Lp . kfkLp d 2 for f : R → ` (N). Before proving Theorem 4.12, we give an outline of the argument. The case p = 2 is a straightforward computation, and the case p > 2 will follow from the weighted maximal inequality. Having established the case p = 2, by the Marcinkiewicz Interpolation theorem it will suffice to prove the weak type estimate for p = 1 to prove the entire theorem. To prove this case we employ a Calderon-Zygmund decomposition technique. d 2 We adopt the convention that for f : → ` ( ), |f(x)| := k{fn(x)}k 2 . R N `n 1 d Lemma 4.13 (Calderon-Zygmund decomposition). Given f ∈ L (R ) (possibly vector valued) and λ > 0, there is a decomposition f = g + b such that: d 1. |g(x)| ≤ λ for almost all x ∈ R ; 36 2. b = fχQk , where {Qk} is a collection of cubes whose interiors are disjoint and such that 1 Z λ < |b(y)| dy ≤ 2dλ. |Qk| Qk In this decomposition, g represents the good part of f, i.e., the part which is essentially uniformly bounded by λ, and b represents the bad part. The requirement of b in the decom- position says that the average of b on any given cube is on the order of λ. d Proof. Decompose R into dyadic cubes of the form: n n n n Qk = [2 k1, 2 (k1 + 1) × · · · × [2 kd, 2 (kd + 1)) where the diameter of each cube is chosen to be large enough so that 1 Z |f(y)| dy ≤ λ. Qk Qk R Because d |f(y)| dy < ∞, this is certainly possible. R Run the following algorithm. Fix a cube Q from the above decomposition. Divide Q into 2d equal sized cubes. Let Q0 denote one of these smaller cubes. If Q satisfies 1 Z 0 |f(y)| dy > λ, Q Q0 then stop and add Q0 to the collection of cubes which define the support of b. Note that, for such a cube, Z d Z 1 2 d λ < 0 |f(y)| dy ≤ |f(y)| dy ≤ 2 λ |Q | Q0 |Q| Q as required by the definition of b. If Q satisfies 1 Z 0 |f(y)| dy ≤ λ, Q Q0 then subdivide Q0 as we did with Q and continue until, if ever, we land in the previous case. S Having run this algorithm, let b = fχ Qk , where {Qk} is the collection of cubes from the above algorithm. Set g = f − b. By construction, the cubes Qk have disjoint interiors. S It only remains to check that |g| ≤ λ almost everywhere. If x∈ / Qk, then by our application there is a sequence of cubes, each containing x, with diameters shrinking to 0, such that the average value of |f| on these cubes is all ≤ λ. By the Lebesgue differentiation theorem, |g| ≤ λ almost everywhere. Now, we prove the vector-valued maximal inequality. 2 d Proof Theorem 4.12. First consider the case p = 2. For a vector-valued f = {fn} ∈ L (R ), ¯ we need to show that Mf L2 . kfkL2 . By definition, Z Z ¯ 2 2 X 2 Mf 2 = k{Mfn(x)}k`2 dx = |Mfn(x)| dx. L d n d R R n≥1 Since all the quantities in question are nonnegative, we can interchange the integral and summation (by Tonelli’s theorem) to get Z ¯ 2 X 2 Mf 2 = |Mfn(x)| dx. L d n≥1 R 37 Previously, we proved that M is of strong type (2, 2). So Z Z Z ¯ 2 X 2 X 2 X 2 2 Mf 2 = |Mfn(x)| dx . |fn(x)| dx = |fn(x)| dx = kfkL2 L d d d n≥1 R n≥1 R R n≥1 as desired. ¯ Next, suppose that 2 < p < ∞. We wish to show that Mf Lp . kfkLp . Observe that 1 ¯ 2 2 Mf p = kMfn(x)k 2 = (kMfn(x)k 2 ) L `n p `n p/2 Lx Lx ¯ 2 ¯ 2 so that Mf Lp = (Mf(x)) Lp/2 . By the duality characterization of norms, Z ¯ 2 ¯ 2 ¯ 2 Mf Lp = (Mf(x)) Lp/2 = sup (Mf(x)) ω(x) dx kωk 0 =1 L(p/2) Z X 2 = sup |Mfn(x)| ω(x) dx kωk 0 =1 L(p/2) n≥1 Z X 2 = sup |Mfn(x)| ω(x) dx. kωk 0 =1 L(p/2) n≥1 For ω ≥ 0, the weighted maximal inequality that we proved earlier tells us that M : L2(M(ω) dx) → L2(ω dx). Thus, supposing without loss of generality that the supremum in the above expression is taken over ω ≥ 0, we have Z Z ¯ 2 X 2 X 2 Mf Lp = sup |Mfn(x)| ω(x) dx . sup |fn(x)| (Mω)(x) dx kωk 0 =1 kωk 0 =1 L(p/2) n≥1 L(p/2) n≥1 Z X 2 = sup |fn(x)| (Mω)(x) dx. kωk 0 =1 L(p/2) n≥1 Applying Holder’s inequality, ¯ 2 X 2 Mf p sup |fn| kMωk (p/2)0 . L . L kωk (p/2)0 =1 n≥1 L L(p/2) By the standard Hardy-Little maximal inequality theorem, kMωkL(p/2)0 . kωkL(p/2)0 = 1. Finally, note that X 2 2 2 |fn| = kfnk`2 = kfkLp n L(p/2) n≥1 L(p/2) ¯ so that Mf Lp . kfkLp as desired. As noted above, it remains to prove the weak type (1, 1) claim. Explicitly, given f = 1 d {fn} ∈ L (R ), we need to show that ¯ sup λ x :(Mf)(x) > λ . kfkL1 . λ>0 Using the Calderon-Zygmund decomposition, write f = g + b with |g| ≤ λ almost every- S where and b = fχ Qk where Qk are cubes with disjoint interiors satisfying 1 Z |b(y)| dy ∼ λ. |Qk| Qk 38 Because M¯ is a sublinear operator, λ λ x :(Mf¯ )(x) > λ ⊆ x :(Mg¯ )(x) > ∪ x :(Mb¯ )(x) > . 2 2 Consider the first set. We have already shown that M¯ is of strong type (2, 2), so in particular it is of weak type (2, 2). Thus, ¯ λ 1 2 1 2 1 1 1 x :(Mg)(x) > kgk 2 = |g| 1 ≤ kλ|g|k 1 = kgk 1 ≤ kfk 1 . 2 . λ L λ2 L λ2 L λ L λ L ¯ λ Therefore, it remains to prove the same type of estimate for the set x :(Mb)(x) > 2 . Let 2Qk denote the cube with same center as Qk and twice the side length. Then, be- cause the interior of the Qk’s are disjoint, we have: Z Z [ d X X 1 1 2Qk ≤ 2 |Qk| . |b(y)| dy . |b(y)| dy λ λ d k k Qk R 1 ≤ kfk 1 . λ L With this estimate, it remains to show that [ ¯ λ 1 x∈ / 2Qk :(Mb)(x) > kfk 1 . 2 . λ L avg P 1 R Define bn (x) = χQ (x) |bn(y)| dy. If x ∈ Qk, then k k |Qk| Qk Z Z Z avg 1 1 1 kb (x)k 2 = |bn(y)| dy ≤ kbn(y)k 2 dy = |b(y)| dy λ n `n `n . |Qk| Q 2 |Qk| Q |Qk| Q k `n k k 2 invoking Minkowski’s integral inequality to move the `n norm inside the integral. Thus, avg avg [ 1 kb k 1 = kb (x)k 2 λ Qk λ · kfk 1 = kfk 1 . L n `n 1 . . L L Lx λ S Now, fix x∈ / 2Qk. Then 1 Z 1 X Z Mbn(x) = sup |bn(y)| dy = sup |bn(y)| dy. r>0 |B(x, r)| r>0 |B(x, r)| B(x,r) k B(x,r)∩Qk S Suppose that x∈ / 2Qk but that B(x, r) ∩ Qk 6= ∅. Let√l be the side√ length of Qk. Then necessarily r√ ≥ l/2. Note that the diameter of Qk is dl ≤ 2r d. This implies that B(x, r(1 + 2 d)) ⊇ Qk. Thus, 1 X Z Mbn(x) .d sup √ |bn(y)| dy r>0 |B(x, r(1 + 2 d)| k Qk ! 1 X Z Z = sup √ √ χQk (z) dz |bn(y)| dy r>0 |B(x, r(1 + 2 d)| k B(x,r(1+2 d)) Qk 1 Z X 1 Z = sup √ √ χQk (z) · |bn(y)| dy dz r>0 |Qk| |B(x, r(1 + 2 d)| B(x,r(1+2 d)) k Qk avg = Mbn (x). 39 ¯ ¯ avg ¯ It follows that Mb . Mb . So we again apply the (2, 2) estimate of M to get [ ¯ λ n [ ¯ avg o 1 avg 2 x∈ / 2Qk :(Mb)(x) > ≤ x∈ / 2Qk :(Mb )(x) λ kb k 2 2 & . λ2 L 2 1 avg 1 avg 2 = kb (x)k 2 = kb (x)k 2 2 n `n 2 2 n `n 1 λ Lx λ Lx 1 avg 1 avg kb (x)k 2 = kb k 1 . n `n 1 L λ Lx λ 1 kfk 1 . . λ L 40 Chapter 5 Sobolev Inequalities This chapter contains a brief foray into the world of so-called Sobolev inequalities. A typical inequality of this type bounds a certain norm of a function by a norm of a derivative of the function. In vague terms, this kind of estimate bounds the average gradient (or energy) of a function below by its overall spread. This turns out to be a useful fact. The inequalities we prove in this chapter will appear again throughout the rest of the book in different contexts. For example. we will provide an alternate proof for the Gagliardo-Nirenberg inequality after we develop the machinery of Littlewood-Paley the- ory. Also, we will discuss the optimal constants of the Gagliardo-Nirenberg and Sobolev embedding inequalities in the future. 5.1 The Hardy-Littlewood-Sobolev Inequality As a precursor to the Sobolev inequalities we will prove, we begin with an important con- volution estimate called the Hardy-Littlewood-Sobolev inequality. We actually prove two such inequalities in this section, the latter a generalization of the first. There are many ways to prove the following theorem. The approach we take is due to Hedberg [4] and is amenable to proving certain inverse inequalities. d Theorem 5.1 (Hardy-Littlewood-Sobolev I). Let f ∈ S(R ). Then 1 f ∗ α . kfkLp |x| Lr 1 1 α whenever 1 + r = p + d for 1 < p < r < ∞ and 0 < α < d. d p d Proof. We remark that requiring f ∈ S(R ) ensures that f ∈ L (R ) for all necessary p. Decompose the convolution as follows: 1 Z f(y) Z f(y) Z f(y) f ∗ α (x) = α dy = α dy + α dy |x| |x − y| |x−y|≤R |x − y| |x−y|>R |x − y| for some R > 0. We will estimate each integral and then optimize in R. Consider the first integral. Z f(y) Z |f(y)| X Z |f(y)| dy ≤ dy ≤ dy α α α |x−y|≤R |x − y| |x−y|≤R |x − y| r<|x−y|<2r |x − y| r∈2Z;r≤R Z X −α . r |f(y)| dy |x−y|<2r r∈2Z;r≤R X rd−α Z . |f(y)| dy. |B(x, 2r)| |x−y|<2r r∈2Z;r≤R 41 1 R The quantity |B(x,2r)| |x−y|<2r |f(y)| dy is bounded by Mf(x), so Z f(y) X dy ≤ Mf(x) rd−α. α |x−y|≤R |x − y| r∈2Z;r≤R Because d − α > 0 and because the r’s are dyadic numbers, the sum is summable and is bounded (up to a constant) by the largest term. Thus, Z f(y) dy ≤ Rd−αMf(x). α |x−y|≤R |x − y| Now we consider the second integral. We have Z f(y) 1 α dy = f ∗ α χ{|x|>R} (x). |x−y|≤R |x − y| |x| By Young’s convolution inequality (or more directly, Holder’s inequality), 1 Z ! p0 1 1 1 f ∗ α χ{|x|>R} . kfkLp α χ{|x|>R} = kfkLp αp0 dx . |x| L∞ |x| Lp0 |x|>R |x| d−αp0 0 0 If αp > d, then the integral quantity is finite, and in particular . R p . Since α 1 α 1 1 + > 1 ⇒ > 1 − = d p d p p0 this is indeed the case. Thus, Z f(y) 1 d −α p0 dy ≤ f ∗ χ kfk p R . α α {|x|>R} . L |x−y|≤R |x − y| |x| L∞ We optimize our choice of R by requiring the two estimates to be comparable, so that p d −α kfk d d−α p0 Lp R Mf(x) ∼ R kfkp. Choose R so that R ∼ Mf(x) . With this choice, p !d−α kfk d d−α p 1 p d p 1− (d−α) f ∗ (x) Mf(x) = kfk p (Mf(x)) d . |x|α . Mf(x) L Simplifying the exponents, p 1 α p 1 − (d − α) = p − 1 + = . d p d r So 1 1− p p r r f ∗ (x) kfk p (Mf(x)) . |x|α . L Taking the Lr norm and using the fact that M is of type (p, p) then gives 1 1− p p 1− p p 1− p p r r r r r r f ∗ kfk p (Mf(x)) = kfk p kMfk p kfk p kfk p = kfk p α . L r L L . L L L |x| Lr L as desired. 42 It is tempting to view the Hardy-Littlewood-Sobolev inequality as having more or less the same content as Young’s convolution inequality, as the statements of the estimates are similar. However, the fact that |x|−α is not in any Lp spaces makes Hardy-Littlewood- Sobolev much more subtle. −α d ,∞ d Note, however, that the function |x| lives in the weak space L α (R ). This suggests the following generalization of the previous theorem. Theorem 5.2 (Hardy-Littlewood-Sobolev II). For 1 < p < r < ∞ and 1 < q < ∞, we have ∗ kf ∗ gkLr . kfkLp kgkLq,∞ 1 1 1 whenever 1 + r = p + q . Proof. We begin with a few reductions. By rescaling, we can assume without loss of gener- ∗ ality that kfkLp = kgkLq,∞ = 1. Furthermore, note that for a fixed such g it suffices to prove that the operator f 7→ f ∗ g is of strong type (p, r). In fact, by the Marcinkiewicz interpo- lation theorem, it suffices to prove that this operator is of weak type (p, r). This is because the condition 1 < p < r < ∞ is an open condition, so that we can always find necessary (p1, r1) and (p2, r2) satisfying the relevant conditions to yield the strong type estimate in the interpolation theorem. ∗ −r So fix λ > 0. We need to show that kf ∗ gkLr,∞ . 1, i.e., |{ x : |f ∗ g|(x) > λ }| . λ . As in the previous proof, we decompose g = gχ|g|≤R + gχ|g|>R := g1 + g2. Then λ λ |{ x : |f ∗ g|(x) > λ }| ≤ x : |f ∗ g1|(x) > + x : |f ∗ g2|(x) > . 2 2 We will show that the first quantity on the right is 0 for an appropriately chosen R. Intu- itively, since g1 is bounded by R, the convolution of f with g cannot be too large. Comput- ing, 1 Z ∞ 0 p0 dα p kf ∗ g1kL∞ . kfkLp kg1kLp0 = kg1kLp0 . α |{ x : |g1(x)| > α }| 0 α 1 Z R p0 p0 dα = α |{ x : |g1(x)| > α }| 0 α 0 where we have used the layer-cake representation for the Lp norm and (see Chapter3) and the fact that |g1| ≤ R. Continuing, 1 Z R p0 q p0−q dα kf ∗ g1kL∞ . sup [α |{ x : |g1(x)| > α }|] α 0 α>0 α 1 1 0 Z R p0 q p p0−q dα = sup [α |{ x : |g1(x)| > α }|] α . α>0 0 α 1 ∗ p0 The quantity on the left is precisely (kgkLq,∞ ) , which we are assuming is 1. The integral on the right is integrable if p0 − q > 0. By assumption, 1 1 1 1 1 1 − = − ⇒ < ⇒ p0 > q. p q r p0 q 1 p0−q 0 p0 R R p −q dα p0 So the integral is finite, and in particular, 0 α α . R . Putting this all together gives p0−q p0 kf ∗ g1kL∞ . R . 43 λ Recall that we are estimating x : |f ∗ g1|(x) > 2 . Thus, if we choose R small enough (dependent on λ, say R = cλ for some sufficiently small constant c, then kf ∗ g1kL∞ ≤ λ/2, and so λ x : |f ∗ g1|(x) > = 0. 2 λ Thus, it remains to estimate x : |f ∗ g2|(x) > 2 . By Chebychev’s inequality, λ −p p −p p x : |f ∗ g2|(x) > λ kf ∗ g2k p λ (kfk p kg2k 1 ) 2 . L . L L Z ∞ p −p dα = λ α |{ x : |g2(x)| > α }| . 0 α We consider the integral separately. Z ∞ dα α |{ x : |g2(x)| > α }| 0 α Z R dα Z ∞ dα = α |{ x : |g2(x)| > α }| + α |{ x : |g2(x)| > α }| 0 α R α Z ∞ dα ≤ R · |{ x : |g(x)| > R }| + sup αq |{ x : |g(x)| > α }| α1−q . α>0 R α q ∗ As before, supα>0 α |{ x : |g(x)| > α }| = kgkLq,∞ = 1. Furthermore, since q > 1, we have R ∞ 1−q dα 1−q R α α . R . So Z ∞ dα q 1−q 1−q α |{ x : |g2(x)| > α }| . R · |{ x : |g(x)| > R }| R + R . 0 α q ∗ But since R · |{ x : |g(x)| > R }| ≤ kgkLq,∞ = 1, we then have Z ∞ dα 1−q α |{ x : |g2(x)| > α }| . R . 0 α 1− q Plugging this into our original estimate and using R p0 = cλ, p0 −p p(1−q) −p p(1−q) −p 0 p(1−q) −r |{ x : |f ∗ g2| > λ/2 }| . λ R . λ R . λ λ p −q . λ . 5.2 The Sobolev Embedding Theorem As a consequence of the Hardy-Littlewood Sobolev inequalities, we prove a version of the Sobolev embedding theorem. Towards this goal, we begin with a computation. We wish to (formally) take the Fourier 1 p d transform of functions of the form |x|d−α . As this function is not in L (R ), we consider the 0 d Fourier transform in the sense of distributions. Recall that if T ∈ S (R ) is a tempered d distribution, its Fourier transform is defined by Tˆ(f) := T (fˆ) for f ∈ S(R ). \1 1 Proposition 5.3. Let 0 < α < d. Then |x|d−α ∼ |x|α , in the sense of tempered distributions. Explicitly, ˆ − d−α d − α 1 − α α 1 π 2 Γ = π 2 Γ . (5.1) 2 |x|d−α 2 |x|α 44 Proof. First, observe that ∞ ∞ d−α Z 2 d−α dt Z u 2 du d−α d − α 1 −πt|x| 2 −u − 2 e t = e 2 = π Γ d−α . 0 t 0 π|x| u 2 |x| d So for f ∈ S(R ), ˆ − d−α d − α 1 − d−α d − α 1 π 2 Γ (f) = π 2 Γ (fˆ) 2 |x|d−α 2 |x|d−α Z d−α d − α 1 − 2 ˆ = π Γ d−α f(x) dx. Rd 2 |x| Our first observation, together with the definition of the Fourier transform, gives Z Z ∞ Z Z −πt|x|2 d−α dt −2πix·y = e t 2 e f(y) dy dx Rd 0 Rd t Rd Z Z ∞ Z −πt|x|2 −2πix·y − d−α dt = e e dx t 2 f(y) dy. Rd 0 Rd t 2 The quantity in the parentheses is precisely the Fourier transform of e−π|x| . Recall that