Cap tulo 4 La integral denida

4.1. Motivacin de la integral denida o

I) El problema del rea. Para medir reas de recintos planos, previamena a te hemos de escoger una unidad de medida. Tomaremos un cuadrado cuyo lado sea la unidad. Entonces medir el rea de un recinto plano consiste en a determinar cuntos cuadrados unidad contiene el recinto. As en el caso del a rectngulo de la gura, vemos que su rea es 2 4 unidades cuadradas. Para a a un rectngulo general de lados a y b, el rea se obtiene multiplicando a por a a b.

a
Es muy fcil calcular el rea de un pol a a gono cualquiera. En primer lugar, se determina el rea de un tringulo rectngulo de base b y altura h. Para a a a 102

ello, podemos construir un rectngulo cuya diagonal sea la hipotenusa del a tringulo; el rea del rectngulo es el doble de la del tringulo de partida e a a a a 1 igual a b h. Por tanto, el rea del tringulo es 2 b h. a a

h b1
b

b2 b

Para un tringulo cualquiera de base b y altura h, bastar sumar las reas a a a de los tringulos rectngulos que se indican, resultando A = 1 b1 h + 1 b2 h = a a 2 2 1 b h, ya que b = b1 + b2 . 2 Ahora se puede abordar el clculo del rea de cualquier recinto poligonal a a descomponindolo convenientemente. Estos resultados elementales eran coe nocidos desde los albores de las matemticas. Sin embargo, el problema de a encontrar el rea de un recinto plano no poligonal (limitado por l a neas curvas) no se resuelve, de un modo general, hasta Newton y Leibniz en el siglo XVII. Con anterioridad, se sab la forma de calcular el rea de algunos recintos no a a poligonales particulares como un c rculo, un segmento parablico, etc. Arqu o medes ide un mtodo para determinar reas de recintos curvil o e a neos, por el que se le considera un precursor del clculo integral. Sin embargo, su mtodo a e ten una limitacin importante, que explica lo mucho que se retras la creaa o o cin del clculo integral (alrededor de 2000 aos). En lugar de un mtodo o a n e general, Arqu medes segu una estrategia espec a ca para cada gura.

103

C A1 B
1

A t tulo de ejemplo, vamos a explicar sucintamente cmo Arqu o medes calculaba el rea de un semic a rculo. En primer lugar, calcula el rea del tringua a lo inscrito ABC. A continuacin cono sidera el pol gono inscrito que se obtiene al aadir los tringulos AA1 C y n a BB1 C. Continuando de esta forma, las reas de los pol a gonos inscritos que se van considerando se aproximan cada vez ms al rea buscada. El razonaa a miento termina con un paso al l mite encubierto.

El objetivo inicial del clculo integral consiste en encontrar un mtodo a e general para determinar el rea de una gura plana como la que se indica en a la gura siguiente.
Y

y = f(x)

X O a b

Se trata del rea bajo la curva de ecuacin y = f (x) entre x = a y a o x = b, siendo f : [a, b] R una funcin no negativa. La idea fundamental o del mtodo que seguiremos consiste en subdividir el intervalo [a, b] en otros e ms pequeos y calcular el rea en cuestin como la suma de las reas de los a n a o a rectngulos curvil a neos que se indican en la gura. 104

y = f(x)

X O a b

Si los subintervalos son muy pequeos, el rea de cada uno de stos recn a e tngulos curvil a neos se puede aproximar bien por la de un rectngulo que a tiene la misma base y cuya altura es el valor que toma f en algn punto que u escojamos en cada subintervalo. De esta forma se obtiene un valor aproximado del rea buscada, aproximacin que es tanto ms precisa en cuanto que a o a las longitudes de los subintervalos sea ms pequea. En la gura siguiente a n aparecen reejados dos casos especialmente importantes que producen aproximaciones por defecto y por exceso al rea buscada. La aproximacin por a o defecto se consigue tomando para cada subintervalo el menor valor de f (x) y la aproximacin por exceso tomando el mayor valor de f (x) en cada subino tervalo.
Y

