Está en la página 1de 16

Tema 2.

Funciones Analticas
Prof. William La Cruz Bastidas
27 de septiembre de 2002
Captulo 2
Funciones Analticas
Es sabido que las funciones analticas se emplean con frecuencia en distintas disciplinas te oricas y
aplicadas: en la teora analtica de n umeros, ecuaciones diferenciales, geometra, hidromecanica,
mec anica celeste, etc. El conocimiento de los principios fundamentales de la teora de las funciones
analticas es una premisa indispensable en la educaci on matem atica moderna.
2.1 Funciones de variable compleja
Sea S un conjunto de n umeros complejos. Una funcion f de variable compleja que se dene en
S es una regla de asignaci on que le hace corresponder a cada z = x + iy en S alg un n umero
complejo w = u + iv. El n umero w se llama valor de f en z y se designa por f(z); es decir,
w = f(z),
o, equivalentemente,
u + iv = f(x + iy).
La teora de variable compleja comprende funciones multivaluadas, o sea, funciones que pueden
tener mas de un valor en un punto especco. Por ejemplo, la funcion f(z) =
3

z o, simplemente
w =
3

z, posee tres valores diferentes que toma w para cada z.


Denici on 2.1 (Polinomio complejo) Sea n 0 entero. Sean a
0
, a
1
, a
2
, . . . , a
n
constantes
complejas. La funcion
P(z) = a
0
+ a
1
z + a
2
z
2
9 + a
n
z
n
, (a
n
= 0)
es un polinomio complejo o, simplemente, un polinomio de grado n.
Denici on 2.2 (Funciones racionales) Sean P(z) y Q(z) dos polinomios. La funcion R(z)
denida por
R(z) =
P(z)
Q(z)
se denomina funcion racional y est a denida en todo n umero complejo z, excepto donde Q(z) = 0.
1
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 2
A veces la funcion f(z) se expresa en terminos de las variables x e y en lugar de z directamente.
Por ejemplo, f(z) = 2x
2
+ iy es una funcion de la variable z ya que, conociendo z, x e y quedan
determinadas. As, si z = 3 + i, entonces f(3 + i) = 2 3
2
+ i = 18 + i. A menudo la expresion
de f, en terminos de x e y, puede volverse a escribir facilmente en terminos de z; en otros casos
la notaci on z resulta inc omoda. Sea como sea, las identidades
x =
z + z
2
, y =
z z
2i
son utiles si queremos pasar de las variables xy a z. A continuaci on se presenta un ejemplo.
Ejemplo 2.1 Exprese f en terminos de z con
f(z) = 2x + iy +
x iy
x
2
+ y
2
.
Soluci on. Se tiene que
f(z) = 2x + iy +
x iy
x
2
+ y
2
= 2
_
z + z
2
_
+ i
_
z z
2i
_
+
z+z
2
i
zz
2i
zz
= z + z +
z z
2
+
z
zz
=
3z + z
2
+
1
z
.

Una diferencia entre una funcion f(z) = u + iv de una variable compleja y una funcion
y = f(x) de variable real, es que mientras, en general, la relaci on y = f(x) puede representarse
gr acamente en el plano cartesiano, no es tan facil elaborar la gr aca de una funcion compleja.
Se requieren dos n umeros x e y para denir un valor z cualquiera y otros dos n umeros para los
valores de u y v correspondientes. Por lo tanto, se requiere un espacio de cuatro dimensiones
para representar w = f(z) en forma gr aca. Evidentemente una gr aca de cuatro dimensiones
no es un medio conveniente para estudiar una funcion. Es preciso recurrir a otros medios para
visualizar w = f(z). Este asunto se analizar a con gran detalle en el Tema 7.
2.1.1 Funciones componentes de una funci on de variable compleja
Las funciones de variable compleja se pueden expresar en terminos de un par de funciones de
variable real monovaluadas. En otras palabras, si f(z) es una funcion de variable compleja,
entonces f(z) se puede expresar como
f(z) = u(x, y) + iv(x, y),
donde z = x + iy y u, v :
2
.
Ejemplo 2.2 Encuentre las funciones componentes de f(z) = z
2
+a, donde a = a
1
+ia
2
es una
constante compleja.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 3
Soluci on. Se tiene que
f(z) = z
2
+ a
= (x + iy)
2
+ (a
1
+ ia
2
)
= (x
2
y
2
+ i2xy) + (a
1
+ ia
2
)
= (x
2
y
2
+ a
1
) + i(2xy + a
2
).
Luego,
u(x, y) = x
2
y
2
+ a
1
, v(x, y) = 2xy + a
2
,
son las funciones componentes de f(z).
2.1.2 Lmite, continuidad y derivada de una funci on de variable compleja
Supongamos que f est a denida en un dominio D y z
0
es un punto de D. Seguidamente veremos
que el lmite y la continuidad se denen de la misma manera que en el caso de variable real.
Denici on 2.3 (Lmite) Sea f una funcion denida en todos los puntos de cierta vecindad de
z
0
, escepto, posiblemente en el mismo z
0
. Se dice que w
0
es un lmite de w = f(z), si para cada
n umero positivo , existe un n umero positivo tal que
|f(z) w
0
| < , siempre que 0 < |z z
0
| < .
Se denota con
lim
zz
0
f(z) = w
0
cuando w
0
es un lmite de f(z) cuando z tiende a z
0
.
Los siguientes ejemplos muestran la aplicaci on de esta denicion.
Ejemplo 2.3 Demuestre que
lim
zi
z
2
+ 1 = 0.
Soluci on. Tenemos que f(z) = z
2
+ 1, z
0
= i, w
0
= 0. Se exige que

