Semana 1 - Clase 1

13/10/10

Tema 1: Series

Sucesiones y Series 1. Notas Preliminares

B asicamente el tema central de este curso tiene que ver con el estudio de las Ecuaciones Diferenciales Ordinarias y el desarrollo de m etodos para resolverlas. Las Ecuaciones Diferenciales aparecen ya como tema de estudio, o curiosidad matem atica, desde los tiempos de 1 Isaac Newton cuando se comenz o con el desarrollo del C alculo Diferencial. El propio Newton las estudia en su tratado de C alculo Diferencial donde discute sus soluciones a trav es de una expansi on en series. Newton estudia la siguiente ecuaci on diferencial, que por contener una primera derivada llamaremos una ecuaci on diferencial de primer orden: dy (x) = 1 3x + y (x) + x2 + xy (x) . dx (1)

Para buscar su soluci on, Newton propone el siguiente m etodo que consiste en suponer una soluci on que tiene la forma de una serie innita. El primer t ermino de la serie es: y = 0 + el cual corresponde al valor inicial x = 0 en la ecuaci on (1). Al insertar este valor en (1) resulta dy (x) = 1 + dx que al integrarse se obtiene y = x + Sustituyendo esta u ltima expresi on en (1), resulta dy (x) = 1 3x + x + = 1 2x + x2 + dx Integrando esta u ltima ecuaci on, se obtiene y = x x2 +
Sir Isaac Newton (1643-1727), fue un cient co, f sico, l osofo, inventor, alquimista y matem atico ingl es, autor de los Philosophiae Naturalis Principia Mathematica, m as conocidos como los Principia, donde describi o la ley de gravitaci on universal y estableci o las bases de la Mec anica Cl asica mediante las leyes que llevan su nombre. Entre sus otros descubrimientos cient cos destacan los trabajos sobre la naturaleza de la luz y la optica y el desarrollo del c alculo matem atico. Newton fue el primero en demostrar que las leyes naturales que gobiernan el movimiento en la Tierra y las que gobiernan el movimiento de los cuerpos celestes son las mismas. Es, a menudo, calicado como el cient co m as grande de todos los tiempos, y su obra como la culminaci on de la revoluci on cient ca. Tomado de Wikipedia.
1

H ector Hern andez / Luis N un ez

Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

Figura 1: El esquema de Newton

Repitiendo el proceso: dy (x) = 1 2x + x2 + dx y continuando con el m etodo repetidamente y = x x2 + x3 x4 x 5 x6 + + 3 6 30 45 y = x x2 + x3 + 3

Por otra parte, notemos que para cada valor de x y y , la ecuaci on (1) no es m as que la derivada y (x) (pendiente) de las soluciones de y (x) = 1 3x + y (x) + x2 + xy (x) As , con un poco de paciencia, o con alg un programa de computaci on apropiado, se puede obtener el campo vectorial correspondiente a la ecuaci on diferencial, como se puede apreciar en la Figura 2a. En realidad las soluciones se pueden apreciar como las curvas determinadas por las direcciones indicadas en el campo vectorial, Figura 2b. Las aproximaciones que se van H ector Hern andez / Luis N un ez 2 Universidad de Los Andes, M erida

Semana 1 - Clase 1
a
2

13/10/10

Tema 1: Series

(c)
2
2

y(x)

1 x

K2

K1 K1 K2

1
x

K K

K K
C1 C2

C3

C4

Sol.

Figura 2: (a) Representaci on de los campos vectoriales. (b) Diferentes soluciones para la ecuaci on
diferencial (1). (c) La soluci on correcta correspondiente al valor inicial y (0) = 0 con las diferentes soluciones aproximadas.

obteniendo con el m etodo mostrado anteriormente se pueden observar, junto con la soluci on verdadera en la Figura 2c. Notemos que todas las aproximaciones son m as cercanas entre si cuando x toma valores cada vez m as pr oximos a cero. Las gr acas mostradas en la Figura 2 pueden obtenerse con la ayuda de alg un programa de manipulaci on algebraico, digamos Maple: > restart: with(DEtools): > ED1 := diff(y(x),x) = 1-3*x+y(x)+x 2+x*y(x); > ics := y(0)=0; > Sol = dsolve(ED1,ics,y(x)); assign( %): > dfieldplot(ED1, y(x), x=-2..2,y=-2..2,color=blue); > DEplot(ED1,y(x),x=-2..2,[[y(0)=0]],y=-2..2,color=green,linecolor=-exp(x)); > Y1:=x: Y2:=x-x 2: Y3:=x-x 2+x 3/3: Y4:=x-x 2+x 3/3-x 4/6: Ys:=rhs(Sol): > plot([Y1,Y2,Y3,Y4,Ys],x=-2..2,y=-2..2); Comencemos entonces nuestro estudio sobre Ecuaciones Diferenciales precisamente con las Series Matem aticas.

