跳到主要内容

東北大学 大学院理学研究科 数学専攻 2020年8月実施 共通問題 問題3

Author​

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

Description​

問題は4題ある.全問に解答すること.

関数 f:R→Rf:\mathbb{R}\to\mathbb{R} は以下の条件 (a) と (b) を満たすとする.

(a) ff は R\mathbb{R} で微分可能であり,f′f' は R\mathbb{R} で有界である.

(b) 広義積分 ∫−∞∞∣f(t)∣ dt\displaystyle\int_{-\infty}^\infty|f(t)|\,dt は収束する.

以下の問いに答えよ.

(1) 一般に「関数 g:R→Rg:\mathbb{R}\to\mathbb{R} が R\mathbb{R} で一様連続である」という定義を書け.

(2) ff は R\mathbb{R} で一様連続であることを示せ.

(3) f(t)f(t) は t→∞t\to\infty とするとき 00 に収束することを示せ.

题目描述​

本卷共有4题,全部作答。

设函数 f:R→Rf:\mathbb{R}\to\mathbb{R} 满足下列条件 (a) 和 (b)。

(a) ff 在 R\mathbb{R} 上可微,且导函数 f′f' 在 R\mathbb{R} 上有界。

(b) 广义积分 ∫−∞∞∣f(t)∣ dt\displaystyle\int_{-\infty}^\infty|f(t)|\,dt 收敛。

回答下列问题。

(1) 写出一般的函数 g:R→Rg:\mathbb{R}\to\mathbb{R} 在 R\mathbb{R} 上一致连续的定义。

(2) 证明 ff 在 R\mathbb{R} 上一致连续。

(3) 证明当 t→∞t\to\infty 时,f(t)→0f(t)\to0。

Kai​

(1)​

任意の ε>0\varepsilon>0 に対して,ある δ>0\delta>0 が存在し,すべての x,y∈Rx,y\in\mathbb{R} について

∣x−y∣<δ⟹∣g(x)−g(y)∣<ε|x-y|<\delta\quad\Longrightarrow\quad |g(x)-g(y)|<\varepsilon

が成り立つことである.ここで δ\delta は x,yx,y に依存しない.

(2)​

∣f′(t)∣≤M|f'(t)|\le M(t∈Rt\in\mathbb{R})となる M>0M>0 をとる.平均値の定理から,任意の x,yx,y について

∣f(x)−f(y)∣≤M∣x−y∣.|f(x)-f(y)|\le M|x-y|.

任意の ε>0\varepsilon>0 に対し δ=ε/M\delta=\varepsilon/M とすれば (1) の条件を満たすので,ff は一様連続である.

(3)​

f(t)→0f(t)\to0(t→∞t\to\infty)でないとすると,ある ε>0\varepsilon>0 と tn→∞t_n\to\infty が存在して ∣f(tn)∣≥ε|f(t_n)|\ge\varepsilon.δ=ε/(2M)\delta=\varepsilon/(2M) とすれば,(2) の評価から ∣t−tn∣≤δ|t-t_n|\le\delta で

∣f(t)∣≥∣f(tn)∣−M∣t−tn∣≥ε2.|f(t)|\ge|f(t_n)|-M|t-t_n|\ge\frac\varepsilon2.

部分列を選ぶことにより tn+1−tn>2δt_{n+1}-t_n>2\delta とできる.区間 [tn−δ,tn+δ][t_n-\delta,t_n+\delta] は互いに交わらないので,任意の NN に対して

∫−∞∞∣f(t)∣ dt≥∑n=1N∫tn−δtn+δ∣f(t)∣ dt≥Nεδ.\int_{-\infty}^\infty|f(t)|\,dt \ge\sum_{n=1}^N\int_{t_n-\delta}^{t_n+\delta}|f(t)|\,dt \ge N\varepsilon\delta.

N→∞N\to\infty とすると (b) に矛盾する.ゆえに f(t)→0f(t)\to0 である.

Reference​