FUNCIÓN GAMA. FÓRMULA DE STIRLING.

1. Motivación

Nos interesa tener una idea adecuada de cómo 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 subdivión 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 función 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'' HΞL Hx - kL Hx - Hk + 1LL con k b Ξ bk+1

y por ello

0 < Ùk @log x - sk HxLD â x b Ùk Hx - kL Hk + 1 - xL â x b

k+1 k+1 1 1
2 ΞHxL2 12 k 2

entonces An - Tn b Únk=1 1
que es una serie convergente. Luego limn ®¥ An - Tn = c > 0 es finito.
12 k 2

Tomando la exponencial se tiene

1
n+
ã An nn ã-n ã n 2 ã-n
limn®¥ Tn
= limn®¥ 1
= ãc Þ limn®¥ n!
= ã c-1
ã -
n! n 2

1
Utilizando el producto de Wallis se puede demostrar que el límite es obteniendo la fórmula de Stirling
2Π

1
n+
2Π n 2 ã-n
limn®¥ n!
=1

que permite estimar n ! de manera rápida.

Nosotros seguiremos otro camino para establecer una fórmula más precisa.
Interpolaremos n! mediante una función llamada gama y la estudiaremos con algún detalle.

2. Integrales dependientes de parámetros

Recordamos el siguiente lema sobre integrales dependientes de parámetros.

Lema

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

a) La función FHxL = Ùa f Hx, tL â t es continua en W .

b
2 Función gama.nb

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

a) La función 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 también 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 analítica en z , entonces
FHzL = Ùa f Hz, tL â t es analítica en W. En efecto, basta aplicar el lema anterior y usar las condiciones de
b

Cauchy-Riemann. Por ejemplo, la función

FHzL = Ùa f HtL ã- z t â t
b

 con f HtL continua en el intervalo compacto @a, bD es analítica en todo el plano.

3. Función gama

GHxL = Ù0 t x-1 ã-t â t definida para x > 0 interpola la función factorial pues, integrando por partes:
¥
La función

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

¥ ¥ ¥

Además GH1L = GH2L = 1 y por lo tanto GHn + 1L = n GHnL = n Hn - 1L GHn - 2L =. ... = n!.
Esta función se llama función 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 función la aproximamos por funciones más sencillas.

Una aproximación de la función gama

Reemplazaremos la exponencial ã-t , que figura en el integrando de la función gama, por I1 - nt M .

n

Estudiamos el error en este reemplazo. Por convexidad de la exponencial se tiene 1 + s b ãs para cada s .

I1 + nt M b ãt se obtiene I1 - nt M b ã-t .
t n n
Para s= n
queda y para s = - nt

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 - NO

n n n n n
t2
2
n

La igualdad
1 - J1 - N =1-1+
n
t2 t2 t2
2 n
- .... = n
- ...
n

1 - J1 - N b
n
t2 t2
nos inspira la desigualdad 2 n
, 0 b t b n , la cual es cierta pues la función
n

hHtL = J1 - N + hH0L = 1 , h' HtL = B1 - J1 - t 2 N F

n 2 n-1
t2 t2 2t
2 n
verifica n
r 0 en 0 b t b n.
n n

Aplicando esta desigualdad obtenemos la siguiente cota para el error de la aproximación

 0 b ã - I1 - n M = ã I1 - ã I1 - n M M b ã I1 - I1 + n M I1 - n M M = ã K1 - J1 - NO
n2

La igualdad
Función gama.nb 3
1 - J1 - N =1-1+
n
t2 t2 t2
n
- .... = n
- ...
n2

1 - J1 - N b
n
t2 t2
nos inspira la desigualdad 2 n
, 0 b t b n , la cual es cierta pues la función
n

hHtL = J1 - N + hH0L = 1 , h' HtL = B1 - J1 - t 2 N F

n 2 n-1
t2 t2 2t
n
verifica n
r 0 en 0 b t b n.
n2 n

Aplicando esta desigualdad obtenemos la siguiente cota para el error de la aproximación

