1 Funciones Eulerianas

E cu a ci o n e s D i f e r e n ci a l e s d e O r d en Su p er i o r
Primera Parte
Funciones Eulerianas
Ing. Ramn Abascal
Profesor Titular de Anlisis de Seales y Sistemas y Teora de los Circuitos II en la
UTN, Facultad Regional Avellaneda Buenos Aires, Argentina 2006
Seccin 11. Seales y Sistemas.

A modo de Presentacin
Las ltimas dcadas del siglo pasado han sido testigo de la digitalizacin de los equi
pos y sistemas electrnicos, favorecida por un conjunto de avances tecnolgicos como
la Informtica, y la Microelectrnica y los desarrollos relacionados con ellas. Est
o ha trado como consecuencia la necesidad de introducir una profunda transformacin
de la enseanza de la Electrnica, que ha dejado de ser una disciplina dedicada al
estudio de fenmenos fundamentalmente analgicos. En efecto, la necesidad de conocer
los procesos de digitalizacin y transformacin de equipos, redes y sistemas, su di
seo, desarrollo y funcionamiento, han obligado a analizar los programas de prctica
mente la totalidad de las asignaturas de la Carrera, reformularlos en funcin de l
a realidad tecnolgica actual, y en muchos casos, incorporar nuevas materias en la
especialidad. Tarea sta que creemos inoportuno dar por finalizada. En efecto, nu
evos avances nos siguen asombrando a diario, produciendo una evolucin, o quizs sea
mejor decir una revolucin que est lejos de ser completada. En este mbito de transf
ormacin profunda y continuada, los responsables de la enseanza de la Ingeniera Elec
trnica no podemos menos que preguntarnos qu de lo que estamos enseando sigue tenien
do vigencia, y hasta cuando, y qu nuevos temas debemos incorporar cada vez. Tal e
s el caso de quienes estamos dedicados a ensear los fundamentos matemticos de los
procesos fsicos relacionados con la Electrnica y las Telecomunicaciones. As, a comi
enzos de los 90 nos vimos obligados a introducir en los programas de las materia
s afines los conceptos de las funciones de variable discreta y de los sistemas d
igitales que las producen y manejan. En tal contexto, el ya exigente programa de
l tercer curso de Anlisis Matemtico incorpor dichos conceptos, pasando desde entonc
es a denominarse Anlisis de Seales y Sistemas. Prudentemente, no se tocaron los co
ntenidos de los programas anteriores, hasta tanto no se compruebe que alguno de
ellos pueda ser considerado prescindible. La consecuencia de lo dicho es que los
profesores de la asignatura nos vemos constreidos a reducir la profundidad con q
ue anteriormente se vean algunos temas que hoy aparentan no tener la misma import
ancia que antao. El trabajo que exponemos ahora ha sido concebido como la ltima pa
rte de un voluminoso texto en preparacin, que pretende abarcar todos los temas de
l Anlisis III tradicional, con la incorporacin de los items referidos a las seales
y sistemas de variable discreta.
Esta ltima parte describe, como su ttulo lo indica, las Ecuaciones Diferenciales d
e Orden Superior, expuestas de manera accesible a un estudiante de Ingeniera, e i
ncorpora numerosos problemas, algunos de ellos resueltos y otros no, estos ltimos
al efecto de servir de ayuda a los educadores al momento de preparar temas para
interrogatorios, clases prcticas y exmenes. Se han incorporado asimismo problemas
tipo resueltos por aplicacin del programa informtico Matlab, formidable herramien
ta con la que contamos hoy educandos y profesionales. Una razn adicional para pre
sentar aqu estos temas y los que iremos publicando prximamente es que, por tratars
e de los ltimos puntos del ambicioso Programa del curso de Anlisis de Seales y Sist
emas, no siempre se cuenta con el tiempo necesario para estudiarlos en profundid
ad. Sin embargo, dado que ciertos contenidos como las funciones de Bessel, los P
olinomios de Legendre, o las funciones de Chebyshev son importantes para el estu
dio de los filtros elctricos, las guas de onda y otros componentes de los sistemas
electrnicos y de telecomunicaciones, pueden incluso ser tiles a profesores de las
materias que incluyen los contenidos mencionados.
El autor.
Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

.
1.5
1. Integrales Eulerianas.
1.1 - Integral Euleriana de Segunda Especie. La Funcin Gamma: Se conoce como Inte
gral de Euler de Segunda Especie(1), o Funcin Gamma, a la siguiente: (n) =
t n -1 e t dt
(1.1)
0
donde n es un nmero arbitrario, y t la variable de integracin. La funcion permite
extender el concepto de producto factorial, o simplemente factorial, a nmeros que
trascienden del conjunto de los naturales, proporcionando al mismo tiempo las h
erramientas para efectuar su clculo. Como punto de partida calcularemos la funcin
Gamma del nmero 1: (1) =

e
t
dt = - e
t
= - e + 1 = 1
0
(1.2)
0
Es posible establecer, como veremos a continuacin, una frmula de recurrencia que p
ermite calcular la funcin ( n + 1 ) a partir del conocimiento de ( n ). En efecto
, reemplazando el nmero n por n + 1 en la (1.1), podemos escribir: ( n + 1) =
t n e t dt
0
Esta integral se resuelve por el mtodo de integracin por partes, es decir, aplican
do la frmula:
u dv = u . v
v du du = n t n-1 dt v = - e t

A dicho fin, llamemos: u = tn y Entonces ( n + 1) = dv = e t dt
t e dt = - t
n
t
n
e
t
+ n
0
t n -1 e t dt = 0 + n ( n )
0
0
Si aplicamos este resultado en forma reiterada a partir de (1.2), estaremos en c
ondiciones de calcular el valor de ( n ) para cualquier nmero natural n:
(1)
La Integral de Euler de Primera Especie, tambin llamada Funcin Beta, se ver en el a
partado 1.7.
Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

.
1.6
En efecto: (2) = 1. (1) = 1 ( 3 ) = 2 . ( 2 ) = 2 . 1 = 2! ( 4 ) = 3 . ( 3 ) = 3
2 . 1 = 6 = 3! ... ( n ) = ( n 1 ) . ( n - 1 ) = ( n 1 ) . ... . 3 . 2 . 1 = (
n 1 )! ( n + 1 ) = n . ( n ) = n . ( n 1 ) . ... . 3 . 2 . 1 = n! ...
1.2 - Extension del concepto de Funcin Factorial a los nmeros reales no naturales:
La funcin Gamma, como el factorial de un nmero, son en ltima instancia el producto
de sucesiones de nmeros. Sin embargo, solamente son comparables entre s cuando se
trata del factorial de un nmero entero positivo. Vase al respecto el apartado 1.1
7, al final del Captulo. Ejemplo: Si por algn procedimiento adecuado podemos llega
r a determinar la funcin ( 1,5 ), tambin podremos calcular en forma directa, las s
ucesivas funciones gamma cuyo argumento difiere del de la anterior en una unidad
: ( 2,5 ) = 1,5 . ( 1,5 ) ( 3,5 ) = 2,5 . ( 2,5 ) = 2,5 . 1,5 . ( 1,5 ) etc., y
tambin: ( 0,5 ) = -0,5 . ( - 0,5 ) Veremos, a ttulo de ejemplo, el clculo de la fun
cin ( 0,5 ). Aplicando la definicin: ( 0,5 ) =
t
0,5
e
t
dt
0
Introduzcamos el cambio de variables: t = x2 ( 0,5 ) = dt = 2 x dx
-1
x
e
x2
2 x dx = 2
e x
0
2
dx
0
A continuacin, elevemos ambos miembros de esta igualdad al cuadrado. Obtendremos
( 0,5 ) = 4
2
e
x2
dx
.
e x dx
0
2
0

.
1.7
Como el resultado de la integral definida es independiente de la variable de int
egracin utilizada, podemos cambiar el nombre de la misma en la segunda integral,
con lo que obtenemos: ( 0,5 ) = 4
2
e
x2
dx .
x
e y
2
dy =
y
0
0
( 0,5 ) = 4
2
lim
x
e
x2
dx . lim
y
0
e y
2
dy
0
Esto permite agrupar ambas integrales, as:
x y
( 0,5 ) = 4 lim
2
x y

0 0
e (x
2
+ y2 )
dx dy
(1.3)
Trataremos ahora de trasladar esta integral doble a un sistema de coordenadas po
lares. En la figura siguiente, consideremos un punto de coordenadas cartesianas
x e y. Llamemos a la distancia del punto al origen de coordenadas. Evidentemente
, las coordenadas polares de dicho punto son y . y
y x 0 x y
x
Notemos que la integral doble o integral de superficie (1.3) est circunscripta a
la regin del plano delimitada por las rectas 0 x y 0 y
es decir, al primer cuadrante. Por lo tanto, en coordenadas polares, los lmites d
e integracin son, respectivamente, Para , y para , 0 0 e y /2

