UNIVERSIDADE ESTADUAL DE CAMPINAS

INSTITUTO DE MATEMTICA, ESTATSTICA E COMPUTAO CIENTFICA

DEPARTAMENTO DE MATEMTICA

FUNO GAMA

JULIETH PAOLA SAAVEDRA RAMREZ

Monograa referente disciplina MM-413 Variveis
Complexas, ministrada no segundo semestre de 2015
pelo Prof. Dr. Fernando Eduardo Torres Orihuela.

CAMPINAS
SO PAULO - BRASIL
NOVEMBRO/2015

INTRODUO
A funo Gama () uma das funes mais importantes na matemtica, foi introduzida
por Euler em 1730, resultado de uma pesquisa sobre uma forma de interpolao do
fatorial de um nmero. Posteriormente, foi estudada por outros matemticos, incluindo
Adrian Marie Legendre , que, em 1809, a denominou funo gama.
Z
(x) =

exp(t)tx1 dt

(1)

a equao (2.1) tem signicado quando x > 0,ie,

(n + 1) = n! n Z+

(2)

x(x) = (x + 1) x > 0

(3)

Alm disso

Anos depois Bernhard Riemann (1826-1866) e Karl Weierstrass (1815-1897) soube-se

que a funo de valor complexo que resulta da sustituo por nmeros complexos na
integral de Euler uma funo analitica, igualmente da equao do produto de Euler.
A funo gama complexa (z), uma funo meromorfa em C, com plos simples em
n
0, 1, 2, ... e o resduos em n (1)
n! , dada pela equao:
(z) =

z 1
exp (z) Y 
1+
exp(z/n)
z
n

(4)

n=1

A funo gama debutante em diversas funes de distribuio probabilsticas, sendo

assim encontra aplicaes nos campos da probabilidade, estatstica e combinatria.

INTRODUO

Lista de Smbolos
Z
R
R+
Rn

Nmeros enteros.
Nmeros reales.
Nmeros reales positivos.
Espao euclidiano n-dimenso sobre os reales.
Conjunto aberto en Rn .
Frontera de .
Cerradura do aberto .

II

CAPTULO 1
PRELIMINAR
Denio 1.0.1. uma funo

f diz-se meromorfa em , se f holomrfa em

exceo de singularidades isoladas que so todas plos ou singularidades removveis
de f Mais precisamente, f meromorfa em se f holomorfa em S onde S um
subconjunto discreto de e z S se e s se z um plo ou uma singularidade removvel
de f . Usamos a notao M () para indicar o conjunto das funes meromorfas na regio

Exemplo 1.

1. Qualquer funo holomorfa em meromorfa em

1
2. Para qualquer z0 C, a funo dada por f (z) = zz
, para z = C {z0 } e n N,
0
holomorfa em C {z0 }. Uma vez que z0 um plo de ordem n, temos que f (z)
meromorfa em C, isto f M ().
1
3. Se f (z) = p(z)
onde p(z) um polinmio no identicamente nulo meromorfa em
C, e holomorfa se e s se p(z) no constante.

CAPTULO 2
FUNO GAMA
2.1. Integral denida
Em 1729 e 1730 ([3], [5]) Euler introduz a funo analtica sobre uma forma de interpolao do fatorial de um nmero e o dia 8 de janeiro de 1730 Christian Goldbach props
a seguinte denio:

Denio 2.1.1 (Euler 1720). Seja x > 0

1

( log(t))x1 dt

(x) =

(2.1)

Teorema 2.1.2. Seja x > 1, logo |tz | = tRe(z) , assim dene-se (z) para Re(z) > 0
por

(z) =

tz1 et dt

(2.2)

em outras palavras

(z) = 2

t2z1 et dt

(2.3)

Demonstrao. Trocando a variveis u = log(t) e u2 = log(t) em (2.1)

Segue do Teorema de Fubini mais teorema de Morera que holomorfa no semi-plano
direito. Uma maneira simples de deduzir isso a partir da verso do Teorema de Fubini:
Seja 0 < A < dene
Z
A

A (z) =
0

tz1 et dt

(2.4)

CAPTULO 2.

FUNO GAMA

Usando o Teorema de Fubini e teorema de Morera monstra que A (z) holomorfa no

semi-plano direito e tambm A uniformemente sobre um subconjunto compacto
do semi-plano direito quando A .

Lema 2.1.3. Se Re(z) > 0, ento

(2.5)

(z + 1) = z(z)

