■ζ(2)=π^2/6 (その2)

S={(x,y)| 0≦x≦1,0≦y≦1}

T={(u,v)| u+v≦π/2}

x=sinu/cosv,y=sinv/cosu 

===================================

 独立な変数x,yと別の独立な変数z,w間に,

x=x(u,v) u=u(x,y)

y=y(u,v) v=v(x,y)

の関係があり,xy平面上の領域Rとuv平面上の領域R’に1対1の対応があるとき,積分変数の変換公式

∫∫sf(x,y)dxdy=∫∫tf(x(u,v),y(u,v))|J|dudv

が成立する.

 ここで,変換係数Jは

J=∂(x,y)/∂(u,v)=|∂x/∂u,∂x/∂v|

|∂y/∂u,∂y/∂v|

で与えられ,ヤコビアンといいます.

===================================

∂x/∂u=cosu/cosv,∂x/∂v=-sinusinu/(cosv)^2

∂y/∂u=-sinusinv/(cosu)^2,∂y/∂v=cosv/cosu

J=1-(sinusinu)^2/(cosucosv)^2=1-x^2y^2

∫∫tdudv=∫∫s1/(1-x^2y^2)dxdy

π^2/8=∫∫tdudv=∫∫s1/(1-x^2y^2)dxdy=1/1^2+1/3^2+1/5^2+・・・=(1-2^2)ζ(2)

したがって、ζ(2)=π^2/6

===================================

∫∫s1/(1-x^2y^2)dxdy=∫∫s(1+x^2y^2+x^4y^4+・・・)dxdy

=∫[∫(1+x^2y^2+x^4y^4+・・・)dx]dy=∫(1+y^2/3+y^4/5+・・・)dy

=1/1^2+1/3^2+1/5^2+・・・=(1-2^2)ζ(2)

===================================