Академический Документы
Профессиональный Документы
Культура Документы
Definici
on 10.1 Una funcion compleja de variable compleja es una aplicacion f : A C
donde A C.
Para cada z A, f (z) C, luego
f (z) = Re(f (z)) + i Im(f (z)) = u(z) + iv(z).
Las funciones reales u, v: A IR as construidas se denominan partes real e imaginaria de la
funcion f y suele escribirse f = u + iv para indicar que u y v son las partes real e imaginaria
de la funcion f .
Como C = IR2 , una funcion compleja lleva asociada una funcion f : A IR2 IR2 donde
f (x, y) = f (x + iy) y que tiene por componentes, f = (u, v), las funciones u(x, y) = u(x + iy)
y v(x, y) = v(x + iy). As pues, toda funcion compleja de variable compleja equivale a un par
de funciones reales de dos variables reales.
Ejemplo 10.2 Para obtener las partes real e imaginaria de la funcion f (z) = z 2 , ponemos
z = x + iy y resulta
f (x + iy) = (x + iy)2 = x2 y 2 + i2xy
con lo que u(x, y) = x2 y 2 y v(x, y) = 2xy .
10.1.1
Lmites y continuidad
zz0
zz0
zz0
lim v(z) = l2 .
zz0
zz0
zz0
zz0
Demostracion:
Basta tener en cuenta que
|f (z) l| = |(u(z) + iv(z)) (l1 + il2 )| = |(u(z) l1 ) + i(v(z) l2 )|
Teor
a de variable compleja.
123
Entonces:
zz0
b) lim f (z)g(z) = l1 l2 .
zz0
f (z)
zz0 g(z)
c) lim
l1
l2
, si l2 = 0.
Proposici
on 10.6 Si lim f (z) = l C, entonces f est
a acotada en alg
un E (z0 , r).
zz0
zz0
zz0
Definici
on 10.8 Se dice que una funcion compleja f tiene por lmite l C cuando z tiende
a (en el sentido de |z| ), y se escribe
lim f (z) = lim f (z) = l,
|z|
cuando para cada > 0 existe un K > 0 tal que si |z| > K , entonces |f (z) l| < .
1
=
z z
1
lim
y, para
|z| z
lim 1
z z
0.
cada > 0, sea K > 0 tal que
|f (z) 0| = | z1 | =
1
|z|
<
1
K
1
K
< .
Definici
on 10.10 Se dice que una funcion compleja de variable compleja f es continua en
un punto z0 C cuando
lim f (z) = f (z0 ).
zz0
zz0
zz0
zz0
De esta proposicion y de que los resultados analogos son ciertos para funciones reales, se
establece la validez de las tres proposiciones siguientes:
124
Teor
a de variable compleja.
Proposici
on 10.12 Sean f y g dos funciones complejas de variable compleja continuas en un
punto z0 C. Entonces las funciones f + g y f g son continuas en z0 . Si, ademas, es g(z0 ) = 0,
entonces la funcion f /g es tambien continua en z0 .
Proposici
on 10.13 Sean f y g dos funciones complejas de variable compleja. Si f es continua
en z0 y g es continua en f (z0 ), entonces la funcion compuesta g f es continua en z0 .
Teorema de Weierstrass 10.14 Sean A C cerrado y acotado, y f : A IR una funcion
continua real. Entonces f tiene un mnimo y un maximo en A, es decir, existen z1 , z2 A tales
que f (z1 ) f (z) f (z2 ), para todo z A.
10.2
Definici
on 10.15 Sea A C un conjunto abierto. Se dice que una funcion f : A C es
derivable en un punto z0 A cuando existe el lmite
lim
zz0
f (z) f (z0 )
.
z z0
En ese caso, dicho lmite se designa por f (z0 ) y se llama derivada de f en el punto z0 .
Poniendo z z0 = h C, la definicion de derivada se escribe tambien como
f (z0 + h) f (z0 )
.
h0
h
f (z0 ) = lim
Proposici
on 10.16 Si f es derivable en z0 , entonces f es continua en z0 .
Demostracion:
Como lim f (z) = f (z0 ) lim f (z) f (z0 ) = 0, se tiene que
zz0
zz0
zz0
zz0
f (z) f (z0 )
(z z0 ) = f (z0 ) 0 = 0.
z z0
Proposici
on 10.17 Sean f y g dos funciones derivables en un punto z0 . Entonces las funciones
f + g y f g son tambien derivables en z0 y
(f + g) (z0 ) = f (z0 ) + g (z0 )
(z0 ) =
Demostracion:
La demostracion es identica a la del resultado para funciones reales de variable real.
Regla de la cadena 10.18 Si f es derivable en z0 y g es derivable en f (z0 ), entonces la
funcion compuesta h = g f es derivable en z0 y se verifica que
h (z0 ) = g (f (z0 ))f (z0 ).
Teor
a de variable compleja.
125
Demostracion:
La demostracion es identica a la del caso de funciones reales de variable real.
Ejemplo 10.19
h0
f (z + h) f (z)
kk
= lim
= 0.
h0
h
h
f (z) = lim
n i ni
) zn
i h z
(z + h)n z n
f (z + h) f (z)
i=1
f (z) = lim
= lim
= lim
h0
h0
h0
h
h
h
n
n
n i1 ni
n i1 ni
n n1
= lim
h z
=
lim
h z
=
z
= nz n1 .
h0
h0 i
i
1
i=1
i=1
(z n +
un punto.
f) La funcion f : C C dada por f (z) = z no es derivable en ning
En efecto, se tiene que lim
h0
f (z+h)f (z)
h
= lim
h0
z+hz
h
= lim
h0
z+hz
h
h
h0 h
= 1; y
h
h0 h
= 1.
= lim hh , luego
h0
10.2.1
Proposici
on 10.20 Si f = u+iv es derivable en un punto z0 = x0 +iy0 , entonces las funciones
u y v tienen derivadas parciales en z0 = (x0 , y0 ) y verifican las condiciones de Cauchy-Riemann
siguientes:
D1 u(z0 ) = D2 v(z0 )
[C-R].
D2 u(z0 ) = D1 v(z0 )
Ademas, f (z0 ) = D1 u(x0 , y0 ) + iD1 v(x0 , y0 ) = D2 v(x0 , y0 ) iD2 u(x0 , y0 ).
Demostracion:
126
Teor
a de variable compleja.
f (z0 ) = lim
= lim
h
v(z0 + h) v(z0 )
u(z0 + h) u(z0 )
+ i lim
.
= lim
h0
h0
h
h
h0
Entonces:
Si h = h1 IR es
u(x0 + h1 , y0 ) u(x0 , y0 )
v(x0 + h1 , y0 ) v(x0 , y0 )
+ i lim
h1 0
h1 0
h1
h1
= D1 u(x0 , y0 ) + iD1 v(x0 , y0 ).
f (z0 ) = lim
Si h = ih2 iIR, es
f (z0 ) = lim
h2 0
u(x0 , y0 + h2 ) u(x0 , y0 )
v(x0 , y0 + h2 ) v(x0 , y0 )
+ i lim
h2 0
ih2
ih2
1
= D2 u(x0 , y0 ) + D2 v(x0 , y0 ) = D2 v(x0 , y0 ) iD2 u(x0 , y0 ).
i
Luego f (z0 ) = D1 u(z0 ) + iD1 v(z0 ) = D2 v(z0 ) iD2 u(z0 ), de donde se deducen las ecuaciones
de Cauchy-Riemann.
Teorema de Cauchy-Riemann 10.21 La funcion f = u + iv es derivable en un punto z0 =
x0 + iy0 s, y solo si la funcion f = (u, v) es diferenciable en z0 = (x0 , y0 ) y sus funciones
componentes verifican las condiciones de Cauchy-Riemann en el punto.
Demostracion:
Como, por la proposicion anterior, si f es derivable en z0 tambien las funciones u y v
verifican las condiciones [C-R], para h = (h1 , h2 ) = h1 + ih2 = h, se tiene en ambos casos que
(no ponemos el punto por comodidad)
t
f (z0 )h
D1 u D2 u
D1 v D2 v
h1
h2
h1 D1 u + h2 D2 u
h1 D1 v + h2 D2 v
h1 D1 u h2 D1 v
h1 D1 v + h2 D1 u
= (h1 D1 u h2 D1 v, h1 D1 v + h2 D1 u) = h1 D1 u h2 D1 v + i(h1 D1 v + h2 D1 u)
= (D1 u(z0 ) + iD1 v(z0 ))(h1 + ih2 ) = f (z0 )h
Entonces,
f (z0 + h) f (z0 ) f (z0 )h = f (z0 + h) f (z0 ) (f (z0 )ht )t
y, en consecuencia,
|f (z0 + h) f (z0 ) f (z0 )h|
f (z0 + h) f (z0 ) (f (z0 )ht )t
= lim
h0
|h|
h
h 0
lim
Teor
a de variable compleja.
127
10.2.2
Funciones analticas
Definici
on 10.24 Sea A subconjunto abierto de C. Se dice que una funcion f : A C es
analtica en un punto z0 A, si f es derivable en alg
un entorno E(z0 , r) A.
Se dice que f es analtica en A cuando es analtica en todo punto de A.
Una funcion entera es una funcion analtica en todo C.
Ejemplo.- Toda funcion polinomica es una funcion entera.
Una funcion racional es analtica en todo punto que no anule al denominador.
Proposici
on 10.25 Sea A C. Si f : A C es analtica en un punto z0 A, entonces f
es analtica en alg
un entorno E(z0 , r) A.
Demostracion:
Es claro, pues si f es analtica en z0 A, f es derivable en alg
un entorno E(z0 , r) A y,
para cada z E(z0 , r), existe un E(z, ) E(z0 , r). Luego f es derivable en E(z, ) A y,
en consecuencia, f es analtica en cada z E(z0 , r).
10.3
10.3.1
La exponencial compleja
Definici
on 10.26 La funcion f : C C definida, si z = x + iy , por
f (z) = f (x + iy) = ex (cos y + i sen y)
se llama exponencial compleja y se representa por f (z) = ez .
Proposici
on 10.27 Se verifican las siguientes propiedades:
a) Si z = x IR entonces la exponencial compleja coincide con la exponencial real.
b) ez+w = ez ew , para todo z, w C.
c) Si z = iy iIR, entonces |eiy | = 1.
d) Si z = x + iy , entonces |ez | = ex .
128
Teor
a de variable compleja.
e) ez = 0, para todo z C.
f) ez = ez
(ez )1 = ez .
cos2 y + sen2 y = 1.
1
ez
ez
exiy
ex eiy
=
=
=
=
= ex eiy = exiy = ez .
ez
|ez |2
(ex )2
e2x
e2x
g) La parte real u(x, y) = ex cos y y la parte imaginaria v(x, y) = ex sen y de f son de clase
1 en todo punto (x, y) y se verifican las condiciones de [C-R]
D1 u(x, y) = ex cos y = ex cos y = D2 v(x, y)
D2 u(x, y) = ex sen y = ex sen y = D1 v(x, y)
en todo punto. Luego f es derivable en todo punto y
f (z) = D1 u(x, y) + iD1 v(x, y) = ex cos y + iex sen y = ez ,
para todo z C.
Teor
a de variable compleja.
129
eiy1
= ei(y1 y2 ) = cos(y1 y2 ) + i sen(y1 y2 )
eiy2
2
3
ex+i 3
2
3
ex+i
e3+iy
eiy
ex+i
ex
2
3
3
exi
2
3
exi 3
10.3.2
Funciones trigonom
etricas complejas
Definici
on 10.28 Las funciones seno, sen z , y coseno, cos z , complejas se definen para cada
z C por
eiz eiz
eiz + eiz
sen z =
y cos z =
.
2i
2
Proposici
on 10.29 Se verifican las siguientes propiedades:
a) sen2 z + cos2 z = 1, para todo z C.
b) sen(z + w) = sen z cos w + cos z sen w , para todo z, w C.
c) cos(z + w) = cos z cos w sen z sen w , para todo z, w C.
130
Teor
a de variable compleja.
+ k , con k ZZ.
f) Las funciones f (z) = sen z y g(z) = cos z son enteras y f (z) = cos z y g (z) = sen z ,
para todo z C.
g) Para todo z C, sen(z + 2k) = sen z y cos(z + 2k) = cos z , con k ZZ.
Demostracion:
(eiz eiz )2 (eiz + eiz )2
(eiz + eiz )2 (eiz eiz )2
+
=
4
4
4
iz
iz
iz
iz
iz
iz
iz
(e +e )+(e e ) (e +e )(e eiz )
2eiz 2eiz
=
=
= 1.
4
4
sen2 z + cos2 z =
a)
2i
2
2
2i
i(z+w)
i(z+w)
2e
2e
= sen(z + w).
=
4i
c) Analogo a b).
d) sen z = 0 eiz = eiz 2iz = 2ki, con k ZZ, z = k , con k ZZ.
e) cos z = 0 eiz = eiz eiz = ei eiz 2izi = 2ki z =
2 +k .
ieiz + ieiz
eiz + eiz
=
= cos z .
2i
2
ieiz ieiz
eiz + eiz
(cos z) =
=
= sen z .
2
2i
f) (sen z) =
eiz+2ki eiz2ki
eiz eiz
=
= sen(z).
2i
2i
10.3.3
+ k, con k ZZ
2
tg z =
sen z
,
cos z
si z =
cotg z =
cos z
,
sen z
si z = k, con k ZZ.
Funciones hiperb
olicas complejas
Definici
on 10.31 Las funciones seno hiperbolico, sh z , y coseno hiperbolico, ch z , estan definidas
para cada z C por
ez ez
ez + ez
sh z =
y ch z =
.
2
2
Proposici
on 10.32 Las siguientes propiedades relacionan las funciones trigonometricas complejas con las hiperbolicas complejas:
Teor
a de variable compleja.
131
ez ez
2
= sh z ;
cos(iz) =
ez +ez
2
= ch z .
b)
c)
c)
d) sh z = 0 ez = ez 2z = 2ki z = ki.
e) ch z = 0 ez = ez ez = ez+i 2z i = 2ki z = (2k + 1) 2 i.
f) (sh z) =
ez + ez
= ch z ;
2
(ch z) =
ez ez
= sh z .
2
Teor
a de variable compleja.
Definici
on 10.34 Las funciones tangente hiperbolica, th z , y cotangente hiperbolica, coth z ,
complejas se definen por
10.3.4
th z =
sh z
ch z
coth z =
ch z
sh z
Logaritmo complejo
Definici
on 10.35 Sea z un n
umero complejo no nulo. Se dice que un n
umero complejo w es
w
un logaritmo de z , y se escribe w = log z , cuando e = z .
Proposici
on 10.36 Sea z un n
umero complejo no nulo. El n
umero complejo
Log(z) = ln |z| + i Arg(z)
es un logaritmo de z , que se llama logaritmo principal de z . Cualquier otro logaritmo de z
verifica
log(z) = Log(z) + 2ki, con k ZZ.
Demostracion:
Como
eLog z = eln |z| ei Arg(z) = |z|ei Arg(z) = z , Log z es una solucion de la ecuacion
w
e = z y, si w es otra solucion, se tiene ew = eLog z y, por tanto,
w Log z = 2ki, con k ZZ.
Proposici
on 10.37 Sea A0 = {z C : z = x + 0i, x 0}. La funcion Log z es analtica en
1
C A0 y (Log(z)) = para cada z C A0 .
z
Demostracion:
La parte real de Log z es la funcion
u(x, y) = ln |z| = ln
x2 + y 2 =
1
ln(x2 + y 2 )
2
x2
x
;
+ y2
D2 u(x, y) =
x2
y
.
+ y2
y
= 2 arctg
x + |z|
x+
y
x2 + y 2
y 1+
D1 v(x, y) = 2
(x+
1+
x+
y
2
=2
(x +
x2 +y 2 +x
x2 +y 2
x2 + y 2 )2 + y 2
y(
=2
2
2
x +y +x)
x2 +y 2
2 x2 + y 2 (x +
x2 + y 2 )
x2 +y 2
y
y( x2 + y 2 + x)
=
= D2 u(x, y)
2
x + y2
(x2 + y 2 )(x + x2 + y 2 )
Teor
a de variable compleja.
133
D2 v(x, y) = 2
y
x2 +y 2
x2 +y 2 )2
x2 +y 2 y
x+
(x+
1+
x+
x2 +y 2 (x+
=2
x2 +y 2
(x +
2
2
2
x +y +x
x2 +y 2 )y 2
x2 + y 2 )2 + y 2
=2
x2 +y 2
2 x2 + y 2 (x +
x2 + y 2 )
x2 +y 2
x( x2 + y 2 + x)
x
=
= D1 u(x, y).
2
x + y2
(x2 + y 2 )(x + x2 + y 2 )
Por consiguiente, en todo punto del abierto C A0 , se verifican las condiciones [C-R] y las
partes real e imaginaria de Log z tienen derivadas parciales continuas, luego Log z es analtica
en C A0 y
(Log z) = D1 u(x, y) + iD1 v(x, y) =
1
x iy
z
z
= 2 =
= .
2
2
x +y
|z|
zz
z
Observaci
on 10.38 Las propiedades del logaritmo real no se verifican, en general, para el
Log(z). Por ejemplo, 3 Log i = 3( 2 i) = Log(i3 ) = Log(i) = 2 i.
Definici
on 10.39 Dados dos n
umeros complejos z y w , con z = 0, se designa por z w
cualquiera de los n
umeros complejos
ew log z = ew(Log z+2ki) = ew(ln |z|+i Arg(z)+2ki)
y al n
umero complejo
ew Log z = ew(ln |z|+i Arg(z))
se le llama valor principal de z w .
10.4
10.4.1
Sucesiones y series de n
umeros complejos
Definici
on 10.40 Se dice que una sucesion {zn }
umeros complejos tiene por lmite
n=1 de n
z0 , y se escribe lim zn = z0 cuando para cada > 0 existe un n0 IN tal que |zn z0 | < ,
n
para todo n n0 .
El calculo de lmites de sucesiones complejas se reduce al de sucesiones reales gracias al
siguiente resultado:
Proposici
on 10.41 Si zn = xn + iyn y z0 = x0 + iy0 , entonces
lim zn = z0 lim xn = x0
lim yn = y0 .
Demostracion:
Cierto por serlo para funciones, ya que una sucesion es una funcion de IN C.
Definici
on 10.42 Se dice que una serie de n
umeros complejos
n=1
zn es convergente cuando la
wn = z1 + z2 + + zn =
zk
k=1
134
Teor
a de variable compleja.
de la serie
n=1
n=1
zn .
Proposici
on 10.43 Sea {zn }
n=1 , con zn = xn + iyn . Entonces, la serie
n=1
xn y
n=1
n=1
zn converge si, y
zn =
n=1
xn + i
n=1
yn .
n=1
Demostracion:
Basta tener en cuenta que
n
lim wn = lim
zk = lim
k=1
xk + i
k=1
yk = lim
k=1
yk .
k=1
zn es absolutamente con-
|zn | es convergente.
n=1
n=1
n=1
Proposici
on 10.45
k=1
Definici
on 10.44 Se dice que una serie de n
umeros complejos
vergente cuando la serie
xk + i lim
n=1
|xn | y
n=1
|yn | convergen.
Demostracion:
Usando que |xn | |zn | e |yn | |zn | se tiene una implicacion, y usando que |zn | |xn | + |yn |
se tiene la otra.
Proposici
on 10.46 Si
n=1
Demostracion:
|zn | converge =
n=1
serie
n=1
10.4.2
n=1
|xn | y
n=1
|yn | convergen =
n=1
n=1
zn es convergente.
xn y
n=1
yn convergen = la
zn es convergente.
Series de potencias
Definici
on 10.47 Una serie de la forma
n=0
n=0
an z n .
n=0
n=0
135
Demostracion:
Es identica a la demostracion del Lema de Abel para series reales (ver 8.13).
Al verificarse el lema de Abel, el comportamiento de las series de potencias complejas en
modulo es identico al de las series de potencias reales, por lo que podemos asegurar la existencia
del radio de convergencia y de propiedades analogas a las que cumplen las series de potencias
reales:
Definici
on 10.49 Al valor = sup |z| :
n=0
vergencia de la serie.
an z n converge
an z n converge u
nicamente en {0}, diremos que el radio de convergencia es cero, = 0,
n=0
Si
y si
= +.
Si > 0, al entorno E(0, ) lo llamaremos crculo de convergencia de la serie.
Proposici
on 10.50 Si lim
|an+1 |
=
n |an |
|an | = L o lim
de la serie de potencias
n=0
an
Proposici
on 10.51 La serie
en el crculo de convergencia.
+, si L = 0
zn
n=0
1
L,
si L (0, )
0, si L = .
Proposici
on 10.52 Si f (z) =
n=0
Proposici
on 10.53 Si > 0 es el radio de convergencia de la serie de potencias
entonces la serie
n=1
n=1
n=0
n=0
an z n ,
n=0
an z n
an (z z0 )n en E(z0 , ), entonces
a) f es analitica en E(z0 , ).
b) f es infinitamente derivable en E(z0 , ).
c) an =
10.5
f n) (z0 )
,
n!
para n = 0, 1, 2, . . ..
Ejercicios
10.1 Sea f una funcion analtica en una region A (conjunto abierto y conexo). Probar que:
a) Si f (z) = 0 en A, entonces f es constante en A.
b) Si la parte real o la parte imaginaria de f es constante en A, entonces f es constante
en A.
136
Teor
a de variable compleja.
10.5 Ejercicios
n
n
n
cos 2x +
cos 3x + +
cos(n + 1)x = 2n cosn
1
2
n
x
2
cos n+2
2 x.
sen x +
n
n
n
sen 2x +
sen 3x + +
sen(n + 1)x = 2n cosn
1
2
n
x
2
sen n+2
2 x.
sen (n + 1) 2 cos(n 2 )
sen 2
10.10 Probar que de la formula z n = e n (Log z+2ki) , se obtienen las n raices n-esimas de z , al
tomar k = 0, 1, . . . , n 1.
10.11 Hallar los radios de convergencia de las siguientes series de potencias:
a)
in (z + i)n ;
n=0
Teor
a de variable compleja.
b)
n=0
z
1i
c)
n=1
z
Log(in)
d)
n=1
(z2i)n
.
2n
137