Universidad Nacional Mayor de San Marcos

FIEE

Curso:
Funciones analticas
Tema:
Series de potencias en la rama de la ingeniera electrnica.
Tipo de trabajo:
Trabajo final
Datos personales:
Munive Fernndez, Adoni 14190016
Sols Vzquez, Jaime 14190025
Cueto Salazar, jessica 14190228
Roldan flores , erick 14190265

Fecha de entrega: 11/07/2016

ndice

SERIES DE POTENCIA Y APLICACIONES EN LA RAMA DE LA INGENIERA

ELECTRONICA ........................................................................................... 4

INTRODUCCION .................................................................................................................................. 4

SUCESIONES Y SERIES DE NMEROS COMPLEJOS ......................................................... 6

Proposicin 1.1.5: Criterio de la raz............................................................................................. 14
Proposicin 1.1.6: Criterio del cociente......................................................................................... 15

SUCESIONES Y SERIES DE FUNCIONES COMPLEJAS ......................................................... 17

Sucesiones de funciones complejas....................................................................................................... 18

Series de funciones complejas. Definicin y convergencia ............................................................ 19

............................................................................................................ 20

............................................................................................................ 20

Series de funciones complejas. Continuidad y derivabilidad ........................................................... 25

SERIES DE POTENCIAS .................................................................................................................... 28

Definicin. Convergencia de una serie de potencias ....................................................................... 28

Serie de potencias ................................................................................................................................. 34

Convergencia de series de potencias .............................................................................................. 34

SERIE DE TAYLOR .............................................................................................................................. 40

Teoremas de unicidad ..................................................................................................................... 44
Representaciones por series de Taylor ........................................................................................... 46

Serie de MacLaurin .......................................................................................................................... 47

SERIES DE LAURENT ....................................................................................................................... 48

Conclusiones: ........................................................................................................................................ 58
SERIES DE POTENCIA Y APLICACIONES EN LA
RAMA DE LA INGENIERA ELECTRONICA
INTRODUCCION
La gran mayora de problemas de ingeniera y otras ciencias donde
aparecen las ecuaciones diferenciales lineales para ayudarnos a
resolvernos presentan modelos cuyos coeficientes son variables y no
constantes. En lugar de nmeros frente a las derivadas y la funcin
vamos a tener funciones.

La solucin de este tipo de ecuaciones se hace mediante el uso de

series de potencias donde lo que debe determinarse son los
coeficientes que acompaan a las potencias de la variable
independiente.

Este tema es una introduccin a las primeras consideraciones que

deben tenerse a la hora de solucionar una ecuacin diferencial lineal
con coeficientes variables mediante el uso de series, introduciendo el
concepto de punto singular y punto ordinario.

Hasta ahora hemos visto en los temas anteriores como resolver

ecuaciones diferenciales lineales de segundo orden o superiores con
coeficientes constantes , sin embargo en la mayora de las aplicaciones
de ingeniera se tienen ecuaciones diferenciales con coeficientes
variables, es decir donde los coeficientes no son nmeros sino que son
funciones. Este tipo de ecuaciones se pueden escribir o representar de
la siguiente manera: y+p(x)y+q(x)y= 0, si tenemos que los coeficientes
son funciones de x veremos que este tipo de problemas se podrn
resolver utilizando series de potencia, donde la solucin de la ecuacin
diferencial tiene la siguiente naturaleza: y =cn(x-a)^n, entonces lo que
tratamos de decir es, que para hallar la solucin de la ecuacin
diferencial es necesario hallar los coeficientes de cn de la sumatoria.

Antes de enunciar como se resuelven este tipo de ecuaciones hagamos

un pequeo repaso de series, si tenemos una ecuacin de este tipo y
=cn(x)^n donde a=0 decimos que es una serie centrada en cero y que
posee la ventaja de que son ms fciles de manipular que las centradas
en a, debido a esto asumiremos que la ecuacin diferencial presenta
este tipo de solucin y procederemos a hallar los coeficientes cn,
decimos adems, que la serie es convergente para los x entre estos
rangos de valores a-Ra+R donde R se calcula de la siguiente manera
R=lim(n)|(cn/(cn+1))|. R puede tomar tres tipos de valores, R puede igual
a cero, puede ser mayor que cero o puede tender a infinito, si R es igual a cero
vemos que el intervalo de convergencia para la serie es el punto a, si R es
mayor que cero tendremos un intervalo de convergencia y si R tiene a infinito
vemos que x puede tomar cualquier valor para que la serie converja. En el
video se muestra de manera detallada el procedimiento para resolver
ecuaciones diferenciales utilizando los conceptos ya mencionados.
Hemos visto anteriormente los criterios de convergencia para series de
nmeros reales positivos o alternados. Utilizando toda esta riqueza analtica
vamos a ocuparnos de investigar el comportamiento de una serie de
funciones, en particular, de potencias, cuya convergencia va a depender del
valor de la variable x. Es as como podremos introducir el concepto de radio
de convergencia R. Dentro del intervalo (-R, R) la serie ser convergente, fuera,
divergente, y en los puntos de frontera, es decir, en x=-R e y=R, deberemos
estudiar las series numricas asociadas a estos dos puntos para determinar la
convergencia o divergencia de la serie de potencias en ellos. Este Mathblock
tambin tiene una parte aplicada. En ella illustramos la utilidad de las series
de potencias para el clculo de la suma de series numricas. Derivando o
integrando una serie de potencias, cuya suma analtica conozcamos, podemos
llegar a una expresin que, por substitucin de la variable, corresponda a la
serie numrica cuya suma buscamos. De esta forma podemos conseguir
determinar la suma numrica indirectamente. Estas operaciones de
derivacin e integracin slo son posibles dentro del radio de convergencia de
las serie de potencias. Aqu radica la importancia de determinar con exactitud
el radio de convergencia.
SUCESIONES Y SERIES DE NMEROS
COMPLEJOS
Las sucesiones y series de nmeros complejos se comportan de

la misma forma que las sucesiones y series de nmeros reales. As,

una sucesin de nmeros complejos es un conjunto ordenado de

nmeros complejos {cn}n N, y, dada la sucesin de nmeros

complejos {cn}n N, la serie asociada se

representa de la ck .
forma
k 1

La sucesin de nmeros complejos {cn}n N es convergente y

tiene como lmite c si para todo > 0 existe un nmero natural m tal

que para todo n > m los trminos cn de la sucesin estn a una

distancia de c menor o igual que .

Es decir,

lm cn = c > 0 existe m N tal que n > m, |cn c| < .

n

Se comprueba fcilmente el siguiente resultado:

Proposicin 1.1.1:

Si cn = an + ibn y c = a + ib se tiene:

lm cn = c lm an = a lm bn = b.
n n y n

Basta entonces estudiar el comportamiento de las sucesiones

de nmeros reales {an}n N y {bn}n N para analizar la convergencia

