東大数理院試過去問解答例(2025A03)

190

ここでは東大数理の修士課程の院試の2025A03の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2025A03

関数 $f_{n} : R \to R$ を
$f_{1} (x) = \sin (x)$
$f_{n} (x) := f_{n - 1} (\sin (x))$
と定義する。関数列 ${f_{n}}_{n = 1}^{\infty}$ は $R$ 上で一様収束するかどうか判定し、一様収束するならその収束関数 $f (x)$ を求めなさい。
関数 $g_{n} : R^{3} \to R$ を
$g_{n} (x) = \frac{\log (e^{n x} + e^{n y} + e^{n z})}{n}$
で定義する。関数列 ${g_{n}}_{n = 1}^{\infty}$ は $R^{3}$ 上で一様収束するかどうか判定し、一様収束するならその収束関数 $g (x, y, z)$ を求めなさい。

一様収束し、その収束値は
$f (x) = 0$
であることを示す。まず $\sin (x)$ は周期 $π$ の奇関数であることから、 $I = [0, \frac{π}{2}]$ に於ける一様収束性及び $0$ への収束を述べればよい。このとき $f_{n} (x)$ は任意の $x \in I$ に対して非負実数からなる広義単調減少列であるから、極限 $y = lim_{n \to \infty} f_{n} (x)$ が存在し、これは
$\sin (y) = \sin (lim_{n \to \infty} f_{n} (x)) = lim_{n \to \infty} \sin (f_{n} (x)) = lim_{n \to \infty} f_{n + 1} (x) = y$
より $y = 0$ である。ここで任意の $ε$ に対して $f_{n} (\frac{π}{2}) \leq ε$ なる $n$ を取れば、任意の $x \in I$ について
$f_{n} (x) \leq f_{n} (\frac{π}{2}) < ε$
であるから、 $f_{n}$ の一様収束性及び $0$ への収束が言えた。
まず $x \leq y \leq z$ のとき
$g_{n} (x) = \frac{e^{n x} + e^{n y}}{n e^{n z}} \log {(1 + \frac{e^{n x} + e^{n y}}{e^{n z}})}^{\frac{e^{n z}}{e^{n x} + e^{n y}}} + z$
である。よって任意の $n$ 及び $x \leq y \leq z$ に対して
$\begin{aligned} | g_{n} (x, y, z) - z | & \leq \frac{2}{n} \end{aligned}$
が成り立つ。 $x \leq y \leq z$ 以外の場合にも同様の議論を行うことで、 $g_{n} (x, y, z)$ は一様収束することがわかり、その極限は
$g (x, y, z) = max {x, y, z}$
である。

投稿日：21日前

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

65703

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

東大数理院試過去問解答例(2025A03)