Você está na página 1de 9

INTEGRALES DEPENDIENTES DE UN PARMETRO

Las soluciones de una gran cantidad de probleas !ue aparecen en aplicaciones


ate"ticas# se presentan en $ora de una integral del tipo
( ) ( )

b
a
dx t x f t I ,
% La
&ariable t se suele denoinar par"etro de la integral e I(t) integral dependiente de un
par"etro%
Puede ocurrir !ue el integrando# f(x,t)# sea una $unci'n no acotada# o bien !ue el
doinio de la integraci'n sea no acotado% Se trata entonces de una integral ipropia
dependiente de un par"etro% En este caso# es necesario in&estigar pre&iaente la
con&ergencia uni$ore de la integral%


(% INTEGRALES DEPENDIENTES DE UN PARMETRO
)% INTEGRALES IMPROPIAS DEPENDIENTES DE UN PARMETRO






(% INTEGRALES DEPEPENDIENTES DE UN PARMETRO

1.1.Definicin. Integral impropia de primera especie dependiente de
parmetro.
Dados el rect"ngulo
( ) { } d t c b x a t x < , : , R
* la $unci'n
( ) t x f ,
de$inida en
+l# se supone !ue para cada &alor
[ ] d c t ,
e,iste la integral
( )

b
a
dx t x f ,
# lo !ue perite
de$inir la $unci'n
( ) ( )

b
a
dx t x f t I ,
# con
[ ] d c t ,
%
Esta integral se denoina integral dependiente del par"etro t%
NOTAS-
1) Se puede generalizar la definicin a integrales dependientes de n
parmetros. Sea
R R
+1
:
n
f
de modo que para todo
( )
n
n
A t t t R ,...,
1

existe
( ) ( ) ( )


b
a
b
a
n
dx t x f dx t t x f t I . , ,..., ,
1
( ) t I
se denomina integral dependiente del parmetro n-dimensional
n
t R
o de
los parmetros
R
n
t t ,...,
1
.
Ms generalmente, se puede definir
( ) ( )
( )
( )
( ) ( )
( )
( )


n
n
t t t b
t t t a
n
t b
t a
dx t t t x f dx t x f t I
,... ,
,... ,
2 1
2 1
2 1
. ,... , , ,
donde
R R
n
A b a : ,
.
) !am"i#n se puede definir la integral de una funcin
[ ] R d c D f , :
, con
n
D R
,
( )

D
x d t x f ,
, respecto del parmetro escalar t. Se de"e tener en
cuenta que, en este caso, se trata de una integral de $iemann en
n
R
.

1.2.Teorema. Continuidad de la integral dependiente de un parmetro.
Si
( ) t x f ,
es continua en
[ ] [ ] d c b a R , ,
# entonces la $unci'n
( ) ( )

b
a
dx t x f t I ,
es
continua en el inter&alo
[ ] d c,
%

1.3.Corolario. Paso al lmite bajo el signo integral.
Si la $unci'n
( ) t x f ,
es continua en el rect"ngulo $# entonces
( ) ( ) ( ) ( ) dx t x f dx t x f dx t x f t I
b
a
b
a
t t
b
a
t t
,
lim
,
lim
,
0 0
0 0



siendo
0
t
un &alor $i.o cual!uiera del inter&alo
[ ] d c,
%
E/EMPLO-
( ) ( ) ( ) 2 1 2
lim
cos 1 2
lim
2
1
2
1
0
2
0



dx x dx tx x
t t

1..Deri!acin bajo el signo integral. Teorema de "eibni#.
Si las $unciones
( ) t x f ,
*
( )
t
t x f

,
son continuas en el rect"ngulo
[ ] [ ] d c b a R , ,
#
entonces
( )
( )

b
a
dx
t
t x f
t I
,
'
para todo
[ ] d c t ,
%
NOTAS-
1) Si t es c d, I%(t) se refiere a la deri&ada lateral correspondiente.
) Si se conoce una funcin '(x,t) tal que
( ) t x f
x
F
,

, entonces se puede
calcular
( ) ( ) ( ) ( ) t a F t b F dx t x f t I
b
a
, , ,

( tam"i#n su deri&ada
( )
( ) ( )
t
t a F
t
t b F
t I

, ,
'
.
)l teorema anterior permite calcular la deri&ada I%(t) sin el pre&io conocimiento de
la primiti&a '(x,t).

1.$.Teorema de "eibni# generali#ado.
Se considera el recinto
( ) ( ) ( ) { } d t c t b x t a t x S , / ,
2
R
, donde a(t) * "(t)
son $unciones deri&ables en el inter&alo
[ ] d c,
%
Sea
( ) ( )
( )
( )
dx t x f t I
t b
t a

