Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 1

1
Aplicaciones de las integrales anidadas


Aplicaciones de las integrales anidadas

Jos Albeiro Snchez Cano
Departamento de Ciencias Bsicas_ Universidad EAFIT
josanche@eafit.edu.co

Resumen

En este artculo se demuestra una propiedad de las integrales iteradas y su aplicacin


Abstract

In this paper one demostrates to a property of the nested integrals and its applications.


Palabras claves: Integrales iteradas, Transformada de Laplace

Keys words: Nested integrals, Laplace transforms,

Introduccin

La integral anidada es una integral evaluada mltiple veces sobre una misma
variable en contraste a las integrales mltiples, que consiste de un nmero de integrales
evaluadas con respecto a variables diferentes. Ms exactamente, si ( ) x f

es una funcin
continua definida en . R _ I

y I e
0
x , entonces
( ) ( ) ( ) ( ) 1
!
1
0 0 0
3
0
2
0
1 2 1 1
du u f u x
n
dx dx dx dx x f
x
x
n
veces n
n n
x
x
x
x
x
x
x
x
n
} } } } }
=

Para su demostracin ver (ver [G. Shilov]).
En particular, se resolver el PVI (2) integrando repetidamente (n veces) la ecuacin
(2) y usando las condiciones iniciales dadas. En cada paso se usar la ecuacin (1) para
llegar a la solucin general en forma cerrada, esto es, la obtencin de una formula.






Propiedad S. Sea ( ) ( ) ( )
k
k
i
i
x x x x x f x T , , , ,
2 1
1
= =
[
=
una funcin continua en el
conjunto | |
k
b a,

, sea | |
i
b x x ,
0
e .Entonces se tiene la siguiente relacin:
( ) ( ) ( ) ( ) ( ) ( ) 1
!
1
0 0
1
0
2
0
1
0
1 1 1 2 1 2 2 1
k
x
x
k k k
x
x
x
x
x
x
x
x
dx x f
k
dx dx dx dx x f x f x f x f
k
|
|
.
|

\
|
=
} } } } }

Demostracin.
La demostracin la haremos por induccin.
Se tiene claramente para 1 = n .
Veamos para 2 = n

en este caso deber tener que
( ) ( ) ( ) ( ) 2 .
! 2
1
2
1 1 1 2 2 1
0 0
1
0
|
|
.
|

\
|
=
|
|
.
|

\
|
} } }
x
x
x
x
x
x
dx x f dx dx x f x f
En efecto, usando integracin por partes, esto es, haciendo
( ) ( )
1 1 2 2
,
1
0
dx x f dv dx x f u
x
x
= =
}

Se encuentra, al usar el teorema fundamental de clculo, que
( ) ( )
}
= =
x
x
dx x f v dx x f du
0
1 1 1 1
,

As que segn la frmula de integracin por partes, tenemos:
( ) ( ) ( ) ( ) ( ) ( )
1 2 1 2 2 1 1 2 2 1
0
1
0
0
1
0 0 0
1
0
dx x f x f dx x f dx x f dx dx x f x f
x
x
x
x
x
x
x
x
x
x
x
x
x
x
} } } } } }
|
.
|

\
|
|
.
|

\
|
=

La primera ecuacin del lado derecho no es ms que
( ) ( ) ( )
2
1 2 2 1
0
0
1
0 0
|
.
|

\
|
= |
.
|

\
|
|
.
|

\
|
} } }
x
x
x
x
x
x
x
x
dx x f dx x f dx x f

O bien, al reemplazar en la ltima ecuacin se tiene lo pedido, esto es (2).
Supongamos ahora que se cumple para k n = y veamos que se cumple para el siguiente,
esto es, para . 1 + = k n

Esto es, se tiene la hiptesis de induccin:

Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 3

3
Aplicaciones de las integrales anidadas

( ) ( ) ( ) ( ) ( ) HI dx x f
k
dx dx dx x f x f x f
k
x
x
veces k
x
x
x
x
x
x
k k k
i
k
|
|
.
|

\
|
=
} } } }

