NOTAS PARA LOS ALUMNOS DEL CURSO DE ANALISIS MATEMATICO III

FUNCIONES EULERIANAS

Ing. Juan Sacerdoti

Departamento de Ingeniera
Universidad de Buenos Aires
2002
V 2.02

INDICE
1.- FUNCIN GAMMA: EULERIANA DE SEGUNDA ESPECIE
1.1.- PRIMERA DEFINICIN DE
1.1.1.- DEFINICIN
1.1.2.- JUSTIFICACIN DE LA DEFINICIN: ANALISIS DE CV DE LA II
1.1.3.- JUSTIFICACIN DE LA DEFINICIN: UNICIDAD DE LA RELACIN SOBRE R+
1.1.4.- CONTINUIDAD DE SOBRE R+
1.2.- OTRA FORMA DE
1.3.- PROPIEDADES DE
1.3.1.- FRMULA DE RECURRENCIA
1.3.2.- FRMULA DE RECURRENCIA GENERALIZADA
1.3.3.- VALORES NOTABLES (1) = 1
1.3.4.- VALORES NOTABLES (n+1) = n!
1
1.3.5.- VALORES NOTABLES ( ) =
2
1
1.3.6.- VALORES NOTABLES (n+ ) FRMULA DE DUPLICACIN PARA n N
2
1.3.7.- COMPORTAMIENTO DE EN EL V(0+)
1.3.8.- MNIMO DE EN R+
1.3.9.- RESUMEN DE PROPIEDADES

1.4.- EXTENSIN DEL FACTORIAL PARA VALORES REALES POSITIVOS

1.5.- REPRESENTACIN GRAFICA DE (PRIMERA DEFINICIN)
1.6. DERIVADA DE LA FUNCIN
1.7. PROPIEDADES DE
1.7.1.- FRMULA DE RECURRENCIA
1.7.2.- FRMULA DE RECURRENCIA GENERALIZADA
1.7.3.- VALORES NOTABLES (1)
1.7.4.- VALORES NOTABLES (n+1)
1.7.5.- RESUMEN DE PROPIEDADES DE
1.8.- SEGUNDA DEFINICIN DE
1.8.1.- DEFINICIN
1.9.- PROPIEDADES DE (SEGUNDA PARTE)
1.9.1.- COMPORTAMIENTO DE EN EL V(0 )
1.9.2.- COMPORTAMIENTO DE EN EL V( k)
1.9.3.- LMITE DE (p+1)/ (1)
1.10.- EXTENSIN DEL FACTORIAL PARA VALORES DE R Z { 0 }

1.11.- DEFINICIN DE 1/ SEGUNDA DEFINICIN

1.12.- REPRESENTACIN GRAFICA DE Y DE 1/ (SEGUNDA DEFINICIN)
1.13.- TERCERA DEFINICIN DE
1.13.1.- DEFINICIN
1.13.2.- ANALISIS DEL DOMINIO DE LA TERCERA DEFINICIN DE
1.14.- PROPIEDADES DE (TERCERA DEFINICIN)
1.14.1.- HOLOMORFIA
1.15.- EXTENSIN DEL FACTORIAL PARA VALORES DE

C Z {0 }

1.16.- DEFINICIN DE 1/ (TERCERA DEFINICIN)

2.- FUNCIN BETA: EULERIANA DE PRIMERA ESPECIE

2.1.- PRIMERA DEFINICIN DE B
2.1.1.- DEFINICIN
2.1.2.- JUSTIFICACIN DE LA DEFINICIN: ANALISIS DE CV DE LA II
2.2.- OTRAS FORMAS DE B
2.2.1.- SEGUNDA FORMA DE B
2.2.2.- TERCERA FORMA DE B
2.2.3.- CUARTA FORMA DE B
2.3.- PROPIEDADES DE B
2.3.1.- REDUCCIN DE B A
2.3.2.- SIMETRA DE B
2.3.3.- FRMULA DE LOS COMPLEMENTOS
2.3.4.- EXTENSIN DE LA FRMULA DE LOS COMPLEMENTOS
2.3.5.- RELACIN CON LOS NMEROS COMBINATORIOS
2.3.6.- FRMULA DE DUPLICACIN PARA R+
2.4.- REPRESENTACIN GRFICA DE B (PRIMERA DEFINICIN)
2.5.- SEGUNDA DEFINICIN DE B
2.5.1.- DEFINICIN
2.6.- OTRAS PROPIEDADES DE B Y
2.6.1.- OTRA FORMA DE (TERCERA FORMA)
1
2.6.2.- VALORES NOTABLES ( )
2
2.7.- TERCERA DEFINICIN DE B
2.7.1.- DEFINICIN
2.7.2.- ANALISIS DEL DOMINIO DE LA TERCERA DEFINICIN DE B *** (no hecho)
2.8.- FUNCIN DIGAMMA*** (no hecho ver Castagnetto)

3.- FUNCIN GAMMA INCOMPLETA

3.1.- PRIMERA DEFINICIN DE INCOMPLETA
3.1.1.- DEFINICIN

APENDICE I
1.5.1.- TABLA DE LA FUNCIN GAMMA
APENDICE II
1.7.3.1.- VALOR DE LA CONSTANTE DE EULER (CLCULO NUMRICO)
APENDICE III
2.3.3.2.- FRMULA DE LOS COMPLEMENTOS: SEGUNDA DEMOSTRACIN
2.3.3.3.- FRMULA DE LOS COMPLEMENTOS: TERCERA DEMOSTRACIN
2.3.3.4.- FRMULA DE LOS COMPLEMENTOS: CUARTA DEMOSTRACIN

1.- FUNCIN GAMMA: FUNCIN EULERIANA DE SEGUNDA ESPECIE

Existen varias definiciones de la funcin a partir de sucesivas extensiones del Dominio, a saber:

D = R+
D = R Z {0}
D = C Z {0}
Que se desarrollarn a lo largo del texto.