z
2
+ 1 0

< ,
o bien, de manera equivalente
|z i| |z + i| < . (2.1)
Por otra parte, para todo z B(z
0
, ) y todo < 2 se tiene que
|z i| |z + i| < (2 + ) |z i| . (2.2)
De las ecuaciones (2.1) y (2.2) se deduce que la desigualdad
|z i| <
es valida si
0 < |z i| <
tomando un valor de igual a, digamos,

2 +
(est a no es la unica posibilidad; por ejemplo,
podramos tomar tambien

2(2+)
). En consecuencia, hemos demostrado que 0 es el lmite de
f(z) = z
2
+ 1 cuando z tiene a i.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 4
Ejemplo 2.4 Demuestre que f(z) = Arg z no posee lmites sobre la parte negativa del eje real.
Soluci on. Consideremos un punto z
0
sobre el eje real negativo. Toda vecindad de este punto
contiene valores de Arg z (en el segundo cuadrante) que est an arbitrariamente cerca de y valores
de Arg z (en el tercer cuadrante) que se encuentran arbitrariamente cerca de . Aproximandose
a z
0
a lo largo de dos trayectorias distintas, C
1
y C
2
, contenidas respectivamente en el segundo
y tercer cuadrante, vemos que Arg z tiende hacia dos valores diferentes. Por lo tanto, Arg z no
tiene lmite en z
0
.
Algunas de las formulas de lmites que se estudiaron en el c alculo elemental tienen sus
homologas en el caso de funciones de variable compleja. Las formulas equivalentes, que se pre-
sentan aqu sin demostraci on, pueden demostrarse usando la denicion de lmite.
Teorema 2.1 Supongamos que
lim
zz
0
f(z) = w
0
y lim
zz
0
g(z) = W
0
.
Entonces,
1. lim
zz
0
[f(z) + g(z)] = w
0
+ W
0
.
2. lim
zz
0
[f(z) g(z)] = w
0
W
0
.
3. lim
zz
0
_
f(z)
g(z)
_
=
w
0
W
0
, W
0
= 0.
El siguiente teorema muestra la relaci on entre el lmite de una funcion de variable compleja y
el lmite de sus funciones componentes que, por supuesto, son funciones reales.
Teorema 2.2 Supongamos que f(z) = u(x, y)+iv(x, y), z
0
= x
0
+iy
0
y w
0
= u
0
+iv
0
. Entonces
lim
zz
0
f(z) = w
0
si, y s olo si
lim
(x,y)(x
0
,y
0
)
u(x, y) = u
0
y lim
(x,y)(x
0
,y
0
)
v(x, y) = v
0
.
Denici on 2.4 (Continuidad) Se dice que una funcion f(z) es continua en z
0
, si satisface las
dos condiciones siguientes:
(i) f(z
0
) est a denido;
(ii) lim
zz
0
f(z) existe, y
lim
zz
0
f(z) = f(z
0
).
Se dice que una funcion de variable compleja es continua en un dominio D si es continua en cada
punto de D.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 5
Ejemplo 2.5 Estudie la continuidad en z = 1 de la funcion
f(z) =
_
z
2
1
z1
z = 1
1 z = 1.
Soluci on. Puesto que f(1) existe, se satisface el apartado (i) de nuestra denicion de continuidad.
Para estudiar el apartado (ii) es preciso calcular primero lim
z1
f(z). Como el valor de dicho
lmite no depende de f(1), estudiemos primero f(z) para z = 1. Se tiene que
f(z) =
z
2
1
z 1
=
(z 1)(z + 1)
z 1
= z + 1, z = 1.
Por lo tanto, lim
z1
f(z) = 2. Como f(1) = 1 = lim
z1
f(z) = 2, entonces la condici on (ii) de
nuestra denicion de continuidad no se satisface en z = 1. En consecuencia, f(z) no es continua
en z = 1.
En el siguiente teorema consideramos la suma, multiplicaci on y divisi on de funciones continuas
en un dominio.
Teorema 2.3 Sea f y g dos funciones de variable compleja continuas en un dominio D. En-
tonces:
1. la funcion f(z) + g(z) es continua en D;
2. la funcion f(z)g(z) es continua en D;
3. la funcion f(z)/g(z) es continua en D \ {z : g(z) = 0}.
Una aplicaci on inmediata de este teorema es que nos permite asegurar que un polinomio es contnuo
en todo el plano complejo, adem as, tambien nos permite aseverar que una funcion racional es
continua en todo el plano complejo excepto donde su denominador se anule.
Como es sabido, la composici on de funciones reales continuas es continua; de la misma forma,
la composici on de funciones de variable compleja continuas es continua. Esta aseveraci on se
plantea en el siguiente teorema.
Teorema 2.4 Sean f y g funciones de variable compleja denidas respectivamente en los domin-
ios D y E, tales que f(D) E. Si f es continua en z
0
D y g es continua en f(z
0
), entonces
g(f(z)) es continua en z
0
.
Dado que el lmite de una funcion de variable compleja se puede calcular a traves del lmite de
sus funciones componentes (Teorema 2.2), es natural inferir que la continuidad de una funcion de
variable compleja se corresponda con la continuidad de sus funciones componentes. Seguidamente
se muestra un teorema que trata este aspecto.
Teorema 2.5 Sea f(z) = u(x, y) + iv(x, y). Entonces f es continua en un punto z
0
= x
0
+ iy
0
si, y s olo si sus funciones componentes, u(x, y) y v(x, y), son continuas en el punto (x
0
, y
0
).
El siguiente ejemplo muestra la aplicaci on de los Teoremas 2.3 y 2.5, en el estudio de la
continuidad de una funcion de variable compleja.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 6
Ejemplo 2.6 Estudie la continuidad en z = 1 de
f(z) = 2x + iy +
x iy
x
2
+ y
2
.
Soluci on. Apliquemos primero el Teorema 2.3. En el Ejemplo 2.1 vimos que la expresion de
f(z) en terminos de la variable z es:
f(z) =
3z + z
2
+
1
z
,
o, equivalentemente,
f(z) =
3z
2
+
z
2
+
1
z
.
Si demos tres funciones f
1
, f
2
, f
3
como
f
1
(z) =
3z
2
, f
2
(z) =
z
2
, f
3
(z) =
1
z
,
entonces
f(z) = f
1
(z) + f
2
(z) + f
3
(z).
Las funciones f
1
y f
3
, son un polinomio de grado uno y una funcion racional, respectivamente.
Luego f
1
es continua en todo el plano, en particular en z = 1, y f
3
es continua en todo el plano
excepto en z = 0, por lo tanto f
3
es continua en z = 1. En cuanto a la funcion f
2
, emplearemos el
Teorema 2.5 para estudiar su continuidad en z = 1. Para ello, necesitamos econtrar sus funciones
componentes. Las funciones componentes de f
2
son:
u
2
(x, y) =
x
2
y v
2
(x, y) =
y
2
.
Como u
2
y v
2
est an denidas en (1, 0) y
lim
(x,y)(1,0)
u
2
(x, y) =
1
2
= u
2
(1, 0),
lim
(x,y)(1,0)
v
2
(x, y) = 0 = v
2
(1, 0),
entonces podemos concluir que u
2
y v
2
son continuas en (1, 0). En consecuencia, por el Teorema
2.5 se tiene que f
2
es continua en z = 1. Todo lo anterior demuestra que f es la suma de tres
funciones, f
1
, f
2
, f
3
, continuas en z = 1, por lo tanto del Teorema 2.3 se concluye que f es continua
en z = 1.
Para aplicar el Teorema 2.5 en el estudio de la continuidad de f en z = 1, es necesario
encontrar las funciones componentes de f(z) = u(x, y) + iv(x, y). Se tiene que
f(z) = 2x + iy +
x iy
x
2
+ y
2
=
_
2x +
x
x
2
+ y
2
_
+ i
_
y
y
x
2
+ y
2
_
=
_
2x
3
+ 2xy
2
+ x
x
2
+ y
2
_
+ i
_
x
2
y + y
3
y
x
2
+ y
2
_
.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 7
Luego las funciones componentes de f son:
u(x, y) =
2x
3
+ 2xy
2
+ x
x
2
+ y
2
y v(x, y) =
x
2
y + y
3
y
x
2
+ y
2
.
Como u y v est an denidas en (1, 0) y
lim
(x,y)(1,0)
u(x, y) = 3 = u(1, 0),
lim
(x,y)(1,0)
v(x, y) = 0 = v(1, 0),
entonces podemos concluir que u y v son continuas en (1, 0). En consecuencia, por el Teorema
2.5 se tiene que f es continua en z = 1.
Denici on 2.5 (Derivada) Sea f una funcion de variable compleja denida en un dominio D.
Sea z
0
un punto de acumulaci on de D. La derivada de f en z
0
, denotada por f

