Funciones Compleja Completo

UNIVERSIDAD NACIONAL
MAYOR DE
SAN
MARCOS
FACULTAD DE INGENIERA ELECTRNICA Y

ELCTRICA
Funciones Complejas
CURSO:
FUNCIONES ANALTICAS
PROFESOR:
CASTRO VIDAL RAL
INTEGRANTES:
ALARCON GUILLEN, FABRIZIO.14190071
CASIMIRO PAMO, LIZETH14190271

DELGADO PUELLES, KEVIN..14190237
LEYVA RODRIGUEZ, IAM..14190053

NEYRA LIVAQUE, PATRICIO.14190273
Universidad Nacional Mayor de San Marcos
Facultad de Ingeniera Electrnica y Elctrica
Funciones Complejas
2017
Introduccin
Las funciones complejas, es la rama de las matemticas que en parte investiga las
funciones holomorfas, tambin llamadas funciones analticas. Una funcin es
holomorfa en una regin abierta del plano complejo si est definida en esta regin,
toma valores complejos y por ltimo es diferenciable en cada punto de esta regin
abierta con derivadas continuas.
El que una funcin compleja sea diferenciable en el sentido complejo tiene

consecuencias mucho ms fuertes que la diferenciabilidad usual en los reales. Por
ejemplo, toda funcin holomorfa se puede representar como una serie de
potencias en algn disco abierto donde la serie converge a la funcin. Si la serie
de potencias converge en todo el plano complejo se dice que la funcin es entera.
Una definicin relacionada con funcin holomorfa es funcin analtica: una funcin
compleja sobre los complejos que puede ser representada como una serie de
potencias. De modo que toda funcin holomorfa tambin cumple la definicin de
funcin analtica pero no toda funcin analtica es holomorfa. En particular, las
funciones holomorfas son infinitamente diferenciables, un hecho que es
marcadamente diferente de lo que ocurre en las funciones reales diferenciables.
La mayora de las funciones elementales como lo son, por ejemplo, algunos
polinomios, la funcin exponencial y las funciones trigonomtricas, son holomorfas
Funciones Complejas Pgina 2

Funciones Complejas

Funciones Complejas
Funciones compleja
Como se ha comprobado en el captulo anterior, el plano complejo C se
2
puede considerar isomorfo al plano real, . Esto puede llevar a pensar, a la
hora de definir una funcin sobre C, que la situacin es anloga a la de una
funcin de dos variables reales, ya que si z = x + iy, la funcin f(z) se puede
considerar como una funcin que depende de las variables reales x e y. Pero
esto no es totalmente cierto en general, y la razn es que f(z) es tambin una
funcin de una nica variable, la variable compleja z. Es por ello que una
funcin compleja se puede considerar que est a medio camino entre las
funciones de una variable real y las de dos variables reales, y esto hace posible
que para una funcin compleja se puedan definir conceptos que no es posible
definir para funciones de dos variables reales, como es el caso de la derivada
de una funcin.

Funciones Complejas
Dentro de las funciones definidas en C se estudian en la Seccin 2
aqullas que tienen una dependencia directa de la variable z = x + iy, y no son
simplemente funciones de las variables separadas x e y. Se introducen en
primer lugar las funciones complejas, se definen las funciones elementales
como extensiones de las correspondientes reales y se estudian los lmites y la
continuidad de las funciones complejas, que tienen un comportamiento anlogo
2
al caso de las funciones definidas en .
La derivada compleja, que se introduce en la Seccin 3, es un
concepto fundamental dentro de la teora de funciones de una variable
compleja porque, aunque la definicin es anloga a la de derivada de una
funcin de una variable real, el hecho de que el lmite se tome en el plano
complejo hace que las condiciones en las que existe la derivada sean ms
fuertes que en el caso real. Esta es la razn por la que una funcin compleja
que sea derivable en un subconjunto adecuado del plano complejo tenga un
comportamiento mejor que en el caso real.

Funciones Complejas
Las funciones derivables en todos los puntos de un conjunto abierto G
del plano complejo se denominan funciones holomorfas en G y se estudian
en la Seccin 4. Tienen un inters especial porque a partir de ellas se
pueden deducir resultados realmente sorprendentes, como se ver mas
adelante en los Captulos 4 y 5.
El captulo termina con la introduccin, en la Seccin 5, de las
funciones armnicas, funciones de dos variables reales, que son las
2
soluciones de la ecuacin de Laplace en , y se estudia la relacin que
existe entre ellas y las funciones holomorfas de una variable compleja.

Funciones Complejas
1 DEFINICIN. FUNCIONES ELEMENTALES
1.1 Definicin de funcin compleja
Definicin 1.1:
Dado un subconjunto S del plano complejo C, se denomina funcin
compleja de una variable compleja f(z) a una aplicacin f : S C tal que a
cada valor z S C le corresponde un nico nmero complejo f(z).
Si z = x + iy, la funcin f(z) se puede expresar de la forma
f ( z )=u ( x , y ) +i . v (x , y )
donde u y v son funciones de dos variables reales que representan
respectivamente la parte real y la parte imaginaria de f(z).
As, por ejemplo, la funcin f (z)=z 2+1 se puede expresar como:
f (z)=(x+ iy)2+1=x 2 y 2+ 2 xy i+1=u( x , y )+iv( x , y)
con u(x , y )=x 2 y 2+1 y v (x , y )=2 xy .

Funciones Complejas
Definicin 1.2:
Se llama dominio de la funcin al conjunto S de puntos en los que la
funcin est definida, y se llama imagen de f al conjunto formado por todos los
valores complejos que toma la funcin. Si no se especifica, el dominio es el
mximo subconjunto del plano complejo C en el que la funcin est definida.
De la expresin f ( z )=u ( x , y ) +i . v ( x , y ) se deduce que una funcin
compleja por una parte se puede suponer similar a una funcin de una
variable real, puesto que a cada nmero complejo z le corresponde un valor
complejo f(z). Pero por otra parte se puede tomar como el resultado de
2
aplicar las funciones u y v que estn definidas en un subconjunto de , y
desde este punto de vista f podra considerarse prxima a las funciones
2
definidas en . Es precisamente esta situacin la que hace que las
funciones complejas tengan propiedades diferentes a las de las funciones
reales.

