FUNCIONES COMPLEJAS

2.1.1. Definición de función compleja

Definición 2.1.1:

Dado un subconjunto S del plano complejo C, se denomina función

compleja de una variable compleja f(z) a una aplicación f : S → C tal que a

cada valor z ∈ S ⊆ C le corresponde un único número complejo f(z).

Si z = x + i⋅y, la función f(z) se puede expresar de la forma

UN
HEf(z) = u(x, y) + i⋅v(x, y),
donde u y v son funciones V deAdos variables reales que representan
L
FI de f(z).
respectivamente la parte real y la parte imaginaria

2
CA expresar como:
Así, por ejemplo, la función f(z) = z + 1 se puede

f(z) = (x + i⋅y)2 + 1 = x2 – y2 + 2x⋅y⋅ i + 1 = u(x, y) + i⋅v(x, y),

con u(x, y) = x2 – y2 + 1 y v(x, y) = 2x⋅y.

Definición 2.1.2:

Se llama dominio de la función al conjunto S de puntos en los que la

función está definida, y se llama imagen de f al conjunto formado por todos los

valores complejos que toma la función. Si no se especifica, el dominio es el

máximo subconjunto del plano complejo C en el que la función está definida.

De la expresión f(z) = u(x, y) + i⋅v(x, y) se deduce que una función

compleja por una parte se puede suponer similar a una función de una variable

real, puesto que a cada número complejo z le corresponde un valor complejo

f(z). Pero por otra parte se puede tomar como el resultado de aplicar las

funciones u y v que están definidas en un subconjunto de ℜ2, y desde este

punto de vista f podría considerarse próxima a las funciones definidas en ℜ2.

Es precisamente esta situación la que hace que las funciones complejas

tengan propiedades diferentes a las de las funciones reales.

2.1.2. Funciones elementales

2.1.2.1. Polinomios

Definición 2.1.3:
UN
HE
Los polinomios complejos son funciones de la forma
VA
f(z) = a n ⋅z + a n-1 ⋅z
n n-1
L
+ ... + a 1 ⋅z + a 0 , a j ∈ C para j = 0,..., n.
F IC polinómica compleja son
Las partes real e imaginaria de una función
A
funciones polinómicas de dos variables reales. Así, por ejemplo:

f(z) = 2z 2 + 3 = 2(x + i⋅y)2 + 3 = (2(x2 – y2) + 3) + i⋅(4 x⋅y) = u(x, y) + i⋅v(x, y)

Es importante resaltar que una función polinómica compleja es aquélla

que se puede expresar como una combinación lineal de potencias de

exponente natural de z, ya que puede ocurrir que u(x, y) y v(x, y) sean

funciones polinómicas en ℜ2 y sin embargo f(z) = u(x, y) + i⋅v(x, y) no sea un

polinomio complejo. Un ejemplo es la función f(z) = (x2 + y2) + i⋅(x2 – y2), que no

se puede expresar de la forma a z2 + b⋅z + c, y por tanto no es un polinomio

complejo.

Las funciones polinómicas complejas están definidas en todo el plano

complejo.
 2.1.2.2. Funciones racionales

Definición 2.1.4:

De forma análoga al caso real, se denomina función racional a una

función 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 números complejos que anulen el

denominador, que son las raíces del polinomio Q(z).

UN
HE
Así, por ejemplo, la función:
VA
L 2z + 12
f(z) = F1
z +I2
CA
está definida para todo valor complejo del plano salvo para z = i y z = –i.

2.1.2.3. Función exponencial

Definición 2.1.5:

Dado el número complejo z = x + iy, la función exponencial compleja se

define a través de la fórmula de Euler

f(z) = exp(z) = e z = e x + iy = e x (cos y + i⋅sen y ).

La función así definida es una extensión de la función exponencial real,

puesto que si z es un número real se tiene que y = 0 y entonces f(x) = e x .

Propiedades

La función exponencial compleja tiene las siguientes propiedades:

 1. Dados z, w ∈ C, e z + w = e z ⋅ e w .

2. Si z = x + i⋅y,  e z = e x ,  e iy  = 1.

3. e z = 1 si y sólo si z = 2k ⋅π⋅i, siendo k ∈ Z.

−1
4. e-z = ( ez ) .

n
5. ( e z ) = enz.

Observaciones. Las propiedades anteriores indican que la función

exponencial compleja mantiene en general las propiedades de la función

UN
HE
exponencial real. Existen sin embargo dos diferencias importantes entre ellas

que se presentan a continuación. VA