(z
0
), se dene
mediante la ecuacion
f

(z
0
) = lim
h0
f(z
0
+ h) f(z
0
)
h
, (2.3)
donde h es un n umero complejo.
En el siguiente ejemplo se explica la denicion de derivada.
Ejemplo 2.7 Sea f(z) = z
3
2z + 1. Demuestre que f posee derivada en z
0
= 0 y f

(0) = 2.
Soluci on. Se tiene que
f(z
0
+ h) f(z
0
) = f(h) f(0)
= (h
3
2h + 1) 1
= h
3
2h
= h(h
2
2),
luego
f(z
0
+ h) f(z
0
)
h
=
h(h
2
2)
h
= h
2
2,
as,
lim
h0
f(z
0
+ h) f(z
0
)
h
= lim
h0
(h
2
2) = 2.
Por lo tanto, f

(0) = 2.
Teorema 2.6 Si la derivada de f en z
0
existe, entonces f es continua en z
0
.
El Teorema 2.6 nos garantiza que toda funcion derivable es continua. Lo que no es cierto es
que toda funcion continua es derivable; por ejemplo, f(z) = |z|
2
es continua en todo el plano
complejo, pero es derivable solamente en z = 0.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 8
Formulas o reglas de diferenciaci on
Supongamos que tenemos un conjunto nito de funciones, f, f
1
, f
2
, . . . , f
n
, derivables en z. Las
siguientes propiedades son ciertas y su demostraci on se obtiene facilmente utilizando la denicion
de derivada y los teoremas acerca de lmite y continuidad de funciones da variable compleja.
1. Si f(z) = c, entonces f