de {cn}n N.

Las definiciones, propiedades y operaciones de las sucesiones

reales se
pueden as extender de manera automtica al campo complejo.

Definicin:

Una sucesin de nmeros complejos {cn}n N es una sucesin

de Cauchy

si para cada > 0 existe m N tal que n1, n2 > m, |cn1 cn2| < .

Como en el caso real se verifica:

Proposicin 1.1.2:

Sea {cn}n N una sucesin de nmeros complejos, entonces:

{cn}n N es una sucesin de Cauchy {cn}n N es

convergente.

La convergencia de una serie de nmeros complejos se define

como el lmite de la sucesin de las sumas parciales de la serie.

Definicin:

Dada una sucesin de nmeros complejos {cn}n N, se dice

que la serie

asociad ck es convergente si la sucesin de las sumas

a k parciales Sn =
1

n
ck converge. Es decir:
k 1
 | < .
ck = lm Sn > 0 existe m N tal que n>
m, | ck

k 1 n k n

Si una serie compleja no es convergente, se dice que es divergente.

Si una serie converge lm Sn = S, se dice que S es el valor de la

y suma
n

de la = S.
serie:
c
k
k

1
En funcin de su conveniencia, se utilizar tambin la notacin ck ,
en
k 0

la que el primer trmino de la serie se denomina c0.

Se comprueba fcilmente el siguiente resultado:

Proposicin 1.1.3:

Sea {cn}n N una sucesin de nmeros complejos tales que cn = an +

ibn.

Ent converge convergen.

onc ak y
es: c
k 1
k b
k k
k
1
1
De la misma forma que en el caso de las sucesiones, basta estudiar el

comportamiento de las series de nmeros para

reales ak y analizar la
k 1
b
k
k

convergencia de la serie compleja ck . Se pueden utilizar

entonces los
k 1

criterios de convergencia de series reales para analizar la convergencia

de las series complejas.
De este hecho se deduce de manera inmediata el siguiente resultado:

Corolario 1.1.4:

Una condicin necesaria (no suficiente) para que la serie s

ck e
a
k 1

convergente lm cn = 0.
es que
n

Definicin:
La serie ck es absolutamente convergente si la serie real de
sus
k 1
mdulos converge.
ck
k 1

es absolutamente convergente, como |ak| |ck|

Si la serie y |bk|
ck
k 1

|ck|, el criterio de comparacin de series reales asegura la

convergencia de las

series ak bk , y como consecuencia de ello la

reales k 1 y convergencia de
k
1

las series ak , bk y ck . Se deduce entonces, igual que en el

caso real,
k 1 k k 1
1

que la convergencia absoluta de una serie compleja implica la

convergencia de la serie.

Dada una serie compleja se tienen entonces tres series

reales
ck
k 1

asociadas a ella:
 Re( ck ) , Im( ck ) y ck .

k 1 k 1 k 1

Basta revisar las propiedades, los teoremas y los criterios de

convergencia de las series reales para estudiar automticamente los

de las series complejas. Son de especial utilidad los criterios de la

raz y del cociente, que se enuncian a continuacin:

Proposicin 1.1.5: Criterio de la raz

Sea {cn}, n N, una sucesin de nmeros complejos, y

sea L =

lim n|c
sup n | . Si L es menor que 1 la serie cn converge
n absolutamente, y
n
1
si L es mayor que 1 la serie diverge.

Se observa que en el caso en el que L sea igual a 1, el criterio

no afirma nada, por lo que suele denominar el caso dudoso.

Proposicin 1.1.6: Criterio del cociente

Sea {cn}, n N una sucesin de nmeros complejos, lim

cn
y sea L = n
1
cn

. Si L es menor que 1 la serie converge absolutamente, y si L es

mayor
cn
n 1

que 1 la serie diverge.

Se observa que en el caso en el que L sea igual a 1, el criterio

no afirma nada, por lo que suele denominar el caso dudoso.

Es interesante recordar que ambos criterios estn

estrechamente ligados

cn
entre s, ya que si lim 1 entonces tambin lim n | cn |
y
existe n cn existe n
ambos coinciden.

Ejemplo : Estudiar la convergencia de la sucesin

= ( + )/( )

(+)2 2 1
La sucesin cn se puede expresar como = = +
(+)() 2 +1
2
2 +1

n2 1
La sucesin de nmeros reales an = es convergente y tiende a
1, y
n2 1

(2)
la sucesin = sucesin cn es convergente y tiende a 0. Por
2
lo tanto la sucesin Cn es convergente y lim = 1

 SUCESIONES Y SERIES DE FUNCIONES
COMPLEJAS
Las sucesiones y series de funciones complejas se comportan tambin de

la misma forma que las sucesiones y series de funciones reales. Dada una

sucesin {fn(z)}nN de funciones complejas definidas en los puntos z de un

conjunto G C, los conceptos de convergencia puntual, absoluta y uniforme de

la sucesin {fn(z)}nN o de la serie asociada son anlogos al caso
f n ( z)
n1
sucesiones de funciones reales, as como los teoremas que permiten transmitir

las buenas propiedades de las funciones que forman la sucesin a la funcin

lmite.

Sucesiones de funciones complejas

Sean fn(z), n N, y f(z) funciones complejas definidas en un subconjunto

G C, sea z0 un punto de G y sea {fn(z)}nN la sucesin de funciones

complejas definida con las funciones fn(z).

Definicin:

La sucesin {fn(z)}nN converge en el punto z0 a f(z0) en G si la sucesin numrica

{fn(z0)}nN converge a f(z0). Es decir,

lm fn(z0) = f(z0) > 0, m N tal que n > m, |fn(z0) f(z0)| < .

n
 Definicin:

La sucesin {fn(z)}nN converge puntualmente a la funcin f(z) en G si para cada z0

G la sucesin numrica {fn(z0)}nN converge a f(z0).

Es decir, para cada z0 G y para cada > 0 existe m N tal que n > m,

|fn(z0) f(z0)| < .

Definicin 3:

La sucesin {fn(z)}nN converge absolutamente a la funcin f(z) en G si para cada z0

G la sucesin numrica {fn(z0)}nN converge absolutamente a f(z0).

Definicin:

La sucesin {fn(z)}nN converge uniformemente a la funcin f(z) en G si para cada

> 0 existe m N tal que para todo z G y todo n > m se verifica que |fn(z) f(z)| < .

Es importante resaltar que para que la convergencia de la sucesin en un

conjunto G sea uniforme es preciso que para cada > 0 fijado exista un trmino

m de la sucesin, independiente del punto z, a partir del cual la distancia entre

fn(z) y f(z) sea menor , para todo z G.

Series de funciones complejas. Definicin y convergencia

Los distintos tipos de convergencia de series se definen a travs de la

convergencia de las correspondientes sucesiones de sumas parciales

