k k

 ak  bk    a jb kj    a kjb j
k0 k0 k0 j0 k0 j0

Producto de Cauchy

Ejemplo. Sean las series  a k y  b k con b 0  0, entonces

 ak
k0
 bk
  ck
k0
k0

o equivalentemente
k
 ak   ck  bk    c jb kj
k0 k0 k0 k0 j0

de donde
k
ak   c jb kj para k  0, 1, 2, . . .
j0

Si k  0 tenemos
a0  c0b0
a0
de donde c 0  b0
.
Si k  1 tenemos
a1  c0b1  c1b0
de donde
a
c 1  1 a 1  c 0 b 1   1 a 1  0 b 1  12 a 1 b 0  a 0 b 1 
b0 b0 b0 b0
Se sigue de la misma forma para calcular los coeficientes c k .

————————————————————————————————————————
Recordemos que la serie geométrica tiene la expresión

 zk  1 si |z|  1
1z
k0

Serie de Taylor

Sean f : C  C analítica, z 0  domf y B r z 0   domf. Si z  B r z 0  (ver la figura),

por la fórmula de la integral de Cauchy tenemos

fz  1  dw  1 
fw fw
dw
2i C r z 0  w  z 2i C r z 0  w  z 0  z  z 0 

 1 
fw
zz 0 dw
2i C r z 0  w  z 0 1  wz 0

z  z 0  k
SG
 1 C z  fw
w  z0  dw
2i r 0
k0 w  z 0  k
z  z 0  k
 1 C z  fw  dw
2i r 0
k0 w  z 0  k1

  1 C z  fw
dw z  z 0  k
k0
2i r 0 w  z 0  k1

  k!1 k! C z  fw
dw z  z 0  k
k0
2i r 0 w  z 0  k1
k
z 0 
 f k!
z  z 0  k
k0

Luego para z  B r z 0  tenemos

k
z 0 
fz  f k!
z  z 0  k
k0

Esta serie se denomina serie de Taylor de f alrededor de z 0 .

Ejemplo 1. Sea fz  e z y sea z 0  0, entonces f k z 0   1, por lo tanto

ez   1 zk
k0
k!

Ejemplo 2. Sea fz  sinz y sea z 0  0, entonces f0  0 y

 f  z  cosz  f  z 0   1
f  z   sinz  f  z 0   0
f  z   cosz  f  z 0   1
f 4 z  sinz  f 4 z 0   0
  
por lo tanto
1 k 2k1
sinz   2k  1!
z
k0

Como consecuencia
1 k
cosz   2k  1!
2k  1z 2k
k0

1 k 2k
  2k!
z
k0

Ejemplo 3. Sea fz  arctanz, entonces

f  z  1
1  z2
 1
1  z 2 
 1 k z 2k
k0

y por lo tanto
1 2k1 k
 0 f  wdw  1 k  0 w2k dw  arctanz   2k
z z
z
k0
1 k0

Serie de Laurent

Sea f : C  C analítica en el conjunto Az 0 , r, R  z  C : r  |z  z 0 |  R (ver la figura)

y para z  Az 0 , r, R sea   0 tal que C  z  Az 0 , r, R.

Por el teorema de Cauchy - Goursat generalizado
 C z 
R
fw
w  z dw  C z 
w  z dw  C r z 0  w  z dw
fw fw
0

de donde

C z

fw
w  z dw  C z  R 0
w  z dw  C r z 0  w  z dw
fw fw
(*)

Miremos ahora cada una de estas integrales

Por la fórmula de la integral de Cauchy, 
fw
(1) dw  2ifz
C  z wz
(2) Por lo realizado al obtener la serie de Taylor de f, tenemos que
f k z 0 
 fw
C R z 0  wz
dw  2i  k!
z  z 0  k

k0
(3)

C z 
r 0
fw
w  z dw  C z 
r 0
fw
w  z 0  z  z 0 
dw   
fw
C r z 0  z  z 0 1 
wz 0

dw
zz 0

w  z 0  k
 
fw
SG

C r z 0 
z  z0  z  z 0  k
dw
k0

  C z  fww  z 0  k dw 1
k0 r 0 z  z 0  k1

  C z  fw
dw 1
k0 r 0 w  z 0  k z  z 0  k1

  C z  fw
dw 1
k1 r 0 w  z 0  k1 z  z 0  k

Reemplazando en (*) tenemos

f k z 0 
2ifz  2i  z  z 0  k   C z  fw
dw 1
k0
k! k1 r 0 w  z 0  k1 z  z 0  k
o equivalentemente
k
z 0 
fz  f z  z 0  k   1 C z  fw
dw 1
k0
k! k1
2i r 0 w  z 0  k1 z  z 0  k
Esta serie es la serie de Laurent de f en potencias de z  z 0 .

Observación. La manera habitual de expresar la serie de Laurent es

fz   a k z  z 0  k   z bzk donde

0
k
k0 k1

f k z 0 
ak   1 C z  fw
dw
k! 2i r 0 w  z 0  k1
bk  1 C z  fw
dw
2i r 0 w  z 0  k1