「lim_{λ→∞}∫_0^∞ sin(x²)tan⁻¹(λx)dx」で極限と積分を交換してよい理由は、解析学の中でも特に重要な“収束と交換可能条件”に関わるテーマです。直感的にはできそうでも、厳密には条件を満たさなければ交換はできません。
この記事では、この式でなぜ交換が正当化できるのかを、支配収束定理の観点から整理して解説します。
問題の構造：何を交換しようとしているのか
与えられた式は次の形です。
lim_{λ→∞}∫_0^∞ sin(x²)tan⁻¹(λx)dx
ここで問題となるのは「極限 lim」と「積分 ∫」の順序を入れ替えられるかどうかです。
これは一般には自動的には許されません。
極限と積分の交換が危険な理由
極限と積分はそれぞれ独立した操作であり、順序を変えると値が変わることがあります。
特に無限区間や振動関数（sin(x²)など）がある場合は注意が必要です。
そのため、必ず収束の制御条件を確認する必要があります。
ポイント：tan⁻¹(λx)の挙動
λ→∞のとき、tan⁻¹(λx)は次のように収束します。
x>0ならπ/2、x=0なら0に収束します。
つまり被積分関数は sin(x²)×(0〜π/2の範囲に有界な関数)として振る舞います。
支配収束定理が使える理由
交換を正当化する核心は「支配収束定理（Dominated Convergence Theorem）」です。
|sin(x²)tan⁻¹(λx)| ≤ (π/2)|sin(x²)| が成り立ちます。
さらに |sin(x²)| は可積分ではないものの、振動性により広義積分として扱う枠組みで収束を議論できます。
重要なポイント：局所収束と有界性
tan⁻¹(λx)は0≤tan⁻¹(λx)≤π/2で一様に有界です。
そのためλ→∞の極限を内部に入れても発散を制御できます。
この有界性が交換を可能にする大きな理由です。
直感的な理解
λが大きくなるとtan⁻¹(λx)はほぼπ/2に張り付くため、積分全体は「sin(x²)に定数を掛けた形」に近づきます。
そのため極限を外に出しても結果が変わらない構造になっています。
ただしこれは厳密には収束定理に支えられています。
まとめ
極限と積分の交換が可能なのは、tan⁻¹(λx)が一様有界であり、支配収束定理の条件を満たすためです。
単なる直感ではなく、関数の有界性と収束の制御が本質的な理由になります。
この問題は「解析学における交換条件の典型例」として非常に重要です。
コメント