Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Una técnica muy utilizada en análisis de funciones de variable real es la de aproximar funciones
por polinomios.
Recordemos a continuación unos cuantos conceptos de variable real. Una serie de potencias
en torno a un punto x = x0 es una serie de la forma
∞
X
an (x − x0 )n = a0 + a1 (x − x0 ) + a2 (x − x0 )2 + · · · + an (x − x0 )n + · · ·
n=0
donde x0 ∈ R y an ∈ R ∀n ∈ N.
¡¡¡Ojo!!! La convergencia de dicha serie depende del punto x0 que tomemos.
El radio de convergencia de una serie viene dado por
1
R=
lı́mn→∞ | an+1
an |
f 00 (x0 ) f n) (x0 )
Pn (x) = f (x0 ) + f 0 (x0 )(x − x0 ) + (x − x0 )2 + · · · + (x − x0 ),
2! n!
tiene la propiedad de que tanto él como sus derivadas hasta el orden n coinciden con la función
f y sus derivadas hasta el orden n en el punto x0 . El siguiente teorema permite probar que bajo
determinadas hipótesis dichos polinomios son aproximaciones cada vez mejores de la función
alrededor del punto x0 .
1
Teorema de Taylor (de variable real) Sea f : [a, b] → R tal que todas sus derivadas
f 0 , f 00 , ..f n) son continuas en [a, b] y f n+1) existe en (a, b). Si x0 ∈ [a, b], entonces ∀x ∈ [a, b]
existe c entre x y x0 tal que
f 00 (x0 ) f n) (x0 ) f n+1) (c)
f (x) = f (x0 ) + f 0 (x0 )(x − x0 ) + (x − x0 )2 + · · · + (x − x0 )n + (x − x0 )n+1
| 2! {z n! } | (n + 1)!
{z }
Polinomio de Taylor de orden n de f en x0 Resto de orden n
Serie de Taylor. Si una función tiene derivadas de todos los órdenes en un punto x0 ∈ R,
entonces se pueden calcular los coeficientes de Taylor an = f n) (x0 )/n! ∀n ∈ N y obtener ası́ la
serie de Taylor de f en torno a x = x0 :
∞
X f n) (x0 )
T (f, x, x0 ) = (x − x0 )n
n!
n=0
Obsérvese que los polinomios de Taylor son las sumas parciales de la serie de Taylor.
Ejercicio Calcular la serie de Taylor de f (x) = x3 centrada en x0 = 0 y centrada en x0 = 1.
¡¡¡¡Ojo!!!! No siempre se cumple T (f, x, x0 ) = f (x). Recuerden que incluso puede suceder que
−1
la serie no aproxima a la función en ningún punto salvo en el punto x0 , por ejemplo, f (x) = e x2 .
Las funciones analı́ticas de variable real son precisamente aquellas que coinciden con su serie de
Taylor (en el intervalo correspondiente). Las funciones analı́ticas son por definición infinitamente
derivables pero ya hemos visto con el ejemplo anterior que el recı́proco no es cierto.
Pasemos ahora a la variable compleja. Hemos visto en el Capı́tulo 19 del libro que los conceptos
y propiedades de las sucesiones y series de variable real se trasladan al campo complejo sin
ninguna dificultad. En variable compleja, las funciones analı́ticas definidas en un abierto A
serán las que se pueden representar en serie de potencias en un entorno de cada punto de A.
Además, las funciones analı́ticas son por definición infinitamente diferenciables (en particular
holomorfas) en A.
Pero aquı́ viene una de las diferencias más grandes entre la variable compleja y la variable
real. Toda función holomorfa f en un punto z0 ∈ C (es decir, diferenciable en un entorno del
punto x0 ) es infinitamente diferenciable. Luego siempre vamos a poder considerar su serie de
Taylor
∞
X f n) (z0 )
(z − z0 )n .
n!
n=0
Uno de los teoremas centrales de la variable compleja establece que una función de variable
compleja es holomorfa en un abierto A si y sólo si es analı́tica en A.
Ejemplo. La función f (z) = ez es una función entera (holomorfa en todo C). Se puede
desarrollar por tanto en serie de potencias alrededor de cualquier punto z0 . Si escogemos el
punto z0 = 0 serı́a
∞ ∞
X 1 X zn
f (z) = ez = (z − 0)n = .
n! n!
n=1 n=1
Si escogemos ahora el punto z0 = 1 tendrı́amos
∞ ∞
z z−1+1 z−1
X (z − 1)n X e
f (z) = e = e =e·e =e = (z − 1)n .
n! n!
n=1 n=1
Z=0
Z=1
La primera corona serı́a A1 = {z ∈ C : 0 < |z| < 1} (el radio lo fija la primera singularidad que
encontramos, en este caso z = 1). Dentro de esta corona tendrı́amos
1 1 1
f (z) = = − (1 + z + z 2 + · · · ) = − + 1 + z + z2 + · · · .
z(z − 1) z z
Obsérvese que hemos usado la expresión de una serie geométrica y recordemos que dicha serie
converge siempre que la razón tenga módulo menor que 1. En este caso la razón es z y por
tanto la expresión es válida si |z| < 1. Como fuera de la corona azul ya no tenemos ninguna
singularidad (excepto z = ∞ que siempre se considera singularidad de cualquier función), la
siguiente corona serı́a A2 = {z ∈ C : |z| > 1}, o lo que es lo mismo, A2 = {z ∈ C : 1 < |z| < ∞}.
Dentro de esta corona tendrı́amos
1 1 1 1 1 1 1 1
f (z) = = 1
= 2 (1 + + 2 + · · · ) = 2 + 3 + · · ·.
z(z − 1) zz 1− z z z z z z
Obsérvese que en este caso la razón es 1/z y por tanto la expresión es válida si |z| > 1.
¿Qué sucede ahora si cambiamos el z0 ? Las dos figuras siguientes representan la división del
plano complejo en coronas escogiendo como centros los puntos z0 = 1 y z0 = −i respectivamente.
Z=0
Z=1
Z=0
Z=1
Z=-‐i
La forma de la serie de Laurent nos puede además ayudar a clasificar qué tipo de singularidad
es z0 (ver Teorema 21.5 del libro, página 263). El siguiente cuadro resume todas las posibilidades.
Obsérvese que una singularidad evitable de un punto regular no se puede distinguir mirando
la serie. Fı́jense además que en todos los desarrollos, el número de términos cn con n ≥ 1 puede
ser finito. La distinción la dan los coeficientes c−n correspondientes a los términos de exponente
negativo. En el desarrollo de una singularidad evitable o punto regular no hay sumandos de
exponente negativo. En el caso de un polo hay un número finito de sumandos de exponente ne-
gativo (dependiendo del orden del polo) y para una singularidad esencial hay infinitos sumandos
de exponente negativo.
Consejo: cuando realicen ejercicios de series de Laurent
1) Identifiquen quién es z0
2) Dibujen la corona
3) Estén seguro que el desarrollo que dan está centrado en z0
Ejercicio (Febrero 2012, segunda semana). Encuentre la serie de Laurent de la función
z
f (z) = 2 en la corona A = {z ∈ C : 0 < |z − i| < 2}.
z +1
En este caso la corona nos la dan, z0 = i, y por tanto la serie tiene que ser de la forma
X∞
f (z) = cn (z − i)n .
n=−∞
Pero tenemos más información. Como z = i es un polo simple sabemos (por el cuadro anterior)
que el desarrollo debe ser de la forma
∞
X
f (z) = cn (z − i)n .
n=−1
Ahora solo falta calcular los coeficientes cn (mirar las soluciones en exámenes de años anteriores).