パラメータを含む広義積分を評価する際には、単純な数値計算だけでなく、パラメータ微分によって既知の特殊関数へ帰着する方法が有効です。本記事では、I(a,b)=∫₀∞[log(1+a²x²)-log(1+b²x²)]/[x(e^{2πx}-1)]dxについて、微分と積分の交換の正当化、級数展開の扱い、Γ関数やBarnes G関数との関係、さらに複素パラメータへの拡張について整理します。
積分 I(a,b) の収束性を確認する
まず、積分が通常の広義積分として成立していることを確認します。x→0では、対数関数の展開からlog(1+a²x²)=a²x²+O(x⁴)、log(1+b²x²)=b²x²+O(x⁴)となります。
したがって分子は(a²-b²)x²+O(x⁴)であり、分母はx(e^{2πx}-1)=2πx²+O(x³)です。そのため被積分関数はx=0付近で有限値を持ち、特異性による発散はありません。
一方、x→∞では分母にe^{2πx}という指数増加項が存在します。分子はlog(x²)程度の増加にとどまるため、被積分関数は指数的に減衰し、無限遠点でも絶対収束します。
パラメータ微分による評価方法
aについて形式的に微分すると、
∂I/∂a=∫₀∞2ax/((1+a²x²)(e^{2πx}-1))dx
という積分が得られます。この方法は非常に有効ですが、微分と積分の交換が正当であることを示す必要があります。
aを正の範囲[a₀,a₁]のようなコンパクト区間に制限すると、微分後の被積分関数はx→0ではO(1)、x→∞ではO(x^{-1}e^{-2πx})で評価できます。そのため可積分な優関数を構成でき、優収束定理によって積分と微分の交換が可能になります。
厳密には、x∈(0,1)とx∈(1,∞)に分割して評価すると分かりやすくなります。原点近傍ではテイラー展開による有界性を使い、無限遠では指数減衰を使うことで、局所的な評価を組み合わせて証明できます。
指数級数展開を利用した積分変形
分母部分について、
1/(e^{2πx}-1)=Σ_{n=1}∞e^{-2πnx}
という展開を利用する方法もあります。ただし、元の積分では対数差が含まれるため、項ごとの符号が一定ではなく、Tonelliの定理を直接適用することはできません。
この場合はFubiniの定理を利用するため、絶対可積分性を確認します。例えばパラメータ微分後の積分では、
|2ax/((1+a²x²)(e^{2πx}-1))|
を考えればよく、これは原点付近では定数程度、無限遠では指数減衰するため積分可能です。したがって級数との交換も正当化できます。
この操作によって指数関数積分やDigamma関数などの既知の特殊関数が現れ、さらに積分するとΓ関数やBarnes G関数へ接続できます。
Γ関数とBarnes G関数による閉形式への導出
パラメータ微分した積分は、Binetの第二公式やΓ関数の積分表示と関連します。特にΓ関数については、
log Γ(z)=∫₀∞((z-1)e^{-t}+(e^{-zt}-e^{-t})/(1-e^{-t}))dt/t
のような表示があり、今回の核1/(e^{2πx}-1)と非常によく似た構造を持っています。
適切な変数変換を行うことで、I(a,b)はΓ関数の対数やBarnes G関数の比として表現できます。Barnes G関数はΓ関数の積を連続化した特殊関数であり、二重ガンマ型の積分や正則化積に自然に現れます。
また積分定数については、I(a,a)=0という条件を利用できます。これはa=bの場合に元の被積分関数が完全に消えるため、復元時の定数決定条件として十分です。
ただし、パラメータ微分後に積分する場合、定数項が隠れる可能性があります。そのため、最後に必ず基準点であるI(a,a)=0を代入して正規化することが重要です。
複素パラメータへの解析接続
a,bを複素数へ拡張する場合には、log(1+a²x²)の枝選択が問題になります。主値対数を利用する場合、1+a²x²が負の実軸上を横切らない領域を考える必要があります。
xは正の実数を動くため、零点条件1+a²x²=0、つまりa=±i/xを避ける必要があります。したがってaの複素平面では虚軸上の特定領域が障害となります。
局所的には、これらの零点を避けた単連結領域内でlogの枝を固定すれば、I(a,b)は正則な二変数関数として解析接続できます。Γ関数やBarnes G関数による表現も同じ領域で解析的に延長できます。
まとめ：パラメータ微分と特殊関数を使った評価が有効
積分I(a,b)は原点と無限遠点の両方で収束しており、パラメータ微分による方法を正当化できます。微分と積分の交換では、パラメータをコンパクト区間に制限し、原点近傍と無限遠を分けて優収束定理を適用することが自然な証明になります。
また、指数級数展開を用いる場合はTonelliの定理ではなく、絶対可積分性を確認した上でFubiniの定理を利用するのが適切です。
最終的にはΓ関数やBarnes G関数による閉形式へ変換でき、積分定数はI(a,a)=0という自然な正規化条件によって決定できます。複素パラメータの場合も、対数の枝と零点を管理することで解析接続が可能になります。
コメント