跳到主要内容

名古屋大学 多元数理科学研究科 2021年2月実施 1日目 [1]

Author​

江澤 樹, 祭音Myyura

Description​

出典:名古屋大学公表問題。

a,ba, b を実数とする.33 次正方行列

A=(−bb+1a−2b2b+1a−b−1b+1a+1)A = \begin{pmatrix} -b & b+1 & a \\ -2b & 2b+1 & a \\ -b-1 & b+1 & a+1 \end{pmatrix}

について,以下の問に答えよ.

(1) AA の固有値で,(11t)\begin{pmatrix} 1 \\ 1 \\ t \end{pmatrix} という形の固有ベクトル (ただし,tt は実数とする) をもつものをすべて求めよ.

(2) AA の固有値をすべて求めよ.

(3) b=1b = 1 の場合に,固有値 11 に対する固有空間の次元を求めよ.

(4) AA が対角化不可能であるために a,ba, b がみたすべき必要十分条件を求めよ.

题目描述​

设 a,b∈Ra,b\in\mathbb R,并给定

A=(−bb+1a−2b2b+1a−b−1b+1a+1).A=\begin{pmatrix} -b&b+1&a\\ -2b&2b+1&a\\ -b-1&b+1&a+1 \end{pmatrix}.
  1. 求 AA 的所有具有形如 (1,1,t)⊤(1,1,t)^\top(tt 为实数)特征向量的特征值。
  2. 求 AA 的全部特征值。
  3. 当 b=1b=1 时,求特征值 11 的特征空间维数。
  4. 求 AA 不可对角化时参数 a,ba,b 满足的充要条件。

Kai​

(1)​

問題の固有値を λ\lambda とする. また, 固有値 λ\lambda に対する固有空間を VλV_{\lambda} とおく. 固有値と固有ベクトルの定義より

(−bb+1a−2b2b+1a−b−1b+1a+1)(11t)=λ(11t)\begin{pmatrix} -b & b+1 & a \\ -2b & 2b+1 & a \\ -b-1 & b+1 & a+1 \end{pmatrix} \begin{pmatrix} 1 \\ 1 \\ t \end{pmatrix} = \lambda \begin{pmatrix} 1 \\ 1 \\ t \end{pmatrix}

で, これは簡単に

(ta+1ta+1t(a+1))=(λλλt)\begin{pmatrix} ta+1 \\ ta+1 \\ t(a+1) \end{pmatrix} = \begin{pmatrix} \lambda \\ \lambda \\ \lambda t \end{pmatrix}

と計算できる. したがって λ=at+1\lambda=at+1 かつ

at(1−t)=0a t(1-t)=0

である. a≠0a\neq0 ならば t=0,1t=0,1 であり、a=0a=0 ならば任意の tt に対して λ=1\lambda=1 である。したがって、求める固有値は 1,a+11,a+1 であり、

(110)∈V1,(111)∈Va+1(∀a,b∈R)\begin{pmatrix} 1 \\ 1 \\ 0 \end{pmatrix} \in V_1, \quad \begin{pmatrix} 1 \\ 1 \\ 1 \end{pmatrix} \in V_{a+1} \quad (\forall a,b \in \mathbb{R})

である. なお, この2つの固有ベクトルは aa の値に依存せずに線形独立である. とくに a=0a = 0 の場合は AA の固有値 11 の重複度は 22 以上であり, dim(V1)≥2\text{dim}(V_1) \geq 2 であることがわかる. このことは (4) において用いる.

(2)​

(1) より AA は 1,a+11, a + 1 を固有値にもつ. 残り1つを λ\lambda とおく. tr(A)=−b+(2b+1)+(a+1)\text{tr}(A) = −b + (2b + 1) + (a + 1) であり, 一般に, 跡 (trace) は固有値の和に等しい. つまり, tr(A)=1+(a+1)+λ\text{tr}(A) = 1 + (a + 1) + \lambda でもある. よって, λ=b\lambda = b である. よって, AA の固有値は

1,a+1,b1, a+1, b

と求まる.

(3)​

b=1b = 1 の場合,

