FUNCIN GAMA. FRMULA DE STIRLING.

1. Motivacin
Nos interesa tener una idea adecuada de cmo crece n!
Para ello se puede recurrir al rea bajo la curva log x en el intervalo @0, nD :
An = 1 log x x = @x log x - xDn1 = n log n - n + 1
n

y su aproximante, dada por la regla del trapecio, para la subdivin entera @k , k + 1D : 0 b k b n - 1 del intervalo:
Tn =

1
2

log 1 + log 2 + ....+ log Hn - 1L +

1
2

log n = - 12 log n + log n!

Por la concavidad de la funcin logaritmo, se tiene 0 < Tn < An y claramente An - Tn es creciente.

Veamos que es acotada y por ello ser convergente.

En cada subintervalo @k, k + 1D se tiene, si sk HxL es la secante,

log x - sk HxL =

1
2!

Hlog xL'' HL Hx - kL Hx - Hk + 1LL

con

k b bk+1

y por ello
@log x - sk HxLD x b k

0 < k

k+1

entonces

k+1

An - Tn b nk=1

1
12 k 2

1
2 HxL2

Hx - kL Hk + 1 - xL x b

1
12 k 2

que es una serie convergente. Luego limn An - Tn = c > 0 es finito.

Tomando la exponencial se tiene

limn

An
Tn

= limn

nn -n
n! n

= c

limn

n+

1
2 -n
n!

Utilizando el producto de Wallis se puede demostrar que el lmite es

n+

limn

= c-1

2 n
n!

1
2

obteniendo la frmula de Stirling

1
2

-n

=1

que permite estimar n ! de manera rpida.

Nosotros seguiremos otro camino para establecer una frmula ms precisa.
Interpolaremos n! mediante una funcin llamada gama y la estudiaremos con algn detalle.

2. Integrales dependientes de parmetros

Recordamos el siguiente lema sobre integrales dependientes de parmetros.
Lema

Sea W un dominio de Rn y f Hx, tL : W @a, bD C continua.

a) La funcin FHxL = a f Hx, tL t es continua en W .
b

Funcin gama.nb

Sea W un dominio de Rn y f Hx, tL : W @a, bD C continua.

a) La funcin FHxL = a f Hx, tL t es continua en W .
b

b) Si xi f Hx, tL es continua en W , entonces FHxL = a f Hx, tL t tambin tiene derivada parcial dada por
b

xi F = a xi f Hx, tL t y es continua en W .
b

Un caso particular importante para lo que sigue es el siguiente.

Sea W un dominio del plano complejo y f Hz, tL : W @a, bD C continua y analtica en z , entonces

FHzL = a f Hz, tL t es analtica en W. En efecto, basta aplicar el lema anterior y usar las condiciones de
b

Cauchy-Riemann. Por ejemplo, la funcin

FHzL = a f HtL - z t t
b

con f HtL continua en el intervalo compacto @a, bD es analtica en todo el plano.

3. Funcin gama
GHxL = 0 t x-1 -t t definida para x > 0 interpola la funcin factorial pues, integrando por partes:

La funcin

GHx + 1L = 0 t x -t t = @-t x -t D0 + 0 x t x-1 -t t = x GHxL

Adems GH1L = GH2L = 1 y por lo tanto GHn + 1L = n GHnL = n Hn - 1L GHn - 2L =. ... = n!.
Esta funcin se llama funcin gama.
Se puede extender a valores complejos z = x + i y con parte real positiva x > 0 , con la misma integral
GHzL = 0 t-z -t t

Para estudiar esta funcin la aproximamos por funciones ms sencillas.

Una aproximacin de la funcin gama
Reemplazaremos la exponencial -t , que figura en el integrando de la funcin gama, por I1 - nt M .
n

Estudiamos el error en este reemplazo. Por convexidad de la exponencial se tiene

Para

s=

t
n

I1 + nt M b t
n

queda

s = - nt

y para

1 + s b s

se obtiene I1 - nt M b -t .
n

Luego
0 b -t - I1 - nt M = -t I1 - t I1 - nt M M b -t I1 - I1 + nt M I1 - nt M M = -t K1 - J1 n

La igualdad

1 - J1 -

nos inspira la desigualdad

hHtL = J1 -

t2
n

N +
n

t2
n