0 b ã-t - I1 - nt M b
n t2
n
ã-t si 0btbn

Sea

fn HzL = Ù0 t z -1 I1 - nt M â t
n n
para ReHzL > 0

i) fn HzL es analítica en el semiplano RHzL > 0 por el lema sobre integrales dependientes de un parámetro.

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

n n ¥

n Ù0
ã-t â t + Ùn t x-1 ã-t â t b n Ù0
ã-t â t + Ùn t Β-1 ã-t â t
1 n x-1 2 ¥ 1 n Β+1 ¥
t t t

n Ù0
1 ¥ Β+1
ã-t â t + Ùn t Β-1 ã-t â t =
¥ k
b t 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 función gama es analítica en el semiplano.

Utilizando el principio de identidad podemos concluir que verifica

GHz + 1L = z GHzL (1)

para 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 expresión cerrada para fn HzL:

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

nz : B sz H1 - sLn F + Ù0 n H1 - sLn-1 â s > = H1 - sLn-1 â s = s H1 - sL

nz n Hn-1L 1 z+1
z Ù0 z Hz+1L Ù0
1
Z 1 sz nz n 1 z n-2
z
s âs
0
nz n!
zHz+1L..... Hz+nL
=. ... ... =

Obtenemos la aproximación en el semiplano ReHzL > 0, con convergencia uniforme sobre compactos,

nz n!
zHz+1L..... Hz+nL
limn®¥ = GHzL (2)

4. Prolongamiento analítico

De la relación funcional GHz + 1L = z GHzL obtenemos

4 Función gama.nb

Obtenemos la aproximación en el semiplano ReHzL > 0, con convergencia uniforme sobre compactos,

nz n!
zHz+1L..... Hz+nL
limn®¥ = GHzL (2)

4. Prolongamiento analítico

De la relación funcional GHz + 1L = z GHzL obtenemos

1
GHzL = z
GHz + 1L

permite prolongar analíticamente la función gama a la franja vertical -1 < ReHzL b 0 , exceptuando el 0 , donde tiene
1
un polo simple con parte principal z
.

Iterando la relación (1) relación obtenemos

1
z Hz+1L
GHzL = GHz + 2L

que permite extender analíticamente la función gama a -2 < ReHzL excepto en z = -1 donde tiene polo simple con
-1
parte singular z+1
.

De la misma manera la relación

1
z Hz+1L Hz+2L
GHzL = GHz + 3L

H-1L2
2 ! Hz+2L
permite extenderla a -3 < ReHzL con un polo simple en z = -2 y parte principal

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 función G(z) en dos: GHzL = Ù0 tz-1 ã-t â t = Ù0 tz-1 ã-t â t + Ù1 tz-1 ã-t â t
¥ 1 ¥

a) f1 HzL = Ù0 tz-1 ã-t â t = Ú¥

H-1Lk
â t = Ú¥
H-1Lk 1
Ù0 t
1 1z-1+k
k=0 k! k=0 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 Ú¥
H-1Lk 1
k=n0 converge uniformemente
en K y entonces f1 HzL es una funciòn analìtica en C - 80, -1, -2, ...< con polos simples
k! z+n

en 0, -1, -2, ...

b) f2 HzL = Ù1 tz-1 ã-t â t

¥
es analìtica en todo el plano.
Para verlo aproximarla con gn HzL = Ù1 tz-1 I1 - nt M â t , como en la sección anterior, que son analíticas en todo C .
n n

Una fórmula especial

H-1Ln-1
Hn-1L! Hz-nL
La función GH1 - zL tiene polos simples en los naturales z = n , con parte singular , n = 1, 2, ... y
 Función gama.nb 5

Una fórmula especial

H-1Ln-1
Hn-1L! Hz-nL
La función GH1 - zL tiene polos simples en los naturales z = n , con parte singular , n = 1, 2, ... y
por ello la función producto GHzL GH1 - zL tiene polos simples en los enteros. Su parte principal en los enteros
negativos z = -n es

