NOTAS PARA LOS ALUMNOS DEL CURSO DE ANALISIS MATEMATICO III

FUNCIONES EULERIANAS

Ing. Juan Sacerdoti

Departamento de Ingeniería
Universidad de Buenos Aires
2002
V 2.02
 INDICE

1.- FUNCIÓN GAMMA: EULERIANA DE SEGUNDA ESPECIE

1.1.- PRIMERA DEFINICIÓN DE Γ

1.1.1.- DEFINICIÓN
1.1.2.- JUSTIFICACIÓN DE LA DEFINICIÓN: ANALISIS DE CV DE LA II
1.1.3.- JUSTIFICACIÓN DE LA DEFINICIÓN: UNICIDAD DE LA RELACIÓN Γ SOBRE R+
1.1.4.- CONTINUIDAD DE Γ SOBRE R+

1.2.- OTRA FORMA DE Γ

1.3.- PROPIEDADES DE Γ
1.3.1.- FÓRMULA DE RECURRENCIA
1.3.2.- FÓRMULA 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+ ) FÓRMULA DE DUPLICACIÓN PARA n∈ N
2
1.3.7.- COMPORTAMIENTO DE Γ EN EL V(0+)
1.3.8.- MÍNIMO DE Γ EN R+
1.3.9.- RESUMEN DE PROPIEDADES

1.4.- EXTENSIÓN DEL FACTORIAL PARA VALORES REALES POSITIVOS

1.5.- REPRESENTACIÓN GRAFICA DE Γ (PRIMERA DEFINICIÓN)

1.6. DERIVADA DE LA FUNCIÓN Γ

1.7. PROPIEDADES DE Γ ’
1.7.1.- FÓRMULA DE RECURRENCIA Γ ’
1.7.2.- FÓRMULA 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 DEFINICIÓN DE Γ

1.8.1.- DEFINICIÓN

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.- LÍMITE DE Γ(p+1–ν)/ Γ(1–ν)

1.10.- EXTENSIÓN DEL FACTORIAL PARA VALORES DE R – Z – – { 0 }

1.11.- DEFINICIÓN DE 1/Γ SEGUNDA DEFINICIÓN

1.12.- REPRESENTACIÓN GRAFICA DE Γ Y DE 1/Γ (SEGUNDA DEFINICIÓN)

1.13.- TERCERA DEFINICIÓN DE Γ

1.13.1.- DEFINICIÓN
1.13.2.- ANALISIS DEL DOMINIO DE LA TERCERA DEFINICIÓN DE Γ

1.14.- PROPIEDADES DE Γ (TERCERA DEFINICIÓN)

1.14.1.- HOLOMORFIA

1.15.- EXTENSIÓN DEL FACTORIAL PARA VALORES DE C – Z – – {0 }

1.16.- DEFINICIÓN DE 1/Γ (TERCERA DEFINICIÓN)

2.- FUNCIÓN BETA: EULERIANA DE PRIMERA ESPECIE

2.1.- PRIMERA DEFINICIÓN DE B

2.1.1.- DEFINICIÓN
2.1.2.- JUSTIFICACIÓN DE LA DEFINICIÓN: 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.- REDUCCIÓN DE B A Γ
2.3.2.- SIMETRÍA DE B
2.3.3.- FÓRMULA DE LOS COMPLEMENTOS
2.3.4.- EXTENSIÓN DE LA FÓRMULA DE LOS COMPLEMENTOS
2.3.5.- RELACIÓN CON LOS NÚMEROS COMBINATORIOS
2.3.6.- FÓRMULA DE DUPLICACIÓN PARA R+

2.4.- REPRESENTACIÓN GRÁFICA DE B (PRIMERA DEFINICIÓN)

2.5.- SEGUNDA DEFINICIÓN DE B

2.5.1.- DEFINICIÓN

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 DEFINICIÓN DE B

2.7.1.- DEFINICIÓN
2.7.2.- ANALISIS DEL DOMINIO DE LA TERCERA DEFINICIÓN DE B *** (no hecho)

2.8.- FUNCIÓN DIGAMMA*** (no hecho ver Castagnetto)

3.- FUNCIÓN GAMMA INCOMPLETA

3.1.- PRIMERA DEFINICIÓN DE Γ INCOMPLETA

3.1.1.- DEFINICIÓN

APENDICE I
1.5.1.- TABLA DE LA FUNCIÓN GAMMA

APENDICE II
1.7.3.1.- VALOR DE LA CONSTANTE DE EULER (CÁLCULO NUMÉRICO)

APENDICE III
2.3.3.2.- FÓRMULA DE LOS COMPLEMENTOS: SEGUNDA DEMOSTRACIÓN
2.3.3.3.- FÓRMULA DE LOS COMPLEMENTOS: TERCERA DEMOSTRACIÓN
2.3.3.4.- FÓRMULA DE LOS COMPLEMENTOS: CUARTA DEMOSTRACIÓN
 1.- FUNCIÓN GAMMA: FUNCIÓN EULERIANA DE SEGUNDA ESPECIE

Existen varias definiciones de la función Γ a partir de sucesivas extensiones del Dominio, a saber:

D = R+
D = R – Z – – {0}
D = C – Z – – {0}

Que se desarrollarán a lo largo del texto.

1.1.- PRIMERA DEFINICIÓN DE Γ

1.1.1.- DEFINICIÓN

Se llama función Gamma Γ (en su primera definición sobre el dominio R+ ) o Función Euleriana de Segunda
Especie:

Definición de Γ (Primera): Γ : R+ → R
+∞
α → Γ(α) := ∫0
e – x x α – 1 dx

Obs.: La justificación de que Γ es efectivamente una función y de que su dominio es R+ , se obtiene del análisis
de convergencia y unicidad que siguen.

1.1.2.- JUSTIFICACIÓN DE LA DEFINICIÓN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definición.

1.- Existencia de la función integrando, salvo para puntos singulares aislados y puntos singulares de la Integral
Impropia:

