37.1. EMBEDDING THEOREMS FOR W m,p (Rn) 1285

Lemma 37.1.16 Let U be a bounded open set and define for p > 1

S≡{

u ∈W 1,1 (U)∩Lp (U) : ||u||1,1,U + ||u||Lp(U) ≤M}

(37.1.19)

and let φ ∈C∞c (U) and

S1 ≡ {uφ : u ∈ S} . (37.1.20)

Then S1 is precompact in Lq (U) where 1≤ q < p.

Proof: This depends on Theorem 37.1.14. The second condition is satisfied by takingG≡ spt(φ). Thus, for w ∈ S1, ∫

U\G|w(x)|q dx = 0 < ε

p.

It remains to satisfy the first condition. It is necessary to verify there exists δ > 0 such thatif |v|< δ , then ∫

Rn

∣∣∣φ̃u(x+v)− φ̃u(x)∣∣∣q dx < ε

p. (37.1.21)

Let spt(φ)∪ (spt(φ)−v)≡ Gv. Now if h is any measurable function, and if θ ∈ (0,1)is chosen small enough that θq < 1,∫

Gv|h|q dx =

∫Gv|h|θq |h|(1−θ)q dx

≤(∫

Gv|h|dx

)θq(∫Gv

(|h|(1−θ)q

) 11−θq

)1−θq

=

(∫Gv|h|dx

)θq(∫Gv|h|

(1−θ)q1−θq

)1−θq

. (37.1.22)

Now let θ also be small enough that there exists r > 1 such that

r(1−θ)q1−θq

= p

and use Holder’s inequality in the last factor of the right side of 37.1.22. Then 37.1.22 isdominated by (∫

Gv|h|dx

)θq(∫Gv|h|p) 1−θq

r(∫

Gv1dx)1/r′

= C(||h||Lp(Gv)

,mn (Gv))(∫

Gv|h|dx

)θq

.

Therefore, for u ∈ S,∫Rn

∣∣∣φ̃u(x+v)− φ̃u(x)∣∣∣q dx =

∫Gv|φu(x+v)−φu(x)|q dx≤

37.1. EMBEDDING THEOREMS FOR W""? (R") 1285Lemma 37.1.16 Let U be a bounded open set and define for p > |S= {u ewh! (UY) OL? WU): \lalli e+ 1lelleow) <m} (37.1.19)and let @ € Ce (U) andS| = {ud :u ES}. (37.1.20)Then S is precompact in L1(U) where 1 <q < p.Proof: This depends on Theorem 37.1.14. The second condition is satisfied by takingG = spt(@). Thus, for w € Sj,| _|w(x)4dx =0 <e?.U\GIt remains to satisfy the first condition. It is necessary to verify there exists 6 > 0 such thatif |v| < 6, thenI lou (x+y) —du(x)|! dx <e”. (37.1.21)Let spt (@) U (spt (@) — v) = Gy. Now if / is any measurable function, and if 6 € (0,1)is chosen small enough that 0g < 1,[ initax - J inltain axGy Gy6q _l_(1-6)q) 799(ma) 09")7, 6q . (1-0)4 1—0q(| iia) (/ ial a) . (37.1.2)Gy GyNow let @ also be small enough that there exists r > 1 such thatp= 8)41-—6q1—6qIAand use Holder’s inequality in the last factor of the right side of 37.1.22. Then 37.1.22 isdominated by1—0q(Lams) Char) © (ls)= € (lie m(G0)) (fila)Therefore, for u € S,Iebu(x+v)—du(x))'dx= | \ou(x+v) —du(x)|"dx <