,
donde
( ) t x f ,
*
( ) t x f
t
,
son continuas en S# entonces
( )
( )
( )
( )
( ) ( ) ( ) ( ) ( ) ( ) t a t t a f t b t t b f dx
t
t x f
t I
t b
t a
' , ' ,
,
' +


1.%.Teorema. Integracin respecto al parmetro.
Si f(x,t) es continua en el rect"ngulo
( ) { } d t c x a t x R , / ,
, entonces la
$unci'n
( ) ( )

b
a
dx t x f t I ,
es integrable en el inter&alo
[ ] d c,
* ade"s se &eri$ica !ue-
( ) ( ) ( ) dx dt t x f dt dx t x f dt t I
b
a
d
c
d
c
b
a
b
a


,
_

,
_

, ,
%

1.&.'plicacin al clculo de integrales.
Los resultados (%0# (%1 * (%2 periten calcular el &alor de algunas integrales
coplicadas%
a3 Se desea calcular
( )

b
a
dx t x f ,
# * se puede calcular "s $"cilente
( )

b
a
dx t x g ,

donde e,iste un n4ero natural n tal !ue
( )
( ) t x f
t
t x g
n
n
,
,

%
Se calcula entonces
( ) ( ) t I dx t x g
b
a

,
# * se deri&a esta igualdad n &eces
5aplicando el teorea de Leibni63# obteni+ndose la integral deseada%

NOTAS-
1) * &eces simplifica los clculos introducir el parmetro t en los l+mites de
la integral (&ese e,emplo resuelto ).
) Se pueden calcular un gran n-mero de integrales a partir de las
siguientes funciones
( ) .
1
, cos , sen , , , cos , sen : ,
2 2
t x
tx e tx e e x tx tx t x g
ax ax tx t
+

b3 Integraci'n de$inida-
Se desea calcular
( )

b
a
dx t x f ,
# * se puede calcular "s $"cilente
( )

b
a
dx t x g ,
#
siendo
( )
( )
t
t x f
t x g

,
,
%
Se deterinan los &alores c * d tales !ue
( ) ( )


d
c
t x f du u x g , ,
% Entonces
( ) ( ) ( )


,
_

,
_

d
c
b
a
b
a
d
c
b
a
du dx u x g dx du u x g dx t x f , , ,
%
NOTA. c ( d podr+an depender de t.

c3 Integraci'n inde$inida-
Se desea calcular
( )

b
a
dx t x f ,
* se puede calcular "s $"cilente
( )

b
a
dx t x g ,

siendo
( )
( )
t
t x f
t x g

,
,
% Aplicando el teorea de Leibni6 a
( ) ( )

b
a
dx t x f t I ,
se
obtiene
( ) ( ) ( ) t dx t x g t I
b
a

, '
%
Entonces
( ) ( )

+ C dt t t I
# pudi+ndose deterinar la constante 7 dando un
&alor sencillo al par"etro t en
( ) ( )

+
b
a
C dt t dx t x f ,
%

d3 Introducci'n de par"etros-
Para e&aluar una integral puede ser con&eniente la introducci'n de un
par"etro * aplicar alguno de los resultados de (%8# (%0# (%1 ' (%2%


ejemplo resuelto(
)ea
( )
( )
dx
x
tx
t J
t

+
+

0
2
1
1 log
con
1
]
1

2
5
2
1
, t
. )e pide(
a* +studiar la deri!abilidad , calcular
( ) t ' J
.
b* -btener una e.presin de
( ) t J
en la /ue no apare#can integrales.
c* Calcular
( )
dx
x
tx
t

+
+
0
2
1
1 log
.


SOLU7I9N
a3 Puede coprobar el lector !ue
( )
( )
2
1
1 log
,
x
tx
t x f
+
+

*
( )
( )( ) tx x
x
t
t x f
+ +

1 1
,
2
son $unciones continuas en el con.unto
( )

'


2
5
2
1
, 0 / , t t x t x
%
Por tanto e,iste
( ) t J '
&eri$ic"ndose# seg4n el teorea de Leibni6
generali6ado# !ue
( )
( ) ( )
( )

+
+
+
+ +

t
t
t
dx
x tx
x
t J
0
2
2
2
1
1 log
1 1
'
.

b3 Al ser
( )
( ) ( )
( )

+
+
+
+ +

t
t
t
dx
x tx
x
t J
0
2
2
2
1
1 log
1 1
'
0 reali6ando la integral por
descoposici'n en $racciones siples# cu*os c"lculos de.aos al lector# se obtiene-
( )
( )
( )
( )
( )
( )
( )
2
2
2 2
2
2 2
2
1
1 log
2
1
1
arctg
1
1 log
1
arctg
1
1 log
2
1
'
t
t
t
t t
t
t
t
t t
t
t
t J
+
+
+
+

+
+
+
+
+
+
+

7oo
( ) 0 0 J
# se tiene !ue
( ) ( )
( )
du
u
u
du
u
u u
du u J t J
t t t

+
+
+
+

0
2
2
0
2
0
1
1 log
2
1
1
arctg
'
%
Integrando por partes la priera integral# con
du
u
u
dv
2
1+

# se obtiene
( ) ( )
( ) ( )
du
u
u
du
u
u
u u t J
t t
t

+
+
+
+
+

1
]
1