H-1Ln H-1Ln
n! Hz + nL
GH1 + nL = z+n

y en los enteros positivos z = n

H-1Ln-1 H-1Ln
Hn-1L! H-z + nL
GHnL = z-n

Π
La función sen Π z
tiene los mismos polos con las mismas partes singulares.

Vamos a demostrar que coinciden

Π
GHzL GH1 - zL = sen Π z
(3)

Si probamos la igualdad para 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

Π Π
¥ cosx-1 Θ sen-x Θ
cos Θ + sen Θ
âΘ =

= Ù02 I cos Θ M â Θ = Ù0
Π
sen Θ -x cos -1 Θ ¥ Σ-x Π
cos Θ + sen Θ 1+Σ
âΣ = sen Π x

La última integral se puede calcular por residuos.

1
Poniendo z = 2
en (3) y (1) obtenemos para

GI 12 M = Π y GI 32 M = 1
2
Π

La fórmula (3) demuestra que la función 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
GIn + 12 M =
1.3 ´ .5... H2 n-1L
Probar que 2n
Π

Ejercicio

Probar que también 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
Función gama.nb

GIn + 12 M =
1.3 ´ .5... H2 n-1L
Probar que 2n
Π

Ejercicio

Probar que también 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 logarítmica

En un entorno del entero negativo z = - n se tiene GHzL = Hz + nL-1 hHzL con hHzL analítica no nula.
Luego la derivada logaritmica es

G ' HzL 1 h' HzL

GHzL
=- z+n
+ hHzL

y derivando se obtiene

A E
G ' HzL ' 1
Hz + nL2
GHzL
= + analítica

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

Demostraremos que es la suma de sus partes principales

A E
G ' HzL ' G '' H zL GH zL-G ' H zL2
= Ú¥ 1
Hz+nL2
GHzL
= n=0 (4)
GH zL2

Tomando una rama del logaritmo en ambos miembros de la igualdad (2) válida en ReHzL > 0 se obtiene

log fn HzL = log nz

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

que converge uniformemente sobre compactos del semiplano derecho a log GHzL .
Luego las derivadas también convergen uniformemente sobre compactos del semiplano

@log fn HzLD ' = log n - ® @log GHzLD ' =

1 1 1 1 G ' HzL
z
- z+1
- z+2
- ... ....- z +n GHzL

@log fn HzLD '' = A E

1 1 1 G ' HzL '

Hz + 1L2 Hz + nL2
+ + ... ... + ® GHzL
z2

y se obtiene

Ú¥ =A E
1 G ' HzL '
Hz + nL2
n=0 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 E
G ' HxL '
= Ú¥ 1
Hx + nL2
GHxL n=1 >0

lo que prueba que la función log GHxL es estrictamente convexa.

Ejercicio
Como la serie es convergente en todo el plano, salvo polos, la igualdad vale en todo el plano.
Función gama.nb 7

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

@log GHxLD'' = A E
G ' HxL '
= Ú¥ 1
Hx + nL2
GHxL n=1 >0

lo que prueba que la función log GHxL es estrictamente convexa.

Ejercicio

Utilizando que Ú¥ = I sen Π z M

1 Π 2
Hz + nL2
n=-¥ y (4) demostrar la igualdad (3) .

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

6. Fórmula de duplicación de Legendre

La función GH2 zL tiene polos simples en - 12 n para n = 0, 1, 2, ... y el producto GHzL.GIz + 12 M también.
Veremos que ambas tienen la misma derivada segunda logarítmica.

Sea gHzL = GH2 zL , g ' HzL = 2 G' H2 zL , g '' HzL = 4 G'' H2 zL y usando (4) obtenemos

g' HzL ' g'' HzL gHzL -Hg' HzL L2

B gHzL F = = 4I M H2 zL
G '' H2 zL GH2 zL-G ' H2 zL2
= 4 Ú¥
G' ' 1
H2 z + kL2
=4 G k=0
gHzL2 GH 2 zL2

Y por otro lado