∃f : ∀ x ∈] 0 A[ ∃ e–x x α–1

p.s. V+∞
V0+ ∀α < 1

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

A
∫a
e − x x α −1 dx ∈ IR ⇐ f∈C[a A] : a > 0

3.1. Análisis de CV en V+∞ : se compara con 1/x2

e − x x α −1 x α +1 
=  → 0
x → +∞
2 x 
∫e
−x
1/ x e
 ⇒ x α −1 dx ∈ CV ∀α
1 V +∞

∫V +∞ x 2
dx ∈ CV [Tabla 1]

 3.2.- Análisis de CV en V0+ : se compara con xα – 1

e − x x α −1 e − x x α −1 
= x→ 1
→0+ 
x α −1 1 / x 1−α 
∫e
−x
 ⇒ x α −1 dx ∈ CV ⇔ α > 0
1 V0 +

∫V 0 + x 1− α
dx ∈ CV ⇔ 1 − α  1 ⇔ α  0 [Tabla 2]


4.- Resumen de CV

+∞
∫0
e − x x α −1 dx ∈ CV ⇔ α >0

1.1.3.- JUSTIFICACIÓN DE LA DEFINICIÓN: UNICIDAD DE LA RELACIÓN Γ SOBRE R+

La Relación Γ sobre R+ es unívoca (y por lo tanto es una función) hecho que se deduce a partir de la unicidad de
la Integral de Riemann y la unicidad del Límite siguiente:
A
Γ(α) := lim
A→ +∞ ∫ε e – x x α – 1 dx
a →0 +

1.1.4.- CONTINUIDAD DE Γ SOBRE R+

+∞
T.- Def Γ ⇒ Γ(α) = ∫
0
e – x xα – 1 dx ∈ C/ R+

Toda Integral de función continua es continua.

1.2.- OTRAS FORMAS DE Γ

Otras formas de la función Γ se obtienen por medio de cambios de variables. Por ejemplo:

T.- Segunda Forma de Γ

1 α– 1 1
Def Γ ⇒ Γ(α) =
y
)] dy ∫0
[ L(

Tomando y > 0 se hace el cambio de variable

1
y>0 e – x = y ⇔ x = L( )
y
x=0 → y=1
x →+∞ → y = 0
1
dx = – dy
y
Resulta
1 1
Γ(α) =
0 ∫
[ L( )] α – 1 dy
y
 1.3.- PROPIEDADES DE Γ

1.3.1.- FÓRMULA DE RECURRENCIA

T1.- Def Γ ⇒ Γ(α+1) = α Γ(α)

+∞
Γ(α+1) = ∫0
e – x xα dx

+∞ +∞
= - e–x x α
0
+ α ∫
0
e – x x α-1 dx

= α
>0
 → α Γ(α)

Obs.: No olvidar que α > 0

1.3.2.- FÓRMULA DE RECURRENCIA GENERALIZADA

T2.- Def Γ ⇒ Γ(α+k+1) = (α+k) (α+k-1) (α+k-2) ... (α+1) α Γ(α)

Γ (α + k + 1 )
k
⇒
Γ (α )
=
j =0
(α+j) ∏
Γ(α+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 también
k
Γ(α + k + 1)
Γ (α)
= ∏j= 0
(α+j)

1.3.3.- VALORES NOTABLES Γ(1) = 1

T3.- Def Γ ⇒ Γ(1) = 1

+∞ +∞
Γ(1) := ∫
0
e – x dx = - e – x
0
= 1

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

T4.- Def Γ ⇒ Γ(n+1) = n!

Aplicando la Fórmula de recurrencia generalizada

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

Obs.: Nótese que la función Γ es una extensión a R+ de los factoriales naturales n!. Por lo tanto se verifica que
Γ(1) = 0!
 1
1.3.5.- VALORES NOTABLES Γ( ) = π
2
1
T5.- Def Γ ⇒ Γ( ) = π
2

Previamente se demuestra
+∞ 1
∫ e − x dx =
2
I= π
0 2
+∞ +∞
∫ e − x dx ] [ ∫
2 2
2
I =[ e − y dy ]
0 0
+∞ +∞
∫ ∫
2
+ y2 )
= e −( x dx dy
0 0

Tomando la integral doble antes de pasar al límite

R R
∫ ∫
2
+ y2 )
e −( x dx dy
0 0

Por ser la función integrando positiva, se puede acotar

R + R 1 / 2 − x1 / 2 R R 21 / 2 R + 2 R 1 / 2 − x1 / 2
∫ ∫ ∫ ∫ ∫ ∫
2
+ y2 ) 2
+ y2 ) 2
+y2 )
e −( x dx dy ≤ e −( x dx dy ≤ e −( x dx dy
0 0 0 0 0 0

Cambiando a coordenadas polares las integrales de los extremos:

R π/2 R R 21 / 2 R π/2
∫ ∫ ∫ ∫ ∫ ∫
2 2
+y2 ) 2
e − ρ ρ dρ dϕ ≤ e −( x dx dy ≤ e − ρ ρ dρ dϕ
0 0 0 0 0 0

1 R R R 1 21 / 2 R
∫ ∫ ∫ ∫
2
+y2 ) 2
e −( x e − ρ ρ dρ dϕ
2
π e − ρ ρ dρ dϕ ≤ dx dy ≤ π
2 0 0 0 2 0

R 2 1/ 2
1 1
e−ρ 2 R
R R
∫ ∫
2 2
+y2 )
– π e −ρ ≤ e −( x dx dy ≤ – π
4 0 0 0 4 0
↓ ≤ ↓ ≤ ↓
1 2 1
π ≤ I ≤ π
4 4

Es decir:
1
I2 = π
4
 +∞ 1
∫
2
I= e − x dx = π
0 2
1
1.3.6.- VALORES NOTABLES Γ(n+ ) FÓRMULA DE DUPLICACIÓN PARA n∈ N
2
1 1 3 5 3 1
T6.- Def Γ  Γ(n + ) = (n – ) (n – ) ... π
2 2 2 2 2 2
1
= n (2n – 1) (2n – 3) ... 5 . 3 . 1 π
2
( 2 n )!
= 2n π Fórmula de Duplicación para n∈ N
2 n!

Por la fórmula 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

fórmula que también puede expresarse

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

o también una tercera forma que es la Fórmula de Duplicación para n∈ N

1 1
Γ(n + ) = 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+)

1
T7.- Def Γ  α∈ V(0+) Γ(α) ≅
α
1
La función Γ se comporta como la hipérbola en el V(0+)
α
Γ (α )
= Γ(α+1)  + → 1
1 α →0

α
 1.3.8.- MÍNIMO DE Γ EN R+

T8.- Def Γ  ∃ξ = αmin ∈ [1 2]

+∞
Γ(α) = ∫0
e – x xα-1 dx > 0
Γ(α) ∈ C/R+
Γ(1) = 1
Γ(2) = 1

Por el Teorema de Rolle:

⇒ ∃ξ ∈ [1 2] : Γ’(ξ) = 0

Obs.: La abscisa del mínimo es αmin = 1,461 63 ... y la ordenada Γ(αmin) = 0,885 60...

1.3.9.- RESUMEN DE PROPIEDADES

Def Γ  T1 Γ(α+1) = α Γ(α) Fórmula de recurrencia

 T2 Γ(α+k+1) = (α+k) (α+k-1) (α+k-2) ... (α+1) α Γ(α)

Fórmula de recurrencia generalizada
 T3 Γ(1) = 1

 T4 Γ(n+1) = n!
1
 T5 Γ( ) = π
2
1 1 3 5 3 1
 T6 Γ(n + ) = (n- ) (n- ) ... π
2 2 2 2 2 2
1
= n (2n-1) (2n- 3) ... 5 . 3 . 1 π
2
( 2 n )!
= 2n π Fórmula de Duplicación para n∈ N
2 n!
1
 T7 α∈ V(0+)  Γ(α) ≅
α
 T8 ∃ξ = αmin ∈ [1 2]
 1.4.- EXTENSIÓN DEL FACTORIAL PARA VALORES REALES POSITIVOS

A partir del T4 se justifica tomar a la función Γ como extensión del factorial sobre R+. Se define entonces

Def.: α! := Γ(α+1)

En particular

0! := Γ(1) = 1

Obs.: La notación de factorial se extenderá a medida que se extiende la definición de Γ.

1.5.- REPRESENTACIÓN GRAFICA DE Γ (PRIMERA DEFINICIÓN)

La gráfica de la función Γ para α >0 es:

1.6.- DERIVADA DE LA FUNCIÓN Γ

Como se probará sobre el intervalo real 0<α1≤ α ≤α2 existe la Derivada de la función Γ cuya representación es:
+∞
Def Γ  Γ ’(α) = ∫
0
e-x xa-1 Lx dx ∀α 0 < α1 ≤ α ≤ α2

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

H1 f ∈ CP / t ,α 

∂ f
H2 ∈ CP / t ,α 
∂α 
 ∂ ∂ f ( t ,α )
H3 ∫ f ∈ CV
 
 ∂α ∫V +∞
f( t,α ) dt = ∫
V +∞ ∂α
dt
V +∞

∂ f
H4 ∫ ∈ CU 
V + ∞ ∂α 

Las Hipótesis H1 y H3 se cumplen:

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

se comprueba que se cumple H2 . Falta verificar H4 .

 Empezando en V+∞ el análisis de la CU

V+∞ .- ∀ α ≤ α2 x α – 1 ≤ x α 2 −1
∂ f ( x, α)
∫ e– ∫ x α – 1 Lx dx |
x
| dx | = |
V +∞ ∂α V +∞

≤ | ∫ V +∞
e – x x α 2 −1 Lx dx |

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

e − x x α 2 −1 Lx x α 2 +1 Lx

=
x → 0
→ +∞
2 x
1/ x
1
e


⇒ ∫V +∞
e – x x α 2 −1 Lx dx ∈ CV ∀α ≤ α2

∫V +∞ x 2
dx ∈ CV [Tabla 1]


En consecuencia por el Teorema de Weierstrass

⇒ ∫
V +∞
e – x x α −1 Lx dx ∈ CU ∀α ≤ α2

V0+ .- ∀α ≥ α1 xα –1 ≤ x α1 −1
∂ f ( x, α)
| ∫ V0 + ∂α
dx | = |
V0 + ∫
e –x xα –1 Lx dx |

≤ | ∫ V0 +
e – x x α1 −1 Lx dx |

En V0+ se compara con x α1 −1

e − x x α −1 Lx e − x x α −1 Lx 
α1 −1
= = e − x x α −α1 Lx x
1− α1 →0+
→ 0 
x 1/ x 
1
α > α1


⇒ ∫
V0 +
e – x x α1 −1 Lx dx ∈CV ⇔ α1 > 0

∫V0+ x 1−α1
dx ∈ CV ⇔ 1 − α1  1 ⇔ α1  0 [Tabla 2]


En consecuencia por el Teorema de Weierstrass

⇒ ∫
V0 +
e – x x α −1 Lx dx ∈ CU ∀α ≥ α1 > 0

En resumen
+∞
∫0
e-x x α –1 Lx dx∈ CU ∀α 0 < α1 ≤ α ≤ α2

Por lo tanto es válido aplicar la Tesis del teorema enunciado

∂ +∞ +∞ ∂ f ( x, α)
∂α ∫ 0
f( t,α ) dt = ∫ 0 ∂α
dx
+∞
Γ ’(α) = ∫
0
e – x x α –1 Lx dx ∀α 0 < α1 ≤ α ≤ α2
 1.7. PROPIEDADES DE Γ ’

1.7.1.- FÓRMULA DE RECURRENCIA DE Γ ’

Γ ' (α + 1 ) 1 Γ ' (α )
T1.- Def Γ ⇒ = +
Γ (α + 1 ) α Γ (α )
Derivando en forma logarítmica la Fórmula de recurrencia de Γ

Γ(α+1) = α Γ(α)

Γ ' (α + 1) 1 Γ ' (α )
= +
Γ(α + 1) α Γ( α )

1.7.2.- FÓRMULA DE RECURRENCIA GENERALIZADA Γ ’

Γ ' (α + k + 1 ) 1 1 1 1 1 Γ ' (α )
T2.- Def Γ ⇒ = + + + ... + + +
Γ (α + k + 1 ) α +k α +k −1 α +k −2 α +1 α Γ (α )

Derivando en forma logarítmica la Fórmula de Recurrencia de Γ

Γ(α+k+1) = (α+k) (α+k – 1) (α+k – 2) ... (α+1) α Γ(α)

se obtiene la Fórmula de Recurrencia de Γ’

Γ ' (α + k + 1) 1 1 1 1 1 Γ ' (α )
= + + + ... + + +
Γ(α + k + 1) α + k α + k −1 α + k − 2 α +1 α Γ( α )

1.7.3.- VALORES NOTABLES Γ ’(1)

+∞
T3.- Def Γ ⇒ Γ ’(1) = ∫
0
e-x Lx dx = – 0.577 2... = - γ (γ:Constante de Euler )

Por cálculo numérico se obtiene el valor Γ ’(1) = – 0.577 215 664 990 ... que es el opuesto de la constante de
Euler (se supone que es un número irracional )

1.7.4.- VALORES NOTABLES Γ ’(n+1)

Γ '(n+ 1)
T4.- Def Γ ⇒ = H(n) + Γ ’(1)
Γ (n+1)
En la expresión de recurrencia de Γ ’

Γ ' (α + k + 1) 1 1 1 1 1 Γ ' (α )
= + + + ... + + +
Γ(α + k + 1) α + k α + k −1 α + k − 2 α +1 α Γ( α )

tomando α=1 y k = n – 1 queda

Γ ' (n + 1) 1 1 1 1 Γ ' (1)

= + + + ... + + 1 +
Γ(n + 1) n n −1 n − 2 2 Γ(1)
 definiendo la Suma Armónica de n términos

1 1 1 1
H(n) := + + + ... + + 1
n n−1 n−2 2
H(0) := 0

Resulta:

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

1.7.5.- RESUMEN DE PROPIEDADES DE Γ’

Γ ' (α + 1 ) 1 Γ ' (α )
Def Γ ⇒ T1 = + Fórmula de recurrencia de Γ’
Γ (α + 1 ) α Γ (α )

Γ ' (α + k + 1 ) 1 1 1 1 1 Γ ' (α )
⇒ T2 = + + + ... + + +
Γ (α + k + 1 ) α +k α +k −1 α +k −2 α +1 α Γ (α )
Fórmula de recurrencia generalizada de Γ’
+∞
⇒ T3 Γ ’(1) = ∫
0
e-x Lx dx = – 0.577 2... = – γ (γ:Constante de Euler )

Γ '(n+ 1)
⇒ T4 = H(n) + Γ ’(1)
Γ (n+1)
 1.8.- SEGUNDA DEFINICIÓN DE Γ

La segunda definición de la función Γ se hace para extender la primera definición al dominio R que en rigor
será D = R – Z –– { 0 }
Para los reales negativos se extiende por definición la validez de la Fórmula de Recurrencia

1.8.1.- DEFINICIÓN

Se llama función Gamma Γ (en su segunda definición ) o Función Euleriana de Segunda Especie:

Definición de Γ (segunda): Γ:R–Z– –{0} → R

 +∞ − x α − 1

∫
α → Γ(α) :=  0 e x dx α >0
 Γ ( α + 1 ) = αΓ ( α )
 α <0

1.9.- PROPIEDADES DE Γ (SEGUNDA PARTE)

Se analiza por la Fórmula de Recurrencia el comportamiento de la función para los reales negativos y el cero.

1.9.1.- COMPORTAMIENTO DE Γ EN EL V(0 –)

T9.- Def Γ (segunda definición) ⇒ α ∈ ] –1 0 [ ⇒ Γ(α) < 0

1
⇒ α∈ V(0 –) ⇒ Γ(α) ≅
α
Partiendo de
1
Γ(α) = Γ(α+1)
α

si α ∈ ] –1 0 [ ⇒ Γ(α) < 0
1
Por otra parte la función Γ se también se comporta como la hipérbola en el V(0 –)
α
Γ (α )
= Γ(α+1)  − → 1
1 α →0

α
Esta propiedad se puede extender:

1.9.2.- COMPORTAMIENTO DE Γ EN EL V(–k)

T10.- Def Γ (segunda definición) ⇒ α ∈ ] –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

1
La función Γ se también se comporta como la hipérbola en el V(–1)
α +1
Γ (α ) 1
= Γ(α+2) α→ -1
→ -1
1 α
α +1

Generalizando de
1 1 1 1 1
Γ(α) = ... Γ(α+k+1)
α + k α + k −1 α + k − 2 α +1 α

si α ∈ ] –(k+1) –k[ ⇒ sg(Γ(α)) = (–1)k

1
La función Γ se también se comporta como la hipérbola en el V(–k)
α+k
Γ (α ) 1 1 1 1 (−1) k
= ... Γ(α+k+1) α 
→ -k
→
1 α + k −1 α + k − 2 α +1 α k!
α+k

1.9.3.- LÍMITE DE Γ(p+1–ν)/ Γ(1–ν)

T10.-
Def Γ ( segunda definición ) Γ ( p + 1 −ν ) Γ ( p+1− n)
 ⇒ ν → n ∈ >–∞,0>
n∈ N  Γ ( 1 −ν ) → n Γ (1−n)
ν
→n
→ 0 n ∈ <1,p>
Γ(n)
ν→ (-1) p n ∈ <p+1,+∞ <
→n Γ(n− p)

D.-
Γ( p + 1 − ν) Γ( p + 1 − n )
= (p–ν)(p–1–ν)(p–2–ν)...(2–ν)(1–ν) ν→
→n
n ∈ >–∞,0>
Γ(1 − ν ) Γ(1 − n )
ν→ 0
→n
n ∈ <1,p>

Γ( p + 1 − ν)
= (–1) p (ν–p)(ν – (p–1))(ν –(p–2))...(ν –2)(ν –1)
Γ(1 − ν )
Γ (ν) Γ( n )
= (–1) p ν → (–1) p
→n
n ∈ <p+1,+∞ <
Γ (ν − p ) Γ (n − p)
 1.10.- EXTENSIÓN DEL FACTORIAL PARA VALORES DE R – Z – – {0 }

La notación de factorial se puede extender sobre R – Z – – {0} con la segunda definición de Γ. Se define
entonces:

Def.: α! := Γ(α+1) α ∈ R – Z – – {0}

1.11.- DEFINICIÓN DE 1/Γ SEGUNDA DEFINICIÓN

La función Gamma 1/Γ (en su segunda definición ) se puede definir sobre todos los reales. En efecto tomando
para los valores de Z – ∪ {0} el valor del límite que es 0 :

1
 → 0
Γ ( α ) α →− k

Definición: 1/Γ : R → R
 1
 α ≠ Z − ∪{0 }
α →  Γ (α )
 α = Z − ∪{0 }
 0

1.12.- REPRESENTACIÓN GRAFICA DE Γ Y DE 1/Γ SEGUNDA DEFINICIÓN

Las gráficas de la funciones Γ y 1/Γ para α ∈ R – Z – – {0}>0 es:

 1.13.- TERCERA DEFINICIÓN DE Γ

La segunda definición de la función Γ se hace para extender la segunda definición sobre el dominio
R – Z – – {0} al dominio C – Z – – {0}
Para los reales negativos se extiende por definición la validez de la Fórmula de Recurrencia

1.13.1.- DEFINICIÓN

Se llama función Gamma Γ (en su tercera definición ) Euleriana de Segunda Especie:

Definición de Γ (tercera):

Γ : C – Z – – {0} → C
 +∞ − t z − 1

z → Γ(z) :=  0 ∫e t dt z ∈ C ∧ Re(z) > 0

 Γ ( z + 1 ) = zΓ ( z ) Re(z) ≤ 0 ∧ z ∉ Z - ∪ {0}

1.13.2.- ANÁLISIS DEL DOMINIO DE LA TERCERA DEFINICIÓN DE Γ

Se analiza por la Fórmula de Recurrencia el comportamiento de la función Γ (tercera definición) en los

complejos para los valores enteros negativos y el cero.

En forma análoga a lo demostrado para la segunda definición de Γ

1
T11 Def Γ (tercera definición) ⇒ z∈ V(0) Γ(z) ≅
z
1
⇒ z∈ V(–1) Γ(z) ≅
z+1
...
1
⇒ z∈ V(–k) Γ(z) ≅
z+k

1.14.- PROPIEDADES DE Γ (Tercera Definición)

 1.14.1.- HOLOMORFÍA

T11 Def Γ (tercera definición) ⇒ Γ(z) ∈ H/ C – Z – – {0}

+∞
La integral que define Γ(z) := ∫
0
e – t t z – 1 dt sobre z∈ C ∧ Re(z) > 0
+∞
Γ(z) := ∫ 0
e – t t z – 1 dt
+∞
=
∫ 0
e – t t x+iy – 1 dt
+∞
=
∫ 0
e – t t x – 1 t iy dt
+∞
=
∫ 0
e – t t x – 1 e iy Lt dt
+∞
= ∫ 0
e – t t x – 1 [cos(y Lt) + i sin(y Lt) ] dt
+∞ +∞
=
∫ 0
e – t t x – 1 cos(y Lt) dt + i ∫ 0
e – t t x – 1 sin(y Lt) dt

Llamando
+∞
u(x y) := Re(Γ(z)) = ∫ 0
e – t t x – 1 cos(y Lt) dt
+∞
v(x y) := Im(Γ(z)) =
∫ 0
e – t t x – 1 sin(y Lt) dt

Ambas integrales cumplen con las hipótesis del teorema que da condiciones suficientes para cambiar el orden
entre derivación e integral impropia:

H1 f ∈ CP / t ,α 

∂ f
H2 ∈ CP / t ,α 
∂α 
 ∂ ∂ f ( t ,α )
H3 ∫ f ∈ CV
⇒
 ∂α ∫V +∞
f( t,α ) dt = ∫V +∞ ∂α
dt
V +∞

∂ f
H4 ∫ ∈ CU 
V + ∞ ∂α 

derivando:

∂u +∞

∂x
= ∫0
e – t t x – 1 cos(y Lt) Lt dt

∂u +∞
–
∂y
= ∫ 0
e – t t x – 1 sin(y Lt) Lt dt

∂v +∞

∂x
= ∫0
e – t t x – 1 sin(y Lt) Lt dt

∂v +∞

∂y
= ∫0
e – t t x – 1 cos(y Lt) Lt dt

se cumplen las condiciones de Cauchy Riemann y siendo además las derivadas continuas
 ∂u ∂v
= ∈ C/x,y
∂x ∂y
∂u ∂v
– = ∈ C/x,y
∂y ∂x

la función es Holomorfa

Γ(z) ∈ H/ [ z∈ C ∧ Re(z) > 0]

que se extiende a por derivación de la fórmula de recurrencia a:

Γ(z) ∈ H/ C – Z – – {0}

1.15.- EXTENSIÓN DEL FACTORIAL PARA VALORES DE C – Z – – {0 }

La notación de factorial se puede extender sobre C – Z – – {0} con la tercera definición de Γ. Se define
entonces:

Def.: z! := Γ(z+1) z ∈ R – Z – – {0}

1.16.- DEFINICIÓN DE 1/Γ (Tercera Definición)

La función Gamma 1/Γ (en su segunda definición ) se puede definir sobre todos los reales tomando para los
valores de Z – ∪ {0} el valor del límite que es 0 :

1
 → 0
Γ(z) z→− k

Definición: 1/Γ : C → C
 1
 z ≠ Z − ∪{0 }
z →  Γ (z)
 z = Z − ∪{ 0 }
 0
 2.- FUNCIÓN BETA: FUNCIÓN EULERIANA DE PRIMERA ESPECIE

2.1.- PRIMERA DEFINICIÓN DE B

La función B tiene una primera definición sobre el dominio R+x R+ que más 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.- DEFINICIÓN

Se llama función Beta B (en su primera definición ) Euleriana de Primera Especie:

Definición de B (primera): B : R+ x R+ → R
1
(p q) → B (p q) := ∫
0
x p – 1 (1– x) q – 1 dx

Obs.: La justificación de que el dominio de B es efectivamente R+x R+ se obtiene del análisis de convergencia
que sigue.

2.1.2.- JUSTIFICACIÓN DE LA DEFINICIÓN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definición.

1.- Existencia de la función integrando, salvo para puntos singulares aislados y puntos singulares:

∃f : ∀ x ∈] 0 1[ ∃ x p – 1 (1–x) q – 1
p.s. V0+ ∀p < 1
V1– ∀q < 1

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

1− ε 2
∫ε1
x p – 1 (1–x) q – 1 dx ∈ IR ⇐ f∈C[ε1 1– ε2 ] : ∀i εε > 0

3.1. Análisis de CV en V0+ : se compara con x p – 1

x p −1 (1 − x ) q −1 
p −1
x→ 1
→0 + 

x
1
 ⇒ ∫ V0 +
x p – 1 (1–x) q – 1 dx ∈ CV ⇔ p > 0

∫ dx ∈ CV ⇔ 1 − p  1 ⇔ p  0 [Tabla 2]
V0+ x 1− p 

3.2.- Análisis de CV en V1– : se compara con

p −1
x (1 − x ) q −1 
q −1
x→ 1
→1− 
(1 − x )  ⇒
1
 ∫V1-
x p – 1 (1–x) q – 1 dx ∈ CV ⇔ q > 0

∫ dx ∈ CV ⇔ 1 − q  1 ⇔ q  0 [Tabla 2]
V1− (1 − x )1− q 


4.- Resumen
 1
∫0
x p – 1 (1–x) q – 1 dx∈ CV ⇔ ( p > 0) ∩ (q > 0)
2.2.- OTRAS FORMAS DE B

Otras formas de la función B se obtienen por medio de cambios de variables. Por ejemplo:

2.2.1.- SEGUNDA FORMA DE B

+∞ y p −1
T1.- Def B ⇒ B (p q) =
0 ( 1 + y ) p+q ∫ dy

Partiendo de
1
B (p q) := ∫
0
x p – 1 (1–x) q – 1 dx
se hace el cambio de variable
y
x=
1+ y
y 1
1–x= 1– =
1+ y 1+ y
1
1+ y =
1− x
1 x
y= –1=
1− x 1− x

Es decir:
y x
x= ⇔ y=
1+ y 1− x
x=0 → y=0
x = 1 → y →+∞
1
dx = + dy
(1 + y) 2

Reemplazando

+∞ y p −1 1 1
B (p q) = ∫ 0 (1 + y) p −1
(1 + y) q −1
(1 + y) 2
dy

+∞ y p −1
B (p q) = ∫ 0 (1 + y) p + q
dy

2.2.2.- TERCERA FORMA DE B

π/2
T2 .- Def B ⇒ B (p q) = 2 ∫ 0
sin2p – 1ϕ cos2q – 1ϕ dϕ

Partiendo de
1
B (p q) := ∫
0
x p – 1 (1–x) q – 1 dx
 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

π/2
B (p q) = ∫
0
sin2p – 2ϕ cos2q – 2ϕ 2 sinϕ cosϕ dϕ
π/2
B (p q) = 2 ∫
0
sin2p – 1ϕ cos2q – 1ϕ dϕ

Ejemplos:

π/2 1 r +1 s +1
∫0
sinrϕ cos2ϕ dϕ =
2
B(
2
,
2
)

Caso particular
1 1
Γ ( )Γ ( )
π/2 π 1 1 1 1 2 2
∫0
dϕ =
2
=
2
B( , ) =
2 2 2 Γ(1)
1
Γ( )= π
2

Caso particular
r +1
Γ( ) π
π/2 1 r +1 1 1 2
∫0
sinrϕ dϕ =
2
B( , ) =
2 2 2 r
Γ( + 1)
2

2.2.3.- CUARTA FORMA DE B

+∞ e pt
T3.- Def B ⇒ B (p q) = ∫ −∞ ( 1 + e t ) p+q
dt

+∞ x p −1 t +∞ e t ( p −1)
∫ ∫
x =e
B(p q) = p +q
dx ← → = t p+q
et dt
0 (1 + x ) −∞ (1 + e )
+∞ e pt
= ∫−∞ (1 + e t ) p + q
dt
 2.3.- PROPIEDADES DE B

2.3.1.- REDUCCIÓN DE B A Γ

T1.-
Def B ½ Γ ( p )Γ ( q )
¾  B (p q) = p>0∧q>0
Def Γ ¿ Γ( p+q)

Sea el producto
+∞ +∞
Γ(p) . Γ(q) = ( ∫
0
e – x x p – 1 dx ) ( ∫0
e – y y q – 1 dy )
que se puede transformar en Integral doble
+∞ +∞
= ∫ ∫
0 0
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 integración se transforma

x=0 → s=0
y=0 → s=t
0 1
| det J | = | |=1
1 −1

Reemplazando
+∞ t
∫ ∫ e
–t
Γ(p) . Γ(q) = s p – 1 (t – s) q – 1 ds dt
0 0
+∞ t
=∫ e ∫ –t
s p – 1 (t – s) q – 1 ds dt
0 0

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

+∞ t
Γ(p) . Γ(q) = ∫ 0
e–t ∫
0
(t u) p – 1 t q– 1 (1 – u) q – 1 t ds dt
+∞ 1
=∫ e–t t p+q–1 ∫ u p – 1 (1 – u) q – 1 du dt
0 0
= B(p q) Γ(p + q)

2.3.2.- SIMETRÍA DE B

T2.- Def B ⇒ B (p q) = B (q p)

Γ ( p )Γ ( q ) Γ ( q )Γ ( p )
D1 B (p q) = = = B (q p)
Γ (p + q ) Γ (q + p )
1
D2 B (p q) = ∫
0
x p – 1 (1– x) q – 1 dx

Con el cambio de variables

y=1–x ⇔ x=1–y
x=0 → y=1
x=1 → y=0
dx = – dy

1
B (p q) = ∫ 0
(1 – y)p – 1 y q – 1 dy = B (q p)
 2.3.3.- FÓRMULA DE LOS COMPLEMENTOS
Def B ½ π
T3.- ¾ ⇒ Γ(p) Γ(1 - p) = p∈] 0 1[
Def Γ ¿ sin( πp )

Hay varias maneras de demostrar la Fórmula de los Complementos, a continuación se presenta la primera de
ellas, otras se presentan en el Apéndice

2.3.3.1.- FÓRMULA DE LOS COMPLEMENTOS: PRIMERA DEMOSTRACIÓN

D1.- Una primera forma de llegar a la Fórmula de los Complementos es en el Campo Complejo por cálculo de
Residuos:
+∞ x p −1
I(p) = ∫0 1+ x
dx p∈] 0 1[

Tomando la integral a lo largo del camino γ

z p −1
I= ∫ γ 1+ z
dz

Por el Teorema de los Residuos:

∫γ1
+ ∫ γ2
+ ∫
γ3
+ ∫
γ4
= 2πi R(–1)

R x p −1
γ1: z = x e i0 ∫γ1
= ∫
r 1+ x
dx  → I
R → +∞
r →0 +
p −1
R
γ2: ϕ∈]0 2π] z = r e+iϕ L CSup| f | = 2πR
R −1
  → 0
