Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Resumen
La función de Mittag-Leffler tiene propiedades interesantes, como ser
una extensión de la función exponencial para valores no enteros de los
exponentes. También está relacionada con soluciones de ciertas ecuaciones
diferenciales fraccionarias y aparece en el estudio de procesos estocásticos,
especialmente en la teorı́a de procesos de Lévy y procesos subordinados.
En resumen, la función de Mittag-Leffler es una herramienta ma-
temática importante que tiene aplicaciones en una variedad de campos,
ofreciendo soluciones a problemas complejos que involucran ecuaciones
fraccionarias y probabilidades.
1
Índice
1- La función Gamma 3
1.1 Las Propiedades y demostraciones . . . . . . . . . . . . . . . . . . 4
2- La función Beta 13
2
1. La función Gamma
La función Gamma se define:
Z ∞
τ (z) = tz−1 e−t dt
0
tn−1 1
f (t) = , g(t) = t
et e
n−1
para t ≥ 1 dándonos la siguiente desigualdad 0 ≤ t et ≤ e1t Entonces por el
criterio de comparación.
R∞ 1 Rb
dt = lı́mb→∞ 1 e1t dt = lı́mb→∞ −e−b + e−1 = 0 + e−1 = e−1 debido
1 et
a que el limite existe significa que es convergente.Finalmente tenemos que rees-
cribir la integral impropia:
Z ∞ Z 1 Z ∞
n−1 −t n−1 −t
t e dt = t e dt + tn−1 e−t dt
0 0 1
R1
Como 0 tn−1 e−t dt es un intervalo finito [0, 1] y también es continua sera
convergente quedando al final:
Z ∞
tn−1 e−t dt
0
3
es convergente.
Ahora solo falta demostrar la convergencia absoluta el cual se explicara en
el siguiente teorema. R∞
Convergencia absoluta: La integral a f (t)dt es absolutamente convergente
R∞
si a |f (t)|dt converge.
Volveremos a utilizar el ‘criterio de comparación’ pero antes recordemos
que e1t es siempre no negativo para cualquier valor real t, ya que et es siempre
positivo para todos los números reales de t, por lo tanto su recı́proco e1t también
es siempre positivo.
Entonces, tenemos que para cualquier numero real de t:
1 1
= t
et e
n−1
t
1 1
R ∞ 1 la expresión de la desigualdad: 0 ≤ | et | ≤
Ya sabiendo esto podemos reescribir
| et | = et y recordemos que 1 et dt es convergente al reescribir la integral
impropia:
Z ∞ Z 1 Z ∞
|tn−1 e−t |dt = |tn−1 e−t |dt + |tn−1 e−t |dt
0 0 1
R1
Como 0 |tn−1 e−t |dt es un intervalo finito [0, 1] y también es continua sera
convergente quedando al final:
Z ∞
|tn−1 e−t |dt
0
es convergente absolutamente.
4
1·3·5·(2n−1) √
1
6. τ n + 2
= 2n
π para n => 1
1
(−2)n √
7. τ −n + 2
= 1·3·5·(2n−1)
π para n => 1
π
8. τ (z)τ (1 − z) = sen(zπ)
√
9. τ (z + 1) = z z e−z 2zπ√para |z| grandes Re(z) > 0. En
particular n! ≈ nn e−n 2nπ (fórmula de Stirling)
2z−1 τ (z)τ (z+ 12 )
10. τ (2z) = √
π
(Fórmula de duplicación de Legendre)
Demostraciones:
1. τ (n + 1) = nτ (n) si n > 0
Para demostrar la propiedad τ (n + 1) = nτ (n) si n > 0,
comenzamos con la definición de la función
R ∞ n−1 −t
gamma:τ (n) = 0 t e dt
Luego, aplicamos integración por partes a la integral τ (n + 1):
Z ∞
n −t tn Z ∞ n · tn−1
τ (n + 1) = t e dt = − t + dt
0 e 0 et
Usamos la sustitución u = tn , du = ntn−1 dt, dv = e−t y
v = −e−t para simplificar la integral:
tn n −0
Z ∞ n−1
·t
τ (n + 1) = − lı́m t
+ 0 e + n dt
t→∞ e 0 et
n
Dado que lı́mt→∞ tet = 0 y 0n e−0 = 0, simplificamos la
expresión para obtener:
Z ∞
·tn−1
τ (n + 1) = 0 + 0 + n dt = nτ (n)
0 et
Esta demostración muestra cómo la propiedad se deriva
directamente de la definición de la función gamma y la
aplicación de la regla de integración por partes.
2. τ (n + 1) = n! para n => 0
Demostración de la propiedad τ (n + 1) = n! utilizando
inducción y cálculo de integrales:
a) Caso base: En el caso base, evaluamos la propiedad para
los valores iniciales de n, que son 0 y 1. Esto establece un
5
punto de partida para nuestra demostración inductiva.Estos
casos base nos proporcionan la base para demostrar la validez
de la propiedad para valores posteriores de n.
Para n=0 observamos que:
Z ∞ Z ∞
0 −t
τ (0 + 1) = t e dt = e−t dt = −e−t
0 0
1
τ (1) = − lı́m+ e0 = −0 + 1 = 1 = 0!
t→∞ et
τ (1) = τ (0 + 1) = 1 = 0!
τ (2) = τ (1 + 1) = 1τ (1) = (1)0! = 1!
τ (3) = τ (2 + 1) = 2τ (2) = (2)1! = 2!
τ (4) = τ (3 + 1) = 3τ (3) = (3)2! = 3!
τ (n + 1) = n!
Aquı́ se puede apreciar que se sigue una sucesión conocida
siendo la de n!
6
c)Hipótesis de inducción: La hipótesis de inducción asume
que la propiedad que estamos tratando de demostrar,
τ (n + 1) = n! es válida para algún valor n arbitrario.
Z ∞
τ (n + 1) = tn e−t dt = n!
0
Z ∞
tn+1 e−t dt = (n + 1)! = τ (n + 1 + 1)
0
Z ∞
tn+1 Z ∞
tn+1 e−t dt = − + (n + 1) tn e−t dt
0 et 0
7
1·3·5·(2n−1) √
1
4. τ n + 2
= 2n
π para n => 1
Base de la inducción: Cuando n=1
1 3 1 1 1√
τ 1+ =τ = τ = 1 π
2 2 2 2 2
Cuando n=2
1 5 3 3 3 1√ 3 · 1√
τ 2+ =τ = τ = π = 2 π
2 2 2 2 2 2 2
Cuando n=3
1 7 5 5 5 3 · 1√ 5 · 3 · 1√
τ 3+ =τ = τ = π = π
2 2 2 2 2 2 23
1 1 1 1 2n − 1 √
τ n+1+ = n+ τ n+ = n+ π
2 2 2 2 2n
1 (2n − 1) · (2n + 1) √
τ n+1+ = π
2 2n+1
(−2)n √
5. τ −n + 12 = 1·3·5·(2n−1) π para n => 1
Base de la inducción:Cuando n=1
1 1 1 1 1
τ −1 + =τ − ⇒ − τ − =τ
2 2 2 2 2
1 1 −2 √
τ − = −2τ = π
2 2 1
Cuando n=2
1 3 3 3 1
τ −2 + =τ − ⇒ − τ − =τ −
2 2 2 2 2
8
3 2 1 −2 · 2 √
τ − = τ − = π
2 3 2 3·1
Cuando n=3
1 5 5 5 3
τ −3 + =τ − ⇒ − τ − =τ −
2 2 2 2 2
5 −2 3 −2 · 2 · −2 √
τ − = τ − = π
2 5 2 5·3·1
Notamos que hay una sucesión o patrón que se va ir
repitiendo:
1 (−2)n
√
τ −n + = π
2 1 · 3 · 5 · (2n − 1)
Lo tomamos como nuestra hipótesis de
(−2)n √
inducción:τ −n + 21 = 1·3·5·(2n−1) π
1
(−2)n+1 √
Por demostrar:τ −(n + 1) + 2
= (2n−1)·(2n+1)
π
1 1
τ −(n + 1) + = τ −n −
2 2
1 1 1 1
−n − τ −n − = τ −n − + 1 = τ −n +
2 2 2 2
Teniendo la siguiente igualdad:
1 1 1
−n − τ −n − = τ −n +
2 2 2
(−2)n √
! !
1 1
τ −n + = 1 π
2 −n − 2
2n − 1
(−2)n √
!
1 −2
τ −n + = π
2 2n + 1 2n − 1
1
(−2)n+1 √
τ −(n + 1) + = π
2 (2n − 1) · (2n + 1)
π
6. τ (z)τ (1 − z) = sen(zπ)
Primeramente se mencionaran los lemas que serán utilizados
para poder demostrar esta propiedad debido a lo necesario
que son:
9
Representación de la derivada de Gauss.
n
nz Y k
τ (z) = n→∞
lı́m
z k=1 z + k
Representación de la derivada de Weierstrass.
∞
e−rz Y z −1
z
τ (z) = ek 1 +
z k=1 k
La constante de Euler-Mascheroni.
n
!
X 1
γ = n→∞
lı́m − ln(n)
k=1 k
10
Usaremos la igualdad de seno en el divisor:
1 1 π
−zτ (−z)τ (z) = sen(zπ) =
z zπ
sen(zπ)
t = nz dt = ndz
Z ∞ Z ∞
n! = nn+1 z n e−nz dz = nn+1 en(lnz−z) dz
0 0
n
z n = eln(z ) = e(n)lnz
Ahora usaremos el teorema de Taylor:
f ′′ (c)(z − c)2
f (z) ≈ f (c) + f ′ (c)(z − c) +
2
Evaluado cuando z=1
f (z) = lnz − z f (1) = ln1 − 1 = −1
f ′ (z) = z1 − 1 f ′ (1) = 11 − 1 = 0
f ′′ (z) = − z12 f ′′ (1) = − 112 = −1
1
lnz − z ≈ −1 − (z − 1)2
2
Sustituyendo este resultado en nuestra integral queda ahora:
Z ∞ Z ∞
n(−1− 12 (z−1)2 ) n 2
n! ≈ n n+1
e dz = n n+1
e−n e− 2 (z−1) dz
0 0
s
nn+1 Z ∞ − n (z−1)2 nn+1 Z ∞ −x2 2
n! ≈ n e 2 dz = n e dx
e 0 e 0 n
11
q
x2 = n2 (z − 1)2 ⇒ x = n
2
(z − 1)
q
n
dx = 2
dz
√
2nnn Z ∞ −x2
n! ≈ e dx
en 0
Volviendo a usar la integral gaussiana:
√
n! ≈ nn e−n 2nπ
Y ahora usando la cuarta propiedad nos queda:
√
τ (z + 1) = z z e−z 2zπ
12
2. La función Beta
Texto que corresponde a la sección Beta.
13