跳到主要内容

大阪大学 基礎工学研究科 数理科学 (システム創成専攻) 2023年度 数理科学 II [1]

Author​

祭音Myyura (co-authored with GPT 5.6 SOL)

Description​

(1) f(x)=1−x2f(x)=1-x^2 (∣x∣≤1|x|\le1)、f(x)=0f(x)=0 (∣x∣>1|x|>1)、g(x)=e−∣x∣g(x)=e^{-|x|} とする。In=∫Rf(x−n)g(x) dxI_n=\int_{\mathbb R}f(x-n)g(x)\,dx に対して In→0I_n\to0 を示せ。

(2) F,GF,G は実数値連続関数で ∫R∣F∣<∞\int_{\mathbb R}|F|<\infty、lim⁡∣x∣→∞G(x)=0\lim_{|x|\to\infty}G(x)=0 を満たし、実数列 an→∞a_n\to\infty とする。Jn=∫RF(x−an)G(x) dxJ_n=\int_{\mathbb R}F(x-a_n)G(x)\,dx とおく。

(a) 各 JnJ_n は有限値であることを示せ。

(b) Jn→0J_n\to0 を示せ。

Kai​

(1)​

n≥1n\ge1 のとき f(x−n)f(x-n) の台は [n−1,n+1][n-1,n+1] にあり、0≤f≤10\le f\le1。したがって

0≤In≤∫n−1n+1e−x dx≤2e−(n−1)⟶0.0\le I_n\le\int_{n-1}^{n+1}e^{-x}\,dx\le2e^{-(n-1)}\longrightarrow0.

(2)​

(a) GG は連続で無限遠で 00 になるから有界である。M=sup⁡∣G∣<∞M=\sup|G|<\infty とすると

∫∣F(x−an)G(x)∣ dx≤M∫∣F(u)∣ du<∞.\int|F(x-a_n)G(x)|\,dx\le M\int|F(u)|\,du<\infty.

(b) u=x−anu=x-a_n と変換して Jn=∫F(u)G(u+an) duJ_n=\int F(u)G(u+a_n)\,du。各 uu で G(u+an)→0G(u+a_n)\to0、絶対値は可積分な M∣F(u)∣M|F(u)| 以下なので、優収束定理より Jn→0J_n\to0。