NC Cap07

Captulo 7
A Fun
c
ao Gama de Euler
Conte
udo
7.1
7.2
7.3
7.4
7.5
7.6
7.7
Introdu
c
ao e Motiva
c
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A Fun
c
ao Gama. Defini
c
ao e Primeiras Propriedades . . . . . . . . . . . . . . . . . . . .
Outras Representa
c
oes para a Fun
c
ao Gama . . . . . . . . . . . . . . . . . . . . . . . . .
A Fun
c
ao Beta e Propriedades Adicionais da Fun
c
ao Gama . . . . . . . . . . . . . . . .
7.4.1 A F
ormula de Reflex
ao de Euler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.4.2 A F
ormula de Duplicac
ao de Legendre . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teoremas Sobre a Unicidade da Fun
c
ao Gama e Outros Resultados . . . . . . . . . . .
7.5.1 O Teorema de Bohr-Mollerup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5.2 F
ormulas de Duplicac
ao e Unicidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5.3 O Teorema de Wielandt e Algumas de Suas Conseq
uencias . . . . . . . . . . . . . . . . . .
7.5.3.1 A F
ormula de Multiplicac
ao de Gauss da Func
ao Gama . . . . . . . . . . . . . . . .
A Aproxima
c
ao de Stirling e suas Corre
c
oes . . . . . . . . . . . . . . . . . . . . . . . . .
7.6.1 A Aproximac
ao de Stirling para Fatoriais e suas Correc
oes. A Serie de Gudermann . . . .
7.6.2 A Aproximac
ao de Stirling para a Func
ao Gama e suas Correc
oes. A Serie de Gudermann
Exerccios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
271
273
278
282
. 283
. 287
288
. 288
. 290
. 291
. 292
294
. 296
. 302
306
presente captulo e dedicado `

a chamada func
ao gama de Euler1 , ou simplesmente func
ao gama, denotada por
(z), com z sendo uma variavel complexa. A funcao gama freq
uentemente aparece na resolucao de equacoes
diferenciais ordin
arias pelo metodo de expansao em series de potencias ou pelo metodo de Frobenius (como no
caso da equacao de Bessel e da equacao hipergeometrica. Vide Secao 13.2.3, p
agina 600 e Secao 13.2.7, p
agina
615), assim como em varias
areas da Fsica e da Matem
atica. Na Mecanica Qu
antica n
ao-relativstica, por exemplo, a
funcao gama surge em diversos problemas, como no c
omputo de amplitudes de espalhamento para o espalhamento de
Coulomb (vide e.g., [147], [172], [76] ou [100]). Na Teoria Qu
antica de Campos Relativstica, propriedades da funcao
gama sao relevantes no chamado metodo de regularizacao dimensional. A funcao gama de Euler desempenha tambem
um papel em Analise, por representar uma especie de generalizacao contnua do fatorial de n
umeros naturais, como sera
precisado adiante, sendo possuidora de muitas propriedades interessantes. Seu estudo e tambem, pelo mesmo motivo,
um
otimo laboratorio para estudantes interessados em fixar seu aprendizado da teoria das funcoes de variavel complexa.
A funcao gama de Euler e relevante, por exemplo, no estudo de propriedades da funcao zeta de Riemann, de import
ancia
na Teoria de N
umeros.
Para outros tratamentos, por vezes mais extensos, dessa funcao e suas aplicacoes, recomendamos [12], [201], [111],
[153], [260], ou ainda [152]. Ainda que nem todos esses textos primem por escolher as demonstracoes mais simples para
seus resultados, vale a pena o estudante inteirar-se de abordagens diversas. A referencia [201] contem diversas notas
historicas interessantes sobre a funcao gama de Euler2 . A referencia [260] lista diversas identidades envolvendo que
n
ao serao tratadas aqui.
7.1
Introduc
ao e Motivac
ao
A funcao gama de Euler foi inicialmente concebida por esse autor como uma generalizacao contnua do fatorial de n
umeros
naturais: n!, n N, definido como o produto n! = n(n 1) 1. A ideia que Euler perseguiu foi a de encontrar uma
funcao G que satisfizesse G(1) = 1 e satisfizesse a equacao funcional G(x + 1) = xG(x) para todo x real positivo. Com
1 Leonhard
2 Vide
Euler (17071783).
tamb
em a nota-de-rodap
e 3, p
agina 272.
271
JCABarata. Curso de Fsica-Matem

atica
Captulo 7
Vers
ao de 4 de dezembro de 2013.
272/2078
essas duas propriedades e elementar demonstrar (faca-o!) que G(n + 1) = n! para todo n N. Apos diversas tentativas,
Euler concluiu (em 1729)3 que a funcao (x), x > 0, definida por
1
x m=1
(x) :=
1+
1
m
1+
x
m
(7.1)
satisfazia as condicoes desejadas acima listadas. De fato, e claro por (7.1) que (1) = 1 e tem-se formalmente
(x + 1) =
1
x + 1 m=1
1+
1
m
x+1
1+
x
x+1
x+1
m
m=1
1
x m=1
m+1 m+x
m m+1+x
1+
1
m
1+
x
m
= x(x)
= x+1
(verifique!). Euler estudou diversas propriedades da funcao definida por (7.1), que posteriormente passou a ser chamada
func
ao gama de Euler, ou simplesmente func
ao gama. Uma dessas propriedades identificadas por Euler foi o fato que
(x) pode ser escrita na forma de uma simples integral:
(x) =
et tx1 dt .
(7.2)
Que a funcao definida pelo lado direito de (7.2) vale 1 quando x = 1 e elementar de se provar (faca-o!) e, usando-se que
d t
e e integracao por partes, constata-se facilmente tambem a validade da relacao funcional (x + 1) = x(x)
et = dt
para todo x > 0:
(x + 1) =
0
et tx dt = et tx
+x
et tx1 dt = x(x) .
=0
Por diversas raz

oes n
ao e conveniente seguirmos os passos historicos de Euler e iniciarmos nosso tratamento da funcao
gama definindo-a por (7.1). Na literatura moderna h
a dois procedimentos mais comuns: definir-se por (7.2) e depois
obter-se (7.1) como uma propriedade derivada ou definir-se a partir de uma outra expressao, a chamada representac
ao
produto de Weierstrass, a qual encontraremos `
a p
agina 280 (eq. (7.27)).
Nestas notas optamos pelo primeiro procedimento4 e optamos tambem por apresentar a funcao gama de Euler ja de
incio como uma funcao de variavel complexa, pois varias de suas propriedades mais profundas sao melhor compreendidas
com esse tipo de tratamento.
Alem do estudo das propriedades da funcao gama de Euler h
a uma quest
ao que ir
a especialmente nos interessar e
que sera discutida na Secao 7.5, p
agina 288. Trata-se da quest
ao da unicidade: sera a funcao definida em (7.2) a u
nica
funcao satisfazendo G(1) = 1 e a equacao funcional G(x + 1) = xG(x)? A resposta e claramente n
ao, pois se P e
uma funcao periodica de perodo 1 satisfazendo P (1) = 1 (por exemplo, P (x) = cos(2x) ou P (x) = e sen (2x) ), ent
ao
G(x) := P (x)(x) tambem satisfaz ambas as relacoes5 . Mas, ent
ao, que outras condicoes podem ser adicionadas de forma
a garantir-se que (x) definida em (7.2) e a u
nica solucao? H
a varias respostas a essa pergunta e a primeira resposta
(historicamente) e o conte
udo de um elegante teorema, denominado Teorema de Bohr-Mollerup, o qual sera apresentado
na Secao 7.5.1, p
agina 288. A quest
ao da unicidade e uma quest
ao interessante por si so, mas sua resposta tem conte
udo
pratico pois, como veremos, diversas propriedades da funcao gama de Euler podem ser obtidas a partir da verificacao de
condicoes de unicidade.
Um outro tema que nos ir
a interessar e o estudo de propriedades assint
oticas da funcao para valores grandes
de seu argumento. Essa quest
ao e importante por sua conex
ao com uma interessante e u
til aproximacao: a chamada
3 Euler foi antecedido em alguns dias por Daniel Bernoulli, o qual encontrou uma outra solu
ca
o equivalente. Para notas hist
oricas precisas
sobre o nascimento da funca
o gama de Euler e seus primeiros desenvolvimentos, vide Detlef Gronau Why is the gamma function so as it
is?, Teaching Mathematics and Computer Science, 1/1, 4353 (2003).
4 Para um texto que segue a segunda via, vide e.g. [201]. Em verdade, [201] define primeiramente (z) = 1/(z) que, por ser uma fun
ca
o
inteira,
e de tratamento mais simples.
5 Veremos que isso esgota as possibilidades: todas as fun
co
es que satisfazem G(1) = 1 e G(x + 1) = xG(x) s
ao da forma G(x) = P (x)(x)
com P peri
odica de perodo 1 satisfazendo P (1) = 1.

atica
Captulo 7
Vers
273/2078
aproximac
ao de Stirling para n! quando n e grande, utilizada na Teoria das Probabilidades e na Mecanica Estatstica.
Esse sera o assunto da Secao 7.6, p
agina 294.
Por fim, n
ao podemos deixar de mencionar uma das maiores utilidades praticas da funcao gama de Euler: o c
alculo
de certas integrais definidas, assunto que desenvolveremos especialmente em exerccios.
7.2
A Func
ao Gama. Definic
ao e Primeiras Propriedades
Alguma nota
c
ao
Neste captulo denotaremos por Cc o plano complexo sem o eixo real negativo e o zero:
Cc := C \ w C| Re (w) 0 e Im (w) = 0 .
Por C denotaremos o plano complexo sem os inteiros reais negativos e o zero:

C := C \ w C| Re (w) N0 e Im (w) = 0 .
Definindo a fun
c
ao gama de Euler
A funcao , pode ser definida em todo plano complexo (exceto, como veremos, no conjunto dos inteiros n
ao-positivos,
onde possui p
olos simples). No semiplano Re (z) > 0, (z) e definida por
(z) :=
et tz1 dt .
(7.3)
A seguinte proposicao contem informacoes relevantes sobre (7.3) e sobre a estrutura analtica de :
Proposi
c
ao 7.1 A integral em (7.3) converge absolutamente para todo z C com Re (z) > 0. A func
ao definida
por (7.3) e analtica no semiplano Re (z) > 0 e pode ser analiticamente estendida a todo C, exceto para os pontos
v
z = 0, 1, 2 . . ., os inteiros n
ao-positivos, que s
ao p
olos simples de . E
alida a chamada representacao de MittagLeffler da funcao , ou representacao em soma de fracoes parciais da funcao :
(z) =
(1)n 1
+
n! z + n
n=0
et tz1 dt ,
(7.4)
sendo que a integral no lado direito e analtica para todo z C e soma no lado direito converge uniformemente em
regi
oes finitas de C que excluam os inteiros n
ao-positivos e, portanto, representa uma func
ao analtica para todo z C,
n
para todo
exceto nos inteiros n
ao-positivos, onde possui p
olos simples. O resduo de em z = n e dado por (1)
n!
n = 0, 1, 2, . . ..
Prova. Para ver que a integral em (7.3) converge absolutamente para Re (z) > 0, escrevemos z = x + iy com x = Re (z),
y = Im (z) e escolhemos e tais que 0 < < x < < . Como |tz1 | = tx1 tem-se
et tz1 dt =
Agora, a integral
1 t 1
e t
dt
0
et tx1 dt =
et tx1 dt +
et tx1 dt
1
0
et t1 dt +
et t1 dt .
e finita, pois, para > 0

1
0
et t1 dt
t1 dt =
1
< ,
t 1
t
dt
1 e
enquanto que
e finita para qualquer R pois, devido ao rapido decaimento da exponencial, tem-se
lim et t1 = 0, para todo > 0, o que implica que existe constante C, > 0 tal que
t
t1 C, , et
(7.5)

atica
Captulo 7
Vers
274/2078
para todo t > 1. Assim, tomando 0 < < 1, vale
et t1 dt C,
e(1)t dt = C,
e(1)
< .
1
Isso prova que a integral em (7.3) converge absolutamente se Re (z) > 0.

Para provar que (z) e analtica no semiplano Re (z) > 0, comecamos observando que, para 0 < a < A < , a funcao
A
a, A (z) :=
et tz1 dt
e analtica na regiao Re (z) > 0. Isso se deve ao fato de ser possvel verificar a validade das relacoes de Cauchy-Riemann
para a, A (z), diferenciando-a sob o smbolo de integracao e usando o fato de que tz1 = e(z1) ln(t) e analtica em z para
t > 0. Que e possvel diferenciar sob o smbolo de integracao segue do fato de o integrando ser contnuo em t e a regiao
de integracao ser o intervalo compacto [a, A].
Uma vez estabelecido que a, A (z) e analtica em Re (z) > 0, podemos provar que A (z), definida por
A
A (z) := lim a, A (z) =

a0
et tz1 dt ,
(7.6)
e tambem analtica em Re (z) > 0. Para tal, tomemos z F, , onde F, C e a faixa definida por
F, := {z C| < Re (z) < } ,
com 0 < < < , ou seja, tomemos 0 < < Re (z) < . Ent
ao, para A > 0 fixo e 0 < a < a < 1,
a
|a, A (z) a , A (z)|
et tx1 dt
t1 dt =
(a ) a
,
que pode ser feito menor que qualquer > 0 dado, para todos a e a pequenos o suficiente. Dessa forma, o limite que
define A (z) em (7.6) e uniforme em F, , Assim, por ser o limite uniforme de funcoes analticas, A (z) e igualmente
analtica em F, (esse e um teorema bem-conhecido da teoria das funcoes de variavel complexa). Como e sao
arbitrarios (0 < < ), A (z) e analtica para todo o semiplano Re (z) > 0.
Para provar que
(z) = lim A (z)
(7.7)
e analtica para todo o semiplano Re (z) > 0 temos que provar que esse limite e uniforme nas faixas z F, e evocar
o mesmo teorema da teoria das funcoes de variavel complexa mencionado acima. Para provar a uniformidade do limite,
notemos que para 1 < A < B, tem-se, com 0 < < 1,
B
0
et tz1 dt
A
0
et tz1 dt
B
A
t1
et tx1 dt
et t1 dt
(7.5)
C,
=
e(1)t dt
C, (1)A
e
e(1)B , (7.8)
1
que pode ser feito menor que qualquer > 0 prescrito para todos A e B grandes o suficiente. Isso provou que o limite
em (7.7) e uniforme em cada faixa F, com 0 < < , mostrando que (z) e analtica em cada uma dessas faixas F,
e, portanto, em todo o semiplano Re (z) > 0.
Para provar que possui uma extensao analtica para a regiao Re (z) 0 (exceto, como mencionamos, os inteiros
n
ao-positivos), notamos que para Re (z) > 0 podemos escrever (7.3) trivialmente como
et tz1 dt +
(z) :=
0
et tz1 dt .

atica
Captulo 7
Vers
275/2078
Agora, a integral impr