+
0
2
2
0
2
2
0
2
1
1 log
2
1
1
1 log
2
1
1 log arctg
2
1
# luego
( ) ( )
2
1 log arctg
2
1
t t t J +
%

c3 Obs+r&ese !ue la integral pedida es
( ) 1 J
# luego
( )
( ) 2 log
8 2
2 log 1 arctg
1
1
1 log
1
0
2


+
+

J dx
x
x
%

O:SER;A7I9N- /n m#todo usual para e&aluar integrales como la del apartado c)
es construir una integral que dependa de un parmetro ( tal que la integral
pedida corresponda a un &alor del parmetro.
0alculamos entonces la integral utilizando las t#cnicas descritas en este
cap+tulo, deri&acin e integracin respecto a un parmetro fundamentalmente,
sustitu(endo posteriormente el &alor del parmetro correspondiente en la
integral pedida.
Calcular
( )

t
k k
x
dx
I
5
0 2
1
0 para 1210 20 30..


Soluci'n copleta
Introducios el par"etro t * resol&eos la integral dependiente de un
par"etro para
1 k
-
( ) 5 arctg
1
arctg
1
1
5
0
5
0
5
0
2
2
2 2
t
t
x
t
t
x
t
dx
t x
dx
t I
t x
x
t t

,
_

,
_





7alculaos la deri&ada del integrando-
( )
2 2
1
,
t x
t x f
+

#
( )
( )
2
2 2
2 ,
t x
t
t
t x f
+


Deri&aos la integral dependiente del par"etro t directaente *
deri&ando el resultado obtenido al calcular la integral-
( ) ( ) ( ) ( )
( )

+
+

t t
t
dx
t x
t
t f t t f dx t x
t
f
t I
5
0
2 2
2 2
5
0
26
1
5
2
0 , 0 5 , 8 , '
( ) 5 arctg
1
'
2
t
t I


Obteneos la integral para
2 k
%
Igualaos abas e,presiones para despe.ar posteriorente la integral-
( )
5 arctg
1
26
1
5
2
2
5
0
2 2
2 2
t t
dx
t x
t
t

+
+

( ) ( )
2
5
0
2
2 2
2
5
0
2
2 2
52
5 arctg 26 5
5 arctg
26
5 1
2
t
dx
t x
t
t
dx
t x
t
t t
+

+

,
_

+
+


La integral !ue buscaos es esta isa pero con
1 t
# luego sustituios
este &alor-
( )
2
5
0
2
2
52
5 arctg 26 5
1
+

t
x
dx

)% INTEGRALES IMPROPIAS DEPENDIENTES DE UN PARMETRO

La continuidad# deri&aci'n e integraci'n de las $unciones de$inidas ediante
integrales# pueden e,tenderse al caso en !ue estas integrales sean ipropias% Es
decir# a!uellas integrales de$inidas en inter&alos no acotados * las integrales de
$unciones no acotadas%

2.1.Definicin. Integral impropia de primera especie dependiente de
parmetro.
Sea
( ) t , x f
de$inida en el rect"ngulo in$inito
( ) { } d t c x a t x < , : , R
* tal
!ue para cada
[ ] d c t ,
la integral ipropia
( )

a
dx t x f ,
es con&ergente% Entonces
( )

a
dx t , x f ) t ( I
# con
[ ] d c t ,
es la $unci'n de$inida por una integral ipropia de
priera especie dependiente de un par"etro%

NOTAS-
1) )l inter&alo
[ ] d c,
puede ser tam"i#n infinito.
) 1a integral impropia con&erge para un punto
[ ] d c t ,
, si existe ( es finito el
l+mite
( )



M
a
M
t I dx t x f ) ( ,
lim
.
2) Se dice que la integral
) (t I
con&erge a"solutamente en
[ ] d c,
, si con&erge la
integral
( )

a
dx t x f ,
. $ecu#rdese que si
) (t I
con&erge a"solutamente
entonces con&erge.
3) 4e manera anloga se tra"a,a con funciones definidas mediante integrales
impropias del tipo
( )