.
1.8
En el grfico anterior se advierte que si introducimos un incremento del radio , el
producto de los incrementos correspondientes x y y , sobre los ejes x e y respecti
vamente, es igual al area A del rectangulo rayado. En efecto: A = x . y En el lmite
, si consideramos un incremento diferencial d, el area elemental del rectngulo cor
respondiente es precisamente el producto de las diferenciales en x e y: dA = d x
. dy Pasaremos ahora a expresar la integral doble en coordenadas polares. Ya vi
mos cmo se modifican los lmites de integracin. Por su parte, las variable "x" e "y"
pasarn a ser, respectivamente: x = cos e Y por tanto, x2 + y2 = 2 ( cos2 + sen2
= 2 El incremento en el radio implica que el rectngulo elemental se ha transformad
o en un trapecio curvilineo limitado por las prolongaciones de los radios y por
dos arcos elementales, cuya longitud promedio es igual al radio por la longitud d
el arco, es decir: = como puede verse en la figura siguiente: y y = sen

0 El area del trapecio elemental es ahora dA = . d . d
x
(1.4)
Reem azando en la (1.3) los valores obtenidos hasta aqu, obtenemos la funcin expr
esada en coordenadas polares:

.
1.9
( 0,5 ) = 4
2

0
2
/2
e
2
d d = 4
e
2
d
/2
d
0
(1.5)
0
0
Si llamamos u = 1 2 la diferencial correspondiente es: du = e d
2
e
A introducir este resultado en la ecuacin (1.5), la misma se puede calcular en f
orma directa procediendo as:
/2 /2
( 0,5 ) = 4
2
du
0
d = 4
/2
0
d
1 2
e
2
0
d
Efectuando operaciones: 2 ( 0,5 ) = 2 e Es decir: ( 0,5 ) = A partir de tal con

lusin, podemos definir los valores de la funcin gamma para todos los nmeros fraccio
narios que difieren de 0,5 en un nmero entero cualquiera. Por ejemplo: ( 1,5 ) =
0,5 . ( 0,5 ) = 0,5 . ( 2,5 ) = 1,5 . ( 1,5 ) = 1,5 . 0,5 . = 0,75 Etc. E
de la funcin gamma de nmeros fraccionarios negativos, es posible calcular su valor
a partir de la expresin (n) = Ejemplos: ( 0,5 ) = ( 1,5 ) = Etc. Existen tablas
alculadas para otros valores entre 0 y 1. A partir de las mismas se puede obtene
r ( 0,5 ) - 0,5 ( - 0,5 ) - 1,5 = 2.( 2 ) 3 = 2 . (n+1) n (1.6)
2
.
0 0
=
2 /2 =

.
1.10
el valor de para cualquier valor fraccionario que difiera de aquellos en una uni
dad o un nmero entero de unidades, como hemos hecho hasta aqu. Lo que equivale a d
ecir que es posible calcular para cualquier nmero real, con excepcin de cero y de
los nmeros enteros negativos, para los cuales no existe la funcin gamma, como se v
er en la seccin 1.4.
1.3 - Integral de Gauss: De acuerdo con la definicin de ( n ) , es:
1 2
=
0
t -1/2 e t dt
Si hacemos ahora el cambio de variable: t = u2
dt = 2 u du
y reemplazamos en la integral anterior, tendremos: 1 2
0
u
-1
.e
u2
. 2 u . du = 2
0
e u du =
2
De aqu deducimos el valor de la siguiente integral, que se conoce como Integral d
e Gauss:

2 e u du = 0 2
Esta funcin, cuya representacin se ve aqu abajo, es de aplicacin en la teora de proba
bilidades:
1,2 1 0,8 0,6 0,4 0,2 0 -2 -1,6 -1,2 -0,8 -0,4 0 0,4 0,8 1,2 1,6 2

.
1.11
1.4 - Funcin de cero y de los nmeros enteros negativos: Aplicando aqu tambin la frmu
a (n) = (n+1) n para el clculo de la funcin ( 0 ), encontramos que la misma no exist
e, pues implica una divisin por cero. Igualmente, por reiteracin, podemos verifica
r que tampoco existe la funcin Gamma de cualquier nmero entero negativo. (1) = Reit
erando: (1) = (2) = etc. En general, si n es un nmero entero positivo, entonces (
n) = Ya hemos visto que, por el contrario, la funcin Gamma s existe para nmeros neg
ativos fraccionarios. Podemos extraer como conclusin que la funcion gamma es cont
inua para todo n excepto en los puntos (Polos de la funcin): n = 0, - 1, - 2, - 3
, etc Lo que se puede demostrar tambin en forma rigurosa. Vase al respecto el apar
tado siguiente. (0) -1 (1) -2 = + = - (0) = (2) 1 (1) 0 = = 1 = 0!
1.5 - Generalizacin de la Funcin : En primer lugar, veamos cmo es posible calcular u
na tabla de la funcin Gamma utilizando para ello el programa Matlab. La tabla sig
uiente muestra la Tabla para los nmeros reales positivos comprendidos entre 0 y 1
, tomados cada dos centsimas. Pero el mtodo es extensible a cualquier otro caso.

.
1.12
% Construccin de una tabla de la funcin Gamma, entre 0 y 1: x = [ 0 : .02 : 1]; y
= [ x; gamma (x) ] y= Columns 1 through 7 0 0.0200 0.0400 0.0600 0.0800 0.1000 I
nf 49.4422 24.4610 16.1457 11.9966 9.5135 Columns 8 through 14 0.1400 0.1600 0.1
800 6.6887 5.8113 5.1318 Columns 15 through 21 0.2800 0.3000 0.3200 3.2169 2.991
6 2.7958 Columns 22 through 28 0.4200 0.4400 0.4600 2.1104 2.0132 1.9252 Columns
29 through 35 0.5600 0.5800 0.6000 1.5886 1.5369 1.4892 Columns 36 through 42 0
.7000 0.7200 0.7400 1.2981 1.2675 1.2390 Columns 43 through 49 0.8400 0.8600 0.8
800 1.1222 1.1031 1.0853 Columns 50 through 51 0.9800 1.0000 1.0119 1.0000 0.200
0 4.5908 0.3400 2.6242 0.4800 1.8453 0.6200 1.4450 0.7600 1.2123 0.9000 1.0686 0
.2200 4.1505 0.3600 2.4727 0.5000 1.7725 0.6400 1.4041 0.7800 1.1875 0.9200 1.05
30 0.2400 3.7855 0.3800 2.3383 0.5200 1.7058 0.6600 1.3662 0.8000 1.1642 0.9400
1.0384
0.1200 7.8633 0.2600 3.4785 0.4000 2.2182 0.5400 1.6448 0.6800 1.3309 0.8200 1.1
425 0.9600 1.0247
A continuacin desarrollaremos tambin una frmula que permite calcular ( ), siendo u

nmero cualquiera. Para ello partiremos de la igualdad: ( + n + 1 ) = ( + n )! =
( n + )! = 1.2.3.4...n.(n +1).(n+2) ...(n +) = n! . ( n + 1 ) . ( n + 2 ) . ( n +
3 ) . . . ( n + ) El lmite, para n tendiendo a infinito, de esta expresin es:
n
lm
( + n + 1 ) = n! . n . n . n . . . n = n! . n () = (+1)
(1.7)
Por otra parte: despejando,

.
1.13
() = (+1) = (+2) = (+1) () = (+ n +1)
(+3) (+1)(+2)
= ...
(+1)(+2) ... (+n) En primer lugar, esta expresin confirma lo dicho en el apartado ant
erior: El producto factorial de cero o de un nmero entero negativo, = 0, = - 1, =
- 2, = - 3, etc, no existe. En segundo lugar, si en la misma expresin despejamos
(+n+1) = (+1)(+2) ... (+n).() y tomamos lmites en ambos miembros, llegamos a la i
n
(1.8)
lm ( + n + 1 ) = ( ) . lm
n
(+1)(+2) ...(+n)
Y si recurrimos al resultado obtenido en (1.7), luego de despejar ( ) en la ltima
ecuacin obtenemos: ( ) = lm
n
n! n (+1)(+2) ... (+n)
(1.9)
Est igualdad nos permite extender el concepto de funcin gamma a cualquier nmero r
eal. Como la frmula es asinttica, es tambin posible obtener el factorial de cualqui
er nmero con la aproximacin deseada, con tal que tomemos n suficientemente grande.
Verificaremos a continuacin, con un ejemplo, el cumplimiento de las ecuaciones (
1.8) y (1.9). Veamos en primer lugar que se cumple la (1.8): Ejemplo: Sea = 5 Se
gn la (1.8) deber ser: (5+n+1) = (6+n) = (5).5.6.7.8. ... .(5+n) Supongamos que n = 7
. Entonces vemos que, efectivamente: ( 5 + 7 + 1 ) = ( 13 ) = ( 5 ) . 5 . 6 . 7
. 8 . 9 . 10 . 11 . 12 = 12! Veamos ahora qu ocurre con respecto a la (1.9). ( 5
) = lm
n
n! n5 5.6.7.8. ... .(5+n)
En primer lugar, sabemos que ( 5 ) = 4! = 24

.
1.14
Veremos de verificar este resultado. Sea por caso n = 10. Reemplazando: (5) 10! .
105 5 . 6 . 7 . 8 . 9 . 10 . 11 . 12 . 13 . 14 . 15 = 3,63 . 106 . 105 = 6,66 5
,45 . 1010
Comprobamos que para un nmero tan pequeo como n = 10, el error es intolerable. Vea
mos qu valor se obtiene para, por ejemplo, n = 1000. (5) 1000! . 10005 5 . 6 . 7 .
8 . 9 . 10 . 11 . 12 . . . 1005 Se observa en efecto una mucho mejor aproximacin
= 4,024 . 102582 1,702 . 10
2581
= 23,64
1.6 - Funciones Factoriales: Se define como funcin factorial de x, de grado m y d
iferencia k al producto: x . ( x - k ) . ( x - 2k ) . ( x - 3k ) . . . ( x - m +
k ) donde m es un mltiplo entero de k: m = N k, con N entero. Veremos ms adelante
que es posible obviar esta condicin, siempre que quede definido cual es el ltimo
trmino del producto. La funcin factorial se suele representar de la forma siguient
e: [x] Ejemplos: [8]
5 1 8 2 9 3 10 5 15 5 8 2 9 3 m k
= x . ( x - k ) . ( x - 2k ) . ( x - 3k ) . . . ( x - m + k ) = x . ( x - k ) .
( x - 2k ) . ( x - 3k ) . . . [ x - ( N - 1 ) k ] = 8(8-1).(8-2)... (8-5+1) = 8.
7.6.5.4 = 16 ( 16 - 2 ) . ( 16 - 4 ) . . . ( 16 - 8 + 2 ) = 16 . 14 . 12 . 10 =
16 ( 16 - 3 ) . ( 16 - 9 + 3 ) = 16 . 13 . 10 = 16 ( 16 - 10 + 5 ) = 16 . 11 = 1
6 ( 16 - 5 ) . ( 16 - 15 + 5 ) = 16 . 11 . 6 = 17 ( 17 - 2 ) . ( 17 - 4 ) . . .
( 17 - 8 + 2 ) = 17 . 15 . 13 . 11 = 17 ( 17 - 3 ) . ( 17 - 9 + 3 ) = 17 . 14 .
11
[ 16 ] [ 16 ] [ 16 ] [ 16 ] [ 17 ] [ 17 ] etc.
A continuacin vamos a calcular la diferencia, que llamaremos

.
1.15
[ x ]1 ,
m
entre la funcin factorial de x y la
ia k = 1. Aplicando la definicin de
... (x-m+1) 1 y Por lo tanto, [ x
1 ) . x . ( x - 1 ) . ( x - 2 ) . (
m
de x + 1, ambos del mismo grado m, y diferenc

funcin factorial: [ x ]m = x.(x-1).(x-2).(x-3)
]m = [x+1]m [ x ]m 1 1 1 = [ x + 1] 1 = ( x +
x - 3 ) . . . ( x - m + 2 )
= x . ( x - 1 ) . . ( x - 2 ) . ( x - 3 ) . . . ( x - m + 2 ) . [ ( x + 1 ) - (
x - m + 1 )] = x.(x-1)..(x-2).(x-3) ... (x-m+2).m = m.[x]1 Es decir:
-1 [ x ]m = m.[x]m 1 1 m-1
(1.10)
Ejemplo: [7]3 1 - [6]
3 1
= 7.6.5 - 6.5.4 = 3.6.5 = 3[6]2 = 3 ( 6 . 5 ) = 90 1
Vemos que se cumple la igualdad. Volviendo a la (1.10), si en la misma dividimos
ambos miembros por el factorial ordinario de m, obtenemos: [ x ]m 1 m! Pero com
o
m
=
-1 m . [ x ]m 1
=
m
-1 [ x ]m 1
m!
m
(m-1)! = m .[x]1
m-1
[ x ]1 = [ x + 1 ] 1 [ x ] 1 reemplazando arriba vemos finalmente que: [ x + 1]
1 m!
m
=
[ x ]1 m!
m
+
[x]1
m-1
(m-1)!
Estas frmulas se utilizan ampliamente en la teora de la interpolacin. Volviendo a l
a definicin de las funciones factoriales, cuando no se indica el valor de m enten
demos que el ltimo factor del producto es el ltimo nmero positivo ( o de parte real
positiva) de la serie. Tambin, si x es un nmero entero n y adems, m es igual a n y
la diferencia entre dos trminos consecutivos es k = 1, nos encontramos frente a
los factoriales ordinarios

.
1.16
[ 12 ] 1
12
= 12 . 11 . 10 . 9 . 8 . . . 3 . 2 . 1 = 12 !
En tal caso, es decir, cuando m = x, es preferible utilizar la notacin, ms simple:
[ 12 ] 1 Con esta notacin podemos tambin decir que: [ 12 ] 1 = 12 ! Cuando la dif
erencia es igual a dos, encontramos dos situaciones diferentes: Si n es impar, e
l factorial de segundo orden resulta: [7]2 = 7.5.3.1 que se suele indicar as: [ 7
] 2 = 7 !! Ntese que en este caso, m no es un mltiplo entero de k. Pero el ltimo tr
mino es por definicin el nmero 1, como en el caso de los factoriales ordinarios. T
al definicin es necesaria, porque de lo contrario, el trmino final sera ( x - m + k
) = 7 - 7 + 2 = 2, que no respeta la regla de la diferencia entre dos trminos co
nsecutivos: k = 2 Por el contrario, si n es par, entonces terminamos en el nmero
2: [ 10 ] 2 = 10 . 8 . 6 . 4 . 2 = 10 !! Es obvio que esta definicin es necesaria
, porque en caso contrario todos los factoriales de segundo orden de un nmero par
seran nulos, al estar multiplicados por cero. Aqu s se aplica el concepto de defin
ir el ltimo trmino con la frmula: (x-m+k) En efecto: 10 - 10 + 2 = 2 Utilizando la
misma notacin definida en (1.11), podramos escribir: [ 26 ] 5 = 26 . 21 . 16 . 11
. 6 . 1 [ 3 + 3 i ] 1+i = ( 3 + 3 i ) . ( 2 + 2 i ) . ( 1 + i ) [ 26 ] 4 = 26 .
22 . 18 . 14 . 10 . 6 . 2 [ 27 ] 3 = 27 . 24 . 21 . 18 . 15 . 12 . 9 . 6 . 3 etc
. (1.11)

.
1.17
Obsrvese que ni en el primero ni en el tercero de estos cuatro casos, el ltimo trmi
no puede ser definido por la frmula (x-m+k) Ello se debe a que, en los mismos, m
no es mltiplo entero de k, como se ve por simple inspeccin. En ambos casos, tomare
mos como trmino final del producto, el ltimo cuyo valor sigue siendo todava positiv
o. Se definen tambin otros factoriales, que estudiaremos a continuacin, en los cua
les n es un nmero entero. Los mismos son particularmente interesantes en operacio
nes de clculo numrico: ( 2 n ) ! = [ 2 n ] 1 = 1 . 2 . 3 . . . n . ( n + 1 ) . ( n
+ 2 ) . . . 2n y ( 2 n ) !! = [ 2 n ] 2 = 2 . 4 . 6 . 8 . . . 2n As como varios
otros que se derivan de ellos, y que veremos enseguida. Pero antes vamos a estud
iar algunas relaciones entre aquellos: Podemos reordenar la primera de las dos e
cuaciones anteriores, de la siguiente forma: ( 2 n ) ! = 1 . 3 . 5 . . . n . 2 .
4 . 6 . 8 . . . 2n de donde deducimos que ( 2 n ) ! = n !! . ( 2 n ) !! Otra re
lacin interesante es la siguiente: ( 2 n ) !! = 2 . 4 . 6 . 8 . . . 2 n = ( 2 . 1
) . ( 2 . 2 ) . ( 2 . 3 ) . ( 2. 4 ) . . . ( 2 . n ) de donde, reordenando: ( 2
n ) !! = ( 2 . 2 . 2 . . . 2 ) . ( 1 . 2 . 3 . 4 . . . n ) = 2 n . n ! De modo
similar: ( 2 n ) ! = 2 n . ( 2n - 1 ) . ( 2 n - 2 ) . ( 2 n - 3 ) ( 2 n - 4 ) .
. . 5 . 4 . 3 . 2 . 1 Se puede reordenar as: ( 2 n ) ! = 2 n . ( 2 n - 2 ) . ( 2
n - 4 ) . . . 4 . 2 . ( 2n - 1 ) . ( 2 n - 3 ) . . . 5 . 3 . 1 De donde resulta
la igualdad: ( 2 n ) ! = ( 2 n ) !! . ( 2 n - 1 ) !! Si llamamos n = entonces q
= 2n q 2 (1.12)

.
1.18
Como se ha visto, (1.12), es: ( 2 n ) !! = 2 n . n ! Cambiando el nombre de la v
ariable, podemos tambin escribir la relacin as: ( 2 q ) !! = 2 q . q ! Reemplazando
aqu el valor de q, deducimos finalmente que ( n ) !! = 2 .
n 2
n 2
!
De donde resulta la siguiente expresin que permite calcular un cierto "producto f
actorial" de nmeros fraccionarios (Ver el apartado 1.17): n 2
!=
n !! 2
n 2
Se definen tambin estas otras dos factoriales, en las cuales n debe ser, como ver
emos ms adelante, un nmero par: n+1 ! = 2 = n+1 2 n+1 2 Ver al respecto la ecuacin
(1.6). Tambin: n-1 2 = . . n+1-1 . n+1 -2 . 2 2 n-1 2 . n-3 2 ... n+1-3 ... = 2 3
2 . 1 2 .
! = n-1 .
2 n-1 2 .
n-1-1 . 2 n-3 2 .
n-1 -2 . 2 n-5 2 ...
n-1-3 ... = 2 3 2 . 1 2 .
Observndo ambas ecuaciones, podemos ver que se verifica la igualdad: n+1 2

! =
n+1 2
.
n-1 2
!.
Si n es impar, estas dos funciones factoriales se reducen a los factoriales ordi
narios de un nmero entero. En efecto, si n es un nmero impar, entonces n 1 2 , es
un nmero entero.

.
1.19
Ejemplos: 8-1 2
! =
7 2
.
5 2
.
3 2
.
1 2
.
Por el contrario, si n es impar, resulta como vemos: 9-1 ! = 4! 2 Veamos, para t
erminar, las funciones gamma siguientes, en las que k es un nmero entero: k + 1 2
= 2k + 1 2 = 2k + 1 -1 ! = 2 2k-1 2
!
Como 2 k es siempre un nmero par, este caso se reduce al anterior, con 2k = n, pa
r. Es decir: k + 1 2 = 2k - 1 . 2 2k -3 2 ... 3 2 . 1 2 . .
De forma absolutamente similar, se obtiene, obviamente: k - 1 2 = 2k - 3 . 2 2k
-5 2 ... 3 2 . 1 2
1.7 - Funcin B (Beta) o Euleriana de primera especie: Se define as la funcin:
1
( , ) =
0
t - 1 ( 1 - t ) - 1 dt
La funcin B satisface la propiedad conmutativa: Si y son positivos ambos, se veri
fica que: ( , ) = ( , ) como vamos a probar a continuacin. En efecto, aplicando
definicin, resulta
1
( , )
=
0
t - 1 ( 1 - t ) - 1 dt
(1.13)
Si hacemos el cambio de variables: u = 1 - t

.
1.20
t = 1 - u
y
dt = - du
Asimismo, los lmites de la integral se transforman como sigue: Si Y si t = 0, t =
1, entonces u = 1 entonces u = 0
reemplazando en (1.13) resulta
0 1
( , ) =
1
(1-u)
1
.u
1
(du)=
0
u - 1 (1 - u ) - 1 d u = ( , )
con lo que queda demostrado. 1.8 - Relacin entre las funciones y : En esta Seccin v
amos a ver que las funciones y de Euler estn estrechamente relacionadas entre s. P
ara ello, comenzaremos llamando t = sen 2 Por aplicacin de la relacin pitagrica, ob
tenemos 1 - t = cos 2 y de aqu: d t = - 2 cos d cos = 2 sen cos d En este caso,
s lmites de la integral que define la funcin son, respectivamente: Para t = 0, sen
= 0 y para t = 1, sen = 1 y por tanto = 2 Al reemplazar dichos valores en la ex
presin de la funcin , la misma queda modificada como sigue:
/2
y por tanto
= 0
( , ) = 2
0
( sen 2 ) - 1 ( cos 2 ) - 1 sen cos d
/2

( , ) = 2
0
sen 2 - 1 . cos 2 - 1 . d
(1.14)

.
1.21
Por otra parte, recurriendo a la definicin (1.1) de la funcin , podemos decir que e
l producto de las funciones de y es igual a: ().() =
t
0
-1
.e
t
dt .
u -1 . e u du
0
(1.15)
Seguidamente hagamos el cambio de variables: t = x2 y d t = 2 x dx u = y2 du = 2
y dy
Reemplazamos estos valores en las dos integrales del segundo miembro de la (1.15
), con lo cual
().() = 4

x
0
2 -2
.e
x2
x dx .
y 2 -2 . e y y dy
2
0
2 -1 x2
= 4
x
.e
dx .
y 2 -1 . e y dy
2
0
0
= 4

x 2 -1 y 2 -1 e ( x
2 + y2 )
dx dy
(1.16)
0 0
Pasemos ahora a coordenadas polares. Segn se ha visto en la Seccin 1.2 las relacio
nes entre las coordenadas cartesianas y las polares se pueden establecer as: z =
x + i y = ei x = cos y = sen x2 + y 2 = 2 Tambin de acuerdo con la ecuaci
dx dy d d Por otra parte, la integral de superficie (1.16) est circunscripta al pri
mer cuadrante, donde 0 x + 0 x C y

.
1.22
y,
0 y +
En coordenadas polares, los lmites de la superficie correspondiente al primer cua

drante estn definidos (Ver la figura) por: 0 + y, 0 + 2 En consecuencia, p
la integral de superficie abarque efectivamente la totalidad del primer cuadran
te, los lmites de integracin en dichas cooordenadas debern ser: Para : y para : 0 0 e
y /2
Esto equivale a integrar sobre el segmento de curva C, con la salvedad de consid
erar los lmites indicados. Es decir: ().() = 4
C
2 -1 cos 2 -1 . 2 -1 sen 2 -1 . e . d d
/2
2
= 2
2(+) -1
.e
2
.d.2
cos 2 -1 . sen 2 -1 . d
0
0
= ( , ) . 2 Llamemos ahora t = 2 Tambin -1 = t - 1/2
2(+) -1 . e . d
0
2
(26.17)
d = d t1/2 =
1 2
t -1/2 dt
2 -1 d = t -1/2 - 1/2 d t = t -1 dt
Reemplazando estos valores en la (1.17), resulta ( ) . ( ) = ( , ) . De donde
ucimos que ( , ) = ().() (+) (26.18)
t (+) -1 . e t. d t
= ( , ) . ( + )
0

.
1.23
1.9 - Frmula del complemento: Detengmonos en el anlisis del producto: ().(1) donde
, y Re ( ) > 0 sen Esta ecuacin se conoce como Frmula del Complemento. Recurriend
al teorema anterior (1.18), haciendo: = y por tanto + = 1, podemos despejar (
. ( 1 - ), con lo que obtenemos:
1
En este apartado comprobaremos que ().(1) =
y
= 1
( ) . ( 1 - ) = ( 1 ) . ( , 1 - ) = ( , 1- ) = Recordemos que =
t -1 . ( 1 - t ) -. d t
0
( 1 ) = 1. Hagamos a continuacin el cambio de variable: t 1- t
De aqu podemos extraer las conclusiones siguientes: - = t Ahora, despejemos t: t

= 1+ Por lo tanto, la diferencial de t es: Tambin, 1- t = 1 1 + = 1 1+ dt = (1 +
( 1 + )2 d = d ( 1 + )2 = t + = (1 +) t

.
1.24
Reemplazando estos valores y teniendo en cuenta que cuando t = 1, tiende a infin
ito, se verifica la igualdad siguiente:
().(1-) =
0
1 + 1 +
-1
1 1+
-
1 (1+)
2
d
=
0
-1
. (1+)
.
1 (1+)
2
d
Efecuemos ahora los productos indicados en el numerador y denominador, y result
ar:
().(1-) =
-1
(1 + )
-1
d =
(1 +)
(1+)2
-1 ( 1 + ) d +1 0 (1 +)
Finalmene, simplificando en la ecuacin anterior, obtenemos:
().(1-) =
0
-1
(1 +)
d
(1.19)
Esa integral se puede resolver por el mtodo de los residuos. Para ello, comenzam
os por considerar la integral de f(z) = z -1
(1 + z)
dz
a lo largo del contorno que se muestra en la figura siguiente:
C
-1
A E
B D

.
1.25
En la misma, los dos tramos horizontales AB y DE, aunque los dibujemos separados
por razones de claridad, estn ambos infinitamente prximos al eje x. Ahora debemos
calcular el residuo de f ( z ) en el punto zo = -1 interior al contorno . En pri
mer lugar, expresaremos la variable z en coordenadas polares: z = e i Lo mismo z
o = 1 . e i = e i
Po su parte, el residuo de f ( z ) en zo es: reszo = lim z 1 = e i (1)
z zo
Entonces, aplicando el teorema de Cauchy-Goursat, obtenemos:
z -1 1 + z
dz
=
2 i . e i (1)
A continuacin segmentaremos esta integral en tantos tramos como los que conforman
el contorno , partiendo desde el punto A. Tambin, identificaremos con las letras
r y R los radios de las dos circunferencias, interior y exterior respectivamente
, que forman parte de dicho contorno . Ser:
R
x
-1
2
dx +
z
-1
r
dz +
(xe
2i
)
-1
1+x
0 1+z
R 1+xe
2 i
dx+
z -1 dz = 2 i .ei (1) 2 1 + z
0
Ntese que en la tercera de estas integrales se ha puesto x e 2i en lugar de x. Est

o es porque la coordenada del punto D est desplazada de un ngulo de 360 respecto de
la correspondiente al punto B. Lo mismo ocurre con los puntos A y E. (Recordemo
s tambin que la variable en la ecuacin anterior es z. Si podemos escribir en algn c
aso x, ello se da nicamente en los dos tramos horizontales, en los que la compone
nte imaginaria, y, es igual a cero). La ecuacin genrica de los puntos z pertenecie
ntes a la circunferencia exterior, expresados en coordenadas polares, es: z = R
. e i z = r . e i dz = R i ei d dz = r i ei d
Igualmene, los puntos pertenecientes a la circunferencia interior, responden a
la ecuacin
Reemplazando ambos valores resulta:

.
1.26
-1 x dx + r 1+x 0
R
2
( R e i )-1 i R ei 1+Re
i
d +
( x e2i ) -1 d x + 2 i R 1+ xe
r
0
+
2
( r e i )-1 i r ei 1+re
i
d = 2 i . ei (1)
Anlizremos ahora qu ocurre cuando se dan, simultneamente, las dos condiciones si
guientes r 0 y R < < 1
Entonces, como hemos establecido que 0
la segunda integral es nula porque el integrando respectivo tiende a cero. En ef

ecto, podemos hacer: ( R e i )-1 i R ei = lim ( R e i )-1 . lim i R e i lim = 0.i = 0
i i R 1+Re R R 1+ Re La cuarta integral es nula a su vez, porque lo es el integrand
ndo r tiende a cero. Por lo tanto, queda finalmente:
O tambin:
x
-1
0
dx
+

0 1+x
-1 x dx 0 1+x
( x e2i ) -1 d x 1 + x e 2 i
0
=
2 i . ei (1)
+
e
2i (1)
x -1
2 i
dx
=
2 i . ei (1)
1+xe
Pero como
e2i = cos 2 + i sen 2 = 1
0
Reemplazando este valor en el integrando de la segunda integral, tenemos:
x
-1
dx
+
e2i (1)

x -1 1+x x -1 1+x
d x = 2 i . ei (1)
0 1+x
-1 x dx 0 1+x

e
2i (1)
0
d x = 2 i . ei (1)
Ecuciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

.
1.27
(1- e
2i (1)
)
0
x -1 1+x
d x = 2 i . ei (1)
Des ejndo ahora la integral, encontramos que su valor es:
0
x -1 1+x
dx = 2i .
ei (1) ( 1 - e2i (1) )
= 2i .
ei e i 1 - e2i e 2i
Tmbin es: e-2i = cos (-2 ) + i sen (-2 ) = 1 y ei = cos (- ) + i sen (- ) = - 1
Reemplazando, observamos:
0
x -1 1+x
dx =
2i
- ei 1 - e2i
y multiplicando numerador y denominador por - e i tenemos:
x -1 1+x
dx =
-2i e i - e i
=
e i - e i 2i
=
sen
Si trasladamos este reultado a la ecuacin (1.19), vemos que si 0 < < 1, entonces:
().(1-) =
0
-1
(1 +)
d
=
sen
Quedando demostrada as la Frmula del Complemento.
1.10 - Factorial de 0,5: El teorema del complemento permite tambin verificar el v
alor de la funcin de 1/2. Si hacemos: 1 = 2 podemos hacer:

.
1.28
Por lo tanto,
1 2 1 2
. 1 - 1 2 =
= 2
1 2
=
sen / 2
=
esulado que coincide con el alcanzado en el apartado 1.3.

1.11 - Integrales de Wallis: Se conoce como Integral de Wallis a cualquiera de l
as dos expresiones siguientes:
/2
0
senm t dt =
1 2 1 2
1 , 2 1 , 2
m+1 2 m+1 2
(1.20)
y tambin
/2
y
0
cosm t dt =
(1.21)
cuyo valor final coincide en ambos casos. Esto no debe extraar dado que las reas b
ajo el seno y el coseno, en el intervalo (0, /2), son iguales. Demostracin: Hemos
visto (1.14) que:
/2
( , ) = 2 Si llamamos = m+1 2 entonces: 2 - 1 = 0 y 2 - 1 = m
0
sen 2 - 1 . cos 2 - 1 . d
= 1 2
Por lo que, reemplazando tenemos
/2
1 , 2
m+1 2
= 2
0
cos m . d

.
1.29
Si por el contrario, llamamos = m+1 2 reemplazando como antes resulta:
/2
=
1 2
1 , 2
m+1 2
= 2
0
senm . d
Con esto queda demostrada la validez de las expresines (1.20) y (1.21). A partir
de este resultado y las relaciones que vinculan las funciones y , pueden demostra
rse las frmulas que veremos ahora, que relacionan las integrales de Wallis con la
funcin . Por (1.18), es ( , ) = ().() (+) Reemplazando y por los valores
ba, tenemos: 1 , 2 La relacin (n+1) = n. (n ) permite reemplazar el denominador de
la ltima fraccin, as: 1 , 2 m+1 2 = m 2 m+1 2 m 2 m+1 2 = 1 2 1 2 + 2 m +1
1 2 m + 1 2
Reemplazamos ahora en las ecuaciones (1.20) y (1.21) y obtenemos:
/2

m+1 2
0
senm t dt = m m 2

.
1.30
E, igualmente
/2

m+1 2
0
cosm t dt = m m 2
1.12 - Frmula de Recurrencia para el clculo de las integrales de Wallis. Veremos a
continuacin otra forma de expresar las integrales de Wallis, que conduce a una i
nteresante frmula de recurrencia para el clculo de aquellas. Empezaremos por anali
zar integrales del tipo

= = Lo mismo:
senm t . cosn t . d t
Usualmente, estas integrales se resuelven por el mtodo de sustitucin. Ejemplo: sen
2 t . cos3 t . d t =
sen2 t . cos2 t . cos t . d t =

sen2 t . ( 1 - sen2 t ) . d sen t = u2 du
u 2. ( 1 - u 2 ) . d u = sen3 t 1 sen5 t + C 5

u4 du =
u3 - u5 + C = 1 3 5 3
sen3 t . d t =
sen2 t . sen t . d t = - ( 1 - cos2 t ) . d cos t =
=
(1 - u2 ).du = 1 3
du +
u2 du = - u +
u3 + C = 3
= - cos t +
cos3 t + C
Trataremos a continuacin de calcular la integral de Wallis,
/2
0
senm t . d t,
pero en este caso vamos a recurrir al procedimiento de integracin por partes en l
ugar del de sustitucin:
/2 /2 /2
0
sen t . d t =
m
0
sen
m-1
t . sen t . d t =
0
senm-1 t . d cos t

.
1.31
Hagamos u = sen m-1 t y Entonces: d v = d cos t
/2

d u = ( m - 1 ) . sen m-2 t . cos t . d t v = cos t
/2 /2
0
sen t . d t = - sen
m
m-1
t . cos t
0
+ (m-1)
0
senm-2 t . cos2 t d t
El primer sumando del segundo miembro en la igualdad anterior es igual a cero, p
or ser nulos el coseno de / 2 y el seno de cero. Por tanto:
/2 /2
0
senm t . d t = ( m - 1 )
/2
0
senm-2 t . ( 1 - sen2 t ) d t =
/2
= ( m - 1 ) sen
0
m-2
t.dt - (m-1)
0
senm t d t
Si, para simplificar la escritura, llamamos Im a la integral de Wallis de expone

nte m:
/2
Im =
0
senm t . d t
podemos escribir la ecuacin anterior as: Im = ( m - 1 ) Im-2 - ( m - 1 ) Im Im + (
m - 1 ) Im = ( m - 1 ) Im-2
de donde, despejando Im se obtiene: Im = ( m - 1 ) m Si ahora llamamos Im-2 = Ip
y procedemos a calcular Ip como antes , obtendremos el resultado siguiente, com
o es obvio: Ip = (p-1) p Al reemplazar aqu p por su valor m - 2, hallamos: Im-2 =
( m - 3 ) m-2 Im-4 Ip-2 Im-2 (1.22)

.
1.32
y reemplazando nuevamente este valor en la (1.22): Im = ( m - 1 ) m (m-3) m-2 Im
-2
Reiterando este procedimiento, si m es un nmero par, al ir restando de dos en dos
, la ltima integral de la serie ser I0, es decir:
/2 /2
0
I0 =
0
sen t . d t =
0
dt =
2 2 ( m - 1 ) !! . m !! 2
Y por lo tanto, Im estar dado por la igualdad: Im = ( m - 1 ) m (m-3) m-2 ... =
Como m es par, podemos tambin expresar la ecuacin anterior as: Hagamos m = 2 n, I2n
= con n nmero natural.
( 2 n - 1 ) !! . ( 2 n ) !! 2
/2 /2
Po el contrario, si m es un nmero impar, la ltima integral de la serie ser I1 I1 =
y entonces, Im = ( m - 1 ) m (m-3) m-2 ... 1 = ( m - 1 ) !! m !!
0
sen t . d t =
d cos t = - cos + cos 0 = 1 0 2

Como en este caso m es impar, podemos poner: m = 2 n + 1, O tambin, si I2n+1 = co
n n nmero natural. ... = ( 2 n ) !! ( 2 n + 1 ) ( 2 n - 1 ) !!
( 2 n ) ( 2 n - 2 ) ( 2n - 4 ) (2n+1)(2n-1)(2n-3)
m = 2 n - 1, I2n-1 = ( 2 n - 2 ) ( 2 n - 4 ) ( 2n - 6 ) (2n-1)(2n-3)(2n-5) ... =
( 2 n ) !! 2 n ( 2 n - 1 ) !!
Frmulas que, como vemos, permiten calcular las integrales de Wallis en forma senc
illa.

.
1.33
1.13 - Frmula de Wallis: Expresin asinttica del nmero . Recordemos que I2n-1 =
/2
0
/2
sen2n-1 t . d t
I2n =
0
sen2n t . d t
/2
e
I2n+1 =
0
sen2n+1 t . d t
En el primer cuadrante, es decir entre 0 y /2, el seno es positivo y menor o igua
l que 1, y adems n es tambin un nmero positivo; entonces, a mayor exponente, menor
ser el valor de senm t. O sea: sen2n-1 t sen2n t sen2n+1 t Por lo que: I2n-1 > I2
n > I2n+1 En este caso corresponde nicamente el signo > , porque la desigualdad e
ntre los respectivos integrandos es vlida para todo el intervalo entre 0 y /2, con
la nica excepcin de los dos extremos del mismo. Reemplazando las integrales por l
os respectivos valores determinados en el apartado anterior, podemos escribir la
desigualdad siguiente: ( 2 n ) !! ( 2 n - 1 ) !! 2 n > ( 2 n - 1 ) !! . > ( 2 n
) !! ( 2 n ) !! 2 ( 2 n + 1 ) . ( 2 n - 1 ) !!
A continuacin, multiplicaremos los tres miembros de esta desigualdad por ( 2 n )!
! y los dividiremos por ( 2n - 1 ) !!: [ ( 2 n ) !! ] 2 [ ( 2 n - 1 ) !! ] 2 . 2
n > 2 > [ ( 2 n ) !! ] 2 [ ( 2 n - 1 ) !! ] 2 . ( 2 n + 1 )
Analizando esta desigualdad, se hace evidente, por aplicacin del Teorema del Valo
r Medio, que debe existir un nmero , siendo 0 < <1 tal que: [ ( 2 n ) !! ] 2 [ ( 2
n - 1 ) !! ] 2 . ( 2 n + ) Por lo tanto, = 2

.
1.34
=
2 . [ ( 2 n ) !! ] 2 [ ( 2 n - 1 ) !! ] 2 . ( 2 n + )
Si multiplicamos y dividimos esta ecuacin por n, tendremos: = 2 n . [ ( 2 n ) !!
] 2 [ ( 2 n - 1 ) !! ] . ( 2 n + )
2
.
1 n
Si ahora tomamos limites para n = lim
n
[ ( 2 n ) !! ] 2 [ ( 2 n - 1 ) !! ] 2 2n = 1
.
2n (2n+)
.
1 n
y como lim
n
(2n+)
sim lificando llegamos a la siguiente frmula, debida a Wallis, que permite expres
ar el nmero en forma asinttica, es decir, como el lmite de una razn: = lim
n
[ ( 2 n ) !! ] 2 [ ( 2 n - 1 ) !! ]
2
.
1 n
(1.23)
La tabla siguiente muestra el valor que da la frmula de Wallis para algunos valor
es de n:
Para n =
4 3,3437
8 3,2412
16 3,1911
50 3,1573
100 3,1495
1.14 - Frmula de Stirling: La frmula de Stirling permite calcular en forma aproxim
ada el producto factorial de nmeros n grandes, evitando la necesidad de efectuar
los n productos que definen precisamente el factorial de n. La misma puede obten
erse por dos caminos diferentes: A partir de la expresin del factorial de n, o bi
en por medio de las integrales de Wallis. Veremos ambos procedimientos en forma
sucesiva. Para encarar la primera demostracin, partiremos de la relacin que liga e
l factorial de un nmero con la funcin gamma n! = ( n + 1 ), as como de la definicin
de sta ltima:

.
1.35
(n+1) =
t n e t dt
0
Con un cambio adecuado de nombres podemos escribir (x+1) =
t x e t dt
(1.24)
0
Introducimos esta modificacin al solo efecto de generalizar la definicion de ms al
l del campo de los nmeros enteros. Por otra parte, si llamamos: t = e, entonces y p
or tanto: = ln t tx = ex = e x ln t

Reemplazando esta igualdad en la (1.24), obtendremos: (x+1) =
e
0
x ln t
e
t
dt =
e
0
t + x ln t
dt =
e ( - t/x
0
+ ln t ) x
dt
Hagamos ahora un nuevo cambio de variables: t x Este cambio de variable no impli

ca ninguna modificacin de los lmites de integracin. En efecto, si y si t = 0, t = ,
u = 0 u = = u t = x u, y dt = x du
Reemplazando la nueva variable en la tima integral, y recurriendo a la frmula del
logaritmo de un producto, resulta: (x+1) =
e
0
( - u + ln ux ) x
x du =
e ( - u + ln u + ln x ) x x du
0
Como por la definicin de logaritmo natural, sabemos que e ln x = x Reemplazando n
uevamente obtenemos: (x+1) =

e ( - u + ln u ) x x x . x . du =
0
e ( - u + ln u ) x x x + 1 du
0

.
1.36
Como la variable de integracin es "u" podemos colocar x x + 1 fuera del signo de
integral:
(x+1) = x
x+1
0
e ( - u + ln u ) x du
(1.25)
Para continuar, deberemos hacer el anlisis que encararemos a continuacin. Llamemos
: e - u + ln u = ( u ) De esta igualdad podemos sacar las siguientes conclusione
s: Si y si u = 0, u , lm
u
(u) = 0
( u ) = 0,
pues
ln u
En efecto, como
ln u (u) = e eu para que se verifique el lmite indicado bastar probar que u crece ms
rpidamente que ln u. Para ello, hallaremos el lmite del cociente entre ambas magn
itudes, recurriendo a la regla de LHopital: ln u = lm 1 = 0 lm
u
u
u
u
Tambin, si u = 1, entonces (u)
u=1
= e -u
ln u = 0 = u=1 1 e
A continuacin veremos que ste es el valor mximo de ( u ).
s respecto de u e igualamos a cero obtenemos: d = e - u + ln
Con lo cual, mx ( u ) = e - 1 + ln 1 = e - 1 En resumen, la
es aproximadamente como la que muestra la figura siguiente: e
+ u = 1 1 u d du ) = 0 ( - u + ln u ) = e - u + ln u ( - 1 + 1
Efectivamente si derivamo
u . du y de resulta
representacin de ( u )
- u + ln u ( - 1
u )

.
1.37
(u)
1
e
u=1 O sea que ( u ) es menor que e -1 para todo u distinto de 1. Por lo tanto, s
i elevamos ( u ) a una potencia x, como en la ecuacin (1.25), dicha funcin tender rp
idamente a cero al crecer el valor de x con lo cual queda justificada la represe
ntacin que atribuimos a ( u ) A continuacin, desarrollemos ln u en serie alrededor
del punto uo = 1. Recordemos para ello la frmula de Taylor: 2 f ( z ) = f ( z )
+ f ' ( zo ) ( z - z ) - f" ( z ) ( z - zo ) + . . . ,
o o o
1! Aplicada a ln u, como f ' ( zo ) = el desarrollo ser: 1 u = 1 f " ( zo ) = 2! 1 = - 1, etc. u2 (1.26)
2 2 ln u = ln 1 + ( u - 1 ) - ( u - 1 ) + . . . = u - 1 - ( u - 1 ) + R 2! 2
En esta relacin, R representa al resto de la serie. Ahora s, podemos volver a la e
cuacin (1.25):
( x + 1 ) = xx+1
0
e ( - u + ln u ) x du
y la modificaremos multiplicando y dividiendo el integrando por e, como se ve a
continuacin: ( x + 1 ) = xx+1
e ( - u + ln u ) e . e- 1
x
du = x x + 1 e- x
e (-u+1+
ln u ) x
du
0
Reemplazando en esta igualdad ln u por su valor segn (1.26), obtenemos: ( x + 1 )

= x x+1 e- x Simplificando, y llamando
e [-u+1+u-10
0,5 ( u - 1 ) 2 + R ] x
du

.
1.38
F(u) =e resultar:
- 0,5 ( u - 1 ) 2 x
eRx
(x+1) = x
x+1
e
-x
e
0
- 0,5 ( u - 1 ) 2 x
e
Rx
du = x
x+1
e
-x
F ( u ) du
0
Para seguir, dividiremos la ltima integral en tres tramos, de la forma siguiente:
1
F ( u ) du =
F ( u ) du +

1+
F ( u ) du +
F ( u ) du = 1 + 2 + 3
0
0
1
1+
Calculemos ahora el valor de la primera integral, I1: 1 = Llamemos: 2 = 1 2 Entonc
es u -1 = du = 2 x 2 x d (u -1)2 x
1
e
0,5 ( u - 1 ) 2 x
. e R x du
0
Los lmites de la integral se transforman as: Para y para: u = 0, u = 1-, = = - x

x 2
Reemplazamos en I1 y obtenemos:
(/2)1/2
1 =
2 x
1/2
(/2)
1/2
e
2
eR d
(26.27)
Probaremos que el lmite de la integral

(/2)1/2 (/2)1/2
2
eR d
(26.28)

.
1.39
es cero cuando x tiende a infinito. Para ello, observemos en primer lugar que co
mo est comprendido entre 0 y 1, debe ser, necesariamente: || < 1 Por lo tanto, se
debe cumplir la desigualdad siguiente: x 2 y por consiguiente x 2 < x 2 > x 2
Tambin, si = 0, entonces e y si entonces lim e- =
2
- 2
= 1
lim e - | | = 0
Represenemos todas estas condiciones en el siguiente grfico, en el cual podemos

ver que la integral (1.21) est representada por el rea rayada, encerrada entre x 2
y - x 2 e-
2
+1
x/2
x/2
0
A medida que x crece, el rea mencionada se corre hacia la izquierda del dibujo, h
acindose por lo tanto cada vez menor. De donde podemos sacar la conclusin siguient
e:

.
1.40
lim
1
=

lim I1 = 0
Pasemos a analizar ahora la I3. 3 =
e0,5 ( u - 1 ) 2 x
e R x du
1+
Si hacemos el mismo reemplazo que antes, los lmites de la integral se transforman
as: Para y para: u , u = 1+, es es
= + x 2
Reemplazando en I3 3 = 2 x
1/2
(x/2)1/2
e
- 2
eR d
Tambin esta integral es nula cuando x tiende a infinito, por simetra con la situac
in anterior, pues ambos lmites tienden a infinito. Resta finalmente analizar I2:
1+ (x/2)1/2
- 0,5 ( u - 1 ) 2 x
2 = Aqu, como R =
e R x du =
2 x
1/2
- (x/2)1/2
e
- 2
eR d
1
( u - 1) 3 3! u
4 5 ( u - 1) + ( u - 1) 4! 5!
. . .
es evidente que cuando formalmente, que lim 2 =
u1
tiende a 1, R tiende a cero. Por lo tanto, podemos concluir,
1+ (x/2)1/2
2
2 x
1/2
1
e - e 0 du =
2 x
1/2
- (x/2)
e
1/2
- 2
d
Si x tiende a infinito, resulta:
+
2 =
2 x
1/2
2
d
Pero esta integral no es sino la integral de Gauss, que segn se vi en el apartado
1.3, es igual a la raiz cuadrada de . Entonces: 2 = 2 x
1/2

.
1.41
En resumen: lim
x
( x + 1 ) = x x+1 e -x
2 x
1/2
= x x e -x
2x
Si x es un nmero natural, n, esta ecuacin conduce a la llamada Frmula de Stirling,
que permite hacer en forma directa, como hemos dicho, el clculo aproximado del pr
oducto factorial de nmeros grandes: ( n + 1 ) n n e -n
2n
1.15 - Determinacin de la frmula de Stirling a partir de la frmula asinttica de Wall
is: Como hemos dicho ms arriba, es posible deducir la frmula de Stirling a partir
de la de Wallis (1.23). Comenzaremos por hallar la raz cuadrada en ambos miembros
de la misma: = lim
n
( 2 n ) !! ( 2 n - 1 ) !!
.
1 n
(1.29)
Si recordamos que ( 2 n ) ! = ( 2 n ) !! . ( 2 n - 1 ) !!, despejando obtenemos:
( 2 n - 1 ) !! = Tambin hemos visto que: ( 2 n ) !! = 2n . n ! y por lo tanto, r
eemplazando en la (1.29), hallamos sucesivamente: = lim
n
(2n)! ( 2 n ) !!
[ ( 2 n ) !! ] 2 (2n)! .n
= lim
n
2 2n . ( n ! ) 2 (2n)! .n
Finalmente, si multiplicamos ambos miembros por 2 , 2 = lim
n
2 2n . ( n ! ) 2 2 (2n)! . n
(1.30)
Paralelamente, consideraremos la funcin: f(x) = ex . x! x

x
(1.31)
x

.
1.42
Si hacemos en ella x = 2n obtenemos lo siguiente: f(x) = ex . x! xx x = e 2n . (
2 n ) ! ( 2 n ) 2n 2 n
Si tomamos lmites para x tendiendo a infinito, n tambin tiende a infinito, y por l
o tanto podemos escribir: lim
x
ex .x! xx x
= lim
n
e 2n . ( 2 n ) ! ( 2 n ) 2n 2 n
(1.32)
Vamos a recurrir ahora al arbitrio de cambiar el nombre de la variable n por x.
Formalmente, nada nos impide hacerlo, siempre que tengamos bien en claro que tal
modificacin slo es vlida en el lmite. En efecto, es obvio que: lim
x
e 2x . ( 2 x )! ( 2 x ) 2x 2 x
= lim
n
e 2n . ( 2 n ) ! ( 2 n ) 2n 2 n
(1.33)
Y entonces, como los segundos miembros de (1.32) y (1.33) son iguales, por carcte
r transitivo podemos escribir: lim
x
ex . x! xx x
= lim
x
e 2x . ( 2 x ) ! ( 2 x ) 2x 2 x
A partir de este razonamiento, podemos concluir asimismo que: ex . x! xx x lim
x
= 1 e
2x
. (2x)!
( 2 x ) 2x 2 x A continuacin multiplicaremos ambos miembros por f ( x ), tal como
fue definida en la ( 1.31): f(x) = Con esto, obtendremos: ex . x! xx x

.
1.43
ex . x! xx x lim
x
2
ex. x! = lim (1.34) x
x
e
2x
. (2x)!
x
x
( 2 x ) 2x 2 x Ahora efectuaremos el cociente de fracciones que aparece en el pr
imer miembro de la (1.34), y a continuacin simplificamos: lim
x
e 2x ( x ! ) 2 ( 2 x ) 2x 2 x x 2x . x . e 2x . ( 2 x ) !
= lim
x
( x ! ) 2 2 2x 2 (2x)! x
(1.35)
Reemplazando en la (1.34), hallamos: lim
x
( x ! ) 2 2 2x 2 (2x)! x
= lim
x
ex . x! x
x
(1.36)
x
Al llegar aqu, podemos observar que el primer miembro de la (1.36) es idntico, sal
vo por el nombre de la variable, al ltimo de la (1.30): 2 = lim
n
2 2n . ( n ! ) 2 2 (2n)! .n
Esto nos permite escribir: 2 = lim
x
2 2x . ( x ! ) 2 2 (2x)! .x
=
lim
x
ex . x! xx x
De la igualdad: lim
x
ex . x! x
x
=
2
x
des ejando el factorial de x, se deduce que:
x
lim
x!
= lim
x
xx
2x
e -x
Finalmente, si x es un nmero entero, al que llamaremos como es usual, n, nos reen
contramos con la frmula de Stirling: Para n suficientemente grande es n! nn 2n e -n

.
1.44
1.16: Funciones factoriales de nmeros complejos: Para finalizar el estudio de las
funciones factoriales, trataremos en este ltimo apartado aquellas cuyo argumento
es un nmero complejo. En primer lugar, analizaremos la funcin de un nmero complejo
. Sea z = x + iy. En tal caso: (z) =
t
0
z -1
e
t
dt =
t x+iy
0
-1
e t d t
Recordemos la frmula de la potencia de exponente complejo de un nmero a: a = e . l
n a Si aplicamos esta frmula al integrando de la ecuacin que representa la funcin ,
y hacemos: a = t tendremos: t x+iy t x+iy
-1
y
= iy,
e t = t x - 1. t i y e t = t x - 1. e i y. ln t e t e t = t x - 1. e t [ cos ( y . ln
t ) + i . sen ( y . ln t )]
y desarrollando la exponecial de exponente complejo en una suma de coseno y seno
:
-1
Nos encontramos aqu frente a una integral impropia de tercera clase, pues por un
lado el intervalo de integracin es infinito, y por el otro tambin los lmites de amb
as partes, real e imaginaria, del integrando, son indefinidos, por ser infinito
el mdulo del logaritmo de t, tanto para t 0 como para t . Recordemos que el lmite
de las funciones seno y coseno es oscilante entre 0 y 1 cuando el argumento tien
de a infinito. Por el contrario, es siempre posible definir funciones factoriale
s de un nmero complejo, de acuerdo con la definicin que dimos para las mismas en e
l pargrafo 1.6. Ejemplos de funciones factoriales de nmeros complejos: En general,
no hay dificultad para imaginar y calcular funciones factoriales que involucran

nmeros complejos. Veamos algunos ejemplos: Ejemplo 1: Sea la funcin: 2i(1+2i).(2+
2i).(3+2i).(4+2i) = [n+2i]1 Trataremos de calcular esta funcin: 2i(1+2i)= - 4+2i
4

.
1.45
( - 4 + 2 i ) . ( 2 + 2 i ) = - 8 - 4 + i ( - 8 + 4 ) = - 12 - 4 i ( - 12 - 4 i
) . ( 3 + 2 i ) = - 36 + 8 + i ( - 24 - 12 ) = - 28 - 36 i ( - 28 - 36 i ) . ( 4
+ 2 i ) = - 112 + 72 + i ( - 56 - 144 ) = - 40 - 200 i Es decir que la funcin fa
ctorial dada existe, y es posible por tanto calcular su valor, como hemos visto.
Ejemplo 2: Sea la funcin factorial [ x ]k = [ 8 + 2 i ] 1 + i Se trata de hallar
el valor de m para que el ltimo trmino sea un nmero real. Empezaremos por recordar
la definicin de funcin factorial: Se define como funcin factorial de x, de grado m
y diferencia k al producto: x . ( x - k ) . ( x - 2k ) . ( x - 3k ) . . . ( x m + k ) En nuestro ejemplo, los valores respectivos son: x = 8+2i k = 1+i Por l
o tanto, la funcin puede representarse por medio del producto: [ 8 + 2 i ] 1+i =
( 8 + 2 i ) . ( 7 + i ) . 6 De acuerdo con este resultado, es x - m + k = 6 Y po
r tanto, despejando m = x + k - 6 = 8 + 2 i + 1 + i - 6 = 9 + 3i - 6 = 3 + 3 i Q
ue es el resultado buscado.
m
1.17 - Algunas cuestiones relacionadas con el Producto de los trminos de una suce
sin numrica. Varias de las funciones que hemos tratado en el presente Captulo perte
necen a diferentes variantes de una misma categora:

.
1.46
Producto de todos los trminos de una sucesin numrica, Producto de todos los trminos
de una sucesin numrica truncada, o Producto de determinados trminos o secuencias de
trminos de una sucesin numrica. Por lo tanto, tales funciones estn genricamente defi
nidas por la frmula siguiente, tambin conocida como Productoria, por su semejanza
formal con una sumatoria:
N
f(n) =
n=M
an = aM . aM+1 . aM+2 . . . . . aN-2 . aN-1 . aN
En esta frmula, a puede ser un nmero cualquiera, en el ms amplio sentido del trmino,
n es un nmero entero, que sigue una cierta secuencia, y por su parte, M y N pued
en tomar cualquier valor entero, positivo o negativo, pero aceptaremos que siemp
re M < N Nos interesan en particular los productos de trminos de sucesiones numric
as que detallaremos a continuacin: Primer caso: Si an = n y M = 1, estamos en pre
sencia del factorial ordinario del nmero N. Este es el caso ms sencillo: a1 . a2 .
a3 . . . . an . . . . . aN = 1 . 2 . 3 . . . n . . . N = N! Segundo caso: Si an
= k n , la funcin corresponde al factorial de orden k del nmero N: Ejemplos: k =
2 . ( 2 ) . ( 4 ) . ( 6 ) . . . . . 4 . 2 = !! k = 3 . ( 3 ) . (
. . . 6 . 3 = !!!
Como hemos visto oportunamente, en este caso puede ser necesario efectuar consid
eraciones adicionales para que el producto quede perfectamente definido. Ejemplo
s: 7 !! = 7 . 5 . 3 . 1 Pero 8 !! = 8 . 6 . 4 . 2

.
1.47
Tambin: 16 !!! = 16 . 13 . 10 . 7 . 4 . 1 Pero 15 !!! = 15 . 12 . 9 . 6 . 3 14 !!
! = 14 . 11 . 8 . 5 . 2 Los ejemplos muestran que puede ser necesario definir el
valor de M, individualmente, para cada situacin particular. Tercer caso: La func
in Gamma, ( ): Al estudiar esta funcin hemos visto que la misma puede ser formulad
a como un producto de funciones numricas, o verdaderos nmeros: , 1, 2, 3, . . . ,
k), tales que los argumentos de dos sucesivas cualesquiera difieren siempre en l
a unidad. Tuvimos tambin oportunidad de ver que, cuando es un nmero entero positiv
o, n, existe una relacin directa entre la funcin Gamma y el factorial ordinario de
n: ( n + 1 ) = n! Pero por otro lado sabemos tambin que la funcin trasciende ampl
iamente de los lmites de los nmeros naturales. En efecto, es posible conocer la fu
ncin (Su valor numrico), para practicamente cualquier nmero real , con unas pocas ex
cepciones, como son los nmeros enteros negativos y el cero En todos los dems casos
, se verifica que la funcin es igual al producto de una sucesin de nmeros: ( + 1 )
= ( ) = ( - 1 ) ( - 1 ) = ( - 1) ( - 2 ) . . . ( - k ) El valor de
e ser conocido para cualquier valor de a, siempre que se conozca al menos uno de
los trminos de la sucesin, por ejemplo, ( - k ). Este conocimiento implica que en
general podemos, a partir de l, determinar el valor de cualquier trmino, anterior
o posterior a ( - k ). En este Captulo hemos visto en detalle varias aplicacione
s y propiedades de la funcin ( ). Por fin, tenemos las funciones factoriales [x]
m k
= x . ( x - k ) . ( x - 2k ) . ( x - 3k ) . . . ( x - m + k )
que admiten una gran variedad de formas, segn los valores que asignemos a x, m y
k, o tambin, en ciertos casos en que la definicin de estos tres parmetros resulta a
mbigua, en funcin del ltimo nmero que atribumos a la sucesin. Para terminar con este
vistazo sobre los productos de los trminos de una sucesin, veremos algn ejemplo que
podra ser considerado como una verdadera paradoja matemtica.

.
1.48
En efecto, en el apartado 1.6 demostramos que n 2 Por otra parte, si hacemos = c
omo (+1)=! reemplazando el valor de , deber ser: n 2 De donde surgira que: n 2 + 1
!! 2
n 2
!=
n !! 2
n 2
n 2
! =
n 2
+ 1
Trtaremos de verificar si esta ecuacin es verdadera. Probaremos inicialmente con
n entero, par. Por ejemplo, n = 8. Entonces: 8 2 Por su parte, 8 !! = 24 8.6.4.2
16 = 24
! = ( 5 ) = 4 ! = 24
Comprobamos que, para n par, la igualdad es vlida. Veamos qu ocurre si n es un nmer
o entero impar. Por ejemplo, n = 7. En tal caso 7 2 = 3,5 . 2,5 . 1,5 . 0,5 . =
11,632 Por su parte 7 !! = 23,5 7.5.3.1 11,3137 = 9,281
! = ( 4,5 ) = 3,5 . 2,5 . 1,5 . 0,5 . ( 0,5) =

.
1.49
La contradiccin se debe a que estamos suponiendo que existe el factorial ordinari
o de un nmero fraccionario, en este caso, 3,5, cuando en realidad tratndose de nmer
os no enteros, slo tiene sentido pensar en la funcin gamma, o en determinadas func
iones factoriales.
1.18 - Problemas. 1.18.1 - Calcular la funcin de los nmeros 0,5 a 5, incrementando

cada vez el anterior en 0,5. Solucin: ( 0,5 ) = = 1,7724; ( 2 ) = 1 . ( 1 ) = 1
( 1 ) = 1; ( 1,5 ) = 0,5 . ( 0,5 ) = 0,8862; etc.
( 2,5 ) = 1,5 . ( 1, 5 ) = 1,3293;
1.18.2 - Calcular la funcin de los nmeros siguientes: a) ( - 0,5 ) = - 3,5449 b) (
- 2,5 ) ( - 3,5 ) ( - 1,5 ) = 2,3633 ( - 4,5 )
1.18.3 - Calcular las funciones factoriales siguientes: a) [ 10 ] 8 2 b) [ 11 ]4
2 c) [ 16 ] 10 5 = 10 . 8 . 6 . 4 = 1920 = 99 [ 15 ] 9 = 1620 3 [ 20 ] 9 3 [ 15
] 5 = 360.360 1 [7]7 1 [ 6 ]2 1
1.18.4 - En las tablas de funciones encontramos los siguientes valores: ( 1,1 )

