京都大学 理学研究科 数学・数理解析専攻 2023年度 基礎科目 問題4
Author
祭音Myyura (co-authored with GPT 6 Astra)
Description
f(x) を x≥1 で定義された実数値連続関数とし、limx→∞f(x)=1 とする。このとき
n→∞limn∫1∞x2exp(−n/x)f(x)dx
を求めよ。
题目描述
设 f(x) 是 [1,∞) 上的实值连续函数,且 limx→∞f(x)=1。求
n→∞limn∫1∞x2exp(−n/x)f(x)dx.
Kai
f は連続で無限遠に有限な極限を持つので有界である。M=supx≥1∣f(x)∣<∞ とおく。t=n/x と変数変換すると
n∫1∞x2e−n/xf(x)dx=∫0ne−tf(n/t)dt.
右辺の被積分関数を t>n では 0 として (0,∞) 全体に拡張する。各 t>0 でこれは e−t に収束し、絶対値は可積分関数 Me−t 以下である。よって優収束定理から、求める極限は
∫0∞e−tdt=1.
Reference