Professional Documents
Culture Documents
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.
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).
(f (x) + g(x)) dx =
a a
f (x)dx +
a
g(x)dx
(f (x) g(x)) dx =
a a
f (x)dx
a
g(x)dx
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
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.
m(b a)
a
f (x)dx M (b a)
b
dx = (b a).
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
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
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.
M = sup f (x).
axb
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
<M
ba O sea: ba f (x2) = M .
b a f (x)dx
> m.
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
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
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
13