1 - J1 -

verifica

t2
n

t2
n

N =1-1+
n

N b
n

t2
n

t2
n

- .... =

t2
n

t2
n

NO
n

- ...

, 0 b t b n , la cual es cierta pues la funcin

hH0L = 1 , h' HtL =

2 n-1
2t
B1 - J1 - t 2 N F
n
n

r 0 en

0 b t b n.

Aplicando esta desigualdad obtenemos la siguiente cota para el error de la aproximacin

para cada s .

0 b - I1 - n M = I1 - I1 - n M M b I1 - I1 + n M I1 - n M M = K1 - J1 La igualdad

1 - J1 1 - J1 -

nos inspira la desigualdad

hHtL = J1 -

t2
n2

N +
n

t2
n

t2
n

N =1-1+

n2

N b
n

t2
n

t2
n

- .... =

t2
n

- ...

, 0 b t b n , la cual es cierta pues la funcin

hH0L = 1 , h' HtL =

verifica

NO

Funcin gama.nb

t2

n2

2 n-1
2t
B1 - J1 - t 2 N F
n
n

r 0 en

0 b t b n.

Aplicando esta desigualdad obtenemos la siguiente cota para el error de la aproximacin

0 b -t - I1 - nt M b
n

t2
n

-t

0btbn

si

Sea
fn HzL = 0 t z -1 I1 - nt M t
n

para

ReHzL > 0

i) fn HzL es analtica en el semiplano RHzL > 0 por el lema sobre integrales dependientes de un parmetro.
ii) fn HzL converge uniformemente a GHzL sobre compactos de ReHzL > 0 .
En efecto, para

0 < ReHzL = x b

se tiene, usando la desigualdad probada anteriormente:

GHzL - fn HzL b 0 t x-1 I-t - I1 - nt M M t + n t x-1 -t t b

1 n x-1 2
t
t
n 0

-t t + n t x-1 -t t b

1 n +1
t
n 0

-t t + n t -1 -t t

1 +1
t
n 0

-t t + n t -1 -t t =

k
n

+ rn

donde k es una constante y rn es el resto de la integral convergente. Ello prueba la convergencia uniforme.
iii) De i) y ii) resulta que la funcin gama es analtica en el semiplano.
Utilizando el principio de identidad podemos concluir que verifica
GHz + 1L = z GHzL
para

(1)

ReHzL > 0 pues ya hemos visto que la verifica para los reales positivos.

iv) Haciendo el cambio de variables t = n s en la integral que define a fn HzL e integrando por partes iteradamente
obtenemos una expresin cerrada para fn HzL:

fn HzL = 0 t z -1 I1 - nt M t = nz 0 sz-1 H1 - sL s =
n

nz : B sz H1 - sLn F + 0
0
Z

=. ... ... =

1 sz
z

n H1 - sLn-1 s > =

nz n 1 z
s
z 0

H1 - sLn-1 s =

n-2
nz n Hn-1L 1 z+1
s H1 - sL
z Hz+1L 0

nz n!
zHz+1L..... Hz+nL

Obtenemos la aproximacin en el semiplano ReHzL > 0, con convergencia uniforme sobre compactos,
limn

nz n!
zHz+1L..... Hz+nL

= GHzL

4. Prolongamiento analtico
De la relacin funcional GHz + 1L = z GHzL obtenemos

(2)

Funcin gama.nb

Obtenemos la aproximacin en el semiplano ReHzL > 0, con convergencia uniforme sobre compactos,
limn

nz n!
zHz+1L..... Hz+nL

= GHzL

(2)

4. Prolongamiento analtico
De la relacin funcional GHz + 1L = z GHzL obtenemos
GHzL =

1
z

GHz + 1L

permite prolongar analticamente la funcin gama a la franja vertical -1 < ReHzL b 0 , exceptuando el 0 , donde tiene
un polo simple con parte principal

1
z

Iterando la relacin (1) relacin obtenemos

GHzL =

1
z Hz+1L

GHz + 2L

que permite extender analticamente la funcin gama a -2 < ReHzL excepto en z = -1 donde tiene polo simple con
parte singular

-1
z+1

De la misma manera la relacin

GHzL =

1
z Hz+1L Hz+2L

GHz + 3L

permite extenderla a -3 < ReHzL con un polo simple en z = -2 y parte principal

