|
,kd)。然后(b)ι′=(b)ι×b+kj*-(j)*+1) /2b+ki*-(一)*+1) /2<(b)ι。对于新的划分,如果我们有α(ι′)=α(ι),那么β(ι′)=β(ι)+2。自β(·)≤ D- 1.经过一些迭代之后,我们应该有一个α值减小的分区。因此,我们得到了一个带有α(^ι)的划分≤ 1在有限的步骤中,这是最小的一步。由于新划分总是具有较小的超几何系数值,我们得出结论(b)^ι<(b)ι适用于任何非最小划分ι。为了让读者更好地理解,我们举了一个例子来说明上述证明的观点。考虑情况d=5和k=8。在这种情况下,最小的分区是^ι=^ι(8)=(2,2,2,1,1)。我们从一个不是最小的分区开始,比如ι=(4,3,1,0,0)。从这个划分中,我们依次寻找一个超几何系数更小的新划分,直到我们得到最小的一个:(4,3,1,0,0),α(ι)=4,β(ι)=312345b+3b+2b+1b+b-B- 1.-→(3,3,1,1,0),α(ι)=3,β(ι)=312345b+2b+b+1b+bbb-B- 1b-2.-→(3,2,1,1,1),α(ι)=2,β(ι)=212345b+2b+1b+bb-B- 1b-2 b-3.-→(2,2,2,1,1),α(^ι)=1,β(^ι)=11 2 3 4 5b+1 b+bb b-B- 1b- 2 b-3在每个阶段,超几何系数的值都会减小,最小的分区具有最小的超几何系数。下一个引理是关于不同尺寸隔板的超热学系数之间的比较。引理A.8。让b>(d)- 1) 和k≥ d、 然后(b)^ι(k)<(b)^ι(k+1)。证据这个引理是递归关系(20)的一个简单结果。我们写^ι(k)=(k,·kd)。自从k≥ d、 我们有kj≥ 1代表所有j=1,·,d。因此,1≤ kj<b+kj-(d)-1) ≤ b+kj-(j)- 1) 对于所有的j=1,·,d。这一观察结果和复发关系(20)完成了预测。现在我们考虑分区多项式。
|