Professional Documents
Culture Documents
Clculo integral
Contenidos
6.1. La integral de Riemann 6.2. Caracterizacin y propiedades elementales 6.3. Teorema fundamental del clculo 6.4. Aplicaciones de la integral 6.5. Ejercicios
Saber denir el concepto de in Saber aplicar las propiedades Conocer y saber aplicar el teode linealidad y monotona de las integrales. rema fundamental de clculo para evaluar integrales o discutir ecuaciones. cular reas, utilizando el teorema fundamental del clculo, el cambio de variable, la integracin por partes. lar integrales. tegral de Riemann y conocer que las funciones continuas y montonas son integrables.
Competencias
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
216
Clculo integral
Una de las interpretaciones ms simples del concepto de integral de Riemann est vinculado con el concepto de rea bajo la grca de una funcin positiva y acotada f , denida en un intervalo acotado [a, b], que es representada simblicamente en la forma
b a
f (t) dt.
Intuitivamente la nocin de rea est conectada con principios bsicos bastante naturales: Elegir la unidad de medida, para la que tradicionalmente se adopta el cuadrado de lado unidad. Aceptar que el rea de un conjunto es un nmero mayor o igual que cero. Aceptar que si un conjunto se descompone en un nmero nito de subconjuntos disjuntos, entonces el rea del conjunto total es la suma de las reas de los subconjuntos. Aceptar que realizar movimientos rgidos en un conjunto no vara su rea. Con esos principios es sencillo asignar rea a rectngulos y tringulos, y por ende a regiones que admiten una descomposicin en tringulos, como los polgonos. Incluso se podra llegar a determinar el rea de un crculo a travs de las reas de una sucesin de polgonos regulares de n lados inscritos en l, o circunscritos a l, si tales lmites existieran. Pero, por qu limitarse a estos tipos especiales de guras? por qu no ir ms all dejndose guiar por los mismos principios? y poder as asignar rea a conjuntos ms generales. Esa es la perspectiva de la integral de Riemann que denimos en este captulo y cuyas propiedades estudiamos. Desde otro punto de vista, pero conectado con la nocin anterior, aparece la nocin de integral indenida F (x) =
x a
f (t) dt.
Ahora la integral se muestra como una funcin que podemos analizar con ayuda de la herramientas del clculo: estudiando su continuidad, derivabilidad, etc. El resultado de este anlisis nos lleva al clebre teorema fundamental de clculo, que establece el vnculo entre el clculo de derivadas (tangente a una curva) y el de integral de Riemann (rea bajo una curva), como problemas inversos, y proporciona una herramienta utilsima para la evaluacin de reas y el clculo de integrales. Las ideas pueden ser aplicadas y adaptadas a situaciones de otro tipo, tanto en el mbito de las matemticas (volmenes, supercies de revolucin...), de la ingeniera y la fsica (trabajo, energa, centros de gravedad, momentos de inercia...) de la estadstica y probabilidad o de la economa.
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
217
Desde los albores de la matemtica el clculo de reas de guras planas y de volmenes de cuerpos tridimensionales constituye un problema central. La matemtica griega desarroll un mtodo perfectamente riguroso para dicho clculo en casos complicados: el de guras o cuerpos curvilneos. los orgenes del llamado mtodo de exhauscin se remontan al siglo V a.d.C. con los trabajos de Hipcrates de Quos, pero alcanza su expresin rigurosa con Eudoxo de Cnido, en el siglo IV a.d.C., siendo esta aproximacin rigurosa posible en base a la teora de las proporciones de este matemtico y, muy especialmente, a la conocida hoy como propiedad arquimediana (vase la nota histrica de la pgina 44). La esencia del mtodo de exhauscin (que, en espaol, es ms habitualmente denominado exhaucin) es la siguiente: dada una gura curvilnea S, consideramos una sucesin de polgonos P1 , P2 , P3 ,. . . inscritos en S. El punto clave consiste en mostrar que el rea de la diferencia S Pn , es decir el rea de la regin no llenada por el polgono Pn , puede hacerse tan pequea como se desee eligiendo n sucientemente grande. Es en este punto en el que el Principio de Eudoxo resulta fundamental. La exposicin rigurosa de la idea anterior se completa con una doble reduccin al absurdo caracterstica del mtodo que, en trminos genricos, para probar la igualdad de dos cantidades a y b, supone alternativamente a > b y a < b, llegando en ambos casos a contradiccin. La fuente principal, anterior a Arqumedes, para el mtodo de exhauscin es el libro XII de los Elementos de Euclides; en l al menos ocho de las dieciocho Proposiciones utilizan el citado mtodo. Segn los comentarios de Arqumedes se puede concluir que Euclides debe gran parte de este libro XII a Eudoxo. La bsqueda de mtodos especcos para el clculo de reas continu a lo largo de la historia del clculo como uno de sus objetivos primordiales: slo con Leibniz y Newton esta bsqueda fue ligada al otro gran problema del clculo, el clculo de tangentes a curvas. Ese fue el momento en el que se considera creado el clculo innitesimal (o, si se preere, el clculo diferencial e integral).
6.1.
La integral de Riemann
A lo largo del captulo f : [a, b] ser siempre una funcin acotada aunque no se mencione explcitamente. Denicin 6.1.1 (1) Llamaremos particin de [a, b] a cualquier conjunto nito P = {t0 , t1 , . . . , tn } tal que t0 = a < t1 < t2 . . . < tn = b. El conjunto de todas las particiones de [a, b] lo designaremos con [a, b]. Denotaremos con Mi = sup[ti1 ,ti ] f (t) y con mi = [ti1 ,ti ] f (t) siendo t0 = nf a < t1 < t2 . . . < tn = b un elemento de P[a, b]. (2) Si P [a, b] llamamos suma superior y suma inferior de f correspondiente
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
218
Clculo integral
S(f, P ) =
i=1 n
s(f, P ) =
i=1
Mi
mi
a ti1 ti b a ti1 ti b Es sencillo ver la interpretacin geomtrica de tales sumas (vase la gura 6.1) y tambin que s(f, P ) S(f, P ), pues para cada i {1, . . . , n} se tiene mi Mi . A continuacin establecemos una relacin de orden en el conjunto de las particiones y estudiamos el comportamiento de las sumas inferior y superior respecto a dicho orden. Denicin 6.1.2 (1) Si P, P son particiones de [a, b] diremos que P es ms na que P , y escribiremos P P , si todos los elementos de P estn en P . En otras palabras, si P es un subconjunto de P . (2) Denotaremos con P P a la particin cuyos elementos son los puntos pertenecientes a alguna de las particiones P o P (obviamente es una particin pues contiene al menos los puntos a, b). Se trata de la particin unin de ambas. Proposicin 6.1.3 Sean P, P particiones de [a, b]. Entonces: (1) P P implica s(f, P ) s(f, P ).
ti1ti b
ti1ti b
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
219
(2) P P implica S(f, P ) S(f, P ). Demostracin: El resultado es inmediato si P tiene un punto ms que P . En efecto, sea P la particin a = t0 < t1 < . . . < tn = b y P la particin que consiste en todos los puntos de P junto con el punto s (ti1 , ti ). Entonces se verica: mi = nf f (t) f (t) := mi nf
[ti1 ,ti ] [ti1 ,s]
y mi = nf f (t) f (t) := m nf i
[ti1 ,ti ] [s,ti ] i1
Por tanto:
n j=1
j=1
mj (tj tj1 )+
n
ti1 ) +
m (ti i
s) +
j=i+1
mj (tj tj1 )
El caso general se obtiene reiterando. Corolario 6.1.4 Si P, P son particiones de [a, b] entonces s(f, P ) S(f, P ).
Demostracin: Obviamente P P P y lo mismo le ocurre a P . Podemos aplicar entonces la proposicin anterior s(f, P ) s(f, P P ) S(f, P P ) S(f, ) y obtenemos el resultado.
La propiedad expresada en este corolario da sentido a las deniciones que siguen. Denicin 6.1.5 (1) Se llama integral inferior (de Darboux) de f al nmero real
b a
(3) Se dice que f es integrable Riemann en [a, b] y se escribe f R[a, b] si las integrales inferior y superior de f coinciden. A ese valor comn se llama integral Riemann de f y se denota por
b a
f.
J. M. Mira S. Snchez-Pedreo
Anlisis Matemtico I
220
Clculo integral
El contenido geomtrico, para funciones positivas, de la denicin anterior es bastante claro y est relacionado con la asignacin de reas a cierto tipo de regiones planas, sea por exceso, sea por defecto, con el horizonte de que el valor de ambas asignaciones sea el mismo. Algo similar a lo que se hara con polgonos regulares inscritos y circunscritos a un crculo para calcular el rea de ste, o, ms generalmente, mediante la descomposicin en guras de rea conocida para determinar la supercie de un territorio. En este caso se recurre a la aproximacin mediante el rea de regiones que se descomponen en rectngulos. Observe que la integral inferior est bien denida ya que, segn el corolario, el conjunto {s(f, P ); P P[a, b]} est acotado superiormente por cualquier suma superior S(f, P ). En particular
b a
f S(f, P )
para cualquier P P[a, b]. Ahora, de forma anloga, {S(f, P ); P P[a, b]} est b acotado inferiormente por a f , de donde se obtiene que la integral superior est bien denida y, tomando nmos, se tiene:
b a
b a
6.2.
El siguiente resultado establece una caracterizacin til de la integrabilidad Riemann. Teorema 6.2.1 La funcin f : [a, b] es integrable Riemann si y solo si, para cada > 0 existe P P[a, b] tal que S(f, P ) s(f, P ) < . Demostracin: Supongamos que f R[a, b]. Dado > 0 existen particiones P1 y P2 tales que S(f, P1 ) 2 a b f s(f, P2 ) < . 2 a
b
f<
f<
Entonces basta sumar estas desigualdades para obtener S(f, P ) s(f, P ) < .
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
221
Recprocamente, supongamos que para cada existe una particin P que cumple la condicin S(f, P ) s(f, P ) < . Entonces jado existe una particin P tal que 0
b a
b a
Observe que la diferencia S(f, P ) s(f, P ) decrece cuando se rena la particin P , por tanto la caracterizacin anterior de la integrabilidad Riemann puede enunciarse, de forma equivalente, en la forma siguiente: f R[a, b] si y slo si para cada > 0 existe P P[a, b] tal que para cualquier otra P P[a, b] con P P se verica S(f, P ) s(f, P ) < . Ejemplos 6.2.2 (1) Como es fcil comprobar considerando las sumas superiores e inferiores, un ejemplo de una funcin no integrable Riemann en [0, 1] lo proporciona la funcin de Dirichlet D1 , denida como la funcin caracterstica de los irracionales del intervalo [0, 1], es decir, D1 (x) = 0 si x [0, 1] y D1 (x) = 1 si x ( \ ) [0, 1]. (2) En cambio la segunda funcin de Dirichlet D2 , denida como cero en los irracionales y D2 (x) = 1/q supuesto que x = p/q es irreducible, es integrable Riemann y su integral es cero, como posteriormente justicaremos. El corolario que sigue proporciona ejemplos ms importantes. Corolario 6.2.3 Sea f : [a, b] . (1) Si f es continua entonces f R[a, b]. (2) Si f es montona entonces f R[a, b].
n
Demostracin: Aplicaremos el teorema 6.2.1 teniendo en cuenta que: S(f, P ) s(f, P ) = (Mi mi )(ti ti1 ).
i=1
Cualquier funcin continua alcanza su supremo y su nmo sobre una intervalo cerrado y acotado, por tanto, si [ti1 , ti ] es uno de los intervalos denidos por una particin arbitraria, se verica: Mi = f (i) y mi = f (i ), para ciertos i, i [ti1 , ti ]. Por otro lado, si f es continua es uniformemente continua (teorema de Heine), por lo que para cada > 0 existe > 0 tal que si ti ti1 < entonces Mi mi = f (i) f (i ) < y por tanto ba n n (ti ti1 ) = . S(f, P ) s(f, P ) = (Mi mi )(ti ti1 ) < b a i=1 i=1
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
222
Clculo integral
Si f es montona creciente y f (a) = f (b) entonces es constante, por lo que es continua y, por tanto, integrable Riemann. Si f es montona creciente y f (a) < f (b) eligiendo una particin tal que ti ti1 < , f (b) f (a)
y por tanto S(f, P ) s(f, P ) < . As pues tanto las funciones continuas como las montonas son integrables Rie mann.
S(f, P, zi) :=
i=1
En trminos geomtricos las sumas de Riemann son sumas intermedias entre las sumas superiores y las sumas inferiores, en el sentido de que
n
i=1
a
Anlisis Matemtico I
ti1 ti b
J. M. Mira S. Snchez-Pedreo
223
Teorema 6.2.5 Sea f : [a, b] acotada. Las siguientes armaciones son equivalentes: (1) f es integrable Riemann en [a, b]. (2) Existe un nmero real A con la propiedad siguiente: para cada > 0 existe P0 P[a, b] tal que si P0 P P[a, b] se cumple |A S(f, P, zi )| < , para cualquier suma de Riemann correspondiente a P . Adems en ese caso A =
b a
f.
b a
Demostracin: Supongamos en primer lugar f R[a, b] y tomemos A = Dado > 0, sea P0 tal que S(f, P0 ) s(f, P0 ) < .
f.
Por tanto, si P0 P , se tiene S(f P i) s(f, P ) S(f, P0 ) s(f, P0) < . Por otro lado, para cualquier coleccin de puntos zi [ti1 , ti ] se tienen las desigualdades s(f, P ) S(f, P, zi ) S(f, P ) s(f, P ) que implican |A S(f, P, zi )| < . Veamos ahora el recproco. Supongamos que A cumple la condicin jada en el apartado (2). Dado tomamos P para que |A S(f, P, zi)| < y tomamos zi de modo que Mi f (zi ) < se tiene entonces:
n b a
S(f, P )
2(b a) 2(b a)
n i=1
i=1
(ti ti1 ) =
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
224
Clculo integral
En resumen, para cada > 0 existe una particin P con |A S(f, P )| < . De forma anloga puede probarse que |A s(f, P )| < y en consecuencia S(f, P ) s(f, P ) = |S(f, P ) A + A s(f, P )| < 2. Esto prueba, de acuerdo con el corolario 6.2.1, que f es integrable Riemann en b [a, b] y, como hemos probado en la anterior implicacin, A = a f . El teorema anterior establece que, en algn sentido (que no detallaremos aqu), la integral de Riemann corresponde a un cierto concepto de lmite para las sumas de Riemann cuando las particiones se ordenan mediante renamiento. Otra manera de presentar la integral como lmite es a travs de la norma de la particin. Denicin 6.2.6 Si P = {t0 = a < t1 < t2 < . . . < tn = b} es una particin del intervalo [a, b] se llama norma de la particin a := mx{ti ti1 : 1 i n}. a Lema 6.2.7 Sea P una particin de [a, b] obtenida a partir de la particin P aadindole k puntos y sea la norma de la particin P . Sea f : [a, b] una funcin acotada con m f (x) M para todo x [a, b]. Entonces
|S(f, P, zi) S(f, P , zj )| < (M m)k supuesto que los puntos zi y zj coinciden en aquellos intervalos de P que no han sido subdivididos por la particin P .
Demostracin: Consideremos en primer lugar que k = 1. En tal caso todos los sumandos, salvo uno, de la suma de Riemann S(f, P, zi) coinciden con los correspondientes sumandos de S(f, P , zj ). Por tanto el valor de
|S(f, P, zi) S(f, P , zj )|
coincide con siendo u el nuevo elemento de P introducido entre dos elementos sucesivos, t < s, de la particin P . Pero |f (z)(t s) (f (z )(t u) + f (z )(u s))| = |(f (z) f (z ))(t u) + (f (z) f (z ))(u s)| (M m)(t u) + (M m)(u s) (M m) As pues, cada adicin de un nuevo punto a la particin incrementa el valor de |S(f, P, zi) S(f, P , zj | a lo ms en (M m) de donde se obtiene el resultado buscado.
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
225
Teorema 6.2.8 Sea f : [a, b] acotada. Las siguientes armaciones son equivalentes: (1) f es integrable Riemann en [a, b]. (2) Existe un nmero real A con la propiedad siguiente: para cada > 0 existe > 0 tal que para cada particin P de norma menor que se cumple |A S(f, P, zi )| < , para cualquier suma de Riemann correspondiente a P . Adems en ese caso A =
b a
f.
Demostracin: Es claro que si se cumple el segundo apartado entonces tambin se cumple el segundo apartado del teorema 6.2.5 y por tanto f es integrable. Recprocamente, si f es integrable, entonces, aplicando de nuevo el teorema 6.2.5, dado > 0 existe una particin P0 tal que para toda particin P ms na que P0 se tiene |A S(f, P , zi )| < , (6.1) 2 para cualquier eleccin de zi . Sea k el nmero de puntos de la particin P0 y sean m, M tales que m f (x) M para todo x [a, b]. Elamos > 0 de modo que (M m)k < /2. Sea P una particin de norma menor que y sea P = P P0 . Entonces aplicando el lema precedente se tiene que
|S(f, P, zi) S(f, P , zj )| (M m)k <
(6.2)
(eligiendo los puntos zj como iguales a los zj para los que se sitan en los intervalos de P que no han sido subdivididos por los puntos de P0 ). Las frmulas (6.1) y (6.2) junto con la desigualdad triangular nos permite concluir que
es lineal.
Demostracin: Es conocido (y sencillo de probar) que el conjunto de las aplicaciones acotadas de [a, b] en es un espacio vectorial. En consecuencia, para probar
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
226
Clculo integral
que R[a, b] es un espacio vectorial basta vericar que si f, g R[a, b] y k , entonces f + g R[a, b] y kf R[a, b]. De acuerdo con el teorema 6.2.5, dado existe P0 tal que para P0 P se cumplen b b f S(f, P, zi) < y g S(g, P, zi) < , 2 2 a a con lo que utilizando la desigualdad triangular tenemos
b a
f+
b a
g S(f + g, P, zi) =
b a
f S(f, P, zi) +
b a
f +g =
b a
f+
b a
g.
Para la funcin kf se procede anlogamente: por la integrabilidad de f jado > 0 existe P0 tal que para P0 P se cumple
b a
pero entonces k
b a
b a
As pues, kf R[a, b] y
kf = k
f.
b a
Proposicin 6.2.10 Sean f, g R[a, b]. (1) Si f (x) g(x), para todo x [a, b], entonces
b a
b a
g.
b a
f M(ba).
Demostracin: Obviamente s(f, P ) s(g, P ) para cualquier particin, de donde se sigue de forma inmediata el primer apartado. El segundo es consecuencia directa del primero.
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
227
Dada una funcin f : [a, b] se denen las funciones parte positiva de f y parte negativa de f mediante: f + (x) = mx{f (x), 0}, f (x) = m a n{f (x), 0}. Es decir: f + (x) = f (x) si f (x) 0 0 si f (x) < 0 f (x) = 0 si f (x) 0 f (x) si f (x) < 0
que son fciles de vericar distinguiendo en cada caso, segn el signo de f (x). Proposicin 6.2.11 Si f R[a, b] entonces f + , f , |f | R[a, b] y se verica
b a
b a
|f |
Demostracin: Denotemos con Mi , mi el supremo y el nmo, respectivamente, de f + en [ti1 , ti ]. Entonces se tiene: Mi mi Mi mi En efecto, si f no cambia de signo en [ti1 , ti ] la desigualdad es evidente (pues, o bien f + = f o bien f + = 0), y si f cambia de signo basta tener en cuenta que Mi+ = Mi , mi = 0 y mi < 0. Como consecuencia de ello tenemos S(f + , P ) s(f + , P ) S(f, P ) s(f, P ) y, como f es integrable Riemann podemos aplicar la caracterizacin de integrabilidad del teorema 6.2.1 y concluir que f + R[a, b]. Utilizando la linealidad de la integral se obtiene entonces que f = f + f y |f | = f + + f son integrables Riemann en [a, b]. La acotacin b b f |f |
a a
Una consecuencia de los resultados anteriores es que si |f (x)| M para todo x [a, b] entonces
b a
f M(b a)
(6.3)
228
Clculo integral
f=
c a
f+
b c
f.
(2) f R[a, c] y f R[c, b] implica f R[a, b]. Demostracin: Para la primera parte vamos a demostrar algo ms general: que dado un intervalo arbitrario [, ] [a, b], si f R[a, b] entonces f R[, ]. En particular tomando [, ] = [a, c] y [, ] = [c, b] obtendremos el resultado deseado. Para ello consideremos, para cada > 0, una particin P P[a, b] tal que S(f, P ) s(f, P ) < . No hay inconveniente en suponer que y son puntos de P , pues, en caso contrario, podemos renar P aadindole dichos puntos, y la desigualdad anterior sigue siendo cierta. Si ahora en la suma S(f, P ) s(f, P ) = n (Mi mi )(ti ti1 ) tomamos i=1 slo los trminos correspondientes a subintervalos [ti1 , ti ] contenidos en [, ], obtendremos una cantidad menor, y, as, tenemos una particin P P[, ] tal que S(f, P ) s(f, P ) < , por lo que f R[, ]. Para la segunda parte, dado > 0, existen P1 P[a, c] y P2 P[c, b] tales que: S(f, P1 ) s(f, P1 ) < y S(f, P2 ) s(f, P2 ) < 2 2 Si tomamos P = P1 P2 entonces P i P[a, b] y tenemos: S(f, P ) s(f, P ) = (S(f, P1 ) s(f, P1 )) + (S(f, P2 ) s(f, P2 )) < por tanto f es integrable Riemann en [a, b]. b c Para probar la igualdad a f = a f + cb f consideremos, con la notacin anterior, las desigualdades: s(f, P ) = s(f, P1 ) + s(f, P2 ) Puesto que tambin se verica s(f, P ) tenemos:
b a b a c a
f+
b c
f S(f, P )
c a
d c
La desigualdad anterior es cierta para todo > 0, por lo que se tiene la igualdad buscada.
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
229
f = 0.
f =
b a
f.
Con esa denicin para a, b, c arbitrarios, con las hiptesis de integrabilidad adecuadas, se verica
c a
f+
b c
f=
b a
El lector puede convencerse de ello utilizando la denicin anterior y considerando los diferentes casos que pueden presentarse en las posiciones relativas de a, b y c (es decir, a c b, a b c, etc.) Proposicin 6.2.14 Si f R[a, b] y g : [a, b] coincide con f salvo en un nmero nito de puntos, entonces g R[a, b] y
b a
f=
b a
g.
Demostracin: Supongamos, inicialmente, que f y g dieran en un nico punto c [a, b], o dicho de otra manera que g se obtiene a partir de f modicando el valor de f es un nico punto. Consideremos la funcin h := g f . La funcin h es nula en todos los puntos menos en c. Supongamos que h(c) > 0. Es obvio entonces que s(h, P ) = 0 para cualquier particin P de [a, b], con lo que la integral inferior de h es cero. Adems, para cada > 0 existe una particin P de modo que 0 < S(h, P ) < . En efecto, basta tomar una particin P tal que el intervalo [ti1 , ti ] que contenga al punto c verique ti ti1 < /h(c) pues, en tal caso S(h, P ) = h(c)(ti ti1 ) < . Entonces la integral superior de h es cero. As que h es integrable y su integral es cero. Pero como g = f + h, aplicando la proposicin 6.2.9 se obtiene que g R[a, b] y
b a
g=
b a
f+
b a
h=
b a
f.
El resultado est probado cuando f y g dieren en un nico punto. En el caso en que dieran en n puntos basta reiterar el proceso anterior n veces, modicando cada vez el valor de f en un nico punto.
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
230
Clculo integral
231
Corolario 6.2.18 Si f, g R[a, b] entonces f g R[a, b]. Demostracin: Comencemos considerando el caso particular en que g coincida con f . Se trata pues de probar la integrabilidad de f 2 sabiendo que f es integrable. Pero como es claro que D(f 2 ) D(f ) podemos aplicar el teorema de Lebesgue para obtener que f 2 es integrable. Pasemos ahora al caso general y observemos que se tiene la siguiente identidad 1 f g = ((f + g)2 (f g)2 ). 4 Puesto que R[a, b] es un espacio vectorial, basta ver que (f + g)2 y (f g)2 son integrables para concluir que f g lo es. Pero eso es fcil puesto que (f + g) y (f g) son integrables y aplicando el caso particular antes considerado, tambin (f + g)2 y (f g)2 son integrables.
En el libro de J.M. Ortega [1], pg. 152, puede encontrar una demostracin del corolario 6.2.18 que no requiere el teorema de Lebesgue. Esta otra demostracin se basa en la propiedad, demostrada en la citada referencia, de que si f es integrable y g es continua, entonces g f es integrable. La lectura de estos resultados constituye un buen ejercicio tanto de carcter matemtico propiamente dicho, como de manejo de bibliografa: queda invitado a realizar tal ejercicio.
6.3.
Como consecuencia de la proposicin 6.2.12 si una funcin f es integrable Riemann en [a, b], lo es en cualquier intervalo [a, x], siendo x [a, b], lo que permite x denir de forma correcta una funcin sobre [a, b], que asigna a cada x el valor a f . Teorema 6.3.1 (Teorema fundamental del clculo) Sea f R[a, b]. Para cada x [a, b] se dene F (x) :=
x a
f.
(6.4)
La funcin F as denida recibe el nombre de integral indenida y verica las propiedades siguientes: (1) F es continua en [a, b]. (2) Si f es continua en c [a, b], entonces F es derivable en c y F (c) = f (c). Demostracin: La frmula |F (x) F (y)| =
y x
f M|x y|,
donde M := sup |f | en [a, b], muestra que F es uniformemente continua en [a, b].
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
232
Clculo integral
Sea p := f (c) y supongamos h > 0 (para h < 0 los razonamientos son anlogos) tal que c + h [a, b]. Es claro que
c+h c
p = ph
1 h
c+h c
p =
1 h
c+h c
(f p) (6.5)
Como f es continua en c, jado > 0 existe > 0 tal que si |h| < entonces |f (t) f (c)| = |f (t) p| < para todo t [c, c + h]. La acotacin dada en (6.5) y esta observacin garantizan que F es derivable en c y que F (c) = p = f (c). Obsrvese que en el teorema anterior la derivabilidad en a signica slo derivabilidad por la derecha, es decir existencia de F (a + h) F (a) , h0 h mientras que derivabilidad en b signica slo derivabilidad por la izquierda. l + m Denicin 6.3.2 Dada f : [a, b] se dice que g es una primitiva de f si g es derivable y g = f . Habitualmente la derivabilidad de una funcin slo se estudia cuando el dominio de la funcin es un intervalo abierto (o ms generalmente un conjunto abierto en sentido topolgico). La denicin anterior implcitamente est suponiendo derivabilidad lateral en los extremos del intervalo. Observaciones 6.3.3 (1) Por el teorema anterior las funciones continuas tienen primitivas. La funcin integral indenida denida por (6.4) es una de ellas. Las otras se obtienen sumando a sta una constante (vase el corolario 5.2.9). (2) La integral indenida puede no ser una primitiva. Por ejemplo, basta tomar como f : [0, 1] la funcin caracterstica de [ 1 , 1]. En este caso la 2 integral indenida viene dada por F (x) =
0
233
(3) Hay funciones discontinuas que tienen primitiva. La derivada de la funcin 1 g(x) = x2 sen x si x = 0 y g(0) = 0 est en esas condiciones. Teorema 6.3.4 (Frmula de Barrow) Sea f R[a, b] y sea g una primitiva de f . Entonces
b a
f = g(b) g(a).
(6.6)
Demostracin: Dado > 0, de acuerdo con el teorema 6.2.5, existe una particin P = {t0 < t1 < . . . < tn } tal que
b a
f S(f, P, zi ) <
para cualquier coleccin {zi }n , con zi [ti1 , ti ]. Pero por el teorema del valor i=1 medio 5.2.8 se tiene g(ti) g(ti1 ) = g (i )(ti ti1 ) = f (i)(ti ti1 ) y por tanto
n n
i=1
g(ti) g(ti1 ) =
i=1
b a
f g(b) g(a)
<
Corolario 6.3.5 (Integracin por partes) Sean f, g R[a, b] y supongamos que tienen primitivas F, G respectivamente. Entonces,
b a
F g = F (b)G(b) F (a)G(a)
b a
f G.
Demostracin: F G es primitiva de F g + f G ya que (F G) = F G + F G = F g + f G. La funcin F g + f G es integrable pues lo son f y g, por hiptesis, y tambin F y G pues, siendo derivables, son continuas. Podemos aplicar entonces la frmula de Barrow y tenemos: F (b)G(b) F (a)G(a) =
b a
(F G) =
b a
(F g + f G) =
b a
Fg +
b a
fG
que es justo lo que se quiere probar, slo que escrito de otra forma.
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
234
Clculo integral
b a
xex
observemos que xe = F (x)g(x) donde F (x) = x y g(x) = ex , con lo cual f (x) = 1 y G(x) = ex . Aplicando la frmula de integracin por partes se tiene
b a
b a
Teorema 6.3.7 (Cambio de variable) Sea : [c, d] [a, b] una funcin derivable con derivada continua tal que (c) = a y (d) = b. Sea f : [a, b] continua. Entonces b d f= (f ) . (6.7)
a c
Demostracin: Si F es una primitiva de f en [a, b] entonces F es una primitiva de (f ) en [c, d] ya que, por el teorema de la funcin compuesta se tiene (F ) (t) = F ((t)) (t) y por tanto
b a
(f ) ,
con lo que se obtiene la frmula buscada. En la cadena de igualdades anterior se utiliza el hecho de que es continua para asegurar que (f ) es integrable, condicin requerida para tener la igualdad de la regla de Barrow. Este teorema sirve de motivacin a la notacin habitual que explicita la variable en las integrales
b a
f (x) dx :=
f,
porque escrito de esa manera, si x = (t) y escribimos dx = (t)dt, lo que resulta bastante natural, la frmula del cambio de variable se escribe en la siguiente forma
b a
f (x)dx =
d c
f ((t)) (t)dt,
que es ms sencilla y natural para recordar que la frmula 6.7. Ejemplo 6.3.8 Para calcular
1/2 0
1 dx 1 x2
J. M. Mira S. Snchez-Pedreo
Anlisis Matemtico I
235
hacemos el cambio de variable x = sen t. Observe que sen 0 = 0 y sen /6 = 1/2, y que la imagen por la funcin sen t del intervalo [0, /6] es el intervalo [0, 1/2]. Tenemos entonces, utilizando la frmula del cambio de variable en la integral de Riemann, que:
1/2 0
1 dx = 1 x2
/6 0
cos t dt = 1 sen2 t
/6 0
dt = /6
donde hemos utilizado que cos t es positivo sobre el intervalo [0, /6].
6.4.
Aplicaciones de la integral
Siendo la integral de Riemann, en alguna forma, el lmite de rea de una gura formada por rectngulos, cuando stos van decreciendo en anchura, se puede b tomar a f como la denicin del rea de la regin delimitada por la grca de la curva, las rectas x = a, x = b y el eje de abscisas. Otras ideas semejantes permiten obtener el clculo del volumen de ciertos cuerpos tridimensionales. Aunque el concepto de rea y volumen es, a priori, independiente y ms primitivo que el de integral, no entraremos en este curso en un intento de denicin de estos conceptos, aparentemente intuitivos, pero en absoluto sencillos.
6.4.1.
Consideremos una funcin f : [a, b] tal que f (x) 0 para todo x [a, b]. Consideremos el recinto plano, referido a ejes perpendiculares, delimitado por la grca de f , es decir por la curva {(x, f (x) : x [a, b]}, los segmentos de x = a y x = b que unen los puntos extremos de dicha grca con el eje horizontal y el segmento sobre dicho eje delimitado por a y b.
Esta denicin est basada en el hecho de que cualquier suma de Riemann es la suma de las reas de los rectngulos denidos por la particin y la regin compuesta por dichos rectngulos se aproxima a M cuando la particin se va renando. La formulacin de la integral como lmite cuando la norma de la particin tiende a
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
236
Clculo integral
cero (teorema 6.2.8) nos permite asegurar que, naturalmente en el caso de que f sea integrable, el lmite obtenido es independiente de las particiones elegidas. Una vez tomada el rea de M de esta forma su clculo, que es el clculo de b a f (x) dx, se realiza usualmente mediante la frmula de Barrow,
b a
siendo F una primitiva de f , es decir una funcin derivable tal que F = f . Partiendo en trozos adecuados pueden calcularse reas de recintos ms complicados. Observe adems que la integral puede ser vista como un rea, pero rea con signo, de modo que si se trata de calcular el rea entre la grca de una funcin y el eje de abscisas, cuando la funcin no es positiva tendremos que tomar precauciones. Por ejemplo, en el caso de la funcin de la gura siguiente
a c
deniremos el rea delimitada por la grca y el eje horizontal, sobre el intervalo [a, b] en la forma: a(M) =
c a
d c
f+
b d
f.
x2 y 2 + 2 = 1. a2 b
La ecuacin del primer cuadrante de la elipse es y = f (x) = b 1 el rea es, por tanto, x2 dx. a2 0 Para calcular esta integral realizaremos el cambio de variable 4
a
x2 a2
b 1
x = sin t a
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
237
/2 0
b 1
x2 dx = 4 a2
/2 0
cos2 t dt
= 2ab
/2 0
Obsrvese que en el caso particular de un crculo en el que a = b = R se obtiene la conocida del rea del crculo: R2 .
6.4.2.
Si el recinto M, como en el apartado anterior, gira un ngulo de 2 alrededor del eje de abscisas, engendra un slido Rx , que denominamos de revolucin. Concibiendo que los rectngulos denidos por las sumas de Riemann aproximan el recinto M, y girando dichos rectngulos obtenemos una serie de cilindros que podemos considerar aproximan el slido Rx . Si calculamos el volumen del slido obtenido a partir de dichos rectngulos observamos que coincide con
n i=1
que no es otra cosa que una suma de Riemann correspondiente a la funcin f (x)2 . As, podemos denir el volumen del slido Rx como v(Rx ) =
b a
f2
que es el lmite al que tienden las sumas de Riemann anteriores cuando tomamos particiones de norma que tiende a cero. Si en lugar de rotar el recinto M alrededor del eje de abscisas lo hacemos alrededor del eje de ordenadas, obtenemos un nuevo slido de revolucin que denominamos Ry . Si aproximamos M por rectngulos y rotamos, cada rectngulo engendra un tubo cilndrico hueco de radio interior ti1 , radio exterior ti y altura f (zi ). As el volumen de cada uno de estos tubos es f (zi )(t2 t2 ). i i1 Si sumamos todos estos volmenes podemos pensar que estaremos aproximndonos, renando la particin, al volumen de Ry . Sin embargo la suma de los volmenes de los tubos no nos proporciona una suma de Riemann. Sin embargo podemos verla como una suma de Riemann con las consideraciones siguientes. Pongamos ti + ti1 t2 t2 = 2 (ti ti1 ) i i1 2 Teniendo en cuenta que (ti + ti1 )/2 es el punto de medio del intervalo [ti1 , ti ] si elegimos zi como dicho punto, tenemos que la suma de los volmenes de los tubos
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
238
Clculo integral
es precisamente la suma de Riemann correspondiente a la funcin 2xf (x), as deniremos b v(Ry ) = 2 xf (x) dx
a
sin olvidar que esta es una forma intuitiva de ver el problema; una denicin rigurosa del volumen de estos slidos se estudiar en la asignatura de Anlisis Matemtico de segundo curso.
Maxima puede calcular la integral de una funcin en un intervalo, si es capaz de calcular una primitiva. La sintaxis es integrate(Funcin, Variable, Punto1,Punto2). integrate( 1/sin(x), 1,2); da como resultado log (cos 2 + 1) log (1 cos 2) log (cos 1 + 1) log (1 cos 1) + + 2 2 2 2
porque Maxima sabe calcular una primitiva. Si queremos el valor numrico aproximado hacemos %,numer; y obtenemos 1.047605170058514 En cambio con integrate(sin(x)/x, x, 1,2); obtenemos
2 1
sin x dx x
La razn es clara: la primitiva no puede calcularse utilizando funciones elementales. En esas situaciones es necesario acudir al clculo numrico, aproximando el area bajo la curva con sumas de Riemann o similares. Y aunque esta cuestin escapa del contenido de este curso, sealaremos que el comando romberg (con la sintaxis de integrate) realiza tales clculos. romberg(sin(x)/x, x, 1,2); da como resultado 0.65933121094521
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
6.5 Ejercicios
239
6.5.
6.5.1.
Ejercicios
Resueltos
1 n f (zk ) = n k=1
1 0
f,
Solucin: Al ser f una funcin continua es integrable (corolario 6.2.3). Aplicando la caracterizacin de la integrabilidad en trminos de la norma de la particin (teorema 6.2.8) sabemos que jado > 0 existe > 0 de modo que para cualquier particin P de norma menor que y cualquier suma de Riemann correspondiente a una tal particin se verica que
1 0
f S(f, P, zi ) < .
La frmula que queremos probar signica, en otros trminos, que jado > 0 existe n0 tal que si n n0 se cumple
1 0
pero obviamente
n 1 n k k1 f (zk ) = f (zk ) n k=1 n n k=1
y esto ltimo sumatorio es una suma de Riemann correspondiente a la particin de [0, 1] determinada por los puntos 0 < 1/n < 2/n < . . . < n/n, o sea es una suma del tipo S(f, P, zi ) ante considerada, y si su norma fuera menor que podramos escribir
1 0
En nuestro caso los puntos de la particin estn equidistribuidos y por tanto su norma es 1/n. Existe n0 tal 1/n0 < y en consecuencia para n > n0 la norma de la correspondiente particin es inferior a que es justo lo que necesitamos para poder escribir
1 0
para n > n0 .
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
240
Clculo integral
6.5.2 Calcule
n
l m
1 1 1 + 2 + 2 ++ 2 n n 1 n 22
1 n2 (n 1)2
Solucin: Este es un lmite tpico para calcularlo mediante sumas de Riemann 1 1 1 + 2 + 2 ++ 2 n n 1 n 22 1 n2 (n 1)2 1 n2 (n 1)2 1 = = =
1 n 1 1 (0/n)2
n2
1 ((n 1)/n)2
S(f, P, zi )
1 0
1 cos t dt = 1 sen2 t
cos t dt = cos t
1 dx = 1 x2
/2 0
dt =
Y calculamos as el lmite con tcnicas de integracin. 6.5.3 Sea f : continua. Sea F : \ {0} denida por F (x) = 1 2x
x x
f (t) dt
(1) Calcule l x0 F (x). Deniendo F (0) = l x0 F (x) pruebe que la funm m cin as denida en es continua.
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
6.5 Ejercicios
241
Solucin: La funcin F est bien denida para cada x \ {0} porque al x ser f continua x f est bien denido. Adems la funcin G(x) =
x x
f (t) dt =
0 x
f (t) dt +
x 0
f (t) dt =
x 0
f (t) dt +
x 0
f (t) dt
es derivable como consecuencia del teorema fundamental del clculo y el teorema de la funcin compuesta siendo G (x) = f (x)(1) + f (x) = 2f (x) Para calcular l x0 F (x) utilizaremos la regla de LHospital y obtenemos m 1 x0 2x l m
x x
f (t) dt = l m
puesto que f es continua. Salvo para x = 0 la funcin F es un cociente de dos funciones derivables y por tanto continuas, as que F es continua en m x \ {0} y como F (0) ha sido denida mediante F (0) = l x0 F (x), tambin es continua en el origen. F es derivable en x \ {0} por ser un cociente de funciones derivables siendo
x x 4xf (x) 2 x f (t) dt 2xf (x) x f (t) dt G (x)2x 2G(x) = = F (x) = 4x4 4x4 2x4
f (x) . x
6.5.4 Sea f : [a, b] continua y montona creciente. Pruebe que la funcin denida por x F (x) = f (t) dt
a
1 1 x+y F (x) + F (y) para todo x, y [a, b] 2 2 2 Es cierto el resultado si f es nicamente continua? F Solucin: Por el teorema fundamental del clculo F es derivable siendo F (x) = f (x) y por tanto F es creciente, pero entonces F es convexa, de acuerdo con el corolario 5.4.5. Y la frmula que queremos demostrar es slo un caso particular de la convexidad de F . El lector escrupuloso se habr percatado que en la hiptesis del corolario utilizado se peda que el dominio de la funcin fuese un intervalo abierto,
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
verica
242
Clculo integral
mientras que aqu lo hemos aplicado a un intervalo cerrado, as que, en principio, la convexidad de F slo est garantizada en (a, b). Sin embargo podemos utilizar una astucia para solventar este inconveniente. Prolongamos f a (a 1, b + 1) haciendo f (x) = f (a) para x (a 1, a] y f (x) = b para x [b, b + 1), con lo cual F es creciente en (a 1, b + 1) siendo convexa en dicho intervalo y, en particular en [a, b]. El crecimiento de f es esencial. Si, por ejemplo, tomamos f (x) = sen x denida en [0, ] entonces la funcin F no es convexa. 6.5.5 Sea f una funcin integrable Riemann en [a, b], pruebe que
b a
f (x)dx =
b a
f (a + b x)dx
x senn x dx 1 + cos2 x
para n = 1, 2, 3 Solucin: Hagamos en la segunda integral el cambio de variable t = a+bx que produce dt = dx. Veamos ahora las modicaciones que se producen en los extremos de integracin con el cambio de variable: para x = a se tiene t = a + b a = b y para x = b se tiene t = a + b b = a as que
b a
f (a + b x)dx =
f (t)(dt) =
f (t)dt =
f (x)dx
Observe que la ltima igualdad es obvia porque ambas expresiones, con inb dependencia de cmo denotemos la variable, representan el valor de a f . En particular podemos aplicar la frmula anterior y tenemos
0
x senn x dx = 1 + cos2 x
senn x x senn x dx = dx 2 0 1 + cos2 x 0 1 + cos2 x En el caso de n = 1 para calcular esta ltima integral hacemos el cambio de variable t = cos x que es derivable y lleva el extremo 0 al 1 y el al 1 siendo dt = sen xdx, de modo que
0
y por tanto
sen x dx = 1 + cos2 x
dt 1 1 1 + t2 = arctg 1 arctg(1) = + = 4 4 2
1 1
dt = 1 + t2
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
6.5 Ejercicios
243
El caso n = 3 sigue las mismas pautas y dejamos al cuidado del lector los detalles. En el caso n = 2 hay que prestar atencin para no llegar a conclusiones errneas. Para calcular
0
sen2 x dx 1 + cos2 x
observamos que se trata de una funcin par en seno y coseno, por lo que el cambio aconsejable es, como sabemos por las tcnicas de clculo de primitivas, t = tg x, que nos conduce aparentemente a
0
sen2 x dx = 1 + cos2 x
0 0
0 0
t2 dt (2 + t2 )(1 + t2 )
con lo que, segn esto, la integral buscada sera nula. Pero esto es imposible, porque el integrando es continuo y estrictamente positivo. Dnde est el error? Est en que el cambio de variable no corresponde a una funcin derivable en [0, ]. Aunque s lo es en [0, /2) y en (/2, ]. Hagamos pues las cosas con cuidado
0
sen2 x dx = 1 + cos2 x
Las integrales que nos han aparecido requieren un comentario, porque hasta ahora hemos utilizado nicamente funciones acotadas denidas en un intervalo cerrado y acotado. La integracin sobre intervalos no acotados ser objeto de estudio detallado en un captulo posterior, pero anticipndonos a dicho estudio nos limitaremos a decir ahora que, cuando tienen sentido, se denen de manera natural como lmites de intregales denidas sobre intervalos acotados. De suerte que, en concreto,
+ 0
t2 dt = l m x+ (2 + t2 )(1 + t2 )
x 0
t2 dt (2 + t2 )(1 + t2 )
x 2
2 arctg = l m
x+
2 = = ( 2 1) 4 4 24
arctg x
(hemos omitido los clculos para obtener la primitiva). La otra integral vale lo mismo, siendo por tanto, el resultado nal ( 2 1) . 2
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
244
Clculo integral
6.5.2.
Propuestos
2 0
6.1) Utilizando la denicin de integral calcule f (x) = n+j , 2 2 n+ j=1 n + j l m 6.3) Calcule l m
n
f (x) dx siendo
x2
3x
si 0 x 1 si 1 < x 2
6.2) Calcule los lmites de las siguientes sumas de Riemann: j 1 n sen , n+ n 2n j=1 l m
1/n
j j sen 2 n+ 2n + 1 j=1 n l m .
1 (n + 1)(n + 2) . . . (n + n) n+ n
6.4) Haciendo uso de una integral denida adecuada calcule n n! l m n n 6.5) Calcule ln m n2 2 2 n (sen cos + sen cos + + sen cos ) +1 n n n n
l 4n m
6.7) Sea f una funcin continua en [a, b] tal que f (x) = 0 en todos los puntos x [a, b].
x
6.8) Sean f, g : [a, b] continuas tales que para todo x (a, b) se verica
a
f (t) dt =
g(t) dt. Pruebe que f (x) = g(x) para todo x [a, b].
x2 sen x2
6.9) Halle las derivadas de la funcin F (x) en cada uno de los casos siguientes: F (x) =
x3 0
sen t dt F (x) =
t6 dt F 1 (x) = 1 + t4
x 0
1 dt . 1+t
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo
6.5 Ejercicios
245
x2 0
6.11) Sea f una funcin dos veces derivable en [a, b] siendo f continua en [a, b]. Pruebe que se verica la siguiente frmula:
b a
Indicacin: Puede hacerse integracin por partes o bien observar que la funcin F (x) := xf (x) f (x) es una primitiva de x xf (x). 6.12) Calcule el siguiente lmite
x2
l m x
x2
log(2 + sen t) dt
x2 (x sen x)
6.13) Sea f : [0, ) (0, ) continua. Pruebe que la funcin denida por
x
g(x) = es creciente.
0 0
6.14) Sea f : [0, +) continua y, para cada x [0, +), sea F (x) =
x 0
xf (t) dt
f (u)(x u) du =
1 (1 + n y) dy (1 + y)3
x 0 0
f (t)dt du
b) Calcule l m
1 1+ n
n+ 0
6.15) Calcule el rea del recinto limitado por las curvas de ecuaciones y = x3 12x y y = x2 .
Anlisis Matemtico I J. M. Mira S. Snchez-Pedreo
246
Clculo integral
x2 y 2 x2 y 2 + 2 = 1 y 2 + 2 = 1. a2 b b a
6.17) Calcule el volumen del slido engendrado al girar alrededor del eje OX el recinto limitado por las curvas y = 0, y = x2 + 1, y la tangente a esta ltima en el punto de abscisa x = 1. 6.18) Calcule el volumen del slido engendrado al hacer girar un disco de radio r alrededor de una recta situada a una distancia a del centro del disco, donde a > r. 6.19) Sea f una funcin real de variable real continua y peridica, con periodo T . Pruebe que para todo x se cumple 1 x l m f (t)dt. x+ x 0
T 0 x+T x
f (t)dt =
f (t)dt. Calcule
Anlisis Matemtico I
J. M. Mira S. Snchez-Pedreo