Dr. Said ATTAOUI/PhD.

Thesis in Applied Mathematics

Problem. Prove
∞
x2 cosh(x)
Z
dx = 3ζ(2).
0 sinh2 (x)
Solution. We have
Z ∞ ∞ Z ∞ 2 −x
x2 cosh(x) x2 (ex + e−x ) x e (1 + e−2x )
Z
dx = 2 dx = 2 dx
0 sinh2 (x) 0 (ex − e−x )2 0 (1 − e−2x )2
∞ Z ∞
x2 e−x x2 e−3x
Z
= 2 dx + 2 dx
0 (1 − e−2x )2 0 (1 − e−2x )2
∞
1 X
Now, using the expansion series 2
= ny n−1 , we obtain
(1 − y) n=0
∞
Z ∞ 2 Z ∞ ! Z ∞ ∞
!
x cosh(x) X X
2 dx = 2 x2 e−x ne−2(n−1)x dx + 2 x2 e−3x ne−2(n−1)x dx
0 sinh (x) 0 n=0 0 n=0
X∞  Z ∞  ∞
X Z ∞ 
2 −(2n−1)x 2 −(2n+1)x
= 2 n xe dx + 2 n xe dx
n=0 0 n=0 0
Z ∞
Γ(a + 1)
By the fact that for all a > 0, b > 0, xa e−bx dx = , we get
0 ba+1
∞ ∞ ∞
x2 cosh(x)
Z X Γ(3) X Γ(3)
2 dx = 2 n 3
+2 n
0 sinh (x) n=0
(2n − 1) n=0
(2n + 1)3
∞ ∞
X n X n
= 4 3
+4
n=0
(2n − 1) n=0
(2n + 1)3
∞ ∞
X n X n
= 4 + 4
n=1
(2n − 1)3 n=0
(2n + 1)3
∞ ∞
X n+1 X 1
= 4 3
+4
n=0
(2n + 1) n=0
(2n + 1)3
∞ ∞
X 2n + 1 X 1
= 4 3
=4
n=0
(2n + 1) n=0
(2n + 1)2
 
3
= 4 ζ(2) = 3ζ(2).
4