asociadas. Sea {fn(z)}nN una sucesin de funciones complejas definidas en un

conjunto G C.
 Definicin:

La serie converge en el punto z0 G si la serie de nmeros
f n ( z)
n1

f (z0) converge. Es decir, si para cada > 0 existe m N tal que
n
complejos
n1

n > m, se verifica que | fk ( z0 ) | < .

k n

Definicin:

La serie
f n ( z)
converge puntualmente en G si la serie
fn(z0 )
n1
n1

converge para todo z0 G.

Definicin:

La serie converge absolutamente en z0 G (respectivamente
f n ( z)
n1

en G) si la serie | fn(z0)| converge (resp. | fn(z) | converge en todo z G).

n1 n-1
Definicin:

La serie
fn(z) converge uniformemente en G si para cada > 0 existe
n1

m N tal que para todo z G y n > m, se verifica que | fk ( z ) | < .

k n

Es importante sealar que, igual que en el caso de las sucesiones, para

que la convergencia de la serie en G sea uniforme, el valor m debe depender

nicamente del elegido y no del punto z del dominio, como ocurra en la

convergencia puntual. Tiene sentido, por tanto, hablar de convergencia uniforme

en un conjunto (nunca en un punto).

La relacin entre los distintos tipos de convergencia que se acaban de

definir es la misma que en el caso real.

De la propia definicin se deduce de manera inmediata que la convergencia

absoluta implica la convergencia puntual.

La convergencia uniforme de una serie en un conjunto implica tambin la

convergencia puntual de la serie en el conjunto.

Si una serie converge uniformemente en un conjunto G tambin converge

uniformemente en cualquier subconjunto de G.

Por otra parte, es importante observar que, como en el caso real, la

convergencia uniforme de una serie en un conjunto no implica necesariamente

la convergencia absoluta de la serie en dicho conjunto.

Los criterios de convergencia de series de funciones reales son vlidos para

el estudio de la convergencia de series de funciones complejas. De ellos cabe

destacar el criterio de Weierstrass que se enuncia a continuacin.

 Proposicin: Criterio de la mayorante de Weierstrass.

Sea f n( z ) una serie de funciones complejas definidas en un

n1

subconjunto G del plano complejo, tales que para cada n N existe una

constante Mn que verifica |fn(z)| Mn, z G, y
M n < . Entonces
n 1

fn(z) converge absolutamente y uniformemente en G.

n1

El criterio de la mayorante de Weierstrass permite entonces asegurar la

convergencia absoluta y uniforme de una serie de funciones a travs de la

convergencia absoluta de una serie numrica que la mayore, y ser de gran

utilidad en el estudio de la convergencia de las series de potencias.

Por ejemplo, la serie
=1 converge uniformemente y absolutamente en

el conjunto Ar = {z; |z| r }, siempre que r sea un nmero real tal que 0 r <1,

pues en este caso se tiene que | | =
=1 < y converge si r

< 1.
n
z
n
converge puntualmente en A1 = {z; |z| < 1} y
consecuencia, la serie
n 1

converge adems uniformemente y absolutamente en cualquier conjunto Ar =

{z; |z| r}, si r < 1.

De la convergencia puntual de una serie en un conjunto G se
f n ( z)
n1
deduce la existencia de una funcin f(z) definida en G tal que para cada z G

f(z) =
fn(z).
n1

Definicin:

Dada una serie
fn(z) convergente en un conjunto G, se llama suma de
n1

la serie a la funcin f(z) que define la serie en los puntos de G.

As, la serie geomtrica zk , que como se ha comprobado en el

k 0

ejemplo 3.1.2. es convergente para todo valor de z tal que |z| < 1, define una
funcin f(z) en el interior del disco unidad, B1(0), que representa la suma de la
1 1
serie y es precisamente 1, por lo que
=0 1 , || < 1

De la misma forma que en el caso de series de funciones reales, la

obtencin de la funcin que define una serie convergente no es en general una

tarea fcil, pero s lo es para algunos tipos especiales de series. Este es el

es una serie geomtrica.
caso anterior, en el que zk
k 0
Series de funciones complejas. Continuidad y
derivabilidad
La convergencia uniforme de una serie de funciones definidas en un

subconjunto del plano complejo permite transmitir a la funcin lmite muchas de

las buenas propiedades de las funciones que definen la serie. Los teoremas
que aseguran las condiciones que se precisan son los mismos que en el caso

de series de funciones reales y se enuncian a continuacin.

Proposicin:

Si las funciones fn(z) son continuas en G y la serie converge
fn( z)
n 1

uniformemente en G a f(z), entonces f(z) es una funcin continua en G.

La convergencia uniforme es suficiente para garantizar la continuidad de la

funcin lmite de una serie de funciones continuas. Ms adelante, cuando se

haya introducido el concepto de integracin compleja, se podr comprobar que

la convergencia uniforme es tambin suficiente para asegurar la integrabilidad

de la funcin lmite de una serie de funciones integrables.

Sin embargo, la continuidad uniforme no es una condicin suficiente para

garantizar la derivabilidad de la funcin lmite de una serie de funciones fn(z)

derivables. Se necesitan para ello condiciones adicionales, como seala la

siguiente proposicin, que tambin se enuncia sin demostracin.

Proposicin:

Si las funciones fn(z) son derivables en G, la serie converge en
fn( z)
n 1

un punto z0 G y la serie de las derivadas converge uniformemente
fn (z)
n 1

en G, entonces la serie fn( z)
 n 1
converge uniformemente en G a una funcin

derivable f(z) y se tiene que f(z) = fn ( z) .

n 1
SERIES DE POTENCIAS

Dentro de las series de funciones tienen un inters especial las series de

potencias. Como se ver a continuacin, las series de potencias juegan un papel

fundamental dentro de la teora de funciones de variable compleja.

Definicin. Convergencia de una serie de potencias

Definicin

Se denomina serie de potencias alrededor del punto z0 a una serie de la

forma
cn( z z0 )n , con cn C.
n0

la serie geomtrica +
=0 y la serie =1 que se ha estudiado anteriormente

son ejemplos de series de potencias desarrolladas alrededor del punto z0 = 0,

con unos coeficientes cn que valen respectivamente

1
1 y . Ambas series convergen uniformemente en cualquier disco cerrado de

centro 0 y radio r, con 0< r <1, y convergen puntualmente en el disco de radio

uno, {z; |z| < 1}.

El primer problema que se puede plantear es el estudio de la

n0cn( z z0 )n
converge
convergencia de una serie de potencias. La serie

siempre en el punto z = z0 y su valor es c0. Se trata de estudiar si adems

converge en otros puntos distintos de z0.

 Sea BR(z0) al disco abierto de centro z0 y radio R, es decir, el conjunto de

nmeros complejos z tales que |z z0| < R.

La proposicin que sigue aporta una informacin precisa sobre el

