41.2. THE CASE OF BOUNDED OPEN SETS 1363

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||H2(D0)≤C

(|| f ||2L2(Ω)+ ||u||

2H1(Ω)+∑

k||hk||2H1(Ω)

).

From Lemma 41.2.2

||u||H2(Vi∩Ω) ≤C

(|| f ||2L2(Ω)+ ||u||

2H1(Ω)+∑

k||hk||2H1(Ω)

)

also. This proves the theorem since

||u||H2(Ω) ≤l

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

.

What about the Dirichlet problem? The same differencing procedure as above yieldsthe following.

Theorem 41.2.4 Let Ω be a bounded open set with C1,1 boundarybrownianmotiontheoremas in Definition 41.2.1, let f ∈ L2 (Ω) ,hk ∈ H1 (Ω), and suppose that for all x ∈Ω,

ai j (x)viv j ≥ δ |v|2 .

Suppose also that u ∈ H10 (Ω) 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 ∈ H10 (Ω) . Then u ∈ H2 (Ω) and for some C independent of f ,g, and u,

||u||2H2(Ω) ≤C

(|| f ||2L2(Ω)+ ||u||

2H1(Ω)+∑

k||hk||2H1(Ω)

).

What about higher regularity?

41.2. THE CASE OF BOUNDED OPEN SETS 1363Then Dj, W>,--- ,W) cover Q. Let Cy = 0Q\ (D, U (U!_,W;)) . Then C) is a closed subsetof W2. Choose an open set, D2 such thatC2 C D2 C Dz C Wy.Thus D,, D2, W3--- ,W; covers 0Q. Continue in this way to get D; C W;, and OQ C Ul_ Di,and D; is an open set. Now letAlso, let D; C V; C V; C W;. Therefore, Do, V,:-- ,V; covers Q. Then the same estimationprocess used above yieldslel 72(D9) SE (Gis + |lellir1(0) EllykFrom Lemma 41.2.2lIeeln2(vjnay SC (is + |lellin(@) Ellkalso. This proves the theorem sinceI[leelle2cay SY Neeleevjney + lel lz2 (D9) -i=1What about the Dirichlet problem? The same differencing procedure as above yieldsthe following.Theorem 41.2.4 Let Q be a bounded open set with C'! boundarybrownianmotiontheoremas in Definition 41.2.1, let f € L? (Q) ,hy € H! (Q), and suppose that for all x € Q,a’) (x) vivj > 6 |vI?.Suppose also that u € Hj} (Q) and| a'l (x) uj (x) v(x) dx+ [ In. (x) v4 (x) dx = [ F(x) v(x)dxJQ SQ JQ.for all v € Hj (Q). Then u € H? (Q) and for some C independent of f ,g, and u,ll Boca <C (Ivf + lll 2c +E. |kWhat about higher regularity?