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

二次型的几何分类及其应用 田金慧 内容摘要：通过对二次型的基本概念与基本理论的阐述，重点讨论了二次型的五种分类：正定二次型、半正定二次型、负定二次型、半负定二次型和不定二次型，通过具体的实例给出了分类问题的几何描述。其次，分析并列举了二次型相关理论在实际中的一些应用，其中包括二次型标准型在二次曲面分类上的应用，由此得到了十七种二次曲面标准方程，并对典型方程给出了图形描述；同时包括二次型正定性用于求解多元函数极值问题的应用实例；还包括以实例展示半正定二次型用于不等式证明的步骤和方法。最后，作为二次型理论应用广泛的例证，阐述了它在统计学中关于统计距离、参数估计量的自由度求解以及量子物理中关于耦合谐振子问题的应用。 在问题的研究中，采用理论分析与实例应用相结合，充分发挥数学应用软件的优势，将二次型（实）理论的内涵形象、直观、清晰地给予展现。 关键词：二次型；几何描述；正定性；实际应用 1 导言 在数学的学习和应用中，二次型的理论是十分重要的，它不仅是代数中的重要理论，更是连接代数与几何的有力桥梁。事实上，二次型的理论就起源于解析几何中二次曲线、二次曲面方程的化简问题。学习和理解二次型的理论不但可以对数学中的代数定理有深刻地理解，也可以对几何有更为形象的认识。 因此，掌握二次型理论的有关应用问题是十分必要的。 但是，在现有的教材中，都只是对二次型理论的代数性质进行了一定的介绍，并没有对它的几何意义加以阐述；即使有一些书籍对它的几何性质稍有涉及，但也只是点到为止，并没有给出形象的表示，关于二次型可能的应用问题更是很少提及，然而在数学的很多分支以及一些其他学科中都或多或少地涉及到二次型有关理论的应用，如解析几何、统计学和量子物理等。 本文以二次型分类为切入点，以几何描述为主线，充分发挥数学软件的优势，将二次型有关理论的内涵加以展现。 当然，这里所讨论的二次型理论只是其中的基础，关于它的深入研究请参阅参考文献[1]。 二次型及其标准型 所谓二次型就是一个二次齐次多项式。 定义2.1 在数域上，含有个变量的二次齐次函数 （1） 称为元二次型，简称二次型【2】。 当为复数时，称为复二次型；当为实数时，称为实二次型。本文仅讨论实二次型。 若取，则于是（1）式可写成 （2） 其中，，，为实对称矩阵，称为二次型的矩阵也把叫做对称矩阵的二次型；同时的秩也称为二次型的秩。 定义2.2 仅含有平方项的二次型 （3） 称为二次型的标准形。 对于二次型，主要问题是：如何寻求一个可逆的线性变换 （4） 将其化为标准型。 定理2.1 任意元实二次型都可经正交变换化为标准形 其中是的矩阵的特征值。 利用正交变换化二次型 化为标准型。 解 二次型的矩阵为 特征多项式为： 所以的特征值为。 当时，解得线性无关的特征向量，单位化得。 当，解得线性无关的特征向量，单位化得。 令 则为正交矩阵。 于是，正交变换，即 化二次型为标准型 二次型变换前后的几何描述如图1。 图1 二次型变换前（左图）、后（右图） 二次型的分类 对二次型进行分类，在理论和应用上都有重要的意义。依二次型的正定性，可以将二次型分为以下几类：正定二次型、负定二次型、半正定二次型、半负定二次型和不定二次型等。 3．1 正定二次型和负定二次型 定义3.1.1 设实二次型， 如果对于任意一组不全为零的实数,都有 ， 称该二次型为正定二次型，且称矩阵为正定矩阵。 如果对于任意一组不全为零的实数,都有 ， 称该二次型为负定二次型，且称矩阵为负定矩阵。 二次型正定与负定的几何描述如图2、图3。 图2 一元、二元正定二次型 图3一元、二元负定二次型 定理3.1.1 对于实二次型，下列条件等价： 是正定的； 的标准型是； 存在可逆实矩阵，且； 存在可逆实矩阵，使得； 的全部特征值皆大于零； 的各级顺序主子式皆大于零，即 。 定理3.1.2 对于实二次型，下列条件等价： 是负定的； 的标准型是; 存在可逆实矩阵，使得； 的全部特征值皆小于零； 的奇数阶顺序主子式为小于零，而偶数阶主子式为大于零[3]，即 。 判别二次型的正定性。 解 二次型的矩阵为 根据定理3.1.1，知为正定二次型。 的几何描述如图4。 图4 的三维切面图 例3.1.2 判别二次型的正定性。 解 二次型的矩阵为 根据定理3.1.2，知为负定二次型。 的几何描述如图5。 图5 三维切面图 半正定二次型和半负定二次型 定义3.2.1 设实二次型， 如果对于任意一组不全为零的实数，都有 ， 称该二次型为半正定二次型，且称矩阵为半正定矩阵。 如果对于任意一组不全为零的实数，都有 ， 称该