|
假设p=pnsaties0<lim infn→∞pn≤ 林尚→∞pn<1。如果q=qn=1- Pn和0≤ j=jn≤ n、 然后jxk=0nkpkqn-k=Φ(y)+e-Y√2πP√V+PV+PV3/2+PV+ On5/2作为n→ ∞, 式中V=npq,y=j-np+1/2√VandP=(q)- p) (1)- y) ,P=y[(-3+7y- y)-pq(-3+11岁- 2y)],P=(q- p) [(123+129y)- 384y+95y- 5y)-pq(3+69y)- 399y+145y- 10y)],P=y[(-4293- 1359y+6165y- 1971y+185y- 5y+pq(3105+1395y)-7794y+2979y- 325y+10y)+pq(135- 1035y+7947y- 4167y+560y- 20y)]。如上所述,该结果的证明将基于因Uspensky[16,p.121]而产生的二项式概率的分析性表示。定理(Uspensky)。设0<p<1,q=1- p和0≤ J≤ n个已执行的数字。然后jxk=0nkpkqn-k=J(y)-J(y′),其中y=J- np+√Vand y′=-np+√Vwith V=npq;这里函数J由(3.1)J(y)=2πZπρsin(y)定义√V~n- χ) sin k d k y∈ R、 其中ρ=|pei|+q |,ω=arg(pei|+q)和χ=nω- np~n。我们将从Uspensky的表述中,通过运用和阐述他的观点,得出定理3.1(见[16,第121-129页])。为此,我们需要两个初步引理。12卡尔·格罗斯·埃尔德曼和法比恩·赫伊·韦利克克斯勒马3.2。假设p=pnsaties0<lim infn→∞pn≤ 林尚→∞pn<1。设q=qn=1- Pn和V=npq。对于固定常数M>0,设φ为正数,使得≤ M/V1/4。然后我们有R=|pei|+q | nthatR=eR|1+Rа+Rа+Rа+Xk=1O(nkа2k+6)作为n→ ∞, 式中=-V,R=V- pq,R=-五、-pq+pq.证据设ρ=|pei|+q |,使R=ρn。然后我们得到ρ=(p+2pq cos|+q)1/2=1.- 4pq sin~n1/2.这就得到了logρ=log1.- 4pq sin~n= -2pq sin~n- 4(pq)sin~n-(pq)sin~n- δ、 (3.2)式中δ=32(1- η)-4(pq)sinа对于0到4pq sinа之间的一些实数η。自从lim infn→∞请注意→∞qn>0我们有V=npq→∞ 因此0≤ φ ≤ M/V1/4→ 0作为n→ ∞. 因此(3.3)0≤ δ ≤ n足够大时的Cpq~n。现在,为了得到对数ρ的界,我们使用合适的泰勒展开式,大约0。
|