La integral deIinida

Consideremos el problema de calcular el area bajo la graIica de la Iuncion: I(x) x

2

(parabola) entre las rectas de ecuaciones x 0, x b y sobre el eje x. Para ello
utilizamos el Metodo de Arquimedes:
Y



b
2




y x
2
x b



0 b X




1) Subdividimos el intervalo [ ] b , 0 en 'n subintervalos de igual longitud


[ ] X
x 0 x
1
x
2
...... x
1 n
x
n
b

Entonces, para k 1,2,..., n se tiene que:

x
k
: x
k
- x
1 k

n
b
, x
k
k
n
b
, I(x
k
) k
2
2
2
n
b


2) Formamos los productos: I( x
k
) x
k
k
2
3
3
n
b
(ver graIica)
Y
I(x
k
) y x
2







0 x
1 k
x
k
X


A
3) Escribimos la suma:

=
n
k 1
I(x
k
) x
k

lim
n
3
3
n
b

6
) 1 2 )( 1 ( + + n n n

3
3
b


Notese que esta suma aproxima el area por una suma de areas de rectangulos de base
x
k
y altura I (x
k
).

La graIica muestra, ademas, que mientras mas puntos se toman entre 0 y b mejor es la
aproximacion. Luego, resulta razonable suponer que el limite, cuando el numero de
puntos n , o equivalentemente, cunado x 0, dara el area buscada.


4) Calculemos este limite


lim
n

=
n
k 1
I (x
k
) x
k

lim
n
3
3
b



Observaciones:
1. El mismo resultado se habria obtenido si aproximamos el area por la suma:

=
n
k 1
I (x
1 k
) x
k
(ver graIica)




Y



y x
2



I(x
1 k
)



0 x
1 k
x
k
X







Obteniendose tambien que:

lim
n

=
n
k 1
I (x
1 k
) x
k

3
3
b
(veriIiquelo)

Luego, si A denota el area en cuestion, se veriIica que:

lim
n

=
n
k 1
I (x
1 k
) x
k
A
lim
n

=
n
k 1
I (x
k
) x
k
,

Es decir: A
3
3
b



2. Este resultado, que de ninguna manera trivial, pues esta area no es conocida en
geometria elemental, era ya conocido por Arquimedes mas o menos en la misma Iorma.

La Integral DeIinida no solo resuelve en Iorma general el problema del calculo del
area de regiones como las del problema propuesto sino que, ademas, Iormaliza este
concepto que hasta ahora era solo intuitivo; piensese, por ejemplo, en cual es el
signiIicado de [ ]
2
cm como area del circulo de radio 1,0 [ ] cm . En la integral deIinida el
Metodo de Arquimedes se generaliza en el sentido que no se toman subintervalos
[ ]
k k
x x
, 1
de igual longitud y I no se evalua en los extremos del subintervalo sino en un
punto cualquiera de el.


DeIinicion 1 : Sea I: [ ] b a, una Iuncion acotada. Entonces:

i) Una particion, P de [ ] b a, es un conjunto Iinito de puntos
P { }
n
x x x , ,.... ,
1 0
tal que:

a x
0
x
1
. x
n
b

Notacion:
k
x x
k
-
1 k
x , k 1, 2,., n

ii) La norma, P , de la particion es el numero
P max { } n k x
k
..., , 1 : =

k
x
[ ]
a x
0
x
1 1
. . .
k
x b x x
n k
= . . .

iii) Para k 1, 2, . , n, sea
k
[ ]
k k
x x ,
1
elegido arbitrariamente.
La suma:
I (
1
)
1
x I (
2
)
2
x . . . I (
n
)
n
x

=
n
k 1
I (
k
)
k
x
se llama la Suma de Riemann de I en |a,b| respecto de la particion P
Y

y I(x)
I(
k
)








1 k
x x
k

0
k
X

DeIinicion 2 : Sea I: [ ] b a, acotada. Si el limite de las sumas de Riemann de I en
[ ] b a, :

lim
P 0

=
n
k 1
I (
k
)
k
x

existe independientemente de la eleccion de los puntos de subdivision, diremos que:

