Funci

on Gamma y Beta

Universidad de El Salvador, Facultad de Ciencias Naturales y Matem

atica

Materia: Fsica Matematica II

Docente: MSc. Francisco Melgar Brizuela

Students:
Oscar Ismael Arce Moreno AM12022

Fecha: Martes, 30 de junio de 2015

Indice
1. Introducci
on

2. Preliminares
2.1. Funcion Meromorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. La Funcion Factorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4
4
5

3. La Funci
on Gamma
3.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Demostraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6
8

4. La Funci
on Beta
10
4.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4.2. Funcion Beta Incompleta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
5. Funci
on Gamma Incompleta
12
5.1. Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
5.2. Integrales de Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.

Introducci
on
La Funcion Gamma aparece en los trabajos de Leonhard Euler en el a
no
de 1729; surgio como resultado de varios estudios sobre interpolacion debidos a los
matematicos del siglo XVII y a estudios sobre el calculo de la integral que se venan
haciendo desde tiempo atras.
Algunos matematicos como Goldbach, Daniel Bernoulli y James Stirling haban
estado trabajando en el problema de hallar una expresion analtica que se comportara
como el factorial para los enteros positivos y fijara adecuadamente el sentido para los
demas valores de la variable, pero fracasaron.
El problema fue propuesto a Euler, quien hallo su solucion. Desde entonces la funcion Gamma ha crecido en concepto y en contenido, ademas aparece en la solucion
de numerosos problemas de Fsica tales como la normalizacion de la funcion de onda
de Coulomb y en el computo de probabilidades en mecanica estadstica.
Una razon por la cual esto sucede es porque problemas de combinatoria normalmente involucraran el calculo de un factorial y, como veremos, la funcion Gamma
es la generalizacion del factorial a n
umeros complejos arbitrarios. Pero ademas, la
funcion Gamma resulta estar relacionada con muchas otras funciones especiales en
Fsica, y ello hace que esta funcion este presente en numerosas aplicaciones.
Todo esto hace que su estudio sea relevante, razon por la cual se le dedica este
artculo.

2.
2.1.

Preliminares
Funci
on Meromorfa

Definici
on 1 Se llama funcion meromorfa a una funcion holomorfa en todo el plano, salvo
polos. Los polos no se pueden acumular en el plano.
Ejemplo 1 Las funciones racionales

p(z)
con p(z) y q(z) polinomios
q(z)

r(z)
p(z)
= P (z) +
q(z)
q(z)
Nos interesa el u
ltimo termino salamente. Los lugares nulos de q(z) : z1 , z2 , ...zk (distintos) son
r
los polos de . La correspondiente descomposicion en fracciones parciales
q
r(z)
c11
c12
c13
c1m1
=
+
+
+ ... +
+
2
3
q(z)
z z1 (z z1 )
(z z1 )
(z z1 )m1
c21
c22
c2m2
+
+
+ ... +
+
2
z z2 (z z2 )
(z z2 )m2
+ ...... +
c1mk
ck1
ck2
+ ... +
+
+
2
z zk (z zk )
(z zk )mk

Ejemplo 2 Consideremos la funcion f (z) = cot(z) =

cos(z)
sin(z)

Es el cociente de dos funciones polinomiales p(z) y q(z). Los polos o singularidades ocurren
en los ceros de q(z), en los puntos
z = n
Ademas

(n = 0, 1, 2, ...).

Res p(z)
p(z0 )
= 0
donde z0 es un polo de la funcion.
z = z0 q(z)
q (z0 )

Sabemos que:
 
 
n
n
n2
2
cos(n) = cos ()
cos () sin () +
cosn4 () sin4 () ...
2
4
n

 
 
n
n
n1
sin(n) =
cos () sin()
cosn3 () sin3 () + ...
1
3
Haciendo z0 = n llegamos a p(n) = (1)n y q 0 (n) = (1)n .

Por lo tanto Bn =

p(n)
(1)n
=
= 1 (Residuo)
q 0 (n)
(1)n
4

2.2.

La Funci
on Factorial

Consideremos la integral
Z

e
0


1 x 
1
dx = e  =

Derivando n veces respecto a ambos lados de esta expresion:

Z
n!
xn ex dx = n+1

0
Poniendo = 1 encontramos una expresion integral para la funcion factorial:
Z
xn ex dx,
n = 1, 2, 3, ...
n! =
0

A partir de este resultado podemos extender la funcion factorial para n = 0:


Z

x
x 
0! =
e dx = e  = 1
0

As, tenemos en general:

Z
n! =

xn ex dx,

n = 1, 2, 3, ...

Es evidente
(z 1)! =

z!
z

de donde
n! = para n, un entero negativo

(1)

3.

La Funci
on Gamma

3.1.

Definici
on

Definimos la funcion Gamma por:

Definici
on 2

tz1 et dt,

(z) =

Re z > 0

(2)

Vale decir que, es una generalizacion de la funcion factorial para n