(z) = 0, donde c es una constante compleja.


2. (cf(z))

= cf

(z), donde c es una constante compleja.


3. (z)

= 1.
4. [f
1
(z) + f
2
(z) + + f
n
(z)]

= f

1
(z) + f

2
(z) + + f

n
(z).
5. [f
1
(z)f
2
(z)]

= f

1
(z)f
2
(z) + f

2
(z)f
1
(z).
6. [(f(z))
n
]

= n(f(z))
n1
f

(z).
7. (z
n
)

= nz
n1
.
8.
_
a
0
+ a
1
z + a
2
z
2
+ + a
n
z
n

= a
1
+ 2a
2
z + + na
n
z
n1
.
9.
_
f
1
(z)
f
2
(z)
_

=
f

1
(z)f
2
(z) f

2
(z)f
1
(z)
(f
2
(z))
2
, si f
2
(z) = 0.
10. Regla de la cadena. Sean f(z) derivable en z
0
y g(w) derivable en f(z
0
). Entonces la funcion
F(z) = g(f(z)) es derivable en z
0
y, adem as,
F

(z
0
) = g

(f(z
0
))f

(z
0
).
2.2 Ecuaciones de Cauchy-Riemann
Si una funcion de variable compleja es derivable en un punto, sus funciones componentes satisfacen
las llamadas ecuaciones de Cauchy-Riemann en ese punto. A continuaci on daremos una berve
deducci on de estas ecuaciones. Sea f(z) = u(x, y) + iv(x, y) derivable en z
0
= x
0
+ iy
0
; es decir,
f