( 1,2 ) ( 1,3 ) ( 1,4 ) ( 1,5 ) ( 1,6 ) ( 1,7 ) ( 1,8 ) ( 1,9 ) 0,9514 0,9182
8975 0,8873 0,8862 0,8935 0,9086 0,9314 0,9618 (2) 1
Se pide calcular, utilizando la Frmula de los Complementos, las funciones factori
ales siguientes: a) ( 0,9 ) Solucin: Por la frmula de los complementos es: ( x ) .
( 1 - x ) = Por otra parte, ( 0,1 ) = ( 1,1 ) = 0,9514 = 9,514 0,1 0,1 sen x

.
1.50
Combinando ambas frmulas, podemos hacer ( 0,9 ) = b) ( 0,1 ) ( 0,1 ) . sen 0,9
0,4 ) = 9,514 . 0,309 ( 0,5 ) ( 0,8 ) = 1,0686
1.18.5 - Calcular el valor de las funciones Beta siguientes: a) B ( 3, 5 ) = ( 3
) . ( 5 ) = (8) 2! . 4! 7! = 2 . 24 5040 = 0,00952
b) B ( 1, 2 )
B ( 5, 0,5 )
B ( 4, 3 )
B ( 1,4 , 0,5 )
1.18.6 - Calcular, aplicando la frmula de la Integral de Wallis,
/2
0
cosm t dt =
1 2
1 , m+1 2 2
las integrales siguientes: a)
/2
0
cos 5 t dt =
1 2
1 ,3 2
= 1 2
( 0,5 ) . ( 3 ) ( 3,5 )
=
1,7724 . 2 = 0,53333 2 . 3,3233
b) Verificar el resultado anterior a travs de la Frmula de Recurrencia
/2
cos 5 t dt =
/2
4!! 5 . 3!!
= 0,5333
c)
0
cos 2 t dt =
1 2
1 , 3 2 2
= 1 2
( 0,5 ) . ( 1,5 ) (2)
=
1,7745 . 0,8862 = 0,786 1 .1