Corolario 2.1.4. n! = (n + 1) para n = 0, 1, 2, ...

Corolario 2.1.5. A funo Gamma estende-se a um funo meromorfa em todo o
plano, com plos simples em inteiros no positivos (e no em qualquer outro polo).

Demonstrao. Para Re(z) > 0, tem-se

(z + 1)
z
mas (z + 1) holomorfa na regio Re(z) > 1; logo (1) 6= 0 segue-se que pode
ser estendida a um funo meromorfa na regio Re(z) > 1 com um plo simples no
(z) =

origem.

O mesmo argumento se agora mostra que se estende para uma funo meromorfa
para Re(z) > 2 com plo simples em 1 e 0. etc.
O primeiro resultado no trivial que devem-se provar sobre a funo gama que ele
pode tambm ser denido por um determinado produto innito.
h(z) =

1 Y z/n 
z 1
e
1+
z
n
n=1

dene uma funo meromrca no plano com plos simples nos enteros no positivos.
Seja N Z+ ,ento
hN (z) =

N
1 Y z/n 
z 1
1+
e
z
n
n=1

assim
hN (z + 1) =

N
z + 1 1
1 Y (z+1)/n 
1+
e
z+1
n
n=1

X
Y
Y
n
1
exp
1/n
ez/n
z+1
z+1+n
n=1

N
X
1 Y
Y n
z
exp
1/n
ez/n
z+1+N
z
z+n
n=1

= z

N

X
N
exp log(N ) +
1/n hN (z)
z+1+N

n=1

CAPTULO 2.

FUNO GAMA

onde log(N ) + N
n=1 1/n tiende a una constante positivo conhecida como constante
Euler-Mascheroni quando N , tem-se pela desigualdade
P

