跳到主要内容

明治大学 先端数理科学研究科 現象数理学専攻 2018年8月実施 线性代数

Author​

思齐塾, 祭音Myyura

Description​

行列 AA , ベクトル x0,x1,…\mathbf{x}_0, \mathbf{x}_1, \dots を

A=(35−10−20−1−13),x0=(101),xn+1=Axn(n=0,1,… )A = \begin{pmatrix} 3 & 5 & -1 \\ 0 & -2 & 0 \\ -1 & -1 & 3 \end{pmatrix}, \quad \mathbf{x}_0 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix}, \quad \mathbf{x}_{n+1} = A\mathbf{x}_n \quad (n=0, 1, \dots)

で定めるとき、以下の問いに答えよ。

(1) AA の固有値を求めよ。

(2) P−1APP^{-1}AP が対角行列となるような正則行列 PP を求めよ。条件を満たす PP は複数存在するが、どれか1つ求めればよい。

(3) 自然数 nn に対して, AnA^n を求めよ。

(4) 自然数 nn に対して, xn\mathbf{x}_n を求めよ。

题目描述​

定义矩阵 AA 以及向量 x0,x1,…\mathbf{x}_0,\mathbf{x}_1,\dots 如下:

A=(35−10−20−1−13),x0=(101),xn+1=Axn(n=0,1,… ).A=\begin{pmatrix}3&5&-1\\0&-2&0\\-1&-1&3\end{pmatrix},\qquad \mathbf{x}_0=\begin{pmatrix}1\\0\\1\end{pmatrix},\qquad \mathbf{x}_{n+1}=A\mathbf{x}_n\quad(n=0,1,\dots).

回答下列问题。

(1) 求 AA 的特征值。

(2) 求一个可逆矩阵 PP,使 P−1APP^{-1}AP 为对角矩阵。满足条件的 PP 不唯一,写出任意一个即可。

(3) 对自然数 nn,求 AnA^n。

(4) 对自然数 nn,求 xn\mathbf{x}_n。

Kai​

(1) AA の固有値を求めよ。

AA の特性方程式 det⁡(A−λI)=0\det(A - \lambda I) = 0 を解く。

det⁡(A−λI)=∣3−λ5−10−2−λ0−1−13−λ∣\det(A - \lambda I) = \begin{vmatrix} 3-\lambda & 5 & -1 \\ 0 & -2-\lambda & 0 \\ -1 & -1 & 3-\lambda \end{vmatrix}

第2行で余因子展開を行うと、

det⁡(A−λI)=(−2−λ)∣3−λ−1−13−λ∣\det(A - \lambda I) = (-2-\lambda) \begin{vmatrix} 3-\lambda & -1 \\ -1 & 3-\lambda \end{vmatrix}
=(−2−λ){(3−λ)2−1}= (-2-\lambda) \{ (3-\lambda)^2 - 1 \}
=(−2−λ)(λ2−6λ+9−1)= (-2-\lambda) (\lambda^2 - 6\lambda + 9 - 1)
=(−2−λ)(λ2−6λ+8)= (-2-\lambda) (\lambda^2 - 6\lambda + 8)
=−(λ+2)(λ−2)(λ−4)= -(\lambda+2)(\lambda-2)(\lambda-4)

特性方程式は −(λ+2)(λ−2)(λ−4)=0-(\lambda+2)(\lambda-2)(\lambda-4) = 0 となる。 したがって、 AA の固有値は λ=−2,2,4\lambda = -2, 2, 4 である。

(2) P−1APP^{-1}AP が対角行列となるような正則行列 PP を求めよ。

各固有値に対応する固有ベクトルを求める。

i) 固有値 λ1=−2\lambda_1 = -2 の場合: (A+2I)v=0(A+2I)\mathbf{v} = \mathbf{0} を解く。

(55−1000−1−15)(xyz)=(000)\begin{pmatrix} 5 & 5 & -1 \\ 0 & 0 & 0 \\ -1 & -1 & 5 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

連立方程式 5x+5y−z=05x+5y-z=0 と −x−y+5z=0-x-y+5z=0 から、 z=0,y=−xz=0, y=-x を得る。固有ベクトルの一例は v1=(−110)\mathbf{v}_1 = \begin{pmatrix} -1 \\ 1 \\ 0 \end{pmatrix} 。

ii) 固有値 λ2=2\lambda_2 = 2 の場合: (A−2I)v=0(A-2I)\mathbf{v} = \mathbf{0} を解く。

(15−10−40−1−11)(xyz)=(000)\begin{pmatrix} 1 & 5 & -1 \\ 0 & -4 & 0 \\ -1 & -1 & 1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

−4y=0-4y=0 より y=0y=0 。 x−z=0x-z=0 より x=zx=z 。固有ベクトルの一例は v2=(101)\mathbf{v}_2 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} 。

iii) 固有値 λ3=4\lambda_3 = 4 の場合: (A−4I)v=0(A-4I)\mathbf{v} = \mathbf{0} を解く。

(−15−10−60−1−1−1)(xyz)=(000)\begin{pmatrix} -1 & 5 & -1 \\ 0 & -6 & 0 \\ -1 & -1 & -1 \end{pmatrix} \begin{pmatrix} x \\ y \\ z \end{pmatrix} = \begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}

