Variable Compleja & Transformadas (Matemticas II)

Departamento de Matemtica Aplicada y Estadstica

E.T.S. Ingeniera Industrial B UPCT

Grado en Ingeniera Electrnica Industrial y Automtica

Guin resumen del tema 2

Funciones de Variable Compleja
1. Conjuntos en el plano complejo
Consideremos un nmero real r > 0 y z0 C. Se denomina crculo o disco abierto de
radio r y centro z0 al conjunto
D(z0 ; r) = {z C; dist(z, z0 ) < r},
donde dist(z, z0 ) = |z z0 |. Un punto se denomina punto interior de un conjunto A si es posible
centrar el l un disco que se quede contenido en A.
Un conjunto se denomina abierto si todos sus puntos son interiores.
Un conjunto se denomina conexo si siempre es posible unir dos se sus puntos mediante
una poligonal contenida en el conjunto.
Un conjunto se denomina regin si es abierto y conexo.

2. Funcin de variable compleja

Una funcin de variable compleja es una regla mediante la cual se hace corresponder puntos
entre distintos conjuntos de C. En concreto toda funcin de variable compleja suele representarse
de los siguientes modos:
f :C 7 C
z 7 w
z 7 w = f (z) (w depende de z ).
En particular, si z = x + i y y w = u + i v entonces la funcin puede expresarse tambin como
f :C 7 C
x + i y 7 u + i v (u depende de x, y , y v depende de x, y ).
Por tanto, denir una funcin de variable compleja equivale a denir dos funciones de variable
real: u = u(x, y) y v = v(x, y). De este modo,
w = f (z) = u(x, y) + iv(x, y).
La funcin u (v ) se denomina parte real (imaginaria) de f y se representa mediante u = Re(f )
(v = Im(f )).

2011
Material docente elaborado por M. Moncayo.

1
 Variable Compleja & Transformadas (Matemticas II) 2

2.1. Lmite y continuidad de una funcin

Una funcin f (z) tiene lmite L C cuando z tiende a z0 C, y se representa lmz7z0 f (z) =
L si para todo > 0 existe > 0 tal que si z D(z0 , ), z = 6 z0 , entonces |f (z) L| < . El
lgebra de lmites de funciones de variable compleja es el mismo que el lmite de funciones de
variable real.
Una funcin denida en un conjunto abierto A C, f : A 7 C, es continua en el punto
z0 A si y solo si lmz7z0 f (z) = f (z0 ). La funcin es continua en A si es continua en todos los
puntos de A. Este hecho se representa mediante f C 0 (A). Los teoremas de continuidad para
funciones de variable real se mantienen para las funciones de variable compleja.
La existencia de lmite y la propiedad de continuidad para f equivale a la existencia de lmite
y propiedad de continuidad para u y v como funciones de variable real.

2.2. Derivabilidad compleja

Sea f : A C 7 C, con A un abierto en C y z0 A. Se dice que f es derivable en z = z0
si y solo si el lmite
f (z) f (z0 )
lm ,
zz0 z z0
existe y no es innito. Conviene tener presente que el lmite en z0 se toma en cualquier direccin
de acercamiento a z0 . Esto har que, aunque la derivacin compleja y la derivacin real compartan
muchas propiedades, la derivacin compleja sea ms rica.
df
El valor del lmite se denota por f 0 (z0 ) o por (z0 ) y coincide tambin con la cantidad
dz
f (z0 + h) f (z0 )
lm ,
h0 h
donde la variable h es la variable compleja h = z z0 .

Una funcin se denomina analtica u holomorfa en un punto si es derivable en ese punto

y en un cierto entorno de ese punto.
J J
| Una funcin se denomina analtica u holomorfa en A si es derivable en todos los puntos
de A.
Una funcin analtica en todo C se denomina funcin entera.

El lgebra de derivadas en C coincide con el lgebra de derivadas en R:

Toda funcin derivable en un punto es continua en ese punto.

Las reglas de derivacin para la funcin suma, producto, cociente y regla de la cadena,
coinciden en R y C.
Regla de L'Hpital: Sean f y g dos funciones analticas en un abierto A C y z0 A.
f (z) f 0 (z0 )
Si f (z0 ) = g(z0 ) = 0 y g 0 (z0 ) 6= 0, entonces lmzz0 = 0 . La regla tambin es
g(z) g (z0 )
vlida si lmzz0 f (z) = y lmzz0 g(z) = .
Derivada de la funcin inversa: Sea f : A C 7 C una funcin analtica. Supongamos
que f 0 (z0 ) 6= 0. Entonces existe un entorno U de z0 y un entorno V de w0 = f (z0 ) tal que
f :U 7 V es biyectiva,
1
f :V 7 U es analtica y
df 1 0 1 1
(w0 ) = (f 1 ) (w0 ) = 0
= 0 1 .
dw f (z0 ) f (f (w0 ))

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II) 3

