跳到主要内容

東京工業大学 情報理工学院 数理・計算科学系 2016年8月実施 午前 問B

Author

GPT-5

Description

Let ff be a real-valued continuous function on [0,)[0,\infty) such that limxf(x)=AR\lim_{x\to\infty}f(x)=A\in\mathbb{R} .

(1) Show that ff is bounded on [0,)[0,\infty) .

(2) Find lima1a20af(x)dx\displaystyle\lim_{a\to\infty}\frac1{a^2}\int_0^a f(x)\,dx .

(3) Find lima1a0af(x)dx\displaystyle\lim_{a\to\infty}\frac1a\int_0^a f(x)\,dx .

题目描述

设实值函数 ff 在区间 [0,)[0,\infty) 上连续,而且

limxf(x)=AR.\lim_{x\to\infty}f(x)=A\in\mathbb R.
  1. 证明 ff 在整个 [0,)[0,\infty) 上有界。
  2. 计算
lima1a20af(x)dx.\lim_{a\to\infty}\frac1{a^2}\int_0^a f(x)\,dx.
  1. 计算
lima1a0af(x)dx.\lim_{a\to\infty}\frac1a\int_0^a f(x)\,dx.

Kai

(1)

f(x)Af(x)\to A より、ある R>0R>0 が存在して xRx\geq R なら f(x)A<1|f(x)-A|<1 、したがって f(x)<A+1|f(x)|<|A|+1 となる。一方、連続関数 ff はコンパクト区間 [0,R][0,R] 上で有界である。ゆえに両者の上界の大きい方を取れば、 ff[0,)[0,\infty) 上で有界である。

(2)

f(x)M|f(x)|\leq M とする。このとき

1a20af(x)dx1a20af(x)dxMa0.\left|\frac1{a^2}\int_0^a f(x)\,dx\right| \leq\frac1{a^2}\int_0^a|f(x)|\,dx \leq\frac{M}{a}\longrightarrow0.

したがって

lima1a20af(x)dx=0.\boxed{\displaystyle\lim_{a\to\infty}\frac1{a^2}\int_0^a f(x)\,dx=0}.

(3)

任意の ε>0\varepsilon>0 に対し、 xRx\geq R なら f(x)A<ε/2|f(x)-A|<\varepsilon/2 となる RR を取る。 C=0Rf(x)AdxC=\int_0^R|f(x)-A|\,dx とおけば、 aRa\geq R に対して

1a0af(x)dxA1a0af(x)AdxCa+aRaε2.\begin{aligned} \left|\frac1a\int_0^a f(x)\,dx-A\right| &\leq\frac1a\int_0^a|f(x)-A|\,dx\\ &\leq\frac{C}{a}+\frac{a-R}{a}\frac{\varepsilon}{2}. \end{aligned}

十分大きい aa では C/a<ε/2C/a<\varepsilon/2 なので、右辺は ε\varepsilon 未満である。よって

lima1a0af(x)dx=A.\boxed{\displaystyle\lim_{a\to\infty}\frac1a\int_0^a f(x)\,dx=A}.