Professional Documents
Culture Documents
(Elon Lages Lima) Analisis Real (Volume 1)
(Elon Lages Lima) Analisis Real (Volume 1)
R es de clase C1 (esto
es, tiene derivada continua) entonces F(z) = F(a) +f; F'(t)dt. En162 Célculo con integralea
Cap. 11
particular, F(6) = F(a) + f°F’(t)dt. Esto reduce el célculo de
Ja integral f° f(x)dx a encontrar una primitiva de f. Si F’ = f,
entonces {” f(x)dx = F(b) — F(a).
Teorema2. (Cambio de variables) Sean f: [a,b] > R.con-
tinua, g: [c,d] + R. con derivada integrable y 9((c,d]) C (a,b). Em
tonces
[on vee d « ae
l = [ soto was
Demostracién: Por el Teorema 1, f posee una primitiva F: [a,b] +
Ry se tiene [29 f(z)dx = F(o(4)) — F(9(c)). Por otra parte, la
regla de la cadena nos da (F o g)'(t) = F’(g({t))9'(t) = f(9(t))9'(¢)
para todo ¢ € [a,b]. Luego F 0g:(c,d] + R es una primitiva de la
funcién integrable t -» f(9(t))g/(t). Por tanto [4 f(9(t))g/(t)at =
F(g(d)) — F(g(c)), lo que prueba el teorema. o
Observacién. El Teorema 2 nos da una buena jusificacién para
usar la notacién J, fe f(x)de en vez de f fe f. Para cambiar de varia-
bles en ie f(x)dz, se toma z = g(t). La diferencial de 2 serd
dx = g'(c)dx. Estas substituciones nos dan
-9(d) d
[- seeyae = [state ee.
a(c) e
El cambio de los limites de integracién es natural: cuando ¢ varia
entre ¢ y d, « = g(t) lo hace entre g(c) y g(d).
Es tradicional en el calculo la notacién F|? = F(b) — F(a).
Teorema 3. ({Integracién por partes) Si f,9:[o,4] + R
tienen derivadas integrables entonces:
b ’ b
ff se)-steide = sa [sete
" Boccién 1
‘Teoremas clésicos del Célculo Integral 163
Demostracién: Es suficiente observar que f -g es una primitiva
de f-9'+f'-g e integrar esta suma usando el Teorema Fundamental
del Calculo. a
Teorema 4. (Férmula del Valor Medio para integrales).
Sean f,p: [a,b] + R, f continua y p integrable con p(x) > 0 para
_ todo z € [a,b]. Entonces existe un mimero c € (a,b) tal que
fo s(e)pl=)dz = F(c) + [2 p(e)dz.
Demonstracién: Para todo x € [a,b], tenemos m < f(z) < M,
donde m es el infimo y M el supremo de f en [a,b]. Como p(x) > 0
se tiene m-p(z) < f(x) -p(z) < M - p(a) para todo x € [a, 4.
Sea A = fo plz)dx. De las desigualdades anteriores resulta m -
A < J2s(c)p(z)dz < M- A. Luego existe d € [m,M] tal que
Jo #(a)p(e)dz = d- A. Como f es continua, tenemos d = f(c) para
algun c € (a,b), lo que prueba el teorema. a
Corolario. Sea f:{2,8] + R continua. Entonces existe c € (a,b)
tal que f° f(x)dx = f(c)- (6-4).
Lema. Si ¢: [0,1] + R tiene derivada de orden n integrable, en-
tonces:
n-1
gO) fO- 9" @
(1) = ara +f @- 1D! (eat
Demostracién: Sin = 1, esta formula se reduce a y(1) = (0) +
Jee'(t)de, valida por el Teorema Fundamental del Célculo, Para
n = 2, la integracién por partes nos da
1 1 1
f (1 te"@at = (1-H) + f ol (t)dt
0 oO
= -'(0) + 9(1) — ¢(8),164 Céleulo con integrales
luego
1
(1) = (0) + 9'(0) +f (1-t)p" (tat.
0
Para n = 3, de nuevo la integracién por partes nos da
P= 1? ay i 1
| oon (ar = OS™" rola [ (1=t)p"(t)t
= + 00)- 0 -¥',
luego
10 1 (y_ 4)2
et) = (0) +60) 4 FO) 4 f O— rar
ra.
E| proceso inductivo esté claro, asi el lema es vdlido para todon. 0
Teorema 5. _ (Férmula de Taylor con resto integral). Si
f:I — R tiene derivada n-ésima integrable en el intervalo de ex-
tremos a,a +h entonces
Heth) =f) s'@)-ho 4 LOO yer
(a-D!
1 —;)n-1
+ [ ce +enas] 7
Demostracién: Definiendo : (0, 1] + R como g(t) = f(a + th),
se tiene yi(0) = f(a)h‘. Ahora el Teorema 5 resulta del lema
anterior.
Corolario. (Férmula de Taylor con resto de Lagrange),
Si f:I + R es de clase C” en el intervalo de extremos a,a +h € I
entonces existe @ € (0,1) tal que:
Hath) = f(a) + fa) bt tp LOO) pot, LOO TON) pn
(n— 1)! al
Seccién 2 La integral como mite de sumas de Riemann 165
En efecto, si lamamos A a la integral que aparece en el enun-
ciado del Teorema 5, por el Teorema 4 existe @ € (0,1) tal que:
_ f(a + 0h)
1 —;z)n-1
A=f™a +on) [ ae 5 dt 7
Observacién: Esta demostracién es més natural que la que se dié “
en el Teorema 2, Capitulo 9; sin embargo, se exige mas a la funcién
ie
2. La integral como limite de sumas de Riemann
La norma de una particién P = {to,t1,... stn} C [a,6] es el
ntimero |P| =mayor longitud ¢; — #; 1 de los intervalos de P.
Teorema 6. Sea f:{a,b] > R acotada. Para todo c > 0, existe
>
6 > 0.tal que |P| < 6=> S(f;P) < f,f(z)dz +e.
Demostracién: Supongamos inicialmente que f(z) > 0 en [a, 8].
Dado ¢ > 0 existe una particién Po = {to,t1,-.. tn} de {a,6] tal
que S(f:Po) < Tof(z)de +/2. Sea M = sup f. ‘Tomemos 5 tal
que 0 < 6 < ¢/2Mn. Si P es una particién cualquiera de [a, 8] tal
que |P| < 6, indicaremos mediante [ra—1, ra] los intervalos de P que
estén contenidos en algin [t;-1,t;] de Po, y mediante [rg—1, rg] los
restantes intervalos de P. Cada uno de estos contiene, al menos,
un punto t; en su interior, luego hay como méximo n intervalos del
tipo [r—1, 76]. Escribiremos a C i si [ra—1, 7a] C [ti-1,ti]- Cuando
a C ise tiene Me < MEY Daci(ta — Ta-1) S ti — 4-1. Estos
mimeros son todos > 0, luego Ss4cj Ma(ra —Ta-1) S Mi(ti- ti-1)166 Célculo con integrales Cap. 1
¥ Ma(rg —rp-1) < M6. Por tanto:
SUP) = Yo Malta ~ra-1) + S> Malra ~ 7-1)
= B
So Miti- ta) t+ Min-6
i=)
< S(f; Po) +e/2
—)
S(a)dz +e.
En el caso general, como f esté acotada, existe una constante c tal
que f(z) + > 0 para todo z € [a,b]. Tomando g(z) = f(z) +c,
tenemos S(9;P) = S(f;P)+e(b—a) y
=
J seme = [sens +c(b—2),
luego estamos en el caso anterior. oF
b>
Afirmar que $(f;P) < Jf (2)dz-+e es equivalente a J” (x)dz
~S(FiP)|
a,2". (Si R no esté acotado convendremos en
escribir r = +00).
El radio de convergencia r de a serie de potencias S.a,2”
verifica de las siguientes propiedades:
1. Para todo z € (—r,r) la serie S>an2” converge absolutamente.
En efecto, tomando p tal que |z| < p < r tenemos Vieni <
1/p, por consiguiente ¥//a,z"] = |x| a,” converge absolutamente.
2. Si |x| >r la serie Yan” diverge. En efecto, en este caso x ¢
R, luego no se tiene Y/Ja,| < 1/|2| para todo n suficientemente
grande. Esto significa que */Ja,| > 1/|z|, y por tanto janz”| >
1, para infinitos valores de n. Luego el término general de la
serie }'an2” no tiende a cero y por tanto la serie diverge.
3. Siz = +r, en general, no puede afirmarse nada: la serie
Dayz” puede ser divergente o convergente, segtin los diferentes
casos.
4. Si existe L = lim %/ja,] entonces r = 1/L. (Se sobreentiende
n=s00
que si L = 0 entonces r = +00). En efecto, para todo p € R
existe no € N tal que n > my > jan] < I/p. Haciendo
n —» oo obtenemos L < 1/p, de donde p < 1/L. Se deduce
que r = supR < 1/L. Ahora supongamos, por reduccién al
absurdo, que r < 1/L, entonces tomarfamos c tal que r < c <
1/L, de donde L < 1/c. Por la definicién de limite tendriamos
Vian] < 1/c para todo n suficientemente grande, de donde
c€ Ry asic