0
1
0
2
0
1
0
1 1
1
2 1 3 2
!
1


y veamos que

( ) ( ) ( ) ( )
( )
( ) ( ) 3
! 1
1
1
1 1 1 2 1 3 2 1
0 0
1
0
2
0
1
0
+

|
|
.
|

\
|
+
= =
} } } } }

k
x
x
k k k
x
x
x
x
x
x
x
x
dx x f
k
dx dx dx dx x f x f x f x f I
k


En efecto,
Observar que la parte izquierda de la ecuacin (3) puede escribirse en la forma:
( ) ( ) ( ) ( )
1 2 1 3 2 1
0
1
0
2
0
1
0
dx dx dx dx x f x f x f x f
x
x
x
x
x
x
x
x
k k k
k
} } } }
|
.
|

\
|

de donde, al observar la forma de esa ltima ecuacin, hacemos la siguiente sustitucin
( ) ( ) ( ) ( ) ( ) ( ) 4
!
1
0
1
0
2
0
1
0
1 1
1
2 1 3 2 1
n
x
x
veces k
x
x
x
x
x
x
k k k
i
k
dx x f
n
dx dx dx x f x f x f x F
|
|
.
|

\
|
= =
} } } }

Luego lo que se debe probar es
( ) ( ) ( ) ( ) 5
!
1
0 0
1 1 1 1 1
k
x
x
x
x
dx x f
k
dx x F x f I
|
|
.
|

\
|
= =
} }

Usamos ahora integracin por partes, del cual se tiene lo siguiente:
Haciendo
( ) ( ) ( ) 6 ,
1 1 1
dx x f dv x F u = =

Encontramos que:
( ) ( ) ( ) 7 ,
1
0
2 2 1 1
}
= ' =
x
x
dx x f v dx x F du
Donde
( ) ( ) ( ) ( ) 8
!
1 1
1
1 1 1
0
dx x f dx x f
k
k
x F
k
x
x

|
|
.
|

\
|
= '
}

Reemplazando (8) en (7), se tiene




( )
( ) ( ) ( ) ( ) 9 ,
! 1
1
1
0 0
2 2 1 1
1
1 1
} }
=
|
|
.
|

\
|

=

x
x
k
x
x
dx x f v dx x f dx x f
k
du

Luego aplicando la frmula de integracin por partes, usando las formulas (6) y (9) ,
tenemos:
( ) ( )
( ) ( )
( )
( ) ( ) ( ) ( )
( ) ( )
( )
( ) ( )
1 2 2 1 2 2
1 2 2
1
2 2 1 2 2 1
1 1 1
0
1
0 0
0
1
0
1
0
0
1
0
0
! 1
1
10
! 1
1
dx dx x f x f
k
dx x f x F
dx dx x f dx x f x f
k
dx x f x F
dx x F x f I
x
x
k
x
x
x
x
x
x
x
x
k
x
x
x
x
x
x
x
x
} } }
} } } }
}

|
|
.
|

\
|

(
(

|
|
.
|

\
|

=
=

Pero por (4) tenemos que

( ) ( )
1 2 2
!
1
0
x F k dx x f
k
x
x
=
|
|
.
|

\
|
}

Que al reemplazar en la ltima expresin de (10) obtenemos:
( ) ( )
( )
( ) ( ) ( )
( ) ( )
( )
( ) ( )
( ) ( ) kI dx x f dx x f
k
dx x F x f
k
k
dx x f x F
dx x F k x f
k
dx x f x F I
x
x
k
x
x
x
x
x
x
x
x
x
x

|
|
.
|

\
|
|
|
.
|

\
|
=

=
} }
} }
} }
0 0
0 0
0 0
2 2 2 2
1 1 1 2 2
1 1 1 2 2
!
1
! 1
!
!
! 1
1

Pasado kI al lado izquierdo y simplificar, se tiene:
( ) ( )
1
1 1
0
!
1
1
+
|
|
.
|

\
|
= +
}
k
x
x
dx x f
k
I k
O bien, finalmente
( )
( )
1
1 1
0
! 1
1
+
|
|
.
|