H-1L2
2 ! Hz+2L

Continuando obtenemos el prolongamiento a todo el plano con polos simples en los enteros negativos con parte singular
H-1Ln
n! H z + n L

en

z = -n , n = 0, 1, 2, ....

Ejercicio
Separar la integral que define la funcin G(z) en dos: GHzL = 0 tz-1 -t t = 0 tz-1 -t t + 1 tz-1 -t t

a) f1 HzL = 0 tz-1 -t t =
k=0
1

H-1Lk
k!

z-1+k
t =
0 t
k=0
1

H-1Lk 1
k! z+n

Probar que la serie converge uniformemente sobre compactos de C , es decir, para cada
compacto K existe un n0 tal que la serie
k=n0

H-1Lk 1
k! z+n

converge uniformemente

en K y entonces f1 HzL es una funcin analtica en C - 80, -1, -2, ...< con polos simples
en 0, -1, -2, ...
b) f2 HzL = 1 tz-1 -t t

es analtica en todo el plano.

Para verlo aproximarla con gn HzL = 1 tz-1 I1 - nt M t , como en la seccin anterior, que son analticas en todo C .
n

Una frmula especial

La funcin

GH1 - zL tiene polos simples en los naturales z = n , con parte singular

H-1Ln-1
Hn-1L! Hz-nL

, n = 1, 2, ... y

Funcin gama.nb

Una frmula especial

La funcin

GH1 - zL tiene polos simples en los naturales z = n , con parte singular

H-1Ln-1
Hn-1L! Hz-nL

, n = 1, 2, ... y

por ello la funcin producto GHzL GH1 - zL tiene polos simples en los enteros. Su parte principal en los enteros
negativos z = -n es
H-1Ln
n! Hz + nL

GH1 + nL =

H-1Ln
z+n

y en los enteros positivos z = n

GHnL

sen z

La funcin

H-1Ln-1
Hn-1L! H-z + nL

H-1Ln
z-n

tiene los mismos polos con las mismas partes singulares.

Vamos a demostrar que coinciden

GHzL GH1 - zL =

Si probamos la igualdad para

sen z

(3)

0 < x < 1 , por el principio de identidad valdr para todo z .

En 0 < x < 1 se tiene un producto de integrales que se puede transformar en una integral doble y evaluar:
GHxL GH1 - xL = 0 t x-1 -t t 0 s-x -s s = 0 0 t x-1 s-x -s-t s t =

= 0 02 cosx-1 sen-x -Hcos +sen L = 02

= 02 I cos M

sen -x

cos -1
cos + sen

= 0

-x
1+

cosx-1 sen-x
cos + sen

sen x

La ltima integral se puede calcular por residuos.

Poniendo z =

1
2

en (3) y (1) obtenemos para

GI 12 M =

GI 32 M =

1
2

La frmula (3) demuestra que la funcin gama no tiene ceros y por lo tanto se puede tomar una rama del
logaritmo log GHzL para z en el semiplano ReHzL > 0 , que es simplemente conexo.
Ejercicio
Probar que

GIn + 12 M =

1.3 .5... H2 n-1L

2n

Ejercicio
Probar que tambin es el valor principal de la suma de sus partes principales, es decir,
limn nk=-n

H-1Lk
z-k

= GHzL GH1 - zL =

sen z

logaritmo log GHzL para z en el semiplano ReHzL > 0 , que es simplemente conexo.
6Ejercicio
Funcin gama.nb

GIn + 12 M =

Probar que

1.3 .5... H2 n-1L

2n

Ejercicio
Probar que tambin es el valor principal de la suma de sus partes principales, es decir,
limn nk=-n

H-1Lk
z-k

= GHzL GH1 - zL =

sen z

5. Derivada logartmica
En un entorno del entero negativo z = - n se tiene

GHzL = Hz + nL-1 hHzL

con hHzL analtica no nula.

Luego la derivada logaritmica es

G ' HzL
GHzL

1
z+n

=-

h' HzL
hHzL

y derivando se obtiene
A

G ' HzL '

E
GHzL

Hz + nL2

+ analtica

que nos da la parte principal de la derivada segunda logaritmica.

Demostraremos que es la suma de sus partes principales
A

G ' HzL '

E
GHzL

