ANALISIS MATEMATICO

La Integral

El primer problema del clculo

Lo presentamos en la primera clase.
Dada una regin como la de la
figura, asociarle un nmero A que
represente el rea de la misma en alguna
unidad de medida

Este problema ser slo una motivacin para definir el concepto de integral que
es mucho ms rico que una herramienta para calcular reas de regiones ms o
menos complicadas.
Como lo hemos hecho en varias ocasiones en este
curso, resolveremos un problema ms fcil tratando de
aproximar a la solucin global de problema tan
general.
Concretamente, consideraremos una funcin continua
y positiva en el intervalo [a, b] .
Nos proponemos definir y calcular el rea
a
b
comprendida entre el grfico de la funcin y el eje x

La idea de Arqumedes
Seguiremos las mismas ideas que Arqumedes
desarroll para calcular el rea del tringulo
parablico hace ms de dos mil aos:
Se tapiza la regin verde con rectngulos (azules). La
suma de las reas de estos rectngulos aproxima (por
defecto) al rea de la regin verde.
Tambin se puede aproximar el rea de la regin verde
por exceso cubrindola con rectngulos y sumando sus
reas (ver figura).
La idea es tomar la menor de las aproximaciones
por exceso y la mayor de las aproximaciones por
defecto y tener la esperanza de que coincidan.
Para formalizar esta idea es necesario introducir
alguna que otra definicin y la notacin adecuada.
En lo que sigue la nica hiptesis sobre f es que es una
funcin acotada ( m f ( x) M ) en el intervalo [a, b]
(aunque la pensaremos continua y positiva para poder
seguir con la motivacin de calcular el rea bajo el
grfico de f).

Aproximacin por
defecto

Aproximacin por
exceso

Particin
Una particin P del intervalo [a, b] es un conjunto de la forma
P : a x0 x1 x2 ... xn b
o Ejemplos
1

n 1
1 2
Intervalo [0,1] . P 0, , ,...,
, n
n
n n

ab
Intervalo [a, b] . P a,
, b
2

Intervalo [a, b] . P a, b

Intervalo [0,2] . P 0, ,1,2

para n 8

ab

Sumas inferiores y sumas superiores

Sea P x0 a x1 ... xn b una particin de [a, b] .

mi inf f ( x) : xi x xi 1 , i 0,1,...n 1
(el nfimo es un mnimo si la funcin es continua)
Llamamos suma inferior (de f con respecto a P) a la
suma de las reas de todos los rectngulos azules:

m0
m1
m2

m3

n 1

sP ( f ) m0 ( x1 x0 ) ... mn1 ( xn xn 1 ) mi ( xi 1 xi )
i 0

x0 x1 x2
b

x3

x4

(esta suma aproxima al rea de la regin verde por defecto)

De la misma manera si M i sup f ( x) : xi 1 x xi , i 1,..., n se define suma
superior
n

S P ( f ) M i ( xi xi 1 )
i 1

(esta suma aproxima al rea de la regin verde por exceso)

Observaciones
Las siguientes observaciones llevan a la definicin de integral. Todas ellas se
ven en un dibujo por lo que no damos una demostracin formal:
1. sP ( f ) S P ( f ) (pues mi M i )
2. Si le agrego un punto a P (afino la particin) R P {c} P se
tiene
sP ( f ) sR ( f ) , SP ( f ) SR ( f )
En otras palabras, cuando afino la particin, las sumas inferiores se agrandan, las
superiores se achican.

Al agregar un
punto la suma
inferior se agranda
xi 1

xi

En general si R P valen las desigualdades de arriba. En particular vale

m(b a) sP ( f ) , SP ( f ) M (b a)
(donde m inf f ( x) : x [a, b] y M sup f ( x) : x [ a, b] )
3. Si P y Q son dos particiones cualesquiera del intervalo vale
sP ( f ) SQ ( f )
Es decir todas las sumas inferiores son menores que cualquier suma superior.
Esto se deduce de las observaciones anteriores, usando que R P Q contiene
a P y a Q, con lo cual
sP ( f ) sPQ ( f ) SPQ ( f ) SQ ( f )

