正定二次型的判定及应用数学论文

毕业论文（设计）论文（设计）题目：正定二次型的判定及应用姓名刘洁学号11111022015院系数学与信息科学学院专业信息与计算科学年级2011级2班指导教师王永忠年月日目录摘要..................................................1ABSTRACT................................................2第1章引言.............................................31.1研究背景及意义...................................3第2章二次型...........................................42.1二次型...........................................4矚慫润厲钐瘗睞枥庑赖。2.3正定二次型与正定矩阵.............................4第3章正定二次型的判定及应用............................73.1正定二次型的判别方法.............................73.2正定二次型在实际中的应用.........................15第4章结论..............................................18聞創沟燴鐺險爱氇谴净。参考文献.................................................19残骛楼諍锩瀨濟溆塹籟。致谢...................................................20酽锕极額閉镇桧猪訣锥。新乡学院本科毕业论文（设计）0摘要在二次型中，正定二次型占有特殊的地位，本文总结了正定二次型的一些判断方法及其在证明不等式与极值问题中的应用。彈贸摄尔霁毙攬砖卤庑。关键词：正定二次型；正定矩阵；顺序主子式；新乡学院本科毕业论文（设计）1ABSTRACTInthequadraticform,thepositivedefinitequadraticformhasaspecialposition.Thispaperhassummarizedsomejudjementmethodsofthepositivedefinitequadraticformandgivensomeapplicationsininequalitiesprovingandextremeproblems.謀荞抟箧飆鐸怼类蒋薔。Keywords:positivedefinitequadratic;positivedefinitematrix;principalminordeterminant厦礴恳蹒骈時盡继價骚。新乡学院本科毕业论文（设计）2第1章引言1.1研究背景及意义在数学中，二次型的理论起源于解析几何中化二次曲线和二次曲面方程为标准形的问题.二次型的系统研究是从18世纪开始的，柯西在其著作中给出结论：当方程式标准型时，二次曲面用二次型的符号来进行分类.然而，那是并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项.西尔维斯特回答了这个问题，他给出了n个变数的二次型的惯性定律，但没有证明.这个定律后被雅克比重新发现和证明.1801年，高斯在《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语.二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念.而三个变数的二次型的特征值的实性则是由阿歇特、蒙日和泊松建立的.茕桢广鳓鯡选块网羈泪。现在二次型常常出现在许多实际应用和理论研究中，有很大的实际使用价值.它不仅在数学的许多分支中用到，而且在物理学中也会经常用到，其中实二之间具有一一对应关系.目前有钱志森和林文生先生在做正定二次型在许多实际应用和理论研究中有很大的实用机制的研究。在物理中曹璞证明了正定二次型的重要意义.而王双进等人用二次型判断晶体相对稳定性做出了重要研究。牛滨花的等人在地震波的场方程矩阵和能量的正定二次型及其意义运用矩阵的正定二次型理论阐述了“能量矩阵与弹性矩阵”之间一致的对称性和正定性。能量矩阵蕴含的动态力的平衡关系，速度的时间，空间分布和能量的传播及变化的物理意义，能够从能量矩阵的正定二次型特性表示出来.鹅娅尽損鹌惨歷茏鴛賴。二次型中的正定二次型占用特殊的位置.二次型的有定性与其矩阵的有定性之间具有一一对应关系.因此,二次型的正定性判别可转化为对称矩阵的正定性判别.在大学学习期间发现，教材中有关二次型正定性的内容不尽完善，而它的应用却越来越广泛，许多问题的解决都可归纳为二次型问题。因此有关正定二次型的研究和学习就显得尤为重要。籟丛妈羥为贍偾蛏练淨。新乡学院本科毕业论文（设计）3第2章二次型2.1二次型定义2.1.1设p是一个数域，ijap，n个文字1x,2x,…，nx的二次齐次多项式22121111212131311(,,,)22nnnnnnijijijfxxxaxaxxaxxaxaxx),...,2,1,,(njiaajiij称为数域上p的一个n元二次型，简称二次型.当ija为实数时，f称为实二次型.当ija为复数时,称f为复二次型.如果二次型中只含有文字的平方项，即12(,,...,)nfxxx=2221112...nndxdxdx称f为标准型.預頌圣鉉儐歲龈讶骅籴。定义2.1.2在实数域上，任意一个二次型经过适当的非退化线性替换可以变成规范性22222121zzzzzppr…………,其中正平方项的个数p称为f的正惯性指数，负平方项的个数称为的f负惯性指数.渗釤呛俨匀谔鱉调硯錦。定义2.1.3n阶矩阵)(ijaA的k个行标和列标相同的子式)1(21212221212111niiiaaaaaaaaakiiiiiiiiiiiiiiiiiikkkkkk称为A的一个k阶主子式.而子式),,2,1(||212222111211nkaaaaaaaaaAkkkkkkk称为A的k阶顺序主子式.2.2正定二次型与正定矩阵新乡学院本科毕业论文（设计）4定义2.2.1设12(,,...,)nfxxx=TxAx是n元实二次型（A为实对称矩阵），如果对任意不全为零的实数12,,...,nccc都有12(,,...)0nfccc，则称f为正定二次型,称A为正定矩阵；如果12(,,...)0nfccc，则称f为半正定二次型，称A为半正定矩阵;如果12(,,...)0nfccc，则称f为负定二次型，称A为负定矩阵;如果12(,,...)0nfccc，称f为半负定二次型，称A为半负定矩阵；既不是正定又不是负定实二次型称为不定的二次型，称A为不定矩阵.铙誅卧泻噦圣骋贶頂廡。注：判定正定矩阵的前提是该矩阵必须为对称矩阵。正定矩阵的充要条件：(1)n元实二次型1,,nfxx正定它的正惯性指数为n;(2)一个实对称矩阵A正定A与E合同，即可逆矩阵C，使得A=TCC;(3)实二次型1,,nfxx=11nnTijijijaxxXAX是正定的A的顺序主子式全大于零;(4)一个实对称矩阵A正定A的特征值全大于零;(5)一个实对称矩阵A正定A的主子式全大于零;(6)A，B是实对称矩阵，则00ACB正定A，B均正定;(7)A实对称矩阵，A正定正定矩阵B，使得A=kB，（k为任意正整数）正定矩阵的这些性质，可以用来判定某些实对称矩阵不是正定矩阵。二次型化为标准形通常有两种方法：1）配方法再通过非退化线性变化化为标准形；2）用相应矩阵的特征值、特征向量，再将该矩阵化为标准形；3）合同矩阵.例12221231231213(,,)222fxxxxxxxxxx新乡学院本科毕业论文（设计）5解：123(,,)fxxx的矩阵为A=111120101以下为合同变换过程：11112010121*(1)11101110121*(1)10101111131*(1)10001000110001000111001000110101101231*(1)10001101232*(1)10001100332*(1)110010001111010001111010001100010003112011001因此D=100010003，C=112011001令X=CY，得123(,,)fxxx=2221233yyy新乡学院本科毕业论文（设计）6第3章正定二次型的判定及应用3.1正定二次型的判定定理3.1.1实二次型)(),,,(21AAAXXxxxfn是正定二次型的充要条件是f的规范形为2222121),,,(nnyyyxxxf定理3.1.2实二次型)(),,,(21AAAXXxxxfn是正定二次型的充要条件是它的正惯性指数等于n证明设实二次型AXXxxxfn),,,(21经线形替换PYX化为标准形2222211nnydydydf)1(其中.,,2,1,niRdi由于p为可逆矩阵,所以nxxx,,,21不全为零时nyyy,,,21也不全为零,反之亦然.)(如果f是正定二次型,那么当nxxx,,,21不全为零,即nyyy,,,21不全为零时,有02222211nnydydydf)2(若有某个),1(nidi比方说.0nd则对1,0121nnyyyy这组不全为零的数,代入)1(式后得.0ndf这与f是正定二次型矛盾.因此,必有),,2,1.(0nidi即f的正惯性指数等于n)(如果f的正惯性指数等于,n则),,2,1(,0nidi于是当nxxx,,,21不全为零,即当nyyy,,,21不全为零时)2(式成立,从而f是正定型定理3.1.3实二次型)(),,,(21AAAXXxxxfn是正定二次型的充要条件是矩阵A与单位矩阵合同定理3.1.4实二次型)(),,,(21AAAXXxxxfn是正定二次型的充要条件是矩阵TTTA(是实可逆矩阵)新乡学院本科毕业论文（设计）7证明)(实二次型)(),,,(21AAAXXxxxfn是正定二次型,则由定理4可知存在可逆矩阵,C使得EACC则1111)()(CCCCA令1CT,则TTA)(若,TTA则)()(),,,(21TXTXTXTXAXXAXXxxxfn令TXY则2222121),,,(nnyyyYYxxxf所以f为正定二次型.定理3.1.5实二次型)(),,,(21AAAXXxxxfn是正定二次型的充要条件是矩阵A的主子式全大于零证明)(实二次型)(),,,(21AAAXXxxxfn是正定二次型,以kA表示A的左上角k阶矩阵,下证),,,2,1(,0nkAk考虑以kA为矩阵的二次型jkikjiijkxxaxxxg1121),,,(由于)0,,0,,,,(),,,(2121kkxxxfxxxg所以当kxxx,,,21不全为零时,由f正定二次型可知,0g从而g