重積分では、積分の順序を入れ替えて計算できる場合があります。しかし、無限区間を含む積分や絶対収束しない積分では、単純に順序を交換すると誤った結果になることがあります。この記事では、0<a<bのときに現れる積分∫₀∞dx∫ₐᵇdt log x sin(tx)について、積分順序の交換が成り立つ条件を分かりやすく解説します。
積分順序の交換ができる基本条件
2重積分において積分順序を交換できる代表的な条件は、フビニの定理やトネリの定理によって与えられます。
特にフビニの定理では、関数が絶対可積分、つまり
∫∫|f(x,t)|dxdt<∞
を満たす場合に、積分順序を自由に交換できます。
したがって、今回の関数
f(x,t)=log x sin(tx)
については、絶対収束するかどうかを確認する必要があります。
与えられた積分の形を確認する
問題の積分は、
∫₀∞dx∫ₐᵇdt log x sin(tx)
であり、xは0から∞まで、tは有限区間aからbまで動きます。
tの範囲は0<a<bなので有限ですが、xについては無限区間であり、さらにlog xはxが大きくなるにつれて増加します。
そのため、無限区間での収束性が重要なポイントになります。
絶対収束するかどうかを調べる
積分順序を交換するためには、
∫ₐᵇdt∫₀∞dx |log x sin(tx)|
が有限になる必要があります。
しかし、sin(tx)は振動するため、符号を含めた積分では打ち消しが起こります。一方、絶対値を付けると振動による打ち消しがなくなります。
xが大きい場合を考えると、|sin(tx)|は周期的に一定以上の値を取り続けます。そのため、|log x sin(tx)|の積分は発散します。
つまり、この積分は絶対収束しません。
条件付き収束の場合の注意点
絶対収束しない積分では、積分順序の交換が必ずしも成立するわけではありません。
例えば、通常の広義積分では、振動によって収束している積分でも、積分の順番を変えることで異なる値になったり、収束しなくなったりする場合があります。
今回の場合も、フビニの定理を直接適用することはできません。
実際にt積分を先に行った場合
tについて先に積分すると、
∫ₐᵇ log x sin(tx)dt
となります。log xはtに関して定数なので、
log x∫ₐᵇsin(tx)dt
となります。
ここで、
∫ₐᵇsin(tx)dt=(-cos(bx)+cos(ax))/x
なので、結果は
log x(cos(ax)-cos(bx))/x
になります。
この後xについて積分すると、振動積分として扱う必要があります。
x積分を先に行う場合との違い
xについて先に積分すると、
∫₀∞log x sin(tx)dx
を考えることになります。
この積分は通常の意味では収束しにくく、場合によっては正則化や特殊な解釈が必要になります。
そのため、t積分を先に行った場合と同じ値になるとは限りません。
積分順序交換を安全に行う方法
無限区間を含む積分で順序交換をしたい場合は、まず有限区間で考える方法が有効です。
例えば、
∫₀ᴿdx∫ₐᵇdt log x sin(tx)
としてRを有限に固定すれば、連続関数として扱いやすくなります。
その後、R→∞の極限を調べることで、本当に交換可能かを判断できます。
このように、無限積分では「有限区間で交換できる」ことと「極限を取った後も交換できる」ことは別問題です。
まとめ
0<a<bにおける
∫₀∞dx∫ₐᵇdt log x sin(tx)=∫ₐᵇdt∫₀∞dx log x sin(tx)
という積分順序の交換は、一般的な意味では保証されません。
理由は、関数log x sin(tx)が無限区間で絶対可積分ではなく、フビニの定理を適用できないためです。
無限積分の順序交換では、絶対収束の確認や有限区間での近似、極限操作の順番を慎重に確認することが重要です。
コメント