Variable Compleja I

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

, entonces no es necesario presentar examen final. , es necesario presentar examen final.

Si no se presenta examen final, C es la calificacin final. En caso contrario, la calificacin final se calcula como sigue:

Los nmeros complejos

Si

, entonces es un campo conmutativo:

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

, pero el producto no est definido en el segundo.

es un encaje, funcin -lineal, inyectiva. Im como cualquier recta que pasa por el origen. Dado , calculamos :

es el eje horizontal. Se puede definir un encaje

tal que

que tiene solucin nica:

Si

, la multiplicacin es una rotacin.

En coordenadas polares:

El producto se ve as:

y no:

Entonces,

Finalmente, hay que observar que

y, en general, para toda n segn su residuo mdulo 4. Teorema: Supongamos que es un campo tal que:

es un subcampo. La ecuacin tiene solucin. (llammoslo F) cumpliendo lo mismo

entonces existe un subcampo de

con

inyectiva, que cumple que:

Demostracin: Llamemos a una solucin de . Se verifican las condiciones. Otra definicin de :

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

2) Manda el producto en el producto:

3) Manda los neutros en los neutros:

4) De las tres anteriores, puede deducirse que manda inversos en inversos:

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:

Observaciones: 1) Conjugar es reflejar sobre el eje real

2) Componer la funcin consigo misma es la funcin identidad

Entonces, si

, el conjugado de .

Podemos definir la parte real y la parte imaginaria en funcin del conjugado:

Observacin: Trabajando en los complejos como las matrices definidas antes, tenemos:

Propiedades: 1)

2)

3) Si

, entonces

La recta real es el conjunto de puntos fijos de la conjugacin. 4) Decimos que es imaginario

5) Empezamos a trabajar con el mdulo o norma que corresponde segn el isomorfismo de espacio vectorial con la norma eucldea en . -

pues

Definimos

Propiedades: 1) 2) |cz|=|c||z| 3) 4) 5) Desigualdad del tringulo

6) Desigualdad del tringulo generalizada

7) Desigualdad de Cauchy-Schwartz

Demostracin: Consideramos el polinomio en

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

y si expandimos el polinomio, obtenemos

que implica

Sustituyendo,

Representacin geomtrica de
Vectores

La suma se representa con la ley del paralelogramo

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,

de acuerdo a la frmula de Euler. No est de ms recordar que

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 Podemos definir la funcin argumento como sigue:

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:

Siguiendo la frmula de de Moivre,

Entonces es posible calcular las races n-simas de cualquier nmero complejo de manera muy sencilla. Buscamos

entonces

es una raz n-sima de a. Por la definicin de la funcin argumento, tenemos

para , tenemos complejo tiene n races n-simas.

valores distintos para el argumento. Es decir, todo nmero

Resulta muy til tener en mente las races n-simas de la unidad:

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.

Representacin a partir de la esfera de Riemann

Es necesario ver a los complejos como un conjunto de , y despus hacer una funcin que los identifique con la esfera . Dicha funcin ser la proyeccin estereogrfica. Para ello, debemos agregar un punto: .

Consideramos para todos los casos sostenga:

, y tambin

de modo que la aritmtica se

y en los casos no considerados, las operaciones no estn definidas. Definimos la proyeccin estereogrfica como sigue:

y nuestro inters est en demostrar que es biyectiva.

Consideramos la ecuacin de la recta que pasa por

y por :

de donde

Definimos la inversa como sigue:

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

que nos permite concluir si recordamos cmo definimos

Funciones complejas

Nos referimos a funciones con dominio e imagen en siguientes:

. Podramos tener cualquiera de las

todas como una generalizacin de analticas y holomorfas. Nota: Sern funciones con

. Normalmente trataremos con funciones

abierto. de la forma

En ocasiones veremos curvas o trayectorias en

Hay que distinguir entre imagen y trayectoria, pues trayectoria incluye velocidad.

donde definida,

es un objeto geomtrico de dimensin real 1. Y, finalmente, cuando est

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

. y .Decimos que tiende a cuando si

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 y slo si para toda sucesin

, se cumple que , existe tal que si y

. ,

si para todo

. Entonces las siguientes propiedades se

si iii) Sea y tal que si pues entonces . .

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

es continua en todo su dominio.

Definicin: Decimos que Corolario: Sean continuas.

es un abierto si para toda continuas, con

, existe

tal que , y

. son

. Entonces las funciones

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

, podemos ver que existen varias

si existe una transformacin lineal

Ejemplo: Sea tal que y tal que .

Veamos que no existe la definicin de eje real o el eje imaginario. Sin embargo, usando existe la derivada. Proposicin: Sea entonces , con .

pues el lmite es 1 y 0 dependiendo si nos movemos por el

, vemos que se satisface la definicin, por lo que s

. 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

Por otra parte, si existe

, entonces existe

y ambas condiciones se dan si y slo si Definicin: Sea (compleja) en todo Se dice que un abierto y .

. . Decimos que es analtica si es derivable

es analtica en , tal que

si existe una vecindad abierta de

o, equivalentemente,

es analtica. Proposicin: Sea 1) 2) 3) 4) un abierto y .

es continua en . es analtica en . es analtica en . es analtica en .

Se deducen las propiedades anlogas vistas para derivabilidad en

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 procedemos de la misma manera

y entonces

y, puesto que

existe, implica

De donde surgen las ecuaciones de Cauchy-Riemann:

Teorema: Si

es derivable compleja en

, entonces todas las parciales

existen, porque los lmites existen. Adems, cumplen que

De aqu, si y es analtica, entonces las parciales en todo punto satisfacen las ecuaciones de Cauchy-Riemann y

adems

por las ecuaciones de Cauchy-Riemann. Este nmero es de la forma

que coincide con las representaciones trabajadas al inicio. Ahora, veamos que

por las ecuaciones de Cauchy-Riemann. Adems, esto es igual a

Veremos que si entonces

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

satisfacen la ecuacin de Laplace.

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 aplicando las ecuaciones de Cauchy-Riemann, tenemos que

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

, y tales que una es

es diferenciable.

y existe

puesto que

entonces

y existe tambin

es decir, para todo

, existe

tal que si

, entonces

si y slo si

que sucede si y slo si para todo

, existe

tal que si

, entonces