i) I es integrable en [ ] b a,


ii)

b
a
dx x f ) (
lim
P 0

=
n
k 1
I (
k
)
k
x es la Integral DeIinida de I en [ ] b a, ( en el
sentido de Riemann)


Observaciones:
1) Notese que el limite de las sumas de Riemann de I, no es un limite en el sentido
usual, ya que depende tanto de la norma P como de la eleccion de los puntos
k
:

lim
P 0

=
n
k 1
I (
k
)
k
x I si y solo si 0 0 > > tal que para cada particion
P { }
n
x x x , ,.... ,
1 0
de[ ] b a, , con P , y para cada eleccion { }
n
, . . . , ,
2 1
de los
puntos intermedios se tiene que

=
n
k 1
I (
k
)
k
x - I

2) Por visto en el problema introductoria se concluye que, si I 0 , entonces el valor
numerico del limite (esto es : de la integral deIinida) esta representado por el area
encerrada por: y I(x), el eje x y las rectas xa, xb.

3) El hecho de que el limite de las sumas de Riemann se obtenga cambiando por

, I (
k
) por I (x) y
k
x por dx agrada especialmente a los Iisicos y los ingenieros,
quienes hacen uso comun de este resultado.
Propiedades de la Integral deIinida

Teorema 1: Sea I: [ ] b a, integrable y sean m, M, tales que
m x M x f , ) ( [ ] b a, . Entonces:


m (b a ) ) ( ) ( a b M dx x f
b
a

Teorema 2 : Sea I : [ ] b a, integrable. Entonces:

a) [ ] [ ] b a d c , , I es integrable en [ ] d c,

b) c

+ =
b
a
c
a
b
c
dx x f dx x f dx x f b a ) ( ) ( ) ( ) , (

DeIinicion 3: Sea I : [ ] b a, integrable. DeIinimos:


a) 0 ) ( =

c
c
dx x f , [ ] b a c ,

b)

b
a
dx x f ) ( -

a
b
dx x f ) (

Corolario: Sea I : [ ] b a, R integrable y sean c, d, e, tres puntos
cualesquiera en [ ] b a, . Entonces:

d
c
dx x f ) (

e
c
dx x f ) (

d
e
dx x f ) (


Teorema 3: (Lineabilidad de la Integral DeIinida). Sean I, g : [ ] b a, R integrables y
c R ; entonces:


a) [ ]

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

b
a
dx x f ) (

b
a
dx x g ) (


b)

=
b
a
c x f c ) )( (

b
a
dx x f ) (


Teorema 4: Sean I, g [ ] b a, R integrables. Entonces:


a) I g

b
a
dx x f ) (

b
a
dx x g ) (


b) f es integrable y

b
a
dx x f ) (

b
a
dx x f ) (


c) I g es integrable.


DeIinicion 4 : Sea I : [ ] b a, R integrable. La Integral IndeIinida de I es la Iuncion F :
[ ] b a, R deIinida por:


F(x)

