UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

TRABAJO DE ANALISIS EN LOS NUMEROS COMPLEJOS

INTEGRANTES: Vilca Pizarro Julio David 11190025

PROFESOR: CURSO: GRUPO:

Frank Navarro Rojas Calculo Diferencial e Integral II 1

2011

RESUMEN

ANALISIS EN NUMEROS COMPLEJOS

A) Ceros y singularidades aisladas
El hecho de que una funcin holomorfa sea analtica hace que en una situacin natural sus ceros tengan propiedades similares a los de los polinomios: Son aislados y tienen multiplicidad. Si f H() no es idnticamente nula en un abierto conexo C entonces el conjunto de sus ceros, Z(f) := {z : f(z) = 0} verifica la condicin Z(f) = . Esto implica Z(f) es numerable y el principio de identidad 4.1.4 fundamental para las cuestiones de prolongacin analtica.
Ceros y principio de identidad

Si C es un abierto conexo, a y f H(), son equivalentes: a) f(n)(a) = 0 para todo n 0; b) Existe Va , entorno de a, tal que f|Va es idnticamente nula. c) f es idnticamente nula en todo.
Comportamiento local de una funcin holomorfa

El comportamiento local de una funcin holomorfa f H( ) en el entorno de un punto a con f(a) 6= 0 es muy simple: Sea C abierto y f H(). Si a y f(a) 6= 0 existe un entorno abierto de a, Ua tal que se cumple a), b) y c): a) f|Ua es inyectiva, b) Vb = f(Ua) es un entorno abierto de b = f(a) c) La inversa g = (f|Ua)1 : Vb Ua es holomorfa. Por lo tanto f establece un isomorfismo conforme entre un entorno abierto Ua de a y un entorno abierto Vb de b.
Singularidades aisladas

En esta seccin se considera el comportamiento de una funcin holomorfa en el entorno perforado de un punto que no pertenece a su dominio. Cuando ocurre esto se dice que el punto es una singularidad aislada de la funcin. Sea f H(). Si a 6 y D (a, r) para algn r > 0 se dice que a es una singularidad aislada de f. Si existe el lmite limza f(z) = b C se dice que a es una singularidad evitable de f. Si existe el limite limza f(z) = se dice que a es un polo de f. Finalmente, cuando en C no existe el limite limza f(z) se dice que a es una singularidad esencial de f.

Funciones meromorfas

Una funcin f : C definida en un abierto C se dice que es meromorfa si es continua y verifica a) Los puntos de P(f) = {z : f(z) = } son aislados (e.d. P(f) = ). b) La restriccin de f al abierto 0 := \ P(f) es holomorfa. En lo que sigue M() designa al conjunto de las funciones meromorfas en . En las condiciones de la definicin anterior los puntos de P(f) son singularidades aisladas, de tipo polo, de la funcin holomorfa f|0. Se dice que P(f) es el conjunto de los polos de f. Recprocamente, si f0 es una funcin holomorfa en un abierto 0 y S 0 es un conjunto de singularidades aisladas de f de tipo polo y se define f(a) = para cada a S se obtiene una extensin meromorfa, de f, definida en := 0 S con P(f) = S.

B) Versin general de los teoremas de Cauchy

Este captulo comienza con la nocin de ndice de un camino cerrado respecto a un punto, que se extiende luego al caso de los ciclos (familias finitas de caminos cerrados). Esta es la nocin clave que interviene en la formulacin homolgica de los teoremas de Cauchy de los que se ofrece la moderna demostracin basada en una ingeniosa combinacin de los teoremas de Morera y Liouville. Se obtiene luego la clsica versin homotpica de estos teoremas y la caracterizacin analtica de los abiertos simplemente conexos.
ndice de un camino cerrado respecto a un punto

Todo camino continuo : [0, 1] C \ {0} posee un logaritmo continuo. Si : [0, 1] C \ {0} es un camino regular a trozos y log (0), la funcin ( ) () ( ) es un logaritmo continuo de .
Versin homolgica de los teoremas de Cauchy

Si f H(), la funcin g : C definida por ( ) ( ) ( ) si z w; g(z, z) = f(z) es continua en .

Teorema de los residuos

Si f H() y a C es una singularidad aislada de f existe un nico C tal que la funcin ( ) Tiene primitiva en cada D (a, r) . Si f H() y a C es una singularidad aislada de f, el residuo de f en a, denotado Res(f, a), es el nico

 C que hace que la funcin ( ) tenga primitiva en cada D(a, ) . Si es singularidad aislada de f se define Res(f,) = Res(g, 0) donde g(z) = f(1/z)/ .
Principio del argumento y sus aplicaciones

Si f es una funcin meromorfa no idnticamente nula en un abierto conexo entonces los ceros y los polos de f singularidades aisladas del cociente f (z)/f(z). Si a es un cero o un polo de f se denotara por (f, a) su multiplicidad.

C) Aplicaciones
Clculo de integrales

El teorema de los residuos se puede aplicar para calcular el valor de ciertas integrales. Se exponen a continuacin algunos tipos de integrales que se pueden evaluar utilizando este teorema: Sea (t) = R(cos t, sen t) continua en [0, 2], donde R(z,w) es una funcin racional. ) ( )) ; se verifica Si C(t) = eit, t [0, 2] y ( ) ( (
Sumacin de series

()

( )

| |

El teorema de los residuos se puede utilizar para sumar series. Se exponen a continuacin algunos tipos de series cuyas sumas se pueden calcular con este metido. Llamaremos funcin sumadora a una funcin meromorfa M(C) con polos P() = Z, todos simples, que permanece acotada sobre nN{z : |z| = Rn}, donde Rn es una sucesin que verifica n < Rn < n + 1 para todo n N.

D) Representacin de funciones
Desarrollos de Mittag-Leffler

Segn el teorema 4.4.3 toda funcin meromorfa f M(C) es racional y admite una ( ) nica representacin ( ) ( ) donde p es un polinomio (constante cuando no es polo de f) y cada Pn es un polinomio con Pn(0) = 0. Esta es la llamada descomposicin en fracciones simples de la funcin racional f cuyo inters reside en que hace explcitos los polos {an : 1 n m} y las correspondientes partes principales Pn(1/(zan)). Cuando p(z) no es constante, p(z)p(0) es la parte principal de f en .

Productos infinitos de funciones holomorfas

Todo polinomio complejo p admite una nica representacin en la forma p(z) = k(z a1)m(a1)(z a2)m(a2) (z ak)m(ak) donde k es una constante no nula. Esta representacin, al hacer explcitos los ceros y las correspondientes multiplicidades, revela ms informacin que la representacin habitual. El objetivo de esta seccin es conseguir una representacin anloga para funciones holomorfas en un abierto C y en particular para funciones enteras.
La funcin de Euler

La funcin (z), introducida por Euler, es una funcin meromorfa en C que extiende a la funcin de n N definida por f(n) = (n 1)!. Esta funcin f : N N queda caracterizada por la ecuacin funcional f(n + 1) = nf(n) y el valor inicial f(1) = 1. Como motivacin para la definicin de la funcin planteamos el problema de buscar una funcin de variable compleja f(z) que satisfaga f(1) = 1; f(z + 1) = zf(z) si z 0
La funcin de Riemann

Comenzamos definiendo la funcin de Riemann en el semiplano = {z : Re z > 1} mediante la suma de la serie ( )