Sucesiones

Definicin
Sucesin
Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros
naturales.
Para denotar el n-simo elemento de la sucesin se escribe a n en lugar de f(n).
Ejemplo:
an = 1/n
a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4,...
Lmite finito de una sucesin
Consideremos la sucesin an = 1/n.
a1 = 1
a2 = 1/2 = 0.5
a3 = 1/3 0.33
a4 = 1/4 = 0.25
a5 = 1/5 = 0.2
a6 = 1/6 0.17
a7 = 1/7 0.14
a8 = 1/8 0.12
a9 = 1/9 0.11
a10 = 1/10 = 0.1
A medida que aumenta n, los trminos de la sucesin son cada vez ms cercanos
a 0. Si representamos los trminos como puntos en una lnea, esto significa que
los puntos an se apian cada vez ms cerca del punto 0 conforme n crece.

Se dice que an tiende a 0, o que tiene lmite 0.

Se expresa simblicamente por: lim a n = 0 o bien, ocasionalmente, por la notacin
abreviada an -> 0.

Definicin
Lmite finito
lim an = a <=> para todo >0 existe N natural / para todo n > N a - < a n < a + , o
lo que es lo mismo, |an - a| < .
Para cualquier nmero positivo , por pequeo que sea, podemos encontrar un
natural N suficientemente grande tal que a partir del ndice N en adelante se tiene
que |an - a| < .
Es decir, si tomamos un entorno de a de cualquier radio siempre habr un
subndice N tal que desde N en adelante todos los trminos de la sucesin
pertenecen a dicho entorno.
Lmite infinito de una sucesin
Consideremos la sucesin an = n2.
a1 = 1
a2 = 4
a3 = 9
a4 = 16
...
a10 = 100
...
a100 = 10.000
Al crecer n, an no tiende a un lmite definido, sino que crece ms all de toda cota.
Se dice que an tiende a infinito.
Definicin
Lmite infinito
lim an = +inf <=> para todo K>0 existe N natural / para todo n > N a n > K.
Para cualquier nmero positivo K (tan grande como se quiera), podemos encontrar
un natural N, tal que aN y todos los trminos siguientes son mayores que K. Esto
quiere decir que an puede hacerse mayor que cualquier cota, con tal de que n sea
lo suficientemente grande.
Del mismo modo se define lim a n = - <=> para todo K<0 existe N natural / para
todo n > N an < K.

Definicin
Convergencia y divergencia
Cuando una sucesin tiene lmite finito a se dice que es convergente y converge a
a.
Una sucesin que tiene lmite infinito se llama divergente.
Una sucesin que carece de lmite se llama oscilante.
La sucesin an = 1/n converge a 0.
La sucesin an = n2 es divergente.
La sucesin an = sen n es oscilante, pues sus valores varan entre 1 y -1.

Series
Definicin
Dada una sucesin an es posible formar una nueva sucesin Sn del siguiente
modo:
S1 = a 1
S2 = a 1 + a 2
S3 = a 1 + a 2 + a 3
S4 = a 1 + a 2 + a 3 + a 4
...
Sn = a1 + a2 + a3 + a4 + ... + an
La sucesin Sn se llama serie y se denota por

a
n 1

o simplemente

Los elementos a1, a2, a3,..., an,... de la sucesin original son los trminos de la serie
y S1, S2, S3,..., Sn,... se denominan las sumas parciales de la serie.
Una serie es una sucesin de sumas parciales.
Clasificacin de una serie

Si la sucesin Sn tiene lmite finito S, la serie es convergente (converge a

S). A S se le llama suma de la serie.
Si lim Sn = + o - se dice que la serie es divergente.
Si Sn no tiene lmite, se dice que la serie es oscilante.

Teorema
Condicin necesaria para la convergencia
Es condicin necesaria para que la serie an sea convergente, que lim an = 0.

H) Sn =

convergente

T) lim an = 0

Demostracin:
Sn = a1 + a2 + ... + an-1 + an
Sn-1 = a1 + a2 + ... + an-1
an = Sn - Sn-1
Sn es convergente => lim Sn = lim Sn-1 = S
lim an = lim Sn - Sn-1 = S - S = 0
Nota: Este criterio es necesario pero no suficiente, es decir que, si el trmino nsimo tiende a 0, no se puede afirmar que la serie sea convergente.
Contraejemplo: 1/n es divergente aunque lim a n=0

Serie de Taylor
y
.z
z0

R0
x

En matemticas, la serie de Taylor de una funcin f infinitamente derivable (real o

compleja) definida en un intervalo abierto (a-r, a+r) se define con la siguiente
suma:

Aqu, n! es el factorial n y f (n)(a) indica la n-sima derivada de f en el punto a.

Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es
igual a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie
converge a f(x), se suele utilizar una estimacin del resto del teorema de Taylor.
Una funcin es analtica si y solo si se puede representar con una serie de
potencias; los coeficientes de esa serie son necesariamente los determinados en
la frmula de la serie de Taylor.
Si a = 0, a la serie se le llama serie de Maclaurin.
Ejemplo 1
Como la funcin f(z) = ez es entera, tiene una representacin en serie de Maclaurin