0 < p <1
⇒ ∫
γ2
  → 0
0 < p <1
R → +∞ R → +∞
( p −1) i 2 π ( p −1)
r x e
γ3: z = x e +i2π ∫ γ3
= ∫ +R 1 + xe i 2 π
e+i2π dx  → – e– i2π p I
R → +∞
r →0 +
p −1
r
γ4: ϕ∈]2π 0] z = r e+iϕ L CSup| f | = 2πr
1− r
0 → 0
< p< 1
⇒ ∫ γ4
0 → 0
< p <1
r →0 + r →0 +
R(–1) = e+iπ(p–1) = – e+iπ p
 Retomando

∫ γ1
+ ∫γ2
+ ∫
γ3
+ ∫γ4
= 2πi R(–1)

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

e +iπp − e −iπp
I =π
2i

Se obtiene entonces
π
I =
sin( πp)

Por otro lado

+∞ y p −1
B (p q) = ∫
0 (1 + y) p + q
dy

+∞ y p−1 Γ(p)Γ(1 − p)
B (p 1-p) = ∫0 1+ y
dy =
Γ(1)
= Γ(p) Γ(1– p)

De donde resulta la Fórmula de los Complementos

π
Γ(p) Γ(1–p) =
sin( πp)

2.3.4.- EXTENSIÓN DE LA FÓRMULA DE LOS COMPLEMENTOS