G '' H zL GH zL-G ' H zL2

GH zL2

=
n=0

Hz+nL2

(4)

ReHzL > 0 se obtiene

Tomando una rama del logaritmo en ambos miembros de la igualdad (2) vlida en
log fn HzL = log

= z log n - log z - log Hz + 1L - ... ... - logHz + nL

nz
z Hz + 1L Hz + 2L ....Hz+ nL

que converge uniformemente sobre compactos del semiplano derecho a log GHzL .
Luego las derivadas tambin convergen uniformemente sobre compactos del semiplano
@log fn HzLD ' = log n @log fn HzLD '' =

1
z2

1
z

Hz + 1L2

1
z+1

1
z+2

- ... ....-

1
z +n

Hz + nL2

+ ... ... +

@log GHzLD ' =

A

G ' HzL
GHzL

G ' HzL
GHzL

'

y se obtiene

n=0

Hz + nL2

=A

G ' HzL '

E
GHzL

(4)

Como la serie es convergente en todo el plano, salvo polos, la igualdad vale en todo el plano.
En particular, usando valores reales positivos de la variable, se obtiene
@log GHxLD'' = A
lo que prueba que la funcin
Ejercicio

G ' HxL '

E
GHxL

=
n=1

Hx + nL2

>0

log GHxL es estrictamente convexa.

Como la serie es convergente en todo el plano, salvo polos, la igualdad vale en todo el plano.

Funcin gama.nb

En particular, usando valores reales positivos de la variable, se obtiene

@log GHxLD'' = A

G ' HxL '

E
GHxL

=
n=1

Hx + nL2

>0

log GHxL es estrictamente convexa.

lo que prueba que la funcin

Ejercicio
Utilizando que
n=-

Hz + nL2

= I sen z M

y (4) demostrar la igualdad (3) .

Sugerencia.
Mostrar que las derivadas segundas logartmicas de ambos miembros de (3) coinciden e integrar dos veces.

6. Frmula de duplicacin de Legendre

La funcin GH2 zL tiene polos simples en - 12 n para

n = 0, 1, 2, ... y el producto GHzL.GIz + 12 M tambin.

Veremos que ambas tienen la misma derivada segunda logartmica.

g ' HzL = 2 G' H2 zL ,

gHzL = GH2 zL ,

Sea

g' HzL '

B gHzL F =

g'' HzL gHzL -Hg' HzL L2

gHzL2

g '' HzL = 4 G'' H2 zL

= 4I

G '' H2 zL GH2 zL-G ' H2 zL2

=4

GH 2 zL2

y usando (4) obtenemos

G' '
M H2 zL
G

= 4
k=0

H2 z + kL2

Y por otro lado

BG HzL GJz+ NF
1

2
1

GHzL GJz + N

'

G ' HzL
GHzL

G ' Jz + N
1

2
1

GJz + N

y derivando nuevamente y usando (4) se obtiene la igualdad deseada pues

4
k=0

H2 z + kL2

=
k=0

H 2 z + 2 kL2

+
k=0

H 2 z + 2 k + 1L2

=
k=0

Hz + kL2

+
k=0

Jz +

1
1
2

+ kN

Integrando dos veces se obtiene, con constantes adecuadas C , D :

GH2 zL = C D z GHzL GIz + 12 M
Para
y para

z=1
z=

1
2

queda

1
2

1 = GH2L = C D

1 = GH1L = C 2

es
D

Dividiendo obtenemos 2 = 2 , C =
2

y queda la frmula llamada de duplicacin de Legendre

2 z-

2 GH2 zL = 2

1
2

GHzL GIz + 12 M

Ejercicio
a) Demostrar la siguiente frmula de triplicacin, debida a Gauss:
3 z-

2 GH3 zL = 3
b) Probar que

1
2

GHzL GIz + 13 M GIz + 23 M

(5)

Funcin gama.nb

Ejercicio

a) Demostrar la siguiente frmula de triplicacin, debida a Gauss:

3 z-

2 GH3 zL = 3

1
2

GHzL GIz + 13 M GIz + 23 M

b) Probar que
2 GI 16 M =

3 GI 13 M

7. Frmula de Stirling
Partiendo de la derivada logaritmica (4) , y siguiendo una idea de Lindelff que usa residuos, se obtiene una
representacin integral que permite estudiar la funcin gama para valores grandes de z .
Sea

