Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Integral Denida
6.1 Introducci on
En este tema estudiaremos la Integral Denida o Integral de Riemann, un concepto matem atico que esencialmente puede describirse como el l mite de una suma cuando el n umero de sumandos tiende a innito y cada uno de ellos tiende a cero. Desde el punto de vista hist orico la construcci on del concepto riguroso de integral est a asociado al c alculo de areas.
6.2
Comenzaremos analizando el problema de calcular el area determinada por el eje de abscisas, las rectas x = a, x = b y la gr aca de la funci on f (x), que supondremos en un primer caso continua y positiva en el intervalo [a, b]: La idea que utilizaremos es partir el intervalo [a, b] en varios subintervalos: [a, x1 ], [x1 , x2 ], . . . [xn1 , b], de manera que el area que buscamos ser a la suma de las areas de cada una de las guras planas que resultan de dicha divisi on. Tomemos ahora en cada sub-intervalo un valor arbitrario de la abscisa: {1 , . . . , n }, y construyamos el rect angulo de altura f ( ) correspondiente a cada uno de los subintervalos (ver Figura 8.1 derecha). Podemos as aproximar el valor del area buscada por la suma: A f (1 ) (x1 a) + f (2 ) (x2 x1 ) + . . . + f (n ) (b xn1 ) Evidentemente esta aproximaci on ser a tanto mejor cuanto m as subintervalos se introduzcan, y en particular si el n umero de ellos tiende a innito (y la anchura de todos y cada uno de ellos tiende a cero) entonces en dicho l mite el resultado ser a exacto y nos proporcionar a el area buscada. Este proceso de paso al l mite es el que dene la integral denida o integral de Riemann, que veremos a continuaci on con m as detalle: 59
60
y
x a b a 1 x1 2 x2 3 x3 4 b
El concepto de integral denida se construye a partir de la idea de pasar al l mite una suma cuando el n umero de sumandos tiende a innito y simult aneamente cada uno de los sumandos tiende a cero. Para determinar con precisi on esta idea introduciremos las siguientes deniciones: Denici on. Dado un intervalo [a, b] llamaremos partici on de [a, b] a toda colecci on de n + 1 puntos P = {x0 , x1 , , xn } tales que a = x0 < x1 < x2 < < xn = b. Toda partici on P del intervalo [a, b] lo divide en n subintervalos [xk1 , xk ] de anchuras respectivas xk = xk xk1 . Denici on. Dada una funci on f (x) denida en el intervalo [a, b], una partici on P = {x0 , x1 , , xn } de [a, b] y dados n puntos = {1 , 2 , , n } tales que k [xk1 , xk ], se llama suma integral o suma de Riemann de la funci on f (x) en [a, b] correspondiente a la partici on P y a la elecci on de puntos a la suma siguiente: S (f, P, ) =
n k=1
Si suponemos que la funci on es continua1 en [a, b] entonces, por el teorema de Weierstrass, f (x) alcanza su valor m aximo Mk y su m nimo mk en cada subintervalo [xk1 , xk ], podemos entonces construir las sumas de Riemann correspondientes a dichos valores, obteniendo la suma superior de Riemann de f (x) en [a, b] con respecto a la partici on P : U (f, P ) = y la respectiva suma inferior: L(f, P ) =
1
n k=1
Mk xk
n k=1
m k xk
Realmente ser a suciente con que f (x) fuera continua en cada subintervalo de la partici on P .
61
Es evidente entonces que el conjunto de todas las sumas de Riemann de una funci on dada en un intervalo, con respecto a una partici on concreta P , est a acotado superiormente por U (f, P ) e inferiormente por L(f, P ). Denici on. Se dice que una funci on f (x) denida en [a, b] es integrable (en el sentido de Riemann, o simplemente integrable) en [a, b] si el supremo de todas sus sumas inferiores de Riemann coincide con el nmo de todas sus sumas superiores. A dicho n umero se le denomina integral denida o integral de Riemann de f (x) en [a, b] y se denota como:
a b
f (x) dx Es posible denir de manera equivalente la integral denida como el l mite de las sumas de Riemann de la funci on en el intervalo cuando el n umero de puntos de las particiones consideradas tiende a innito mientras que la anchura m axima de los subintervalos determinados por la partici on tiende a cero, siempre que dicho l mite sea adem as independiente de la elecci on de puntos realizada para construir las sumas de Reiemann. La denici on de integral denida se completa a nadiendo que se considerar a tambi en el caso en el que a > b, y el caso a = b, de la forma:
a b
f (x)dx =
b
f (x)dx ;
a
f (x)dx = 0
a b
dx ,
a
x dx
En el primer caso las sumas de Riemann ser an de la forma: S (f, P, ) = 1 x1 + 1 x2 + . . . + 1xn = b a independientemente de la partici on tomada y de la elecci on de puntos realizada. La integral por tanto es: b dx = b a
a
que obviamente coincide con el area del rect angulo de base b a y altura 1. (Ver Figura 8.2, izquierda). Para calcular la segunda integral podemos proceder de varias formas. En primer lugar es evidente que el resultado de la integral va a ser el area del trapecio de la Figura 8.2 (derecha), y sabemos que el area de un trapecio es igual al producto de la altura (b a) por la suma de las bases dividida por dos 1 2 (a + b), es decir:
a b
x dx =
) 1 1 ( 2 (a + b)(b a) = b a2 2 2
62
y
x a b
x a b
Demostraremos no obstante este resultado aplicando directamente la denici on de integral denida. Dado que la funci on f (s) = x es continua, ser a integrable en [a, b]. Las sumas de Riemann correspondientes a una partici on cualquiera P = {x0 , x1 , . . . , xn }, con a = x0 < x1 < . . . < xn = b ser a: S (f, P, ) = 1 x1 + 2 x2 + . . . + n xn = 1 (x1 x0 ) + 2 (x2 x1 ) + . . . + n (b xn1 ) siendo = {1 , . . . , n } una elecci on cualquiera de puntos en los subintervalos de la partici on P . Dado que f (x) es creciente siempre, las sumas superiores e inferiores de Riemann se obtienen eligiendo i = xi y i = xi1 respectivamente: U (f, P ) = x1 (x1 x0 ) + x2 (x2 x1 ) + . . . + xn (xn xn1 ) =
n i=1 n i=1
(x2 i xi xi1 )
(xi xi1 x2 i1 )
Observamos entonces que sea cual sea la partici on P la suma de U (f, P ) y L(f, P ) es:
2 2 2 U (f, P ) + L(f, P ) = x2 n x0 = b a
Si tomamos ahora el l mite de Riemann, teniendo en cuenta que f (x) es integrable, resulta que tanto U (f, P ) como L(f, P ) tienden a la integral denida y por tanto: U (f, P ) + L(f, P ) 2
a b
x dx = b2 a2
a
x dx =
) 1( 2 b a2 2
Q.E.D.
6.3
Propiedades b asicas
63
2. Si f (x) es continua en [a, b] entonces es integrable en [a, b]. 3. Si f (x) est a acotada en [a, b] y presenta en dicho intervalo un n umero nito de discontinuidades, entonces es integrable en [a, b]. Esta propiedad tambi en es cierta si el n umero de discontinuidades es innito pero contable (numerable). 4. La integral denida es lineal, es decir: Si f (x) y g (x) son dos funciones integrables en [a, b], entonces su suma tambien lo es y se verica: b b b (f (x) + g (x))dx = f (x)dx + g (x)dx
a a a
siempre que las integrales anteriores existan. 6. Si f (x) g (x), x [a, b] y ambas son integrables en [a, b], entonces se verica: b b f (x) dx g (x) dx
a a
6.4
Teorema del Valor Medio del C alculo Integral. Si f (x) es una funci on continua en el intervalo [a, b], entonces existe en [a, b] al menos un punto c tal que se verica: b f (x)dx = (b a) f (c)
a
1 ba
b
a
Demostraci on: Dado que f (x) es continua en [a, b], por el teorema de Weierstrass alcanza
en [a, b] su valor m aximo, M y su m nimo, m. Tendremos entonces, utilizando las propiedades anteriormente expuestas: m f (x) M, x [a, b]
64
a b
m dx
a
f (x) dx M dx m(b a)
f (x)dx M (b a)
y as : m
b
a
f (x)dx M ba
Pero al ser M y m alcanzados en [a, b] (supongamos que en los puntos x1 y x2 , [x1 , x2 ] [a, b]), tendremos que f (x) alcanza todos los valores intermedios entre m y M , y por tanto: c [x1 , x2 ] c [a, b] tal que: b f (x)dx f (c) = a ba Q.E.D.
Plantearemos a continuaci on el Teorema Fundamental del C alculo, que relaciona dos conceptos aparentemente diferentes como son el de integral indenida (operaci on inversa o rec proca de la derivaci on) y el de integral denida (l mite de sumas cuando el n umero de sumandos tiende a innito mientras que cada sumando tiende a cero): Teorema Fundamental del C alculo. Sea f (x) una funci on continua en el intervalo [a, b], entonces la funci on F (x) denida de la forma: x f (t)dt F (x) =
a
Regla de Barrow. Si f (x) es continua en [a, b] y G(x) es una primitiva de f (x) en [a, b], entonces se verica:
a b
Demostraciones:
Demostraremos en primer lugar el Teorema Fundamental del C alculo: Dada la funci on f (x) continua en [a, b], deniremos entonces en [a, b] la funci on: x F (x) = f (u)du
a
Evidentemente hablamos de area en sentido gurado, pues se trata realmente de un area para funciones denidas positivas en [a, b].
65
Consideremos h > 0 tal que x y x + h pertenezcan ambos al intervalo [a, b], tendremos entonces (aplicando las propiedades b asicas de las integrales) que: x+ h x x+ h F (x + h) F (x) = f (u)du f (u)du = f (u)du
a a x
Aplicando a continuaci on el Teorema del Valor Medio en el intervalo [x, x + h], existir a un valor c [x, x + h] tal que: x+ h f (u)du = f (c)(x + h x) = f (c) h
x
y dado que f (x) es continua en [a, b] y, en consecuencia, en [x, x + h], tendremos que h 0 nos lleva a que x c x + h x c x, y en denitiva, al ser f (x) continua:
h0
Q.E.D . Demostraci on de la regla de Barrow: Dada al funci on continua f (x) en [a, b], si G(x) es una primitiva de f (x) en [a, b] tendremos que, dado que F (x) denida anteriormente tambi en lo es, ambas deben diferenciarse tan s olo en una constante C , de esta forma: G(x) F (x) = C En particular: G(a) F (a) = C G(a)
a b
x [a, b]
a
f (x)dx = C
G(b) F (b) = C G(b) f (x)dx = C a a restando ambas expresiones, y considerando que a f (x)dx = 0, tendremos: b f (x)dx = G(b) G(a)
a
Q.E.D.
6.5
Integrales Impropias
En la construcci on y denici on de integral denida o integral de Riemann hemos partido de una funci on f (x) denida en un intervalo nito [a, b] y adem as acotada en el mismo. Las integrales impropias se denen precisamente para contemplar la posibilidad de integrar en intervalos innitos, por un lado, e integrar funciones no acotadas, por otro.
Estrictamente hablando hemos demostrado tan s olo que la derivada por la derecha de F (x) es f (x). Es trivial completar la demostraci on en el otro sentido.
3
66
6.5.1
Una integral impropia de primera especie es una integral extendida a un intervalo no nito. Para denirla utilizaremos la siguiente expresi on: b f (x)dx = lim f (x)dx
a b a
Si dicho l mite existe y es nito diremos que la integral impropia de primera especie f (x)dx
a
es convergente, en caso contrario ser a divergente. De manera an aloga se denen las integrales impropias de primera especie siguientes: b b k f (x)dx = lim f (x)dx ; f (x)dx = lim f (x)dx
a a k k
6.5.2
Una condici on necesaria para que f (x) fuera integrable en [a, b] era que estuviera acotada en [a, b]. Si f (x) es integrable en [a, b ] y no est a acotada en un entorno de b, denimos la integral impropia de segunda especie: b b f (x) dx = lim f (x) dx
a 0+ a
La integral ser a convergente si el l mite existe y es nito. Ejemplos: Una integral impropia de primera especie convergente:
x2
6.6
6.6.1
Funciones expl citas en Coordenadas Cartesianas. Dada una curva y = f (x), el area determinada por dicha curva, las rectas x = a, x = b (con a < b) y el eje de abscisas nos viene dada por la integral denida: b A = |f (x)| dx
a
67
En el caso de que la variable despejada sea la x, es decir una ecuaci on expl cita de la forma x = g (y ), la expresi on: A =
c d
|g (y )| dy
nos proporciona el area determinada por el eje de ordenadas, las rectas y = c, y = d y la gr aca de g (y ). Expresiones en param etricas: El area delimitada por la curva c expresada en ecuaciones param etricas, c y el eje OX entre las abscisas x(t1 ) y x(t2 ) es, A=
t1 t2
x = x(t) y = y (t)
|y (t)||x (t)|dt
Expresiones en coordenadas polares: El area delimitada por la curva c expresada en ecuaciones polares r = r() y las rectas radiales = 1 y = 2 es dada por, 1 A= 2
2
r2 ()d
6.6.2
Expresiones en coordenadas cartesianas: La longitud de la curva y = f (x) entre las abscisas x = x1 y x = x2 viene expresada mediante la f ormula: x2 L= 1 + (f (x))2 dx
x1
(x (t))2 + (y (t))2 dt
t1
Expresiones en coordenadas polares: La longitud de la curva r = r() entre las coordenadas angulares = 1 y = 2 viene dada como: 2 L= (r())2 + (r ())2 d
1
68
6.6.3
Expresiones en coordenadas cartesianas: El volumen generado por la curva y = y (x) al girar alrededor del eje OX entre las abscisas x1 y x2 corresponde a la f ormula: x2 V = (f (x))2 dx
x1
Expresiones en param etricas El volumen de revoluci on respecto del eje OX de la curva (x(t), y (t)) delimitado por las abscisas x(t1 ) y x(t2 ) est a dado por: V =
t1 t2
(y (t))2 |x (t)|dt
Expresiones en coordenadas polares: El volumen de revoluci on de la curva r = r() sobre el eje OX delimitado por las variables angulares 1 y 2 es V = 2 3
2
r3 ()|sen|d
6.6.4
El area generado por la curva c al girar alrededor del eje OX puede ser calculado seg un las siguientes expresiones: Expresiones en coordenadas cartesianas: El area lateral referido anteriormente de la curva y = f (x) entre las abscisas x1 y x2 ser a: x2 AL = 2 |f (x)| 1 + (f (x))2 dx
x1
Expresiones en param etricas: En ecuaciones param etricas, el area lateral limitada por las abscisas x(t1 ) y x(t2 ) viene dada por: t2 AL = 2 |y (t)| (x (t))2 + (y (t))2 dt
t1
r() sen
(r())2 + (r ())2 d