CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

FUNCIONES ESPECIALES

Son funciones definidas de una determinada manera, algunas de las funciones más
conocidas son las funciones gamma, función beta, función error, función integral
exponencial, funciones de Bessel, etc. 1

FUNCIÓN GAMMA

Es definida por Euler como la siguiente integral


 (n)   x n1e  x dx
0

Esta función converge para n>0

El valor de la integral dependerá del valor de n

Calculemos los valores para la función gamma con los valores de n

 ENTEROS POSITIVOS

Para n=1
 
 (1)   e dx  e
x x
1
0 0

para n2
   e  x dx  1
 (2)   x.e dx   x.e
x x
0

0 0

Al sustituir en el primer paso por los extremos superior e inferior nos queda una
indeterminación que la resuelvo por el método de L'Hôpital

x  1
lím x    lím x  x  0
e x
 e
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

Generalizamos para n+1

  
 (n  1)   x n e  x   xe  x 0
 n  x n 1e  x dx  n (n)
0 0

En el primer sumando aplicamos sucesivamente la regla de L'Hôpital y vemos que es

cero y en el segundo término es la función gamma 2
Esta relación es muy importante para calcular los valores de la función teniendo un
valor conocido, se denomina relación de recurrencia

 (n  1)  n (n)

 (n  1)  n (n)
Ejemplo
 (3)  2 (2)  2.1  2

De la aplicación de la relación de recurrencia podemos relacionar la función factorial

,observamos que

 (n  1)  n (n)  (n  1).n. (n  2)  n.(n  1).(n  2)........ (1)  n!

 (n  1)  n!
 (0  1)  0! 1
De esta relación obtengo el factorial de cero

 n FRACCIONARIOS

Calcularemos el valor para n=1/2

1
n
2
 1
 ( 1 2)   x 2
e  x dx
0
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

Hacemos un cambio de variable analizando también los extremos de integración y los

diferenciales correspondientes

Hacemos x=u2
dx=2u du los extremos
Para x=0 u=0
x u 3

La integral quedará entonces

 
 1 
 ( 1 2)   u 2 e u 2udu  2 e u du  2 I p
2 2 2

0 0

Es la llamada integral de Poisson

Será también, por ser una integral definida


Ip   e v 2
dv
0
Multiplico ambas integrales

e  du.dv
 
Ip  
2

 u 2 v 2
0 0

Resolveremos esta integral en coordenadas polares

CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

u  r cos dr  du 0r 

v  rsen  dv  rd 0  
2
u v  r
2 2 2

La integral quedará entonces

4
  1  2  u 1  2 u  1 2 
Ip    .r.drd    e dud    e
2 0
2 2
e r 2
0
d  d 
0 0 2 0 0 20 4
Por lo tanto considerando que

 ( 12)  2Ip  

La fórmula de recurrencia nos dará otros valores de gammas fraccionarias con

denominador 2


 ( 3 2 )   1 2 
1
Ejemplo
2 2

 n ENTERO NEGATIVO

Para valores negativos usaremos la relación de recurrencia de la siguiente forma
 (n  1)
 ( n) 
n
 (1) 1
 ( 0)   
0 0
 ( 0)
 (1)   
1
 (1)
 (2)  
2

Observamos que para los valores enteros negativos la función gamma no está definida

 -n NEGATIVOS FRACCIONARIOS
Ejemplo
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

 (1 2)
 (1 2)   2 
1 2
Para valores distintos a los hallados los valores de la función gamma se encuentran
resolviendo la integral y se vuelcan en tablas por ejemplo

5
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

TOMANDO LOS VALORES OBTENIDOS PODEMOS GRAFICAR LA FUNCIÓN

GAMMA VS. N
6
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

FUNCIÓN BETA
La función beta queda definida como

7
1
 (m, n)   x m1 (1  x) n1 dx
0

Depende tanto del valor de m como del valor de n

Es convergente para n>0 y para m>0
Demostraremos que

 (m, n)   (n, m)

Realizaremos un cambio de escala llamando

x=1-y

dx=-dy Los extremos son para x=0 y=1 x=1 y=0

Reemplacemos en la integral
n 1
 (m, n)   (1  y ) m1 1  (1  y ) (dy)    y n1 (1  y ) m1 dy   y n 1 (1  y ) m1 dy
0 0 1

1 1 0

 (m, n)   (n, m)

 OTRAS FORMAS DE LA FUNCIÓN BETA

Realizamos un cambio de variable

Llamamos
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA


x  sen 2 x0  0 x 1  
2
1  x  1  sen 2  cos2 
dx  2sen . cos .d

Al sustituir en la definición quedará 8

sen   cos  
 2 m 1
n 1
 (m, n)  2 2 2
sen . cos .d
0

Operando algebraicamente

 2
 (m, n)  2 sen 2 m1 . cos2 n1  .d
0

OTRA FORMA DE LA FUNCIÓN BETA

La encontramos haciendo la siguiente transformación

y
x x0 y0
a
1
dx  dy x 1 ya
a

Sustituyendo en la definición

n 1 m 1
 y
a  y 1
 (m, n)     1   dy
0
a  a a

Operando algebraicamente nos queda

1

a
 (m, n)  y n1 (a  y) m1 dy
a mn1 0

OTRA FORMA DE LA FUNCIÓN BETA

Y por último obtenemos otra forma de la función Beta realizando la siguiente

sustitución
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

y x
x y x0 y0 x 1 y
1 y 1 x
1
dx  dy
1  y 2
m 1 n 1
 y   1 

 (m, n)       dy
0 1 y 
  1 y 
9
Operando algebraicamente

 y n 1
 (m, n)   dy
0
1  y mn
Relación entre la función Gamma y la función Beta
La función gamma es por definición


 (n)   z n1e  z dz (1)
0

Haremos un cambio de variable llamando

z=x2
dz=2zdz Extremos z=0 x=0
z x
Sustituyendo en (1)

 
 (n)  2 x 2n2 e  x x.dx  2 x 2n1e  x dx (2)
2 2

0 0

Igual será utilizando la variable y


 (m)  2 y 2m1e  y dy
2

0
Multiplico ambas funciones

e  dx.dy
 
 (n). (m)  4  x 2 n 1
y 2 m1  x  y 2
0 0
Lo resolveremos en coordenadas polares
CÁLCULO III UNIVERSIDAD DE MENDOZA

FACULTAD DE INGENIERÍA

x  r cos dx  dr

y  rsen  dy  rd

0  r   0   

 2
 (n). (m)  2 cos2 n1  .sen 2 m1 .d .2 r 2 n1r 2 m1r.e r d 
 2
10
 0   0 

 (n). (m)   (m, n).2 r 2m n 1e r dr
2

0
La primera integral resulta la definición de la función beta en la forma trigonométrica
y la segunda integral comparándola con (2)es la función gamma de n+m
Por lo tanto

Para Hallar el valor de Beta tenemos la siguiente relación entre esta función y la
función Gamma

 (n). (m)   (m, n). (n  m)

 (n). (m)
 (m, n) 
 ( m  n)

Por último si la relación entre m y n es

m=n-1 aceptaremos sin demostrar la siguiente relación, dicha relación logra hallar el
valor de las funciones Beta cuando ,las funciones gammas correspondientes son para n
fraccionario con un denominador distinto de 2


 (n). (1  n) 
senn