comportamiento de una serie de potencias frente a la convergencia.

Proposicin:

Si la serie cn( z z0 )n converge en un punto z1 z0, entonces

n0

converge absolutamente y uniformemente en cada disco cerrado B r(z0), con r

< |z1 z0|.

Demostracin:

Como la serie numrica n0cn( z1 z0 )n converge, el trmino general de

la sucesin {cn(z1 z0)n} tiende a cero y la sucesin est acotada. Sea M una

cota de la sucesin, es decir, sea M tal que |cn (z1 z0)n| M, para todo n, y

sea r < |z1 z0|. Se tiene entonces, para todo z

(0 )

( 0 ) ( 0 )
| ( 0 ) | = | | | | | | =
(1 0 ) (1 0 ) 1 0

Al ser |z1 z0| > r, la serie de nmeros reales

= | |
1 0
=1 =1

converge, ya que es una serie geomtrica de razn menor que 1. Aplicando el

criterio de Weierstrass se tiene entonces la convergencia absoluta y uniforme

de la serie cn( z z0 )n en el disco B r(z0), r < |z1 z0|.

n0
 Corolario:

Si la serie cn( z z0 )n converge en un punto z1 z0, y no converge

n0

en otro punto z2, existe un nmero real R > 0 tal que la serie converge en

BR(z0) y no converge en ningn nmero complejo z tal que |z z0| > R.

Demostracin:

Basta tomar R = sup{s ; z C, |z z0| = s y
c n ( z z0 ) n
n0

converge}. El supremo de este conjunto existe siempre puesto que es un

conjunto de nmeros reales no vaco y acotado superiormente por |z2 z0|.

La proposicin y el corolario anteriores permiten asegurar que si la serie

de potencias adems de converger en z0 converge en algn
c n ( z z0 ) n
n0

otro punto z1, existe un disco centrado en z0, que contiene a z1, en cuyo

interior la serie converge mientras que fuera de l la serie diverge. Es importante

observar que este disco puede tener radio infinito, en cuyo caso la serie converge

en todo el plano complejo.

Definicin:

Se llama radio de convergencia de la serie c n ( z z0 )n al nmero

n0

real R tal que la serie converge en el interior de BR(z0) y diverge si |z z0| > R.
 Si la serie slo converge en el punto z0 el radio de convergencia es 0. Por

el contrario, si la serie converge en todo el plano complejo su radio de

convergencia es infinito. En este caso, la proposicin asegura que la serie

converge absolutamente en todo el plano complejo y converge uniformemente

en cada disco Br(z0), con 0 < r < .

Utilizando el criterio de la raz se puede asegurar que

1
=
lim sup | |

La frmula anterior permite calcular el radio de convergencia de una serie

a partir de los coeficientes de la serie. Sin embargo, en la prctica suele ser ms

sencillo calcularlo directamente, estudiando la convergencia de la serie.

As, la serie geomtrica zn converge si |z| < 1 y diverge si |z| > 1.

n0

Tiene por tanto radio de convergencia 1.

Para estudiar el radio de convergencia de
=1 se puede aplicar el criterio del

cociente, con el que se obtiene.

La serie entonces converge si |z| < 1 y diverge si |z| > 1, por lo que su

radio de convergencia es 1.

Mediante el criterio del cociente se calcula el radio de convergencia de la

n
z
y se obtiene que tambin es 1.
serie 2

n 1n
 Definicin:

Se llama disco de convergencia de la serie cn( z z0 )n al disco

n0

BR(z0), donde R es el radio de convergencia de la serie.

El radio de convergencia de una serie permite pues dividir al plano complejo

en dos regiones: el disco de convergencia de la serie, en cuyos puntos la serie

converge, y el exterior del disco, es decir, los puntos z del plano tales que |z

z0| > R, donde la serie diverge. En los puntos de la frontera entre las dos regiones

el comportamiento de la serie frente a la convergencia puede dar lugar a

situaciones diferentes, como se puede apreciar en los ejemplos que se acaban

de estudiar:

n n
Las series
zn ,
z z
y tienen el mismo radio de

n0 n 2
n 1 n 1n

convergencia, R = 1. Sin embargo, su comportamiento frente a la convergencia

en los puntos z de la frontera, |z| = 1, es diferente en los tres casos, como se

ver a continuacin.

La serie geomtrica zn no converge en ningn punto de la

n0
circunferencia de centro 0 y radio 1, ya que para cada z0, |z0| = 1, z0n no tiende

a 0 al tender n a infinito. Lo que sucede es que para cada z0, |z0| = 1, con arg(z0)

= k, si k es un nmero racional, los valores de z0n se repiten a partir de un n

suficientemente grande, con lo que la serie tiende a infinito. Y si k es un nmero

irracional, los valores de z0n no se repiten y van recorriendo puntos diferentes del

crculo unidad sin aproximarse a ninguno

frontera. Si z = 1 la serie diverge, pues es la serie armnica. En cambio, la serie converge si z =
1 pues coincide con la serie armnica alternada. De hecho, se puede demostrar que converge
en todos los puntos de la circunferencia unidad salvo en z = 1.

Serie de potencias
Una serie de potencias en es: (z- zo)

Centro de Coeficientes complejos

Desarrollo
Ejm:_ n! ( z i )
n 0 2
1 ( z i) ( z i)2

1 n 1

Convergencia de series de potencias

Las series de potencias en general convergen para algunos

valores de z, y para otros .

z
n 0
n
1 z z2 z3

Por ejemplo la serie

converge para |z |<1, pero diverge para |z |1.

En resumen:
El radio de convergencia R puede ser:
(i) cero (converge solo en z = z0).
(ii) un nmero finito R (converge en todos los puntos del crculo |z z0| < R).
(iii) (converge para todo z).

La serie de potencias puede converger en algunos, todos o ninguno de los puntos de la

circunferencia de convergencia. Hay que determinarlo por separado
SERIE DE TAYLOR
Historia

El filsofo eleata Zenn de Elea consider el problema de sumar una

serie infinita para lograr un resultado finito, pero lo descart por
considerarlo imposible: el resultado fueron las paradojas de Zenn.
Posteriormente, Aristteles propuso una resolucin filosfica a la
paradoja, pero el contenido matemtico de esta no quedo resuelto
hasta que lo retomaron Demcrito y despus Arqumedes. Fue a
travs del mtodo exhaustivo de Arqumedes que un nmero infinito
de subdivisiones geomtricas progresivas podan alcanzar un
resultado trigonomtrico finito. Independientemente, Liu Hui utiliz un
mtodo similar cientos de aos despus.
En el siglo XIV, los primeros ejemplos del uso de series de Taylor y
mtodos similares fueron dados por Madhava of Sangamagrama. A
pesar de que hoy en da ningn registro de su trabajo ha sobrevivido
a los aos, escritos de matemticos hindes posteriores sugieren que
l encontr un nmero de casos especiales de la serie de Taylor,
incluidos aquellos para las funciones trigonomtricas del seno,
coseno, tangente y arcotangente.
En el siglo XVII, James Gregory tambin trabaj en esta rea y
public varias series de Maclaurin. Pero recin en 1715 se present
una forma general para construir estas series para todas las
funciones para las que existe y fue presentado por Brook Taylor, de
quin recibe su nombre.
Definicin
Tal y como sabemos para el mbito de los reales, si dada una funcin
f podemos derivarla tantas veces como queramos en un determinado
entorno (0 , 0 +) centrado en 0 entonces podemos expresar
el valor de la funcin para cualquier punto de ese entorno mediante
una serie de Taylor:

