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
Contenido
1 Introducción 3
1.1 Argumento Principal . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Teorema de Rouché . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Argumento Principal 4
2.1 Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 DEMOSTRACION . . . . . . . . . . . . . . . . . . . . . . . . 6

3 Teorema de Rouche 9
3.1 Definicion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2 Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.3 DEMOSTRACION . . . . . . . . . . . . . . . . . . . . . . . . 9

4 Ejemplos Teorema de Rouché 11

4.1 Ejemplo 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.2 Ejemplo 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

5 Ejercicio Computacional en Matlab 13

6 Anexos 14

7 Referencias 16

2
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 .

3
 Sustento Teorico

2 Argumento Principal
2.1 Definicion
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.

2.2 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

4
 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.

5
2.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, ex-

cepto 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 ,

6
donde g es analı́tica en Zp y g(Zp) distinto de cero.Derivando en este
caso f (z) = (Z − Zp)− m(g(z)).

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) k=1
f (z) k=1
f (z)

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

7
 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)

8
3 Teorema de Rouche
3.1 Definicion
Es una consecuencia del Argumento Principla. El teorema es util para
determinar el numero de ceros de una funcion analitica

3.2 Teorema
Sea C un contorno cerrado simple situado totalmente dentro de un
dominio . 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.

3.3 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

9
 F 0 (z) g 0 (z) f 0 (z)
= −
F (z) g(z) f (z)
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.

10
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 desigual-
√
dad 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

11
aún

|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.

12
5 Ejercicio Computacional en Matlab
¿¿ gs = tf([1 2],[1 2 3])
gs =
s + 2 − − − − − − − − − − − − − s2 + 2s + 3
Continuous-time transfer function.
¿¿ ¿¿ ¿¿ ¿¿ polos = roots(gs.num1)
polos =
-2
¿¿ ¿¿ zeros = roots(gs.den1)
zeros =
-1.0000 + 1.4142i -1.0000 - 1.4142i
¿¿ ¿¿ ¿¿ zeros - polos
ans =
1.0000 + 1.4142i 1.0000 - 1.4142i
¿¿ ¿¿ ¿¿ num = [1 0 1]
num =
101
¿¿ den = [1 2 2]
den =
122
¿¿ fz = tf(num,den)
fz =
s2 + 1 − − − − − − − − − − − − − s2 + 2s + 2
Continuous-time transfer function.
¿¿ Nzeros = roots(fz.den1)
Nzeros =
-1.0000 + 1.0000i -1.0000 - 1.0000i
¿¿ Ppolos = roots(fz.num1)
Ppolos =
0.0000 + 1.0000i 0.0000 - 1.0000i
¿¿ ¿¿ Nzeros - Ppolos
ans =
-1.0000 - 0.0000i -1.0000 + 0.0000i
¿¿

13
6 Anexos

14
15
7 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.

16