L
FI
La primera diferencia es que la función exponencial real es una función
CA
inyectiva, que está definida en todos los puntos de la recta real y toma todos

los valores comprendidos en el intervalo (0, ∞). La función exponencial

compleja está definida para todo punto del plano complejo C pero no es una

función inyectiva, puesto que para todo z se tiene que e z + 2πi = e z . Es por tanto

una función periódica, de periodo 2πi, 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 función inversa.

La segunda diferencia entre las funciones exponencial real y compleja es

que la función exponencial compleja puede tomar valores reales negativos, en

contra de lo que sucede en el caso real. De hecho se puede demostrar a través

de la definición de logaritmo complejo que puede tomar cualquier valor

complejo salvo el 0. Esto es razonable si se tiene en cuenta que el módulo de

ez es ex, ez = ex, que toma todos los posibles valores reales positivos, salvo

el valor cero, y el argumento de ez es la parte imaginaria de z. Se comprobará

este hecho de manera formal cuando se haya definido el logaritmo complejo.

2.1.2.4. Funciones trigonométricas

Las fórmulas de Euler permiten asegurar que, para todo x ∈ ℜ,

e ix = cos x + i⋅sen x y e −ix = cos x – i⋅sen x.

Se tiene entonces que si x ∈ ℜ

cos x = e UN
ix + −ix
e y sen x = e
ix − −ix
e .
2 HE 2i

VA
Es razonable extender las funciones seno y coseno al plano complejo
L
definiéndolas para todo z ∈ C como: FI
CA
Definición 2.1.6:

Las funciones trigonométricas complejas seno y coseno se definen:

e iz + e − iz e iz − e − iz
cos z = y sen z = .
2 2i

Propiedades

Estas funciones así definidas conservan, para todo z, w ∈ C, las

siguientes propiedades:

1. cos (– z) = cos (z), sen (z) = –sen (z)

2. cos2 (z) + sen2 (z) = 1

3. sen (z + w) = sen (z)⋅cos (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 módulo no esté

acotado, al contrario del seno y el coseno reales, cuyos valores están acotados

entre –1 y 1. En efecto, basta tener en cuenta que para todo x ∈ ℜ:

−x + x −x − x
cos (i⋅x) = e e y sen (i⋅x) = e e ,
2 2i

de manera que para valores de x suficientemente grandes los módulos de los

complejos asociados son mayores o iguales que cualquier valor real que

fijemos.
UN
HE
Ceros de las funciones sen z y cos z.

VA
Las funciones sen z y cos z sólo toman el valor cero en puntos de la recta
L
FI
real; es decir, los ceros de las funciones complejas sen z y cos z coinciden con
CA
los ceros de sus correspondientes reales. Esto se puede comprobar fácilmente

expresando sen z y cos z en forma binómica: si z = x + i⋅y,

sen z = sen x ⋅ cosh y + i⋅cos x ⋅ senh y

cos z = cos x ⋅ cosh y – i⋅sen x ⋅ senh y.

Así,

sen z = 0 ⇔ y = 0 y sen x = 0 ⇔ z = 2⋅k⋅π, k ∈ Z

cos z = 0 ⇔ y = 0 y cos x = 0 ⇔ z = (2k + 1)⋅π/2, k ∈ Z.

Las restantes funciones trigonométricas se definen de la misma forma que

en el caso real. Así, por ejemplo, la tangente es

tg z = sen 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..

2.1.2.5. Funciones hiperbólicas

Las funciones hiperbólicas se definen de forma similar a las funciones

hiperbólicas de una variable real.

Definición 2.1.7:

Las funciones seno y coseno hiperbólicos se definen para cada z ∈ C

como:

z + −z z − −z
UN
cosh z = e e
2
y senh z = e e .
2
HE
VA
De la propia definición se deduce de manera inmediata la relación del
L
FI
seno y el coseno hiperbólicos con el seno y el coseno. Se tiene:

senh z = – i⋅sen (i⋅z)

CA
cosh z = cos (i⋅z)

sen z = – i⋅senh (i⋅z) cos z = cosh (i⋅z).

Propiedades

Las funciones hiperbólicas se comportan también de forma análoga a las

correspondientes reales. Se tienen, para todo z, w ∈ C, las siguientes

propiedades:

1. cosh (–z) = cosh (z), senh (–z) = –senh (z).

2. cosh2 (z) – senh2 (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 + i⋅cosh x ⋅ sen y.

 cosh z = cosh x ⋅ cos y + i⋅senh x ⋅ sen y.

De la relación entre las funciones senh z y cosh z se deduce de manera

inmediata que la función senh z toma el valor cero en los puntos zn = n⋅π⋅i,

mientras que los ceros de cosh z están en los puntos zn = (n + 1/2)⋅π⋅i

Las restantes funciones hiperbólicas se definen de la misma forma que en

el caso real. Así, por ejemplo, la tangente hiperbólica es:

tgh z = senh z / cosh z,

y esta definida en todos aquellos valores complejos en los que no se anula el

denominador. UN
HE
2.1.2.6. Función logaritmo VA
L
FI
El logaritmo complejo se introduce como la función inversa de la función
CA
exponencial. La primera dificultad está en el hecho de que la función

exponencial no es una función inyectiva, y por tanto la función inversa asociada

no va a ser una correspondencia unívoca, como sucede en la definición usual

de función, sino que va a ser una función multívoca, tal que a cada número

complejo distinto de cero le va a asociar infinitos valores complejos.

Definición 2.1.8:

Dado z = x + i⋅y ∈ C, z ≠ 0, se define:

log z = ln z + i⋅(arg z + 2k⋅π), k ∈ Z

Así, por ejemplo:

a) log i = ln i + i⋅(π /2 + 2k⋅π) = i⋅(π /2 + 2k⋅π), k ∈ Z

b) log (−1) = i (π + 2k⋅π), k ∈ Z

 c) log (1+ i) = ln 2 + i⋅(π /4 + 2k⋅π), k ∈ Z

