|
,xn-1) }dxn-1.我们将在证明中使用拉普拉斯方法的高维扩展。回想一下,对于所有1,Ak>0≤K≤ n、 我们有Ψxk=-Akxk+An1-十、-···-xk-···-xn-1对于所有1≤ K≤ N- 1.因此,函数ψ有一个唯一的临界点x*=(十)*, . . .,十、*N-1) wherex*k=AkA+A+····+anfor1≤K≤ N-1.注意临界点x*属于(28)中积分集的内部,更重要的是,这个点是函数ψ的全局最小点。接下来,使用[13]中的公式(8.3.50),我们得到logx=Pdx(ET*))2π对数1/x(n)-1) /2Φ(x)*, . . . , 十、*N-1) (29)×exp-logxψ(x)*, . . .,十、*N-1)1+Ologx-1.作为x→0,其中H(x*) 是在临界点x处计算的函数ψ的海森矩阵*. 注意Φ(x*, . . .,十、*N-1) =(A+···+An)nA··An(30)×exp(-nXk=1akklogA+··+AnAk+uk-X1≤i<j≤奈吉logA+··+AnAi+uilogA+··+AnAj+uj)16 A.Gulisashvili和P.Tankovandψ(x)*, . . .,十、*N-1) =nXk=1AklogA+··+AnAk+uk. (31)此外Ψxk(x)*) = (A+···+A)Ak+An, 1.≤ K≤ N- 1.和Ψ十一xj(x)*) = (A+···+An)An,1≤ i<j≤N-1,我们有d(H(x)*)) = (A+··+An)2n-2(32)×A.-1+A-1nA-1n·A-1nA-1nA-1+A-1n·A-1n·······A-1nA-1n·A-1n-1+A-1n.接下来,使用(32)并进行长而繁琐的计算,我们得到以下等式:det(H(x*)) =(A+A+··+An)2n-1AA··An。(33)最后,考虑到(25)、(29)和(30)、(31)和(33),我们完成了引理1中公式(19)的证明。公式(20)可以通过积分公式(19)来推导,或者我们可以通过使用与证明(19)相同的方法直接推导(20)。理论证明1。让k∈{n,…,n-1} ,z∈(0,)和a,b使得ea+eb=z。那么,P[eY+·eYk+1≤z]≥ P[eY+···+eYk≤ea,Yk+1≤b] =P[eY+·eYk≤[ea]-P[eY+···+eYk≤ea,Yk+1>b]。注意,k≥ \'n表示tPki=1\'wi=1。
|