広義積分では、積分区間が無限に広がる場合や、関数が無限大付近で扱いにくい場合に、収束するか発散するかを判断する必要があります。特に、cosのような振動する関数を含む積分では、単純に被積分関数の大きさだけを見ると判断を誤ることがあります。
今回は、広義積分∫₀∞log x cos(x²log x)dxについて、どのような考え方で収束・発散を判定するのかを解説します。振動による打ち消し合いと、変数変換を利用した解析がポイントになります。
問題の積分と収束判定の考え方
考える積分は次のものです。
I＝∫₀∞log x cos(x²log x)dx
広義積分では、区間が0から∞まであるため、特にx→∞での挙動を調べる必要があります。また、x→0付近でもlog xが発散するため、両端について確認します。
まず、cos(x²log x)は常に-1から1の間で振動するため、積分の収束性はlog xの増加と振動の速さの関係によって決まります。
x→0での収束性を確認する
xが0に近づくと、log xは−∞へ発散します。しかし、積分ではlog xだけでなく、区間の幅も影響します。
0から1までの部分を考えると、絶対値について
|log x cos(x²log x)|≦|log x|
が成り立ちます。したがって、比較する積分として
∫₀¹|log x|dx
を考えます。この積分は有限値になります。
実際に∫₀¹−log x dx＝1であるため、x=0付近では絶対収束します。したがって、積分の問題は主にx→∞での挙動になります。
x→∞での振動の速さを見る
xが大きくなると、位相部分であるx²log xは急速に増加します。ここで重要なのは、cosの中身が単調に大きく変化し、振動の周期が短くなることです。
位相を
φ(x)=x²log x
と置くと、その微分は
φ'(x)=2xlog x+x=x(2log x+1)
となります。
xが大きくなるほどφ'(x)は増加するため、cos(φ(x))の振動はどんどん細かくなります。このような高速振動によって、正負の値が互いに打ち消し合う効果が生まれます。
変数変換による解析
x→∞での性質を調べるため、位相を変数に取る変換を考えます。
t=x²log x
とおくと、tはx→∞で∞へ向かい、十分大きな範囲では単調増加します。
微分すると
dt/dx=x(2log x+1)
なので、
dx=dt/[x(2log x+1)]
となります。
元の積分は形式的に
∫log x cos(t)・dt/[x(2log x+1)]
となります。
ここで係数部分を見ると、
log x/[x(2log x+1)]
はx→∞でおよそ1/(2x)のように減少します。つまり、振動するcos(t)に対して、振幅が徐々に小さくなる形になります。
ディリクレの判定法による収束
振動積分では、ディリクレの判定法がよく利用されます。これは、振動する関数と、その前に掛かる係数が適切に減少する場合に収束するという考え方です。
今回の場合、cos(x²log x)は高速に振動し、係数となるlog xの影響は変数変換後には十分小さくなるため、無限区間での積分は収束します。
ただし、絶対値を取った積分
∫₁∞|log x cos(x²log x)|dx
については、cosの絶対値による平均的な値が残るため、単純な減衰では抑えきれず、絶対収束ではありません。
つまり、この積分は絶対収束ではなく、振動によって収束する条件収束になります。
具体的なイメージで理解する振動積分
振動積分は、波の面積を足し合わせるようなものです。例えば、正の部分だけを見ると大きな値が残りそうでも、その直後に負の部分が現れることで全体として打ち消し合います。
今回の積分でも、xが大きくなるほどcosの周期が短くなるため、小さな正負の面積が多数発生し、結果として有限の値に近づきます。
一方で、振動を無視してlog xだけを見ると増加しているため、発散しそうに感じます。しかし、振動の速さが十分大きいことが収束をもたらしています。
まとめ｜∫₀∞log x cos(x²log x)dxは条件収束する
広義積分∫₀∞log x cos(x²log x)dxについては、x=0付近では絶対収束し、x→∞ではcos(x²log x)の高速振動による打ち消し効果によって収束します。
ただし、絶対値を付けた積分は発散するため、絶対収束ではありません。
したがって、この広義積分は条件収束すると判定できます。振動を含む積分では、関数の大きさだけではなく、振動の速さと振幅の減少を合わせて考えることが重要です。
コメント