11.7. EXERCISES 293

Conclude that if s+ 1−2t2 = s+ 1

2 − t ≤ 0 and t > 1/2, then ∥γ(u)∥2s,2 ≤Cn ∥u∥2

t,2. Inparticular, if t = 1 and s = 1/2, you have ∥γ(u)∥2

(1/2),2 ≤Cn ∥u∥21,2 . This exhibits the

phenomenon of the loss of 1/2 derivative when considering γu on an n− 1 dimen-sional subspace.

17. In dealing with Sobolev spaces, the following interpolation inequality is very useful.Let 0≤ r < s < t. Then if u ∈ Ht (Rn) ,

∥u∥Hs(Rn) ≤ ∥u∥θ

Hr(Rn) ∥u∥1−θ

Ht (Rn)

where θ ∈ (0,1) such that θr+(1−θ) t = s. Hint:

∥u∥Hs(Rn) =

(∫Rn

(1+ |x|2

)θr(1+ |x|2

)(1−θ)t|Fu(x)|2 dx

)1/2

.

Regard |Fu(x)|2 dx = dµ as a measure and use Holder’s inequality.

(∫Rn|Fu(x)|2

(1+ |x|2

)sdx)1/2

=

(∫Rn

(1+ |x|2

)θr(1+ |x|2

)(1−θ)t|Fu(x)|2 dx

)1/2

(∫Rn

(1+ |x|2

)r|Fu(x)|2 dx

·(∫Rn

(1+ |x|2

)t|Fu(x)|2 dx

)1−θ

1/2

= ∥u∥θ

Hr(Rn) ∥u∥1−θ

Ht (Rn)

18. If ε > 0 and if θr+(1−θ) t = s,0≤ r < s < t, show that there exists a constant Cε

such that∥u∥Hs(Rn) ≤ ε ∥u∥Ht (Rn)+Cε ∥u∥Hr(Rn)

Hint: For r large and positive,

∥u∥Hs(Rn) ≤(

r∥u∥Hr(Rn)

)θ 1rθ∥u∥1−θ

Ht (Rn)

=(

r∥u∥Hr(Rn)

((1rθ

)1/(1−θ)

∥u∥Ht (Rn)

)1−θ

.

Now recall Proposition 9.3.2 and then pick r sufficiently large. This is very use-ful for checking conditions needed in non-linear partial differential equations andinclusions.

11.7. EXERCISES 293Conclude that if s+ 457% =s+4—1<0andt > 1/2, then acoliee <Chparticular, if t = 1 and s = 1/2, you have ||y(u) liu/2),2 <Ch llull7,>- This exhibits thephenomenon of the loss of 1/2 derivative when considering yu on an n— | dimen-sional subspace.17. In dealing with Sobolev spaces, the following interpolation inequality is very useful.LetO<r<s<t. Then if u € H’(R"),eel ers amey Mee ee came Ue zeewhere @ € (0,1) such that Or + (1— 0)t =s. Hint:Or (1-6)t 1/2linen) = (J, (1+ 1x1”) (1+IxI”) Fu(x) dr)Regard |Fu(x)|* dx = dy as a measure and use Holder’s inequality.(f. \Fu(x)P (1+|x)?) a in)(J, (+e) (14082) eu eotac). (Jen (1 + Ix?) [Fu (x)Pax)” me= ' 1-6(Je (1+ 1x!) Fux) dr)el creamy lel zeny18. If € > 0 and if 6r+ (1—0)t=s,0 <r << t, show that there exists a constant Cgsuch thatlull sce) S lel ze any + Ce [ll a caryHint: For r large and positive,lA(relly) ple Ge0 (74 \ U8)(riba) (4) UllmanNow recall Proposition 9.3.2 and then pick r sufficiently large. This is very use-ful for checking conditions needed in non-linear partial differential equations andinclusions.[ll saan)1-0