() (0 )
() = ( 0 ) ; (0 , 0 +)
!
=0

Siendo () (0 ) la derivada n-sima de la funcin en el punto 0 y

tomando el convenio de que (0) (0 ) = (0) . La enorme utilidad de
esta expresin radica en que nos permite conocer la funcin en un
punto x cualquiera dentro del entorno a partir de conocer solamente
a la funcin en uno de sus puntos 0 . Evidentemente cuantos mas
trminos de la serie cojamos mas nos acercamos al valor que
realmente tiene () , pero el hecho de que a medida que cojamos ms
trminos de la serie estos se vayan haciendo cada vez mas pequeos
nos permite en muchas ocasiones obtener aproximaciones
suficientes para nuestros propsitos tomando solo los trminos hasta
n = 1 o n = 2.
Seria pues muy interesante poder ampliar el rango de accin de esa
herramienta hacia el cuerpo de los complejos, y de hecho
disponemos ya de algunos teoremas sobre funciones complejas que
nos permiten hacerlo, Esta extensin deber cumplir ( como todas las
extensiones de los reales a los complejos) que al limitar nuestra
funcin compleja para que trabaje solamente en los reales (
recordemos que los reales son un subconjunto de los complejos)
recuperemos el resultado que ya conocamos para estos.
Teorema de Taylor

Sea =0 ( ) una serie con radio de convergencia R > 0.
Como se vio, la funcin:

() = =0 ( ) (1)

Definida en su regin de convergencia, es analtica en el disco|

| < .
A su vez, dada la suma de la serie, () , podemos determinar los
coeficientes, : Por el teorema de Weierstrass, las derivadas
sucesivas de () se obtienen derivando trmino a termino :

!
() () = ( )
( )!
=

( )!
= + ( ) (2)
!
=

Y en particular () () = ! , es decir
() ()
= (3)
!
Y por tanto,

() ()
() = ( ) (4)
!
=0
Se deduce que la serie queda unvocamente determinada por su
suma. Obsrvese que los coeficientes se pueden determinar
tambin integrando, en lugar de derivando, mediante la frmula
integral de Cauchy.

Teorema. (Desigualdades de Cauchy.) Sea () la suma de una

serie de potencias centrada en a con radio de convergencia > 0.
Y sea |()| en el disco | | < (0 < ). Entonces,
() ()
| | , n = 0,1,2. .. (5)
!
Demostracin: Sea la circunferencia de radio , 0 < <
centrada en a y orientacin positiva, entonces, por la frmula
integral de Cauchy,
! ()
() = , n = 0,1,2, . .. (6)
2 ( )+1
Dado que K es una cota de s(z) en el disco |z a| < que contiene
a se deduce
() () ! !
| | 2 = < (7)
! 2 +1

y en consecuencia se obtiene (5) que es la mejor de las cotas.

La serie =0 ( ) define una funcin analtica en z = a
(siempre que el radio de convergencia sea no nulo). Veamos un
recproco:
Teorema. Sea f(z) analtica en el disco abierto = { | | <
} para cierto > 0. Entonces, () admite desarrollo en serie de
Taylor en D, es decir,
() ()
() = =0 ( ) (8)
!

Y por tanto R , siendo R el radio de convergencia de la serie.

= () ()/! son los coeficientes del desarrollo en serie
de Taylor de f(z) en torno a z = a.
Demostracin: 0 < < , la circunferencia de radio r y
centro a (con orientacin positiva) y |z a| < r.
 (9)

