LA INTEGRAL DEFINIDA

Es uno de los conceptos ms importantes del Anlisis Matemtico. Para

desarrollarlo, si bien es un concepto abstracto, nos apoyaremos en el concepto sencillo e
intuitivo de rea o superficie. Histricamente, adems, fue con el concepto de rea que se
lleg al de Integral Definida (I.D.), siendo el clculo de reas de regiones planas la ms
simple de sus aplicaciones.

EL CONCEPTO

Sabemos que el rea de un rectngulo es base por altura (b x h), que si b y h son
enteros, representa la cantidad de cuadrados de rea unitaria (uno) en que puede
subdividirse el rectngulo. Queremos resolver un problema ms complejo: el rea A de una
regin plana arbitraria, como por ejemplo la encerrada entre dos curvas, como en la figura
1. Pero notemos que si pudiramos calcular el rea encerrada por la curva superior y las
rectas y =0, x =a y x =b (figura 2), ya tendramos resuelto el problema! (calculamos lo
mismo con la curva inferior, y la diferencia nos dara el rea buscada).


Figura 1 Figura 2

Debemos, entonces, calcular el rea limitada por el grfico de una funcin f(x), el
eje x y las rectas x =a y x =b. Supondremos f continua y no negativa en el [a, b].
Siendo f(x) continua en [a, b], sabemos que existen los valores mximo (M) y
mnimo (m) de f en l. Queda claro tambin que el rea debe ser mayor que m(b a) (rea
del mayor rectngulo inscripto bajo la curva), as como menor que M(b a) (el menor
rectngulo circunscripto a la curva en [a, b]). Salvo que M =m (f =constante), en cuyo
caso seran iguales, es decir:
m(b a) A M(b a), donde A representa el rea buscada.
Dividimos ahora el intervalo [a, b] en n partes, iguales o no, eligiendo un conjunto
de nmeros P ={x
0
, x
1
, x
2
, , x
n
}, tales que a =x
0
<x
1
<x
2
< <x
n
=b, como se ilustra
en la Figura 3.


Figura 3

Queda as dividido el [a, b] en n subintervalos [x
i-1
, x
i
], para i =1,2, , n. La
longitud de cada uno de ellos ser x
i
=|x
i
x
i-1
| =x
i
x
i-1
(>0, ya que x
i >
x
i-1
para todo i)

Llamamos al conjunto P una Particin del intervalo [a, b], y definimos su
norma como || P || =mx {| x
i
|}, con i =1, 2, , n.
En cada uno de los subintervalos as definidos, f tendr un mximo (M
i
) y mnimo
(m
i
), como se muestra en la Figura 4 para algunos:

Figura 4

Es claro que, para todo i, es m m
i
M
i
M. (1)
Ahora, definimos la Suma superior S
n
como el rea total de los rectngulos
sobre la curva (circunscriptos a la curva) definidos por los M
i
, es decir:
S
n
=M
1
(x
1
x
0
) +M
2
(x
2
x
1
) + +M
n
(x
n
x
n-1
) = M

=
n
i 1
i
(x
i
x
i-1
) = M

=
n
i 1
i
.x
i
.
(Dibuje usted el rectngulo determinado por M
1
en el primer subintervalo!).
Anlogamente, la Suma Inferior I
n
como el rea total de los rectngulos bajo la
curva (inscriptos bajo la curva) definidos por los m
i
, es decir:
I
n
=m
1
(x
1
x
0
) +m
2
(x
2
x
1
) + +m
n
(x
n
x
n-1
) =

m
=
n
i 1
i
(x
i
x
i-1
) = m

=
n
i 1
i
.x
i
.
Dibuje usted el rectngulo determinado por m
2
en el segundo subintervalo (el [x
1,
x
2
]).

Por (1), vemos que M(b a) S
n
y que m(b a) I
n
, y ms claramente:
m(b a) I
n
A S
n
M(b a) (2)

Por otro lado, consideremos ahora que adems de m
i
y M
i
en el subintervalo i,
tomamos tambin un punto cualquiera
i
intermedio, es decir, x
i-1

