40.1. A FUNDAMENTAL INEQUALITY 1343

+2∫

U−Diφ

(x,

32

g(x)− yn

2

)f (x,yn)dyndx. (40.1.3)

Now let

ψ1 (x,yn)≡ φ (x,2g(x)− yn) , ψ2 (x,yn)≡ φ

(x,

32

g(x)− yn

2

).

Then∂ψ1∂xi

= Diφ (x,2g(x)− yn)+Dnφ (x,2g(x)− yn)2Dig(x) ,

∂ψ2∂xi

= Diφ

(x,

32

g(x)− yn

2

)+Dnφ

(x,

32

g(x)− yn

2

)32

Dig(x) .

Also∂ψ1∂yn

(x,yn) =−Dnφ (x,2g(x)− yn) ,

∂ψ2∂yn

(x,yn) =

(−12

)Dnφ

(x,

32

g(x)− yn

2

).

Therefore,∂ψ1∂xi

(x,yn) = Diφ (x,2g(x)− yn)−2∂ψ1∂yn

(x,yn)Dig(x) ,

∂ψ2∂xi

(x,yn) = Diφ

(x,

32

g(x)− yn

2

)−3

∂ψ2∂yn

(x,yn)Dig(x) .

Using this in 40.1.3, the integrals in this expression equal

−3∫

U−

[∂ψ1∂xi

(x,yn)+2∂ψ1∂yn

(x,yn)Dig(x)]

f (x,yn)dyndx+

2∫

U−

[∂ψ2∂xi

(x,yn)+3∂ψ2∂yn

(x,yn)Dig(x)]

f (x,yn)dyndx

=∫

U−

[−3

∂ψ1 (x,y)∂xi

+2∂ψ2 (x,yn)

∂xi

]f (x,yn)dyndx.

Therefore, ∫Rn

∂φ

∂xif dx =

∫U−

[∂φ

∂xi−3

∂ψ1∂xi

+2∂ψ2∂xi

]f dxdyn

and alsoφ (x,g(x))−3ψ1 (x,g(x))+2ψ2 (x,g(x)) =

φ (x,g(x))−3φ (x,g(x))+2φ (x,g(x)) = 0

and so φ −3ψ1 +2ψ2 ∈ H10 (U

−) . It also follows from the definition of the functions, ψ iand the assumption that g is Lipschitz, that

||ψ i||1,2,U− ≤Cg ||φ ||1,2,U− ≤Cg ||φ ||1,2,Rn . (40.1.4)

40.1. A FUNDAMENTAL INEQUALITY 1343+2 I Dio (x3 (x) — **) f (Xyn) dnd. (40.1.3)Now let 3Vi (Xyn) = 0 (%,26(X) —Yn)s Wo (Kn) = (x30 _ 2) |Then 3on = Did (X,28 (x) — Yn) + Dn (x,28 (x) — Yn) 2Dig (x),0 n 3 n\ 3ee = id (x51) ) + Dad (x 5810) ) Dial).Also 3oy (X.Yn) = Did (x,2¢ (x) —Yn),) —1 3 ,oa (xn) = (=) Dud (x52) _ **) .Therefore,ow, _ pn. uy Oy, ;ax; (X,yn) = Did (x,2g (x) — yn) —2 On (x,yn) Dig (x) ,fa) 3 n dFE xn) =Did (5819) ) ~ 358? (wan) Dia),YnUsing this in 40.1.3, the integrals in this expression equald e)3 [se v1 (x J Yn) +2 oa X,Yn) Dig (x x] X,Yn ) dyndx+fe) ow2 5 ae X,Y Yn) +3 == Dy, (X,yn) D i8 «)] F( X,Yn ) dyndx0 5? Yn-[. -s 3 ey Y) Was X,Y, | Yn) dyndx.Ju x;Therefore,ag 09 9 VoRn Ox,1 4 “= [. 5° ~3 ax; | On, fadxdynand also9 (x,8(X)) — 3Wy (x8 (X)) +2 (x8 (x) =$ (x,8 (x)) — 30 (x8 (x)) +20 (x,8 (x)) =0and so @—3y,+2W € Hy} (U~). It also follows from the definition of the functions, yw;and the assumption that g is Lipschitz, thatWilly 2u- <Cy Pll 2u- <Cy ]Plli on - (40.1.4)