UNIVERSIDAD NACIONAL

AUTONOMA DE HONDURAS

Variable Compleja MM-502

Argumento Principal Y Teorema de Rouche

Lic: Angela Paola Izaguirre

Presentado por :
Mario Jair De Dios 20161000370
Mario Josue Contreras 20161002766
Willhem Otthoniel Baquedano 20142300235
Juan Manuel Bustillo 20121004942
Elmer Alexander Pineda 20152005533
Osly Roberto Rodas 20161002818
Jonathan Diaz 20171001870
Jose Vicente Vargas 20142302045

Seccion:1700

04/12/18

1
1 Introducción
En el presente informe explicaremos mediante sustentos teoricos y ejemplos
con diferentes grados de dificultad, los teoreomas del Argumento Principal
y El Teorema de Rouché.

1.1 Argumento Principal

En el Argumento Principal que su nombre se le otorga por la relacion entre el
numero N0 -Np y arg(f(z)), se aplicara la teoria de residuos en la ubicacion
de los ceros de una funcion analitica. Debemos considerar dos teoremas
importantes, tenemos que contar el numero de ceros y polos de una funcion
f que se encuentran dentro de un contorno cerrado C simple y se incluye el
orden o multiplicidad de cada cero y polo.

1.2 Teorema de Rouché

Este teorema es consecuencia del argumento principal.El teorema se usa
generalmente para simplificar el problema de ubicar ceros, de la siguiente
manera. Dada una funcion analitica, la escribimos como la suma de dos
partes, una de las cuales es mas simple y crece mas rapido que (por lo tanto
domina) la otra parte. Luego podemos ubicar los ceros mirando solo la parte
dominante.
Sea C una curva simple y cerrada (es decir, no auto-interseccion). Sea
h(z)=f(z)+g(z). Si f y g son ambos holomorfos en el interior de C , entonces
h debe ser tambien holomorfo en el interior de C . Luego, con las condiciones
impuestas anteriormente, el teorema de Rouche en su forma original (y no
simetrica) dice que Si |f (z)| > |h(z) − f (z)|, para cada z en C, entonces f y
h tienen el mismo numero de ceros en el interior de C .

2
2 Sustento Teorico
Argumento Principal
Para abordar este teorema primero tenemos que contar el numero de ceros
y polos de una función f que se encuentran dentro de un contorno cerrado
C simple, en este conteo se incluye el ordeno multiplicidad de cada cero y
polo.Por ejemplo si:

((z − 1)(z − 9)4 (z + i)2 )

f (z) = (1)
(z 2 − 2z + 2)2 (z − i)6 (z + 6i)7

Y C se considera como la circunferencia |z| = 2, entonces se examina el

numerador de f, lo que indica que los ceros dentro de C son z=1 (un cero
simple) y z=-i (un cero de orden o multiplicidad 2). Por tanto, el numero de
ceros No = 1+2+3.Del mismo modo,el examen del mismo denominador de f
muestra, despues de factorizar z 2 − 2z + 2, que los polos que estan dentro de
C son z=1-i(polo de orden 2), z=1+i(polo de orden 2), y z=i(polo de orden
6). El numero Np de polos dentro de C se toma como Np = 2 + 2 + 6 = 10.

Teorema
Sea c un contorno cerrado simple situado totalmente dentro de un Dominio
D. Suponga que f es analitica en D, excepto en un numero finito de polos
dentro de C, y que f(z) 6= 0 en C. Entonces:

I 0
1 f (z)
= No − Np (2)
2Πi f (z) dz

donde No es el numero total de ceros de f dentro de C y Np es el numero

total de polos de f en el interior de C. La determinacion de No y Np ceros y
polos se cuentan en funcion de su orden o multiplicidades.

3
DEMOSTRACION
Comenzamos con un recordatorio de que cuando usamos el para el simbolo
de un contorno, significa que estamos integrando en la dirección positiva
alrededor de la curva cerrada C.

El integrando f 0 (z)/f (z) es analitica en y sobre el contorno C, excepto en

