FUNCIONES DE VARIABLE COMPLEJA Mathema

Prof.: Christiam Huertas R. www.xhuertas.blogspot.com 1

Introduccin
La teora de funciones de una variable
compleja, llamada tambin variable
compleja o anlisis complejo, es una de las
ms bellas, as como de las ms tiles
ramas de las matemticas. Aunque naci en
una atmsfera de misterio y desconfianza,
como lo indican los trminos imaginario y
complejo que subsisten en la literatura
contempornea sobre la materia, se coloco
sobre una base slida en el siglo XIX,
gracias a los esfuerzos de Cauchy,
Riemann, Weierstrass, Gauss y otros
grandes matemticos.

Hoy se reconoce esta materia como parte
esencial de la formacin matemtica de
ingenieros, fsicos, matemticos y otros
cientficos. Desde el punto de vista terico,
esto se debe a que muchos conceptos
matemticos se aclaran y unifican cuando
se examinan a la luz de la teora de variable
compleja. Desde el punto de vista prctico,
la teora es de gran valor para la solucin
de problemas de flujo de calor, teora
potencial, mecnica de fluidos, teora
electromagntica, aerodinmica, elasticidad
y muchos otros campos de la ciencia y la
ingeniera.

Este curso da los fundamentos de un
mundo nuevo que en los ltimos tiempos
gracias al computador ha deslumbrado con
la belleza de sus imgenes fractales.

Agustin Cauchy (1789 - 1857) y Bernhard
Riemann (1826 - 1866) son considerados
como los fundadores de la teora de
funciones de variable compleja.
El trabajo de Riemann hizo resaltar el
aspecto geomtrico en contraste con el
estudio puramente analtico de Cauchy.

Funciones de Variable Compleja
Definicin: Una funcin de variable
compleja y de valor complejo es una regla
que asigna un nmero complejo w a cada
nmero complejo z del conjunto A ,
es decir:
:
( )

=
f A
z f z w




A la funcin ( ) = w f z lo expresaremos en
trminos de la descomposicin en parte real
e imaginaria, es decir:

Si = + z x iy y = + w u iv entonces
( ) ( , ) . ( , ) = = + w f z u x y i v x y , por lo tanto la
funcin compleja ( ) = w f z de una variable
compleja est formada de un par de
funciones reales de dos variables reales.

Ejemplo:
Expresar
2
( ) = = w f z z como un par de
funciones reales de dos variables reales.

Resolucin:
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .

DIFERENCIACIN COMPLEJA Y LAS
ECUACIONES DE CAUCHY
RIEMANN

Derivada
Si ( ) f z es unvoca en alguna regin A del
plano Z , la derivada de ( ) f z esta definida
como

0
( ) ( )
'( ) lim

+
=

z
f z z f z
f z
z
(1)

si el lmite existe independientemente de la
manera como 0 z . En tal caso decimos
que ( ) f z es diferenciable en z . En la
definicin (1) algunas veces usamos h es
vez de z . Aunque la diferenciabilidad
implica continuidad, lo reciproco no es
cierto.

Funciones Analticas
Si la derivada '( ) f z existe en todo z de
una regin A , entonces diremos que ( ) f z
es analtica en A y nos referiremos a ella
como una funcin analtica en A . Los
trminos regular y holomorfa son usados
algunas veces como sinnimos de analtica.

Ejemplos:
1. Mediante la definicin, encontrar la
derivada de
3
( ) 5 = = w f z z z en los
puntos
0
= z z y 1 = z .

Resolucin:
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .

2. Mostrar que
d
z
dz
no existe en ninguna
parte, es decir, ( ) = f z z no es analtica
en ningn punto.

Resolucin:
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .

Una funcin ( ) f z es llamada analtica en
un punto
0
z , si existe una vecindad
0
| | < z z , tal que en cada punto de ella
'( ) f z exista.

Ecuaciones de Cauchy Riemann
Una condicin necesaria para que
( ) ( , ) . ( , ) = = + w f z u x y i v x y sea analtica en
una regin A es que, en A , u y v
satisfagan las ecuaciones de Cauchy
Riemann


=

u v
x y
,

=

u v
y x
(2)

Si las derivadas parciales en (2) son
continuas en A , entonces las ecuaciones
de Cauchy Riemann son condiciones
suficientes para que ( ) f z sea analtica en
A .

Ejemplo:
Sea la funcin definida por
2 2 2
( ) 2 = = + f z z x y xyi , pruebe que es
diferenciable.
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .

Las funciones ( , ) u x y y ( , ) v x y son
llamadas algunas veces funciones
conjugadas. Dada una, podemos encontrar
la otra (salvo una constante aditiva
arbitraria) tal que ( ) + = u iv f z sea
analtica.

Funciones Armnicas
Si las segundas derivadas parciales de u y
v con respecto a x e y existen y son
continuas en una regin A , entonces
deducimos de (2) que

2 2
2 2
0

+ =

u u
x y
,
2 2
2 2
0

+ =

v v
x y
(3)

Se deduce, en esas condiciones, que las
partes real e imaginaria de una funcin
analtica satisfacen la ecuacin de Laplace
denotada por

2 2
2 2
0

+ =
x y
o
2
donde
2 2
2
2 2

= +
x y