1.1.- PRIMERA DEFINICIN DE

1.1.1.- DEFINICIN
Se llama funcin Gamma (en su primera definicin sobre el dominio R+ ) o Funcin Euleriana de Segunda
Especie:

Definicin de (Primera):

: R+ R
() :=

e x x 1 dx

Obs.: La justificacin de que es efectivamente una funcin y de que su dominio es R+ , se obtiene del anlisis
de convergencia y unicidad que siguen.

1.1.2.- JUSTIFICACIN DE LA DEFINICIN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definicin.
1.- Existencia de la funcin integrando, salvo para puntos singulares aislados y puntos singulares de la Integral
Impropia:
f :

ex x 1

x ] 0 A[

p.s. V+
< 1

V0+

2.- Existencia de la Integral de Riemann sobre el Intervalo de Integracin excluyendo los vecinales de los puntos
singulares:

e x x 1 dx IR

fC[a A] : a > 0

3.1. Anlisis de CV en V+ : se compara con 1/x2

e x x 1

x +1

0
x +

1/ x
e

dx
CV
[Tabla
1]

V + x 2
2

V +

x 1 dx CV

3.2.- Anlisis de CV en V0+ : se compara con x 1

e x x 1

e x x 1

x 1
1 / x 1

dx
CV
1

1

0
[Tabla
2]

V 0 + x 1
=

x
1
0+

e
V0 +

x 1 dx CV > 0

4.- Resumen de CV

e x x 1 dx CV

>0

1.1.3.- JUSTIFICACIN DE LA DEFINICIN: UNICIDAD DE LA RELACIN SOBRE R+

La Relacin sobre R+ es unvoca (y por lo tanto es una funcin) hecho que se deduce a partir de la unicidad de
la Integral de Riemann y la unicidad del Lmite siguiente:

() := lim

A +
a 0 +

e x x 1 dx

1.1.4.- CONTINUIDAD DE SOBRE R+

T.-

Def () =

e x x 1 dx C/ R+

Toda Integral de funcin continua es continua.

1.2.- OTRAS FORMAS DE

Otras formas de la funcin se obtienen por medio de cambios de variables. Por ejemplo:
T.- Segunda Forma de
1

1 1
)]
dy
y
Tomando y > 0 se hace el cambio de variable
1
y>0
e x = y x = L( )
y

Def

() =

[ L(

x=0 y=1
x + y = 0
1
dx = dy
y
Resulta
1
1
() =
[ L( )] 1 dy
0
y

1.3.- PROPIEDADES DE
1.3.1.- FRMULA DE RECURRENCIA
T1.- Def

(+1) =

(+1) = ()

e x x dx

= - ex x

+
0

e x x -1 dx

>0
=

()

Obs.: No olvidar que > 0

1.3.2.- FRMULA DE RECURRENCIA GENERALIZADA

T2.-

Def

(+k+1) = (+k) (+k-1) (+k-2) ... (+1) ()

k
( + k + 1 )
=
(+j)

( )
j =0

(+k+1) = (+k) (+k)

= (+k) ) (+k-1) (+k-1)
= (+k) ) (+k-1) (+k-2) (+k-2)
...
(+k+1) = (+k) (+k-1) (+k-2) ... (+1) ()
O tambin

( + k + 1)
=
()

(+j)

j= 0

1.3.3.- VALORES NOTABLES (1) = 1

T3.-

Def

(1) :=

(1) = 1

e x dx = - e x

+
0

= 1

1.3.4.- VALORES NOTABLES (n+1) = n!

T4.- Def

(n+1) = n!

Aplicando la Frmula de recurrencia generalizada

(n+1) = n (n-1) (n-2) ... 3. 2 . 1 (1) = n!

Obs.: Ntese que la funcin es una extensin a R+ de los factoriales naturales n!. Por lo tanto se verifica que
(1) = 0!

1.3.5.- VALORES NOTABLES

Def

T5.-

I=

I =[

Previamente se demuestra
2
1
e x dx =

2
+

e x dx ] [
2

e y dy ]

1
) =
2

1
) =
2

e ( x

+ y2 )

dx dy

Tomando la integral doble antes de pasar al lmite

R

+ R 1 / 2 x1 / 2

e ( x

+ y2 )

dx dy

Por ser la funcin integrando positiva, se puede acotar

e ( x

+ y2 )

dx dy

e ( x

+ y2 )

dx dy

21 / 2 R

+ 2 R 1 / 2 x1 / 2

Cambiando a coordenadas polares las integrales de los extremos:

R

/2

e d d

e d d
2
R
1
e
0
4

Es decir:
I2 =

e ( x

e ( x

e ( x

+y2 )

+y2 )

+y2 )

dx dy

dx dy

21 / 2 R

dx dy

/2

21 / 2 R

e d d
2

e d d

1/ 2
2
e 2 R

e ( x

+y2 )

dx dy

I=

e x dx =

1
2

1
) FRMULA DE DUPLICACIN PARA n N
2
1
1
3
5 3 1
(n + ) = (n ) (n ) ...

2
2
2
2 2 2
1
= n (2n 1) (2n 3) ... 5 . 3 . 1
2
( 2 n )!
= 2n
Frmula de Duplicacin para n N

2 n!

1.3.6.- VALORES NOTABLES (n+

T6.-

Def

Por la frmula de recurrencia se induce

3
1

) =
2
2
5
3 1

( ) =
2
2 2
7
5 3 1
( ) =