(z
0
) = lim
h0
f(z
0
+ h) f(z
0
)
h
.
Ahora bien, utilizando las funciones componentes de f y tomando h = h
1
+ ih
2
, obtenemos:
f(z
0
+ h) f(z
0
)
h
=
[u(x
0
+ h
1
, y
0
+ h
2
) + iv(x
0
+ h
1
, y
0
+ h
2
)] [u(x
0
, y
0
) + iv(x
0
, y
0
)]
h
=
[u(x
0
+ h
1
, y
0
+ h
2
) u(x
0
, y
0
)] + i [v(x
0
+ h
1
, y
0
+ h
2
) v(x
0
, y
0
)]
h
.
Como la derivada de f existe en z
0
, podemos acercarnos a z
0
cuando h es real puro o imaginario
puro y el lmite, que dene la derivada de f en z
0
, siempre es igual. Supongamos que h = h
1
> 0,
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 9
es decir, h
2
= 0, entonces
f

(z
0
) = lim
h
1
0
[u(x
0
+ h
1
, y
0
) u(x
0
, y
0
)] + i [v(x
0
+ h
1
, y
0
) v(x
0
, y
0
)]
h
1
= lim
h
1
0
u(x
0
+ h
1
, y
0
) u(x
0
, y
0
)
h
1
+ i lim
h
1
0
v(x
0
+ h
1
, y
0
) v(x
0
, y
0
)
h
1
=
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
). (2.4)
Ahora, si tomamos h = ih
2
con h
2
> 0, es decir, h
1
= 0, entonces
f

(z
0
) = lim
h
2
0
[u(x
0
, y
0
+ h
2
) u(x
0
, y
0
)] + i [v(x
0
, y
0
+ h
2
) v(x
0
, y
0
)]
ih
2
= lim
h
2
0
u(x
0
, y
0
+ h
2
) u(x
0
, y
0
)
ih
2
+ i lim
h
2
0
v(x
0
, y
0
+ h
2
) v(x
0
, y
0
)
ih
2
= i
u
y
(x
0
, y
0
) +
v
y
(x
0
, y
0
). (2.5)
De esta forma, de las ecuaciones (2.4) y (2.5) se deduce que
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
)
de donde obtenemos las ecuaciones de Cauchy-Riemann
_

_
u
x
(x
0
, y
0
) =
v
y
(x
0
, y
0
)
u
y
(x
0
, y
0
) =
v
x
(x
0
, y
0
).
(2.6)
Ejemplo 2.8 Verique que la funcion f(z) = z
2
satisface las ecuaciones de Cauchy-Riemann en
todo el plano complejo.
Soluci on. Se tiene que f(z) = x
2
y
2
+ i2xy, luego las funciones componentes de f son:
u(x, y) = x
2
y
2
y v(x, y) = 2xy. De esta forma,
u
x
(x, y) = 2x =
v
y
(x, y)
y

u
y
(x, y) = 2y =
v
x
(x, y),
lo cual indica que f(z) = z
2
satisface las ecuaciones de Cauchy-Riemann en z, pero z se escogio
en forma arbitraria, por lo tanto, podemos concluir que f(z) = z
2
satisface las ecuaciones de
Cauchy-Riemann en todo el plano complejo.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 10
2.3 Condiciones necesarias y sucientes para la existencia de
derivada
El siguiente teorema enuncia las condiciones necesarias para la existencia de derivada de una
funcion en un punto.
Teorema 2.7 Si la funcion f(z) = u(x, y) + iv(x, y) tiene derivada en el punto z
0
, entonces las
primeras derivadas parciales de u y v, con respecto a x e y, existen y satisfacen las ecuaciones
de Cauchy-Riemann (2.6). Adem as,
f

(z
0
) =
u
x
(x
0
, y
0
) + i
v
x
(x
0
, y
0
) (2.7)
o
f