El logaritmo asocia entonces a cada número complejo infinitos valores

complejos, que tienen la misma parte real pero su parte imaginaria difiere entre

ellos un múltiplo 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 función unívoca que se denomina logaritmo principal, o

determinación principal del logaritmo, y se denota con mayúscula

UN
Log z = ln z + i⋅Arg (z), Arg (z) ∈ [−π, π).
HE
Propiedades
VA
1. log (z⋅w) = log z + log w.
L
FI
z
CA
2. log ( ) = log z – log w.
w

3. Log (z⋅w) = log z + log w ± 2k⋅π⋅i.

Observación: 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 + i⋅y es tal que y > π, se tiene que

Log ( ez ) = ln ( e x ) + i⋅Arg ( ez ) = x + i⋅(y – 2k⋅π) = z – 2k⋅π⋅i ≠ z.

Se puede comprobar ahora de manera formal que la función exponencial

puede tomar cualquier valor complejo distinto de 0. En efecto, si se fija un

∗
número complejo w ≠ 0, existe otro número complejo, z*, tal que e z = w . Basta

tomar z* = ln w + i⋅arg w. Se tiene entonces:

 ∗
e z = e ln |w | ⋅(cos(arg w) + i⋅sen(arg w)) = w⋅(cos(arg w) + i⋅sen(arg w)) = w.

2.1.2.7. Funciones definidas como potencias

Potencias complejas

El logaritmo complejo permite extender las potencias al campo

complejo. Se puede así tomar un número complejo distinto de 0 y elevarlo a un

determinado exponente complejo a través de la siguiente definición

Definición 2.1.9:

Dados los números complejos c y d, con c ≠ 0, se define:

UN
HcE= exp (d⋅log c ).
d

VA
La expresión anterior representa aLinfinitos números complejos.
FI
Así, por ejemplo: CA
a) i-2i = exp (−2i⋅log i) = exp (−2i⋅(i⋅(π /2 + 2k⋅π))) = e( 4k +1)π , k ∈ Z

b) (1 + i)-i = exp (−i⋅log (1 + i))= exp (−i⋅ln 2 + π/4 + 2k⋅π) =

= e π 4 + 2kπ (cos (ln 2 ) – i⋅sen (ln 2 )), k ∈ Z

Se pueden también definir funciones en las que se utilicen potencias

complejas, y en ellas la variable z puede aparecer en la base o en el

exponente.

Definición 2.1.10:

La función f(z) = zc, siendo el exponente c una constante compleja, c∈C,

se define como

f(z) = exp (c⋅log z ), z ≠ 0.

 Estas funciones son en general funciones multivaluadas, es decir, con

infinitas ramas. De forma análoga al logaritmo, si se fija un intervalo de tamaño

2π para el argumento de z se tiene una función univaluada.

Se tienen distintas situaciones en función del valor del exponente c.

 Si c = n ∈ Z, es decir, si c es el número entero n, entonces f es una

función univaluada, pues

zn = exp (n⋅log z ) = exp (n⋅(ln z + i⋅(arg z + 2k⋅π))) =