Funciones Complejas
1.2 Funciones elementales
1.2.1 Polinomios
Definicin 1.3:
Los polinomios complejos son funciones de la forma
f ( z )=a n . z n +an1 . z n1 ++ a1 . z+ a0, a j C para j=0, n
Las partes real e imaginaria de una funcin polinmica compleja son
funciones polinmicas de dos variables reales. As, por ejemplo:
f ( z )=2 z 2+3=2 ( x +iy ) 2+3=( 2 ( x 2 y 2 )+ 3 ) +i(4 xy )=u ( x , y )+iv ( x , y )
Es importante resaltar que una funcin polinmica compleja es aqulla
que se puede expresar como una combinacin lineal de potencias de
exponente natural de z, ya que puede ocurrir que u(x, y) y v(x, y) sean
2 f ( z )=u ( x , y ) +i . v (x , y )
funciones polinmicas en y sin embargo no sea
un polinomio complejo. Un ejemplo es la funcin
f ( z)=(x 2+ y 2)+i(x 2 y 2) , que no se puede expresar de la forma a z2 +
bz + c, y por tanto no es un polinomio complejo.
Las funciones polinmicas complejas estn definidas en todo el plano
complejo.

Funciones Complejas
1.2.2 Funciones racionales
Definicin 1.4:
De forma anloga al caso real, se denomina funcin racional a una
funcin definida como cociente de dos polinomios:
P(z )
f ( z )=
Q( z)
Como en el caso real, las funciones racionales se pueden definir en todo el
plano complejo, salvo en el conjunto de los nmeros complejos que anulen el
denominador, que son las races del polinomio Q(z).
As, por ejemplo, la funcin:

2 z 2 +1
f ( z )=
z2 +1
est definida para todo valor complejo del plano salvo para z = i y z = i.

Funciones Complejas
1.2.3 Funcin exponencial
Definicin 1.5:
Dado el nmero complejo z = x + iy, la funcin exponencial compleja se
define a travs de la frmula de Euler introducida en el captulo anterior
f ( z )=exp ( z )=e z=e z+iy (cos y +i. sin y )
La funcin as definida es una extensin de la funcin exponencial real,
puesto que si z es un nmero real se tiene que y = 0 y entonces f(x) = ex .
Propiedades
La funcin exponencial compleja tiene las siguientes propiedades:
1. Dados z, w C, e z w e z ew .
2. Si z = x + iy, e z = e x , eiy = 1.
3. e z = 1 si y slo si z = 2k i, siendo k Z.
1
4. e =
-z
( ez ) .
n nz
5. ( ez) = e .
Observaciones. Las propiedades anteriores indican que la funcin exponencial

Funciones Complejas
compleja mantiene en general las propiedades de la funcin exponencial real. Existen
sin embargo dos diferencias importantes entre ellas que se presentan a continuacin.
La primera diferencia es que la funcin exponencial real es una funcin inyectiva,
que est definida en todos los puntos de la recta real y toma todos los valores
comprendidos en el intervalo (0, ). La funcin exponencial compleja est definida para
todo punto del plano complejo C pero no es una funcin inyectiva, puesto que para
todo z se tiene que e z 2i e z . Es por tanto una funcin peridica, de periodo
2i, que se repite en bandas horizontales del plano complejo, de amplitud 2. Esto es
algo que es necesario tener en cuenta si se quiere estudiar la existencia de la funcin
inversa.
La segunda diferencia entre las funciones exponencial real y compleja es que la
funcin exponencial compleja puede tomar valores reales negativos, en contra de lo
que sucede en el caso real. De hecho se puede demostrar a travs de la definicin de
logaritmo complejo que puede tomar cualquier valor complejo salvo el 0. Esto es
z x z x
razonable si se tiene en cuenta que el mdulo de e es e , e = e , que toma todos
z
los posibles valores reales positivos, salvo el valor cero, y el argumento de e es la
parte imaginaria de z. Se comprobar este hecho de manera formal cuando se haya
definido el logaritmo complejo.

Funciones Complejas
1.2.4 Funciones trigonomtricas
Las frmulas de Euler permiten asegurar que, para todo x ,
e ix=cos x +isen x y eix=cos x+isen x
Se tiene entonces que si x
ix ix ix ix
e +e e e
cos x= y sen x=
2i 2i
Es razonable extender las funciones seno y coseno al plano complejo
definindolas para todo z C como:
Definicin 1.6:
Las funciones trigonomtricas complejas seno y coseno se definen:
e ix +eix eix eix

cos z= y sin z=
2i 2i

Funciones Complejas
Propiedades
Estas funciones as definidas conservan, para todo z, w C, las
siguientes propiedades:
1. cos ( z ) =cos ( z ) ,
sin ( z )=sin(z)
2. cos 2( z )+ sen 2(z )=1
3. sen ( z+ w)=sen(z ) c os (w)+ sen( w)cos ( z )
cos( z+ w)=cos (z) cos(w) sen (z) sen(w).
Las funciones sen z y cos z se diferencian de las correspondientes
funciones reales en que pueden tomar valores complejos cuyo mdulo no est
acotado, al contrario del seno y el coseno reales, cuyos valores estn acotados
entre 1 y 1. En efecto, basta tener en cuenta que para todo x :
x +x x +x
( ix )= e +e ( ix )= e e
2 2
cos sin

Funciones Complejas
de manera que para valores de x suficientemente grandes los mdulos de
los complejos asociados son mayores o iguales que cualquier valor real que
fijemos.
Ceros de las funciones sen z y cos z.
Las funciones sen z y cos z slo toman el valor cero en puntos de la recta
real; es decir, los ceros de las funciones complejas sen z y cos z coinciden con
los ceros de sus correspondientes reales. Esto se puede comprobar fcilmente
expresando sen z y cos z en forma binmica: si z = x + iy,
sen z =sen x cosh y +icos x senh y
cos z=cos x cosh y isen x senh y .
As,
sen z = 0 y = 0 y sen x = 0 z = 2k, k Z
cos z = 0 y = 0 y cos x = 0 z = (2k + 1)/2, k Z.
Las restantes funciones trigonomtricas se definen de la misma forma
que en el caso real. As, por ejemplo, la tangente es

