Universidade de São Paulo

Instituto de Fı́sica
Fı́sica-Matemática II
Terceira Lista de Exercı́cios
Data de entrega: 20 de outubro de 2021
Prof. J. C. A. Barata

1) Demonstre que
r r
2 sen(z) 2 cos(z)
J1/2 (z) = e J−1/2 (z) = ,
π z 1/2 π z 1/2
que Z π
1
Jn (x) = cos(nθ − x sen(θ)) dθ , n = 0, 1, 2, . . . ,
π 0
que
∞
X
Jn (x + y) = Jm (x)Jn−m (y) , n = 0, 1, 2, . . . ,
m=−∞
e que
∞
X ∞
X
k
cos(x) = J0 (x) + 2 (−1) J2k (x) , sen(x) = 2 (−1)k+1 J2k−1 (x) .
k=1 k=1

2) Prove as identidades
√
Γ(3/2) (2n + 1)!! π (2n + 1)!!
Γ(n + 1 + 1/2) = = , n ∈ N, n ≥ 0 ,
2n 2 2n

Γ(n + 1 + 1/3) = 3−(n+1) (3n + 1)!!! Γ(1/3) , n ∈ N, n ≥ 0 ,

Γ(n + 2/3) = 3−n (3n − 1)!!! Γ(2/3) , n ∈ N, n ≥ 1 .

Usando o fato que Γ(z) = Γ(z), prove que para todo y ∈ R vale
π
|Γ(iy)|2 =
y senh(πy)

e que para todo y ∈ R vale   2

Γ 1 + iy  = π
 
.
 2  cosh(πy)
Mostre também que
πy
|Γ(1 + iy)|2 =
senh(πy)
para todo y ∈ R. Por fim, mostre que
Z ∞ Z 1   
0 −t 1
−γ = Γ (1) = e ln(t) dt = ln ln dt .
0 0 t

1
onde γ é a constante de Euler-Mascheroni.

3) Demonstre que, para 0 < Re(z) < 1, tem-se

π
1 ∞
tz−1 uz−1
Z Z Z
2
2z−1 π
2 (tan θ) dθ = dt = du = . (1)
0 0 (1 − t)z 0 1+u sen(πz)
Γ(z)Γ(1−z)
Sugestão: constate que cada uma das integrais acima é igual a B(z, 1 − z) = Γ(1)
, onde B é
a chamada função Beta.

4) Mostre que para x > 0 vale

Z 1   x−1
1
ln dt = Γ(x) .
0 t

5) Mostre que para x > 0 vale

Z ∞  
−tx 1
e dt = Γ 1 + .
0 x

6) Mostre que para todo α ≥ 0 vale

√
π Γ α2 + 12
Z π/2



α
senθ dθ =
. (2)
0 α Γ α2