京都大学情報学研究科先端数理科学専攻 2021年8月実施基礎科目3

标签：

Author

祭音Myyura (with GPT-5)

次の各問に答えよ。

(1) $0 < r< 1$ とする. 実数列 $\{a_n\}_{n \geq 1}$ が, $1$ 以上の任意の整数 $n$ で

|a_{n+2} - a_{n+1}| \leq r|a_{n+1} - a_n|

を満たすとき, $\{a_n\}$ は収束することを示せ.

(2) $p > 0$ とする。

x_{n+1} = p + \frac{1}{x_n} \ \ (n \geq 1), \quad x_1 = 1

で定まる数列 $\{x_n\}_{n \geq 1}$ は収束することを示せ.

$d_n:=|a_{n+1}-a_n|$ とおくと $d_{n+1}\le r d_n$ だから

d_n\le r^{n-1}d_1\ \xrightarrow[n\to\infty]{}\ 0 .

さらに $m>n$ に対し

|a_m-a_n|\le \sum_{k=n}^{m-1} d_k \le d_1\sum_{k=n}^{\infty} r^{k-1} = \frac{d_1}{1-r}r^{n-1}\xrightarrow[n\to\infty]{}0.

ゆえに ${a_n}$ はコーシー列であり，よって収束する。

$f(x):=p+\frac{1}{x}$ は $(0,\infty)$ 上で単調減少。方程式

x=f(x)\iff x^2-px-1=0

の正の解を $\alpha=\frac{p+\sqrt{p^2+4}}2,(>1)$ とする。 $x_1=1<\alpha$ なので $x_2=f(1)=p+1>\alpha$ ，よって

x_1<\alpha<x_2,\qquad x_3=f(x_2)<f(\alpha)=\alpha,\qquad x_4=f(x_3)>\alpha,\ \ldots

となり，

x_{1}<x_{3}<x_{5}<\cdots<\alpha,\qquad x_{2}>x_{4}>x_{6}>\cdots>\alpha .

したがって全ての項が $\ge 1$ で，特に $x_n\ge 1$ が成り立つ。

このとき

|x_{n+2}-x_{n+1}|=\Bigl|\frac1{x_{n+1}}-\frac1{x_n}\Bigr| =\frac{|x_{n+1}-x_n|}{x_nx_{n+1}} \le \frac{|x_{n+1}-x_n|}{1+p} ,

（ $x_n\ge 1$ から $x_nx_{n+1}\ge x_n(1/x_n+p)=1+px_n\ge1+p$ ）である。よって (1) を $r=\frac1{1+p},(<1)$ で適用でき， ${x_n}$ は収束する。