Apuntes Variable Comp

NERI DAVILA DIDIER ANIBAL APUNTES: VARIABLE COMPLEJA
ORTIZ HERNANDEZ ALMA GPO: 3CM8

GPO: 3CM8 NERI DAVILA DIDIER ANIBAL
ORTIZ HERNANDEZ ALMA
Nmeros Complejos:
Los nmeros complejos conforman un grupo de cifras resultantes de la suma entre un nmero real y uno de
tipo imaginario. Un nmero real, de acuerdo a la definicin, es aquel que puede ser expresado por un nmero
entero (4, 15, 2686) o decimal (1,25; 38,1236; 29854,152). En cambio, un nmero imaginario es aqul cuyo
cuadrado es negativo. El concepto de nmero imaginario fue desarrollado por Leonhard Euler en 1777,
cuando le otorg a v-1 el nombre de i (de imaginario).
Los nmeros complejos componen el denominado cuerpo complejo (C). Cuando el componente real a es
identificado con el correspondiente complejo (a, 0), el cuerpo de estos nmeros reales (R) se transforma en
un subcuerpo de C. Por otra parte, C conforma un espacio vectorial de dos dimensiones sobre R. Esto
demuestra que los nmeros complejos no admiten la posibilidad de mantener un orden, a diferencia de los
nmeros reales.
La nocin de nmero complejo aparece ante la imposibilidad de los nmeros reales de abarcar a las races de
orden par del conjunto de los nmeros negativos. Los nmeros complejos pueden, por lo tanto, reflejar a
todas las races de los polinomios, algo que los nmeros reales no estn en condiciones de hacer.
Los nmeros complejos son una amplificacin de los nmeros reales. El conjunto de los nmeros complejos
se designa como , siendo el conjunto de los reales se cumple que . Todo nmero
complejo puede representarse como la suma de un nmero real y un nmero imaginario (que se indica con la
letra i), o en forma polar.
() () * +

( ) ||

||

Ejemplo: Encontrar la forma polar de:

()()
()()
()

| |
]

UNIDAD I:
Los conjuntos especiales del plano complejo:
Se define a una vecindad del punto Zo, denotada por Vr(Zo) como: la vecindad en Zo de radio r.
() * | | +

Definimos una vecindad con un hueco del punto Zo, que se denota por Vr(Zo) como:

() * | |

Ejemplo: Represente grficamente los siguientes conjuntos
a) * | | + ;

| | | | | ( )|
| |
( )
( )

* | ( )| +

TIPOS DE CONJUNTOS EN EL PLANO COMPLEJO:
Cualquier coleccin de puntos en el plano complejo se denomina un conjunto (bidimensional) de puntos y
cada punto es un miembro o elemento del conjunto.
PUNTOS LMITES:
Un punto Zo se llama punto de acumulacin de un conjunto S si cada vecindad () reducida de Zo contiene
puntos de S.
VECINDADES:
Una vecindad de radio delta () de un punto Zo es el conjunto de todos los puntos Z tales que | |
.
CONJUNTOS ACOTADOS:
Se dice que un conjunto es acotado si se puede encontrar una constante M tal que: || para cada
punto Z en S. Compacto.
r=1
CONJUNTOS CERRADOS:
Se dice que un conjunto es cerrado si cada punto lmite de S pertenece a S, si S tiene todos los puntos lmites
PUNTOS, INTERIOR, EXTERIOR Y FRONTERA:
Sea un punto Zo de un conjunto S donde se encuentre una vecindad de Zo cuyos puntos pertenecen todos a
S, se conoce como punto interior. Si cada vecindad de Zo contiene puntos pertenecientes a S y tambin
puntos no pertenecientes a S,k entonces se conoce como: punto frontera. Si no es ninguno de los anteriores,
entonces es exterior.
CONJUNTOS ABIERTOS:
Conjunto con nicamente puntos interiores por ejemplo: ||
CONJUNTOS CONEXOS:
Conjunto abierto que permite unir mediante un camino formado por segmentos de recta, cualquier par de
puntos (camino poligonal) contenido en S.
Ejemplo:
* | | +

|( ) ( )|
( )
( )

( )
( )
* Conjunto abierto, *Es conexo, *No es acotado,

FUNCIONES:
Definicin: Si Z puede representar a cualquier complejo o valor complejo, esta variable se llama una variable
compleja.
Si a un valor complejo de la variable compleja Z. se le hace corresponder uno y solo un valor complejo de otra
variable W, esta correspondencia es a la que se le llama funcin de variable compleja.
El valor , o la imagen de Z(que la funcin f hace corresponder a Z lo escribimos as):
()
Al conjunto de todos los nmeros complejos que la variable Z puede tomar, se le llama el dominio de la
funcin f y esta se llama el plano Z.