BG HzL GJz+ NF G ' HzL G ' Jz + N

1 ' 1
2 2
= +
GHzL GJz + N GHzL GJz + N
1 1
2 2

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

4 Ú¥ 1
= Ú¥ 4
+ Ú¥ 4
= Ú¥ 1
+ Ú¥ 1
H2 z + kL2 H 2 z + 2 kL2 H 2 z + 2 k + 1L2 Hz + kL2 Jz +
k=0 k=0 k=0 k=0 k=0 1 2
+ kN
2

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

GH2 zL = C ãD z GHzL GIz + 12 M

1
Para z=1 queda 1 = GH2L = C ã D 2
Π
D
1
y para z= 2
es 1 = GH1L = C ã 2 Π

D
1
Dividiendo obtenemos ã 2 = 2 , C = y queda la fórmula llamada de duplicación de Legendre
2 Π

GHzL GIz + 12 M
1
2 z-
2 Π GH2 zL = 2 2 (5)

Ejercicio

a) Demostrar la siguiente fórmula de triplicación, debida a Gauss:

GHzL GIz + 13 M GIz + 23 M

1
3 z-
2 Π GH3 zL = 3 2

b) Probar que
8 Función gama.nb
Ejercicio

a) Demostrar la siguiente fórmula de triplicación, debida a Gauss:

GHzL GIz + 13 M GIz + 23 M

1
3 z-
2 Π GH3 zL = 3 2

b) Probar que

2 Π GI 16 M = 3 GI 13 M
2

7. Fórmula de Stirling

Partiendo de la derivada logaritmica (4) , y siguiendo una idea de Lindelöff que usa residuos, se obtiene una
representación integral que permite estudiar la función gama para valores grandes de z .

Sea z = x + i y con x > 0 un número fijo.

Π H-1Ln
La función sen Π Ζ
tiene ceros simples en los enteros Ζ = n con parte principal Ζ-n
.

cos Π Ζ Π cotg Π Ζ 1 1
Hz + ΖL2 sen Π Ζ Hz + ΖL2 Hz + nL2 Ζ-n
Por lo tanto FHΖL = =Π tiene parte principal en el entero n (z está fijo).

Consideremos la región que consiste del rectángulo A0, n + 12 E ´ @-i Y , i Y D sin un pequeño semicírculo 8Ζ : È Ζ È < Ε<
y que designamos con W = WΕ, Y, n . Se tiene

2 Π i Ù¶W
1
= Únk=1 ResΖ=k FHΖL = Únk=1 1
Hz + kL2
FHΖL â Ζ

1. Calculamos la integral sobre el semicírculo.

1 1
Se tiene FHΖL = + hHΖL con hHΖL analítica en el origen. Luego queda en el límite para Ε®0
z2 Ζ

Ù- Π i â Θ = -
Π
1 1
- 2
(semiresiduo negativo)
2 Π i z2 2
2 z2

2. Veamos que la integral en el segmento horizontal superior tiene limite 0 para Y ® +¥.
1
Se parametriza mediante ΖHtL = t + i Y , 0 b t b n + 2
.
1
Si tomamos Y grande de tal manera que ã-2 Π Y < 2
:

È cotg Π Ht + i Y L È = Ë Ë= Ë Ë b Ë Ë b4
ãi Π t ã-Π Y + ã-i Π t ã Π Y ã2 i Π t ã-2 Π Y + 1 2
iΠt -Π Y -i Π t ΠY
ã ã -ã ã ã2 i Π t ã-2 Π Y - 1 ã2 i Π t ã-2 Π Y - 1

Tomando módulo , y recordando que z = x + i y , x > 0,

Ù0 â t b 4 Π Ù0 Hy + YL Ù0 1+s2
1 1
n+ Π cotgHt + i YL n+ 1 4Π ¥ 1
Hz + t + i YL Hx + tL2 +Hy + YL2
2
2
2 ât b âs

cuyo límite para Y ® ¥ es cero.

 Función gama.nb 9