.
1.51
d) Verificar el resultado anterior, calculando la integral en forma directa:
/2 /2
0
cos 2 t dt =
1 2
t + 1 sen 2 t 4
=
0
= 0,785 4
e) Calcular las integrales I7 =
0
/2
sen
7
dt
I8 =
/2
cos 8 t dt
0
R: I7 = 0,4571 1.18.7 - Calcular los factoriales siguientes: a) 10!!
I8 = 0,4295
Solucin: Para resolver este y los problemas siguientes resulta prctico recurrir a
las frmulas: ( 2 n )!! = 2n . n! o bien ( 2 n )! = ( 2 n )!! . ( 2n - 1 )!! 10!!
= 25 . 5! = 32 . 120 = 3840 b) 16! = 16!! . 15!! = 10.321.920 x 2.027.025 = 20.9
22.789.888.000
c) 7!!
8!!
12!!
15!!
1.18.8 - Hallar el valor de m para que

s sea real: a) [ 15 + 3i ]3 + i = ( 15
: x = 15 + 3i y k = 3 + i, m = x + k
- 4i ] 2 - i R: m = 10 - 5 i c) [ -20
m m m
x-m+k = 6
el ltimo factor de las funciones siguiente

+ 3i ) . ( 12 + 2i ) . ( 9 + i ) . 6 Como
- 6 = 15 + 3i + 3 + i - 6 = 12 + 4i b) [ 17
+ 5i ] -5 + i R: m = - 30 + 6 i