i
x
i
, y tomemos
ahora f(
i
) en cambio, es decir, m
i
f(
i
) M
i
(para todo i). As, vemos que la suma
dada por f(

=
n
i 1

i
).x
i
(suma de Riemann, R
n
) cumple que
n n n
S R I . Pero podra
estar por arriba o por debajo del rea A buscada! (razone esta afirmacin).
Para el caso de los mnimos en cada subintervalo, es decir, la suma inferior,
tendramos la aproximacin del rea como se muestra en la Figura 5.

El rea total de los espacios en blanco entre los rectngulos y la curva de f(x) es el
error por defecto (en menos) que cometeramos si tomramos esta suma inferior como el
rea buscada. Es el rea que nos faltara sumar para tener el rea exacta. Grafique usted
para el caso de los mximos (suma superior). Observe all que tenemos rea en exceso
(de ms) por encima de la curva

Tenemos as una primera aproximacin al valor del rea A. No es suficiente, ya
que queremos el valor exacto, obviamente.

Figura 5

A partir de esta aproximacin inicial, ahora procedemos a refinar la particin P,
es decir, agregamos otros nmeros en P, aumentando as la cantidad de subintervalos,
obteniendo P
1
={x
0
, x
1
, , x
n1
}, en donde es n
1
>n, y P P
1
(si bien ahora debimos
renumerar los puntos de P para mantener la propiedad de particin en P
1
: a =x
0
<x
1
<x
2
<
<x
n1
=b). Est claro, por ejemplo, que el x
n
ahora no es b, sino alguno de los otros
puntos de P
1
, interior al [a, b].
Veamos qu ocurri con las nuevas sumas superior e inferior, S
n1
e I
n1
, tomando
uno de los subintervalos de P (el [x
j-1
, x
j
]), en donde se agreg uno de los nmeros (puntos)
nuevos de P
1
(el x
N
). En la nueva particin, al renumerar, tendran nuevos subndices, cosa
que no nos interesa ahora.
Para el caso de los mnimos, veamos la Figura 6:

Figura 6

Observamos que de los dos nuevos subintervalos ( [x
j-1
, x
N
] y [x
N
, x
j
] ) en que se
dividi el original, solo uno de ellos mantiene el mnimo anterior, mientras que en el
segundo el mnimo ahora es mayor (m
N
>m
j
). Se muestra en la figura el rea que se
recuper en este subintervalo al refinar P.


Figura 7
Anlogamente (Figura 7), el mximo M
j
anterior qued en uno solo de los nuevos
subintervalos, y en el otro el mximo ahora es menor (M
N
<M
j
). En blanco el exceso de
rea que perdemos en la nueva suma superior respecto de la anterior.

En cambio, con el punto intermedio es distinto: la f puede ser mayor que antes
en los dos nuevos puntos intermedios, o menor en ambos, o mayor en uno y menor en el
otro. Es decir, el nuevo valor del rea puede ser mayor, menor o igual que antes de refinar
el subintervalo dado. En la Figura 8, vemos que f(
j
) es mayor que f(
N1
) y menor que
f(
N2
), de modo que el rea f(
j
).(x
j
x
j-1
) ser mayor, menor o igual que f(
N1
).(x
N
x
j-1
)
+f(
N2
).(x
j
x
N
), dependiendo de la posicin de x
N
.


Figura 8

Lo mismo ocurre con el resto del intervalo [a, b], excepto en los intervalos donde:
a) no cae ningn punto nuevo, o b) el punto nuevo x
N
coincidi con el punto de mximo (o
mnimo) del subintervalo antes de subdividirlo, con lo que ser nuevamente el mximo
(mnimo) de los dos nuevos subintervalos.

Quiere decir que al refinar P la suma inferior creci (aumentaron los mnimos), si
bien los rectngulos siempre permanecen inscriptos bajo la curva, es decir, que I
n1
ser an
menor o igual que el rea buscada. Anlogamente, la suma superior disminuy, pero
siempre por encima del rea buscada. Se tiene entonces:

m(b a) I
n
I
n1
A S
n1
S
n
M(b a) (3)

