Teorema de Rouché

proposición utilizada en el campo complejo para localizar raíces

El teorema de Rouché, que lleva el nombre de Eugène Rouché, establece que para dos funciones complejas f y g, con valores holomórficos cualesquiera dentro de una región con contorno cerrado , si |g(z)| < |f(z)| en , entonces (f) y (f + g) tienen el mismo número de ceros dentro de , donde cada cero se cuenta tantas veces como su multiplicidad. Este teorema asume que el contorno es simple, es decir, sin auto-intersecciones. El teorema de Rouché es una consecuencia sencilla de un teorema de Rouché simétrico más fuerte que se describe a continuación.

El teorema se usa generalmente para simplificar el problema de ubicar ceros, como sigue. Dada una función analítica, se escribe como la suma de dos partes, una de las cuales es más simple y crece más rápido que (y por lo tanto, domina a) la otra parte. Entonces se pueden ubicar los ceros mirando solo la parte dominante. Por ejemplo, el polinomio   tiene exactamente 5 ceros en el disco   porque   para cada  , y  , la parte dominante, tiene cinco ceros en el disco.

Explicación geométrica

editar
 
Dado que la distancia entre las curvas es pequeña, h(z) recorre exactamente una vuelta al igual que lo hace f(z).

Es posible proporcionar una explicación informal del teorema de Rouché.

Sea C una curva simple cerrada (es decir, que no se interseca a sí misma). Sea h(z) = f(z) + g(z). Si f y g son ambas holomórficas en el interior de C, entonces h también debe ser holomórfica en el interior de C. Entonces, con las condiciones impuestas anteriormente, el teorema de Rouché en su forma original (y no simétrica) dice que

Si |f(z)| > |h(z) − f(z)|, para cada z en C, entonces f y h tienen el mismo número de ceros en el interior de C.

Obsérvese que la condición |f(z)| > |h(z) − f(z)| significa que para cualquier z, la distancia desde f(z) al origen es mayor que la longitud de h(z) − f(z), que en la siguiente imagen significa que para cada punto de la curva azul, el segmento que lo une al origen es más grande que el segmento verde asociado a él. De manera informal se puede decir que la curva azul f(z) siempre está más cerca de la curva roja h(z) que del origen.

El párrafo anterior muestra que h(z) debe rodear el origen exactamente tantas veces como f(z). El índice de ambas curvas alrededor de cero es, por lo tanto, el mismo, por lo que, según principio del argumento, f(z) y h(z) deben tener el mismo número de ceros dentro de C.

Una conocida manera informal de resumir este argumento es la siguiente: si una persona paseara a un perro con una correa alrededor de un árbol, de modo que la distancia entre la persona y el árbol sea siempre mayor que la longitud de la correa, entonces, la persona y el perro rodean el árbol el mismo número de veces.

Aplicaciones

editar

Considérese el polinomio   (donde  ). Según la fórmula cuadrática tiene dos ceros en  . El teorema de Rouché se puede utilizar para obtener sus posiciones con más precisión. Sea

  para cada  ,

El teorema de Rouché afirma que el polinomio tiene exactamente un cero dentro del disco  . Dado que   está claramente fuera del disco, se concluye que el cero es  . Este tipo de argumento puede ser útil para localizar residuos cuando se aplica el teorema de los residuos de Cauchy.

El teorema de Rouché también se puede utilizar para dar una breve demostración del teorema fundamental del álgebra. Sea

 

y elíjase   tan grande que:

 

Dado que   tiene   ceros dentro del disco   (porque  ), del teorema de Rouché se deduce que   también tiene el mismo número de ceros dentro del disco.

Una ventaja de esta demostración sobre las demás es que muestra no solo que un polinomio debe tener un cero, sino que el número de sus ceros es igual a su grado (contando, como es habitual, la multiplicidad).

Otro uso del teorema de Rouché es probar el teorema de la aplicación abierta para funciones analíticas.

Versión simétrica

editar

Theodor Estermann ya conocía una versión más fuerte del teorema de Rouché en 1962.[1]​ Dice: sea   una región acotada con límite continuo  . Dos funciones holomórficas   tienen el mismo número de raíces (contando multiplicidad) en  , si la desigualdad estricta

 

se mantiene en el límite  

La versión original del teorema de Rouché se sigue de esta versión simétrica aplicada a las funciones   junto con la observación de que   cuando   está en  .

La declaración se puede entender intuitivamente de la siguiente manera: Al considerar   en lugar de  , la condición se puede reescribir como   para  . Dado que   siempre se cumple según la desigualdad triangular, esto equivale a decir que   en  , que está implícito en la condición  .

Intuitivamente, si los valores de   y   nunca apuntan en la misma dirección que los círculos de   en  , entonces   y   se deben enrollar alrededor del origen la misma cantidad de veces.

Demostración de la forma simétrica del teorema de Rouché

editar

Sea   una curva cerrada simple cuya imagen es el límite  . La hipótesis implica que f no tiene raíces en  . En consecuencia, por principio del argumento, el número Nf (K) de ceros de f en K es

 

es decir, el índice de la curva cerrada   alrededor del origen; de manera similar para g. La hipótesis asegura que g(z) no es un múltiplo real negativo de f(z) para cualquier z = C(x), por lo que 0 no se encuentra en el segmento de línea que une f(C(x)) con g(C(x)), y

 

es una homotopía entre las curvas   y   evitando el origen. El número de vueltas es un invariante de la homotopía: la función

 

es continua y de valores enteros, y por lo tanto, constante. Esto muestra que

 

Véase también

editar

Referencias

editar
  1. Estermann, T. (1962). Complex Numbers and Functions. Athlone Press, Univ. of London. p. 156. 

Referencias

editar