Funciones Complejas
sen z
tg z= ,
cos z
y esta definida en todos aquellos valores complejos en los que no se anula el

denominador, es decir, para z (2k + 1)/2, k Z..
1.2.5 Funciones hiperblicas
Las funciones hiperblicas se definen de forma similar a las funciones
hiperblicas de una variable real.
Definicin 1.7:
Las funciones seno y coseno hiperblicos se definen para cada z C como:
z z z z
e +e e e
cosh z = y sinh z=
2 2
De la propia definicin se deduce de manera inmediata la relacin del seno y el coseno

hiperblicos con el seno y el coseno. Se tiene:
senh z = isen (iz) cosh z = cos (iz)
sen z = isenh (iz) cos z = cosh (iz).

Funciones Complejas
Propiedades
Las funciones hiperblicas se comportan tambin de forma anloga a las
correspondientes reales. Se tienen, para todo z, w C, las siguientes
propiedades:
1. cosh ( z )=cosh ( z ), senh( z)= senh ( z) .
2. cosh 2( z) senh 2(z)=1 .
3. senh (z+ w)=senh(z ) cosh( w)+senh (w) cosh ( z) .
cosh (z +w)=cosh( z) cosh (w)+senh (z) senh(w).
4. senh z =senh x cos y +icosh x sen y .
cosh z =cosh x cos y +isenh x sen y .
De la relacin entre las funciones senh z y cosh z se deduce de
manera inmediata que la funcin senh z toma el valor cero en los puntos zn =
ni, mientras que los ceros de cosh z estn en los puntos zn = (n + 1/2)i
Las restantes funciones hiperblicas se definen de la misma forma que

Funciones Complejas
en el caso real. As, por ejemplo, la tangente hiperblica es:
senh z
tgh z= ,
cosh z
y esta definida en todos aquellos valores complejos en los que no se
anula el denominador.
1.2.6 Funcin logaritmo
El logaritmo complejo se introduce como la funcin inversa de la
funcin exponencial. La primera dificultad est en el hecho de que la funcin
exponencial no es una funcin inyectiva, y por tanto la funcin inversa
asociada no va a ser una correspondencia unvoca, como sucede en la
definicin usual de funcin, sino que va a ser una funcin multvoca, tal que
a cada nmero complejo distinto de cero le va a asociar infinitos valores
complejos.
Definicin 1.8:
Dado z = x + iy C, z 0, se define:
log z = ln z + i(arg z + 2k),

kZ
As, por ejemplo:

Funciones Complejas
a) log i = ln i + i( /2 + 2k) = i( /2 + 2k), k Z
b) log (1) = i ( + 2k), k Z
c) log (1+ i)2 = ln + i( /4 + 2k), k Z
El logaritmo asocia entonces a cada nmero complejo infinitos valores
complejos, que tienen la misma parte real pero su parte imaginaria difiere entre
ellos un mltiplo entero de 2.
Si se restringen los valores del argumento de z a un determinado
intervalo de amplitud 2, como puede ser el intervalo [, ), el logaritmo
complejo se convierte en una funcin unvoca que se denomina logaritmo
principal, o determinacin principal del logaritmo, y se denota con
mayscula
Log z = ln z + iArg (z), Arg (z) [, ).
Propiedade
s
1. log (zw)=log z+ log w .
z
log( )=log z log w .
2. w
3. log ( zw)=log z+ log w 2 ki.
Observacin: Es importante tener en cuenta que mientras exp (Log z)

=z, cualquiera que sea el valor de z, Log (exp z) puede tomar un valor
distinto de z. En efecto, si z = x + iy es tal que y > , se tiene que
Funciones Complejas
Log ( ez ) = ln ( ex ) + iArg ( ez ) = x + i(y 2k) = z 2ki z.
Se puede comprobar ahora de manera formal que la funcin exponencial
puede tomar cualquier valor complejo distinto de 0. En efecto, si se fija un

nmero complejo w 0, existe otro nmero complejo, z*, tal que ez w . Basta
tomar z* = ln w + iarg w. Se tiene entonces:

ln|w | (cos(arg w) + isen(arg w)) = w (cos(arg w) + isen(arg
ez* = e
w)) = w.
1.2.7 Funciones definidas como potencias
Potencias complejas
El logaritmo complejo permite extender las potencias al campo
complejo. Se puede as tomar un nmero complejo distinto de 0 y elevarlo a
un determinado exponente complejo a travs de la siguiente definicin
Definicin 1.9:
Dados los nmeros complejos c y d, con c 0, se define:
d
c = exp (dlog c ).
La expresin anterior representa a infinitos nmeros complejos.
As, por ejemplo:
= exp (2ilog i) = exp (2i(i( /2 + 2k))) = e( 4k 1) , k Z

-2i
a) i

Funciones Complejas
-i
b) (1 + i) = exp (ilog (1 + i))= exp (iln2 + /4 + 2k)=
= 42k(cos (ln 2 ) isen (ln 2 )), k Z

e
Se pueden tambin definir funciones en las que se utilicen potencias
complejas, y en ellas la variable z puede aparecer en la base o en el
exponente.
Definicin 1.10:
c
La funcin f(z) = z , siendo el exponente c una constante compleja,
cC, se define como
f(z) = exp (clog z ), z 0.
Estas funciones son en general funciones multivaluadas, es decir, con
infinitas ramas. De forma anloga al logaritmo, si se fija un intervalo de tamao
2 para el argumento de z se tiene una funcin univaluada.
Se tienen distintas situaciones en funcin del valor del exponente c.
Si c = n Z, es decir, si c es el nmero entero n, entonces f es una
funcin univaluada, pues
n
z = exp (nlog z ) = exp (n(ln z + i(arg z + 2k))) =