opria I(z) := 1 et tz1 dt e analtica para todo z C, o que pode ser visto repetindo os
argumentos de convergencia uniforme de acima: para 1 < A < A < , escrevendo x = Re (z) e restringindo-nos
provisoriamente à regi
ao x < , para algum R, temos
A
1
et tz1 dt
et tz1 dt =
et tz1 dt
et tz1 dt
(7.8)
C,
e(1)A e(1)A
,
1
que, escolhendo-se 0 < < 1, pode ser feita menor que qualquer > 0 prescrito para todos A, A grandes o suficiente.
A
opria I(z),
Isso prova que o limite limA 1 et tz1 dt e uniforme na regiao Re (z) < , o que prova que a integral impr
sendo o limite uniforme de funcoes analticas em Re (z) < , e tambem analtica nessa regiao. Como R e arbitrario,
conclumos que a integral impr
opria I(z) e analtica em todo o plano complexo C.
Ja para a integral 1 (z) =
1
1 t z1
0 e t
1
et tz1 dt =
dt tem-se
(1)n n
t
n!
n=0
tz1 dt =
(1)n
n!
n=0
tn+z1 , dt =
(1)n 1
,
n! z + n
n=0
(a inversao da serie pela integral na segunda igualdade acima e justificada pois, como e bem sabido, a serie de Taylor
da funcao exponencial converge uniformemente em intervalos compactos, como o intervalo de integracao [0, 1]. Vide
Teorema 34.6, p
agina 1654). Dessa forma, obtemos a representac
ao de Mittag-Leffler6 da funcao , ou representac
ao em
soma de frac
oes parciais da func
ao :
(z) =
(1)n 1
+
n! z + n
n=0
et tz1 dt .
(7.9)
Como dissemos, a integral no lado direito de (7.9) e analtica para todo z C. Ja a soma no lado direito de (7.9)
converge uniformemente (devido ao n! no denominador) em regioes finitas de C que excluam os pontos 0, 1, 2, 3, . . .
e, portanto, representa uma funcao analtica para todo z C, exceto nos inteiros n
ao-positivos, como mencionado, onde
n
possui p
olos simples. Como se constata inspecionando (7.9), o resduo de em z = n e dado por (1)
para todo
n!
n = 0, 1, 2, 3, . . .. Isso completa a demonstracao.
Do exposto acima podemos facilmente concluir que para todo z C com Re (z) > 0 tem-se
(z) Re (z) .
De fato, (z) =
tRe (z)1 .
t z1
e t
0
dt
t Re (z)1
e t
0
(7.10)
dt = Re (z) , pois tz1 = tRe (z)1 eiIm (z) ln t e, portanto, tz1 =
O grafico de (x) para x real no intervalo (0, 5] pode ser visto na Figura 7.1, p
agina 276. A Figura 7.2, p
agina 277,
exibe o grafico de (x) para valores negativos de x, a saber, no intervalo (4, 0) .
A demonstracao acima da existencia da mencionada extensao de para argumentos com parte real negativa mostra
que essa extensao pode ser calculada por meio da representacao de Mittag-Leffler (7.9). Como veremos mais abaixo,
porem, h
a uma outra forma, talvez mais conveniente, de expressar essa extensao, a saber, com uso da chamada f
ormula
de reflex
ao (provada adiante):
,
(z)(1 z) =
sen (z)
valida para z n
ao-inteiro e que permite escrever
(z) =
,
z(z) sen (z)
(7.11)
com a qual, caso Re (z) > 0, a extensao de para argumentos com parte real negativa (lado esquerdo) pode ser calculada
em termos de (z) com Re (z) > 0 (no lado direito), dada concretamente pela integral (7.3).
Mais abaixo (vide (7.14)) apresentaremos outro argumento, talvez mais elementar, para provar que possui uma
extensao analtica para o semiplano Re (z) 0 (exceto os inteiros n
ao-positivos).
6 Magnus G
osta Mittag-Leffler (18461927). Para a definica
o geral da noca
o de s
erie de Mittag-Leffler, vide [201] ou [137]. Um outro
exemplo da s
erie de Mittag-Leffler
e a representaca
o de Euler da funca
o cotangente, express
ao (6.28), p
agina 269.

atica
Captulo 7
Vers
276/2078
25
20
15
10
0
0.0
0.5
1.0
1.5
2.0
2.5
3.0
3.5
4.0
4.5
5.0
Figura 7.1: Grafico de (x) para x (0, 5]. Observe que diverge em 0.
Antes disso, facamos alguns coment

arios importantes.
Convexidade de e de ln
imediato da definicao (7.3) que para Re (z) > 0 valem
E
(z) =
et tz1 ln(t) dt
(z) =
et tz1 ln(t)
dt .
(7.12)
A segunda expressao acima diz-nos que se z for real e positivo (z x > 0) ent
ao (x) > 0 e, portanto, e uma
funcao convexa em R+ . Em verdade, vale que tambem ln e convexa em R+ , fato de certa relevancia como veremos
abaixo quando enunciarmos e demonstrarmos o Teorema de Bohr-Mollerup, Teorema 7.1, p
agina 288. Para mostrar isso,
notemos que, por (7.12),
((x) )2
et tx1 ln(t) dt
0
2
et/2 t(x1)/2 ln(t) dt
et/2 t(x1)/2
Cauchy-Schwarz
o que implica
et tx1 dt
et tx1 ln(t)
dt
= (x) (x) ,
(x)(x) ((x) )2
d2
0, mostrando que ln e convexa em R+ .
ln (x) =
2
dx
((x))2
A fun
c
ao e o fatorial de n
umeros naturais
Usando integracao por partes, segue que, para Re (z) > 0,
(z + 1) =
0
et tz dt = et tz
=0
+z
0
et tz1 dt ,

atica
Captulo 7
Vers
277/2078
20
15
10
5
4.0
3.5
3.0
2.5
2.0
1.5
1.0
0.5
0
0.0
5
10
15
20
25
Figura 7.2: Grafico de (x) para x (4, 0). Observe que diverge em 0 e para inteiros negativos.
provando que
(z + 1) = z(z) .
(7.13)
A relacao (7.13) e por vezes denominada f

ormula do complemento da funcao Gama e e de grande import
ancia,
representando a raz
ao de ser da funcao gama de Euler.
Por inducao finita, e pelo fato de que, por (7.3), (1) =
t
e dt
0
= 1, segue facilmente de (7.13) que
(n + 1) = n! ,
para todo n N0 . Assim, a funcao e uma especie de extensao complexa do fatorial de n
umeros inteiros positivos.
Essa u
ltima observacao merece um coment
ario. H
a certamente muitas funcoes f em R+ satisfazendo f (n + 1) = n!
para todo n N0 . Se f e uma funcao satisfazendo f (x + 1) = xf (x) para todo x R+ , ent
ao f (x)/(x) e periodica de
perodo 1, pois f (x + 1)/(x + 1) = (xf (x))/(x(x)) = f (x)/(x) para todo x R+ . Assim, f (x) = P (x)(x) com P
periodica de perodo 1 e a solucao mais geral da equacao f (x + 1) = xf (x). Se P (1) = 1 ent
ao f (n + 1) = n! para todo
n N0 . Um celebre e elegante teorema, o Teorema de Bohr-Mollerup, garante que a funcao gama de Euler e a u
nica
funcao em R+ que satisfaz as seguintes condicoes: 1. (1) = 1, 2. (x + 1) = x(x) e 3. ln e convexa.
O Teorema de Bohr-Mollerup sera enunciado e demonstrado na Secao 7.5.1, p
agina 288 (vide Teorema 7.1, p
agina
288). Na Secao 7.5, p
agina 288, sao demonstrados outros teoremas de unicidade da funcao gama de Euler sob outras
caracterizacoes. Um deles e o not
avel Teorema de Wielandt, Teorema 7.3, p
agina 291, que em um certo sentido e uma
generalizacao aos complexos do Teorema de Bohr-Mollerup.
Revisitando a extens
ao de para Re(z) 0
A expressao (7.3) permite definir (z), mas somente se Re (z) > 0 pois, de outra forma, a integral no lado direito
possvel, no entanto, estender analiticamente a funcao a todo C, exceto aos inteiros
de (7.3) n
ao est
a definida. E
n
ao-positivos. Ja demonstramos esse fato acima, mas o mesmo pode tambem ser diretamente derivado da relacao (7.13).
Trataremos disso agora.

atica
Captulo 7
Vers
278/2078
Para n N, (7.13) diz-nos que

(z + n) = (z + n 1)(z + n 2) z(z) ,
o que permite escrever
(z + n)
.
(7.14)
(z + n 1)(z + n 2) z
Agora, (z + n) est
a definida por (7.3) para Re (z + n) > 0, Assim, (7.14) prolonga analiticamente (z) à regiao
Re (z) > n, exceto nos pontos z = k com k = 0, 1, . . . , n 1. Com isso, conclumos novamente que possui uma
extensao analtica ao plano complexo C, exceto aos pontos z = 0, 1, 2, . . ., onde possui no maximo p
olos simples.
(z) =
Note-se que, por (7.14) tem-se na regi

ao Re (z) > n que
(z + 1) =
(z + 1 + n)
(z + n)(z + n 1) (z + 1)
(7.13)
(z + n)(z + n)
(z + n)(z + n 1) (z + 1)
(z + n)
(z + n 1) (z + 1)
(7.14)
z(z) , (7.15)
provando que (7.13) permanece valida para a extensao.

Por (7.14) pode-se ver que z = 0, 1, 2 . . . sao realmente p
olos simples de , pois pode-se calcular facilmente o
resduo de em cada ponto z = n e constatar que e n
ao-nulo. Por (7.14), esses resduos sao dados por
lim (z + n)(z) =
zn
lim (z + n)
zn
como ja havamos observado.
(1)
(1)n
(z + n + 1)
=
=
,
(z + n)(z + n 1) z
(1)(2) (n)
n!
(7.16)
Outra representa
c
ao integral equivalente
Fazendo a mudanca de variavel t = u2 a integral em (7.3) torna-se
(z) = 2
eu u2z1 du .
(7.17)
Disso segue que
1
2
= 2
eu du =
(7.18)
identidade essa que usaremos adiante. Usando (7.13) para z = 12 , obtem-se

n+
1
2
1
2
3
2
1

2
1
2
(2n)!
(2n 1)!!
= 2n
,
n
2
2 n!
(7.19)
para todo n N0 .
7.3
Outras Representa
co
es para a Fun
c
ao Gama
A representa
c
ao produto de Gauss para
A funcao pode ser expressa de diversas outras formas, muitas delas u

teis para a obtencao de resultados mais
profundos e exibiremos algumas aqui. Uma delas e uma representac
ao produto de Gauss7 para a func
ao :
n! nz
,
n z(z + 1) (z + n)
(z) = lim
(7.20)
valida para todo z C, z = 0, 1, 2, . . .. No que segue provaremos a validade de (7.20) na regiao Re (z) > 0. A
extensao para todo C \ {0, 1, 2, 3, . . .} sera feita mais adiante (vide (7.29), p
agina 281). Provemos primeiramente
o seguinte lema:
7 Johann
Carl Friedrich Gau (17771855).

atica
Captulo 7
Vers
Lema 7.1 Para Re (z) > 0 vale
(z) = lim
t
n
279/2078
tz1 dt .
(7.21)
Prova. (De [111], com modificacoes). Tomemos z F, , ou seja, < Re (z) < , com e fixos, 0 < < < .
n t z1
0 e t
Como (z) = limn
dt, precisamos apenas provar que

n
Defina-se para 0 t n,
t
n
et 1
lim
tz1 dt = 0 .
hn (t) := 1 et 1
(7.22)
t
n
Como facilmente se constata,

hn (t) = et 1
n1
t
n
t
0
n
para 0 t n .
Como hn (0) = 0, segue que hn (t) =

0 t n. Adicionalmente, como 1
hn (s) ds. Como hn (s) 0 para 0 s

0
s n1
1 para 0 s n, tem-se tambem
n
hn (t) =
0
hn (s) ds =
es 1
Com isso, estabeleceu-se que 0 hn (t)
et t2
2n ,
n1
s
n
s
ds
n
es
0
n, segue disso que hn (t) 0 para
s
ds et
n
t
0
e t t2
s
ds =
.
n
2n
o que implica
0 et 1
t
n
t2
.
2n
(7.23)
(7.24)
Disso segue o fato bem-conhecido de cursos de C

alculo que
et = lim
para todo t R, mas segue tambem que

1
t
n
t
n
et ,
(7.25)
fato que usaremos adiante.

Agora,
et 1
t
n
tz1 dt = Fa + Ga, n ,
onde, para 1 < a < n, definimos

a
Fa :=
0
et 1
t
n
tz1 dt ,
Ga, n :=
a
et 1
t
n
tz1 dt .
Podemos afirmar que, para 1 < a < n,

n
|Ga, n |
et + 1
t
n
tx1 dt
(7.25)
2
a
a>1
et tx1 dt 2
n
(7.5)
2C,
et t1 dt
e(1)t dt =
2C, (1)a
e
e(1)n
1

atica
Captulo 7
Vers
280/2078
onde x = Re (z) > 0, < x < , e usamos que |tz | = tx . A constante positiva de (7.5) e arbitraria, mas vamos
escolhe-la de sorte que 0 < < 1, o que garante o decaimento da u
ltima expressao em n e a. Paralelamente,
a
|Fa |
et 1
t
n
a x+1
(7.23)
tx1 dt
2n
ax+1
2n(x + 2)
dt =
Com isso, vemos que para 1 < a < n,

n
0
et 1
t
n
Portanto,
lim
ax+1
2C, (1)a
e
e(1)n
+
2n(x + 2)
1
tz1 dt
et 1
t
n
2C, (1)a
e
.
1
tz1 dt
Mas o lado esquerdo n

ao depende de a e o lado direito pode ser feito arbitrariamente pequeno tomando a . Isso
prova (7.22), completando a demonstracao de (7.21) para z F, . Como e sao arbitrarios (com 0 < < ), (7.21)
fica provado para todo Re (z) > 0.
Passemos agora à prova de (7.20). Temos,
n
0
t
n
tz1 dt
int. por partes
int. por partes
1
1
z
t
n
n z n
t
z
(n 1)
nz(z + 1)
t
n
+
0
n
nz
t
n
n1
tz dt
n1
tz dt
n
0
t
n
n2
tz+1 dt
..
.
n
itera
co
es
n!
n
n z(z + 1) (z + n 1)
nn
tz+n1 dt
0
n! nz+n
n! nz
=
.
z(z + 1) (z + n)
z(z + 1) (z + n)
(7.26)
Por (7.21), isso prova (7.20).

A representa
c
ao produto de Weierstrass para
A representac
ao produto de Weierstrass para a func
ao , valida para todo z C, e
1
z nz
,
1+
e
= zez
(z)
n
n=1
(7.27)
onde e o definida por