y = f(x)

X a b

105

Para facilitar el desarrollo de la teor se dividir el intervalo [a, b] en a, a n partes iguales de longitud x = (b a)/n. Obviamente, x se hace ms a pequeo a medida que n aumenta. n II) Momentos de inercia. Vamos a calcular el momento de inercia de una lmina circular delgada respecto de su centro, sabiendo que su radio es R y a su masa M . En la gura siguiente vemos la lmina en la que se ha trazado a un radio. Al dividir este radio en n partes iguales de longitud r = R/n se producen una serie de anillos concne tricos Ak de espesor r. El momento de inercia total es la suma de los momentos de inercia de cada anillo: P I = k Ik . Si Mk denota la masa del anillo Ak , entonces es fcil comproa 2 bar que Ik = Mk rk . Para determinar Mk , necesitamos manejar la densidad supercial de la lmina, . Entonces a Mk = Sk , donde Sk denota la supercie del anillo Ak , que puede aproximarse por Sk = 2rk r.

rk

3 Luego un valor aproximado de Ik es 2rk r. Por tanto, obtenemos una aproximacin del momento de inercia I haciendo la suma para todo k: o
X

3 2rk r.

En el apartado siguiente una suma de este tipo se dir que es una suma de a Riemann para la integral Z
R

2r3 dr.
R

Como la integral se va a denir como el l Z de las sumas de Riemann mite cuando r tiende a cero, el valor de la integral 2r3 dr se toma como el 0 momento de inercia de la lmina respecto de su centro. a

106

4.2.

Sumas de Riemann.

Dado un nmero natural cualquiera n, dividimos el intervalo [a, b] en n u partes iguales (cada una de longitud x = (b a)/n) y denotamos por xk (k = 0, ..n) los puntos de subdivisin. Estos puntos tienen la forma o xk = a + (b a) k (k = 0, 1, ..., n). n

a
n X

b
f (tk )x reciben el nombre de sumas de Riemann

En cada subintervalo [xk1 , xk ] escogemos un valor intermedio tk . Las sumas Sn (f, (tk )) =
k=1

de f . Para simplicar, muchas veces escribiremos Sn (f ), siempre que no exista peligro de confusin. Estas sumas pueden interpretarse como aproximaciones o al rea bajo la curva, especialmente si n es sucientemente grande. a
R

Ejemplo 4.2.1. Consideramos la integral denida 01 ex dx.En la gura siguiente aparecen sombreados los rectngulos cuyas reas (la suma de toa a das) constituyen la suma de Riemann S10 (f, (tk )); los tk son los puntos medios de cada subintervalo. En la ultima gura se ha dividido [0, 1] en 15 partes iguales.

107

exp(x.^2) : 1.460393

1.5

0.5

0.2

0.4 10

0.6

0.8

exp(x.^2) : 1.461646 2.5

1.5

y=exp(x2)

0.5

0.2

0.4 15

0.6

0.8

108

4.3.

La integral denida

Diremos que f es integrable en [a, b] si existe y es nito el l mite siguiente

n

l Sn (f ), m
Z b

en cuyo caso su valor se denota por f (x) dx y recibe el nombre de integral a denida de f en [a, b]. La interpretacin geomtrica es obvia, a la vista de las o e
Z b

ideas anteriores: si f es no negativa en [a, b], entonces el rea bajo la curva y = f (x) entre x = a y x = b. a

f (x) dx representa
a

Denicin 4.3.1. La igualdad = l Sn (f ) signica que, por pequeo que o m n n sea > 0, puede encontrarse n0 de modo que |Sn (f, (tk )) | < , para cualquier n > n0 y toda eleccin de los puntos (tk ). o Terminamos esta seccin haciendo una relacin de las propiedades de la o o integral denida que ms usaremos: a (1) Condicin suciente de integrabilidad . Si f est acotada en [a, b] y es o a continua salvo, a lo sumo, en un nmero nito de puntos de discontinuidad, u entonces f es integrable. (2) Aditividad de la integral. Si f es integrable en [a, b] y c (a, b), entonces f es integrable en los intervalos [a, c] y [c, b], y se verica
Z b Z c Z b

