跳到主要内容

東京大学 工学系研究科 2020年8月実施 数学2

Author

Miyake

Description

2021年度大学院入学試験問題 数学2(主に線形代数)

Kai

I.

1.

AA の固有値を λ\lambda とすると、

0=det(λ303λ404λ)=λ(λ2+25)  λ=0,5i,5i\begin{aligned} 0 &= \det \begin{pmatrix} - \lambda & 3 & 0 \\ -3 & -\lambda & 4 \\ 0 & -4 & -\lambda \end{pmatrix} \\ &= - \lambda ( \lambda^2 + 25) \\ \therefore \ \ \lambda &= 0, 5i, -5i \end{aligned}

を得る。

2.

ケーリー-ハミルトンの定理より、A3+25A=0A^3 + 25A = 0 が成り立つ。

つまり、 a=0,b=25,c=0a=0,b=25,c=0 である。

3.

A3=25A,A5=25A3=(25)2A,\begin{aligned} A^3 &= -25A , \\ A^5 &= -25 A^3 = (-25)^2 A , \\ &\cdots \end{aligned}

から、

A2n+1=(25)nA=(1)n52nA\begin{aligned} A^{2n+1} = (-25)^n A = (-1)^n 5^{2n} A \end{aligned}

がわかる。

4.

上の 3. から、A2n+2=(1)n52nA2A^{2n+2} = (-1)^n 5^{2n} A^2もわかる。

そこで、

exp(tA)=k=0tkk!Ak=I+n=0t2n+1(2n+1)!A2n+1+n=0t2n+2(2n+2)!A2+2=I+An=0(1)n52nt2n+1(2n+1)!+A2n=0(1)n52nt2n+2(2n+2)!=I+A15n=0(1)n(5t)2n+1(2n+1)!A2125n=1(1)n(5t)2n(2n)!=I+sin(5t)5Acos(5t)125A2\begin{aligned} \exp (tA) &= \sum_{k=0}^\infty \frac{t^k}{k!} A^k \\ &= I + \sum_{n=0}^\infty \frac{t^{2n+1}}{(2n+1)!} A^{2n+1} + \sum_{n=0}^\infty \frac{t^{2n+2}}{(2n+2)!} A^{2+2} \\ &= I + A \sum_{n=0}^\infty \frac{(-1)^n 5^{2n} t^{2n+1}}{(2n+1)!} + A^2 \sum_{n=0}^\infty \frac{(-1)^n 5^{2n}t^{2n+2}}{(2n+2)!} \\ &= I + A \frac{1}{5} \sum_{n=0}^\infty \frac{(-1)^n (5t)^{2n+1}}{(2n+1)!} - A^2 \frac{1}{25} \sum_{n=1}^\infty \frac{(-1)^n (5t)^{2n}}{(2n)!} \\ &= I + \frac{\sin (5t)}{5} A - \frac{\cos (5t) - 1}{25} A^2 \end{aligned}

と計算できるので、

p=1cos(5t)25,  q=sin(5t)5,  r=1\begin{aligned} p = \frac{1 - \cos (5t)}{25} , \ \ q = \frac{\sin (5t)}{5} , \ \ r = 1 \end{aligned}

がわかる。

II.

1.

PA(n+1)=PA(n)(1α)+PB(n)βPB(n+1)=PA(n)α+PB(n)(1β)\begin{aligned} P_A(n+1) &= P_A(n) (1-\alpha) + P_B(n) \beta \\ P_B(n+1) &= P_A(n) \alpha + P_B(n) (1-\beta) \end{aligned}

なので、

M=(1αβα1β)\begin{aligned} M = \begin{pmatrix} 1-\alpha & \beta \\ \alpha & 1-\beta \end{pmatrix} \end{aligned}

である。

2.

MM の固有値は 1,1αβ1, 1-\alpha-\beta であり、それぞれに対応する固有ベクトルは、例えば、

(βα),  (11)\begin{aligned} \begin{pmatrix} \beta \\ \alpha \end{pmatrix} , \ \ \begin{pmatrix} 1 \\ -1 \end{pmatrix} \end{aligned}