:= lim
1+
1
1
+ + ln(n)
2
n
A constante e chamada constante de Euler-Mascheroni8 e vale9 0, 577215665 . . .. Para a conveniencia do leitor, a Secao
6.2, p
agina 265, discute a nocao de convergencia de produtorias infinitas, como a que ocorre no lado direito de (7.27), e
8 Lorenzo
Mascheroni (17501800).
nota de rodap
e`
a p
agina 1179. A converg
encia do limite que define , acima,
e discutida em todo bom livro de C
alculo (vide, e.g.,
at
[228]). E
e hoje um problema em aberto saber se
e um n
umero racional ou n
ao.
9 Vide

atica
Captulo 7
Vers
281/2078
condicoes suficientes para que a mesma se de. A convergencia da produtoria que ocorre no lado direito de (7.27) para
todo z C sera estabelecida logo adiante.
Vamos primeiramente estabelecer (7.27) na regiao Re (z) > 0. Definindo,
n
(n) (z) :=
t
n
n! nz
,
z(z + 1) (z + n)
(7.26)
tz1 dt
(7.28)
provamos no Lema 7.1 que (z) = limn (n) (z) para Re (z) > 0. Temos
1
(n) (z)
z
z
nz
z(z + 1) (z + n) = zez ln(n) (1 + z) 1 +
1 +
n!
2
n
zez(1+ 2 ++ n ln(n))
1+
s=1
z
z
es
s
e, portanto,
1
z z
1
e s ,
= lim (n)
1+
= zez
n
(z)
s
(z)
s=1
provando (7.27) para Re (z) > 0. Vamos agora provar que a produtoria do lado direito converge para todo z C e
define uma funcao inteira de z. Tendo em vista o Corolario 6.1, p
agina 266, consideremos para cada r > 0 o conjunto
compacto Kr = {z C| |z| r} (o disco fechado de raio r centrado na origem). Da expansao em serie de Taylor da
funcao exponencial, obtem-se facilmente que para todo w C vale
1 (1 w)e
Verifique! Logo, como
1
k!
= w
1
1
k! (k + 1!)
k=1
wk1 .
1
(k+1!)
0 para todo k, tem-se para |w| 1 que 1 (1 w)ew |w|2
|w| . Portanto, tomando-se w = z/n, teremos
1+
sup
zKr
z
n
1+
z
n
|z|
n2
k=1
1
k!
1
(k+1!)
sempre que |z| n. Logo,
z z
r2
e n 1 2
n
n
para todo n r. Como a seq

uencia 1/n e somavel, conclumos que
sup
1+
n=1 zKr
z nz
1 < .
e
n
Pelo Corolario 6.1, p

agina 266, isso demonstra que s=1 1 + zs e s converge e e analtica em Kr e, como r > 0 e
arbitrario, conclumos que essa produtoria infinita define uma funcao inteira (i.e., analtica em toda parte).
A representacao produto de Weierstrass (7.27) pode, portanto, ser estendida para todo z C, estabelecendo que
e uma funcao inteira, o que implica que (z) n
ao possui zeros. Segue tambem facilmente de (7.27) que
1
(z)
(z) = (z)
em todo domnio de definicao de .
A convergencia da produtoria infinita e s=1 1 + zs e s permite-nos estender a representacao produto de Gauss

(7.20) para alem da regi
ao Re (z) > 0. De fato, e evidente que para todo z C vale
m
1+
z
n=1
z z/n
z(z + 1) (z + m)
e
=
exp z
n
m! mz
ln m
1
n
n=1
.
m
Logo, como o limite m do lado esquerdo existe para todo z C, pelo exposto acima, e como lim
, conclumos que
1
z z/n
1+
e
=
= zez
(z)
n
n=1
lim
z(z + 1) (z + m)
,
m! mz
ln m
1
n
n=1
(7.29)

atica
Captulo 7
Vers
282/2078
para todo z C. Isso estende a representacao produto de Gauss (7.20) para toda regiao C \ {0, 1, 2, 3, . . .}.
A representa
c
ao produto de Euler para
bastante evidente que para todo n > 1, inteiro, vale

E
n1
n1
l+1
l
n =
l=1
1+
1
l
1+
z
m
=
l=1
(7.30)
De acordo com (7.28), podemos escrever
(n)
n! nz
(z) =
z(z + 1) (z + n)
z1
m=1
n1
(7.30)
1+
l=1
1
z(1 + n1 )z
1
l
z
1
1+
z m=1
m
1+
m=1
1
m
1+
z
m
(7.31)
e tomando o limite n , obtemos

(z) =
1
z m=1
1+
1
m
1+
z
m
(7.32)
valida para todo z C, exceto z = 0, 1, 2, 3, . . .. Esta e a representac

ao produto de Euler para a func
ao . A
expressao (7.32), obtida por Euler em 1729, foi a definicao historicamente original da funcao , a representacao integral
(7.3) tendo sido obtida posteriormente pelo mesmo autor a partir de (7.32). Euler chegou a (7.32) propondo-a como
solucao da equacao funcional f (z + 1) = zf (z) com f (1) = 1, tentando dessa forma obter uma generalizacao contnua do
fatorial de n
umeros naturais.
E. 7.1 Exerccio. Verifique diretamente de (7.32) que satisfaz (z + 1) = z(z) com (1) = 1. Sugestao: usando a
ltima expressao em (7.31) considere a razao (n) (z + 1)/(n) (z) e tome o limite n .
u
E. 7.2 Exerccio. De (7.14) e de (7.20) prove que
nz (n + 1)
= 1
n (z + n + 1)
lim
para todo z C.
7.4
A Func
ao Beta e Propriedades Adicionais da Fun
c
ao Gama
Fun
c
ao beta. Propriedades elementares
A chamada func
ao beta, denotada por B(p, q) e definida por
B(p, q) :=
(p) (q)
(p + q)
(7.33)
para p e q complexos, mas diferentes de inteiros n

ao-positivos. Observe-se que, pela definicao, B e uma funcao simetrica
pela permutacao de seus argumentos:
B(p, q) = B(q, p) .

atica
Captulo 7
Vers
283/2078
Para Re (p) > 0 e Re (q) > 0 podemos expressar B(p, q) em uma forma integral muito u
til:
(cos )2p1 ( sen )2q1 d .
B(p, q) = 2
(7.34)
Provamo-la com uso de (7.17), que nos diz que
(p)(q) = 4
eu u2p1 du
ev v 2q1 dv
e(u
= 4
+v 2 ) 2p1 2q1
dudv .
u0, v0
Usando coordenadas polares, escrevemos u = r cos e v = r sen com 0 /2 (pois u 0 e v 0) e obtemos

(p)(q)
/2
er r2(p+q)1 (cos )2p1 ( sen )2q1 dr d
/2
er r2(p+q)1 dr
(7.17)
(cos )2p1 ( sen )2q1 d
/2
(p + q) 2
(cos )2p1 ( sen )2q1 d
provando (7.34).
Por mudancas de variavel, obtem-se outras representacoes integrais equivalentes a (7.34) para B(p, q). Tomando
t = (cos )2 obtemos trivialmente de (7.34) que
1
B(p, q) =
0
Tomando em (7.35) u =
t
1t
tp1 (1 t)q1 dt .
(7.35)
obtem-se, por outro lado,
B(p, q) =
0
up1
du .
(1 + u)p+q
(7.36)
As representacoes (7.34), (7.35) e (7.36) valem para Re (p) > 0 e Re (q) > 0. Alguns textos adotam (7.35) como
definicao de B(p, q) para Re (p) > 0 e Re (q) > 0.
De (7.34) e de (7.33) obtem-se trivialmente a seguinte identidade u
til:
(cos )2p1 ( sen )2q1 d =
1 (p 1)! (q 1)!
,
2 (p + q 1)!
p, q N .
(7.37)
(b + 1)
.
+b+1
(7.38)
E. 7.3 Exerccio. Mostre que

1
0
sa 1 s2
ds =
1
B
2
a+1
, b+1
2
1
2
a+1
2
a+1
2
Sugestao: em (7.35) faca a mudanca de variavel t = s2 . Identifique para quais valores complexos de a e b a relacao acima e
valida.
7.4.1
A F
ormula de Reflex
ao de Euler
Talvez a principal aplicacao de (7.33) e das representacoes integrais (7.34), (7.35) e (7.36) seja o estabelecimento da
importante f
ormula de reflex
ao para a func
ao , ou f
ormula de reflex
ao de Euler:
1
sen (z)
=
,
(z)(1 z)
(7.39)

atica
Captulo 7
Vers
284/2078
valida para todo z C, relacao esta que pode ser escrita em forma mais simetrica como
1
2
1
z
1
2
+z
cos(z)
,
(7.40)
valida para todo z C.
Antes de demonstrar (7.39) notemos que ela permite escrever, para z n

ao-inteiro,
(z) =
=
.
(z + 1) sen (z)
z(z) sen (z)
(7.41)
Essa expressao permite calcular a extensao analtica de de Re (z) > 0 para Re (z) < 0. Por exemplo, se Re (z) > 0, o
lado direito pode ser calculado usando (7.3), fornecendo a funcao gama do lado esquerdo, cujo argumento tem parte real
negativa. Evidentemente,
,
(7.42)
(z)(z) =
z sen (z)
para z n
ao-inteiro.
Para demonstrar10 (7.39), comecamos usando (7.33) e (7.36) para obter
(z)(1 z) = B(z, 1 z) =
uz1
du ,
1+u
(7.43)
onde a representacao integral acima e valida para Re (z) > 0 e Re (1 z) > 0, ou seja, na faixa 0 < Re (z) < 1, a qual
nos restringiremos provisoriamente.
A integral acima pode ser calculada pelo metodo dos resduos, como descreveremos. Seja I a integral
I :=
C
wz1
dw ,
1+w
onde C e a curva fechada no plano complexo, orientada no sentido anti-horario, indicada na figura 7.3. A curva C e
composta dos segmentos orientados (1) e (2), localizados, respectivamente, imediatamente acima e imediatamente abaixo
do semi-eixo real positivo (sendo que faremos a distancia desses segmentos a esse semi-eixo ir a zero) e dos arcos orientados
z1
e , de raios e R, respectivamente. Escolhemos R > 1, de modo que o p
olo simples que a funcao f (w) = w1+w possui
em w = 1 fique no interior da regi
ao delimitada por C.
Vamos representar a variavel complexa w na forma w = ei , com 0 < , 0 < 2. Devido a essa escolha do
intervalo de valores de , vemos que no segmento (1) tem-se que 0, enquanto que no segmento (2) 2. Assim,
R z1
a integral no segmento orientado (1) e aproximada por 1+ d, enquanto que a integral no segmento orientado (2) e
R
z1
aproximada por e2iz 1+ d, as aproximacoes sendo tanto melhores quanto mais proximos os segmentos (1) e (2)
encontrarem-se do semi-eixo real positivo (lembrar que o integrando e contnuo nas regioes acima a abaixo do semi-eixo
real positivo e cada integracao e feita em segmentos finitos). Assim, a contribuicao das integracoes de (1) e (2) à integral
I e
R z1
d ,
1 e2iz
1+
que nos limites 0, R converge a 1 e2iz (z)(1 z) devido a (7.43). Vamos agora estimar as integrais
sobre os segmentos e .
Em temos = , de modo que podemos escrever w = ei , com 2 , para um certo pequeno, e
dw = iei d, de forma que, escrevendo z = x + iy com x = Re (z), y = Im (z),
wz1
dw = iz
1+w
e, portanto,
10 Seguimos
wz1
dw x
1+w
ei(z1) i
e d
1 + ei
2e2|y|
e|y|
d x
,
1
1
os argumentos de [30]. Para uma outra demonstrac

ao igualmente elementar que faz uso da f
ormula de produto de Weierstrass
(7.27), vide [111].

atica
Captulo 7
Vers
285/2078
(1)
(2)
Figura 7.3: A curva C composta pelos segmentos de integracao , , (1) e (2).
que converge a zero quando 0 (lembrar que assumimos 0 < Re (z) < 1, ou seja, 0 < x < 1).
Em temos, analogamente, = R, de modo que podemos escrever w = Rei , com 2 , para um certo
pequeno, e dw = iRei d, de forma que, escrevendo z = x + iy com x = Re (z), y = Im (z),
wz1
dw = iRz
1+w
ei(z1) i
e d
1 + Rei
e, portanto,
wz1
dw Rx
1+w
Rx
e|y|
d 2e2|y|
= 2e2|y|
R1
R1
que converge a zero quando R pois x < 1.
Rx1
1 1/R
z1
No interior da regi
ao delimitada por C o integrando f (w) = w1+w possui uma u
nica singularidade: um p
olo simples
em w = 1, cujo resduo e ei(z1) (lembrar que 1 = ei ). Assim, pelo teorema dos resduos,
C
uz1 du
= 2ieiz
1+u
que independe de e R. Coletando os resultados anteriores sobre as integrais em (1), (2), e conclumos que nos
limites 0 e R vale a igualdade
2ieiz =
1 e2iz (z)(1 z) ,
que conduz trivialmente a

sen (z)
1
=
.
(z)(1 z)

atica
Captulo 7
Vers
286/2078
Ate agora assumimos que 0 < Re (z) < 1. Todavia, ambos os lados da u
ltima expressao sao funcoes inteiras. Portanto,
a igualdade acima vale em todo plano complexo C.
E. 7.4 Exerccio. Usando a f
ormula de reflexao (7.39) e a representacao produto de Gauss (7.20), obtenha a representacao
produto da funcao seno, obtida por Euler em 1734:
sen (z) = z
n=1
z2
n2
(7.44)
valida para todo z C. Usando o Corolario 6.1, pagina 266, prove que a produt
oria do lado direito de fato converge para
todo z C e, de fato, define uma funcao inteira. Em [201] o leitor podera encontrar diversas outras demonstracoes de (7.44),
assim como interessantes notas hist
orias sobre suas origens e sobre os desenvolvimentos que engendrou.
Usando (7.44) e o fato bem-conhecido que cos(z) sen (z) =
cosseno, tambem devida a Euler:
cos(z) =
n=1
1
2
sen (2z), obtenha a representacao produto da funcao
4z 2
(2n 1)2
(7.45)
valida para todo z C. Prove tambem que a produt

oria do lado direito de fato converge para todo z C e, de fato, define
uma funcao inteira.
Usando (7.44), obtenha
=
2
4n2
=
4n2 1
n=1
2n
2n
2 2 4 4 6 6
=
.
2n
1
2n
+
1
1 3 3 5 5 7
n=1
(7.46)
Essa expressao e denominada f

ormula de Wallis11 , ou produto de Wallis, tendo sido obtida por outros meios em 1665. Para
uma demonstracao simples dessa f
ormula usando integrais, vide Secao 6.2.1, pagina 266.
As expressoes (7.44) e (7.45) tem diversas aplicacoes e generalizacoes. Vide e.g. [201].
E. 7.5 Exerccio. Diferenciando (7.44) em relacao a z, obtenha
cot(z) =
2z
1
,
2
z n=1 n z 2
(7.47)
valida para z C \ Z. Essa expressao e denominada formula da cotangente de Euler, que a obteve em 1749. Ela e
tambem conhecida como expansao em fracoes parciais da funcao cotangente. Diversas outras demonstracoes dessa importante
identidade sao conhecidas. Vide Exerccio E. 6.10, pagina 269, ou Exerccio E. 34.23, pagina 1696.
Algumas identidades adicionais para a fun
c
ao Beta
Segundo nossa definicao para a funcao B, e elementar ver que B(p, q) =
identidade
p+q
B(p, q + 1) .
B(p, q) =
q
Analogamente, demonstra-se que
(p)(q)
(p+q)
p+q (p)(q+1)
q (p+q+1) .
Assim, vale a
(7.48)
p+q
B(p + 1, q) .
p
(7.49)
qB(p + 1, q) = pB(p, q + 1) .
(7.50)
B(p, q) =
Segue disso evidentemente que
Usando (7.42) podemos escrever B(p, q) =

cemos que
(p)(q)
(p+q)
B(p, q) =
11 John
Wallis (16161703).
(p)
(p+q)(q) (q)(q)
.
q sen (q) B(p + q, q)
= B(p+q,
q) q sen (q) . Assim, estabele-
(7.51)

atica
Captulo 7
Vers
287/2078
Usando o fato que B(p, q) = B(q, p), segue igualmente que

B(p, q) =
7.4.2
1
.
p sen (p) B(p + q, p)
(7.52)
A F
ormula de Duplica
c
ao de Legendre
As propriedades da funcao beta permitem provar mais uma identidade importante satisfeita pela funcao gama, a chamada
f
ormula de duplicac
ao da func
ao gama, obtida por Legendre12 em 181113:
(2z) =
22z1
1
(z) z +
(7.53)
valida para todo z C que n

ao seja um inteiro n
ao-positivo ou um semi-inteiro n
ao-positivo, isto e, que n
ao seja da
forma n ou da forma n 1/2, com n = 0, 1, 2, 3, . . .. Uma generalizacao de (7.53) (eq. (7.62)), devida a Gauss, sera
obtida na Secao 7.5.3.1, p
agina 292.
A demonstracao de (7.53) e bastante simples. Assumindo provisoriamente Re (z) > 0, temos
(z)(z)
= B(z, z)
(2z)
(7.35)
t(1 t)
z1
dt .
Efetuamos a mudanca de variavel de integracao u = 2t 1, temos

(z)(z)
1
= 2z1
(2z)
2
+1
1
(1 u2 )z1 du =
22z1
(1 u2 )z1 du .
Por fim, fazendo a mudanca de variavel de integracao v = u2 , tem-se

(z)(z)
1
= 2z1
(2z)
2
1
0
B z, 12
dv =
22z1
z1 12
(1 v)
(7.35)
(z)( 21 )
22z1 z + 21
(7.18)
(z)
22z1 z +
1
2
provando (7.53) para Re (z) > 0. A generalizacao para todo z C segue do fato de que ambos os lados de (7.53) possuem
uma extensao analtica para todo C, exceto para os pontos em que z e um inteiro n
ao-positivo ou um semi-inteiro n
aopositivo.
Na Secao 7.5.2, p
agina 290, discutimos que a funcao gama de Euler e essencialmente a u
nica funcao a satisfazer a
equacao funcional (z + 1) = z(z) e a f
ormula de duplicacao (7.53).
interessante comparar a f
E
ormula de duplicacao (7.53) com a chamada f
ormula de duplicac
ao da func
ao seno (provea!):
1
,
zC.
(7.54)
sen 2z = 2 sen z sen z +
2
E. 7.6 Exerccio. Prove que
ln sen (y) dy = ln 2 .
(7.55)
Essa expressao e denominada f

ormula de Jensen14 . Sugestao: tome o logaritmo da formula de duplicacao da funcao seno
(7.54) e integre a expressao resultante no intervalo [0, 1/2]. Justifique cuidadosamente a existencia das integrais.
ln (y) dy = ln
2 ,
0
12 Adrien-Marie
Legendre (17521833).
Legendre, Exercices de calcul int
egral, vols. I (1811), II (1816) e III (1817), Paris.
14 Johan Ludwig William Valdemar Jensen (18591925).
13 A.
(7.56)

atica
Captulo 7
Vers
288/2078
relacao obtida por Raabe15 em 1843.

Sugestao I: tome o logaritmo da f
ormula de duplicacao (7.53), integre a expressao resultante no intervalo [0, 1/2] e disso
obtenha (7.56).
Sugestao II: tomando o logaritmo da f
ormula de reflexao (7.39) e integrando a expressao resultante no intervalo [0, 1],
1
1
1
obtemos 2 0 ln (y) dy = ln 0 ln sen (y) dy (faca-o!). A integral 0 ln sen (y) dy foi obtida no Exerccio E. 7.6
e disso segue novamente (7.56).
7.5
Teoremas Sobre a Unicidade da Fun

c
ao Gama e Outros
Resultados
Nesta secao demonstraremos alguns teoremas que estabelecem a unicidade da funcao gama de Euler sob certas caracterizacoes. Esses teoremas sao de interesse por si so, mas alguns deles sao u
teis na obtencao de propriedades mais profundas
referida funcao.
7.5.1
O Teorema de Bohr-Mollerup
Um dos primeiros e mais celebres (e elegantes) teoremas de unicidade e um teorema devido a Bohr16 e Mollerup17 , datado
de 192218 . Esse teorema refere-se `
a funcao gama de Euler restrita a R+ . Adiante trataremos de teoremas de unicidade
para nos complexos.
O Teorema de Bohr-Mollerup e t
ao fundamental que alguns autores, como Bourbaki19 e, ate um certo ponto, Artin20
em [12], adotam suas condicoes como definicao da funcao gama de Euler, derivando suas demais propriedades a partir
da.
O Teorema de Bohr-Mollerup e sua demonstra
c
ao
Passemos agora a um dos teoremas mais elegantes da teoria da funcao gama de Euler.
Teorema 7.1 (Teorema de Bohr-Mollerup) A func

