$$$$
ここでは科学大数学系の修士課程の院試の2025午後07の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです
2025午後07
- $(0,\infty)$上のルベーグ可測関数が$\frac{x}{2}< f(x)\leq x$を満たすとき、極限
$$
\lim_{n\to\infty}\int_0^n\left(\frac{\arctan f(x)}{f(x)}\right)^ndx
$$
を計算しなさい。 - $p$を$1$以上の実数とする。$(0,1)$上のルベーグ可測関数$f$について等式
$$
\int_0^1|f|^pdx=p\int_0^\infty t^{p-1}\mu(\{x\in(0,1)|f(x)>t\})dt
$$
を示しなさい。 - $p$を$1$以上の実数とする。$(0,1)$上のルベーグ可測関数$f$について以下の条件が同値であることを示しなさい。
- $\int_0^1|f|^p<\infty$
- $\sum_{n=1}^\infty 2^{np}\mu(\{x\in(0,1)|f(x)>t\})<\infty$
- まず
$$
f_n(x)=\begin{cases}
\left(\frac{\arctan f(x)}{f(x)}\right)^n&(x\in[0,n])\\
0&(\textsf{if else})
\end{cases}
$$
で定める。そして
$$
g(x)=\begin{cases}
1&(x\leq1)\\
\frac{1}{f(x)^2}&(1\leq x)
\end{cases}
$$
とおく。このとき$f_n\leq g$であり、$g(x)$はルベーグ可積分関数であるから、ルベーグの優収束定理から
$$
\begin{split}
\lim_{n\to\infty}\int_0^n\left(\frac{\arctan f(x)}{f(x)}\right)^ndx&=\lim_{n\to\infty}\int_0^\infty f_n(x)dx\\
&=\int_0^n \lim_{n\to\infty}f_n(x)dx&={\color{red}0}
\end{split}
$$
がわかる。 - ルベーグ積分の定義と置換積分により
$$
\begin{split}
\int_X|f|^pd\mu&=\int_0^\infty\mu(\{x\in X||f(x)|^p>s\})ds\\
&=\int_0^\infty \mu(\{x\in X||f(x)|^p>t^p\})pt^{p-1}dt\\
&=\int_0^\infty \mu(\{x\in X||f(x)|>t\})pt^{p-1}dt
\end{split}
$$
であり、これが所望の結果である。 - まず
$$
\int_1^\infty \mu(\{x\in X||f(x)|>t\})pt^{p-1}dt={p}{\log(2)}\int_1^\infty \mu(\{x\in X||f(x)|>2^u\})2^{pu}du
$$
である。ここで関数$g(x)=\mu(\{x\in X||f(x)|>t\})pt^{p-1}dt$は広義単調減少なので不等式
$$
\frac{1}{2^p}2^{(n+1)p}g(n+1)\leq\int_{n}^{n+1}2^{pu}g(u)du\leq2\cdot2^{pn}g(n)
$$
である。ここから
$$
\frac{1}{2^p}\sum_{i=2}^\infty 2^{np}g(n)\leq \int_{1}^{\infty}2^{pu}g(u)du \leq2\sum_{i=1}^\infty 2^{pn}g(n)
$$
である。あとは$g$が正値関数であることを考慮すれば、左側の不等式を用いて(i)から(ii)を、右側の不等式から逆を示せる。