Documentos de Académico
Documentos de Profesional
Documentos de Cultura
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2
Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o Ingenier acerca de cul ser la dinmica del curso. a Matemtica a aa a
Universidad de Chile
SEMANA 1: CONTINUIDAD
1.
1.1.
Continuidad
Subsucesiones
Usa estas notas al margen para consultar de manera ms rpida el maa a terial. Haz tambin tus propias e anotaciones.
Denicin 1.1 (Subsucesin). Sea (sn ) una sucesin. Sea f : una funcin estrictamente o o o o creciente. Se llama subsucesin de sn generada por f , a la sucesin (un ), denida por: o o un = sf (n) . Ejemplo 1.1. Si f (n) = 2n, entonces un = s2n . (un ) = (s0 , s2 , s4 , s6 , s8 . . . ). Si f (n) = 2n + 1, entonces un = s2n+1 . (un ) = (s1 , s3 , s5 , s7 , . . . ). En general, (un ) = (sf (n) ) = (sf (0) , sf (1) , sf (2) , . . . ).
subsucesin o
Observacin: Aceptaremos que la funcin f no este denida para un n mero nito de trminos o o u e como por ejemplo f (n) = n 5. (sn5 ) = (, , , , , s0 , s1 , . . . ).
El siguiente teorema caracteriza la convergencia de una sucesin v la de sus subsucesiones, moso a trando que adems stas no pueden tener un l a e mite distinto al de la original.
. Entonces
sn Todas las subsucesiones de (sn ) convergen a . Demostracion. ) Basta tomar f (n) = n, con lo que sf (n) = sn . ) Sabemos que > 0, n0 , n n0 , |sn | . Sea f : , estrictamente creciente y eventualmente no denida en un n mero nito de casos. u P.d.q. > 0, k0 , k k0 , |sf (k) | . Efectivamente, como f no es acotada superiormente (por qu?), k0 , f (k0 ) n0 . Y luego: e
Ingenier Matemtica a a
Universidad de Chile
Bolzano-Weierstrass
Teorema 1.2 (Bolzano-Weierstrass). Toda sucesin acotada tiene al menos una subsucesin o o convergente.
Demostracion. La demostracin se realiza mediante un mtodo de dicotoma. o e Sea (sn ) una sucesin acotada. Existen entonces a0 , b0 tales que o
a0 sn b 0 .
Llamemos I0 = [a0 , b0 ]. Sea a continuacin c0 = a0 +b0 . Es claro que en alguno de los intervalos [a0 , c0 ] y [c0 , b0 ], hay una o 2 innidad de trminos de la sucesin (sn ). Llamemos I1 = [a1 , b1 ] a dicho intervalo. e o e Denimos entonces c1 = a1 +b1 . Nuevamente, debe haber una innidad de trminos de (sn ) en alguno 2 de los intervalos [a1 , c1 ] y [c1 , b1 ]. Llamamos a dicho intervalo I2 = [a2 , b2 ] y proseguimos de la misma manera. As se formar una coleccin de intervalos I1 , I2 , I3 , . . . , In , . . . con las siguientes propiedades: , a o n (sn ). n
encajonados.
f (n + 1) = m n{k > f (n) | sk In+1 }. Con esto la subsucesin (sf (n) ) tiene la siguiente propiedad: o n
| sk I1 }
(1.1)
Finalmente, es claro que las sucesiones (an ) y (bn ) son montonas (an an+1 , bn+1 bn ) y acotadas o (an , bn [a0 , b0 ]), luego convergen a los reales a y b, respectivamente. Adems como an bn , entonces a a b. a mite se tiene que b a = 0 o sea, a = b. Por ultimo, ya que bn an = b02n 0 , entonces tomando l Luego, aplicando sandwich en la desigualdad de (1.1), se obtiene que sf (n) a = b.
Ingenier Matemtica a a
Universidad de Chile
f f () x
f (sn ) x
sn
1.2.
Funciones continuas
Sabemos, del semestre anterior, que si tenemos una sucesin sn x, entonces sen(sn ) sen(). Es o x decir, la funcin seno satisface la siguiente propiedad: o sn x f (sn ) f (). x Pero, se tiene esta propiedad para cualquier funcin? Veamos la Figura 1. En la funcin dibujada, o o si uno toma cualquier sucesin sn que converge a x por la derecha, la sucesin de las imgenes f (sn ) o o a converge sin problemas al valor f (). Sin embargo, al tomar una sucesin sn que converge a x por x o la izquierda, se tiene que la sucesin f (sn ) converge a un valor h < f (). o x La intuicin nos dice que este fenmeno est relacionado de alg n modo con el salto o discontio o a u nuidad que la funcin f posee. Formalicemos esto v la siguiente denicin. o a o Denicin 1.2 (Funcin continua en un punto). Sea f : A o o es una funcin funcin continua en x si o o
y x A. Diremos que f
funcin continua en x o
(xn ) A, xn x f (xn ) f (). x Observacin: Notemos que en la denicin, la propiedad de ser vericada para toda sucesin o o o que converge a x y con valores en A. Es decir, si somos capaces de probar que la propiedad es vlida para alguna sucesin, eso no es suciente para que la funcin sea continua. a o o Sin embargo, los valores de la sucesin deben estar en el dominio de la funcin, luego si el o o dominio es reducido, entonces el n mero de sucesiones test es peque a. u n
Ejercicio
Ingenier Matemtica a a
Universidad de Chile
Ejercicio 1.1: Cmo se podr restringir el dominio de la funcin en la Figura 1, para que sea o a o cont nua en x?
1. Probar que f es continua en x = 0 y en x = 1. 2. Probar que f no es continua en x si x Solucin: o 1. Consideremos el caso x = 0. Sea (xn ) una sucesin arbitraria que converge a 0. o P.D.Q: f (xn ) f (0) = 0. En efecto, se tiene que f (xn ) = xn x2 n si xn si xn
\ {0, 1}.
Usando esta mayoracin y el teorema del sandwich de sucesiones se obtiene el resultado o buscado. Ahora consideremos el caso x = 1. Sea (xn ) una sucesin arbitraria que converge a 1. P.D.Q: o f (xn ) f (1) = 1. En efecto, se tiene que f (xn ) = de donde se deduce que |f (xn ) 1| = |xn 1| si xn |x2 1| si xn n xn x2 n si xn si xn
Usando esta mayoracin y el teorema del sandwich de sucesiones se obtiene el resultado o buscado.
Ingenier Matemtica a a
2. Consideremos el caso x
Universidad de Chile
Para demostrar que la funcin no es continua en este punto, debemos mostrar alguna o sucesin (xn ) que converja a x pero para la cual se tenga que f (xn ) x. o
Dada la frmula de la funcin f , esto ultimo lo hacemos con una sucesin de n meros o o o u irracionales.
2 n .
Sea xn = x + imgenes a
x2
Ejercicio
o El caso x se propone como ejercicio. Para formar una sucesin de racionales que converja a x, use para cada n la densidad de en en el intervalo (, x + n ). x 1
dos
Ingenier Matemtica a a
Universidad de Chile
Ejercicio
Demostracion. Probaremos la continuidad slo para 1 y 5, el resto quedan propuestas como o ejercicio. Para 1, debemos probar que si (xn ) es una sucesin en Dom(f + g) = A B que converge a x, o entonces (f + g)(xn ) converge a (f + g)(). x Esto ultimo es cierto ya que (f + g)(xn ) = f (xn ) + g(xn ). Pero como f y g son continuas en x, entonces f (xn ) f () y g(xn ) g(), y por el teorema de lgebra de sucesiones x x a (f + g)(xn ) = f (xn ) + g(xn ) f () + g() = (f + g)(). x x x Para 5, sea (xn ) una sucesin con valores en Dom(f /g) = (A B) \ Z(g) (Z(g) es el conjunto de o ceros de g), que converge a x. Nuevamente, por continuidad de f y g, f (xn ) f () y g(xn ) g() y usando el teorema de lgebra x x a de sucesiones, resulta: f () x f (xn ) = (f /g)(). x (f /g)(xn ) = g(xn ) g() x
Teorema 1.4 (Composicin de funciones continuas). Sean f : A o yg:B dos funciones. Si f es continua en x A y g es continua en f () B, entonces la funcin g f x o es continua en x.
Demostracion. Notemos primero que Dom(g f ) = {x A | f (x) B}. Sea entonces una sucesin o (xn ) con valores en Dom(g f ) que converge a x. Como xn Dom(g f ), entonces xn Dom(f ) f (xn ) Dom(g). Esto implica, por un lado que, xn Dom(f ) y xn x. Usando la continuidad de f en x se concluye que la sucesin (f (xn )) converge a f (). o x Ahora, notemos que la sucesin (f (xn )) cumple que f (xn ) Dom(g) y f (xn ) f (), luego por o x continuidad de g, (g f )(xn ) = g(f (xn )) g(f ()) = (g f )(). x x
Ejercicio
Ejercicio 1.2: Gracias a los teoremas anteriores, podemos concluir que las siguientes funciones son continuas. Prubelo. e 1. f (x) = a0 + a1 x + a2 x2 + + an xn es continua x 2. f (x) =
a0 + a1 x + a2 x2 + + an xn es continua Dom(f ). x b0 + b1 x + b2 x2 + + bm xm
. +
Ingenier Matemtica a a
5. f (x) = xx , es continua > 0. x .x .. x xx 6. f (x) = x , es continua > 0. x 7. f (x) = tan(x) es continua x
Universidad de Chile
\ {(2k + 1) | k 2
}.
Teorema 1.5 (Caracterizacin de la continuidad). Sean f : A o f es continua en x ssi se cumple que > 0, > 0, x A |x x| |f (x) f ()| x
y x A.
(1.2)
caracterizacin o
_ f(x)+
_ f(x)
_ f(x)
_ x
_ x
_ x+
Demostracion. () Razonemos por contradiccin. Si la propiedad fuese falsa, signicar que o a existe > 0 tal que para todo > 0 podemos encontrar x A con |x x| y |f (x) f ()| > . x podemos tomar = 1/n y encontrar xn A que cumple las En particular, para cada n propiedades |xn x| 1/n y |f (xn ) f ()| > . x
x Claramente la sucesin {xn }n converge hacia x y sin embargo f (xn ) f () lo cual contradice la o continuidad de f en x.
() Supongamos ahora que la propiedad es cierta y probemos la continuidad. Tomemos una sucesin o cualquiera (xn ) con valores en A, tal que xn x. Debemos probar que f (xn ) f (). Para ello x consideremos > 0 arbitrario y sea > 0 dado por la propiedad. Dado que xn x existe n0 tal que |xn x| para todo n n0 . Usando la propiedad, se sigue que |f (xn ) f ()| para x n n0 con lo cual f (xn ) f (). x
Ingenier Matemtica a a
Universidad de Chile
Observacin: Esta propiedad permite entre otras cosas, hacer la conexin entre los conceptos o o de continuidad y l mite de funciones. En efecto, las caracterizaciones de ambos conceptos son prcticamente los mismos, cambiando por f () y autorizando a la variable x a tomar el a x valor x. De este modo podemos establecer que si el dominio de la funcin permite estudiar el l o mite de f (x) cuando x x y x A se tiene que: f es continua en x ssi l f (x) = f (). m x
x x
funcin continua o
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Semana 1
Ejercicios
1. Cmo se podr restringir el dominio de la funcin en la Figura 1 de la tutor para que sea o a o a, cont nua en x? 2. Dadas f : A yg :B , funciones continuas en x A B. Probar que las funciones f g, f (con ) y f g son continuas en x.
3. Usando los teoremas de lgebra y composicin de funciones continuas, pruebe que las siguientes a o funciones son continuas: a) f (x) = a0 + a1 x + a2 x2 + + an xn es continua . x 2 n a0 + a1 x + a2 x + + an x b) f (x) = es continua Dom(f ). x b0 + b1 x + b2 x2 + + bm xm x c) f (x) = a , con a > 0 es continua . x d ) f (x) = loga (x), con a > 0, a = 1, es continua . x + e) f (x) = xx , es continua > 0. x .x .. xx f ) f (x) = xx , es continua > 0. x g) f (x) = tan(x) es continua \ {(2k + 1) | k }. x 2
Termine el ejemplo de la tutor , probando que f no es continua x . Recuerde la indicacin: a o Para formar una sucesin de racionales que converja a x, use para cada n la densidad de o en en el intervalo (, x + n ). x 1
6. Determinar el valor que debemos dar a f (0) para que f (x) = x2 cos(1/x) sea continua en x = 0. 7. Sea f : denida por f (x) = sen(/x) si x = 0 y f (0) = . Demuestre que independiente del valor de , f no es continua en 0. 8. Estudiar la continuidad de la funcin f : o denida por f (x) = x2 si x x . Analice por separado los casos x = 0 y x = 0.
y f (x) = 0 si .
9. Probar que la funcin denida por f (x) = exp(1/x2 ) si x = 0 y f (0) = 0, es continua en o 10. Determinar el dominio y puntos de continuidad de las siguientes funciones (a) x sin(x)/ ln(1 + exp(x)) (b) x 1 + ln(1 + x3 ) (c) x exp(x)x3/2 / tan(x) 11. Estudiar dominio y continuidad de las funciones cot(x), sec(x), cosec(x).
12. (a) Sean f, g : A funciones continuas, tal que g(x) > 0 para todo x A. Demuestre que la funcin h(x) = g(x)f (x) est bin denida y es continua en A. o a e (b) Estudiar la convergencia de la sucesin yn = o 9
2n1 exp(1/n) . n
Ingenier Matemtica a a
Universidad de Chile
Problemas
una funcin continua y supongamos que c o P1. Sea f : x < c y f (x) > 0 para x > c. Demuestre que f (c) = 0.
P2. Sea f : A y supongamos que existe una constante L 0 tal que |f (x)f (y)| L|xy| para todo x, y A (una tal funcin se dice Lipschitziana de parmetro L). Probar que f es o a continua en A. P3. Sea f : A y rn > 0 una sucesin tal que rn 0. Probar que f es continua en x si y o solamente si la sucesin o sn := sup{|f (x) f ()| : |x x| rn }, x
x
converge a cero. denida por f (x) = 1/q si x = p/q con p , q , q = 0, p, q primos P4. Sea f : relativos, y f (x) = 0 si x . Probar que f es continua en todo punto x y discontinua en todo x . P5. tal que f (x) > g(x) para todo x ( , x + ). Indicacin: puede ser conveniente analizar x o primeramente el caso g 0. a) Sea f : (a) si f (x + y) = f (x) + f (y), x, y , entonces f (x) = ax con a = f (1). (b) si f (x + y) = f (x)f (y), x, y , entonces f (x) = ax con a = f (1).
Sean f, g : funciones continuas en x , con f () > g(). Probar que existe > 0 x x continua. Probar que
P6.
continua tal que f (xy) = f (x) + f (y) para todo x, y (0, ). b) Sea f : (0, ) Demuestre que f (x) = loga (x) con a = f 1 (1).
10
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2
Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o Ingenier acerca de cul ser la dinmica del curso. a Matemtica a aa a
Universidad de Chile
SEMANA 2: CONTINUIDAD
1.3.
Una propiedad muy util para estudiar el recorrido de una funcin continua, es el hecho que una tal o funcin que toma un par de valores, est obligada a tomar todos los valores intermedios. La esencia o a de esta propiedad la enunciamos en el siguiente resultado de existencia de ra de ecuaciones. ces Teorema 1.6. Sea f : [a, b] x [a, b] tal que f () = 0. x
una funcin o
existencia de ra ces
Demostracion. Consideremos el intervalo I0 = [a, b] y c = (a + b)/2 su punto medio. Tomando I1 = [a, c] si f (a)f (c) 0 I1 = [c, b] si f (c)f (b) 0, obtenemos o un intervalo I1 = [a1 , b1 ] I0 con f(x) f (a1 )f (b1 ) 0 y dimetro (b1 a1 ) = (b a a)/2. Iterando este procedimiento se obtiene una sucesin decreciente de intervalos o In = [an , bn ] In1 tal que f (an )f (bn ) 0 y (bn an ) = (b a)/2n . Por el Teorema de Intervalos Encajonados las suceI1 siones an y bn convergen hacia un mismo a c b x punto x [a, b], y pasando al l mite en la desigualdad f (an )f (bn ) 0 se deduce f ()2 0, es decir f () = 0. x x Ejemplo 1.2. Estudiemos las soluciones de la ecuacin tan(x) = x. Grcamente, se trata de encontrar las o a intersecciones de los grcos de las funciones x tan(x) y x x y, como muestra la siguiente a gura, resulta intuitivo que la ecuacin tiene innitas soluciones < z2 < z1 < z0 = 0 < o z1 < z2 < .
8 tan(x) 6
0 Z 1 2 Z 0 Z 1 Z 2
4 4 2 0 2 4 6 8
11
Ingenier Matemtica a a
Universidad de Chile
Como las funciones x tan(x) y x x son impares, es claro que si z es una solucin de la o ecuacin, entonces z tambin. En el grco esto corresponde al hecho que z1 = z1 , z2 = o e a z2 , . . .. Probemos la existencia de una ra z1 en (/2, 3/2). Para ello consideremos la funcin z o f (x) = tan(x) x y notemos que f () = < 0. Por otra parte, tomando la sucesin xn = o a 3/2 1/n se observa que f (xn ) + de modo que para alg n n se tendr f (xn ) > 0. El u teorema anterior nos permite concluir la existencia de un nmero z1 [, xn ] tal que f (z1 ) = 0, u esto es tan(z1 ) = z1 . Intentemos estimar z1 con 6 decimales usando el algoritmo sugerido en la demostracin del Teorema 1.6. Partamos con a0 = 4,4; b0 = 4,5 para los cuales se tiene o f (a0 ) = 1,30 y f (b0 ) = 0,14.
n 0 1 2 3 4 5 . . . 20 21
cn = (an + bn )/2 4.450000 4.475000 4.487500 4.493750 4.490625 4.492188 . . . 4.493409 4.493409
As luego de 21 iteraciones obtenemos la estimacin z1 4,49340946674347 la cual posee al , o menos 6 decimales exactos. Como ejercicio haga un programa para estimar z2 con 6 decimales.
Ejemplo 1.3. Probar que todo polinomio c bico tiene al menos una ra real. En efecto, sea p(x) = a + bx + u z cx2 + dx3 con d = 0 un polinomio c bico cualquiera. Observemos que p(n)/n3 d mientras que u p(n)/n3 d. De aqu se sigue que para n sucientemente grande p(n) tiene el mismo signo que d, mientras que p(n) tiene el signo contrario. Como consecuencia del teorema anterior el polinomio debe tener una ra en el intervalo [n, n]. Generalice el argumento para probar que z todo polinomio de grado impar tiene al menos una ra real. Analice que ocurre en el caso de z polinomios de grado par. Como corolario inmediato del Teorema 1.6 se obtiene la Propiedad de Darboux o Teorema de los Valores Intermedios: Teorema 1.7. Sea f : [a, b] una funcin continua. Si c, d f ([a, b]) entonces para todo o nmero e comprendido entre c y d, existe x [a, b] tal que f (x) = e. u Demostracion. Sean a0 y b0 tales que f (a0 ) = c y f (b0 ) = d. Sin perder generalidad podemos suponer a0 b0 . Aplicando el teorema anterior a la funcin g : [a0 , b0 ] o denida por g(x) = f (x) e se obtiene la existencia de x tal que g(x) = 0, vale decir f (x) = e.
12
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 1.4. El Teorema 1.7 permite demostrar, por ejemplo, que el recorrido de la funcin exp es (0, +). o En efecto, dado que las sucesiones exp(n) y exp(n) convergen hacia 0 y + respectivamente, cualquiera sea el n mero real y > 0 podemos encontrar n tal que exp(n) < y < exp(n). La u propiedad de los valores intermedios nos asegura la existencia de x [n, n] tal que exp(x) = y. Por otra parte, como ya sabemos que exp(x) > 0 para todo x , se concluye que Rec(f ) = (0, +). Recordemos que exp es estrictamente creciente con lo cual es inyectiva, de modo que exp : (0, +) es biyectiva. Su inversa, como ya vimos en cap tulos anteriores, es la funcin o ln : (0, +) .
1.4.
En esta corta seccin probaremos otra propiedad importante de las funciones continuas: en un o intervalo cerrado y acotado el mximo y el m a nimo son alcanzados. Exactamente se tiene: Teorema 1.8. Sea f : [a, b] y su mximo en [a, b]. a
Weierstrass
Demostracion. Probemos la propiedad del m nimo (la propiedad del mximo se prueba de manera a anloga y se deja como ejercicio para el lector). a Sea m = nf{f (x) : a x b}, eventualmente m = . Probaremos que existe x [a, b] tal que f () = m lo cual establece simultneamente que el x a nmo es nito y que es alcanzado. Para ello consideremos una sucesin (xn )n tal que f (xn ) converge hacia m. En virtud del Teorema de o Weierstrass podemos extraer una subsucesin convergente xnk x [a, b]. Por continuidad se tiene o f (xnk ) f (), de donde se deduce que m = f () probando simultneamente que m es nito (es x x a decir, f es acotada inferiormente) y que el nmo es alcanzado (en el punto x). Observemos que en el resultado anterior todas las hiptesis son necesarias. La funcin x exp(x), o o si bien tiene un nmo nito sobre , ste no es alcanzado: e no es acotado. Por otra parte, la funcin x x2 alcanza su m o nimo pero no as el mximo en el intervalo [0, 1), el cual no es cerrado. a Finalmente, la funcin denida por f (x) = 1/x si x = 0 y f (0) = 0 no es acotada y no alcanza o ni el m nimo ni el mximo en el intervalo [1, 1]. La dicultad en este caso proviene de la falta de a continuidad en x = 0.
Ejercicio
1.5.
Para nalizar el estudio de las funciones continuas, probaremos un resultado de gran utilidad para establecer la continuidad de una funcin que es la inversa de una funcin continua. o o Consideremos f : I donde I es un intervalo (nito o innito, abierto o cerrado o semiabierto) y sea J = f (I) su recorrido. Recordemos que si f es estrictamente montona (creciente o o decreciente) entonces es inyectiva y en consecuencia posee una inversa f 1 : J I (la cual tiene el mismo tipo de monoton que f ). El resultado anunciado es el siguiente: a
13
Ingenier Matemtica a a
Teorema 1.9. Sea f : I continua y estrictamente montona (creciente o decreciente) o con I un intervalo. Entonces J = f (I) es un intervalo y la inversa f 1 : J I es continua. Demostracion. El hecho que J es un intervalo se demuestra usando el Teorema 1.7 (ejercicio). Probemos que f 1 es continua en todo punto y J. La demostracin se separa en distintos casos o seg n si f es creciente o decreciente, y seg n si y es un extremo del intervalo J o se encuentra en su u u interior. En todos los casos la idea de la demostracin es bsicamente la misma, de modo que nos o a limitaremos a analizar la situacin ms simple en que f es creciente e y se encuentra en el interior o a del intervalo J. Sea yn J tal que yn y. Sea x = f 1 () y xn = f 1 (yn ). Notemos que x se encuentra en el y interior del intervalo I (ejercicio, usar la monoton de f ). Debemos probar que xn x, para lo a cual usaremos la denicin de convergencia. o Sea > 0 peque o tal que [ , x + ] I. n x Como x < x < x + , la monoton de a f implica f ( ) < y < f ( + ) y por lo x x tanto, dado que yn y , existe n0 tal que f ( ) < yn < f ( + ) para todo n n0 . x x Como f 1 es tambin creciente, resulta x < e f 1 (yn ) < x + , es decir xn ( , x + ) x para todo n n0 .
_ f(x+e) yn
Universidad de Chile
Ejercicio
_ f(x)
_ f(xe)
_ xe
_ x
_ x+e
Ejemplo 1.5. La funcin ln : (0, ) o es la inversa de la funcin exp, y en consecuencia es continua. Esta o es una demostracin alternativa de la continuidad del logaritmo, que ya hab o amos demostrado antes.
Ejemplo 1.6. La funcin x tan(x) no es biyectiva. Sin embargo su restriccin al intervalo (/2, /2) es o o continua y estrictamente creciente con recorrido Rec(tan) = . En consecuencia posee una inversa que resulta ser continua, la cual denotaremos arctan : (/2, /2). Aparte de ser continua, esta funcin es impar, creciente, arctan(0) = 0, y satisface /2 < arctan(x) < /2 para todo o x . A partir del grco de tan obtenemos un grco aproximado para arctan: a a
arctan(x)
14
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 1.7. La funcin sin : [/2, /2] es continua y creciente, con recorrido igual a [1, 1]. Su inversa o es en consecuencia continua y creciente. Se denota arcsin : [1, 1] [/2, /2]. Similarmente, cos : [0, ] es continua y decreciente, con recorrido [1, 1]. Su inversa arc cos : [1, 1] [0, ] es por lo tanto continua y decreciente.
Ejemplo 1.8. La funcin sinh : es continua y creciente y su recorrido es todo . Su inversa sinh1 : o es por lo tanto continua y creciente. Del mismo modo, tanh : es continua y creciente con Rec(tanh) = (1, 1). Luego, su inversa tanh1 : (1, 1) es continua y creciente.
1.6.
Continuidad uniforme
A lo largo de este cap tulo hemos analizado la nocin de continuidad en trminos de sucesiones: una o e funcin f : A es continua en el punto x A si toda sucesin {xn }n A que converge o o hacia x es transformada por f en una sucesin f (xn ) que converge hacia f (), es decir o x
xn A, xn x
f (xn ) f (). x
Vimos adems, una caracterizacin sin usar sucesiones en el Teorema 1.5. Usando dicha caraterizaa o cin , es posible denir un criterio de continuidad ms fuerte. o a A modo de motivacin, veamos los siguientes ejemplos. o Ejemplo 1.9. Ilustremos la caraterizacin en un caso sencillo. Consideremos la funcin f (x) = x3 y un o o punto x . Sabemos que f es continua en x de modo que se debe tener la propiedad (1.2). Veriquemos esta ultima de manera directa. Tomemos > 0. Debemos encontrar > 0 tal que
|x x| |x3 x3 | . La condicin |x3 x3 | puede escribirse como 3 x3 x 3 x3 +, la cual a su vez es o equivalente a (ejercicio) |x x| 3 ||3 + || x x de tal forma que basta tomar =
3
||3 + ||. x x
Vale la pena notar que en general depende de pero tambin del punto x en consideracin, vale e o decir, = (, x). En particular en el ejemplo anterior se observa que la cantidad se hace ms a peque a a medida que se reduce > 0 y, asimismo, para un valor jo de se tiene que tiende a 0 n a medida que || crece. Esto ultimo no siempre ocurre y para ciertas funciones es posible encontrar x > 0 que satisface la propiedad (1.2) independientemente del punto x en consideracin. o
15
Ejercicio
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 1.10. Consideremos la funcin f (x) = x denida en [0, ) y x 0. Como f es continua en x se tiene o la propiedad (1.2). Expl citamente, dado > 0 debemos encontrar > 0 tal que |x x| | x x| . La condicin | x x| es equivalente a |x x| 2 + 2 x (ejercicio) de tal forma que o basta tomar = 2 + 2 x. Este es el mayor valor de que garantiza la propiedad (1.2). Sin embargo, nada impide escoger ms peque o como por ejemplo = 2 . En este caso observamos a n que no depende de x y la implicancia |x x| () = 2 | x x| se satisface independientemente del x considerado. Esta propiedad de uniformidad de respecto del punto x se conoce como continuidad uniforme. Denicin 1.4. La funcin f : A o o existe = () > 0 tal que (x, y A)
uniformemente continua
En virtud del Teorema 1.5 es claro que una funcin uniformemente continua resulta ser continua en o todo su dominio. La rec proca no es cierta en general como lo muestra el ejemplo 1.9, a menos que el dominio de la funcin sea cerrado y acotado como probamos a continuacin. o o
Teorema 1.10. Sea f : A con A cerrado y acotado. Entonces f es uniformemente continua ssi ella es continua en todo punto x A. Demostracion. Basta probar la implicacin . Supongamos por contradiccin que f es continua o o en todo punto x A pero que no es uniformemente continua, esto es, existe > 0 tal que para cada > 0 podemos encontrar puntos x, y A tales que |x y| y |f (x) f (y)| > . En particular, tomando = 1/n encontraremos xn , yn A tales que |xn yn | 1/n y |f (xn ) f (yn )| > . Ahora bin, puesto que A es cerrado y acotado podemos extraer una subsucesin convergente de {xn }n e o con xnk x A. En virtud de la desigualdad triangular se sigue que ynk x. Con esto, usando la continuidad de f en el punto x obtenemos |f (xnk ) f (ynk )| |f () f ()| = 0 x x lo que constituye una contradiccin evidente con el hecho que |f (xnk )f (ynk )| > para todo k o
16
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 2
una
Ejercicios
1. Pruebe el Teorema de Weierstrass en su versin para mximo. Es decir, dada f : [a, b] o a funcin continua. Entonces f es acotada y alcanza su mximo en [a, b]. o a 2. Probar las propiedades de la funcin arctan enunciadas en el Ejemplo 1.6. o 3. Pruebe que si f : I es continua y estrictamente montona (creciente o decreciente) o con I un intervalo. Entonces J = f (I) es un intervalo. 4. Probar la siguiente variante del Teorema 1.9: si f : I J es estrictamente montona y biyectiva o con I y J intervalos, entonces f y f 1 son continuas. 5. Complete los ejemplos 1.9 y 1.10 de la tutor a. 6. Encuentre el recorrido de las funciones f (x) = ln (2 + exp(x)) y f (x) = sin (x2 1)/(x2 + 1) . 7. Demuestre que la ecuacin x sin(x) = 2 posee innitas soluciones. Haga un programa para estimar o una solucin positiva de esta ecuacin, con al menos 6 decimales de precisin. o o o 8. Demostrar que la ecuacin exp(x) cos(x) + 1 = 0 tiene innitas ra reales. o ces Indicacin: Considere intervalos de la forma [k, (k + 1)] para aplicar el teorema del valor o intermedio. 9. Si h(x) = x3 x2 + x demuestre que x0 10. Sea p(x) = tal que f (x0 ) = 0.
n k k=0 ck x
Problemas
P1. Sea f : [a, b]
(a) Pruebe que existen x, x [a, b] tales que f (x) x1 , x2 [a, b].
(b) Demuestre que dados x1 , x2 [a, b] cualesquiera existe [a, b] tal que f () = P2. Dado a > 0, sea f : [0, 2a] f () = f ( + a). x x P3. Denimos la funcin en o f (x1 ) + f (x2 ) 2
continua y tal que f (0) = f (2a). Pruebe que [0, a] tal que x
tanh x = ex ex . ex + ex
Ingenier Matemtica a a
Universidad de Chile
(c) Usando el Teorema del Valor Intermedio demuestre que y (1, 1), x tanh(x) = y. Indicacin: analice separadamente los casos y > 0, y = 0, y < 0. o (d) Demuestre que la ecuacin tanh(x) = cos(x) tiene innitas soluciones en o
tal que
P4. Un monje vive en un monasterio a los pies de tancia del monasterio a la misma hora del d a. una monta a. El d 7 de cada mes a las 00:00 n a hrs., el monje comienza una caminata de 24 horas hasta la cumbre de la monta a. Una vez n 1 hr. 24 hrs. ah medita durante 6 horas y luego baja la , monta a de vuelta al monasterio. La bajada n le toma 1 hora. Demuestre que existen dos instantes, uno en el d 7 y otro en el d 8, en a a los que el monje se encuentra a la misma disP5. Un conductor demora 5 horas en recorrer los (aproximadamente) 500 kms. que separan Santiago y Concepcin. Pruebe que existe un tramo del viaje, de una longitud de 100 kms., que es o recorrido en exactamente 1 hora. P6. Sean f y g funciones continuas en [a, b], a < b y tales que f (a) = f (b), f (a) = g(b) y f (b) = g(a).Demuestre que x0 [a, b] tal que f (x0 ) = g(x0 ) y para f (x) = (x a)n y g(x) = (x b)n con n \ {0}, verique que se cumplen las hiptesis anteriores y calcule, o para este caso, el valor de x0 [a, b].
P7. (a) Sea g : continua en un punto x0 tal que g(x0 ) > 0. Probar que existe > 0 tal que g(x) > 0 para todo x (x0 , x0 + ).
(b) Considere F y G continuas en x0 y tales que F (x0 ) < G(x0 ). Demuestre que > 0 tal que x (x0 , x0 + ), F (x) < G(x).
P8. Sea f : [a, b] [a, b] una funcin continua. Demuestre que existe x [a.b] tal que f (x) = x (un o tal punto se llama punto jo para la funcin f ()). o Indicacin: Considere g(x) = f (x) x. o
18
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2
Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o Ingenier acerca de cul ser la dinmica del curso. a Matemtica a aa a
Universidad de Chile
SEMANA 3: DERIVADAS
2.
2.1.
Derivadas
Funciones derivables
Las funciones ms simples de analizar son las funciones anes a(x) = n + mx. Ahora bin, muchas a e funciones no lineales son aproximadamente anes cuando se las observa en una peque a vecindad n en torno a un punto. Por ejemplo, a simple vista, el grco de f (x) = sin(x) en el intervalo [0,1, 0,1] a es prcticamente indistinguible del grco de a(x) = x. De hecho, la diferencia mxima entre ambas a a a funciones es del orden de 1.7e-04, vale decir menos del 0.1 % del largo del intervalo.
2
0.1 0.08 0.06 0.04 0.02 0 0.02 0.04 0.06 0.08 0.1 0.1 0.1 0.08 0.06 0.04
x 10
1.5
0.5
0.02 0 0.02 0.04
0.5
1
0.06
1.5
0.08 0.1 0.1
0.08
0.06
0.04
0.02
0.02
0.04
0.06
0.08
0.1
0.08
0.06
0.04
0.02
0.02
0.04
0.06
0.08
0.1
2 0.1
0.08
0.06
0.04
0.02
0.02
0.04
0.06
0.08
0.1
f (x) = sin(x)
a(x) = x
o(x) = sin(x) x
El mismo ejercicio en el intervalo [0,01, 0,01] arroja diferencias inferiores al 0.001 % del largo del intervalo. Observando intervalos ms y ms peque os en torno a 0 las discrepancias se hacen cada a a n vez menos perceptibles, de manera que la funcin af n a(x) = x es una muy buena aproximacin de o o la funcin sin(x) cerca de 0. Esto corresponde simplemente al hecho que l sin(x)/x = 1, lo cual o m se puede escribir tambin en la forma e sin(x) = x + o(x) donde el error o(x) es peque o comparado con x: l o(x)/x = 0. n m
x0 x0
Ms generalmente consideremos una funcin f : (a, b) y x (a, b). Supongamos que deseamos a o encontrar una funcin af n a(x) = n + mx que sea una buena aproximacin de f (x) en torno a o o x, es decir f (x) a(x) para x x. Es razonable imponer de partida que ambas funciones entreguen el mismo valor para x = x, vale decir, a debe ser de la forma a(x) = f () + m(x x). Con esto, la propiedad de aproximacin se x o escribe f (x) f () + m(x x) x y por lo tanto la pendiente m debe ser tal que m q(x) := f (x) f () x . xx
19
Ingenier Matemtica a a
Dado que nos interesa la propiedad de aproximacin para x cercano a x, es rao zonable escoger m como el l mite de los cuocientes q(x) cuando x tiende a x. Geomtricamente, q(x) corresponde a la e pendiente de la recta secante al grco a de f como muestra la gura, y el proceso l mite se interpreta como la b squeda u de la recta tangente al grco de f en x. a Denicin 2.1. Diremos que f : (a, b) o
Universidad de Chile
m
x
derivable en x
x x
l m
df x dx ()
y se llama derivada de f en x.
d f (), x dx
De manera equivalente, f es derivable en x si existe una pendiente m = f () tal que la funcin af n x o a(x) = f () + f ()(x x) es una aproximacin de f en el sentido que x x o f (x) = f () + f ()(x x) + o(x x) x x con l o(h)/h = 0. Usando el cambio de variable h = x x, lo anterior puede escribirse equivalenm h0 temente f ( + h) f () x x f () = l x m h0 h o tambin e f ( + h) = f () + f ()h + o(h). x x x Notemos que si f es derivable en x entonces es continua en dicho punto pues
x x
derivada de f en x
Ejemplo 2.1. x Una funcin af f (x) = a + bx es obviamente derivable en todo punto x con f () = b. En o n particular las funciones constantes son derivables con derivada nula en todo punto.
Ejemplo 2.2. La funcin f (x) = |x| es derivable en todo punto x = 0. De hecho, si x > 0 la funcin f coincide o o con la funcin g(x) = x en un entorno de x y por lo tanto f () = 1. Similarmente se tiene o x f () = 1 si x < 0. Para x = 0 la funcin |x| no es derivable pues l |h|/h no existe (los x o m
h0
Ejemplo 2.3. La funcin denida por f (x) = x sin(1/x) si x = 0 y f (0) = 0, es continua en x = 0 pero no es o derivable en dicho punto pues [f (h) f (0)]/h = sin(1/h) no converge cuando h 0.
20
Ingenier Matemtica a a
Ejemplo 2.4. La funcin f (x) = x2 es derivable en todo punto x o
Universidad de Chile
, pues
Ejemplo 2.5. El ejemplo de motivacin del cap tulo muestra que la funcin sin(x) es derivable en x = 0 con o o sin (0) = 1. Ms generalmente, esta funcin es derivable en todo punto x y se tiene a o
sin () = cos(). x x En efecto, la frmula del seno de una suma de ngulos nos da o a sin()(cos(h) 1) + cos() sin(h) x x sin( + h) sin() x x = h h de modo que la conclusin se sigue de los l mites conocidos : l [cos(h) 1]/h = 0 y o m
h0 h0
l sin(h)/h = 1. m
y se tiene
cos () = sin(). x x Esto resulta de la frmula del coseno de una suma de ngulos que permite escribir o a cos( + h) cos() x x cos()(cos(h) 1) sin() sin(h) x x = . h h
Ejemplo 2.6. La funcin exp(x) es derivable en todo punto x con o exp () = exp(). x x En efecto, dado que l h0 [exp(h) 1]/h = 1 (l m mite conocido), se tiene
h0
l m
Asimismo, el l mite l u0 ln(1 + u)/u = 1 implica que ln(x) es derivable en todo punto x > 0 m con ln(1 + u) ln(1 + h/) x 1 ln( + h) ln() x x = l m = l m = . ln () = l x m u0 h0 h0 h h xu x
21
Ingenier Matemtica a a
Universidad de Chile
2.2.
2.2.1.
Las propiedades algebraicas del l mite nos permiten obtener reglas sencillas para calcular la derivada de una suma, producto y cuociente de funciones derivables. Proposicin 2.1. Sean f, g : (a, b) derivables en x (a, b). Entonces: o (a) f + g es derivable en x con (f + g) () = f () + g (). x x x (b) f g es derivable en x con (f g) () = f ()g() + f ()g (). x x x x x (c) Si g() = 0 entonces f /g es derivable en x con x f g
Algebra de derivadas
() = x
Demostracion. La propiedad (a) resulta de la linealidad del l mite junto con (f + g)(x) (f + g)() x f (x) f () g(x) g() x x = + . xx xx xx
f (x)g(x) f ()g() x x g(x) g() x f (x) f () x = f (x) + g() x . xx xx xx Observando que f es continua en x y usando lgebra de l mites resulta que el primer trmino a e de la suma anterior converge a f ()g (), mientras que el segundo trmino tiende a g()f (). La x x e x x propiedad (c) se obtiene de manera similar usando la descomposicin o f (x) f () x 1 g(x) g() x f (x)/g(x) f ()/g() x x g() x . = f () x xx g(x)g() x xx xx Ejemplo 2.7. Para cada n
Los ejemplos de la seccin anterior muestran que la frmula vale para n = 0, 1, 2. Probemos por o o induccin que la frmula es cierta para todo n 1. En efecto, si el resultado se tiene para un cierto o o n 1 entonces, de acuerdo a la proposicin anterior la funcin fn+1 (x) = xn+1 = xn x = fn (x)x o o es derivable en x con
fn+1 () = fn () x + fn () 1 = nn1 x + xn = (n + 1)n x x x x x
lo cual concluye el paso de induccin. o Con esto, la frmula para la derivada de un cuociente implica que para n o gn (x) = xn = 1/xn es derivable en todo punto x = 0 con
gn () = x
, n 1, la funcin o
nn1 x = nn1 . x (n )2 x
22
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 2.8. Como corolario del ejemplo anterior se sigue que todo polinomio p(x) = a0 + a1 x + + ak xk es derivable en todo punto x con
p () = a1 + 2a2 x + 3a3 x2 + + nan xn1 . x Por ejemplo p(x) = 1 + x3 + 5x7 es derivable con p () = 32 + 356 . Asimismo, toda funcin x x x o racional es derivable en su dominio. Por ejemplo f (x) = x/(1 x2 ) es derivable en todo punto x \ {1, +1}, con
f () = x
1 + x2 1 (1 x2 ) x (2) x = . 2 )2 (1 x (1 x2 )2
Ejemplo 2.9. Las funciones tan(x) y cotan(x) son derivables en sus respectivos dominios y se tiene tan () x cotan () x = sec2 (), x = cosec2 (). x
La primera frmula por ejemplo es vlida para todo x {/2 + k : k }, y se obtiene usando o a la frmula de la derivada de un cuociente pues o sin cos
() = x
Ejemplo 2.10. La regla del cuociente implica que f (x) = exp(x) es derivable en esto, usando lgebra de derivadas, se deduce a sinh () = x cosh () = x tanh () = x cosh(), x sinh(), x 1/ cosh2 (). x
Ejemplo 2.11. La funcin f (x) = exp(x) + x2 sin(x) es derivable en todo x . En efecto, las funciones x2 y o sin(x) son derivables en todo , y por lo tanto lo mismo ocurre con su producto x2 sin(x). La suma de esta ultima con la funcin derivable exp(x), nos da la funcin f (x) la cual resulta por o o a lo tanto derivable en todo . El lgebra de derivadas nos permite calcular
f () = exp () + 2 sin() + x2 sin () = exp() + 2 sin() + x2 cos(). x x x x x x x x x En particular f (1) 4,9415 y puesto que f (1) 3,5598 se obtiene que la aproximacin af n de o f () en x = 1 es la funcin o a(x) = 3,5598 + 4,9415(x 1) = 4,9415x 1,3818. 23
Ingenier Matemtica a a
20
Universidad de Chile
15 f(x)
10
y=4.94x1.38
0.5
1.5
2.5
2.2.2.
Regla de la cadena
La composicin de funciones derivables sigue siendo derivable y existe una frmula sencilla para o o calcular su derivada: la regla de la derivacin en cadena, o simplemente regla de la cadena. o
Teorema 2.1. Sea f : (a, b) (c, d) derivable en x (a, b) y g : (c, d) f () (c, d). Entonces g f es derivable en x con x (g f ) () = g (f ()) f (). x x x
derivable en y =
Regla de la cadena
Demostracion. Deniendo q(y) := [g(y) g()]/[y y ] si y = y y q() := g () podemos escribir y y y g(y) g() = q(y)[y y ] con l y q(y) = g (). De aqu resulta y m y y
x x
l m
Observacin: Usando la notacin dx para la derivada, la regla de la cadena adopta una forma o o df ms fcil de recordar: si y = y(u) con u = u(x) entonces a a dy du dy = . dx du dx
con
f () = ln(a)ax . x
24
Ingenier Matemtica a a
Universidad de Chile
En efecto, por denicin se tiene f (x) = exp(x ln(a)) la cual es la composicin de la funcin o o o exp con la funcin lineal g(x) = x ln(a). La regla de la cadena asegura que dicha composicin es o o diferenciable y se tiene
f () = exp ( ln(a))g () = exp( ln(a)) ln(a) = ln(a)ax . x x x x
Ejemplo 2.13. Podemos tambin generalizar la regla de la derivada para las potencias al caso de potencias de e o exponente real. Sea a , a = 0. La funcin f (x) = xa denida para x > 0 es derivable en todo x > 0 con f () = aa1 . x x
Para ver esto basta expresar f (x) = exp(a ln(x)) y aplicar la regla de la cadena para obtener f () = exp(a ln()) x x En particular f (x) = a a = xa = aa1 . x x x
1 + sin2 (x)
1 + sin2 (x)
25
Ingenier Matemtica a a
2.2.3. Derivadas de funciones inversas
Universidad de Chile
Teorema 2.2. Sea f : (a, b) (c, d) biyectiva y continua. Si f es derivable en x (a, b) con f () = 0, entonces la funcin inversa f 1 : (c, d) (a, b) es derivable en y = f () con x o x (f 1 ) () = y 1 1 = 1 . f () x f (f ()) y
(f 1 ) () y
Demostracion. Del cap tulo anterior sabemos que la funcin inversa f 1 es cont nua. De este o modo, deniendo x(y) = f 1 (y) se tiene l y x(y) = x, y por lo tanto m y x(y) x 1 f 1 (y) f 1 () y = l m = . y f (x(y)) f () y y y yy x f () x l m
Observacin: Nuevamente en la notacin dx el resultado anterior adopta una forma sugerente: o o df si y = y(x) y x = x(y) representa la funcin inversa, entonces o dy dx = 1/ . dx dy
Ejemplo 2.15. La funcin arcsin : [1, 1] [/2, /2], siendo la inversa de sin resulta derivable en todo punto o y (1, 1). En efecto, en tal caso tenemos x = arcsin() (/2, /2) y se tiene sin () = y x cos() = 0, con lo cual x arcsin () = y 1 1 = = cos() x sin () x 1 1 sin2 () x = 1 1 y2 .
Ejemplo 2.16. es derivable en todo punto x (/2, /2) con tan () = x La funcin tan : (/2, /2) o 2 1/ cos () > 0. Su inversa arctan : x (/2, /2) es por lo tanto derivable en todo punto y = tan() y se tiene x
arctan () = y
(tanh1 ) () = y
26
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 3
Ejercicios
1. Demuestre que f (x) = x3 es derivable en todo punto y que f () = 32 . x x 2. Encuentre la aproximacin af de sin(x) en el punto x = 3/4. o n 3. Probar que la funcin denida por f (x) = exp(1/x2 ) si x = 0 y f (0) = 0 es diferenciable en o x = 0 con f (0) = 0. 4. Sea f (x) = 1 cos(x) para x x = 0, y que f (0) = 0.
solo es derivable en
5. Sean f, g : derivables en a con f (a) = g(a) y f (a) = g (a). Probar que toda funcin o h() tal que f (x) h(x) g(x) es derivable en a con h (a) = f (a) = g (a). 6. Sea f : derivable en 0 tal que f (x + y) = f (x)f (y) para todo x, y derivable en todo punto y que f () = f (0)f (). x x
. Probar que f es
7. Usando lgebra de derivadas, demuestre por induccin que las funciones f (x) = sin(nx) y g(x) = a o cos(nx) son derivables con f (x) = n cos(nx) y g (x) = n sin(nx). 8. Encuentre la aproximacin af de f (x) = [sin(2x) + cos(2x)] exp(x) en el punto x = 1. o n 9. Probar que arc cos : [1, 1] [0, ] es derivable en todo punto y (1, 1) con arc cos (y) = 1/ 1 y 2 . 10. Probar que la funcin sinh1 : o 1/ y 2 + 1. 11. Probar que cosh1 : [1, ) Qu ocurre en y = 1? e
y 2 1.
Problemas
P1. Sean f, g :
b) g(a + b) = g(a)g(b).
es derivable en 0 si y solamente si existe el l mite L = P2. Sea c > 1. Probar que f : l [f (cx) f (x)]/x. Notar que f (0) = L/(c 1). m
x0
derivable tal que f = af (x) x P3. Sea f : ax f (0)e . Indicacin: Considere g(x) = eax f (x). o P4. Sean fi funciones de Demuestre que:
G (x) n
=
i=1
27
Ingenier Matemtica a a
P5. Sea g : dos veces derivable con g (x) = 0 en todo yf cos(kg(x)). Muestre que g f f + (kg )2 f = 0. g P6. Sea f derivable en x0 , calcular f (x0 + h) f (x0 + h) h0 h l m
Universidad de Chile
P7.
28
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2
Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o Ingenier acerca del atica a Matem curso.
Universidad de Chile
SEMANA 4: DERIVADAS
2.3.
En lo sigue presentaremos diversas aplicaciones de la derivada al estudio de funciones. La primera corresponde a la regla de Fermat que permite caracterizar los puntos donde una funcin derivable o alcanza su m nimo y su mximo. Para enunciar el resultado de manera precisa diremos que un punto a x es un mnimo local de la funcin f si existe > 0 tal que o f () f (x) x De manera anloga se dene un mximo local. a a x ( , x + ). x
m nimo local
mximo local a
Teorema 2.3. Si x (a, b) es mnimo local o mximo local de una funcin derivable f : (a, b) a o entonces f () = 0. x
Demostracion. Si x es m nimo local, para x cercano a x se tiene f (x) f (), con lo cual x f () = l x m
x x
es decir f () = 0. El caso de un mximo local es anlogo. x a a Ejemplo 2.18. Deseamos dise ar un cilindro de radio r y altura h cuyo vol men V = r2 h sea mximo, para n u a una supercie total dada S = 2r2 + 2rh. De esta ultima relacin se obtiene h = S/2r r, o con lo cual obtenemos la expresin del vol men exclusivamente en funcin del radio o u o Sr S r = r3 . V (r) = r2 2r 2
r
El radio ptimo se obtiene de maximizar la funcin o o V (r), para lo cual buscamos la solucin de la ecuao cin V (r) = 0, vale decir o
h
S 3r2 = 0 2 la cual tiene dos soluciones. Como nos interesan radios positivos, obtenemos r = S/6 al cual le corresponde un vol men mximo V (r ) = S 3 /54 u a y una altura ptima h = 2S/3 = 2r . o
En rigor a n no podemos asegurar que la solucin encontrada corresponda efectivamente a un u o mximo del vol men, pues el criterio V (r) = 0 no discrimina entre un m a u nimo y un mximo. Ms a a adelante veremos criterios que permiten hacer tal distincin. Por el momento, para convencernos o que la solucin es un mximo, podemos hacer un grco aproximado de la funcin V (r). o a a o
29
Ingenier Matemtica a a
V(r)
Universidad de Chile
V*
r*
Ejemplo 2.19. Un salvavidas A debe auxiliar a un ba ista B. Corre desde A hasta un punto P al borde del mar, n prosiguiendo a nado hasta B. Se desea determinar la posicin de P que garantiza alcanzar B en o el menor tiempo posible. Suponiendo conocidas las velocidades en la tierra va y en el mar vb , as como las dis d B tancias a, b, d, el tiempo se puede calcular como
vb va a x P d-x b
TAB = TAP + TP B =
dAP dP B + va vb
Esta funcin es continua y en consecuencia o alcanza su m nimo en [0, d]. Ms adelante a veremos herramientas que permiten probar que el m nimo es de hecho alcanzado en un unico punto x (0, d), el cual queda por lo tanto caracterizado por la ecuacin TAB (x) = 0, vale decir o
A
x va x2 + a2 vb
(d x)2 + b2
(d x)
= 0.
(2.1)
Este modelo tiene una importante aplicacin f o sica. En efecto, el Principio de Fermat en ptica o establece que la luz viaja siguiendo trayectorias de tiempo m nimo. En un medio uniforme la velocidad de la luz es constante de modo que la trayectoria de tiempo m nimo entre dos puntos A y B coincide con la de longitud m nima, vale decir, el segmento de recta que une A con B. Cuando A y B se encuentran en medios caracterizados por distintas velocidades de la luz va y vb (aire/agua por ejemplo), la trayectoria exhibe un quiebre al pasar de un medio al otro, fenmeno o conocido como difraccin. En este contexto la relacin (2.1), llamada Ley de Snell, se expresa en o o funcin de los ngulos y como o a sin sin = . va vb
30
Ingenier Matemtica a a
Universidad de Chile
2.4.
Al iniciar el cap tulo motivamos la nocin de derivada observando que ciertas funciones f (las derio vables) se parecen (localmente) a sus aproximaciones anes a(x) = f () + f ()(x x). Es natural x x conjeturar entonces que, al menos localmente, las propiedades de una funcin y de su aproximacin o o coincidan. As por ejemplo, si la aproximacin es creciente, esto es si f () > 0, esperamos que f sea o x tambin creciente en una vecindad de x. Esta conjetura no es del todo cierta y requiere ser precisada. e La tcnica bsica para relacionar las propiedades de f con las de sus aproximaciones anes es el e a Teorema del Valor Medio (no confundir con el Teorema de los Valores Intermedios).
Teorema 2.4 (TVM). Sean f, g : [a, b] funciones continuas en [a, b] y derivables en (a, b), con g(b) = g(a) y g (x) = 0 para todo x (a, b). Entonces, existe c (a, b) tal que f (c) f (b) f (a) = . g(b) g(a) g (c) En particular, si g(x) = x se tiene f (b) f (a) = f (c). ba
f(b)
f(a) a c b
mediante
h(x) = [f (b) f (a)][g(x) g(a)] [f (x) f (a)][g(b) g(a)], el resultado se reduce a probar la existencia de c (a, b) tal que h (c) = 0. Claramente h(a) = h(b) = 0. Si existe alg n x (a, b) tal que h(x) > 0, el mximo de h se alcanza u a en un punto c (a, b) el cual satisface h (c) = 0. Anlogamente, si para alg n x (a, b) se tiene a u h(x) < 0, basta tomar c (a, b) un punto donde h alcance su m nimo. Si ambas propiedades fallan, la funcin h es idnticamente nula en el intervalo (a, b), y podemos tomar c (a, b) arbitrario. o e Observacin: A posteriori se observa que en el TVM la condicin g(b) = g(a) es superua, o o pues es consecuencia de la hiptesis g (x) = 0 para todo x (a, b): el TVM aplicado a g nos da o g(b) g(a) = g (c)(b a) = 0 para alg n c (a, b). u
31
Ingenier Matemtica a a
Universidad de Chile
2.5.
En esta seccin veremos la utilidad de la nocin de derivada para el clculo de l o o a mites, as como para estudio de la monoton y convexidad de funciones. a 2.5.1. La regla de lHopital
regla de lHpital o
Una primera consecuencia directa del TVM es la llamada regla de lHpital para el clculo de l o a mites de la forma 0/0 o /. Teorema 2.5. Sean f, g : (a, b)
l f (x) = l g(x) = L m m
xa+
l m
(2.2)
Demostracion. Para el caso L = 0, deniendo f (a) = g(a) = 0, el resultado es una aplicacin o directa del TVM y de la regla de composicin para l o mites. El caso L = es ms delicado y se a propone como ejercicio (dicil pero instructivo). Obviamente, la regla de lHpital tambin se aplica para l o e mites con x a , x a, e incluso para l mites con x : si l x f (x) = l x g(x) = 0 o y g (x) = 0 para x sucientemente m m grande, entonces f (1/y) f (1/y) f (1/y)/y 2 f (x) f (x) = l m = l m = l m = l m , x g (x) x g(x) y0+ g (1/y) y0+ g(1/y) y0+ g (1/y)/y 2 l m siempre que este ultimo l mite exista. Ejemplo 2.20. Veamos un l mite conocido: l (1cos(x))/x2 = 1/2. Este l m mite es de la forma 0/0. El cuociente
x0
de derivadas es sin(x)/2x el cual converge a 1/2, y por lo tanto podemos invocar la regla de lHpital para concluir. o La regla de lHpital nos permite ir un poco ms lejos y probar que o a 1 cos(x) 1 + x2 /2 = . 4 x0 x 24 l m En efecto, aplicando reiteradamente lHpital se obtiene o 1 x sin(x) 1 cos(x) cos(x) 1 + x2 /2 = l m = l m = . x0 x0 x0 x4 4x3 12x2 24 l m
32
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 2.21. Calculemos l [exp(x) 1 x]/x2 . La aplicacin reiterada de la regla de lHpital conduce a m o o
x0 x0
l m
Ejemplo 2.22. Calculemos l [ln(x) 1 + x]/[arctan(x) /4]. Nuevamente estamos en presencia de un l m mite
x1
1/x + 1 ln(x) 1 + x = l m = 4. x1 1/(1 + x2 ) x1 arctan(x) /4 Ejemplo 2.23. Consideremos el l mite l ln(1 + exp(x)) sin(1/x), el cual puede escribirse como m
x
l m
que es de la forma /. La regla de lHpital conduce a estudiar el l o mite exp(x)/(1 + exp(x)) . x cos(1/x)/[x2 sin2 (1/x)] l m Usando lgebra de l a mites se ve que esta ultima expresin tiende a 1, de modo que o
x
Ejemplo 2.24. (Calculo de as ntotas) Recordemos que f : posee una recta as ntota y = mx + n en , si existen los l mites m = l f (x)/x y n = l f (x) mx. Observando la forma del m m
l mite que dene la pendiente m, la regla de lHpital nos permite deducir que si l f (x) existe, o m x entonces m = l f (x). m
x
Una observacin anloga vale para el comportamiento asinttico de f en . o a o Consideremos por ejemplo la funcin f (x) = ln(1 + exp 1 + ax2 ) donde a > 0. Para determinar o si existe as ntota en calculamos ax exp 1 + ax2 f (x) = . 1 + exp 1 + ax2 1 + ax2 m Dado que 1 + ax2 y l u exp(u)/[1 + exp(u)] = 1, obtenemos exp 1 + ax2 l m = 1. x 1 + exp 1 + ax2 33
Ingenier Matemtica a a
Por otra parte
x
Universidad de Chile
a +a = a
l m
ax = l m x 1 + ax2
1/x2
f (x) = l f (x) = a. m x x Como ejercicio, demuestre que l x f (x) mx = 0, de donde se sigue que f tiene una recta m as ntota en descrita por la ecuacin y = ax. o m = l m
x
2.5.2.
Derivadas y monotona
Para una funcin creciente, los cuocientes (f (x) f ())/(x x) son no-negativos y por lo tanto, si f o x es derivable, se sigue que f () 0. De igual forma, si f es decreciente se tiene f () 0. El TVM x x permite probar las implicancias rec procas. Teorema 2.6. Sea f : [a, b] continua en [a, b] y derivable en (a, b). Si f (x) 0 (resp. 0) para todo x (a, b), entonces f es creciente (resp. decreciente) en [a, b]. Si la desigualdad es estricta, la monotona es igualmente estricta. Demostracion. Basta notar que si x, y [a, b] con y > x, el TVM implica que f (y) f (x) = f (c)(y x) 0 (resp , >, <) para alg n c (x, y). u Ejemplo 2.25. Consideremos la funcin f (x) = x exp(x) denida y diferenciable en todo . Dado que f (x) = o (1 x) exp(x), observamos que f (x) > 0 para todo x (, 1) mientras que f (x) < 0 para x (1, ). En consecuencia f es estrictamente creciente en el intervalo (, 1] y estrictamente decreciente en [1, ). En particular obtenemos que la funcin f alcanza su mximo en el punto o a x = 1, tomando el valor f (1) = 1/e, vale decir x exp(x) 1/e para todo x . Los clculos a anteriores se resumen convenientemente en la siguiente tabla de crecimiento:
f (x) f (x)
1 +
Ejemplo 2.26. Estudiemos el crecimiento de f (x) = 2x3 3x2 12x + 3. La derivada es f (x) = 6x2 6x 12 = 6(x 2)(x + 1). Por lo tanto la tabla de crecimiento de f viene dada por f (x) f (x) + 1 2 +
y en consecuencia f es creciente en (, 1], decreciente en [1, 2], y nuevamente creciente en [2, ). El punto x = 1 corresponde a un mximo local, mientras que x = 2 es un m a nimo local. 34
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 2.27. Consideremos nuevamente el Ejemplo 2.18 y probemos que el valor r = S/6 corresponde efectivamente al radio del cilindro de supercie S que tiene volumen mximo. La funcin volumen a o viene dada por V (r) = Sr/2 r3 , cuya derivada es V (r) = S/2 3r2 . De este modo se tiene V (r) > 0 para r (0, r ) y V (r) < 0 para r > r . Por lo tanto la funcin V es creciente en o [0, r ] y decreciente en [r , ), de modo tal que r entrega efectivamente un mximo para V (r). a Ejemplo 2.28. Reconsideremos ahora el problema de trayectoria de tiempo m nimo del Ejemplo 2.19. Vimos que la funcin TAB (x) es derivable en todo punto x (0, d), con o
TAB (x) =
x va x2 + a2 vb
(d x) . (d x)2 + b2
Dado que TAB (0) < 0 y TAB (d) > 0, el TVI asegura la existencia de alg n x (0, d) tal que u TAB () = 0. Por otra parte la derivada de la funcin TAB est dada por x o a TAB (x) =
la cual es positiva, de modo que TAB es estrictamente creciente en (0, d). Como TAB () = 0, se x sigue que TAB (x) es negativa en (0, x) y positiva en (, d), y por consiguiente TAB es decreciente x en (0, x) y creciente en (, d). Esto prueba que x (0, d) es el unico m x nimo de la funcin TAB . o
2.5.3.
Derivadas y convexidad
Una propiedad geomtrica de las funciones, que permite hacerse una idea ms precisa de la forma e a de su grco, es la convexidad o concavidad. Una funcin f : [a, b] se dice convexa si las rectas a o secantes al grco de la funcin quedan por encima del grco, vale decir a o a
convexa
f (z) f (x) +
f (y) f (x) (z x) yx
x < z < y.
(2.3)
f(y)
Ingenier Matemtica a a
o tambin [f (z) f (x)](y z) [f (y) f (z)](z x), de modo que (2.3) equivale a e f (y) f (z) f (z) f (x) zx yz
Universidad de Chile
(2.4)
mostrando que la convexidad corresponde a la monoton de las pendientes de las rectas secantes al a grco de f . Esto conduce a la siguiente caracterizacin. a o Teorema 2.7. Sea f : [a, b] contnua en [a, b] y derivable en (a, b). Entonces f es convexa en [a, b] ssi f es creciente en (a, b). Demostracion. Si f es convexa y x < y, tomando z (x, y) y v > y se obtiene f (y) f (z) f (v) f (y) f (z) f (x) . zx yz vy Haciendo z x+ y v y + se sigue f (x) f (y) de modo que f es creciente. Rec procamente, si f es creciente y x < z < y, la desigualdad de convexidad (2.4) resulta de usar el TVM el cual permite encontrar c (x, z) y d (z, y) tales que f (z) f (x) f (y) f (z) = f (c) f (d) = . zx yz o a Anlogamente, f : [a, b] se dice cncava si las rectas secantes quedan por debajo del grco de a la funcin. Esto equivale a la convexidad de f y por lo tanto, en el caso diferenciable, a que f sea o decreciente. Ejemplo 2.29. La funcin f (x) = x2 tiene derivada f (x) = 2x la cual es creciente, y por lo tanto x2 es convexa. o Del mismo modo para f (x) = exp(x) se tiene que f (x) = exp(x) es creciente y en consecuencia exp(x) es convexa. Para la funcin f (x) = ln(x) en cambio, se tiene que f (x) = 1/x la cual es o decreciente en (0, ) y por lo tanto ln es cncava. Finalmente, para f (x) = x3 se tiene f (x) = 3x2 o la cual es decreciente en (, 0] y creciente en [0, ), de modo que x3 es cncava en (, 0] y o convexa en [0, ). A diferencia de los ejemplos anteriores, en muchos casos la monoton de f (x) no es evidente. Sin a embargo, si la funcin f (x) es ella misma diferenciable, podemos estudiar su monoton a travs de o a e los signos de su derivada, que denotamos f (x). Ejemplo 2.30. Consideremos la funcin f (x) = x exp(x). Ya vimos en el Ejemplo 2.25 que f (x) = (1 o x) exp(x) con lo cual obtuvimos que f es creciente en (, 1] y decreciente en [1, ). Para estudiar la convexidad de f debemos determinar el crecimiento de la funcin g(x) = f (x). o Como esta ultima es diferenciable bastar estudiar los signos de su derivada g (x) = f (x) = a (x 2) exp(x). Claramente g (x) > 0 ssi x > 2, de donde g = f es creciente en [2, ) y decreciente en (, 2]. Concluimos que f es cncava en (, 2] y convexa en [2, ). Los clculos o a anteriores se resumen convenientemente en la tabla de convexidad: 36
cncava o
Ingenier Matemtica a a
2 +
Universidad de Chile
0.2
0.2
0.5
0.5
1.5
2.5
3.5
2.6.
En la seccin anterior vimos la relacin entre f y la monoton de f , as como entre f y la o o a convexidad/concavidad de f . El signicado geomtrico de las derivadas de orden superior es menos e evidente, pero ellas son utiles para construir aproximaciones polinomiales de la funcin, ms precisas o a que la aproximacin af dada por la derivada primera. Las derivadas de orden superior se denen o n inductivamente por f [k] () := (f [k1] ) (). x x con la convencin f [0] (x) = f (x). En particular f [1] () = f (), f [2] () = f (), . . . Notar que para o x x x x que f tenga una derivada de orden k en x, f [k1] (x) debe existir al menos en un intervalo ( , x +) x y ser derivable en x. Si f admite una derivada de orden k en todo punto de un intervalo (a, b), entonces f [k1] (e inductivamente todas las derivadas de orden inferior a k) son continuas en (a, b). Diremos que f : (a, b) es de clase C k (a, b) si es k veces derivable en todo punto del intervalo (a, b), y la funcin f [k] : (a, b) o es continua. Si esto es cierto para todo k, diremos que f es de clase C .
f [k] () x
Ejemplo 2.31. Las funciones f (x) = sin(x) y g(x) = cos(x) poseen derivadas de todos los rdenes y son de clase o C . En efecto, sabemos que f () = cos() y g () = sin(). De manera inductiva se encuentra x x x x que sin() si k = 0 (mod 4), x cos() si k = 1 (mod 4), x sin[k] () = x sin() si k = 2 (mod 4), x cos() si k = 3 (mod 4), x y anlogamente para las derivadas sucesivas de cos. a
37
Ingenier Matemtica a a
Universidad de Chile
desarrollo limitado
2.7.
Desarrollos limitados
posee un desarrollo limitado de orden k en torno al punto x (a, b) si Diremos que f : (a, b) existen constantes a0 , . . . , ak tales que
Un desarrollo limitado de orden k es por lo tanto una aproximacin polinomial, cuyo error de o aproximacin es peque o en comparacin con (x x)k . La herramienta bsica para obtener tales o n o a aproximaciones son los desarrollos de Taylor descritos a continuacin. o Teorema 2.8. Sea f : (a, b)
con l u0 o(uk )/uk = 0. Usando el cambio de variables h = x x, la propiedad se escribe de m manera equivalente f ( + h) = a0 + a1 h + a2 h2 + + ak hk + o(hk ). x
con l h0 o(hk )/hk = 0. m Demostracion. Sea > 0 tal que f es (k 1) veces derivable en I = ( , x + ), y sea x k x x f (x) := f (x) Tf (x x). Notando que f () = f () = = f [k1] () = 0, al igual que para la x funcin g(x) := (x x)k , podemos aplicar el TVM inductivamente (k 1) veces y deducir que para o todo x I , x = x existe = (x) (en (, x) o (x, x) seg n corresponda) tal que x u x f [k1] () 1 f [k1] () f [k1] () f (x) = [k1] f [k] () . x = g(x) k! x g ()
Dado que = (x) x, la regla de composicin de l o mites implica que el lado derecho tiende a 0, lo que permite concluir. Observacin: La rec o proca es en general falsa: el hecho que una funcin admita un desarrollo o limitado de orden k en x no implica la existencia de f [k] (). Considerar por ejemplo la funcin x o f (x) = x sin x2 si x y f (x) = 0 si no, la cual admite el desarrollo limitado f (x) = x3 + o(x3 ) pero que solamente es derivable en x = 0 y por lo tanto no tiene derivada segunda ni menos tercera en dicho punto.
Ejemplo 2.32. La funcin f (x) = exp(x) es de clase C con f [k] (0) = 1 para todo k. As su desarrollo limitado o , de orden k en torno a 0 viene dado por exp(x) = 1 + x + xk x2 + + + o(xk ). 2 k!
38
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 2.33. La funcin f (x) = ln(1 x) es derivable en (, 1) con f (x) = 1/(1 x). Se sigue que o f (x) = 1/(1 x)2 , f (x) = 2/(1 x)3 , . . . , f [k] (x) = (k 1)!/(1 x)k . En consecuencia f es de clase C en (, 1), y su desarrollo limitado de orden k en torno a 0 es ln(1 x) = x + x3 xk x2 + + + + o(xk ). 2 3 k
Ejemplo 2.34. Sea f (x) = sin(x) + cos(x). Los desarrollos de Taylor de orden 1,2 y 3 en torno a 0 estn dados a por
1 Tf (x) 2 Tf (x) 3 Tf (x)
= = =
1+x 1 + x x2 /2 1 + x x2 /2 x3 /6
Los siguientes grcos ilustran como los desarrollos de Taylor (linea discontinua) se aproximan a cada vez mejor a la funcin original f (x) = sin(x) + cos(x). o
2 2 1.5 1.5
0.5
0.5
0.5
0.5
1.5
1.5
2 2
1.5
0.5
0.5
1.5
2 2
1.5
0.5
0.5
1.5
1 Tf (x)
2 2 1.5 1.5
2 Tf (x)
0.5
0.5
0.5
0.5
1.5
1.5
2 2
1.5
0.5
0.5
1.5
2 2
1.5
0.5
0.5
1.5
3 Tf (x)
6 Tf (x)
Los ejemplos que siguen ilustran como se pueden combinar desarrollos limitados conocidos para obtener desarrollos de funciones ms complejas. a Ejemplo 2.35. Los desarrollos limitados se pueden sumar y multiplicar, operando bsicamente como si se tratara a
39
Ingenier Matemtica a a
de polinomios. Consideremos por ejemplo los desarrollos limitados sin(x) exp(x) = = x x3 /6 + o(x4 ) 1 x + x2 /2 x3 /6 + o(x3 ).
Universidad de Chile
Usando el hecho que un trmino o(xm ) es tambin o(xk ) si k m, se obtiene e e exp(x) + sin(x) = 1 + x3 x2 x3 x2 + o(x3 ) + o(x4 ) = 1 + + o(x3 ). 2 3 2 3
Asimismo, el hecho que xm = o(xk ) si m > k y tambin f (x)o(xk ) = o(xm+k ) siempre que e l x0 |f (x)/xm | < (ejercicio), se obtiene m sin(x) exp(x) = x3 x2 x3 + o(x4 ) 1 x + + o(x3 ) 6 2 6 x5 x6 x3 + + o(x4 ) exp(x) + o(x3 ) sin(x) = x x2 + 3 12 36 x3 = x x2 + + o(x4 ). 3 x
Ejemplo 2.36. Los desarrollos limitados tambin se pueden componer. Por ejemplo, para obtener un desarrollo e limitado de orden 2 de f (x) = ln[1 + exp(x)] en torno a x = 0, podemos usar el desarrollo exp(x) = 1 + x + x2 /2 + o(x2 ) que permite escribir f (x) = ln[2 + x + x2 /2 + o(x2 )]. Por otro lado, dado que ln[2 + z] = ln 2 + reemplazando z = x + x2 /2 + o(x2 ) se obtiene f (x) = ln 2 + [x + x2 /2 + o(x2 )] [x + x2 /2 + o(x2 )]2 + o([x + x2 /2 + o(x2 )]2 ). 2 8 z2 z + o(z 2 ) 2 8
Finalmente, para obtener el desarrollo buscado es suciente identicar los coecientes de las potencias de x de grado menor o igual que 2, pues todos los trminos restantes son de orden e o(x2 ). Con esto se llega a ln[1 + exp(x)] = ln 2 + x x2 + + o(x2 ). 2 8
Obviamente este mismo resultado se obtiene de calcular el desarrollo de Taylor de orden 2, pues f (0) = ln 2, f (0) = 1/2 y f (0) = 1/4.
Ejemplo 2.37. Los desarrollos limitados tambin son utiles para calcular l e mites de la forma 0/0. En rigor, se 40
Ingenier Matemtica a a
Universidad de Chile
trata de otra forma de la regla de lHpital. Ilustremos esto a travs de un ejemplo sencillo: o e l m exp(x) cos(x) sin(x) . ln(1 + 2x2 )
x0
La primera potencia (no nula) en el desarrollo limitado del denominador es x2 , ms exactamente, a ln(1 + 2x2 ) = 2x2 + o(x2 ). Haciendo un desarrollo de orden 2 del numerador se obtiene exp(x) cos(x) sin(x) = x2 + o(x2 ), de modo que el l mite buscado es exp(x) cos(x) sin(x) x2 + o(x2 ) 1 + o(x2 )/x2 1 = , = l m 2 = l m 2) 2) x0 x0 2x + o(x x0 2 + o(x2 )/x2 ln(1 + 2x 2 l m resultado que se obtiene tambin fcilmente usando la regla de lHpital (ejercicio). e a o
2.8.
Otra aplicacin importante de las derivadas de orden superior es que permiten discriminar si un o punto cr tico (f () = 0) es m x nimo local, mximo local, o punto de inexin (punto de cambio de a o convexidad de la funcin). El resultado preciso es el siguiente. o x x Proposicin 2.2. Sea f : (a, b) , k veces derivable en x (a, b), con f () = = f [k1] () = o 0 y f [k] () = 0, k 2. Entonces hay 3 casos posibles: x (a) Si k es par y f [k] () > 0, x es un mnimo local. x (b) Si k es par y f [k] () < 0, x es un mximo local. x a (c) Si k es impar, x es un punto de inexin. o Demostracion. Consideremos primero el caso en que k es par. Haciendo un desarrollo limitado de orden k para f en torno a x se obtiene f (x) f () x f [k] () x = . x (x x)k x k! l m Se sigue que existe un intervalo I en torno a x en el cual (f (x) f ())/(x x)k tiene igual signo x que f [k] (). Como k es par se deduce que para todo x I, x = x, se tiene f (x) > f () en el caso x x (a) y f (x) < f () en el caso (b). x Si k es impar, un desarrollo de orden (k 2) de g = f conduce a x f [k] () f (x) = . x (x x)k2 x (k 2)! l m Como antes, para x cercano a x el signo de f (x)/(x x)k2 es igual al de f [k] () y, dado que k 2 x es impar, se deduce que f (x) cambia de signo entre x < x y x > x, de modo que la convexidad de f cambia al cruzar x.
41
Ingenier Matemtica a a
Universidad de Chile
2.9.
Formula de Taylor
La siguiente generalizacin del TVM permite calcular el error de aproximacin que se comete al o o reemplazar una funcin por su desarrollo de Taylor. o
Teorema 2.9. Sea f : (a, b) , (k + 1)-veces derivable en todo punto del intervalo (a, b). Sea k Tf () el polinomio de Taylor de orden k en x (a, b). Entonces, para todo x > x (resp. x < x) existe (, x) (resp. (x, x)) tal que x
k f (x) = Tf (x x) +
(2.5)
Demostracion. Anloga al Teorema 2.8: aplicando el TVM inductivamente (k + 1) veces, para a x > x (resp. x < x) se encuentra (, x) (resp. (x, x)) tal que x
k f (x) Tf (x x) f [k+1] () = . k+1 (x x) (k + 1)!
Ejemplo 2.38. Retornado el Ejemplo 2.32 y usando el Teorema anterior, el error cometido al reemplazar exp(x) por su desarrollo de orden k se expresa como
k
exp(x)
i=0
exp(x)
i=0
exp(x) = l m
i=0
xi = i!
i=0
xi . i!
2.10.
El metodo de Newton
Consideremos la ecuacin f (x) = 0 donde f : [a, b] es una funcin derivable tal que f (a)f (b) < o o 0. En el cap tulo de continuidad vimos que existe una solucin x (a, b), la cual podemos aproximar o mediante el mtodo de biseccin. Dicho mtodo, a pesar que nos asegura converger hacia x , es e o e relativamente lento. Usando la nocin de derivada podemos construir un mtodo iterativo ms eciente. Supongamos que o e a disponemos de una aproximacin de la solucin x0 x . Si en la ecuacin f (x) = 0 reemplazamos la o o o 42
Ingenier Matemtica a a
Universidad de Chile
funcin f () por su aproximacin af en torno a x0 , obtenemos la ecuacin lineal f (x0 ) + f (x0 )(x o o n o x0 ) = 0. Si f (x0 ) = 0, la solucin de esta ecuacin linealizada es x1 = x0 f (x0 )/f (x0 ), la cual o o podemos considerar como una nueva aproximacin de x , que esperamos sea ms precisa. o a La iteracin de este procedimiento a partir de o la nueva aproximacin conduce a un mtodo o e iterativo de la forma xn+1 = xn f (xn )/f (xn ) el cual estar denido mientras se tenga a f (xn ) = 0. Esta iteracin se conoce como el o Mtodo de Newton (para ecuaciones). e
Mtodo de Newton e
xn
xn+1
x*
la cual fu estudiada en detalle anteriormente, donde probamos que converge para todo punto de e partida x0 > 0. En esa ocasin se constat que la convergencia era muy rpida. o o a El siguiente resultado explica el or gen de la rapidez del mtodo de Newton. e
Teorema 2.10. Sea f : (a, b) una funcin de clase C 2 y supongamos que x (a, b) es una o solucin de la ecuacin f (x ) = 0 tal que f (x ) = 0. Entonces existen constantes > 0 y M > 0 o o tales que para todo punto de partida x0 I := (x , x +) el mtodo de Newton est bien denido e a y converge hacia x con |xn+1 x | M |xn x |2 . Demostracion. Sea M tal que |f (x )| < M |f (x )| y escojamos (0, 1/M ) de modo tal que se tenga |f (x)| > |f (x )|/2 y |f (x)| M |f (x )| para todo x I . Si para un determinado n se tiene xn I , entonces xn+1 est bin denido y a e xn+1 x = xn f (xn )/f (xn ) x = f (x ) f (xn ) f (xn )(x xn ) . f (xn )
Usando el Teorema de Taylor podemos encontrar I tal que |xn+1 x | = f ()(x xn )2 M |xn x |2 M |xn x | 2f (xn )
y como M < 1 se sigue que xn+1 I . Esto permite razonar inductivamente a partir de x0 para deducir |xn x | (M )n |x0 x | 0.
43
Ingenier Matemtica a a
2
Universidad de Chile
Gruesamente, la desigualdad |xn+1 x | M |xn x | nos dice que el n mero de decimales exactos u en la aproximacin se duplica en cada iteracin, lo cual es muy satisfactorio. Desafortunadamente el o o resultado anterior es de carcter local: solo asegura la convergencia si partimos sucientemente cerca a de x , cuestin que no podemos saber a priori pues en general desconocemos x ! Existen resultados o ms expl a citos, como el Teorema de Newton-Kantorovich, pero caen fuera de los objetivos de este curso. Nos limitaremos a ilustrar el teorema anterior a travs del siguiente ejemplo. e Ejemplo 2.40. Consideremos la ecuacin tan(x) = x del Ejemplo 1.2. Nos interesa la solucin de esta ecuacin o o o en el intervalo (/2, 3/2). El mtodo de Newton conduce a la iteracin e o xn+1 = xn Iterando a partir de x0 = 4,45 se obtiene n 0 1 2 3 4 5 xn 4.450000 4.502423 4.493791 4.493410 4.493409 4.493409 f (xn ) -7.3e-01 1.9e-01 7.7e-03 1.4e-05 4.5e-11 8.9e-16 tan(xn ) xn . tan2 (xn )
llegando a la estimacin x 4,49340945790906. Se aprecia la clara superioridad del mtodo de o e Newton que en 5 iteraciones alcanza una precisin de 1015 , respecto del mtodo de biseccin o e o que toma 21 iteraciones para una precisin de apenas 106 . o
44
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 4
Ejercicios
1. Probar que una funcin f : [a, b] o continua en [a, b] y derivable en (a, b) es Lipschitz de constante L si y solamente si |f (x)| L para todo x (a, b). 2. Sean f, g : (a, b) en una constante.
derivables con f (x) = g(x) para todo x (a, b). Probar que f y g dieren
3. Sea p(x) un polinomio con k ra ces reales distintas. Mostrar que si = 0, q(x) = p(x) p (x) posee al menos k ra reales distintas. ces Indicacin: Considerar la funcin f (x) = exp(x/)p(x) y notar que l f (x) = 0. o o m
x
............................................................................................... 4. Estudiar el crecimiento y convexidad de las funciones (i) (x 1)2 exp(1/x) x (ii) arcsin( x) x(1 x) (iii) x sin(ln(x))
se tiene 0 et 1 t t2e|t|/2. Determinar el menor valor x tal que (x + 1)x xx+1 . convexa y derivable en x (a, b). Probar que
f () + f ()(x x) f (x) x x x [a, b].
Deducir que si f () = 0 entonces x es un m x nimo global de f en [a, b]. 9. Sea f : de clase C 2 tal que f se anula exactamente en n puntos (n , n > 0). Probar que el n mero de intersecciones del grco de f con una recta dada es a lo sumo n + 2. u a 10. Estudie completamente las siguientes funciones: a) f (x) = sin x x + b) f (x) =
x2 x2 +3 . x3 6 .
11. Encuentre el desarrollo limitado de orden 4 en torno a 0 para las funciones (i) exp(x2 )[x cos2 (x) + sin2 (x)] (ii) arcsin x / x(1 + x). 12. Calcule los siguientes l mites: a) l + m
x0 x xsin x (sin x)x . xsinh x (sinh x)x
c) l x2 ln( sin(x) ). m x
x0
b) l (e2x + 1)1/x . m
d ) l + m
x0
1 x
1 tanh(x)
1 tan(x)
13. Demuestre que la funcin denida por f (x) = exp(1/x2 ) si x = 0 y f (0) = 0 es de clase C o y que f [k] (0) = 0 para todo k . Notar que los desarrollos limitados de todos los rdenes en o torno a 0 son nulos, a pesar que la funcin no es nula. o
45
Ingenier Matemtica a a
Universidad de Chile
14. Probar que la ecuacin cotan(x) = ln(x) posee una unica solucin xn en (n, (n + 1)), y que o o xn n 1/ ln(n), es decir, existe el l mite
n
l ln(n)[xn n]. m
15. Sea f : de clase C k tal que f [k] () es una funcin constante. Demuestre que f es o necesariamente un polinomio de grado k. 16. Demostrar que para todo x sin(x) cos(x) sinh(x) cosh(x)
se tiene
= = = = 1 x2 /2! + x4 /4! x6 /6! + x8 /8! + x + x3 /3! + x5 /5! + x7 /7! + x9 /9! + 1 + x2 /2! + x4 /4! + x6 /6! + x8 /8! + x x3 /3! + x5 /5! x7 /7! + x9 /9! +
17. Encuentre un desarrollo limitado para sin(x) + cos(x) en torno a 0, cuyo error mximo de aproa ximacin en el intervalo (/2, /2) sea inferior a 103 . o 18. Use el mtodo de Newton para estimar el m e nimo de f (x) = exp(x) + x + x2 . 19. En el Teorema 2.10 suponga f de clase C k con f (x ) = = f [k1] (x ) = 0 y f [k] (x ) = 0. Demuestre que existe una constante M tal que |xn+1 x | M |xn x |k . es estrictamente convexa, la ecuacin f (x ) = 0 tiene a lo ms o a 20. Demuestre que si f : 2 soluciones. Suponiendo que existe al menos una solucin, pruebe que el mtodo de Newton o e converge hacia una de ellas a partir de cualquier punto inicial x0 , salvo que x0 sea el m nimo de f (necesariamente unico).
Problemas
Nota: Los problemas, o partes de problemas marcados con un , involucran contenidos para el Control 1. P1. Un envase TetraPak se fabrica plegando un rectngulo de cartn como indica la gura (las a o regiones achuradas corresponden a los pliegues de las esquinas).
46
Ingenier Matemtica a a
Universidad de Chile
Se desean determinar las dimensiones ptimas a, x, y que minimicen la supercie del rectngulo o a original para un volumen total de 1000 (un litro). (i) Encuentre una expresin de la supercie slo en trminos de las cantidades a, x. o o e (ii) Tomando a como parmetro conocido, demuestre que el valor x = x(a) que minimiza dicha a 1000 . Justique que se trata de un m nimo. supercie es x = a (iii) Use (ii) para obtener una expresin S(a) para la supercie en funcin solamente de a y o o luego determine el valor m nimo de esta funcin (justique por qu es m o e nimo). Explicite los valores ptimos de a, x, y. o P2. La funcin f : [a, b] (0, ) se dice log-convexa si ln(f (x)) es convexa. o (i) Probar que si f es log-convexa entonces es convexa, y buscar un contraejemplo que muestre que la rec proca es falsa. (ii) Probar que f es log-convexa si y solo si f es convexa para todo > 0. P3. Considere la funcin f (x) = (x + 1) ln o (a) Encuentre ceros y signos de f . (b) Estudie las as ntotas horizontales de f . Encuentre los l mites laterales cuando x 0 y x 1 y ya sea, repare la funcin para que sea continua, o bien, detecte si hay as o ntotas verticales. (c) Use el Teorema del valor medio en la funcin auxiliar g(x) = ln |x| en el intervalo o [x, x + 1] para probar que 1 < ln x+1 x+1 x < 1 , x x (, 1) (0, ).
x+1 x
, denida en
\ {0}.
(d) Calcule la primera derivada de f . (e) Use el resultado de la parte P3c para concluir sobre el crecimiento de f en (, 1) y en (0, ). (f ) Calcule f (x) e indique los intervalos donde f es cncava y donde es convexa. o (g) Estudie los l mites de f (x) cuando x 1+ y cuando x 0 .Usando el signo de la segunda derivada en (1, 0) concluya cobre la monoton de f en dicho intervalo y pruebe a que existe un unico punto donde f (x) = 0. (h) Bosqueje el grco de f . a P4. (a) Una planta productora de cobre con capacidad instalada mxima de 9ton/d puede a a, producir x toneladas de cobre corriente e y toneladas de cobre no diarias. Si se sabe que las producciones diarias de cobre no y corriente cumplen la relacin y = 405x y que el o 10x precio de venta del cobre no es 3.6 veces el precio del cobre corriente, se pide determinar cul es la produccin diaria que proporciona un ingreso mximo. a o a (b) Sea f continua en [0, ), diferenciable en (0, ) y tal que f (0) = 0 y f es creciente en + .
1) Use el teorema del Valor Medio para probar que f (x) > 2) Deduzca que la funcin g(x) = o
f (x) x
es creciente en
+ .
f (x) x
en
+ .
47
Ingenier Matemtica a a
P5. (a) Sean g, h : funciones crecientes y derivables de signo constante: g < 0 y h > 0. Dadas las constantes a, b, c > 0, estudie la monoton de a f (x) = g(b ax3 ) h(arctan(cx)). Nota: Los parntesis denotan composicin. e o (b) Usando el Teorema de Valor Medio, demuestre que 1 + ln x < (x + 1) ln(x + 1) x ln x < 1 + ln(x + 1), (c) Deduzca de (a) la desigualdad n ln n (n 1) ln 1 + ln 2 + + ln n < (n + 1) ln(n + 1) n, n 1. x > 0.
Universidad de Chile
48
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2
Importante: Visita regularmente http://www.dim.uchile.cl/calculo. Ah encontrars las gu de ejercicios a as y problemas, adems de informacin a o Ingenier acerca del atica a Matem curso.
Universidad de Chile
SEMANA 5: PRIMITIVAS
3.
Primitivas
Denicin 3.1 (Primitiva). Una funcin F continua en un intervalo I o o se llama primitiva de una funcin f sobre I ssi o x Int(I), F (x) = f (x). Observacin: o 1. Sean F1 y F2 dos primitivas de una funcin f sobre I, entonces: o
F1 = f F2 = f (F1 F2 ) = 0
y derivable en Int(I),
Primitiva
F1 F2 = cte = c En consecuencia dos primitivas de una funcin dieren a lo ms en una constante. o a 2. Adems si F es una primitiva de f , entonces la funcin F + c, con c a o otra primitiva de f .
arbitraria, es
Z
Notacin: El conjunto de todas las primitivas de f se anotar como o a de f , entonces notaremos: f = F + c. Es habitual,usar la notacin clsica: o a f (x)dx = F (x) + c,
f . Si F es una primitiva
donde dx corresponde a un s mbolo que sirve para identicar a la variable. Tambin suele llamarse integral indenida de f a e f (x)dx.
integral indenida de f
3.1.
A continuacin se presentan algunas primitivas cuyo clculo es elemental: o a 1. 2. 3. xn dx = 4. 5. 6. 49 cos xdx = sen x + c. eax dx = 1 ax e + c. a
Ingenier Matemtica a a
7. 8. 11. 12. cosh xdx = senh x + c. sec2 xdx = tan x + c. dx = arc sen x + c. 1 x2 1 x2 + c 9. 10. cosec2 xdx = cotan x + c. dx = arctan x + c. 1 + x2
Universidad de Chile
xdx = 1 x2
Observacin: o 1. 2.
d dx
f = f + c. f
= f.
Proposicin 3.1. o 1. 2. f g = f =
.
f y G+k = g, entonces F = f y G = g (f g) =
Demostracion.
1. Sean F + c =
g. f , de donde se
50
Ingenier Matemtica a a
Universidad de Chile
3.2.
Teorema 3.1 (Cambio de variable). Si u = g(x), entonces f (u)du = (f g)(x) g (x)dx o, equivalentemente f= (f g) g .
Demostracion. Sea F una primitiva de f , es decir F (u) = f (u). Como u = g(x), entonces F (u) = (F g)(x). Calculemos: (F g) (x) = F (g(x)) g (x) = f (g(x)) g (x), por lo tanto: (F g) es una primitiva de f (g(x))g (x). Es decir, F (u) = Pero F (u) = (F g)(x), luego Ejemplos: 1. 2. cos xdx = 1 + sen2 x earctan x 1 + x2 dx u = arctan x du = = Por lo tanto 3. tan xdx = ( dx 1 + x2 du = arctan u + c = arctan(sen x) + c. 1 + u2 f (u) y
(F g) =
(f g) g .
f (u)du =
(f g)(x)g (x)dx.
eu du = eu = earctan x + c.
Ingenier Matemtica a a
5. 6. 7. sec xdx = cosec xdx = (ax + b)n dx ; sec x(sec x + tan x) dx = ln | sec x + tan x| + c. sec x + tan x cosec x(cosec x cotan x) dx = ln | cosec x cotan x| + c. cosec x cotan x u = ax + b du = adx = un 1 un+1 1 (ax + b)n+1 du = +c= + c. a a (n + 1) a (n + 1)
Universidad de Chile
8.
(3x 7)3 dx =
(3x 7) 5 +c 3 8 5 =
5 24
(3x 7)8 + c.
9.
52
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 5
Ejercicios
1. Calcule las siguientes primitivas, en la variable x: (a) (b) (c) (d) (e) (f ) x . 1 . x sen(ax). cos(ax). beax . (ax) . (g) (h) (i) (j) (k) (l) 1 . ax senh(ax). cosh(ax). 1 . 1 + x2 1 . 1 x2 1 . 1 + x2 ( ) n (o) (p) (m) (n) 1 . x2 1 1 . a2 x2 1 . a2 + x2 1 . a2 x2 1 . 2 a2 x
2. Justique en detalle el clculo, hecho en la tutor de las primitivas: a a, (a) (b) sec xdx. cosec xdx.
3. Aplicar un cambio de variable para calcular las siguientes primitivas, en la variable x: (a) (b) (c) (d) (e) x+1 . x2 + x x . 2 a2 x 1 . x ln(x)(ln2 (x) + 1) tan(x) . ln(sen(x)) sen(x) cos(x) . 1 + sen(x) (f ) (g) (h) (i) (j) e
x
ex 1 + ex . ln(x) . x x2 a2 . x2 + a2 .
Problemas
P1. Calcule las siguientes primitivas: (a) (b) (c) sen x cos x dx. 1 + sen x x dx. 1+ x x dx. 1 + x2 + ( 1 + x2 )3
Nota: Ms problemas a que se aplican a los contenidos de esta semana, se encuentran en la gu de la semana a 6.
Ingenier Matemtica a a
Universidad de Chile
P2. Sean f, g, h funciones tales que f (x) = g(x) + h(x)g (x). Usando la denicin de primitiva o muestre que f (x)eh(x) dx = eh(x) g(x) + c. P3. Sea f : + derivable y g : denicin de primitiva muestre que o
f (x)dx = f (x).
f (x) f (x) dx
a) Muestre que
= 1 y deduzca que
= x + c.
54
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
SEMANA 6: PRIMITIVAS
3.3.
Proposicin 3.2 (Frmula de integracin por partes). Sean u y v dos funciones de x, eno o o tonces: u(x)v (x)dx = u(x)v(x) u (x)v(x)dx o, equivalentemente u v = u v u v.
Demostracion. Notemos primero que, [u(x)v(x)] = u (x)v(x) + u(x)v (x). Luego, gracias a la Proposicin 3.1, se tiene o u(x)v(x) = y despejando, se concluye que u(x)v (x)dx = u(x)v(x) u (x)v(x)dx. u (x)v(x)dx + u(x)v (x)dx,
Observacin: Usualmente la frmula de integracin por partes se escribe de manera ms o o o a compacta como udv = uv donde dv = v (x)dx y du = u (x)dx. Ejemplos: 1. xex dx u dv = x du = ex dx v = dx = ex ex dx = xex ex + c. vdu,
= xex 2. ln xdx
1 u = ln x du = ( x )dx dv = dx u = x
= x ln x 55
dx = x ln x x + c.
Ingenier Matemtica a a
3. In = xn ln xdx u = ln x du dv = xn dx v =
1 = x dx xn+1 = n+1
Universidad de Chile
xn dx
= 4. In = xn ex dx; n
.
du = nxn1 dx . v = ex In = xn ex n xn1 ex dx,
Consideramos
u = xn dv = ex dx
. Veamos,
ex dx = ex + c
3.4.
Cuando en una integral guren expresiones del tipo que se indica, los siguientes cambios de variable son convenientes: 1. Para a2 + x2 , usar x = a tan o bien x = a senh t. 2. Para a2 x2 , usar x = a sen x = a cos . o 3. Para x2 a2 , usar x = a sec x = a cosh t. o
3.5.
Ingenier Matemtica a a
con n < m. Si suponemos que el polinomio Q(x) se ha factorizado de la siguiente forma: Q(x) = bm (x r1 )1 (x rs )s (x2 + b1 x + c1 )1 (x2 + bt x + ct )t
Universidad de Chile
En donde r1 , . . . rs son las ra de Q, de multiplicidades 1 , . . . , s , y 1 , . . . , t son numeros enteros ces positivos, con x2 + bi x + ci polinomios irreducibles. Entonces R(x) es igual a la suma de funciones racionales del siguiente tipo: 1. Por cada trmino (x ri )i aparece la suma de i funciones: e Ai i A2i A1i + + . + (x ri ) (x ri )2 (x ri )i 2. Por cada trmino (x2 + bi x + ci )i aparece la suma de i funciones de la forma: e B2i x + C2i B i x + Ci i B1i x + C1i + 2 + + 2 i x2 + bi x + Ci (x + bi x + ci )2 (x + bi x + ci )i Ejemplo 3.1. R(x) = Entonces, R(x) = P (x) . (x 1)2 (x 7)(x2 + 1)3 (x2 + 2x + 9)2
A C Hx + I Jx + K B Dx + E F x + G Lx + M + + 2 + 2 . + + 2 + 2 + 2 2 2 3 x 1 (x 1) x 7 x + 1 (x + 1) (x + 1) x + 2x + 9 (x + 2x + 9)2
(x2
(Ax + B)(x 2)2 + C(x2 + 1)(x 2) + D(x2 + 1) . (x2 + 1)(x 2)2 (3.1)
2x 5 = (Ax + B)(x 2)2 + C(x2 + 1)(x 2) + D(x2 + 1). Podemos usar dos mtodos para obtener los valores de A, B, C y D: e
Mtodo 1: Igualar coecientes de ambos polinomios en x. Obtenemos as las ecuaciones, e 0=A+C 0 = 4A + B 2C + D 5 = 4B 2C + D 57 2 = 4A 4B + C (x3 ) (x2 ) (x1 ) (x0 )
Ingenier Matemtica a a
Universidad de Chile
As restando las ecuaciones asociadas a x2 y x, y por otra parte restando las ecuaciones , asociadas a x y x3 , obtenemos 4A 3B = 5
3A 4B = 2.
Mtodo 2: Como la igualdad de polinomios 3.1 debe ser x ,entonces se pueden e reemplazar algunos valores de x que sean convenientes. Incluso se pueden reemplazar (si no se complica mucho el algebra) algunos valores de x . Por ejemplo, si tomamos x = 2, luego 3.1 queda:
1 = 5D, Adems, como x = i es ra de x2 + 1 = 0, usamos x = i de donde obtenemos a z 2i 5 = (Ai + B)(i 2)2 = (Ai + B)(4i) de donde D = 1/5.
= (Ai + B)(i2 4i + 4)
4A + 3B = 5,
23 que es el mismo sistema obtenido con el mtodo anterior y cuya solucin es B = 25 y e o 14 A = 25 .
Finalmente, para calcular C, se puede reemplazar x = 0 y usando los valores ya calculados 14 de A, B y D, concluir que C = 25 .
3.6.
en donde R es una funcin racional en la cual aparecen slo sen x y cos x. o o Ejemplos:
58
Ingenier Matemtica a a
dx , sen x + cos x En estos casos se aconseja el cambio de variable: t = tan(x/2), 1 x dx. sec2 2 2 Pero por otra parte arctan(t) = x/2, de donde dt = dx dt = . 1 + t2 2 Combinando ambas igualdades obtenemos que cos 1 x = , 2 1 + t2 y sen t x = . 2 1 + t2 con lo cual sen x + cos x dx. sen x cos x
Universidad de Chile
Usamos entonces unas conocidas identidades trigonomtricas para el seno y el coseno de un ngulo e a doble, con lo que 2t x x cos = sen x = 2 sen 2 2 1 + t2 cos x = cos2 En resumen, x , 2 2t 1 + t2 1 t2 1 + t2 2dt . 1 + t2 x x sen2 2 2 = 1 t2 . 1 + t2
t = tan
sen x =
cos x =
dx =
Ejercicio
59
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 6
Ejercicios
1. Sea R una funcin racional en la cual aparecen slo sen x y cos x. Escribir la integral o o usando el cambio de variable u = tan(x/2). 2. Usando integracin por partes calcule las siguientes primitivas o (a) (b) (c) (d) (e) x sen(x). x cos(x). xex . x senh(x). x cosh(x). (f ) (g) (h) (i) (j) x . 1 + x2 x . 21 x (k) (l) (m) (n) x2 senh(x). x2 cosh(x). x2 . 1 + x2 x2 . x2 1 R(sen x, cos x)dx
x2 sen(x). x2 cos(x). x2 ex .
3. Establezca frmulas de recurrencia para la expresin In , dada por o o (a) In = (b) In = (c) In = xn sen(x). xn cos(x). xn ex . (d) In = (e) In = (f ) In = senn (x). cosn (x). xn sinh(2x).
4. Utilizando integracin de funciones racionales calcule las siguientes primitivas o (a) (b) (c) 1 . 1+x 1 . 2 + 2x + 1 x 1 . 1 + x2 (d) (e) 1 . 1 x2 1 . (1 + x2 )2
5. Aplique el cambio de variable u = tan( x ) para calcular las siguientes primitivas 2 (a) (b) (c) 1 . sen(x) 1 . cos(x) 1 . 1 + sen(x) (d) (e) 1 . 1 cos(x) 1 . sen(x) + cos(x)
60
Ingenier Matemtica a a
(a) 7. Calcule . x2 1 g(x)g (x) . 1 + g(x)2 1 (b) 1 . 2+1 x
Universidad de Chile
Problemas
P1. Calcular la siguiente integral sen(x) dx. 1 + sen(x) P2. (a) Sea In = cos(nx) dx. (cos(x))n (1) Calcular I1 , I2 . sen(x) (2) Calcular dx. (cos(x))n+1 (3) Encontrar una relacin de recurrencia para expresar In+1 en funcin de In . o o 2 x2 a dx. (b) Calcular la primitiva x2 dx . x(ln(x) + ln2 (x)) cos(x) dx. 1 + cos(x)
(b) Usando el cambio de variables tan( x ) = u, calcule 2 (c) Sean I = cos(ln(x))dx y J = 5x2 + 12x + 1 dx. x3 + 3x2 4
(b) Deducir una frmula de recurrencia para Im,n = o calcular P5. (a) Calcule (b) Calcular (c) Calcular x2 ln x. x dx. (1 + x2 )(1 + x) sin(x) . 1 + sin(x) + cos(x) arcsen x . 1+x
61
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
4.
4.1.
Integral de Riemann
Introduccion
La teor de la integral de Riemann tiene un objetivo simple, que es: formalizar la nocin de rea a o a mediante una denicin que sea compatible con las ideas comunes e intuitivas acerca de este concepto. o Surge entonces la pregunta de Cuales son estas ideas bsicas?. Por ejemplo, una de ellas es que a el rea de una supercie cuadrada de lado a sea a2 . Si esto es verdadero, se debe concluir que la a supercie de un rectngulo de lados a y b es a b. a
4.2.
Sea E un conjunto de puntos en el plano OXY . El rea del conjunto E ser un n mero real A(E) a a u que cumple las siguientes condiciones. (A1) A(E) 0 (A2) E F = A(E) A(F ) (A3) Si E F = = A(E F ) = A(E) + A(F ) (A4) El rea de una regin rectangular E de lados a y b es A(E) = a b a o Estas 4 condiciones son necesarias y sucientes para tener una buena denicin de rea. Se ver mas o a a adelante, en el transcurso del curso, que la integral de Riemann las satisface adecuadamente. Observacin: Las cuatro propiedades elementales anteriores no son independientes entre s ya que o , por ejemplo (A2) es una consecuencia de (A1) y (A3) Mediante la integral de Riemann se denir el a o a rea de una regin E particular: Dada una funcin f : [a, b] + consideremos la regin R limitada o o por el eje OX, la curva de ecuacin y = f (x) y las rectas verticales x = a y x = b. El rea de esta o a regin se llamar rea bajo la curva y = f (x) entre a y b. o aa
11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 y=f(x) 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 R 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 11111111111 00000000000 a b
Mediante un ejemplo se mostrar un mtodo para determinar el rea bajo una curva, que nos a e a indicar el procedimiento a seguir en la denicin de la integral de Riemann. a o
62
Ingenier Matemtica a a
Universidad de Chile
Ejemplo
Dada la funcin f (x) = x2 , se desea calcular el rea encerrada entre x = 0 y x = b > 0 bajo la curva o a y = f (x).
111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 y=x 2 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 111111111111 000000000000 a b
Etapa 1. Dividiremos el intervalo [0, b] en n partes iguales donde cada una de estas partes tiene longitud b h = n . Si llamamos xi a los puntos de la divisin, se tiene que: xi = i(b/n). o De este modo se ha dividido el intervalo [0, b] en n sub-intervalos Ii = [xi1 , xi ] de longitud h cada uno. Etapa 2. En cada intervalo Ii se levanta el rectngulo inscrito al sector parablia o co de mayor altura posible. Este i-simo rectngulo inscrito posee las e a siguientes propiedades: base = altura = a rea = = Etapa 3. De igual forma en cada intervalo Ii se levanta el rectngulo cira cunscrito al sector parablico de menor altura posible. Este i-sio e mo rectngulo circunscrito posee las siguientes propiedades: a h f (xi1 ) h f (xi1 )
y=x 2
2
b b (i 1) n n
b n
(i 1)2
xi-1
11 00 11 00 11 00 11 00 11 00 11 00
xi
y=x 2
11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 00 11 x00 i x i-1
h f (xi ) h f (xi ) b b i n n
b n
i2
63
Ingenier Matemtica a a
Etapa 4.
Universidad de Chile
Con esta construccin, se ve fcilmente que el rea A que se desea calcular est acotada del modo o a a a siguiente n n b b ( )3 i2 . ( )3 (i 1)2 A n n i=1 i=1 Las sumatorias anteriores se calculan fcilmente recordando que a
n
i2 =
i=1
n(n + 1)(2n + 1) . 6
n1
De este modo,
n i=1 n1
(i 1) =
i =
i=0 i=1
i2 =
(n 1)n(2n 1) . 6
As las cotas para el rea A buscada son a b3 (n + 1)(2n + 1) b3 (n + 1)(2n 1) A 2 6 n 6 n2 La desigualdad anterior es vlida n , luego, olvidando el signicado geomtrico de los n meros a e u que all intervienen, se puede pensar en una desigualdad de sucesiones reales. Por lo tanto, si a tomamos el l mite cuando n queda: b3 b3 A , 3 3 de donde se deduce que el rea buscada es a A= b3 . 3
Ejercicio
Ejercicio 4.1: Del mismo modo como se ha resuelto este ejercicio, se propone al lector calcular las reas encerradas bajo las funciones f (x) = 1, f (x) = x y f (x) = x3 . Por cierto en los dos a primeros casos los resultados son bien conocidos, no as en el tercero. Ntese que al resolver o estos ejercicios se observa lo siguiente: funcin o f (x) = x0 f (x) = x1 f (x) = x2 f (x) = x3 Area entre 0 y b bh
bh 2 bh 3 bh 4
Se deja tambin al lector la tarea de formular una generalizacin a estos resultados a potencias e o superiores.
64
Ingenier Matemtica a a
Universidad de Chile
Ejercicio
Ejercicio 4.2: Como ultimo ejercicio propuesto se plantea calcular el rea encerrada bajo la a funcin sen(x) entre 0 y /2. o
Despus de estos ejercicios de motivacin podemos comenzar a denir el concepto de integral de e o Riemann de una funcin. o
4.3.
Deniciones
Particin o P = {x0 , x1 , ..., xn }
Denicin 4.1 (Particin de un intervalo). o o El conjunto P = {x0 , x1 , ..., xn } es una particin del intervalo [a, b] si a = x0 < x1 < x2 < < o xn = b. Si P es una particin de [a, b], se llama norma de P y se denota por |P | al real: o |P | = mx{(xi xi1 ) : i = 1, ..., n} a Denicin 4.2 (Sumas Superiores e Inferiores). o Sea f una funcin denida y acotada en [a, b]1 . Sea P = {x0 , x1 , ..., xn } una particin de [a, b]. Como o o f es acotada en [a, b], tambin lo es en cada intervalo Ii = [xi1 , xi ] i = 1, ..., n, luego podemos e denir: mi (f ) = nf{f (x) : x [xi1 , xi ]}
Mi (f ) =
(La existencia de mi (f ) y Mi (f ) est garantizada por ser f acotada en [xi1 , xi ]). Con esto se a denen las sumas siguientes:
n
1) S(f, P ) =
i=1 n
2) s(f, P ) =
i=1
Interpretacion Geometrica Si f (x) 0 x [a, b], entonces las sumas superior e inferior de f tienen una interpretacin o geomtrica sencilla. s(f, P ) corresponde al rea de los rectngulos inscritos. S(f, P ) es el rea de los e a a a rectngulos circunscritos. a
1 Que f sea una funcin denida y acotada en [a, b] signica que [a, b] Dom(f ), es decir f (x) existe x [a, b] y o adems existen las constantes m y M tales que: a
m M
= =
65
Ingenier Matemtica a a
Propiedad Importante.
Universidad de Chile
Sea f una funcin acotada y denida en [a, b]. Sea P = {x0 , ..., xn } una particin de [a, b], cualquiera. o o Sean m M = nf{f (x) : x [a, b]} = sup{f (x) : x [a, b]}
mi (f ) = nf{f (x) : x [xi1 , xi ]} Mi (f ) = sup{f (x) : x [xi1 , xi ]} es claro que i = 1, ..., n se tiene que: m mi (f ) Mi (f ) M. Luego: i {1, . . . , n} m(xi xi1 ) mi (f )(xi xi1 ) Mi (f )(xi xi1 ) M (xi xi1 ). Sumando desde i = 1 hasta i = n se obtiene que: m(b a) s(f, P ) S(f, P ) M (b a). (4.1)
m, M , mi (f ), Mi (f )
Como P es una particin cualquiera, se concluye que el conjunto de las sumas inferiores de f es o acotado, as como el conjunto de las sumas superiores de f . Esta propiedad da lugar a las dos deniciones siguientes: Denicin 4.3 (Integrales Superiores e Inferiores). o Sea P[a,b] el conjunto de todas las particiones de [a, b]. Sea f una funcin denida y acotada sobre o [a, b]. Los nmeros reales u
b
f
a b
f
a
se llaman integral inferior de f en [a, b] e integral superior de f en [a, b], respectivamente. Observacin: Por la propiedad demostrada anteriormente, se sabe que el conjunto de las sumas o inferiores era acotado, lo mismo que el conjunto de las sumas superiores, luego en virtud del Axioma del supremo, estn garantizadas las existencias de a a f y de a f . Para que todo esto sea vlido es a necesario y suciente, que f este denida en [a, b] y sea acotada en dicho intervalo. Denicin 4.4 (Renamiento de una particin o particin ms na). o o o a Sean P y Q dos particiones de [a, b], si P Q, diremos que Q es un renamiento P o una particin o ms na que P . a Ejemplo 4.1. Si P1 y P2 son 2 particiones cualesquiera de [a, b], entonces P = P1 P2 es un renamiento de P1 y de P2 .
b b
f,
Rb
renamiento
66
Ingenier Matemtica a a
Proposicin 4.1. Si P Q entonces o s(f, P ) S(f, P ) s(f, Q), y S(f, Q)
Universidad de Chile
Demostracion. Si P = Q, la proposicin es trivialmente cierta. Por lo tanto en el resto de la o demostracin trataremos el caso en que P = Q. o Para jar ideas digamos que P = {x0 , . . . , xn }, sea x el primer punto que aparece en Q y no en P , entonces hay un k {1, . . . , n} tal que xk1 < x < xk . Sea P1 = {x0 , ..., xk1 , x, xk , ..., xn } y sean m (f ) = nf{f (x) : x [, xk ]}. x Claramente: mk (f ) m (f ) y
n
mk (f ) m (f ).
Con esto calculemos las sumas inferiores de f para las particiones P y P1 : s(f, P ) =
i=1 k1 n
i=1
= s(f, P1 ). Por lo tanto s(f, P ) s(f, P1 ). Repitiendo este procedimiento un n mero nito de veces obtenemos que: s(f, P ) s(f, Q). u La desigualdad con sumas superiores se demuestra en forma anloga y se deja propuesta como un a ejercicio. Observacin: Como adems s(f, Q) S(f, Q), se concluye que P, Q P[a,b] . o a P Q = s(f, P ) s(f, Q) S(f, Q) S(f, P ). Entonces, si P1 y P2 son particiones de [a, b], tomando la particin P = P1 P2 que es un renamiento o de P1 y P2 , se tiene que s(f, P1 ) s(f, P ) S(f, P ) S(f, P2 ), es decir, s(f, P1 ) S(f, P2 ) P1 , P2 P[a,b] . O sea cualquier suma inferior es cota inferior del conjunto de sumas superiores y rec procamente. Proposicin 4.2. Si f est denida y acotada en [a, b], y m f (x) M x [a, b], entonces o a
b b
m(b a)
f 67
f M (b a)
Ingenier Matemtica a a
Universidad de Chile
Demostracion. Primeramente, como m(ba) es una cota inferior de s(f, P ) : P P[a,b] , (Ecuab a
m(b a)
b
f.
a
Anlogamente: a f M (b a). a Para probar la desigualdad central, consideremos dos particiones P1 y P2 cualesquiera de [a, b]. Como s(f, P1 ) S(f, P2 ) entonces, jando P1 , se tiene que s(f, P1 ) es una cota inferior del conjunto S(f, P ) : P P[a,b] y por lo tanto:
b
s(f, P1 ) nf S(f, P ) : P P[a,b] = La desigualdad anterior se cumple P1 P[a,b] luego el numero s(f, P ) : P P[a,b] y por lo tanto:
b a b a
f.
a
f
a
Esta ultima expresin prueba la proposicin. o o Denicin 4.5. Diremos que una funcin f denida y acotada en [a, b] es integrable segn Riemanno o u si se cumple que
b a b a
f=
f.
Riemann integrable Z b f
a
Teorema 4.1 (Condicin de Riemann). Una funcin f denida y acotada en un intervalo [a, b] o o es Riemann-integrable en [a, b] ssi: ( > 0)(P P[a,b] ) S(f, P ) s(f, P ) <
Demostracion. Probemos primeramente que la condicin de Riemann es suciente, es decir, si la o condicin de Riemann se cumple entonces la funcin es integrable. o o Sea > 0. Sabemos que (P P[a,b] ) S(f, P ) s(f, P ) < . Pero
b
f
a b
68
S(f, P ) s(f, P )
f
a
Ingenier Matemtica a a
entonces,
b b
Universidad de Chile
Como esta ultima desigualdad es vlida > 0 se concluye que a f = a f y por lo tanto f es a integrable en [a, b]. Probemos ahora que la condicin de Riemann es necesaria, es decir, que si f es integrable entonces o la condicin de Riemann debe cumplirse. o Sabemos que
b
f
a
entonces, dado > 0, en virtud de la caracterizacin del supremo y del o nmo de un conjunto podemos garantizar la existencia de particiones P1 , P2 de [a, b] tales que
b
s(f, P1 ) S(f, P2 )
>
a b
f f+
2 2
<
a
Si adems consideramos la particin P = P1 P2 , (renamiento de P1 y de P2 ) y recordando que a o las sumas inferiores crecen y las superiores decrecen al tomar renamientos, se deduce que
b
s(f, P ) >
a b
f f+
2 2
S(f, P ) <
a
< s(f, P ) + 2 2
Con esto, dado > 0 arbitrario, hemos encontrado una particin que verica la condicin de Rieo o mann. Ejemplo 4.2. 1 Probar que f (x) = x es integrable en [1, 2]. Si P = {x0 , ..., xn } es una particin de [1, 2] entonces en cada intervalo Ii se tiene que: mi (f ) = o 1 y Mi (f ) = xi1 . Por lo tanto,
n
1 xi
S(f, P ) =
i=1 n
( (
i=1
s(f, P ) =
69
Ingenier Matemtica a a
Universidad de Chile
Notemos que esta sumas no son fciles de calcular para una particin arbitraria. Sin embargo a o lo unico que se desea aqu es probar que la funcin es integrable y no calcular la integral. Con , o este objetivo en mente, nos basta con vericar la condicin de Riemann. Calculemos entonces la o diferencia entre las dos sumas:
n
S(f, P ) s(f, P ) = =
(
i=1 n i=1
Como las variables xi [1, 2] entonces 1 1 < 1, < 2 xi y por lo tanto podemos acotar la diferencia como
n
i=1
(xi xi1 )2 .
xi xi1 < |P |, donde |P | es la norma de la particin P . Entonces o S(f, P ) s(f, P ) < |P | (2 1) = |P |. En consecuencia para satisfacer la condicin de Riemann, dado > 0 basta considerar una o particin P P[1,2] con norma |P | . Es decir o |P | = S(f, P ) s(f, P ) < . Por lo tanto, f (x) =
1 x
1 si x no es integrable en [0, 1]. 0 si x I Sea P = {x0 , ..., xn } una particin de [0, 1], claramente en cada intervalo Ii = [xi1 , xi ] se tiene o que mi (f ) = 0, y Mi (f ) = 1.
70
Ingenier Matemtica a a
Por lo tanto las sumas de Riemann son
n
Universidad de Chile
S(f, P ) =
i=1 n
=
i=1 n
s(f, P ) =
i=1
y luego la condicin de Riemann no se cumple. Por lo tanto f no es integrable en [0, 1]. o Observacin: Este ultimo ejemplo muestra que una funcin puede estar denida y ser acotada o o en un intervalo y sin embargo no ser Riemann integrable. Es decir ser Riemann integrable es una propiedad mas fuerte o exigente que slo ser denida y acotada. o En este ejemplo tambin se puede observar que e
b
f (x) =
a 1
0, y 1.
f (x) =
0
4.4.
En esta seccin nos preocupamos de saber bajo que requisitos se puede garantizar que una funcin o o denida y acotada en un intervalo es Riemann integrable. Los resultados ms importantes en este a sentido son el teorema (4.2) que garantiza que las funciones continuas son integrables y la proposicin o 4.3 que hace lo propio con las funciones montonas. o Adems se ver que en este tipo de funciones (las continuas o montonas) la condicin de Riemann a a o o se cumple en la medida que la norma de la particin sea sucientemente peque a. Esto ultimo o n permite entender la integral como el l mite de las sumas inferiores o superiores cuando la norma de la particin tiende a cero. o Proposicin 4.3. Si f es una funcin denida, acotada y montona en [a, b], entonces es integrable o o o en [a, b].
Demostracion. Supongamos que se trata de una funcin creciente (la demostracin en el caso o o de funcin decreciente se propone como ejercicio). Si P = {x0 , . . . , xn } es una particin de [a, b] o o
71
Ingenier Matemtica a a
entonces
n
Universidad de Chile
S(f, P ) =
i=1 n
s(f, P ) = y entonces
n
S(f, P ) s(f, P )
=
i=1 n
i=1
= |P | [f (b) f (a)] . Por lo tanto, dado > 0 arbitrario, es fcil encontrar particiones con norma |P | a lo cual la condicin de Riemann se cumple satisfactoriamente. o
1 2 f (b)f (a)+1
con
Demostracion. Es bien sabido que las funciones continuas en un intervalo cerrado y acotado [a, b] son uniformemente continuas, es decir satisfacen la propiedad > 0, > 0, x1 , x2 [a, b], |x1 x2 | = |f (x1 ) f (x2 )| . Con esta proposicin no es dif probar la condicin de Riemann. En efecto, dado > 0 arbitrario, o cil o la proposicin anterior garantiza la existencia de > 0 tal que si |x1 x2 | entonces o |f (x1 ) f (x2 )| . ba (4.2)
Consideremos una particin P P[a,b] con norma |P | . Como f es continua en [a, b], tambin lo o e ser en cada uno de los intervalos Ii = [xi1 , xi ] denidos por la particin y por lo tanto el supremo a o Mi y el nmo mi en dicho intervalo sern alcanzados como imgenes de alg n punto. Es decir, a a u x [xi1 , xi ], i xi [xi1 , xi ], Luego S(f, P ) s(f, P ) =
2 El
[f (x ) f (x )] xi. i i
1 en el denominador f (b) f (a) + 1 se introduce solo para evitar dividir por cero (en el caso de una funcin o constante).
72
Ingenier Matemtica a a
Pero como En consecuencia |x i x | i
Universidad de Chile
ba .
xi.
i=1
Notemos que en la demostracin anterior solo se requiere que |P | . Esto permite concluir el o siguiente corolario. Corolario 4.1. Si f es continua en [a, b] Entonces:
n b
i=1
f (i )(xi xi1 ) x
f ,
donde los valores xi son nmeros arbitrarios en el correspondiente i simo intervalo [xi1 , xi ] u e denido por la particin P . (por ejemplo xi = xi1 +xi ) o 2 Demostracion. El teorema anterior dice que ( > 0)( > 0)(P P[a,b] ) {|P | S(f, P ) s(f, P ) } . Adems, si P = {x0 , . . . , xn } es una de las particiones anteriores y xi [xi1 , xi ] entonces a mi (f ) f (i ) Mi (f ). x multiplicando por xi y sumando de i = 1 hasta i = n se obtiene
n
s(f, P )
i=1
(4.3)
s(f, P )
f S(f, P ).
(4.4)
b a
Las desigualdades (4.3) y (4.4) se interpretan como que los n meros n f (i )(xi xi1 ) y u x i=1 pertenecen a un mismo intervalo de largo no mayor que . Por lo tanto,
n i=1 b
f (i )(xi xi1 ) x
Observacin: El corolario anterior se puede interpretar como una nocin de l o o mite cuando |P | 0, es decir, podemos escribir que cuando una funcin es continua su integral es o
b n
f = l m
a
|P |0
f (i )xi . x
i=1
La expresin anterior motiva la siguiente notacin, denominada notacin de Leibnitz para integrales o o o 73
Rb
a
f (x)dx
Ingenier Matemtica a a
b b
Universidad de Chile
f=
a a
f (x)dx.
f <
a
f < .
a
Observacin: El corolario y la observacin (4.4) tambin se cumple si f montona. o o e o Luego: si f es continua en [a, b] o bien montona en [a, b] entonces se puede decir que: o
b n
f = l s(f, P ) = l S(f, P ) = l m m m
a |P |0 |P |0
|P |0
f (i )xi . x
i=1
4.5.
Propiedades de la Integral
Ya hemos visto cual es la denicin de la integral de una funcin. Sabemos que se trata de un n mero o o u real asociado a la funcin. Sabemos que este real existe para un conjunto de funciones llamadas las o funciones Riemann integrables, entre las cuales se encuentran las funciones continuas y las funciones montonas. En cuanto al clculo de integrales slo conocemos la denicin y sabemos que en la o a o o medida que las normas de las particiones sean peque as, las integrales se aproximan por sumatorias n llamadas las sumas de Riemann. En esta seccin nos interesa estudiar algunas propiedades del o operador integral. Los resultados ms atractivos se resumen en el Teorema 4.3 que dice que este a operador es lineal y montono. Tambin veremos cmo se puede extender la nocin de integral a los o e o o casos a = b y a > b. 4.5.1. Lemas Previos (Propiedades Basicas)
Comenzamos por enunciar algunos lemas previos relativos a las integrales inferiores y superiores. Lema 1. Si f es una funcin integrable en [a, b], a < b, y [r, s] [a, b], con r < s, entonces f es o integrable en [r, s]. Lema 2. Si f est denida y es acotada en [a, b], a < b, y c (a, b) entonces a
b c b
f
a b
f+
a c c b
f f
c
(4.5) (4.6)
f
a
f+
a
Lema 3. Si f y g son dos funciones denidas y acotadas en [a, b], a < b, entonces:
b b b
f+
a b a a
(f + g)
a b b
(4.7) g (4.8)
(f + g) 74
f+
a a
Ingenier Matemtica a a
Universidad de Chile
Demostracion. (del lema 1) Como f es integrable en [a, b] se cumple la condicin de Riemann o en [a, b], es decir: ( > 0)(P P[a,b] ) S(f, P ) s(f, P ) . Sea Q = P {r, s}, es claro que como r y s [a, b], entonces Q es un renamiento de P , luego S(f, Q) s(f, Q) . Para jar ideas, digamos que Q = {x0 , x1 , . . . , xn } y que r = xk , s = x con 0 k < n. Sea entonces Q = {xk , xk+1 , , x } = Q [r, s]. Es claro que Q resulta ser una particin de [r, s] o tal que:
n
S(f, Q ) s(f, Q ) =
i=k+1
(Mi mi )xi
i=1
Luego la particin Q muestra que f verica la condicin de Riemann y por lo tanto es una funcin o o o integrable en [r, s]. Demostracion. (del Lema 2) Para demostrar (4.5) sean P1 P[a,c] y P2 P[c,b] dos particiones arbitrarias de [a, c] y [c, b] respectivamente. Formemos la particin P de [a, b] como P = P1 P2 . o Claramente
b
f.
a
s(f, P1 )
f s(f, P2 ) P1 P[a,c] .
En consecuencia el real de la derecha es cota superior del conjunto de sumas inferiores de f en [a, c] y por lo tanto
b a c
f s(f, P2 )
f.
a
f s(f, P2 )
P2 P[c,b] ,
es decir el n mero de la izquierda es una cota superior del conjunto de sumas inferiores de f en [c, b]. u Entonces este n mero es mayor o igual al supremo, es decir u
b a c b
f.
c
La demostracin de (4.6) es anloga y se deja como ejercicio. o a Demostracion. (del lema 3) Como en el caso anterior, slo demostraremos la frmula (4.7), y dejaremos (4.8) como ejercicio. Para o o probar esta frmula sean P1 y P2 particiones cualesquiera de [a, b] y sea P = P1 P2 . Claramente o s(f, P1 ) + s(g, P2 ) s(f, P ) + s(g, P ). 75 (4.9)
Ingenier Matemtica a a
Para jar ideas digamos que P = {x0 , . . . , xn } entonces
n
Universidad de Chile
s(f, P ) =
i=1 n
mi (f )xi mi (g)xi
i=1 n
s(g, P ) = s(f + g, P ) =
i=1
mi (f + g)xi .
(f + g).
a
(4.10)
En la ultima desigualdad hemos recordado que la integral inferior es una cota superior del conjunto de sumas inferiores de una funcin (aqu la f + g). Combinando las ecuaciones (4.9) y (4.10) se tiene o que
b
s(f, P1 ) + s(g, P2 )
(f + g).
a
(f + g) s(g.P2 )
(f + g) s(g.P2 ),
b b
(f + g)
b
f
a
g f+
a b a
(f + g)
b
f,
a
es decir
b a
(f + g).
a
4.5.2.
Usando los lemas probados en la subseccin precedente se puede demostrar el siguiente teorema que o resume las propiedades ms importantes de la integral. a
76
Ingenier Matemtica a a
1. Si c
, entonces
Universidad de Chile
b a
c = c(b a)
b c b
2. Si f es integrable en [a, b] y c (a, b), entonces f es integrable en [a, c] y [c, b], y adems a f=
a a
f+
c
f=
a a
f+
c
(f + g) =
a a
f+
a
(f ) =
a
g
a
|f |
Demostracion. 1. Sea f (x) = c x [a, b], sea P = {x0 , . . . , xn } una particin cualquiera de o [a, b] entonces en cada intervalo [xi1 , xi ] se cumple que mi (f ) = Mi (f ) = c por lo tanto las sumas inferior y superior son s(f, p) = S(f, P ) = c Claramente entonces
b b
xi = c(b a).
b
f=
a a
f = c(b a)
b a
c = c(b a)
Ingenier Matemtica a a
Universidad de Chile
2. Por lema 1, si f es integrable en [a, b] y c [a, b], entonces f es integrable en [a, c] y [c, b] (ambos [a, b]) adems por lema 2: a
b a c b b
f
b
f+
a c c
f
b
f
a
de donde claramente
a
f=
a
f+
c
f.
3. Si f es integrable en [a, c] y [c, b], entonces est denida y acotada en [a, b]. Por lema 2: a
b a c b b
f+
a c
f.
a
Pero como la desigualdad contraria siempre es cierta, se deduce que f es integrable en [a, b] y su integral vale
b c b
f=
a a
f+
c
f.
(f + g)
f+
a a
(f + g).
a
(f + g)
f+
a a
(f + g).
a
5. Sea P = {x0 , . . . , xn } una particin cualquiera de [a, b]. Analicemos primeramente el caso o 0. En este caso se tiene que mi (f ) = Mi (f ) = Por lo tanto S(f, P ) = s(f, P ) = Con lo cual sup{s(f, P )} = sup{s(f, P )} = sup{s(f, P )}, y S(f, P ), y s(f, P ). mi (f ), y Mi (f ).
f =
a a
f =
a
78
Ingenier Matemtica a a
b b
Universidad de Chile
f.
a
f =
En las l neas anteriores se ha usado el resultado bien conocido que dice que si 0 y A es un conjunto acotado entonces sup(A) nf(A) = = sup(A), y nf(A).
En el caso en que < 0 la propiedad anterior se cambia por sup(A) nf(A) por lo tanto ahora tendremos que mi (f ) = Mi (f ), y Mi (f ) = mi (f ) de donde S(f, P ) = s(f, P ), y s(f, P ) = S(f, P ) con lo cual sup{s(f, P )} = sup{S(f, P )} = nf{S(f, p)}, y nf{S(f, P )} = nf{s(f, P )} = sup{s(f, p)}, es decir
b b b
= =
nf(A), y sup(A),
f =
a b a
f =
a b
f.
f =
a
f.
6. Sea h = gf . Como f (x) g(x)x [a, b] entonces h(x) 0x [a, b]. Adems h = g+(1)f a
b b b
es integrable en [a, b] y
a
h=
a
0 s(h, P ) de donde
h=
a b a a
h=
a b
f,
a
f f (x) 0
g.
a
Ingenier Matemtica a a
+ +
Universidad de Chile
Entonces f = f f y |f | = f + f . Para probar que |f | es integrable probaremos previamente que f + lo es. Si P = {x0 , . . . , xn } es una particin cualquiera de [a, b] entonces o como f (x) f + (x), x [a, b] entonces mi (f ) mi (f + ), o sea, mi (f + ) mi (f ). (4.11)
Adems, si Mi (f ) 0 entonces Mi (f + ) = Mi (f ) y entonces sumando con (4.11) se obtiene a que Mi (f + ) mi (f + ) Mi (f ) mi (f ). Si por el contrario Mi (f ) < 0 entonces f ser negativa en el intervalo y luego f + = 0. Por lo a tanto Mi (f + ) = mi (f + ) = 0 de donde claramente Mi (f + ) mi (f + ) = 0 Mi (f ) mi (f ). En denitiva, en cualquier intervalo de la particin se cumple que o Mi (f + ) mi (f + ) Mi (f ) mi (f ) y por lo tanto sumando S(f + , P ) s(f + , P ) S(f, P ) s(f, P ). Gracias a esta ultima desigualdad, deducimos que ya que f es integrable en [a, b], entonces ( > 0)(P P[a,b] ) tal que S(f, P ) s(f, P ) y por lo tanto luego f + es integrable en [a, b]. S(f + , P ) s(f + , P ) , i = 1, . . . , n
Como f = f + f entonces f = f + f y en consecuencia f tambin es integrable. Por e ultimo como |f | = f + + f es la suma de funciones integrables, entonces tambin es integrable e en [a, b]. Para demostrar la desigualdad basta con recordar que |f (x)| f (x) |f (x)| y en consecuencia
b b b
x [a, b] |f |,
es decir,
|f |
b a
f
b
|f |
80
Ingenier Matemtica a a
4.5.3. Integral de a a b con a b
Universidad de Chile
Denicin 4.6. Sea f una funcin integrable en un intervalo [p, q]. Si a, b [p, q] son tales que o o a b entonces se dene la integral de a a b del modo siguiente:
b a
f
a b
= =
f
b
si a > b, o
f
a
si a = b.
con esta denicin, las propiedades de la integral se pueden enunciar as o : Proposicin 4.4. Sean f y g integrales en [p, q] y a, b [p, q] entonces: o
b
1)
a b
= (b a),
c b
f,
c
2)
a b
f=
a
f+
b
c [p, q]
3)
a b
f =
a
f,
b
g
b a
4)
a
(f + g) =
a
f+
a
b a
b a
|f |
Ejercicio
81
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 7
Ejercicios
1. Siguiendo el ejemplo de tutor se propone calcular las reas encerradas bajo las funciones a, a f (x) = 1, f (x) = x y f (x) = x3 . Por cierto en los dos primeros casos los resultados son bien conocidos, no as en el tercero. Ntese que al resolver estos ejercicios se observa lo siguiente: o funcin o f (x) = x0 f (x) = x1 f (x) = x2 f (x) = x3 Area entre 0 y b bh
bh 2 bh 3 bh 4
Formule una generalizacin a estos resultados a potencias superiores. o 2. Calcular el rea encerrada bajo la funcin sen(x) entre 0 y /2. a o
b
Considere la funcin f (x) = o (a) Calcule s(f, P ) y S(f, P ). (b) Calcule nf S(f, P ).
P Pa,b
x 0
x [a, b].
1)
a b
= (b a),
c b
f,
c
4)
a
(f + g) =
a
f+
a
g
b a
2)
a b
f=
a
f+
b
c [p, q]
g f
b a
3)
a
f =
a
f,
6)
b a
|f |
(a) l m
n i=1
n2 +k2
. + n.
(c) l m
n 1 n n i=1
1 . 1+4k/n 1 (n+1)3
(b) l m
n 1 k n n n i=1
(d) Calcular l n2 m
n
1 (n+2)3
+ +
1 (n+n)3
82
Ingenier Matemtica a a
Universidad de Chile
Problemas
n
(a) Explique por qu (an ) est bien denida, es decir, por qu q x es Riemann integrable en e a e [0, n], y muestre que es estrictamente creciente. (b) Calcule las sumas de Riemann inferior y superior para q x y la particin P = {0, 1, ..., n}. o (c) Utilice las sumas anteriores para obtener las siguientes cotas para (an ). n
1 qn < 1q
q x dx <
0
1 . 1q
una funcin integrable y acotada inferiormente por una constante c > 0. Para o 1
f
(a) Si S(, ) y s(, ) denotan las sumas superiores e inferiores, pruebe que para toda particin o P del intervalo [a, b] se cumple 1 1 1 S( , P ) s( , P ) 2 {S(f, P ) s(f, P )} . f f c (b) Use el resultado anterior para demostrar que la funcin o P3. Sea f : [1, [
1 f
n 2.
(b) Considere f (x) = ln(x) y utilice la parte anterior para demostrar que (n 1)! nn en+1 n!, P4. Considere la funcin f (x) = o (a) Calcule s(f, P ) y S(f, P ). (b) Calcule nf S(f, P ) y sup s(f, P ).
P P0,1 P P0,1 1 1 q
n 1. , x [0, 1].
f = 0.
83
Ingenier Matemtica a a
P5. (a) Demuestre que: 1 2
b 1
Universidad de Chile
1 2 1+ 1 e(1/4)
1 e1/4
1 e
ex dx
1 x dx
84
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
4.6.
G(x) =
a
es continua en [a, b]. Demostracion. Sea x0 [a, b]. Probemos que G es continua en x0 . Para esto, probemos que
h0
l G(x0 + h) = G(x0 ), m
l |G(x0 + h) G(x0 )| = 0. m
|G(x0 + h) G(x0 )|
=
a x0 +h
f f
f
a
=
x0 x0 +h
x0 x0 +h x0
|f | M (|f |)
= M (|f |)|h|, donde M (|f |) = sup {|f (x)| : x [a, b]}. Con esto, claramente si h 0 entonces |G(x0 + h) G(x0 )| 0.
Teorema 4.4 (Primer Teorema Fundamental del Clculo). Si f es una funcin continua en a o o un intervalo I y a I, entonces la funcin G denida por:
G(x) =
a
85
Ingenier Matemtica a a
Universidad de Chile
Demostracion. Sea x0 int(I). Para probar que G es derivable en x0 debemos probar que el l mite G(x0 + h) G(x0 ) G (x0 ) = l m h0 h existe y que vale f (x0 ). Veamos si esto es cierto. Primeramente, notemos que
x0 +h x0 x0 +h
G(x0 + h) G(x0 ) =
f=
a x0
Consideremos primeramente el caso h > 0. Como f es continua en [x0 , x0 + h], se tiene que existen x y x [x0 , x0 + h] tales que: f (x ) f (x) f (x ), por lo tanto, integrando en [x0 , x0 + h], f (x )h G(x0 + h) G(x0 ) f (x )h, es decir, G(x0 + h) G(x0 ) f (x ). h Claramente, si h 0+ entonces x x0 y x x0 y como f es continua, f (x ) f (x0 ) y f (x ) f (x0 ) luego G(x0 + h) G(x0 ) l m = f (x0 ). (4.12) + h h0 f (x ) En el caso en que h < 0, como f es continua en [x0 + h, x0 ], se sabe que x y x [x0 + h, x0 ] tales que f (x ) f (x) f (x ), x [x0 + h, x0 ] por lo tanto, integrando en [x0 + h, x0 ], f (x )(h) [G(x0 + h) G(x0 )] f (x )(h), G(x0 + h) G(x0 ) f (x ). h Claramente, si h 0 entonces x x0 y x x0 y como f es continua, f (x ) f (x0 ) y f (x ) f (x0 ) luego G(x0 + h) G(x0 ) = f (x0 ). (4.13) l m h h0 f (x ) Juntando (4.12) y (4.13) se obtiene el resultado pedido. Observacin: Notemos que la expresin G (x) = f (x), x int(I) ms la continuidad de G en I o o a
x
x [x0 , x0 + h]
es decir
Es decir, el primer teorema fundamental del clculo nos garantiza que toda funcin continua en un a o
86
Ingenier Matemtica a a
Universidad de Chile
intervalo posee primitivas. Este resultado lo conoc amos en el caso de funciones sencillas como x2 o sen x ya que x2 sen x = x3 + C, y 3
= cos x + C,
es decir ramos capaces de encontrar una primitiva por simple inspeccin. Sin embargo en el caso por e o 2 e amos la pregunta ejemplo de ex o sen x , donde no ramos capaces de calcular la primitiva, nos hac x de si tal primitiva exist o no. Este teorema nos dice que s es decir la primitiva de funciones a , continuas siempre existe independientemente de si somos o no capaces de calcularla por inspeccin. o En el caso en que la primitiva de una funcin continua se conozca a priori, este teorema permite o tambin calcular las integrales. Este resultado aparece como el siguiente corolario. e Corolario 4.2 (del Primer Teorema del Clculo). Si la funcin F , continua en I, es una pria o mitiva de f en I, entonces:
b
a, b I,
f = F (b) F (a).
x
del Clculo se sabe que G = f sobre I, luego C a tal que G(x) = F (x) + C. Pero como G(a) = 0 entonces esta constante vale C = F (a) y luego G(x) = F (x) F (a) por lo tanto
b
G(b) =
a
f = F (b) F (a).
12 13 + +1 3 2
02 03 + +0 3 2
11 6
Notacin: En los ejemplos aparece la expresin F (b) F (a). Para no escribir dos veces la funcin o o o F (sobre todo cuando su expresin es larga) se acostumbra a anotar o F (x) As el ejemplo 4.5 se escribe
1 0 b a
F (b) F (a).
1
(x2 + x + 1)dx =
x2 x3 + +1 3 2
=
0
11 . 6
87
Ingenier Matemtica a a
Universidad de Chile
Segundo Teorema Fundamental del Clculo a
Teorema 4.5 (Segundo Teorema Fundamental del Clculo). Sea f integrable en [a, b]. Si a existe una funcin F continua en [a, b] y derivable en (a, b) tal que F = f en (a, b), entonces: o
b a
f = F (b) F (a)
Observacin: El Segundo Teorema fundamental del clculo es idntico en contenido al corolario o a e del Primer T.F.C., solo la hiptesis es ms amplia, ya que solo pide que f sea integrable y no o a necesariamente continua. Demostracion. Sea P = {x0 , . . . , xn } una particin cualquiera del intervalo [a, b], entonces en o cada intervalo [xi1 , xi ] la funcin F (x) satisface las hiptesis del teorema del valor medio, es decir, o o i [xi1 , xi ]: F (xi ) F (xi1 ) = F (i )(xi xi1 ). Como:F (x) = f (x)x [a, b] F (i ) = f (i ), adems, a mi (f ) f (i ) Mi (f ) Luego, multiplicando por xi se tiene mi (f )(xi xi1 ) f (i )(xi xi1 ) Mi (f )(xi xi1 ), o sea mi (f )(xi xi1 ) F (xi ) F (xi1 ) Mi (f )(xi xi1 ). Sumando desde i = 1 hasta i = n, se obtiene: s(f, P ) F (b) F (a) S(f, P ). Esta ultima desigualdad es vlida para cualquier particin P de [a, b], luego, tomando supremo e a o nmo se tiene que:
b b
f F (b) F (a)
f.
a
f = F (b) F (a).
4.6.1.
Recordamos que si f y g son dos funciones continuas en [a, b] y diferenciables en (a, b) se tiene que: (f g) = f g + f g . Si adems alguna de las funciones f g o f g fuera integrable, la otra tambin lo ser y se tendr a e a a que
88
Ingenier Matemtica a a
b a b a b a
Universidad de Chile
f g,
(f g) =
f g +
es decir, fg
b a b
=
a
f g +
a
f g.
Con esto se ha demostrado el teorema siguiente Teorema 4.6. Sean f y g son dos funciones continuas en un intervalo I y diferenciables en int (I). Sean a, b int (I). Si f y g son continuas entonces
b a
f g = f g
b a
f g
4.6.2.
Teorema 4.7. Sea g una funcin continua en un intervalo I y derivable en int(I), con g continua. o Sean a, b int (I), con a < b. Sea f una funcin continua en g([a, b]), entonces: o
b a
(f g)g =
g(b)
f
g(a)
Cambio de Variable
Demostracion. Sea F una primitiva de f (la que existe por ser f continua), por el Segundo Teorema Fundamental del Clculo, se tiene que: a
g(b) g(a)
f = F (g(b)) F (g(a)) = F g
b a
(4.14)
Adems: a
(f g)g = F g
b a
(f g)g =
g(b)
f.
g(a)
89
Universidad de Chile 4.7. Teoremas del Valor Medio y Taylor para integrales.
4.7.1. Teoremas del Valor Medio
Valor Medio de una Funcin o
Ingenier Matemtica a a
Denicin 4.7 (Valor Medio de una Funcin). o o Sea f una funcin integrable en el intervalo [a, b]. Se llama valor medio de f en [a, b] al nmero real: o u 1 ba A este real se le anota f o bien f .
b
f.
a
Teorema 4.8 (Valor Medio para integrales). Si f es continua en [a, b], entonces (a, b) tal que f () = f , es decir:
b a
f = f ()(b a).
luego por teorema del valor medio para derivadas se sabe que (a, b) tal que G(b) G(a) = G ()(b a), es decir,
b a
f = f ()(b a)
Teorema 4.9 (Valor Medio generalizado para integrales). Si f es continua en [a, b] y g es una funcin integrable en [a, b] que no cambia de signo, entonces o [a, b] tal que
b b
f g = f ()
a a
g.
Demostracion. Sean m M Claramente m f (x) M, 90 x [a, b], = nf{f (x) : x [a, b]}, y = sup{f (x) : x [a, b]}.
Ingenier Matemtica a a
entonces multiplicando por |g|(x) se tiene que m|g|(x) f (x)|g|(x) M |g|(x), e integrando m
a b b b b b b
Universidad de Chile
x [a, b], |g|.
|g| |g|,
f |g| M
Si
a b
|g| = 0
f |g| = 0 = f ()
b f |g| a b a |g|
Si
a
|g| > 0 m
entonces por teorema del valor intermedio, [a, b] tal que: f () = y por lo tanto
b a b
f |g| = f ()
|g|,
(4.15)
Como g(x) no cambia de signo en [a, b] entonces g = |g| ( = 1 o 1 dependiendo del signo de g). Luego multiplicando (4.15) por se obtiene el resultado. 4.7.2. Teorema de Taylor con Resto Integral
Sea I un intervalo abierto que contenga al intervalo cerrado de extremos x0 y x. Consideremos una funcin f de clase C (n+1) (I), entonces claramente o
x x0
f (t)dt.
(4.16)
x0
Adems, si integramos por partes la ultima expresin del modo siguiente: a o u = f (t) v = 1 se obtiene
x
u = f (t) v = (t x)
x x0 x
f (t)dt
x0
f (t)(t x)
+
x0 x x0
= f (x0 )(x x0 ) +
Reemplazando esta integral en (4.16) el valor de f (x) ser a f (x) = f (x0 ) + f (x0 )(x x0 ) + 91
x x0
(x t)f (t)dt.
(4.17)
Ingenier Matemtica a a
Universidad de Chile
Ntese que aqu se justica plenamente el uso de la notacin de Leibnitz para integrales, ya que o o as se distingue la variable de integracin t de la constante x. o Si integramos por partes nuevamente, del modo siguiente u = f (t) u = f (t) (x t)2 v = (x t) v = 2 se obtiene
x x0
(x t)f (t)dt
= =
f (t)(x t)2 2
x0
+
x 2
1 2
x x0 x x0
f (x0 )(x x0 ) 1 + 2 2
x0
(Ntese que en la primera l o nea se ha escrito F (t) x en lugar de F (t) x . Este es un truco clsico a 0 a usar cuando la primitiva tiene un signo menos en su denicin. As se evitan los repetidos signos o y las posibles fuentes de errores en los clculos). Reemplazando esta integral en la frmula (4.17) se a o obtiene 1 x f (x0 )(x x0 )2 + f (t)(x t)2 dt. f (x) = f (x0 ) + f (x0 )(x x0 ) + 2! 2! x0 Si continuamos integrando por partes se obtendr la frmula siguiente a o f (x) = Pn (x) + 1 n!
x x0
La demostracin se realiza por induccin, desarrollando por partes la ultima integral. El trmino: o o e Rn (x) = 1 n!
x x0
se denomina resto integral del desarrollo de Taylor. Observacin: Si en la expresin integral del resto se aplica el teorema del valor medio geneo o ralizando para integrales se tiene que: Rn (x) = = = f (n+1) () n!
x x0
(x t)n dt
x0 x
92
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 8
Ejercicios
1. Sea f : a
tal que f
a+p
f (x) =
0
4. Hallar
a a
f (x)g(y)dy
x
dx en trminos de e
a
f y
a
g.
xf (t)dt.
0 x x u
f (u)(x u)du =
f (t)dt du.
0 0 x b
7. Suponga que f es integrable en [a, b]. Demostrar que existe un n mero x en [a, b] tal que u
a
f=
x
f.
Demostrar, con un ejemplo, que no siempre es posible elegir x que est en (a, b). e 8. Calcule las derivadas de las siguientes funciones.
x2 x2
f (x) =
1
sen(t )dt
f (x) =
t2 1+t6 dt x
cos(x)
f (x) =
x3
(x t) sen(t2 )dt
9. Sea f una funcin tal que f (x) = (x t)2 f (t)dt. Muestre que f (x) = 2f (x). o
0
Problemas
x
P1. Sea f : [0, [ [0, [ una funcin biyectiva y derivable en ]0, [. Muestre que g(x) = o
f (x)
f (t)dt+
0
f 1 (t)dt, satisface que g (x) = f (x) + f (x)x. Concluya que g(x) = xf (x).
0 x
arctan(t) , t
donde
arctan(t) t
g(x)dx = g(1)
arctan(t)dt
0 1
g(x)dx = g(1) 93
ln(2) 2 .
Ingenier Matemtica a a
P3. Sea g : una funcin biyectiva, diferenciable y tal que g(0) = 0. Sea f : o funcin diferenciable. Suponga que f y g satisfacen: o
g(x)
Universidad de Chile
] 1, 1[ una
g(x) =
0
f 2 (g 1 (x))dx + f (x).
(tanh(t))2 dt.
x ln(tx) dt, denida en ]0, +[. ln(t) y calcule f (2). x ]0, +[.
(a) Encuentre
P5. Asumiendo que la funcin g(t) = arc sen(arctan(t)) es continua en [0, tan(1)], encuentre la o derivada de la funcin f (x) = o
0
acotada e integrable, vericando que f ((a+b)x) = f (x) para todo x [a, b].
b
xf (x) =
a+b 2
f (x)
a
xg(sen(x)) =
0
g(sen(x)).
0
94
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
5.
5.1.
R = {(x, y) | x [a, b], y [0, f (x)]}. Recordamos que las condiciones bsica de la denicin de area son: a o (i) E F rea(E) rea(F ) a a (ii) Si rea(E F ) = 0 entonces rea(E F ) =rea(E)+rea(F ) a a a a (iii) Si E es una regin rectangular de lados a y b entonces rea(E) = ab. o a Si designamos el rea de la regin R por Aa (f ), entonces las propiedades anteriores se traducen en a o b que (i) 0 f (x) g(x) x [a, b] Ab (f ) Ab (g) a a (ii) Ab (f ) = Ac (f ) + Ab (f ), a a c (iii) Ab (c) = c(b a) a Probaremos a continuacin que si f es una funcin Riemann integrable, entonces la unica denicin o o o posible de rea de la regin R es la dada por la Integral de Riemann. En efecto, si P = {x0 , . . . , xn } a o es una particin cualquiera de [a, b], entonces por la propiedad ii) se cumple que o
n
area(E)
Aa (f ) b
c [a, b]
Ab (f ) = a
i=1
Axi (f ), xi1
usando adems i) y iii), cada rea dentro de la sumatoria se puede acotar a a mi (f )(xi xi1 ) Axi (f ) Mi (f )(xi xi1 ). xi1 Luego, sumando de i = 1 hasta n se obtiene que el rea de la regin R debe esta acotada entre: a o s(f, P ) Ab (f ) S(f, P ). a Como esta desigualdad es cierta P , debe cumplirse necesariamente que
b a b
Ab (f ) a
f.
a
Por lo tanto si la funcin f es integrable entre a y b, para que el concepto de rea satisfaga las o a propiedades i), ii), iii), la unica denicin posible es: o a rea(R) = Ab (f ) = a
b
f
a
95
Ingenier Matemtica a a
Area de regiones denida por funciones no positivas
Universidad de Chile
Si f es una funcin denida en [a, b] con valores negativos, entonces el rea de la regin R encerrada o a o sobre su grco, y debajo del eje de las x se puede calcular fcilmente como el rea bajo la curva a a a y = f (x). Luego se tendr que el rea es a a
b b
a rea(R) =
a
(f ) =
a
|f |.
En general si f es una funcin que cambia de signo en [a, b] un n mero nito de veces y R es la o u regin comprendida entre el grco de f (por sobre o bajo, seg n corresponda) y el eje OX, entonces o a u el rea de la regin R se podr calcular como a o a Ab (R) = a
b a
|f |
Ejemplo 5.1. Clculo de rea encerrada por la curva y = sen x entre 0 y 2. a a Usando las frmulas anteriores se tiene que o
2 a
A2 (sen x) = 0 =
|sen x|dx
2
sen xdx
sen xdx
= =
Ntese que de usar solamente la frmula 0 sen xdx en el clculo del rea se obtendr el resultado o o a a a cero. Lo cual signica que la parte positiva y la negativa de la funcin encierran las mismas reas o a (y por eso la anulacin) pero no que el rea buscada valga cero. o a Ejemplo 5.2. Calcular el rea encerrada entre las curvas y 2 = x e y = 1 (x 3). a 2 Estas dos curvas se cortan en la solucin del sistema o 2y = x = x3 y2
Este sistema se resuelve fcilmente reemplazando la segunda ecuacin en la primera, obtenindose a o e as la cuadrtica a y 2 2y 3 = 0 cuyas ra son y = 1 e y = 3. Por lo tanto los puntos de interseccin de la parbola y la recta ces o a son P (1, 1) y Q(9, 3). El rea encerrada por estas dos curvas es a
9
A=
0
(f (x) g(x)) dx 96
Ingenier Matemtica a a
donde f (x) = y g(x) = Es decir el rea es a
1
Universidad de Chile
si x 1 x 1 (x 3) si 1 x 9. 2
=
0
[ x ( x)]dx +
1
9 1
1 x (x 3) dx 2
= 2
0
xdx +
1
x 3 ( x + )dx 2 2
9
= = = = =
3/2 1
Otra Forma: No siempre es necesario integrar a lo largo del eje OX. En algunos casos, como este, puede ser conveniente integrar a lo largo del eje OY , de la siguiente forma
ymax
A=
ymin
A =
1
(2y + 3 y 2 )dy y3 ) 3
3 1
= = = =
(y 2 + 3y
1 (9 + 9 9) (1 3 + ) 3 1 1 9 + 2 = 11 3 3 32 3
97
Ingenier Matemtica a a
Universidad de Chile
Ejercicio
Ejercicio 5.1: 1. Probar que el rea de una elipse de semi ejes a y b es ab. a 2. Calcular el rea de un sector circular de radio R y ngulo interno (R. A = a a 3. Concluir que para una circunferencia, A = R2 .
R2 2 ).
5.2.
Volumenes de Solidos
Volumen
Consideremos un slido en el espacio. Nos interesa calcular el Volumen V de dicho slido. o o Para esto se traza un eje en el espacio, en una direccin conveniente, de modo que para cada o posicin x en dicho eje, se conozca el valor del rea de la seccin perpendicular del slido a dicho eje. o a o o Denotemos por OX a este eje y por A(x) al rea de la seccin perpendicular al eje 0X del slido. a o o Supongamos que el slido se encuentra comprendido entre los planos x = a y x = b. o b Probaremos que si la funcin A(x) es integrable en [a, b], entonces el volumen del slido es a A(x)dx. o o En efecto, sea P = {x0 , . . . , xn } una particin arbitraria de [a, b]. Aceptemos que el concepto de o volumen satisface las condiciones siguientes (anlogas a las del rea). a a (i) A B V (A) V (B) (ii) V (A B) = 0 V (A B) = V (A) + V (B) (iii) Si A es un cilindro recto de base B y altura h, entonces V (A) = B h En la ultima propiedad entendemos por cilindro a todo conjunto en el espacio cuya base es un conjunto plano (no necesariamente un c rculo). Incluso es posible agregar conjuntos donde la seccin o transversal a una direccin dada es constante. o Sean Ci la parte del slido entre xi1 y xi , C i el cilindro de base mi (A) y altura (xi xi1 ), y por o ultimo, C i el cilindro de base Mi (A) y altura (xi xi1 ). Con esto, claramente: C i Ci C i y por lo tanto, V (C i ) V (Ci ) V (C i ), luego: mi (A)(xi xi1 ) V (Ci ) Mi (A)(xi xi1 ). Sumando esta desigualdad desde i = 1 hasta i = n se obtiene que s(A, P ) V (C) S(A, P ), luego, si la funcin A(x) es acotada se tendr que o a
b a b
A V (C) 98
A,
a
Ingenier Matemtica a a
de donde, si adems A(x) es una funcin integrable, resulta natural denir: a o
b
Universidad de Chile
V (C)
V (C) =
a
A(x)dx
Ejemplo 5.3. Calcular el Volumen de un elipsoide de ecuacin o x2 y2 z2 + 2 + 2 1. a2 b c Aqu conviene usar como eje apropiado al propio eje OX. De este modo, dado un punto x0 , la interseccin del elipsoide con el plano x = x0 son los pares ordenados (y, z) 2 que satisfacen o
x2 y2 z2 0 + 2 + 2 1. a2 b c Esta ecuacin posee solucin no vac slo si |x0 | a, es decir, el slido se encuentra comprendido o o a o o entre los planos x = a y x = a. En el caso en que x0 (a, a) se puede escribir y2 z2 x0 + 2 1 ( )2 2 b c a z2 + 2 1. c 1 ( x0 )2 a , es decir,
y2 b 1 ( x0 )2 a
2
Esto indica que la regin transversal es una elipse de semi ejes b 1 ( x0 )2 y c 1 ( x0 )2 por o a a lo tanto su rea transversal vale a 2 x0 A(x0 ) = bc(1 2 ). a Claramente para x0 = a la seccin transversal es slo un punto, cuya rea es nula. Luego la o o a frmula anterior es valida para todo |x0 | a. Con esto el clculo del volumen del elipsoide se o a obtiene integrando del modo siguiente
a
= = = = = bc a2
a
A(x)dx
a a
(a2 x2 )dx
a 0
99
Ingenier Matemtica a a
Universidad de Chile
5.3.
Un slido de revolucin es la gura geomtrica que se obtiene por la rotacin de un rea plana en o o e o a torno a un eje jo. Dos casos particulares se destacan y corresponden a los siguientes: 1. Rotacin de la regin: R = {(x, y) 2 ; a x b; 0 y f (x)} en torno al eje 0X. Este o o caso corresponde a un caso particular de los slidos donde se conoce el rea transversal a una o a direccin dada. En efecto las secciones transversales al eje de rotacin son c o o rculos de radio f (x). Por esta razn, su volumen se calcula como o
b b
V =
a
A(x)dx =
a
(f (x))2 dx.
2. Rotacin de la misma regin en torno al eje OY (bajo el supuesto que 0 < a < b). En este o o caso no es dif probar que el volumen de dicho slido se puede calcular mediante la integral cil o
b
V = 2
a
xf (x)dx
Ejemplo 5.4. Calcular el volumen del slido generado por la rotacin en torno al eje OY de la regin limitada o o o por las curvas y = (x 2)2 , y = 0 y x = 5. Solucin 1: Mtodo de la cscara o e a Como se trata de una regin obtenida por rotacin en torno a eje OY , podemos usar la frmula o o o
b
V = 2
a
xf (x)dx
V = 2
2
(x 2)2 xdx
Para el clculo una posibilidad es desarrollar el cuadrado e integrar. Otra, la usada aqu es a , hacer un cambio de variable de modo que el cuadrado quede sobre un monomio y no un binomio (esta tcnica se adapta bien cuando el exponente sobre el binomio es grande). Es decir pongamos e u = x 2 con lo cual du = dx y la integral queda
3
= = = = =
2
0 3
2
0
Ingenier Matemtica a a
Universidad de Chile
Solucin 2: Mtodo del disco o e Intercambiando los roles de x e y, este slido se puede interpretar como una rotacin en torno al o o eje de integracin de una regin comprendida entre dos funciones. De este modo la frmula o o o
b b
V =
a
A(x)dx =
a
(f (x))2 dx
V =
0
A(y)dy =
0
(52 f 2 (y))dy
donde f (y) = 2 +
= = = =
(25 (4 + 4 y + y))dy
9
Notemos primeramente que ambos resultados coinciden (como tiene que ser). Los nombres usados de la cscara y el disco provienen de la interpretacin geomtrica de las dos a o e integrales calculadas. Recordando que
b a
f (x)dx
f (i )xi x
cada vez que se integre una funcin f se puede buscar la interpretacin de f (i )xi y as tal vez o o x recordar mejor las numerosas frmulas de integracin que hemos ido obteniendo. En el primer o o caso
5
V = 2
2
(x 2)2 xdx
la expresin 2xf (x)x se puede interpretar como el volumen de una peque a cscara de base o n a un anillo de radio x y espesor x, es decir rea basal 2xx y altura f (x). a En el segundo caso donde la integral era
9
V =
0
(52 f 2 (y))dy
la expresin (52 f 2 (y))y se puede interpretar como el volumen de un disco perforado de o espesor y cuya base esta comprendida entre los c rculos de radio f (y) y 5. Por esta razn el o a rea basal es 52 f 2 (y) es decir el rea del circulo externo menos el rea del circulo interno. a a
101
Ingenier Matemtica a a
Universidad de Chile
Ejercicio
Ejercicio 5.2: Calcular el volumen de un toro de revolucin, es decir el slido obtenido por la o o rotacin del c o rculo de radio r centrado en (R, 0) (donde R > r) en torno al eje OY .
102
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 9
Ejercicios
1. (a) Probar que el rea de una elipse de semi ejes a y b es ab. a (b) Calcular el rea de un sector circular de radio R y ngulo interno . a a R2 Respuesta: A = 2 . (c) Concluir que para una circunferencia, A = R2 . 2. Calcular el volumen de un toro de revolucin, es decir el slido obtenido por la rotacin del c o o o rculo de radio r centrado en (R, 0) (donde R > r) en torno al eje OY . 3. Hallar el rea de la regin encerrada entre las parbolas y = a o a
x2 3
e y = 4 2 x2 . 3
4. Determine el rea del manto del slido engendrado al rotar, en torno al eje OY , el trozo de la a o 2 curva y = x , comprendido entre 0 y 1. 2 5. Hallar el volumen del cuerpo formado por la rotacin en torno de la recta y = 1, de la regin o o acotada por y = 4 x2 e y = 3.
Problemas
P1. Considere la curva cuyos puntos (x, y) satisfacen (1 + x2 )y 2 = x2 (1 x2 ). (a) Calcule el rea de la regin encerrada por esta curva. a o (b) Calcule el volumen de revolucin generado por la rotacin de esta curva en torno al eje o o OX. P2. Sea f (x) = x 1 x2 . Si R = (x, y)
2 | 0 x 1,
0 y f (x) .
(a) Encuentre el rea de la regin R. a o (b) Encuentre el volumen del slido de revolucin que se obtiene al rotar la regin R en torno o o o al eje OX. x2 + y 2 = 1, 2 encuentre el rea del manto generado al rotar esta elipse en torno al eje OX entre x = 1 y a x = 1. P4. Sean f, g : [1, 1] las funciones dadas por f (x) = 1 x2 y g(x) = 3 1 x2 . P3. Dada la elipse de ecuacin o
(a) Calcular el rea encerrada entre ambas curvas y las rectas x = 1 y x = 1. a (b) Determinar el volumen del slido generado por la rotacin de la regin encerrada por el o o o eje OX y la curva h(x) = m n{f (x), g(x)}, en torno a OX. P5. (a) La parbola f (x) = 6x2 + 5x + 1 corta el eje Y en P0 (0, 1). Considere sobre la parbola a a el punto P (a, f (a)), a 0. Demuestre que el rea comprendida entre la parbola y el a a segmento P0 P es igual a A = a3 . (b) Dadas las curvas y = mx y y = x2 , considere la regin limitada por ambas curvas y o encuentre el valor de m > 0, para que los vol menes de los slidos obtenidos al rotar la u o regin denida en torno al eje OX y al eje OY , sean iguales. o
103
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
5.4.
Sea y = f (x) la ecuacin de una curva en el plano OXY , donde x [a, b]. Nos interesa obtener una o expresin para el largo de esta curva. o Para calcular este largo, consideremos una particin Q = {x0 . . . , xn } del intervalo [a, b]. En cada ino tervalo [xi1 , xi ] se aproxima la curva por el segmento recto que une los puntos Pi1 = (xi1 , f (xi1 )) y Pi = (xi , f (xi )). A falta de una denicin del concepto de longitud de una curva cualquiera, diremos que el largo o buscado es el l mite del largo del pol gono as construido cuando la norma de la particin tiende a o cero. Es decir
n
Lb (f ) = l m a
|Q|0
Pi1 Pi .
i=1
Llamemos Li al largo del trazo Pi1 Pi . Es claro que: Li = (xi xi1 )2 + (f (xi ) f (xi1 )2
Si suponemos que f es diferenciable, entonces: f (xi ) f (xi1 ) = f (i )(xi xi1 ) Por lo tanto: Li = con lo cual el largo buscado ser a
n
1 + f 2 (i )(xi xi1 )
Lb (f ) = l m a
|Q|0
i=1
En consecuencia, diremos que esta ultima frmula dene el concepto de longitud de curva cuando f o es una funcin continuamente diferenciable en un intervalo [a, b]. Incluso usaremos esta frmula en o o el caso de funciones continuamente diferenciables por pedazos.
5.5.
Sea y = f (x) la ecuacin de una curva en el plano OXY , donde f es continuamente diferenciable o en [a, b]. Nos interesa obtener una expresin para calcular el rea del manto del slido generado por o a o la rotacin de la regin bajo la curva y = f (x), en torno al eje 0X. o o Sea Q = {x0 , . . . , xn } una particin del intervalo [a, b]. En cada intervalo [xi1 , xi ], la rotacin del o o trazo recto que une los puntos Pi1 = (xi1 , f (xi1 )) y Pi = (xi , f (xi )) genera el manto de un tronco de cono cuya rea es a Ai = 2f (i )Li x 104
Ingenier Matemtica a a
Universidad de Chile
donde xi es alg n punto de [xi1 , xi ]. Al igual que en el caso de la longitud de curva, diremos que el u a rea del manto buscada es igual al l mite cuando la norma de la particin tiende a cero de la suma o de estas reas cnicas. Es decir a o
n
Ab (f ) a
= = =
|Q|0
l m
Ai
i=1 n
|Q|0
l m
2f (i )(L)i x
i=1 n
|Q|0
l m
2f (i ) 1 + f 2 (i )xi . x
i=1
El l mite de la ultima suma no es el clsico limite de una suma de Riemann del tipo a f (i )xi ya que en nuestro caso hay dos funciones evaluadas en puntos distintos. Por este motivo conviene separar la suma en dos, usando el viejo ni quita ni pone del modo siguiente.
n
Ab (f ) = a
|Q|0
l m
2f (i ) 1 + f 2 (i )xi
i=1 n
+ l m
|Q|0
i=1
2 (f (i ) f (i )) x
1 + f 2 (i )xi .
Claramente la primera suma es del tipo Suma de Riemann y por lo tanto converge a
b
2
a
f (x)
1 + [f (x)]2 dx,
la segunda suma se puede acotar superiormente en mdulo, usando el teorema del valor medio, por o |Q|2 y por lo tanto converge a cero. Con esto entonces tenemos que Ab (f ) = 2 a
b
sup f (x)
x[a,b]
sup
x[a,b]
1 + f 2 (x) (b a)
Ab (f ) a
5.6.
Coordenadas Polares
Denicin 5.1. Dado los reales r y , se determina el punto P del plano de coordenadas (x, y) o mediante las frmulas o x = y = rcos rsen .
coordenadas polares
105
Ingenier Matemtica a a
Universidad de Chile
Observacin: Un mismo punto P tiene ms de un par de coordenadas polares, por ejemplo: o a r = 1, = 0 P (x = 1, y = 0) Pero tambin e r = 1, = P (x = 1, y = 0). Una forma de resolver este problema es restringir el rango de valores aceptados para r y . Por ejemplo r 0 y [0, 2). Pero incluso as el problema queda en r = 0 donde puede ser cualquiera. Se podr poner r > 0 pero el origen no tendr coordenada polar, etc, etc. En a a ingenier conviene dejar esta ambig edad de indeterminacin a las coordenadas polares ya que a u o t picamente se buscan puntos del plano para coordenadas polares dadas. Si el problema fuera el rec proco, muchas veces se pueden dar o bien todas las coordenadas polares de un punto, o bien alguna de ellas. Una aplicacin interesante de las coordenadas polares es estudiar conjuntos del plano denidos o mediante alguna relacin entre las variables r y . Muchas de estas relaciones denen curvas o o regiones del plano con geometr particulares. Veamos algunas de las curvas mas clsicas: as a 1. La relacin r = cte dene una circunferencia con centro en 0 o 2. La relacin = cte dene una recta que pasa por el origen de pendiente tg . o 3. r = a(1 + sen ) con peque o dene una curva cercana a una circunferencia de radio a. n En efecto cuando = 0 la distancia del punto P = (rcos , rsen ) al origen es a. Cuando var de 0 a /2 dicha distancia aumenta hasta a + . De ah la distancia decrece hasta a a (si var de /2 a 3/2) y posteriormente crece hasta a en = 2. Este comportamiento se a repite peridicamente si . La curva as obtenida se conoce con el nombre de cardioide. o Es interesante notar que el grco de la cardioide se puede realizar aunque no sea peque o. a n Por ejemplo si = a en la direccin denida por = 3/2 se obtiene r = 0 y por lo tanto la o cardioide pasa por el origen. Si adems > a existen valores de r negativos. a
Ejercicio
5.6.1.
una funcin integrable. Usando esta funcin se dene la curva en coordenadas o o Sea f : [a, b] polares cuya ecuacin es r = f (). o Supongamos adems que la funcin f es no negativa y que b a 2. Con estos supuestos se desea a o encontrar el rea de la regin R denida por a o R = {(rcos , rsen ); [a, b], r [0, f ()]}.
106
Ingenier Matemtica a a
Sea P = {0 , 1 , . . . , n } una particin del intervalo [a, b]. Sean o Ri Ri Ri Es claro que:
n
Universidad de Chile
= {(rcos , rsen ); [i1 , i ], r [0, f ()]} = {(rcos , rsen ); [i1 , i ], r [0, mi (f )]}
R=
i=1
Ri
y que,
Ri Ri Ri luego:
1 pero como Ri y Ri son sectores circulares, sus reas valen 1 m2 (f )i y 2 Mi2 (f )i respectivamente a 2 i y por lo tanto 1 2 1 m (f )i rea(Ri ) Mi2 (f )i a 2 i 2 Sumando desde i = 1 hasta i = n se obtiene que
1 1 s(f 2 , P ) rea(R) S(f 2 , P ) a 2 2 Si f es integrable, entonces tambin lo es f 2 y entonces se obtiene necesariamente que: e A(R) = 1 2
b
f 2 ()d.
a
5.7.
5.7.1.
Considrese un plano ideal, sin peso, en el cual se encuentran localizadas n part e culas puntuales Pi de masas mi , i = 1, . . . , n. Si este plano se apoya sobre un eje recto horizontal, nos interesa estudiar la tendencia del plano a rotar en torno a dicho eje accionado por el peso de las part culas. Considerando un sistema ortogonal de ejes OXY en el plano, y la recta paralela al eje OY de ecuacin L : x = x0 , la tendencia a rotar del plano en torno de L se mide matemticamente por el o a Momento Esttico que produce el peso de las part a culas en torno de L, que, para una part cula aislada, resulta ser igual al producto del peso por la distancia al eje de rotacin. Es decir, el momento o esttico de la part a cula i con respecto a la recta L es: ML (xi ) = (xi x0 ) mi g. Para el sistema de n part culas, el momento esttico total es igual a la suma de los ML (xi ), o sea: a
n
Momento Esttico a
ML
ML =
i=1
(xi x0 )mi g.
107
Ingenier Matemtica a a
Universidad de Chile
El sistema de part culas estar en equilibrio cuando su momento esttico total sea nulo, es decir, a a cuando:
n i=1
(xi x0 )mi g = 0.
De esta ecuacin se despeja fcilmente la posicin de la recta en torno a la cual no hay tendencia a o a o la rotacin. Su ecuacin ser o o a mi xi . x0 = mi Anlogamente si se considera ahora la tendencia del plano a rotar en torno a un eje paralelo a 0X, a se llega a la expresin: o mi y i y0 = . mi El punto de coordenadas (x0 , y0 ) se llama centro de gravedad del sistema. Tericamente, el plano o queda en equilibrio sustentado de ese punto unicamente. Las ecuaciones anteriores se pueden escribir tambin as e : (Coordenada del C.G) x (Masa Total)=Momento Estatico. 5.7.2. Momento Estatico y Centro de Gravedad de un Area Plana
centro de gravedad
El concepto de momento y de centro de gravedad se extiende fcilmente al caso en que la masa total a del sistema se encuentra uniformemente distribuida sobre una regin plana. Para esto debe tenerse o presente que: 1. Si una regin plana tiene un eje de simetr su centro de gravedad debe estar sobre l. Es el o a, e caso, por ejemplo, de un cuadrado, un rectngulo, de un circulo, etc. a 2. La masa de cualquier regin de rea A es A, donde es la densidad y la suponemos contante.o a Sea R la regin encerrada bajo el grco de una funcin no negativa e integrable. Es decir o a o R = (x, y)
Calculemos los momentos estticos MOX y MOY con respecto a los ejes OX y OY respectivamente. a Para ello consideremos una particin P = {x0 , . . . , xn } del intervalo [a, b] con |P | 0. o En cada intervalo [xi1 , xi ], se tiene una regin Casi Rectangular de ancho xi y altura f (i ) con o i [xi1 , xi ] cuyo centro de gravedad es el punto XG,i YG,i Luego: M0X M0Y En consecuencia 108 f (i ) 2 = f (i )xI (xi + xi /2) = f (i )xI = xi + xi /2 = f (i )/2
Ingenier Matemtica a a
Universidad de Chile
= =
b a b
f 2 (x)dx
xf (x)dx.
a
m = A(R) Para el clculo de las coordenadas del centro de gravedad (XG , YG ) usamos las reglas a MOX MOY de donde se deduce que
b
= =
YG m XG m xf (x)dx
XG
a b
f (x)dx
a b
f 2 (x)/2dx
b
YG
. f (x)dx
Ejemplo 5.5. Determinar el centro de gravedad del rea encerrada bajo la funcin sen(x) entre 0 y /2. a o Solucin. o Podemos escribir que
/2
(i) A =
0
(ii) M0X =
0 /2
sin2 x 1 dx = 2 4
/2 0
(1 cos 2x)dx =
/2 0
sin 2x 1 ( ) 4 2 2
/2
/2
=
0
(iii) M0Y =
0
=1
109
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 10
Ejercicios
1. Grcar el cardioide de ecuacin r = 1 + 2 sen . a o 2. (a) Calcule la longitud total de la curva y = 2 (x 2 ) 1 (x 2 ) entre x = 1 y x = 4. 3 2 3. (a) Calcule la longitud de la curva = a(1 sen()). ebt e
a(t1)b
3 1
(b) Calcule el rea de la regin comprendida entre la curva dada en la parte anterior y = a. a o 0t1 . 1t2
5. Dada la curva ( x ) 3 + ( y ) 3 = 1, calcular su longitud de arco en el primer cuadrante. a b 6. Determinar el centro de masa de la regin encerrada entre las curvas x2 +y 2 = a2 y x+ y = a. o Suponga densidad constante.
Problemas
P1. Sea f : [0, [ x2 + 2x f (x).
(a) Determinar f . (b) Calcular el rea bajo la curva y = f (x) y su longitud entre x = 0 y x = 1. a P2. Considere la espiral de ecuacin paramtrica x(t) = e2t cos(t), y(t) = e2t sen(t). o e (a) Encuentre el largo L, de la curva obtenida al variar el parmetro t, desde 0 hasta 2. a (b) Encuentre t0 tal que, la longitud de la curva obtenida al variar el parmetro t, desde 0 a a t0 sea igual a la mitad del largo L, obtenido en la parte anterior. P3. Considere la curva C denida por x2/3 + y 2/3 = a2/3 , a > 0. Demuestre que la longitud de arco de la curva C en el primer cuadrante esta dada por: S = a1/3
0 a
dx . x1/3
y2 P4. Probar que el largo de la elipse de ecuacin x2 + o = 1 es igual al largo de la sinusoide 2 y = sen x, entre 0 y 2.
110
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Basado en el apunte del ramo Ma temticas Aplicadas, de Felipe Alvarez, a Juan Diego Dvila, Roberto Cominetti y a Hctor Ram C. e rez
6.
6.1.
Curvas en el espacio
Coordenadas ortogonales
Las coordenadas cartesianas no siempre son las ms cmodas para describir curvas (trayectorias), a o supercies, vol menes y otros objetos geomtricos. En diversas ocasiones el problema en estudio u e posee ciertas simetr que no se ven reejadas al utilizar estas coordenadas. As se hace evidente el as , estudiar formalmente un sistema de coordenadas arbitrario, al cual nos referiremos por sistema de coordenadas curvilneas. En general, un sistema de coordenadas curvil neas es una transformacin invertible r : D 3 o 3 , de modo que a todo triplete (u, v, w) D le corresponde un unico punto en el espacio
r(u, v, w) = (x(u, v, w), y(u, v, w), z(u, v, w)). Veamos ahora algunos sistemas de coordenadas clsicos. a 6.1.1. Coordenadas cilndricas
Para este sistema de coordenadas la posicin de un punto P en el espacio queda determinada por o tres variables, , y z, como muestra la siguiente gura:
+P
[0, +[ [0, 2[ z
Entonces, la relacin entre las coordenadas cil o ndricas y cartesianas viene dada por r(, , z) = (x(, , z), y(, , z), z(, , z)) = ( cos , sen , z). Rec procamente, a un punto descrito por lo valores x, y e z, en coordenadas cartesianas, le corresponden los siguientes valores en coordenadas cil ndricas = x2 + y 2 , = arctan y , x z = z.
111
Ingenier Matemtica a a
6.1.2. Coordenadas esfericas
Universidad de Chile
Un tipo de geometr que aparece con frecuencia en las aplicaciones es la geometr esfrica. Para a a e el sistema de coordenadas ligado a esta geometr la posicin de un punto P est determinada por a, o a un radio r y dos ngulos y , como se muestra en la gura. a
z
+P
As tenemos para un punto descrito usando los valores r, y la siguiente representacin , o r(r, , ) = (r sen cos , r sen sen , r cos ). Rec procamente, para un punto dado en coordenadas cartesianas, es decir descrito usando x, y y z, se tiene la relacin o r= x2 + y 2 + z 2 , = arctan x2 + y 2 z , = arctan y . x
6.2.
Curvas
Denotamos por
La nocin de curva es la formalizacin matemtica de la idea intuitiva de la trayectoria de una o o a part cula que se mueve en el espacio. Por esta razn los casos n = 2 y n = 3 juegan un rol principal o en lo que sigue. o Denicin 6.1 (Curva). Diremos que un conjunto n es una curva si existe una funcin o continua r : I = [a, b] n , llamada parametrizacin de la curva, tal que o
Curva parametrizacin o
= {r(t) : t [a, b]}. Adems, diremos que una curva es a 1) Suave: si admite una parametrizacin de clase C 1 . o 2) Regular : si admite una parametrizacin r() de clase C 1 tal que o 112
dr dt (t)
Suave
Regular
Ingenier Matemtica a a
Universidad de Chile
r(t)
3) Simple: si admite una parametrizacin de clase C 1 que sea inyectiva (i.e. no hay puntos m ltio u ples). 4) Cerrada: si admite una parametrizacin r : [a, b] o 5) y que sea inyectiva sobre [a, b).
Simple
n de clase C 1 tal que r(a) = r(b). Cerrada simple: si admite una parametrizacin r : [a, b] n de clase C 1 tal que r(a) = r(b) o
Ejemplo 6.1. Se dene la cicloide como la curva descrita por un punto solidario a una rueda (de radio R) que gira sin resbalar.
R t a p
Su parametrizacin viene dada por o r(t) = (Rt, R) (a sen t, a cos t) = (Rt a sen t, R a cos t), donde a es la distancia del punto al centro de la rueda. Notemos que cuando a < R la trayectoria es simple y regular, mientras que en el caso a > R deja de ser simple aunque sigue siendo regular.
113
Ingenier Matemtica a a
a<R
Universidad de Chile
a=R
a>R
El caso cr tico es a = R, pues para este valor la trayectoria es simple pero no es regular (justique). Es importante observar que la parametrizacin es siempre suave, a pesar de que la curva presenta o puntas; de hecho, es esto ultimo lo que obliga a pasar por esos puntos con velocidad nula.
Ejemplo 6.2. La funcin r(t) = (a cos t, b sen t), t [0, /2] parametriza el cuarto de elipse que se ve a contio nuacin o
a Esta curva se puede parametrizar tambin mediante r1 (x) = (x, b e 1 (x/a)2 ), x [0, a].
114
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 6.3. ht La funcin r(t) = (a cos t, a sen t, 2 ), t [0, 4] parametriza una hlice, que realiza 2 vueltas o e llegando a una altura 2h, como se ve en la prxima gura. o
h r
Podemos pensar que la hlice es una trayectoria que sigue el contorno de un cilindro dado (en e este caso de radio a y altura 2h). Insistamos que una curva es un conjunto, que no debe confundirse con la parametrizacin que o la dene. De hecho, una curva admite muchas parametrizaciones tal como vimos en el ejemplo 6.2. Intuitivamente, esto se explica porque una misma curva puede recorrerse de diferentes maneras y con distintas velocidades. 6.2.1. Reparametrizacion de curvas regulares
Denicin 6.2 (Parametrizaciones equivalentes). Dos parametrizaciones r1 : [a, b] n o y r2 : [c, d] n de una misma curva se dicen equivalentes si existe una funcin biyectiva o : [a, b] [c, d] de clase C 1 tal que r1 (t) = r2 ((t)) para todo t [a, b]. En este caso, la funcin o se llamar reparametrizacin. a o
Una funcin continua y biyectiva denida en un intervalo ser necesariamente creciente o decreo a ciente. En el primer caso diremos que la reparametrizacin preserva la orientacin pues dos parameo o trizaciones tales que r1 = r2 recorren la curva en el mismo sentido. En el segundo caso, esto es, cuando la reparametrizacin es decreciente, entonces diremos que la orientacin se invierte. De esta o o forma, dos parametrizaciones equivalentes o bien preservan la orientacin o bien la invierten, pero o no puede darse un caso intermedio. La denicin anterior conlleva naturalmente a preguntarnos lo siguiente: o (1) Son todas las parametrizaciones de una misma curva necesariamente equivalentes? (2) En caso armativo, existe alguna parametrizacin ms natural que las otras? o a La respuesta a (1) es en general no, como lo muestra la siguiente curva y las dos parametrizaciones que se indican a continuacin y cuyas orientaciones no son comparables respecto a la orientacin o o (no podemos decir ni que se preserva ni que se invierte). 115
Ingenier Matemtica a a
Universidad de Chile
r2
r1
Figura 2: Parametrizaciones no equivalentes para la misma curva Sin embargo, se tiene el siguiente resultado que admitiremos sin demostracin. o Proposicin 6.1. Sea una curva simple y regular. Si no es cerrada, entonces todas sus parao metrizaciones regulares son inyectivas y equivalentes. Cuando es una curva cerrada, se tiene que todas sus parametrizaciones inyectivas en el interior de su dominio son equivalentes. En esta situacin, una parametrizacin regular r separa en dos al conjunto de parametrizaciones o o regulares: Las que tienen la misma orientacin que r (que llamaremos orientacin positiva), y o o Las que tienen la orientacin opuesta (que se llamara orientacin negativa). o o Evidentemente las nociones de orientacin positiva y negativa quedan determinadas por la parao metrizacin inicial que sirve de referencia. Existe sin embargo una convencin en el caso de curvas o o planas cerradas y simples, esta es el escoger la orientacin positiva como aquella obtenida al recorrer o la curva en sentido antihorario (i.e. contrario a las manecillas del reloj), tal como se ilustra en la siguiente gura.
orientacin positiva o orientacin negativa o
6.2.2.
Sea una curva simple y regular. Sea r : [a, b] n una parametrizacin regular de . Con el n o de denir la longitud de procedemos a aproximarla por una poligonal a travs de los puntos e r(t0 ), r(t1 ), . . . , r(tN ) donde a = t0 < t1 < . . . < tN = b es una malla de puntos. 116
Ingenier Matemtica a a
Universidad de Chile
L()
8 i=1
r(t1 )
r(t8) r(t7 )
r(ti ) r(ti1 )
r(t0)
Intuitivamente, cuando el paso de la particin ({ti }) = mx0iN 1 (ti+1 ti ) tiende a cero, la o a longitud de la poligonal converge hacia el largo de la curva . En efecto, se cumple el siguiente resultado: Proposicin 6.2. La suma o
N 1 i=0 b
Este resultado nos permite introducir la siguiente denicin: o Denicin 6.3 (Longitud de curva). Sea una curva simple y regular. Sea r : [a, b] o parametrizacin regular de . Denimos la longitud de mediante o
b
n una
(6.1)
Longitud de curva
L() :=
a
dr dt dt
El valor de esta integral no depende de la parametrizacin regular r que se escoja para describir , o y por lo tanto el largo de est bien denido. a Sea una curva simple y regular, y r : [a, b] longitud de arco s : [a, b] [0, L()] como s(t) :=
a
dr ( ) d dt
(6.2)
De acuerdo a lo anterior, s(t) es la longitud del camino recorrido sobre por la parametrizacin o hasta el instante t, tal como lo ilustra la gura.
r(t)
s(t)
r(a)
Claramente, s() resulta ser una funcin de clase C 1 con o dr ds (t) = (t) > 0 dt dt
117
Ingenier Matemtica a a
Universidad de Chile
En consecuencia, s() es una funcin estrictamente creciente, con lo cual resulta ser una biyeccin, y o o su inversa es tambin de clase C 1 (por el teorema de la funcin inversa) y estrictamente creciente. De e o esta forma podemos considerar la reparametrizacin dada por esta funcin inversa, la cual denotamos o o por t : [0, L()] [a, b], y considerar la parametrizacin equivalente que resulta de tomar como o parmetro la longitud de arco, vale decir a (s) = r(t(s)), s [0, L()] Por el teorema de la funcin inversa, notemos que o dt (s) = ds 1
dr dt (t(s))
> 0.
En consecuencia, la reparametrizacin no solo preserva la orientacin, sino que adems recorre a o o a rapidez constante e igual a 1: d = 1. ds Es posible vericar que cualquier otra parametrizacin regular conduce a la misma parametrizacin o o en longitud de arco, salvo orientacin por supuesto, por lo cual sta puede ser considerada como una o e parametrizacin cannica de la curva. La llamaremos parametrizacin natural o en longitud de arco o o o Ejemplo 6.4. Encuentre la parametrizacin natural de la cicloide r(t) = R(t sen t, 1 cos t), t [0, 2] o Respuesta: (s) = 2R arc cos 1 s s 1 4R 4R 1 1 s 4R
2
,1 1
s 4R
s [0, 8R].
Ejercicio
Ejercicio 6.1: Encontrar la parametrizacin en longitud de arco para la hlice r(t) = o e ht (a cos t, a sen t, 2 ), t [0, 4]. Respuesta: (s) = a cos 2s 2 a2 + h 2 4 , a sin 2s 2 a2 + h 2 4 hs , 2 a2 + h 2 4 s [0, 2 4 2 a2 + h2 ].
118
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 11
Ejercicios
1. Encuentre una parametrizacin para la frontera del cuadrado [1, 1] [1, 1] recorrida en el o sentido de las manecillas del reloj. 2. Para las siguientes parametrizaciones, bosqueje la curva correspondiente. (a) x(t) = (r cos(t), r sen(t)), t [0, 2].
(b) x(t) = (r cos(t), r sen(t)), t [0, 2]. (c) x(t) = (r cos(t), r sen(t)), t [0, 4]. 3. Determinar la parametrizacin de una curva plana tal que el producto de las distancias a dos o focos en la abscisa es constante (esta curva se denomina Lemniscata). 4. Para la curva denida por y = x3 , z =
6 2 2 x ,
ht 5. Encontrar la parametrizacin en longitud de arco para la hlice r(t) = a cos t, a sen t, 2 , t o e [0, 4].
Problemas
P1. Considere la curva plana descrita por la siguiente ecuacin en coordenadas polares o = a(1 cos()), a > 0, [0, 2].
(a) Encuentre una parametrizacin para . Grque esta parametrizacin detalladamente y o a o encuentre sus posibles irregularidades. (b) Calcule el largo de . P2. Una part cula se mueve describiendo una trayectoria sobre el manto del cono x2 + y 2 = z 2 , de forma tal que su altura z y el ngulo en coordenadas cil a ndricas cumplen la relacin z = e , o con [0, [. (a) Encuentre una parametrizacin de . Dibuje la curva. o (b) Calcule el largo de . (c) Encuentre la parametrizacin natural de . o P3. Sea la curva parametrizada por r : [0, ] muestre que r(t) es regular salvo en t = . 2 2 con r(t) = (sin(t), ln(tan(t/2)). Calcule r(t) y
P4. Dados a, b, c > 0 tales que c2 = a2 + b2 , sea la curva parametrizada por r : [0, 2c] s s s r(s) = (a cos( ), a sin( ), b( )) c c c Muestre que s es la longitud de arco sobre .
3 con
119
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Basado en el apunte del ramo Ma temticas Aplicadas, de Felipe Alvarez, a Juan Diego Dvila, Roberto Cominetti y a Hctor Ram C. e rez
6.2.3.
Denicin 6.4 (Velocidad, rapidez y vector tangente). Consideremos r : [a, b] n una o parametrizacin regular de una curva simple . Denimos el vector velocidad, la rapidez y el vector o tangente, respectivamente, mediante v(t) = dr (t), dt v(t) = dr ds (t) = (t), dt dt T (t) = v(t) dr dr = (t)/ (t) , v(t) dt dt (6.3)
v(t)
T(t)
r(t)
o debido a que d (s) = 1. Esto nos permite interpretar la parametrizacin natural como aquella que ds se obtiene al recorrer la curva con velocidad constante unitaria, y adems nos indica que el vector a tangente slo depende del punto en el cual es calculado y no de la parametrizacin regular r asociada a o o la curva, salvo por la orientacin. En efecto, si r1 ( ) = r(( )) con una reparametrizacin, entonces o o dr1 dr d dr d dr1 ( )/ ( ) = (( )) ( )/ (( )) | ( )| = signo d d dt d dt d d d T (( )).
Enfaticemos que lo anterior nos permite calcular el vector tangente a en el punto P de dos maneras distintas: (1) T (t) =
dr dr dt (t)/ dt (t)
(2) Calcular la parametrizacin en longitud de arco (s) y calcular o T (s) = d ds con s tal que (s) = P .
Ingenier Matemtica a a
6.2.4. Curvatura y vector normal
Universidad de Chile
En primera aproximacin, la trayectoria de una part o cula que se mueve siguiendo la parametrizacin o r(t), se aproxima a una recta cuya direccin viene dada (localmente) por el vector tangente T (t). o Cuando estudiamos las variaciones de la velocidad, esto es la aceleracin de la part o cula, vemos que esta se produce ya sea por el cambio en la magnitud de la velocidad, o bien cambios en la direccin o de la velocidad. As por ejemplo, en movimiento rectil neo (T (t) es constante) la unica aceleracin o 2 s posible proviene de la variacin de la rapidez y est dada por d 2 T (t). o a dt Por el contrario, en un movimiento a lo largo de una circunferencia de radio R a velocidad angular constante , la rapidez es constante e igual a R. Sin embargo, por efecto del cambio en la direccin o 2 de la velocidad aparece una aceleracin centr o peta de magnitud y que apunta hacia el centro de R la circunferencia. En lo que sigue veremos que en un movimiento general r(t), la aceleracin puede descomponerse en o estos dos tipos de aceleraciones: una componente tangencial y una componente de tipo centr peta. Para ello identicaremos la circunferencia que mejor aproxima (instantneamente) la trayectoria. a Supondremos que todas las parametrizaciones son al menos dos veces diferenciables.
R R
Figura 3: vector tangente y curvatura. Intuitivamente, la curvatura aparece por efecto de la variacin del vector tangente, respecto de la o longitud de arco. Mientras ms rpida sea esta variacin, ms cerrada ser la curva y menor el radio a a o a a de la misma. Denicin 6.5 (Curvatura). Denimos la curvatura de la curva mediante o (s) := dT (s) ds (6.5)
radio de curvatura, R(s) Curvatura (s)
Cuando (s) > 0 denimos el radio de curvatura y el vector normal, respectivamente como R(s) := 1 , (s) N (s) := dT (s) ds dT (s) ds
2
(6.6)
Notemos que N (s) T (s). En efecto, esto se obtiene de derivar la identidad T (s) = 1, de modo tal que d dT 2 0= T (s) = 2T (s) (s). ds ds Debido a lo engorroso que puede llegar a ser el clculo expl a cito de la parametrizacin en longitud de o arco, vale la pena tener expresiones para la curvatura, radio de curvatura y vector normal que sean 121
Ingenier Matemtica a a
Universidad de Chile
calculables directamente a partir de una parametrizacin regular cualquiera r(t). Eso es relativamente o fcil utilizando la regla de la cadena pues se tiene a dT dT dt dT = = ds dt ds dt En consecuencia dT ds (t) (t) dt dt 1 R(t) = (t) dT dT N (t) = dt dt (t) = 6.2.5. Vector binormal y torsion (6.7) (6.8) (6.9) ds . dt
En esta seccin restringiremos nuestro estudio a n = 3. o Denicin 6.6 (Vector binormal). Denimos el vector binormal B mediante o B = T N, donde la operacin denota el producto cruz entre dos vectores de o
Vector binormal, B
3 .
B
N B T
Figura 4: vectores tangente, normal y binormal. Hemos visto que los vectores T y N son ortogonales entre s pero pueden variar a medida que nos , movemos por la curva. En consecuencia el vector B variara tambin en general. e Notemos que dT dN dN dN dB = N +T = N N + T =T , ds ds ds ds ds obteniendo as que dB es ortogonal a T . De otra parte, sabemos que ds B dB 1 d = ds 2 ds B
2
= 0,
dB ds
e lo cual implica que dB es tambin ortogonal a B, concluyendo nalmente que ds N . Esto nos permite hacer la siguiente denicin. o
es proporcional a
Torsin, (s) o
Denicin 6.7 (Torsin). Denimos la torsin asociada a la curva como la siguiente magnitud o o o (s) = N (s) 122 dB (s). ds
Ingenier Matemtica a a
Universidad de Chile
La torsin se puede interpretar como la tasa a la cual el vector binormal persigue al vector normal. o Notemos que no es necesario trabajar con la parametrizacin en longitud de arco ya que se tiene: o (t) = N (t) Ejemplo 6.5. Consideremos la hlice r(t) = a(t) + e ds dB (t)/ (t) . dt dt (6.10)
ht 2 k
donde (t) = (cos t, sen t, 0), (t) = ( sen t, cos t, 0) y k = (0, 0, 1) denotan los vectores unitarios d de las coordenadas cilndricas. Notemos que dt (t) = (t) y d (t) = (t). Se tiene que dt h T (t) = (a(t) + k)/ 2 h (t))/ B(t) = (ak 2 (t) = (h/2)/(a2 + ( h 2 ) , 2 h a2 + ( )2 , 2 a2 + ( N (t) = (t), dB (t) = dt 2 h
h a2 + ( 2 )2
(t),
h 2 ) ), 2
k(t) = a/(a2 + (
h 2 ) ). 2
123
Ingenier Matemtica a a
6.2.6. Formulas de Frenet
Universidad de Chile
Frmulas de Frenet o
Considerando las deniciones dadas en esta seccin, las siguientes relaciones se satisfacen: o (I) (II) (III)
dT ds dN ds dB ds
= N , = T + B, = N ,
donde todas las funciones implicadas estn evaluadas en s, el camino recorrido. a Las relaciones (I) y (III) son consecuencias directas de las deniciones establecidas. Probemos la relacin (II): dado que N = B T se obtiene o dB dT dN = T +B = N T + B (kN ) = B T. ds ds ds Notemos que en la segunda igualdad se utilizaron las relaciones (I) y (III). Veamos ciertas aplicaciones de las frmulas de Frenet. o Proposicin 6.3. Las siguientes propiedades son ciertas: o 1. Una curva con curvatura nula es una recta. 2. Una curva sin torsin es una curva plana. o Demostracion. 1) Si = 0, de la frmula de Frenet (I) se tiene que o constante para todo s. De esta manera se concluye que
s dT ds
r(s) = r(0) +
0
T0 ds = r(0) + sT0 .
2) Si = 0, de la frmula de Frenet (III) se tiene que dB = 0, es decir, que B(s) = B0 constante o ds para todo s. Entonces dr d (B0 r) = B0 = B T = 0, ds ds y luego B r es siempre constante (e igual a B0 r(0)), esto quiere decir que la curva pertenece al plano ortogonal a B0 y que pasa por r(0), el cual esta dado por B0 (r(s) r(0)) = 0.
6.2.7.
Denicin 6.8 (Integral de una funcin sobre una curva). Sea una curva simple y regular o o en n , y sea f : n una funcin continua denida en . Denimos la integral de f sobre o la curva mediante: b dr f (r(t)) f d := (t) dt, (6.11) dt a
f d
donde r : [a, b]
Ingenier Matemtica a a
Universidad de Chile
Es fcil vericar que el valor de la integral denida en (6.11) no depende de la parametrizacin a o regular elegida. Una aplicacin de la integral sobre curvas es el clculo de la masa de un alambre parametrizado o a por r : [a, b] 3 . En efecto, si suponemos que la densidad lineal de masa [gr/cm] de este alambre est dada por la funcin cont a o nua (x, y, z), que depende de la posicin dentro del alambre, entonces o la masa total del alambre puede aproximarse por
N 1 i=0
(6.12)
Usando los mismos argumentos para denir la longitud de arco, podemos mostrar que cuando el paso de la malla ({ti }) tiende a cero, la suma anterior tiende a la integral de l nea d. Ejemplo 6.6. La densidad de masa de un alambre helicoidal parametrizado por r(t) = (cos t, sen t, t), t [0, 2], viene dada por (x, y, z) = x2 + y 2 + z 2 . Luego, la masa total del alambre ser a
2
M=
0
= 2
(1 + t2 )dt =
8 2 2 + 3 . 3
zG =
1 M
z d,
donde M es la masa total de la curva. Ejemplo 6.7. El centro de masa de la hlice del ejemplo 6.6 est dado por e a xG = 1 M
2 0 2 0 2 0
cos t (1 + t2 ) 2 dt = sen t (1 + t2 ) 2 dt = t (1 + t2 ) 2 dt =
1 (2 + 8 3 ) 3 1 (2 + 8 3 ) 3
2 0 2 0
t2 cos t dt = t2 sen t dt =
6 , (3 + 4 2 ) 6 , (3 + 4 2 )
1 yG = M zG = 1 M
3(1 + 2 2 ) 1 2 4 8 3 (2 + 4 ) = (3 + 4 2 ) . (2 + 3 )
125
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 12
Ejercicios
1. Sea r(t) = (Reat cos(t), Reat sen(t), t), con t [0, 4]. Determinar la parametrizacin en lono gitud de arco, la curvatura y el vector binormal en cada punto de la curva. 2. Calcule el largo de la lenteja, formada por las ecuaciones y = x2 y x = y 2 , en el primer cuadrante. 3. Calcular la masa del alambre que sigue la interseccin de la esfera x2 + y 2 + z 2 = 1 con el plano o x + y + z = 0 y cuya densidad de masa est dada por (x, y, z) = x2 . a
Problemas
P1. Dada una funcin continua y no nula g : [0, l0 ] o longitud l0 tal que su curvatura est dada por |g|. a
s
g( )d , x(s) =
0
cos ( )d , y(s) =
0
sen ( )d y estudie
P2. Sea el grafo de una funcin diferenciable f : [a, b] . Determine una frmula para la o o longitud de . Suponiendo que f es dos veces diferenciable, pruebe que la curvatura en el punto (x.f (x)) viene dada por |f (x)| . k(x) = |1 + f (x)2 |3/2 P3. Sea : [0, l0 ] 3 la parametrizacin en longitud de arco de una curva . Supondremos que o C 3 . Pruebe que:
1 (b) Use lo anterior para calcular la torsin de la hlice r(s) = 2 (cos(t), sen(t), t), con t o e [0, 4]. Note que para aplicar la frmula anterior, debe usar la parametrizacin en longitud o o de arco.
P4. Considere la curva que se forma al intersectar las supercies x2 + y 2 = 4 x2 + z 2 = 4 + y 2 , tomando en cuenta slo la parte de la curva con z > 0. o (a) Encuentre una parametrizacin de . o Indicacin: Use coordenadas cil o ndricas. (b) Calcule el centro de masa suponiendo densidad lineal de masa dada por (x, y, z) = xy. Puede usar argumentos de simetr a. P5. Encuentre la masa total del alambre parametrizado por r(t) = (6t2 , 4 2t3 , 3t4 ), con t [0, 1] en los siguientes casos:
126
Ingenier Matemtica a a
(a) La densidad en el punto que corresponde a t es t2 .
Universidad de Chile
(b) La densidad en un punto a una distancia s del origen a lo largo de la curva es s + 1. (c) La densidad en un punto es igual a su distancia al origen, medida en P6. Considere la parametrizacin r : [0, 2] o r([0, 2]) recibe el nombre de astroide.
3 .
(a) Calcule el vector tangente , normal y binormal, la curvatura y la torsin a la curva en los o puntos donde tenga sentido. Justique brevemente en cules puntos estas nociones estn a a bien denidas. (b) Calcule la parametrizacin en longitud de arco y el largo total de la curva. o
127
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Basado en el apunte del curso Clculo a (2da semestre), de Roberto Cominetti, Mart Matamala y Jorge San Mart n n.
7.
7.1.
Integrales Impropias
Introduccion
En la denicin de la integral de Riemann se impusieron dos condiciones fundamentales que son: o 1. Se dene en el intervalo cerrado y acotado [a, b], a < b 2. Se dene para funciones acotadas en [a, b] El propsito de esta seccin, es extender la nocin de integral al caso de intervalo no acotados, y o o o al caso de funciones no acotadas sobre un intervalo acotado. Estas dos extensiones dan origen a las llamadas integrales impropias de primera y segunda especie respectivamente. Partamos por la denicin del primer tipo de stas: o e Denicin 7.1 (Integral Impropia de Primera Especie (Intervalo no Acotado)). Sea f : o [a, +) diremos que f es integrable en [a, +) si se cumple que:
(i) x (a, +), f es integrable en [a, x] y adems a (ii) Existe el lmite denido por
x+ x
l m
f
a
+ R a
Notacin: Si una funcin es integrable en el intervalo:[a, ) entonces al valor del l o o mite se le llama integral impropia de primera especie de f y se le denota
+ x
f = l m
a
f.
a
Observaciones
x
1. Si el l mite l m
dice que la integral impropia es divergente. 2. De una manera anloga se denen las integrales de 1 especie siguiente a
b b
i) ii)
f = l m
c
f
x c
f =
f+
f donde la constante c
denicin es importante que las dos integrables de la derecha existan o que sean cono vergente. Si alguna de estas integrales no converge entonces la integral de la izquierda tampoco . 128
Ingenier Matemtica a a
Ejemplo 7.1. Dado a > 0, estudiar la convergencia de la integral Claramente f (x) =
1 x
Universidad de Chile
dx = l m x x
x a
x dt = l [ln ( )] = . m x t a
Ejemplo 7.2. Dado a > 0 y = 1, estudiar la convergencia de la integral Nuevamente basta con estudiar el l mite:
+ a a x a x
dx . x
dx x
= =
l m
1 x (1 ) l m
1 1 dt = l m x (1 ) t1 t 1 x1 1 a1 =
1 1 (1) a1
si > 1 si < 1
Por lo tanto esta integral impropia es convergente cuando > 1 y divergente si < 1. Juntando estos dos ejemplos podemos resumir diciendo que
+ a
dx x
Converge Diverge
si > 1 si 1
Integral Impropia de Segunda Especie
Denicin 7.2 (Integral Impropia de Segunda Especie (Funciones no Acotadas)). Sea f : o [a, b) una funcin no acotada, diremos que f es integrable en [a, b) ssi: o
(ii) El lmite l m
xb
f existe.
a
Observaciones
x
1) Cuando el l mite l m
xb
l m
f=
a a
f.
3) La primera condicin de integrabilidad de este tipo de funciones exige, entre otras cosas, que o la funcin f debe ser acotada en todo intervalo (a, x), es decir, este tipo de funciones se o caracterizan por tener una as ntota vertical en x = b. 4) En forma anloga se denen las integrales impropias siguiente: a 129
Ingenier Matemtica a a
b b
Universidad de Chile
(i)
a+
f = l m
b c
xa+
f
x b
(ii)
a+
f=
a+
f+
c
f,
c (a, b)
En esta ultima denicin la integral entre a+ y b converge ssi las dos integrales de la derecha o convergen por separado. Ejemplo 7.3. Estudiar la convergencia de la integral impropia Caso = 1. En este caso se tiene:
b a
b dx a (bx)
dx bx
= =
0 0
dx b = l ln (b x)|a m b x 0+ a l + {ln (b a) ln } = . m l + m
Por lo tanto, en este caso la integral impropia es divergente. Caso = 1. En este caso los clculos son a
b a
dx (b x)
= =
0+
l m
1 l + m 0 ( 1)
a 1 1 (1) (ba)1
si < 1 si > 1
dx (b x)
Converge Diverge
si < 1 si 1
Integrales Impropias de Tercera Especie
Denicin 7.3 (Integrales Impropias de Tercera Especie o Mixtas). Son las que se obtieo nen combinando integrales impropias de 1 y 2 especie. Por ejemplo
+ 1
dx = x2
0 1
dx + x2
1 0+
dx + x2
+ 1
dx . x2
Este tipo de integral ser convergente ssi cada una de sus componentes es una integral convergente. a
7.2.
Nos dedicaremos primeramente a establecer algunos criterios de convergencia para integrales impropias de funciones no negativas. Observacin: o 1. Si F es una funcin creciente en [a, +), entonces, cuando x +, F (x) L o F (x) +. 130
o bien
Ingenier Matemtica a a
Universidad de Chile
o bien
Lo anterior surge del hecho de que F puede ser acotada, o no, en los intervalos considerados.
Teorema 7.1 (Criterio de Comparacin). Sean f y g funciones continuas en [a, +) tales o que: (b a)(x b) 0 f (x) g(x) entonces:
+ +
Criterio de Comparacin o
Si
a
g converge entonces
+ a a
f converge .
+
Recprocamente si
f diverge
g diverge
a
Demostracion. Como las funciones f y g son continuas, entonces son integrables en [a, x] para
x b x
f=
a
f+
b b
f converge ssi
x
g converge ssi
b
g converge.
Luego, para demostrar el teorema basta con estudiar las integrales impropias en [b, +).
x
Sean:F (x) =
b
f y G(x) =
b
g. Entonces, como se sabe que (t [b, x]) se tiene 0 f (t) g(t) F (x) G(x), x [b, +).
Como adems las funciones F y G son crecientes, el resultado del teorema se obtiene directamente a + de la observacin 7.2. En efecto, si b g converge entonces G(x) es acotada, y entonces tambin o e + F (x) lo es con lo cual existe l m F (x) o sea, la integral impropia b f es convergente.
x+ b
tiene la misma demostracin. Se propone como ejercicio, enunciar dicho teorema y demostrarlo. o
|sen x| dx. x2 0
+
integral
1
131
Ingenier Matemtica a a
Universidad de Chile
Criterio del cuociente
Teorema 7.2 (Criterio del cuociente de funciones). Sean f y g funciones continuas en [a, +) y no negativas en [b, +), donde b a y tales que: f (x) =L=0 x+ g(x) l m
+ +
f y
a
Observacin: el mismo criterio se ocupa para las integrales de segunda especie. o Muchas veces se usa el teorema anterior para estudiar la convergencia de una integral impropia, comparndola con las integrales de la forma a
1
1 dx x
o bien
1 dx (b x) a cuyos comportamientos son ya bien conocidos en funcin de . Cuando esta comparacin es posible, o o el comportamiento de la integral impropia en estudio se puede resumir en las siguientes reglas:
+
1.
a b
2.
b
3.
a b
4.
a+
7.3.
Convergencia absoluta
Revisaremos ahora la nocin de convergencia absoluta de integrales impropias. Trataremos slo el o o caso de integrales de primera especie, sin embargo puede extenderse a los dems tipos de integrales a impropias. Es un buen ejercicio para el lector llevar a cabo con detalle esta extensin. o Denicin 7.4 (Convergencia absoluta). Sea f : [a, +) o lutamente convergente si
a
, diremos que
f es absoa
Convergencia absoluta
|f | converge.
+
f . Sin
132
Ingenier Matemtica a a
Teorema 7.3. Sea f : [a, +)
+ a
, se tiene que
Universidad de Chile
+
f converge absolutamente
f converge.
a
0 f + |f | 2|f |.
|f | converge entonces
f + |f | converge.
f=
a a
(f + |f |)
|f |.
Haciendo x + y gracias a que ambos l mites a la derecha existen, se concluye el resultado. Observacin: La rec o proca del Teorema anterior no es necesariamente cierto.
+ a +
f converge
1
f converge absolutamente.
a
sin x x ,
entonces
|f (x)|dx.
133
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 13
Ejercicios
1. Estudiar la convergencia de las siguientes integrales: (a)
0 0
(b) (c)
0
x2 . 1 + x2 + x4 1 . (x 1)2 x5 . 12 + 1 x
(e)
0
0 1
x2 ex . sen(x) . x2
(i)
0
2
x . sen(x) 1 . 1 sen2 x
(f ) (g)
0
(j)
0
x csc(x). ln(1 x) x
3 2
(k)
0
xx . 1 . x lnp (x)
(d)
ex ln(1 + ex ).
(h)
0
(l)
1 a2 +x2
2. Calcular, si existe, el rea comprendida entre la curva y = a 3. Determinar para cuales valores de n
2
la integral In =
1 0
xn x3 (1x)
ln(cos(x)) =
1 2
1 ln( 2 sen(2x)).
Problemas
2
dx , x(ln x)2
2 1
1 1 2 x(ln x) (x 1)2
1
dx divergen. (x 1)2
1 y x
1 senh(x)
P2. Sea f :
1 x
para x = 0 y f (0) = k.
f ,
1
f ,
0
f y
f.
(a) Estudiarla completamente indicando dominio,ceros, l mites importantes, as ntotas, continuidad, crecimiento, concavidades, grco y recorrido. a
134
Ingenier Matemtica a a
Universidad de Chile
(b) Determinar si el rea de las siguientes regiones es o no nita. En caso armativo dar su a valor. R1 = {(x, y)/x < 0 f (x) y 1} R2 = {(x, y)/0 < x 1 f (x) y 1} R3 = {(x, y)/x 1 f (x) y 1} Indicacin: Ni e x ni o tiene.
1
ex x
1 ex + 4ex
x sen(x)
(c) Analice la convergencia de las reas de las supercies engendradas al rotar la funcin a o | ln(x)| : ]0, 1] en torno al eje OX y en torno al eje OY.
135
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Basado en el apunte del curso Clculo a (2do semestre), de Roberto Cominetti, Mart Matamala y Jorge San Mart n n.
8.
8.1.
Series numericas
Denicion y ejemplos basicos
En esta parte estudiaremos la nocin intuitiva de sumas innitas que llamaremos series. A modo o que ejemplo supongamos que queremos saber cuanto vale la suma o serie S de todos los n meros en u el conjunto A = 21 : k , es decir deseamos darle sentido a la expresin o k
S=
xA
Abordamos el problema numerando los elementos de A mediante la sucesin ak = 21 y calculando o k la suma parcial de los primeros trminos en ste orden. Esta suma parcial ser una aproximacin de e e a o S que esperar amos converja a ste cuando hacemos que el n mero de trminos tienda a innito. e u e En este caso la suma parcial queda dada por sn = 1 + 1 1 1 + + + n = 2 4 2
n
k=0
1 2k
1
1
2n+1 Esta es una suma geomtrica de razn 2 que se calcula por sn = 1 1 de modo que la sucesin e o 1 o 2 (sn ) de las sumas parciales posee l mite que vale 2. Es l cito preguntarse si este valor no depender de la manera como se ordenaron los elementos de A. a Veremos ms adelante que el orden de los trminos es relevante, pues el valor asociado a un cierto a e orden podr ser diferente a aquel correspondiente a otro, inclusive podr no existir. Adems, este a a a proceso slo tiene sentido si A es numerable o nito. o
Denicin 8.1 (Serie). Una serie es un par ordenado (A, (an )) donde A es un subconjunto de o numerable y (an )n0 es una numeracin (ordenamiento) del conjunto A. o La sucesin (an ) se llama el trmino general de la serie. A partir de (an ) denimos la sucesin (sn ) o e o de las sumas parciales por sn = n ak . El valor de la serie existe cuando la sucesin (sn ) posee o k=0 lmite. En tal caso decimos que la serie es convergente y su valor es el lmite de (sn ). Por razones de comodidad permitiremos que (an ) no est denido para algunos ns. Si k0 es el menor a entero a partir del cual an esta denida, el valor de la serie se denotar por a
k=k0
Serie
ak ,
kk0
ak o simplemente
ak
sn =
k=0
qk =
1 q n+1 1q
136
Ingenier Matemtica a a
Cuando 0 |q| < 1 la sucesin (sn ) converge a o qk =
k0 1 1q .
Universidad de Chile
En este caso
1 1q
Adems, para q 1 la sucesin (sn ) n razn por la cual diverge a innito. En esta a o o situacin diremos que la serie diverge y lo denotaremos por k0 ak = +. o 2. Consideremos la serie
n 1 k(k+1) .
k=1
1 = k (k + 1)
k=1
1 1 k k+1
=1
1 n+1
8.2.
Veamos primero la siguiente denicin para sucesiones. o Denicin 8.2 (Sucesin de Cauchy). Una sucesin (xn ) de nmeros reales se dice de Cauchy o o o u si > 0, N , n, m N, |xn xm | < .
Se tiene que esta es de hecho una caracterizacin de la convergencia de sucesiones. o Teorema 8.1. Una sucesin es convergente si y slo si es de Cauchy. o o Demostracion. La demostracin de este Teorema se entrega por completitud en el apndice de la o e semana. Cuando aplicamos este teorema a las sumas parciales (sn ) de una serie se obtiene el siguiente criterio. Teorema 8.1 (Criterio de Cauchy). Sea (an ) una sucesin y (sn ) la sucesin de sus sumas o o parciales. La serie ak converge si y slo si o > 0, N
Criterio de Cauchy
, n, m N, m > n
ak <
k=n+1
(8.1)
Demostracion. Por denicin la serie converge si la sucesin de sus sumas parciales (sn ) lo hace. o o m Estas ultimas convergen si y slo si satisfacen el criterio de Cauchy. Como o k=n+1 ak = |sm sn |, la condicin 8.1 es exactamente la condicin de Cauchy para la sucesin (sn ). o o o El criterio de Cauchy es la unica caracterizacin conocida de convergencia que es vlida para todas o a las series, de modo que su aplicacin ser forzosa cuando fallen los mtodos que desarrollaremos ms o a e a adelante para casos espec cos.
137
Ingenier Matemtica a a
Universidad de Chile
Ejemplo 8.2. 1 Vamos a utilizar el criterio anterior para demostrar que la serie o k , conocida como serie armnica no converge. Veamos que la diferencia de las sumas parciales s2N y sN es siempre mayor que 1 2 . En efecto,
2N
s2N sN =
k=N +1
1 (2N (N + 1) + 1) 1 = k 2N 2
1 2
Entonces, la serie no satisface el Criterio de Cauchy pues existe = existen n = N y m = 2N tales que
2N 1 k=N +1 k
1 2.
El siguiente teorema nos da una manera de descubrir algunas series divergentes conociendo el comportamiento asinttico de (an ). La demostracin de ste se obtiene directamente del criterio de o o e Cauchy al escoger n0 = N , n N y m = n + 1. Teorema 8.2. Si la serie ak converge entonces la sucesin (an ) 0. o
Otra forma de probar este hecho es que, si la serie converge entonces las sucesiones (sn+1 ) y (sn ) convergen y lo hacen al mismo l mite. Como sn+1 = sn + an+1 se concluye que (an ) 0. Ejemplo 8.3. 1. La serie 2. La serie
k k+1
n n+1
no converge a cero.
n
(1) diverge pues la sucesin ((1)) diverge. o q k diverge debido a que la sucesin (q n ) diverge. o
3. Para q 1 la serie
ak converja.
Ejemplo 8.4. 1 1 Consideremos la sucesin an = ln 1 + n . Claramente la sucesin ln 1 + n 0 sin embargo o o n 1 la sucesin de las sumas parciales diverge a ms innito. En efecto, sn = o a k=1 ln 1 + k = n a k=1 ln (k + 1) ln (k) = ln (n + 1) que sabemos diverge a ms innito. Observe que el ejemplo es vlido para logaritmos en cualquier base a > 1. a
8.3.
Algebra de series
Dado que el valor de las series se ha denido como un l mite de sucesiones, es claro que el lgebra a de l mites tiene su contrapartida en un lgebra de series. a
138
Ingenier Matemtica a a
Teorema 8.3. Sean 1. ak y bk dos series convergentes. Entonces ak ) + ( bk ). ak ).
Universidad de Chile
2. Para todo
Demostracion. Como kk0 (ak + bk ) = k=k0 ak + k=k0 bk y posible aplicar lgebra de sucesiones y concluir las propiedades. a
n k=k0
(ak ) =
n k=k0
ak es
8.4.
Las series de trminos no negativos son ms manejables que las series en general pues sus sumas e a parciales son no decrecientes: sn+1 = sn + an+1 sn , de modo que convergen si y slo si las sumas o parciales estn acotadas superiormente. a
Teorema 8.4. Una serie de trminos no negativos converge si y slo si las sumas parciales son e o acotadas superiormente.
Demostracion. Es una consecuencia directa del Teorema de las sucesiones montonas aplicado a o las sucesiones de las sumas parciales las cuales son no decreciente. Otra propiedad interesante de las series de trminos no-negativos convergentes es que independiene temente de la numeracin elegida, el valor de la serie es el mismo. o
Teorema 8.5. Sea ak una serie de trminos no-negativos y convergente. Sea (bk ) una numerae cin del conjunto A = {ak : k }. Entonces o bk es convergente y b k = ak .
La demostracin es un tanto tcnica y se relega al apndice. o e e En lo que sigue presentamos algunos criterios para determinar cuando una serie de trminos no e negativos es convergente.
139
Ingenier Matemtica a a
8.4.1. Mayoracion de series
Universidad de Chile
Teorema 8.6. Sean (an ) y (bn ) dos sucesiones no negativas de modo que existen n0 y > 0 tales que, para todo n n0 , an bn . Se tiene que si bk < + entonces ak < +. Demostracion. La suma parcial (sn ) de
n
Mayoracin de series o
ak =
kk0
ak +
k=n0
ak
ak +
k=n0
bk =
n0 1 kk0
(ak bk ) +
bk
kk0
El segundo trmino del lado derecho es acotado superiormente pues la serie bk converge. Entonces, e la suma parcial (sn ) es acotada superiormente lo que equivale a decir que la serie ak converge.
ak diverge lo mismo le
Ejemplo 8.6. 1 Usaremos la observacin anterior para demostrar que la serie o k con 1 diverge. Tenemos 1 1 1 que para todo n 1, n1 n . Como k diverge concluimos que k diverge para 1. 8.4.2. Comparacion por cuociente
Teorema 8.7. Sean (an ) y (bn ) dos sucesiones tales que, para todo n 0, 0 < an , bn y supongamos que c := l an existe. Se tienen las siguientes armaciones dependiendo del valor de c. m b n 1. Caso c = 0. Si bk < + entonces ak < +. ak < +.
bk < + si y slo si o
Demostracion. 1. Al ser c = 0 y, an y bn positivos, se tiene que existe n0 tal que para todo n n0 , an bn . Aplicando el criterio de mayoracin obtenemos la conclusin. o o 2. Al igual que el caso anterior, si c > 0 y, an y bn son positivos, se tiene que existe n0 tal que 3 para todo n n0 , 1 cbn an 2 cbn . Entonces es posible aplicar dos veces el criterio de 2 3 mayoracin usando las desigualdades bn 2 an y an 2 cbn y obtener la equivalencia o c
140
Ingenier Matemtica a a
Ejemplo 8.7. 1. Queremos probar que la serie
1 k(k+1) .
Universidad de Chile
1 k2
Tenemos que l m
1 k2 1 k(k+1)
1 k2
con
1 k2
= l m
converge pues ya sabemos que 2. Deseamos ver que la serie diverge. Luego sen
1 k
1 k(k+1) 1 k
converge.
1 sen( n ) 1 n
sen diverge.
1 y que la serie
1 k
8.4.3.
Teorema 8.8. Sea (an ) una sucesin de trminos positivos y supongamos que r := l aan existe. o e m n+1 Dependiendo del valor de r se tienen las siguientes conclusiones. 1. Si r < 1 entonces ak converge. ak diverge.
2. Si r > 1 o r = + entonces
3. Si r = 1 entonces ak puede converger o divergir, es decir, en este caso el criterio no nos ayuda a determinar la convergencia de la serie.
Demostracion. 1. Si r < 1 tenemos que existen n0 y = 1+r con 1 > > 0 tal que para todo 2 a a an n n0 , an1 . Entonces, an an1 nn0 an0 = n n0 . Tomando = n0 > 0 y n0 n0 n n bn = podemos aplicar el criterio de mayoracin pues la serie o es convergente. 2. Si r > 1 podemos proceder de modo anlogo y concluir que existe n0 tal que para todo n n0 , a a an an n con = n0 y tal que an1 > 1. Como la serie n es divergente el n0 contrarrec proco del criterio de mayoracin nos dice que lo mismo ocurre con la serie o ak . El caso r = + se propone como ejercicio. 3. Para ver que este criterio no aporta informacin cuando r = 1 mostremos dos ejemplos de o 1 series donde r = 1 y una de ellas converge mientras que la otra no lo hace. Sea k entonces
1 k+1 1 k
k k+1
1 (k+1)(k+2) 1 k(k+1)
1 k(k+1)
satisface
1 k! converge.
Para ello veamos que r = l aan existe y es menor que uno. m n+1
= l (n+1)! = l n+1 = 0. m n! m 1
141
Ingenier Matemtica a a
a Observacin: El l o mite l aan podr no existir y la serie m n+1 si 1 n par 2n an = 1 n impar 2n1 el l mite l aan no existe sin embargo an m n+1 8.4.4. Criterio de la Raz n-esima
1 2n1
Universidad de Chile
ak ser convergente. Por ejemplo,
por lo cual
ak es convergente.
Teorema 8.9. Sea (an ) una sucesin de trminos no negativos y supongamos que r := l (an ) n existe. o e m Se tienen las siguientes conclusiones. 1. Si r < 1 entonces ak converge. ak diverge.
Criterio de la Ra z
2. Si r > 1 o r = + entonces
3. Si r = 1 entonces ak puede converger o divergir, es decir, en este caso el criterio no nos ayuda a determinar la convergencia de la serie. Demostracion.
1 n
1+r 2 ,
n n0 , (an ) . Entonces, an . Tomando = 1 y bn = podemos aplicar el criterio de mayoracin pues la serie o n es convergente. 2. La segunda alternativa se propone como ejercicio. 3. Sabemos que
1 k(k+1) 1 n
1 n 1 n
converge.
1 y que
1 n(n+1)
1 k
no converge y la serie
2k . kk
Observacin: Es posible probar como un ejercicio de sucesiones que si l aan existe entonces o m n+1 e z l (an ) n tambin existe y ambos tienen el mismo valor. En otras palabras, el criterio de la ra m es ms poderoso que el criterio del cuociente ya que hay casos en los cuales el ultimo de ellos a existe sin que el primero exista. Por ejemplo, an = Por otra parte, la serie considerar
1 2n 1 2n1
1
n par n impar
1
n par n impar
142
Ingenier Matemtica a a
Se tiene que (bn ) n = que no converge, sin embargo bn 8.4.5.
1 2n
1
Universidad de Chile
1 2 1 3
n1
f (n) < +
f (x) dx < +.
Demostracion. La integral impropia es el l mite de la sucesin sn = 1 f (x) dx que a su vez es o n la suma parcial de la serie de trmino general an = n1 f (x) dx. Como la funcin es no negativa y e o decreciente se tiene que f (n) an f (n 1), lo que muestra la equivalencia. Ejemplo 8.10. 1 o Probemos que la serie k , > 1 converge. La funcin y es estrictamente decreciente. La integral impropia
1
1 x , 1
1 1 = x ( 1) x1
1 k
converge.
8.5.
Criterios Generales
Presentamos ahora un criterio que mejora el criterio de la ra en el sentido que permitir analizar z, a una mayor cantidad de series. Para una sucesin (un ) acotada y no negativa, denamos la sucesin (vn ) por vn = sup {uk : k n}, o o entonces (vn ) es una sucesin decreciente, pues cuando n crece, el supremo es calculado sobre un o conjunto de ndices menor (en el sentido de la inclusin), y es acotada inferiormente. En consecuencia, o l vn siempre existe. A este l m mite se le llama el lmite superior de (un ) y se denota l sup un . Como m ejercicio demuestre que si la sucesin converge entonces l sup un = l un . o m m Utilizando esta nocin tenemos el siguiente criterio. o
1
Teorema 8.11. Sea (an ) una sucesin de trminos no negativos y un = (an ) n . Sea r := l sup un . m o e 1. Si r < 1 entonces ak converge. ak diverge.
Ingenier Matemtica a a
Universidad de Chile
Demostracion. Slo demostraremos 1), quedando como ejercicio la demostracin de las propiedao o des restantes. Si r < 1 entonces slo un n mero nito de trminos de un son mayores que 1+r . Luego existe n0 tal o u e 2 n ak converge. que si n n0 entonces un 1+r . Por lo tanto, an 1+r con lo que 2 2 Ejemplo 8.11. Sea (bn ) denido antes por bn =
1 2n 1 3n
n par n impar
1 1
Entonces, los criterios anteriores fallan por que no existe ni l bn+1 , ni l (bn ) n . Sin embargo m bn m sup (bk ) k : k n converge.
1
1 2.
1 2
bk
9.
Series generales
Convergencia absoluta
Denicin 9.1 (Convergencia absoluta). Sea ak una serie con (ak ) una sucesin cualquiera. o o Decimos que la serie es absolutamente convergente si |ak | < +. Las series de trminos positivos y convergentes son obviamente absolutamente convergentes, pero e no todas las series convergentes son absolutamente convergentes. La siguiente es una caracterizacin o de las series absolutamente convergentes
Teorema 9.1. Toda serie absolutamente convergente es convergente. Adems, una serie es absolua tamente convergente si y slo si las series de sus trminos negativos y la de sus trminos positivos o e e son convergentes.
Demostracion. La serie ak es absolutamente convergente cuando que debe satisfacer el criterio de Cauchy, es decir, > 0, N
m
, n, m N, m > n
m
m n+1
|ak | =
n+1
|ak | <
ak satisface el criterio de Cauchy y por Siempre se tiene que n+1 |ak |. Entonces, n+1 ak ende es convergente. Para probar la segunda parte denamos dk = mx {ak , 0} y ck = m {ak , 0}, es decir, dk vale ak a n para ak > 0 y cero en otro caso, y ck vale -ak para ak < 0 y cero en otro caso. Adems, se tiene que a |ak | = dk + ck y que ak = dk ck lo que implica que dk = 1 1 (|ak | + ak ) y ck = (|ak | ak ) 2 2 144
Ingenier Matemtica a a
Universidad de Chile
Cuando la serie ak es absolutamente convergente sabemos que las series |ak | y ak son convergentes entonces por lgebra de series concluimos que las series a dk y ck son convergentes (absolutamente). Rec procamente, si las series dk y ck son convergentes entonces otra vez el a lgebra de series garantiza que la serie |ak | = dk + ck es convergente. Observacin: Sea o ak una serie con (an ) una sucesin cualquiera y supongamos que aplio
camos el criterio del cuociente a (|an |). Si r = l an+1 es menor que 1 podemos decir algo m an acerca de la convergencia de la serie ak ?. Por supuesto, pues estar amos en presencia de una serie absolutamente convergente, en particular la serie ak ser convergente. y s r > 1, a podemos armar algo de ak ?. La respuesta es s en este caso la serie diverge. Para ver esto , hay que recordar que cuando r > 1 se ten que |an | n , con > 1 y > 0. Entonces la a sucesin (an ) no converge a cero de modo que la serie o ak diverge. Como ejercicio verique 1 que si r = l |an | n es mayor que 1 la serie m ak diverge.
9.1.
Criterio de Leibnitz
Condicionalmente convergente
Para mostrar ejemplos de series convergentes que no son absolutamente convergentes (se les llama condicionalmente convergentes) vamos a probar el siguiente teorema.
Teorema 9.2. Sea (an ) una sucesin decreciente y convergente a cero (luego (an ) es no negativa). o n Entonces la serie (1) an es convergente.
Demostracion. Vamos a probar que la suma parcial (sn ) satisface, para todo n s2n1 s2n+1 s2n+2 s2n En efecto, dado que s2n+1 = s2n1 + a2n a2n+1 con a2n a2n+1 , se obtiene que s2n+1 s2n1 . Asimismo, s2n+2 = s2n a2n+1 + a2n+2
,
(9.1)
con a2n+2 a2n+1 luego s2n+2 s2n . Por otra parte, s2n+2 = s2n+1 + a2n+2 s2n+1 . De 9.1 se concluye que (s2n ) es no-creciente y acotada inferiormente mientras que (s2n+1 ) es no-decreciente y acotada superiormente. En consecuencia ambas sucesiones convergen. Para demostrar que (sn ) converge basta vericar que (s2n+1 ) y (s2n ) convergen al mismo l mite, lo cual resulta del hecho que s2n+1 s2n = a2n+1 0. Observar que el valor de la serie s debe estar comprendido entre s2n+1 y s2n+2 que estn a distancia a a2n+2 y entre s2n+3 y s2n+2 que estn a distancia a2n+3 . Entonces para todo n se tiene que |sn s| a an
145
Ingenier Matemtica a a
Ejemplo 9.1. k La serie (1)
Universidad de Chile
1 k
converge pues
1 k es
9.2.
Como se dijo al comienzo del cap tulo, el orden en el que se suman los elementos de las series es importante. Tambin hemos visto que las series de trminos no negativos convergentes son estables e e bajo reordenamiento. En el prximo resultado veremos que esto tambin es cierto para las series o e absolutamente convergentes.
Teorema 9.3. Si la serie ak es absolutamente convergente entonces toda serie bk donde (bk ) es un reordenamiento de (ak ) es absolutamente convergente y su valor es igual a ak .
Demostracion. Siendo ak absolutamente convergente sabemos que las series dk y ck denidas anteriormente, son convergentes. Como las series dk y ck tienen trminos no negativos e sabemos que bajo cualquier reordenamiento suman el mismo valor. Por otra parte la serie ek de los trminos positivos de bk es un reordenamiento de la serie e dk y la serie hk de los trminos negativos de e bk es un reordenamiento de la serie ck , con lo cual se tiene que dk = ek y ck = hk . Concluimos que bk es convergente y que bk = ek + hk . El lado derecho es igual a dk ck = ak . Ejemplo 9.2. 1 Sea A = (1)k k : k \ {0} y la funcin f : dada por o
f (n) =
2n+1 3 4n2 3 4n 3
n = 3m + 1 n = 3m + 2 n = 3m
Entonces f (1) = 1, f (2) = 2, f (3) = 4, f (4) = 3, f (5) = 6, f (6) = 8, f (7) = 5, f (8) = 10, f (9) = 12, etc. Notemos que f es biyectiva con inversa n = 4m 3m f 1 (n) = 3m + 2 n = 4m + 2 3m + 1 n = 2m + 1 En consecuencia, las series (1)
f (k) 1 f (k)
(1)
k 1 k
146
Ingenier Matemtica a a
en un orden distinto. Calculemos la suma parcial (s3m ) de la serie s3m = = = = = 1 + (1)
f (k) 1 f (k) .
Universidad de Chile
1 1 1 1 1 1 1 1 1 1 1 + + + + + + + 2 4 3 6 8 5 10 12 2m 1 4m 2 4m 1 1 1 1 1 1 1 1 1 1 1 + + + + + + + + + + 2 4 3 6 8 5 10 12 2m 1 4m 2 1 1 1 1 1 1 1 1 + + + + + + + 2 4 6 8 10 12 4m 2 4m 1 1 1 1 1 1 1 1 1 + + + + + + + 2 2 3 4 5 6 2m 1 2m 1 2
2m
1 4m
(1)
k=1
1 k
1 Por el criterio de Leibnitz sabemos que n (1)k k converge entonces (s3m ) tambin converge e k=1 k 1 1 a y su l mite debe ser igual a la mitad del valor de la serie (1) k . Adems, s3m+1 = s3m 2m+1 1 y s3m+2 = s3m+1 + 4m+2 lo que implica que (s3m+1 ) y (s3m+2 ) convergen y lo hacen al mismo 1 1 (1) k l mite. Por lo tanto la serie (1) f (k) converge a la mitad del valor de la serie y suma exactamente los mismos trminos!. Esta curiosidad es bastante ms profunda de lo que e a uno se imagina. Esto se ve en el resultado del siguiente teorema cuya demostracin se omite. o f (k) k
Teorema 9.4. Si ak es condicionalmente convergente entonces para cualquier nmero u existe f : biyectiva tal que af (k) =.
9.3.
Multiplicacion de series
La ultima propiedad acerca de las series condicionalmente convergentes es hermosa pero muy molesta al momento de multiplicar series pues el producto de dos series ak y bk , que uno quisiera que fuese ai bj , puede depender del orden en el cual se sumen los productos ai bj . Sin embargo, el prximo teorema asegura que las series absolutamente convergentes pueden multiplicarse y su o resultado es la serie de los trminos ai bj sumados en cualquier orden. e Teorema 9.5. Sean ak y bk dos series absolutamente convergentes entonces ( ak ) ( bk ) es igual a ck donde (ck ) es cualquier sucesin que contiene exactamente una vez cada uno de los o k productos ai bj , por ejemplo ck = l=0 al bkl .
in
jn
i1
j1
Ingenier Matemtica a a
dado > 0 existe n 0 tal que para todo n
in
Universidad de Chile
En esta diferencia estn todos los trminos ai bj con i > n o j > n . Por otra parte, como a e dado > 0 existe n tal que para todo n n , 0 0 An =
in
Bn =
|ai |
jn
i1
j1
in
ai
jn
bj
i1
ai
j1
bj
Sea N = mx {n , n } entonces se tiene que AN + BN < . Adems, existe n0 tal que para a a 0 0 n ck contiene todos los productos ai bj para i, j {1, ..., N }. Sea CN = n n0 , la suma k=1
iN
ai
jn
bj
i1
ai
j1
bj <
ai
jN
n k=1 ck
con i > N o j > N de donde se deduce que | CN | BN < 2 . Entonces, dado > 0 existe n0 tal que para todo n n0 , n n k=1
ck
i1
ai
j1
bj
k=1
<
+ = 2 2
ck CN + CN
i1
ai
j1
bj
148
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 07-2 Universidad de Chile
Basado en el apunte del curso Clculo a (2do semestre), de Roberto Cominetti, Mart Matamala y Jorge San Mart n n.
El objetivo de este apndice es probar el siguiente teorema: e Teorema 8.1. Una sucesin es convergente si y slo si es de Cauchy. o o Haremos la demostracin en dos partes. Primero, probamos que o Proposicin 9.1. Todas las sucesiones convergentes son de Cauchy. o
Demostracion. Si (xn ) es convergente, sabemos que existe tal que para todo > 0, existe N , tal que para todo n N se tiene que |xn | < 2 . Sean n, m N entonces |xn xm | |xn | + |xm | < . Luego (xn ) es de Cauchy. Para probar que toda sucesin de Cauchy es convergente, debemos considerar la siguiente denicin o o previa: Denicin 9.3 (Punto de acumulacin). Sea (xn ) una sucesin y un real. Decimos que es o o o un punto de acumulacin de (xn ) si, para todo > 0 el conjunto o {n A : |xn | < } es innito (no acotado superiormente). Ejemplo 9.3. n La sucesin (1) posee a 1 y 1 como puntos de acumulacin. Dado > 0 el conjuno o n u to {n : |(1) 1| < } es el conjunto de n meros pares que es innito y el conjunto n {n : |(1) + 1| < } es el conjunto de los n meros impares, que tambin es innito. u e
Punto de acumulacin o
149
Ingenier Matemtica a a
Proposicin 9.2. Toda sucesin acotada posee un punto de acumulacin. o o o
Universidad de Chile
Demostracion. Si (xn ) es acotada existen m y M tales que para todo n A se cumple que m xn M. En realidad, lo unico que se necesita para que el teorema sea cierto, es que el conjunto {n A : m xn M } sea innito. Sea u0 = m, v0 = M y w0 = m+M . Si {n A : u0 xn w0 } es innito, denimos u1 = u0 y 2 v1 = w0 . Si no, denimos u1 = w0 y v1 = v0 . Con estas deniciones sabemos que el conjunto {n A : u1 xn v1 } es innito. Adems, se tiene que [u1 , v1 ] [u0 , v0 ]. a Continuando con este proceso podemos denir las sucesiones (uk ), (vk ) y (wk ) satisfaciendo lo siguiente: Para cada k, el conjunto {n A : uk xn vk } es innito. La sucesin (uk ) es creciente, la sucesin o o (vk ) es decreciente y (vk uk ) 0. El Teorema de los Intervalos Encajonados asegura que existe un tal que k0 [uk , vk ] = {}. Vamos a demostrar que es un punto de acumulacin de la sucesin. Para ello sea > 0. El conjunto o o {n A : |xn | < } contiene al conjunto V = {n A : uk xn vk } cuando 21 < . En efecto, k si uk xn vk y |vk uk | < 21 < entonces, |xn | vk uk . Como V es innito obtenemos k la conclusin. o Corolario 9.1. Una sucesin (xn ) acotada y con un unico punto de acumulacin l converge. o o Demostracion. Sea > 0. Por el comentario anterior el complemento del conjunto {n A : |xn l| < } debe ser nito. De no serlo, habr un punto de acumulacin de la sucesin fuera del intervalo a o o (l , l + ) que por ende ser distinto de l. a Proposicin 9.3. Toda sucesin de Cauchy es acotada y posee unico punto de acumulacin. En o o o conclusin toda sucesin de Cauchy es convergente. o o
Demostracion. Siendo (xn ) una sucesin de Cauchy, al tomar = 1 debe existir n0 de modo que o para todo n, m n0 |xn xm | < 1. En particular tomando m = n0 tenemos que para todo n n0 , xn0 1 < xn < xn0 + 1. De modo que la sucesin es acotada y sabemos que posee al menos un punto de acumulacin. o o Supongamos que (xn ) tiene dos puntos de acumulacin y , con = . Sea = || . Entonces, o 3 los conjuntos U = {n A : |xn | < } y V = {n A : |xn | < } son innitos y su interseccin o es vac Adems, si n U y m V se cumple que |xn xm | . Entonces cualquiera sea n0 existen a. a n, m n0 tales que n U , m V y |xn xm | , contradiciendo el hecho que (xn ) sea de Cauchy. Luego, gracias al Corolario 9.1, se concluye que xn es convergente. As combinando este ultimo resultado y la Proposicin 9.1, se deduce el Teorema. , o
150
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 14
Ejercicios
1. Calcule el valor de las siguientes series. (a) (b) (c)
4 (4k3)(4k+1) . 2k+1 . k2 (k+1)2 k+1 k . k+1 k
(c) .
ksen
1 k
. 1+
a k . k
(d) Para a
3. Aplicar el lgebra de series para estudiar la convergencia de las siguientes series. a (a) (b)
5 2k 1 2k
+ +
1 3k
. .
(1)k 5k
(c) (d)
k+1 k2 +1 . k+ln(k) . k3
5. Sea (an ) una sucesin de trminos positivos y tales que o e a2 converge. k 6. Estudiar la convergencia de las series (a) (b) 7. Sea sen ln
1 k2
2
. .
(c) (d)
1 . k(1+ k) 1 k2
(e) (f )
k(k) k
k +1 k2
tg
k2 + k k .
ak 1+ak
151
Ingenier Matemtica a a
(a)
cos(kk ) . k2
Universidad de Chile
(c) (1)k
(k!)2 (2k)! . ak 1+a2 k
(b)
k (1) k1
con > 1.
10. Determinar para que valores de a la serie ak k a es absolutamente convergente. las series |ak | son absolutamente convergentes y k 11. Estudiar la convergencia de las siguientes series. (a) (b)
(1)k . k+ k+1 k 1 (1) sen k
Problemas
P1. (a) Analice la convergencia de la siguiente serie; en caso de ser convergente, calcule su valor
k=1 1 k(k+1)(k+2) . 1 k(k+1)(k+2) 1 2k 1 k+1 1 2(k+2) . ey . 1 yy
(b) Use el Criterio de la Integral para analizar la convergencia de la integral (c) Analice la convergencia absoluta y condicional de la serie P2. (a) (a1) Demuestre que para todo n mero real p, la serie u (a2) Estudie la convergencia de la serie (b) Considere la funcin o f (x) = (b1) Demuestre que la serie
n=0 n=1 k=1 2k+1 (1)k k(k+1) .
1 + 10 n n!
n2
arctan(x), 2
x 0.
(b2) Calcule l m x f (x) y utilice este resultado para demostrar que la serie
x+
an de-
nida en (b2) no converge absolutamente. P3. Estudie la convergencia de las siguientes series: (a) (b) (c)
k=1 k=1 k=1
k k+1
k j=1 (1
k2
arctan
152
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 07-2 Universidad de Chile
Basado en el apunte del curso Clculo a (2do semestre), de Roberto Cominetti, Mart Matamala y Jorge San Mart n n.
10.
Series de potencias
Serie de potencias
Denicin 10.1 (Serie de potencias). Una serie de potencias es una serie en donde el trmino o e general es de la forma ak (x )k . No es dif notar que la convergencia de estas series depende fuertemente del valor de x. Nosotros cil nos concentraremos en el caso de series de potencias centradas en cero, es decir, consideraremos solamente el caso = 0. Ejemplo 10.1. Consideremos la serie de potencias xk . Esta serie corresponde a una serie geomtrica con razn e o x. Sabemos que si |x| < 1 esta serie converge absolutamente y que si |x| 1 diverge. Esto quiere decir que en el intervalo (1, 1) podemos denir la funcin g (x) = o xk . En este caso podemos 1 calcular el valor de la serie de modo que g (x) = 1x para x (1, 1). Al analizar el ejemplo anterior parece natural que si la serie converge para x0 lo haga tambin para e x con |x| |x0 | y rec procamente, que si diverge para x0 tambin lo haga para valores de x con e |x0 | < |x|. La siguiente proposicin nos acerca a la respuesta. o Proposicin 10.1. Si la serie o ak xk converge, se tiene que para cada a (0, |x0 |) y para todo 0 k x [a, a] la serie ak x converge absolutamente. Demostracion. Para x [a, a] y r = |an | an |an | |x0 |
n a x0 n a x0
El trmino |an xn | es acotado (converge a cero) pues ak xk es convergente. Entonces, |an xn | M rn . e 0 0 El lado derecho es una constante por el trmino general de una serie geomtrica con razn r < 1. e e o Usando el criterio de mayoracin concluimos que la serie o ak xk converge para todo x [a, a].
= |an | |x0 | rn .
10.1.
Notar que la Proposicin 10.1 nos dice que si o ak xk para |x| > |x0 |. Denamos R = sup x0 :
Denicin 10.2 (Radio de convergencia). Al valor R lo llamaremos el radio de convergencia o de la serie de potencias ak xk .
153
Ingenier Matemtica a a
Universidad de Chile
La Proposicin 10.1 nos asegura que para todo x (R, R) la serie converge y para todo x o / (R, R) la serie diverge. Si aplicamos el criterio del la ra n-sima a la serie z e ak xk obtenemos 1 r = |x| l |an | n . m 1 1 Entonces, = l |an | n es igual a R cuando R = 0 y vale cero cuando R = +, con lo que tenemos m una manera de calcular R basada solamente en (an ). Denicin 10.3 (Intervalo de convergencia). Llamamos intervalo de convergencia I al cono junto de reales x para los cuales la serie ak xk converge. Tenemos que (R, R) I [R, R]. Ejemplo 10.2. Dependiendo de la serie se puede tener que I = (R, R) , I = (R, R], I = [R, R) o I = [R, R]. Caso. I = (R, R). (1)k xk . Para x (1, 1) podemos aplicar el criterio de Leibnitz y concluir que la serie converge. En x = 1 la serie diverge y lo mismo ocurre para x = 1. Entonces, el radio de convergencia de la serie es R = 1 y su intervalo de convergencia es (1, 1).
1 x k que diverge. Para x = 1 la Caso I = (R, R]. (1) k . Para x = 1 la serie es k+1 1 serie es (1) k que converge. Luego el radio de convergencia es R = 1 y el intervalo de convergencia es (1, 1]. k+1
k
Intervalo de convergencia
xk k .
k
x o x Caso I = [R, R]. k2 . Para x > 1 la serie diverge pues la sucesin n2 diverge a innito. Para x = 1 la serie converge por lo que su radio de convergencia es R = 1. Adems para x = 1 la a k 1 serie (1) k2 converge absolutamente.
10.2.
ak xk = l m
x f (x) =
n k=0
ak xk .
(10.1)
Mostraremos a continuacin que esta funcin es integrable y derivable, y de manera fcil a partir de o o a la serie de potencias original.
154
Ingenier Matemtica a a
Veamos primero el siguiente teorema:
Universidad de Chile
Teorema 10.1. Sea ak xk una serie de potencias con radio de convergencia mayor que cero. Deniendo la funcin f como en (10.1), se tiene que ella es continua en int(Dom f ). o
Demostracion. Como Dom f es un intervalo, entonces probar que f es continua en int(Dom f ) es equivalente a probar que q int(Dom(f )) Sea entonces q int(Dom f )
, +
fn (x) =
k=0
ak xk .
n k=0 k=0
|ak xk | =
k=0
|ak ||x|k
k=0
|ak |q k =
k=0
|ak q k |.
Sean Sn =
k=0
ak q k y S =
|ak q k |. Para n, m
m
|fm (x) fn (x)| = En resumen, hemos probado que x [q, q], n Haciendo m , se deduce que x [q, q], n
k=n+1 m
k=n+1 m
k=n+1
m > n,
|f (x) fn (x)| S Sn .
Usando esto probemos que f es continua en x0 (q, q), es decir > 0, > 0, x (q, q) |x x0 | |f (x) f (x0 )| . Veamos que para cualquier n
|f (x) f (x0 )| = |f (x) fn (x) + fn (x) fn (x0 ) + fn (x0 ) f (x0 )| |f (x) fn (x)| + |fn (x) fn (x0 )| + |fn (x0 ) f (x0 )| |S Sn | + |fn (x) fn (x0 )| + |S Sn | 2|S Sn | + |fn (x) fn (x0 )| 155
Ingenier Matemtica a a
Sea entonces n0
tal que |S Sn |
0
Universidad de Chile
3,
|f (x) f (x0 )|
Ahora, como fn0 (x) es un polinomio de grado n0 , entonces fn0 (x) es continua en x0 , por lo tanto > 0, x
. 3
Con este > 0, se tiene lo buscado, es decir x (q, q), |x x0 | |f (x) f (x0 )| .
Gracias a este teorema, tenemos que la funcin denida por la serie de potencias es integrable en o int(I). Para ver que adems es fcil integrarla, debemos probar el siguiente resultado: a a Proposicin 10.2. Sea o para todo p , la serie ak xk una serie de potencias de radio de convergencia R > 0. Entonces k p ak xk tiene radio de convergencia R.
Demostracion. Sea q (0, R), luego ak q k converge absolutamente. Gracias al Teorema 9.1, la k sucesin (ak q ) est acotada, digamos |ak q k | C. o a Luego para cualquier x (q, q), |k p ak xk | = k p ak q k Consideremos entonces la serie tenemos x xk Ck p k q q
x q k
k p z k , llamando z = k k kp z k = z k
p
z.
Es decir, si |z| < 1 entonces k p z k converge. Por lo tanto, k p ak xk converge absolutamente si x (q, q). Como la serie k p ak xk converge para todo x (0, R), luego si el radio de convergencia de esta serie es R , entonces R R. Aplicando el mismo razonamiento, a la serie de potencias k p k p ak xk = k p ak xk (con ak = p k ak ), obtenemos que R R . De donde se concluye el resultado. Observacin: Gracias a este ultimo resultado, si o ak xk tiene radio de convergencia R > 0, ak xk+1 e entonces k+1 tiene tambin radio de convergencia R > 0. Lo mismo sucede para la serie de potencias k1 kak xk1 .
156
Ingenier Matemtica a a
Universidad de Chile
Probemos entonces que para integrar la funcin denida por una serie de potencias, basta integrar o el trmino general de la serie. e
Teorema 10.2. Sea ak xk una serie de potencias, con radio de convergencia R > 0. Entonces la funcin f denida como en (10.1), es integrable en (R, R) y o
x x
x (R, R),
f (t)dt =
0 0
ak tk )dt =
ak xk+1 . k+1
Demostracion. Gracias al Teorema 10.1, f es integrable. Denimos, para n , como en el Teorema 10.1:
fn (x) =
k=0
ak xk .
Se tiene que
x x
fn (t)dt =
0 0 k=0
ak tk dt =
k=0
ak xk+1 k + 1 n
ak xk+1 . k+1
f (t)dt
fn (t)dt
0 x 0
Luego,
0 x x
|S Sn |dt |x||S Sn | 0.
x
fn (t)dt
f (t)dt
0 x
y
0
ak xk+1 , k+1
f (t)dt =
157
Ingenier Matemtica a a
Universidad de Chile
Adems, gracias a este ultimo teorema, se tiene la misma propiedad para el caso de la derivada. a Teorema 10.3. Sea ak xk una serie de potencias, con radio de convergencia R > 0. Entonces la funcin f denida como en (10.1), es derivable en (R, R) y o x (R, R), f (x) =
k1
kak xk1 .
k1
kak tk1 dt =
0 k1 k1
ak k
xk = k
k1
ak xk = f (x) a0 .
Luego f (x) =
x 0 k1
ak ktk1 dt =
kak xk1 .
k1
Los resultados anteriores nos dicen que el radio de convergencia de una serie y el de la serie derivada son iguales. Ms a n, lo mismo es cierto para la serie derivada por lo que tambin ser cierto para a u e a las derivadas de cualquier orden. Entonces la funcin f (x) que se obtiene de la serie de potencias es o innitamente derivable y todas sus derivadas tienen el mismo radio de convergencia. Adems se tiene que a f (j) (x) = k (k 1) (k j) ak xkj ,
kj
es decir, la serie que se obtiene al derivar trmino a trmino la serie de la funcin f representa la e e o derivada de orden j de f . De aqu que, f (j) (0) = aj j!, y entonces el trmino aj de la serie que e representa a f debe ser
f (j) (0) j! ,
Ejemplo 10.3. 1. Consideremos f (x) = ex . Sabemos que f (j) (0) = e0 = 1 para todo j 0. Entonces la serie candidata es
xk+1 k! 0 (k+1)!xk 0 x0 k+1 xk k=0 k! .
= 0. Esto dice que el radio de convergencia es innito y entonces la serie o converge para todo x . Utilizando las frmulas del residuo para el desarrollo de Taylor xk es posible probar que para todo x , ex = k! . De modo que no es novedoso que la k1 k x x serie derivada k k! sea igual a k! . 2. Busquemos una serie que represente a la funcin f (x) = 1 + x. Se tiene que f (x) = o 1 3 1 1 2 , f (x) = 2 1 (1 + x) 2 y en general 2 (1 + x) 2
Dado cualquier x0
se tiene que
xk 0 k=0 k!
existe pues
j+1
Ingenier Matemtica a a
Luego f (j) (0) = (1)j+1
13(2j1) 2j
Universidad de Chile
13(2j1) . 2j j!
La serie
10.3.
Las series de potencias se pueden sumar y multiplicar y los radios de convergencia de las series resultantes estarn determinados por aquellos de las series originales. a
Teorema 10.4. Dadas dos series de potencias ak xk y bk xk convergentes para x0 . Entonces la k serie (ak + bk ) x converge para todo x ( |x0 | , |x0 |) y se tiene que (ak + bk ) xk = ak xk + k bk xk . Adems, si ck = a aj bkj la serie ck xk converge para todo x ( |x0 | , |x0 |) y se tiene k k k que ck x = ak x bk x .
Ejercicio
xk k!
xk k!
. El coeciente ck =
k 1 1 j! (kj)!
2k k! .
Entonces,
= e2x . Natural.
159
Ingeniera Matematica
FACULTAD DE CIENCIAS FSICAS Y MATEMATICAS I Ingenier Matemtica a a UNIVERSIDAD DE CHILE Calculo Diferencial e Integral 08-2 Universidad de Chile
Gua Semana 15
Ejercicios
1. Para cada una de las siguientes series se pide encontrar el radio y el intervalo de convergencia. (a) (b) (c)
x2k+1 k! x . k2 +3 x k 3k .
k k
xk 1 +
xk k . k
1 k . k
xk (1+sen(k)) . k xk (k+2)(k+1) . 2
b + k2 xk con a > b > 0. k=0 ak k
k
(1) x2k+1 .
x 2k+1 .
k
2. (a) Determine la funcin e intervalo de convergencia asociada a la serie o (b) Pruebe que arctan(x) =
k=0 (1)k 2k+1 2k+1 x
(1)k x2k .
en (1, 1).
3. Demostrar que
0
k=0 k k=0 x ,
Problemas
P1. (a) Para la serie de potencias
k=0
ak bk + 2 (x 1)k k k
0 < b < a,
encuentre: Radio de convergencia e intervalo de convergencia. Estudie adems la convera gencia en los extremos derecho e izquierdo del intervalo. (b) Demuestre que
1
1 = 1 + a 2 t2
k=0
(1)k
a2n . 2n + 1
arctan(a) = a
1 1+x = k=0
k k k=0 (1) x .
(1)k
a2n . 2n + 1
k=1 1 k kx .
P2. (a) Determine el intervalo de convergencia para la serie de potencias los extremos del intervalo. (b) Encuentre los valores de x (c) Sea f : C
No olvide analizar
k=1
x k 1 k ( 1x )
converge.
x k 1 k ( 1x ) .
Ingenier Matemtica a a
(c1) Demuestre que f (x) =
1 (1x)(12x) .
Universidad de Chile
(c2) Integrando, encuentre una expresin expl o cita para f (x). P3. (a) Analizar la convergencia de las series
k2
(1)k y k ln(k)
k2
1 . k ln(k)
xk . k ln(k) xk . k(k + 1)
1 (c2) Demostrar que para todo x (R, R) se tiene que (xf (x)) = 1x . 1 + (1 x)(ln(1 x) 1) . (c3) Demostrar que para todo x (R, R)\{0} se tiene f (x) = x
P4. (a) Determine la funcin e intervalo de convergencia asociada a la serie o (b) Pruebe que arctan(x) =
0 (1)n 2n+1 2n+1 x
(1)n x2n .
en (1, 1).
(c) Deduzca una serie para calcular . P5. Encuentre el desarrollo en serie potencias de las siguientes funciones y determine radio e intervalo de convergencia. (a) f (x) = (b) f (x) =
1 x2 +x2 . x (1x)(1+2x) .
161