|
(21)通过g的任意性,比较(20)和(21)我们可以得出2exe(λt(ex))=e2xσ(x)中兴通讯(于|许=x)^浦(x,y;x)杜,十、∈ R在一般情况下,考虑Xt=logStS,结果很容易适应S6=1。特别是(f(St)- f(S))=E(λt(K))=E(λt(ex))=Kσ(x)中兴通讯(于|许=x)^浦(x,y;x)杜。(22)让1<a<∞ 带着>y*. 在紧致区间[a,a]上应用Bellaiche热核展开,我们知道对于任何固定ε∈ (0,1),存在一个t*= T*(ε) 这样,对于所有的t<t*我们有(Yt | Xt=x)^pt(x,y;x)=Z∞-∞y^pt(x,y;x,y)dy≤ (1+ε)Zaaψ(y)2πte-φ(y)/tdy+I+I∞,= (1+ε)ψ(y)*)p2πtφ′(y)*)E-φ(y)*)/th1+O(t)i+i+i∞, (23)式中I=Ray^pt(x,y;x,y)dy,I∞=R∞^pt(x,y;x,y)dy,y*是在定理的陈述中定义的,我们在y=y的极小值附近使用了拉普拉斯方法*(参见Stein&Sharkarchi[SS03]中的提案n 2.1,pa ge 323),我们可以这样做,因为距离函数d、度量(gij)和u(x,y)都是从x的切割轨迹平滑而来的(切割轨迹是空的,因为κ≤ 所以ψ和φ是光滑的。同样地,我们得到下边界(Yt | Xt=x)^pt(x,y;x)≥ (1 - ε) ψ(y)*)p2πtφ′(y)*)E-φ(y)*)/th1+O(t)i.Fixδ>0。然后通过推论4.2,Coro-llary 4.4和引理4.5,我们知道对于a=a(ε)足够大的wehaveI≤Zay·χ(x,y)χ(x,y)eVmaxtp | g(y)| cΔπte-d(x,y)/(2+δ)tdy≤cΔπteVmaxtZayp | g(y)| Ce-d(y)/C′(2+δ)tdy,对于一些正常数C=C(x,y,x)和C′=C′(x,y,x),其中p | g(y)|≡p | g(x,y)|。但是从对α(y)的假设中我们也知道p | g(y)|~Aσ(x)yas y→ 0
|