La derivabilidad de una funcin f (z) en un punto z = x + iy implica ciertas condiciones de

comportamiento de las funciones u y v . Ms precisamente, se tiene el siguiente resultado:

[Ecuaciones de Cauchy-Riemman]: Sea f (z) = u(x, y) + iv(x, y) una funcin derivable

en z = x + iy . Entonces las funciones u(x, y) y v(x, y) tienen derivadas parciales en el punto
(x, y) respecto a las variables x e y , y se verican las igualdades:

u v u v
= , = . (1)
x y y x

Si se imponen ciertas condiciones a la parte real e imaginaria de una funcin de variable

compleja entonces es posible garantizar su derivabilidad. En concreto, si

(a) En el punto (x0 , y0 ) las funciones u(x, y) y v(x, y) son derivables.

(b) En ese punto se cumplen las ecuaciones (1),

entonces la funcin f (z) = u(x, y) + iv(x, y) es derivable en z0 = x0 + iy0 . En particular,

si (a) yJ
(b) Json ciertas en todos los puntos (x, y) de una regin A entonces, teniendo en
cuenta | , deducimos que la funcin es analtica en A y adems f (z) cumple que

f 0 (z) = ux + ivx = vy iuy = ux iuy = vy + ivx ; (z A).

Utilizando las ecuaciones de Cauchy-Riemann es posible reconstruir una funcin analtica

(a excepcin de una constante), siempre y cuando se conozca o bien su parte real u(x, y),
o bien su parte imaginaria v(x, y).

Una funcin (x, y) se denomina armnica en una regin A si en esa regin tiene derivadas
parciales continuas hasta segundo orden inclusive y satisface la siguiente ecuacin en derivadas
parciales (conocida como la Ecuacin de Laplace):

2 2
+ = 0.
x2 y 2
La expresin anterior se suele escribir como = 0, donde denota al operador de Laplace
o Laplaciano. Si una funcin f (z) = u + iv es analtica en cierta regin del plano complejo C,
entonces u = 0 y v = 0 en los correspondientes puntos del plano R2 . Es decir, u y v son
funciones armnicas (y se denominan armnicas conjugadas).
En resumen, podemos establecer que:

Si f (z) es una funcin analtica con z = x + iy y f (z) = u(x, y) + iv(x, y), entonces u y v
son funciones armnicas que satisfacen (1).

Si u y v son dos funciones armnicas que verican (1), entonces u(x, y) + iv(x, y) es una
funcin analtica.

3. Algunas funciones elementales de variable compleja

3.1. Funciones polinmicas
La funcin analtica ms sencilla (no constante) es la funcin f (z) = z , cuya derivada es 1.
Puesto que la suma y el producto de dos funciones analticas es tambin analtica, se tiene que
todo polinomio
pn (z) = an zn + an1 z n1 + + a1 z + a0 ,

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II) 4

es una funcin analtica y p0n (z) = nan zn1 + (n 1)an1 z n2 + + a1 . Para todo k
{1, 2, , n}, los coecientes ak son nmeros complejos y si an 6= 0 se dice que el polinomio
tiene grado n. Si n 1, entonces la ecuacin pn (z) = 0 tiene al menos una raz. El Teorema
Fundamental del lgebra asegura que pn (z) = 0 tiene exactamente n races en C, no necesa-
riamente distintas: A = {1 , 2 , , n }. En este caso, el polinomio se factoriza como

pn (z) = an (z 1 )(z 2 ) (z n ).

Sea k {1, 2, , n}. Se llama multiplicidad de la raz k al nmero de veces en las que
aparece k en el conjunto A. Sea l N, l 1. Se dice que k es un cero de orden l si la
multiplicidad de k es l.

3.2. Funciones racionales

Una funcin racional se dene como cociente de dos polinomios:
pn (z)
R(z) = .
qm (z)

Supondremos que pn (z) y qm (z) no tienen ceros comunes. Los ceros de qm (z) se llaman polos de
R(z), siendo el orden del polo igual al orden del correspondiente cero de qm . La funcin R(z)
es derivable en los puntos x C tales que qm (z) 6= 0 y su derivada se obtiene aplicando la regla
de derivacin del cociente. Adems toda funcin racional admite una representacin mediante
fracciones simples que tcnicamente se obtiene de manera anloga al caso de funciones racionales
en R.

Si n = m = 1, entonces R(z) se denomina funcin racional lineal. Ms precisamente,

az + b
las funciones de este tipo se representan mediante: w = R(z) = , donde a, b, c, d C y
cz + d
ad bc 6= 0. R(z) est denida en todo C salvo z = d/c, es unvoca y tiene funcin inversa:
dw + b
z= ,
cw a
que es unvoca. En este caso, se dice que R(z) es una funcin de una sola hoja.

