Está en la página 1de 4

Pgina 32 Ampliacin de Clculo

Tema 19 Funciones analticas


Series de potencias
Los conceptos y propiedades de las sucesiones y series de funciones reales se trasladan al
campo complejo sin ninguna dificultad.
Sea {f
n
} una sucesin de funciones complejas definidas en un subconjunto H de y z
0
un
punto de H. La sucesin {f
n
} converge en z
0
si la sucesin de nmeros complejos {f
n
(z
0
)} es
convergente. Al subconjunto M de H en el que {f
n
} converge le llamamos campo de convergencia
puntual o sencillamente campo de convergencia de {f
n
}. Entonces, decimos que {f
n
} converge
simplemente o puntualmente a la funcin f de M en definida por
( ) lim ( )
n
n
f z f z

=
A f la denominamos lmite simple o puntual de {f
n
}. De acuerdo con la definicin de lmite
de una sucesin de nmeros complejos, observemos que fijado > 0, para cada , z M e existe un
numero natural n
0
tal que si n > n
0
se tiene |f
n
(z) f(z)| < . Es decir, en general, n
0
depende de cada
z de M. Si fijado > 0, n
0
fuese el mismo para todos los puntos de M, tenemos el concepto de
convergencia uniforme.
La sucesin {f
n
} converge uniformemente en M hacia una funcin f de M en , si para todo
> 0, existe
0
n e tal que
0
( ) ( )
n
n n f z f z > < para todo z M e
Como en el caso real, la funcin lmite de una sucesin de funciones continuas
uniformemente convergente en M es continua en M.
A una sucesin {f
n
} le podemos asociar la sucesin de sus sumas parciales {S
n
}
1 1 2 1 2 1 2
; ; ; ;
n n
S f S f f S f f f = = + = + + +
a la que denominamos serie y representamos por f
n
.
La serie f
n
converge puntualmente, o sencillamente converge, a una funcin F en M si lo
hace la sucesin {S
n
}. En este caso F se llama suma de la serie y suele indicarse por
1
( ) ( )
n
n
F z f z

=
=

Una condicin necesaria para que f


n
converja en M es que para todo z M e se cumpla
lim ( ) 0.
n
n
f z

=
La serie f
n
converge absolutamente en M si la serie de nmeros positivos | f
n
(z)|
converge para cada z de M. Una serie convergente pero no absolutamente convergente se dice que
es condicionalmente convergente. Una serie absolutamente convergente en un conjunto es
convergente en l.
f
n
converge uniformemente a F en M si lo hace la sucesin {S
n
}. De acuerdo con esta
definicin, el criterio de convergencia uniforme de Cauchy para las sucesiones se traslada a las
series:
f
n
converge uniformemente en M, si para todo > 0 existe
0
n e tal que
0
, p q n > y
1
( ) ( ) ( )
q q p
p q f z f z f z
+
> + + + < para todo z M e
Una serie de nmeros reales no negativos a
n
es mayorante de la serie funcional f
n
en M
si | f
n
(z)| a
n
, para todo z M e y para todo . ne Del criterio de Cauchy se deduce el criterio de
Weierstrass:
Una condicin suficiente para que f
n
converja uniformemente en M es que posea en M
una serie mayorante que sea convergente.
Una serie de potencias tiene la forma
2
0 1 0 2 0 0 0
( ) ( ) ( ) ( )
n n
n n
a a z z a z z a z z a z z + + + + + = E
Ampliacin de clculo Pgina 33
en donde z
0
es un punto fijo de y a
n
son coeficientes constantes. Como las funciones
0
( ) ( )
n
n n
f z a z z = estn definidas en todo , apliquemos el criterio de la raz para determinar el
campo de convergencia de la serie. Designamos por el lmite superior de
n
n
a y por r al 1/.
Entonces, se tiene:
0
0 0
limsup
n
n
n
n
z z
a z z z z
r

= =
a) Si 0 < r < , la serie converge para
0
, z z r < ya que
0
1
z z r
r r