Tomando módulo , y recordando que z = x + i y , x > 0,

Ù0 â t b 4 Π Ù0 Hy + YL Ù0 1+s2
1 1
n+ Π cotgHt + i YL n+ 1 4Π ¥ 1
Hz + t + i YL Hx + tL2 +Hy + YL2
2
2
2 ât b âs

cuyo límite para Y ® ¥ es cero.

De la misma manera se ve que el límite sobre el borde horizontal inferior es cero para Y ® +¥ .

1
3. Acotamos la integral sobre todo el borde vertical derecho Ζ =n+ 2
+ i t , -¥ < t < +¥ .

cotg Π Jn + H-1Ln i ã-Π t + H-1Ln H-iL ãΠ t

Ù-¥ â t = Ù-¥
1
¥ + i tN ¥ 1
AH-1Ln i ã-Π t -H-1Ln H-iL ãΠ t E
2
ât
Jz + n+ + i tN Jz + n+ + i tN
1 2 1 2

2 2

b Ù-¥ â t b Ù-¥
¥ ã-Π t - ãΠ t 1 ¥ 1
ât
Jx + n + N +Hy + tL2 Jx + n + N +Hy + tL2
ã-Π t + ãΠ t 1 2 1 2
2 2

Ù-¥ 1 + s2 â s
Π ¥ 1
= 1
x+n+
2

Ë Ë b 1 para
ã-Π t - ãΠ t
Hemos usado que ã-Π t + ãΠ t
-¥ < t < ¥ .

Luego el limite de la integral cuando n ® ¥ es cero.

4. Calculamos la integral sobre la vertical Ζ = i t , Ε < ý t ý < Y , âΖ = i ât :

- 2 Π i B Ù-Y â t + ÙΕ â tF = - 12 ÙΕ cotgHi Π tL B F ât =
1 -Ε i Π cotgH i Π tL Y i Π cotgHi Π tL Y 1 1
Hz + i tL2 Hz + i tL2 Hz + i tL2 Hz - i tL2
-

Y -4 i t z cotgH i Π t L
= - 21 ÙΕ â t = - 2 ÙΕ â t = 2 ÙΕ J1 + N
Y ã-Π t + ãΠ t tz Y 2 tz
ât
Iz2 + t M 2 2 ã-Π t - ãΠ t Iz2 + t2 M2 ã2 Π t -1 Iz2 + t2 M
2
10 Función gama.nb

Tomando primero el límite para Ε ® 0 y luego para Y ® ¥ queda

Ù0 â t + Ù0 + Ù0
¥ 2tz ¥ 4tz 1 1 ¥ 4tz 1
ât = ât
Iz2 +t2 M Iz2 +t2 M ã2 Π t -1 z Iz2 +t2 M ã2 Π t -1
2 2 2

5. Reuniendo todos los cálculos obtenemos

2 Π i Ù¶W
FHΖL â Ζ = Ú¥ + Ù0
1 1 1 1 ¥ 4zt 1
Hz + kL2
limΕ®0,n®¥, Y®¥ =- + ât
Iz2 +t2 M
k=1 2 z2 z 2
ã2 Π t -1

1
y sumando a ambos miembros queda finalmente
z2

I M
G ' HzL '
= Ú¥ + Ù0
1 1 1 ¥ 4zt 1
Hz + kL2
= + ât
Iz2 + t2 M
GHzL k=0 2 z2 z 2
ã2 Π t -1

J N=
d -2 t 4zt
6. Integramos esta igualdad, usando que en el integrando se tiene ,
dz z2 + t2 Iz2 + t2 M
2

G ' HzL
+ log z - Ù0
1 ¥ 2t 1
GHzL
=C- ât
2z z2 +t2 ã2 Π t -1

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

A1 log I1 - ã-2 Π t ME
1 ã-2 Π t d
= = d t 2Π
ã2 Π t -1 1- ã-2 Π t

y obtenemos

¥ 2 Iz2 -t2 M
logI1 - ã-2 Π t M â t
G ' HzL
=C- 1
+ log z - Ù0 1
GHzL 2z Iz2 + t2 M 2Π
2