2.

Introducci on a las Series

Para empezar, vayamos a la noci on elemental de sucesiones. B asicamente, una sucesi on es una colecci on numerable de elementos, dados en cierto orden, como: 1, 2, 3, 4, ... , H ector Hern andez / Luis N un ez 3 1, x, x2 , ... . Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

Una sucesi on puede contener innitos elementos y en este caso se denomina una sucesi on innita, por lo tanto, si a cada n umero entero positivo se le asocia un elemento un , entonces el conjunto ordenado: u1 , u2 , u3 , ...un , ... dene una sucesi on innita. Cada t ermino un tendr a un siguiente t ermino un+1 y por lo tanto no existe un u ltimo t ermino. Las sucesiones se pueden expresar de una manera mas sencilla deniendo el n- esimo t ermino, como por ejemplo: 1 n = 1, 2, 3, . . . un = , n cuyos primeros cuatro t erminos son: 1 1 1 1, , , . 2 3 4 Otra manera de denir sucesiones es por medio de una relaci on de recurrencia, por ejemplo, para la bien conocida sucesi on de Fibonacci la relaci on de recurrencia es u1 = u2 = 1 , cuyos primeros t erminos son: 1, 1, 2, 3, 5, 8, 13, 21, ... . Existe una funci on que permite generar los n umeros de Fibonacci, esta funci on cuando se expande en potencias de x tiene como coecientes, los n umeros de Fibonacci! x = x + x2 + 2 x3 + 3 x4 + 5 x5 + 8 x6 + 13 x7 + 21 x8 + 34 x9 + f ( x) = 2 1xx Tambi en es posible denir una sucesi on a trav es del concepto de funci on. Se dene una funci on para los enteros positivos, de manera que f (n) es el t ermino n- esimo de la sucesi on para cada n = 1, 2, 3, .... Los t erminos de las sucesion se escriben como: f (1), f (2), f (3), ...f (n), ... . Las siguientes f ormulas son ejemplos de sucesiones f (n) = (1)n , f (n) = sen n 2 , f (n) = (1)n 1 + 1 . n un+1 = un + un1 , n 2,

Una sucesi on {f (n)} se dice que es creciente si f (n) < f (n + 1) n 1 , o decreciente si: f (n) > f (n + 1) n 1 . Una sucesi on se denomina mon otona cuando es creciente o decreciente, y en estos casos se tiene que la convergencia o divergencia se determina de manera sencilla, como lo indica el siguiente teorema: H ector Hern andez / Luis N un ez 4 Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

Teorema: Una sucesi on mon otona converge si y s olo si es acotada. Una sucesi on {f (n)} se dice acotada si existe un n umero positivo M tal que |f (n)| M para todo n. A medida que n se hace cada m as grande, el valor de una sucesi on un se puede comportar de una manera bastante particular. Por ejemplo, si un = 1/n, es claro que un converge a cero a medida que n . Pero si un = ean , el l mite depender a del valor de a. La pregunta a responder tiene que ver con el hecho de saber si los t erminos de un tienden, o no, a un l mite nito cuando n crece indenidamente. Con el concepto de sucesiones es posible denir una expresi on anal tica que formalmente tiene aspecto de suma, que contiene un n umero innito de sumandos y que se denomina serie innita. Si un , n = 1, 2, 3, ..., es una sucesi on innita de n umeros reales o complejos, es posible formar una nueva sucesi on sn a partir de tomar sumas parciales de {un }:
n

s1 = u 1 ,

s2 = u1 + u2 ,

s3 = u1 + u2 + u3 ,

... sn = u1 + u2 + u3 + un =
i=1 n i=1

ui .