A=(−12a−23a−22a+1)A = \begin{pmatrix} -1 & 2 & a \\ -2 & 3 & a \\ -2 & 2 & a+1 \end{pmatrix}

であり, 行基本変形により

I−A=(2−2−a2−2−a2−2−a)→(1−1−a/2000000)I - A = \begin{pmatrix} 2 & -2 & -a \\ 2 & -2 & -a \\ 2 & -2 & -a \end{pmatrix} \rightarrow \begin{pmatrix} 1 & -1 & -a/2 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}

とできる. よって固有空間の定義と次元定理より

dim(V1)=dim(Ker(I−A))=3−rank(I−A)=3−1=2\text{dim}(V_1) = \text{dim} (\text{Ker} (I-A)) = 3 - \text{rank} (I-A) = 3 - 1 = 2

と求まる.

(4)​

結論: AA が対角化不可能であるために a,ba, b がみたすべき必要十分条件は「(a,b)=(0,1)(a, b) = (0, 1) または a+1=b≠±1a + 1 = b \neq \pm 1」である.

理由: 一般に, 正方行列が対角化可能であるための必要十分条件は「各固有値の (固有多項式の根としての) 重複度と固有空間の次元が一致している」ことである.

(2) より AA の固有値は 1,a+1,b1, a + 1, b である. これらの重複とそのときの固有空間の次元を

  • (i) b=1b = 1 の場合,
  • (ii) b≠1b \neq 1 かつ a+1=1a + 1 = 1 の場合,
  • (iii) b≠1b \neq 1 かつ a+1≠1a + 1 \neq 1 の場合

3つの場合にわけて調べる.

まず, (i) b=1b = 1 の場合ついて考える. このとき固有値 11 の重複度は 22 以上であり, (3) より aa によらずに dim(V1)=2\text{dim}(V_1) = 2 である. よって AA が対角化不可能であるためには固有値 11 の重複度が 33 となることが必要十分であるから a=0a = 0 である. つまり (a,b)=(0,1)(a, b) = (0, 1) のとき AA は対角化不可能であることがわかる.

次に, (ii) b≠1b \neq 1 かつ a+1=1a + 1 = 1 の場合について考える. このとき固有値 11 の重複度は 22 である. (1) の結果より dim(V1)≥2\text{dim}(V_1) \geq 2 であるため AA は対角化可能である.

最後に, b≠1b \neq 1 かつ a+1≠1a + 1 \neq 1 の場合について考える. AA が対角不可能であるためには重複度が 22 以上の固有値の存在が必要であるから, a+1=ba + 1 = b としてよい. このとき

A=(−bb+1b−1−2b2b+1b−1−b−1b+1b),bI−A=(2b−b−1−b+12b−b−1−b+1b+1−b−10)A = \begin{pmatrix} -b & b+1 & b-1 \\ -2b & 2b+1 & b-1 \\ -b-1 & b+1 & b \end{pmatrix}, \quad bI - A = \begin{pmatrix} 2b & -b-1 & -b+1 \\ 2b & -b-1 & -b+1 \\ b+1 & -b-1 & 0 \end{pmatrix}

である. 簡単な小行列式の計算により, a+1=ba + 1 = b のもとでの bI−AbI − A の階数は

rank(bI−A)={1(b=±1)2(b≠±1)\text{rank}(bI - A) = \begin{cases} 1 &(b=\pm 1) \\ 2 &(b \neq \pm 1) \end{cases}

であることが確認できるから, 固有空間の定義と次元定理より

dim(Va+1)=dim(Vb)=dim(Ker(bI−A))={2(b=±1)1(b≠±1)\text{dim}(V_{a+1}) = \text{dim}(V_b) = \text{dim}(\text{Ker}(bI-A)) = \begin{cases} 2 &(b=\pm 1) \\ 1 &(b \neq \pm 1) \end{cases}

となり a+1=b≠±1a+1=b \neq \pm 1 のとき A は対角化不可能である.

以上 (i), (ii), (iii) より求める条件は 「(a,b)=(0,1)(a, b) = (0, 1) または a+1=b≠±1a + 1 = b \neq \pm 1」である.