05.03.2013 Views

Download (535Kb) - LSE Research Online - London School of ...

Download (535Kb) - LSE Research Online - London School of ...

Download (535Kb) - LSE Research Online - London School of ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Lemma 5.4 applied to S0m 0( 0) ;1 implies that<br />

whereas by Lemma 7.2 and Lemma 5.3<br />

S0m 0( 0) ;1 =2; S0m 0( 0)+o(tm 0)+m0;1=2<br />

S0m0( 0) =ES0m0( 0)+m 0;1=2<br />

Z0m0( 0) =1+atm0 + o(tm0)+m0;1=2 Since (m=m 0 ) 2 tm 0 = tm we get<br />

d1m = m 1=2 (m=m 0 ) 2<br />

tm0 + vt2 0 m + o(t2m<br />

0)+m0;1=2<br />

= p mtm +(v ; a) p 1+<br />

mtmtm0 + o(km)+vm for some >0. Thus (4.29) holds.<br />

We now estimate d2m: By Lemma 5.4 and Lemma 7.2,<br />

m<br />

m<br />

m:<br />

m 1 ; atm0 + o(tm0)+m0;1=2 R (2)<br />

m 0 ( 0) (S2m 0( 0)S0m 0( 0) ; S1m 0( 0) 2 )S0m 0( 0) ;2 =1+O((m 0 =n) + m 0;1=2 ) m<br />

and by (4.25)-(4.26),<br />

Um = p m(b ; 0) =; p mtm + Vm + o(rm)+O(m ;1=2 ml)+ 1+<br />

m<br />

From (4.8), Lemma 5.3 and (4.32) it follows that Vm = ;Z1 + e m m. Thus Um = ; p mtm ; Z1 +<br />

o(rm)+O(m ;1=2 ml)+e m m and<br />

d2m = vm(; p mtm ; Z1 + o(rm)+O(m ;1=2 ml)+e m m)(1 + e m m)<br />

= ; p mtmvm ; vmZ1 + o(km + vm)+v 1+<br />

m<br />

since e m v m for some >0. This proves (4.30).<br />

Finally, note that<br />

jd3mj vmm ;1=2 U 2<br />

mjR (3)<br />

1=2 2<br />

0 m ( )j = vmm<br />

m 2<br />

m<br />

mjR (3)<br />

0 m ( )j<br />

by Lemma 5.7. Similarly to (5.12) we can show that jR (3)<br />

m 0 ( )j C(log m0 ) 4 : Since under (3.18)<br />

m 1=2 2 m v m for some >0we get jd3mj v 1+<br />

m<br />

5 Approximation lemmas<br />

m: Thus (4.31) holds.<br />

To characterize negligible terms <strong>of</strong> our the expansions we shall use the following version <strong>of</strong> Chibisov's<br />

(1972) Theorem 2, which we present without pro<strong>of</strong>.<br />

Lemma 5.1 Let Ym = Vm + 2 m m, where m ! 0 as m ! 0,<br />

P (j mj<br />

and Vm has the asymptotic expansion<br />

;<br />

m )=o( m) some 0 <

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

Saved successfully!

Ooh no, something went wrong!