El operador
2
es llamado usualmente el
laplaciano.

FUNCIONES DE VARIABLE COMPLEJA Mathema

Prof.: Christiam Huertas R. www.xhuertas.blogspot.com 2

Funciones tales como ( , ) u x y y ( , ) v x y las
cuales satisfacen la ecuacin de Laplace en
una regin A , son llamadas funciones
armnicas en A .

Teorema:
Si ( ) = + f z u iv es analtica en una regin
A , entonces u y v son armnicas en A si
tienen segundas derivadas parciales
continuas en A .

Interpretacin Geomtrica de la Derivada
Sea
0
z un punto P en el plano Z y sea
0
w su imagen ' P en el plano W bajo la
transformacin ( ) = w f z . Ya que
suponemos ( ) f z unvoca, el punto
0
z es
aplicado solo en un punto
0
w .

Plano Z



Plano W



Si incrementamos
0
z en z obtenemos el
punto Q de la figura. Este punto tiene
como imagen a ' Q en el plano W .
Entonces vemos en la figura que ' ' P Q
representa el nmero complejo
0 0
( ) ( ) = + w f z z f z . Se deduce
entonces que la derivada en
0
z (si existe)
est dada por

0 0
0
( ) ( ) ' '

+
=

z Q P
f z z f z Q P
Lim Lim
z QP
(5)

es decir, el lmite de la razn ' ' Q P a QP
cuando el punto Q tiende al punto P . La
interpretacin anterior es vlida claramente
cuando
0
z es reemplazado por cualquier
punto z .



Diferenciales
Sea = z dz un incremento dado a z .
Entonces

( ) ( ) = + w f z z f z (6)

es llamado el incremento de ( ) = w f z . Si
( ) f z es continua y tiene primera derivada
continua en una regin, entonces

'( ) . '( ) . = + = + w f z z z f z dz dz (7)

donde 0 cuando 0 z . La
expresin

'( ) = dw f z dz (8)

es llamada la diferencial de w o ( ) f z , o la
parte principal de w. Observe que
w dw en general. Lamamos dz la
diferencial de z .

Debido a las definiciones (1) y (8),
usualmente escribimos

0 0
( ) ( )
'( )

+
= = =

z z
dw f z z f z w
f z Lim Lim
dz z z


(9)

Recalcamos que dz y dw no son los
lmites de z y w cuando 0 z , ya
que estos lmites son cero mientras dz y
dw no son necesariamente cero. En
cambio, dado dz determinamos dw de
(8), es decir, dw es una variable
determinada por la variable independiente
dz para z dado.

Es til pensar
d
dz
como un operador, el
cual al operar ( ) = w f z da '( ) =
dw
f z
dz
.

Reglas de Derivacin
Si ( ) f z , ( ) g z y ( ) h z son funciones
analticas de z , las siguientes reglas de
diferenciacin (idnticas a las del clculo
elemental) son validas.
1.
{ ( ) ( )} ( ) ( )
'( ) '( )
=
= +
d d d
f z g z f z g z
dz dz dz
f z g z


2. { . ( )} . ( ) . '( ) = =
d d
c f z c f z c f z
dz dz


3.
{ ( ). ( )} ( ). ( ) ( ). ( )
( ). '( ) ( ). '( )
= +
= +
d d d
f z g z f z g z g z f z
dz dz dz
f z g z g z f z

4.
2
2
( ) ( ) ( ) ( )
( )
( ) [ ( )]
( ). '( ) ( ). '( )

[ ( )]

=
d d
g z f z f z g z
d f z
dz dz
dz g z g z
g z f z f z g z
g z


5. Si ( ) = w f t donde ( ) = t g z entonces
. '( ) '{ ( )} '( ) = = =
dw dw dt dt
f t f g z g z
dz dt dz dz

6. Si ( ) = w f z , entonces
1
( )

= z f w ; y
dw
dz
y
dz
dw
estn relacionados por
1
=
dw
dz
dz
dw

7. Si ( ) = z f t y ( ) = w g t donde t es un
parmetro, entonces

'( )
'( )
= =
dw
dw g t
dt
dz
dz f t
dt


Reglas similares pueden ser formuladas
para diferenciales. Por ejemplo,
{ ( ) ( )} ( ) ( )
'( ) '( )
+ = +
= +
d f z g z df z dg z
f z dz g z dz


{ ( ). ( )} ( ) ( ) ( ) ( )
( ) '( ) ( ) '( )
= +
= +
d f z g z f z dg z g z df z
f z g z dz g z f z dz


Derivadas de Funciones Elementales
En lo que sigue suponemos que las
funciones estn bien definidas. Observe que
los resultados son idnticos a los del clculo
elemental.

1. ( ) 0 =
d
c
dz

2.
1
.

=
n n
d
z n z
dz

3. =
z z
d
e e
dz

4. . =
z z
d
a a Lna
dz

5. cos =
d
senz z
dz

6. cos =
d
z senz
dz

7.
2
tan sec =
d
z z
dz

8.
2
cot csc =
d
z z
dz

9. sec sec .tan =
d
z z z
dz

10. csc csc .cot =
d
z z z
dz

11.
1
=
d
Lnz
dz z

12. =
a
a
d Log e
Log z
dz z



http://chr1614.googlepages.com/home