ao (x) :=
et tx1 dt, x > 0, e a u

nica func
ao real em R+
satisfazendo
1. G(1) = 1,
2. G(x + 1) = xG(x) para todo x > 0 (e, conseq

uentemente, satisfazendo G(n + 1) = n! para todo n N0 ),
3. ln G e convexa.
Notas. O Teorema 7.1 e tambem denominado Teorema de Bohr-Mollerup-Artin por alguns autores. Artin foi o primeiro a identificar a
relev
ancia da condica
o 3 (convexidade logartmica) para o teorema, na edica
o de 1931 de [12]. Como subproduto da demonstraca
o do Teorema
7.1 estabeleceremos que para todo x (0, 1) vale
(x) =
15 Joseph
lim
nx n!
,
(x + n)(x + n 1) x
(7.57)
Ludwig Raabe (18021859).

August Bohr (18871951). H. Bohr era irm
ao mais novo do fsico Niels Bohr (Niels Henrik David Bohr (1885-1962)). H. Bohr
recebeu v
arios pr
emios por sua obra matem
atica e foi agraciado com a medalha de prata nos Jogos Olmpicos de 1908, em Londres, como
provavelmente at
jogador da seleca
o dinamarquesa de futebol (!). E
e hoje o u
nico matem
atico a alcancar essa honraria (o biofsico Britton
Chance (19132010) foi agraciado com a medalha de ouro na Olimpada de 1952, em Helsinki, como velejador).
17 Johannes Peter Mollerup (18721937).
18 A refer
encia original
e Bohr, H. and Mollerup, J., Lrebog i matematisk Analyse, vol. 3, Copenhagen, 1922. Trata-se de um livro-texto de
An
alise. Acreditando que o teorema j
a era conhecido os autores n
ao o publicaram em um artigo cientfico e sua originalidade foi reconhecida
posteriormente, notadamente por Artin em [12].
19 Nicolas Bourbaki. Nome coletivo adotado por um grupo de importantes matem
aticos franceses, nascido por volta de 1935.
20 Emil Artin (18891962).
16 Harald

atica
Vers
Captulo 7
289/2078
o limite sendo uniforme em (0, 1). A express

ao (7.57)
e denominada representac
ao produto de Gauss da funca
o gama de Euler e, como
provamos na Seca
o 7.3, p
agina 278, a mesma
e v
alida n
ao apenas no intervalo (0, 1) mas em todo o conjunto C \ {0, 1, 2, 3, . . .}.
Prova do Teorema 7.1. Seguimos proximamente [12]. Para uma demonstracao semelhante, vide [49]. Que a funcao
satisfaz as condicoes 1, 2 e 3 foi estabelecido anteriormente. A convexidade de ln , por exemplo, foi estabelecida à
p
agina 276.
Todo y R+ e da forma y = m + x com m N0 e 0 x < 1 (a saber, m := y e x := y y, com y sendo o
maior inteiro menor ou igual a x).
Se y = m N e x = 0, ent
ao sabemos pelas condicoes 1 e 2 que G(m) = (m) = (m 1)!. No caso geral,
como G e satisfazem a equacao funcional do item 2, valem G(y) = G(m + x) = (x + m 1)(x + m 2) xG(x) e
(y) = (x + m) = (x + m 1)(x + m 2) x(x). Portanto, para demonstrarmos o teorema, e suficiente provarmos
que G(x) = (x) para todo x (0, 1).
Seja G qualquer funcao satisfazendo as condicoes 1, 2 e 3, seja n N0 com n 2 e seja x (0, 1). Como ln G e
convexa, vale para ela a seguinte desigualdade:
ln G(n 1) ln G(n)
(n 1) n
ln G(n + x) ln G(n)
(n + x) n
ln G(n + 1) ln G(n)
.
(n + 1) n
(7.58)
Isto segue da desigualdade (5.9), p

agina 238, tomando-se a seguinte quadra de pontos: n 1 < n < n + x < n + 1.
Verifique!
Agora, as condicoes 1 e 2 implicam, naturalmente, que G(n + 1) = n!. Logo, (7.58) fica
ln(n 1)
ln G(n + x) ln (n 1)!
x
ln n .
(7.59)
Multiplicando-se a desigualdade acima por x, somando-se em seguida ln (n 1)! aos tres termos e tomando-se em
seguida a exponencial de cada um, obtemos
(n 1)x (n 1)! G(n + x) nx (n 1)! .
Como G(n + x) = (x + n 1)(x + n 2) xG(x), obtemos da u
ltima desigualdade
nx (n 1)!
(n 1)x (n 1)!
G(x)
,
(x + n 1)(x + n 2) x
(x + n 1)(x + n 2) x
do que se extrai
(n 1)x (n 1)!
x+n
nx n!
G(x)
.
(x + n 1)(x + n 2) x
(x + n)(x + n 1) x n
As desigualdades expressas na linha acima fornecem um minorante e um majorante para G(x) e sao validas para todo
n 2. Podemos, portanto, substituir n por n + 1 na primeira desigualdade sem alterar sua veracidade, obtendo
nx n!
x+n
nx n!
G(x)
.
(x + n)(x + n 1) x
(x + n)(x + n 1) x n
Portanto, vale tambem
1 G(x)
evidente disso que
E
x
1
(x + n)(x + n 1) x
1+
< 1+ .
x
n n!
n
n
nx n!
,
n (x + n)(x + n 1) x
G(x) = lim
uniformemente em (0, 1). Como tambem satisfaz as condicoes 1, 2 e 3, ela obedece a mesma equacao e conclumos
que G(x) = (x) para todo x (0, 1).

atica
7.5.2
Vers
Captulo 7
290/2078
F
ormulas de Duplica
c
ao e Unicidade
` discuss
A
ao sobre a f
ormula de duplicacao de Legendre (7.53) e interessante acrescentar alguns coment
arios referentes à
quest
ao da unicidade. Ja colocamos a quest
ao de saber quais funcoes satisfazem a equacao funcional (z + 1) = z(z) e
encontramos uma resposta sob as hip
oteses do Teorema de Bohr-Mollerup, Teorema 7.1, p
agina 288. Como veremos, se
considerarmos tambem o desejo de ter satisfeita a formula de duplicacao de Legendre (7.53) somos novamente conduzidos
a funcao gama de Euler. Isso e o conte
`
udo do Teorema 7.2, pagina 290.
Os dois lemas preparat
orios que seguem sao devidos a Herglotz21 .
Lema 7.2 Seja a > 1 e seja A um aberto conexo de C que contenha o intervalo [0, a) do eixo real. Seja A uma func
ao
analtica em A e que satisfaca a relac
ao 2A(2z) = A(z) + A(z + 1/2) sempre que z, z + 1/2 e 2z estiverem no intervalo
[0, a). Ent
ao, A e constante em todo A.
Prova. Escolhamos b (1, a). Ent

ao, e evidente que [0, b] [0, a) e e tambem evidente que se z [0, b], ent
ao z/2 e
(z + 1)/2 sao tambem elementos de [0, b].
Por hipotese, temos que 2A(2z) = A(z) + A(z + 1/2) e que 4A (2z) = A (z) + A (z + 1/2) sempre que z, z + 1/2 e 2z
estiverem no intervalo [0, a). Logo, para todo z [0, b], valera 4A (z) = A (z/2) + A (z + 1)/2 . Conseq
uentemente,
teremos tambem 4|A (z)| |A (z/2)| + |A (z + 1)/2 | para todo z [0, b].
Seja M := max |A (z)|, z [0, b] . Como |A (z)| e contnua em [0, b], o maximo M e alcancado em algum valor
z0 [0, b]. Assim, teremos 4M = 4|A (z0 )| |A (z0 /2)| + |A (z0 + 1)/2 | 2M , ja que z0 /2 e (z0 + 1)/2 sao tambem
elementos de [0, b]. Agora, como M 0, a desigualdade 4M 2M so e possvel se M = 0, o que informa-nos que
A (z) = 0 para todo z [0, b]. Como A e analtica em A [0, b], temos que A (z) = 0 para todo z A, como queramos
provar.
Lema 7.3 Seja a > 1 e seja A um aberto conexo de C que contenha o intervalo [0, a) do eixo real. Seja A uma func
ao
analtica em A, que n
ao possua zeros em [0, a) e que, para algum C\{0}, satisfaca a relac
ao A(2z) = A(z)A(z+1/2)
sempre que z, z + 1/2 e 2z estiverem no intervalo [0, a). Ent
ao, A e da forma A(z) = ez para todo z A, sendo
/2
, C constantes satisfazendo e
= 1, o que nos permite escrever A(z) = 1 e(z1/2) .
Prova. Pelas hipoteses, a funcao B(z) = A (z)/A(z) e analtica em alguma vizinhanca aberta e conexa A0 de [0, a)
(com [0, a) A0 A). Tambem pelas hip
oteses, sempre que z, z + 1/2 e 2z estiverem no intervalo [0, a) valera
2A (2z) = A (z)A(z + 1/2) + A(z)A (z + 1/2). Logo, teremos nesse caso
2B(2z) =
A (z)A(z + 1/2) A(z)A (z + 1/2)