z = x + i y con x > 0 un nmero fijo.

La funcin

sen

tiene ceros simples en los enteros = n con parte principal

cos

Hz + L2 sen

Por lo tanto FHL =

cotg
Hz + L2

tiene parte principal

en el entero n (z est fijo).

A0, n + 12 E @-i Y , i Y D sin un pequeo semicrculo 8 : < <

Consideremos la regin que consiste del rectngulo

y que designamos con

1
1
Hz + nL2 -n

H-1Ln
-n

W = W, Y, n . Se tiene
1
FHL
2 i W

= nk=1 Res=k FHL = nk=1

Hz + kL2

1. Calculamos la integral sobre el semicrculo.

Se tiene

FHL =

1 1
z2

+ hHL con

hHL analtica en el origen. Luego queda en el lmite para

- i =

2 i z2

(semiresiduo negativo)

2 z2

2. Veamos que la integral en el segmento horizontal superior tiene limite 0 para

Se parametriza mediante

HtL = t + i Y , 0 b t b n +

Si tomamos Y grande de tal manera que -2 Y <

cotg Ht + i Y L =

Tomando mdulo , y recordando que

0

n+ cotgHt + i YL

cuyo lmite para

Hz + t + i YL

- Y

-i t

:
2 i t -2 Y + 1
2 i t -2 Y - 1

2
2 i t -2 Y - 1

z = x + i y , x > 0,

t b 4 0

Y es cero.

n+

1
2

Y +.

i t - Y + -i t Y
it

1
2

1
2

Hx + tL2 +Hy + YL2

t b

1
4
Hy + YL 0 1+s2

b4

Funcin gama.nb

z = x + i y , x > 0,

Tomando mdulo , y recordando que

0

n+ cotgHt + i YL
Hz + t + i YL

t b 4 0

n+

1
2

Hx + tL2 +Hy + YL2

t b

1
4
Hy + YL 0 1+s2

Y es cero.

cuyo lmite para

De la misma manera se ve que el lmite sobre el borde horizontal inferior es cero para

=n+

3. Acotamos la integral sobre todo el borde vertical derecho

cotg Jn +

1
2

t = -

+ i tN

Jz + n+ + i tN
1

H-1Ln i - t + H-1Ln H-iL t

AH-1Ln i - t -H-1Ln H-iL t E

b -

- t - t
- t + t

1
2

t b -

Jx + n + N +Hy + tL2
1 2
2

Jx + n + N +Hy + tL2
1 2

b 1 para

- t - t
- t + t

1
- 1 + s2 s

x+n+

Hemos usado que

+ i t , - < t < + .

Jz + n+ + i tN

1
2

1
2

- < t < .

Luego el limite de la integral cuando n es cero.

= i t , < t < Y , = i t :

4. Calculamos la integral sobre la vertical

- 2 i B -Y
1

- i cotgH i tL
Hz + i tL2

t +

Y i cotgHi tL

Y -4 i t z cotgH i t L

= - 21

Iz2 + t M

2 2

Hz + i tL2

t = - 2

tF = - 12 cotgHi tL B
Y

Y - t + t
tz
- t - t Iz2 + t2 M2

Hz + i tL2

t = 2 J1 +
Y

Y + .

Hz - i tL2

2
2 t -1

F t =
tz

Iz2 + t2 M

10

Funcin gama.nb

0 y luego para

Tomando primero el lmite para

0

t + 0

2tz

Iz2 +t2 M

4tz

Iz2 +t2 M

1
z

t =

2 t -1

Y queda

+ 0

4tz

Iz2 +t2 M

2 t -1

5. Reuniendo todos los clculos obtenemos

lim0,n, Y

FHL =
k=1

1
2 i W

y sumando a ambos miembros

I

G ' HzL '

M
GHzL

=-

1
z

2 z2

+ 0

Hz + kL2

2 z2

1
z

+ 0

4zt

Iz2 + t2 M

1
2 t -1

d
dz

6. Integramos esta igualdad, usando que en el integrando se tiene

G ' HzL
GHzL

=C-

1
2z

4zt

Iz2 +t2 M

1
2

2 t -1

queda finalmente

z2

=
k=0

Hz + kL2

+ log z - 0

2t

