Documente Academic
Documente Profesional
Documente Cultură
FUNCIONES EULERIANAS
Departamento de Ingeniería
Universidad de Buenos Aires
2002
V 2.02
INDICE
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.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 Γ’
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+
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}
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.- 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
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
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 +
+∞
T.- Def Γ ⇒ Γ(α) = ∫
0
e – x xα – 1 dx ∈ C/ R+
Otras formas de la función Γ se obtienen por medio de cambios de variables. Por ejemplo:
+∞
Γ(α+1) = ∫0
e – x xα dx
+∞ +∞
= - e–x x α
0
+ α ∫
0
e – x x α-1 dx
= α
>0
→ α Γ(α)
O también
k
Γ(α + k + 1)
Γ (α)
= ∏j= 0
(α+j)
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
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!
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
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
1 1
Γ(n + ) = 2 n 2n (2n – 1) (2n – 3) ... 5 . 4 . 3 . 2 . 1 π
2 2 n!
(2n )!
= 2n π
2 n!
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+
+∞
Γ(α) = ∫0
e – x xα-1 dx > 0
Γ(α) ∈ C/R+
Γ(1) = 1
Γ(2) = 1
⇒ ∃ξ ∈ [1 2] : Γ’(ξ) = 0
Obs.: La abscisa del mínimo es αmin = 1,461 63 ... y la ordenada Γ(αmin) = 0,885 60...
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
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 + ∞ ∂α
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 |
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]
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 |
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 resumen
+∞
∫0
e-x x α –1 Lx dx∈ CU ∀α 0 < α1 ≤ α ≤ α2
∂ +∞ +∞ ∂ f ( x, α)
∂α ∫ 0
f( t,α ) dt = ∫ 0 ∂α
dx
+∞
Γ ’(α) = ∫
0
e – x x α –1 Lx dx ∀α 0 < α1 ≤ α ≤ α2
1.7. PROPIEDADES DE Γ ’
Γ ' (α + 1 ) 1 Γ ' (α )
T1.- Def Γ ⇒ = +
Γ (α + 1 ) α Γ (α )
Derivando en forma logarítmica la Fórmula de recurrencia de Γ
Γ(α+1) = α Γ(α)
Γ ' (α + 1) 1 Γ ' (α )
= +
Γ(α + 1) α Γ( α )
Γ ' (α + k + 1 ) 1 1 1 1 1 Γ ' (α )
T2.- Def Γ ⇒ = + + + ... + + +
Γ (α + k + 1 ) α +k α +k −1 α +k −2 α +1 α Γ (α )
Γ ' (α + k + 1) 1 1 1 1 1 Γ ' (α )
= + + + ... + + +
Γ(α + k + 1) α + k α + k −1 α + k − 2 α +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 )
Γ '(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 α Γ( α )
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 ) 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:
Se analiza por la Fórmula de Recurrencia el comportamiento de la función para los reales negativos y el cero.
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
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 α
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
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:
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
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
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
T11 Def Γ (tercera definición) ⇒ z∈ V(0) Γ(z) ≅
z
1
⇒ z∈ V(–1) Γ(z) ≅
z+1
...
1
⇒ z∈ V(–k) Γ(z) ≅
z+k
+∞
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/ C – Z – – {0}
La notación de factorial se puede extender sobre C – Z – – {0} con la tercera definición de Γ. Se define
entonces:
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
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
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.
∃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
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
∫ 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:
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
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
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
+∞ 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
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
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
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
∫γ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)
e +iπp − e −iπp
I =π
2i
Se obtiene entonces
π
I =
sin( πp)
+∞ 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)
DefΓ π
T4.- ⇒ Γ(p) Γ(1–p) =
p∈ R − Z sin( π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)
π
Γ(p) Γ(1– p) =
sin( πp)
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
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
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
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)
3 a Def Γ 1 ez 1
T1.- ⇒
Re( α ) < 0
2πi ∫
←
→
≡≡≡ O z α +1
dz =
Γ (α + 1 )
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 = Γ(– α)
π
1
2.6.2.- VALORES NOTABLES Γ ’( )
2
Def Γ Γ ' ( 12 )
T2.- ⇒ = – 2 L2 + Γ ’( 1 )
Def B π
Γ ' ( 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
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
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.1.- DEFINICIÓN
Se llama función Gamma Γ incompleta (en su primera definición sobre el dominio R+):
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[
∫γ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 +
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
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[
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π[
∫γ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 )
e +iπp − e −iπp
I =π
2i
Se obtiene entonces
π
I =
sin(πp)
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
+∞ 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
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
+∞ nπ
G(n) = ∫ −∞ t 2 + ( nπ) 2
dt = π
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
+∞ x p −1
g(p) = sin (πp) ∫0 1+ x
dx = π
+∞ x p −1 π
∫0 1+ x
=
sin(πp)
π
Γ(p)Γ(1–p) =
sin(πp)