Se puede extender la validez de la Fórmula de los Complementos a p∈ R – Z

DefΓ  π
T4.-  ⇒ Γ(p) Γ(1–p) =
p∈ R − Z sin( πp )

Tomando por ejemplo

p∈ ]1 2[ ⇒ p–1∈ ] 0 1[ Γ(p) = (p–1) Γ(p–1)

⇒ 1–p∈ ] –1 0[ ⇒ 2–p∈ ] 0 1[ Γ(2-p) = (1–p) Γ(1–p)

Entonces para p∈ ] 1 2[

Γ (2 − p)
Γ(p) Γ(1–p) = (p–1) Γ(p–1)
(1 − p)
= (–1) Γ(p–1) Γ(2–p)
π
= (–1)
sin( π(p − 1))
π
=
sin( πp)

Análogamente esto se extiende a p∈ R – Z

p /∈ ] 0 1[ p /∈ Z

Γ(p) = (p–1) (p–2) ... (q+1) q Γ(q) : q ∈ ]0 1[

Γ(1-q) = (–q) (–q–1) ... (2–p)(1–p) Γ(1–p) : 1–q ∈ ]0 1[
= (–1)p–q (q) (q+1) ... (p–2)(p–1) Γ(1–p)
Γ(1 − q)
Γ(p) Γ(1–p) = (–1)q–p (p–1) (p–2) ... (q+1) q Γ(q)
(p − 1)( p − 2)...(q + 1)q
= (–1)q–p Γ(q) Γ(1– q)
π
= (–1)q–p
sin( πq )
p–q = k ∈ Par ⇒ sin(πq) = sin(π(p+k)) = sin(πp)
∈ Impar ⇒ sin(πq) = sin(π(p+k)) = – sin(πp)

π
Γ(p) Γ(1– p) =
sin( πp)

2.3.5.- RELACIÓN CON LOS NÚMEROS COMBINATORIOS

p+q 1
T5.- Def B ⇒ B (p q) = (p q)∈ N 2
p. q § p + q ·
¨¨ ¸¸
© p ¹

Γ ( p )Γ ( q )
D.- B (p q) =
Γ (p + q )
(p − 1)!(q − 1)!
=
(p + q − 1)!
p + q (p − 1)!(q − 1)!
=
p. q (p + q − 1)!
p+q 1
=
p. q  p + q 
 
 p 

2.3.6.- FÓRMULA DE DUPLICACION PARA P ∈ R+

 2 2 p− 1 1
T6.- Def B ⇒ Γ(2p) = Γ(p) Γ(p + ) Fórmula de Duplicación para n∈ R+
π 2

π/2
B (p p) = 2 ∫0
sin2p – 1ϕ cos2p – 1ϕ dϕ

1 π/2
=
2 2 p −1
2 ∫
0
sin2p – 1(2ϕ ) dϕ

1 1 π
θ ∫
= 2ϕ
→ = 2 p −1
2 sin2p – 1(θ) dθ
2 2 0

1 π/2
=
2 2 p −1
2 ∫ 0
sin2p – 1(θ) dθ

1 1
= 2 p −1
B (p , )
2 2

1
Γ ( p )Γ ( )
Γ ( p)Γ ( p) 1 2
= 2 p −1
Γ ( 2p ) 2 1
Γ(p + )
2
2 2 p −1 1
Γ(2p) = Γ(p) Γ(p + )
π 2

2.4.- REPRESENTACION GRAFICA DE B (PRIMERA DEFINICION)

La gráfica de la función B para p >0 y q >0 es:

 2.5.- SEGUNDA DEFINICIÓN DE B

La segunda definición de la función B se hace para extender la primera definición al dominio R 2 que en rigor
será D = [ R – Z –– { 0 } ] 2

La extensión se basa en la Fórmula que relaciona a B con Γ

2.5.1.- DEFINICIÓN

Se llama función Beta B (en su segunda definición ) o Función Euleriana de Primera Especie:

Definición de B (segunda):

B : [R – Z – – { 0 }] 2 → R
 1

 0
(p q) → B (p q) :=  Γ (p)Γ (q)
∫
x p - 1 (1 - x) q - 1 dx ( p q ) ∈ ( R + )2

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

 Γ (p + q)


2.6.- OTRAS PROPIEDADES DE B Y Γ

2.6.1.- OTRA FORMA DE Γ (TERCERA FORMA)

3 a Def Γ   1 ez 1
T1.-  ⇒
Re( α ) < 0 
 2πi ∫
←
→
≡≡≡ O z α +1
dz =
Γ (α + 1 )

Tomando la integral a lo largo del camino γ

1 ez
I=
2πi ∫
←
→
≡≡≡ O z α +1
dz

2πi I = ∫ γ1
+ ∫ γ2
+ ∫
γ3
 − iπ
r e xe +∞
γ1: z = x e– iπ ∫γ1
= ∫
+R x α +1 −iπ ( α +1)
e
e–iπ dx  → e+iπα
R → +∞ ∫ 0
x-(α+1) e–x dx
r →0 +
r cos ϕ
e
γ2: ϕ∈] – π π] z = r e+iϕ L CSup| f | = 2πr
r α +1
Re(
α → 0
)<0
⇒ ∫
γ2
 → 0