(z
0
) =
v
y
(x
0
, y
0
) i
u
y
(x
0
, y
0
). (2.8)
El hecho que una funcion f satisfaga las ecuaciones de Cauchy-Riemann en punto z
0
, no es
suciente para garantizar que f sea derivable en z
0
; por ejemplo, la funcion
f(z) =
_
(z)
2
z
z = 0,
0 z = 0,
satisface las ecuaciones de Cauchy-Riemann en z = 0, pero no es derivable en ese punto.
As pues, la validez de las ecuaciones de Cauchy-Riemann en un punto es una condici on
necesaria para que exista la derivada en dicho punto. El solo hecho de que las ecuaciones sean
validas para una funcion, no signica que todas las trayectorias por las que z
0
+ h se aproxime
a z
0
den lugar a un mismo valor lmite de la denicion de derivada. El siguiente teorema nos
muestra las condiciones necesarias y sucientes para que una funcion sea derivable en un punto.
Teorema 2.8 Sean f(z) = u(x, y) + iv(x, y) y z
0
= x
0
+ iy
0
. Si u y v cumplen las siguientes
condiciones:
(i) tienen primeras derivadas parciales continuas, con respecto a x e y, en (x
0
, y
0
);
(ii) satisfacen las ecuaciones de Cauchy-Riemann en (x
0
, y
0
);
entonces f

(z
0
) existe y se puede calcular a traves de las ecuaciones (2.7) o (2.8).
Para ilustrar la aplicaci on del Teorema 2.8 consideremos el siguiente ejemplo.
Ejemplo 2.9 Demuestre que f(z) = e
x
(cos y + isen y) es derivable en todo el plano complejo.
Soluci on. Las funciones componentes de f son:
u(x, y) = e
x
cos y, v(x, y) = e
x
sen y.
As, las derivadas parciales de u y v, con respecto a x e y, son:
u
x
= e
x
cos y,
u
y
= e
x
sen y
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 11
y
v
x
= e
x
sen y,
v
y
= e
x
cos y,
las cuales son continuas en todo el plano complejo y, adem as, satisfacen las ecuaciones de Cauchy-
Riemann para todo z = x + iy. Por lo tanto, la funcion f(z) = e
x
(cos y + isen y) es derivable en
todo el plano complejo.
2.4 Funciones analticas
Denici on 2.6 (Funci on analtica) Se dice que una funcion f(z) es analtica en z
0
, si f

(z)
no s olo existe en z
0
, sino en todo punto de alguna vecindad de z
0
.
Denici on 2.7 (Funci on analtica en un dominio) Si una funcion es analtica en todos los
puntos de un dominio D, se dice que es anltica en D.
El siguiente ejemplo ilustra el concepto de funcion analtica.
Ejemplo 2.10 Para que valores de z es analtica la funcion f(z) = x
2
+ iy
2
?
Soluci on. Las funciones componentes de f(z) son: u(x, y) = x
2
y v(x, y) = y
2
. Al forzar que se
cumplan las ecuaciones de Cauchy-Riemann obtenemos:
u
x
= 2x = 2y =
v
y
y
v
x
= 0 =
u
y
.
Por lo tanto, f(z) es derivable unicamente para los valores de z que pertenecen a la recta y = x.
Si z
0
es un punto de esta recta, toda vecindad de z
0
contiene puntos en los que f