\
|
+
=
}
k
x
x
dx x f
k
I
Lo que se quera probar.*

Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 5

5
Aplicaciones de las integrales anidadas


Nota: En el caso en que ( ) ( )
k
k
i
x x x x k x T , , , , ! 1
2 1
1
= = =
[
=

k
x
x
k k
x
x
x
x
x
x
x
x
dx
k
dx dx dx dx
k
|
.
|

\
|
=
} } } } }

0 0
1
0
2
0
1
0
1 1 2 1
1



Observar que
( ) ( ) ( )
( ) ( ) ( )
( )
( ) ( )
1 1
1 1 2 1 1
1 1 1 1 1
1 1 1 1 1
0 0 0
1
0
2
0
1
0 0 0
0 0
0 0
1
1
! 1
1
! !
1 con
!
!
1
+ +

|
.
|

\
|
+
=
|
.
|

\
|
+
= =
|
.
|

\
|
=
|
.
|

\
|
=
|
.
|

\
|
= =
} } } } } } } }
} }
} }

k
x
x
k
s
x
x
x
x
x
x
x
x
x
k k
x
x
k
s
x
i
k
x
x
x
x
k
x
x
x
x
ds
k
dx
k
k dx dx dx dx k ds dx
x f
dx x f dx x F x f k
dx x f
k
dx x F x f I
k


Ejemplo 1. Supongamos que deseamos resolver la integral doble
( ) ( )
} }
x u
dvdu u f v f
0 0

, donde ( ) R x
x
x f e
+
= ,
1
1
2

Luego segn el teorema
( ) ( )
} } } } } }
|
.
|

\
|
+ +
=
+ +
=
x x u u x u
dv dv
v u
dvdu
v u
dvdu u f v f
0 0 0
2 2 2
0
2
0 0 1
1
1
1
1
1
1
1

Entonces por un lado se tiene que
( ) 11 tan
1
1
1
1
1
1
0
1
2
0 0 0
2 2
} } } }

+
=
|
|
.
|

\
|
+ +
x x x u
udu
u
dv dv
v u

Haciendo u w
1
tan

= se tiene que dx
x
dw
2
1
1
+
= , luego (11) queda
( )
2
1
tan
0
2
tan
0 0
1
2
tan
2
1
2
1
tan
1
1
1
1
x w wdw udu
u
x
x x

= = =
+

} }

Con lo cual se tiene que




( )
} } }
|
|
.
|

\
|
+
= =
+ +

x x u
du
u
x dvdu
v u 0
2
0
2
2
1
2
0
2
.
1
1
2
1
tan
2
1
1
1
1
1

de donde se cumple la igualdad.
Ejemplo 2. Utilice la Ec.(1) con 2 = n

y 3 = n , para comprobar el siguiente resultado
( )
}

= 12 . 2
2
2
t dx e
x

Solucin:
Este ejemplo lo haremos usando 2 = n

y 3 = n

en la frmula (1) del teorema.
Para : 2 = n

.
! 2
1
2
0
2
0 0
2 2
2 2 2
|
|
.
|

\
|
=
|
|
.
|

\
|
} } }

R
x
R R
y x
dx e dx dy e e

Tener presente que
} }

=
R
x
R
x
dx e dx e
0
2 2
2 2
lim 2 (la funcin es par)
Entonces
( ) 13 lim 4 ! 2 lim 2 lim
2 2
0
2 2
2 2 2 2
|
|
|
.
|

\
|
= =
}} } }

dA e e dx e dx e
R
C
y x
R
R
x
R
R
R
x
R

donde
R
C

