71

6. INTRODUCCIN AL CLCULO EN C
6.1. FUNCIONES DE VARIABLE COMPLEJA
Repasemos algunas propiedades del conjunto de los nmeros complejos C ={z=a+ib:a,bR} .
No hay ningn nmero real x tal que x
2
+1=0 . Para que esa ecuacin tenga solucin es necesario
introducir el nmero imaginario i : i
2
=1 . En C estn definidas las operaciones suma y producto:
(a+ib)+(c+id) = (a+c)+i(b+d) , (a+ib)
.
(c+id) = (acbd)+i(ad+bc)
Con estas dos operaciones C es un cuerpo: + y
.
son asociativas y conmutativas, existe la
distributiva, existen elementos neutros ( z+0=z y z.1=z ) e inversos:
z=a+ib z=aib tal que z+(z)=0 , z0 z
1
=
a
a
2
+b
2
i
b
a
2
+b
2
tal que z
.
z
1
=1
Se define la diferencia y cociente de complejos como: zw = z+(w) ,
z
w
= z
.
w
1
si w0 .
[Lo que no se puede, a diferencia de R, es definir un orden en C compatible con las operaciones anteriores].
Dado z=x+iy , el complejo conjugado de z es

z = xiy ; y el mdulo de z es |z| = x

2
+y
2
.
Representando cada nmero complejo z=x+iy como el punto del plano
de coordenadas (x,y), es fcil ver que el complejo suma z+w est en el
vrtice opuesto al origen de un paralelogramo dos de cuyos lados son
los segmentos que unen z y w con O=(0,0) . El conjugado de z es
la reflexin de z respecto del eje real y=0 . El mdulo es la distancia
desde z al origen. La distancia de z a w viene dada por |zw| .
Algunas propiedades de demostracin inmediata son:

|w|
|z-w|
|z|
z=x+iy
z=xiy
-
x
y
z+w
w

z = z ,
____
z+w =

z+

w ,
__
z = (

z) ,
____
z
.
w =

z
.

w ,
__
z
1
= (

z)
1
, |z|
2
= z
.

z , |z
.
w| = |z|
.
|w|
Ms difcil es probar (ver Spivak) que |z+w| |z|+|w| (el significado geomtrico es claro).
Un z se puede escribir utilizando coordenadas polares: z = x+iy = r (cos+isen) , donde r = |z|
y es el ngulo que forma el segmento Oz con el eje x positivo. El no es nico: todos los +2k
nos dan el mismo z . Cualquiera de ellos se llama argumento de z . El argumento principal es el tal
que 0<2 . El se halla utilizando que tan=y/x y mirando el cuadrante en que est el z .
Por ejemplo, para z=2+2i es |z|=2 2 ; como tan=1 y z es del tercer cuadrante, tambin se puede escribir
(con el argumento principal) en la forma z = 2 2 [cos
3
4
+isen
3
4
] ( con otro : z = 2 2 [cos
11
4
+isen
11
4
] ).
Ms adelante justificaremos que si es cualquier real: e
i
= cos+isen (complejo de mdulo 1) .
Esto nos proporciona una forma ms corta de expresar un complejo en polares:
z = r e
i
, donde r = |z| y es un argumento de z .
Las formas polares son muy tiles para efectuar productos y potencias:
Si z = r e
i
, w = s e
i
entonces: z
.
w = r se
i ( +)
=

rs [cos(+)+isen(+)]

,

z
w
=
r
s
e
i ( )
=
r
s
[cos()+isen()] , z
n
= r
n
e
i n
= r
n
(cosn+isenn)
Todo z = r e
i
0 tiene exactamente n races n-simas distintas dadas por

n
z =
n
r e
i
=
n
r (cos +isen ) donde =

n
+
2k
n
, k=0,,n1 .
[las dos primeras son inmediatas; la del z
n
se prueba por induccin, para la raz
basta elevar a n y observar que si k=n,n+1, se repiten los ngulos de antes]
Vemos que las n races estn situadas en los vrtices de un polgono regular.

s
w
z

