MAT 210E - Clculo II a

L. Dissett Clase 4 Propiedades de la integral

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Repaso de la clase anterior

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Aditividad de la integral
La clase anterior mostramos (y dimos un esbozo de la demostracin de) el o siguiente teorema: Teorema. Sea f R[a,b], y sea c tal que a < c < b. Entonces f R[a,c], f R[c,b] y
b c b

f (x)dx =
a a

f (x)dx +
c

f (x)dx.
b

(1)

Gracias a esta propiedad, podemos extender la denicin de o hasta ahora slo hemos denido para a < b. o As llegamos a que: ,
a b a a

f (x)dx, que

f (x)dx = 0
a

y, si b < a,
a

f (x)dx =
b

f (x)dx.

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

 Algebra de integrales
Sean f, g R[a,b] y R, entonces:
b b

(i)
a b

f (x)dx =
a

f (x)dx
b b

(ii)
a

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

f (x)dx +
a

g(x)dx

Demostracin. Ejercicio (es inmediata de la denicin de integral y de las propieo o dades de linealidad del l mite y de la sumatoria).

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

 Algebra de integrales (cont.)

Observacin. De (i) y (ii), se tiene que, para todo , R, o
b b b

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

f (x)dx +
a

g(x)dx

Adems, si se considera = 1 y = 1, entonces se tiene que: a

b b b

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

f (x)dx
a

g(x)dx

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Propiedades de las integrales

(a) Si f R[a,b] y x [a, b] se tiene f (x) 0, entonces:
b

f (x)dx 0.
a

Demostracin. Inmediata, pues dada cualquier particin y eleccin de puntos, o o o b f (i)xi 0, por lo que a f 0
i

(b) Si f, g R[a,b] y x [a, b] se tiene f (x) g(x), entonces:

b b

f (x)dx
a a

g(x)dx.

Demostracin. Basta considerar h(x) = g(x) f (x), usar (a) y la linealidad o de la integral.
c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Propiedades de las integrales (cont.)

(c) Si f R[a,b] y x [a, b] se tiene m f (x) M , entonces:
b

m(b a)
a

f (x)dx M (b a)
b

Demostracin. Usar (b) y el hecho de que o

a

dx = (b a).

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Ejercicios:
1. Demostrar que si f R[a,b] y a b, entonces:
b b

f (x)dx
a a

|f (x)|dx

2. Acotar la integral
0

senx 2+ 1 + cos2 x 2

dx

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Teorema de existencia
Un resultado sumamente importante, que no demostraremos, es el siguiente: Teorema (Teorema de Existencia de la integral). Sea f : [a, b] R una funcin continua en [a, b]. Entonces existe o
b

f (x)dx.
a

La importancia de este teorema es la siguiente: a partir de este momento, si f : [a, b] R es continua, entonces nos basta encontrar una sucesin = (Pk ) de o particiones tal que l ||Pk || = 0 y una sucesin de elecciones A = (Ak ) para que m o
k b

f (x)dx = l S(f ; a, b; Pk , Ak ). m
a k

c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

El Teorema del Valor Medio para Integrales (TVMI)

Dada una funcin f : [a, b] R, integrable en [a, b], denimos su valor medio o en el intervalo [a, b] como 1 M (f, a, b) = ba
b

f (x)dx.
a

Esto es una generalizacin de la idea de promedio de una cantidad nita de o valores. En general, una funcin f no tiene por qu tomar su valor medio (del mismo o e modo que el promedio de un conjunto nito de nmeros no tiene por qu ser u e elemento de dicho conjunto). Sin embargo, si f es continua en [a, b] podemos decir algo ms: a Teorema (del valor medio para integrales). Si f : [a, b] R es continua (y por lo tanto integrable, por el teorema de existencia) en [a, b], entonces existe x0 (a, b) tal que f (x0) = M (f, a, b).
c Ma Isabel Rauld / Luis Dissett.

P.U.C. Chile, 2003

Demostracin del TVMI o

Ya que f es continua en [a, b], es acotada en [a, b]. As existen m, M R tales , que m f (x) M para todo x [a, b]. Sin perder generalidad, podemos tomar m = inf f (x),
axb

M = sup f (x).
axb

Por la propiedad (c) anterior, se tiene

b

m(b a)
a

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

de donde m

M. ba Si m = M , entonces la funcin es constante en [a, b], su valor medio es igual a o dicha constante, y cualquier x0 (a, b) satisface la condicin deseada. As pues, o , supondremos que m < M . Como f es continua, existen x1, x2 [a, b] tales que f (x1) = m, f (x2) = M .
c Ma Isabel Rauld / Luis Dissett.

10

P.U.C. Chile, 2003

Demostracin del TVMI (cont.) o

Como hay una vecindad de x1 tal que f (x) <
b f (x)dx a m+M 2

en ella, vemos que

ba (por qu?) y anlogamente, e a

b f (x)dx a

<M

ba O sea: ba f (x2) = M .
b a f (x)dx

> m.

es un nmero estrictamente comprendido entre f (x1) = m y u

Por el TVI, existe x0 entre x1 y x2 (que es = x1 y = x2, y por lo tanto (a, b)) tal que b f (x)dx a f (x0) = , ba QED.
c Ma Isabel Rauld / Luis Dissett.

11

P.U.C. Chile, 2003

Discontinuidades
Qu pasa si f : [a, b] R es acotada, pero es discontinua en c (a, b)? e Bosquejo de la demostracin. Ya que la diferencia de alturas de los rectngulos o a que contienen a c en su base es a lo ms M m (con M, m las cotas superior e a inferior de f en [a, b]), y sus bases tieneden a cero, la diferencia de reas entre dos a sumas de Riemann debe irse a cero, por lo que las sucesiones deben tender a lo mismo, y as se tiene f R[a,b] y:
b c b

f (x)dx =
a a

f (x)dx +
c

f (x)dx.

O sea, una funcin con una discontinuidad en [a, b] es integrable a pedazos. o Por supuesto, si f tiene una cantidad nita cualquiera de discontinuidades en [a, b] entonces f es inegrable en [a, b], simplemente cortando el dominio en tantos pedazos como determine la cantidad de discontinuidades (si hay n discontinuidades, hay que tomar n + 1 pedazos). Esto se puede demostrar por induccin. o
c Ma Isabel Rauld / Luis Dissett.

12

P.U.C. Chile, 2003

Discontinuidades (cont.)
Un resultado quizs ms sorprendente que los anteriores es el siguiente: a a Teorema. Si f tiene una cantidad innita de discontinuidades en [a, b], pero el conjunto de discontinuidades de f en [a, b] puede ser expresado como una sucesin de nmeros reales (xn)nN, entonces f es integrable en [a, b]. o u

c Ma Isabel Rauld / Luis Dissett.

13

P.U.C. Chile, 2003