1
(log(n + 1) log(n) =
n

n+1 

1 1

dt <
n
t

n+1 

1
1 

dt
n n+1

mostrando que limite existe com 0 < < 1. Por isso, deixando N , vemos que
h(z + 1) = e zh(z)

Seja

ez Y z/n 
z 1
g(z) =
e
1+
z
n

(2.6)

n=1

Logo g meromrca no plano com polos simples em enteros no positivos, e g tambm

satisfaz
g(z + 1) = zg(z)

Se z no polo de g . fcil ver que resduo na origem 1. enquanto o fato que

(z + 1) = z(z) e (1) = 1, demonstrou que o resduo de na origem tambm 1. A
funo g est comeando a olhar muito como a funo Gamma.
A funo
f (z) =

(z)
g(z)

f (z) entera e igual a 1 na origem. Se f (z) limitada ento pelo teorema de Liouville,
tem-se que f (z) = 1 para qualquer z, assim tem-se que = g . Logo f (z + 1) = f (z),
precisa-se de ter um limite para |f (x + iy)| onde 1 x 2. De fato, seja |tx+iy | = tx
para t > 0 e x, y R, logo da denio original tem-se
|(x + iy)| (x) c

Para 1 x 2.

Lema 2.1.6. Se z = x + iy con x > 0, logo



x + log |1 + z| log (1 + |z|2 )1/2

Demonstrao. Multiplicando a desigualdade por dos, ca mostrar que

2x + log((1 + x)2 + y 2 ) log((1 + x2 + y 2 )

Mas pelo teorema do valor mdio tem-se que se 1 a < b ento log(a) b a

Lema 2.1.7. Se g denida pela equao (2.6) e z = x + iy com x > 0, logo

p
1
|z|/2ex e|z|/2
g(z)

CAPTULO 2.

FUNO GAMA

Demonstrao.



Y
Y
z 
1
|z|2 1/2

= |z|ex
ex/n 1 +  |z|ex
1+ 2
|g(z)|
n
n
n=1

n=1

mas
|z|


Y
n=1

1+

|z|2 
= i sin(i|z|) = (e|z| e|z| )/2 < e|z| /2
n2

Teorema 2.1.8. Se z no um entero no positivo, ento

z 1
ez Y z/n 
e
1+
(z) =
z
n
n=1

Corolario 2.1.9. Se z no entero, ento

(z)(1 z) =

sin(z)

Teorema 2.1.10. se z C no um entero no positivo, ento

n!nz
n z(z + 1) . . . (z + n)

(z) = lm

Demonstrao. pelo teorema (2.1.8) tem-se

Pn

(z) =

=
=

lm

ez(+

lm

1/j)

lm

j=1

ez log(n)
z

n 
Y
j=1
n!nz

n 
Y
j=1

1+

z 1
j

j 
z+j

z(z + 1) . . . (z + n)

Seja uma funo holomorfa em C \ (, 0] tal que e = e (x) R para qualquer

x (0, )

Note que (z + 1) = (z) + log(z)

Lema 2.1.11. Se 0 < a < ento existe uma constante c tal que
|00 (z)| c/|z|

para qualquer z Sa , onde Sa = {reit : r > 0, a < t < } com |z| 2.

CAPTULO 2.

FUNO GAMA

Demonstrao. Pelo teorema (2.1.8) demonstrou que

00

(z) =

X
n=0

1
(z + n)2

Para estimar a soma vamos usar o fato de que existe c > 0, tal que
|z + n| cn

para qualquer z a y n > 0, seja N Z+ , onde N |z|/2 < N + 1. Se 0 n |z|/2,

ento |z + n| |z|/2, logo

N
X
n=N +1

X 1
N +1
c
1
4
=4

2
2
2
|z + n|
|z|
|z|
|z|
N +1

Em outras palavras
N
X
n=N +1

X 1
1

c
c
|z + n|2
n2
N +1

1
c
c
dt =

t2
N
|z|

Teorema 2.1.12. Existe uma constante R, tal que

1

(z + t)dt = z log(z) z +
0

para qualquer z C \ (, 0].

Demonstrao. Se F (z) =

R1
0

(z + t)dt, ento F holomorfa y pelo teorema funda-

mental do clculo, mostramos que

F 0 (z) = (z + 1) (z) = log(z)

Isso parecido a derivada de z log(z) z , assim as dois funes diferem por um

constante , logo se z (0, ), ento R.

Corolario 2.1.13. Se 0 < a < , ento:

(z 1) ((z + 1/2) log(z + 1/2) (z + 1/2) + ) 0

Quando z , no interior Sa .

CAPTULO 2.

FUNO GAMA

Demonstrao. Trocando z por z + 1/2 no teorema (2.1.12), tem-se

Z

1/2

(z + 1/2 + t)dt

(z + 1 + t)dt =
1/2

= (z + 1/2) log(z + 1/2) (z + 1/2) +

assim (z + 1)

R 1/2

1/2 (z

+ 1 + t) 0

Teorema 2.1.14 (Bohr-Mollerup). Suponha que f

: (0, ) (0, ) satisfaz f (x +

1) = xf (x), f (1) = 1 e que log(f ) convexo. Ento f (x) = (x) para qualquer x > 0.

Demonstrao. Se n N, ento
f (x + n) = x(x + 1) . . . (x + n 1)f (x);

em particular f (n + 1) = n!. Desde que f (x + 1) = f (x) e f (1) = 1, podemos assumir

que x (0, 1), pela convexidade do log(f ), tem-se
f (xa + (1 x)b) f (a)x f (b)1x

para a, b > 0. Agora para n N, nos temos:

x + n = (1 x)n + x(n + 1),

assim, pela convexidade de log, tem-se

x(x 1) . . . (x + n 1)f (x) = f (x + n) f (n)1x f (n + 1)x
= ((n 1)!)1x (n!) = nx (n 1)!

Do mesmo modo
n + 1 = x(x + n) + (1 x)(x + n + 1)

Mostrando que
n! = f (n + 1) f (x + n)x f (x + n + 1)1x
= (x + n)1x x(x + 1) . . . (x + n 1)f (x)

Reorganizar as duas desigualdades, mostra que:

 x + n x
x + n
n!nx
n!nx
f (x)
x(x + 1) . . . (x + n)
n
x(x + 1) . . . (x + n)
n

Assim pelo teorema (2.1.10), tem-se f (x) = (x)

Bibliografa
[1] AHLFORS, Lars V., Complex Analysis, Third Edition, McGraw-Hill, 1979
[2] CONWAY, John B., Functions of One Complex Variable, Springer, Estados Unidos,
1978.
c orie, Histoire, Bibliographie ,
[3] GODEFROY, .M., La fonction gamma; Th
Gauthier-villars,Paris,(1901).
[4] LANG, Serge, Complex Analysis, Fourth edition, Estados Unidos, Springer, 1999.
[5] NIELSEN. N. handbuch der theorie der gammafunktion, Leipzig, (1906).
[6] THEODORE.W.GAMELIN .Complex Analysis, departament of mathematics.
UCLA.Springer-Verlag, New York, 2001.