210 22. TOOLS USED IN PROOF OF PSEUDOLOCALITYAssuming this claim and using JM 'lj;^2 djl = fJRn h^2 dμJRn, we have
2:: o,where we have used (22.89) to obtain the last inequality. Hence (22.92) is
proved modulo the claim.
Finally we give a proof of the claim. By the co-area formula, we haveHence(22.100)
Since h is rotationally symmetric and r~ is a round sphere centered at the
origin, we have by (22.94),fr, j\7hj dCY]Rn •fr, J~hl dCY]Rn
s s
= (Area (r~) )2:S (;:)
2
/n (Area9(I's))^2::::; (~)21
n r lv'lj;/doc· r _
1_1
Ida:,n Jrs Jr. \71/J
where we used the Holder inequality to obtain the last inequality. By this
and (22.100), we have