20.07.2013 Views

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

NEAR OPTIMAL BOUNDS IN FREIMAN'S THEOREM

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!