1

Derivada de una funcin real

x
y
0
x
x
x f x x f
x f
x
A
A +
=
'
A
) ( ) (
lim : ) (
0 0
0
0
x x A +
0
x A
) (
0
x f
) (
0
x x f A +
Si no existe el lmite, no existe la
derivada en x
0
. Decimos
entonces que f(x) no es derivable
o diferenciable en x
0
.
Podemos hacer el lmite por la
derecha y por la izquierda, y
ambos deben coincidir.

2
x
y
0
z
z
z f z z f
z f
z
A
A +
=
'
A
) ( ) (
lim : ) (
0
0
0
z A
u
v
) (
0
z z f A +
) (
0
z f
) ( ) (
0 0
z f z z f A +
z z A +
0
Derivada de una funcin compleja
Observemos que ahora el lmite se puede hacer no
solamente por la derecha o por la izquierda, sino
por infinitos caminos.
3
Mostrar que f(z) = z
n
es diferenciable para todo z y
que f
/
(z) = nz
n-1
.
Ejemplo:
1
0
1
0
1
0
1
0
0 0
0
0
0 0
0
0
) (
) (
lim
) (
lim
) (
lim : ) (

=

=
A

=
A A
= A
|
|
.
|

\
|
=
A
A
|
|
.
|

\
|
=
A
A
|
|
.
|

\
|
=
A
A +
=
'

n i i n
n
i
i i n
n
i
z
n i i n
n
i
z
n n
z
nz z z
i
n
z
z z
i
n
z
z z z
i
n
z
z z z
z f
Observa que el resultado es independiente de la trayectoria
con que se aproxima a cero. Como z
0
es arbitrario, el
resultado es vlido para todo z y f(z) = nz
n-1
.

z A
4
La reglas de derivabilidad son las mismas que en clculo
de funciones reales de variable real. :

(c f)
/
= c f
/

(f+g)
/
= f
/
+ g
/

(f g)
/
= f
/
g + f g
/

(f/g)
/
= (f
/
g - f g
/
)/g
2


La regla de la cadena rige de la misma forma.

Ejercicio: Demostrar que el resultado anterior es vlido
para n entero distinto de cero.
Ejercicio:
Demostrar las reglas a
partir de la definicin
de derivada.
5
Regla de L'Hpital:
Si f(z
0
) = 0 y g(z
0
) = 0 y las funciones
son diferenciables en z
0
con g'(z
0
)
diferente de 0, entonces:

) ( '
) ( '
lim
) (
) (
lim
0 0
z g
z f
z g
z f
z z z z
=
Extensin: Si f(z
0
) = f'(z
0
) = ... =
f
(n-1)
(z
0
) = 0 y g(z
0
) = g'(z
0
) = ... =
g
(n-1)
(z
0
) = 0 y las funciones y las
2n funciones derivadas son
diferenciables en z
0
(y con g
(n)
(z
0
)
diferente de cero), entonces:

) (
) (
lim
) (
) (
lim
) (
) (
0 0
z g
z f
z g
z f
n
n
z z z z
=
Guillaume Franois Antoine
Marquis de L'Hpital
(1671 1704)
6
Diferenciales
Si w = f(z) es continua y tiene primera derivada continua en una
regin R, entonces:
z
w
dz
dw
z f dz z f dw
z
dz dz z f z z z f w
z
A
A
= = =
A
+ = A + A = A
A 0
lim ) ( ' ) ( '
. 0 cuando 0 donde
) ( ' ) ( '
c
c c
Diferencial de w
7
Falacia:

veces
2
2
2
2
2
4 4 4 4 4
3 3 3 3
2 2 2
1 1
x
x x x + + =
+ + + =
+ + =
+ =
=
Derivando a ambos lados:
1 2
1 1 2
veces
=
= + + = x x
x

8
Algunas funciones reales no poseen derivada
(en ciertos puntos) ...
Por ejemplo:
x
y
x
y
x
x f
1
) ( =
De forma similar, algunas funciones complejas
no poseen derivada en ningn punto del plano
complejo.
Demostrado por Cauchy en 1820
9
Fractales: Curva de Koch, copo de nieve o isla del diablo
(Parntesis)
Continuo en todos sus puntos pero no
diferenciable en ninguno.Permetro infinito en un rea finita!
Niels Fabian Helge
von Koch (1870 1924)
10
Curva de Weierstrass
La curva de Weierstrass es, histricamente
hablando, el primer fractal conocido. Fue
creado o descubierto (segn las preferencias
filosficas del lector) por el matemtico
Karl Weierstrass en 1861. Lo notable en este
caso, respecto a la curva de Koch, es que
disponemos de la ecuacin, como serie infinita,
de la curva:

=
=
0
) cos( ) (
n
n n
x b a x W t
Para que la funcin carezca de
tangente nica en cada uno de sus
puntos, es necesario que:
0 < a < 1, b sea un entero impar
y a b >
Karl Theodor Wilhelm
Weierstrass (1815 1897)
2 / 3 1 t +
11
Algunas funciones complejas no poseen derivada en ningn punto
Ejemplo
z z f = ) (
y i x
y i x
y i x
y i x
z
z
z
z z z
z
z f z z f
z f
z z
z z
z
A + A
A A
=
A + A
A + A
=
A
A
=
A
A +
=
A
A +
=
'
A A
A A
A
0 0
0 0
0
lim lim
lim lim
) ( ) (
lim ) (
Sigamos dos caminos distintos:
x
y
z z A +
z
x A
y A
1
2
1 2
1 lim
0
=
Az
1 lim
0
+ =
Az
El lmite no es nico, por lo tanto no existe lmite.
Como z es arbitrario, no existe derivada en ningn punto.
(funcin continua en todo el
plano complejo porque sus
componentes u y v lo son)
12
Ejemplo
2
| | ) ( z z f =
|
|
.
|

\
|
A
A
+ A + =
A
A + A +
=
A
A +
=
A
A +
=
'
A
A
A
A
z
z
z z z
z
z z z z z z
z
z z z
z
z f z z f
z f
z
z
z
z
0
0
2 2
0
0
lim
) )( (
lim
| | | |
lim
) ( ) (
lim ) (
Sigamos de nuevo los dos
caminos distintos anteriores:
(funcin continua en todo el
plano complejo porque sus
componentes u y v lo son)
1
2
z z z z
z
= A = A
A 0
lim ;
Como el lmite debe ser nico:
z z z z
z
+ = A = A
A 0
lim ;
0 = + = z z z z z
La derivada existe solo en z = 0 y vale 0.
Este ejemplo muestra como una funcin
puede ser diferenciable en un punto sin
serlo en ningn otro de su entorno.
13
La existencia de derivada en un punto implica la
continuidad de la funcin en ese punto.
Supongamos que existe f(z):
| |
) ( ) ( lim 0 0 ) ( '
) ( lim
) ( ) (
lim
) ( ) ( lim
0 0
0
0
0
0
0 0
0
z f z f z f
z z
z z
z f z f
z f z f
z z
z z z z
z z
= =
=

14
When f is a function which is defined on a region of the
complex plane which includes points of the real line, then
one can talk about both the complex and the real
derivative of f. The complex and the real derivative both
use the same formula for the difference quotient. The
difference between them is that for the complex
derivative, z approaches z
o
through both real and complex
values. For the real derivative, only real values of z are
considered. Thus, if the complex derivative of a function
exists at a point in the real line, then the real derivative
also exists, and the two are equal. The converse is not
true.
For our purposes, this will mean that anything we say
about complex derivatives of power series when z is real
will equally well hold for the real derivative.

15
x
y
z
z z A +
x A
y A
1
1
| |
| |

A
A +
+
A
A +
=
'
A
A
x
y x v y x x v
i
x
y x u y x x u
z f
x
x
) , ( ) , (
lim
) , ( ) , (
lim ) (
0
0
x
v
i
x
u
dz
df
c
c
+
c
c
=
Seguimos el camino : sea Ay0
Ecuaciones de Cauchy-Riemann
| | | |
y i x
y x v i y x u y y x x v i y y x x u
z
z f z z f
z f
z
z
A + A
+ A + A + + A + A +
=
A
A +
= '
A
A
) , ( ) , ( ) , ( ) , (
lim
) ( ) (
lim ) (
0
0
Si la derivada existe, el lmite
es independiente del camino
16
x
y
z
z z A +
x A
y A
2
2
y
v
y
u
i
dz
df
c
c
+
c
c
=
Seguimos el camino : sea Ax0
| |
| |

A
A +
+
A
A +
=
'
A
A
y
y x v y y x v
y
y x u y y x u
i z f
y
y
) , ( ) , (
lim
) , ( ) , (
lim ) (
0
0
xy y x v y x y x u iy x z z f 2 ) , ( ; ) , ( ; ) ( ) (
2 2 2 2
= = + = =
z y i x y i x
x
v
i
x
u
dz
df
2 ) ( 2 ) 2 ( 2 = + = + =
c
c
+
c
c
=
z y i x x y i
y
v
y
u
i
dz
df
2 ) ( 2 2 ) 2 ( = + = + =
c
c
+
c
c
=
Ejemplo:
17
y
v
y
u
i
x
v
i
x
u
c
c
+
c
c
=
c
c
+
c
c
Igualando ambas expresiones:
Igualando las partes real e imaginaria obtenemos las
ecuaciones de Cauchy-Riemann:
Tenemos:
x
v
i
x
u
dz
df
c
c
+
c
c
=
y
v
y
u
i
dz
df
c
c
+
c
c
=
x
v
y
u
y
v
x
u
c
c
=
c
c
c
c
=
c
c
18
Despus de 250 aos de casi
hibernacin compleja, entre
1814 y 1851 Cauhy y Riemman
fundan el anlisis complejo.
x
v
y
u
y
v
x
u
c
c
=
c
c
c
c
=
c
c
Augustin-Louis Cauchy
(1789-1857)
Ecuaciones de Cauchy-Riemman (ECR)
Propuestas por primera vez por DAlembert
en 1752 en el contexto de la dinmica de
fluidos.
19
Podemos dar en forma polar una funcin de variable
compleja cualquiera. Por ejemplo, sea:
) 0 (
1
) ( = + = z
z
z z f
En forma polar,
tendremos:

) , ( ) , (
sin
1
cos
1
) sin (cos
1
) sin (cos
) sin (cos
1
) sin (cos ) (
u u
u u
u u u u
u u
u u
r v r u
r
r i
r
r
i
r
i r
i r
i r z f
|
.
|

\
|
+
|
.
|

\
|
+
= + +
=
+
+ + =
20
) ) , (
sin cos
i v(r, r u f(z)
) i r( z
+ =
+ =
u
En forma polar
tenemos:


) 0 (
1 1
>
c
c
=
c
c
c
c
=
c
c
r
u
r r
v v
r r
u
u u
ECR en forma polar
Demostrar que las ECR toman la forma:
Ejercicio: Comprobarlo para la funcin f(z) = 1/z.
21
Recuerda que hemos tomado dos caminos muy particulares
para encontrar las ECR. Hemos demostrado que si
f(z) = u(x,y)+iv(x,y) es diferenciable en un punto z
0
,
entonces las primeras derivadas parciales de u(x,y) y v(x,y)
deben existir en ese punto y satisfacer en l las ECR.
Adems, podemos calcular el valor de f (z
0
) a travs
de las expresiones:




Las ECR son una condicin necesaria para la derivabilidad.
Ms adelante veremos que tambin son suficientes.
x
v
i
x
u
dz
df
c
c
+
c
c
=
y
v
y
u
i
dz
df
c
c
+
c
c
=
22
) 2 ( ) (
) ( ) (
2 2
2
xy i y x
y i x z f
+ =
+ =
y
x
v
y
y
u
x
y
v
x
x
u
2 , 2
, 2 , 2
=
c
c
=
c
c
=
c
c
=
c
c
Ejemplos: Veamos que , que hemos probado
que es diferenciable en todas partes, cumple las ECR:
Sin embargo para:
2
) ( z z f =
) ( | | ) (
2 2 2
y x z z f + = =
0 , 2
, 0 , 2
=
c
c
=
c
c
=
c
c
=
c
c
x
v
y
y
u
y
v
x
x
u
Las ECR no se satisfacen excepto
para z = 0. Entonces la derivada no
existe para ningn z distinto de 0.
Pero no podemos asegurar la
existencia de la derivada en z = 0,
aunque en este caso la hemos
demostrado anteriormente.
23
Condiciones suficientes
Sea f(z) = u(x,y) + iv(x,y) definida en un entorno del punto
z
0
= x
0
+ iy
0
, supongamos las primeras derivadas parciales de
u(x,y) y v(x,y) existen en el entorno de ese punto y son continuas
en z
0
. Entonces si las parciales satisfacen las ECR en z
0
, la derivada
f (z) en z
0
existe.
. 0 0 cuando 0 0 donde
)} , ( ) , ( { )} , ( ) , ( {
) , ( ) , (
1 1
1 1
1 1
A A
A + A + A
c
c
+ A
c
c
= A
|
|
.
|

\
|
+
c
c
+ A
|
.
|

\
|
+
c
c
= A + + A + A + A +
= A + A + = A
y y x y
y x y
y
u
x
x
u
y
y
u
x
x
u
y x u y y x u y y x u y y x x u
y x u y y x x u u
c
c
c
24
. 0 0 cuando 0 0 donde
2 2
2 2
A A
A + A + A
c
c
+ A
c
c
y y x y
y x y
y
v
x
x
v
c
c
De la misma manera, para v(x,y):
. 0 0 cuando
0 0 donde
2 1 2 1
A A
+ = + =
A + A + A
|
|
.
|

\
|
c
c
+
c
c
+ A
|
.
|

\
|
c
c
+
c
c
= A + A = A
y y x
i y i
y x y
y
v
i
y
u
x
x
v
i
x
u
v i u w
c c c
c
As que:
Podemos utilizar en esta ltima igualdad las ECR:
x
v
y
u
y
v
x
u
c
c
=
c
c
c
c
=
c
c
25
x
v
i
x
u
z
w
dz
dw
z f
y x y i x
x
v
i
x
u
y x y
x
v
i
x
u
x
x
v
i
x
u
v i u w
z
z
c
c
+
c
c
=
A
A
= =
A + A + A + A
|
.
|

\
|
c
c
+
c
c
=
A + A + A
|
.
|

\
|
c
c
+
c
c
+ A
|
.
|

\
|
c
c
+
c
c
= A + A = A
A
A
0
lim ) ( '
) ( c
c

26
Funciones analticas
Una funcin f(z) es analtica en un abierto A si
posee derivada en todo punto de A.
Cuando se dice que una funcin f es
analtica en un conjunto S que no es
abierto, quedar sobrentendido que f es
analtica en algn abierto que contiene a S.
Cuando decimos que una funcin
es analtica en un punto z
0
, la
derivada debe existir en todos los puntos
de algn entorno de z
0
.

Nota: observa que f(z) = |z|
2
es solo derivable en
z = 0, pero tampoco ah es analtica.
x
y
0
z
x
y
A
27
) , ( ) , ( ) ( y x v i y x u z f + =
continua en un dominio D:
Existe una forma rpida y fcil de comprobar
si una funcin f (z) es analtica?
S, a travs de las ECR que son una condicin necesaria y
suficiente para que la derivada exista:
Sea
x
v
y
u
y
v
x
u
c
c
=
c
c
c
c
=
c
c
en todo punto de D.
f(z) es analtica en un dominio D sii u(x,y) y v(x,y)
poseen primeras derivadas parciales continuas en D y
satisfacen las ecuaciones de Cauchy-Riemann:
28
|
|
.
|

\
|
+

+
|
|
.
|

\
|
+
=

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

=
c
c
=
c
c
+
+
=
c
c
=
c
c
Ejemplo
Es 1/z analtica?
Las ecuaciones de Cauchy-Riemann se cumplen. Pero f(z)
no es continua en cero ni sus parciales tampoco.
La funcin es analtica en todo punto, excepto en z = 0.
) , ( y x u
) , ( y x v
29
(

+
+
(

+

=
+
+

+ +
=

+ +
=

+
=
2 2 2 2
2 2
) 1 (
2
) 1 (
1
) 1 (
) 1 (
) 1 (
) 1 (
1
1
1
1
) (
y x
y
i
y x
y x
y i x
y i x
y i x
y i x
y i x
y i x
z
z
z f
u
v
| |
| | | |
x
v
y x
x y
y
u
y
v
y x
y x
x
u
c
c
=
+

=
c
c
c
c
=
+

=
c
c
2
2 2
2
2 2
2 2
) 1 (
) 1 ( 4
,
) 1 (
) 1 ( 2
excepto en x = 1 e y = 0, en z = 1.
Ejemplo
Es (1+z)/(1-z) analtica?
Al igual que antes, la funcin es analtica en todo punto,
30
(1) Las funciones polinmicas son analticas en todo punto.
Son funciones enteras.
n
n
z c z c z c z c z c c z f + + + + + + =
4
4
3
3
2
2 1 0
) (
Gracias a las propiedades de las derivadas, si dos funciones
son analticas en un dominio D, su suma y su producto son
analticos en D. Y su cociente es analtico en D si el
denominador no se anula en ningn punto de D.
Una composicin de funciones analticas ser analtica.
) (
) (
) (
z h
z g
z f =
(2) La funciones racionales
donde g(z) y h(z) son polinomios,
son analticas excepto, quizs,
en los puntos donde h(z) se anula.
31
Qu tienen de especial las funciones analticas? Veremos
ms adelante cosas como:

Si una funcin es analtica entonces todas sus derivadas tambin
son analticas (en franco contraste con las funciones de variable
real).

Toda funcin analtica puede expresarse como serie de potencias.

Las funciones analticas estn determinadas por sus valores de
contorno: si disponemos de los valores de una funcin analtica para
los puntos de la circunferencia unidad, estos valores determinan
totalmente los valores en todo el crculo unidad. Podemos expresar
los valores de la funcin en los puntos interiores a travs de una
frmula integral que invlucra los valores del contorno.
32
Ejercicio: Encontrar la forma ms general de la funcin
analtica f(z) cuya parte real u(x,y) es: u(x,y) = x
2
-y
2
-x.

Exigimos que se cumplan las ECR:
y
v
x
x
u
c
c
= =
c
c
1 2
k(x) y xy
x k dy x x k dy
y
v
y x v
+
= + = +
c
c
=
} }
2
) ( ) 1 2 ( ) ( ) , (
cte k x k
dx
x dk
y
x
v
y
y
u
= = + =
c
c
= =
c
c
) (
) (
2 2
ik z z z f
k y xy i x y x y x iv y x u z f
+ =
+ + = + =
2
2 2
) (
) 2 ( ) , ( ) , ( ) (
33
Demostrar que si f(z) es analtica en un dominio D y
|f(z)| es constante en D, entonces f(z) es constante en D.
2 2 2
| ) ( | k v u k z f = + =
Derivando con respecto a x e y:

0 2 2 ) ( 0 2 2 ) ( =
c
c
+
c
c
=
c
c
+
c
c
y
v
v
y
u
u b
x
v
v
x
u
u a
Multiplicando por (a) por u y (b) por v:
0 ; 0
2 2
=
c
c
+
c
c
=
c
c
+
c
c
y
v
v
y
u
uv
x
v
uv
x
u
u
34
Exigiendo ECR y sumando ambas ecuaciones:
0 ) (
2 2
=
c
c
+
x
u
v u
y
v
x
u
c
c
=
c
c
x
v
y
u
c
c
=
c
c
Multiplicando (b) por u
y restando (a) por v, tenemos:
0 ) (
2 2
=
c
c
+
x
v
v u
Si k
2
= u
2
+ v
2
= 0 entonces u = v = 0 f(z) = 0 (cte)
Si k = 0 entonces u
x
= u
y
= v
x
= v
y
= 0
u = cte, v = const f(z) = cte
Ejercicio: Demostrar que si f (z) = 0 en todos los puntos de un
dominio D, entonces f(z) es constante en D.
35
Puntos singulares
Una singularidad o punto singular de f (z) es un punto z
o

en el cual f (z) no es analtica, pero es analtica en algn
punto de todo entorno de z
0
. (Posee f(z) = |z|
2
singularidades?)
Tipos de singularidades:
(1) Aislada: si existe un entorno para el que el nico punto singular
es z
0
. Si no podemos encontrar semejante entorno, la singularidad
es no aislada. Si f(z) tiene un nmero finito de singularidades,
todas sern aisladas.
(2) Evitable en z
0
:

si el lmite cuando z tiende a z
0
de f(z) es finito.
(3) Esencial: es una singularidad que no es un polo (otro tipo de
singularidad que definimos a continuacin) ni es evitable.
(4) En el infinito: si g(z) = f(1/z) tiene una singularidad en z = 0,
decimos que f(z) tiene el mismo tipo de singularidad en el
infinito.

36
Polos
(otro tipo de
singularidad)
Un polo de orden n de f (z) es un punto z
0

para el cual se cumple:
{ } =

0 ) ( ) ( lim
0
0
z f z z
n
z z
2
3 2
) (
2

+
=
z
z
z f
P.ej. El punto z = 2 es un polo simple o de orden 1 de
porque
{ }
{ } 0 3 2 lim
) ( ) 2 ( lim
2
2
1
2
= +
=

z
z f z
z
z
37
Observa que el orden de un polo es la potencia
del trmino
o
z z
o
z
) 3 )( 4 (
2
12
2
) (
2
+

=

=
z z
z
z z
z
z f
z
o
=-3, 4 son polos
simples.
3
) (
) (
i z
z
z f
+
=
z
o
=-i es un polo de tercer orden
2 2
) 4 (
) (
+
=
z
z
z f
| |
2 2 2
) 2 ( ) 2 (
) 2 )( 2 (
) (
i z i z
z
i z i z
z
z f
+
=
+
=
Esta funcin tiene 2 puntos singulares, polos de 2 orden
en z = -2i y z = +2i.
38
Hans Lundmark
Department of Mathematics (Linkping University, Sweden)
http://www.mai.liu.se/~halun/complex/complex.html




2
) ( z z f =
1 ) ( = i f
i
i
1
1 ) ( = i f
i
Mejor tener un patrn
nico en el plano w y
observar que patrn en
el plano z nos llevara a l.
39
Gradiente de color
para el argumento
en el plano w
Escala de grises
para mdulo en
plano w
Combinacin en
el plano w.
Patrn de referencia
en el plano w, al que
hemos aadido una
parrilla cuadriculada.
40
) , ( ) , (
) (
u u r r
z z f

=
) 2 , ( ) , (
) (
2
2
u u r r
z z f

=
) 3 , ( ) , (
) (
3
3
u u r r
z z f

=
) 4 , ( ) , (
) (
4
4
u u r r
z z f

=
i 2 2 Esquinas
Estos son los patrones
en el plano z cuya
imagen bajo las
transformaciones f(z)
acaban todas en el patrn
de referencia.

Observa que un cero de
orden k en z
0
se
reconoce porque los anillos
sombreados se acumulan
en l y si recorremos un
pequeo crculo a su
alrededor en sentido
antihorario cambiaremos
cclicamente de color
(de amarillo a negro)
k veces.
41
) )( 2 1 ( ) 2 ( ) (
2
i z i z z z f + + =
i z
z
i z
=
=
+ =
2
2 1
Plano z. Esquinas:
i 3 3
(raz doble)
Veamos el polinomio:
42
Aqu hacemos la parrilla ms
apreciable. Recuerda que la
imagen de esta cuadrcula
distorsionada proporciona en
el plano w una parrilla con
cuadrados de lado 1. Observa
que la transformacin es
conforme: Es decir los
ngulos se preservan en la
transformacin: si dos curvas
se intersectan con un ngulo
determinado en el punto z
0
,
entonces sus imgenes bajo la
transformacin f se intersectan
con el mismo ngulo en f(z
0
).
Aqu estamos viendo el
fenmeno en la direccin
inversa.
Plano z. Esquinas:
i 3 3
La conformalidad se rompe en los puntos donde
la derivada de f se hace 0, en los llamados puntos
crticos de f. Puedes encontrar esos puntos en la figura?

43
Teorema de Lucas
Si f es un polinomio,
entonces los ceros de
su derivada f caen todos
en el polgono convexo
que tiene como aristas
a los ceros de f.

En el ejemplo que nos
ocupa el polgono
convexo es el tringulo
de la imagen.
44
Cmo se ven los polos de una funcin racional bajo
este esquema de color?
Los ciclos de color van en direccin opuesta (Si recorremos en
sentido horario van de negro a amarillo) y el valor absoluto crece
hasta infinito a medida que nos aproximamos al polo (en lugar de
de desvanecerse como ocurre al acercarnos a un cero).
z
z f
1
) ( =
2
1
) (
z
z f =
Polo simple en z = 0.
Polo de segundo orden en z = 0.
45
Veamos una transformacin de Moebius o bilineal:
1
1
) (
+

=
z
z
z f
Un cero en z = 1 y un polo simple en z = -1.
Plano z. Esquinas:
i 2 2
46
Funciones armnicas
u(x,y) y v(x,y), las componentes de una funcin analtica,
son funciones armnicas: cumplen la ec. de Laplace.
Partiendo de
la ECR:
x
v
y
u
y
v
x
u
c
c
=
c
c
c
c
=
c
c
y
y x
v
y
u
y x
v
x
u
c c
c
=
c
c
c c
c
=
c
c
2
2
2 2
2
2
y
0
2
2
2
2
=
c
c
+
c
c
y
u
x
u
Derivando
respecto
a x e y:
0
2
2
2
2
=
c
c
+
c
c
y
v
x
v
Derivando
respecto a
y y x:
Suponiendo que sus segundas derivadas existen y son continuas
(ms adelante se demostrar que si f es analtica en z
0
, u y v poseen
parciales continuas de todo orden en ese punto):
47
Una funcin u(x,y) es armnica en un dominio si satisface
la ecuacin de Laplace en dicho dominio:


0
2
2
2
2
2
=
c
u c
+
c
u c
= u V
y x
Hemos visto que si f(z) es analtica en cierto dominio, entonces su
parte real u(x,y) y su parte imaginaria v(x,y) son armnicas en dicho
dominio (ambas cumplen la ecuacin de Laplace).

Dada una u(x,y) armnica en un dominio simplemente conexo D,
existe una funcin analtica en D cuya parte real es u(x,y) y tambin
existe una funcin analtica en D cuya parte imaginaria es u(x,y).

Dada una funcin armnica u(x,y), parte real de una funcin compleja,
decimos que v(x,y) es la funcin armnica conjugada de u(x,y), si
u(x,y) + iv(x,y) es analtica.

48
1 2 y 2 =
c
c
=
c
c
y
y
u
x
x
u
Ejemplo: Verificar que u(x,y) = x
2
-y
2
-y es armnica en todo
el plano complejo y encontrar la funcin armnica conjugada
v(x,y).

0 2 y 2
2
2
2
2
2
2
2
2
=
c
c
+
c
c
=
c
c
=
c
c
y
u
x
u
y
u
x
u
Si v(x,y) es la armnica conjugada de u(x,y), entonces
ambas cumplen las ECR:
1 2 y 2 =
c
c
=
c
c
=
c
c
=
c
c
y
x
v
y
u
x
y
v
x
u
49
k(x) xy x k dy x x k dy
y
v
y x v + = + = +
c
c
=
} }
2 ) ( 2 ) ( ) , (
c x xy y x v
c x x k
dx
x dk
y
x
v
y
y
u
+ + =
+ = =
c
c
= =
c
c
2 ) , (
) (
) (
2 1 2
c) i (z z z f
c) x xy i ( y - y x i v u f(z)
+ + =
+ + + = + =
2
2 2
) (
2
x 2 =
c
c
=
c
c
y
v
x
u
50
Ejercicio: Demostrar que si u y v son armnicas conjugadas
mutuamente, entonces son funciones constantes.

Ejercicio: Si u es armnica conjugada de v en un dominio D,
entonces u es armnica conjugada de v en D.
xy y x v y x y x u iy x z z f 2 ) , ( ; ) , ( ; ) ( ) (
2 2 2 2
= = + = =
v(x,y) es armnica conjugada de u(x,y), pero que si
intercambiamos ambas no es cierto. Es decir, que
2 2
) , ( ; 2 ) , ( ); , ( ) , ( ) ( y x y x v xy y x u y x iv y x u z f = = + =
no es analtica.
Ejercicio: Demuestra que para