Chapter 33

Fourier Analysis In Rn

The purpose of this chapter is to present some of the most important theorems on Fourieranalysis in Rn. These theorems are the Marcinkiewicz interpolation theorem, the CalderonZygmund decomposition, and Mihlin’s theorem. They are all fundamental results whoseproofs depend on the methods of real analysis.

33.1 The Marcinkiewicz Interpolation TheoremLet (Ω,µ,S ) be a measure space.

Definition 33.1.1 Lp (Ω)+L1 (Ω) will denote the space of measurable functions, f , suchthat f is the sum of a function in Lp (Ω) and L1 (Ω). Also, if T : Lp (Ω)+L1 (Ω)→ spaceof measurable functions, T is subadditive if

|T ( f +g)(x)| ≤ |T f (x)|+ |T g(x)|.

T is of type (p, p) if there exists a constant independent of f ∈ Lp (Ω) such that

||T f ||p ≤ A∥ f∥p, f ∈ Lp (Ω).

T is weak type (p, p) if there exists a constant A independent of f such that

µ ([x : |T f (x)|> α])≤(

Aα|| f ||p

)p

, f ∈ Lp (Ω).

The following lemma involves writing a function as a sum of a functions whose valuesare small and one whose values are large.

Lemma 33.1.2 If p ∈ [1,r], then Lp (Ω)⊆ L1 (Ω)+Lr (Ω).

Proof: Let λ > 0 and let f ∈ Lp (Ω)

f1 (x)≡{

f (x) if | f (x)| ≤ λ

0 if | f (x)|> λ, f2 (x)≡

{f (x) if | f (x)|> λ

0 if | f (x)| ≤ λ.

Thus f (x) = f1 (x)+ f2 (x).∫| f1 (x)|r dµ =

∫[| f |≤λ ]

| f (x)|r dµ ≤ λr−p

∫[| f |≤λ ]

| f (x)|p dµ < ∞.

Therefore, f1 ∈ Lr (Ω).∫| f2 (x)|dµ =

∫[| f |>λ ]

| f (x)|dµ ≤ µ [| f |> λ ]1/p′(∫| f |p dµ

)1/p

< ∞.

This proves the lemma since f = f1 + f2, f1 ∈ Lr and f2 ∈ L1.For f a function having nonnegative real values, α → µ ([ f > α]) is called the distri-

bution function.

1119

Chapter 33Fourier Analysis In IR”The purpose of this chapter is to present some of the most important theorems on Fourieranalysis in R”. These theorems are the Marcinkiewicz interpolation theorem, the CalderonZygmund decomposition, and Mihlin’s theorem. They are all fundamental results whoseproofs depend on the methods of real analysis.33.1 The Marcinkiewicz Interpolation TheoremLet (Q, u,.7%) be a measure space.Definition 33.1.1 L? (Q) +L! (Q) will denote the space of measurable functions, f, suchthat f is the sum of a function in L? (Q) and L' (Q). Also, if T : L? (Q) +L" (Q) > spaceof measurable functions, T is subadditive ifIT (f +8) (*)| < |TF(x)| + |Tg@)].-T is of type (p, p) if there exists a constant independent of f € LP (Q) such thatIT FI) SAF lp, FEL? (Q).T is weak type (p, p) if there exists a constant A independent of f such thatAaM(x: IFF(s)|> al) < ( lp) » Fez? (O).The following lemma involves writing a function as a sum of a functions whose valuesare small and one whose values are large.Lemma 33.1.2 /f p € [1,7], then L? (Q) C L'(Q) +L" (Q).Proof: Let A > 0 and let f € L? (Q)_ J f(x) if |f@)| <Afs)={ OiflF(|>a 7 2{ F(x) if |F(~)| >AOif |f(x)| <AThus f (x) = fi @) + 2).[incordu= [ ireoransare f |peyirdu<e.(fla) [lfl<A]Therefore, f; € L’ (Q).[ipooian= f \reolan swirl > a” (fLerran) 0 oe[If|>A]This proves the lemma since f = f, + fo, fi EL" and fo EL.For f a function having nonnegative real values, a — 1 ([f > @]) is called the distri-bution function.1119