.
1.52
1.18.9 - Calcular el ltimo trmino de las funciones factoriales:
- 4i a) [ 17 - 4i ] 8 2-i
Solucin: x - m + k = 17 - 4 i - 8 + 4 i + 2 - i = 11 - i
- 4i b) [ 15 - 6i ] 2 1 - 2i
Solucin: x - m + k = 15 - 6 i - 2 + 4 i + 1 - 2 i = 14 - 4 i Esta productoria se
reduce a solamente dos factores. En efecto:
- 4i [ 15 - 6i ] 2 1 - 2i = (15 - 6 i ) . ( 14 - 4 i )
c) Expresar la ecuacin anterior como una productoria (Serie de factores): Solucin:
1 + m/k
[x]
m k
= x - n k = ( x ) . ( x - k ) . ( x - 2 k ) . . . [ x - ( 1 + m/k ) k ]
n=0
Qu ocurrir si cambiamos el signo de m? Veamos:
- 2 + 4i [ 15 - 6i ] 1 - 2i
En este caso, aplicando la frmula correspondiente, el ltimo trmino es: x - m + k =
15 - 6 i + 2 - 4 i + 1 - 2 i = 18 - 12 i Y la productoria:
n = 1-m/k
[ 15 - 6i
- 2 + 4i ]1 - 2i
= (15 - 6 i ) . ( 16 - 8 i ) . ( 17 - 10 i ) . ( 18 - 12 i ) = x + n k
n=0
Esta situacin se produce cuando el signo de m es opuesto al de k. 1.18.9 - Calcul
ar las diferencias siguientes: a) [ 4 ] 1
2
= [ 5 ] 1 - [ 4 ]1 = 5 . 4 - 4 . 3 = 8
2
2
O tambin: [4]2 = 2 . [ 4 ]1 1 1 = 8