As, cualquier suma inferior est acotada superiormente por el rea (y por
cualquier suma superior!), as como las sumas superiores estn acotadas inferiormente por
el rea (y por cualquiera de las sumas inferiores).
Sin embargo, con las sumas de Riemann pasa algo distinto: no sabemos qu
pasa con ella al refinar la particin! Slo podemos afirmar que siempre estar ubicada entre
la inferior y superior correspondientes, sin ser necesariamente creciente o decreciente al
refinar (razone bien esta afirmacin!).
En sucesivos refinamientos de la particin, se tendr que las sumas superiores
forman un conjunto (decreciente) de nmeros reales acotado inferiormente, as como las
sumas inferiores sern un conjunto de nmeros reales creciente acotado superiormente. Por
propiedad de los reales, existen el nfimo de las S
nk
, y el supremo de las I
nk
, donde k indica
la particin P
k
(realizados ya k refinamientos). En un nmero finito de refinamientos,
obviamente seran tambin mnimo y mximo, respectivamente, y coincidiran con las
ltimas sumas superior e inferior calculadas (razonar tambin esta afirmacin!).
La idea ahora es continuar refinando, pero de forma tal que la norma de P
tienda a cero. Es decir, que los subintervalos sean cada vez ms pequeos, pero sin dejar
ninguno sin posterior subdivisin. Siempre (si no en este refinamiento ser en el prximo o
en el siguiente), caer un nuevo punto en cualquier subintervalo dado. De esta forma, los
rectngulos se arriman cada vez ms a una lnea, cuya altura es el valor de f para el x
correspondiente (la base de los rectngulos sera cero, pero recordemos que el lmite nunca
se toma, que solo nos aproximamos a l todo lo que haga falta)
Tomando el lmite de las sumas superior e inferior cuando la norma de P tiende a
cero (y el nmero n de puntos tiende a infinito, necesariamente), se tiene que el supremo
de las sumas inferiores y el nfimo de las sumas superiores coinciden, cosa que no
demostraremos pero aceptamos. Obviamente, la suma de Riemann estaba siempre entre
ellas, de modo que su lmite tambin es el mismo. Y como entre las sumas estaba siempre
el rea, no queda otra que aceptar que este lmite comn es el rea buscada, o sea:


= =
=


= =


= =
n
i
i i n
n
i
i i
n
x m
P P
n n
I x M
P P
n n
S A
1 1
.
0 || || 0 || ||
lim lim .
0 || || 0 || ||
lim lim

Y tambin, finalmente:

0 || P || 0 || P ||
n n
) ( x ). ( f lim lim
n
1 i
i i


= = =


=
b
a
n
dx x f R A

Con designamos, entonces, la Integral definida de f(x) entre a y b,
siendo a y b los lmites de integracin y f(x) la funcin integrando.

b
a
dx x f ) (
Despus de ver algunas propiedades de la I.D., y algunos teoremas, hallaremos la
frmula que nos permita hacerla til. Tengamos paciencia!

Propiedades de la Integral Definida

1) La variable x pasa a ser muda, es decir, que la I.D. depende de la forma de f y los
lmites de integracin solamente, por lo que = .

b
a
dx x f ) (

b
a
dt t f ) (
2) = . Esto es as por la propia definicin, ya que ahora, si todo el
desarrollo anterior lo vemos de b hacia a para cada particin, no cambiaran los m

b
a
dx x f ) (

a
b
dx x f ) (
i
y los
M
i
pero s los x
i
, que cambiaran de signo, con lo que tenemos esta igualdad demostrada.
3) =k . Por la misma razn que la anterior propiedad: en todo el
desarrollo anterior, sacaramos siempre el k como factor comn y nos da el resultado.

b
a
dx x kf ) (

b
a
dx x f ) (
4) = + . Aqu est claro tambin si a <c <b, y nos sirve
para calcular la I.D. de una funcin con salto finito en [a, b] En la Figura 9 se divide la
integral en dos: entre a y c y entre c y b. Solo que tomamos un valor de f(c) en la primera
integral f(c)

b
a
dx x f ) (

c
a
dx x f ) (

b
c
dx x f ) (
1
y otro para la segunda f(c)
2
, ya que queremos calcular las dos reas que se ven.
No existe la I.D. entre a y b, pero s las reas. La propiedad sirve tambin si c est fuera
del [a, b], como se muestra en la Figura 10, siempre que f(x) sea continua fuera del [a, b]
(la integral entre c y b ser negativa):

Figura 9 Figura 10
5) =0. Es claro: no hay base del rea, y sta es cero.