J N=-
d z z2 - t2
Integrando esta igualdad, y usando que queda
dz Iz2 + t2 M
2 2 2
z +t

log GHzL = C ' + HC - 1L z - log z + z log z + Π1 Ù0 log J N ât

1 ¥ z 1
2 z2 + t2 1-ã-2 Π t

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

La función

J HzL = Π Ù0 z2 + t2
1 ¥ z
logJ 1
N ât
1- ã-2 Π t

es analítica en el semiplano ReHzL > 0 y , si evitamos que z2 + t2 se anule, para lo cual tomamos ReHzL r c > 0,
entonces

lim ReHzLrc , z ®¥ J HzL = 0

En efecto, separamos la integral en dos

 J HzL = Π Ù0 z2 + t2
1 ¥ z
logJ 1
N ât
1- ã-2 Π t
Función gama.nb 11

es analítica en el semiplano ReHzL > 0 y , si evitamos que z2 + t2 se anule, para lo cual tomamos ReHzL r c > 0,
entonces

lim ReHzLrc , z ®¥ J HzL = 0

En efecto, separamos la integral en dos

ýzý

J HzL = Π Ù0 z2 + t2
N â t + Π1 Ù ýzý N ât
1 z 1 ¥ z 1
2 logJ logJ
1- ã-2 Π t 2 z2 + t2 1- ã-2 Π t

Ë z2 + t 2 Ë r Ë z2 Ë - É z2 É y entonces
È z È2 3
En la primera integral se tiene 4
= 4

ýzý

Ì Π Ù0 z2 + t2
N ât Ì b 3 Π ý zý Ù0
logJ 1-2 Π t N â t
1 z 1 4 ¥
2 logJ
1- ã-2 Π t 1- ã

En la segunda integral se tiene É z2 + t 2 É = È Hz - i tL Hz + i tL È y entonces

i) para z = x + i y con y r 0 se tiene È Hz + i tL È > È z È y È Hz - i tL È r x > c
ii) para z = x + i y con y < 0 se tiene È Hz - i tL È > È z È y È 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ý N ât Ì b Ù ýzý logJ 1- ã-2 Π t N â t

1 ¥ z 1 1 ¥ 1
Π
logJ Πc
2 z2 + t2 1- ã-2 Π t 2

Como la integral Ù0 logJ 1-2 Π t N â t es convergente, resulta lim z ®¥ J HzL = 0 .

¥
1- ã

Calcularemos las constantes C, C '.

Para evaluar C usamos la relación (1) : GHz + 1L = z GHzL Þ log GHz + 1L = log z + log GHzL

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

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

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

2
log z + z log z + J HzL

Restando eliminamos C ' y queda 0 = HC - 1L + 1