es la regin dada en coordenadas polares
( )
)
`

s s s s =
4
0 , 0 / ,
t
u u R r r C
R

Luego en la Ec. (13) se tiene:
|
|
.
|

\
|
=

} } }
u
t
rdrd e dx e
r
R
R
R
R
x
R
2
2
2
1
0
4
0
2
lim 8 lim
O bien,

Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 7

7
Aplicaciones de las integrales anidadas

t
t
t
u
t
2
0 lim , 1 lim 2
4
lim 8
lim 8 lim 2
2 2
2
2
2 2
2
1
2
1
0
2
1
2
1
0
4
0 0
2 2
=
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
|
.
|

\
|
|
|
.
|

\
|

|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
= =

} } } }
R
R
R
R
R
r
R
r
R
R
R
x
R
x
e e
e
rdr e d dx e dx e



Para : 3 = n

( )
.
! 3
1
3
0
2
0
2
1
0 0
2
2 2 2
|
|
.
|

\
|
=
} } } }
+ +
R
x
R
z y x
R R
dx e dx dzdy e

Tener presente que
} }

=
R
x
R
x
dx e dx e
0
2
1
2
1
2 2
lim 2 (la funcin es par)
Entonces
( )
( ) 14 lim 8 ! 3 lim 2 lim 3
2
1
0
2 2
2 2 2
2 2
|
|
|
.
|

\
|
= =
}}} } }
+ +

dV e dx e dx e
R
E
z y x
R
R
x
R
R
R
x
R

donde
R
E

es la regin dada en coordenadas esfricas
( )
)
`

s s s s s s =
2
0 ,
2
0 , 0 / , ,
t
u
t
| u | R E
R

Luego en la Ec.(14) se tiene:
3
2
2
1
0
2
0
2
0
2
sin lim 48 lim
2
2
|
|
.
|

\
|
=

} } } }
u | |

t t
d d d e dx e
R
R
R
R
x
R





O bien,
( )
( )
|
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
.
|

\
|

|
.
|

\
|
=
|
|
|
.
|

\
|
|
|
.
|

\
|
+
|
.
|

\
|
=
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
|
|
.
|

\
|
=

}
}
}
} } } }
0 Re
2
1
lim pues
2
1
4
2
1
Re
2
1
lim 0 cos
2
cos
2
8
2
1
2
1
cos
2
lim 8
sin lim 8 2
2 2
2 2
2 2
2 2
2
1
3
2
1
0
3
2
1
0
2
1
3
0
2
1
0
2
1
2
0
3
2
2
1
0
2
0
2
0 0
2
1
R
R
R
R
R
R
R
R
R
R
x
d e
d e
d e e
d e d d dx e
t

t t
|
t
| | u

t t

Elevando al cubo a ambos miembros, se tiene:
2 4
2 8
0
2
1
2
0
2
1
2
1
0
3
0
2
1
2 2
2 2
t t
t

= =
|
|
.
|

\
|

|
|
.
|

\
|
=
|
|
.
|

\
|
} }
} }

dx e dx e
d e dx e
x x
x

Pero t
t
2
2
2 lim 2 lim
0
2
1
2
1
2
1
2 2 2
= = = =
} } }

R
x
R
R
R
x
R
x
dx e dx e dx e
Luego el resultado pedido
. 2
2
2
1
t =
}

dx e
x

Este es un resultado fundamental en probabilidad y estadstica.
Ejemplo 3. Partiendo de la definicin de funcin gamma ( ) dx x e a
a x 1
0

}
= I
encontrar ( ) | |
2
a I .
Solucin
( ) | |
( )
( )
}} }}
} } } }
+

= =
|
.
|

\
|
|
.
|

\
|
=
|
.
|

\
|
|
.
|

\
|
= I
2 2
1 1 1
1
0
1
0
1
0
1
0
2
R
a y x
R
a a y x
a y a x a x a x
dA xy e dA y x e
dy y e dx x e dx x e dx x e a

Hacemos el siguiente cambio de coordenadas:

Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 9

9
Aplicaciones de las integrales anidadas

( ) 15 , xy v y x u = + =
Estas ecuaciones definen una transformacin
1
T

del plano uv

en el plano . xy Pasamos
a las nuevas coordenadas:
( ) ( ) 16 , 1 uv y v u x = =
La aplicacin (E3.2) transforma el primer cuadrante del plano x, y en la semi-banda
1 0 , 0 s s < s v u

