|
假设f(K)- F(0)=O|日志(K/S)|-3/2作为K↓ 0,(4.1)Gulisashvili[19,推论8]证明了扩张√ti(x)=p2 |x |+U(x,·)-1(p)+(U(x,·)-1(p)p2 | x |+O|x|-3/2, 作为x↓ -∞, (4.2)函数U由U(x,z)定义≡ N(z)-n(z)/p2 | x |。很容易检查,对于每个x6=0,反函数U(x,·)-1在区间(0,1)上定义良好。在[4]中,证明了第一个定理(x)到[6]的相似性-1(p)被U(x,·)取代-1(P(Kx)/Kx),不假设(4.1)。在条件(4.1)下,公式(4.2)作为推论如下。(4.2)和低阶展开式(3.7)-(3.8)之间的主要区别在于术语U(x,·)的x依赖性-1(p)是不明确的。我们将从两个方向重新定义(4.2):1。我们提供了一个与(4.2)具有相同精度的ex-plic it渐近公式(4.6);通过“显式”,我们指的是这样一个事实,即我们的最终表达式是p | x |的幂的扩展,具有显式系数。2.我们估计了o前面的常数|x|-3/2错误术语。下面的结果定义了[19,定理6]。定理4.1。助理∈ (0, 1). 回想引理3.9中定义的函数R(·),并设置R(x)=R(Kx),因此R(x)=KxRKx(F(y)- F(0))dy.以下展开式适用于任何x<0:I(x)√T=p2 | x |+U(x,·)-1(p+r(x))+U(x,·)-1(p+r(x))p2 |x|+a(x)-U(x,·)-1(p+r(x))√|x | 3/2+o|x|-3/2,其中函数a(·)是a(x)≤ 0表示足够小的x,而lim infx↓-∞a(x)≥ -A(q)≡ -3q+2√eq/2。证据集合u(x)≡ U(x,·)-1(p+r(x))和uε(x)≡ U(x,·)-1.p+r(x)-Bε| x | 3/2, 其中Bε=3q+2+ε√π. [19,定理12]给出了以下估计:对于每一个ε>0,存在xε,使得√q | x |+h2,ε(x)≤√ti(x)≤√p | x |+h(x),(4.3)对于所有x<xε。
|