2
2 2 2
...
1
1
3
5 3 1
(n + ) = (n ) (n ) ...
2
2
2
2 2 2
(

frmula que tambin puede expresarse

(n +

1
1
3
5 3 1

) = (n ) (n ) ...
2
2
2
2 2 2
1
= n (2n 1) (2n 3) ... 5 . 3 . 1
2

o tambin una tercera forma que es la Frmula de Duplicacin para n N

(n +

1
1
) = 2 n 2n (2n 1) (2n 3) ... 5 . 4 . 3 . 2 . 1
2
2 n!
(2n )!
= 2n

2 n!

1.3.7.- COMPORTAMIENTO DE EN EL V(0+)

T7.-

Def

V(0+) ()

La funcin se comporta como la hiprbola

( )
= (+1) + 1
0
1

1
en el V(0+)

1.3.8.- MNIMO DE EN R+
T8.-

Def

() =

= min [1 2]

e x x-1 dx > 0

() C/R+
(1) = 1
(2) = 1
Por el Teorema de Rolle:
[1 2] : () = 0

Obs.: La abscisa del mnimo es min = 1,461 63 ... y la ordenada (min) = 0,885 60...

1.3.9.- RESUMEN DE PROPIEDADES

Def

T1

(+1) = ()

T2

(+k+1) = (+k) (+k-1) (+k-2) ... (+1) ()

Frmula de recurrencia generalizada
(1) = 1

T3
T4
T5
T6

T7
T8

Frmula de recurrencia

(n+1) = n!
1
( ) =
2
1
1
3
5 3 1
(n + ) = (n- ) (n- ) ...

2
2
2
2 2 2
1
= n (2n-1) (2n- 3) ... 5 . 3 . 1
2
( 2 n )!

Frmula de Duplicacin para n N

= 2n
2 n!
1
V(0+)
()

= min [1 2]

1.4.- EXTENSIN DEL FACTORIAL PARA VALORES REALES POSITIVOS

A partir del T4 se justifica tomar a la funcin como extensin del factorial sobre R+. Se define entonces

! := (+1)

Def.:

En particular
0! := (1) = 1
Obs.: La notacin de factorial se extender a medida que se extiende la definicin de .
1.5.- REPRESENTACIN GRAFICA DE (PRIMERA DEFINICIN)
La grfica de la funcin para >0 es:

1.6.- DERIVADA DE LA FUNCIN

Como se probar sobre el intervalo real 0<1 2 existe la Derivada de la funcin cuya representacin es:
Def

() =

e-x xa-1 Lx dx

0 < 1 2

Se recuerda que para cambiar el orden de derivacin en una integral impropia es suficiente que se cumpla:

H1
H2
H3
H4

f CP / t ,

f
CP / t ,

f CV

V +

f
CU
V +

V +

f( t, ) dt =

V +

Las Hiptesis H1 y H3 se cumplen:

Derivando bajo el signo integral se tiene:
+
f ( x, )
e x x 1 Lx dx
dx =
0

se comprueba que se cumple H2 . Falta verificar H4 .

f ( t , )
dt

Empezando en V+ el anlisis de la CU
2
x 1 x 2 1
f ( x, )
e
dx | = |
V +

V+ .|

V +

x 1 Lx dx |

e x x 2 1 Lx dx |

V +

Esta ltima CV en V+ pues comparando con 1/x2

e x x 2 1 Lx

x 2 +1 Lx

x
0
+

1/ x
e

dx

CV
[Tabla
1]

V + x 2
2

e x x 2 1 Lx dx CV 2

V +

En consecuencia por el Teorema de Weierstrass

V0+ .|

e x x 1 Lx dx CU

V +

1
x 1 x 1 1
f ( x, )
e x x 1 Lx dx |
dx | = |
V0 +

V0 +

e x x 1 1 Lx dx |

V0 +

En V0+ se compara con x 1 1

e x x 1 Lx
x

1 1

V0+

x 11

e x x 1 Lx

= e x x 1 Lx x
0
0+
1/ x

> 1

dx CV 1 1  1 1  0 [Tabla 2]

1 1

V0 +

e x x 1 1 Lx dx CV

En consecuencia por el Teorema de Weierstrass

V0 +

e x x 1 Lx dx CU

1 > 0

En resumen

e-x x 1 Lx dx CU

0 < 1 2

Por lo tanto es vlido aplicar la Tesis del teorema enunciado

f( t, ) dt =
() =

f ( x, )
dx

e x x 1 Lx dx

0 < 1 2

1 > 0

1.7. PROPIEDADES DE
1.7.1.- FRMULA DE RECURRENCIA DE

' ( + 1 )
' ( )
1
+
=
( + 1 )
( )

Derivando en forma logartmica la Frmula de recurrencia de

T1.- Def

(+1) = ()
1
' ( + 1)
' ( )
=
+
( + 1)

( )
1.7.2.- FRMULA DE RECURRENCIA GENERALIZADA
T2.- Def

' ( + k + 1 )
1 ' ( )
1
1
1
1
=
+
+
+ ... +
+ +
( + k + 1 )
( )
+k +k 1 +k 2
+1

Derivando en forma logartmica la Frmula de Recurrencia de

(+k+1) = (+k) (+k 1) (+k 2) ... (+1) ()

se obtiene la Frmula de Recurrencia de
1
' ( + k + 1)
1 ' ( )
1
1
1
=
+
+
+ ... +
+ +
( + k + 1)
+1
( )
+ k + k 1 + k 2
1.7.3.- VALORES NOTABLES (1)
T3.- Def

(1) =

e-x Lx dx = 0.577 2... = - (:Constante de Euler )

Por clculo numrico se obtiene el valor (1) = 0.577 215 664 990 ... que es el opuesto de la constante de
Euler (se supone que es un nmero irracional )
1.7.4.- VALORES NOTABLES (n+1)

'(n+ 1)
= H(n) + (1)
(n+1)
En la expresin de recurrencia de

T4.- Def

1
' ( + k + 1)
1 ' ( )
1
1
1
=
+
+
+ ... +
+ +
( + k + 1)
+1
( )
+ k + k 1 + k 2
tomando

=1

k = n 1 queda

1
' (n + 1)
1
1
1
' (1)
= +
+
+ ... + + 1 +
(n + 1)
n n 1 n 2
2
(1)

definiendo la Suma Armnica de n trminos

1
1
1
1
+
+
+ ... + + 1
2
n n1 n2
H(0) := 0

H(n) :=

Resulta:

' (n + 1)
= H(n) + (1)
(n + 1)

1.7.5.- RESUMEN DE PROPIEDADES DE

Def

T1

T2

' ( + 1 )
' ( )
1
+
=
( + 1 )
( )

Frmula de recurrencia de

' ( + k + 1 )
1 ' ( )
1
1
1
1
=
+
+
+ ... +
+ +
( + k + 1 )
( )
+k +k 1 +k 2
+1
Frmula de recurrencia generalizada de

T3

(1) =

T4

'(n+ 1)
= H(n) + (1)
(n+1)

e-x Lx dx = 0.577 2... =

(:Constante de Euler )

1.8.- SEGUNDA DEFINICIN DE

ser

La segunda definicin de la funcin se hace para extender la primera definicin al dominio R que en rigor
D = R Z { 0 }
Para los reales negativos se extiende por definicin la validez de la Frmula de Recurrencia

1.8.1.- DEFINICIN

Se llama funcin Gamma (en su segunda definicin ) o Funcin Euleriana de Segunda Especie:
Definicin de (segunda):

:RZ {0} R
+ x 1

() := 0 e x dx

( + 1 ) = ( )

>0
<0

1.9.- PROPIEDADES DE (SEGUNDA PARTE)

Se analiza por la Frmula de Recurrencia el comportamiento de la funcin para los reales negativos y el cero.

1.9.1.- COMPORTAMIENTO DE EN EL V(0 )

Def (segunda definicin) ] 1 0 [ () < 0
1
V(0 ) ()

Partiendo de
1
() =
(+1)

T9.-

si ] 1 0 [ () < 0
Por otra parte la funcin se tambin se comporta como la hiprbola

( )
= (+1) 1
0
1

Esta propiedad se puede extender:

1
en el V(0 )

1.9.2.- COMPORTAMIENTO DE EN EL V(k)

T10.- Def (segunda definicin) ] 1 0 [ () < 0
] 2 1[ () > 0
...
] (k+1) k[ sg(()) = (1)k
1
V(0 ) ()

1
V(1) ()
+1
...
( 1 ) k
1
V(k) ()
k!
+k
Partiendo de

1
1
(+2)
+1
si ] 2 1 [ () > 0

() =

La funcin se tambin se comporta como la hiprbola

1
( )
= (+2)
-1
-1
1

+1

1
en el V(1)
+1

Generalizando de
1 1
1
1
1
() =
...
(+k+1)
+1
+ k + k 1 + k 2
si ] (k+1) k[ sg(()) = (1)k
La funcin se tambin se comporta como la hiprbola

1
en el V(k)
+k

( )
(1) k
1
1 1
1

...
=
(+k+1)
-k
1
+1
k!
+ k 1 + k 2
+k
1.9.3.- LMITE DE (p+1)/ (1)
T10.Def ( segunda definicin )

n N

( p + 1 )
( p+1 n)

n
( 1 )
(1n)

0
n

(-1) p
n

(n)
(n p)

D.( p + 1 )
( p + 1 n )
= (p)(p1)(p2)...(2)(1)

n
(1 )
(1 n )

0
n

( p + 1 )
= (1) p (p)( (p1))( (p2))...( 2)( 1)
(1 )
()
( n )

(1) p
= (1) p
n
( p )
(n p)

n >,0>
n <1,p>
n <p+1,+ <

n >,0>
n <1,p>

n <p+1,+ <

1.10.- EXTENSIN DEL FACTORIAL PARA VALORES DE R Z {0 }

La notacin de factorial se puede extender sobre R Z {0} con la segunda definicin de . Se define
entonces:
Def.:

! := (+1)

R Z {0}

1.11.- DEFINICIN DE 1/ SEGUNDA DEFINICIN

La funcin Gamma 1/ (en su segunda definicin ) se puede definir sobre todos los reales. En efecto tomando
para los valores de Z {0} el valor del lmite que es 0 :
1

0
( ) k
Definicin:

1/ : R R
1

( )

Z {0 }
= Z {0 }

1.12.- REPRESENTACIN GRAFICA DE Y DE 1/ SEGUNDA DEFINICIN

Las grficas de la funciones y 1/

para R Z {0}>0 es:

1.13.- TERCERA DEFINICIN DE

La segunda definicin de la funcin se hace para extender la segunda definicin sobre el dominio
R Z {0} al dominio C Z {0}
Para los reales negativos se extiende por definicin la validez de la Frmula de Recurrencia

1.13.1.- DEFINICIN
Se llama funcin Gamma (en su tercera definicin ) Euleriana de Segunda Especie:
Definicin de (tercera):

: C Z {0} C
+ t z 1
e t dt

z (z) := 0

( z + 1 ) = z ( z )

z C Re(z) > 0
Re(z) 0 z Z - {0}

1.13.2.- ANLISIS DEL DOMINIO DE LA TERCERA DEFINICIN DE

Se analiza por la Frmula de Recurrencia el comportamiento de la funcin (tercera definicin) en los

complejos para los valores enteros negativos y el cero.
En forma anloga a lo demostrado para la segunda definicin de
T11

Def (tercera definicin)

z V(0)
z V(1)

(z)

1
z

(z)

1
z+1

(z)

1
z+k

...
z V(k)

1.14.- PROPIEDADES DE (Tercera Definicin)

1.14.1.- HOLOMORFA
T11

Def (tercera definicin)

(z) H/ C Z {0}

La integral que define (z) :=

(z) :=

e t t z 1 dt sobre

z C Re(z) > 0

e t t z 1 dt

e t t x+iy 1 dt

e t t x 1 t iy dt

e t t x 1 e iy Lt dt

e t t x 1 [cos(y Lt) + i sin(y Lt) ] dt

e t t x 1 cos(y Lt) dt + i

e t t x 1 sin(y Lt) dt

Llamando

v(x y) := Im((z)) =

u(x y) := Re((z)) =

e t t x 1 cos(y Lt) dt

e t t x 1 sin(y Lt) dt

Ambas integrales cumplen con las hiptesis del teorema que da condiciones suficientes para cambiar el orden
entre derivacin e integral impropia:
H1
H2
H3
H4

f CP / t ,

f
CP / t ,

f CV

V +

f
CU
V +

V +

f( t, ) dt =

V +

f ( t , )
dt

derivando:
u
=
x
u

=
y
v
=
x
v
=
y

e t t x 1 cos(y Lt) Lt dt

e t t x 1 sin(y Lt) Lt dt

e t t x 1 sin(y Lt) Lt dt

e t t x 1 cos(y Lt) Lt dt

se cumplen las condiciones de Cauchy Riemann y siendo adems las derivadas continuas

u
v
C/x,y
=
x
y

u v
C/x,y
=
y
x

la funcin es Holomorfa

(z) H/ [ z C Re(z) > 0]

que se extiende a por derivacin de la frmula de recurrencia a:

(z) H/ C Z {0}

1.15.- EXTENSIN DEL FACTORIAL PARA VALORES DE

C Z {0 }

La notacin de factorial se puede extender sobre C Z {0} con la tercera definicin de . Se define
entonces:
Def.:

z! := (z+1)

z R Z {0}

1.16.- DEFINICIN DE 1/ (Tercera Definicin)

La funcin Gamma 1/ (en su segunda definicin ) se puede definir sobre todos los reales tomando para los
valores de Z {0} el valor del lmite que es 0 :
1

0
z k
(z)
Definicin:

1/ : C C
1

z (z)

z Z {0 }
z = Z { 0 }

2.- FUNCIN BETA: FUNCIN EULERIANA DE PRIMERA ESPECIE

2.1.- PRIMERA DEFINICIN DE B

La funcin B tiene una primera definicin sobre el dominio R+x R+ que ms adelante se extender sobre los
dominios
D = (R Z {0} ) x (R Z {0} )
D = (C Z {0} ) x (C Z {0} )
2.1.1.- DEFINICIN

Se llama funcin Beta B (en su primera definicin ) Euleriana de Primera Especie:

Definicin de B (primera):

B : R+ x R+ R
(p q) B (p q) :=

x p 1 (1 x) q 1 dx

Obs.: La justificacin de que el dominio de B es efectivamente R+x R+ se obtiene del anlisis de convergencia
que sigue.

2.1.2.- JUSTIFICACIN DE LA DEFINICIN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definicin.

1.- Existencia de la funcin integrando, salvo para puntos singulares aislados y puntos singulares:
f :
x ] 0 1[
p.s. V0+ p < 1

x p 1 (1x) q 1

V1 q < 1
2.- Existencia de la Integral de Riemann sobre el Intervalo de Integracin excluyendo los vecinales de los puntos
singulares:
1 2

x p 1 (1x) q 1 dx IR fC[1 1 2 ] : i > 0

3.1. Anlisis de CV en V0+ : se compara con x p 1

x p 1 (1 x ) q 1

1
dx CV 1 p  1 p  0 [Tabla 2]

x 1 p
p 1

V0+

x
1
0 +

V0 +

x p 1 (1x) q 1 dx CV p > 0

3.2.- Anlisis de CV en V1 : se compara con

x

p 1

(1 x ) q 1
q 1

(1 x )
1

V1

(1 x )1 q

dx CV 1 q  1 q  0 [Tabla 2]

x
1
1

4.- Resumen

V1-

x p 1 (1x) q 1 dx CV q > 0

x p 1 (1x) q 1 dx CV ( p > 0) (q > 0)

2.2.- OTRAS FORMAS DE B

Otras formas de la funcin B se obtienen por medio de cambios de variables. Por ejemplo:

T1.-

2.2.1.- SEGUNDA FORMA DE B

+
y p 1
Def B B (p q) =
0
( 1 + y ) p+q

dy

Partiendo de
B (p q) :=

x p 1 (1x) q 1 dx

se hace el cambio de variable

y
x=
1+ y
y
1
1x= 1
=
1+ y 1+ y
1
1+ y =
1 x
1
x
y=
1=
1 x
1 x
Es decir:
x
y
y=
x=
1+ y
1 x
x=0 y=0
x = 1 y +
1
dy
dx = +
(1 + y) 2
Reemplazando
B (p q) =
B (p q) =

(1 + y)

y p 1

y p 1

p 1

(1 + y) p + q

1
(1 + y)

1
q 1

(1 + y) 2

dy

dy

2.2.2.- TERCERA FORMA DE B

T2 .-

Def B

B (p q) = 2

Partiendo de
B (p q) :=

/2

x p 1 (1x) q 1 dx

sin2p 1 cos2q 1 d

se hace el cambio de variable

+x1/2 = sin

= Arc sin x1/2

x=0 =0

x=1 =
2
dx = 2 sin cos d
Reemplazando

B (p q) =

/2

B (p q) = 2

sin2p 2 cos2q 2

/2

2 sin cos d

sin2p 1 cos2q 1 d

Ejemplos:

/2

sinr cos2 d =

r +1 s +1
1
)
B(
,
2
2
2

Caso particular

/2

1 1

1
1
=
B( , ) =
d =
2 2
2
2
2
(

1
)=
2

1
1
( ) ( )
2
2
(1)

Caso particular

/2

r +1 1
1
1
B(
, ) =
sinr d =
2 2
2
2

r +1
)
2
r
( + 1)
2