En la tercera igualdad se usa que | | < 1 para justificar el
a
desarrollo. Dado que () es continua en , est acotada y la
convergencia es uniforme. Esto justifica integrar trmino a trmino.
La igualdad (9) vale para todo z tal que |z a| < r y todo r < , por
tanto z en |z a| < .
Notas:
1) Toda funcin analtica lo es en algn disco por pequeo que sea,
y se aplica el teorema.
2) El teorema no afirma que f(z) sea analtica en todo su disco de
convergencia DR = {|z a| < R} (en cuyo caso coincidira con la
suma de la serie). Por ejemplo la funcin
, 1
() = { (10)
0, = 1
Es analtica en el disco |z| < 1 y ah coincide con la suma de su serie
de Taylor, con radio de convergencia infinito, pero no es analtica en
z = 1. En general la funcin () estara definida en un dominio
mayor, E, tal que E y la serie y la funcin pueden no coincidir
fuera de . El teorema implica que s () y () no coinciden en
todo , () no puede ser analtica en todo .
3) El teorema implica que si () es derivable en el entorno de un
punto como funcin compleja, automticamente tambin es analtica
en el sentido de desarrollable en serie de potencias con radio de
convergencia no nulo. La misma propiedad no es vlida para
funciones reales.
Puntos regulares y singulares
Definicin.
Si en 0 la () es analtica, se dice que 0 es un punto regular de
(), en otro caso se dice que 0 es un punto singular de ()
(incluidos los puntos en los que () no est definida.)
Ejemplo. Los puntos de ramificacin de una funcin multievaluada
son puntos singulares. Los puntos a, b son puntos singulares de
1/(( )( )).
Teorema. Sea () analtica en z = a, con radio de convergencia
< . () es analtica en todo el disco {| | < },
entonces necesariamente tiene algn punto singular en la frontera
{| | = }.
Demostracin: Si () fuera analtica en todos los puntos |
| , habra un disco mayor {| | < }, > , en el cual
tambin sera analtica y por tanto coincidira con su desarrollo en
serie de Taylor en un disco de radio mayor que R, en contra de la
hiptesis de que R es el radio de convergencia.
1
Ejemplo. Para la funcin real 2 , , su desarrollo en serie de
+1
potencias en torno a = 0, 1 2 + 4 6 + , deja de
converger cuando || 1 sin razn aparente, ya que la funcin es
perfectamente bien comportada para todo x real. Esto se entiende
1
yendo al plano complejo: () = 2 es analtica excepto =
+1
. Por lo tanto es analtica en el disco || < 1 y necesariamente
1. Si R fuera mayor que 1 la suma de la serie sera analtica en
1
= . Eso es imposible porque la suma de la serie es 2 en el
+1
disco || < 1 y el lmite . Se deduce que = 1.
Nota: El teorema no afirma que una funcin () analtica en =
con radio de convergencia finito R en su serie de Taylor tenga
necesariamente que ser singular en algn punto de | | = .
Por ejemplo la funcin.
1 1
, || <
() = {1 1
2
(11)
0,
2

analtica = 0 = 1 es tambin analtica en || = 1.

Como regla, el radio de convergencia llega hasta la singularidad
ms prxima, a menos que esa singularidad se pueda evitar
redefiniendo la funcin de modo que sea analtica en un dominio
mayor. Singularidades que no se pueden evitar son, entre otras,
polos (el lmite existe pero es infinito), singularidades esenciales (el
lmite no existe) y puntos de ramificacin.
Teoremas de unicidad
Teorema. Sean () () dos funciones analticas en un disco

abierto D centrado en 0 y tal que () = =0 ( )
es un punto de acumulacin de . Entonces, () = () para
todo z de tambin () = () en todo el disco D.
Demostracin: Por ser analticas, () () admiten desarrollo en
serie de Taylor en (es decir, coinciden con las sumas de sus
series de Taylor en D). Se va a probar que los coeficientes del
desarrollo estn determinados exclusivamente por el valor de las
funciones en E. Como las dos funciones coinciden en E los
coeficientes del desarrollo sern idnticos y por tanto las dos
funciones coincidirn en D. En efecto,

() = ( 0 ) , . (12)
=0

Figura: Extensin analtica a base de discos centrados en una curva

C que une el punto fijo 0 con un punto cualquiera z del dominio G.
() es continua en 0 y este punto se puede alcanzar tomando el
lmite dentro de E, es decir,
0 = (0 ) = lim () = lim () (13)
0 0

Para obtener 1 definimos

() (0 )
1 () = = +1 ( 0 ) , (14)
0
=0

1 () es analtica en D, por tanto

0 = 1 (0 ) = lim 1 () (15)
0

Los dems coeficientes se obtienen definiendo sucesivamente

() = (1 () 1 (0 ))/( 0 ), de modo que = (0 ) se
obtiene con valores solo en E.
Teorema. (Unicidad de funciones analticas.) Sean () () dos
funciones analticas en un mismo dominio G, y supongamos que
() = () en los puntos de un subconjunto , tal que E tiene
un punto lmite 0 G. Entonces () = () .
Demostracin: Sea z un punto cualquiera de G y C un arco de 0 a
contenido en G. Sea la distancia de C a la frontera de G o bien un
valor positivo arbitrario si = . Se deduce que los discos abiertos
de radio centrados en puntos de C estarn contenidos en G.
Ahora , = 1, . . . , puntos consecutivos de C tales que
= | 1| < . [Esto siempre es posible: si |
0 | < ya est, con N = 1. Si no, sea 0 < r < y sea 1 una
interseccin de C con la circunferencia de radio r centrada en 0 . Se
repite la construccion tomando como centro 1 para obtener 2 a
distancia r, y as sucesivamente, acabando en = . El N
requerido es finito ya que la longitud de C es finita y es mayor que
.] Sean los discos de radio centrados en los . Por el
teorema de unicidad en discos, las dos funciones coinciden en 0 y
en particular en un entorno 1 0. Por tanto tambin coinciden
en D1. Repitiendo el argumento para 1, se obtiene que
las funciones coinciden , .
Representaciones por series de Taylor
1. Funcin exponencial:



=
!
=0
2. Funcin seno:

(1) 2+1
sin =
(2 + 1)!
=0
3. Funcin coseno:

(1) (2 + 1) 2+1 (1) 2
cos = =
(2 + 1)(2)! (2)!
=0 =0

4. Funcin seno hiperblico:

Sabemos que = , para todo z, en particular para

= , entonces =

Por lo tanto

(1) () 2+1
sin = =
(2 + 1)!
=0
Analicemos

Entonces:

(1) (1) 2+1
2
sinh =
(2 + 1)!
=0

2+1
=
(2 + 1)!
=0

5. Funcin coseno hiperblico:

(2 + 1) 2 2
cosh = =
(2 + 1)(2)! (2)!
=0 =0

Serie de MacLaurin

Si () = =0 ( ) en el disco | 0 | < ,
() ()
entonces = para ( = 0, 1, 2, ). Es decir:
!

() ()
() = ( ) .
!
=0
Nota: Se dice, entonces, que la serie de la lnea interior de
Taylor de f alrededor de a (si a = 0, se usa el nombre de serie
de MacLaurin).

Resumiendo, la suma de una serie de potencias en el disco de

convergencia es una funcin analtica, y en este dominio la
serie se puede derivar exactamente como se hara con un
polinomio. La funcin suma tiene un nico desarrollo en serie
de potencias alrededor de un punto,

Estas consideraciones llevan ahora al problema inverso, vale

decir: siendo f una funcin que es analtica en un entorno de
un punto a, se podra escribir la serie de Taylor
correspondiente; la cuestin es saber si esta serie de Taylor
converge a la funcin f en un entorno de a. Probamos a
continuacin que la respuesta es positiva.

Ejemplo: Tal vez sera instructivo observar que el resultado

correspondiente es falso en el caso real, Si f es derivable,
incluso en tosa la recta en primer lugar sabemos que pueden
no existir las derivadas superiores. Pero an si todas las
derivadas existen, con lo cual uno podra escribir la Serie de
MacLaurin correspondiente, a la Serie MacLaurin puede no
converger a la funcin f. En el ejemplo siguiente dejamos los
detalles como ejercicio.
Sea f la funcin definida en toda la recta como sigue: (0) = 0,
2
y para 0, () = 1/ . No es difcil ver que esta funcin
es derivable en toda la recta y que, en el origen:

(0) = (0) = "(0) =. . . = 0

La serie de MacLaurin de 0 + 0 + 0 2 + 0 3 +. .. , que,

por supuesto, converge a cero en toda la recta; la serie
converge, pero no a la funcin de la cual provino. El punto
clave que simplifica los clculos es que la exponencial
converge a cero si se la multiplica por cualquier funcin
racional (como ocurre al calcular derivadas).

SERIES DE LAURENT
Series de Laurent, si una funcin f(z) es analtica en una regin (digamos que circular) R,
entonces puede ser expandida por series de Taylor. Sin embargo, si f(z) tiene un polo de orden
p, digamos, en z = 0 , dentro de la regin R, no ser analtica en ese punto, mientras que la
funcin: g (z) = ( 0 ) f (z) si lo ser en todos los puntos de esa region. Entonces f(z) podr
ser expandida como series de potencias (de Laurent) de la forma.
 1 ()
()
= ( 0 ) = =0 ( 0 ) = =0 ; = ;
(0 ) 2 2 ( 0 )+1,

Para n = 0, 1, 2, y 1 < |z-0 | > 2 . Equivalentemente

() +1 1
() = = + ++ + 0 + 1 ( 0 ) + 2 ( 0 )2 +
(0 ) (0 ) (0 )1 (0 )

La suma de todos los trminos que tengan potencias negativas, vale decir
=0 ( ) , se
0
denomina parte principal de f (z).

Para demostrar las ecuaciones anteriores recordamos que, tal y como muestra la figura 1
cuadrante I, si f (z) es analtica en la regin anular, entonces el teorema de Cauchy, nos
garantiza que
1 () 1 () 1 () 1 ()
f(z) = 2 0
+ 2 0
2
0
- 2 0
1 2 1 2

donde en el segundo caso hemos supuesto que ambas circulaciones tienen el mismo sentido.

Del mismo modo como procedimos en la ecuacin (1) reescribimos el segundo par de
integrales como:

1 () 1 1 () 1
() = [ ]+ [ ]
2 1 0 1 0 2 2 0 1 0

0 0
Y ahora invocando, una vez ms la progresin geomtrica (2) podemos construir expresiones
de integrales equivalentes a la ecuacin (3). Vale decir.
0 0
1 () 0 ( ) 1 () 0 ( )
0 0
() = 1 [ 1
=0 )
( + 0 ]+ [ 1
=0 )
( + 0 ]
2 0 0 ( ) 2 2 0 0 ( )
0 0

Y equivalentemente

1 () 1 () 0
() = 1
=0 ( 0 ) 1 +1 + () + [ 1
=0 ( ) +
2 ( 0) 2 2 0 0

0
( )
0
0 ]
( )
0

(8)

Con lo cual queda demostrado la forma funcional de los coeficientes de la expansin de Laurent.
La demostracin de la convergencia, esto es 1 () 2 () 0 sigue el mismo
esquema que utilizamos para hallar la convergencia de la ecuacin (6) y se lo dejamos a manera
de ejercicio.

Otra manera de representar las series de Laurent es por medio de las frmulas:


() = ( 0 ) + , 1 < | 0 | < 2
( 0 )
=0 =0

Donde:
1 ()
= , = 0,1,2 ,
2 ( 0 )+1
1 ()
= , = 0,1,2 ,
2 ( 0 )+1

En este caso, se supone que la funcin es analtica en el dominio anular: 1 < | 0 | < 2 y C
es un contorno cerrado simple en torno a Z0 y contenido en la regin anular.

En el caso de Bk podemos ver que el integrando se puede escribir tambin como

()( 0 )1 .
Si f es analtica en | 0 | < 2 entonces el integrando es una funcin analtica en dicho disco
y por lo tanto = 0. Es decir, la serie (9) se reduce a una serie de Taylor donde los coeficientes
son:

1 () () (0 )
= = , = 1,2, ,
2 ( 0 )+1 !

Una serie de la forma:

()=
=1 ( ) ,
0

Es una serie de potencias en la variable w = ( 0 )1, por tanto, existe 0 R , tal que la
serie converge absolutamente a una funcin analtica si | 0 | > y diverge | 0 | < ,
siendo la convergencia de la serie absoluta y uniforme en el complemento de cualquier disco
D(0 ;r) con r > , consideremos ahora la expresin

() = ( 0 ) + ( 0 ) ( )
( 0 )
=0 =1 =

La primera serie converger absolutamente en un disco D(0 ; 2 ), y la segunda para

| 0 | > 1 . Por tanto, f estar definida y ser analtica en la corona circular.

C (0 ; 1 , 2 ) = { z : 1 < | 0 | < 2 } ,

(Corona de convergencia), siempre y cuando sea 0 1 < 2 . Adems (por los

resultados sobre series de potencias) la convergencia de ambas series es absoluta y uniforme en
toda subcorona cerrada contenida en C (0 ; 1 , 2). Una serie tipo ( I ) se denomina serie de
Laurent centrada en 0 .

Teorema de Laurent. Sea f una funcin analtica en la corona C (0 ; 1 , 2 )

(Con 0 1 < 2 ). Si 1 < < 2, sea la circunferencia de centro 0 y radio r

orientada positivamente, y definamos.

1 ()
= , ()
2 ( 0 )+1

Entonces f admite el desarrollo en serie de Laurent

() = ( 0 ) , ()
=

Donde la serie del miembro derecho converge absoluta y uniformemente en cada subcorona
cerrada contenida en C (0 ; 1 , 2 ).

Demostracin. Sea A = C (0 ; 1 , 2 ) con 1 < 1 < 2 < 2 , de modo que la corona cerrada
est contenida en C (0 ; 1 , 2 ) Llamemos r1 1, r2 2. La curva cerrada S + 2 1 S es
homtopa a un punto en C (0 ; 1 , 2). Por la formula integral de Cauchy,

1 ()
() =
2 +21

1 () 1 ()
= = 1 () + 2 (),
2 2 2 1

La demostracin del teorema de Laurent consiste, bsicamente, en desarrollar f1 y f2 como

series de potencias en 0 y ( 0 )1 , respectivamente. Para f1, repitiendo el
razonamiento que se utiliz para probar el teorema de Taylor se obtiene.

1 1 0
1 () = () ( )
2 2 0 0
=0

1 ()
( 0 ) . ,
2 2 ( 0 )+1
=0
Donde el ultim0 paso esta justificado por la convergencia uniforme de la serie para w 2 (w
2 | 0 |/ | 0 | = | 0 |/ 2 < 1). En cuanto a 2 , basta observar que si 1 < | 0 |
se tiene.
1 1 1 (0 )

= 0 =
=0 ( +1
0 1 0)
0

De nuevo la convergencia es uniforme para w 1 (w 1 |w-0 |/|z-0 | = 1 /|z-0 | < 1), por
lo que

1 ( 0 )
2 () = () )
2 2 ( 0 )+1
=0

