1. 引言
设n阶简单图
,其中
表示点集,
表示边集。
表示图G邻接矩阵,其中
当且仅当
,否则
。
定义为图G的特征多项式,其中I表示单位矩阵。
的根称为图G的特征值。图G特征值的多重集称为G的谱。两个图如果有相同的谱,则成它们同谱。设
是图G不同特征值,图G的能量定义为
,其中
(
)为特征值
的重数。
李学良,史永堂,Gutman [1] 提出这样一个问题:对于特征值不能用根式表示的非同谱等能量图G和G',能否用数学的方法证明它们等能量。Miljković等人 [2] 也遇到了这样一个问题,树T1 (见图1)和树T2 (见图2)尽管利用数学软件进行数值运算可以确定它们等能量,但是却不能利用数学方法严格证明。对于这个问题的研究,几乎没有文献有所提及,近几年有关图能量的研究几乎都是对能求出图的能量,并借此来构造一系列等能量的图,例如文献 [3] 给出了所有树
的特征值和能量计算公式,文献 [4] 探讨了图的算术–几何谱半径和能量在化学应用中的一些应用,文献 [5] 则找出了顶点数介于7~10的等能量连通图及22个顶点以下的等能量化学树,并构造出了一类等能量图。
在构造等能量的图过程中,不可避免的会出现图的特征值不能用根式表达,因此我们希望找到一种方法能够避开这种问题,从而能够构造一系列的等能量图。现如今我们已经找到一种方法来证明两棵树等能量。这种方法利用特征多项式和韦达定理来确定它们等能量,而不用求它们各自的特征值,这样就规避了树的特征值不能用根式表达而无法求能量的问题,也为后面构造或寻找一系列等能量的树打下基础。
2. 预备知识
定理2.1. (笛卡尔符号法则 [6] )设
,
,那么函数
的正根个数(包含重数)等于
中变号的次数。
定理2.2. (零点存在定理 [7] )设函数
在区间
上连续,且
,则存在点
成立
。
定理2.3. (韦达定理 [8] )设
是n阶多项式,对应的根为
,设
,
,
,
,
,
,那么成立
3. 利用特征多项式证明等能量
在证明树等能量之前,我们先给出如下两个定理。
定理3.1. 设
,其中
,
,则
由4个正根,设为
,记
,那么有
证明:根据定理2.1可知
有4个正根,设为
,记
。根据定理2.3可得到
,,
,
,那么有
即有
,进一步有
则
,因此
故有
,即
值得注意的是,如果上述多项式
有一个零根,那么这个多项式就退化为3阶多项式,此时
,上述结论依然成立。
随着多项式次数的增加,运算复杂度也会加大,但是在实际计算过程中,4阶多项式完全能够处理20阶以下的等能量树。因此后面的研究主要是20以下的等能量树的证明。由于树的特征值正负成对出现的,那么它的能量可以看作所有正特征值和的两倍,如果两棵树所有的正特征值的和相等,那么它们一定等能量,在此基础上,如果再删掉它们相同的特征值,保证两棵树不同特征值的和相同,同样可以得到它们的能量相同,基于这个原理,我们给出以下定理。
定理3.2. 设
,
,
,
,
,
,
分别是
的所有非零根。而
,
满足定理3.1,那么当方程有唯一正实根是
的充分条件。
(1)
现在我们可以根据以下步骤来证明树T和树T'等能量:
① 消去树T和树T'特征多项式的最大公因式,剩下的多项式一定是偶次,分别用
和
表示;
② 令
,得到多项式
和
,如果定理3.2成立,那么可以确定
。
步骤①的目的是消去树T和树T'的相同特征值,保留剩下不同的特征值;由于剩下的特征值一定是正负成对出现的,而步骤②的目的就是只考虑所有正特征值的和,只要正特征值的和相等,那么树T和树T'必定等能量。下面我们给出一个例子来具体说明这个过程。
4. 应用
例1:证明树T1 (见图1)和树T2 (见图2)等能量。
证明:树T1和树T2的特征多项式分别为
最大公因式为
,消去最大公因式后得到树T1和树T2剩下的多项式为
令
,得到
根据定理2.1可知,
和
的所有根均为正数,不妨设
和
分别为
和
的所有根,记
,
,下面证明方程(2)有唯一正实根。
(2)
化简得到
构造辅助函数
,显然当
时,有
,并且
,根据定理2.2可知至少存在一点
,成立
。另一方面,有
即对
,成立
,即
在
上严格单调增加,故
在
上存在唯一的正实根,那么定理3.2成立,因此
。
例2:证明树T3 (见图3)和树T4 (见图4)等能量。
证明:树T3和树T4的特征多项式分别为
最大公因式为
,消去最大公因式后得到树T3和树T4剩下的多项式为
令
,得到
根据定理2.1可知,
和
的所有根均为正数,不妨设
和
分别为
和
的所有根,记
,
,下面证明方程(3)有唯一正实根。
(3)
化简得到
构造辅助函数
,显然当
时,有
,并且
,根据定理2.2可知至少存在一点
,成立
。另一方面,有
即对
,成立
,即
在
上严格单调增加,故
在
上存在唯一的正实根,那么定理3.2成立,因此
。