2.2.3.- CUARTA FORMA DE B

T3.-

Def B

B(p q) =

B (p q) =

x p 1
(1 + x )

p +q

e pt

( 1 + e t ) p+q

x =e
=
dx

dt

e t ( p 1)
t p+q

(1 + e )

e pt

(1 + e t ) p + q

et dt
dt

2.3.- PROPIEDADES DE B
2.3.1.- REDUCCIN DE B A
T1.Def B

Def

B (p q) =

( p ) ( q )
( p+q)

p>0q>0

Sea el producto

(p) . (q) = (

e x x p 1 dx ) (

e y y q 1 dy )

que se puede transformar en Integral doble

=

e (x + y) x p 1 y q 1 dy dx

Haciendo el cambio de variables

t = x + y
x = s

s = x
y = t - s
donde la Frontera del recinto de integracin se transforma
x=0 s=0
y=0 s=t
0 1
|=1
| det J | = |
1 1

Reemplazando
+

e
= e

(p) . (q) =

s p 1 (t s) q 1 ds dt
s p 1 (t s) q 1 ds dt

Con un nuevo cambio de variables en la integral interna

s
s=tu
u=
t
s=0 u=0

s=t u=1
ds = t du
+

(p) . (q) =

et

(t u) p 1 t q 1 (1 u) q 1 t ds dt

