Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
N
umeros complejos
Al n
umero real a se le denomina parte real de z y se simboliza por a = Re(z). Al n
umero real b se le
llama parte imaginaria de z y se representa por b = Im(z).
Igual que representamos a todo n
umero real en la recta por medio de un punto, de la misma
forma podemos pensar que un n
umero complejo es un punto del plano. Los puntos del eje OX se
identifican con los n
umeros reales z = a = a + i0 = (a, 0), y los del eje OY z = ib = 0 + ib = (0, b) se
denominan imaginarios puros.
Dos n
umeros complejos seran iguales cuando lo sean sus partes reales e imaginarias, respectivamente. Es decir
z1 = a + ib = z2 = c + id a = c , b = d.
Suma: z1 = a + bi y z2 = c + di:
z1 + z2 = (a + ib) + (c + id) = (a + c) + i(b + d).
1
Este producto permite definir el cociente a partir del inverso. Sea z = a + ib 6= 0. Entonces
b
1
a
i 2
.
= 2
2
z
a +b
a + b2
Es facil comprobar que z
1
= 1. Luego, si z2 6= 0:
z
1
z1
= z1 .
z2
z2
Conjugado: Dado z = a + ib, se define su conjugado z = a ib, que determina el punto del plano
simetrico a z respecto al eje OX. Se verifica:
z z = a2 + b2 , z1 z2 = z1 z2 , z1 z2 = z1 z2 ,
z1
z2
z1
,
z2
Re(z) =
z+z
,
2
Im(z) =
zz
.
2i
Forma Polar: Todo punto del plano tiene asociadas unas coordenadas polares (r, ) que lo determinan. Dado z = a + ib, se tiene
(
a = r cos
b = r sen
r = a2 + b2 = |z|
= arctg
b
a
= arg(z)
2 4 .
|z1 |
|z2 |
(z2 6= 0);
arg(z1 )arg(z2 )
1
=
z
1
|z|
.
arg(z)
(Formula de De Moivre).
Races de un complejo:
n
z=
q
n
|z|
(k = 0, 1, 2, ..., n 1).
arg(z)+2k
n
Funciones analticas
donde
u(x, y) = Re f (z), v(x, y) = Im f (z).
Ejemplo: f (z) = z 2 = (x + iy)2 = x2 y 2 + i2xy, luego Re f (z) = u(x, y) = x2 y 2 e Im f (z) =
v(x, y) = 2xy.
Podemos entender una funcion de variable compleja como una aplicacion de R2 en R2 , por lo
que el concepto de lmite funcional queda recogido del caso real:
lim f (z) = w0 > 0, > 0 : |z z0 | < |f (z) w0 | < .
zz0
lim f (z) = w0
zz0
lim
u(x, y) = a
lim
v(x, y) = b.
(x,y)(x0 ,y0 )
(x,y)(x0 ,y0 )
Propiedades:
Si existe lim f (z), entonces es u
nico.
zz0
zz0
zz0
zz0
lim
zz0
zz0
lim f (z)
f (z)
zz0
=
, siempre que lim g(z) 6= 0.
zz0
g(z)
lim g(z)
zz0
Ejemplos:
1. lim (z 2 + c) =
zz0
2. lim z =
zz0
lim
(x,y)(x0 ,y0 )
lim
(x,y)(x0 ,y0 )
x + iy = x0 iy0 = z0 .
z2
x2 y 2 2ixy
(x2 y 2 2ixy)(x iy)
=
lim
=
lim
. El calculo se comzz0 z
x + iy
x2 + y 2
(x,y)(x0 ,y0 )
(x,y)(x
0 ,y0 )
z2
|z|2
= |z| y que el u
nico n
umero complejo
plica. Sin embargo si tenemos en cuenta que =
z
|z|
z2
que tiene modulo cero es z = 0, podemos concluir que lim
= 0.
zz0 z
3. lim
zz0
2. existe f (z0 );
3. lim f (z) = f (z0 ).
zz0
2.1
Derivaci
on
z0
f (z0 + z) f (z0 )
z
(z = z z0 ).
Ejemplos:
f (z) = z 2 ;
(z + z)2 z 2
= lim (2z + z) = 2z.
z0
z0
z
f 0 (z) = lim
f (z) = |z|2 ;
(z + z)(z + z) zz
|z + z|2 |z|2
= lim
=
z0
z0
z
z
f 0 (z) = lim
"
zz + zz + zz + zz zz
z
=
= lim z + z
+ z ,
z0
z
z
por lo que si z = 0 es claro que f 0 (0) = 0. Sin embargo, si z 6= 0 podemos comprobar la no
z
derivabilidad de f , dado que el lmite del cociente
no existe:
z
z = x :
z
= 1,
z
z
=
z
z = iy :
z
= 1.
z
Proposici
on 1 Si f (z) es derivable en z0 , entonces es continua en z0 .
Demostracion:
zz0
zz0
f (z) f (z0 )
f (z) f (z0 )
(z z0 ) = lim
zz0
z z0
z z0
lim (z z0 ) = f 0 (z0 ) 0 = 0.
zz0
Reglas de derivaci
on
d
C = 0, (C C);
dz
d
df
dg
3)
[f (z) g(z)] =
(z) (z);
dz
dz
dz
1)
5)
dz n
= nz n1 (z 6= 0 si n < 0);
dz
d
4)
[f (z) g(z)] = f 0 (z) g(z) + f (z) g 0 (z);
dz
2)
(1 + z 2 )4
.
z2
Ecuaciones de Cauchy-Riemann
Anteriormente se comprobo que la funcion f (z) = |z|2 solo admite derivada en z = 0. Por otro
lado f (z) = |z|2 = x2 + y 2 , luego u(x, y) = Re f = x2 + y 2 y v(x, y) = Im f = 0 son funciones
infinitamente diferenciables. Una primera conclusion es que el buen comportamiento de la parte real
e imaginaria de una funcion compleja no basta para su derivabilidad.
Obtendremos una pareja de ecuaciones que han de satisfacer en un punto las derivadas parciales
de primer orden de las partes real e imaginaria de una funcion f (z) que admita derivada en dicho
punto. Supongamos que existe f 0 (z0 ):
f (z0 + z) f (z0 )
.
z0
z
f 0 (z0 ) = lim
f (z0 + z) f (z0 )
Re[f (z0 )] =
lim
Re
,
z
(x,y)(0,0)
0
Im[f 0 (z0 )] =
lim
(x,y)(0,0)
Im
f (z0 + z) f (z0 )
.
z
Ademas,
u(x0 + x, y0 + y) u(x0 , y0 ) + i [v(x0 + x, y0 + y) v(x, y0 )]
f (z0 + z) f (z0 )
=
.
z
x + iy
Que f 0 (z0 ) exista implica que para cualquier eleccion de z 0 el lmite existe, y es el mismo.
Entonces, si tomamos z = x
u(x0 + x, y0 ) u(x0 , y0 )
= ux (x0 , y0 ),
x0
x
v(x0 + x, y0 ) v(x0 , y0 )
= vx (x0 , y0 ),
y0
x
(Ecuaciones de Cauchy-Riemann).
6
vx (x, y) = 2y,
vy (x, y) = 2x.
Las funciones ux , uy , vx , vy son continuas en todo R2 . Ademas, para todo punto (x, y) se
verifica que ux (x, y) = vy (x, y) y que uy (x, y) = vx (x, y). Por tanto existe f 0 (z) para todo
z C y su valor es
f 0 (z) = ux (x, y) + ivx (x, y) = 2x + i2y = 2(x + iy) = 2z.
f (z) = z z = |z|2 = x2 + y 2 .
u(x, y) = x2 + y 2 , ux (x, y) = 2x, uy (x, y) = 2y,
v(x, y) = 0,
vx (x, y) = 0,
vy (x, y) = 0.
Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo solo se verifican las ecuaciones
de Cauchy-Riemann para (x, y) = (0, 0). Por tanto no existe f 0 (z) para z 6= 0, mientras que
f 0 (0) = 0.
1
f (z) = x2 + ixy.
2
1
u(x, y) = x2 , ux (x, y) = x, uy (x, y) = 0,
2
v(x, y) = xy,
vx (x, y) = y,
7
vy (x, y) = x.
Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo para que se verifiquen las
ecuaciones de Cauchy-Riemann, hemos de exigir que y = 0. Por tanto solo existe f 0 (z) para
z = x + i0 y f 0 (x + i0) = x + i0.
1
f (z) = xy + i y 2 .
2
u(x, y) = xy,
ux (x, y) = y, uy (x, y) = x,
v(x, y) = 21 y 2 , vx (x, y) = 0,
vy (x, y) = y.
Las funciones ux , uy , vx , vy son continuas en todo R2 , sin embargo en este caso para que se
verifiquen las ecuaciones de Cauchy-Riemann, hemos de exigir que x = 0. Por tanto solo existe
f 0 (z) para z = iy, y f 0 (iy) = y.
2.2
Funciones Analticas
f (z)
es holomorfa en z0 siempre que g(z0 ) 6= 0.
g(z)
Definici
on 2.3 Si f (z) es analtica en una bola B(z0 , r) centrada en z0 salvo en el propio z0 , diremos
que z0 es una singularidad (aislada) de f (z).
Ejemplo: f (z) =
1
z
1
.
z2
3.1
Exponencial
Buscamos definir la extension compleja ez de ex , que conserve todas sus propiedades. Esencialmente
nos interesan dos:
1. ez debe coincidir con ex si z = x + i0 R.
2. ez deber ser entera y f 0 (z) = ez al igual que ex en R.
Para lograr nuestro objetivo, definimos:
f (z) = ez = ex+iy = ex eiy = ex (cos y + i sen y) = ex cos y + i ex sen y.
Claramente se verifica 1. La analiticidad es facil de comprobar con las ecuaciones de Cauchy-Riemann:
u(x, y) = ex cos y, ux (x, y) = ex cos y, uy (x, y) = ex sen y,
v(x, y) = ex sen y, vx (x, y) = ex sen y, vy (x, y) = ex cos y,
de donde ux = vy y uy = vx para todo (x, y). Ademas f 0 (z) = ux (x, y) + ivx (x, y) = ex cos y +
i ex sen y = ez .
Propiedades:
ez1 ez2 = ez1 +z2 ;
(ez )m = emz ;
ez1
= ez1 z2 ;
ez2
3.2
Funciones trigonom
etricas
En base a la formula de Euler sabemos que ei = cos + i sen y ei = cos i sen . Por lo que
podemos escribir
cos =
ei + ei
,
2
sen =
ei ei
.
2i
Definimos de esta forma el seno y el coseno, en el campo real, a partir de la exponencial compleja.
Podemos por tanto extender de esta forma la definicion de seno y coseno de un n
umero complejo por
cos z =
eiz + eiz
,
2
sen z =
eiz eiz
.
2i
A partir de estas definiciones se introducen el resto de las funciones trigonometricas de la forma usual:
tg z =
sen z
1
1
1
, sec z =
, cosec z =
, cotg z =
.
cos z
cos z
sen z
tg z
Propiedades:
sen z y cos z coinciden con sen x y cos x para z = x + i0 R.
sen z y cos z son holomorfas en todo C, o lo que es lo mismo, son funciones enteras.
d
d
(sen z) = cos z y
(cos z) = sen z.
dz
dz
sen2 z + cos2 z = 1.
sen(z1 z2 ) = sen z1 cos z2 cos z1 sen z2 .
cos(z1 z2 ) = cos z1 cos z2 sen z1 sen z2 .
sen z = sen x cosh y + i cos x senh y.
cos z = cos x cosh y i sen x senh y.
d
(tg z) = sec2 z.
dz
Por u
ltimo comentaremos que, a diferencia de lo que ocurre en R, las funciones seno y coseno no estan
acotadas (piensese en el valor de cos(ib), b R).
10
3.3
Logaritmo
La idea es definir la funcion inversa de ez , esto es, debe verificarse que elog z = z. Si log z = u(x, y) +
iv(x, y), entonces
z = elog z = eu(x,y) eiv(x,y) = |z|eiarg(z) ,
luego u(x, y) = log |z| y v(x, y) = arg(z) + 2k, con k Z. Por lo tanto, definimos el logaritmo de un
n
umero complejo como
log z = log |z| + i[arg(z) + 2k]
(k Z).
3
3
; b) log(1 i) = log 2 + i
+ 2k ;
2+i
4
4
c) Log(10) = log 10 + i.
a) Log(1 i) = log
Propiedades:
log(z1 z2 ) = log z1 log z2 ;
log z n = n log z;
z1
log
z2
3.4
= log z1 log z2 ;
d
1
(log z) = en C (, 0].
dz
z
Potencias complejas
Ejemplo:
(1 + i)2i = e2i[log(1+i)] = e2i[log
2+i( 4 +2k)]
Integraci
on
Definici
on 4.1 Una curva C del plano complejo es un conjunto de puntos z = x + iy determinados
por una ecuaci
on
z(t) = x(t) + iy(t),
atb
t [0, 2];
t [0, ].
La curva C : u(t) = z(t), t [b, a] denota la misma curva que C : z(t), t [a, b], pero
recorrida en sentido inverso.
Si z(a) = z(b) se dice que C es una curva cerrada. Si z(t) no se corta a s misma, se dice que
C es una curva de Jordan.
La derivada z 0 (t) se define por z 0 (t) = x0 (t) + iy 0 (t) con t [a, b], donde z 0 (a) y z 0 (b) denotan las
derivadas laterales por la izquierda y por la derecha en a y b respectivamente. As dz = dx + idy =
x0 (t)dt + iy 0 (t)dt.
Las integrales de las funciones de una variable compleja se definen sobre curvas en el plano
complejo.
12
Definici
on 4.2 Sea C : z(t) = x(t) + iy(t),
funci
on continua a trozos en C. Se define la integral de f (z) a lo largo de C como
Z
C
f (z)dz =
Z b
a
f [z(t)] z 0 (t)dt
Z
C
f (z)dz =
Z b
a
(u + iv)(dx + idy) =
Ejemplos:
Z
I=
I=
zdz =
z(t)z 0 (t)dt =
t [0, ].
"
t2 1
sen2 t
[(t sen t cos t) + i(t cos t + sen t)] dt =
2
2
+ i [t sen t]0 =
0
2
2
+ i0 =
.
2
2
I=
Z
2
I=
+i
Z 1h
0
z dz =
Z 1h
Z 1
3 5
t + t3 t
5
t (t + 1) i2t(t + 1) (1 + i2t)dt =
"
i2
0
I=
z 2 dz, C : z(t) =
t6 t4
+ + t2
6
4
t + i,
#1
=
0
1 + it,
C1
z 2 dz =
C2
Luego
z 2 dz =
Z 2
1
Z 1
0
3
10
i .
5
3
1 t 2 : C2 .
Z
Z 1
0 t < 1 : C1
I=
Z
Z 1h
z 2 dz =
(t2 1 i2t)dt =
C1
Z 1
(1 t2 i2t)idt =
C2
z 2 dz.
(t2 1)dt 2i
Z 2
z 2 dz +
2tdt + i
Z 2
1
Z 1
0
tdt =
4
(1 t2 )dt = 3 i .
3
4
7
7
2
+i +3i = i .
I=
z dz =
3
3
3
3
C
2
13
2
+i ,
3
Propiedades:
Z
1.
C=C1 +C2
f (z)dz =
2.
3.
4.1
f (z)dz.
C2
f (z)dz.
kf (z)dz = k
4.
C1
f (z)dz =
f (z)dz +
f (z)dz
[f (z) g(z)]dz =
(k C).
Z
Z
C
f (z)dz
g(z)dz.
Teorema de Cauchy
f (z)dz = 0.
Demostracion:
La demostracion de este resultado se basa en la definicion de integral a lo largo de una curva utilizando
la aproximacion por integrales sobre polinomios. No obstante la idea primera que llevo a deducir este
teorema es mas sencilla aunque sobre funciones analticas con derivada continua. Posteriormente se
demostro que esta condicion no era necesaria.
Si f (z) = u(x, y) + iv(x, y) es continua en la region R encerrada por la curva C, as como su
derivada f 0 (z), tenemos entonces que u(x, y) y v(x, y) son funciones continuas en R con derivadas
parciales continuas. Entonces en base al teorema de Green:
Z
C
f (z)dz =
(udx vdy) + i
Z Z
(vdx + udy) =
Z Z
(vx uy )dxdy + i
(ux vy )dxdy.
Pero por las ecuaciones de Cauchy-Riemann, ux = vy y uy = vx , con lo que las dos integrales dobles
son cero.
Este teorema reduce ampliamente la resolucion de integrales sobre contornos cerrados, ya que
nos lleva a considerar solo aquellas funciones que no son analticas.
Ejemplos:
Comprobar el teorema de Cauchy para f (z) = z n , con C : z() = rei ,
14
[0, 2].
1
y la misma curva del ejemplo anterior, no es aplicable el teorema
z
de Cauchy.
4.2
La f
ormula integral de Cauchy y su generalizaci
on
1
f (z0 ) =
2i
f (z)
dz,
z z0
cos z
dz, siendo C el borde del triangulo de vertices 0 + 0i, 2 + 2i y 2 2i. Como
z
1
C
f (z) = cos z verifica las condiciones del teorema, tenemos I = 2if (1) = 2i cos 1. Por otro
Z
cos z
dz, pues el punto
lado, no podemos aplicar la formula de Cauchy a la integral I =
C z+1
z = 1 no esta en el recinto encerrado por C. Sin embargo, por el teorema de Cauchy sabemos
I =
que esta u
ltima integral es cero.
Z
I=
cos z
dz, siendo C : |z 2i| = 2.
z2 + 1
Z
I=
Z
I=
z
C
(9
z 2 )(z
+ i)
Z
C
cos z
z+i
zi
dz = 2i
cos i
= cosh 1.
i+i
I=
cos z
dz =
z2 + 1
z
dz =
2
(9 z )(z + i)
Z
C
z
9z 2
z+i
dz = 2i
= .
2
9 (i)
5
La formula integral de Cauchy permite obtener propiedades de las derivadas de f (z), basandonos
en las reglas de derivacion bajo el signo integral.
Teorema 4.3 Si una funci
on es analtica en una regi
on R, entonces admite derivadas de todos los
n!
2i
Z
C
f (z)
dz
(z z0 )n+1
n = 0, 1, 2, ...
dz
, siendo C una curva cerrada de Jordan que rodea a z0 . Si tomamos f (z) = 1,
C z z0
Z
dz
concluimos que I = 2i 1 = 2i. Por otro lado
= 0, ya que f (n) (z) = 0 para
n+1
C (z z0 )
n = 1, 2, 3, ....
I =
I=
z 3 + 2z + 1
dz, siendo C : |z| = 2.
(z 1)3
Z
I=
Z
I=
cos z
dz, siendo C : |z 4| = 2.
(z 1)3 (z 5)2
cos z
dz =
(z 1)3 (z 5)2
I=
i
z 3 + 2z + 1
d2 h 3
2i
dz
=
z
+
2z
+
1
(1)
= 6i.
3
2
(z 1)
dz
2!
cos z
(z1)3
2i d
64 sen 5 48 cos 5
cos z
(5) = 2i
.
dz =
2
3
(z 5)
1! dz (z 1)
46
El recproco del teorema de Cauchy tambien es cierto, y se conoce como teorema de Morera.
Teorema 4.4 Si f (z) es continua en una regi
on R y para toda curva de Jordan cerrada C contenida
en R se tiene que
Z
C
f (z)dz = 0,
Teorema 5.1 Sea f (z) analtica en el disco D : |z z0 | < R. Si z D, f (z) puede representarse
por un desarrollo en serie de potencias
f (z) =
cn (z z0 )n = c0 + c1 (z z0 ) + c2 (z z0 )2 ....
n=0
16
cn =
X
zn
n=0
n!
z C.
(1)n
n=0
Analogamente,
cos z =
(1)n
n=0
La funcion f (z) =
1
1z
z 2n+1
,
(2n + 1)!
z 2n
,
(2n)!
z C.
z C.
X
1
=
zn = 1 + z + z2 + z3 + . . . ,
1 z n=0
|z| < 1.
1 + 2z 2
.
1 + z2
Desarrollos de Laurent
Definici
on 6.1 El desarrollo en serie de Laurent de una funci
on f (z) viene dado por
f (z) =
cn (z z0 )n = .... + c2 (z z0 )2 + c1 (z z0 )1 + c0 + c1 (z z0 ) + ....
n=
17
Se pueden obtener ejemplos de desarrollos de Laurent haciendo simples manipulaciones de desarrollos conocidos de Taylor. Por ejemplo:
eu = 1 + u +
u2 u3
+
+ ....
2!
3!
e z1 = 1 + (z 1)1 +
(z 1)2 (z 1)3
+
+ ....
2!
3!
z 6= 1.
Este ejemplo representa un desarrollo de Laurent sin potencias positivas de (z 1). Si multiplicamos
el desarrollo anterior por (z 1)2 , nos queda
1
(z 1)2 e z1 = .... +
(z 1)1
1
+ + (z 1) + (z 1)2
3!
2!
z 6= 1,
f (z) =
cn (z z0 )n = .... + c2 (z z0 )2 + c1 (z z0 )1 + c0 + c1 (z z0 ) + c2 (z z0 )2 + ....
n=
Z
C
f (z)
dz,
(z z0 )n+1
siendo C cualquier curva cerrada contenida en D y que rodee a la circunferencia interior |z z0 | < r1 .
La serie es uniformemente convergente en cualquier regi
on anular centrada en z0 y contenida en D.
Ejemplo:
Hallar el desarrollo de Laurent de f (z) =
1
en potencias de z 1. Establecer el dominio de
z3
convergencia. Tenemos
1
= 1 + w + w2 + w3 + ....,
1w
Por otro lado, si
|w| < 1.
1
1
1
=
= z12 ,
z3
(z 1) 2
1 z1
2
, se llega a
z1
1
2
4
1
=
1+
+
+ .... = (z 1)1 + 2(z 1)2 + 4(z 1)3 + ....
z3
z1
z 1 (z 1)2
y si tomamos w =
18
Residuos y su aplicaci
on en integraci
on
Definici
on 7.1 Sea f (z) analtica sobre una curva cerrada de Jordan C y sobre los puntos interiores
a esta salvo en z = z0 . Entonces el residuo de f (z) en z0 , escrito como Res[f (z), z0 ], se define como
el n
umero complejo
1
Res[f (z), z0 ] =
2i
Z
C
f (z)dz.
7.1
Z
C
Singularidades aisladas
Clasificamos las singularidades aisladas (de ahora en adelante denominadas simplemente singularidades) de una funcion f (z) en tres tipos: polo, singularidad esencial y singularidad evitable.
Definici
on 7.2 Si f (z) posee una singularidad en z0 , decimos que z0 es un polo de orden N si
lim (z z0 )N f (z) = c
zz0
(c 6= 0, c 6= ).
1
tiene en z = 0 un polo de orden 1 y en z = 1 un polo de orden
z(z 1)2
2.
Definici
on 7.3 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad evitable si
lim f (z) = c
zz0
(c 6= ).
sen z
sen z
posee una singularidad evitable en z = 0, pues lim
= 1.
z0 z
z
Definici
on 7.4 Si f (z) posee una singularidad en z0 , decimos que z0 es una singularidad esencial si
no es un polo o evitable.
19
1
posee una singularidad esencial en z = 0.
z
Definici
on 7.5 Sea z0 punto singular de f (z) y
z0 . Llamamos parte principal del desarrollo a la constituida por los sumandos con potencias negativas
de z z0 , es decir .... + ck (z z0 )k + ck+1 (z z0 )k+1 + .... + c2 (z z0 )2 + c1 (z z0 )1 .
Esta definicion nos permite dar una caracterizacion de los distintos tipos de puntos singulares:
Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal cuya mayor
potencia negativa de z z0 es N , z0 es un polo de orden N .
Ejemplo: f (z) =
1
z(z 1)2
f (z) = z 1 + 2 + 3z + 4z 2 + ....
0 < z < 1.
0 < |z 1| < 1.
sen z
z
f (z) = 1
z2 z4
+
+ ....
3!
5!
Si el desarrollo de Laurent de f (z) en la singularidad z0 posee una parte principal con infinitas
potencias negativas de z z0 , z0 es una singularidad esencial.
Ejemplo: f (z) = sen
1
z
f (z) = z 1
z 3 z 5
+
+ ....
3!
5!
z 6= 0.
C
alculo de residuos en polos
Si f (z) tiene un polo de orden N en z0 , entonces
Res[f (z), z0 ] = lim
zz0
El residuo de f (z) =
i
1
dN 1 h
N
(z
z
)
f
(z)
.
0
(N 1)! dz N 1
g(z)
en un polo simple z0 , donde g(z0 ) 6= 0 y h(z0 ) = 0, viene dado por
h(z)
Res[f (z), z0 ] =
20
g(z0 )
.
h0 (z0 )
ez
en todos sus polos. En primer lugar, reescribimos
z 2 (z 2 + 1)
la funcion como
f (z) =
ez
,
z 2 (z + i)(z i)
lo que nos muestra que posee polos simples en z = i y un polo de orden dos en z = 0.
Res[f (z), i] = lim(z i)
zi
ez
ei
=
.
z 2 (z + i)(z i)
2i
Para calcular el residuo en z = i podramos usar la misma regla, pero para ilustrar otra lo aborez
daremos como sigue: tomemos g(z) = 2 , la cual verifica que g(i) 6= 0, y h(z) = z 2 + 1, con lo que
z
h0 (z) = 2z. Entonces:
" ez #
ei
2
Res[f (z), i] = z
=
.
2z z=i
2i
Por u
ltimo:
ez
ez (z 2 + 1) 2zez
d
z2 2 2
= lim
= 1.
z0
z0 dz
z (z + 1)
(z 2 + 1)2
7.2
Aplicaciones al c
alculo integral
Evaluaci
on de integrales complejas
Z
cos z
cos z
dz siendo C : |z 4| = 4. La funcion f (z) =
es
3 (z 5)2
3 (z 5)2
(z
1)
(z
1)
C
holomorfa en C, excepto en z = 1 (polo triple) y z = 5 (polo doble). Calculemos sus residuos:
I =
i
1 d2 h
1 21 cos 1 + 8 sen 1
3
,
(z
1)
f
(z)
=
2
z1 2 dz
2
256
i
d h
3 cos 5 + 4 sen 5
Res[f (z), 5] = lim
.
(z 5)2 f (z) =
z5 dz
256
Por lo tanto
I = 2i {Res[f (z), 1] + Res[f (z), 5]} .
Evaluaci
on de integrales reales
Las integrales definidas reales de la forma
Z 2
0
dz
z z 1
z + z 1
, sen =
, cos =
.
iz
2i
2
Ejemplo:
Z 2
dz
iz
zz 1
2i
2dz
.
+ 4iz 1
0
|z|=1
|z|=1 2 +
Los polos del integrando son los ceros de z 2 + 4iz 1, que son z1 = i(2 + 3) y z2 = i(2 + 3).
I=
1
d =
2 + sen
z2
El punto z2 esta fuera del crculo unidad, luego la funcion integrando posee un u
nico polo simple, z1 ,
dentro de la region encerrada por |z| = 1. Entonces:
2
2
I = 2iRes 2
, i(2 + 3) = .
z + 4iz 1
3
Nota: este mismo cambio de variable puede aplicarse cuando aparezcan cos(n) y sen(m), sin mas
que tener en cuenta que
d =
dz
z m z m
z n + z n
, sen(m) =
, cos(n) =
.
iz
2i
2
Ejemplo:
I=
Z 2
0
cos(2)
d = .
5 4 sen
6
Integrales impropias
Sea f (z) una funcion analtica, con un n
umero finito de polos {zk }nk=1 en el semiplano superior,
y ninguno en el eje real. Entonces
Z
C
f (z)dz = 2i
n
X
Res[f (z), zk ],
k=1
donde C : {z = Rei : [0, ]} [R, R], siendo R suficientemente grande, de forma que la curva
C deje en su interior a todos los polos.
-R
22
Pero
Z
C
y por eso
Z R
R
f (z)dz =
Z R
R
n
X
f (t)dt = 2i
f (t)dt +
Z
0
Res[f (z), zk ]
Z
0
k=1
Si existe el lmite de la u
ltima integral cuando R , podemos calcular una integral impropia.
Normalmente, el lmite es cero y entonces
Z
f (t)dt = 2i
n
X
Res[f (z), zk ].
k=1
Ejemplos:
dt
=
arctg
t
= .
1
+
t
1
Sea f (z) =
, que tiene polos simples en z = i.
1 + z2
y de aqu
Z
C
donde C : {z =
Rei
f (z)dz = 2i
y se tiene
f (z)dz =
Z R
R
dt
+
1 + t2
1 + x2
Z
0
1
Rieit dt,
1 + R2 e2it
1
R
it
1 + R2 e2it Rie R2 1 0
Por eso
1
= ,
2i
Z
cos x
1
1
1
= ,
= lim
2
zi
1+z
z+i
2i
(R +).
dt
= .
1 + t2
dx.
Consideremos f (z) =
eiz
y la misma curva C del ejemplo anterior. Entonces
z2 + 1
Z
C
eiz
= .
zi z + i
e
Pero
Z
C
f (z)dz =
Z R
R
f (t)dt +
Z
0
f (Reit )Rieit dt =
23
Z R
R
eit
dt +
t2 + 1
Z
0
it
eiRe
iReit dt,
R2 e2it + 1
y ademas
eiReit iReit
R iR cos tR sen t
R
R
eR sen t 2
0 (R ).
2 2it
2
e
= 2
R e + 1
R 1
R 1
R 1
Por tanto,
eit
dt = ,
2
t +1
e
t2 + 1
dt =
Z
sen t
,
e
t2 + 1
dt = 0.
Demostrar que
Z
x3 sen x
dx = 2
(x2 + a2 )(x2 + b2 )
a2 ea
b2 eb
+
a2 2b2 b2 2a2
eR sen t dt <
24
,
R
(R > 0).
a, b > 0,