Al conjunto de todos los valores de la variable W correspondientes a estos Zs, se le conoce con el nombre
del recorrido, rango o imagen de la funcin f.
Si:
Tambin tiene parte real y parte imaginaria de la funcin f(Z), donde la parte real de f(Z).
,()- parte real de f(Z)
,()- parte imaginaria de f(Z)

Ejemplos de funciones :

:
) ()

Como:

()
( )
( )

) () ||

()

( )

( )
OPERACIONES ENTRE FUNCIONES DE UNA VARIABLE COMPLEJA:
Sean f & g dos funciones con dominio () ()

Sus dominios respectivos, entonces:
a) ,() ()- () ()
b) ,() ()- () ()
c) [
()
()
] *() () | () +

Ejemplos:
1) () ||

() =

2) ()

() () () * | () +
* | +
*+

3) ()

() * |
+
Como:
k = 0,1,2,3,4,, y
()
()
()
()

FUNCIONES COMPLEJAS:
a) Definimos un polinomio complejo al que tiene la forma:
()

Donde:
Son nmeros complejos conocidos.

b) Definimos un polinomio racional al que tiene la forma:
()
()
()

Donde: ()

&
()

Con:
Son nmeros complejos conocidos.

Ejemplo: ()

() () () ()

=
INTERPRETACIN GEOMTRICA:
Como: () {( ()) | + |

Para graficar funciones de una variable compleja, se requieren 4 dimensiones:
2 dimensiones para la variable Z y 2 para la variable W.
Una solucin para esto es representar a los elementos del dominio de la funcin f, sobre un plano llamado
plano Z y a los elementos del rango sobre otro plano llamado plano W.

Im(z)
Re(Z)
Plano Z
Im[f(z)]
Re[f(z)]
Plano W
f
De esta manera podemos decir que una funcin de una variable compleja, establece la relacin entre puntos
del plano Z y puntos del plano W.
Una forma de caracterizar geomtricamente a estas funciones, es a travs de la representacin de las
transformaciones que produce a curvas y conjuntos, de un plano a otro. Os cuales son tiles para resolver
problemas fsicos de campos y potenciales.
Ejemplo:
Si: () ( )
En que transforma f:
a) Al tringulo con vrtices (0,0) , (1,1) , (-1,1)
b) Al cuadrado con vrtices (1,1) , (-1, 1), (1,-1) , (-1,-1)

|| ()

a)
()
() ( )( )
() ( )( )

TRASLACIN:
Si: () *+
()

-1+i 1+i
Plano Z
-2
2i
Plano w
ROTA: /4
Im(z)
Re(Z)
Plano Z
Im[f(z)]
Re[f(z)]
Plano W
f
Si:

() (
) (
)

Ejemplo:
Si: ()
2i
i i

4

( )
( )
( )
( )

LMITES Y CONTINUIDAD:
Recordemos de clculo diferencial e integral:
Sea:

()

si x > 0
() ( - ( )
()
, -
()
-
Plano Z
Plano W
Existe el lmite?
R= No

Definicin: sea f
Un funcin definida en todos los puntos Zs de una vecindad agujereada de Zo. Diremos que el lmite de f
cuando Z tiende a Zo, el cual se simboliza
()
Si se puede hacer que el punto W=f(Z), est tan cerca de
, tanto como se quiera eligiendo el punto Z, lo

suficientemente cerca a Zo. Pero que sea diferente de l.
()
De forma precisa uno significa lo siguiente:
Para todo o para cada , existe un nmero , tal que:

|() | | |
Geomtricamente esto nos dice:
Para toda vecindad de Wo
|() | | |

De tal forma que todo punto Z, en el tiene una imagen W que est en la vecindad.
Si el lmite de una funcin existe en el punto Zo, el valor de este lmite es nico.

UNICIDAD DEL LMITE:
Supongamos que hay 2 lmites:
()
()

Entonces:

|()
| | |

& |()
| | |

SI: | |
; donde es el mnimo de

& |
| |()
() |

|
| |()
(()
) |
|
|
|

ALGEBRA DE LMITES:
Supongamos que:
()
()

Entonces:
1)
,( )()-
,() ()-
()
()

2)
,( )()-
,() ()-
()
()

3)
,(
)()-
,
()
()
-
()
()