+
z.w
r.s

r
n
2/n
/n
72
Hagamos una serie de operaciones de repaso de la aritmtica compleja:
Calcular
|
i(2+i)
1
(
____
34i )
|
. Basta hacer uso de las propiedades del mdulo: | | =
| i | | 34i |
| 2+i |
=
1
.
5
5
= 5 .
[Vamos ahora a hacerlo dando un rodeo calculando el complejo que est dentro del mdulo:

i[3+4i]
2+i
=
[3i4][2i]
[2+i][2i]
=
38+6i+4i
5
= 1+2i , cuyo mdulo es, desde luego, 5 ]
Calcular w=(1i)
6
. Directamente: w

= 1+6(i)+15(i)
2
+20(i)
3
+15(i)
4
+6(i)
5
+(i)
6
= 16i15+20i+156i1 = 8i
En polares: r = 2 , tan=1 =
7
4
( es del cuarto cuadrante). As: ( 2 e
7i/4
)
6
= 8e
21i/2
= 8e
i/2
= 8i .
Hallar las races cbicas del nmero complejo z =
7+i
1i
. Podemos hacer: z =
[7+i][1+i]
[1i][1+i]
=
6+8i
2
= 3+4i = 5 e
iarctan(4/3)
En polares: 7+i = 5 2 e
iarctan(1/7)
, 1i = 2 e
i7/4
z = 5e
i[arctan(1/7)+/4]
[las dos expresiones de z coinciden: en prob4 vimos que arctanx+arctany = arctan
x+y
1xy
]
Por tanto,
3
z =
3
5 e
i
donde =
arctan(4/3)
3
+
2k
3
, k=0,1,2
[con calculadora: = arctan(4/3) 0.927 ; 0.309, 2.403, 4.498 ;
volviendo a cartesianas: z 1.63+0.52i, 1.26+1.15i, 0.361.67i ]
5
3

Factorizar el polinomio real x

4
+1 (lo habamos necesitado para hallar la ltima primitiva del captulo anterior).
Las races del polinomio son las cuatro races complejas de 1=1e
i
que son
4
1 e
i
con =

4
,
3
4
,
5
4
,
7
4
.
Es decir, z
1,2
=
2
2
[1i] , z
3,4
=
2
2
[1i] (complejos conjugados dos a dos, como deban; a las mismas races
llegaramos, desde luego, buscando los z tales que z
2
=i , pero el camino sera mucho ms largo). Por tanto:
x
4
+1 = [(xz
1
)(xz
2
)] [(xz
1
)(xz
2
)] = [x
2
(z
1
+z
2
)x+z
1
z
2
] [x
2
(z
3
+z
4
)x+z
3
z
4
] = [x
2
2x+1] [x
2
+ 2x+1]
Hallar las races de la ecuacin z
2
iz1i = 0 . La frmula z =
1
2a
[ b b
2
4ac ] sigue siendo vlida si interpretamos
como una de las races del complejo b
2
4ac (no tiene sentido decir "la raz positiva" de un complejo).
En nuestro caso: z =
1
2
[i 3+4i] . Trabajemos en cartesianas: buscamos z=x+iy tal que z
2
= x
2
y
2
+2xyi = 3+4i .
Debe ser x
2
y
2
=3 y 2xy=4 . Hay dos soluciones reales de este sistema: x=2, y=1 y x=2, y=1 .
[hallando la raz en polares obtendramos 5 e
i
, =
arctan(4/3)
2
+ k , k=0,1 , que deben coincidir con (2+i) ]
Las dos races z buscadas son pues: z =
1
2
[i+(2+i)] = 1+i y z =
1
2
[i(2+i)] = 1 .
Representar en el plano complejo los z que satisfacen |zi|<2 . Si z=x+iy la desigualdad se
convierte en |x+i(y1)|<2 x
2
+(y1)
2
<4 . Los z buscados son los del crculo de
centro (0,1) y radio 2 , sin el borde (claro, los z que distan del complejo i menos que 2).
Expresar cos 3 y sen 3 en trminos de cos y sen utilizando potencias de complejos.