et t p+q1

u p 1 (1 u) q 1 du dt

= B(p q) (p + q)

2.3.2.- SIMETRA DE B
T2.-

Def B

B (p q) = B (q p)

D1

B (p q) =

( p ) ( q )
( q ) ( p )
=
= B (q p)
(p + q )
(q + p )

D2

B (p q) =

x p 1 (1 x) q 1 dx

Con el cambio de variables

y=1x x=1y
x=0 y=1
x=1 y=0
dx = dy
B (p q) =

(1 y)p 1 y q 1 dy = B (q p)

2.3.3.- FRMULA DE LOS COMPLEMENTOS

Def B

Def

T3.-

(p) (1 - p) =

sin( p )

p] 0 1[

Hay varias maneras de demostrar la Frmula de los Complementos, a continuacin se presenta la primera de
ellas, otras se presentan en el Apndice

2.3.3.1.- FRMULA DE LOS COMPLEMENTOS: PRIMERA DEMOSTRACIN

Una primera forma de llegar a la Frmula de los Complementos es en el Campo Complejo por clculo de
D1.Residuos:
I(p) =

x p 1
dx
1+ x

p] 0 1[

Tomando la integral a lo largo del camino

I=

z p 1
dz
1+ z

Por el Teorema de los Residuos:

1: z = x e i0
2: ]0 2]