Funciones Complejas
n n
= z exp (in(Arg z + 2k)) = z exp (inArg z) .
Si c es un nmero racional que tiene como forma irreducible c = p/q,
c
con p y q enteros, la funcin f(z) = z tiene q ramas,
p
correspondientes a las q races q-simas de z .}
Finalmente, si c es un nmero real irracional, o un nmero
c
complejo con parte imaginaria distinta de cero, la funcin f(z) = z
tiene infinitas ramas. Cada una de ellas se obtiene al fijar un valor

de > 0, y expresar z en forma polar.
Definicin 1.11:
z
La funcin f(z) = c , siendo la base una constante compleja, c
C, c 0,
se define como
f(z) = exp (z log c ).
Para cada valor de log c prefijado, la funcin f as definida asocia a cada

Funciones Complejas
nmero complejo z un nico valor complejo, y por tanto f es una funcin
univaluada.

Funciones Complejas
2. LMITES DE FUNCIONES. CONTINUIDAD
2.1. Lmites de funciones

Las funciones complejas se comportan frente a los lmites de forma
2
anloga a las funciones definidas en . Sean z0 = x0 + iy0 y w0 = u0 + iv0 dos
nmeros complejos, y sea f(z) una funcin definida en un entorno punteado de
z0. Se dice que la funcin f(z) tiene como lmite w0, cuando z tiende a z0, si la
funcin toma valores cada vez ms prximos a w0 cuando z se aproxima a z0.
Expresado de manera formal
Definicin 2.1:
lim f (Z)=w 0
Z Zo si para todo > 0 existe un > 0 tal que siempre que
< z z0 < , se verifica que f(z) w0 < .
lim f (Z)=w 0=u 0+i. v 0

Se puede comprobar fcilmente que Z Zo si y solo si
se verifica que lim ( x, y )( x , y ) Re (f(z)) = u0 y lim ( x, y )( x , y ) Im (f(z)) = v0.
Se tiene entonces que los lmites de funciones complejas tienen el
mismo comportamiento, el mismo tipo de dificultades y las mismas
propiedades que los lmites de funciones de dos variables reales.

Funciones Complejas
2.2 Lmites en el infinito. Lmites infinitos
Se puede extender la definicin de lmite al plano complejo ampliado
con el punto del infinito. En este caso se tienen las siguientes definiciones
Definicin 2.2:
lm f(z) = w si para todo > 0 existe un nmero real M

> 0 tal que
z
siempre que z > M, se verifica que f(z) w < .
Definicin 2.3:
lim f (Z)=
Z Zo si para todo nmero real M, M > 0, existe un > 0 tal que
siempre que 0 < z z0 < , se verifica que f(z) > M.
2.3 Continuidad
Una funcin compleja f(z) es continua en un punto z0 si est definida en z0
y en puntos prximos a z0 toma valores prximos a f(z0).
La definicin formal es la siguiente:
Definicin 2.4:
Funciones Complejas
La funcin f(z) es continua en un punto z0 si para todo > 0 existe un >
0 tal que siempre que z z0 < se verifica que f(z) f (z0) < .
La funcin f(z) es continua en un conjunto G del plano complejo si f(z) es
continua en todos los puntos de G.
Es importante subrayar que, como sucede en el caso de funciones
2
definidas en , para que una funcin f(z) sea continua en un punto z0 hace
falta que se verifiquen las tres condiciones siguientes:
1) La funcin debe estar definida en z0, es decir, debe existir f(z0).

lim f (Z)
2) Debe existir el Z Zo
3) Debe coincidir dicho lmite con el valor de la funcin en el punto z0:

lim f (Z)=f ( Z 0)
Z Zo
Si alguna de estas tres condiciones no se verifica, la funcin no es
continua en z0.
z
Los polinomios complejos p(z), as como la funcin exponencial, e , las
funciones trigonomtricas cos z y sen z y las funciones hiperblicas senh z y
cosh z, son funciones continuas en todo el plano complejo.
La funcin tg z no ser continua en los valores en que se anule el
denominador, cos z.
La funcin Log z = ln z + iArg (z), Arg (z) [, ), no es continua

Funciones Complejas
en 0 porque no est definida en 0. Tampoco es continua en los puntos del
semieje real negativo, pues en efecto, si z0 es un nmero real negativo,
Log z0 = ln z0 + iArg (z0) = ln z0 i.
Los puntos z1 que estn prximos a z0 por debajo del eje real
son tales que Log z1 = ln z1 + iArg (z1), donde Arg (z1) se
aproxima a . Se tiene entonces que Log z1 Log z0.
Sin embargo, los puntos z2 que estn prximos a z0 por encima del eje
real son tales que Log z2 = ln z2 + iArg (z2), donde Arg (z2) se aproxima a
. Por tanto, Log z2 no se aproxima a Log z0 por lo que la funcin Log z no es
continua en los puntos del semieje real negativo.
En los restantes puntos de C , la funcin Log z es continua.
Si se toma otra rama del logaritmo, por ejemplo, Log z = ln z + iArg
(z), Arg(z) [0, 2), la funcin Log z es continua en todo C menos los
nmeros complejos z = x, x 0, es decir, en todos los nmeros complejos
menos los que estn situados en el semieje real positivo, incluido 0.
Cualquier rama de la funcin Log z es continua en C salvo en una
semirrecta de origen el punto 0.

Funciones Complejas
3. DERIVADA COMPLEJA
3.1 Definicin de derivada
En el apartado anterior se ha comprobado que el comportamiento de
una funcin compleja frente a la continuidad se puede considerar anlogo al
2
de las funciones definidas en . Esto no es as si se quiere introducir la
derivacin, y la razn de ello es que, como ya se ha indicado antes, una
funcin compleja se puede considerar como una funcin de una nica
variable, la variable compleja z, para la que existen unas operaciones
anlogas a las operaciones entre nmeros reales. Esto permite introducir el
concepto de derivada de una funcin compleja en un punto z0 de forma
anloga a la derivada de una funcin de una variable real, es decir, como el
lmite de un cociente de incrementos al aproximarse z al punto z0.
Definicin 3.1:

Funciones Complejas
Sea f definida en un conjunto S, y sea z0 un punto interior de S. La
funcinf es derivable en z0 si existe:
f ( Z )f ( Z 0 ) f ( Z 0 +h ) f ( Z 0 )
lim =lim =f ' (Z 0 ) , z,h C.
Z Zo zz 0 ho h
Se llama derivada de f en el punto z0 al valor de este lmite, es decir a:

f ( Z )f ( Z 0 )
f ' ( Z0 ) = lim
Z Zo zz 0
Definicin 3.2:
La funcin f es derivable en un conjunto S del plano C si f es
derivable en todos los puntos de S.
Ejemplos de funciones derivables
a) Las funciones constantes son derivables en todo punto del plano
complejo. As, la funcin f(z) = 2 + i es derivable en C y su derivada es 0.

Funciones Complejas
b) La funcin f(z) = z es tambin derivable en C y su derivada es 1.
n
c) Lo mismo sucede con la funcin f(z) = z , que, como en el caso real,
n-1
tiene como derivada f(z ) = nz .
Ejemplos de funciones que no son derivables
a) La funcin f(z) = z = x iy no es derivable en ningn punto, ya que

f ( z 0+h ) z 0+ h z 0+ hz 0 h
lim
h0 h - lim
h0 h - lim
h0 h , que no existe pues es
diferente segn la direccin ya que si h fuese real el lmite valdra 1, y si h = ki,
valdra 1.
b) La funcin f(z) = z tampoco es derivable en ningn punto, pues: El lmite de los
dos primeros sumandos existe pero el tercer sumando no tiene lmite cuando h tiende a
cero. Por tanto, la funcin no es derivable en ningn punto.
2
c) La funcin f(z) = z
slo es derivable en el punto z = 0
2 2 2
Es importante observar que la funcin f(z) = z = x + y + 0i no es
derivable en ningn nmero complejo z 0 a pesar de que sus partes
2
real e imaginaria son funciones de con muy buenas propiedades de
regularidad.
3.2 Propiedades
La derivada compleja conserva las propiedades de la derivada en .

Funciones Complejas
Dadas dos funciones complejas f(z) y g(z) derivables en un punto z0, y dado un
nmero complejo c cualquiera, se verifican las siguientes propiedades:
1) Las funciones f(z) y g(z) son continuas en z0.
2) Las funciones f(z) + g(z), f(z) g(z) y cf(z) son derivables en el punto
z0 y sus derivadas son respectivamente:
(f(z) + g(z)) = f(z0) + g(z0),
(f(z) g(z)) = f(z0) g(z0) + f(z0) g(z0),
(c f(z)) = c f(z0).
3) Si g(z0) 0 en un entorno de z0, f / g es derivable en z0 y su derivada

f ' f ' ( z 0 ) g ( z 0 )f ( z 0) g ' ( z 0 )
()
es g ( 0 )
z =
( g ( z0 ) )
2
4) Si f(z) es derivable en z0 y g(z) es derivable en f(z0), la composicin
de funciones h(z) = g(f(z)) es derivable en z0 y h(z0) = g(f(z0)) f(z0).
3.3 Condiciones de Cauchy - Riemann
La derivada compleja de una funcin f(z) = u(x, y) + iv(x, y) puede fallar

Funciones Complejas
2
aunque sus partes real e imaginaria, consideradas como funciones de , sean
funciones muy regulares, como se ha podido comprobar que sucede en el caso
2 2 2
de la funcin f(z) = z = x + y . Por ello es importante analizar el
comportamiento de las funciones u y v frente a la derivada con el fin de
determinar las condiciones precisas que deben verificar para que f sea
derivable.
Sea f derivable en z0 = x0 + iy0 . Entonces existe f(z0 ), es

decir, existe
f ( z 0 +h ) f ( z 0 )
f ' ( z 0 ) =lim
h0 h
El hecho de que exista el lmite anterior significa que los lmites iterados
deben tambin existir y su valor debe ser f(z0). Esto significa que, si h es un
nmero real
f ( z 0 +h ) f ( z 0 )
f ' ( z 0 ) =lim =
h0 h

