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

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

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

x=u^2・(1+v^2)/(1+u^2),y=v^2・(1+u^2)/(1+v^2)と変数変換する。

このとき、ヤコビアンは

∂x/∂u=-2u・(1+v^2)/(1+u^2)^2,∂x/∂v=2v(u^2)/(1+u^2)

∂y/∂u=2u(v^2)/(1+v^2),∂y/∂v=-2v・(1+u^2)/(1+v^2)^2

J=4uv/(1+u^2)(1+v^2)-4uv・u^2v^2/(1+u^2)(1+v^2)=4uv(1-u^2v^2)/(1+u^2)(1+v^2)

xy=u^2v^2,uv=(xy)^1/2

J=4(xy)^1/2(1-xy)/(1+u^2)(1+v^2)

I=∫∫dxdy/(1-xy)√xyとおくと

I=4∫∫dudv/(1+u^2)(1+v^2)

u→s=1/u,v→t=1/v

ds=-1/u^2du,dt=-1/v^2dt

I=4∫∫u^2v^2dsdt/(1+u^2)(1+v^2)=2∫∫(0,∞)dsdt/(1+s^2)(1+t^2)

∫(0,∞)ds/(1+s^2)=π/2より

I=π^2/2

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

  I=∫(0,1)∫(0,1)1/(1−xy)dxdy/√xy

=∫∫(1+xy+x^2y^2+・・・)/√xydxdy

=∫∫(1/x^1/2y^1/2+x^1/2y^1/2+x^3/2y^3/2+・・・)dxdy

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

=∫(2/y^1/2+2/3y^1/2+2/5y^3/2+・・・)dy

=4+(2/3)^2+(2/5)^2+・・・

=4{1+1/3^2+1/5^2+・・・}=π^2/2=3ζ(2)

ζ(2)=π^2/6

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