(z
0
) no existe.
As pues, f(z) no es analtica en ning un punto del plano complejo.
El Ejemplo 2.10 muestra que la propiedad de que una funcion sea analtica es muy fuerte, dado
que al ser analtica en un punto, se est a garantizando que la funcion es derivable en una vecindad
del punto en cuesti on. Por ello, las funciones anlticas, gracias a sus maravillosas propiedades,
juegan un papel muy importante en la teora de las funciones de variable compleja.
El siguiente teorema arma que la suma, diferencia, multiplicaci on y divisi on de funciones
analticas es otra funcion analtica. Ademas, tambien establece que la composici on de funciones
analticas es una funcion analtica.
Teorema 2.9 Si dos funciones son analticas en un dominio D, la suma, la diferencia y el
producto de estas funciones son tambien funciones analticas en D. El cociente de estas funciones
es analtico en D, excepto en los puntos en los que el denominador se anula. La composici on de
dos funciones analticas es analtica.
Denici on 2.8 (Funci on entera) Se dice que una funcion es entera si es analtica en todo el
plano z nito.
La funcion f(z) = e
x
(cos y+iseny) es un ejemplo de una funcion entera. En efecto, en el Ejemplo
2.9 vimos que la funcion f(z) es derivable en todo el plano z.
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 12
Denici on 2.9 (Punto singular) Si una funcion no es analtica en z
0
pero es analtica en al
menos un punto de toda vecindad de z
0
decimos que z
0
es un punto singular de la funcion.
La funcion racional
f(z) =
a
n
x
n
+ a
n1
x
n1
+ + a
0
b
m
x
m
+ b
m1
x
m1
+ + b
0
es analtica en todo el plano salvo en los valores de z tales que b
m
x
m
+b
m1
x
m1
+ +b
0
= 0.
Las soluciones de esta ecuaci on son puntos singulares de f(z).
2.4.1 Derivada y ecuaciones de Cauchy-Riemann en coordenadas polares
A veces, en lugar de expresar una funcion de z en la forma f(z) = u(x, y)+iv(x, y) es conveniente
expresarla en terminos del sistema polar de coordenadas polares, r, , tales que z = re
i
y
x = r cos , y = rsen . As, f(z) = u(r, ) + iv(r, ). Las ecuaciones de Cauchy-Riemann se
expresan en coordenadas polares de la siguiente forma:
_

_
u
r
=
1
r
v

v
r
=
1
r
u

.
(2.9)
Estas ecuaciones son v alidas para toda pareja de valores r, excepto cuando r = 0. Si existe la
derivada de f(z), la podemos calcular a partir de cualquiera de las siguientes ecuaciones:
f

(z) =
_
u
r
+ i
v
r
_
(cos isen ), (2.10)
f

(z) =
_
u

+ i
v

__
i
r
_
(cos isen ). (2.11)
Ejemplo 2.11 Determine d onde es analtica la funcion
f(z) = cos + ir
2
sen .
Soluci on. Las funciones componentes de f en coordenadas polares son: u(r, ) = cos y
v(r, ) = r
2
sen . Al forzar que se satisfagan las ecuaciones de Cauchy-Riemann (2.9) obtenemos:
u
r
= 0 =
1
r
(r
2
cos ) =
1
r
v

,
v
r
= 2rsen =
_

1
r
_
(sen ) =
1
r
u

.
Equivalentemente,
r cos = 0,
2rsen = sen .
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 13
Para r = 0, de la primera ecuaci on anterior se deduce que = (2k + 1)(/2), k = 0, 1, 2, . . . .
Por lo tanto, para que se satisfaga la segunda ecuaci on, con el valor de dado, es necesario que
r = 1/2. En consecuencia, f(z) es derivable en el conjunto
_
z = re
i
: r = 1/2, = (2k + 1)(/2), k = 0, 1, 2, . . .
_
,
pero no es analtica en el mismo, ya que cualquier vecindad de alg un punto de este conjunto
contiene innitos puntos donde f(z) no es derivable.
2.5 Funciones arm onicas
Denici on 2.10 (Funci on armonica) Se dice que una funcion de variable real h(x, y) es arm o-
nica en un dominio D del plano xy, si en todo punto de D tiene derivadas parciales, primera y
segunda, continuas y satisface la ecuacion en derivadas parciales

2
h(x, y) =

2
h
x
2
(x, y) +

2
h
y
2
(x, y) = 0,
conocida como ecuacion de Laplace.
Veamos la relaci on que existe entre las funciones armonicas y las funciones analticas. Sea
f(z) = u(x, y)+iv(x, y) una funcion analtica en un dominio D del plano complejo. Las funciones
u y v satisfacen las ecuaciones de Cauchy-Riemann (2.6) en todo D, es decir,
u
x
=
v
y
, (2.12)
u
y
=
v
x
. (2.13)
para todo z = x + iy D. Ademas, las derivadas parciales de u y v, con respecto a x e y, son
continuas en D. Supongamos que u y v poseen segundas derivadas parciales continuas en D. De
esta forma, si diferenciamos con respecto a x ambos lados de la ecuaci on (2.12) obtenemos:

2
u
x
2
=

2
v
xy
. (2.14)
Ahora, siderivamos con respecto a y en ambos lados de la ecuaci on (2.13) obtenemos:

2
u
y
2
=