−6y=0-6y=0 より y=0y=0 。 −x−z=0-x-z=0 より x=−zx=-z 。固有ベクトルの一例は v3=(−101)\mathbf{v}_3 = \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix} 。

これらの固有ベクトルを列ベクトルとする行列 PP を作る。

P=(v1v2v3)=(−11−1100011)P = \begin{pmatrix} \mathbf{v}_1 & \mathbf{v}_2 & \mathbf{v}_3 \end{pmatrix} = \begin{pmatrix} -1 & 1 & -1 \\ 1 & 0 & 0 \\ 0 & 1 & 1 \end{pmatrix}

この PP が求める正則行列である。このとき、 P−1AP=(−200020004)P^{-1}AP = \begin{pmatrix} -2 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 4 \end{pmatrix} とな

(3) 自然数 nn に対して, AnA^n を求めよ。

AA の対角化を利用して、 An=PDnP−1A^n = PD^n P^{-1} を計算する。ここで DD は固有値を対角成分に持つ対角行列である。

Dn=((−2)n0002n0004n)D^n = \begin{pmatrix} (-2)^n & 0 & 0 \\ 0 & 2^n & 0 \\ 0 & 0 & 4^n \end{pmatrix}

次に、 PP の逆行列 P−1P^{-1} を求める。 det⁡(P)=−1(0)−1(1)−1(1)=−2\det(P) = -1(0) - 1(1) - 1(1) = -2 。

P−1=1det⁡(P)adj(P)=−12(0−20−1−1−111−1)=(0101/21/21/2−1/2−1/21/2)P^{-1} = \frac{1}{\det(P)} \text{adj}(P) = -\frac{1}{2} \begin{pmatrix} 0 & -2 & 0 \\ -1 & -1 & -1 \\ 1 & 1 & -1 \end{pmatrix} = \begin{pmatrix} 0 & 1 & 0 \\ 1/2 & 1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 \end{pmatrix}

よって、 AnA^n は以下のように計算される。

An=PDnP−1=(−11−1100011)((−2)n0002n0004n)(0101/21/21/2−1/2−1/21/2)A^n = PD^n P^{-1} = \begin{pmatrix} -1 & 1 & -1 \\ 1 & 0 & 0 \\ 0 & 1 & 1 \end{pmatrix} \begin{pmatrix} (-2)^n & 0 & 0 \\ 0 & 2^n & 0 \\ 0 & 0 & 4^n \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 1/2 & 1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 \end{pmatrix}
=(−(−2)n2n−4n(−2)n0002n4n)(0101/21/21/2−1/2−1/21/2)= \begin{pmatrix} -(-2)^n & 2^n & -4^n \\ (-2)^n & 0 & 0 \\ 0 & 2^n & 4^n \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 1/2 & 1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 \end{pmatrix}
=(12(2n+4n)−(−2)n+12(2n+4n)12(2n−4n)0(−2)n012(2n−4n)12(2n−4n)12(2n+4n))= \begin{pmatrix} \frac{1}{2}(2^n+4^n) & -(-2)^n + \frac{1}{2}(2^n+4^n) & \frac{1}{2}(2^n-4^n) \\ 0 & (-2)^n & 0 \\ \frac{1}{2}(2^n-4^n) & \frac{1}{2}(2^n-4^n) & \frac{1}{2}(2^n+4^n) \end{pmatrix}

(4) 自然数 nn に対して, xn\mathbf{x}_n を求めよ。

xn=Anx0\mathbf{x}_n = A^n \mathbf{x}_0 の関係がある。 Part (3) の結果を使っても計算できるが、ここではより簡潔な方法を用いる。 初期ベクトル x0\mathbf{x}_0 を固有ベクトルの線形結合で表現する: x0=c1v1+c2v2+c3v3\mathbf{x}_0 = c_1 \mathbf{v}_1 + c_2 \mathbf{v}_2 + c_3 \mathbf{v}_3 。 係数ベクトル c=(c1c2c3)\mathbf{c} = \begin{pmatrix} c_1 \\ c_2 \\ c_3 \end{pmatrix} は c=P−1x0\mathbf{c} = P^{-1} \mathbf{x}_0 で求められる。

c=(0101/21/21/2−1/2−1/21/2)(101)=(010)\mathbf{c} = \begin{pmatrix} 0 & 1 & 0 \\ 1/2 & 1/2 & 1/2 \\ -1/2 & -1/2 & 1/2 \end{pmatrix} \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix}

よって c1=0,c2=1,c3=0c_1=0, c_2=1, c_3=0 となり、 x0=0⋅v1+1⋅v2+0⋅v3=v2\mathbf{x}_0 = 0 \cdot \mathbf{v}_1 + 1 \cdot \mathbf{v}_2 + 0 \cdot \mathbf{v}_3 = \mathbf{v}_2 となる。 これは、初期ベクトル x0\mathbf{x}_0 が固有値 λ2=2\lambda_2=2 に対応する固有ベクトルであることを意味する。 したがって、次のように計算できる。

xn=Anx0=Anv2=λ2nv2=2nv2\mathbf{x}_n = A^n \mathbf{x}_0 = A^n \mathbf{v}_2 = \lambda_2^n \mathbf{v}_2 = 2^n \mathbf{v}_2
xn=2n(101)=(2n02n)\mathbf{x}_n = 2^n \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix} = \begin{pmatrix} 2^n \\ 0 \\ 2^n \end{pmatrix}