i
1
3
2
cos3 +i sen3 = e
3i
= [e
i
]
3
= [cos+isen]
3
= cos
3
3cos sen
2
+ i [3cos
2
sen sen
3
] . De aqu:
cos3 = 4cos
3
3cos , sen3 = 3sen4sen
3

[saldra utilizando slo propiedades reales de senos y cosenos de sumas, pero tardaramos bastante ms]
Pasemos ya a tratar las funciones de variable compleja. Una funcin f(z) de variable
compleja ser una regla que asigna a cada complejo z de un dominio un nico complejo f(z) .
Como los reales son un tipo particular de nmeros complejos podramos hablar tambin de funciones reales de
variable compleja, si f(z) es real para cada z , o de funciones complejas de variable real (incluso las funciones
reales de variable real vistas hasta ahora se pueden mirar como un tipo particular de funciones complejas).
Por ejemplo f(z) = z
2
, f(z) =

z , f(z) = f(x+iy) = senx+icosy son funciones complejas de variable compleja. Una

funcin compleja de variable real es, por ejemplo, f(x) = x+i si xR . Funciones (importantes) reales de variable
compleja son f(z) = |z| (funcin "valor absoluto") , Re(z) = Re(x+iy) = x , Im(z) = Im(x+iy) = y (funciones "parte real"
y "parte imaginaria", respectivamente) y Arg(z) = , si es el argumento principal de z (funcin "argumento").
Cualquier funcin f de valores complejos puede escribirse en la forma f = u+iv , donde u y v
(parte real y parte imaginaria de f ) son funciones con valores reales (esto no siempre ser til).
Por ejemplo, as podemos expresar: f(z) = z
2
= (x
2
y
2
) + i (2xy) , f(z) =

z = x iy
73
Pintar funciones complejas es mucho ms difcil que las reales. Podramos dibujar flechas entre dos planos complejos, o
bien escribir el valor de f(z) sobre cada z de un plano complejo. Las dos cosas estn hechas abajo para f(z) = z
2
:
i
1 1
i
1
1
i/2
(1+i)/2
i
1 4
4 1
i
i
i
1
4
4
1
4i
0
1
Las definiciones de lmites y continuidad son las de R sustituyendo valores absolutos por mdulos (,R; z,a,LC):
Def:
lm
za
f(z) = L si >0 >0 tal que si z cumple 0<|za|< entonces |f(z)L|< .
f es continua en a si >0 >0 tal que si z cumple |za|< entonces |f(z)f(a)|< .
.
[Si un entorno es B(a,r) = {zC:|za|<r} , que f es continua en a
significa que podemos encontrar un entorno de a de radio lo
suficientemente pequeo de forma que su imagen este contenida en
un entorno de f(a) de cualquier radio , por pequeo que sea ]
radio
radio
f
Teor:
f y g continuas en aC fg , f.g y f/g (si g(a)0 ) son continuas en a .
Si f=u+iv ( u,v reales), entonces f es continua en a u y v son continuas en a .
.
[las demostraciones del , . y / son iguales que las reales, ya que seguimos teniendo la desigualdad triangular;
para la otra: |f(z)f(a)| = |[u(z)u(a)]+i[v(z)v(a)]| es pequeo si y slo si lo son |u(z)u(a)| y |v(z)v(a)| ]
Ejemplos: es fcil ver que f(z)=constante y f(z)=z son continuas en cualquier a (por tanto, tambin lo son cualquier
polinomio y cualquier cociente de polinomios donde el denominador no se anula).
Re(z)=x e Im(z)=y son continuas en todo a por el teorema anterior y porque f(z)=z lo es.
[o directamente: si a=p+iq ; |xp|, |yq| < [xp]
2
+[yq]
2
= |za| < si |za| < = ]
f(z) =

z es continua en todo C pues |