.
1.53
b) [ 9 ] 1
6
= 6 . [ 9 ] 1 = 90.720
5
O bin:
6 [ 10 ] 6 1 - [ 9 ]1
= 151.200 - 60.480 = 90.720
c) [ 12 ] 1
4
Aplicaciones Matlab: Clculo de factoriales. % Clculo de factoriales: fact 4 = prod

(1 : 4) fact 4 = 24 % La funcin "gamma (n + 1)", con n entero, es igual al facto
rial de n: gamma (5) ans = 24 fact10 = prod (1: 1: 10) fact10 = 3628800 gamma (
1) ans = 3628800
Frmula de Stirling: Factorial de grandes nmeros. Error relativo al emplear la frmul
a. Clculo del factorial de 100 utilizando la frmula de Stirling: fact100 = (100^10
0*exp(-100)*(2*pi*100)^0.5) fact100 = 9.3248e+157 Stirling100 = fact100 Stirling
100 = 9.3248e+157 gamma (101) ans = 9.3326e+157

.
1.54
error = gamma (101) - Stirling100 error = 7.7739e+154 % Error relativo: Erelat =

error/gamma(101) Erelat = 8.3298e - 004 % El error relativo es inferior a 10^(3) Funcin gamma de nmeros fraccionarios y de nmeros enteros negativos. Ejemplos: ga
mma (0.1) ans = 9.5135 gamma (0.4) ans = 2.2182 gamma (0.5) ans = 1.7725 gamma
0.9) ans = 1.0686 gamma (1.235) ans = 0.9096 gamma (5.3) ans = 38.0780 gamma (2
0.5) ans = 0.8866 gamma (-2^0.5) ans = 2.5995 gamma (-1/7) ans = -7.7404 gamma
-3) Warning: Divide by zero. ans = Inf