Funciones Complejas
u x 0 +h , y 0 )u ( x 0 , y 0 ) v ( x0 + h , y 0 ) v ( x 0 , y 0 )
f ' ( z 0 ) =lim
h0
(( h
+i
h )
f ' ( z 0 ) =ux ( x 0 , y 0 ) +i . v x ( x 0 , y 0 ) .
Por otra parte si el incremento de la variable z es un nmero imaginario
puro, ih, entonces:
u ( x 0 +h , y 0 )u ( x 0 , y 0 ) v ( x0 + h , y 0 ) v ( x 0 , y 0 )
f ' ( z 0 ) =lim
h0
( ih
+i
ih )
' ( z0 )
f =v y ( x 0 , y 0) i. u y ( x 0 , y 0 ) .
Se tiene entonces que
ux (x0, y0) + ivx(x0, y0) = vy (x0, y0) iuy(x0, y0),
y por tanto, si existe la derivada de f en z0 se deben verificar entre u y v las
siguientes condiciones, que se conocen como condiciones de Cauchy
Riemann:

Funciones Complejas
Definicin 3.2:
La funcin f(z) = u(x, y) + iv(x, y) verifica las condiciones de
Cauchy Riemann en el punto z0 = x0 + iy0 si se verifican las
ecuaciones
ux(x0, y0) = vy(x0, y0)
uy(x0, y0) = vx(x0, y0).
Las condiciones de Cauchy - Riemann son entonces condiciones
necesarias para la existencia de derivada.
2 2 2
As, en el caso de la funcin f(z) = z = x + y + i0, se tiene:
ux(x, y) = 2x; uy(x, y) = 2y; vx(x, y) = 0; vy(x, y) = 0.
Por tanto slo se verifican las condiciones de Cauchy - Riemann si z = 0,
el nico punto en el que la funcin es derivable.
Se puede entonces asegurar el siguiente resultado:
Proposicin 3.1:
Si f(z) es derivable en z0 = x0 + iy0, se verifican las condiciones de
Cauchy - Riemann en z0.

Funciones Complejas
Corolario 3.2:
Si f(z) es derivable en z0,
f(z0 ) = ux(x0, y0) + ivx(x0, y0) = vy(x0, y0) iuy(x0, y0).
Observacin. Las condiciones de Cauchy - Riemann no son suficientes
para asegurar la derivabilidad de la funcin, como se puede ver con el siguiente
contraejemplo.
Contraejemplo:
z 2
Sea f ( z )= si z 0, f(0) = 0. Esta funcin no es derivable en 0 ya
z
que
2
f ( 0+ h )f ( 0 ) h
lim
h0 h
=f ' ( z 0 ) =lim ()
h0 h , no existe.
Sin embargo, f(z) verifica las condiciones de Cauchy - Riemann en z = 0.
En efecto, separando su parte real y su parte imaginaria
3 2 3 2
x 3 x y y 3 y x
f z= 2 2 + 2 2
( )
x +y x +y
Las derivadas parciales de u y v en 0 valen
u ( 0+h , 0 )u ( 0,0 ) h
u x ( 0,0 ) =lim =lim =1
h0 h h 0 h

Funciones Complejas
v ( 0, h )v ( 0,0 ) h
v y ( 0,0 )=lim =lim =1=u x ( 0,0 )
h 0 h h 0 h
u y ( 0,0 )=0=v x ( 0,0 )
y por tanto se verifican las condiciones de Cauchy - Riemann en z = 0.
Es entonces natural preguntarse si existen condiciones necesarias y
suficientes para asegurar la existencia de derivada de una funcin compleja. La
respuesta la da la siguiente proposicin que se presenta sin demostracin:
Proposicin 3.3:
Sea f(z) = u(x, y) + iv(x, y) definida en un conjunto D C. La funcin f(z)
2
es derivable en z0 = x0 + iy0 si y slo si u y v como funciones de son
diferenciables en (x0, y0) y verifican las condiciones de Cauchy - Riemann.
El estudio de la condicin de diferenciabilidad de las funciones u y v, que
se exige en la Proposicin 2.3.3, puede ser complicado, por lo que se puede
sustituir por una condicin suficiente, la existencia de derivadas parciales
continuas, ms fcil de comprobar:

Funciones Complejas
Proposicin 3.4:
Sea f(z) = u(x, y) + iv(x, y) definida en un conjunto D C. Si
existen las derivadas parciales ux(x0, y0), vx (x0, y0), vy(x0, y0) y uy(x0,
y0) y son continuas, y se verifican las condiciones de Cauchy
Riemann en (x0, y0), entonces f(z) es derivable en z0 = x0 + iy0.
3.4 Estudio de la derivada de distintas funciones
Se puede ahora estudiar fcilmente la derivabilidad de funciones como la
funcin exponencial, las funciones trigonomtricas o el logaritmo.
z x x
Funcin exponencial. f(z) = e = e cos y + ie sen y.
Tanto la parte real como la parte imaginaria de la funcin exponencial son
2
funciones continuas con derivadas parciales continuas en todo . Adems,
x x
ux = e cos y uy = e sen y
x x
vx = e sen y vy = e cos y.

Funciones Complejas
Se tiene entonces que la funcin exponencial verifica las condiciones de
Cauchy - Riemann en todo punto del plano complejo, con lo que se puede
asegurar que la funcin exponencial es derivable en todo el plano complejo.
Al ser derivable en cada punto del plano, se puede aplicar el Corolario
3.2 para calcular la derivada:
x x z
f(z) = ux + i vx = e cos y + ie sen y = e
Se tiene entonces que la derivada de la funcin exponencial es la misma

z z
funcin exponencial, (e ) = e , como ocurre en el caso real.
az
Se puede comprobar fcilmente que la funcin f(z) = e , a C, tambin
az
es derivable en todo el plano complejo y su derivada es f(z) = ae .
Funciones trigonomtricas. Las funciones seno y coseno, al estar
definidas como suma o diferencia de funciones exponenciales, son
e iz +eiz
tambin derivables en todo el plano complejo. Asi como cosz= , se
2
tiene:

Funciones Complejas
' i ( eiz eiz ) eiz eiz

( cosz ) = = =senz .
2 2i
eiz eiz
Sucede lo mismo en el caso del senz = , se tiene:
2i
' i ( eiz +eiz ) e iz +eiz

( senz ) = = =cosz
2i 2
El seno y el coseno hiperblicos son tambin funciones derivables en
todo el plano complejo, y se comportan de forma anloga al seno y coseno
hiperblicos reales. Se puede comprobar fcilmente que
(cosh z) = senh z y (senh z) = cosh z
Las restantes funciones trigonomtricas e hiperblicas complejas se rigen
por las reglas de derivacin. As, por ejemplo, f(z) = tg z es derivable en todos
2
los puntos en los que no se anule el coseno y (tg z) = 1 + (tg z) .
Logaritmo complejo.
La funcin f(z) = Log z = ln z + iArg z, Arg z [, ), est definida en
todo el plano complejo salvo z = 0 y no es continua en el semieje real negativo.

Funciones Complejas
Su expresin en funcin de las variables x e y es:
Para todo z C \ {z: z , z 0} las derivadas parciales de sus partes
real e imaginaria existen y son continuas:
x y
ux= 2 2
; u y= 2 2 ,
x +y x +y
y y
2 2
x y x x
v x= 2
= 2 2 ; v y= 2
= 2 2,
y x +y y x +y
1+
x( ) 1+
x ( )
Adems, verifican las condiciones de Cauchy - Riemann
u x = vy y uy = vx.
Por tanto, Log z es derivable en todo C \ { z: z , z 0}. Su derivada es

x y z 1
f ' (z )=u x +iv x = 2 2
i 2 2 = =
x +y x +y zz z

Funciones Complejas
4. FUNCIONES HOLOMORFAS
La derivada compleja definida en la seccin anterior permite introducir el
concepto de holomorfa. Las funciones holomorfas juegan un papel
fundamental dentro de la teora de funciones complejas debido a que tienen
muy buenas propiedades, como se podr comprobar a lo largo de esta seccin.
Esta es la razn por la que algunos autores las denominan funciones regulares.
El buen comportamiento de las funciones holomorfas permite deducir para
ellas resultados realmente sorprendentes, que aparecern en captulos
posteriores.
4.1Funciones holomorfas. Definiciones
Definicin 4.1:
f(z) es holomorfa en un conjunto abierto G si es derivable en todos los
puntos de G.
Definicin 4.2:
f(z) es holomorfa en un conjunto A si es holomorfa en un abierto G que
contiene a A.
Definicin 4.3:

Funciones Complejas
Una funcin f(z) es holomorfa en un punto z0 si es derivable en todos los
puntos de un entorno de z0, es decir, si existe un disco de centro z0 y radio r,
Br(z0), r > 0, tal que f(z) es derivable en todos sus puntos.
Definicin 4.4:
f(z) es una funcin entera si es holomorfa en todo el plano complejo C.
4.2Estudio de la holomorfa de las distintas f u n c i o n e s
Los polinomios complejos p(z) son funciones derivables en todo el plano
complejo; son entonces funciones holomorfas en C y por tanto se puede decir
que los polinomios son funciones enteras.
1
f ( z )=
La funcin z es derivable en todo el plano complejo salvo z=0 . Por
tanto es holomorfa en C\{0}.
P( z )
Las funciones racionales f ( z )= ,
Q(z) al estar formadas por cocientes de
polinomios, son funciones derivables en todo el plano complejo, salvo en los

puntos que anulan el denominador, es decir, los puntos zi tales que Q(zi) = 0. Por
tanto, son holomorfas en todo C \ {zi: Q(zi) = 0}.
La funcin f(z) = |z|2 no es holomorfa en ningn punto del plano complejo,

Funciones Complejas
puesto que slo es derivable en z = 0.
z
Las funciones e , sen z y cos z son holomorfas en todo C y por tanto son
funciones enteras.
La funcin log z = ln|z| + i.(Arg z + 2k.), Arg z [, ), es holomorfa
en C \ {z: z , z 0}.
4.3 Propiedades de las funciones holomorfas
Si una funcin es constante en un conjunto abierto, existe su derivada y
vale cero. La siguiente proposicin demuestra la implicacin en sentido
contrario.
Proposicin 4.1:
Sea f(z) = u(x, y) + i.v(x, y) una funcin holomorfa en un conjunto abierto
G y sea f(z) = 0 en todos los puntos de G, entonces f(z) es constante en G.
Demostracin:
Funciones Complejas
Si f(z) = 0 se tiene que las derivadas parciales de u y v son 0. Basta
demostrar que dados dos puntos distintos cualesquiera z1 = (x1 + i.y1) y
z2 = (x2 + i.y2) de G, se verifica que f(z1) = f(z2). Para ello se toma en
primer lugar el punto intermedio z* = (x2 + i.y1). Se tiene:
u(x1, y1) u(x2, y1) = ux(1, y1) (x1 x2) = 0, 1 (x1, x2) u(x1,
y1) = u(x2,y1)
v(x1, y1) v(x2, y1) = vx(2, y1) (x1 x2) = 0, 2 (x1, x2) v(x1, y1)
= v(x2, y1)
Se tiene entonces que f(z1) = f(z*).
Con un razonamiento anlogo se comprueba que f(z2) = f(z*), con lo que
est demostrado que f(z) debe ser constante.
La proposicin anterior permite obtener de manera inmediata los
siguientes resultados:
Corolario 4.2:

Funciones Complejas
Sea f(z) = u(x, y) + iv(x, y) una funcin holomorfa en un conjunto abierto

G. Las siguientes implicaciones son ciertas:
a) u(x, y) constante en G f(z) constante en G.
b) v(x, y) constante en G f(z) constante en G.
c) |f(z)| constante en G f(z) constante en G.
Estos resultados se obtienen sin ms que comprobar que las condiciones
que se dan en las hiptesis de a), b) y c) implican que la derivada debe de ser
cero en todo punto de G, y por tanto f(z) es constante en G.