vlida para todo z.

Aqu es f(n)(z) = ez, luego f(n)(0) = 1, de modo que
Series de Taylor notables
A continuacin se enumeran algunas series de Taylor de funciones importantes.
Funcin exponencial:

Logaritmo natural:

Serie geomtrica:

Teorema del binomio:

Funcin trigonomtrica:

Funcin hiperblica:

Funcin W de Lambert:

Los nmeros Bk que aparecen en los desarrollos de tan(x) y tanh(x) son Nmeros
de Bernoulli. Los valores C(,n) del desarrollo del binomio son los coeficientes
binomiales. Los Ek del desarrollo de sec(x) son Nmeros de Euler.

Series de Laurent
Si una funcin f no es analtica en un punto z0, no podemos aplicar el teorema de
Taylor en ese punto. No obstante, es posible hallar una representacin en serie para
f(z) que contenga tanto potencias positivas como negativas de z - z0.
Teorema de Laurent
Sea f una funcin analtica en un dominio anular R1 < |z - z0| < R2, y sea C un
contorno cerrado simple en torno de z0, orientado positivamente, contenido en ese
dominio. Entonces, en todo punto z de ese dominio, f(z) admite la representacin en
serie

f(z) =

a
n 0

(z - z0)n +

n 1

bn
(z z0 ) n

(R1 < |z - z0| < R2)

donde
an

1
f ( z ) dz

c
2i ( z z0 ) n 1

y
.z
R1
z0

R2

(n = 0, 1, 2, ...) [2]

[1]

bn

1
f ( z )dz

2i c ( z z 0 ) n 1

(n = 1, 2, ...) [3]

El desarrollo [1] se suele escribir

f ( z)

(z z0 ) n

(R1 < |z - z0| < R2)

[4]

donde
cn

1
f ( z )dz

2i c ( z z 0 ) n 1

(n = 0, 1, 2, ...) [5]

Cualquiera de las dos formas [1] o [4], se llama una serie de Laurent.
Ejemplos
Los coeficientes de una serie de Laurent no se suelen hallar recurriendo al uso
directo de sus representaciones integrales, sino por otros mtodos, tal como ilustran
los ejemplos siguientes.
Ejemplo 1
Sustituyendo z por 1/z en la serie de Maclaurin
ez =

n 0

zn
z z2 z3
1

... (|z| < )

n!
1! 2! 3!

obtenemos la serie de Laurent

1
1
1
1
1

... (0 < |z| < )

e1/z =
n
2
n 0
1! z 2! z
n! z
3! z 3
Ntese que esta serie de Laurent particular no contiene potencias positivas de z,
siendo cero todos los coeficientes de las potencias positivas, mientras que hay
infinitas potencias negativas.

CONVERGENCIA ABSOLUTA Y UNIFORME DE LAS

SERIES DE POTENCIA
Series de potencia:
Una seria de la forma

a0 a1 ( z a ) a2 ( z a ) 2 ... n 0 an ( z a ) n

Se llama una serie de potencia en z-a. Algunas veces ser indicado brevemente
por:

( z a) n .

Algunos Teoremas sobre series de potencia:

Una serie de potencias converge uniforme y absolutamente en cualquier

regin que est contenida en el interior de su crculo de convergencia.

Una serie de potencias se puede diferenciar trmino a trmino en cualquier

regin incluida en su crculo de convergencia.

Una serie de potencias se puede integrar trmino a trmino a lo largo de

cualquier curva C que est incluida en el interior de su crculo de
convergencia.

La suma de una serie de potencias es una funcin continua en cualquier

regin que est incluida en el interior de su crculo de convergencia.

Convergencia absoluta de series de potencia:

n
Sea la serie de potencias a n z donde a n , z C Si la serie converge para
n 0

cierto z 0 C , entonces la serie converge absolutamente para todo z C con

z z 0 . Suponiendo el Radio de convergencia R y z 0 un punto tal que

a
n 0

z 0 converge.

Determinacin del intervalo de convergencia:

Muchas veces se puede determinar la convergencia de una serie de potencias
mediante el criterio de la razon:
lim
n

a n 1
za L
an

La serie converge absolutamente para aquellos valores de x para los que L < 1.
Con esta prueba vemos que el radio de convergencia es
R lim
n

a n1
an

Siempre y cuando exista el lmite.

Convergencia uniforme de una serie de potencia:

Sea la serie de potencias

n 0

z n , donde a n , z C con radio de convergencia

R 0 . Entonces la serie converge uniformemente en cualquier regin del plano

complejo contenida en

z r R

Algunas series especiales:

1. e z

2. sen(z )

z2 z3
zn

...
...
2! 3!
n!
z3
z5
z 2 n 1
z

...( 1) n 1
...
3!
5!
( 20 1)!

1 z

3. cos( z )

4. ln(1 z )

5. tan 1 ( z )

