跳到主要内容

広島大学 先進理工系科学研究科 情報科学プログラム 2018年1月実施 専門科目I 問題1

Author

samparker

Description

n×nn \times n 次実対称行列 MM に対して、その全ての固有値が正であれば、MM は正定値行列と呼ばれる。

(1) A=(111121112)A = \begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 1 \\ 1 & 1 & 2 \end{pmatrix} とするとき、AA は正定値行列であるか?

(2) B=(abcd)B = \begin{pmatrix} a & b \\ c & d \end{pmatrix} とするとき、BB が正定値行列であるための必要十分条件は a>0a > 0 かつ ac>b2ac > b^2 であることを示せ。

An n×nn \times n real symmetric matrix MM is called positive definite if all its eigenvalues are positive.

(1) Let A=(111121112)A = \begin{pmatrix} 1 & 1 & 1 \\ 1 & 2 & 1 \\ 1 & 1 & 2 \end{pmatrix}. Is the matrix AA positive definite?

(2) Let B=(abbc)B = \begin{pmatrix} a & b \\ b & c \end{pmatrix}. Show that BB is positive definite if and only if a>0a > 0 and ac>b2ac > b^2.

题目描述

若一个 n×nn\times n 实对称矩阵 MM 的全部特征值均为正,则称 MM 为正定矩阵。

  1. A=(111121112),A=\begin{pmatrix}1&1&1\\1&2&1\\1&1&2\end{pmatrix},

    判断 AA 是否为正定矩阵。

  2. 对实对称矩阵

    B=(abbc),B=\begin{pmatrix}a&b\\b&c\end{pmatrix},

    证明 BB 为正定矩阵的充要条件是 a>0a>0ac>b2ac>b^2

考点

  • 特征值与特征向量:通过实对称矩阵的特征值判定正定性,并推导二阶实对称矩阵正定的充要条件。

Kai

(1)

det(AλI)=1λ1112λ1112λ=0λ3+5λ25λ+1=0λ1=1,λ2=23,λ3=2+3\begin{aligned} &\det (A - \lambda I) = \begin{vmatrix} 1 - \lambda & 1 & 1 \\ 1 & 2 - \lambda & 1 \\ 1 & 1 & 2 - \lambda \end{vmatrix} = 0 \\ &\Leftrightarrow -\lambda^3 + 5\lambda^2 - 5\lambda + 1 = 0 \\ &\Leftrightarrow \lambda_1 = 1, \lambda_2 = 2 - \sqrt{3}, \lambda_3 = 2+\sqrt{3} \end{aligned}

All eigenvalues are positive, hence AA is positive definite.

(2)

det(BλI)=aλbbcλ=0(aλ)(cλ)b2=0λ1=a+c+(ac)2+4b22,λ2=a+c(ac)2+4b22\begin{aligned} &\det (B - \lambda I) = \begin{vmatrix} a - \lambda & b \\ b & c - \lambda \end{vmatrix} = 0 \\ &\Leftrightarrow (a - \lambda)(c - \lambda) - b^2 = 0 \\ &\Leftrightarrow \lambda_1 = \frac{a + c + \sqrt{(a - c)^2 + 4b^2}}{2}, \lambda_2 = \frac{a + c - \sqrt{(a - c)^2 + 4b^2}}{2} \end{aligned}

To ensure that λ1>0\lambda_1 > 0, we have

a+c+(ac)2+4b2>0a+c+ac>0a + c + \sqrt{(a - c)^2 + 4b^2} > 0 \Leftrightarrow a + c + |a-c| > 0

which is a>0a > 0 or a<0,c>0a < 0, c > 0.

To ensure that λ2>0\lambda_2 > 0, we have

a+c>(ac)2+4b20a + c > \sqrt{(a - c)^2 + 4b^2} \geq 0

Hence we have

(a+c)2>(ac)2+4b2(a+c)^2 > (a-c)^2 + 4b^2
ac>b2ac > b^2

Since b20b^2 \geq 0, we know that the case a<0,c>0a < 0, c > 0 is invalid. Therefore we have

a>0 and ac>b2a > 0 \text{ and } ac > b^2