ui se dice que es convergente y Si la sucesi on sn tiende a un l mite S , la serie innita converge al valor S , el cual es u nico. Entonces se puede escribir:

S = u1 + u2 + u3 + + un + =
n=1

un

S = l m sn .
n

(2)

El n umero S se denomina la suma de la serie innita y debe ser entendido como el l mite de la sucesi on. Se dir a que la serie diverge si el valor de la sumatoria aumenta indeteniblemente. La serie tambi en puede oscilar, con lo cual tampoco converge:
i

si =
n=1

(1)n = 1 1 + 1 1 + + (1)i +

Aqu sn ser a 0 o 1 y por lo tanto el l mite antes mencionado no existe. Esto se puede formalizar diciendo que la condici on para la existencia de un l mite S es que para cada > 0 existe un n umero N = N ( ) tal que |S si | < para i > N |sj si | < para, todo i, j > N .

Esta armaci on se denomina criterio de Cauchy2 sobre la convergencia de las series parciales, y viene a ser la condici on necesaria y suciente para que una suma parcial si converja a medida que avanzamos en los t erminos de la serie.
Augustin Louis Cauchy Par s, 1789 - 1857, matem atico franc es pionero en los estudios de an alisis (real y complejo) y de la Teor a de los Grupos de Permutaci on. Cauchy hizo aportes importantes en los criterios de convergencia y divergencia de series innitas, as como tambien, en ecuaciones diferenciales, determinantes, probabilidades y F sica Matem atica
2

H ector Hern andez / Luis N un ez

Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

La serie cuyos t erminos son tomados a partir del (n + 1)- esimo t ermino, y en el mismo orden, de la serie (2) se llama el resto n- esimo de la serie (2) y se denota por:

uk
k=n+1

un+1 + un+2 + un+3 + .

(3)

Si el resto n- esimo de la serie (2) converge, entonces su suma

rn =
k=n+1

uk ,

(4)

se denomina el resto de la serie. De las series nos interesa conocer cuanto suman. Es decir, cu al es el valor de si para una serie nita cuando i = N . Pero tambi en estamos interesados en conocer cu anto suma una serie innita. Empecemos con las nitas.

2.1.

Series elementales

De cursos anteriores hemos conocido algunas series emblem aticas, estudiemos algunas: Serie aritm etica Seguramente con anterioridad hemos o do hablar de progresiones aritm eticas. Ellas son, sencillamente:
N 1

sN =
n=0

(a + nd) = a + (a + d) + (a + 2d) + (a + 3d) + (a + 4d) + + [a + (N 1)d] ,

donde a y d son n umeros reales o complejos. Al desarrollar la serie anterior en orden inverso y sumarla con la serie original: sN = a +(a + d) +(a + 2d) +(a + 3d) + sN = [a + (N 1)d] + [a + (N 2)d] + [a + (N 3)d] + [a + (N 4)d] + resulta sN = N N [a + a + (N 1)d] sN = [Primer T ermino + Ultimo T ermino] 2 2 + [a + (N 1)d] +a

obviamente, si N la serie diverge. Serie Geom etrica De esta tambi en sabemos que
N 1

sN =
n=0

axn = a + ax + ax2 + ax3 + + axN 1

y si restamos sN = a +ax +ax2 +ax3 + xsN = ax +ax2 +ax3 +ax4 + H ector Hern andez / Luis N un ez 6 +axN 1 +axN

Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

es inmediato comprobar que: a(1 xN ) , 1x si |x| < 1 tendremos que la suma de la serie ser a: sN = S = l m sN =
N

a , 1x

y, divergir a (u oscilar a) si |x| 1. Series Aritm etico-geom etricas Estas series, un poco m as ex oticas y como su nombre lo sugiere son una combinaci on de las anteriores. Estos es
N 1

sN =
n=0

(a+nd)xn = a+(a+d)x+(a+2d)x2 +(a+3d)x3 +(a+4d)x4 + +[a + (N 1)d] xN 1

y con la misma estrategia de las geom etricas se llega a encontrar el valor de la suma S , nada intuitiva: xd(1 xN 1 ) a [a + (N 1)d] xN + sN = 1x (1 x)2 Otra vez, si |x| < 1, entonces cuando N la serie converge a: S= a xd + . 1 x (1 x)2