z2
z4
z 2n2

...( 1) n 1
2!
4!
( 2n 2)!

z2 z4
zn

...( 1) n 1
...
2
4
n
z3 z5
z 2 n 1
z

...( 1) n 1
...
3
5
20 1

z
z 1
z 1

Derivacin e Integracin de series:

Derivar o integrar una serie de potencias resulta realmente sencillo. Si partimos de
la idea de que tenemos un polinomio, entonces:
d
dx

n 0

d2
dx 2

n 0

d
a 0 a1 x a 2 x 2 ...
dx
a1 2a 2 x 3a 3 x 2 4a 4 x 3 ...

an x n

n 1

na n x n 1

na n x n 1

n 1
dx
d

a1 2a 2 x 3a3 x 3 4a 4 x 3 ...
dx
2a 2 (2.3)a 3 x (3.4) a 4 x 4 ...

an x n

n 2 n( n 1)a n x n 2

Si

c
n 0

x n es una serie de potencias cuyo radio de convergencia es R<0,

nc

entonces

n 1

x n 1 tambin tiene a R como su radio de convergencia

Cambio de ndices
En las expresiones de las derivadas, el ndice de suma cambi sin embargo el
resultado sigue siendo una serie de potencias cuyos coeficientes se obtienen en
forma especial. Es posible cambiar el ndice de suma para que comience desde
cero de la siguiente manera:
Proponemos el cambio k = n - donde es el valor del inicio del ndice

na
n 1

x n 1 k n 1; n k 1

Se sustituye el valor de n en cualquier lugar dentro de la sumatoria y se simplifica,

as obtenemos:

(k 1)a k 1 x k 11

k 11

(k 1)a
k 0

k 1

xk

Integracin
Sea

c
n 0

x n una serie de potencias cuyo radio de convergencia es R<0. Si f es

la funcin definida por

f ( x)

c
n o

xn

Entonces f es integrable en cada subintervalo cerrado de (-R,R), y la integral de

f se evala integrando trmino a trmino la seria de potencias dada; es decir, si x

cn
x n 1
n 0 n 1
Adems, R es el radio de convergencia de la serie resultante.
x

est en (-R,R), entonces 0

f (t ) dt

EJEMPLO 1: Intervalo de convergencia

Determine el intervalo de convergencia de la serie de potencias

n( x 2)
n 1

SOLUCIN: La serie de potencias dada es:

(1)

( x 2) 2( x 2) 2 ... n( x 2) n ( n 1)( x 2) n 1 ...

Al aplicar el criterio de la razn, se tiene:

lim
n

u n 1
( n 1)( x 2) n 1
lim
n
un
n ( x 2) n
x - 2 lim
n

n 1
n

x2

La serie ser absolutamente convergente si

1 x 2 1 , o bien, 1 x 3 .

x 2 1

o, equivalentemente,

EJEMPLO 2: Derivada de una serie de potencia:

Demostrar por medio de series de potencia que d (cos x) senx
SOLUCIN: Como la serie para cosx es
cos x 1

x2 x4
x6

...
2 24 720

Derivando trmino a trmino la serie, se obtiene:

x2 x4
x6
d (cos x) d 1

...
2
24 720

1
1
1
0 - (2x)
(4 x 3 )
(6 x 5 ) ...
2
24
720
x3
x5
x

...
6 120

Como,

x3 x5

3! 5!
d (cos x) senx
senx x

UNICIDAD DE LAS REPRESENTACIONES DE LA SERIE

Unicidad de las representaciones de la series de Taylor y Laurent.
Teorema 1
Si una serie

a
n 1

( z z0 ) n

Converge a f(z) en todo punto interior a algun circulo z z 0 R , entonces es la

serie de Talylor de F en potencias de ( z z0 ) .
Para demostrarlo tenemos

S ( z )

a
n 1

z n 1

En todo punto interior al circulo de convergencia de la serie

S ( z)

a
n 0

zn

Por consiguiente la serie S (z ) puede ella misma ser derivada trmino a trmino,
es decir
S ( z )

n(n 1)a
n2

z n2

En todo punto z en el interior de ese circulo. De hecho, la derivada de S(z) de

cualquier orden se puede hallar derivando su representacin en serie termino a
termino.
S(0) = a0 S(0)=2!a2

Sn(0)=2!an .;

Y los coeficientes an son los del desarrollo en seri de Maclaurin de S(z):

an

S ( n ) (0)
n!

( n= 0, 1, 2,).

La generalizacin a series de potencia de

queda probada.

z z0

es inmediata, y el teorema 1

Teorema 2 (unicidad de la representacin en serie de Laurent)

n 0

n 1

cn ( z z 0 ) n a n ( z z 0 ) n

bn
(z z0 ) n

Jconverge a f(z) en todos los puntos de algun dominio anular centrado en z 0,

entonces es la serie de Laurent para f en potencias de z z 0 en ese dominio.

g ( z ) f ( z )dz
c

Donde g(z=

c m g ( z )( z z 0 ) dz ,
c