= zn ⋅ exp (i⋅n⋅(Arg z + 2k⋅π)) = zn ⋅ exp (i⋅n⋅Arg z) .

UN
 Si c es un número racional que tiene como forma irreducible c =
HE
VA
p/q, con p y q enteros, la función f(z) = zc tiene q ramas,
L
correspondientes a las q raíces q-simas de zp.
FI
CA
 Finalmente, si c es un número real irracional, o un número

complejo con parte imaginaria distinta de cero, la función f(z) = zc

tiene infinitas ramas. Cada una de ellas se obtiene al fijar un valor

de α > 0, y expresar z en forma polar.

Definición 2.1.11:

La función f(z) = cz, 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 función f así definida asocia a cada

número complejo z un único valor complejo, y por tanto f es una función

univaluada.
 Ejemplos resueltos

Ejemplo 2.1.1: Estudiar si la función

f(z) = 2x3 + 2x⋅y – 6x⋅y2 – 1 + i⋅(6x2⋅y + x2 – y2 – 2y3)

es un polinomio complejo.

La función f(z) se puede expresar como

f(z) = 2(x3 + i⋅3x2⋅y – 3x⋅y2 – i⋅y3) + i⋅(x2 – y2 + 2x⋅y) – 1 = 2z3 + i⋅z2 – 1.

Se tiene entonces que f(z) es un polinomio complejo de grado tres.

UN
Ejemplo 2.1.2.: Estudiar el dominio de definición de las siguientes

funciones HE
VA
a) f(z) =
z2 + 1 L
z 3 − iz 2 − z + i FI
CA
tan z
b) g(z) =
z2 + 1

z 2 + 2z + 3
c) h(z) =
cosh z

La función f(z) es un cociente de polinomios. Se puede definir por tanto en

todo el plano complejo salvo en los ceros del polinomio que está en el

denominador. Como z3 – iz2 – z + i = (z – i) ⋅ (z2 – 1), f(z) está definida en todo

C menos en los puntos i, 1 y –1.

La función g(z) se puede definir en todo el plano complejo salvo en los

puntos en los que no está definida la tangente y en los ceros del denominador.

Está entonces definida en todo C menos los puntos i, – i y z n = (n + 1/2)⋅π, con

n ∈ Z.
 Finalmente, la función h(z) se puede definir en todo el plano complejo

salvo los puntos en los que se anula el denominador; está definida por tanto en

todo C menos los puntos zn = (n + 1/2)⋅π⋅i, con n ∈ Z.

En los dos ejemplos que siguen se presentan dos procedimientos

alternativos: el primero es directo, mientras que en el segundo se utiliza la

definición de logaritmo complejo. Comparándolos, se puede apreciar que la

utilización del logaritmo permite en algunos casos simplificar las operaciones.

Ejemplo 2.1.3: Resolver la ecuación ez = –2.

Procedimiento 1: Se expresan en primer lugar los dos miembros de la

UN
igualdad de la misma forma: HE
VA
e ⋅(cos y + i⋅sen y ) = 2 ⋅ (–1).
x
L
FI
Se tiene entonces que ex = 2, con lo cual x = ln 2, y que sen y = 0 y cos y
CA
= –1. Por tanto y = (2k + 1)⋅π, k ∈ Z.

Las soluciones de la ecuación inicial son entonces:

z = ln 2 + (2k + 1)⋅π⋅i, k ∈ Z.

Procedimiento 2: Tomando logaritmos en la ecuación ez = –2, se tiene:

z = log (–2) = ln |2| + i⋅(arg (–2 ) + 2k⋅π ) = ln 2 + (2k + 1)⋅π⋅i, k ∈ Z.

Ejemplo 2.1.4: Resolver la ecuación sen z = 2.

Procedimiento 1:

1 iz
sen z = 2 ⇔ ( e − e − iz ) = 2 ⇔ eiz − e −iz = 4i .
2i

Llamando m = eiz , se tiene

 m2 – 4i⋅m – 1 = 0,

que tiene como solución

m = (2 ± 3 )⋅i.

Deshaciendo el cambio

eiz = (2 ± 3 )⋅i ⇔ e − y ⋅(cos x + i⋅sen x) = (2 ± 3 )⋅i.

Se tiene entonces que e − y = (2 ± 3 ) , con lo que e y = (2  3) y

π
entonces y = ln (2 ± 3 ), x = + 2k⋅π. Se puede asegurar pues que los
2
UN
números complejos z tales que sen z = 2 son de la forma:
HE
π
+ 2k⋅π + i⋅ln (2 ±
VA
3 ), k ∈ Z
z=
2 L
FI
Procedimiento 2: CA
Se procede de la misma forma que en el procedimiento 1 hasta obtener la

