SOLUÇÕES1 PARA HW7

Γ(s)
im QN=1 s <1+n)
SteinePenShakarchi,
N→∞ N
=1(1/n-γ)s Capítulo 6
limN→∞ Q n s(n + s)n-1 N
=1

eExercício N P
(lim N →∞ P n =1 1/n-lim N→∞ 1/n+log(
N

1. Seja γ = lim N→∞ P n

n =1 N
N
))s
- log(N) denotam a constante de Euler-Mascheroni. Lembre-se que pelo Teorema
1
=1 n
s(s + 1) · · · (s + N) im
N1.7
i→m e pelo
∞ Teorema
elog(N)sNda! Fatoração de Hadamard, temos

∞
se γs Y
1 + s n e-s/n

N
se lim Y 1 + s
γs e-s/n

N→∞ n
n=1
N
s^1+ lim
s n

N→∞ es/n-γs

s(s + 1) · · · (s + N) lim
N→∞ N N! s

Invertendo quando s 6= 0, -1, -2, . . . dá o resultado.

Exercício 2. Que a e b sejam positivos. Uma vez que o produto infinito para 1/Γ(s) converge uniformemente, podemos
reorganizar os termos para obter

Γ(a+1)Γ(b+1) A + B+ 1 -γ YN (1 + (a + b+ 1)/n) 1

e li m e
Γ(a + b + 1) (a+1) (b+1) N → ∞ n= 1 (1+(a+1)/n)(1+(b+1)/n)

a + b + 1 e-γ lim Y (n + 1)(n + a + b + 1) n e 1/n (a + 1)(b + 1) N→∞ (n + a + 1) (n + b + 1)

n+1

N lim N lim
Y Y
→∞ →∞
n n(n + a + b)(n +
n=1 lim e-γ
e1/n · n=1
+1 N→∞ a)(n + b)

1
2 SOLUÇÕES PARA HW7

lim 1 e (N) · lim Y N n(n+a+b)

log

N→∞ N + 1 N→∞ (n + a) (n + b)
n(n + a + b)(n. + a)(n + b)

∞
Y

n=1
 SOLUÇÕES PARA HW7 3

Note que a relação acima realmente vale para a, b > -1, desde que a + b 6= -1. Suponha agora que 0 < s < 1 e defina
a = s, b = -s. Usando a fórmula do produto para o pecado(πs), obtemos
sΓ(s)Γ(1 s) Γ(s + 1)Γ(1 s)
Γ(s + 1)Γ(1 s)
Γ(1)
n 2

(n + s) (n s)

pecado(πs) .
Por continuação analítica, isso vale para todos os s ∈ C.

Exercício 3. Manipulando a fórmula de Wallis, obtemos

π 2·2 4·4

2 1·3 3·5
= l im
Yn 2k · 2k
n→ ∞ (2k - 1) ( 2k+ 1)

=
4 ln(im!) Q(2n + 1) = im --------------------
n 2

n → ∞ k =0(2k + 1)
n 2

m
4 n( !) (2n + 1) n 2

n→ ∞ ((2n + 1)!) 2 (n!) 2-2N -algarismo

= l im
2 (n!) (2n
4n
+ 4
1)
n→ ∞ ((2n + 1)!) . 2

Tomar raízes quadradas produz o resultado.

Para comprovar a fórmula de duplicação, utilizamos o Exercício 1 (observe como devemos manipular as variáveis
no limite):
B(α,β) = 1(1-t) tα-1 β-1

0 Dt.

Γ(s)Γ(s + 1/2) n 2s+1/2(n!)2

m
n→ ∞ s(s + 1) · · · (s + n)(s + 1/2)(s + 3/2) · · · ( s + 1/2 + n)
n 2s+1/2(n!)222n+2
=
Lim
n→∞ (2s)(2s + 1)···(2s+2n)(2s+2n+1)