< =
y diverge para
0
, z z r > ya que
0
1
z z r
r r

> =
b) Si r = 0, la serie, diverge para todo z z
0
, ya que
0
limsup
n
n
n
n
a z z

=
c) Si r = , la serie converge para todo , z e ya que
0
0 limsup
n
n
n
n
a z z

=
A r se le denomina radio de convergencia y a
0
z z r < crculo de convergencia de la
serie. El estudio anterior proporciona informacin sobre la convergencia de la serie en el interior y
en el exterior del crculo, pero no sobre la circunferencia
0
. z z r = Ahora bien, si la serie
converge absolutamente en un punto w de la circunferencia, podemos afirmar que converge en
todos sus puntos, pues para todo
0
z z r = se cumple
0 0
n n
n
n n n
a z z a w z a r E = E = E
Adems la serie converge uniformemente en cualquier crculo cerrado de centro z
0
y radio
, r < y como consecuencia converge uniformemente en cualquier compacto contenido en su
crculo de convergencia.
Teorema de la convergencia uniforme: Una serie de potencias converge uniformemente
en cualquier crculo cerrado contenido en su crculo de convergencia y como consecuencia en
cualquier subconjunto compacto contenido en l.
Teorema de la derivacin de una serie de potencias: La funcin f suma de
n
n 0
a (z z ) E
en su crculo de convergencia es holomorfa en dicho crculo y su derivada viene dada por
n 1
n 0
n 1
f '(z) na (z z )

=
=

Definicin de la serie de Taylor: Sea A un abierto de , f una funcin compleja de clase


infinito en A y z
0
un punto de A. Se llama serie de Taylor asociada a f en z
0
a la serie de potencias
)
0
0
0
( )
( )
!
n
n
f z
z z
n

Si f es la funcin suma de una serie de potencias


0
( )
n
n
a z z E terminamos de probar que es
indefinidamente derivable en su crculo de convergencia. La serie de Taylor asociada a f en z
0
coincide con la serie dada, pues derivando sucesivamente en
0
0
( ) ( )
n
n
n
f z a z z

=
=

para el punto z = z
0
, se obtiene
Pgina 34 Ampliacin de Clculo
)
0 1 0 2 0
'( ) ; ''( ) 2! ; ; ( ) ! ;
n
n
f z a f z a f z n a = = =
Definicin de funcin analtica: Una funcin f de un abierto A de en es analtica en
un punto
0
z A e si existen una bola abierta B(z
0
, ) y una serie de potencias centrada en z
0
que
converge a f en la bola. f es analtica en A si lo es en cada uno de sus puntos.
Con otras palabras, decimos que f es analtica en A si es representable en serie de potencias
en un entorno de cada punto de A. De acuerdo con el teorema de derivacin de una serie de
potencias, una funcin analtica en A es de clase infinito (en particular holomorfa) en A, y como los
coeficientes de la serie de potencias en el entorno de z
0
son los coeficientes de su serie de Taylor,
resulta que
)
0 0
1
1
( ) ( )( )
!
n n
n
f z f z z z
n

=
=

en su crculo de convergencia.
El recproco tambin es cierto. Se trata del resultado esencial de la teora de funciones
complejas: una funcin holomorfa en un abierto es analtica en l. Para probarlo estableceremos
previamente una forma de representacin integral para funciones holomorfas, conocidas con el
nombre de frmula integral de Cauchy.
La frmula integral de Cauchy
Consideremos un abierto A de y un camino (arco de curva) regular a trozos y contenido
en A. Como es un conjunto compacto, se alcanza la distancia a desde cualquier punto . z A e
Teorema de representacin en series de potencias: Sea g una funcin de A en continua
en . La funcin f de A en definida por
( )
( )
g w
f z dw
w z

}
[1]
es analtica en A .
El complementario en de un camino cerrado regular a trozos es una unin infinita de
subconjuntos abiertos, disjuntos dos a dos. Cada uno de ellos es una componente conexa de .
Recurdese que fijado un punto z de un conjunto, la componente conexa relativa a z es la unin de
todas las partes conexas del conjunto que contienen a z. Por lo tanto, cada componente conexa es el
mayor subconjunto conexo que contiene a un punto. Por ejemplo, si es simple, consta de
dos componentes conexas, una acotada y la otra no.
A cada punto z de le asociamos un nmero entero, denominado ndice de z respecto a
. El ndice es el mismo en todos los puntos de cada componente conexa de . Su significado
es el nmero de vueltas que da alrededor de z.
Definicin de ndice de un punto respecto de un camino cerrado: Se llama ndice de
z e respecto a , y se representa por Ind

