■18世紀における微積分(その78)
【1】有理関数の積分
φ(x)=∫dx/(1+x^2)
1+x^2=1+(tanθ)^2
dx=dθ/(cosθ)^2
φ(x)=∫dx/(1+x^2)=∫dθ=θ+C=arctanx+C
===================================
∫(0,1)dx/(1+x^2)=∫dθ=θ=arctanx|=π/4
∫(0,∞)dx/(1+x^2)=∫dθ=θ=arctanx|=π/2
===================================
ここでは
φ(x)=∫dx/(1+x^4)
を取り上げてみたい。
(1+x^4)=(x^2+2^1/2x+1)(x^2-2^1/2x+1)より
1/(1+x^4)=1/2^3/2・{(x+2^1/2)/(x^2+2^1/2x+1)-(x-2^1/2)/(x^2-2^1/2x+1)}
=1/2^3/2・{1/2・(2x+2^1/2)/(x^2+2^1/2x+1)-2^1/2/{(2^1/2x+1)^2+1}
-1/2^3/2・{1/2・(2x-2^1/2)/(x^2-2^1/2x+1)-2^1/2/{(2^1/2x-1)^2+1}
したがって、
φ(x)=1/4√2・log(x^2+2^1/2x+1)/(x^2-2^1/2x+1)+1/4√2・{arctan(√2x+1)+arctan(√2x-1)}
===================================
(1+x^4)=(x^2+2^1/2x+1)(x^2-2^1/2x+1)をさらに因数分解して、複素数の世界まで広げると
(1+x^4)=(x-α)(x-α~)(x+α)(x+α~),α=(1+i)/√2
1/(1+x^4)=A/(x-α)+B/(x-α~)+C/(x+α)+D/(x+α~)
という形に表示することもできる
===================================