2
v
yx
. (2.15)
Como las primeras derivadas parciales de u y v, con respecto a x e y, son continuas en D, entonces

2
v
xy
=

2
v
yx
. (2.16)
De las ecuaciones (2.14), (2.15) y (2.16) se deduce que

2
u(x, y) =

2
u
x
2
+

2
u
y
2
= 0,
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 14
con lo cual se demuestra que u es armonica en D. Empleando un razonamiento similar se de-
muestra que v tambien es armonica en D
En conclusi on, si f(z) = u(x, y) + iv(x, y) es analtica en un dominio D, sus funciones com-
ponentes u y v son armonicas en D. El recproco de esta armaci on no es necesariamente cierto,
es decir, no se puede asegurar que si u y v son armonicas en D, entonces f es analtica en D; por
ejemplo, si tomamos u(x, y) = x + y y v(x, y) = x, observamos que u y v son armonicas en todo
el plano complejo, pero f(z) = (x + y) + ix no es analtica en ning un punto del plano.
Denici on 2.11 (Armonica conjugada) Si dos funciones dadas u y v son arm onicas en un
dominio D y sus primeras derivadas parciales satisfacen las ecuaciones de Cauchy-Riemann (2.6)
para todo punto de D, se dice que v es arm onica conjungada de u.
De esta forma, si f(z) = u(x, y) + iv(x, y) es analtica en un dominio D, v es armonica
conjungada de u. Recprocamente, si v es armonica conjugada de u en D, entonces la funcion
f(z) = u(x, y) + iv(x, y) es analtica en D. Todo lo anterior se resume en el siguiente teorema.
Teorema 2.10 Una funcion f(z) = u(x, y) +iv(x, y) es anltica en un dominio D si, y s olo si v
es arm onica conjugada de u.
Es bueno aclarar que si v es arm onica conjugada de u en cierto dominio D, no es en general
cierto que u sea armonica conjugada de v en ese dominio. Por ejemplo, consideremos las funciones
u(x, y) = x
2
y
2
y v(x, y) = 2xy. Vemos que u y v son las parte real e imaginaria, respectivamente,
de f(z) = z
2
, que es efectivamente analtica en todo el plano complejo. Por lo tanto, v es armonica
conjugada de u en todo el plano, pero u no puede ser una armonica conjugada de v, ya que la
funcion g(z) = 2xy +i(x
2
y
2
) no es analtica en ning un punto del plano, porque no satisface las
ecuaciones de Cauchy-Riemann.
Por otra parte, es cierto que una armonica conjugada, cuando existe, es unica, excepto por
una constante aditiva. Expliquemos con un ejemplo un metodo para obtener una arm onica
conjungada de una funcion armonica dada.
Ejemplo 2.12 Determine v, la arm onica conjungada de u, si u(x, y) = x + y.
Soluci on. Para que v sea armonica conjungada de u, esta de ser armonica y debe satisfacer las
ecuaciones de Cauchy-Riemann (2.6). El metodo para generar v, una armonica conjugada de u,
consiste en forzar a que se cumplan las ecuaciones de Cauchy-Riemann y luego resolver ciertas
ecuaciones diferenciales. Apliquemos tal metodologa al problema planteado.
Como u y v deben satisfacer una de las ecuaciones de Cauchy-Riemann
_
u
x
=
v
y
_
y
u
x
= 1,
se debe cumplir que
v
y
= 1.
Ahora, integrando esta ecuaci on obtenemos:
v(x, y) = y + (x),
CAP

ITULO 2. FUNCIONES ANAL

ITICAS 15
donde : . Como tambien u y v deben satisfacer la otra ecuaci on de Cauchy-Riemann
_
u
y
=
v
x
_
y

u
x
= 1,
entonces

(x) =
v
x
= 1.
Ahora integrando con respecto a x esta ecuaci on obtenemos:
(x) = x + c,
donde c es una constante real. De esta forma,
v(x, y) = y x + c
que es una funcion armonica. Es decir, hemos construido una familia de funciones armonicas
conjugadas de u que se diferencian entre si por una constante. Para obtener una de ellas es
necesario conocer un valor de v en alg un punto del plano. Por ejemplo, si de antemano tuvieramos
que v(0, 0) = 1, entonces la constante c correspondiente sera c = 1 y la funcion v sera v(x, y) =
y x + 1.