= 2i R(1)

z = r e+i

x p 1
dx
1+ x

L CSup| f | = 2R

I
R +
r 0 +
p 1

0
0 < p <1
R 1

R +

3: z = x e +i2
4: ]2 0]

z = r e+i

+R

( p 1) i 2 ( p 1)

1 + xe i 2

L CSup| f | = 2r

e+i2 dx

0
0 < p <1
R +

e i2 p I
R +
r 0 +

p 1

r
0

0
< p< 1
1 r
r 0 +

R(1) = e+i(p1) = e+i p

0
0
< p <1
r 0 +

Retomando

I
I

= 2i R(1)

e i2 p I + 0 = 2i e+i p

+ 0

e +ip e ip
=
2i

Se obtiene entonces

I =
sin( p)
Por otro lado
B (p q) =

(1 + y) p + q

B (p 1-p) =

y p 1

dy

y p1
(p)(1 p)
dy =
= (p) (1 p)
1+ y
(1)

De donde resulta la Frmula de los Complementos

(p) (1p) =

sin( p)

2.3.4.- EXTENSIN DE LA FRMULA DE LOS COMPLEMENTOS

Se puede extender la validez de la Frmula de los Complementos a p R Z

T4.-

Def

p R Z

(p) (1p) =

sin( p )

Tomando por ejemplo

p ]1 2[ p1 ] 0 1[
1p ] 1 0[
Entonces para

2p ] 0 1[

(p) = (p1) (p1)

(2-p) = (1p) (1p)

p ] 1 2[

(p) (1p) = (p1) (p1)

(2 p)
(1 p)

= (1) (p1) (2p)

= (1)
sin( (p 1))

=
sin( p)
Anlogamente esto se extiende a

p R Z

p / ] 0 1[

p / Z

(p) = (p1) (p2) ... (q+1) q (q)

: q ]0 1[
(1-q) = (q) (q1) ... (2p)(1p) (1p)
: 1q ]0 1[
= (1)pq (q) (q+1) ... (p2)(p1) (1p)
(1 q)
(p) (1p) = (1)qp (p1) (p2) ... (q+1) q (q)
(p 1)( p 2)...(q + 1)q
= (1)qp (q) (1 q)

= (1)qp
sin( q )
pq = k Par
Impar

(p) (1 p) =

sin(q) = sin((p+k)) =
sin(p)
sin(q) = sin((p+k)) = sin(p)

sin( p)

2.3.5.- RELACIN CON LOS NMEROS COMBINATORIOS

T5.- Def B

B (p q) =

p+q
1
p. q p + q

(p q) N 2

( p ) ( q )
(p + q )
(p 1)!(q 1)!
=
(p + q 1)!
p + q (p 1)!(q 1)!
=
p. q
(p + q 1)!

D.- B (p q) =

p+q
1
p. q p + q

2.3.6.- FRMULA DE DUPLICACION PARA P R+

 (2p) =

T6.- Def B

B (p p) = 2

/2

2 p 1

= 2

=
=

1
2

2 p 1

2 p 1

(p) (p +

1
)
2

Frmula de Duplicacin para n R+

sin2p 1 cos2p 1 d

2 2 p 1

/2

sin2p 1(2 ) d

1
2

2 p 1

/2

B (p ,

1
2

sin2p 1() d

sin2p 1() d
1
)
2

1
( p ) ( )
2
1
(p + )
2
1
(p) (p + )
2

1
( p) ( p)
= 2 p 1
( 2p )
2
(2p) =

2 2 p 1

2.4.- REPRESENTACION GRAFICA DE B (PRIMERA DEFINICION)

La grfica de la funcin B para p >0

y q >0 es:

2.5.- SEGUNDA DEFINICIN DE B

ser

La segunda definicin de la funcin B se hace para extender la primera definicin al dominio R 2 que en rigor
D = [ R Z { 0 } ] 2
La extensin se basa en la Frmula que relaciona a B con

2.5.1.- DEFINICIN

Se llama funcin Beta B (en su segunda definicin ) o Funcin Euleriana de Primera Especie:
Definicin de B (segunda):
B : [R Z { 0 }] 2 R
1

x p - 1 (1 - x) q - 1 dx

0
(p q) B (p q) := (p) (q)

(p + q)

2.6.- OTRAS PROPIEDADES DE B Y

2.6.1.- OTRA FORMA DE (TERCERA FORMA)
T1.-

1
3 a Def

2
i

Re( ) < 0

ez
z

+1

dz =

Tomando la integral a lo largo del camino

I=

1
2i

ez

2i I =

dz

z +1

1
( + 1 )

( p q ) ( R + )2
( p q ) [R - Z - - { 0 }]

1: z = x e i

z = r e+i

2: ] ]