Re( α )< 0
r →0 + r →0 +
xe + iπ +∞
R e
γ3: z = x e +iπ ∫γ3
= ∫
r x α +1 iπ ( α +1)
e
e+iπ dx  → e–iπα
R → +∞ ∫
0
x-(α+1) e–x dx
r →0 +
+ iπα − iπα
e −e +∞
I =
2πi ∫0
x-(α+1) e– x dx

sin( πα)
I = Γ(– α)
π

Por la Fórmula de los Complementos

π
Γ(-α) Γ(α+1) =
sin( πα)
1
I =
Γ (α + 1)

Obs.: El resultado también es válido sobre R

1
2.6.2.- VALORES NOTABLES Γ ’( )
2

Def Γ  Γ ' ( 12 )
T2.-  ⇒ = – 2 L2 + Γ ’( 1 )
Def B  π

D1.- A partir de la fórmula de duplicación

2 2 p −1 1
Γ(2p) = Γ(p) Γ(p + )
π 2

derivando en forma logarítmica:

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

Γ ' ( 12 )
= – 2 L2 + Γ ’(1)
π
 1
D2.- A partir de B(p )
2
1 π/2
B(p,
2
) = 2 ∫0
sin2p – 1ϕ dϕ
1
Γ ( p )Γ ( )
2 = 2 π / 2 sin2p – 1ϕ dϕ
Γ( p + )
1 0 ∫
2
1
Γ ( p )Γ ( )
2 [ Γ ' (p) – Γ ' (p + 2 ) ] = 4 π / 2 sin2p – 1ϕ L sinϕ dϕ
1