f (x)dx =
a a

f (x)dx +
c

f (x)dx.

Rec procamente, si existen las dos integrales del segundo miembro de la igualdad anterior, entoces f es integrable en [a, b] y se verica la igualdad. (3) Linealidad respecto del integrando. (a) Si f y g son integrables en [a, b], entonces lo es f + g y se verica
Z b Z b Z b

(f + g)dx =
a a

f dx +
a

gdx.

109

b) Si f es integrable y una constante arbitraria, entonces f es integrable y se verica Z Z

b b

f dx =
a a

f dx.

(4) Si f es integrable en [a, b], entonces tambin lo es |f | y se verica e

Z b   

f (x)dx

Z b

|f (x)|dx.

(4.1)

La desigualdad anterior se deduce fcilmente a partir de la siguiente relaa cin obvia |Sn (f )| Sn (|f |), pues tomando l o mite en ambos miembros, resulta (3.1).

4.4.

La regla de Barrow.

Sean f, F : [a, b] R, tales que F (x) = f (x), para cada x [a, b]. El siguiente resultado nos ofrece un mtodo muy util para calcular una integral e denida, siempre que podamos encontrar una primitiva del integrando.

Teorema 4.4.1. (Regla de Barrow). Si f es integrable en [a, b] y F es una

Z b

primitiva de f , entonces
a

f (x)dx = F (b) F (a).

DEMOSTRACION: Dado cualquier nmero natural n, dividimos el interu valo [a, b] en n partes iguales. Como es habitual, denotamos los puntos de subdivisin por {xk }n . Vamos a probar la igualdad la igualdad o 0 F (b) F (a) =
n X k=1

F (xk ) F (xk1 ) .

(4.2)

Para ello, basta observar que se cancelan los trminos dos a dos e F (x1 ) F (x0 ) + F (x2 ) F (x1 ) + F (x3 ) F (x2 ) + + F (xn1 ) F (xn2 )+ +F (xn ) F (xn1 ) = F (xn ) F (x0 ) = F (b) F (a).

110

Usando (3.2) vamos a probar que la diferencia F (b) F (a) es igual a la suma de Riemann Sn (f ), para cierta eleccin (tk ) de los puntos intermedios. o En efecto, por el Teorema del valor medio del clculo diferencial, para cada a k = 1, 2, ..., n, existe tk [xk1 , xk ] de modo que F (xk ) F (xk1 ) = F (tk )(xk xk1 ) = f (tk )x. Reuniendo estas ideas, obtenemos
n X k=1

F (b) F (a) =

F (xk ) F (xk1 ) =

n X k=1

f (tk )x = Sn (f, (tk )).

Ahora basta tener en cuenta que, a medida que aumenta n, la suma de Z

b

Riemann Sn (f, (tk )) se aproxima tanto como queramos a f (x)dx, y esto a obliga a que la cantidad F (b) F (a) coincida con la integral.

4.5.

Teorema de la media integral.

Necesitamos la siguiente propiedad de la integral denida: Monotona de la integral. Si f y g son integrables en [a, b], y tales que f (x) g(x), para cada x [a, b], entonces f (x)dx g(x)dx. a a Para cada n, se verica Sn (f, (tk )) Sn (g, (tk )), cualquiera que sea la eleccin de los puntos intermedios (tk ), ya que f g. Tomando l o mite en la desigualdad, cuando n , resulta l n Sn (f, (tk )) l n Sn (g, (tk )), es m m decir, Z Z
b a
Z b Z b

f (x)dx

g(x)dx.
a

Recordemos que la integral denida slo tiene sentido para funciones acoo tadas y que denotamos por m y M el nmo y el supremo, respectivamente, de los valores de f (x) en el intervalo [a, b].

111

Teorema 4.5.1. (De la media integral). Si f es integrable en [a, b], existe c [m, M ] tal que
Z b