La definicin de integral
Podemos tomar entonces la mayor de las sumas inferiores y la menor de las
sumas inferiores y esperar que estos dos nmeros sean los mismos: el rea bajo
el grfico de f.
Lo que pasa es que, en general estos dos nmeros no son iguales. Definimos
pues la integral inferior y la integral superior de f respectivamente:
f
I f sup sP ( f ) : P particin I inf SQ ( f ) : Q particin
,
Claramente I f I f por la observacin 3. Pero como dijimos antes, no siempre
es igual. Cuando son iguales decimos que la funcin f es integrable y ponemos
b

I I f I f ( x)dx
f

Comentarios
Esta notacin es debida a Leibniz. El signo integral es una deformacin del
smbolo de sumatoria, el smbolo dx juega el papel de la base de rectngulos
infinitamente pequeos y f ( x) juega el papel de la altura de esos rectngulos.
Para nosotros es un paquete que va junto y que resulta ser muy adecuado para
los clculos, lo que podr verse en las clases prcticas.
Notar que para la definicin slo se requiri la acotacin de f. De hecho, si f es
negativa (o toma valores negativos) la integral es negativa o puede tomar valores
negativos.

Uso de la definicin
Vamos a usar la definicin de integral que
acabamos de dar para calcular el rea bajo el
grfico de f ( x) x , x [0,1] . Es decir que
calcularemos el rea de un tringulo de base 1 y
altura 1. Es obvio que no necesitamos el concepto
de integral para saber que el rea es igual a

1
,
2

pero el clculo nos ilustrar sobre las dificultades

prcticas que tiene la definicin.

Uno de los problemas de la definicin es la de considerar todas las particiones.

Veremos, que, tal como lo hizo Arqumedes, se puede trabajar con una familia
de particiones, en lugar de tener que considerar todas las particiones. Sean

n 1
1 2
Pn 0, , ,...,
,1 , n
n
n n

Son las particiones que dividen el intervalo en n partes iguales.

Para calcular las sumas inferiores y las sumas superiores, s pn ( f ) y S Pn ( f )
respectivamente, como f es creciente y gracias a que cada particin es
equiespaciada, se tiene que

i 1 i
n

i 1 i

i 1

i 1

1
i
i 1
xi 1 xi , mi , M i
, i 0,1, 2,...., n 1 .
n
n
n
Entonces
n 1

s pn ( f ) mi ( xi 1 xi )
i 0

1 n1
(n 1)n 1 1
1
crece
i

n
2
2
n i 0
2n
2 2n
2

De la misma forma
n

S Pn ( f ) M i ( xi 1 xi )
i 1

1
n2

i
i 1

n(n 1) 1 1 decrece 1

2n 2
2 2n n 2

Vemos que
s pn ( f ) es una sucesin creciente de nmeros reales y que
S Pn ( f ) es una sucesin decreciente de nmeros reales.
lim sPn ( f ) lim S Pn ( f )
n

1
2

Entonces vale que:

I f sup sP ( f ) : P particin sup sPn ( f ) : n lim sPn ( f ) lim S Pn ( f )

inf S ( f ) : n inf S
Pn

( f ) : Q partiicin I f

Entonces f es integrable y vale

1

xdx 2
0

Funciones no integrables
La funcin de Dirichlet en el intervalo [0,1] es un ejemplo de funcin no
integrable:
1 si x
f ( x)
0 si x

Por la densidad, en todo intervalo de una particin cualquiera, se tiene que

mi 0 , M i 1 , entonces I f 0 , I f 1 .

Funciones integrables
La cuenta que hicimos en el ejemplo f ( x) x vale para cualquier funcin
creciente o cualquier funcin decreciente. Podemos enunciar el
Teorema
f montona , entonces f integrable.
El siguiente teorema lo enunciamos sin demostracin (requiere introducir el
concepto de continuidad uniforme) pero nos responde a la pregunta si hay
suficientes funciones integrables.
Teorema
f continua, entonces f integrable.
Es ms si f es continua en [a, b] salvo tal vez en un nmero finito de puntos,
entonces f es integrable.

Propiedades
Las propiedades siguientes, la integral las hereda de las sumas superiores e
inferiores.
Si f , g son funciones integrables entonces
b

f ( x)dx f ( x)dx f ( x)dx cualquiera sea c [a, b]

a

f ( x)dx f ( x)dx
b

f ( x)dx 0
a
a

kf ( x)dx k f ( x)dx cualquiera sea k

a
b

a
a

( f ( x) g ( x))dx f ( x)dx g ( x)dx