.
1.55
Funcin GAMMALN: Calcula el logaritmo natural de la funcin Gamma. Ejemplos: clear a
ll gammaln (2) ans = 0 gammaln(3) ans = 0.6931 gammaln(4) ans = 1.7918 gammaln(0
.5) ans = 0.5724
Construccin de tablas de la funcin Gamma. clear all n = [0.1 : .1 : 1; 1.1 : .1 :
2; 2.1 : .1 : 3] n= Columns 1 through 7 0.1000 0.2000 0.3000 0.4000 0.5000 1.100
0 1.2000 1.3000 1.4000 1.5000 2.1000 2.2000 2.3000 2.4000 2.5000 Columns 8 throu
gh 10 0.8000 0.9000 1.0000 1.8000 1.9000 2.0000 2.8000 2.9000 3.0000 gamma (n) a
ns = Columns 1 through 7 9.5135 4.5908 2.9916 2.2182 1.7725 0.9514 0.9182 0.8975
0.8873 0.8862 1.0465 1.1018 1.1667 1.2422 1.3293 Columns 8 through 10 1.1642 1.
0686 1.0000 0.9314 0.9618 1.0000 1.6765 1.8274 2.0000
0.6000 1.6000 2.6000
0.7000 1.7000 2.7000
1.4892 0.8935 1.4296
1.2981 0.9086 1.5447
Grfica de la funcin Gamma: n = [0.2 : .2: 3]