Γ( p + )
1 Γ( p ) Γ(p + 12 ) 0 ∫
2
1
para p =
2
Γ ' ( 12 ) π/2
π [
Γ( 2 )
1
– Γ ’(1)] = 4
0
L sinϕ dϕ∫
Calculando
π/2 π/2
∫ ∫
ϕ = π / 2−θ
I= L sinϕ dϕ ←  → = L cosθ dθ
0 0
π/2 π
I=∫ ϕ = π− θ
L sinϕ dϕ ← → = ∫ L sinθ dθ
0 π/ 2
π
⇒ ∫
0
L sinϕ dϕ = 2 I

π/2 1 π
∫ ∫
2ϕ = θ
L sin2ϕ dϕ ← → = L sinθ dθ = I
0 2 0

π/2 π/2
I=∫ 0
L sin2ϕ dϕ = ∫
0
L (2 sinϕ cosϕ) dϕ =
π/2 π/2 π/2
I=∫ L2 dϕ + ∫ L sinϕ dϕ + ∫ L cosϕ dϕ
0 0 0

π
I= L2 + I + I
2
π
I=– L2
2

Retornando a
Γ ' ( 12 ) π/2
π [
Γ( 12 )
– Γ ’(1)] = 4 ∫0
L sinϕ dϕ