a
b

Teorema Fundamental del clculo (TFC)

Vimos que el uso directo de la definicin tiene ciertos inconvenientes para el
clculo. De todas maneras hay que destacar que los mtodos numricos rescatan
y se apoyan en la definicin de integral (ver ejercicio 11 de la prctica)
Veremos como se puede zafar de usar la definicin de integral para hallar su
valor en cada caso.
En lo que sigue f es continua (y por lo tanto integrable).

Problema: Calcular el valor de

f (t )dt .
a

Para cada x [a, b] estudiamos la funcin rea definida como

x

A( x) f (t )dt .
a

Mirndola fijo se observa que:

b

A(b) f (t )dt es el valor que buscamos

a

A(a) 0
Se puede probar que A( x) es una funcin continua (para lo cual slo se
requiere que f sea integrable). Pero vamos a calcular el cociente incremental de A
con vistas a calcular su derivada
xh

f (t )dt

x+h

A( x h) A( x) 1

h
h

xh

f (t )dt

Si ponemos
m(h) min f (t ) : t [ x, x h] y M (h) max f (t) : t [ x, x h]
se ve (no pretende ser una demostracin formal)
A( x h) A( x)
M ( h)
m(h)
h
(se ve para h 0 mirando el dibujo, para h 0 se arregla)
lim m(h) lim M (h) f ( x) (gracias a la continuidad de f)
h 0

h 0

Entonces se deduce que

d
A( x) A( x) f ( x)
dx

Teorema Fundamental del Clculo

Si f es continua entonces

d
f (t )dt f ( x)

dx a

Este teorema constituye el resultado ms importante del curso. Liga en forma

muy estrecha los dos problemas histricos del clculo que, en trminos
geomtricos son: el problema del rea y el problema de hallar rectas tangentes
horizontales (el Teorema de Fermat). La regla de Barrow pone de manifiesto la
potencia de este teorema

Regla de Barrow
Definicin
Una primitiva de f es una funcin G con la propiedad
G( x) f ( x) .
Por ejemplo G( x) x 2 es una primitiva de f ( x) 2 x .
Solucin al Problema
b

Tenamos que calcular el valor de A(b) f (t )dt

a

El TFC permite calcular tal valor conociendo una primitiva de f.

En efecto, sea G una primitiva de f. Se tiene que
G( x) A( x) f ( x) f ( x) 0 ,
entonces
G( x) A( x) k .
En particular

k G(a) A(a) G(a)

Luego
b

f (t )dt G(b) G(a)

Regla de Barrow

En otras palabras basta conocer una primitiva de f para calcular la integral.

Ejemplo

x2
es una primitiva de f ( x) x que fue el ejemplo donde
2
usamos la definicin. Usando la Regla de Barrow se obtiene
1
1
0 xdx G(1) G(0) 2
Observacin
Las primitivas son esencialmente iguales entre s. Ms precisamente, difieren
en una constante. En efecto, si F y G son dos primitivas de f entonces
La funcin G ( x)

F( x) G( x) f ( x)

Entonces

F G ( x) 0

Por el Teorema del Valor Medio resulta

F ( x) G ( x ) k

Clculo de primitivas
Por lo expuesto ser de gran utilidad tener una agenda de primitivas lo que se
puede lograr leyendo una tabla de derivadas al revs:

f ( x)

G ( x)

x , n 1

x n 1
n 1
ln x

1
x
ex
cos x
senx

ex
senx
cos x

Ejemplos
Calcular el rea de una onda de f ( x) sen(x)
Solucin
Tenemos que calcular
Una

0 sen( x)dx .

primitiva

f ( x) sen(x) es

de

G( x) cos(x)

Entonces:

0 sen( x)dx cos( x) 0 ( cos ) ( cos0) 1 1 2

Hallar f continua sabiendo que

f (t )dt 2 x 3x 2 1 cos x

Solucin
Por el Teorema Fundamental del Clculo, al derivar ambos miembros
se obtiene
f ( x) 2 6 x sen( x)

El rea bajo el grfico de f ( x) x en el intervalo [0, a] es igual a

16
. Hallar el valor de a.
3

Solucin
a

Se tiene que

xdx

16
. Entonces
3

16
2 3
xdx x 2
3 0
3

Se obtiene a 4

2 3
a 2
3