1342 CHAPTER 40. KORN’S INEQUALITY

Consider the first integral on the right in 40.1.1. Changing the variables, letting

yn = 2g(x)− xn

in the first term of the integrand and 3g(x)−2xn in the next, it equals

−3∫

U−

∂φ

∂xn(x,2g(x)− yn) f (x,yn)dyndx

+2∫

U−

∂φ

∂xn

(x,

32

g(x)− yn

2

)f (x,yn)dyndx.

For (x,yn) ∈U−, and defining

ψ (x,yn)≡ φ (x,yn)+3φ (x,2g(x)− yn)−4φ

(x,

32

g(x)− yn

2

),

it follows ψ = 0 when yn = g(x) and so∫Rn

f∂φ

∂xndx =

∫U−

∂ψ

∂ynf (x,yn)dxdyn.

Now from the definition of ψ given above,

||ψ||1,2,U− ≤Cg ||φ ||1,2,U− ≤Cg ||φ ||1,2,Rn

and so ∣∣∣∣∣∣∣∣ ∂ f∂xn

∣∣∣∣∣∣∣∣−1,2,Rn

sup{∫

Rnf

∂φ

∂xndx : φ ∈C∞

c (Rn) , ||φ ||1,2,Rn ≤ 1}≤

sup{∣∣∣∣∫U−

f∂ψ

∂xndxdyn

∣∣∣∣ : ψ ∈ H10(U−), ||ψ||1,2,U− ≤Cg

}=Cg

∣∣∣∣∣∣∣∣ ∂ f∂xn

∣∣∣∣∣∣∣∣−1,2,U−

(40.1.2)

It remains to establish a similar inequality for the case where the derivatives are takenwith respect to xi for i < n. Let φ ∈C∞

c (Rn) . Then∫Rn

f∂φ

∂xidx =

∫U−

f∂φ

∂xidx

∫U+

∂φ

∂xi[−3 f (x,g(x)− xn)+4 f (x,3g(x)−2xn)]dx.

Changing the variables as before, this last integral equals

−3∫

U−Diφ (x,2g(x)− yn) f (x,yn)dyndx

1342 CHAPTER 40. KORN’S INEQUALITYConsider the first integral on the right in 40.1.1. Changing the variables, lettingYa = 2g (x) _in the first term of the integrand and 3g (x) — 2x, in the next, it equalsafnfFor (x,y) € U~, and defining—Yn) Ff (¥&Yn) dyndx3 Ynvlc 58 (x) — >) f (Xn) dyndx.Wn) = 0 (Ryn) +30 (428 (8) — yn) —40 (x58(0)— 2),it follows y = 0 when y, = g(x) and so00, [ 2dxdyp.[, f ax, x= ay! (x,Yn) dxdynNow from the definition of y given above,IWiliou- < Ce |! lhi2.0- <Cy Olly 2m|0sup{ [ ssPaxi9 ECS (R"),|1Olly om < i} <oysup {| [1and soofOXn—1,2,R">We Hy (U~),\IWihiou- <G}OfOXnIt remains to establish a similar inequality for the case where the derivatives are takenwith respect to x; for i <n. Let @ € C? (R"). Thenpeas x= ff peas[-3f (x,8 (x) — Xn) +4f (x, 38 (x) — 2xn)] dx.(40.1.2)=C,—1,2,U-agUt Ox;Changing the variables as before, this last integral equals=3 | Did (%.26 (x) — yn) f (ayn) dynaJU