Serie Arm onica Quiz a no la conoc amos con este nombre (y menos por sus propiedades) pero seguro nos la hemos tropezado

n=1

1 1 1 1 1 1 = 1 + + + + + + n 2 3 4 5 n

Esta serie innita resulta ser enga nosa, en apariencia parece converger, pero no es as . Adem as notemos lo siguiente:
20

n=1

1 3, 5977 , n

220

n=1

1 5, 9731 , n

20220

n=1

1 10, 492 , n

la suma de los primeros 20 t erminos es m as grande que la suma de los siguientes 200 t erminos! y da la impresi on de que la serie crece muy lentamente hacia alg un valor l mite. Si analizamos con m as cuidado, veremos que hay sutilezas

n=1

1 1 =1+ + n 2
0

1 1 + 3 4
1

1 1 1 1 + + + 5 6 7 8
2

1 1 1 + + + 9 10 16
3

H ector Hern andez / Luis N un ez

Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

y puede ser reescrita como 1+ 1 1 1 1 1 1 1 + + + + + + 1+1 2+1 2+2 4+1 4+2 4+3 4+4
0 1 2 2n

1 1 1 + + + + + + 8+1 8+2 8+8

3

j =1

2n

1 + +j

con lo cual 1 0 = ; 2 1 = 7 1 > ; 12 2 2 = 533 1 > ; 840 2 3 = 95549 1 > ; 144144 2

y claramente diverge ya que 1 + 0 + 1 + 2 + 3 + > 1 + 1 1 1 1 + + + + 2 2 2 2

Esta prueba aparentemente se le debe a Nicole DOresme3 . Una de las generalizaciones de la serie arm onica es la funci on Zeta de Riemann4

(k ) =
n=1

1 , nk

(k ) > 1 .

Esta u ltima expresi on es tambi en un ejemplo donde a partir de una serie se dene una funci on. Ejemplo 1. Demuestre que

n=1

1 =1 2n

Se tiene que sn = 1 1 1 1 + 2 + 3 + + n , 2 2 2 2

3 Nicole DOresme (1323-1382) Matem atico franc es que invent o la geometr a coordenada antes de Descartes. Sobre la serie harm onica consulte: http://mathworld.wolfram.com/HarmonicSeries.html 4 Georg Friedrich Bernhard Riemann (1826 Hanover, Alemania - 1866 Selasca, Italia) Matem atico alem an cuyas ideas sobre las geometr a del espacio han tenido un profundo impacto en el desarrollo de la F sica Te orica. Igualmente claric o la noci on de integral al introducir el concepto de lo que hoy se conoce como integral de Riemann. M as detalles en http://mathworld.wolfram.com/RiemannIntegral.html.

H ector Hern andez / Luis N un ez

Universidad de Los Andes, M erida

Semana 1 - Clase 1
1 2

13/10/10

Tema 1: Series

y que al multiplicar por

se obtiene 1 1 1 1 1 sn = 2 + 3 + 4 + + n+1 , 2 2 2 2 2

restando 1 por lo tanto

1 1 1 1 sn = n+1 = 1 n . 2 2 2 2 l m 1 1 = 1, 2n

la serie converge. Las series que hemos mencionado con anterioridad tienen la particularidad de que todos sus t erminos son positivos, es decir, para la serie an se tiene que an 0, y por lo tanto: sn = sn1 + an sn1 de manera que las sumas parciales sn son una sucesi on mon otona creciente.

H ector Hern andez / Luis N un ez

Universidad de Los Andes, M erida

Semana 1 - Clase 1

13/10/10

Tema 1: Series

Ejercicios
1. Encuentre la suma de los 100 primeros enteros. 2. Encuentre la distancia total que recorre una pelota que rebota verticalmente y que en cada rebote pierde 2/3 de su energ a cin etica. 3. Encuentre la suma de la serie S = 2 + 5 +8 + 2 4 4. Demuestre que a)
n=1 11 8

+ .

1 =1 n(n + 1)

b)
n=1

1 1 = (2n 1)(2n + 1) 2

5. Determine el limite de las siguientes sucesiones cuando n . a ) un = b ) un = c ) un = d ) un =

n n+1 1 1+n2 n2 1+n (an+b)2 cn2 +d

H ector Hern andez / Luis N un ez

10

Universidad de Los Andes, M erida