二次型在计算机科学中的应用,二次型在求条件极值中的应用

数学中求函数极值问题的方法有很多种,本文着重研究用二次型理论来求两种特殊类型的函数极值,然后讨论一般元二次式的极值,给出极值的判定和求极值的一个一般方法.

二次型在求条件极值中的应用

陈荣群黄勇。

(、 1福建师范大学数学与计算机科学学院，建福州 3 0 0;、福 5 0 7 2仙游师范学校，福建仙游 3 1 0; 5 2 0 3福建教育学院数理系，、福建福州 3 0 2 ) 5 0 5摘要：数学中求函数极值问题的方法有很多种，文着重研究用二次型理论来求两种特殊本类型的函数极值，后讨论一般元二次式的极值，出极值的判定和求极值的一个一般方法.然给 关键词：二次型；正定性；正定性；子式；征值；半主特极值

中图分类号： 5 O1文献标识码： A文章编号：6 3 8 4 2 0 ) 0 0 8 4 1 7—9 8 (0 8 1—0 9—0

把一般的二次型化为只含有平方项的标准型是

型，以 X6R, X一(, …, 由∑z一k所设。X, X ),

高等代数中的一个重要内容，次型理论在二次曲二

线方程、二次曲面方程化简、函数的条件极值等方求面有着广泛的应用，文主要研究用二次型理论来本求两种特殊类型的函数极值。

1预备知识

(> 0得 X一是，对称阵 A的 R yeg商忌 ) X,实 a lih

R (: ' x) X AX

,

,元实二次型厂(, 2… z )一 X AX k z 1 X, R (,引理 2得，的特征值都是实数，从大到 X)由 A且

小排列为≥≥…≥,对应于特征值，, z A

…

引理 1][实二次型 f( 1 X, z ) X x,2… 一 AX, (为实对称阵， A X一 ( X, z ))可经正交变 z,。… ,

,

的标准正交特征向量为 X,, X,然 X。… 显

换 X— P P为正交阵)化为 f( X, z ) Y(, x, … 一

1

有 R( ) X1=, X=J, R( ): 【

姒 1 m ‘一 ra,工 ’姒一 ri‘一一∞ n X( 2 -’, I的 l

} 2;+ +…+:这里 (一1 2… ), ,,是矩阵定义 1[二次型 f( 1 2… X ) X,实 x,, 一 AX

A的全部特征值。 (为实对称阵， A X一 ( z, z ))若对任意 X z,。… ,

ri’ , In工 1 2‘即

当 X—X时， ( l, l f x,… ) 有最大值坝；当 X=时， (l,矗) fz,… 有最小值姒 .

证毕

≠O都有 f,>o则称厂是正定二次型，对任意 X,若 都有 O则称，是半正定二次型或非负二次型。, 为 Hemi r t阵， R(一 e矩称 )

。

定理 2A为 7阶实正定阵， z X一( lX, X ) z, 2…

定义 22 A[设

与 a ( f,= c,。… )是实向量，为实数，实函数 则 Z ( 1, X ) X AX+ 2 +, X=—f x,… 一 2 aX当

一

x￣ r Ax为矩阵 A黄 R y eg的 a lih商型在求条件极值中的应用陈荣群勇：二次 引理 22设 Af 为 Hemi[] Cl r t e矩阵，的特征它值都是实数，且从大到小排列为|≥≥…≥,;【。 则

有】=ma^=miR ‘一 n( .

z≠ O ≠O

A一口时， (取得极小值一aA_口厂 X) 。.

证 zc, 1)为是定 明=、/, A正， x ( ( 、因 a 上所

以 A存在且 ( A叫)一A_ 。

2定理及其证明

定理 l设 n元实二次型厂( 1z, z, 2… ) X一

[一];一l( 0 () A, .以 ( 以. - o l/=。 )

P(一测一”一一 (

P==

AX,在条件∑=忌忌 )的最大 ( ) (>0下小值恰为矩

f l=

阵 A的最大( )小特征值的倍。

证明因为 f( l z, z ) x, 2… 一X AX为实二次

收稿日期：08 2 2 2 0—0— 9

[一]c1。 ,,:。 n 0贝一[ = P一]

9 8

作者简介：荣群 (9 3 )男，建仙游人，建仙游师范学校讲师，建师范大学数学与计算机科学学院硕士研究生。陈 17一，福福福