logo
导航

二次型的基本概念

二次型的定义

二次型的概念

定义:设 x1,x2,,xnx_1, x_2, \dots, x_nnn 个变量,形如: Q(x1,x2,,xn)=i=1nj=1naijxixjQ(x_1, x_2, \dots, x_n) = \sum_{i=1}^n \sum_{j=1}^n a_{ij}x_ix_j

的函数称为二次型,其中 aija_{ij} 是实数,且 aij=ajia_{ij} = a_{ji}(对称性)。

二次型的例子

例 1Q(x1,x2)=2x12+4x1x2+3x22Q(x_1, x_2) = 2x_1^2 + 4x_1x_2 + 3x_2^2 是一个二次型。

例 2Q(x1,x2,x3)=x12+2x22+3x32+2x1x2+2x1x3+4x2x3Q(x_1, x_2, x_3) = x_1^2 + 2x_2^2 + 3x_3^2 + 2x_1x_2 + 2x_1x_3 + 4x_2x_3 是一个二次型。

二次型的矩阵表示

矩阵表示的定义

定理:任何二次型都可以表示为: Q(x)=xTAxQ(x) = x^TAx

其中 x=(x1x2xn)x = \begin{pmatrix} x_1 \\ x_2 \\ \vdots \\ x_n \end{pmatrix}AA 是对称矩阵。

矩阵的构造方法

步骤

  1. 对角元素 aiia_{ii}xi2x_i^2 的系数
  2. 非对角元素 aij=ajia_{ij} = a_{ji}xixjx_ix_j 系数的一半

例子

例 3:将二次型 Q(x1,x2)=2x12+4x1x2+3x22Q(x_1, x_2) = 2x_1^2 + 4x_1x_2 + 3x_2^2 表示为矩阵形式。

  1. 对角元素:a11=2a_{11} = 2a22=3a_{22} = 3
  2. 非对角元素:a12=a21=42=2a_{12} = a_{21} = \frac{4}{2} = 2
  3. 矩阵表示: A=(2223)A = \begin{pmatrix} 2 & 2 \\ 2 & 3 \end{pmatrix}
  4. 二次型:Q(x)=xTAx=(x1x2)(2223)(x1x2)Q(x) = x^TAx = \begin{pmatrix} x_1 & x_2 \end{pmatrix} \begin{pmatrix} 2 & 2 \\ 2 & 3 \end{pmatrix} \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}

二次型的基本性质

对称性

性质 1:二次型的矩阵表示是对称矩阵。

证明:由于 aij=ajia_{ij} = a_{ji},所以 AT=AA^T = A

线性变换下的性质

性质 2:设 x=Pyx = Py 是线性变换,则: Q(x)=xTAx=(Py)TA(Py)=yT(PTAP)yQ(x) = x^TAx = (Py)^TA(Py) = y^T(P^TAP)y

二次型的分类

定义

  • 正定二次型:对任意非零向量 xxQ(x)>0Q(x) > 0
  • 负定二次型:对任意非零向量 xxQ(x)<0Q(x) < 0
  • 半正定二次型:对任意向量 xxQ(x)0Q(x) \geq 0
  • 半负定二次型:对任意向量 xxQ(x)0Q(x) \leq 0
  • 不定二次型:既不是正定也不是负定

二次型的几何意义

二维二次型

几何意义:二维二次型 Q(x1,x2)=ax12+2bx1x2+cx22Q(x_1, x_2) = ax_1^2 + 2bx_1x_2 + cx_2^2 表示平面上的二次曲线。

分类

  • 正定:椭圆
  • 负定:虚椭圆
  • 不定:双曲线
  • 退化:抛物线或直线

三维二次型

几何意义:三维二次型表示空间中的二次曲面。

分类

  • 正定:椭球面
  • 负定:虚椭球面
  • 不定:双曲面或抛物面

二次型的化简

配方法

方法:通过配方将二次型化为标准形。

例 4:化简二次型 Q(x1,x2)=x12+4x1x2+4x22Q(x_1, x_2) = x_1^2 + 4x_1x_2 + 4x_2^2

  1. Q(x1,x2)=x12+4x1x2+4x22Q(x_1, x_2) = x_1^2 + 4x_1x_2 + 4x_2^2
  2. =x12+4x1x2+4x22= x_1^2 + 4x_1x_2 + 4x_2^2
  3. =(x1+2x2)2= (x_1 + 2x_2)^2
  4. y1=x1+2x2y_1 = x_1 + 2x_2y2=x2y_2 = x_2
  5. Q=y12Q = y_1^2

