第七节正定二次型

合集下载
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

5 2 2
解:
f(x1,
x2,
x3)的矩阵为
A
2 2
6 0
0 4
,
5 0,
5 2
2 6
26 0,
| A | 80 0,
根据霍尔维茨定理知二次型 f 为负定的.
四、小结
1. 正定二次型的概念, 正定二次型与正定矩阵的 区别与联系.
2. 正定二次型(正定矩阵)的判别方法: (1)定义法; (2)主子式判别法; (3)特征值判别法.
f = –x12 –3x22 为负定二次型.
三、正(负)定二次型的判别
定理2: 实二次型f(x)=xTAx为正定的充分必要条 件是它的标准形的n个系数全为正.
证明: 设可逆变换 x=Cy 使 n f x f Cy ki yi2 . i 1
充分性: 设ki > 0 ( i = 1, 2, ···, n), 对任意的 x 0,
为r , 有两个实的可逆变换:
x=Cy, 及 x=Pz,
使
f = k1y12+k2y22+···+kryr2 (ki 0),

f = 1z12+2z22+···+rzr2 (i 0).
则k1, k2, ···, kr与1, 2, ···, r中正数的个数相等.
二、正(负)定二次型的概念
定义: 设有实二次型 f(x)=xTAx,显然 f (0)=0. 如果对任意的 x 0, 都有 f(x)>0, 则来自百度文库 f 为正定二 次型, 并称对称矩阵A为正定矩阵; 如果对任意的 x 0, 都有 f(x)<0, 则称 f 为负定二 次型, 并称对称矩阵A为负定矩阵. 例如: f = x2 + 4y2 + 16z2 为正定二次型;
解: 用特征值判别法. 二次型 f 的矩阵为:
A
2 0 2
0 4 0
502,
令| A–E | = 0, 得1=1, 2=4, 3=6.
即知A是正定矩阵, 故此二次型 f 为正定二次型.
例3: 判别二次型 f(x1, x2, x3)=–5x12–6x22–4x32+4x1x2+4x1x3
是否正定.
§5.7 正定二次型
一个实二次型, 既可以通过正交变换化为标准形, 也可以通过拉格朗日配方法化为标准形, 显然, 其标准 形一般来说是不唯一的, 但标准形中所含有的项数是 确定的, 项数等于二次型的秩.
下面我们限定所用的变换为实变换, 来研究二次 型的标准形所具有的性质.
一、惯性定理
定理1(惯性定理): 设有实二次型 f = xTAx, 它的秩
于是
zT Cz
(xT ,
yT
)
A O
OB
x y
xT Ax yT By 0,
故C为正定矩阵. 也可以按主子式方法证明.
征值全为正.
定理3: (1)对称矩阵A为正定的充分必要条件是A
的各阶主子式为正, 即
a11 0,
a11 a21
a12 a22
0,
,
a11
an1
a1n 0;
ann
(2)对称矩阵A为负定的充分必要条件是A的奇数
阶主子式为负, 而偶数阶主子式为正, 即
a11 a1r
1r
0, r 1, 2, , n.
则 y = C-1x 0, 故
n
f x ki yi2 0.
i 1
必要性: 假设有ks 0, 则当 y=es (单位坐标向量)时,
f Ces ks 0.
显然,Ces 0, 这与 f 为正定相矛盾. 故
ki > 0 ( i = 1, 2, ···, n).
推论: 对称矩阵A为正定的充分必要条件是A的特
是否正定. 解: f(x1,
x2,
x3)的矩阵为
A
5 2 4
2 1 2
524,
它的各阶主子式:
5 0,
5 2
2 1
1 0,
故上述二次型是正定的.
5 2 4 2 1 2 1 0, 4 2 5
例2: 判别二次型
f(x1, x2, x3)=2x12+4x22+5x32–4 x1x3 是否正定.
ar1 arr 这个定理称为霍尔维茨定理.
正定矩阵具有以下一些简单性质:
1. 若A为正定的, 则AT, A-1, A*均为正定矩阵.
2.若A, B均为n阶正定矩阵, 则A+B也是正定矩阵.
例1: 判别二次型
f(x1, x2, x3)=5x12+x22+5x32+4 x1x2–8 x1x3–4x2x3
3. 根据正定二次型的判别方法, 可以得到负定二 次型(负定矩阵)相应的判别方法, 请自己归纳.
思考题
设A, B分别为m阶, 阶n正定矩阵, 试判定分块矩阵
C OA
O B
是否为正定矩阵.
思考题解答
C是正定的.
显然C是实对称阵. 设zT=(xT, yT)为m+n维列向量, 其中x, y分别是m维, n维列向量, 若 z0, 则x, y不同时为零向量,
相关文档
最新文档