f (x)dx = c(b a). Si, adems, f es continua en [a, b], a

Z b

entonces existe x0 [a, b] de modo que

f (x)dx = f (x0 )(b a).

Z b Z b

DEMOSTRACION: Para cada x [a, b], se verica m f (x) M . Por tanto, la monoton de la integral nos dice que a
Z b Z b

M dx. Pero
a a

mdx = m(b a) y m(b a)

Z b

Z b

mdx

f (x)dx

M dx = M (b a), luego

f (x)dx M (b a).

Dividiendo por (b a), resulta m

1 ba

1 Zb f (x)dx M. ba a

Z b

Ahora basta tomar c = f (x)dx. Finalmente, en el caso particular de a que el integrando f es continuo, basta recordar el Teorema de los valores intermedios para funciones denidas y continuas en un intervalo cerrado y acotado, que nos asegura que el valor c obtenido anteriormente es alcanzado por f , es decir, c = f (x0 ), para algn x0 perteneciente al intervalo [a, b]. u f (x)dx se conoce con el nombre de valor medio de La cantidad a f en el intervalo [a, b]. Vamos a mostrar que viene a representar la media aritmtica de los valores e que toma f , es decir, la media aritmtica del conjunto {f (x) : x [a, b]}. e Para justicar esta armacin, tomamos una suma de Riemann cualquiera o Z b f (x) de la integral dx y vemos qu representa. Sean {xk }n los puntos e 0 a ba resultantes de dividir el intervalo [a, b] en n partes iguales y (tk ) cualquier eleccin de los puntos intermedios; entonces o Sn (
n X f (t ) f k , (tk )) = x. ba k=1 b a 1 (ba)
Z b

112

Esta ultima suma representa la media aritmtica de los valores de una funcin e o fn que toma sobre cada subintervalo [xk1 , xk ] el valor constante f (tk ). Parece f razonable tomar l n Sn ( ba , (tk )) como la media aritmtica de los valores que m e toma f en el intervalo [a, b], pero el valor del l mite anterior es precisamente
1 ba
Z b

f (x)dx.
a

Ejemplo 4.5.2. Calcular el valor medio de f (x) = sen x en [0, ]. 1 Z 1 1 2 sen xdx = [ cos x] = (1 + 1) = = 0.63. 0 0 0

4.6.

Teorema Fundamental del Clculo. a

Si f es integrable en [a, b], sabemos que tambin es integrable en el intervae Z x lo [a, x], cualquiera que sea x (a, b]. Entonces podemos denir F (x) = f, a para x (a, b] y F (a) = 0. La funcin F suele llamarse la integral indenida de f . El resultado o siguiente recibe el nombre de Teorema Fundamental del Clculo y establece a que la derivada de la integral indenida de f es la propia f (cuando f es continua). Por tanto, este resultado pone en relacin integracin y derivacin. o o o

Teorema 4.6.1. (Teorema Fundamental del Clculo). Si f es continua en a [a, b], entonces F es derivable en [a, b] y se verica F = f . DEMOSTRACION: Ntese que f es integrable por ser continua. Para probar o que F es derivable podemos calcular el cociente incremental
Z x

F (x) F (x0 ) = x x0

Z x 0

Z x

f =

f
x0

x x0

x x0

donde hemos supuesto que x > x0 , para simplicar. Ahora usamos el Teorema de la media integral, en el caso de integrando continuo, que establece que 113

existe cx (x0 , x) de modo que

Z x

x0

f = f (cx )(x x0 ).

Entonces el cociente incremental adopta la forma

Z x

f F (x) F (x0 ) = x0 = f (cx ). x x0 x x0 La prueba termina teniendo en cuenta que f es continua en x0 , por lo que se tiene l f (x) = f (x0 ). En particular, f (cx ) tiende a f (x0 ) cuando x x0 m xx0 (cx es an ms cercano a x0 que el propio x). Es decir, se verica u a l m F (x) F (x0 ) = f (x0 ). x x0

xx0

Z x

El teorema siguiente muestra que la funcin F (x) = o cada punto de [a, b], aunque f slo sea integrable. o