los puntos en el interior de C, donde f tiene un cero o un polo. Si Zo es un cero
de orden n de f dentro de C, entonces podemos escribir f (z) = (z − zo )n φ0 (z),
donde es analitica en Zo y. Derivamos f con la regla del producto.

f 0 (z) = (z − zo )n φ0 (z) + n(z − zo )n−1 φ(z)

y se divide esta expresión entre f. en algunos discos perforados con centro

en Zo tenemos.

f 0 (z) (z − zo )n φ0 (z) + n(z − zo )n−1 φ(z) φ0 (z) n

= n = + (3)
f (z) (z − zo ) φ(z) φ(z) z − zo

El resultado en muestra que el integrando f’(z)/f(z) tiene un polo simple

en Zo y el residuo en ese punto es.

f 0 (z) φ0 (z) n φ0 (z)

Res( , zo ) = limz→zo (z − zo )[ + ] = limz→zo [z − zo + n] = 0 + n = n,
f (z) φ(z) (z − zo ) φ(z)
(4)

Que es el orden del cero Zo. ahora bien si Zo es un polo de orden

m de f dentro de C, entonces podemos escribir f (z) = g(z)/(z − zp)m ,
donde g es analı́tica en Zp y g(Zp) distinto de cero.Derivando en este caso
f (z) = (Z − Zp)− m(g(z)).

4
 f 0 (z) = (z − zp )−m g 0 (z) − m(z − zp )−m−1 g 0 (z)

Por tanto en algún disco perforado con centro en Zp.

f 0 (z) f 0 (z) = (z − zp )−m g 0 (z) − m(z − zp )−m−1 g 0 (z) g 0 (z) −m

= −m = +
f (z) f (z) = (z − zp ) g(z) g(z) z − zp
(5)

Vemos que el integrando f 0 (z)/f (z) tiene un polo simple en Zp.Tambien

vemos que el residuo en Zp es igual a -m que es el negativo del orden del
polo de f.
Por último supongamos que z01 , z02 , ..., zor y zp1 , zp2 , ..., zps , son
ceros y polos de f en C y supongamos, ademas, que el orden de los ceros,
son n1, n2,...nt y -m1,-m2,...,mt. Se deduce del teorema del residuo que
[f’(z)/f(z)]dz es igual a 2πi veces la suma de los residuos en los polos.

r s
f 0 (z) f 0 (z) f 0 (z)
I X X
dz = 2Πi[ Res( , z0k )+ Res( , zpk )]
f (z) f (z) f (z)
k=1 k=1

