広義積分と指数減衰の極限：∫[0,∞] f(x)dx と lim α→0 ∫ e^{-αx}f(x)dx の一致の証明

本記事では、広義積分と指数関数による正則化の関係としてよく登場する「lim α→0 ∫₀^∞ e^{-αx}f(x)dx = ∫₀^∞ f(x)dx」が成り立つ条件と、その標準的な証明の流れを整理します。解析学で重要な収束定理を用いることで、この等式の本質が明確になります。

結論：支配収束定理により極限と積分は交換できる

この等式が成り立つ本質的理由は、ルベーグの支配収束定理（Dominated Convergence Theorem）を適用できるためです。

指数関数 e^{-αx} は 0≤e^{-αx}≤1 を満たし、α→0で各点収束的に1へ近づきます。

したがって適切な可積分性条件のもとで極限と積分の交換が可能になります。

まず重要なのは ∫₀^∞ f(x)dx が収束していることです。

これは f(x) が絶対可積分であるか、少なくとも広義積分として定義可能であることを意味します。

この条件がないと、右辺自体が意味を持たないため証明は成立しません。

考える関数列は f_α(x) = e^{-αx}f(x) です。

α>0 のとき指数因子により大きな x に対して減衰がかかります。

このため収束性が改善される「正則化」の役割を果たします。

任意の固定した x について、α→0とすると e^{-αx}→1 です。

したがって f_α(x)→f(x) が各点で成立します。

この性質が収束定理の適用条件の一つになります。

0 ≤ e^{-αx} ≤ 1 より |f_α(x)| ≤ |f(x)| が成り立ちます。

したがって |f(x)| が可積分であれば、それが支配関数になります。

この条件により支配収束定理を適用できます。

各点収束と可積分な支配関数の存在により、次が成立します。

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

右辺の極限は f(x) なので ∫₀^∞ f(x)dx となります。

指数因子 e^{-αx} は「遠くの領域を少し抑える重み」です。

αを0に近づけると、その重みが消えて元の積分に戻ります。

つまりこの操作は広義積分の安定化手法と考えられます。

この等式は単なる計算テクニックではなく、収束定理に基づく厳密な結果です。

ポイントは「各点収束」と「支配関数の存在」であり、これにより極限と積分の交換が正当化されます。

解析学における基本的な極限定理の代表例の一つです。