NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
CALDERÓN <strong>IN</strong>VERSE PROBLEM ON RIEMANN SURFACES 117<br />
Proof of Lemma A.3<br />
We need to find Rh satisfying RhL 2 ≤ Ch5/4 and solving<br />
(g + V )Rh =−(g + V )vh =: Mh.<br />
Thanks to Corollary A.2, it suffices to show that MhB ∗ ≤ Ch5/4 . Thus, let w ∈ B;<br />
then we have, by (A.3),<br />
<br />
wMh dvg = I1 + I2 + I3,<br />
where<br />
<br />
I1 : =<br />
I2 : = 1<br />
h<br />
M0<br />
|Z|≤ √ h<br />
<br />
I3 : = 2<br />
h 3/2<br />
wVivhe 2ρ dZ,<br />
|Z|≤ √ we<br />
h<br />
(1/h)α·Z χ1<br />
<br />
|Z|≤ √ wχ2<br />
h<br />
<br />
Z√h<br />
<br />
e 2ρ dZ,<br />
<br />
Z√h<br />
<br />
e (1/h)α·Z dZ,<br />
and χ1 = gη, χ2 = i∂xη − ∂yη. In the above equation, the term I3 has the worst<br />
growth when h → 0. We analyze its behavior, and the preceding terms can be treated<br />
in similar fashion. One has<br />
I3 =−h 1/2<br />
=−h 1/2<br />
<br />
<br />
|Z|≤ √ wχ2<br />
h<br />
|Z|≤ √ (∂x − i∂y)<br />
h<br />
2<br />
<br />
Z√h<br />
<br />
(∂x − i∂y) 2 e (1/h)α·Z dZ<br />
<br />
Z√h<br />
<br />
wχ2 e (1/h)α·x dZ.<br />
Notice that the boundary term in the integration by parts vanishes because w ∈ H 1 0<br />
and ∂νw|∂M0 vanishes on the support of η. The term (∂x − i∂y) 2 (wχ2(Z/ √ h)) has<br />
derivatives hitting both χ2(Z/ √ h) and w. The worst growth in h would occur when<br />
both derivatives hit χ2(Z/ √ h), in which case a h −1 factor would come out. Combined<br />
with the h 1/2 term in front of the integral this gives a total of a h −1/2 in front. By this<br />
observation we have improved the growth from h −3/2 to h −1/2 . Repeating this line of argument<br />
and using the Cauchy-Schwarz inequality, we can see that |I3| ≤Ch 5/4 wH 2<br />
(an elementary computation shows that functions of the form χ(Z/ √ h)e (1/h)α·Z have<br />
L 2 norm bounded by Ch 3/4 ). Therefore, (1/h 3/2 )χ2(Z/ √ h)e (1/h)α·Z B ′ ≤ Ch5/4 ,<br />
and we are done.