である。

3.

A,Bである確率が一定値に収束するとすると、それは MM の固有ベクトルであり、確率は負にならないことを考慮して、

limkPA(k)=βα+β,  limkPB(k)=αα+β\begin{aligned} \lim_{k \to \infty} P_A(k) = \frac{\beta}{\alpha+\beta} , \ \ \lim_{k \to \infty} P_B(k) = \frac{\alpha}{\alpha+\beta} \end{aligned}

であることがわかる。

4.

PA()=limkPA(k)=βα+β\begin{aligned} P_A(\infty) = \lim_{k \to \infty} P_A(k) = \frac{\beta}{\alpha+\beta} \end{aligned}

と書くことにする。

RA(n+1)=PA(n+1)PA()=PA(n)(1α)+PB(n)βPA()=PA(n)(1α)+(1PA(n))βPA()=(1αβ)PA(n)+βPA()RA(n)=PA(n)PA()\begin{aligned} R_A(n+1) &= P_A(n+1) - P_A(\infty) \\ &= P_A(n) (1-\alpha) + P_B(n) \beta - P_A(\infty) \\ &= P_A(n) (1-\alpha) + \left(1 - P_A(n) \right) \beta - P_A(\infty) \\ &= (1-\alpha-\beta) P_A(n) + \beta - P_A(\infty) \\ R_A(n) &= P_A(n) - P_A(\infty) \end{aligned}

であるから、 PA(n)P_A(n) を消去して、

RA(n+1)=(1αβ)(RA(n)+PA())+βPA()=(1αβ)RA(n)\begin{aligned} R_A(n+1) &= (1-\alpha-\beta) \left( R_A(n) + P_A(\infty) \right) + \beta - P_A(\infty) \\ &= (1-\alpha-\beta) R_A(n) \end{aligned}

を得る。

III.

c1(a1+a2)+c2(a2+a3)++cm(am+a1)=0\begin{aligned} c_1 (\boldsymbol{a}_1 + \boldsymbol{a}_2) + c_2 (\boldsymbol{a}_2 + \boldsymbol{a}_3) + \cdots + c_m (\boldsymbol{a}_m + \boldsymbol{a}_1) = \boldsymbol{0} \end{aligned}

が成り立つとしたとき c1=c2==cm=0c_1 = c_2 = \cdots = c_m = 0 が導かれるかを検討する。

上の式を整理すると、

(c1+cm)a1+(c1+c2)a2+(c2+c3)a3++(cm1+cm)am=0\begin{aligned} (c_1+c_m) \boldsymbol{a}_1 + (c_1+c_2) \boldsymbol{a}_2 + (c_2+c_3) \boldsymbol{a}_3 + \cdots + (c_{m-1}+c_m) \boldsymbol{a}_m = \boldsymbol{0} \end{aligned}

となり、 a1,a2,,am\boldsymbol{a}_1, \boldsymbol{a}_2, \cdots, \boldsymbol{a}_m が1次独立であることから、

c1+cm=c1+c2=c2+c3==cm1+cm=0\begin{aligned} c_1+c_m = c_1+c_2 = c_2+c_3 = \cdots = c_{m-1}+c_m = 0 \end{aligned}

よって、

c2=c4==c1,c3=c5==c1,cm=c1\begin{aligned} c_2 &= c_4 = \cdots = -c_1 , \\ c_3 &= c_5 = \cdots = c_1 , \\ c_m &= -c_1 \end{aligned}

を得る。したがって、 mm が奇数のときは c1=c2==cm=0c_1 = c_2 = \cdots = c_m = 0 が導かれるので

a1+a2,a2+a3,,am+a1\boldsymbol{a}_1 + \boldsymbol{a}_2, \boldsymbol{a}_2 + \boldsymbol{a}_3, \cdots, \boldsymbol{a}_m + \boldsymbol{a}_1

は1次独立となる。 mm が偶数のときはそうは言えない。