Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 1

SESIN 10: SERIES DE TAYLOR

Al igual que en el clculo real, las series complejas de Taylor juegan un papel muy
importante, sobre todo para aproximar funciones mediante series de potencias.
Una serie de la forma
1
X
n=0
c
n
(. .
0
)
n
:= c
0
+
1
X
n=1
c
n
(. .
0
)
n
con c
n
. .. .
0
C se llama serie de potencias.
Teorema 1 Dada la serie de potencias
P
1
n=0
c
n
(. .
0
)
n
, sea
1 :=
1
lmsup [c
n
[
1=n
[0. ]
1. Si 0 < 1 < , la serie converge absoluta y uniformemente en el disco abierto
. : [. .
0
[ < 1 y diverge en . : [. .
0
[ 1.
2. Si 1 = 1,0 := , la serie converge absoluta y uniformemente en todo el plano
complejo.
3. Si 1 = 1,:= 0, la serie slo converge en el punto . = .
0
.
El nmero 1 R := R' se llama radio de convergencia de la serie de potencias
P
1
n=0
c
n
(..
0
)
n
. El disco abierto de radio 1 y centro .
0
en el plano complejo, 1
R
(.
0
) =
. C : [. .
0
[ < 1, es el disco o crculo de convergencia de dicha serie.
Particularizando la segunda parte del teorema de la convergencia analtica (Teorema
5, Sesin 9) a la serie formada por las funciones analticas q
n
(.) = c
n
(. .
0
). se deduce
de forma inmediata el resultado siguiente:
Teorema 2 (Analiticidad de las series de potencias) Sea
P
1
n=0
c
n
(. .
0
)
n
una serie
de potencias con radio de convergencia 1 0 y sea , la funcin suma en el crculo de
convergencia de la serie 1
R
(.
0
). Entonces, , es una funcin analtica en 1
R
(.
0
) y sus
derivadas son
,
(k)
(.) =
1
X
n=k
:(: 1)...(: / + 1)c
n
(. .
0
)
nk
. \/ N. \. 1
R
(.
0
)
Es decir: una serie de potencias puede derivarse trmino a trmino / veces para
hallar la derivada /-sima de la funcin suma y, adems, el radio de convergencia de
todas estas series derivadas sigue siendo 1, el radio de convergencia de la serie de
potencias original.
Asimismo y en virtud del Teorema 3-2 de la Sesin 9, una serie de potencias ,(.) =
P
1
n=0
c
n
(..
0
)
n
puede ser integrada trmino a trmino a lo largo de cualquier contorno
contenido en su crculo de convergencia:
Z

,(.)d. =
1
X
n=0
c
n
Z

(. .
0
)
n
d.. \ 1
R
(.
0
)
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 2
Teorema 3 (Teorema de Taylor) Sea , una funcin analtica en .
0
C y sea 1
R
(.
0
)
el mayor disco abierto centrado en .
0
tal que , es analtica en 1
R
(.
0
). Entonces existe
una serie de potencias que converge a , en 1
R
(.
0
), es decir,
,(.) =
1
X
n=0
c
n
(. .
0
)
n
. [. .
0
[ < 1 (1)
donde
c
n
=
,
(n)
(.
0
)
:!
. : = 0. 1. 2. ... (2)
Prueba. Sea 0 < : < 1 y (t) = .
0
+ :c
it
. 0 _ t _ 2:. el crculo de centro .
0
y radio
: orientado positivamente. Por la frmula integral de Cauchy,
,(.) =
1
2:i
I

,()
.
d .
int
(3)
donde
1
.
=
1
.
0
1
1
zz
0
z
0
=
1
.
0
1
X
n=0

. .
0
.
0

n
uniformemente en = J1
r
(.
0
) ya que [. .
0
[ < [ .
0
[ si .
int
= 1
r
(.
0
).
Sustituyendo en (3),
,(.) =
1
2:i
I

1
X
n=0
,()(. .
0
)
n
( .
0
)
n+1
d (4)
Por otra parte, ,(),( .
0
) es continua para \ y, por tanto, acotada en el com-
pacto . Ello implica que la serie que aparece en el integrando de (4) es uniformemente
convergente, por lo que podemos intercambiar sumacin e integracin con el siguiente
resultado:
,(.) =
1
X
n=0
1
2:i
I

,()(. .
0
)
n
( .
0
)
n+1
d
=
1
X
n=0

(. .
0
)
n
1
2:i
I

,()
( .
0
)
n+1
d

=
1
X
n=0

(. .
0
)
n
,
(n)
(.
0
)
:!

donde
c
n
=
1
2:i
I

,()
( .
0
)
n+1
d =
,
(n)
(.
0
)
:!
(5)
por la frmula integral de Cauchy para las derivadas (Teorema 5, Sesin 8). Como el
radio del crculo es arbitrario con tal de que , sea analtica en '
int
= 1
r
(.
0
).
esta representacin de , es vlida en el mayor disco abierto centrado en .
0
que est
contenido en el dominio de analiticidad de ,.
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 3
La serie de potencias (1) se conoce como la serie de Taylor de la funcin ,(.) en
.
0
. En el caso particular .
0
= 0. la serie de Taylor se conoce tambin como serie de
MacLaurin. Obsrvese que el teorema anterior no asegura la convergencia de la serie
de potencias a ,(.) cuando [. .
0
[ = 1.
Aplicando el principio de deformacin de contornos a la expresin integral (5) de
los coecientes de Taylor, vemos que, en general,
c
n
=
1
2:i
I

,(.)
(. .
0
)
n+1
d. (: N)
donde puede ser cualquier contorno cerrado simple contenido en el dominio de analiti-
cidad de , tal que .
0

int
.
Ejemplo 1 Series de MacLaurin ms importantes:
c
z
=
1
X
n=0
.
n
:!
(\. C)
sin . =
1
X
n=1
(1)
n1
.
2n1
(2: 1)!
(\. C)
cos . =
1
X
n=1
(1)
n1
.
2n2
(2: 2)!
(\. C)
Log (1 + .) =
1
X
n=1
(1)
n1
.
n
:
([.[ < 1)
arctan . =
1
X
n=1
(1)
n1
.
2n1
2: 1
([.[ < 1)
(1 + .)

=
1
X
n=0

c
:

.
n
(c C. [.[ < 1. pero \. C si c N)
La ltima serie se conoce como la frmula binomial y en ella

c
:

:=
c(c 1)...(c : + 1)
:!
Cuando c , Z. la frmula binomial slo es vlida para la rama principal de la funcin
,(.) = (1 + .)

(aqulla en la que ,(0) = 1). En particular, para c = 1 obtenemos

la serie geomtrica
1
1 .
=
1
X
n=0

1
:

(1)
n
.
n
=
1
X
n=0
.
n
= 1 + . + .
2
+ ... + .
n
+ ... ([.[ < 1)
El Teorema 2 implica que ,
(k)
(.
0
) = /!c
k
para \/ _ 0 y, por tanto, que la serie
de Taylor de una funcin ,(.) en uno de sus puntos de analiticidad .
0
es la nica
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 4
serie de potencias que converge a dicha funcin en cualquier crculo abierto centrado
en .
0
. Adems, del enunciado del Teorema de Taylor se deduce que el mayor crculo de
convergencia 1
R
(.
0
) de la serie de Taylor de , en .
0
es aqul para el cual el radio 1 es
igual a la distancia entre .
0
y el punto ms prximo en el cual , no es analtica (pues,
de otro modo, , seguira siendo analtica en un crculo de radio an mayor).
Ejemplo 2 Las singularidades de la funcin ,(.) = 1,(1 +.
2
) son los puntos . = i.
Luego el radio de convergencia de la serie de Taylor de ,(.) en 0 es 1 = [i 0[ =
[i[ = 1. Esto explica por qu el radio de convergencia de la serie real de potencias
P
1
n=0
(1)
n
r
2n
, r R (que es la serie de MacLaurin de la funcin real ,(r) = 1,(1 +
r
2
) C
1
(R)) vale 1.
Ejercicio 1 (i) Obtener la serie de Taylor de arctan . en 1
1
(0) integrando trmino a
trmino la serie de 1,(1+.
2
) en 1
1
(0) y, recprocamente, (ii) obtener la serie de Taylor
de 1,(1 + .
2
) en 1
1
(0) derivando trmino a trmino la serie de arctan . en 1
1
(0).
Corolario 1 (Caracterizacin de las funciones analticas) Sea , una funcin denida
en un conjunto abierto C. Entonces , es analtica en si y slo si para \.
0

existe : 0 tal que el disco 1
r
(.
0
) y , tiene una representacin en serie de
potencias en 1
r
(.
0
).
Prueba. El Teorema de Taylor muestra que toda funcin analtica , es representable
mediante una serie de potencias (a saber, su serie de Taylor) en todo disco abierto
contenido en su dominio de analiticidad. Recprocamente, si , es la funcin suma de
una serie de potencias convergente en 1
r
(.
0
). entonces 1
r
(.
0
) est contenido en el
crculo de convergencia de la serie y, por el Teorema 2, , es analtica en 1
r
(.
0
) y esto
para \.
0
. de donde concluimos que , es analtica en .
Nota 1 El corolario anterior muestra que la analiticidad de una funcin es equivalente
a su representabilidad en serie de potencias, por lo que la segunda propiedad puede ser
tomada como denicin alternativa de la primera. Esta situacin contrasta con lo que
ocurre en el caso real. pues las condiciones de derivabilidad y representabilidad mediante
series de potencias no son, ni mucho menos, equivalentes para las funciones reales.
Las series de Taylor permiten tambin el estudio de los ceros de una funcin analti-
ca.
Denicin 1 Se dice que el punto .
0
es un cero aislado de , si ,(.
0
) = 0 y existe un
entorno reducido de .
0
en el cual , no se anula.
Si , es analtica en .
0
y ,(.
0
) = 0, el desarrollo de Taylor de , en .
0
no tiene
trmino constante c
0
, de manera que
,(.) =
1
X
n=1
c
n
(. .
0
)
n
= c
1
(. .
0
) + c
2
(. .
0
)
2
+ ... (6)
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 5
para \. 1
R
(.
0
). donde 1
R
(.
0
) es el mayor disco centrado en .
0
en el que , es
analtica. Si, adems, todos los dems coecientes c
n
, : = 1. 2. ... son tambin cero,
la representacin (6) de ,(.) en serie de Taylor es idnticamente nula por lo que, en
virtud de la unicidad de dicha representacin, , = 0 en 1
R
(.
0
).
Supongamos ahora que los coecientes de (6) no son todos nulos y sea c
m
, : _ 1,
el primer coeciente no nulo. Por tanto,
,(.) = c
m
(. .
0
)
m
+ c
m+1
(. .
0
)
m+1
+ ... = (. .
0
)
m
c(.) (7)
donde
c(.) := c
m
+ c
m+1
(. .
0
) + ... =
1
X
k=0
c
m+k
(. .
0
)
k
(8)
es una funcin analtica en 1
R
(.
0
) (ya que tiene un desarrollo de Taylor en .
0
en dicho
crculo) tal que c(.
0
) = c
m
,= 0. Por continuidad, c(.) ,= 0 en un entorno de .
0
. Estas
observaciones conducen a la siguiente denicin.
Denicin 2 Sean : N y , una funcin analtica en .
0
. Si ,(.) = (. .
0
)
m
c(.),
donde c(.) ,= 0, en un entorno de .
0
, decimos que la funcin , tiene un cero de orden
: en .
0
.
Obsrvese que de la denicin anterior se deduce que c es analtica en .
0
, ya que
,(.) y (. .
0
)
m
son funciones analticas en .
0
. Por lo visto anteriormente, el orden de
.
0
coincide con el orden del primer coeciente no nulo de la serie de Taylor de , en .
0
.
Proposicin 1 Sea , una funcin analtica en .
0
. Entonces , tiene en .
0
un cero de
orden : si y slo si ,(.
0
) = ,
(1)
(.
0
) = ... = ,
(m1)
(.
0
) = 0 y ,
(m)
(.
0
) ,= 0.
Prueba. (=) Aplicando la regla de Leibniz al producto (. .
0
)
m
c(.), obtenemos
,
(n)
(.) =
n
X
k=0

:
/

d
k
d.
k
(. .
0
)
m
d
nk
.
d.
nk
c(.)
=
n
X
k=0

:
/

:(:1)...(:/ + 1)(. .
0
)
mk
c
(nk)
(.)
Para 0 _ / _ : y : = 1. 2. .... :1. tenemos que
:/ _ :: _ 1
con lo cual, todos los exponentes del factor ..
0
son positivos y, por tanto, ,
(n)
(.
0
) = 0.
Adems, de
,
(m)
(.) =
m
X
k=0

:
/

:(:1)...(:/ + 1)(. .
0
)
mk
c
(mk)
(.)
deducimos
,
(m)
(.
0
) = :!c(.
0
) ,= 0
(=) Por el teorema de Taylor, c
n
= ,
(n)
(.
0
),:! (: N). donde c
n
son los coecientes
de la serie de Taylor (6) de , en .
0
. Por hiptesis, c
0
= ... = c
m1
= 0 y c
m
,= 0. de
donde , tiene en el disco de convergencia 1
R
(.
0
) la expresin (7) y (8).
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 6
Ejemplo 3 1. La funcin ,(.) = (. 1)(. + 1)
2
tiene un cero de orden 1 en . = 1
y otro de orden 2 en . = 1. La derivada, ,
0
(.) = (. + 1)
2
+ 2(. 1)(. + 1), se
anula, asimismo, en . = 1 ya que ste es un cero de orden 2.
2. Los ceros de la funcin ,(.) = . sinh . son . = i::. : Z. De ,
0
(.) = sinh . +
. cosh . deducimos que . = 0 es de orden 2 y el resto, de orden 1.
Teorema 4 (Aislamiento de ceros) Sea , una funcin analtica en .
0
y sea ,(.
0
) = 0.
Entonces, o (i) existe un entorno de .
0
en el que ,(.) = 0 nicamente en . = .
0
, o (ii)
existe un entorno de .
0
en el que ,(.) = 0 en todo punto del entorno.
Prueba. Supongamos que .
0
es un cero de orden : N de ,. El factor c(.) en (7) es
analtico y, por tanto, continuo en cierto disco 1
R
(.
0
). Por continuidad, existe : 0
tal que c(.) ,= 0 para \. 1
r
(.
0
) ya que c(.
0
) ,= 0. Como ,(.) = (. .
0
)
m
c(.) en
1
R
(.
0
) 1
r
(.
0
). concluimos que el nico cero de , en 1
r
(.
0
) es .
0
. La posibilidad
(ii ) corresponde al caso en el que , y todas sus derivadas (y, por tanto, todos los
coecientes de Taylor) se anulan en .
0
.
As, pues, una funcin analtica , slo puede tener ceros aislados en su dominio de
analiticidad, a menos que se anule idnticamente en un disco.
Corolario 2 Sea , una funcin analtica en un conjunto abierto y sea .
0
.
Si existe una sucesin de puntos distintos .
1
. .
2
. ... en tal que lm
k!1
.
k
= .
0
y
,(.
k
) = 0 para \/ N. entonces ,(.) = 0 para \. 1
R
(.
0
) .
Este resultado conduce trivialmente al principio de continuacin analtica o teorema
de identidad: Si dos funciones analticas , y q denidas en un dominio coinciden en
un conjunto de puntos con un punto de acumulacin .
0
, entonces , = q en .
Esta conclusin es vlida, en particular, si , = q en un entorno de algn punto de .
Ejemplo 4 Probar la identidad
sin
2
. =
1
2
(1 cos 2.) \. C
Solucin. Denamos la funcin entera 1(.) := sin
2
.+
1
2
cos 2.
1
2
. Entonces se cumple
que 1(.) se anula en todo punto del eje real. Por el Corolario 2 (ya que los puntos del
eje real no son aislados), 1(.) = 0 para \. C.
El mismo argumento del ejemplo anterior muestra que si una funcin entera es cons-
tante sobre un arco de curva cualquiera de longitud arbitrariamente pequea, entonces
es constante en todo el plano complejo.
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 7
1. Problemas propuestos
1. Dar el radio de convergencia de las series de Taylor de las siguientes funciones en
los puntos indicados (sin efectuar el desarrollo corespondiente):
(c)
sin .
.
2
+ 4
. .
0
= 0; (/)
c
z
.(. 1)
. .
0
= 4i; (c)
.
c
z
+ 1
. .
0
= 0; (d) sec :.. .
0
= 1.
2. Desarrollar la funcin
,(.) =
.
.
2
. 2
en serie de Taylor alrededor del punto .
0
= 1. Cul es el radio de convergencia?
3. Cul es el radio de convergencia de la serie de Taylor de la funcin
,(.) =
1
1 + .
2
alrededor del punto .
0
= 2?
4. Calcular la serie de Maclaurin de la funcin
,(.) =
c
z
1 .
y su crculo de convergencia.
2. Lecturas adicionales
1. J.M. Amig: Fundamentos de Matemticas. Servicios de Reprografa de la Uni-
versidad Miguel Hernndez, Elche, 2001.
2. J.E. Marsden, M.J. Homan: Basic Complex Analysis. W.H. Freeman, New York,
1999.
3. M.R. Spiegel: Variable Compleja. McGraw-Hill, Mjico, 2000.
4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, Mjico, 1999.
www.LibrosZ.com www.Matematica1.com www.FisicaA.com
w
w
w
.
L
i
b
r
o
s
Z
.
c
o
m