z2 +t2 2 t -1

-2 t
z2 + t2

N=

4zt

Iz2 + t2 M

Necesitamos integrar otra vez y para evitar el arcotangente, que es multivaluada, primero transformamos la
integral integrando por partes, y usando
1
2 t -1

-2 t
1- -2 t

d
A1
d t 2

log I1 - -2 t ME

y obtenemos
G ' HzL
GHzL

=C-

1
2z

2 Iz2 -t2 M

+ log z - 0

d
dz

Integrando esta igualdad, y usando que

log GHzL = C ' + HC - 1L z -

1
2

Iz2 + t2 M

z
2

z +t

1
2

N=-

logI1 - -2 t M t

z2 - t2

Iz2 + t2 M

log z + z log z + 1 0

queda

z
z2 + t2

log J

1
1--2 t

N t

Esta igualdad significa que eligiendo las constantes adecuadas se obtiene el log GHzL real para z real.

La funcin
J HzL =

es analtica en el semiplano

1 z
0 z2 + t2

logJ

1
1- -2 t

N t

ReHzL > 0 y , si evitamos que

z2 + t2 se anule, para lo cual tomamos

entonces
lim ReHzLrc , z J HzL = 0
En efecto, separamos la integral en dos

ReHzL r c > 0,

J HzL =

1 z
0 z2 + t2

logJ

1
1- -2 t

N t
Funcin gama.nb

z2 + t2 se anule, para lo cual tomamos

ReHzL > 0 y , si evitamos que

es analtica en el semiplano

ReHzL r c > 0,

entonces
lim ReHzLrc , z J HzL = 0
En efecto, separamos la integral en dos
z

J HzL =

1
z
2
0 z2 + t2

logJ

1
z
2
0 z2 + t2

logJ

z
z2 + t2

z2 + t 2 r z2 -

En la primera integral se tiene

N t + 1 z

1
1- -2 t

1
1- -2 t

N t b

z 2
4

logJ

1- -2 t

z2 y entonces

3
4

4
logJ 1-2 t N t
3 z 0
1-

z2 + t 2 = Hz - i tL Hz + i tL

En la segunda integral se tiene

y r 0 se tiene Hz + i tL > z y

i) para z = x + i y con
ii) para z = x + i y con

N t

y entonces

y < 0 se tiene Hz - i tL > z y

Hz - i tL r x > c

Hz + i tL r x > c

luego en todos los casos z2 + t 2 = Hz - i tL Hz + i tL r c z y por lo tanto

z
z2 + t2

logJ

1
1- -2 t

N t b

1
z logJ 1- -2 t N t

1
c

Como la integral 0 logJ 1-2 t N t es convergente, resulta

1-

Calcularemos las constantes

Para evaluar

lim z J HzL = 0 .

C, C '.

usamos la relacin (1) : GHz + 1L = z GHzL

log GHz + 1L = C ' + HC - 1L Hz + 1L -

log z + log GHzL = C ' + HC - 1L z +

Restando eliminamos C ' y queda

1
2

1
2

log GHz + 1L = log z + log GHzL

log H z + 1L + Hz + 1L log H z + 1L + J Hz + 1L

log z + z log z + J HzL

0 = HC - 1L +

Tomando lmite z , ReHzL > 0, como

1
logI1 + 1z M + z logI1 + 1z M +
2
z logI1 + 1z M tiende a 1 (hacer w = 1z

J Hz + 1L - J HzL
y w 0) queda C = 0 . Luego

log GHzL = C ' - z + Iz - 12 M log z + J HzL (*)

Para evaluar

C ' tomamos logaritmo en la frmula de duplicacin

log

GH2 zL = 22 z-1 GHzL GIz + 12 M:

+ log GH2 zL = H2 z - 1L log 2 + log GHzL + log GIz + 12 M

y aplicando (*) se obtiene

log

+ C ' - 2 z + I2 z - 12 M log H2 zL + J H2 zL =

H2 z - 1L log 2 + C ' - z + Iz - 12 M log z + J HzL + C ' - Iz + 12 M + z logIz + 12 M + J Iz + 12 M

Luego
log

+ C ' - 2 z + 2 z log 2 + 2 z log z -

1
2

log 2 -

1
2

log z + J H2 zL =