a
dx t x f ,

( )


dx t x f ,
.

2.2.Definicin. Con!ergencia uniforme.
La integral ipropia
( )

a
dx t x f t I , ) (
es uni$oreente con&ergente en
[ ] d c,
si
para todo
0 >
e,iste
( ) a M M
tal !ue para todo
M b >
* todo
[ ] d c t ,
es
( ) <

b
dx t x f ,
%

NOTAS-
1) )l &alor M no de"e depender de t, sino que de"e ser &lido para cualquier
[ ] d c t ,
.
) )studiar la con&ergencia uniforme de una integral aplicando la definicin
puede ser mu( complicado. 5or ello es especialmente -til el siguiente
resultado.

2.3.Teorema. Criterio de 3eierstrass.
Supongaos !ue
( ) t x f ,
est" de$inida en
[ ) [ ] d c a R , ,
# !ue para cada
[ ] d c t ,
#
( ) t , x f
es integrable respecto a , en un inter&alo cual!uiera
[ ] M a,
# * !ue
ade"s se tiene !ue
( ) ( ) x g t x f ,
para todo
( ) R , t x
% Entonces# si la integral
( )

a
dx x g
es con&ergente# la integral
( )

a
dx t , x f
es uni$oreente con&ergente%
E/EMPLO-

a
x
sentdx e
con&erge uniformemente en
R
(a que
x -x
e sent e


para todo
( ) ) [ R , 0 , t x
(

a
x
dx e
es con&ergente.

NOTAS-
1) )l criterio de 6eierstrass proporciona una condicin suficiente de la
con&ergencia uniforme de las integrales impropias dependientes de un
parmetro. 5ero esta condicin no es necesaria.
) 1a importancia de la con&ergencia uniforme de las integrales impropias
dependientes de un parmetro es que permitir o"tener resultados so"re la
continuidad ( deri&a"ilidad de la funcin definida por la integral.

2..Propiedades de las integrales impropias uniformemente
con!ergentes.
a3 Continuidad- Si
( ) t x f ,
es continua en
R
* la integral
( )

a
dx t x f t I , ) (
con&erge uni$oreente en
[ ] d c,
# entonces
) (t I
es
continua en
[ ] d c,
%
b3 Integrabilidad- Si
( ) t x f ,
es continua en
R
* la integral
( )

a
dx t x f t I , ) (
con&erge uni$oreente en
[ ] d c,
# entonces
( ) ( )

,
_


,
_

a
d
c
d
c a
d
c
dx dt t x f dt dx t x f dt t I . , , ) (
c3 Diferenciabilidad- Si
( ) t x f ,
*
( )
t
t x f

,
son continuas en
R
, la integral
( )

a
dx t x f t I , ) (
con&erge para todo t * ade"s
( )

a
dx
t
t x f
t I
,
) (

con&erge uni$oreente en
[ ] d c,
# entonces
( )

a
dx
t
t x f
t I
,
) ( '
%

2.$.Definicin. Integral impropia de segunda especie.
Se denoina integral ipropia de segunda especie dependiente del par"etro t a
una integral de la $ora
( )

b
a
dx t x f t I , ) (
donde para cada
[ ] d c t ,
#
f
es continua
sal&o en un punto
[ ] b a,
* es in$inito alguno de los l<ites laterales de
( ) t x f ,

cuando x tiende a

%
NOTAS-
1) /sando la propiedad de aditi&idad respecto del inter&alo de integracin,
siempre se puede suponer que

es uno de los e,treos del inter&alo.


) 1a teor+a correspondiente a las integrales impropias de segunda especie
dependiente de un parmetro es anloga a la correspondiente a las de
primera especie.
2) 1a integral
( )

a
dx t x f t I , ) (
con
( ) t x f ,
continua sal&o en un punto
[ ] b a,
,
donde es infinito alguno de los l+mites laterales se denomina impropia de
tercera especie dependiente de un parmetro. 5ara tra"a,ar con este tipo de
integrales, se usa la aditi&idad respecto del inter&alo de integracin ( se
descompone
) (t I
en suma de integrales de 17 ( 7 especie. 1a integral
) (t I

ser con&ergente si lo son todos los sumandos de la descomposicin.