2A (2z)
=
+
= B(z) + B(z + 1/2) .
A(2z)
A(z)A(z + 1/2)
A(z)A(z + 1/2)
Assim, 2B(2z) = B(z) + B(z + 1/2) e do Lema 7.2 conclumos que para todo z A0 vale B(z) = com C, constante.
Logo, A (z) = A(z), ou seja, A(z) = ez em todo z A0 , para alguma constante C. Devido à analiticidade de A,
essa relacao vale em todo A. Da relacao A(2z) = A(z)A(z + 1/2), obtemos que e/2 = 1.
Os Lemas 7.2 e 7.3 podem ser interpretados como afirmacoes de existencia de solucoes das equacoes funcionais
2A(2z) = A(z) + A(z + 1/2) e A(2z) = A(z)A(z + 1/2) sob as hipoteses listadas em seus respectivos enunciados. Para
um tratamento extensivo de equacoes funcionais, vide [2].
Os Lemas 7.2 e 7.3, de acima, tem o seguinte corol
ario, o qual contem uma afirmacao de unicidade da funcao gama
de Euler:
Teorema 7.2 A func
ao gama de Euler e a u
nica func
ao que satisfaz as seguintes condic
oes:
1. G : C \ {0, 1, 2, . . .} C e analtica no seu domnio, tendo em z = 0 no m
aximo um p
olo simples,
2. G e real na semi-reta (0, ),
21 Gustav
Ferdinand Maria Herglotz (18811953).

atica
Captulo 7
Vers
291/2078
3. G satisfaz G(z + 1) = zG(z) em todo C \ {0, 1, 2, . . .},

4. G satisfaz a f
ormula de duplicac
ao G(2z) =
n
ao-positivos.
22z1
G(z)G z +
1
2
em todo C, exceto os inteiros e semi-inteiros
Prova. Seja G satisfazendo as propriedades listadas no enunciado. Ent

ao, A(z) := G(z)/(z) e analtica em uma
vizinhanca de [0, ) (lembrar que tem um p
olo simples em 0 e G no maximo um p
olo simples nesse ponto, pelo item
1), e real no intervalo (0, ) (pelo item 2) e satisfaz A(z + 1) = A(z) (pelo item 3) e A(2z) = A(z)A(z + 1/2) (pelo
item 4) onde essas relacoes estiverem bem definidas, o que inclui o intervalo [0, ). Pelo Lema 7.3, conclumos que
A(z) = e(z1/2) (justifique!). Como A e periodica de perodo 1, tem-se = 2ni, n Z. Como A e real em [0, ),
devemos ter n = 0, implicando que G(z) = (z) em C \ {0, 1, 2, . . .}.
7.5.3
O Teorema de Wielandt e Algumas de Suas Conseq

u
encias
O teorema que segue, obtido por Wielandt22 em 1939, e mais um teorema de unicidade da funcao gama. Sua utilidade
se manifestar
a na discuss
ao da importante Formula de Stirling, desenvolvida na Secao 7.6, p
agina 294.
Para um tratamento semelhante ao nosso, vide [201]23
ao gama de
Teorema 7.3 (Teorema de Wielandt) Considere-se o semiplano Cd := {z C| Re (z) > 0}. A func
Euler e a u
nica func
ao satisfazendo as seguintes hip
oteses:
1. G e analtica em Cd ,
2. G(z + 1) = zG(z) para todo z Cd ,
3. G(1) = 1,
4. G e limitada na faixa F := {z C| 1 Re (z) < 2}.
Nota.
Como a u
nica relaca
o funcional considerada no Teorema 7.3
e a relaca
o G(z + 1) = zG(z), podemos dizer que, em um certo sentido,
o Teorema de Wielandt generaliza o Teorema de Bohr-Mollerup, Teorema 7.1, p
agina 288, para o contexto de funco
es definidas em Cd e n
ao
apenas em R+ . Essa afirmaca
o tem que ser tomada cum grano salis, pois o Teorema de Bohr-Mollerup faz uso tamb
em de uma hip
otese de
convexidade ausente no Teorema de Wielandt.
evidente que
Prova do Teorema 7.3. Consideremos a funcao V : Cd C definida por V (z) = G(z) (z), z Cd . E
V satisfaz V (z + 1) = zV (z) e satisfaz tambem V (1) = 0. O mesmo raciocnio que nos conduziu a (7.14) permite obter
tambem
V (z + n)
.
(7.60)
V (z) =
(z + n 1)(z + n 2) z
Agora, V (z + n) e analtica para Re (z + n) > 0, Assim, (7.60) estende analiticamente V (z) para Re (z) > n, exceto nos
pontos z = k com k = 0, 1, . . . , n 1. Com isso, conclumos que V possui uma extensao analtica ao plano complexo
C, exceto aos pontos z = 0, 1, 2, . . ., onde possui no maximo p
olos simples. Seguindo os mesmos passos de (7.15),
conclumos tambem que essa extensao satisfaz V (z + 1) = zV (z) em todo o conjunto C \ {0, 1, 2, . . .}.
Ao contrario do que ocorre com a funcao , porem, a funcao V e regular nos pontos z = 0, 1, 2, . . ., pois,
analogamente a (7.16), temos por (7.60) que
lim (z + n)V (z) =
zn
lim (z + n)
zn
V (z + n + 1)
V (1)
=
= 0.
(z + n)(z + n 1) z
(1)(2) (n)
(7.61)
A conclusao ate aqui e que V e uma funcao inteira, i.e., analtica em todo C satisfazendo V (z + 1) = zV (z) para todo
z C.
22 Helmut
Wielandt (19102001).
tamb
em Reinhold Remmert, Wielandts Theorem About the -Function. The American Mathematical Monthly, 103, No. 3,
214220 (1996).
23 Vide

atica
Captulo 7
Vers
292/2078
Vamos agora analisar as conseq

uencias da hipotese que G e limitada na faixa {z C| 1 Re (z) < 2}. Pela
desigualdade (7.10), p
agina 275, e limitada nessa mesma faixa e, portanto, V tambem o e. Afirmamos que V e tambem
limitada na faixa F := {z C| 0 Re (z) < 1}. De fato, na regiao limitada {z C| 0 Re (z) < 1, 1 Im (z) 1}
a funcao V e limitada por ser analtica. Ja na regiao {z C| 0 Re (z) < 1, |Im (z)| > 1}, na qual tem-se |z| > 1,
podemos evocar o fato que V (z) = V (z + 1)/z e estabelecer que |V (z)| < |V (z + 1)| sup{|V (w)|, w F }, pois e
evidente que z + 1 F se z {z C| 0 Re (z) < 1, |Im (z)| > 1}.
Como a aplicacao z 1 z leva a faixa fechada {z C| 0 Re (z) 1} em si mesma e a funcao V (z) e limitada
nessa faixa (por essa ser um subconjunto de {z C| 0 Re (z) < 1} {z C| 1 Re (z) < 2}), conclumos que a funcao
V (1 z) e igualmente limitada em {z C| 0 Re (z) 1}.
Observe-se agora que a funcao U (z) := V (z)V (1 z) e inteira e periodica de perodo 1. De fato, U (z + 1) =
V (z + 1)V (z) = zV (z)V (z) = V (z) zV (z) = V (z)V (1 z) = U (z). Logo, U e limitada em {z C| 0 Re (z) 1}
e, portanto, em todo C, devido `
a periodicidade. Pelo Teorema de Liouville, U e constante. Como U (1) = V (1)V (0) = 0,
f
conclumos que U anula-se em toda parte. E
acil concluir disso que V anula-se em toda a parte: se V (z) n
ao se anulasse
em um aberto A C, ent
ao V (1 z) anular-se-ia nesse aberto e, como V e inteira, isso implica que V e identicamente
nula. Portanto, conclumos que G e coincidem, que e o que desejavamos estabelecer.
7.5.3.1
A F
ormula de Multiplicac
ao de Gauss da Func
ao Gama
O Teorema de Wielandt, Teorema 7.3, p

agina 291, pode ser utilizado para uma demonstracao simples de mais uma
propriedade importante da funcao gama de Euler: para cada m N tem-se
mmz1/2
(2)m1
(mz) =
m1
z+
l=0
l
m
(7.62)
valida para todo z C, exceto 0, 1/m, 2/m, 3/m, . . ., ou seja, valida para todo z C \ {n/m, n N0 }.
A identidade (7.62), denominada f

ormula de multiplicac
ao da func
ao gama, ou f
ormula de multiplicac
ao de Gauss da
func
ao gama, foi provada em 1812 por Gauss por meios distintos dos que apresentaremos no que segue. Note-se que o
caso m = 1 e uma identidade trivial e o caso m = 2 reproduz a Formula de Duplicacao de Legendre , eq. (7.53), p
agina
287, e, portanto, (7.62) pode ser considerada uma generalizacao daquela relacao.
Para a prova de (7.62) precisamos de alguns resultados preparatorios elementares.
Lema 7.4 Para cada m N vale a identidade
m
l=1
z e2il/m
= zm 1
(7.63)
para todo z C. Como conseq

uencia, vale a identidade
m1
l=1
z e2il/m
zm 1
=
z1
m1
za
(7.64)
a=0
para cada m N, m 2, e todo z C, z = 1. De (7.64) segue tambem que

m1
l=1
1 e2il/m
= m
(7.65)
para todo m N, m 2.
Prova. Os zeros do polinomio z m 1 sao, naturalmente, as razes m-esimas da unidade, ou seja, sao os elementos de
m
{e2il/m , l = 1, . . . , m}. Assim, z m 1 = l=1 z e2il/m para alguma constante . Comparando os termos de
grau maximo de ambos os lados, constatemos facilmente que = 1, provando (7.63).

atica
Captulo 7
Vers
293/2078
m1
A primeira igualdade em (7.64) segue de (7.63) e do fato que l=1 z e2il/m = (z 1) l=1 z e2il/m . A
m1
segunda e a bem conhecida f
ormula para a soma de uma progressao geometrica (para obte-la, multiplique-se a=0 z a
por z 1, expanda-se o produto e constate-se que todos os termos cancelam-se, exceto z m e 1).
A eq. (7.65) e obtida tomando-se o limite de (7.64) quando z 1.
Logo adiante usaremos o lema que segue, o qual expressa uma propriedade bem-conhecida da funcao seno.
Lema 7.5 Para todo m N, m 2, vale
m1
sen
l=1
Prova.
m1
sen
l=1
l
m
1
(2i)m1
l
m
2m1
m1
eil/m eil/m
l=1
m1
(7.66)
2m1
l=1
1 e2il/m
(7.65)
m
,
2m1
onde, na segunda igualdade, usamos que os fatos que 1 + 2 + + m 1 = (m 1)m/2 e que ei(m1)/2 = im1 .
Proposi
c
ao 7.2 Para todo m N, m 2, vale
m1
l=1
l
m
(2)m1
,
m
(7.67)
identidade obtida por Euler em cerca de 1776.
Nota.
Como se v
e, a F
ormula de Multiplicaca
o da funca
o gama, relaca
o (7.62),
e uma generalizaca
o de (7.67).
Prova da Proposicao 7.2. Seja P (m) :=

m1
P (m) = l=1 1 ml . Logo,
m1
P (m)2 =
l=1
l
m
m1
l=1
l
m
l
m
. Pela simples mudanca de variaveis l m l podemos escrever

(7.39)
m1
m1
l=1
1
sen ml
(7.66)
m1
2m1
,
m
o que completa a prova de (7.67).

Chegamos agora ao resultado que nos interessa provar:
Teorema 7.4 (F
ormula de Multiplica
c
ao de Gauss da Fun
c
ao Gama) Para cada m N vale
(mz) =
mmz1/2
(2)m1
m1
z+
l=0
l
m
(7.68)
para todo z C \ {n/m, n N0 }.

Prova. Como ja dissemos, no caso m = 1 n
ao h
a o que provar, de modo que consideraremos m 2. Para demonstrarmos
(7.68), consideremos a funcao
m1
z+l
mz1/2
:=
.
(7.69)
G(z)
m1
m
(2)
l=0
Em primeiro lugar, uma simples inspecao dessa formula leva à conclusao que G e analtica na regiao Cd := {z
C| Re (z) > 0}.

atica
Captulo 7
Vers
294/2078
Em segundo lugar, nessa regi

ao vale tambem G(z + 1) = zG(z), pois
G(z + 1) :=
mz+11/2
(2)m1
m1
l=0
z+1+l
m
mz+11/2
(2)m1
m
l=1
=
sendo que a u
ltima igualdade segue do fato que m
z+m
m
z+l
m
= m
z+m
m
z
m
z
m
m1
mz1/2
(2)m1
z
+ 1 = mm
z
m
z+l
m
l=0
= z
z
m
= zG(z) ,
Em terceiro lugar,
G(1) =
m
(2)m1
l
m
l=1
(1)=1
m
(2)m1
m1
l=1
l
m
(7.67)
1.
Em quarto lugar, dado que mz = mRe (z) eiIm (z) ln m = mRe (z) e que a desigualdade (7.10), p
agina 275, pode ser
aplicada a cada um dos fatores de (7.69), segue que G e limitada na faixa F := {z C| 1 Re (z) < 2}.
Assim, pelo Teorema 7.3, p

agina 291, conclumos que G = em C \ {n, n N0 }. Logo, (mz) = G(mz) para todo
z C \ {n/m, n N0 }, que e a relacao (7.68).
7.6
A Aproxima
c
ao de Stirling e suas Correco
es
Nesta secao estudaremos o comportamento assint

otico de n! para n grande e da funcao gama de Euler (z) para |z|
grande em um certo domnio. Em ambos os casos obteremos a chamada aproximac
ao de Stirling24 , importante em
areas como a Teoria de Probabilidade, Estatstica, Mecanica Quantica, Mecanica Estatstica etc., e estudaremos suas
correcoes.
No caso de fatoriais a aproximacao de Stirling consiste da aproximacao
1
n! 2 nn+ 2 en
(7.70)
quando n N e grande e e muitas vezes apresentada na forma

ln(n!)
ln(2)
1
+ n+
2
2
ln n n ,
(7.71)
ou ainda na forma
ln(n!) n ln n n ,
(7.72)
que difere da anterior pela negligencia do termo (ln(2) + ln n)/2, o qual e pequeno em relacao aos demais para n
grande. A aproximacao (7.70) deve ser entendida no sentido da seguinte afirmacao precisa em termos de limites:
n!
= 1.
lim
1
n
2 nn+ 2 en
A aproximacao de Stirling foi originalmente encontrada (por volta de 1730) por de Moivre25 , o qual obteve a apro1
2 en , sendo que K era uma constante que de Moivre n
ximacao n! K nn+
ao pode especificar. A contribuicao de Stirling
foi provar que K = 2.
A aproximacao de Stirling, na forma (7.70) ou na forma (7.72), e muito u
til, por fornecer uma boa aproximacao para
n!, quando n e grande, em termos de funcoes simples de n. Que a aproximacao e boa mostra o fato que ja para n = 6
24 James
Stirling (16921770).
de Moivre (16771754).
25 Abraham

atica
Vers
Captulo 7
295/2078
a equacao (7.70) aproxima 6! = 720 por 710, 07 . . ., um erro relativo percentual de cerca de 1, 4%, onde por erro relativo
entendemos a expressao26
1
n! 2 nn+ 2 en
En =
.
(7.73)
n!
Para n = 13 o erro relativo percentual da f
ormula de Stirling e de cerca de 0, 6%.
E. 7.8 Exerccio. O estudante podera divertir-se calculando a aproximacao fornecida por (7.70) para alguns valores de n,
usando uma calculadora de bolso, por exemplo, e constatando que o erro relativo percentual melhora quando n aumenta.
Mais adiante (vide p
agina 301) encontraremos aproximacoes para n! ainda melhores que a de Stirling. Por exemplo,
1
1
1
1
(7.74)
An := 2 nn+ 2 en+ 12n+1
e
Bn := 2 nn+ 2 en+ 12n
satisfazem An < n! < Bn para todo n N e ambos aproximam n! com um erro relativo percentual menor que 0,7
n2 % para
n N, o que corresponde a um erro relativo percentual menor que 0, 7% para n = 1, menor que 0, 02% para n = 6 e
menor que 0, 004% para n = 13. Para n = 6, por exemplo, An fornece a aproximacao 6! 719, 8722, com um erro relativo
percentual de 0, 018% e Bn fornece a aproximacao 6! 720, 00089 . . ., com um erro relativo percentual de 1 104 % (!).
A aproximacao de n! por An e Bn e um resultado relativamente recente (de 1955), obtido por Robbins27 .
A aproximacao de Stirling pode ser apresentada em forma exata como
1
nN,
n! = 2 nn+ 2 en en ,
(7.75)
com a seq
uencia n satisfazendo limn n = 0. Em diversos problemas e de interesse conhecer-se as correcoes à
Aproximacao de Stirling (7.70) codificadas acima na seq
uencia n . Ser
a um dos prop
ositos nossos na corrente secao
apresentar expressoes para tais correcoes.
Na corrente secao obteremos uma relacao ainda mais geral que (7.70), a saber, obteremos a chamada aproximac
ao de
Stirling para a func
ao gama:
1
(z) = 2 z z 2 ez e(z) ,
(7.76)
ao-positiva),
valida para todo z Cc := C\ {w C| Re (w) 0 e Im (w) = 0} (o plano complexo menos a semi-reta real n
sendo que a funcao (z), acima28 , pode ser expressa de diversas formas como, por exemplo,
(z) =
z+m+
m=0
1
2
ln 1 +
1
z+m
1 ,
(7.77)
tambem para z Cc . Em textos como [201] o leitor poder

a encontrar diversas outras expressoes para (z), validas
em diversas regioes. A serie do lado direito de (7.77) e denominada serie de Gudermann29 , tendo sido obtida por esse
matematico em 184530 . Demonstraremos que lim |(z)| = 0, ou seja, que
|z|
zCc
(z)
= 1,
lim
1
2 z z 2 ez
|z|
zCc
com o limite tomado com z = |z|ei , sendo < < fixo. Isso conduz à aproximacao assint
otica
1
(z) 2 z z 2 ez ,
(7.78)
valida para |z| grande e fixo (com z Cc ). A relacao (7.78) e tambem denominada aproximac
ao de Stirling para a
Func
ao Gama.
1
valor absoluto n
ao
e necess
ario em (7.73) pois, como veremos, para cada n N vale n! > 2 nn+ 2 en .
Herbert Ellis Robbins (19152001). Vide H. Robbins, A Remark on Stirlings Formula, American Mathematical Monthly, 62, 2629
(1955). Esse resultado pode tamb
em ser encontrado em [68], que cita Robbins. Robbins
e um dos autores de [52].
28 A fun
ca
o que ocorre em (7.76)
e por vezes denominada func
ao de Binet, em honra a Jacques Philippe Marie Binet (17861856), que foi
o primeiro a obter correco
es `
a aproximaca
o de Stirling, em 1839. O trabalho original de Binet sobre o tema
e: M. J. Binet, M
emoire sur les
int
egrales d
efinies Eul
eriennes, Journ. de lEcole
Roy. Polyt. 16, 123343 (1839).
29 Christoph Gudermann (17981852).
30 C. Gudermann, Additamentum ad functionis (a) = ex xa1 dx theoriam. Journ. reine angew. Math. 29, 209212 (1845).
0
26 O
27