a
a
dx x f ) (
6) Si f(x) corta el segmento (a, b), las reas por debajo del eje x sern negativas, de
acuerdo al desarrollo realizado (f(x) <0 debajo del eje x), y por tanto, la I.D. no nos da el
rea como tal en este caso, sino el rea neta, o sea la resultante de reas positivas
menos reas negativas en [a, b]. (Si el rea debajo del eje x es ms grande, el resultado
(la Integral Definida) ser negativo).

Teorema del Valor Medio del Clculo Integral (TVMCI)

Este teorema dice: Si f(x) es continua en [a, b], entonces existe un punto c en [a, b]
tal que =f(c).(b a).

b
a
dx x f ) (
D) Por el desarrollo anterior, sabemos que m (b a) M (b a), con
m y M los valores mnimo y mximo de f en [a, b]. Entonces, dividiendo por (b a):

b
a
dx x f ) (

m
a b
1

b
a
dx x f ) ( M.
Es decir, que el valor
a b
1
. est entre m y M, y f es continua en [a, b].
Por lo tanto, tiene que haber al menos un punto c en [a, b] tal que f(c) =

b
a
dx x f ) (
a b
1
. .
Multiplicando por (b a) esta igualdad, obtenemos la tesis.

b
a
dx x f ) (

Primer Teorema Fundamental del Clculo

Si en la integral definida tomamos variable el lmite superior de
integracin, con a fijo, variar la I.D. segn vare el lmite superior, as que tenemos una
funcin G(x) = , donde reemplazamos la variable de integracin (Prop. 1), para
evitar confusin. Dada f(x) y fijado a, queda G(x) como funcin slo de x, el lmite
superior de integracin. Este Teorema dice, entonces:

b
a
dx x f ) (

x
a
dt t f ) (
H) f(x) es continua en [a, b], y definimos G(x) =

x
a
dt t f ) (
T) G(x) =f(x), es decir, que la derivada de respecto del lmite superior
de integracin coincide con la funcin integrando.

x
a
dt t f ) (

D) Calculemos ahora la derivada de G(x), a ver si existe. Por definicin, ser:

G(x) =
x
G
x

0
lim
=
x
x G x x G
x
+

) ( ) (
0
lim
. Tenemos entonces:

+ + +
= + = =
x x
x
x
a
x x
x
x
a
x
a
x x
a
dt t f dt t f dt t f dt t f dt t f dt t f G ) ( ) ( ) ( ) ( ) ( ) (
. Por el
TVMCI, existe un punto entre x y (x +x) tal que:
G = =f(

+ x x
x
dt t f ) ( ). (x + x x) =f( ). x. Por lo tanto, tenemos que la derivada
es G(x) =
x
G
x

0
lim
=
x
x f
x

). (
0
lim

= f(
0
lim
x
) = f(
x
lim
) =f(x), ya que,
cuando x tiende a cero, x + x tiende a x, y siendo que est entre ambos, tiende a
x tambin. Y queda demostrado.

Este teorema nos dice, entonces, que la G(x) as definida es una de las infinitas
primitivas de f(x), ya que G(x) =f(x)!.

Regla de Barrow o Segundo Teorema Fundamental del Clculo

A partir del importante teorema anterior, vemos que si F(x) es una primitiva
cualquiera de f(x), ser =F(x) +C, donde tenemos que elegir C de modo que la

x
a
dt t f ) (
igualdad se verifique, o sea, F(x) +C =G(x), con G(x) la funcin del Teorema anterior.
Pero sabiendo que =0, ser 0 =F(a) +C, o sea, C =- F(a).

a
a
dt t f ) (
De modo que =F(x) F(a), donde F(x) F(a) ya es la G(x) del teorema
anterior. Y esto nos lleva a la expresin final:

x
a
dt t f ) (

b
a
dt t f ) (
= = F(b) F(a) (Regla de Barrow)

b
a
dx x f ) (

Con esta expresin ahora ya podemos calcular una integral definida dada: se
reduce a encontrar una primitiva cualquiera de f(x), cosa que ya sabemos hacer!

Otra consecuencia: vimos que toda funcin continua en un intervalo cerrado es
integrable en l. Por los teoremas vistos, entonces, tiene una primitiva! Puede que no la
conozcamos, como en el caso de f(x) = , pero que existe, existe!
2
x
e