2
logI1 + 1z M + z logI1 + 1z M + J Hz + 1L - J HzL
Tomando límite z ® ¥, ReHzL > 0, como z logI1 + 1z M tiende a 1 (hacer w = 1z 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 fórmula de duplicación Π GH2 zL = 22 z-1 GHzL GIz + 12 M:

log Π + 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 =
 log Π + log GH2 zL = H2 z - 1L log 2 + log GHzL + log GIz + 12 M
12 Función 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

log Π + C ' - 2 z + 2 z log 2 + 2 z log z - 1

log 2 - 1
log z + J H2 zL =
log z + J HzL + C ' - z - M+ J Iz + 12 M
2 2
1 1 1
2 z log 2 - log 2 + C ' - z + z log z - 2 2
+ z log z + z logI1 + 2z

Simplificando queda

log Π + 1
2
log 2 + 1
2
= C ' + z logI1 + 1
2z
M+ J HzL + J Iz + 12 M - J H2 zL

Tomando límite para z ® ¥, ReHzL > 0, como z logI1 + 1

2z
M tiende a 12 , queda log 2 Π = C '.

Luego log GHzL = log 2 Π - z + Iz - 12 M log z + J HzL

Exponenciando obtenemos la fórmula de Stirling

1
z-
GHzL = 2 Π ã-z z 2 ã JHzL

GHzL
Luego limz®¥ 1
=1 para ReHzL r c > 0 .
z-
2 Π ã-z z 2

Hn - 1L !=
1
n-
Para z = n es 2 Π ã-n n 2 ã JHnL y multiplicando por n

1
n+
n != 2 Π ã-n n 2 ã JHnL

Desarrollo asintótico

El integrando que define a J HzL = Π Ù0 z2 + t2

1 ¥ z
logJ 1
N â t se puede expresar en sucesivas potencias de 1
.
1- ã-2 Π t z

En efecto, desarrollando en serie geométrica finita se tiene

= Únk=0 rk +
1 rn+1
1-r 1-r

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

J- 2 N
:1 - >=
2
t2
z 1 1 1 t2 1 t2 t4
z3 Iz2 + t2 M
z
= = + - +
1+IzM
z2 +t2 z t 2 z z2 t2 z z3
1+
z2

y entonces

J HzL = Ù0 logJ 1- ã-2 Π t N â t Ù0 t logJ 1- ã-2 Π t N â t Ù0 N ât

1 ¥ 1 1 1 ¥ 2 1 1 1 ¥ t4 1
Π
- Π
+ logJ
z z3
Πz 3
z + t2
2
1- ã-2 Π t

Calculando se obtiene Π Ù0
1 ¥
logJ 1
-2 Π t
N ât = 1
12
 Función gama.nb 13

y entonces

J HzL = Ù0 logJ 1- ã-2 Π t N â t Ù0 t logJ 1- ã-2 Π t N â t Ù N ât

1 ¥ 1 1 1 ¥ 2 1 1 1 ¥ t4 1
Π
- Π
+ logJ
z z3 Π z3 0 z2 + t2 1- ã-2 Π t

Calculando se obtiene Π Ù0
1 ¥
logJ 1-2 Π t N â t = 1
12
1- ã

- Π1 Ù0 t2 logJ 1-2 Π t N â t = - 360

¥ 1
1- ã

Podemos escribir

J HzL = + R4 HzL , con R4 HzL = Ù N ât

1 1 1 1 1 ¥ t4 1
- logJ
12 z 360 z3 Π z3 0 z2 + t2 1- ã-2 Π t

Con el mismo argumento que usamos para probar que limz®¥ J HzL = 0 , ReHzL r c > 0 obtenemos

limReHzLrc,z®¥ z4 R4 HzL = 0

La fórmula de Stirling se mejora así:

ãR4 HzL
1 1 1
z- z-1 - z-3
GHzL = 2 Π ã-z z 2 ã 12 360

Nota

La integral Π Ù0
1 ¥
logJ 1-2 Π t N â t se puede calcular haciendo primero el cambio de variable s = ã-2 Π t , d s = -2 Π s d t,
1- ã

1 log H1-sL Α log H1-sL

Π Ù0
1 ¥
logJ 1-2 Π t N â t Ù Ù
1 1
=- â s = limΑ®1- - âs
1- ã 2 Π2 0 s 2 Π2 0 s

Desarrollando en Taylor en 0 b s b Α < 1 el logaritmo logH1 - sL = - Ú¥

k=1
1
k
sk obtenemos

Α log H1-sL
Ù Ú¥
1 1 1
- âs = k=1 Αk
2 Π2 0 s 2 Π2 k2

Utilizando el Teorema de Abel:

"Si una serie Ú¥k=0 ak es convergente entonces limx®1- Úk=0 ak x = Úk=0 ak "
¥ k ¥

obtenemos
Ú¥ Ú¥
1 1 1 1 1 Π2 1
limΑ®1- k=1 Αk = k=1 = =
2 Π2 k2 2 Π2 k2 2 Π2 6 12

Por un camino similar se obtiene

- Π1 Ù0 t2 logJ 1-2 Π t N â t = - 360
¥ 1
1- ã