FUNCIONES ELEMENTALES.
1) FUNCIN COMPLEJA.
Definicin: Dada definimos las funcione exponencial denotada por
por:
()

()

()
*() ()+

()
()
()
()

() () ()

Teorema: si

entonces:
a)

b)

c)

d)

Comprobacin de a:
Como () ()

|| |
()
()|
|| |
,() ()-|
|| |
|

Comprobacin de b:
Supongamos que

Como:
*() ()+

()
()
& sabemos
()
()
{
() ()
() ()

De (2) sen (y)=0

Sustituyendo
()
()
()

Como

()
()

Supongamos que calculemos:
() ()

DERIVADA DE UNA FUNCIN EN UN PUNTO.

FUNCIN DERIVABLE Y FUNCIN DERIVADA.

FUNCIN ANALTICA.
Se dice que una funcin, f(z), es analtica en un punto z0 si es derivable en todos los puntos de
algn entorno de z0. Una funcin que es analtica en cada uno de los puntos de un conjunto
abierto, U, diremos que es analtica en U. (Tambin se denominan a las funciones analticas

CONDICIONES DE CAUCHY-RIEMANN.

PUNTO SINGULAR.

DERIVABILIDAD DE LA FUNCIN POLINMICA.

DERIVABILIDAD DE LA FUNCIN EXPONENCIAL.

DERIVABILIDAD DE LAS FUNCIONES TRIGONOMTRICAS.

FUNCIONES TRIGONOMTRICAS COMPLEJAS.
demostracion:

Las funciones trigonomtricas complejas deben ser tambin una generalizacin de las funciones reales
correspondientes (seno y cosen). Sin embargo, nos encontramos con el problema de que las propiedades
geomtricas del plano real y en particular la definicin de ngulo no se pueden extender intuitivamente al caso
complejo. La generalizacin adecuada de las funciones seno y coseno se har, en este caso, a partir de las
frmules de Euler:
e i x = cos x + i sin x e ix = cos x i sin x
con x real.
1. Sumando las dos expresiones anteriores
obtenemos: e i x + e i x = cos x + i sin x+ cos x i sin x = 2 cos x De aqu
tenemos cos x = e i x + e i x 2 .
2. De la misma manera, pero restando las expresiones anteriores, obtenemos: e i x e i x = 2 i sin x
De aqu tenemos sin x = e i x e i x 2 i
Estas dos expresiones simblicas que hemos visto para las funciones reales cos x y sin x s que se pueden
generalizar a los complejos (ya que precisamente utilizan funciones complejas en la definicin).
Para z C definimos las funciones trigonomtricas complejas siguientes:cos z = e i z + e i z 2 sin z = e i z -
e i z 2 i tan z = sin z cos z
Algunas propiedades importantes:
La frmula dEuler se cumple tambin en los complejos: e i z = cos z + i sin z , conz C .
La frmula cos 2 z + sin 2 z = 1 se cumple tambin en los complejos.
Para calcular cos ( 2 + 3 i ) debemos calcular e i ( 2 + 3 i ) + e i ( 2 + 3 i ) 2 = e 2 i e 3 + e 2 i e 3 2 = (
cos 2 + i sin 2 ) e 3 + ( cos 2 i sin 2 ) e 3 2 . A partir de los valores de cos 2 = 0,41615 , sin 2 = 0,9093
, e 3 = 0 , 049787 y e 3 = 20 , 086 , que podemos encontrar con una calculadora de bolsillo y sustituir en la
expresin anterior, podemos finalizar los clculos y obtenemos que cos ( 2 + 3 i ) = 4,1896 9,1092 i .

De manera similar, para calcular sin ( 2 + 3 i ) hacemos e i ( 2 + 3 i ) e i ( 2 + 3 i ) 2 i = ( cos 2 + i sin 2 ) e
3 - ( cos 2 i sin 2 ) e 3 2 i = 9,1545 4,1689 i .

CALCULO DE INTEGRALES DEFINIDAS.


INTEGRALES SOBRE CURVAS.
Propiedades bsicas.


Demostracin Usando el Teorema de Green


(TEOREMA DE LA DEFORMACIN).

FORMULA INTEGRAL DE CAUCHY
Esta frmula, debida a Cauchy, es parte fundamental del Clculo Integral de variable compleja.
Enunciado 1
Sea f(z) una funcin analtica en un dominio simplemente conexo D. Entonces para cualquier
punto contenido en el interior de D y para cualquier camino C cerrado simple tambin contenido en el
interior de D que contenga al punto se tiene

donde la integracin est tomada en sentido antihorario.

Enunciado 2
Sea una funcin analtica sobre , un camino (una curva diferenciable con continuidad a trozos) cerrado
y

Siendo un punto que no est sobre , el ndice del punto respecto a la curva (el nmero de
veces que la curva rodea al punto teniendo en cuenta el sentido con que lo hace).

SERIES DE POTENCIAS COMPLEJAS

TEOREMA DE TAYLOR
Este teorema permite obtener aproximaciones polinmicas de una funcin en un entorno de cierto punto en
que la funcin sea diferenciable. Adems el teorema permite acotar el error obtenido mediante dicha
estimacin.

La funcin exponencial (lnea roja
continua) y su aproximacin mediante un
polinomio de Taylor alrededor del origen de
coordenadas (lnea verde discontinua).

CASO DE UNA VARIABLE
Este teorema permite aproximar una funcin derivable en el entorno reducido alrededor de un punto a: (a,
d) mediante un polinomio cuyos coeficientes dependen de las derivadas de la funcin en ese punto. Ms
formalmente, si 0 es un entero y una funcin que es derivable veces en el intervalo cerrado [ , ]
y +1 veces en el intervalo abierto ( , ), entonces se cumple que:

Donde denota el factorial de , y es el resto, trmino que depende de y es pequeo si est
prximo al punto . Existen dos expresiones para que se mencionen a continuacin:

donde y , pertenecen a los nmeros reales, a los enteros y es un nmero real entre y :

CASO DE VARIAS VARIABLES
El teorema de Taylor anterior puede generalizarse al caso de varias variables como se explica a continuacin.
Sea B una bola en R
N
centrada en el punto a, y f una funcin real definida sobre la clausura cuyas
derivadas parciales de orden n+1 son todas continuas en cada punto de la bola. El teorema de Taylor
establece que para cualquier :

Donde la suma se extiende sobre los multi-ndices (esta frmula usa la notacin multi-ndice). El resto
satisface la desigualdad:

para todo con ||=n+1. Tal como sucede en el caso de una variable, el resto puede expresarse
explcitamente en trminos de derivadas superiores (vase la demostracin para los detalles).

SERIE DE LAURENT
Esta serie se puede usar para expresar funciones complejas en casos donde una expansin de la serie de
Taylor no es aplicable o no se puede acoplar.
Una serie de Laurent centrada alrededor de un punto es una serie de la forma:

Podemos demostrar que esta serie es convergente dentro del conjunto (posiblemente nulo, ):

Donde:

y
Toda serie de Laurent tiene vinculada una funcin de la forma:

cuyo dominio es el conjunto de puntos en sobre el cual es convergente. Esta funcin es analtica dentro de
una corona ; inversamente, toda funcin en una corona es igual a una nica serie de Laurent.
PROPIEDADES
Una serie de Laurent se define con respecto a un punto particular c y un camino de integracin . El camino
de integracin debe estar dentro de un disco donde f(z) es una funcin holomorfa (a veces se usa como
sinnimo el trmino funcin analtica, aunque no es estrictamente correcto, dado que una funcin analtica es
tcnicamente aquella que admite desarrollo en serie de potencias en cierto entorno de un punto, lo que ocurre
es que en toda funcin holomorfa es tambin analtica).
Los coeficientes de una serie de Laurent en una funcin analtica se pueden encontrar por medio de
la frmula integral de Cauchy y estn dados por:

para y
para
(la sucesin de constantes estn definidas por un camino de integracin en la generalizacin de la integral de
Cauchy).
Convergencia
Si suponemos: es una serie de Laurent con coeficientes an y un centro complejo c.
Entonces existe un radio interior r y un radio exterior R de tal forma que:
La serie de Laurent es convergente en la corona abierta A := {z : r < |z c| < R}, tanto para potencias
de grado positivo como para potencias de grado negativo y esta convergencia define una funcin
holomorfa f(z) en la corona abierta.
Fuera de la corona, la serie de Laurent es divergente.
Para el disco existe al menos un punto en la frontera interior y otro en la frontera exterior para los
cuales no puede ser holomorfa continua.

Apuntes Variable Comp

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes Variable Comp

Uploaded by

Copyright:

Available Formats

NERI DAVILA DIDIER ANIBAL APUNTES: VARIABLE COMPLEJA

ORTIZ HERNANDEZ ALMA GPO: 3CM8

* Conjunto abierto, Es conexo, No es acotado,

Son nmeros complejos conocidos.

Son nmeros complejos conocidos.

, tanto como se quiera eligiendo el punto Z, lo

You might also like