. Im (2+12(2+1 • im 22 ( « )241/
= n→∞ (2s)(2s + 1) · · · (2s + 2n)(2s + 2n + 1) n→∞ 2n + 1
• lim 22n(n!) 2 (2n + 1)1/2
n→∞ (2n + 1)!
√
Γ(2s)22 2-2s-1/2 π2-1/2

Γ(2s)√π21-2s.
=

Exercício 7. Para <(α) > =0, <(β) > 0, definimos a função Beta por
4 SOLUÇÕES PARA HW7

(a) Seguindo a dica, temos

∞ ∞
tα-1 s β-1 e-t-s
Γ(α)Γ(β) = 00 DTDS
.

Definindo s = seu, t = u(1 - r), temos u = s + t, r = . Portanto, como (s, t) varia sobre (0, ∞) × (0, ∞), (u, r) variará
s
s+ t

sobre (0, ∞) × (0, 1). O Jacobiano dessa transformação é

∂(t, s) -r -u
det det = |u|.
∂(u, r)

Portanto, temos

∞ ∞
tα-1 s β-1 e-t-s
Γ(α)Γ(β) 00 DTD
S
∞1
U α-1(1 - R)α-1 U β-1 Rβ-1 E-U UDRDU
00
Z0

Γ(α + β)B(α, β). α-1rβ-1

u α+β-1e-u
Du

(b) Definindo u = 1 t - 1, obtemos t = u+1 1 e 1 - t = u+u 1 . Assim, como t varia de 0 a 1, u varia de ∞ a 0. Temos

du = - dt = -(u + 1)2 dt,t

2

o que implica

B(α, β) = Z (1 - t) α-1 t
β-1 dt
0
α-1 β-1
(u + 1) du
-2

∞ uα-1
= Du.
0 (u + 1) α+β
 SOLUÇÕES PARA HW7 5

Exercício 8. Seja ν > - 12 , e x > 0. Expandimos a função de Bessel usando a série de Taylor para a fórmula exponencial
e de duplicação para a função Gama:

Z 1 eixt(1 - t2)ν-1/2 dt
(x/2) ν

J ν(x) = Γ(ν + 1/2)√π 1∞

II
J 1 (ixt) (1 - t 2)n ν-1/2
dt
(x/2) ν

(x/2) ν X (ix)n Z∞

tn(1 - t 2)ν-1/2 dt
Γ(ν + 1/2) π n! -
n=0

(x/2) ν

Γ(ν + 1/2) π
1
+X (inx!)n n ímpar
tn(1 - t 2)ν-1/2 dt

(x/2) ν (-1) x 2m 2Z 1 t (1-t 2)ν-1/2dt

m 2m

2 n=2m, m=0
(2m)! 0
Γ(ν + 1/2) π
∞
m 2m 1
(x/2) ν
X (-1) x u m-1/2( 1 - u)ν-1/2 du
Γ(ν + 1/2) π m=0 (2m)! 0
∞
m 2m
X (-1) x
(x/2) ν B(m+1/2,ν+1/2)
Γ(2m + 1) =
Γ(ν + 1/2) π
ν∞
(-1) x
m 2m
Γ(m + 1/2)
Γ(m + ν + 1) Γ(2m + 1) π
m
ν X∞ (-1) mx
4

=0 Γ(m+1)Γ(m+ν+1).

II (ix)n Z 1 t n(1 - t2)ν-1/2 dt n par -1

6 SOLUÇÕES PARA HW7

Exercício 13. Vamos > 0. Uma vez que o(s) Γ(s) ∈ R para s ∈ R, e é diferente de zero para s > 0, podemos usar a
expansão do produto para obter
∞
-1
Γ(s) S-1 E-γs es/n

log(Γ(s)) - log(s) -γs - Xlog ( 1 + n s + ns

n=1

d log(Γ(s))ds 1 ∞
1/n 1
-γ- +
s 1 + s/n n
n=1
∞
X1
γ-
d 2 log(Γ(s))ds n+s n=1
2 ∞
1 X
+ 1
s2

(n + s)
algarismo

∞
X 1
n=0 (n + s) . 2

Agora, a série ∞ III

n =0 (n+ s)2 converge para todos os s ∈ C r {0, -1, -2, . . . }. Desde
d2 log(T(s)) d ( T(s) N ( T(s) N
DS 2
DS Γ(s) Γ(s)
Para s > 0, isso mostra que
1
/ T'(s) N = 'X
=
Γ(s) n =0 (n +s) 2

para s ∈ C r {0, -1, -2, . . . }.

Problema 1. (a) Usando a Proposição 2.5 e o Corolário 2.6, obtemos

∞

ζ(s) + δn(s)
X

1 s-1 n=1
N-1 ∞
+ δn(s) + δn(s)
1 s-1 n=1 n=N

N-1
+X1
n s

1 s-1
N-1 ∞
+X 1 x-s+1 + X δn(s)
1 s-1 -S+ 1 n=N
n s

N-1 ∞
N1-s s-
1 +X n 1s + X δn(s).n=1 n=N

Note que há um erro de impressão na afirmação do problema no livro

didático.
IIIN∞
dx
+ X δn(s)
1 xs
n=N
 SOLUÇÕES PARA HW7 7

(b) Avaliamos o acima em 1 + ele, e deixamos N = b|t|c. Usamos os limites de δn(s) dados na Proposição 2.5 e
comparamos com as integrais para obter

Y — Ele N-1
1 •o
|ζ(1+it)| ≤ , +2 +216. (1+ ele)|
ela — n1+a —
n=1 n=N
N-1 ∞
1 +X 1 +|1+it|X 1
n n2

|t| n=1 n=N

Ndx
+1+Z +√1+t Z dx
2 ∞

1x N-1 x2
1
|t|
+ 1 +log(N) + N 1-+1t2 N-1
1
|t|

O último termo se aproxima de 1 como |t| tende ao infinito e, portanto, é limitado por constante (chame-lhe M )
para todo t. Assim, para |t| ≥ e, obtemos

|ζ(1+it)| ≤2+M+log(b|t|c) ≤ (3 + M) log(|t|) ,

que mostra |ζ(1 + ele)| = O(log(|t|)).

(c) Queremos proceder de forma semelhante à parte (b). Para fazer isso, precisamos de limites em δ (s). Temos n
0

Z n+1 log(n) δ n log(x) x

0 (s) = n - n s +
s

Dx
.

Usando o teorema fundamental do cálculo, temos (assumindo |s| ≥ 1 e n ≤ x ≤ n + 1)

log(x) log(n) ≤x 1 s log(y) |s| log(x) + 1 4|s| log(n)

n - dy ≤ n<(s)+1 (x - n) ≤ n<(s)+1
x s
n s
ys+1 ys+1

e, portanto,

0 4|s| log(n)
|δn(s)| ≤ n<(s)+1 .

Note que isso só é válido para n ≥ 2.

Tomando a derivada da relação na parte (a) dá-se
8 SOLUÇÕES PARA HW7

N1-s Log N-1

(n) ∞

ζ (s) =
0
- log(N)N 1-s s-1 (s-1) 2 + -
ns + δ (s).
X
n
0

n=1
n=N
 SOLUÇÕES PARA HW7 9

Nós levamos |t| suficientemente grande para garantir que os integrandos que consideramos estão diminuindo (em
particular |t| ≥ e obras). Mais uma vez comparando com o integral, temos
2

N-it N-1 ∞
- log(N)N -it
log(n)
|ζ (1+it)| ≤
0
+X n=1 + |δn (1 + ele)| n=N
X 0

(ele) 2
n1+it

log(N) 1 N X-1
log(n) t 2 X log(n) n2
∞

|t| + n
2 +4 1+ n=N
|t| n=1

log(N) 1 log(2) Z log(x) +|t| +

N 2
2 +
dx + 4√1 + t 2 ∞ log(x)
N-1 x2
Dx
2 x
|t|
1 log(2) Z log(x) +|t| +
N 2
2 +

log(N) Dx
2 x
|t|
∞ ∞
log(x) De
+4 1 + t 2

x N-1 1
N-1

log(N) 1 log(2) log(N) 2 x 2

log(2) 2

+ 2+ + -
|t| |t| 2 2 2
+4√1 + t2 1
N-1
N-

Agora, o termo

log(N) 1 log(2) log(2) 2

4√1 + t 2

+ 2+ - +
|t| |t| 2 2 N-1

tende a um limite finito como |t| tende ao infinito e, portanto, é limitado por M1 para todos |t| ≥ e . Da mesma forma, o 2

termo IV

IV 1 + t 2

N-1

é delimitada por M . Portanto, desde |t| ≥ e , obtemos

2
2

|ζ0(1 + it)| ≤ M 1 + M 2 + 12 log( |t|) 2º,

e obtemos |ζ (1 + ele)| = O(log(|t|) ).

0 2
10 SOLUÇÕES PARA HW7

Problema 2. Primeiro, assuma <(s) > 1 e deixe bxc denotar o maior inteiro menor que x. Temos

N
n+1
∞
bxc XZ =n n
s
s+1 Dx lim s Dx
1x N→∞ xs+1

N lim n+1

sn
n
N→∞
n
limN→ ns-1
∞ (n+ 1) s

N lim
X
N→∞ = n+1 1
+

ns-1 (n+1) s
(n+ 1) s

1 XN 1
lim 1 - N→∞
(N+1) + 1(n+1) s-1
n=
s

2 n=1 1
1 + lim
N→∞ (n+ 1) s

ζ(s).

Agora vamos {x} = x - bxc, e continue a assumir <(s) > 1. Isso dá

∞
∞
{x} d
s Dx s 1 x x s - ζ(s)
1 xS+1
s 11
- ζ(s)
\ XS-1

1-s s
- ζ (s).
s-

Desde |{x}| ≤ 1, a integral s R 1 s

∞
x
{ x }
+ 1 dx realmente converge para <( ) > 0, e o resultado então se mantém por
s

continuação analítica.

Problema 3. Seja Q(x) = {x} - 12 , de modo que

s1 ∞
Q(x)
ζ(s) = s-1 - 2 -s 1 xs+1 Dx
 SOLUÇÕES PARA HW7 11

e definir os polinômios Qk (x) recursivamente como no livro didático. Como são periódicos, temos |Q k (x)| ≤ Mk para
todos x ∈ R. Suponha primeiro que <(s) > 0. Integrando por partes, obtemos
s 1 d ∞ k

ζ(s) s-1-2-s 1 dx k Qk (x) dx x-s-1

s
- - 1 - s Q 1(0) + (s + 1) K-1 Qk (x) x-s-2 dx
s-1 2 1 DX K-1

= - - -
s Q 1(0) + (s + ) Q 2 (0) + (s + ) Z
1 2

dk k-2 Q (x) x-s-3 dx

k

s-1 2 1 DX K-2

...
=
s 1 mil

s -1-2- Q n(0)s(s + 1)(s + 2) · · · (s + - 1) n

=
n=1

= - s(s + 1)(s + 2) · · · (s + k) Q k(x) x-s-k-1

dx.

Desde |Q k (x)| ≤ M k, a integral na última linha realmente converge para <(s) > -k, o que dá a continuação analítica
para ζ(s) para <(s) > -k.