f es continua en
a

Teorema 4.6.2. (Continuidad de la integral indenida) Si f es integrable Z x en [a, b], entonces F (x) = f es continua en cada punto de [a, b].
a

DEMOSTRACION: Sea x0 un punto cualquiera de [a, b]. Para probar que F es continua en x0 , debemos comprobar que la diferencia F (x) F (x0 ) tiende Z x a cero cuando x x0 . Ahora bien, la diferencia F (x)F (x0 ) es igual a f. Por el Teorema de la media integral, existe cx [m, M ], tal que F (x) F (x0 ) =
Z x

x0

x0

f = cx (x x0 ).

Por tanto, F (x) F (x0 ) es el producto de dos factores: el primero acotado y el segundo un innitsimo en x0 . Entonces l xx0 F (x) F (x0 ) = 0. e m
Z x Z b

En particular, se sigue del resultado anterior que l m

xb

f=
a a

f (x) dx.

114

Tambin podemos considerar la funcin G(x) = e o f , para x [a, b], x ahora con el extremo inferior variable. Para obtener su derivada, ponemos Z Z
b

Z b

G(x) =
a

f , por lo que resulta G (x) = 0 f (x).

Ejemplo 4.6.3. Calcular los extremos relativos de F (x) =

u1 du. 0 1 + exp(u) x1 Por el Teorema fundamental del Clculo, F (x) = 1+ex . Por tanto, sa o lo hay un punto cr tico x = 1. Para ver si es mximo o m a nimo relativo, x xex 1+ex (x1)ex calculamos la derivada segunda F (x) = = 1+2e x )2 . Entonces (1+ex )2 (1+e 1 F (1) = 1+e > 0, por lo que x = 1 es un m nimo relativo.

Z x

Terminamos esta seccin destacando otra consecuencia importante del o Teorema Fundamental del Clculo: toda funcin continua en [a, b] posee una a o Z x primitiva, F , que podemos expresar en la forma F (x) = f.
a

4.7.

Frmula de integracin por partes. o o

Teorema 4.7.1. (Frmula de integracin por partes). Sean f y g dos funo o ciones derivables en [a, b] y tales que f g y f g son integrables, entonces se verica
Z b

f (x)g(x)dx = f (b) g(b) f (a) g(a)

b

Z b

f (x) g (x)dx.

la integral f (x) g(x) + f (x) g (x) dx. Para ello, necesitamos encona trar una primitiva del integrando, lo que es fcil a la vista de la igualdad a f g

DEMOSTRACION: Vamos a aplicar la Regla de Barrow para el clculo de a Z

= f g + f g . Vemos que la funcin producto f g es una primitiva de o

Z b

f g + f g , por lo que la regla de Barrow permite obtener

f (x) g(x) +

f (x) g (x) dx = f (b) g(b) f (a) g(a). Ahora basta usar la linealidad de la integral.

115

Ejemplo 4.7.2. Calcular x sen xdx. En este caso conviene tomar g(x) = 0 x y f (x) = sen x. Entonces g (x) = 1 y f (x) = cos x, por lo que aplicando la frmula de integracin por partes, resulta o o
Z

x sen xdx = x cos x

Z

( cos x)dx =
0

= +

cos xdx = + sen x

= .

4.8.

Cambio de variables en la integral denida.

La frmula de integracin por sustitucin o de cambio de variables estao o o blece, bajo determinadas condiciones, la igualdad
Z b

f (u(x)) u (x)dx =

Z u(b)

f (u)du.
u(a)
Z

(4.3)

La igualdad anterior se usa de izquierda a derecha o al rev segn el caes, u so concreto. Por ejemplo, si se quiere calcular la integral 2x cos x2 dx, 0 se aplicar la igualdad de izquierda a derecha; pero, si se quiere calcular a Z 1 1 x2 dx, se aplicar de derecha a izquierda. De cualquier forma, siema 0 pre es ms fcil el primer caso. Como la funcin u es derivable en [a, b], en a a o particular, es continua y, por tanto, el conjunto imagen u([a, b]) es un intervalo. Cuando u es decreciente, dicho intervalo tiene la forma [u(b), u(a)], ya que u(a) > u(b). Luego, en ese caso, la integral del segundo miembro de (3.3) tiene un extremo inferior ms grande que el superior. Si convenimos que a
Z b

f (x)dx signica f (x)dx, cuando a > b, se subsana esta dicultad y b se consigue mantener la igualdad (3.3) sin necesidad de considerar versiones diferentes, segn sea u. u
a

Z a

Teorema 4.8.1. (Cambio de variable en la integral denida). Sea u denida 116

y derivable con continuidad en [a, b]. Si f est denida y es continua en el a conjunto imagen u([a, b]), entonces se verica la igualdad (3.3). DEMOSTRACION: . En primer lugar, recordamos que el conjunto u([a, b]) es un intervalo, por ser continua u. Por otra parte, como f es continua, posee primitiva F . La funcin G(x) = F (u(x)) es, a su vez, una primitiva de o f (u(x))u (x), ya que g (x) = F (u(x))u (x) = f (u(x))u (x). Ahora podemos aplicar la regla de Barrow para el clculo de las dos integrales que aparecen a en la igualdad (3.3), resultando
Z b

f (u(x))u (x)dx = G(b) G(a),

Z u(b)

u(a)

f (u)du = F (u(b)) F (u(a)).

Como G(b) G(a) = F (u(b)) F (u(a)), (3.3) queda probada.

Ejemplos 4.8.2. 1. Calcular

0
Z Z

2x cos x2 dx.
Z u()

Si ponemos u(x) = x2 , entonces u (x) = 2x. Luego 2x cos x dx =

0 0 2

u (x) cos u(x)dx =

u(0)

cos udu.

En el ultimo paso se ha hecho uso de (3.3) de izquierda a derecha. Ahora como u(0) = 0 y u( ) = , sigue que
Z

2x cos x dx =
0
Z 1

cos udu = [sen u] = 0. 0

2) Calcular 1 u2 du. 0 Por la forma del integrando, conviene hacer el cambio u = u(x) = sen x. Entonces u (x) = cos x, de modo que haciendo uso de (3.3) (de derecha a izquierda), resulta
Z 1