a| = |
___
za | = |za| < si |za| < =
[o por el teorema y el ejemplo anterior: u(z)=x , v(z)=y lo son]
q
p
a
a
-
[como se ver en Clculo II, una funcin de dos variables que sea composicin de funciones continuas ser tambin
continua; as ser fcil asegurar que lo es una funcin como, por ejemplo, f(x+iy) = yarctan(xy)+ixcos(x+y) ]
casi 2
0 0
Hay funciones discontinuas muy sencillas como Arg(z) en cualquier a real positivo. En cualquier
entorno de a hay puntos z en que Arg(z) es casi 2 y por tanto |Arg(z)Arg(a)|=|Arg(z)0|
no se puede hacer tan pequeo como queramos [en los dems a la funcin s es continua]
[si el argumento principal lo hubisemos escogido en (,] conseguiramos que la funcin Arg(z)
fuese continua en el semieje real positivo, pero la discontinuidad se trasladara al negativo]
Def:
f(z) es derivable en aC si existe el lm
z0

f(a+z)f(a)
z
= f'(a)
.
[Definicin como la de R; tambin como all se prueba que "derivable continua" y los resultados para el clculo:

(fg)' =f' g' , (f.g)' =f' g+fg' , (1/g)' =g' /g
2
, (fog)'(a)=f'(g(a)).g'(a)

Con esto sabemos derivar polinomios y funciones racionales (ms adelante tambin podremos derivar
senz , cosz y e
z
, pero por ahora ni siquiera sabemos lo que son estas funciones complejas)].
Hay funciones muy sencillas no derivables como f(z) =

z , pues el lm
z0
f(z)f(0)
z
= lm
(x+iy)0

xiy
x+iy
no existe:
(xiy)/(x+iy) cuando y=0 vale 1 y cuando x=0 vale 1 ; el lmite no puede existir
pues el cociente toma valores 1 y 1 para z tan cercanos como queramos a 0 .
[Sabiendo algo de derivadas parciales: se prueba en anlisis complejo que para que una f=u+iv sea derivable es necesario
que u
x
=v
y
y que u
y
=v
x
(ecuaciones de Cauchy-Riemann). Para f(z)=xiy no se satisfacen, pues u
x
=1 v
y
=1 .
De hecho, la mayora de las funciones definidas en la forma f=u+iv sern no derivables, pues es mucha casualidad que
u y v cualesquiera satisfagan dichas ecuaciones. Comprobemos que s se cumplen para una funcin derivable como:
f(z)=z
2
(de derivada f'(z)=2z ) : u
x
=2x= v
y
, u
y
=2y=v
x
].
74
6.2. SERIES COMPLEJAS DE POTENCIAS
Comencemos con sucesiones {a
n
}C de complejos, o sea, funciones de N en C [ |
.
| mdulo ]:
Def:
{a
n
}L si para todo >0 existe N natural tal que si nN entonces |a
n
L| <
Teor:
Para cualquier entorno de L casi todos los puntos de la sucesin estn dentro:
Sea a
n
=b
n
+ic
n
, con b
n
y c
n
reales y L=p+iq . Entonces
{a
n
}L {b
n
}p y {c
n
}q

p
a
L
b b
a
1
2 1
2

) N tal que si nN |a
n
L|=|(b
n
p)+i(c
n
q)|< (b
n
p)
2
+(c
n
q)
2
<
2

(b
n
p)
2
<
2
| b
n
p|<
(c
n
q)
2
<
2
| c
n
q|<
)

N
1
, nN
1
| b
n
p|</2
N
2
, nN
2
| c
n
q|</2
|a
n
L| |b
n
p| +| i| | c
n
q|< si nN=mx{N
1
,N
2
}
Como en R, una serie de complejos a
n
se dice convergente si lo es su sucesin S
n
de sumas
parciales. Una consecuencia inmediata del teorema anterior es:
Teor:
a
n
=b
n
+ic
n
: a
n
converge b
n
y c
n
convergen y se cumple

n=1

a
n
=

n=1

b
n
+ i

n=1