del plano u, v y viceversa. Se tiene
( )
( )
.
1
,
,
u
u u
v v
v u
y x
=

=
c
c

( ) ( )
( )
( ) ( )
( )
( ) ( ) a a a
dv v v du u e
u udvd v v u e dA xy e a
a a a u
a a a u
R
a y x
, 2
1
1
2
1
! 2 ! 2
0
1
0
1 1 1 2
0
1
0
1 1 1 1 2
2
B I =
=
= = I
} }
} } }}

+


[1] Funcin gama de Euler
Funcin beta ( ) ( ) dx x x q p B
q p 1 1
1
0
1 ,

=
}



Propiedad Si f es de orden exponencial en | ) , 0 , entonces
( ) ( ) { } ) 1 . (
1
0
TL t f
s
du u f
t
=
)
`

}

En general,
( ) ( ) { } ) 2 . (
1
1 2 1
0 0 0 0
1
3 2
TL t f
s
dt dt dt dt t f
n
n n
t t t t
n
=

} } } }

Dem. Usaremos la siguiente propiedad:
(transformada de una convolucin)
( ) ( ) { } ( ) { } ( ) { } t g t f t g t f = -
( ) dx x e a
a x 1
0

}
= I





donde g f - denota la convolucin de las funciones f y g y viene dada por la integral
( ) ( ) ( ) ( ) v v v d g t f t g t f
t
}
= -
0

Aplicando Transformadas a ambos miembros de la ecuacin (1) y usando la linealidad
de la transformada de Laplace, obtenemos
( ) ( ) ( )
( ) ( )
( ) { }
{ } ( ) { }
( ) { }
( ) { } t f
s
t f
s
n
n
t f t
n
t f t
n
du u f u t
n
du u f u t
n
dt dt dt dt t f
n
n
n
n
t
n
t
n
veces n
n n
t t t t
n

1
1
0
0
1 2 1
0 0 0 0
1
1
!
!
1
!
1
!
1
!
1
!
1
3 2
+
+

=
=
=
- =
)
`

=
)
`

=
)
`

}
} } } } }

Como ( ) ( ) ( ) t f d f d f
t t
- = =
} }
1 . 1
0 0
v v v v luego se sigue
( ) ( ) { } ( ) { } t f
s
t f du u f
t

1
1
0
= - =
)
`

}

Utilicemos la propiedad anterior para resolver el siguiente problema de valor
inicial

Ejemplo. Resolver el PVI.
( ) ( ) ( ) ( ) ( ) 4 0 , 3 0 , 0 2 3 = ' = = + ' ' ' y y t y t y t y

Solucin:
Despejando e integrando dos veces, usando las condiciones iniciales, se tiene:
( ) ( ) ( ) du d y du u y t t y
t u t
v v
} } }
+ =
0 0 0
2 5 3


Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 11

11
Aplicaciones de las integrales anidadas

Transformada de Laplace a ambos miembro de la ecuacin para obtener:
( ) { } { } { } ( ) ( )
( ) { } ( ) { } t f
s
t f
s s s
du d y du u y t t y
t u t


2 2
0 0 0
2 1 5 3
2 5 3
+ =
)
`

)
`

+ =
} } }
v v

Luego, reuniendo trminos semejantes:
( ) { } ( ) { }
( )( ) 1 2
5 3 5 3 2 3
1
2 2


= = |
.
|

\
|
+
s s
s
t y
s s
t y
s s


Al usar fracciones parciales se obtiene:
( ) { }
1
1
2
1

=
s s
t y

Con lo cual, la solucin viene dada por tanto:
( ) et e t y
t
+ =
2

Ejemplo 1. Resolver el PVI:
( ) ( ) ( ) 1 0 , 0 0 ; 2 sin = ' = = ' ' y y x x y

(primera forma)
Reemplazando en la frmula (2), con 0 , 2
0
= = x n , tenemos:
( ) ( )
( )

}
=

+ =
2
1
2 2
0
1
! 2
) 2 sin(
! 1
1
k
k k
x
x
k
c
ds s s x x y

O bien,
( ) ( )
0
1
0 ! 1
) 2 sin( c x
c
ds s s x x y
x
+ + =
}

Reemplazando los valores de 1 , 0
1 0
= = c c en la ecuacin anterior
( ) ( ) x ds s s x x y
x
}
+ =
0
) 2 sin(

Haciendo integracin por partes en el primer trmino del segundo miembro de la
ecuacin, tenemos
ds s dv s x u ) 2 sin( , = =

luego




) 2 cos(
2
1
, s v ds du = =

Luego aplicando la frmula de integracin por partes
( ) ( ) x ds s s s x x y
x
x
}
+ =
0
0
) 2 cos(
2
1
) 2 cos(
2
1

O bien, se tiene finalmente la solucin:
( ) ) 2 sin(
4
1
2
3
x x x y =

(segunda forma)
Despejando e integrando dos veces, usando las condiciones iniciales, se tiene:
( ) ( ) t du d t y
t u
+ =
} }
v v
0 0
2 sin

Transformada de Laplace a ambos miembro de la ecuacin para obtener:
( ) { } ( )
( ) { }
2 2 2
2 2
2
0 0
1
4
2 1
1
2 sin
1
1
2 sin
s s s
s
t
s
s
du d t y
t u
+
+
=
+ =
+
)
`