u2 du

Z b

=
a

1 u2 (x)u (x)dx,

117

donde u(a) = 0 y u(b) = 1 Es decir, sen a = 0 y sen b = 1. Podemos tomar a = 0 y b = y queda nalmente 2
Z 1

u2 du

=
0

u2 (x)u (x)dx
Z

=
0

1 sen2 x cos xdx =

=
0

cos2 xdx.

Esta ultima integral se calcula transformando el integrando mediante la iden tidad cos x = 1+cos 2x que nos permite obtener 2
Z 1

1 u2 du =

Z
2

x + sen 2x 1 + cos 2x 2 2 = . dx = 2 2 4 0

PROBLEMAS PROPUESTOS
Z 1

1. Calcular el valor exacto de

x2 dx y compararlo con la suma S6 .

Solucin: Valor exacto: 2/3, S6 = 1.03. o 2. Calcular el valor medio de f (x) = log x en [1, e]. Solucin: 1/(e 1). o 3. Encontrar una cota inferior de dx . (1/2) 1 + 8x4 Solucin: 2/3 (producto de la longitud del intervalo por el m o nimo del integrando).
Z x Z 1/2

eu 1 du 2 4. Calcular l 0 x 1 + u m . x0 e x 1 Solucin: 1 (puede aplicarse la regla de LHpital. o o 5. Si F (x) = u sen u du, encontrar los extremos relativos de F . x 1 + u2 Solucin:Los extremos relativos son n, siendo n un entero no nulo (mo a ximo si n es impar y m nimo si n es par). 118
Z 1

Z 1

6. Calcular
0

arc tg x dx.

Solucin: /4 (1/2) log 2. o 7. Calcular dx . 0 + ex Solucin: arc tg e. o ex

Z 1

119