x
a
dt t f ) ( , [ ] b a x ,


Teorema 5 : Sea I : [ ] b a, R integrable. Entonces la integral indeIinida de I es
continua ( aunque I pudiera no serlo). Ademas, si I es continua en x
0
[ ] b a, , entonces
F es diIerenciable en x
0
y se tiene que:

F` (x
0
) I(x
0
) , o sea
dx
d
[

x
a
dt t f ) ( ]
o
x x =
I(x
0
)

Teorema 6: Sea I : [ ] b a, R . Entonces

a) I continua I integrable

b) I monotona I integrable


DeIinicion 5: Sea I : [ ] b a, R integrable.

El Area, A, del conjunto de puntos del plano acotados por las lineas:

y I (x) , y 0, x a, y x b

se deIine por

A

b
a
dx x f ) (
Y Y





y I(x) y ) (x f



0 a b X 0 a b X





Teorema 7: (Teorema Fundamental del Calculo) Sea I: [ ] b a, continua y g una
antiderivada cualquiera de I en [ ] b a, . Entonces:

b
a
dx x f ) ( G (b) - G (a)

Notacion: G (x)
b
a
G (b) - G (a)


Teorema 8 : (Teorema del Valor Medio para Integrales) I continua sobre [ ] b a,
[ ] b a, tal que

b
a
dx x f ) ( I ( ) (b a )

Y
Nota: si I 0, entonces se y I(x)
obtiene una interpre-
tacion geometrica de este
teorema a traves de la
igualdad entre el area ba- I( )
jo la curva y I(x) y el area
del rectangulo de la Iigura


0 a b X





Teorema 9: (Teorema del Valor Miedo Generalizado para Integrales) Sean I, g
Iunciones tales que:

i) I es continua sobre [ ] b a, ,
ii) g es integrable sobre [ ] b a, y no cambia de signo en este intervalo

Entonces existe [ ] b a, tal que:

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

b
a
dx x g ) (


*** UNA CONSTRUCCION EQUIVALENTE DE LA INTEGRAL DEFINIDA
( DE REIMANN)


DeIinicion 1 : Sea I : [ ] b a, acotada y sea P { }
n
x x x , ,.... ,
1 0
una particion
de [ ] b a, . DeIinimos:

i) M
k
Sup { ) (x f x
[ ]
k k
x x ,
1

}

m
k
InI { ) (x f x
[ ]
k k
x x ,
1

}


k k
x x = -
1 k
x
; k 1, 2, . . . , n


ii) S ( P, I)

=
n
k 1
M
k

k
x : Suma superior de I respecto de la particion P

s ( P, I)

=
n
k 1
m
k

k
x : Suma InIerior de I respecto de la particion P
Y











0
k
x X
M
k
m
k

iii) [ ] { }

b
a
b a de particion P f P S Inf dx x f , ) , ( ) ( Integral Superior de I sobre [ ] b a,
[ ] { }

b
a
b a de particion P f P s Sup dx x f , ) , ( ) ( Integral InIerior de I sobre [ ] b a,

DeIinicion 2`: Sea I: |a, b|

b
a
dx x f

) (

b
a
dx x f ) ( , entonces diremos que:
i) I es integrable (segun Riemann) en |a, b|, y
ii)

b
a
dx x f ) (

b
a
dx x f

) (

b
a
dx x f ) ( es la integral deIinida (de Riemann) de I
sobre |a, b|


*** CONDICIONES NECESARIAS Y SUFICIENTES PARA QUE UNA FUNCION
SEA INTEGRABLE (SEGUN RIEMANN)

Teorema 10: Sea I: |a, b| acotada. Entonces I es integrable sobre |a, b| si y solo si
~0P, particion de |a, b|, tal que S(P, I) - s(P, I).

DeIinicion 6: Un subconjunto E de se dice que tiene Medicion Cero si y solo si
~0 existe una cantidad numerable de intervalos abiertos I
1
, I
2
, ... , I
n
, ... tal que:

i) E
I U
N n
n

ii)

=1
, ,
n
n
I , donde , I
n
, denota la longitud del intervalo I
n
.

Ejemplos: 1) Cualquier conjunto Iinito de puntos tiene medicion cero.
2) Cualquier conjunto numerable de puntos tiene medida cero.
3) Q tiene medida 0.
4) Consideremos el intervalo |0, 1|. Trisectemos el intervalo por los
puntos
3
1
,
3
2
y eliminemos el intervalo abierto (
3
1
,
3
2
) que llamaremos el 'tercio
medio de |0,1|. Obtenemos asi el conjunto K |0,
3
1
| |
3
2
,1|. Trisectando los
intervalos |0,
3
1
| y |
3
2
,1|, y eliminando sus tercios medios obtenemos el conjunto:
K
2
|0,
9
1
| |
9
2
,
3
1
| |
3
2
,
9
7
| |
9
8
,1|.

Continuando de esta manera obtendremos los conjuntos K
1
, K
2
, ... , K
n
, ... . El
Conjunto de Cantor, K, se deIine por: K

=1 n
n
K
K tiene medida cero.

Teorema 11: Sea I:|a, b| acotada. Entonces, I es integrable si y solo si el conjunto
de todos los puntos de |a, b| en que I es discontinua tiene medida cero.