1
= ( 0 )1 . ()( 0 )
2 2
=0

1 ()
= ( 0 ) .
2 1 ( 0 )+1
=

Por el teorema de la deformacin, ()( 0 )1 es independiente de r si

1 < < 2 , lo que prueba (II) Y (III). La corona de convergencia de la serie de Laurent (II) (III)
es por lo menos C (0 ; 1 , 2); por tanto de las propiedades de las series de Laurent se deduce
que la convergencia de dicha serie es absoluta y uniforme en toda subcorona cerrara centrada
en 0 y contenida en C (0 ; 1 , 2 ).

Clasificacin de singularidades aisladas

Definicin.- una funcin : C C tiene una singularidad aislada en 0 C si f es analtica en

algn entorno reducido C (0 ; 0, ) (r>0) de 0 .

Por el teorema de Laurent, si f tiene una singularidad aislada en

z0 existe r > 0 tal que f admite un desarrollo en serie de Laurent en
C (z0; 0, r):

() = + ( 0 ) , 0 < | 0 | < .
( 0 )
=1 =0

i) Si bk = 0 para todo k N, se dice que z0 es una singularidad evitable de f.

ii) Si 0 y bk = 0 para todo k > p, el punto z0 es un polo de orden p para f.
iii) Finalmente, si existen infinitos coeficientes 0 se dice que f tiene una singu-
laridad esencial en z0.
. n.- La serie
Definici
n =0 ( 0 )

