跳到主要内容

京都大学 情報学研究科 システム科学専攻 2021年8月実施 数学【I】

Author

AKIRA, 祭音Myyura

Description

問1

次の漸化式を満たす実数の数列 {xn} (n=0,1,2,...)\{x_n\} \ (n = 0, 1, 2, ...) について、以下の設問に答え よ.なお, a (0)a\ (\neq0) は実数である。

xn+3=2axn+2+a2xn+12a3xnx_{n+3} = 2ax_{n+2} + a^2x_{n+1}-2a^3x_n

(i) この数列について、次式が成り立つ行列 AA を求めよ。

[xn+1xn+2xn+3]=A[xnxn+1xn+2]\begin{bmatrix} x_{n+1} \\ x_{n+2} \\ x_{n+3} \end{bmatrix} =A \begin{bmatrix} x_{n} \\ x_{n+1} \\ x_{n+2} \end{bmatrix}

(ii) 行列 AA の固有値と固有ペクトルをすべて求めよ。

(iii) 任意の x0,x1,x2x_0, x_1, x_2 に対して数列 {xn}\{x_n\} が収束するとき、実数 aa が満たすべき必要十分条件を求めよ。

(iv) a=12a = \frac{1}{2} のとき、次式で与えられる AA^{\infty} を求めよ。

A=limnAnA^{\infty} = \lim_{n \to \infty} A^n

問2

R\mathbb{R} は実数全体からなる集合, ee はネイピア数(自然対数の底)とする. aRa \in \mathbb{R} についての高々2次の実係数多項式の集合 VVR\mathbb{R} 上のベクトル空間とみなせる。 xRx \in \mathbb{R} についての二つの連続関数 f(x),g(x)f(x), g(x) に対する内積を

f,g=01f(x)g(x) dx\langle f,g \rangle = \int_0^1 f(x)g(x)\ dx

で定めると、VV は上記の内積について内積空間となる。以下の設問に答えよ。

(i) 任意の f(x)Vf(x) \in Vg(x)Vg(x) \in V について、コーシー・シュワルツの不等式

f,g2f,fg,g\langle f,g \rangle^2 \leq \langle f,f \rangle \langle g,g \rangle

が成り立つことを示せ。

(ii) VV の基底 {1,3x,5x2}\{1, \sqrt{3}x, \sqrt{5}x^2\} が正規直交基底をなすか否かを、理由とともに示せ。

(iii) Vの基底 {1,x,x2}\{1, x,x^2\} は正規直交基底をなさない、グラム・シュミットの直交化法により、正規直交基底を構成せよ。

(iv) ex (xR)e^x \ (x \in \mathbb{R}) を多項式 h(x)Vh(x) \in V を用いて、

01(exh(x))2dx\int_0^1 (e^x - h(x))^2 dx

が最小となるように近似したい。(iii) で求めた正規直交基底を用いて、h(x)h(x) を求めよ。

Kai

問1

(i)

A=[0100012a3a22a]A = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ -2a^3 & a^2 &2a \end{bmatrix}

(ii)

AλI=(aλ)(a+λ)(λ2a)|A - \lambda I| = (a - \lambda)(a + \lambda)(\lambda - 2a)
λ1=a,p1=[1aa2]\lambda_1 = a, p_1 = \begin{bmatrix} 1 \\ a \\ a^2 \end{bmatrix}
λ2=a,p2=[1aa2]\lambda_2 = -a, p_2 = \begin{bmatrix} 1 \\ -a \\ a^2 \end{bmatrix}
λ3=2a,p3=[12a4a2]\lambda_3 = 2a, p_3 = \begin{bmatrix} 1 \\ 2a \\ 4a^2 \end{bmatrix}

(iii)

P=[111aa2aa2a24a2], A=P[a000a0002a]P1, An=P[an000(a)n000(2a)n]P1P = \begin{bmatrix} 1 & 1 & 1 \\ a & -a & 2a \\ a^2 & a^2 & 4a^2 \end{bmatrix}, \ A = P\begin{bmatrix} a & 0 & 0 \\ 0 & -a & 0 \\ 0 & 0 & 2a \end{bmatrix} P^{-1}, \ A^n = P\begin{bmatrix} a^n & 0 & 0 \\ 0 & (-a)^n & 0 \\ 0 & 0 & (2a)^n \end{bmatrix} P^{-1}

(i) より、A=[0100012a3a22a]A = \begin{bmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ -2a^3 & a^2 &2a \end{bmatrix} が成り立つから、任意の x0,x1,x2x_0, x_1, x_2 に対して数列 {xn}\{x_n\} が収束するとき、実数 aa が満たすべき必要十分条件は

{a12a1a±12a1\begin{cases} |a| \leq 1 \\ |2a| \leq 1 \\ a \neq \pm 1 \\ 2a \neq -1 \end{cases}

即ち、1/2<a1/2-1/2 < a \leq 1/2

(iv)

a=12a = \frac{1}{2} のとき、

A=P[000000001]P1, P1=[112a12a21312a16a213013a2]A^{\infty} = P \begin{bmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 1 \end{bmatrix} P^{-1},\ P^{-1} = \begin{bmatrix} 1 & \frac{1}{2a} & -\frac{1}{2a^2} \\ \frac{1}{3} & -\frac{1}{2a} & \frac{1}{6a^2} \\ -\frac{1}{3} & 0 & \frac{1}{3a^2} \end{bmatrix}

従って、

A=[001002a004a2][112a12a21312a16a213013a2]=[13013a22a3023a4a23043]=[130431304313043]\begin{aligned} A^{\infty} &= \begin{bmatrix} 0 & 0 & 1 \\ 0 & 0 & 2a \\ 0 & 0 & 4a^2 \end{bmatrix} \begin{bmatrix} 1 & \frac{1}{2a} & -\frac{1}{2a^2} \\ \frac{1}{3} & -\frac{1}{2a} & \frac{1}{6a^2} \\ -\frac{1}{3} & 0 & \frac{1}{3a^2} \end{bmatrix} = \begin{bmatrix} -\frac{1}{3} & 0 & \frac{1}{3a^2} \\ -\frac{2a}{3} & 0 & \frac{2}{3a} \\ -\frac{4a^2}{3} & 0 & \frac{4}{3} \end{bmatrix} \\ &= \begin{bmatrix} -\frac{1}{3} & 0 & \frac{4}{3} \\ -\frac{1}{3} & 0 & \frac{4}{3} \\ -\frac{1}{3} & 0 & \frac{4}{3} \end{bmatrix} \end{aligned}

問2