atica
Segundo (7.76), tem-se para n N

n! = (n + 1) =
Captulo 7
Vers
296/2078
1
1
2 (n + 1)n+ 2 en1 e(n+1) = 2 nn+ 2 en en ,
onde identificamos
n
n+
1
2
ln 1 +
1
n
1 + (n + 1)
n+
1
2
ln 1 +
1
n
1+
n+1+m+
m=0
1
2
ln 1 +
1
n+1+m
(n) .
Verifique! Resumindo, temos para todo n N
1
2 nn+ 2 en exp
n! =
n+m+
m=0
1
2 nn+ 2 en exp
m+
m=n
1
2
1
2
ln 1 +
ln 1 +
1
m
1
n+m
(7.79)
e temos para todo z Cc

(z) =
1
2 z z 2 ez exp
z+m+
m=0
1
2
ln 1 +
1
z+m
(7.80)
Essas u
ltimas expressoes representam as aproximacoes de Stirling exatas para n! e para a funcao gama de Euler, ou seja,
incluindo correcoes.
7.6.1
A Aproxima
c
ao de Stirling para Fatoriais e suas Correc
oes. A S
erie
de Gudermann
Nesta secao apresentaremos a demonstracao tradicional da aproximacao de Stirling para n! quando n e grande. Ela e
proxima da demonstracao historica de de Moivre e de Stirling.
Algumas sugest
oes preliminares
A funcao ln x e crescente no intervalo (0, ) e, portanto, vale para todos a e b com 0 < a < b < a desigualdade
b
(b a) ln a <
ln x dx < (b a) ln b .
Tomando-se b = a + 1 temos para todo a > 0 que

a+1
ln a <
ln x dx < ln(a + 1)
a
e disso segue (trocando-se a a 1) que

a+1
ln x dx
ln x dx < ln a <
a1
(7.81)
para a > 1. Como ln x = x(ln(x) 1) e f

acil ver que as desigualdades (7.81) permanecem validas mesmo para a = 1,
quando a primeira integral e impr
opria, pois
2
lim
a1
a1
ln x dx = lim a ln a 1 (a 1) ln(a 1) 1
a1
= 1 < 0 = ln 1 <
ln x dx .
1

atica
Captulo 7
Vers
297/2078
(Recordar que limy0 y ln y = 0).

n
k=1
evidente que para n N tem-se ln(n!) =

E
n
ln k e usando (7.81) podemos escrever

n
ln x dx <
k=1
k1
o que significa que
ln x dx
k=1
k=1
n+1
ln x dx .
ln x dx < ln(n!) <

1
Novamente usando
k+1
ln k <
ln x = x(ln(x) 1), ambas as integrais de acima podem ser calculadas explicitamente, e obtemos
n ln(n) n < ln(n!) < (n + 1) ln(n + 1) n ,
ou
n ln(n) < ln(n!) + n < (n + 1) ln(n + 1) .
Essas desigualdades sugerem que estudemos a diferenca entre ln(n!) + n e o valor medio entre n ln(n) e (n + 1) ln(n + 1),
o qual e dado por
1
ln nn (n + 1)n+1
2
1
1
ln n2n+1 1 +
2
n
n+1
n+
1
2
ln(n) +
1
ln
2
1+
1
n
n+1
n+1
aproxima-se de e, de modo que o valor medio acima aproxima-se de n +

Para n grande, 1 + n1
que, por sua vez, pode ser aproximado por n + 12 ln(n) para n grande.
.
1
2
ln(n) + 1/2
Estudemos, ent
ao, a convergencia da seq
uencia
Sn = ln(n!) + n n +
1
2
ln(n) ,
o que faremos no que segue.

A converg
encia da seq
u
encia Sn
elementar constatar que

Para demonstrarmos a convergencia da seq
uencia Sn procederemos da seguinte forma. E
Sn Sn+1 =
n+
1
2
ln
n+1
n
Sabemos que a serie de Taylor da funcao ln(1 + z) centrada em 0 e
(1)k
k=0
Assim, na mesma regi

ao teremos
1
ln
2
1+z
1z
1+
1
1 = (2n + 1) ln
2
k=0
1
2n+1
1
2n+1
1.
z k+1
, a qual converge na regiao |z| < 1.
k+1
z 2k+1
.
2k + 1
(7.82)
Como 1/(2n + 1) < 1, obtemos, tomando z = 1/(2n + 1) que

Sn Sn+1 =
k=0
1
1 =
(2k + 1)(2n + 1)2k
k=1
1
.
(2k + 1)(2n + 1)2k
H
a duas conclusoes a se extrair dessa igualdade. A primeira e que, como evidentemente o lado direito e positivo,
tem-se Sn > Sn+1 para todo n, o que nos informa que Sn e uma seq
uencia decrescente.
A segunda conclusao nasce da observacao que
Sn Sn+1 =
k=1
1
1
<
(2k + 1)(2n + 1)2k
3
k=1
1 (2n+1)2
1
1
=
=
1
2k
(2n + 1)
3 1 (2n+1)
12
2
1
1
n n+1

atica
evidente, portanto, que Sn

Verifique! E
seq
uencia crescente.
Captulo 7
Vers
1 1
12 n
<
Sn+1
1 1
12 n+1
298/2078
, e conclumos que a seq

uencia Sn
1 1
12 n
e uma
1 1
1 1
uencia Sn , n > n0 , e
Logo, para n0 fixo, vale para todo n > n0 que Sn0 12
n0 < Sn 12 n < Sn . Assim, a seq
limitada inferiormente e, como trata-se de uma seq
uencia decrescente, a mesma converge a um n
umero C R.
Logo, lim
ln(n!) + n n +
1
2
ln(n)
= C, o que equivale a dizer que