c
n
a
n
es absolutamente convergente si lo hace la serie real |a
n
| . A esta serie de los mdulos se le
pueden aplicar todos los criterios de convergencia de series reales conocidos. Se tiene tambin que:
Teor:
a
n
absolutamente converge a
n
convergente
Si a
n
=b
n
+ic
n
, |a
n
|
2
=|b
n
|
2
+|c
n
|
2
|b
n
|, |c
n
| |a
n
| ; |a
n
| conv |b
n
| y |c
n
| conv b
n
y c
n
conv
Ejemplos: a
n
= sen
1
n
+i (2+
1
n
)
n
diverge, pues b
n
= sen
1
n
0 pero c
n
= (2+
1
n
)
n

.
a
n
= (
1
2
+
i
2
)
n
; |a
n
| = 2
n/2
0 a
n
0 [esto es intuitivamente claro y fcil de formalizar]

(
1
2
+
i
2
)
n
converge pues |a
n
| = (
1
2
)
n
es serie geomtrica convergente
[como en R se ve que: a
n
convergente a
n
0; esto es otra prueba de que la ltima {a
n
} converge]

i
n
n
no converge absolutamente (

1
n
div), pero s converge:

i
n
n
= i
1
2

i
3
+
1
4
+
i
5

1
6
+ =
=
1
2
(1
1
2
+
1
3
) + i (1
1
3
+
1
5
) convergentes ambas por Leibniz.
Veamos ya las series de potencias complejas f(z)=

n=0

a
n
z
n
=a
0
+a
1
z+a
2
z
2
+ , a
n
,zC
Se tienen resultados anlogos a los de R con demostraciones (que no hacemos) calcadas de las de all:
Teor:
A cada serie de potencias est asociado un nmero positivo R, llamado radio de convergencia
de la serie, que tiene las siguientes propiedades:
si R=0 , la serie slo converge si z=0 ; si R= , la serie converge para todo z ;
si R es un nmero real positivo, la serie converge para |z|<R y diverge para |z|>R .
.
Aqu el intervalo de convergencia se ha convertido en el crculo de convergencia |z|<R.
Sobre la circunferencia |z|=R no se puede asegurar nada. Como en los reales habr
series que convergen en toda ella, otras en puntos aislados, otras en ninguno
El clculo del R se puede hacer utilizando el criterio del cociente: R = lm
n

|a
n
|
| a
n+1
|

converge
diverge
?
?
?
Estas series se pueden sumar, multiplicar, dividir, igual que las reales y se tiene el mismo resultado sobre derivacin:
Teor:
Sea f(z) =

n=0

a
n
z
n
para |z|<R . Entonces f es derivable para |z|<R y f'(z) =

n=1

na
n
z
n-1
75
Como consecuencia las funciones definidas por series de potencias vuelven a ser infinitamente derivables (y por
tanto tambin continuas) dentro del crculo de convergencia. Un resultado importante y sorprendente, que desde luego no
es cierto en los reales, y que se prueba con tcnicas ms avanzadas de clculo complejo es:
Teor: Una funcin f(z) derivable en una regin A del plano es infinitamente derivable en A .
Adems, en todo crculo contenido en A la funcin f(z) coincide con su serie de Taylor.
Definimos tres nuevas funciones complejas, que hasta ahora no tenan sentido:
Def:
e
z
=

n=0

z
n
n!
, senz=

n=0

(1)
n
z
2n+1
(2n+1)!
, cosz=

n=0

(1)
n
z
2n
(2n)!
zC
A
El R de las tres series es . Estas funciones tienen propiedades (fciles de probar) esperadas como:
(senz)'=cosz, (cosz)'=senz, sen(z)=senz, cos(z)=cosz, (e
z
)
'
=e
z
, e
z
=1/e
z
, e
z+w
=e
z
e
w
,
Adems de otras nuevas como:

e
iz

= 1+iz
z
2
2!

iz
3
3!
+
z
4
4!
+
iz
5
5!
= (1
z
2
2!
+
z
4
4!
) + i (z
z
3
3!
+
z
5
5!
) =

cosz+isenz