Funciones Complejas
5. FUNCIONES ARMNICAS
Las funciones armnicas reales, aunque son funciones definidas sobre
2
subconjuntos del plano real, G , estn estrechamente relacionadas con las
funciones holomorfas.
Las funciones armnicas, como soluciones de la ecuacin de Laplace,
aparecen en mltiples aplicaciones dentro de diversos campos, como son el
potencial electrosttico, el flujo de fluidos o problemas relacionados con la
transmisin del calor. La relacin existente entre las funciones armnicas y las
funciones holomorfas hace que la teora de funciones complejas sea de gran
utilidad en la resolucin de estos problemas.
5.1 Funciones armnicas. Definicin
Definicin 5.1:
2
Una funcin h(x, y), h: G , es una funcin armnica en
el abierto G si tiene derivadas parciales de primer y segundo orden
2 h 2 h
+ 2 =h xx +h yy =0
continuas y verifica la ecuacin de Laplace: 2
x y .

Funciones Complejas
La relacin entre las funciones holomorfas y las funciones armnicas se
puede apreciar en el siguiente resultado:
Proposicin 5.1:
Si f(z) = u(x, y) + iv(x, y) es una funcin holomorfa en un conjunto abierto
2
G C, entonces las funciones u y v son armnicas en G .
Demostracin.
Si f(z) es holomorfa en el conjunto abierto G, entonces u y v tienen
derivadas parciales de primer y segundo orden continuas.
Adems, las funciones u y v verifican las condiciones de Cauchy
Riemann: ux = vy y uy = vx, de donde se deduce que:

Funciones Complejas
Se tiene entonces uxx + uyy = vyx vxy = 0 y vxx + vyy = uyx + uxy = 0; por
2
tanto, u y v son armnicas en G .
De la definicin de funcin holomorfa se obtiene de manera inmediata el
siguiente resultado:
Proposicin 5.2:
2
Si u y v son funciones armnicas en un conjunto abierto G y verifican
ux = vy y uy = vx, la funcin f(z) = u(x, y) + iv(x, y) es holomorfa