.
1.56
n= Columns 1 through 7 0.2000 0.4000 0.6000 0.8000 Columns 8 through 14 1.6000 1
.8000 2.0000 2.2000 Column 15 5 3.0000 4.5 4 plot (gamma (n)) 3.5
3 2.5 2 1.5 1 0.5
1.0000 2.4000
1.2000 2.6000
1.4000 2.8000
0
0.5
1
1.5
2
2.5
3
Integral de Gauss: % Clculo de la Integral de Gauss: syms f u f = int (exp(-u^2),

u, 0, inf) f = 1/2*pi^(1/2) Clculo de factoriales dobles: % Calcular el factoria
l f = 9!! syms n n = [9 : -2 : 1] n= 9 7 5 3 1 f = prod (n) f = 945 Clculo de la
funcin BETA. Ejemplos: f = beta (3,5) f = 0.0095 g = beta (1,2) g = 0.5000 h = b
ta (5,0.5) h = 0.8127

.
1.57
k = beta (1.4, 0.5) k = 1.6352 Integral de Wallis (Integral de cos^m (t), entre
0 y pi/2: syms t f % Calcular la integral de cos^5 (t) entre 0 y pi/2: f = int (
((cos(t))^5),t,0,pi/2) f =8/15 f = 8/15 f = 0.5333 %Verificaremos el resultado p
or medio de la funcin beta: clear f f = .5*beta (.5, 3) f = 0.5333
Funciones factoriales: % Resolver el ejemplo I del punto 1.16: Funcin factorial d
e nmeros complejos. x = [0 1 2 3 4] y = x+2*i y= Columns 1 through 4 0 + 2.0000i
1.0000 + 2.0000i 2.0000 + 2.0000i 3.0000 + 2.0000i Column 5 4.0000 + 2.0000i fun
fac = y(1,1)*y(1,2)*y(1,3)*y(1,4)*y(1,5) funfac = - 4.0000e+001 - 2.0000e+002i %
funfac = - 40 - 200 i % Segunda forma: clear funfac funfac = prod (y) funfac =
- 4.0000e+001 - 2.0000e+002i % Calcular las funciones factoriales siguientes: x
= 10; m = 8; k = 2; a = [ x : -k : x-m+k]; A = prod(a) A= 1920

.
1.58
clear all x = 11; m = 4; k = 2; b = [ x : -k : x-m+k]; B = prod (b) B = 99 cl

all x = 15; m = 9; k = 3; c = [ x : -k : x-m+k]; C = prod (c) C= 1620 clear all
x = 15; m = 5; k = 1; d = [ x : -k : x-m+k]; D = prod (d) D= 360360
clear all x = 17; m = 7; k = 1; e = [ x : -k : x-m+k]; E = prod (e) E = 98017920
Verificar la igualdad: 16! = 15!! . 16!!: fact16 = gamma (17) fact16 = 2.0923e+0
13 factdoble15 = [15 : -2 : 1]; x = prod (factdoble15) x = 2027025 factdoble16 =
[16 : -2 : 1]; y = prod (factdoble16) y = 10321920 x*y ans = 2.0923e+013

.
1.59
Verificar los problemas del punto 1.18.8: Hallar m para que el ltimo trmino sea re
al: x = 15+3i; m = 12+4i; k = 3+i; x-k ans = 12.0000 + 2.0000i x-2*k ans = 9.000
0 + 1.0000i x-3*k ans = 6 % Problema b: x = 17-4i; m = 10-5i; k = 2-i; x-k an
15.0000 - 3.0000i x-2*k ans = 13.0000 - 2.0000i x-3*k ans = 11.0000 - 1.0000i x
-4*k ans = 9

1 Funciones Eulerianas

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

1 Funciones Eulerianas

Diunggah oleh

Hak Cipta:

Format Tersedia

E cu a ci o n e s D i f e r e n ci a l e s d e O r d en Su p er i o r

Seccin 11. Seales y Sistemas.

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Efectuando operaciones: 2 ( 0,5 ) = 2 e Es decir: ( 0,5 ) = A partir de tal con

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

y reemplazamos en la integral anterior, tendremos: 1 2

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

A continuacin desarrollaremos tambin una frmula que permite calcular ( ), siendo u

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

de x + 1, ambos del mismo grado m, y diferenc

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Observndo ambas ecuaciones, podemos ver que se verifica la igualdad: n+1 2

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

En coordenadas polares, los lmites de la superficie correspondiente al primer cua

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

De aqu podemos extraer las conclusiones siguientes: -  = t Ahora, despejemos t: t

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ntese que en la tercera de estas integrales se ha puesto x e 2i en lugar de x. Est

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

la segunda integral es nula porque el integrando respectivo tiende a cero. En ef

Ecuciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

esulado que coincide con el alcanzado en el apartado 1.3.

( , ) = 2 Si llamamos = m+1 2 entonces: 2 - 1 = 0 y 2 - 1 = m

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

sen2 t . cos2 t . cos t . d t =

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Si, para simplificar la escritura, llamamos Im a la integral de Wallis de expone

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

d cos t = - cos + cos 0 = 1 0 2

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Hagamos ahora un nuevo cambio de variables: t x Este cambio de variable no impli

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Reemplazando en esta igualdad ln u por su valor segn (1.26), obtenemos: ( x + 1 )

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Los lmites de la integral se transforman as: Para y para: u = 0, u = 1-, = = - x

Probaremos que el lmite de la integral

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Represenemos todas estas condiciones en el siguiente grfico, en el cual podemos

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Paralelamente, consideraremos la funcin: f(x) = ex . x! x

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera parte - Integrales Eulerianas

Ecuaciones Diferenciales de Orden Superior Primera Parte - Integrales Eulerianas

no hay dificultad para imaginar y calcular funciones factoriales que involucran

De aqu podemos extraer las conclusiones siguientes: - = t Ahora, despejemos t: t

esulado que coincide con el alcanzado en el apartado 1.3.

Represenemos todas estas condiciones en el siguiente grfico, en el cual podemos