13.3. THE DUAL SPACE OF Lp (Ω) 327

Lemma 13.3.3 Let (Ω,S ,µ) be a measure space and suppose there exists a measur-able function, r such that r (x) > 0 for all x, there exists M such that |r (x)| < M for all x,and

∫rdµ < ∞. Then for Λ ∈ (Lp(Ω,µ))′, p ≥ 1, there exists h ∈ Lq(Ω,µ), L∞(Ω,µ) if

p = 1 such that Λ f =∫

h f dµ. Also ∥h∥= ∥Λ∥. (∥h∥= ∥h∥q if p > 1, ∥h∥∞ if p = 1). Here1p +

1q = 1.

Proof: Define a new measure µ̃ , according to the rule

µ̃ (E)≡∫

Erdµ. (13.5)

Thus µ̃ is a finite measure on S . For

Λ ∈ (Lp (µ))′ ,Λ( f ) = Λ

(r1/p

(r−1/p f

))= Λ̃

(r−1/p f

)where Λ̃(g)≡ Λ

(r1/pg

). Now Λ̃ is in Lp (µ̃)′ because

∣∣∣Λ̃(g)∣∣∣ ≡ ∣∣∣Λ(r1/pg

)∣∣∣≤ ∥Λ∥(∫Ω

∣∣∣r1/pg∣∣∣p dµ

)1/p

= ∥Λ∥

∫Ω

|g|pdµ̃︷︸︸︷

rdµ

1/p

= ∥Λ∥∥g∥Lp(µ̃)

Therefore, by Theorems 13.3.2 and 13.3.1 there exists a unique h∈ Lq (µ̃) which representsΛ̃. Here q = ∞ if p = 1 and satisfies 1/q+1/p = 1 otherwise. Then

Λ( f ) = Λ̃

(r−1/p f

)=∫

h f r−1/prdµ =∫

f(

hr1/q)

Now hr1/q ≡ h̃ ∈ Lq (µ) since h ∈ Lq (µ̃). In case p = 1,Lq (µ̃) and Lq (µ) are exactly thesame. In this case you have Λ( f ) = Λ̃

(r−1 f

)=∫

Ωh f r−1rdµ =

∫Ω

f hdµ Thus the desiredrepresentation holds. Then in any case,|Λ( f )| ≤

∥∥h̃∥∥

Lq ∥ f∥Lp so ∥Λ∥ ≤∥∥h̃∥∥

Lq . Also, asbefore,

∥∥h̃∥∥q

Lq(µ)=

∣∣∣∣∫Ω

h̃∣∣h̃∣∣q−2 h̃dµ

∣∣∣∣= ∣∣∣Λ(∣∣h̃∣∣q−2 h̃)∣∣∣≤ ∥Λ∥(∫

∣∣∣|h̃|q−2h̃∣∣∣p dµ

)1/p

= ∥Λ∥(∫

(∣∣h̃∣∣q/p)p)1/p

= ∥Λ∥∥h∥q/p

and so∥∥h̃∥∥

Lq(µ)≤ ∥Λ∥ ≤

∥∥h̃∥∥

Lq(µ). It works the same for p = 1. Thus

∥∥h̃∥∥

Lq(µ)= ∥Λ∥ . ■

A situation in which the conditions of the lemma are satisfied is the case where themeasure space is σ finite. In fact, you should show this is the only case in which theconditions of the above lemma hold.

Theorem 13.3.4 (Riesz representation theorem) Let (Ω,S ,µ) be σ finite and letΛ ∈ (Lp(Ω,µ))′, p ≥ 1. Then there exists a unique h ∈ Lq(Ω,µ), L∞(Ω,µ) if p = 1 suchthat Λ f =

∫h f dµ. Also ∥h∥= ∥Λ∥. (∥h∥= ∥h∥q if p > 1, ∥h∥∞ if p = 1). Here 1

p +1q = 1.

13.3. THE DUAL SPACE OF L? (Q) 327Lemma 13.3.3 Let (Q,.%,) be a measure space and suppose there exists a measur-able function, r such that r(x) > 0 for all x, there exists M such that |r(x)| <M for all x,and {rd <%. Then for A € (L?(Q,h))', p > 1, there exists h € L1(Q,u), L*(Q,u) ifp= such that Af = f hf. Also |\h| = |All (| = [ly if > 1, [ll if p= 1). HereProof: Define a new measure [U, according to the ruleji(E)= | rd. (13.5)JEThus {J is a finite measure on .Y. ForAe (LP (uy AQ) =A(r/? (NPf)) SAC VPs)where A(g) =A (r'/Pg) . Now A is in L? (jt)’ becauseew = |a(r'e)|-siai(ferelan)an \ 1/PSe ATherefore, by Theorems 13.3.2 and 13.3.1 there exists a unique / € L4 ({1) which representsA. Here q =~ if p = 1 and satisfies 1/q¢+1/p = 1 otherwise. ThenA(N=A(r Ps) = [npr VPrau = ff (ir!) ayNow hr!/4=h €L4(u) since h € L1 (jt). In case p = 1,L4({1) and L4 (1) are exactly thesame. In this case you have A(f) =A(r7!f) = Johfr7'rdut = Jog fhdu Thus the desiredrepresentation holds. Then in any case,|A(f)| < lAl\ 4 lf \lzp so ||Al] < Walla « Also, asbefore,Aboyy = (fli! Pan] [a (Wal *%)| < yay (f ethan)\/p_ zja/p\? —|lA q/Pial (f, (ale”)") =aand s0 [ll jay <A < [AlleeA situation in which the conditions of the lemma are satisfied is the case where themeasure space is oO finite. In fact, you should show this is the only case in which theconditions of the above lemma hold.. It works the same for p = 1. Thus Alley = ||A||. aTheorem 13.3.4 (Riesz representation theorem) Let (Q,./,[) be © finite and letA € (L?(Q,))’, p > 1. Then there exists a unique h € L4(Q,yW), L*(Q,) if p= 1 suchthat Af = [hfdy. Also \\h|| = |\Al\- ((lhl] = [Allg fp > 1, |\hllo fp = 1). Here 5 +5 = 1.