=
} }

v v

Luego, transformada inversa a ambos miembros de la ecuacin, se tiene
( ) ( ) ( ) a t t t t y + - = 2 sin

Pero
( ) ( ) ( ) ( ) ( ) ( ) ( )
2
2 sin
4
1
2 sin
4
1
2 cos
2
1
2 sin 2 sin
0
0
t
t v v t dv v t t t
t
t
+ = = = -
}
v v

Reemplazando en (a) obtenemos finalmente la solucin:
( ) ( ) t t t y
2
3
2 sin
4
1
+ =




Jos Albeiro Snchez Cano_ Universidad EAFIT_ 2011 Pgina 13

13
Aplicaciones de las integrales anidadas

Ejemplo. Demuestre la frmula:
( )
( ) { } ( ) { } ( ) ( )
( )
( )
( )
( ) 0 0 0 0
1 2 2 1
' =
n n n n n n
y sy y s y s t y s t y

Solucin:
Como
( )
( )
( )
( )
( )
( )
( )
( ) ( ) ( ) 3 0 0 ,
!
0
0
1
1 2 1
0 0 0 0
1
3 2
y y t
k n
y
dt dt dt dt t y x y
n
k
k n
k n
n n
t t t t
n
n
=

=

} } } }
=

usando la transformada de la place y usando la frmula T, se tiene
( ) { }
( )
( )
( )
( )
( )
{ }

} } } }
=

)
`

=
n
k
k n
k n t t t t
n n
n
t
k n
y
dt dt dt dt t y t y
n
1
0 0 0 0
1 2 1 1
,
!
0
3 2


O bien,
( ) { }
( )
( ) { }
( )
( )
( )
( )

=
+

=
n
k
k n
k n
n
n
s
k n
k n
y
t y
s
t y
1
1
,
!
!
0 1


O despejando
( )
( ) { } t y
n
se tiene
( )
( ) { } ( ) { }
( )
( )
( ) { }
( )
( )

=

=
+

=
=
n
k
k k n n
n
k
k n
k n
n n n
s y t y s
s
y
s t y s t y
1
1
1
1
, 0
,
0

Que es lo que se quera probar.
( )
( ) { } ( ) { } ( ) ( )
( )
( )
( )
( ) 0 0 0 0
1 2 2 1
' =
n n n n n n
y sy y s y s t y s t y

Conclusiones
Al resolver un problema de valor inicial se encontr la solucin general en forma
cerrada ms.

Bibliografa




[1] Chilov, G. E. Analyse Mathmatique, Fonctions de plusieurs variables relles,
ditions Mir, moscou, 1975.
[2] Garca J. O,Villegas G. ,J. Castao B., J, Snchez C., J. Ecuaciones Diferenciales.
Fondo Editorial Universidad EAFIT, 2010.