en G.
Observacin. En la proposicin anterior la funcin u debe ser la parte real
de f(z) y v la parte imaginaria. Si se modifica el orden, la funcin resultante
f(z)= v(x, y) + iu(x, y) puede no ser holomorfa.
Definicin 5.2:
2
Sean u y v funciones armnicas en un conjunto abierto G . Se
dice que v es la armnica conjugada de u en G si la funcin f(z) =
u(x, y) + iv(x, y) es holomorfa en G considerado como un
subconjunto de puntos del plano complejo.
2 2 2
As, por ejemplo, la funcin f(z) = z = x y + 2xyi es holomorfa en C.

Funciones Complejas
2
Por tanto, la funcin v = 2xy es la armnica conjugada de u = x
2
y .
5.2 Propiedades de las funciones armnicas
Se presentan a continuacin algunas de las propiedades de las funciones
armnicas.
1. Si v es la armnica conjugada de u en G, u es la armnica conjugada
de v en G.
En efecto, al ser la funcin f(z) = u(x, y) + iv(x, y) holomorfa en

G
entonces la funcin g(z) = v(x, y) iu(x, y) es tambin holomorfa

en G.
2. Si u es armnica en G, ux es la parte real de una funcin holomorfa.
Basta comprobar que la funcin
f*(z) = u*(x, y) + iv*(x, y) = ux(x, y) iuy(x, y) es holomorfa en

G.
3. Si u es armnica en G, y G es un conjunto suficientemente bueno
(simplemente conexo), u es la parte real de una funcin holomorfa.
4. Dada una funcin armnica u, se puede calcular su armnica conjugada.

Funciones Complejas

Funciones Complejas
Bibliografa
http://delta.cs.cinvestav.mx/~mcintosh/comun/an2/node4.html
http://corcoles.org/uoc/anmat/es/es21.xml
https://es.wikipedia.org/wiki/An%C3%A1lisis_complejo
http://www2.caminos.upm.es/Departamentos/matematicas/Fdistancia/PIE/A
nalisis%20matematico/Temas/C02_Funciones_complejas.pdf
https://www.uv.es/ivorra/Libros/Varcom.pdf

Funciones Compleja Completo

Încărcat de

Informații document

Descriere originală:

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Funciones Compleja Completo

Încărcat de

Drepturi de autor:

Formate disponibile

UNIVERSIDAD NACIONAL

FACULTAD DE INGENIERA ELECTRNICA Y

CASIMIRO PAMO, LIZETH14190271

LEYVA RODRIGUEZ, IAM..14190053

El que una funcin compleja sea diferenciable en el sentido complejo tiene

Funciones Complejas Pgina 2

Funciones Complejas Pgina 3

Como se ha comprobado en el captulo anterior, el plano complejo C se

hora de definir una funcin sobre C, que la situacin es anloga a la de una

funcin de dos variables reales, ya que si z = x + iy, la funcin f(z) se puede

esto no es totalmente cierto en general, y la razn es que f(z) es tambin una

definir para funciones de dos variables reales, como es el caso de la derivada

Funciones Complejas Pgina 4

Dentro de las funciones definidas en C se estudian en la Seccin 2

aqullas que tienen una dependencia directa de la variable z = x + iy, y no son

simplemente funciones de las variables separadas x e y. Se introducen en

primer lugar las funciones complejas, se definen las funciones elementales

como extensiones de las correspondientes reales y se estudian los lmites y la

continuidad de las funciones complejas, que tienen un comportamiento anlogo

La derivada compleja, que se introduce en la Seccin 3, es un

concepto fundamental dentro de la teora de funciones de una variable

compleja porque, aunque la definicin es anloga a la de derivada de una

funcin de una variable real, el hecho de que el lmite se tome en el plano

que sea derivable en un subconjunto adecuado del plano complejo tenga un

comportamiento mejor que en el caso real.

Funciones Complejas Pgina 5

Las funciones derivables en todos los puntos de un conjunto abierto G

del plano complejo se denominan funciones holomorfas en G y se estudian

en la Seccin 4. Tienen un inters especial porque a partir de ellas se

pueden deducir resultados realmente sorprendentes, como se ver mas

adelante en los Captulos 4 y 5.

El captulo termina con la introduccin, en la Seccin 5, de las

funciones armnicas, funciones de dos variables reales, que son las

existe entre ellas y las funciones holomorfas de una variable compleja.

Funciones Complejas Pgina 6

1 DEFINICIN. FUNCIONES ELEMENTALES

1.1 Definicin de funcin compleja

Dado un subconjunto S del plano complejo C, se denomina funcin

compleja de una variable compleja f(z) a una aplicacin f : S C tal que a

cada valor z S C le corresponde un nico nmero complejo f(z).

Si z = x + iy, la funcin f(z) se puede expresar de la forma

donde u y v son funciones de dos variables reales que representan

respectivamente la parte real y la parte imaginaria de f(z).

As, por ejemplo, la funcin f (z)=z 2+1 se puede expresar como:

f (z)=(x+ iy)2+1=x 2 y 2+ 2 xy i+1=u( x , y )+iv( x , y)

con u(x , y )=x 2 y 2+1 y v (x , y )=2 xy .

Funciones Complejas Pgina 7

Se llama dominio de la funcin al conjunto S de puntos en los que la

valores complejos que toma la funcin. Si no se especifica, el dominio es el

mximo subconjunto del plano complejo C en el que la funcin est definida.

De la expresin f ( z )=u ( x , y ) +i . v ( x , y ) se deduce que una funcin

variable real, puesto que a cada nmero complejo z le corresponde un valor

desde este punto de vista f podra considerarse prxima a las funciones

funciones complejas tengan propiedades diferentes a las de las funciones

Funciones Complejas Pgina 8

1.2 Funciones elementales

Los polinomios complejos son funciones de la forma

f ( z )=a n . z n +an1 . z n1 ++ a1 . z+ a0, a j C para j=0, n

Las partes real e imaginaria de una funcin polinmica compleja son

funciones polinmicas de dos variables reales. As, por ejemplo:

f ( z )=2 z 2+3=2 ( x +iy ) 2+3=( 2 ( x 2 y 2 )+ 3 ) +i(4 xy )=u ( x , y )+iv ( x , y )

Es importante resaltar que una funcin polinmica compleja es aqulla

que se puede expresar como una combinacin lineal de potencias de