Beruflich Dokumente
Kultur Dokumente
[2017-18]
MATEMTICAS
REGLA DE BARROW
IV. BIBLIOGRAFA
Tema 29: El problema del clculo del rea. Integral definida. 2
naci.
E
En la parte III trataremos este tema, al calcular reas mediante las integrales
definidas que pasamos a ver. Antes debemos formalizar algunos conceptos.
Pasemos a ello desarrollando los puntos del esquema expuesto anteriormente.
M
serie de conceptos.
Se llama particin del intervalo [a,b] a una coleccin finita P de puntos de [a,b],
P = {x 0 ,x1,.....,x n } verificando que x0=a, xn=b, y a=x0<x1<x2<....<xn=b.
Definicin
Dadas dos particiones P,Q del intervalo [a,b], diremos que Q es ms fina que
P, o bien PfQ, si se verifica que todo punto de P pertenece a Q.
Proposicin
Sea f:[a,b]6 una funcin acotada.
i) Si P y P' son particiones de [a,b] tales que PdP', entonces:
S(f,P) S(f,P') I(f,P') I(f,P)
ii) Si P1,P2 son particiones arbitrarias de [a,b], entonces se tiene que I(f,P1)#S(f,P2).
-Dem-
TE
I(f,P1)#I(f,P1cP2)#S(f,P1cP2)# S(f,P2)
Definicin
La integral superior de f es, por definicin, el nfimo del conjunto de las sumas
_
Definicin
Sea f:A6 una funcin real de variable real, y sean a,b0A con a<b tal que
M
a a
Propiedades
Sean f,g:[a,b]6 funciones acotadas. Se verifican:
E
ii) f = f
U
_ _
iii) ( f ) = f, ( f ) = f +0
ES
_ _ _
iv) ( f + g) f + g , ( f + g) f+ g
-
_ _
TR
-Dem-
Son consecuencia casi directa de las propiedades de las sumas inferiores y
A
ms a las sumas inferiores. Esto se traduce en que la integral superior coincide con
la integral inferior. Esto da pie a la siguiente definicin.
Definicin
Sea f:[a,b]6 una funcin acotada. Diremos que f es "integrable" (en el
sentido de Riemann) sobre [a,b] cuando la integral superior coincida con la inferior,
TE
_ _
Diremos que f es integrable en [a,b] cuando f/[a,b] sea integrable. En tal caso la
E
b
integral de f en [a,b], denotada como
a
f ser la integral de f/[a,b] .
M
Proposicin
Equivalen las siguientes afirmaciones:
ES
1) f es integrable en [a,b]
2) + P P [a,b] tal que S(f,P ) I(f,P ) <
que (f + g) = f + g
iii) Si f,g:[a,b]6 son funciones integrables y se verifica que f(x)#g(x) para todo
f g.
A
verifica f = f .
-Dem-
E
_ _ _ _
( f ) = f = f= f = ( f )
ES
entonces f = f .
_
-
entonces si 0 se tiene que f=(-)(-f), con -0+. Entonces
f = ( ) f = ( ) f = f .
_
A
a a c a a c
-Dem-
Notemos f1=f/[a,c] y f2=f/[c,b] . Queremos probar que
_ _ _
M
f = f + f1 2 ; f = f + f
1
2
_ _ _
_ _
_ _ _
Finalmente, aplicando a la funcin -f, cuyas restricciones a [a,c] y [c,b] son -f1
_ _ _
_ _ _
i) f es integrable en [a,b]
ii) f es integrable en [a,c] y en [c,b].
b c b
-Dem-
Notemos f1=f/[a,c] y f2=f/[c,b] .
_
_
_ _
0 = f f = f1 f1 + f2 f2
TE
_ _ _
Como los dos sumandos del ltimo miembro son no negativos deben ser
nulos para que se cumpla la igualdad anterior, es decir, f1 y f2 son integrables.
ii i Es consecuencia inmediata de la proposicin anterior:
M
_ _ _
f = f + f = f + f = f
1 2 1 2
A
b c b
f = f + f 1 2 , es decir,
a
f = f+ f
a c
E
af = 0
a
De aqu se deduce que b
M
a
f = f
a b
U
Sea f:[a,b]6 una funcin creciente. Se tiene que f(a)#f(x)#f(b) x0[a,b] y por
tanto f es acotada.
n0 sea Pn0P([a,b]) la particin
ba ba ba
Pn = a,a + ,a + 2 ,.....,a + n = b
n n n
Tema 29: El problema del clculo del rea. Integral definida. 10
ba
Por ser f creciente, si xk = a + k para k=0,1,...,n se tiene:
n
mk(f,Pn)=f(xk-1) y Mk(f,Pn)=f(xk) para todo k=1,....,n
y por tanto, como para cada k0{1,2,...,n}, xk-xk-1=(b-a)/n, tenemos:
ba
I(f,Pn ) = ( f(x0 ) + f(x1 ) + ..... + f(xn1 ))
n
ba
( f(x1 ) + f(x 2 ) + ..... + f(xn ))
TE
S(f,Pn ) =
n
(b a)(f(b) f(a))
de donde S(f,Pn ) I(f,Pn ) = .
n
M
ii) Dado > 0 vamos a probar que P P [a,b] : S(f,P ) I(f,P ) <
D
f(x)-f(y) <
x-y < ba
Como v k uk < f(v k ) f(uk ) < , y sumando todos los trminos
ba
ES
Proposicin
Sea f:[a,b]6 una funcin integrable y sea g:[a,b]6 una funcin. Supongamos
que el conjunto {x0[a,b]: f(x)g(x)} es finito. Entonces g es integrable y se verifica
que f = g.
Tema 29: El problema del clculo del rea. Integral definida. 11
-Dem-
0 si x c
Sea c0[a,b] y h:[a,b]6 dada por h(x) =
1 si x=c
Si c=a c=b, h es montona luego integrable.
Si a<c<b tenemos que h/[a,c] y h/[c,b] son funciones montonas, luego integrables, y
sabemos que esto implica que h es integrable. Como en cualquier caso I(h,P)=0
TE
0 si x xk
definida por hk (x) = tenemos evidentemente que
1 si x=xk
A
=(x1)h1+(x2)h2+.....+(xn)hn.
Por la primera parte de la demostracin, para k=1,2,..,n tenemos que hk es
D
Esto nos viene a decir que "modificar el valor de una funcin en un conjunto
ES
derivada.
1 b
b a a
m y M , es decir, existe algn punto h0[a,b] tal que f(h) = f.
E
contenido en .
As por ejemplo toda funcin continua es localmente integrable.
Teorema (Fundamental del clculo)
TR
i) F es continua en .
A
s s
F(s) F(t) = t
f f sup{ f(x) : x (t,s)} s-t k s-t
t
que F es lipchiciana.
Veamos que F es continua utilizando la caracterizacin mediante sucesiones.
Tendr que probar que:
Si y {x n } con xn0 , entonces {F(xn )} F( ) .
M
Probmoslo pues:
A
{F(xn )} F( ) .
E
ii) Veamos que F es derivable en todo punto donde f sea continua y adems
F' (c)=f(c).
M
x c x c
x c x
F(x) F(c) f(c)(x c) = f f f(c)(x c) = f f(c)(x c)
ES
a a c
c c
Por ser f continua en c se tiene que:
TR
x x
F(x) F(c) f(c)(x c) =
c
(f(t) f(c))dt (f(t) f(c))dt
c
Definicin
A F definida anteriormente se le llama integral indefinida de f con origen en a.
TE
Definicin
Sea un intervalo; f una funcin definida en . Una primitiva de f es cualquier
M
funciones que son derivadas de alguna otra funcin tienen esta propiedad. Adems f
no puede tener discontinuidades evitables ni de salto en int( ) (por la misma razn).
D
x2
1 1 1
h'(x)=2xsen 2 cos 2 si x 0 y h'(0)=0.
x x x
U
Tambin hay funciones integrables que no tienen primitiva como puede ser
cualquier funcin montona en un compacto con discontinuidades.
TR
NOTA: El teorema Fundamental del Clculo nos dice en particular que toda funcin
continua en un intervalo tiene primitivas en dicho intervalo.
A
Regla de Barrow
Sea f : [a,b ] una funcin integrable y supongamos que admite primitivas
b
en [a,b]. Sea G una primitiva. Entonces
a
f = G(b) G(a) .
Tema 29: El problema del clculo del rea. Integral definida. 15
-Dem-
Sea P={x0,x1,.....,xn} cualquier particin del intervalo [a,b].
Para cada k0{1,2,..,n} podemos aplicar el teorema del valor medio a la
restriccin de G al intervalo [xk-1,xk], obteniendo tk0(xk-1,xk) tal que:
G(xk)-G(xk-1)=G' (tk)(xk-xk-1)=f(tk)(xk-xk-1)
As se tiene que:
TE
n n
Como I(f,P) f(tk )(xk xk 1 ) = ( G(xk ) G(xk 1 )) =G(b) G(a) S(f,P)
k =1 k =1
y esto es vlido para cualquier particin P del intervalo [a,b], luego tenemos que
b b
f(t)dt G(b) G(a) f(t)dt
A
a a
b
Por ser f integrable se tiene que a
f(t)dt = G(b) G(a) .
D
Ejemplo
E
3 1
Calculemos 4 e x 4
dx. En primer lugar, debemos asegurarnos de que el
que la funcin 1/(x-4) es continua en todos los puntos x excepto en x=4. Y como el
punto x=4 no pertenece al intervalo [4-e,3], la funcin del integrando es continua
U
3 1
4 e x4
dx = [log x 4 ]34 e = log1 loge = 1 .
TR
b (b)
a
(f ). ' =
(a)
f .
-Dem-
Sea G una primitiva de f en . Entonces
(G )' = [R. cadena] = (G' )( ') = (f ) '
Tema 29: El problema del clculo del rea. Integral definida. 16
Ejemplo
t +1
x= , dx=dt/2 9
5 2 9
3 dt t4
4 (2x 1) dx = 9+1 7+1 7 2 8 7
= t = = 520
M
5= , 4=
2 2
A
Como es complicado dar una definicin formal del concepto de rea que se
adapte al concepto intuitivo, se suele tomar como definicin de rea la siguiente:
E
b
"Si f(x)$0, y f es continua en [a,b], entonces
a
f representa el rea del
trapecio curvilneo limitado por la curva y=f(x), las rectas x=a y x=b, y el eje de las
M
abscisas."
Esta definicin qued justificada cuando vimos la interpretacin geomtrica de
U
rea.
Con esta definicin vamos a ver como se calculan reas en distintos casos:
TR
1. Sea f:[a,b]6 una funcin continua en [a,b]. Queremos calcular el rea del recinto
delimitado por la grfica f, el eje horizontal y las rectas x=a y x=b. Distinguiremos
casos segn el signo de f.
A
a) Si f(x)$0, x0[a,b]:
b
rea= a
f(x)dx
Tema 29: El problema del clculo del rea. Integral definida. 17
b) Si f(x)#0, x0[a,b]:
b
rea= f(x)dx
a
entre a y b:
c b
= f(x)dx f(x)dx
a c
A
NOTA: Observemos que en este ltimo caso el recinto est descompuesto en dos
D
partes, una con f$0 y otra con f#0 y calculamos el rea de cada parte por separado.
E
rea del recinto delimitado por las grficas de f y g y las rectas x=a y x=b.
a) Si f(x)$g(x) x0[a,b]:
U
rea=
ES
b b b
a
f(x)dx g(x)dx = (f(x) g(x))dx
a a
TR
IV. BIBLIOGRAFA
Aparicio del Prado, C y Pay Albert, R. Anlisis matemtico. Universidad de Granada, 1996
Berberian, S. K. A First Course in Real Analysis. Springer-Verlag, New York, 1994
Pivak, M.S. Clculo Infinitesimal. Reverte, Barcelona 1992
Prez Gonzlez, J. Clculo Diferencial e Integral de Funciones de una variable.
TE