se denomina parte principal del
desarrollo

de Laurent de f en z0. El residuo de f en z0 es

 Res (f ; z0) = b1.

Ejemplo: Las funciones f1 (z) = sen z/z, f2 (z) = 1/ sen2 z y f3 (z) = e1/z tienen
respec- tivamente una singularidad evitable, un polo de orden 2 y una
singularidad esencial en el origen.
Si f tiene una singularidad evitable en z0 entonces, definiendo f (z0) = a0, f es analtica
en D(z0 ; r) (ya que la serie de potencias que representa a f para 0 < |z z0 | < r converge, de
hecho, en un crculo abierto de radio R r). En tal caso,
lim [( 0 )()] = 0 (3.7)
0

Recprocamente, si f es analtica en un entorno reducido de z0 y se verifica entonces

f tiene una singularidad evitable en z0. En efecto, si m N el teorema de Cauchy
generalizado proporciona

1
= ()( 0 )1 = 0
2

Si f tiene un polo de orden p en z0 entonces

1 ()
() =
( + 1 + + 1 ( 0 )1 + ( 0 )+ )
( 0 ) ( 0 )
=0

Siendo F analtica en un entorno de z0 y (0 ) = 0. En particular, 1/f tiene

una singularidad evitable (cero de orden p) en z0 . Recprocamente (vease el
comentario al final de la demostracin del teorema de Taylor) si f tiene un cero de
orden p > 0 en z0 entonces 1/f tiene un polo de orden p en z0.
Si f tiene un polo de orden p en z0 entonces
lm |f (z)| = ; (3.8)
z z 0

En particular, |f | no est acotado en un entorno reducido de z0 . (3.8) no se cumple si f

Tiene una singularidad esencial en z0. Por ejemplo, si f (z) = e1/z y zn = 1/(2ni)
n

0 se tiene f (zn) = 1 para todo n N.

Teorema de CasoratiWeierstrass. Si f tiene una singularidad esencial en z0 y

a C, existe una sucesin { }

=1 tal que 0 ( )
Nota: de hecho (teorema de Picard), se puede encontrar una sucesion { }
=1
tal
que zn z0 y f (zn ) = a para todo numero complejo a, con a lo sumo una
excepcion (cf. f (z) = e1/z ).
Supongamos que f = g/h, donde g y h son funciones analticas en z0 con ceros
de orden n y m 1, respectivamente, en dicho punto. Entonces existe r > 0

Escriba aqu la ecuacin.

Algunos ejemplos
En muchos las expansiones de series de Laurent no se generan a partir de las ecuaciones (6) o (9)
sino a partir de manipulaciones algbricas y expresiones en Taylor moduladas por otros factores.

EJEMPLO 1:

El primero lo haremos directamente, vale decir, como lo vamos a hacer no lo haremos otra vez,
queremos hacer una representacin en serie de Laurent de la funcin:
1
() =
( 1)
Utilizando las frmulas de (8), construimos la relacin
1 () 1 1 1
= 2 1 ( +1 = 1 +2 (1) = 2 1 +2
=0 = 2 =0 1 +2
0) 2

Convirtiendo en la forma polar tenemos

1 =1 1
+2 (+2) = +2,1 { =0 <1
2 1
=0 =0

Es decir
1 1
() = = 1 2 3
( 2)
Consideremos los siguientes ejemplos de desarrollos en Series de Laurent:

EJEMPLO 2:

La funcin puede escribirse en la forma:

1 1 1 1
() = = [ ] , 0 < || < 2
( 2) 2 2
Por otro lado sabemos que:

1 1 1 1
= = ( ) = , || < 2
2 21 2 2 2+1
2 =0 =0

Por lo tanto:

1 11 1
() = = +1
( 2) 2 2 2
=0

11 1 1 1 1 3 1 4 1 5
= 2 , 0 < || < 2
2 4 8 16 32 64 128
EJEMPLO 3:
 1
() =
( 1)( 3)
Esta funcin tiene polos de orden 1 en z = 1 y z = 3. Adems expresando f(z) como una suma de
fracciones parciales tendremos:
1 1 1 1
() = = [ ] , 1 < || < 3
( 1)( 3) 2 1 3
Para 1 < || < 3
Tendremos los siguientes desarrollos:

1 1 1 1 1 1
= = ( ) = +1 , || > 1,
( 1) 1 1
=0 =0

1 1 1 1
= = ( ) = , || < 3,
3 31 3 3 3+1
3 =0 =0
La serie es:

1 1 1
() = = [ +1 + ]
( 1)( 3) 2 3 +1
=0 =0

1 1 1 2 1 3 1 1 1 2 1 3
= .
6 18 54 162 2 2 2
Para |z|> 3.
En este caso no podemos utilizar el segundo desarrollo anterior, ya que este es vlido slo
para |z|< 3. Por lo tanto:

1 1 1 1 3 3
= = ( ) = +1 , || > 3,
3 13
=0 =0

Podemos entonces escribir

1 1 1 3 1 1 3
() = = [ +1 +1 ] = +1
( 1)( 3) 2 2
=0 =0 =0

= 2 + 4 3 + 13 4 + 40 5 +

Para |z|< 1
Escribimos
1 1 1 1 1 1 1 1
() = = [ ]=
( 1)( 3) 2 1 3 2 1 6 1
3
Como |z|< 1 y |z/3| < 1 en este dominio

1 1 1 1
() = = [1 +1 ]
2 6 3 2 3
=0 =0 =0
1 4 13 40 3 121 4
+ + 2 + + + .
3 9 27 81 243
Conclusiones:
Toda serie de potencias viene caracterizada por su radio de convergencia. Para
valores de la variable dentro de dicho radio de convergencia, la serie converge, es
decir, la suma de sus infinitos trminos converge a un valor finito. Determinar el
radio de convergencia es fundamental para poder manipular la serie de potencias
como una funcin dentro de su dominio de existencia. Fuera del intervalo o crculo
de convergencia determinado a partir del radio de convergencia, la funcin diverge
y, por tanto, su utilizacin matemtica es puramente formal, en principio. Derivar e
integrar una funcin definida como la suma infinita de potencias de la variable slo
puede realizarse en el interior del intervalo de convergencia. Es all donde somos
capaces como hemos visto de sumar dicha serie o su derivada/integral a fin
de poder indirectamente determinar el valor de la suma de una serie de nmeros
reales. En este campo de las matemticas, donde la comprobacin de resultados
no es fcil, Mathcad nos proporciona una inestimable ayuda.