umeros complejos con parte
real positiva.
Observemos que:
 Cuando t , la funcion et domina cualquier potencia. Cuando t 0, |et tz1 | v
t
, de modo que la condicion Re z > 0 es necesaria para la convergencia de la integral.
Re(z)1

 Para el caso Re z < 0 la integral diverge y no puede usarse para definir (z). En todo caso hay maneras de resolver ese problema.
La funcion (z) es continua ( si Re z > 0). Ademas es facil ver que, para Re z > 0:
Z
0
(z) =
tz1 et ln(t) dt
(3)
0

00

(z) =

tz1 et (ln(t))2 dt

(4)

d
(z) =
dz
0

Z

z1 t

 Z
dt =


d z1 t
t
e dt
dz

sabemos que:

d x
(b ) = bx (lnb)
dx

et tz1 ln(t) dt

(z) =
0

De la definicion de la funcion Gamma (2), se tiene

Z

tn et dt = n!

(n + 1) =

(5)

Tomando a (2) e integrando por partes obtenemos la siguiente relacion de recurrencia:

Z
Z

z
t
t
z1

(z + 1) = 
t e |0
(e )zt dt = z
et tz1 dt = z(z)
0

(z + 1) = z(z)

(6)

Notamos que, en particular, si n  N:

(n + 1) = n(n) = n (n 1)(n 1) = = n!

Sabemos: (1) = 1

Figura 3.1: Valores de la funcion Gamma

3.2.

Demostraciones

Consideremos ln (z + 1)= ln z (z)= ln z+ln(z)

0 (z + 1)
1 0 (z)
Derivando
= +
(z + 1)
z
(z)
definamos g(z) =

0 (z)
, luego, tenemos por recurrencia:
(z)
1
g(z) = + g(z + 1)
z
1
g(z + 1) =
+ g(z + 2),
z+1

combinandolas
1
1
g(z) =
+ g(z + 2)
z z+1
derivando
g 0 (z) =

1
1
+
+ g 0 (z + 2)
z 2 (z + 1)2

iterando una vez mas

g 0 (z) =

1
1
1
+
+
+ g 0 (z + 3)
2
2
2
z
(z + 1)
(z + 2)

considerando la expansion infinita

X
1
1
g (z) = 2 +
z
(z + )2
=1
0

Converge en el crculo |z| < R. Integrando g 0 (z) termino a termino:

Z z
X
1
d
g(z) = C +
z
( + )2
=1 0
Z
0

d
=
( + )2

z

1
 = 1 +1

+ 0
z+

Recordando la definicion


X
0 (z)
d
1
1
1
g(z) =
=
ln (z) = C

(z)
dz
z
z
+

=1
integrando
ln (z) = C1 ln z Cz


X
=1

z
ln(z + ) ln()

exponenciando

1 C1 Cz Y z 
z 1
(z) = e e
e 1 +
z

=1

Tomando el cociente (z + 1)/(z)

z+1

(z + 1)
z
eCz Y e
=z=
z
(z)
z + 1 eC(z+1) =1 e

z+

+z+1

despejando la constante
eC =
=

1 Y 1 z+
e
z + 1 =1 z + + 1

1
(z + 1)(z + 2) (z + n)
z+n+1
lm e1 e1/2 e1/3 e1/n

z + 1 n
(z + 2)(z + 3) (z + n + 1)
n+1

Haciendo las simplificaciones y sacando logaritmo



1
1
C = lm 1 + + + ln(n + 1)
n
2
n




1
1
1


1+
= lm 1 + + + ln(n) ln 
n
2
n
n

este lmite existe y es conocido como la constante de Euler-Mascheroni, = 0 57721566
Determinemos la otra constante, para ello formemos K = ec1 :

 z z

Y
z
(z)
1
z

e
= lm exp + z ln(n) lm
n
K
z n
1 2
n
z+
=1

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

Evaluando en z = 1
n n!
n
(1)
= lm
= lm
=1
n 2 3 (n + 1)
n (n + 1)
K
Ahora escribimos la expresion para
z

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

(7)

Esta es la forma debido a Gauss (Weierstrass).

A partir de este producto infinito se pueden obtener muchos resultados importantes, tal como
ver la estrecha relacion de la funcion Gamma con las funciones trigonometricas, as como la
formula de duplicacion de Legendre y la funcion de error de Gauss.

4.

La Funci
on Beta

4.1.

Definici
on

Estudiemos el producto de dos funciones Gamma

Z
 Z

x1 t
y1 s
(x) (y) =
t e dt
s e ds
0
0
Z Z
=
e(t+s) tx1 s1 dt ds
0

Hagamos el cambio de variable t = u2 y s = v 2 , tenemos dt = 2u du y ds = 2v dv

Z Z
2
2
(x) (y) = 4
e(u +v ) u2x2 v 2y2 u v du dv
Z0 Z0
2
2
e(u +v ) u2x1 v 2y1 du dv
=4
0

Haciendo el cambio a coordenadas polares:



/2


u = r cos()
dudv = rdrd
v = r sin()

er (r cos())2x1 (r sin())2y1 r drd

(x) (y) = 4
0

0
/2

er r2x+2y1 cos2x1 () sin2y1 () drd

! Z

=4
0

0
/2

2x1

=4

cos

2y1

() sin

() d

Haciendo r2 = w obtenemos dr =
(x) (y) =


dr

r2 2x+2y1

dw
1

2w 2

! Z

/2
2x1

cos

2y1

() sin

() d

x+y1


dw

Sabemos que:
Z

x+y1


dw

= (x + y)

Al final obtenemos:
Z
2

/2

cos2x1 () sin2y1 () d =

(x) (y)
(x + y)

As, definimos la funcion beta por:

Z

/2

cos2x1 () sin2y1 () d

(x, y) = 2
0

y se relaciona con la funcion Gamma a traves de: (x, y) =

(x) (y)
Otra forma utilizada
(x + y)

com
unmente:
Z
(x, y) =

tx1 (1 t)y1 dt

10

(8)

4.2.

Funci
on Beta Incompleta

Se define a la funcion beta incompleta como:

Definici
on 3
Z
z (x, y) =

tx1 (1 t)y1 dt

(9)

x, y > 0 0 z 1
Claramente, z=1 (x, y) es la funcion beta regular (completa), ecuacion 8
Se define en terminos de la funcion hipergeometrica como:
z (x, y) =

zx
2 F1 (x, 1 y; x + 1; z)
x

La funcion hipergeometrica se define como:

2 F1 (a, b; c; z) =

X
(a)i (b)i z i

c
i!
i
i=0


Introducimos los smbolos de Pochhammer

()k =

1, si k = 0
( + 1) ( + k 1), si k = 1, 2, 3

Para nuestro caso:

X
(x)n (1 y)n z n

2 F1 (x, 1 y; x + 1; z) =
(x + 1)n
n!
n=0

(x)n
x(x + 1)(x + 2) (x + n 1)
x
=
=
(x + 1)n
(x + 1)(x + 2) (x + n 1)(x + n)
x+n

x X
n
z
x(1 y)n z
z (x, y) =

x n=0 (x + n) n!
Su expansion en series es


(1 y)(2 y) 2
(1 y)(2 y) (n y) n
1 1y
x
+
z+
z + +
z +
z (x, y) = z
x x+1
2!(x + 2)
n!(x + n)
La funcion beta regularizada se define en terminos de la funcion beta incompleta y la funcion
beta completa
z (x, y)
(x, y)
Z z
1
=
tx1 (1 t)y1 dt
(x, y) 0
= 1 I1z (x, y)

Iz (x, y) =

Sus valores lmites son: I0 (x, y) = 0 y I1 (x, y) = 1

La funcion beta incompleta guarda relacion con la distribucion estadstica de Student


Z t
1
1
F (t) =
f (u)du = 1 Iz(t)
,
2
2 2

z(t) = 2
t +
11

5.
5.1.

Funci
on Gamma Incompleta
Definici
on

Definici
on 4
(a) = (a, x) + (a, x)
Donde:
Z

ta1 et dt

(a, z) =

Z0
(a, z) =

ta1 et dt

Hay que se
nalar que la definicion de la funcion gamma incompleta inferior no es valida para a
negativo. No obstante, esta funcion admite representaciones que s permiten extender su validez al caso a negativo. Por se
nalar alguna, podemos relacionar la funcion gamma incompleta
inferior con la funcion hipergeometrica.
Es u
til a veces trabajar con las normalizaciones de las funciones gamma incompletas siguientes:

P (a, z) =

(a, z)
(a, z)
; Q(a, z) =
(a)
(a)

que cumplen que

P (a, z) + Q(a, z) = 1
Estas normalizaciones mantienen una estrecha relacion con las funciones de distribucion de
probabilidad chi cuadrado ya que se cumple
P (2 |) = P (a, z) Q(2 |) = Q(a, z); = 2a, 2 = 2z
Cuando a es entero no negativo, se pueden calcular directamente las funciones gamma incompletas aplicando repetidamente integracion por partes, obteniendo
"
#
a
m
X
z
(a + 1, z) = a! 1 ez
m!
m=0
z

(a + 1, z) = a! e

a
X
zm
m!
m=0

Las siguientes relaciones de recurrencia, obtenidas directamente de la representacion integral

de las funciones gamma incompletas usando integracion por partes
(a + 1, z) = a(a, z) z a ez
(a + 1, z) = a(a, z) + z a ez

12

5.2.

Integrales de Error

Las integrales de error se definen por

Definici
on 5
2
erf (z) =

et dt

2
erf c(z) = 1 erf (z) =

et dt

Normalizado obtenemos erf() = 1

Podemos escribir la funcion de error en terminos de la funcion gamma incompleta as:


1 2
12
,z
erf (z) =
2


1 2
12
erf c(z) =
,z
2

13