(z), al valor de la integral

1 dw
Ind (z)
2i w z
=

}
Propiedades del ndice:
a) Ind

(z) es un nmero entero para todo z e .


b) El valor de Ind

es constante para todo z de la componente conexa no acotada de .


c) Ind

(z) = 0 para todo z de la componente conexa no acotada de .


Frmula integral de Cauchy en un conjunto estrellado: Sea A un subconjunto abierto
estrellado de y un camino cerrado regular a trozos contenido en A. Si z e A y f es una
funcin analtica en A, entonces

1 f (w)
f (z) Ind (z) dw
2i w z
=

}
Ampliacin de clculo Pgina 35
Propiedades de las funciones analticas
A es un abierto de , f de A en una funcin holomorfa en A. Para cualquier punto
arbitrario z
0
de A y cualquier bola abierta B(z
0
, r) contenida en A, por la formula integral de Cauchy
se tiene

1 ( )
( )
2
f w
f z dw
i w z
=

}
para todo z perteneciente al interior del crculo limitado por la circunferencia y de radio < r,
definida por
0
( )
it
w t z e = + t e [0, 2]
El teorema [1] asegura que f es analtica en la bola B(z
0
, r), y por lo tanto en todo A.
Obtenemos as el resultado ms importante de la teora.
Caracterizacin de las funciones analticas: Una funcin compleja es analtica en un
abierto A si y slo si es holomorfa en A.
Si en B(z
0
, r), la funcin f viene definida por
0
0
( ) ( )
n
n
n
f z a z z

=
=

en donde, de acuerdo con el teorema [1]


1
0
1 ( )
2 ( )
n n
f w
a dw
i w z

+
=

}
y como
)
0
1
( )
!
n
n
a f z
n
= resulta la expresin integral de las derivadas
)
0 1
0
! ( )
( )
2 ( )
n
n
n f w
f z dw
i w z

+
=

}
Desigualdades de Cauchy: Si la bola cerrada B*(z
0
, r) est contenida en A y |f(z)| M
para todo z e B*(z
0
, r), entonces
n n
M
a
r
s para cada n = 1, 2, 3, ...
Teorema de Morera: Este teorema es el reciproco del teorema de Cauchy-Goursat. Si f es
una funcin continua y verifica la propiedad triangular en el abierto A, entonces f es analtica en
A.
Teorema de Liouville: Si f es una funcin holomorfa y acotada en todo , entonces f es
constante.
Una funcin holomorfa en todo se llama entera. De acuerdo con el teorema de Liouville
una funcin entera o bien es constante o bien no est acotada.
Teorema fundamental del algebra: Todo polinomio complejo P(z) de grado mayor o igual
que uno posee al menos una raz.
Si P(z) es un polinomio de grado n y z
0
es una raz, entonces P(z) = (z z
0
)Q(z), en donde
Q(z) es un polinomio de grado n 1, que a su vez posee una raz. Aplicando n veces el proceso,
llegamos a que todo polinomio complejo de grado n posee exactamente n races.
Propiedad de la medida: Si f es analtica en A y la bola cerrada B*(z
0
, r) est contenida en
A, se cumple
2
0 0
0
1
( ) ( )
2
i
f z f z re d


=
}

También podría gustarte