lim
n!
1
nn+ 2 en
= eC .
(7.83)
Esse foi o resultado obtido originalmente por de Moivre. Temos agora que estabelecer qual o valor de C.
A determina
c
ao da constante C
A contribuicao de Stirling `
a demonstracao da aproximacao de Stirling foi provar que eC = 2, o que pode ser feito
com o seguinte procedimento. De acordo com a f
ormula do produto de Wallis31 na forma (6.27), p
agina 268, temos
(6.27)
nn+ 2 en
1
22n (n!)2
22n (n!)2
lim
= lim
n (2n)!
n (2n)!
2n + 1
o que implica eC =
= lim
n
n!
nn+1/2 en
(2n)!
22n n2n+1 e2n
2.
1
nn+ 2 en
1
(2n + 1)
1
(2n + 1)
n 2
= lim
n!
nn+1/2 en
(2n)!
(2n)2n+1/2 e2n
2n
2n + 1
(7.83)
eC
,
2
E. 7.9 Exerccio. Verifique cada uma das passagens de acima.

Nossa conclusao final e que vale
n!
lim
= 1.
(7.84)
1
2 nn+ 2 en
Como ja dissemos no incioda presente secao, esse e o significado exato, em termos de um limite, da chamada apro1
ximac
ao de Stirling: n! 2 nn+ 2 en , para n grande. Essa aproximacao serve tambem como motivacao para os
desenvolvimentos posteriores desta secao, que lidam com generalizacoes para a funcao gama de Euler no plano complexo
e no c
omputo de suas respectivas correcoes.
n
Corre
co
es `
a aproxima
c
ao de Stirling para fatoriais. A s
erie de Gudermann
Sob a luz da aproximacao de Stirling, e natural considerarmos escrever
1
n! = 2 nn+ 2 en en
com o fator de correcao en introduzido ad hoc para tornar a igualdade verdadeira32 para todo n N. Naturalmente,
devido a (7.84), temos limn n = 0. Dividindo-se a expressao para (n + 1)! pela expressao para n!, obtemos
n+ 21
1
n + 1 = (n + 1) 1 +
n
en+1 n 1
e, portanto,
n+1 n = 1 n +
31 Na
1
2
ln 1 +
1
n
Seca
o 6.2.1, p
agina 266, apresentamos uma deduca
o elementar dessa f
ormula sem fazer uso de propriedades da funca
o gama de Euler,
em contraste com o que fizemos em (7.46), p
agina 286.
32 Para uma refer
encia contendo algumas notas hist
oricas sobre correco
es `
a f
ormula de Stirling, vide I. Tweddle, Approximating n!,
Historical Origins and Error Analysis, American Journal of Physics, 52, 487488 (1984).

atica
Captulo 7
Vers
299/2078
Assim, para todo m N vale

m1
n+m n =
k=0
1 n+k+
1
2
ln 1 +
1
n+k
1
n+k
e como limm n+m = 0, obtemos
n =
n+k+
k=0
1
2
ln 1 +
(7.85)
que podemos tambem expressar como

n =
k+
k=n
1
2
ln 1 +
1
k
1 .
(7.86)
Essa serie e denominada serie de Gudermann33 e sua extensao ao plano complexo sera estudada com detalhe na Secao
7.6.2 (inclusive sua convergencia). Com a mesma, justificamos escrever a expressao exata (7.79) para n!, com n N.
E. 7.10 Exerccio. Verifique que se considerarmos apenas o primeiro termo da serie (7.86), obtemos a aproximacao
1
(7.87)
n! 2 (n + 1)n+ 2 e(n+1) .
Usando o fato que para n grande podemos aproximar e1/2 1 +
n!
n+
e
1
2
n+ 12
1/2
n+ 12
, obtenha tambem34
n+ 12
(7.88)
As duas ultimas aproximacoes para n! sao ligeiramente melhores que a de Stirling, mesmo para n pequeno. Para n = 0,
por exemplo, Stirling fornece 0! 0 (um erro relativo de 100%), enquanto que (7.87) fornece 0! 0, 9221 (um erro relativo
de 7, 8%) e (7.88) fornece 0! 1, 0750 (um erro relativo de 7, 5%). Para n = 1, Stirling fornece 1! 0, 921 (um erro relativo
de 7, 8%), enquanto que (7.87) fornece 1! 0, 975 (um erro relativo de 2, 5%) e (7.88) fornece 1! 1, 0252 (um erro relativo
de 2, 5%). Verifique!
Uma representa
c
ao integral para n
Para motivar o tratamento que faremos da extensao complexa da serie de Gudermann, observemos ainda que os
termos da serie de Gudermann podem ser escritos como
n+k+
1
2
ln 1 +
1
n+k
1 =
1
2
1
0
t(1 t)
dt .
(n + k + t)2
Isso pode ser constatado calculando-se diretamente a integral do lado direito, usando o fato que
integracao por partes. Assim,
1 1 t(1 t)
dt .
n =
2 0 (n + k + t)2
1
(n+k+t)2
d
1
= dt
n+k+t e
k=0
Com as mudancas de variaveis t t + k, temos

n =
k=0
1
2
k+1
k
(t k) 1 (t k)
dt .
(n + t)2
(7.89)
natural agora introduzirmos a funcao Q : R R, definida como sendo a funcao contnua e periodica de perodo 1 que
E
no intervalo [0, 1) e dada por
1
Q(t) = t(1 t) .
2
33 Christoph
34 Vide
Gudermann (17981852).
tamb
em Y. Weissman, Am. J. Phys. 51, 9 (1983) e veja tamb
em a refer
encia listada na nota de rodap
a 32, p
agina 298.

atica
Captulo 7
Vers
300/2078
Vide Figura 7.4, p

agina 303. Para cada intervalo [k, k + 1), k N0 , teremos, devido à periodicidade,
Q(t) =
1
(t k) 1 (t k) .
2
Com essa funcao, e devido a (7.89), podemos escrever
n =
k+1
k=0
Assim, temos tambem

n! =
Q(t)
dt =
(n + t)2
1
2 nn+ 2 en exp
0
Q(t)
dt .
(n + t)2
Q(t)
dt
(n + t)2
(7.90)
Essas u
ltimas expressoes motivam nosso ponto de partida para a extensao complexa da formula de Stirling e da serie
de Gudermann que faremos na Secao 7.6.2, a seguir.
A expressao (7.90) tem o merito de explicitar que n > 0 para todo n e, portanto, tem-se para cada n a desigualdade
1
n! > 2 nn+ 2 en ,
1
indicando que a aproximacao de Stirling 2 nn+ 2 en aproxima n! por baixo.
Outra representa
c
ao u
til de n
Tomando y
1
2(n+k)+1
podemos escrever (verifique!)
n+k+
1
2
ln 1 +
1
n+k
Assim, por (7.85),

n =
1 =
1
ln
2y
1+y
1y
(7.82)
1
1
2a + 1 2(n + k) + 1
k=0 a=1
2a
y 2a
.
2a + 1
a=1
(7.91)
A expressao (7.91) e ponto de partida, inclusive em trabalhos recentes35 , para a obtencao de majorantes e minorantes
para n . No que segue apresentaremos algumas das estimativas mais simples desse tipo.
Majorantes e minorantes para n
Como ja dissemos, e evidente por (7.90) que n > 0 para todo n. Como Q(t) 1/8, segue facilmente tambem de
Q(t)
1
1
1
1
para todo n 1, pois n = 0 (n+t)
. Essas estimativas podem ser um
dt = 8n
(7.90) que n < 8n
2 dt < 8
0 (n+t)2
tanto incrementadas, como veremos.
Tendo (7.91) em mente e usando que 2a + 1 3 para a 1, obtemos pela soma de uma progressao geometrica
infinita,
1
1
2a
+
1
2(n + k) + 1
a=1
2a
<
1
1
3 a=1 2(n + k) + 1
Assim,
n <
1
12
k=0
2a
1
1
3 2(n + k) + 1
1
1
n+k n+k+1
1
12
1
1
n+k n+k+1
1
.
12n
Tomando-se apenas os termos com a = 1 em (7.91), teremos tambem

n >
1
3
k=0
1
2(n + k) + 1
1
12
k=0
1
2
n+
+k
>
1
12
1
n+
1
2
+x
dx =
1
.
12n + 6
35 Vide M. Mansour Note on Stirlings Formula, International Mathematical Forum 4, no. 31, 15291534 (2009). Uma lista de resultados
hist
oricos para majorantes e minorantes de n e refer
encias a seus trabalhos originais pode ser encontrada nesse trabalho.

atica
Captulo 7
Vers
301/2078
A referencia listada na nota-de-rodape 35, p

agina 300, atribui esse simples resultado a Uspensky36 , em 1937.
Em resumo, vale, portanto,
1
1
< n <
12n + 6
12n
para cada n N e temos
1
1
2 nn+ 2 en e 12n
(7.92)
2 nn+ 2 en e 12n+6 < n! <
(7.93)
para cada n N.
A primeira das majoracoes em (7.92) pode ser melhorada da seguinte forma37 . Tendo em mente (7.91), podemos
escrever a somatoria em a como
1
1
2a
+
1
2p + 1
a=1
2a
>
1
3 2p + 1
a=1
1
3 2p + 1
sendo p n + k, onde usamos o fato que 2a + 1 3 para todo a N (o que pode ser facilmente provado, por exemplo,
por inducao. Faca-o!) e usamos a expressao da soma de uma progressao geometrica infinita. Agora, como n 1, tem-se
p 1 e, com isso,
3 2p + 1
1 = 12 p2 + p +
1
6
= 12 p2 + 1 +
p1
12 p2 + 1 +
1
6
1
6
1
p + (1 p)
6
12 p2 + 1 +
1
6
p+
1
12
1
1
+
12 122
= 12 p + 1 +
1
12
p+
1
12
Portanto,
1
3 2p + 1
Assim, por (7.91), teremos

n >
1
12
k=0
>
1
1
1
12 p + 1 + 12
1
n+k+
Portanto, vale
1
12
p+
1
12
1
n+k+1+
1
12
1
1
1
p + 12
p+1+
1
12
1
1
1
=
.
1
12 n + 12
12n + 1
1
1
< n <
12n + 1
12n
para cada n N e temos
2 nn+ 2 en e 12n+1 < n! <
(7.94)
1
1
2 nn+ 2 en e 12n
(7.95)
para cada n N, majoracoes essas mais precisas que (7.92)(7.93). Como dissemos, esses limitantes ainda podem ser
melhorados e h
a uma extensa literatura sobre tal assunto.
Outros aproximantes para n!
1
1
e proximo a 12n+1
para n 1, as expressoes à direita e à esquerda de
Contemplando (7.95), observamos que como 12n
(7.95) devem tambem aproximar n!. O proximo exerccio demonstra isso e mostra que essas aproximacoes sao excelentes,
mesmo para valores pequenos de n.
1
1
1
1
E. 7.11 Exerccio. Sejam An := 2 nn+ 2 en e 12n+1 e Bn := 2 nn+ 2 en e 12n , n N. Por (7.95) vale An < n! < Bn
e podemos considerar os erros relativos obtidos ao se aproximar n! por An ou por Bn , os quais sao dados por
An
:=
n! An
An
An
= 1 exp
= 1
< 1
n!
n!
Bn
Bn
:=
Bn
Bn
Bn n!
1 = exp
=
1 <
n!
n!
An
36 James
37 Para
Robbins.
1
1
12n + 1 12n
1
1
12n 12n + 1
= 1 exp
1 = exp
1
144n2 + 12n
1
144n2 + 12n
1.
Victor Uspensky (18831947).

a refer
encia original, vide nota-de-rodap
e 27, p
agina 295. Outra demonstraca
o pode tamb
em ser encontrado em [68], que cita

atica
Captulo 7
Vers
302/2078
Como An > 0 e Bn > 0, as expressoes de acima provam que

lim
An
Bn
= 1 = lim
.
n
n!
n!
Prove que para x > 0 tem-se 1 ex < x e obtenha

0 < An <
1
0, 00694 . . .
1
=
<
2
+ 12n
144n
n2
144n2
para todo n N. Se A > 0, prove que para x [0, A] vale ex 1

0 < Bn <
13 e1/156 1
12n2 + n
eA 1
A x
13 e1/156 1
12n2
<
e com isso obtenha

=
0, 00696 . . .
n2
para todo n N.
Assim, o erro relativo percentual dos aproximantes à esquerda e à direita de (7.95) pode ser majorado por 0, 7n2 % para
cada n N, decaindo rapidamente, portanto, para n . Mesmo para n = 1 o erro relativo percentual desses aproximantes
e inferior a 0, 7 %. Compare com os n
umeros obtidos no Exerccio E. 7.10, pagina 299.
7.6.2
A Aproxima
c
ao de Stirling para a Func
ao Gama e suas Correc
oes.
A S
erie de Gudermann
A Aproxima
c
ao de Stirling para (z) e suas corre
co
es
Vamos agora enunciar e demonstrar o resultado principal da presente secao: a Aproximacao de Stirling com suas
correcoes para a funcao gama de Euler em Cc . Como veremos, a demonstracao evoca mais uma vez o Teorema de
Unicidade de Wielandt, Teorema 7.3, p
agina 291.
Teorema 7.5 Para todo z Cc := C \ {w C| Re (w) 0 e Im (w) = 0} (o plano complexo menos a semi-reta real
n
ao-positiva) vale
1
1
(z) = 2 exp
z
(7.96)
ln z z e(z) = 2z z 2 ez e(z) ,
2
onde
(z) :=
0
Q(t)
dt ,
(z + t)2
(7.97)
com Q : R R sendo a func

ao contnua e perodica de perodo 1 que no intervalo [0, 1) e dada por
1
t(1 t) .
2
Q(t) =
Vide Figura 7.4, p

agina 303. A func
ao e analtica em todo Cc e, escrevendo-se z Cc na forma polar z = |z|ei com
|z| > 0 e < < , valem as seguintes estimativas:
|(z)|
Para < < vale
sen
1
cos2 (/2) .
.
8|z| sen
(7.98)
Portanto, tem-se tambem de (7.98) que |(z)|
Prova do Teorema 7.5. (Aqui seguimos proximamente [201]). Para z Cc , defina-se

S(z) :=
2 exp
1
2
ln z z
1
2z z 2 ez .
1
1
8|z| cos2 (/2) .

atica
Captulo 7
Vers
303/2078
elementar constatar (faca-o!) que para todo z Cc vale

E
S(z + 1) = exp z ln
z+1
z
1
ln z(z + 1) 1 S(z) ,
2
(7.99)
resultado que sera evocado mais adiante.

Vamos agora considerar uma funcao real Q(t) definida em todo R, perodica de perodo 1 e de sorte que no intervalo
agina 303. Seguindo sugestao engenhosa de Stieltjes38 , defina-se
[0, 1) tenhamos Q(t) = 21 t(1 t). Vide Figura 7.4, p
Q
1/8
Figura 7.4: O gr
afico de Q(t), periodica de perodo 1 e que vale t(1 t)/2 no intervalo [0, 1).
agora, para z Cc , a funcao
(z) :=
0
Q(t)
dt .
(z + t)2
(7.100)
Afirmamos que e analtica em todo Cc . De fato, |Q(t)| 1/8 para todo o t e se z = x + iy Cc com x e y reais, tem-se
Q(t)
(z + t)2
1
1
8 (x + t)2 + y 2
(7.101)
e disso se conclui que a integral do lado direito em (7.100) converge uniformemente para z em compactos de Cc . Agora,
Q(t)
e, evidentemente, analtica como funcao de z para z Cc . Logo, (z) e analtica
para cada t (0, ) a funcao (z+t)
2
em todo Cc .
O ponto crucial e constatarmos agora que para cada z C vale
(z + 1) (z) =
Q(t)
dt
(z + 1 + t)2
Q(t)
dt =
(z + t)2
1
integ. por partes
Q (t)
dt =
z+t
1
0
Q(t)
dt
(z + t)2
1 1
2
0
t
1
dt = z +
z+t
2
ln
z+1
z
+ 1 . (7.102)
Verifique! Dessa forma, se definirmos para z Cc a funcao

G(z) := S(z)e(z)
teremos por (7.99) e (7.102) que
G(z + 1) = zG(z) .
E. 7.12 Exerccio importante. Verifique!
Evocando o Teorema de Wielandt, Teorema 7.3, p
agina 291, tudo o que nos resta para provar que = G em todo
Cc e demonstrar que G e limitada na faixa F := {z C| 1 Re (z) < 2} e que G(1) = 1.
No ret
angulo F z C| 1 Im (z) > 1 tanto S(z) quanto e(z) sao limitadas por serem analticas nessa regiao.
Consideremos, ent
ao, a regi
ao R := F z C Im (z) 1 . Nela temos, por (7.101),
Q(t)
(z + t)2
38 Thomas
Joannes Stieltjes (18561894).
1
1
8 (1 + t)2 + 1

atica
(lembrar que |y| > 1 e x 1 em R) e, portanto, |(z)|

F e, portanto, e
(z)
1
dt
0 (1+t)2 +1
1
8
304/2078
< para todo z R. Assim, e limitada em
tambem o e. Quanto ao fator S(z), temos o seguinte. Vale
|S(z)| =
Para z = x + iy =
Captulo 7
Vers
2 exp
1
2
ln z z
x2 + y 2 ei com = arctan
Re
1
2
y
x
2 exp Re
1
2
ln z
Re (z)
, sendo < < , temos
ln z
1
2
ln( x2 + y 2 ) y .
Verifique! Por consideracoes puramente geometricas e facil ver que na regiao R tem-se para y > 1 que > 0 , onde
arctan(1/2) > 0 e para y < 1 que < 0 . Assim, y |y|0 em toda a regiao R. Logo, em R vale
Re
1
2
ln z
3
ln
2
4 + y 2 |y|0
e, portanto,
|S(z)| (4 + y 2 )3/4 e|y|0
que, claramente, e uma funcao limitada em R, convergindo a zero quando |y| .
Estabelecemos que S(z), e(z) e, portanto, G(z) sao limitadas em F . Resta-nos provar que G(1) = 1. Como G(1)
e certamente positivo, os resultados obtidos ate aqui ja garantem que G(z)/G(1) = (z) para todo z Cc . Logo, a
f
ormula de duplicacao (7.53) garante-nos que
22z1 G(z)G z +
G(2z)
G(1) =
1
2
(verifique!) para todo z Cc , ou seja,

G(1) =
22z1 S(z)S z +
S(2z)
1
2
exp (z) + z +
1
2
(2z)
Um c
alculo expltico usando a definicao de S mostra que
S(z)S z +
S(2z)
1
2
1
2z+1
2
exp z ln 1 +
e
2z
(verifique!) e, portanto,
1
1
G(1) = exp z ln 1 +
e
2z
exp (z) + z +
1
2
(2z)
Tomando agora z = x, real e positivo, podemos escrever

1
G(1) =
e
de se observar agora que limx 1 +
E
do fato que, como Q(t) 1/8, temos
(x) =
0
1+
1 x
2x
1
2x
exp (x) + x +
1
2
(2x)
(7.103)
e (um resultado bem conhecido) e que limx (x) = 0. Isso segue
Q(t)
1
2
(x + t)
8
1
1
=
2
(x + t)
8
1
1
=
.
2
t
8x
Assim, tomando o limite x em (7.103), obtemos G(1) = 1, estabelecendo (7.96)(7.97).
Vamos agora demonstrar a estimativa (7.98). Escrevendo z Cc na forma polar z = |z|ei , com |z| > 0 e < < ,
tem-se a seguinte majoracao:
1
1
dt .
(7.104)
|(z)|
8 0 (|z| cos + t)2 + |z|2 sen 2

atica
Captulo 7
Vers
305/2078
dt
arctan(b/a)
=
(prove isso com a mudanca de variaveis t r
2 + b2
(a
+
t)
b
0
1
disso, segue facilmente que |(z)| 8|z|
sen , estabelecendo (7.98).
f
E
acil provar que
b
a+t ).
Com uso
A s
erie de Gudermann
A expressao (7.97) pode ser reescrita de forma mais explcita como
(z) :=
0
Q(t)
dt =
(z + t)2
m+1
m=0
Q(t)
dt =
(z + t)2
1
2
m=0
1
0
t(1 t)
dt .
(z + t + m)2
Note-se que a convergencia da serie do lado direito para cada z Cc e evidente, pois 21 t(1 t) 1/8 e os termos
comportam-se como m2 para m grande. Como
1
2
1
0
1
t(1 t)
dt =
(z + t + m)2
2
1
0
1
(z+t+m)2
1
(z+t+m)2
d
1
cao por partes fornece
= dt
z+t+m , integra
1 2t
dt =
z+t+m
z+m+
1
2
ln 1 +
1
z+m
1.
Verifique! Com isso, obtemos para todo z Cc

(z) =
z+m+
m=0
1
2
ln 1 +
1
z+m
1 .
(7.105)
Essa e serie de Gudermann39 (7.77). Como comentado acima, a serie de Gudermann e convergente para cada z Cc .
muito facil constatar (faca-o!) que a convergencia e uniforme em compactos de Cc , o que implica que a serie do lado
E
direito de (7.105) e tambem analtica em todo Cc . Com (7.105) ficam justificadas as expressoes (7.79) e (7.80).
E. 7.13 Exerccio. Considere-se a funcao real P1 (t) definida em todo R, perodica de perodo 1 e de sorte que no intervalo
[0, 1) tenhamos
1
P1 (t) = t .
2
Constate que P1 (t) = Q (t) em cada intervalo (m, m + 1), m Z, e, usando integracao por partes, mostre que
(z) :=
0
Q(t)
dt =
(z + t)2
P1 (t)
dt
z+t
(7.106)
para todo z Cc . Como discutido em certos textos (veja, e.g., [201]) essa expressao e o ponto de partida para a obtencao
de uma serie assint
otica (nao convergente!) para (z) em termos de potencias de 1/z, denominada serie de Stirling, da qual
nao trataremos aqui.
39 Christoph
Gudermann (17981852).

atica
7.7
Captulo 7
Vers
306/2078
Exerccios Adicionais
E. 7.14 Exerccio. Prove as identidades

2n n! = (2n)!! ,
(2n)! = (2n)!! (2n 1)!! ,
n N.
E. 7.15 Exerccio. Prove as identidades
(2n 1)!!
,
2n
(n + 1/2) =
= (1)n
(1/2 n)
nN,
2n
,
(2n 1)!!
nN,
(n + 1/3) = 3n (3n 2)!!! (1/3) ,
nN,
(n + 2/3) = 3n (3n 1)!!! (2/3) ,
nN.
Sugestao: use (z + 1) = z(z) e inducao.

1
1
2
1
2
+z
(z)(1 z)
1
2
para todo z C.
E. 7.17 Exerccio. Usando (7.11) e o fato que (z) = (z), prove que para todo y R, y = 0, vale
|(iy)|2 =
y senh(y)
e usando (7.40), prove que para todo y R vale
1
+ iy
2
Mostre tambem que
y
senh(y)
|(1 + iy)|2 =
para todo y R.
Obtenha expressoes exatas para |(n + iy)|2 e para n +
.
cosh(y)
1
2
+ iy
, n N.
E. 7.18 Exerccio. Para z C \ Z, e imediato da relacao (z)(z) =

(z)
(z)
z sen (z)
2
|z|2 sen (z)
(vide (7.11)) que

(7.107)

atica
Captulo 7
Vers
307/2078
Escrevendo z = x + iy, com x, y R, mostre que (7.107) pode ser escrita de forma mais explcita como
(x + iy)(x iy)(x iy)(x + iy) =
2
x2 + y 2
cosh(y)
cos(x)
=
2 2
x2 + y 2
. (7.108)
cosh(2y) cos(2x)
E. 7.19 Exerccio. Mostre usando a aproximacao de Stirling (7.78) e/ou (7.96) que, com x e y reais e |y| , vale a
aproximacao
(7.109)
(x + iy) 2 |y|x1/2 e|y|/2 ,
uniformemente para x em compactos de R. Constate que essa aproximacao e perfeitamente compatvel com os resultados do
Exerccio E. 7.17, pagina 306.
E. 7.20 Exerccio. Mostre usando a aproximacao de Stirling (7.78) e/ou (7.96) que, com x e y reais e x +, valem as
aproximacoes
1
(x 21 )/2 xy arctan( y )
x
e
2 xx 2 ex ,
(7.110)
(x + iy) 2 x2 + y 2
uniformemente para y em compactos de R. O que se pode afirmar sobre o caso x ? Usando (7.107) e (7.110), obtenha
para x < 0 a aproximacao
(|x|+ 1 )/2
x2 + y 2
e|x|+y arctan( |x| )
|x||x| 2 e|x|
(x + iy)
1/2
cosh(2y) cos(2x)
cosh(2y) cos(2x)
1
1/2
(7.111)
com y R, fixo, e x . Essa aproximacao nao e uniforme em y. Observe que o denominador anula-se se e somente se
y = 0 e x for um inteiro negativo (o que e compatvel com a localizacao dos polos da funcao gama).
De (7.110) segue que (x + iy) diverge para x + para todo y R. Em contraste, segue de (7.111) que para todo
y = 0 tem-se lim (x + iy) = 0 nao uniformemente em y.
x
E. 7.21 Exerccio. Mostre que

= (1) =
et ln(t) dt =
ln ln
0
1
t
onde e a constante de Euler-Mascheroni.

E. 7.22 Exerccio. A funcao zeta de Riemann e definida para Re (s) > 1 por
(s) :=
n=1
Mostre que, para n = 1, 2, 3, . . .,
(s) = ns
1
.
ns
enx xs1 dx
e, usando esta ultima relacao, mostre que
(s) (s) =
0
xs1
dx ,
ex 1
Re (s) > 1 .
dt .

atica
Captulo 7
Vers
308/2078
E. 7.23 Exerccio. Prove a identidade

B(r, s)
(r)(s)
=
=
B(r + t, s t)
(r + t)(s t)
1+
k=0
t
k+r
t
k+s
(7.112)
e identifique os valores complexos de r, s e t para os quais a mesma e valida. Sugest

ao: Use a representacao produto de
Weierstrass (7.27) ou a representacao produto de Euler (7.32).
Usando (7.112), demonstre que
(r)
2
2
(r + it)
it
k+r
1+
k=0
(7.113)
para todos r C e t R.
* *** *
A funcao gama de Euler e u
til tambem por permitir determinar certas integrais definidas. Os exerccios a seguir
ilustram isso.
E. 7.24 Exerccio. Demonstre que, para 0 < Re (z) < 1, tem-se
(tan )2z1 d =
tz1
dt =
(1 t)z
uz1
du =
.
1+u
sen (z)
Sugestao: constate que, por (7.34), (7.35) e (7.36), cada uma das integrais acima e igual a B(z, 1 z) =
(7.39).
(7.114)
(z)(1z)
(1)
e use
E. 7.25 Exerccio. Mostre que para x > 0 vale

1
1
t
ln
0
x1
dt = (x) .
Em verdade, essa e uma das definicoes originais de Euler para a funcao gama.
E. 7.26 Exerccio. Mostre que para x > 0 vale
et dt = 1 +
E. 7.27 Exerccio. Mostre que para todo 0 vale

/2
sen
0
d =
1
x
2 +
1
2
(7.115)
Sugestao. Isso e uma conseq

uencia trivial de (7.33) e de (7.34).
E de se notar que o lado direito de (7.115) possui uma extensao analtica ao conjunto C \ {2n 1, n N0 }, ou seja,
ao conjunto de todos os s complexos que nao sejam os inteiros negativos mpares.

atica
Captulo 7
Vers
309/2078
E. 7.28 Exerccio dirigido. Este exerccio faz uso da funcao Beta e suas propriedades e de metodos de integracao complexa
para a obtencao de um resultado nao-elementar: para todos , C com Re () > 1 vale
/2
cos
cos d
=
=
sen
2 (
2+1
) B
, +1
2
(7.116)
2 (
(7.117)
++2
, 2
2
2+1 ( + 1) B
++2 +2
,
2
2
(7.118)
As relacoes (7.116)(7.118) serao provadas abaixo na regiao , C com |Re ()| > Re () > 1. No entanto, contemplando (7.116)(7.118), e facil constatar que apenas a restricao Re () > 1 e relevante para a existencia da integral do lado
esquerdo.
A igualdade entre a integral do lado esquerdo e (7.118) e o conteudo de um exerccio de [260], cuja resolucao delineamos
nos passos abaixo, seguindo as sugest
oes daquele texto, as quais parecem remontar a Cauchy40 .
1. Para 0 < r < 1/2, seja Cr o caminho no plano complexo, fechado e orientado no sentido anti-horario, indicado na
Figura 7.5, pagina 310. Nessa figura, A0 e um arco de crculo de raio 1 centrado em 0: A0 = {ei C, },
onde (0, /2) e o angulo indicado na Figura 7.6, pagina 311. A1 , A2 e A3 sao arcos de crculo de raio r
centrados em i, 0 e i, respectivamente. O arco A0 encontra o arco A1 no ponto indicado por p nas Figuras 7.5 e 7.6
e encontra o arco A3 no ponto indicado por q nas mesmas figuras. I1 e I2 sao os intervalos do eixo imaginario dados
por I1 = {iy C, r y 1 r} e I2 = {iy C, 1 + r y r}.
Para e C seja a funcao
F (z) := z 1 z +
1
z
= z 1 z i
z+i
Essa funcao pode possuir ate tres pontos singulares, a saber, em z = 0 e em z = i. O ponto z = 0 pode ser um
polo se 1 for um inteiro negativo e os pontos z = i podem ser polos se for um inteiro negativo. Em geral,
porem, esses tres pontos sao pontos de ramificacao41 . Escolhendo as linhas de ramificacao paralelas ao eixo real negativo
(indicadas em linhas tracejadas na Figura 7.5), a funcao F sera sempre (i.e., para todos , C) analtica no interior
da regiao delimitada por Cr e em uma vizinhanca dessa curva.
Conclua que para todos , C e todo r (0, 1/2) vale
z 1 z +
F (z) dz =
Cr
Cr
1
z
dz = 0 .
2. Mostre que para Re () > Re () vale

z 1 z +
lim
r0
A2
1
z
dz = 0 .
3. Mostre que para Re () > 1 valem

z 1 z +
lim
r0
40 Augustin
41 O
A1
1
z
dz = 0
z 1 z +
lim
r0
A3
1
z
dz = 0 .
(7.119)
Louis Cauchy (17891857).

ponto z = 0 s
o n
ao ser
a singular se N. Os pontos i s
o n
ao ser
ao singulares se N0 . Essas afirmaco
es s
ao evidentes.

atica
Captulo 7
Vers
310/2078
i
r
A1
Cr
I1
A2
1
I2
A3
Figura 7.5: A curva Cr C, orientada no sentido anti-horario e fechada.

4. Mostre que
z 1 z +
A0
1
z
dz = 2 i
cos
cos d ,
onde o angulo e indicado na Figura 7.6, pagina 311. Conclua que
r0
1
z
z 1 z +
lim
A0
/2
dz = 2 i
cos
/2
cos d = 2+1 i
cos
cos d .
/2
5. Mostre que
z 1 z +
lim
r0
I1
1
z
1
z
dz =
ei 2 ()
2
1
0
u()/21 (1 u) du
(7.35)
ei 2 ()
B
2
, +1
2
e que
z 1 z +
lim
r0
I2
dz =
ei 2 ()
2
1
0
u()/21 (1 u) du
(7.35)
ei 2 ()
B
2
, +1
2
6. De (7.119) e dos demais resultados acima, estabeleca que para Re () > Re () > 1 vale
/2
cos
0
cos d =
sen
2 (
2+1
, +1
2
Essa e a relacao (7.116). Como a integral do lado esquerdo nao se altera com a troca , a relacao e valida na
regiao |Re ()| > Re () > 1.
7. Fazendo uso de (7.52), mostre que
sen
( ) B
2
, +1
2
(7.52)
2
B
1
++2
, 2
2

atica
Captulo 7
Vers
311/2078
Figura 7.6: O arco A0 e o angulo .
Tem-se, portanto,
/2
cos
cos d =
2 ( ) B
(7.120)
++2
, 2
2
tambem na regiao |Re ()| > Re () > 1. Essa e a relacao (7.117).

8. Usando (7.48), mostre que
B
2
++2
,
2
2
= ( + 1)B
++2 +2
,
2
2
Inserindo isso em (7.120), mostre tambem que

/2
cos
0
cos d =
2+1 ( + 1) B
1
++2 +2
,
2
2
na mesma regiao |Re ()| > Re () > 1. Isso completa a demonstracao de (7.118).
As relacoes (7.116)-(7.118) tem diversos usos. Elas podem ser usadas para a determinacao da serie de Fourier da funcao
cos (vide Exerccio E. 34.29, pagina 1699) e surgem na Fsica no calculo de funcoes de dois pontos de teorias quanticas
de campos escalares livres e massivas no espaco-tempo de de Sitter.

atica
Vers
Captulo 7
312/2078
Parte III
T
opicos de Algebra
Linear
313

NC Cap07

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

NC Cap07

Enviado por

Direitos autorais:

Formatos disponíveis

Captulo 7

presente captulo e dedicado `