e
2i
sin( )
( )
I =

I =

e xe

+R

+1 i ( +1)

L CSup| f | = 2r

3: z = x e +i
+ i

r 0 +

r cos

r +1

xe + i

+1 i ( +1)

Re(

0
)<0
r 0 +

e+i dx

x-(+1) e x dx

Por la Frmula de los Complementos

(-) (+1) =
sin( )
1
I =
( + 1)

Obs.: El resultado tambin es vlido sobre R

2.6.2.- VALORES NOTABLES (

T2.-

' ( 12 )

Def

Def B

D1.-

= 2 L2 + ( 1 )

2 2 p 1

(p) (p +

1
)
2

derivando en forma logartmica:

' (p + 12 )
' (2p)
' (p)
2
= 2 L2 +
+
( 2 p )
( p )
(p + 12 )
2

' ( 12 )
' (1)
' (1)
= 2 L2 +
+
1
(1)
(1)
( 2 )
para p =

' ( 12 )
( 12 )
' ( 12 )

1
)
2

A partir de la frmula de duplicacin

(2p) =

1
2

= 2 L2 +

' (1)
(1)

= 2 L2 + (1)

e+i
R +

ei dx

ei
R +
r 0 +

x-(+1) ex dx

0
Re( )< 0
r 0 +

x-(+1) ex dx

D2.-

A partir de B(p
B(p,

1
) = 2
2

/2

1
2

sin2p 1 d

1
( p ) ( )
2 = 2 / 2 sin2p 1 d
1
0
( p + )
2
1
( p ) ( )
1
2 [ ' (p) ' (p + 2 ) ] = 4 / 2 sin2p 1 L sin d
1
0
( p )
(p + 12 )
( p + )
2
1
para p =
2
/2
' ( 12 )
[
(1)] = 4
L sin d
1
0
( 2 )

Calculando
/2

I=

I=

/2

/2

I=

I=

/2

/2

/ 2

L sin2 d =
L2 d +

/2

/2

1
2

L (2 sin cos) d =

L sin d +

/2

L2 + I + I
2

L2
I=
2
Retornando a
' ( 12 )
[
(1)] = 4
( 12 )

' ( 12 )
( 12 )

/2

(1)] = 4 (

Se llega a

' ( 12 )

L sin d

L sin d = I

I=

L cos d

L sin d = 2 I

2 =
L sin2 d
=

=
L sin d

/2

= / 2
L sin d

= 2 L2 + (1)

L sin d

L2 )
2

L cos d

Obs.: A partir de la primera Demostracin :

' ( 12 )

= 2 L2 + (1)
y sabiendo de la primera parte de la segunda Demostracin

' ( 12 )
( 12 )

(1)] = 4

/2

L sin d

se puede extraer:
I=

/2

L sin d =

L2
2

2.7.- TERCERA DEFINICION DE B

La segunda definicin de la funcin B se hace para extender la segunda definicin sobre el dominio
[R Z {0}] 2 al dominio [C Z {0} ] 2
Para los reales negativos se extiende por definicin la validez de la Frmula de Recurrencia

2.7.1.- DEFINICION
Se llama funcin Gamma B (en su tercera definicin ) Euleriana de Segunda Especie:

Definicin de B (tercera):
B : [C Z {0}] 2 C

(p q) B (p q):=

p-1

(1 - x) q - 1 dx

(p) (q)
(p + q)

( p q ) C 2 Re( p ) > 0 Re( q ) > 0

( p q ) [C - Z - - { 0 }]

3.- FUNCIN GAMMA INCOMPLETA

Anlogamente a las definiciones hechas para la funcin existen varias definiciones de la funcin
incompleta a partir de sucesivas extensiones del Dominio, a saber:

D = R+
D = R Z {0}
D = C Z {0}
3.1.- PRIMERA DEFINICIN DE INCOMPLETA
3.1.1.- DEFINICIN
Se llama funcin Gamma incompleta (en su primera definicin sobre el dominio R+):

Definicin de incompleta (Primera):

: R+xR R
(,x) (,x) :=

e t t - 1 dt

1.1.2.- JUSTIFICACIN DE LA DEFINICIN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definicin.
1.- Existencia de la funcin integrando, salvo para puntos singulares aislados y los puntos singulares

f :

