La función Mittag-Leffler

Pedro Francisco Ramı́rez Reyes

28 de abril de 2024

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

La integral converge absolutamente para Re(z) > 0.

Se explicara primero el ¿porque? es necesario que esta integral converge

absolutamente y sus propiedades.Para después explicar la relación de la función
gamma con la función Mittag-Leffler.

Definición 1.1:Integrales impropias con lı́mites de integración infi-

nitas.
Si f es continua en el intervalo [a, ∞) entonces:
Z ∞ Z b
f (t)dt = lı́m f (t) dt
a b→∞ a

En este caso la integral impropia converge si el lı́mite existe en caso contrario,

la integral impropia diverge.

Lema 1.1:Criterio de comparación.

Si tenemos que f y g Rson continuas tales que 0 ≤ f (t) ≤ g(t) para t ≥ a
∞ R∞
El primero es que si a f (t)dt es divergente entonces a g(t)dt también es
divergente. R∞ R∞
El segundo es que si a f (t)dt es convergente entonces a g(t)dt también
es convergente.
En nuestro caso con la función Gamma:
Z ∞
τ (n) = tn−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.

1.1 Las Propiedades y demostraciones

Propiedades:
1. τ (z) se define y es analı́tica en la región Re(z) > 0
2. τ (n + 1) = nτ (n) si n > 0
3. τ (n + 1) = n! para n => 0
4. τ (z + 1) = zτ (z) (ecuación de función). Esta propiedad y la
propiedad 3 caracterizan a la función factorial. Ası́ generaliza
n! a números complejos z. Algunos autores lo escribirán
τ (z + 1) = z!
  √
5. τ 12 = π

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

Para n=1 observamos que:

Z ∞ Z ∞
τ (1 + 1) = te−t dt = −e−t t − e−t dt
0 0

Usamos la sustitución u = t, du = dt, dv = e−t dt y v = −e−t

para simplificar la integral:
t
τ (2) = − lı́m + 0e−0 + 1
t→∞ et

Aplicando la regla de L’Hôpital para encontrar el lı́mite en

lı́mt→∞ ett :
t 1
lı́m = lı́m t = 0
t→∞ et t→∞ e

Sustituyendo el resultado del lı́mite en la expresión

matemática:
τ (2) = −0 + 0 + 1 = 1 = 1!
b)Paso inductivo: En el paso inductivo, asumimos que la
propiedad es válida para algún el valor n+1 utilizando la
propiedad previamente demostrada τ (n + 1) = nτ (n)

τ (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

d)Hipótesis por demostrar:

Z ∞
tn+1 e−t dt = (n + 1)!
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

u = tn+1 du = (n + 1)tn dt dv = e−t dt v = −e−t

tn+1 0n+1
= − lı́m + 0 + (n + 1)n!
t→∞ et e
Usando la regla de L’Hospital en el limite:
tn+1 (n + 1)!
lı́m = lı́m =0
t→∞ et t→∞ et
Dándonos como resultado:
Z ∞
tn+1 e−t dt = 0 + 0 + (n + 1)n! = (n + 1)!
0
 
1 √
3. τ 2
= π
Z ∞
τ (n) = tn−1 e−t dt
0
Z ∞ Z ∞
1
 
1 2
τ = t− 2 e−t dt = 2 e−u dt
2 0 0
2
t = u dt = 2udu
Podemos usar la función gaussiana debido a que esta función
es simétrica y par hacia ambas direcciones:
1
  Z ∞
2 √
τ = e−u du = π
2 −∞

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

Notamos que hay una sucesión o patrón que se va ir

repitiendo:
1 (2n − 1) √
 
τ n+ = π
2 2n
Lo tomamos como nuestra hipótesis de
√
inducción:τ n + 12 = (2n−1)
2n
π
  √
Por demostrar:τ n + 1 + 12 = (2n−1)·(2n+1)
2n+1
π

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

Representación de la función de seno.

∞
z2
!
Y
sen(zπ) = zπ 1− 2
k=1 k
Ahora ya se comenzara con la demostración de la propiedad
dada:
τ (z)τ (−z + 1) = τ (z) (−zτ (−z)) = −zτ (−z)τ (z)
Usando la derivación de Weiestrass vamos a rescribir la
función:
∞ ∞
e−rz Y z −1 erz Y z −1
   
z −z
τ (z) = e 1+
k τ (−z) = e k 1−
z k=1 k −z k=1 k
Ahora los sustituimos en nuestra expresión anterior:
∞ ∞
e−rz Y erz Y
 !  !
z −1 z −1
 
z −z
−zτ (−z)τ (z) = −z ek 1 + e k 1−
z k=1 k −z k=1 k
∞
e−rz · erz Y
 !
z −1 z −1
  
−z z
−zτ (−z)τ (z) = −z e k ek 1 + 1−
−z 2 k=1 k k
∞  −1  −1 !
1 Y z z
−zτ (−z)τ (z) = 1+ 1−
z k=1 k k
 !−1   
∞
1 Y z2 1 1
−zτ (−z)τ (z) =  1− 2 = 
Q∞  z2

z k=1 k z k=1 1 − k2

10
 Usaremos la igualdad de seno en el divisor:
 
1 1 π
−zτ (−z)τ (z) =  sen(zπ)  =
z zπ
sen(zπ)

Quedando demostrado ya la propiedad pero primeramente era

necesario escribir los lemas necesarios que se ocuparon para
resolverlo.
√
7. τ (z + 1) = z z e−z 2zπ√para |z| grandes Re(z) > 0. En
particular n! ≈ nn e−n 2nπ (fórmula de Stirling)
Z ∞
τ (n) = tn−1 e−t dt
0

Y sabemos que n! cumple la siguiente igualdad:

Z ∞ Z ∞
n −t
n! = t e dt = (nz)n e−nz ndz
0 0

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π

2z−1 τ (z)τ (z+ 12 )

8. τ (2z) = √
π
(Fórmula de duplicación de Legendre)

12
2. La función Beta
Texto que corresponde a la sección Beta.

13