広義積分の積分順序交換は可能？∫₀∞dx∫ₐᵇdt log x sin(tx)の扱い方を解説

二重積分では、積分の順序を交換して計算できる場合があります。しかし、無限区間を含む広義積分では、常に自由に順序交換できるわけではありません。

この記事では、0<a<bの条件のもとで考える積分∫₀∞dx∫ₐᵇdt log x sin(tx)について、積分順序の交換が成立するための条件や注意点をわかりやすく解説します。

積分順序の交換には条件がある

通常の有限区間上の二重積分では、関数が十分に良い性質を持っていれば積分順序を交換できます。この基本となる考え方がフビニの定理やトネリの定理です。

特に、二重積分する関数f(x,t)について、絶対可積分性つまり∫∫|f(x,t)|dxdtが有限であることが確認できれば、積分順序の交換が可能になります。

今回の場合、対象となる関数はf(x,t)=log x sin(tx)です。tの範囲は[a,b]という有限区間ですが、xは0から∞までの無限区間なので、広義積分として慎重に扱う必要があります。

積分順序交換を正当化するためには、次の積分が収束するかを確認します。

∫ₐᵇdt∫₀∞dx|log x sin(tx)|

ここで重要なのは、sin(tx)は振動する関数ですが、絶対値を取るとその振動による打ち消し効果がなくなる点です。

絶対可積分でないからといって、必ず積分順序交換が不可能というわけではありません。ただし、その場合はフビニの定理を直接利用することはできません。

今回の積分では、sin(tx)の振動による条件収束が関係します。つまり、正負の値が打ち消し合うことで積分が存在する可能性があります。

このような場合、積分順序を交換するには、単なる形式的な変形ではなく、広義積分の定義に基づいた検証が必要になります。

tを先に積分すると、xを固定して

∫ₐᵇlog x sin(tx)dt

を考えることになります。log xはtに関して定数なので、

log x∫ₐᵇsin(tx)dt=log x( cos(ax)-cos(bx) )/x

となります。

したがって、残ったxについての積分は

∫₀∞log x( cos(ax)-cos(bx) )/x dx

となります。この形では、cosの差による振動があるため、収束性を調べる必要があります。

一方で、xを先に積分すると、

∫₀∞log x sin(tx)dx

を考えることになります。この積分は通常の意味では絶対収束しませんが、条件収束する広義積分として扱われる場合があります。

そのため、tについて積分する前にこの積分がどの意味で定義されているのかを明確にする必要があります。

例えば、収束因子e^{-εx}を掛けてからε→0の極限を取るような正則化を用いる場合と、通常の広義積分として扱う場合では結果が異なる可能性があります。

結論として、0<a<bであっても、

∫₀∞dx∫ₐᵇdt log x sin(tx)=∫ₐᵇdt∫₀∞dx log x sin(tx)

という等式を、一般的な二重積分の定理だけで無条件に認めることはできません。

理由は、対象の関数が絶対可積分ではなく、無限区間での条件収束の問題が存在するためです。

順序交換を行う場合には、積分の定義（通常の広義積分なのか、正則化された積分なのか）を明確にし、その条件のもとで交換可能かを確認する必要があります。

二重積分の積分順序交換は便利な計算手法ですが、無限区間を含む場合には注意が必要です。

今回のようなlog x sin(tx)を含む積分では、絶対可積分性が成立しないため、フビニの定理をそのまま適用することはできません。

積分順序を交換するには、条件収束の扱いや広義積分の定義を確認した上で判断することが重要です。形式的な交換ではなく、数学的な根拠を確認することが大切になります。