東京工業大学 情報理工学院 数理・計算科学系 2016年8月実施 午前 問B
Author
GPT-5
Description
Let f be a real-valued continuous function on [0,∞) such that limx→∞f(x)=A∈R .
(1) Show that f is bounded on [0,∞) .
(2) Find a→∞lima21∫0af(x)dx .
(3) Find a→∞lima1∫0af(x)dx .
题目描述
设实值函数 f 在区间 [0,∞) 上连续,而且
x→∞limf(x)=A∈R.
- 证明 f 在整个 [0,∞) 上有界。
- 计算
a→∞lima21∫0af(x)dx.
- 计算
a→∞lima1∫0af(x)dx.
Kai
(1)
f(x)→A より、ある R>0 が存在して x≥R なら ∣f(x)−A∣<1 、したがって ∣f(x)∣<∣A∣+1 となる。一方、連続関数 f はコンパクト区間 [0,R] 上で有界である。ゆえに両者の上界の大きい方を取れば、 f は [0,∞) 上で有界である。
(2)
∣f(x)∣≤M とする。このとき
a21∫0af(x)dx≤a21∫0a∣f(x)∣dx≤aM⟶0.
したがって
a→∞lima21∫0af(x)dx=0.
(3)
任意の ε>0 に対し、 x≥R なら ∣f(x)−A∣<ε/2 となる R を取る。 C=∫0R∣f(x)−A∣dx とおけば、 a≥R に対して
a1∫0af(x)dx−A≤a1∫0a∣f(x)−A∣dx≤aC+aa−R2ε.
十分大きい a では C/a<ε/2 なので、右辺は ε 未満である。よって
a→∞lima1∫0af(x)dx=A.