11

 + log GH2 zL = H2 z - 1L log 2 + log GHzL + log GIz + 12 M

log
12

Funcin gama.nb

y aplicando (*) se obtiene

log

+ C ' - 2 z + I2 z - 12 M log H2 zL + J H2 zL =

H2 z - 1L log 2 + C ' - z + Iz - 12 M log z + J HzL + C ' - Iz + 12 M + z logIz + 12 M + J Iz + 12 M

Luego
1
2

+ C ' - 2 z + 2 z log 2 + 2 z log z -

log

log 2 -

1
2

log z + J H2 zL =

log z + J HzL + C ' - z -

1
2

2 z log 2 - log 2 + C ' - z + z log z -

1
2

+ z log z + z logI1 +

1
M+
2z

Simplificando queda
log

1
2

log 2 +

1
2

1
M+
2z

= C ' + z logI1 +

1
M
2z

z , ReHzL > 0, como z logI1 +

Tomando lmite para

tiende a 12 , queda

log

2 = C '.

2 - z + Iz - 12 M log z + J HzL

log GHzL = log

Luego

J HzL + J Iz + 12 M - J H2 zL

Exponenciando obtenemos la frmula de Stirling

2 -z z

GHzL =

Luego

GHzL

limz

2 -z z

Para

z = n es

z-

Hn - 1L !=

=1

z-

1
2

JHzL

ReHzL r c > 0 .

para

n-

2 -n n

JHnL

n+

2 -n n

n !=

y multiplicando por n

1
2

JHnL

Desarrollo asinttico
J HzL =

El integrando que define a

1 z
0 z2 + t2

logJ

1
1- -2 t

N t se puede expresar en sucesivas potencias de

En efecto, desarrollando en serie geomtrica finita se tiene

1
1-r

= nk=0 rk +

rn+1
1-r

Si r = - t 2 y tomando como ejemplo n = 1 se tiene

z

z
z2 +t2

1
z

1+IzM

t 2

1
z

:1 -

J- 2 N
t2

t2

z2

1+

t2

>=

1
z

t2

z3

z2

t4

z3 Iz2 + t2 M

y entonces
J HzL =

1
0 logJ 1- -2 t N t

Calculando se obtiene

1
z

1
2
0 t logJ 1- -2 t N t

1
logJ
0

1
-2 t

N t =

1
3

1
12

1
3

t4
2

z + t2

logJ

1
1- -2 t

N t

1
z

J Iz + 12 M

Funcin gama.nb

y entonces
J HzL =

1
0 logJ 1- -2 t N t

1
z

1
2
0 t logJ 1- -2 t N t

1
logJ 1-2 t N t
0
1-

Calculando se obtiene

z3

t4
1

z3 0 z2 + t2

logJ

1
1- -2 t

N t

1
12

1
- 1 0 t2 logJ 1-2 t N t = - 360
1-

Podemos escribir
J HzL =

1 1
12 z

1 1
360 z3

+ R4 HzL ,

con R4 HzL =

t4
1

z3 0 z2 + t2

logJ

1
1- -2 t

N t

limz J HzL = 0 , ReHzL r c > 0 obtenemos

Con el mismo argumento que usamos para probar que

limReHzLrc,z z4 R4 HzL = 0
La frmula de Stirling se mejora as:

2 -z z

GHzL =

z-

12

z-1 -

1
360

z-3

R4 HzL

Nota
La integral

1
logJ 1-2 t N t
0
1-

se puede calcular haciendo primero el cambio de variable s = -2 t , d s = -2 s d t,

1
logJ 1-2 t N t
0
1-

Desarrollando en Taylor en

=-

1 log H1-sL
1

s
2 2 0

logH1 - sL = -
k=1

0 b s b < 1 el logaritmo
-

log H1-sL
1

s
2 2 0

s =

s = lim1- -

1
2 2

k=1

1
k2

log H1-sL
1

s
2 2 0

1
k

sk obtenemos

Utilizando el Teorema de Abel:

k
"Si una serie
k=0 ak es convergente entonces limx1- k=0 ak x = k=0 ak "
obtenemos
lim1Por un camino similar se obtiene

1
2 2

k=1

1
k2

k =

1
2 2

k=1

1
k2

1 2
2 2 6

1
- 1 0 t2 logJ 1-2 t N t = - 360
1-

1
12

13