Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Maite Fernndez Unzieta Universidad de Guanajuato Enero Junio 2012 Eugenio Daniel Flores Alatorre
Bibliografa
Complex Analysis Basic Complex Analysis Functions of one complex variable Complex analysis 3rd ed. Ahlfors Marsden Conray Lang
Temario
Plano Complejo Espacios vectoriales complejos Funciones holomorfas y analticas Integral de Cauchy y sus aplicaciones Funciones especiales Teorema de Riemann
Forma de evaluar
3 exmenes parciales Examen final Tareas
Si Si
Si no se presenta examen final, C es la calificacin final. En caso contrario, la calificacin final se calcula como sigue:
Si
es un grupo abeliano o El neutro es es un grupo abeliano o El neutro es Las operaciones son distributivas y las definimos como sigue: o o
Observacin:
La suma en
es la misma que en
es un encaje, funcin -lineal, inyectiva. Im como cualquier recta que pasa por el origen. Dado , calculamos :
tal que
Si
En coordenadas polares:
El producto se ve as:
y no:
Entonces,
y, en general, para toda n segn su residuo mdulo 4. Teorema: Supongamos que es un campo tal que:
con
. Sea
un subcampo con
donde
es una funcin biyectiva. Vamos a verifica que se trata de un isomorfismo de campo. Consideramos con . 1) Manda la suma en la suma: ,
Observacin: Todo esto se conserva si vemos las matrices como rotaciones en coordenadas polares, algo que haremos ms adelante, recordando las siguientes frmulas:
Conjugacin
Definimos la funcin como sigue:
Entonces, si
, el conjugado de .
Observacin: Trabajando en los complejos como las matrices definidas antes, tenemos:
Propiedades: 1)
2)
3) Si
, entonces
5) Empezamos a trabajar con el mdulo o norma que corresponde segn el isomorfismo de espacio vectorial con la norma eucldea en . -
pues
Definimos
7) Desigualdad de Cauchy-Schwartz
por ser la norma no-negativa. Como el caso en que es igual a cero es trivial, podemos descartarlo. Dado que tenemos un polinomio positivo, grado dos, no es posible que tenga races en los reales.
Recordando que
que implica
Sustituyendo,
Representacin geomtrica de
Vectores
Producto escalar
Producto
El producto se entiende grficamente por la semejanza de los tringulos y . La semejanza se encuentra por la construccin pues los ngulos se eligen iguales. Encontramos que la razn de semejanza es que implica que el punto marcado con es en realidad el valor del producto.
Coordenadas Polares
Otra representacin sumamente importante para los complejos es en coordenadas polares. Recordando: Si en coordenadas rectangulares o cartesianas, entonces
donde O bien,
Denotamos por la longitud o mdulo de , y por el ngulo o argumento, entendiendo por ngulo el comprendido entre el eje real y el vector . Es decir:
si
pero no estara bien definida pues sera multivaluada. Por ello, acordamos definirla como sigue:
Aunque podemos expresar la suma de manera mucho ms sencilla con coordenadas rectangulares, el producto es ms sencillo en polares:
si recordamos que
Es decir, el producto de dos nmeros complejos en coordenadas polares es el producto de los mdulos y la suma de los argumentos. Esta operacin coincide con la definicin siguiendo la frmula de Euler:
Entonces es posible calcular las races n-simas de cualquier nmero complejo de manera muy sencilla. Buscamos
entonces
pues dado
, si
es una de sus races n-simas cualquiera ( ), entonces donde son las races n-simas de la unidad.
Demostracin: Supongamos que . Puesto que todo nmero distinto de cero en los complejos tiene inverso, multiplicamos por y obtenemos lo cual es imposible si . Por lo tanto, todas las races propuestas son distintas. Veamos ahora que son races. Observemos que . todas son races.
, y tambin
y en los casos no considerados, las operaciones no estn definidas. Definimos la proyeccin estereogrfica como sigue:
y por :
de donde
Es necesario verificar que la imagen tiene mdulo 1 (para que caiga en la esfera). Vamos a hacer el trabajo inverso, definiendo la imagen como el punto en el que la recta que une el polo norte de la esfera y del plano complejo corta la esfera.
de donde
y as
entonces
Funciones complejas
todas como una generalizacin de analticas y holomorfas. Nota: Sern funciones con
abierto. de la forma
Hay que distinguir entre imagen y trayectoria, pues trayectoria incluye velocidad.
donde definida,
Recordando que en ,
cuando el lmite exista. La derivada en la complejos est ms emparentada con la derivada en que en . Definicin: Sea .Diremos que se cumple que existe y vale si para cada , existe tal que si
anlogo a que
en
Definicin: Sea
(Anlogamente, con sucesiones, decimos que se cumple que .) es decir, si para todo Decimos que se tiene que Propiedades: Sean satisfacen: i) ii) iii) iv) v) Demostracin: ii) Sea , veamos que si si , entonces si y slo si . y , con . , existe tal que si
tiende a
. ,
si para todo
Continuidad
Definicin: Decimos que . (Notemos que es equivalente a la definicin de continuidad en Esta definicin es equivalente a que .) es continua en si para todo existe tal que
Se dice que
es continua, si
, existe
tal que , y
. son
Derivacin
Definicin: Sea un abierto y . Decimos que es diferenciable en si existe
Recordando la definicin de la derivada de diferencias: Sea . Decimos que tal que es diferenciable en
Veamos que no existe la definicin de eje real o el eje imaginario. Sin embargo, usando existe la derivada. Proposicin: Sea entonces , con .
. Entonces
no es derivable compleja en
o si lo es,
Demostracin: Vamos a usar una idea que ya hemos usado antes: aproximarnos al punto por el eje real y despus por el eje imaginario para ver que los lmites son distintos. La pregunta es si existe
Escogemos
. Si existe
, existe
, entonces existe
y ambas condiciones se dan si y slo si Definicin: Sea (compleja) en todo Se dice que un abierto y .
o, equivalentemente,
Ecuaciones de Cauchy-Riemann
Sea un abierto y .Entonces se puede expresar de manera nica como
donde
Si
en , es decir, existe
, escogemos
y en tal caso
y de ah
Observacin:
Ahora escogemos
y en tal caso
y entonces
y, puesto que
existe, implica
Teorema: Si
es derivable compleja en
De aqu, si y es analtica, entonces las parciales en todo punto satisfacen las ecuaciones de Cauchy-Riemann y
adems
que coincide con las representaciones trabajadas al inicio. Ahora, veamos que
es analtica, entonces
es analtica. Si
es analtica en
donde la primera igualdad se da por las ecuaciones de Cauchy-Riemann y la segunda porque las parciales son continuas. Anlogamente,
y definimos
es decir, y
Nota: Una funcin es analtica si es diferenciable en sentido completo, es decir, existe un desarrollo de Taylor como serie de potencias. Una funcin es holomorfa si existen las parciales. El objetivo del curso es probar que estas condiciones son equivalentes. Suponiendo que si es analtica en , entonces para la derivada de cualquier orden. Por continuidad de tambin, queremos llegar a que esto se cumple
y tambin
y, por continuidad,
de donde
que es la definicin de funcin armnica. Concluimos que analtica implica son armnicas.
Definicin: Sea armnica, existen sus derivadas de orden 2, son continuas y . Una funcin armnica que cumpla las ecuaciones de Cauchy-Riemann con se llama conjugada armnica de en y es nica salvo constante. Si es una conjugada armnica de en , entonces es una conjugada armnica de en .
Ejemplo: Consideremos
. Es armnica? En dnde?
Veamos que
como son ambas continuas y suman 0, entonces Su conjugada armnica cumple Cauchy-Riemann:
es armnica.
y as
y como
, tenemos
de donde
Teorema: Sean con derivadas parciales continuas en conjugada armnica de la otra en . Entonces es analtica. Demostracin: Como tienen derivadas parciales continuas, entonces
es diferenciable.
y existe
puesto que
entonces
y existe tambin
, existe
tal que si
, entonces
si y slo si
, existe
tal que si
, entonces