正交变换法

方法:通过正交变换将二次型化为标准形。

步骤

  1. 写出二次型的矩阵 AA
  2. AA 的特征值和特征向量
  3. 构造正交矩阵 QQ
  4. 作变换 x=Qyx = Qy
  5. 得到标准形 Q=λ1y12+λ2y22++λnyn2Q = \lambda_1y_1^2 + \lambda_2y_2^2 + \dots + \lambda_ny_n^2

练习题

练习 1

写出二次型 Q(x1,x2)=2x12+4x1x2+3x22Q(x_1,x_2) = 2x_1^2 + 4x_1x_2 + 3x_2^2 的矩阵表示。

参考答案

解题思路: 按照矩阵表示的方法构造对称矩阵。

详细步骤

  1. 对角元素:a11=2a_{11} = 2a22=3a_{22} = 3
  2. 非对角元素:a12=a21=42=2a_{12} = a_{21} = \frac{4}{2} = 2
  3. 矩阵表示:A=(2223)A = \begin{pmatrix} 2 & 2 \\ 2 & 3 \end{pmatrix}

答案A=(2223)A = \begin{pmatrix} 2 & 2 \\ 2 & 3 \end{pmatrix}

练习 2

将二次型 Q(x1,x2,x3)=x12+2x22+3x32+2x1x2+2x1x3+4x2x3Q(x_1, x_2, x_3) = x_1^2 + 2x_2^2 + 3x_3^2 + 2x_1x_2 + 2x_1x_3 + 4x_2x_3 表示为矩阵形式。

参考答案

解题思路: 按照矩阵表示的方法构造对称矩阵。

详细步骤

  1. 对角元素:a11=1a_{11} = 1a22=2a_{22} = 2a33=3a_{33} = 3
  2. 非对角元素:a12=a21=22=1a_{12} = a_{21} = \frac{2}{2} = 1a13=a31=22=1a_{13} = a_{31} = \frac{2}{2} = 1a23=a32=42=2a_{23} = a_{32} = \frac{4}{2} = 2
  3. 矩阵表示:A=(111122123)A = \begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 2 \\ 1 & 2 & 3 \end{pmatrix}

答案A=(111122123)A = \begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 2 \\ 1 & 2 & 3 \end{pmatrix}

练习 3

用配方法化简二次型 Q(x1,x2)=x12+6x1x2+9x22Q(x_1, x_2) = x_1^2 + 6x_1x_2 + 9x_2^2

参考答案

解题思路: 通过配方将二次型化为标准形。

详细步骤

  1. Q(x1,x2)=x12+6x1x2+9x22Q(x_1, x_2) = x_1^2 + 6x_1x_2 + 9x_2^2
  2. =x12+6x1x2+9x22= x_1^2 + 6x_1x_2 + 9x_2^2
  3. =(x1+3x2)2= (x_1 + 3x_2)^2
  4. y1=x1+3x2y_1 = x_1 + 3x_2y2=x2y_2 = x_2
  5. Q=y12Q = y_1^2

答案Q=y12Q = y_1^2,其中 y1=x1+3x2y_1 = x_1 + 3x_2y2=x2y_2 = x_2

练习 4

判断二次型 Q(x1,x2)=x12+2x22Q(x_1, x_2) = x_1^2 + 2x_2^2 是否正定。

参考答案

解题思路: 检查二次型的正定性。

详细步骤

  1. 矩阵表示:A=(1002)A = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix}
  2. 对任意非零向量 x=(x1x2)x = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}Q(x)=x12+2x22>0Q(x) = x_1^2 + 2x_2^2 > 0
  3. 所以是正定二次型

答案:是正定二次型

练习 5

写出二次型 Q(x1,x2)=x122x22Q(x_1, x_2) = -x_1^2 - 2x_2^2 的矩阵表示,并判断其正定性。

参考答案

解题思路: 构造矩阵表示并判断正定性。

详细步骤

  1. 矩阵表示:A=(1002)A = \begin{pmatrix} -1 & 0 \\ 0 & -2 \end{pmatrix}
  2. 对任意非零向量 x=(x1x2)x = \begin{pmatrix} x_1 \\ x_2 \end{pmatrix}Q(x)=x122x22<0Q(x) = -x_1^2 - 2x_2^2 < 0
  3. 所以是负定二次型

答案A=(1002)A = \begin{pmatrix} -1 & 0 \\ 0 & -2 \end{pmatrix},是负定二次型