relación

eiz = (2 ± 3 )⋅i

Tomando logaritmos en la ecuación

π
i⋅z = ln (2 ± 3 ) + i⋅( + 2k⋅π ) , con lo que se tiene
2

z= π + 2k⋅π + i⋅ln (2 ± 3 ), k ∈ Z.
2

Ejemplo 2.1.5: Demostrar que, si z = x + i⋅y, entonces:

sen z2 = sen2 x + senh2 y y cos z2 = cos2 x + senh2 y.

Teniendo en cuenta que

 sen z = sen x ⋅ cosh y + i⋅cos x ⋅ senh y

cos z = cos x ⋅ cosh y – i⋅sen x ⋅ senhy

se tiene

sen z2 = sen2 x ⋅ cosh2 y + cos2 x ⋅ senh2 y =

sen2 x ⋅ cosh2 y + (–sen2 x ⋅ senh2 y + sen2 x ⋅ senh2 y) + cos2 x ⋅ senh2 y =

sen2 x ⋅ (cosh2 y – senh2 y) + (sen2 x + cos2 x) ⋅senh2 y = sen2 x + senh2 y.

De forma análoga

cos z2 = cos2 x ⋅ cosh2 y + sen2 x ⋅ senh2 y =

UN
HE
cos2 x ⋅ cosh2 y + (–cos2 x ⋅ senh2 y + cos2 x ⋅ senh2 y) + sen2 x ⋅ senh2 y =
VA
L
cos2 x ⋅ (cosh2 y – senh2 y) + (sen2 x + cos2 x ) ⋅ senh2 y = cos2 x + senh2 y.
FI
CA
Este ejemplo muestra de manera directa que el crecimiento del módulo

del seno y del modulo del coseno complejos depende de la parte imaginaria de

z. Esta es la razón por la que el seno y el coseno complejos no son funciones

acotadas en C.

Ejemplo 2.1.6: Estudiar los valores que toman las siguientes funciones

a) f(z) = z1/3, b) f(z) = (1 + i)z, c) f(z) = z1+ i.

a) Para cada número complejo z, f(z) = z1/3 toma los valores:

i) z1/3 ⋅ exp (i⋅Arg z/3),

ii) z1/3 ⋅ exp (i⋅Arg z/3 + 2π/3) y

iii) z1/3⋅ exp (i⋅Arg z/3 + 4π/3).

b) f(z) = (1 + i)z = exp (z⋅log (1 + i)).

 Si se toma log (1 + i) = ln 2 + i⋅π/4, la función f(z) asocia a cada z el

valor

f(z) = exp (z⋅(ln 2 + i⋅π/4)) = exp (x⋅ln 2 – (π/4)⋅y + i⋅(x⋅π/4 + y⋅ln 2 )).

c) La función f(z) = z1+ i toma para cada z los infinitos valores:

f(z) = exp ((1 + i)⋅log z) = exp ((1 + i) (ln z  + i⋅(Arg z + 2k⋅π ))) =

z ⋅exp (–Arg z – 2k⋅π + i⋅(ln z + Arg z)), k ∈ Z.

Ejercicios

2.1. Calcular: UN
HE
a. sen 2i. VA
L
b. cos 2i.
FI
c. sh 2i.
CA
d. ch 2i.

e. tg (1 + 2i).

2.2. Resolver las ecuaciones:

a. cos z = 0.

b. sen z = i.

c. sh z = 1.

d. ch z = 0.

2.3. Calcular f(3 + 6i), f(2i) y f(–5 + 3i), siendo f(z) igual a:

a. z2 – 2z.
 b. 1/(1 – z).

c. 1/z3.

d. z/(3z + 2).

2.4. Demostrar que:

a. cos (i⋅z) = senh z.

b. cosh (i⋅z) = cos z.

c. sen (i⋅z) = i⋅senh z.

d. senh (i⋅z) = −i⋅sen z.

UN
2.5.
HE
Comprobar que al calcular la parte real y la parte imaginaria de las
VA
L
funciones trigonométricas e hiperbólicas, se obtiene, si z = x + i⋅y :
F ICy.
a. sen z = sen x ⋅ cosh y + i⋅cos x ⋅ senh
A
b. cos z = cos x ⋅ cosh y – i⋅sen x ⋅ senh y.

c. senh z = senh x ⋅ cos y + i⋅cosh x ⋅ sen y.

d. cosh z = cosh x ⋅ cos y + i⋅senh x ⋅ sen y.