[se pueden reordenar las series que convergen absolutamente y esta lo hace para todo z ]
[si z=y real obtenemos la prometida relacin que nos permiti abreviar la forma polar: e
iy
=cosy+iseny ]
[no es necesario sumar series para calcular las exponenciales de complejos: e
x+i y
=e
x
e
i y
=e
x
(cosy+iseny) ]
Mas relaciones: e
iz
= coszisenz , senz =
1
2i
[e
iz
e
iz
] , cosz =
1
2
[e
iz
+e
iz
] .
[Con ellas, por ejemplo, sen(+i) =
1
2i
[e
i(+i)
e
i(+i)
] =
i
2
[e
1
e
i
e
1
e
i
] =
i
2
[e
1
e
1
] ( =seni ) ].
[Las funciones complejas senz y cosz no estn acotadas. En el eje imaginario, por ejemplo:
sen(iy) =
1
2i
[e
y
e
y
] = ishy , cos(iy) =
1
2
[e
y
+e
y
] = chy ;
otro resultado clsico es que las nicas funciones acotadas y analticas en todo el plano son las constantes].
Lo visto para series complejas permite explicar situaciones sorprendentes de las funciones reales. Por qu si tanto e
x
como 1/(1+x
2
) son C

(R) , la serie de la primera converge x mientras la de la segunda slo lo hace en (1,1) ?

Pues porque la serie 1z
2
+z
4
de 1/(1+z
2
) ha de definir una funcin continua y en z=i esta funcin no lo es
[esto sucede en general para todo cociente de polinomios complejos (reales, en particular): el radio R de su serie es la
distancia al cero ms prximo del denominador (en |z|<R es derivable y, por tanto, analtica)]. Tambin entendemos el
extrao comportamiento de la funcin f(x)=e
1/x
2
, f(0)=0 que tiene infinitas derivadas pero slo coincide con su serie
de Taylor en x=0 : como f(iy)=e
1/y
2
, si y0 , la funcin compleja no es siquiera continua en z=0 .
Ejemplos: Estudiemos donde converge:

z
n
n
.
|a
n
|
| a
n+1
|
=
n+1
n
1=R .
Converge en el crculo |z|<1 y diverge en |z|>1 . Qu pasa en |z|=1 ? No converge
absolutamente en esa circunferencia, pero podra converger en algunos z de ella.
Por ejemplo, si z=1 , la serie

[1]
n
n
converge por Leibniz; si z=1 ,

1
n
diverge;
si z=i converge, pues

i
n
n
=

[1]
n
2n
+ i

[1]
n
2n+1
y convergen ambas (Leibniz).
CONV
DIV
CONV
DIV
i
1 1
CONV
Desarrollemos en serie f(z) =
1
z
2
+4
. Que

n=0

z
n
converge |z|<1 y que su suma es
1
1z
se prueba como en R.
As, f(z) =
1
4

1
1[z
2
/4]
=

n=0

(1)
n
z
2n
4
n+1
, |z
2
/ 4| <1 |z|<2 (distancia de los ceros complejos al origen).
[obsrvese que la serie no converge en ningn punto de la circunferencia |z|=2 pues para cualquier z con
ese mdulo nos queda una serie cuyo trmino general no tiende a 0 pues tiene mdulo constante 1/4 ] .
Podemos desarrollarla tambin (dando rodeos) de otras formas. Descomponiendo en fracciones simples complejas:
1
z
2
+4
=
1
4i
[
1
z2i

1
z+2i
] =
1
8
[
1
1z/ 2i
+
1
1+z/2i
] =
1
8

n=0

[
z
n
(2i)
n
+
(z)
n
(2i)
n
] =
1
8

n=0

2z
2n
2
2n
i
2n
=

n=0

(1)
n
z
2n
4
n+1
Dividiendo (pues las manipulaciones con series complejas, como dijimos, son las mismas que con las reales):
[4+z
2
][a
0
+a
1
z+a
2
z
2
+] = 1 4a
0
=1 , a
0
=
1
4
; 4a
1
=0 , a
1
=0 ; 4a
2
+a
0
=0 , a
2
=
1
16
,