log2(−1)=(πi)2=−π2.
だから −πilog2(−1)=−πi(πi)2=π3i で合っています.
【補足】
π3i で合っているとすると I=∫01x2−1logxdx=−8π2.
つまり,被積分関数は正値のみとるのに I<0 となって不合理です.
要するに記事には間違いがあります.
積分経路のとり方が問題で,正しくは写真のように極 z=1 を小円弧で迂回しないといけません.
極 z=1 を扱うにも logz の多価性を考慮しないといけません.
f(z)=log2(z)/(z2−1) は argz∈[0,2π) に分岐をとると z=1 で可除特異点ですが,argz∈[2π,4π) に分岐をとると z=1 で留数 −2π3 の真の極です.
C3 の方は極 z=1 が上述のとおり可除特異点なので寄与 0.
C7 の方は極 z=1 が真の極なので下側に迂回した寄与は −iπResz=1=2π3i.
したがって,
∫Cf(z)dz=4π2∫0∞x2−1dx−4πi∫0∞x2−1logxdx+2π3i.
この積分値は 2πiResz=−1=π3i に等しいので虚部を比較して
∫0∞x2−1logx=4π2.
これで正しく求まります.
記事の間違いで困惑したかもしれませんが,普通に計算して π3i でOkです.