|
第一个条件实际上遵循(189),因为该表达式中的积分为正。第二个条件是,对于β≥limχ→0ddχ[G(+)(χ)]KS- χ!=-∞.(193)这是通过明确写出导数yddχ[G(+)(χ)]KS得到的- χ=G(+)(χ)dχG(+)(χ)KS- χ+[G(+)(χ)](KS- χ) 。(194)此外,此处出现的函数具有χ→ 0限值,对于β≥,(195)G(+)(χ)=1+Oχ-β, asχ→ 0和(196)ddχG(+)(χ)=-∞ asχ→ 0。关系式(195)来自χ→ 0超几何函数的渐近性,可从方程(208)(197)F中提取, β、 ;;1.-χ=3.- 2βχβ+Γ()Γ(β-)Γ(β)χ3/2。关系式(196)是从(189)中得出的,注意到RHS上的积分是从asZχdzzβ以下有界的√z- χ≥Zχdzz--β=- β(1- χ-β)→ +∞, χ→ 0+。(198)在最后一步中,我们使用了β>。使用关系zχdzpz(z- χ) =2对数(p1- χ+1)- 对数χ→ ∞, χ→ 0+。(199)这表明在下边界χ=0处未达到(38)中的最大值。这正好说明了引理30在[47]中的应用。32 DAN PIRJOL和LINGJIONG ZHUiii)根据定理5给出的速率函数I(K,S)的结果以及上文(I)和(ii)中证明的IK(K,S)的单调性,可以立即得出结论。命题12的证明。
|