Professional Documents
Culture Documents
- M%todos de integraci&n.
1.- Integral indefinida. Definiciones
Definici&n: Dada una funcin f(x), diremos que la funcin F(x) es una f'nci&n !ri#iti(a de f(x) en el intervalo [a, b], cuando se verifica que:
F ( x) = f ( x), x [ a, b]
* Ejem lo: Dada la funcin f ( x) = " x ! , entonces F# ( x) = x" es una rimitiva de f(x), F! ( x ) = x " + ! es otra rimitiva, F" ( x) = x " $ es otra, %%%% orque al derivar F#(x), F!(x) & F"(x) se obtiene f(x)% ro!osici&n: 'i F(x) es una rimitiva de f(x) & ( es una constante, entonces F(x) ) ( tambi*n es una rimitiva de f(x)% Demostracin: +a demostracin es evidente: 'i F(x) es una rimitiva de f(x) ( F ( x) + C ) = F ( x ) + C = F ( x) =
F ( x ) = f ( x )
f ( x ) F ( x ) +C
,ero tambi*n se da la ro osicin inversa, es decir: ro!osici&n: 'i F(x) & -(x) son dos funciones rimitivas de f(x) en [a, b], entonces su diferencia es una constante, es decir C : F(x) . -(x) / (, siendo ( una constante, ara todos los untos de dic0o intervalo%% Demostracin: ,or 0i tesis F(x) & -(x) son funciones rimitivas, entonces or definicin de rimitiva se verifica que F ( x) = f ( x) & G( x ) = f ( x ) , & en tal caso tenemos que: x [a, b ] F ( x ) = G( x) ( F ( x ) G ( x ) ) = F ( x ) G( x ) = 1 ,ero &a 0emos visto con anterioridad que si una funcin tiene derivada 1 en todos los untos de un intervalo entonces dic0a funcin es constante en dic0o intervalo, lue2o existe ( constante tal que:
F ( x) G ( x) = C
x [a, b ]
En virtud de los anteriores resultados odremos dar la si2uiente definicin de inte2ral indefinida:
Definici&n: +lamaremos integral indefinida de una funcin f(x) al conjunto de todas las rimitivas de la funcin, es decir, dada una funcin rimitiva F(x) de f(x) entonces llamaremos inte2ral indefinida de f(x) al conjunto:
{ F ( x) + C : C }
3 dic0o conjunto lo re resentaremos como
f ( x) dx = F ( x) +C %
* Ejem lo: Dada la funcin f(x) / "x !, como F(x) / x" es una rimitiva de dic0a funcin, la inte2ral rimitiva ser4 el conjunto de todas las funciones que resultan de sumarle un n5mero real a dic0a funcin, es decir:
"x
dx = x " + C ,
* Observacin: Es fundamental tener siem re resente que la inte2ral indefinida de una funcin es un conjunto de funciones%
f ( x) dx = f ( x) +C
k f ( x) dx = k f ( x) dx
k
( f ( x) + g ( x)) dx = f ( x) dx + g ( x) dx
+a demostracin de estas ro iedades es mu& sencilla bas4ndose en las ro iedades de las derivadas%
TI +*
E,EM L+*
Ti!o !otencial x a +# -. x a dx = a +#
f
n +#
x " dx =
f n 6 f dx =
n +#
-.
x! x ! ! x7 x %dx = = = " +# 7 7 ! !
( x " !) 7 7
" !
" +#
( x " !) 8 6"x ! dx =
Ti!o logar/t#ico # x dx = L x - .
ex dx = L(# + e x ) x #+ e
f dx = L f - . f
f f
Ti!o e0!onencial
f %e %dx = e - .
f %a f %dx = af -. La Ti!o coseno
dx =
Ti!o seno
cos x =sen x - .
f -.
# dx = t2 x - . cos ! x f dx = t2 f - . cos ! f
Ti!o cotangente
xdx = (# + t2 ! x #) dx = t2 x x
!
cos
cot g
sen
x # x
8
# # x f
# f
!
dx = arc sen x - .
dx = arc sen f - .
ex # e
!x
dx =
ex # (e )
x !
dx = arcsen e x
#+9x
dx =
; ; ; ; ;
<nte2rales que se sim lifican reviamente o que se descom onen% <nte2rales que se transforman en inmediatas% <nte2racin or sustitucin o cambio de variable <nte2racin or artes <nte2racin de funciones racionales
$.1.- Integrales 4'e se si#!lifican !re(ia#ente o se desco#!onen 3l2unas veces, antes de reali=ar la inte2ral corres ondiente, se rocede a sim lificar la ex resin or si de esa forma se uede inte2rar mejor% ,osteriormente, 0aciendo uso de las ro iedades de las inte2rales, se descom onen en otras m4s sencillas, transform4ndose en una sim le suma de inte2rales m4s elementales% >eamos al2unos ejem los:
(x
#) ! dx
( x ! #) ! dx = x 8 ! x ! +#dx = x 8 dx ! x ! dx + dx =
x7 !x" + x +C 7 "
!x" $x! 8 dx = x!
dx =
Solucin: ?ransformando las ra@ces en otencia, descom oniendo en suma de fracciones & sim lificando, tenemos:
! x " $" x 7 8 x ! x ! $ x " 8 x ! x ! $ x " 8 x ! x #1 $ x #7 8 x 7 = = ! ! ! = ! 7 ! " " " 7 7 7 7 " x "x "x "x "x
,or lo que la inte2ral nos queda:
"
"
##
#9
"
##
#9
"
##
#9
"
Solucin: 'i ex resamos las ra=ones tri2onom*tricas en ra=ones sim les, nos quedar4:
cos x 8 6sen ! x 8ctgx6sen ! x dx = senx dx = 8 cos x6senxdx = & re arando un oco la cosa: # cos x6sec x cos x6 cos x
( orque sen(!x)/!senx6cosx)
$.2.- Integrales 4'e se transfor#an en in#ediatas 3unque are=ca que son dif@ciles de reali=ar & que requieren un m*todo laborioso, 0a& inte2rales que se ueden resolver mediante el uso de la tabla de inte2rales inmediatas sin m4s que introducir al2unos cambios o modificaciones% >eamos al2unos ejem los:
# x 7+# x 8 # 7 dx = x dx = = = 8 +C 7 x 7 +# 8 8x
senx cos x cos x senx dx = dx = L senx + cos x + C basta a licar senx + cos x senx + cos x
f dx = L f f
7
e arcsenx # x !
%dx =
# # x !
f %e f %dx = e f
sec sec
( ! x + #) dx =
f dx = t2 f cos ! f
f dx = t2 f cos ! f
#+8
#
!x
#+ f
dx = arc t2 f
t2 x dx = sen x dx = L sen x
cos x
+ C basta a licar
f dx = L f f
x x
f dx = L f f
#+ f
f
!
$.".- Integraci&n !or s'stit'ci&n o ca#5io de (aria5le El m*todo de inte2racin or sustitucin o cambio de variable consiste en transformar la inte2ral dada, mediante un cambio de variable en otra inmediata o m4s sencilla de inte2rar% Dada la inte2ral
f ( x)dx = f ( g (t )) g (t )dt
a2
52
t ! x +# dt # # dx = ! = t ! dt = = = ! +C ! ! ( x + x +#) t # t x + x +#
x ! # + x " dx
'olucin:
" ! ! Bacemos el cambio # + x = t " x dx = !tdt !tdt ! Des ejamos en forma adecuada: x dx = & a0ora sustituimos: "
# + x dx =
"
# + x %x dx =
" !
# + x" =t !
se deduce que
# + x" =t
# dx x x #
'olucin: Bacemos el cambio x # = t o tambi*n, elevando al cuadrado, x;# / t! Diferenciando la i2ualdad anterior, dx / !t%dt ,or otra arte, de x;# / t! resulta x / #)t! 'ustitu&endo resulta:
# # # dx = %!tdt = ! dt = ! ( # + t )% t # + t! x x #
= !arctgt = !arctg x # + C
d2
sen
'olucin: El cambio que odemos reali=ar es el si2uiente: senx/t (,or ser im ar en cosx) De dic0o cambio resulta: cosxdx/dt & sustitu&endo en la inte2ral ro uesta obtenemos:
sen
/ (t ! t 8 )dt =
t" "
t7 7
sen 7 x 7
+C
e2
# dx x # x
x =t x =t! dx = !tdt
t # t
!tdt = !
# # t !
dt = ! arcsen t = ! arcsen
$.$.- M%todo de integraci&n !or !artes. El m*todo de inte2racin or artes consiste en transformar la inte2ral dada, mediante una transformacin b4sica en la diferencial del roducto, en otra inte2ral inmediata o m4s sencilla que la de artida% Dic0o m*todo slo se a licar4 cuando los restantes m*todos (en nuestro caso, el de sustitucin) no nos solucione nuestra inte2ral% +a inte2racin or artes se basa en la conocida frmula:
<nte2rando a ambos lados & teniendo en cuenta que la inte2ral de la derivada de una funcin es la misma funcin tenemos que:
u dv =d (u6v) v du = u v v du es decir, u dv =u v v du
E6e#!los:
x a2 I3 x6e dx
'olucin: ,ara reali=ar la inte2ral edida, a una ex resin debemos llamarle & a artir de ellas debemos recu erar du & tambi*n v % +lamamos
dv
u= x
dv = e x %dx
derivando inte2rando
Dbtenemos
du = dx v = e x dx = e x
u dv =u v v du
I = x6e x dx = xe x e x + C
52
I3 arc t2 xdx
'olucin:
u = arc t2 x dv = dx
du = v =x
# #+ x !
dx
Donde ' lo 0emos derivado ara obtener d' & d( lo 0emos inte2rado ara 0allar (% # dx 3 licando la frmula que 0emos indicado anteriormente, I = x% arct2 x x% #+ x! +a inte2ral resultante es de ti o lo2ar@tmico:
I = x% arct2 x # !x # dx = x% arct2 x L(# + x ! ) )( ! ! #+ x !
c2
! I3 x sen xdx
'olucin:
u = x! dv = sen xdx
caso:
! </ x cos x + ! x cos xdx % (*) 3 veces 0a& que re etir la inte2racin or artes como en este
u = !x dv = cos xdx
Observacin revia: Ea 0emos visto cmo se inte2raban al2unas de estas funciones, las del ti o arcotan2ente & las del ti o lo2aritmo (es decir, cuando el numerador era un m5lti lo de la derivada del denominador), ero como es evidente *stas su onen slo una equeFa arte de las funciones racionales que nos odemos encontrar% 3s@, en este a artado, vamos a am liar un oco el n5mero de las funciones racionales que odamos inte2rar (aunque slo un G ocoH, ues el n5mero de ellas que quedar4n fuera de nuestro alcance ser4 todav@a inmenso), or ser estas funciones bastante frecuentes% Debemos tener resente que existen muc0os otros m*todos de inte2racin ara otros ti os de funciones, ero que no odemos ver or lo limitado del tiem o o orque no entran dentro de nuestras necesidades% Ina ve= dic0o esto, comentaremos que el m*todo de inte2racin de funciones racionales est4 basado en la descom osicin de la fraccin en suma de fracciones m4s sencillas% 3dem4s, vamos a su oner que el 2rado del numerador es menor que el 2rado del denominador, ues en caso contrario, se 0ace la divisin & des u*s se inte2ra el cociente m4s el resto artido or el divisor, es decir, si
( x) dx donde el 2rado de (x) es i2ual o ma&or que el de q(x), entonces, dividiremos (x) !( x)
entre q(x), obteniendo un cociente c(x) & un resto r(x) !10234102.c102-r102 de donde
( x ) ! ( x )c ( x ) + r ( x ) r ( x) = = c( x ) + !( x) !( x) !( x)
,or tanto,
( x) r ( x) r ( x) = c( x) + dx = c ( x )dx + dx !( x) ! ( x) !( x)
tanto se inte2ra f4cilmente, & r(x) &a tiene 2rado menor que q(x), que es el verdadero roblema% ,or tanto, vamos a inte2rar
( x) dx !ero s'!oniendo 4'e el grado del n'#erador es #enor !( x)
4'e el grado del deno#inador & adem4s, nos limitaremos a las funciones racionales cu&o denominador tiene ra@ces reales, es decir que se uede descom oner en factores de 2rado #% (no veremos el caso en el que el denominador ten2a ra@ces ima2inarias) ,ara ello vamos a distin2uir los si2uientes casos: 8%7%#%; <nte2racin de funciones racionales slo con ra@ces sim les en el denominador: 8%7%!%; <nte2racin de funciones racionales con ra@ces m5lti les en el denominador: 8%7%"%; <nte2racin de funciones racionales con ra@ces sim les & m5lti les en el denominador: 8%7%#%; <nte2racin de funciones racionales slo con ra@ces sim les en el denominador: >amos a su oner que al 0acer la descom osicin de J(x) en factores rimos (Kuffini), obtenemos lo si2uiente: J(x) / L6(x . a#)6(x . a!)6MMM%6(x . an) El n5mero L que a arece al rinci io ser4 i2ual al coeficiente del t*rmino de ma&or 2rado, que vamos a su oner que es # ara sim lificar (en caso contrario slo 0a& que sacar dic0o n5mero fuera de la inte2ral)%
#1
Ina ve= factori=ado el denominador, el m*todo consiste en descom oner la funcin racional en otras funciones racionales m4s sim les que odremos inte2rar f4cilmente% El roceso el es si2uiente ( ara sim lificar vamos a 0acerlo su oniendo que el denominador tiene 2rado ", aunque se 0ar@a i2ual sea el 2rado que sea):
$( x) $( x) # " C = = + + %( x) ( x a# )6( x a ! )6( x a" ) ( x a# ) ( x a ! ) ( x a" )
30ora debemos 0allar los valores de 3, N & (, ara lo que sumaremos las tres fracciones e i2ualaremos coeficiente a coeficiente el numerador de esa suma con ,(x):
$ ( x) #6( x a ! )6( x a " ) + "6( x a# )6( x a" ) + C 6( x a# )6( x a ! ) = %( x) ( x a# )6( x a ! )6( x a" )
E6e#!lo:
8x ! + Ax + : x " + ! x ! x ! dx
3s@ ues, x " + ! x ! x ! = ( x #)6( x + #)6( x + !) % 'i2uiendo entonces lo visto anteriormente, tenemos que:
8 x ! + Ax + : # " C = #6( x +#)6( x + !) + " ( x #)6( x + !) + C 6( x #)6( x +#) = + + " ! ( x #)6( x + #)6( x + !) x + !x x ! x # x + # x + !
(omo los denominadores son i2uales, entonces los numeradores tambi*n deben serlo:
8 x ! + A x + : = #6( x +#)6( x + !) + " ( x #)6( x + !) + C 6( x #)6( x +#)
E dando valores a x ( referentemente, las ra@ces del denominador), 0allamos los valores 3, N & ( 'i x / # #A / 36!6" 3 / " 'i x / ;# ! / N6(;!)6# N / ;# 'i x / ;! : / (6(;")6(;#) ( / ! Es decir, 0emos conse2uido ex resar
8 x ! + Ax + : " # ! = + + " ! x + !x x ! x # x + # x + !
="6Ln x # Ln x + # +!6Ln x +! +C
8 x ! + Ax + : " # ! x " + ! x ! x ! dx = x # dx + x +# dx + x + ! dx =
= Ln ( x #) " 6( x + !) +C ( x +#)
8%7%!%; <nte2racin de funciones racionales con ra@ces m5lti les en el denominador: En las mismas condiciones del a artado anterior, vamos a su oner a0ora que el denominador descom one de la si2uiente forma: J(x) / (x . a)n ,ara sim lificar la ex licacin del m*todo vamos a su oner tambi*n que n / ", de donde 0abr4 que 2enerali=arlo a cualquier otencia% En ese caso la descom osicin en este caso ser4 la si2uiente:
$( x) $( x) # " C = = + + " ! %( x) ( x a) ( x a ) ( x a) ( x a) "
"
!x # dx "x ! + "x #
'i2uiendo lo anterior vamos a descom oner en fracciones m4s sim les, teniendo en cuenta que al descom oner el denominador obtenemos que:
x " " x ! + " x # = ( x #) "
Esta forma em leada ara calcular los coeficientes difiere de la em leada anteriormente, aunque odemos calcularlos tambi*n de aquella forma sustitu&endo tres valores cualquiera arriba (recomendable siem re sustituir el valor de la ra@= que nos da el valor de ( directamente)% Ina ve= 0ec0a la descom osicin, rematamos:
#!
8%7%"%; <nte2racin de funciones racionales con ra@ces sim les & m5lti les en el denominador: ,or 5ltimo, vamos a su oner que el denominador tiene tanto ra@ces sim les como m5lti les% ,or ejem lo un denominador del ti o: J(x) / (x . a#)6(x . a!)6(x . a")" (ombinando los dos m*todos anteriores, la descom osicin se 0ar@a de la si2uiente forma: $ ( x) $( x) # " C ' & = = + + + + " ! %( x ) ( x a# )6( x a ! )6( x a" ) ( x a# ) ( x a ! ) ( x a" ) ( x a" ) ( x a" ) " 3 artir de a0@ roceder@amos de la misma forma que antes% E6e#!lo
"x ! + : x + ! x " + 8 x ! + 7 x + ! dx
'i2uiendo i2ual que antes, vamos a descom oner en fracciones m4s sim les, teniendo en cuenta que al descom oner el denominador obtenemos que:
x " + 8 x ! + 7 x + ! = ( x + !)( x + #) !
E dando tres valores a x ( referentemente, las ra@ces del denominador), 0allamos 3, N & ( 'i x / ;# ;# / ( ( / ;# 'i x / ;! ! / 3 3 / ! 'i x / 1 ! / 3)!N)!( N / #
"x ! + : x + ! ! # # = + + " ! x + 8 x + 7 x + ! x + ! ( x + #) ( x + #) !
#"
"x ! + : x + ! ! # # x " + 8 x ! + 7 x + ! dx = x + ! dx + ( x + #) dx ( x + #) ! dx =
= !6Ln x + ! + Ln x + #
( x + #) # # + C = !6Ln x + ! + Ln x + # + +C # ( x + #)
#8