跳到主要内容

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

Author

思齐塾, 祭音Myyura

Description

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

A=(351020113),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) P1APP^{-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=(351020113),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,使 P1APP^{-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λ5102λ0113λ\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λ113λ\det(A - \lambda I) = (-2-\lambda) \begin{vmatrix} 3-\lambda & -1 \\ -1 & 3-\lambda \end{vmatrix}
=(2λ){(3λ)21}= (-2-\lambda) \{ (3-\lambda)^2 - 1 \}
=(2λ)(λ26λ+91)= (-2-\lambda) (\lambda^2 - 6\lambda + 9 - 1)
=(2λ)(λ26λ+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) P1APP^{-1}AP が対角行列となるような正則行列 PP を求めよ。

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

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

(551000115)(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+5yz=05x+5y-z=0xy+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 の場合: (A2I)v=0(A-2I)\mathbf{v} = \mathbf{0} を解く。

(151040111)(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=0xz=0x-z=0 より x=zx=z 。固有ベクトルの一例は v2=(101)\mathbf{v}_2 = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix}

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

(151060111)(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=0xz=0-x-z=0 より x=zx=-z 。固有ベクトルの一例は v3=(101)\mathbf{v}_3 = \begin{pmatrix} -1 \\ 0 \\ 1 \end{pmatrix}

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

P=(v1v2v3)=(111100011)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 が求める正則行列である。このとき、 P1AP=(200020004)P^{-1}AP = \begin{pmatrix} -2 & 0 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 4 \end{pmatrix} とな

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

AA の対角化を利用して、 An=PDnP1A^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 の逆行列 P1P^{-1} を求める。 det(P)=1(0)1(1)1(1)=2\det(P) = -1(0) - 1(1) - 1(1) = -2

P1=1det(P)adj(P)=12(020111111)=(0101/21/21/21/21/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=PDnP1=(111100011)((2)n0002n0004n)(0101/21/21/21/21/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)n2n4n(2)n0002n4n)(0101/21/21/21/21/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(2n4n)0(2)n012(2n4n)12(2n4n)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=P1x0\mathbf{c} = P^{-1} \mathbf{x}_0 で求められる。

c=(0101/21/21/21/21/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=0v1+1v2+0v3=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}