3.3. Funcin potencial

La funcin potencial w = z n , n N es analtica en todo el plano complejo. Si denotamos
w = R(cos() + i sen()) y z = r(cos() + i sen()), entonces

w = z n R = rn , = n.

Por tanto, si z1 y z2 son dos nmeros complejos tales que |z1 | = |z2 | = r y arg(z2 ) = arg(z1 )+ 2k
n
para k Z, se tiene que z1n = z2n . Por tanto, la funcin potencial no es de una hoja en el plano

z . La funcin inversa se denomina raz n-sima, z = n w y es una funcin denida en todo C.
Es un ejemplo de funcin multiforme porque jado w = R(cos() + i sen()) existen n valores

diferentes para n w. En concreto, n w = zk , donde cada zk viene dada por

n + 2k
zk = r(cos(k ) + i sen(k )), con r = + R R y k = ; (k = 0, 1, , n 1).
n

3.4. Funcin exponencial

Se dene para todo z C, z = x + iy , la funcin exponencial compleja y se denota exp(z)
como la funcin
w = exp(z) = exp(x + iy) = exp(x)(cos(y) + i sen(y)). (2)

Material docente elaborado por M. Moncayo.

 Variable Compleja & Transformadas (Matemticas II) 5

Para x = 0 se tiene la frmula de Euler

exp(iy) = cos(y) + i sen(y).

Conviene observar que exp(z) C \ {0}. Algunas de las propiedades ms relevantes de exp(z)
son las siguientes:

(?) Si z R, la denicin (2) coincide con la denicin de la funcin exponencial de variable

real.
d
(??) La funcin exp(z) es entera y (exp(z)) = exp(z).
dz
(???) La funcin exponencial posee la propiedad exp(z1 + z2 ) = exp(z1 ) exp(z2 )

(????) La funcin exponencial es peridica de periodo imaginario 2i, i.e.,

exp(z) = exp(z + 2ki); (k Z).

En consecuencia exp(z) no es de una sola hoja en el plano z . Sin embargo, para cada banda
de C de la forma

Bb = {z = x + iy C; b < y < b + , b R},

se tiene que la funcin exp(z) : Bb C 7 C es de una sola hoja.

3.5. Funcin logartmica

La funcin logartmica compleja es la funcin inversa de la exponencial compleja:

log(w) = z exp(z) = w, (w 6= 0).

Por la propiedad (????) se tiene que log(w) es una funcin multiforme. En concreto, si w =
R exp(i), Arg(w), entonces existen innitos valores de z tales que log(w) = z . En concreto
para todo z de la forma:

z = log(w) = log(|w|) + iArg(w) = log(|w|) + i( + 2k); (k Z).

Se dene logaritmo principal de w al valor

z = logp (w) = log(|w|) + i argp (w),

donde argp (w) Arg(w) y cumple argp (w) (, ). Es posible denir la funcin logartmica
compleja de modo que sea una funcin unvoca. Basta con considerar los rayos o semirrectas de
la forma
Rb = {w = r exp(ib); r > 0, b R}.
De este modo, para cada b R, se tiene que

log : C \ Rb C 7 Bb C

d 1
es una funcin unvoca. En este caso, log(w) es analtica para todo w C\Rb y (log(w)) = .
dw w

Material docente elaborado por M. Moncayo.

Variable Compleja & Transformadas (Matemticas II) 6

3.6. Funciones trigonomtricas e hiperblicas

Se denen las funciones trigonomtricas sen(z) y cos(z) mediante

exp(iz) exp(iz) exp(iz) + exp(iz)

sen(z) = , cos(z) = .
2i 2
Algunas de las propiedades ms relevantes del seno y coseno de variable compleja, son las siguien-
tes:

Si z = x R, entonces sen(z) y cos(z) coinciden con el seno y el coseno de variable real.

Son funciones enteras.

d d
Satisfacen las frmulas de derivacin usuales: (sen(z)) = cos(z) y (cos(z)) = sen(z).
dz dz
Son funciones peridicas de periodo 2 . En consecuencia, no son de una sola hoja y sus
inversas, arc sen(z) y arc cos(z), son funciones multiformes.

sen(z) es impar y cos(z) es par.

Satisfacen las identidades trigonomtricas usuales.

No son funciones acotadas, a diferencia de lo que sucede en R.

Se denen las funciones tangente, seno hiperblico y coseno hiperblico, respectivamente

como:
sen(z) exp(z) exp(z) exp(z) + exp(z)
tg(z) = , senh(z) = , y cosh(z) = .
cos(z) 2 2

Entre las funciones trigonomtricas e hiperblicas existen las siguientes relaciones:

cosh(z) = cos(iz), senh(z) = i sen(iz), cos(z) = cosh(iz), sen(z) = i senh(iz).

Material docente elaborado por M. Moncayo.