∫[0,1](x^α-1)/log x dx（α≥0）は、特異点を含む形として有名な広義積分の一つであり、収束性と計算方法の両方に注意が必要な問題です。本記事ではこの積分の収束性と具体的な値の導出をわかりやすく整理します。
まず積分の特異性を確認する
この積分はx=1で分母log xが0となるため、見かけ上不定形になります。
またx=0側でも状況に応じて収束性の確認が必要な形です。
そのため広義積分として極限を用いて定義する必要があります。
収束性の基本的な考え方
x→1の近くではlog x ≈ x−1が成り立ちます。
そのため分子x^α−1と相殺され、極限は有限値に収束します。
またα≥0の条件下ではx→0でもx^αは有界または0へ収束するため全体として収束します。
パラメータ積分としての重要な変形
この積分は次の関係を用いることで評価できます。
∫₀¹ (x^α−1)/log x dx = ∫₀^α ∫₀¹ x^t dt dx の形に変形可能です。
これは積分と微分の交換を利用した典型的なテクニックです。
積分と微分の交換による評価
F(α)=∫₀¹ x^α dx とおくと F(α)=1/(α+1) となります。
このとき与式は∫₀^α F(t) dt の形に帰着できます。
したがって積分はログ関数の性質を利用して明確に評価可能です。
最終的な値の導出
計算を整理すると、∫₀¹ (x^α−1)/log x dx = log(α+1) となります。
この結果はパラメータ積分の基本公式として非常に重要です。
特にα=0では値が0になることも確認できます。
まとめ
本積分は特異点を含みますが広義積分として収束します。
またパラメータ積分の手法を用いることでlog(α+1)という簡潔な形に評価できます。
微分と積分の交換という基本技法の典型例として重要な問題です。
コメント