Xr s
X
=[ nk + (−mk ) = 2Πi[N0 − NP ]
k=1 k=1

Supongamos que el contorno cerrado simple es |z| = 2. El resultado

indica que la evaluación de, cada cero de f dentro de C contribuye 2πi
veces el orden de multiplicidad del cero y cada polo contribuye 2πi veces el
negativo de cada polo.

f 0 (z)
I z }| { z }| {
dz = [2Πi(1) + 2Πi(2)] + 2Πi(−2) + 2Πi(−2) + 2Πi(−6) = −14Πi
f (z)

5
3 Teorema de Rouche
Es una consecuencia del Argumento Principla. El teorema es util para de-
terminar el numero de ceros de una funcion analitica

Teorema
Sea C un contorno cerrado simple situado totalmente dentro de un do-
minio . Suponga que f y g son analiticas en D. Si la desigualdad estricta
|f (z) − g(z)| < |f (z)| vale para toda z en C, entonces f y g tienen el mismo
numero de ceros(contados de acuerdo con su orden o multiplicidad) dentro
de C.

DEMOSTRACION
Comenzamos que de |f (z) − g(z)| = |g(z) − f (z)| vemos que al dividir entre
la desigualdad |f (z)| tenemos que, para toda z en C

|f (z) − 1| < 1 (6)

g(z)
donde F (z) = f (z) . Por el teorema de Gauchy-Goursat,

F 0 (z)
Z I
1
dw = 0 o dz = 0 (7)
w F (z)
ya que w=F(z) y dw=F’(z)dz. De la regla del cociente,

f (z)g 0 (z) − g(z)f 0 (z)

F 0 (z) =
[f (z)]2
obtenemos

F 0 (z) g 0 (z) f 0 (z)

= −
F (z) g(z) f (z)

6
Entonces utilizando la ultima expresion en la segunda integral en (4) se

obtiene

g 0 (z) f 0 (z) g 0 (z) f 0 (z)

I I I
[ − ]dz = 0 o dz = dz
g(z) f (z) g(z) f (z)

Se deduce con el teorema del Argumento Principal con Np = 0, que el

numero de ceros de g dentro de C es igual que al numero de ceros de f en el
interior de C.

7
4 Ejemplos Teorema de Rouché
4.1 Ejemplo 1.
Encontrar el numero de ceros de F (z) = z 8 − 4z 5 + z 2 − 1 en |z| < 1.
Solución

Usamos f (z) = −4z 5 , g(z) = z 8 + z 2 − 1. En |z| = 1 se verifica

|g(z)| = |z 8 + z 2 − 1| ≤ |z 8 | + |z 2 | + | − 1| = |z|8 + |z|2 + 1 = 3,

|f (z)| = || − 4z 5 || = 4|z|5 = 4.
Por tanto, |f (z)| > |g(z)| en |z| < 1.

Según el teorema de Rouché F(z) tiene el mismo número de raı́ces en |z| < 1

que −4z 5 incluyendo multiplicidades es decir, 5 raices.

4.2 Ejemplo 2.
Utilice el teorema de Rouché para determinar los cuadrantes en los cuales
están los ceros de z 4 + iz 2 + 2y el numero de ceros que estan dentro de los
circulos de radio varı́an.
Solución

Sea g(z) = z 4 , f (z) = z 4 + iz 2 + 2, y observe que

|f (z) − g(z)| = |iz 2 + 2| ≤ |z|2 + 2

y que
|g(z)| = |z|4
√
por lo tanto, si r = |z| > 2, tenemos

|f (z) − g(z)| < |g(z)|

Puesto que no se anula en ningún cı́rculo de radio positivo,√la desigualdad
precedente muestra que f no se anula en cı́rculos con radio > 2, El teorema
de Rouché muestra entonces que las cuatro raı́ces√ de f están dentro de estos
cı́rculos, esto es, dentro del disco cerrado |z| ≤ 2.

Enseguida, sea h(z) = z 4 + 2iz 2 = z 2 (z 2 + 2i). Claramente, √ h tiene una

doble raı́z en 0 y dos raı́ces adicionales sobre el cı́rculo |z| = 2. Más aún

8
 |h(z)|
|f (z) − h(z)| = | − iz 2 + 2| = |z 2 + 2i| =
|z|2

√
Para cualquier elección de r, con 1 < r < 2,h y, por lo tanto,f,fno se
anulan en el cı́rculo |z| = r y |f (z) − h(z)| < |h(z)|. El teorema de Rouché
muestra que f tiene precisamente dos ceros en |z| < √ r para cualquiera de
estos valores de r. Haciendo que r se aproxime a 1 y a 2, vemos que f tiene √
dos raices en el disco cerrado |z| ≤ 1 y dos raı́ces sobre el cı́rculo |z| = 2.
Finalmente, sea k(z) = 2. Entonces

|f (Z) − k(z)| = |z 4 + iz 2 | ≤ |z|4 + |z|2 < 2 = |k(z)|

siempre que |z| < 1.Argumentando como antees, para cualquier r, con
0 < r < 1, k y, por lo tanto,f, no se anulan en |z| < r. Combinando
estos tres resultados,
√ encontramos que f tiene dos ceros sobre |z| = 1 y dos
sobre |z| = 2.

9
5 Referencias
Ahlfors, L. V.: Complex Variables. McGraw-Hill, 1978. (Edición en español:
Análisis de Variable Compleja, Aguilar, 1971).

Brown, J. W., Churchill R. V.: Variable compleja y aplicaciones. McGraw-

Hill, 2007

A. D. Wunsch: Complex Variables with Applications, Ed. Pearson, 2005.

10