二次型的几何分类及其应用

./二次型的几何分类及其应用田金慧容摘要：通过对二次型的基本概念与基本理论的阐述,重点讨论了二次型的五种分类：正定二次型、半正定二次型、负定二次型、半负定二次型和不定二次型,通过具体的实例给出了分类问题的几何描述。其次,分析并列举了二次型相关理论在实际中的一些应用,其中包括二次型标准型在二次曲面分类上的应用,由此得到了十七种二次曲面标准方程,并对典型方程给出了图形描述；同时包括二次型正定性用于求解多元函数极值问题的应用实例；还包括以实例展示半正定二次型用于不等式证明的步骤和方法。最后,作为二次型理论应用广泛的例证,阐述了它在统计学中关于统计距离、参数估计量的自由度求解以及量子物理中关于耦合谐振子问题的应用。在问题的研究中,采用理论分析与实例应用相结合,充分发挥数学应用软件的优势,将二次型〔实理论的涵形象、直观、清晰地给予展现。关键词：二次型；几何描述；正定性；实际应用1导言在数学的学习和应用中,二次型的理论是十分重要的,它不仅是代数中的重要理论,更是连接代数与几何的有力桥梁。事实上,二次型的理论就起源于解析几何中二次曲线、二次曲面方程的化简问题。学习和理解二次型的理论不但可以对数学中的代数定理有深刻地理解,也可以对几何有更为形象的认识。因此,掌握二次型理论的有关应用问题是十分必要的。但是,在现有的教材中,都只是对二次型理论的代数性质进行了一定的介绍,并没有对它的几何意义加以阐述；即使有一些书籍对它的几何性质稍有涉及,但也只是点到为止,并没有给出形象的表示,关于二次型可能的应用问题更是很少提及,然而在数学的很多分支以及一些其他学科中都或多或少地涉及到二次型有关理论的应用,如解析几何、统计学和量子物理等。本文以二次型分类为切入点,以几何描述为主线,充分发挥数学软件的优势,将二次型有关理论的涵加以展现。当然,这里所讨论的二次型理论只是其中的基础,关于它的深入研究请参阅参考文献[1]。二次型及其标准型所谓二次型就是一个二次齐次多项式。定义2.1在数域上,含有个变量的二次齐次函数〔1称为元二次型,简称二次型[2]。当为复数时,称为复二次型；当为实数时,称为实二次型。本文仅讨论实二次型。若取,则于是〔1式可写成〔2其中,,,为实对称矩阵,称为二次型的矩阵也把叫做对称矩阵的二次型；同时的秩也称为二次型的秩。定义2.2仅含有平方项的二次型〔3称为二次型的标准形。对于二次型,主要问题是：如何寻求一个可逆的线性变换〔4将其化为标准型。定理2.1任意元实二次型都可经正交变换化为标准形其中是的矩阵的特征值。利用正交变换化二次型化为标准型。解二次型的矩阵为特征多项式为：所以的特征值为。当时,解得线性无关的特征向量,单位化得。当,解得线性无关的特征向量,单位化得。令则为正交矩阵。于是,正交变换,即化二次型为标准型二次型变换前后的几何描述如图1。图1二次型变换前〔左图、后〔右图二次型的分类对二次型进行分类,在理论和应用上都有重要的意义。依二次型的正定性,可以将二次型分为以下几类：正定二次型、负定二次型、半正定二次型、半负定二次型和不定二次型等。3．1正定二次型和负定二次型定义设实二次型,如果对于任意一组不全为零的实数,都有,称该二次型为正定二次型,且称矩阵为正定矩阵。如果对于任意一组不全为零的实数,都有,称该二次型为负定二次型,且称矩阵为负定矩阵。二次型正定与负定的几何描述如图2、图3。图2一元、二元正定二次型图3一元、二元负定二次型定理对于实二次型,下列条件等价：是正定的；的标准型是；存在可逆实矩阵,且；存在可逆实矩阵,使得；的全部特征值皆大于零；的各级顺序主子式皆大于零,即。定理对于实二次型,下列条件等价：是负定的；的标准型是;存在可逆实矩阵,使得；的全部特征值皆小于零；的奇数阶顺序主子式为小于零,而偶数阶主子式为大于零[3],即。判别二次型的正定性。解二次型的矩阵为根据定理,知为正定二次型。的几何描述如图4。图4的三维切面图例判别二次型的正定性。解二次型的矩阵为根据定理,知为负定二次型。的几何描述如图5。图5三维切面图半正定二次型和半负定二次型定义设实二次型,如果对于任意一组不全为零的实数,都有,称该二次型为半正定二次型,且称矩阵为半正定矩阵。如果对于任意一组不全为零的实数,都有,称该二次型为半负定二次型,且称矩阵为半负定矩阵。二次型半正定与半负定的几何描述如图6〔二元二次型。图6二元半正定〔左图,二元半负定〔右图定理对于实二次型,下列条件等价：是半正定的；的标准型是；存在可逆实矩阵,且；存在实矩阵,使得；的全部特征值皆大于或等于零；的所有主子式皆大于或小于零。定理对于实二次型,下列条件等价[3]：是半负定的；存在实矩阵,使得；的全部特征值皆小于或等于零；的奇数阶主子式皆小于或等于零,而偶数阶主子式皆大于或等于零[3],即。3．3不定二次型定义设实二次型,如果既不是正定的,也不是负定的,则称该二次型为不定二次型。判定二次型的正定性。解易知所给二次型为不定二次型,其几何描述如图7。图7时的几何图形判定二次型的正定性。解易知所给二次型为不定二次型,其几何描述如图8。图8二次型理论在二次曲面分类上的应用4．1理论分析二次曲面方程的一般形式[4]为〔5令,,,则上述方程可以写为〔6其中就是一个二次型。由于是实对称矩阵,所以存在正交矩阵,使得这里,,为的特征值〔均为实数作正交变换,其中,式〔6化为〔7令,则〔7式化为〔8若都不为零,配方得：〔9那么,经过平移后式〔9可简化为〔10其中。下面对〔10式进行讨论。由〔10式得令,则有〔椭球面其几何图形如图9。图9仿上〔10式可化为〔虚椭球面其中。仿上〔10式可化为〔点其中。中两正一负,不妨设,仿上〔10式可化为〔单叶双曲面其中。中两正一负,不妨设,仿上〔10式可化为〔双叶双曲面其中。中两正一负,不妨设,仿上〔10式可化为〔二次锥面其中。其几何图形如图10。图10若中有且仅有一个为零不妨设,这时二次曲面〔8就变成从而,〔11若,则平移后得〔12再令则<8>式变为〔13于是又得到下面两类二次曲面:由〔13式得令,则有〔椭圆抛物面其几何图形如图11。图11仿上〔13式可化为〔双曲抛物面其中再若〔11式中,这时可把〔11式平移后得〔14其中。这样,又可得五类二次曲面：由〔14式得若令,则有〔椭圆柱面其几何图形如图12。图12仿上〔14式可化为〔虚椭圆柱面其中仿上〔14式可化为〔直线仿上〔14式可化为〔双曲柱面其中,其几何图形如图13。图13仿上〔14式可化为〔两相交平面若中有且仅有两个为零不妨设,此时〔5就变为配方得〔15若,作变换代入〔15式得〔16这样又得到一类曲面。由〔16式得,令,则有〔抛物柱面若,那么〔16式就变成平移后得〔17于是可得到最后三类二次曲面：这时〔17式可化为〔一对平行平面其中这时〔17式可化为〔一对虚的平行平面这时〔17式可化为〔一对重合的平面4．2应用实例例判别方程所代表的二次曲面的类型。解方程左边为一三元二次型,不妨设,则的矩阵易求得的特征值为。由〔8式知所求曲面的标准方程为因此,该曲面是单叶双曲面,如图14。图14二次曲面变换前〔左图、后〔右图例判别方程所代表的二次曲面的类型。解记,,则原方程可写为的特征值及对应的标准正交特征向量分别为：,；,,令则有,作正交变换,其中,则〔9式化为即配方,得作平移变换,,,得这就是原曲面方程的标准方程,它表示一个顶点在原点,旋转轴为轴的圆锥面,如图15。图15二次曲面变换前〔左图、后〔右图二次型理论在多元函数极值问题中的应用5．1理论分析定义设元函数在的某邻域有一阶、二阶连续偏导数,称为函数在点处的梯度；称为在处的海塞矩阵。定理〔极值的必要条件设元函数,其中对各自变量具有一阶连续偏导数,是的一个驻点,则在处取极值的必要条件是。定理〔极值的充分条件设函数在电的某邻域有一阶、二阶连续偏导数,且,则:当为正定矩阵时,在处取得极小值；当为负定矩阵时,在处取得极大值；<iii>当是不定矩阵时,在处不取极值。证[6]记,。将在处作Taylor展开,有。由于,当,且充分小时,上式可化为由此可以看出,是否是的极值取决于二次型的正定性。当为正定矩阵时,时,就有,即是的极小值。当为负定矩阵时,时,就有,即是的极大值。最后,当是不定矩阵时,在处不取极值。这是因为,倘若在处取得极值,不妨设取得极大值,则沿任何过的直线,在处亦取得极大值。由一元函数取极值的充分条件知,是不可能的〔否则,在处将取极小值,故,而,,,这表明必须是半正定的,这与假设矛盾。证毕。推论1设一元函数在处二次连续可微,且,则时,在处取极小<大>值。推论2设二元函数在处有二阶连续偏导数,又,,则时,在处取极小<大>值。应用实例例求函数的极值解的几何描述如图16。图16在上有定义,且有连续的一阶、二阶偏导数。求解方程组即得到四个驻点：〔2,1,〔-2,-1,〔2,1,〔-1,-2。进一步计算得即矩阵是正定矩阵,故〔2,1是极小值点,此时极值为-28；矩阵是负定矩阵,故〔-2,-1是极大值点,此时极值为28；矩阵,都是不定矩阵,故〔1,2,〔-1,-2都不是极值点。例求函数的极值解在上有定义,且有连续的一阶、二阶偏导数。求解方程组即得到驻点为〔-1,-1,1。进一步计算得即而是正定的,所以在〔-1,-1,1点取得极小值,此时极值为-6。的几何描述如图17.图17半正定二次型在不等式证明中的应用举例本文前面对半正定性二次型的判定条件进行过简单的介绍,以下通过具体实例说明二次型半正定性在不等式证明中的应用。该方法证明不等式的基本思路是：首先构造二次型,然后利用二次型半正定性的定义或等价条件。判断二次型<矩阵>为半正定,从而得到不等式[7]。例6.１设,试证。证要证明的不等式可写成,所以只需证矩阵半正定。由于的一阶、二阶主子式分别,,所以半正定,从而二次型半正定。证毕的几何描述如图18。图18例6.2已知的三边分别为,面积为,试证证利用余弦定理及面积公式,将问题转化为其矩阵为由于的一阶、二阶主子式分别,,所以半正定,从而二次型半正定,即结论成立。例6.3〔Cauchy不等式设为任意实数,则证记因为对于任意,,都有,故关于,的二次型是半正定的。因此,该二次型矩阵的行列式大于或等于0,即故得。例6.4证明证记,其中,经过初等变换得：,于是的特征值为,于是为半正定矩阵,即二次型是半正定的,从而得,即二次型在统计中的应用7．1关于统计距离许多统计问题都涉及到样本点距某中心的距离,在大多数情况下,通常的欧氏距离是不能令人信服的[8]。考察维变量对应维空间的点,假设的位置可以变化,为了体现各个变量在变差大小上的不同以及有时存在的相关性,需要建立统计距离。定义设为正定矩阵,称为一种距离,对于不同的的选择,可得到不同的统计距离。如回归诊断中使用较多的Mahalanabis距离,Cook距离等。为考虑问题的方便,考察,而为正定矩阵的二次型。二次型在求自由度中的应用在统计学中,自由度是指总体参数估计量中变量值独立自由变化的个数。它产生于利用样本量估计参数的时候。实际上自由度也是对随机变量的二次型〔也可以称为二次统计量而言的。的秩的大小反映了个变量中能自由变动的无约束变量的多少,因此我们所说的自由度就是二次型的秩[9]。求统计量的自由度解其中,我们可以通过矩阵的初等变换求得的秩为,所以统计量的自由度为。二次型理论在耦合谐振子问题中的应用在量子力学、固体物理、量子光学、分子光谱等领域,经常遇到一系列的耦合谐振子问题,因此,研究耦合谐振子的解也就显得尤为重要,解决此类问题的关键是使体系的哈密顿量退耦,可以利用二次型理论构造一幺正交变换矩阵精确求解质量和频率均不相同的双膜双耦合谐振子体系的能谱[10]。质量和频率均不相同的双膜双耦合谐振子体系的哈密顿量为式中和分别为坐标耦合强度和动力耦合强度,上式的哈密顿量就是一个二次型。的矩阵为关于,详细的分析和讨论请参阅参考文献[10]结论实际上,凡是用到实对称矩阵的问题,都或多或少的涉及到了二次型的有关理论,不论是数学、统计学,还是理论物理学。本文主要将二次型的理论作了简要的介绍,并阐述了二次型在实际问题中的一些应用,使二次型的理论更加鲜活地展现在我们面前,这正是课题研究的意义所在,同时也是作者的目的。本文的创造性工作是将二次型与几何图形巧妙地结合在一起,突出了主题；给出一些有用的定理及证明,如在第5部分给出的不定二次型与极值的关系等。当然,本文还是有不少的遗憾和缺陷。例如只讨论了实二次型,而对于复二次型作者没有涉及；在二次型的分类上,只以正定性为依据给出了分类,而对其他的依据没有涉及,如可分性等；关于不定二次型的极值问题,如果可以给出判断极值的方法,那这方面的理论就完善了。这些都有待进一步讨论。参考文献[1]柯召文集编委会.柯召文集[M].:大学,2000:96-108[2]大学数学系几何与代数教研室前代数小组.高等代数[M].<第三版>.:高等教育,2003:205-231[3]秀英.负定二次型与半负定二次型[J].师学院学报.2004<2>:19-21[4]史秀英,景琴.二次曲面分类[J].学院学报〔自然科学版.2005.<2>:45-47[5]孟道骥.高等代数与解析几何[M].:科学,2004:196-221[6]董丽华.用实二次型理论解多元函数的机制问题[J].煤炭师学院学报.2006<2>:45-47[7]王继成.半正定二次型的性质及应用[J].师专学报.2004<2>:143-145[8]开斌.关于统计距离的一点注记[J].师学院学报〔自然科学版.2002<4>:16-17[9]卢筠,段钦治.正交变换在正态总体中的应用[J].理工学院学报.2004<4>:57-59[10]吴耀强.多元函数极值充分性条件之研究[J].广西教育学院学报.2003<5>:34-36[11]徐世泯.利用二次型理论精确求解双模双耦合谐振子的能谱[J].聊城大学学报<自然科学版>.2006<3>:42-44[12]吕林根.解析几何[M].：高等教育,2002:50-102[13]ErdosandKo.Ondefinetequadraticformswhicearenotthesumoftwodefinetequadraticorsemidefiniteform[J].ActaArthmetica.1990<2>:15-17[14]LICHEN.Singularlinearquadraticperformancewiththeworstdisturbancerejectionfordescriptorsystems[J].控制论与应用.2006<3>:16-19[15]Jing-hongLiuQi-dingZhu.UNIFORMSUPERAPPROXIMATIONOFTHEDERIVATIVEOFTETRAHEDRALQUADRATICFINITEELEMENTAPPROXIMATION[J].计算数学.2005<1>:19-21附录A：开题报告二次型的几何分类及其应用1论文结构1．1总体结构的设想全文分为八个部分,各部分概要如下,第一部分介绍二次型的基本理论——二次型及其标准型。第二部分给出二次型根据正定性将二次型进行分类——分为五类。第三部分是二次型理论在二次曲面分类上的应用。讨论《解析几何》<见[2]>中的二次曲面的全部十七种类型,并且给出实例加以阐述。第四部分是二次型理论在多元函数极值问题中的应用。第五部分是半正定二次型在不等式证明中的应用举例。第六部分是二次型在统计中的应用。第七部分是二次型理论在耦合谐振子问题中的应用。第八部分是整篇的结论。1．2选题的目的和意义这一选题的目的及意义就是在理论和实例相结合的基础上,通过对二次型进行几何描述,使二次型的相关理论与实际应用更家清楚