広義積分の極限証明｜∫[0,∞]f(x)dx と ∫[α,∞]e^{-αx}f(x)dx の収束関係を厳密解説

広義積分において「極限と積分の順序交換」が成立するかどうかは、解析学の中でも重要なテーマの一つです。本記事では、∫[0,∞]f(x)dx が収束するという条件のもとで、lim α→0 ∫[α,∞] e^{-αx} f(x) dx が同じ値に収束することを、考え方の流れとして整理して解説します。

問題設定の整理

まず与えられている条件は次の通りです。

∫[0,∞] f(x) dx が収束する。

このとき、次の極限を考えます。

lim α→0 ∫[α,∞] e^{-αx} f(x) dx

ここで e^{-αx} は減衰因子であり、α→0 のとき 1 に近づきます。

e^{-αx} は x が大きいほど小さくなる重み関数です。

αが小さいほどその減衰は弱くなり、全体として「ほぼ1」に近づきます。

したがって integrand は e^{-αx} f(x) → f(x) に各点収束します。

また下限が 0 ではなく α になっている点も、α→0で無視できる範囲になります。

この問題の本質は「支配収束定理（Dominated Convergence Theorem）」の適用です。

条件として ∫[0,∞] f(x) dx が収束しているため、ある可積分関数で f(x) を支配できます。

さらに 0 ≤ e^{-αx} ≤ 1 より

|e^{-αx} f(x)| ≤ |f(x)|

が成り立ちます。

よって支配収束定理より極限と積分の交換が可能になります。

積分区間が [α,∞] になっている点も確認します。

∫[0,α] f(x) dx は α→0 のとき 0 に収束します（可積分性より）。

したがって下限の違いは極限に影響を与えません。

以上より次が成立します。

lim α→0 ∫[α,∞] e^{-αx} f(x) dx = ∫[0,∞] f(x) dx

これは「指数減衰による正則化」が消えていくと元の広義積分に戻ることを意味します。

この問題の本質は、指数関数 e^{-αx} が1に収束することと、支配収束定理の適用可能性にあります。

また下限の変化は可積分性により無視できるため、極限と積分の交換が正当化されます。

広義積分の極限問題では「収束＋一様な支配」が成立するかどうかを見ることが重要です。