Γ ' ( 12 ) π
π [ – Γ ’(1)] = 4 (– L2 )
Γ( 12 ) 2

Se llega a
Γ ' ( 12 )
= – 2 L2 + Γ ’(1)
π
 Obs.: A partir de la primera Demostración :
Γ ' ( 12 )
= – 2 L2 + Γ ’(1)
π
y sabiendo de la primera parte de la segunda Demostración

Γ ' ( 12 ) π/2
π [
Γ( 12 )
– Γ ’(1)] = 4 ∫
0
L sinϕ dϕ

se puede extraer:
π/2 π
I= ∫0
L sinϕ dϕ = –
2
L2

2.7.- TERCERA DEFINICION DE B

La segunda definición de la función B se hace para extender la segunda definición sobre el dominio
[R – Z – – {0}] 2 al dominio [C – Z – – {0} ] 2
Para los reales negativos se extiende por definición la validez de la Fórmula de Recurrencia

2.7.1.- DEFINICION

Se llama función Gamma B (en su tercera definición ) Euleriana de Segunda Especie:

Definición de B (tercera):

B : [C – Z – – {0}] 2 → C
 1
∫ ( p q ) ∈ C 2 ∧ Re( p ) > 0 ∧ Re( q ) > 0
p-1
 x (1 - x) q - 1 dx

(p q) → B (p q):=  0
Γ (p)Γ (q)
 ( p q ) ∈ [C - Z - - { 0 }] 2

 Γ (p + q)
 3.- FUNCIÓN GAMMA INCOMPLETA

Análogamente a las definiciones hechas para la función Γ existen varias definiciones de la función
Γ incompleta a partir de sucesivas extensiones del Dominio, a saber:

D = R+
D = R – Z – – {0}
D = C – Z – – {0}

3.1.- PRIMERA DEFINICIÓN DE Γ INCOMPLETA

3.1.1.- DEFINICIÓN

Se llama función Gamma Γ incompleta (en su primera definición sobre el dominio R+):

Definición de Γ incompleta (Primera): Γ : R+xR → R

x
(α,x) → Γ(α,x) := ∫
0
e – t t α - 1 dt

1.1.2.- JUSTIFICACIÓN DE LA DEFINICIÓN: ANALISIS DE CV DE LA II

Se analiza la CV de la II anterior para justificar la definición.

1.- Existencia de la función integrando, salvo para puntos singulares aislados y los puntos singulares

∃f : ∀ x ∈] 0 A[ ∃ e–t t α–1

Puntos singulares:
p.s. V0+ ∀α < 1

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

x
∫a
e – t t α – 1 dt ∈ IR ⇐ f∈C[a x] : a > 0
3.- Análisis de CV en V0+ : se compara con tα –1

e − t t α −1 e − t t α −1 
α −1
= 1− α
t→ 1
→0 + 

t
1
1/ t


⇒ ∫V0 +
e – t t α – 1 dt ∈ CV ⇔ α > 0

∫V 0 + t 1− α
dt ∈ CV ⇔ 1 − α  1 ⇔ α  0 [Tabla 2]


4.- Resumen de CV
+∞
∫0
e − x x α −1 dx ∈ CV ⇔ α > 0
 APENDICE III
2.3.3.2.- FÓRMULA DE LOS COMPLEMENTOS: SEGUNDA DEMOSTRACIÓN
D2.- Una segunda forma de llegar a la Fórmula de los Complementos es en el Campo Complejo por cálculo de
Residuos:
1
I(p) = ∫
0
x p – 1 (1–x) – p dx p∈] 0 1[

Tomando la integral a lo largo del camino γ

I = ∫
γ
z p – 1 (1–z) – p dz

Por el 2° Corolario del Teorema de Cauchy

∫γ1
+ ∫ γ2
+ ∫γ3
+ ∫
γ4
= ∫
γ5

r1
γ1: z = x e i0 1–z = (1–x) e i0 ∫
γ1
= ∫
1− r2
x p – 1 (1–x) – p dx r→
2 0+
→–I
r1 →0 +

γ2: ϕ∈]0 2π] z = r1 e+iϕ L CSup| f | = 2πr1 r1 p – 1 (1– r2 ) – p  → 0

