1. 引言
Delannoy数
是计数从
到
且只走上步
、下步
和对角步
的格路数。Delannoy矩阵
,其中元素
,则D是无限下三角矩阵,即当
时
且元素满足递归关系
,
其中
。
Delannoy类矩阵定义为
,见图1。
其中元素满足递归关系
,
,
是非负数,则
为无限下三角矩阵,即当
时有
。Delannoy类矩阵包含组合学中许多常见的矩阵,如Delannoy矩阵
,Pascal矩阵
,Fibonacci矩阵
。Delannoy类矩阵具有很多的组合性质,例如Delannoy类矩阵具有全正性,当一个矩阵的所有子式都非负,则该矩阵为全正矩阵 [1]。Delannoy类矩阵的每一行和对角行都是PF序列,若一个无限非负序列
的Toeplize矩阵
是全正的,则
是PF序列(详见 [1])。关于Delannoy矩阵和Pascal矩阵的行多项式的实根性已被广泛研究(读者可参考 [2] [3])。本文从Delannoy类矩阵角度统一给出这类矩阵的行多项式实根性的证明并给出根的稠密区间。
2. Delannoy类矩阵的行多项式的根
定义2.1 定义
是Delannoy类矩阵的行多项式,则
满足下列递归关系
(2.1)
其中
。
定义2.2 假设
。令
和
分别是f和g的根的非增序列。如果
,
我们称g交替f的左边(简称g交替f)。若果
,
我们称g交错f。将g交替f或者g交错f记为
。
在给出
实根性之前,我们需要下面判断实根性的重要引理。
引理2.3 [4] 令
是三个实多项式,且满足下面条件
a)
,其中
是两个实多项式,有
或
。
b)
。
c) F与g有相同的首项系数。
假设当
时
,则有
。
定理2.4 设
和
分别是多项式
的根。
的根均为实根且
的根严格交替于
的根,即
证明:由(2.1)递归关系
知
下面用归纳假设证明
只有实根且
。
由
解得其根分别为
均为实根且满足
,即
。现假设
时
的根均为实的且
。易知
与
的首项系数相同。
的各项系数均为正,故
的根全为负数,即
。因为
,所以
。由引理2.3从而有
的根为实根且
。
以上证明了
的实根性,下面我们给出根的存在区间及在对应的闭区间上稠密的证明。在证明之前,先来介绍一下相关的定义及引理。
定义2.5 假设
为一个复多项式序列。若存在一个序列
使得
并且当
有
成立,则我们称复数x为多项式序列
的零点的极限。
引理2.6 [5] 在非退化的情况下,
中的任意一个
都不恒为零多项式且使得对于一些单位模的
有
成立的i与j(
)不存在。则x为
的零点的极限当且仅当
i) 至少有两个
是模相等的且严格大于其余
的模;或者
ii) 对于一些j,
的模严格大于其余
的模且
。
引理2.7 [6] 令
。
i) 若n为奇数,
ii) 若n为偶数,
定理2.8 Delannoy类矩阵多项式的根都是实互异的,在区间
内,且在闭区间上稠密。
证明:由定理2.4知,
只有实根。由(2.1)式知其特征多项式为
则可得到
的Binet形式如下,
这里
(2.2)
是特征方程
的特征根且
。我们对n进行讨论,因为n为偶数与n为奇数的情况结果相同,现只对n为偶数进行分析。由引理2.7知,n + 1为奇数时,有
其中
。所以
不难得到
即
因为
,故
则
的n个根为
设
。
因为
,所以
是严格递减函数。根
中
的值随着k的增大而减小,从而
的值逐渐增大,即
由定理2.4知
,即
。故
的最大根随着n增大而增大,最小根随着n的增大而减小。
而
所以
的根在区间
。下证在闭区间稠密,只需证明对于任意的
都是序列
的根的极限为使得
成立的那些x,即
所以
,即
故任意的
都是
的根的极限。
3. 结论
本文应用刘丽和王毅给出的判断实多项式的根的交替性的方法,结合递归关系(2.1)证明了Delannoy类矩阵的行多项式的实根性。并利用Beraha等人给出的不恒为零多项式序列
的零点的极限判断定理,证明了Delannoy类矩阵的行多项式的根都在区间
内,且在闭区间
上稠密。