33.1. THE MARCINKIEWICZ INTERPOLATION THEOREM 1121

Proof of the claim: [ fn > α] ↑ [ f > α] because if f (x) > α then for large enough n,fn (x)> α and so

µ ([ fn > α]) ↑ µ ([ f > α]).

This proves the lemma. (Note the importance of the strict inequality in [ f > α] in provingthe claim.)

The next theorem is the main result in this section. It is called the Marcinkiewiczinterpolation theorem.

Theorem 33.1.4 Let (Ω,µ,S ) be a σ finite measure space, 1 < r < ∞, and let

T : L1 (Ω)+Lr (Ω)→ space of measurable functions

be subadditive, weak (r,r), and weak (1,1). Then T is of type (p, p) for every p ∈ (1,r)and

||T f ||p ≤ Ap || f ||pwhere the constant Ap depends only on p and the constants in the definition of weak (1,1)and weak (r,r).

Proof: Let α > 0 and let f1 and f2 be defined as in Lemma 33.1.2,

f1 (x)≡{

f (x) if | f (x)| ≤ α

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

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

0 if | f (x)| ≤ α.

Thus f = f1 + f2 where f1 ∈ Lr and f2 ∈ L1. Since T is subadditive ,

[|T f |> α]⊆ [|T f1|> α/2]∪ [|T f2|> α/2] .

Let p ∈ (1,r). By Lemma 33.1.3,∫|T f |p dµ ≤ p

∫∞

p−1µ ([|T f1|> α/2])dα+

+p∫

p−1µ ([|T f2|> α/2])dα.

Therefore, since T is weak (1,1) and weak (r,r),∫|T f |p dµ ≤ p

∫∞

p−1(

2Ar

α|| f1||r

)r

dα + p∫

p−1 2A1

α|| f2||1 dα. (33.1.2)

Therefore, the right side of 33.1.2 equals

p(2Ar)r∫

p−1−r∫

| f1|r dµdα +2A1 p∫

p−2∫

| f2|dµdα =

p(2Ar)r∫

∫∞

p−1−r | f1|r dαdµ +2A1 p∫

∫∞

p−2 | f2|dαdµ.

33.1. THE MARCINKIEWICZ INTERPOLATION THEOREM 1121Proof of the claim: [f, > a] t [f > a] because if f(x) > @ then for large enough n,fn (x) > & and soL([fn > @]) TE (Lf > ar]).This proves the lemma. (Note the importance of the strict inequality in [f > a] in provingthe claim.)The next theorem is the main result in this section. It is called the Marcinkiewiczinterpolation theorem.Theorem 33.1.4 Let (Q,u,.%) be a o finite measure space, 1 <r < °, and letT : L'(Q)+L' (Q) > space of measurable functionsbe subadditive, weak (r,r), and weak (1,1). Then T is of type (p,p) for every p € (1,r)andITF Il, SAplIfl\pwhere the constant Ap depends only on p and the constants in the definition of weak (1,1)and weak (r,r).Proof: Let @ > 0 and let f; and fo be defined as in Lemma 33.1.2,_{ £Q) if fl <a _{ £Q) if P@l>aAM={ Owwloa LO ={ owlwieaThus f = f; + fo where f, € L” and fy € L!. Since T is subadditive ,ITF] > a] C(ITA| > @/2|U[|TA| > a/2].Let p € (1,r). By Lemma 33.1.3,[irrau sp [ar w(lirfil > a/2i)de+p [ “ol (| fa] > 0/2) da.Therefore, since T is weak (1,1) and weak (7,r),co [2A " co 2A[iran sp [or (“Inil,) aarp [ar pide. 63.1.20 a 0 aTherefore, the right side of 33.1.2 equalsp(2a,y [ art | \fil'duda+2Ayp | ar | f|duda =0 Q 0 Qpany f [Parr fl'dadu+2aip [| a? |paldaan.Q/0 Q/0