0< p
⇒ ∫
γ2
 → 0
0< p
r1 → 0 + r1 → 0 +
1− r2
γ3: z = x e +i2π 1–z = (1–x) e i0 ∫
γ3
= ∫
r1
x p – 1 e+i2π (p–1) (1–x) – p e+i2π dx  → + e+i2π p I

r →0 +
2
r1 →0 +

γ4: ϕ∈] 2π 0] z = r2 e+iϕ2 L CSup| f | = 2πr2 (1– r1 )p – 1 r2 – p  → 0

p <1
⇒ ∫
γ4
 → 0
p <1
r2 →0 + r2 →0 +
Para obtener la integral sobre γ5 se aplica la inversión:
w =1 / z
γ5: ϕ∈[ 0 2π] z = R e+iϕ  → Γ5: Φ∈[ 0 –2π] w = R–1 e– iΦ

1 1 −p 1
∫ γ 5+
= ∫
Γ5 − w p −1
(1 −
w
) (− 2 ) dw
w
( w − 1) − p
= ∫
Γ5 + w
dw

= 2πi R(0)

donde

R(0) = (–1)–p = e–iπ( – p) = e– iπ p

Retomando

∫ γ1
+ ∫γ2
+ ∫
γ3
+ ∫
γ4
= ∫
γ5

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

e +iπp − e −iπp
I =π
2i

Se obtiene entonces

π
I =
sin(πp)
 2.3.3.3.- FÓRMULA DE LOS COMPLEMENTOS: TERCERA DEMOSTRACIÓN
D3.- Una tercera forma de llegar a la Fórmula de los Complementos es en el Campo Complejo por cálculo de
Residuos:
+∞ x p −1 +∞ e t ( p−1 )
∫ ∫
x=et
I(p) = dx ←→ = et dt
0 1+ x −∞ 1+ et
+∞ e pt
= ∫
−∞ 1+ et
dt p∈] 0 1[

Tomando la integral a lo largo del camino γ

e pz
I = ∫
γ 1 + ez
dz

La función integrando no tiene puntos de ramificación, 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 integración, se elige

β ∈ ]π 3π[

Por el Teorema de los Residuos:

∫γ1
+ ∫ γ2
+ ∫
γ3
+ ∫
γ4
= 2πi R(πi )

A e pt
γ1: z = t ∫γ1
= ∫ −A 1+ et
dt  → I
A → +∞

e pA e ( p −1) A
γ2: y∈]0 β] z = A+iy L CSup| f | = β
eA −1
=β
1 − e −A
  → 0 ⇒
0 < p <1 ∫γ2
  → 0
0 < p <1
A → +∞ A → +∞

−A p ( t + iβ )
e
γ3: z = t + iβ ∫ γ3
= ∫
A 1+ e t + iβ
dt  → – I e i2πp
β=2π
A → +∞
Para obtener una ecuación con una sola incógnita, al aplicar el Teorema de los residuos se elige β =2π
e − pA
γ4: y∈]β 0] z = – A+iy L CSup| f | = β
e −A − 1
=   → 0
0 < p <1
⇒ ∫
γ4
  → 0
0 < p <1
A → +∞ A → +∞
 El cálculo del Residuo en πi

R(πi ) = – e+iπ p

Retomando

∫ γ1
+ ∫γ2
+ ∫
γ3
+ ∫
γ4
= 2πi R(πi )

I + 0 – e –i2αp I + 0 = – 2πi e+iπp

e +iπp − e −iπp
I =π
2i

Se obtiene entonces
π
I =
sin(πp)

2.3.3.4.- FÓRMULA DE LOS COMPLEMENTOS: CUARTA DEMOSTRACIÓN

D4.- Una cuarta forma de llegar a la Fórmula de los Complementos es en el Campo Complejo por medio de la Serie
de Fourier Trigonométrica:
+∞ x p−1
I(p) = ∫0 1+ x
dx

1.1.- Cambiando de variable x = et

+∞ x p −1 +∞ e t ( p−1)
∫ ∫
x=et
I(p) = dx ←→ = et dt
0 1+ x −∞ 1 + et
+∞ e pt
= ∫
−∞ 1+ et
dx p∈] 0 1[

Se puede construir una función g(p) definida en p∈ ] 0 1[

+∞ x p −1
g(p) = sin (πp) ∫
0 1+ x
dx

+∞ e pt
g(p) = sin (πp) ∫
−∞ 1+ et
dt

1.2.- La función g(p) se desarrollará en Serie de Fourier como función par en el intervalo p∈]–1 1[ donde
resulta entonces un período T=2.

Obs.: g(p) es indeterminada para p=0 y p=1 pero su límite en ambos casos es π
1
g(p) = sin (πp) Γ(p)Γ(1–p) ≈ sin(πp) Γ(p+1) Γ(1–p) p → π
→0
p
1
g(p) = sin (πp) Γ(p)Γ(1–p) ≈ sin(π(1–p)) Γ(p) Γ(2–p) p→ π
→1
1− p

Desarrollando como función par

bk = 0

1 1
ak = 2 ∫
0
sin (πp) I(p) cos( kπp) dp = ∫0
I(p) [ sin ((k+1)πp) – sin( (k–1)π p) ] dp
1.3.- Se calcula
1 1 +∞ e pt
G(n) = ∫ 0
sin (nπp) I(p) dp = ∫ 0
sin (nπp) [ ∫ −∞ 1+ et
dt ] dp

+∞ 1 1
= ∫ −∞ 1+ e t
[ ∫
0
ept sin (nπp) dp] dt

+∞ 1 e pt 1
= ∫ −∞ 1+ e t
[ 2
t + (nπ) 2
[ t sin (nπp) – nπ cos(nπp)]]
0
dt

+∞ 1 nπ
= ∫ −∞ 1+ e t
[ 2
t + ( nπ) 2
[ 1 – (–1)n et ]] dt

que para n∈ Impar

+∞ nπ
G(n) = ∫ −∞ t 2 + ( nπ) 2
dt = π

y que para n∈ Par

+∞ 1− et nπ
G(n) = ∫ −∞ 1+ e t
t + ( nπ) 2
2
dt

Que es la Integral de una función impar ⇒ G(n) = 0

1.4.- Se calcula ahora los a0 y los ak

1
a0 = ∫ 0
I(p) [ sin (πp) – sin( (–1)πp) ] dp
1
=2 ∫ 0
I(p) sin (πp) dp
= 2 G(1) = 2π
a0
=π
2
1
ak = ∫ 0
I(p) [ sin ((k+1)πp) – sin( (k–1)πp) ] dp
= G(k+1) – G(k–1) = 0

1.5.- Entonces la Serie de Fourier es

+∞ x p −1
g(p) = sin (πp) ∫0 1+ x
dx = π

Se obtiene la formula de los complementos

+∞ x p −1 π
∫0 1+ x
=
sin(πp)
 π
Γ(p)Γ(1–p) =
sin(πp)