跳到主要内容

東北大学 理学研究科 数学専攻 2017年8月実施 選択問題 [5]

Author​

祭音Myyura (Based on L^2's answer refined with GPT 6 Astra)

Description​

問題は8題ある。3題を選択して解答すること。

(X,M,μ)(X,\mathcal M,\mu) を測度空間とし、μ\mu は有限測度とする(すなわち、μ(X)<∞\mu(X)<\infty)。また、ff を (X,M)(X,\mathcal M) 上の実数値可測関数とする。以下の問いに答えよ。

(1) ∫Xe∣f∣dμ<∞\displaystyle\int_Xe^{|f|}d\mu<\infty とする。

(a) 00 以上の各整数 nn で ∫X∣f∣ndμ<∞\displaystyle\int_X|f|^n d\mu<\infty が成り立つことを示せ。

(b) lim⁡n→∞∫X(1+fn)ndμ=∫Xefdμ\displaystyle\lim_{n\to\infty}\int_X\left(1+\frac fn\right)^n d\mu=\int_Xe^f d\mu を示せ。

(2) 22 以上の各整数 nn で ∫X∣f∣ndμ≤(n−2)!\displaystyle\int_X|f|^n d\mu\le(n-2)! が成り立つとする。

(a) ∫X∣f∣dμ<∞\displaystyle\int_X|f|d\mu<\infty を示せ。

(b) ∫Xe∣f∣dμ<∞\displaystyle\int_Xe^{|f|}d\mu<\infty を示せ。

题目描述​

试卷共8题,选择其中3题作答。

设 (X,M,μ)(X,\mathcal M,\mu) 为测度空间,μ\mu 为有限测度,即 μ(X)<∞\mu(X)<\infty,ff 为 (X,M)(X,\mathcal M) 上的实值可测函数。回答下列问题。

(1) 假设 ∫Xe∣f∣dμ<∞\displaystyle\int_Xe^{|f|}d\mu<\infty。

(a) 证明对每个非负整数 nn,都有 ∫X∣f∣ndμ<∞\displaystyle\int_X|f|^n d\mu<\infty。

(b) 证明 lim⁡n→∞∫X(1+fn)ndμ=∫Xefdμ\displaystyle\lim_{n\to\infty}\int_X\left(1+\frac fn\right)^n d\mu=\int_Xe^f d\mu。

(2) 假设对每个整数 n≥2n\ge2,都有 ∫X∣f∣ndμ≤(n−2)!\displaystyle\int_X|f|^n d\mu\le(n-2)!。

(a) 证明 ∫X∣f∣dμ<∞\displaystyle\int_X|f|d\mu<\infty。

(b) 证明 ∫Xe∣f∣dμ<∞\displaystyle\int_Xe^{|f|}d\mu<\infty。

Kai​

(1)(a)​

n=0n=0 のときは ∫X1 dμ=μ(X)<∞\int_X1\,d\mu=\mu(X)<\infty である。任意の正整数 nn に対して ∣f∣n/n!≤e∣f∣|f|^n/n!\le e^{|f|} なので、

∫X∣f∣n dμ≤n!∫Xe∣f∣ dμ<∞.\int_X|f|^n\,d\mu\le n!\int_Xe^{|f|}\,d\mu<\infty.

(1)(b)​

各点で (1+f/n)n→ef(1+f/n)^n\to e^f であり、

∣1+fn∣n≤(1+∣f∣n)n≤e∣f∣.\left|1+\frac fn\right|^n \le\left(1+\frac{|f|}{n}\right)^n\le e^{|f|}.

仮定により右辺は可積分だから、優収束定理によって

lim⁡n→∞∫X(1+fn)n dμ=∫Xef dμ.\lim_{n\to\infty}\int_X\left(1+\frac fn\right)^n\,d\mu =\int_Xe^f\,d\mu.

(2)(a)​

∣f∣≤1+∣f∣2|f|\le1+|f|^2 と n=2n=2 の仮定より、

∫X∣f∣ dμ≤μ(X)+∫X∣f∣2 dμ≤μ(X)+1<∞.\int_X|f|\,d\mu\le\mu(X)+\int_X|f|^2\,d\mu \le\mu(X)+1<\infty.

(2)(b)​

指数級数の非負部分和に単調収束定理を適用すると、

∫Xe∣f∣ dμ=μ(X)+∫X∣f∣ dμ+∑n=2∞1n!∫X∣f∣n dμ≤μ(X)+∫X∣f∣ dμ+∑n=2∞1n(n−1)=μ(X)+∫X∣f∣ dμ+1<∞.\begin{aligned} \int_Xe^{|f|}\,d\mu &=\mu(X)+\int_X|f|\,d\mu +\sum_{n=2}^\infty\frac1{n!}\int_X|f|^n\,d\mu\\ &\le\mu(X)+\int_X|f|\,d\mu +\sum_{n=2}^\infty\frac1{n(n-1)}\\ &=\mu(X)+\int_X|f|\,d\mu+1<\infty. \end{aligned}

Reference​