Documentos de Académico
Documentos de Profesional
Documentos de Cultura
APLICADA
FACULTAD DE INFORMATICA
UNIVERSIDAD POLITECNICA
DE MADRID
Contenidos
1 Introducci
on
2 G
enesis hist
orica
3 Preliminares
3.1
3.2
Curvas y contornos en C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Longitud de contorno
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4 Integrales de contorno en C
4.1
11
11
Independencia de la parametrizacion . . . . . . . . . . . . . . . . . . . . . . . .
11
11
4.2
Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
4.3
12
14
5.1
. . . . . . . . . . . . . . . . . . . . . .
14
5.2
21
23
6.2
25
6.3
26
7 Bibliografa
23
29
1 Introducci
on
En esta leccion se tratan los fundamentos de la integraci
on en el campo complejo, y es el
objetivo principal del tema la presentaci
on y deduccion del teorema integral de Cauchy, as
como el analisis de algunas de sus principales consecuencias.
El teorema de Cauchy es uno de los resultados principales en la teora de las funciones
analticas. Sin precedentes en el campo real, establece que la integral, sobre un contorno
cerrado, de una funcion holomorfa sobre la trayectoria de dicho contorno y su componente
interior, es nula. Las consecuencias que de el se derivan son sorprendentes y marcan definitivas distancias con el analisis real. En el analisis real, si se considera la teora de campos
vectoriales, que es donde se enmarcan las integrales de funciones sobre curvas, este resultado
no tiene contrapartida pues, en general, la integral sobre contornos cerrados de campos diferenciales no es nula; solo una clase de funciones especiales lo verifican: las que admiten
funcion potencial. La diferencia entre ambos casos, real y complejo, sin duda hay que buscarla
en las ecuaciones de Cauchy-Riemann, no en vano, una funcion holomorfa en un dominio no
solo verifica que sus partes real e imaginaria son diferenciables, sino que tambien verifica las
mencionadas ecuaciones. Este hecho queda patente si se utiliza el teorema de Green-Riemann
en la demostracion del teorema integral de Cauchy.
No obstante, s se puede establecer una analoga entre el comportamiento de las funciones
holomorfas y campos gradientes, los que admiten funcion potencial, respecto a la integraci
on,
como se recoge en los siguientes cuadros.
Teora de funciones complejas
C dominio simplemente conexo, contorno cerrado en
f : C holomorfa
f (z) dz = 0
f (s) ds = 0
2
Introducci
on
Otro enfoque que tambien permite establecer cierta analoga con el caso real es el proporcionado por el teorema fundamental del Calculo. En efecto, el teorema de Cauchy establece
tambien un teorema fundamental para el calculo complejo, pero hay que exigir una hipotesis
mas fuerte que en el caso real, se pide holomorfa frente a la continuidad para las funciones
reales. Esta relacion se recoge en los siguientes cuadros.
Teora de funciones complejas
f : C holomorfa, C dominio simplemente conexo
F : C primitiva de f
F : I R primitiva de f
2 G
enesis hist
orica
Las primeras integraciones en las regiones imaginarias fueron publicadas en 1813 por S. D.
G
enesis hist
orica
f (z)dz =
x0 +iyo
Edouard
Goursat (1858-1936, matematico frances, miembro de la Academia de las Ciencias) comunico su prueba a Hermite en una carta en 1883 (publicada como Demonstration
du Theor`eme de Cauchy, Acta Math. 4(1884), 197-200). En ella emplea rectangulos en vez
de triangulos y expresamente usa la continuidad de la derivada. Aunque pronto reconocio que
esta hipotesis era superflua en su demostracion. Goursat considero regiones G con fronteras
bastante generales y aplico su metodo de biseccion tambien a rectangulos que en parte sobresalan de G. Las dificultades tecnicas que esto ocasionaba fueron comentadas en 1901 por
Alfred Pringsheim (1850-1941), que demostro utilizando triangulos. Por medio de su prueba
del triangulo Pringsheim esencialmente simplifico el metodo de prueba de Goursat y le dio
la elegante forma final que ha tenido hasta hoy en da. La variante triangulo tambien tiene
la ventaja economica que produce la teora integral para regiones estrella inmediatamente,
mientras que la version rectangulo no puede hacer esto.
3 Preliminares
Para poder introducir la teora de integraci
on de funciones complejas de variable compleja sera
necesario referirnos a conjuntos unidimensionales del plano complejo, esto es, a curvas, y se
definira la integral de una funcion definida sobre curvas de C. Por lo tanto, antes de introducir
el concepto de integral, comentaremos someramente algunas puntos de interes sobre curvas en
el plano complejo.
Por otra parte, tambien sera necesario introducir, previamente, la integraci
on de funciones
complejas de variable real, que es un primer paso en la generalizacion del concepto de integral
al campo complejo. Ambas cuestiones seran tratadas en esta primera seccion preliminar.
3.1
La primera extension del concepto de integral en el campo complejo se hace de forma natural
para funciones complejas de variable real. Despues ya se podra extender la definicion a integrales de funciones complejas de variable compleja sobre caminos o contornos, que incorpora
la anterior definicion en su calculo final.
Comenzamos, por tanto, introduciendo las funciones complejas de variable real y algunas
definiciones y propiedades basicas.
Definici
on 3.1. Sea : I C una funcion con valores complejos definida sobre un intervalo
I R. Se dice que es continua si lo son su parte real
() y su parte imaginaria
() y
().
(), siendo su
Preliminares
w
I
a
w(t)
f(w(t))
Sin embargo, no todas las propiedades de las funciones reales se mantienen. As, por
ejemplo, no es aplicable el teorema del valor medio. En efecto, basta considerar la funcion
(t) = eit definida en el intervalo [0, 2], ya que (2) (0) = 0 y (t) = 0 para cualquier
valor de t.
Definici
on 3.2. Se dice que : I C es continua a trozos en el intervalo I R si existe una
particion t0 < t1 < . . . < tn de I de manera que |(ti ,ti+1 ) es continua para cada i = 0, . . . , n1,
y ademas existen los lmites laterales de en los extremos de los intervalos de la particion. De
forma analoga, es diferenciable (respectivamente, suave) a trozos si existe una particion del
intervalo I de manera que es diferenciable (respectivamente, suave) en los intervalos abiertos
determinados por la particion, y existen los lmites laterales de en los extremos de dichos
intervalos.
(t) dt =
((t)) dt + i
((t)) dt.
a
Reglas de c
alculo
Si y son funciones complejas continuas a trozos sobre [a, b], y z0 C, se comprueban
facilmente las siguientes propiedades:
b
Linealidad:
( + )(t) dt =
a
(t) dt +
a
(t) dt.
b
(t) dt
((t)) dt
a
(t) dt.
c
(t) dt =
z0 (t) dt = z0
(t) dt +
a
(t) dt =
a
Cambio de sentido:
(t) dt
(t) dt
a
((t)) dt.
a
(t) dt.
a
Preliminares
Acotaci
on
b
(t) dt
|(t)| dt.
Demostraci
on: Si
con |z0 | = 1 tal que
b
a (t) dt
b
z0 a (t) dt
R, entonces
b
(t) dt
z0
(t) dt =
z0
(t) dt
| (z0 (t))| dt
(z0 (t)) dt
|z0 (t)|dt =
|(t)|dt
a
Definici
on 3.4. Una funciom W : I C, con I R intervalo, es una primitiva de : I C
si es diferenciable y W (t) = (t) para todo t I.
Si W y W son primitivas de en I, entonces W W es constante en I.
Teorema 3.5. (Teorema fundamental del c
alculo para integrales sobre intervalos)
x
a (t) dt
es una primitiva de
en I.
(b) Si W (t) es una primitiva de : [a, b] C y es continua a trozos, entonces
b
Demostraci
on: Se sigue de forma trivial considerando las partes real e imaginaria y
aplicando el resultado correspondiente de las funciones reales.
Proposici
on 3.6. (Cambio de variable) Sea : [c, d] [a, b] una biyecci
on continuamente
diferenciable, entonces si : [a, b] C es una funcion continua, se verifica:
1 (b)
(t) dt =
a
((t)) (t) dt
1 (a)
Demostraci
on: Se obtiene trivialmente considerando parte real e imaginaria y aplicando
el correspondiente resultado para funciones reales de variable real. O bien se puede deducir
del teorema fundamental.
Proposici
on 3.7. (Integraci
on por partes) Si y son funciones complejas diferenciables
con continuidad en [a, b], entonces:
b
(t)(t) dt
a
Demostraci
on: Se obtiene trivialmente por ser es una primitiva de + .
Preliminares
3.2
Curvas y contornos en C
Definici
on 3.8. Llamaremos curva en C a toda funcion : [a, b] C continua. Al conjunto {(t); t [a, b]} se le suele llamar trayectoria o recorrido de la curva, que notaremos
abreviadamente por T r(); a se le denomina parametrizacion de la curva.
Si (a) = (b) entonces la curva es cerrada.
Si es inyectiva en (a, b), entonces se dice que es simple. Una curva de Jordan es una
curva simple y cerrada.
A continuacion enunciamos, sin demostracion, el teorema de la curva de Jordan que si
bien es un resultado intuitivamente evidente su prueba es bastante complicada (remitimos a
[5] para su demostracion).
Teorema 3.9. (Teorema de la curva de Jordan) Sea : [a, b] C una curva simple y
cerrada (curva de Jordan). Entonces el conjunto C\T r() consta de dos componentes conexas;
una de ellas es acotada y esta encerrada por la trayectoria de , que notaremos por Cint (), y
la otra no acotada, exterior a la trayectoria de , que notaremos Cext ().
Longitud de contorno
Puede calcularse la longitud de una curva suave a trozos como el paso al lmite de las longitudes
de poligonales. En efecto, si suponemos, en primer lugar, que : [a, b] C es una curva suave
y consideremos a = t0 < t1 < < tn = b una particion arbitraria del intervalo [a, b], entonces
la longitud de la poligonal Pn cuyos vertices consecutivos son (t0 ), (t1 ), . . . , (tn ) es
n
L(Pn ) =
|(ti ) (ti1 )|
i=1
Preliminares
10
1in
Por tanto, aplicando el teorema del valor medio a cada componente x, y de en cada intervalo
[ti1 , ti ], con i {1, . . . , n}, se obtiene
n
x (t1i )
L(Pn ) =
i=1
lim L(Pn ) =
| (t)|dt := L()
a
Se puede extender al caso en que la curva sea suave a trozos sumando las longitudes de
cada trozo suave. Notemos que la longitud de una curva suave a trozos es siempre finita,
pues esta formada por la union de una cantidad finita de curvas suaves. Las curvas suaves
a trozos son un caso particular de una clase mas amplia de curvas denominadas rectificables,
cuya caracterstica es que su longitud, obtenida por aproximaci
on de longitudes de poligonales,
es finita.
Se puede demostrar, sin mucha dificultad, que la longitud no depende de la parametrizacion
de la curva, no solo considerando parametrizaciones equivalentes, sino que tambien es L() =
L(), esto es, tampoco va a depender de la orientaci
on. As, se puede definir longitud para
contornos, es decir, para las clases de equivalencia de curvas suaves a trozos.
Observese que si la curva es simple esta definicion de longitud proporciona un modelo para
medir la trayectoria de la curva.
4 Integrales de contorno en C
4.1
Definici
on 4.1. Si f es una funcion continua en un abierto C y : [a, b] curva
suave a trozos. Entonces se define la integral de f sobre como
f (z)dz =
f ((t)) (t)dt
Observaci
on: Tambien se pueden considerar funciones f continuas a trozos sobre el contorno.
Independencia de la parametrizaci
on
El valor de la integral es independiente para curvas equivalentes. En efecto, si : [a, b] C y
[a, b] C son dos curvas equivalentes, existe una biyecci
on [a, b] [a, b] diferenciable con
continuidad tal que (a) = a, (b) = b y = , entonces
b
f (z)dz =
f ((t))) (t)dt
a
f (z)dz =
f ((s)) (s)ds
a
Relaci
on con la integral curvilnea real
Si
(f (z)) = u(x, y) y
contorno siendo
((t)) = x(t) y
f (z)dz =
f ((t)) (t)dt =
a
udx vdy + i
11
vdx + udy
Integrales de contorno en C
4.2
12
Propiedades
(f (z) + g(z))dz =
f (z)dz +
g(z)dz.
Aditividad Sea el contorno adicion de los contornos 1 , . . . , n , esto es, existe una
particion del intervalo de definicion de en subintervalos Ii de forma |Ii es una
parametrizacion equivalente a i , y ademas el punto final de i coincide con el punto
inicial de i+1 , para i = 1, . . . , n 1. Se verifica
n
f (z)dz =
Regla de inversi
on
f (z)dz =
Acotaci
on
f (z)dz.
4.3
f (z)dz.
i=1
En esta seccion se establece la independencia del contorno cuando se integran funciones que
admiten primitiva, en este caso la integral solo depende del valor de la primitiva en los puntos
inicial y final. Por tanto, este resultado es el analogo a al regla de Barrow para integrales
reales. Sera el teorema integral de Cauchy el que determine condiciones para la existencia de
primitivas. Por otra parte, la nocion de primitiva es identica al caso real y al de las funciones
definidas sobre intervalos.
Teorema 4.2. Sea f una funcion continua en un dominio (abierto y conexo por caminos)
C. Son equivalentes las siguientes afirmaciones:
(i) f admite primitiva en .
(ii) La integral de contorno de f es independiente del contorno en .
Demostraci
on: (i) (ii) Sea F una primitiva de f en y sea : [a, b] un contorno
suave que une los puntos z1 , z2 , siendo (a) = z1 y (b) = z2 . As, por la regla de la
cadena, se obtiene
(F ) (t) = F ((t)) (t) = f ((t)) (t)
en consecuencia,
b
f (z)dz =
Integrales de contorno en C
13
f (z)dz =
f (z)dz =
i=1
F (z) =
f (z)dz
z0
z+h
f (w)dw
z0
f (w)dw =
z0
1
h
f (w)dw
[z,z+h]
donde [z, z + h] indica el segmento que une z con z + h, que esta contenido en D(z, ) .
Por consiguiente,
F (z + h) F (z)
f (z)
h
1
h
1
|h|
f (w)dw
[z,z+h]
1
f (z)
h
dw
[z,z+h]
(f (w) f (z))dw
[z,z+h]
max
w[z,z+h]
|f (w) f (z)|
Finalmente, como f es continua , cuando h 0 se verifica que f (w) tiende a f (z) sobre el
F (z + h) F (z)
segmento [z, z + h], por tanto,
f (z) 0 cuando h 0.
h
Q P
x
y
dxdy
As, si f (z) = u(x, y) + iv(x, y), por ser f H() y f continua en entonces, teniendo
en cuenta la relacion entre la integral compleja y la integral curvilnea, se obtiene
f (z)dz =
udx vdy + i
vdx + udy =
(vx uy )dxdy
(ux vy )dxdy = 0
15
donde T es la frontera de T .
Demostraci
on: Dado el triangulo T , se considera una particion del mismo en cuatro
triangulos Ti , i {1, 2, 3, 4} construidos trazando los segmentos que unen los puntos medios
de cada lado de T . Consideraremos la frontera de T , T , con una orientaci
on determinada, e
indicaremos por L(T ) su longitud. Se tendran en cuenta dos hechos elementales:
1
L(Ti ) = L(T ) para cada i.
2
(1)
(2)
z,wT
T
T3
T4
T2
T1
f (z)dz =
T
f (z)dz,
i=1
Ti
dado que los lados de los triangulos Ti interiores T son recorridos dos veces, una en sentido
contrario a la otra. Para simplificar notacion escribiremos I(T ) =
las integrales de f sobre la frontera de cualquier otro triangulo.
16
Ahora se considera de entre los cuatro anteriores triangulos Ti aquel triangulo, que notaremos T 1 , verificando
|I(Ti )| |I(T 1 )|, i {1, 2, 3, 4},
por tanto,
4
|I(Ti )| 4|I(T 1 )|
|I(T )|
(3)
i=1
(4)
(5)
f (z) f (z0 ) f (z ) si z = z
0
0
z z0
g(z) =
0
si z = z0
f (z0 )dz +
T n
T n
g(z)(z z0 )dz =
T n
g(z)(z z0 )dz
17
ya que las funcione f (z0 ) y f (z0 )(z z0 ) admiten primitiva en todo C, por lo que su integral
a lo largo de cualquier contorno cerrado es nula.
Por tanto, teniendo en cuenta (5), la propiedad de acotacion de la integral, (2) y (1) (en
este orden), para todo n, se sigue
|I(T )| 4n |I(T n )| = 4n
T n
zT
L(T )
2n
Por u
ltimo, dado > 0 arbitrario, teniendo en cuenta la continuidad de g en z0 , existe un
> 0 verificando que g(D(z0 , )) D(0, ). Por otra parte, como el diametro de los triangulos
T n tiende a 0 y z0 T n para cualquier n, existe un n0 de tal manera que T n D(z0 , ) para
todo n n0 . En consecuencia,
|g(z)| < z T n y n n0
luego,
|I(T )| < L(T )2
> 0
f (z)dz = 0
T
Demostraci
on: Se hara la demostracion en cuatro partes; en primer lugar, considerando
contornos poligonales que son frontera de polgonos convexos; en segundo lugar, los contornos
de integracion seran poligonales cerradas y simples; a continuaci
on consideraremos poligonales cerradas que pueden ser no simples; por u
ltimo, se consideraran contornos cerrados
cualesquiera.
(i) Sea la frontera de de un polgono convexo P de n lados determinados por la sucesion
ordenada de vertices v1 , v2 , . . . , vn , entonces el teorema se demuestra facilmente considerando la
particion en triangulos siguiente (como muestra la figura 5.3): sea T1 el triangulo determinado
por los vertices v1 , v2 , v3 , v1 , T2 el triangulo determinado por v1 , v3 , v4 , v1 , y as sucesivamente,
siendo el u
ltimo triangulo Tn2 el determinado por v1 , vn1 , vn , v1 . Considerando la orientaci
on
18
de y de las fronteras de los triangulos inducida por el anterior orden de los vertices y, teniendo
en cuenta la propiedad aditiva de las integrales, se obtiene
n2
f (z)dz =
f (z)dz = 0
Ti
i=1
ya que se integra dos veces sobre los lados interiores al polgono y con orientaciones contrarias,
por lo que basta aplicar el teorema en el caso particular de triangulos para obtener que la
integral sobre es nula.
V4
Vn-1
V3
Vn
V2
V1
(ii) Consideremos ahora el caso particular en que es una poligonal cerrada que no se corta
consigo misma y recorrida una sola vez. Comprobemos que se puede realizar una particion de
la componente conexa interior a en polgonos convexos, de esta manera se obtendra que la
integral de f sobre es cero aplicando el apartado (i) en cada componente convexa.
Los polgonos convexos se caracterizan por la propiedad geometrica que asegura que si se
prolonga cualquiera de sus lados en lnea recta por cualquiera de los vertices, esta prolongacion
cae fuera del polgono. Por tanto, un polgono no convexo tiene alg
un lado cuya prolongacion
por alguno de sus extremos cae dentro del polgono. Haremos el siguiente proceso, que se ilustra
en la figura 5.4; recorriendo todos los lados de seg
un una orientaci
on determinada vamos
prolongando cada lado por el extremo cuya prolongacion se hace seg
un la orientaci
on dada; se
a
nadir
an al polgono los segmentos de las prolongaciones que se hallen entre el vertice del que
parten y el primer punto (eventualmente el u
nico) que es intersecci
on con T r(), siempre que
dicho segmento se encuentre en la componente conexa interior de . Estos segmentos producen
una particion del polgono de forma que cada componente de la particion es convexa, y se puede
aplicar el apartado anterior.
19
v1
v5
v3
a
b
v2
v0
v4
Figura 5.5: Poligonal no simple.
20
consigo misma que sea todo un segmento, este tambien se puede eliminar puesto que se recorre
dos veces y en sentido contrario.
(iv) Si es un contorno cerrado cualquiera en se puede construir un conjunto cerrado C de
manera que
T r()
D(z, ) C
zT r()
para un > 0 adecuado, esto es, debe cumplir la condicion < < d(T r(), ) donde
d(T r(), ) = inf {|z w|; z T r() y w }
y se considera < para asegurar que el cerrado C este totalmente contenido en .
W
d(Tr(g),c-W)
g
P
zi+1
zi
21
Sea < min{0 , } y considerese una particion de en arcos 1 , . . . n , siendo L(i ) < ,
para cada i {1, . . . , n}, y notemos por zi , zi+1 a los extremos de i . Considerese tambien
la poligonal P formada por los segmentos Pi = [zi , zi+1 ]. Entonces, como sobre cada i y Pi
es
f (zi )dz =
Pi
verifica
f (z)dz
f (z)dz
Pi
=
i
<
Pi
Pi
zT r(i )
(L(i ) + L(Pi ))
L(i )
2L()
L()
f (z)dz
f (z)dz
f (z)dz =
P
f (z)dz
i=1
f (z)dz <
Pi
f (z)dz
f (z)dz
i
i=1
i=1
Pi
L(i ) = ,
L()
Solo resta decir que, realmente, esta prueba es valida no solo para contornos sino tambien
para curvas rectificables.
5.2
22
i=1
f (z)dz =
f (z)dz.
i=1
Demostraci
on: Se a
naden segmentos uniendo los contornos como indica la figura 5.8 y
se consideran 1 y 2 contornos cerrados formados por un arco de los segmentos a
nadidos y
un arco de cada i , tambien como se indica en la figura.
g1
g
-G1
-G2
-G1
-G2
g2
Figura 5.8: Teorema de Cauchy para multiplemente conexos.
Como 1 y 2 son contornos cerrados contenidos cada uno de ellos en una region simplemente conexa donde f es holomorfa, aplicando el teorema de Cauchy-Goursat, se obtiene
k
0=
f (z)dz +
1
f (z)dz =
2
f (z)dz +
f (z)dz =
i=1
f (z)dz
f (z)dz
i=1
dado que las integrales sobre los segmentos se anulan pues son recorridos dos veces y en sentidos
contrarios.
6.1
La f
ormula integral de Cauchy
La formula integral de Cauchy muestra que los valores de una funcion f sobre un contorno
cerrado determinan sus valores en los puntos de su componente interior, siempre que dicha
funcion sea holomorfa sobre el contorno y sobre la componente interior.
Teorema 6.1. (F
ormula integral de Cauchy) Sea f H(T r() Cint ()), siendo un
contorno simple, cerrado y positivamente orientado. Entonces, para cualquier punto z0
Cint (), se verifica
f (z0 ) =
1
2i
f (z)
dz
z z0
Demostraci
on: Dado que f es continua en z0 , consideremos > 0 arbitrario, entonces existe
un > 0 de manera que si |z z0 | < , es |f (z) f (z0 )| < . Sea < y de forma que
D(z0 , ) Cint (), como muestra la figura 6.1. Notemos 0 al camino simple positivamente
orientado cuya trayectoria es D(z0 , ).
g
z0
r
d
f (z)
zz0
24
f (z)
dz =
z z0
f (z)
dz =
z z0
f (z) f (z0 )
dz +
z z0
f (z0 )
dz.
z z0
Podemos calcular la u
ltima de estas integrales parametrizando el contorno 0 , 0 (t) = z0 + eit
con t [0, 2], entonces
f (z0 )
dz = f (z0 )
z z0
2
0
1
ieit dt = f (z0 )2
eit
En consecuencia,
f (z)
dz f (z0 )2i =
z z0
f (z) f (z0 )
|f (z) f (z0 )|
dz max
L(0 ) < 2
z z0
|z z0 |
zT r(0 )
n!
2i
f (z)
dz
(z z0 )n+1
Demostraci
on: Vamos a demostrarlo para n = 1, se repetiran las mismas tecnicas para
n mayor. En virtud de la formula integral de Cauchy, se verifica
f (z0 ) =
f (z0 + h) f (z0 )
1
1
=
lim
h0
h
2i h0 h
lim
1
lim
2i h0
f (z)
f (z)
z z0 h z z0
f (z)
dz
(z z0 h)(z z0 )
dz
f (z)
dz
(z z0 h)(z z0 )
f (z)
dz
(z z0 )2
f (z)
dz cuando
(z z0 )2
f (z)h
dz
(z z0 h)(z z0 )
|f (z)||h|
L()
zT r() |z z0 h||z z0 |
max
25
Ahora bien, como f es holomorfa sobre T r(), tambien es continua, luego, por ser T r()
compacto es |f (z)| M para todo z . Ademas, como es cerrado y z0 T r() tambien
es d = min{|z z0 |; z } > 0, y as |z z0 h| |z z0 | |h| d |h|. En consecuencia,
si |h| < d se verifica
|f (z)||h|
M |h|
L()
L() 0
d(d |h|)
zT r() |z z0 h||z z0 |
max
si h 0
Demostraci
on: Como la integral de f sobre cualquier contorno cerrado del dominio se
anula, entonces admite primitiva F en . Al ser F H() entonces es F = f H().
6.2
1
2i
f (w)
dw
(w z)2
1
2
|f (w)|
M
L()
0
2
wT r() |w z|
max
si
Algebra
que asegura que todo polinomio no constante tiene al menos un raz. Probaremos una
version mas fuerte de este teorema.
26
(an = 0)
Por reduccion al absurdo, supongamos que P (z) = 0 para todo z C. Entonces conside1
ramos la funcion f (z) =
que esta definida en todo z C y es entera (f H(C)) por
P (z)
serlo P y no anularse nunca. Ademas esta funcion f esta acotada. En efecto, observemos en
primer lugar que, debido a que limz P (z) = , es limz f (z) = 0; entonces dado > 0
1
< para todo z con |z| > M , luego f est
a acotada en
existe M > 0 de manera que
|P (z)|
C \ D(0, M ). Por otra parte, por la continuidad de f podemos asegurar que tambien esta
acotada en el disco cerrado D(0, M ), ya que es un compacto.
Por tanto, f es entera y esta acotada en todo C, del teorema de Liouville se deduce que
f es constante, en contra de la hipotesis, en consecuencia, debe existir alg
un z C de forma
que P (z) = 0.
P (z)
, que es de
z z1
grado n 1, debe tener una raz z2 . Reiterando el proceso se llega al polinomio de grado uno
b
Pn1 (z) = az + b que tiene una raz zn = , con lo que en total se han obtenido n races.
a
Sea z1 raz de P (z), entonces aplicando lo anterior al polinomio P1 (z) =
6.3
El teorema del valor medio de Gauss dice que si una funcion es holomorfa en un punto, y por
tanto en un entorno de dicho punto, el valor de la funcion en el mismo es la media aritmetica
de los valores que toma sobre cualquier circunferencia que este dentro del mencionado entorno.
Teorema 6.7. (Teorema del valor medio de Gauss) Sea f H(D(z0 , )) entonces
f (z0 ) =
1
2
2
0
Demostraci
on: Sea (t) = z0 + eit , con t [0, 2], el contorno frontera del disco
D(z0 , ), entonces, seg
un la formula integral de Cauchy, es
f (z0 ) =
1
2
f (z)
1
dz =
z z0
2
2
0
El siguiente resultado, de utilidad para probar el principio del modulo maximo, establece
que el modulo de una funcion holomorfa no constante en un dominio no puede tener maximos
locales.
27
Lema 6.8. Sea f H(D(z0 , )), si |f (z)| |f (z0 )| para todo punto z D(z0 , ), entonces f
es constante igual f (z0 ) en todo el disco D(z0 , ).
Demostraci
on: Sea z D(z0 , ), vamos a ver que f (z) = f (z0 ). Si = |z0 z|,
consideramos la circunferencia centrada en z0 y de radio , que pasa por z. Seg
un el resultado
anterior f (z0 ) =
1
2
2
0
|f (z0 )|
1
2
2
0
f (z0 + eit ) dt
2
0
1
2
2
0
1
2
2
0
|f (z0 )| dt = |f (z0 )|
f (z0 + eit ) dt
de donde, al ser |f (z0 )| f (z0 + eit ) para todo valor de t [0, 2], entonces necesariamente
es |f (z0 )| = f (z0 + eit ) , y en particular |f (z)| = |f (z0 )|. As, se deduce que el modulo de la
funcion f es constante en todo el abierto D(z0 , ), y al tratarse de una funcion holomorfa en
dicho abierto se deduce que la propia funcion es constante.
Teorema 6.9. Si f H() y no constante en el dominio , entonces |f | no alcanza el valor
maximo en ning
un punto de . Si f es continua en entonces |f | alcanza su valor maximo
en alg
un punto de .
Demostraci
on: Demostraremos el teorema por reduccion al absurdo, supondremos que
|f | alcanza el valor maximo en un punto z0 y llegaremos a que, de esta hipotesis, necesariamente se deduce que |f | ha de ser constante en todo .
W
r
z0
28
d(T r(), ) > 0 y podemos considerar el recubrimiento de T r() por discos D(z, )
siendo 0 < < d(T r(), ) y z T r(). Como ademas T r() es compacto, se puede extraer
un subcubrimiento finito, es decir, podemos encontrar D(z0 , ), D(z1 , ), . . . D(zn , ) de forma
que T r()
i=0
miento estan ordenados de forma que z0 , z1 , . . . , zn son consecutivos sobre T r(), as se tendra
que D(zi , ) D(zi+1 , ) = . Aplicando el lema anterior, se obtiene que f (w) = f (z0 ) para
todo z D(z0 , ), en particular, f (z0 ) = f (w1 ) siendo w1 D(z0 , ) D(z1 , ). De nuevo,
aplicando el lema se obtiene que f (w) = f (z0 ) en todo w D(z1 , ). Repitiendo el proceso,
se llega a que f es constante sobre todos los discos de este subcubrimiento y, en particular,
f (z0 ) = f (z).
Finalmente, si f es continua en , entonces |f | tambien lo es y, por tanto, alcanza el valor
maximo en alg
un punto de que, seg
un lo anterior, estara necesariamente en la frontera.
7 Bibliografa
[1] Ablowitz, M. J., y A. S. Fokas. Complex variables: Introduction and applications. Cambridge University Press, Cambridge, 1997.
[2] Ahlfors, L. V. Complex Analysis. McGraw-Hill, 1979
[3] Churchill, R. V., y J. W. Brown. Variable compleja y aplicaciones. McGrawHill/Interamerica de Espa
na, Madrid, 1991.
[4] Lopez-Gomez, J. Ecuaciones diferenciales y variable compleja. Prentice Hall (Pearson
Educacion), Madrid, 2001.
[5] Margalef, J., E. Outerelo, y J. L. Pinilla. Topologa, Tomo V. Alhambra, Madrid, 1982.
[6] Markushevich, A. Teora de las funciones analticas, Tomos I y II. Mir, Moscu, 1978.
[7] Needham, T. Visual complex analysis. Oxford University Press, Oxford, 2000.
[8] Remmert, R. Theory of complex functions. Springer-Verlag, U.S.A., 1991.
[9] Saff, E. B., y A. D. Snider. Fundamentals of complex analysis for mathematics, science
and engineering. Prentice Hall, New Jersey, 1993.
[10] Wunsch, A. D. Variable compleja con aplicaciones. Addison-Wesley Iberoamerica, Wilmington, 1997.
29