1366 CHAPTER 41. ELLIPTIC REGULARITY

Suppose also that u ∈ Hk (Ω) and∫Ω

ai j (x)u,i (x)v, j (x)dx+∫

hk (x)v,k (x)dx =∫

f (x)v(x)dx

for all v ∈ Hk (Ω) . Then u ∈ Hk+1 (Ω) and for some C independent of f ,g, and u,

||u||2Hk+1(Ω) ≤C(|| f ||2Hk−1(Ω)+ ||u||

2Hk(Ω)+∑

s||hs||2Hk(Ω)

).

Proof: Let the Wi for i = 1, · · · , l be as described in Definition 41.2.1. Thus ∂Ω ⊆∪l

j=1Wj. Then let C1 ≡ ∂Ω\∪li=2Wi, a closed subset of W1. Let D1 be an open set satisfying

C1 ⊆ D1 ⊆ D1 ⊆W1.

Then D1,W2, · · · ,Wl cover ∂Ω. Let C2 = ∂Ω\(D1∪

(∪l

i=3Wi))

. Then C2 is a closed subsetof W2. Choose an open set, D2 such that

C2 ⊆ D2 ⊆ D2 ⊆W2.

Thus D1,D2,W3 · · · ,Wl covers ∂Ω. Continue in this way to get Di ⊆Wi, and ∂Ω⊆∪li=1Di,

and Di is an open set. Now letD0 ≡Ω\∪l

i=1Di.

Also, let Di ⊆ Vi ⊆ Vi ⊆Wi. Therefore, D0,V1, · · · ,Vl covers Ω. Then the same estimationprocess used above yields

||u||Hk+1(D0)≤C

(|| f ||2Hk−1(Ω)+ ||u||

2Hk(Ω)+∑

k||hk||2Hk(Ω)

).

From Lemma 41.2.5

||u||Hk+1(Vi∩Ω) ≤C

(|| f ||2Hk−1(Ω)+ ||u||

2Hk(Ω)+∑

k||hk||2Hk(Ω)

)

also. This proves the theorem since

||u||Hk+1(Ω) ≤l

∑i=1||u||Hk+1(Vi∩Ω)+ ||u||Hk+1(D0)

.

1366 CHAPTER 41. ELLIPTIC REGULARITYSuppose also that u € H* (Q) andfe (x) uj (x) vj (x)dx+ I hy (x) vx (x) dx = [ Ff (x) v(x) dxfor all v € H¥ (Q). Then u € H**! (Q) and for some C independent of f,g, and u,espa) SC (LAs r0y + Ile) +My)Proof: Let the W; for i= 1,--- ,/ be as described in Definition 41.2.1. Thus dQ CUi ,W;. Then let C} = 0Q\U!_,W;, a closed subset of W;. Let D; be an open set satisfyingC, CD, CD, Cw,.Then Dj, W2,--- ,W; cover 0Q. Let Cz = Q\ (D, U(U!_,W;)) . Then C) is a closed subsetof W2. Choose an open set, D2 such thatCy C Dy C Dz C Wy.Thus D,, Dz, W3--- ,W; covers 0Q. Continue in this way to get D; C W;, and dQ C Ul_ Di,and D; is an open set. Now let _Do= Q\ Ul, Dj.Also, let D; C V; C V; C W;. Therefore, Do, V,--- ,V; covers Q. Then the same estimationprocess used above yieldslay £€ (IP +B) HEB)kFrom Lemma 41.2.5lull ye+41 (nay SC Gir + [lel (c) “Ellkalso. This proves the theorem sinceIheel Teret coy SY NNeeldevet (yr) + [eel Leper (Dp) -i=1