x ] 0 A[

et t 1

Puntos singulares:
V0+ < 1

p.s.

2.- Existencia de la Integral de Riemann sobre el Intervalo de Integracin excluyendo los vecinales de los puntos
singulares:

e t t 1 dt IR fC[a x] : a > 0

3.- Anlisis de CV en V0+ : se compara con t 1

e t t 1

e t t 1

t
1/ t

dt
CV
1

1

0
[Tabla
2]

V 0 + t 1
1

t
1
0 +

4.- Resumen de CV

e x x 1 dx CV > 0

V0 +

e t t 1 dt CV > 0

APENDICE III
2.3.3.2.- FRMULA DE LOS COMPLEMENTOS: SEGUNDA DEMOSTRACIN
D2.- Una segunda forma de llegar a la Frmula de los Complementos es en el Campo Complejo por clculo de
Residuos:
I(p) =

p] 0 1[

x p 1 (1x) p dx

Tomando la integral a lo largo del camino

I =

z p 1 (1z) p dz

Por el 2 Corolario del Teorema de Cauchy

1: z = x e i0

2: ]0 2]

1z = (1x) e i0
z = r1 e+i

r1

1 r2

x p 1 (1x) p dx r
I
0+
2

r1 0 +

L CSup| f | = 2r1 r1 p 1 (1 r2 ) p
0
0< p

r1 0 +

3: z = x e +i2 1z = (1x) e i0
4: ] 2 0]

z = r2 e+i2

1 r2

r1

x p 1 e+i2 (p1) (1x) p e+i2 dx

0
0< p
r1 0 +

+ e+i2 p I
r 0 +
2

r1 0 +

L CSup| f | = 2r2 (1 r1 )p 1 r2 p
0
p <1
r2 0 +

0
p <1
r2 0 +

Para obtener la integral sobre 5 se aplica la inversin:

5: [ 0 2]

z = R e+i

5+

w p 1

( w 1) p
w

5 +

(1

w =1 / z

1 p
1
) ( 2 ) dw
w
w
dw

= 2i R(0)
donde
R(0) = (1)p = ei( p) = e i p
Retomando

+ 0

Se obtiene entonces
I =

+ e +i2 p I + 0 = 2i e i p

e +ip e ip
=
2i

sin(p)

5: [ 0 2]

w = R1 e i

2.3.3.3.- FRMULA DE LOS COMPLEMENTOS: TERCERA DEMOSTRACIN

Una tercera forma de llegar a la Frmula de los Complementos es en el Campo Complejo por clculo de
D3.Residuos:
I(p) =

x p 1
x=et
dx
=
1+ x

I =

e t ( p1 )

1+ et

e pt

1+ et

et dt
p] 0 1[

dt

Tomando la integral a lo largo del camino

e pz
dz
1 + ez
La funcin integrando no tiene puntos de ramificacin, pero tiene Polos en

1+ et = 0

t = ( + 2k) i

que son todos de primer orden. Para que se incluya un solo Polo en el recinto de integracin, se elige
] 3[

Por el Teorema de los Residuos:

1: z = t
2: y]0 ]

= 2i R(i )

z = A+iy

e pt

1+ et

L CSup| f | =

3: z = t + i

e pA
eA 1
e

p ( t + i )

1+ e

I
A +

dt

t + i

dt

e ( p 1) A
1 e A

0
0 < p <1
A +

0
0 < p <1
A +

I e i2p
=2
A +

Para obtener una ecuacin con una sola incgnita, al aplicar el Teorema de los residuos se elige =2
4: y] 0]

z = A+iy

L CSup| f | =

e pA
e A 1

0
0 < p <1
A +

0
0 < p <1
A +

El clculo del Residuo en i

R(i ) = e+i p
Retomando

I
I

+ 0

= 2i R(i )

e i2p I + 0 = 2i e+ip

e +ip e ip
=
2i

Se obtiene entonces

I =
sin(p)

2.3.3.4.- FRMULA DE LOS COMPLEMENTOS: CUARTA DEMOSTRACIN

D4.Una cuarta forma de llegar a la Frmula de los Complementos es en el Campo Complejo por medio de la Serie
de Fourier Trigonomtrica:
I(p) =

x p1
dx
1+ x

1.1.- Cambiando de variable x = et

I(p) =

x p 1
x=et
dx
=
1+ x
=

e t ( p1)

1 + et

e pt

1+ et

et dt
dx

p] 0 1[

Se puede construir una funcin g(p) definida en p ] 0 1[

g(p) = sin (p)
g(p) = sin (p)

x p 1
dx
1+ x
e pt
dt
1+ et

1.2.- La funcin g(p) se desarrollar en Serie de Fourier como funcin par en el intervalo p]1 1[ donde
resulta entonces un perodo T=2.
Obs.: g(p) es indeterminada para p=0 y p=1 pero su lmite en ambos casos es
1
g(p) = sin (p) (p)(1p) sin(p)
(p+1) (1p) p

0
p
1
g(p) = sin (p) (p)(1p) sin((1p)) (p)

(2p) p
1
1 p
Desarrollando como funcin par

bk = 0
ak = 2

sin (p) I(p) cos( kp) dp =

1.3.- Se calcula

G(n) =

sin (np) I(p) dp =

=
=

0
+

I(p) [ sin ((k+1)p) sin( (k1) p) ] dp

e pt

1+ et

sin (np) [

1+ e

1
1+ e

1
1+ e

[
[

dt ] dp

ept sin (np) dp] dt

e pt
2

t + (n)

n
2

t + ( n)

[ t sin (np) n cos(np)]]

[ 1 (1)n et ]] dt

que para n Impar

G(n) =

t 2 + ( n) 2

dt =

y que para n Par

G(n) =

1 et

1+ e

n
2

t + ( n) 2

dt

Que es la Integral de una funcin impar G(n) = 0

1.4.- Se calcula ahora los a0 y los ak
a0 =

I(p) [ sin (p) sin( (1)p) ] dp

=2

I(p) sin (p) dp

= 2 G(1) = 2
a0
=
2
ak =

I(p) [ sin ((k+1)p) sin( (k1)p) ] dp

= G(k+1) G(k1) = 0
1.5.- Entonces la Serie de Fourier es
g(p) = sin (p)

x p 1
dx =
1+ x

Se obtiene la formula de los complementos

x p 1

=
1+ x
sin(p)

1
0

dt

(p)(1p) =

sin(p)