JCABarata. Curso de Fsica-Matem

Por diversas raz

JCABarata. Curso de Fsica-Matem

Por C denotaremos o plano complexo sem os inteiros reais negativos e o zero:

e finita, pois, para > 0

JCABarata. Curso de Fsica-Matem

para todo t > 1. Assim, tomando 0 < < 1, vale

Isso prova que a integral em (7.3) converge absolutamente se Re (z) > 0.

A (z) := lim a, A (z) =

|a, A (z) a , A (z)|

JCABarata. Curso de Fsica-Matem

Agora, a integral impr

dt = Re (z) , pois tz1 = tRe (z)1 eiIm (z) ln t e, portanto, tz1 =

JCABarata. Curso de Fsica-Matem

Antes disso, facamos alguns coment

et/2 t(x1)/2 ln(t) dt

Usando integracao por partes, segue que, para Re (z) > 0,

JCABarata. Curso de Fsica-Matem

A relacao (7.13) e por vezes denominada f

= 1, segue facilmente de (7.13) que

JCABarata. Curso de Fsica-Matem

Para n N, (7.13) diz-nos que

Note-se que, por (7.14) tem-se na regi

provando que (7.13) permanece valida para a extensao.

como ja havamos observado.

Fazendo a mudanca de variavel t = u2 a integral em (7.3) torna-se

Disso segue que

identidade essa que usaremos adiante. Usando (7.13) para z = 12 , obtem-se

A funcao pode ser expressa de diversas outras formas, muitas delas u

Carl Friedrich Gau (17771855).

JCABarata. Curso de Fsica-Matem

Lema 7.1 Para Re (z) > 0 vale

Como (z) = limn

dt, precisamos apenas provar que

Como facilmente se constata,

Como hn (0) = 0, segue que hn (t) =

hn (s) ds. Como hn (s) 0 para 0 s

Com isso, estabeleceu-se que 0 hn (t)

n, segue disso que hn (t) 0 para

Disso segue o fato bem-conhecido de cursos de C

para todo t R, mas segue tambem que

fato que usaremos adiante.

onde, para 1 < a < n, definimos

Podemos afirmar que, para 1 < a < n,

JCABarata. Curso de Fsica-Matem

Com isso, vemos que para 1 < a < n,

Mas o lado esquerdo n

int. por partes

int. por partes

Por (7.21), isso prova (7.20).

onde e o definida por

JCABarata. Curso de Fsica-Matem

|w| . Portanto, tomando-se w = z/n, teremos

sempre que |z| n. Logo,

para todo n r. Como a seq

Pelo Corolario 6.1, p

A convergencia da produtoria infinita e s=1 1 + zs e s permite-nos estender a representacao produto de Gauss

JCABarata. Curso de Fsica-Matem

bastante evidente que para todo n > 1, inteiro, vale

De acordo com (7.28), podemos escrever

e tomando o limite n , obtemos