,

MATEMATICJI
SUPERIOR
PROBLEMAS
RESUELTOS
35 fi - ?9

A. K. Boiarthuk

Variable compleja
Residuos ytern as
especiales
Traducido del ruso bajo Ia direcci6n
del doctor en Cicncias Ffsico-matematicas

Viktoria 0. Malishenko
y del ingeniero industrial

Guillermo Peiia Feria

Revisi6n cientifica
del doctor en Ciencias Ffsico-matem:iticas

]airo Correa Rodriguez

Moscu . 2002

URSS

.6.6K 22.1R73, 22.161.6

.t

IJoRp'lyK AAe~eceii KIIUMeHmbeeu'l

Cnpaaocmoe nocofiue no a&rcmeii MaTeMaTHKe.

ToM

4. 'lacn. 3.

Pr6logo a
''Variable compleja''

Boiarchuk Aleksei Klimientievich

Matematica superior. Problemas resueltos. Tomo 7.
Variable compleja: residuos y temas especiales.
Traducido de Ia edici6n rusa (Editorial URSS, Mosc:U, 2001)
La colecci6n "AntiDemid6vich" que proponemos allector abarca casi todas las ramas de las
matematicas.

En "Variable compleja" se resuelven detalladamente casi cuatrocientos problemas de dificultad

media o alta. Este tomo induye teoria de los residuos, funciones en teras y meromorfas,
productos infinitos, aplicaci6n de los residuos al calculo de integrates y sumas de series, y
algunas cuestiones generales de Ia teoria geometrica de las funciones analiticas.

Reservados todos los derechos en todos los idiomas y en todos los paises del mundo. Quedan
rigurosamente prohibidas, sin Ia autorizaci6n escrita de los titulares del "Copyright", bajo las
sanciones establecidas en las !eyes, Ia reproduccion total o pardal de esta obra por cualquier medio
o pmcedimiento, comprendidos Ia reprograffa y el tratamiento informatica, y Ia distribuci6n de
l!jemplares de ella mediante alquiler o prestamo pUblico.

J~lllliiU'l~lt
Director
Director linandero
Director de sistemas
Director de producci6n

Vicedirector

ISBN 5-8360-0452-8 (Obra completa)

ISBN 5-8360-0455-2 (fomo 7)
Obra original: Editorial URSS, 1997, 2002
Traducci6n y obra en espaiiol: Editorial URSS, 2002
Diseiio grafico y diseno del texto: Editorial URSS, 2002

Domingo Mllrin Ricoy

VikloriQ Malishenko
Viktor Ronufnov

'

Irina Mllkieeva
Natalia Finoguihrova

lib,qaTellbCnJo 3,AKTOpMan YPCC. 113208, r. Mocxsa, yn. 'fepta1108Ckall. A- 2/11.

lhftteH3MA
IGIMliCHOA

~ N03216

OT

10.11.2000 r.

rMI"MeHM'teQCMM l:eplMtJMICaT Ha 8b1nyC1c

npoAYJC~Ufr.t Ni n.ct>~8.953.0.270.3.99 OT 30.03.99 r. nAAnMCaHD IC lle'faTM 24.07.2002

<llopuaT 70x 100/16. Tr.tpax 2100 31C3. ne~. n. 13,5. 3aK. Nsz

31

0meccaTaHO a 000 AJrr-AMan. 129110, r. MoclaJa. yn. 6. nePE!AcnaBC113A, 46.

Editorial URSS
Libros de ciencia

TeL/fax: 7 (09S) 135-44-23

TcU&x: 7 (09S) 135-42-46
B-mait: urss@tuss.ru
Catilogo CD IIIID'net: htlp:/Jwss.ru

r.

Entre los textos recomendados para el estudio de la teoria de funciones de variable compleja hay muchos manuales y materiales clidacticos muy completos que
tienen por autores a cientificos de fama mas que reconocida: A. L Markushevich,
M.A. Lavrientiev, B. V. Shabat, I. I. Privalov, A. V. Bitsadze, M.A. Evgrafov, A. Hurwitz, R. Courant, etcetera. Lamentablemente, en lo que respecta al volumen,
elecci6n y distribuci6n del materhtl, la mayoria de estos libros no estcin adaptados a
los programas de los cursos de teoria de funciones de variable compleja que
habitualmente se imparten en las facultades de materruiticas y fisica de las universidades de Rusia y otros paises de Ia CEI. Separar de un libro volwninoso el material
principal de modo que se forme un curso integro, l6gicamente acabado y ajustado
al programa de estudios no es facil ni para un profesor con poca experiencia, ni
para un estudiante o un posgraduado.
Las razones anteriores motivaron al autor a escribir un hero que corresponda
al nivel actual de los programas universitarios del curso de teoria de funciones de
variable compleja que no este saturado de detalles y que contenga un gran nUm.ero
de problemas resueltos. En este tomo se resuelven detalladamente casi cuatrocientos
problemas de dificultad media o alta.

Muchos libros de teoria de funciones de variable compleja se caracterizan

por contener desacuerdos e imprecisiones en Ia terminologia basica. Por ejemplo,
en distintos lugares de un mismo libro el concepto de funci6n analitica puede tener
un sentido diferente. El autor ha tenido en cuenta este hecho; todos los conceptos
considerados en el presente libro tienen un sentido claramente determinado.
En el comienzo de la obra se da una definicion rigurosa de funci6n (y no su
descripci6n, como se suele hacer en Ia mayor parte de los manuales), se consideran
las operaciones con conjuntos y los aspectos principales de Ia teoria de espacios
metricos. Sin incluir este material en ellibro, seria imposible exponer las cuestiones
principales al nivel materruitico que se requiere en Ia actualidad. Por ello, incluso
una lectura rapida de ese pequefto capitulo es muy aconsejable para entender el
resto de Ia o~ra, en donde se exponen los temas tradicionales de Ia teoria de las
funciones analfticas, creada en el siglo XIX, primordialmente gracias a las obras de
A. Cauchy, B. Riemann y I<. Weierstrass.
En ellibro se presta mucha atenci6n a las cuestiones pnicticas relacionadas
con las transformaciones conformes.

El autor

donde /p es una circunferencia de radio p con centro en el

punto z = a, /p C Oa (0" es un entorno del punto a).
Si z = a es un punto singular evitable, entonces
res f = 0. En saso de que z = a sea un polo de primer orden,
a

tenemos res f f. 0. En los demas casos res f puede ser o no

a

Residuos.
Aplicaciones
de los residuos

igual a cero. Por ejemplo,

1

sen z
re s - - = 0,

re s - - = 1, res e2 = 0.
0
2 z- 2
0
z
Obtengamos Ia formula para calcular el residuo en un
polo.

Sea z = a un polo de orden p de una funcion f.

El desarrollo de Laurent de Ia funcion f en un entorno del
punto z = a tiene Ia forma

1. Definicion de residuo.
Teorema fundamental

00

f(z)

~~lo.y-

C-p

( z - a)P

n
+ .. . + -C- 1- + '\"'
0 en(z- a) ,

z- a

n=O

de donde se obtiene

1.1. Residuo en un punto ~ufo aislado

f( z)(z- al
Definicion. Se denomina residuo de una funci6n nnaliticn f en 1111
punta singular nislndo z = a E C al coeficiente c_ 1 de Ia primera
potencia negativa del desarrollo de Laurent de Ia funcion f en un
entomo del punto z = a.
,

=
n= O

dp-"1
-

dzP- 1

(J(z)(z - a)P)

=
00

= c_1(p -

El residuo se denota mediante

1)! +I: c,1 (n

+ p) . . . (n + 2)(z- at+l,

c_l = res f( z ).
a

Teniendo en cuenta Ia formula (2), p. 2.1, cap. 2, t. 6,

para los coeficientes de Ia serie de Laurent, obtenemos
res f (z ) =
a

27rt

f( z ) dz,

rp = (/p, ~~r) '

0)

dp - 1

lim - - (J(z )(z- al) = c_ 1(p -1)!.

z~a dzl'- 1
Por consiguiente, tenemos Ia formula siguiente para
calcular el residua de Ia funcion f en un polo de orden p:

r-l. r~s

f( z )

d p- l

= (p _ 1)! ~~ dzP- l (J(z)(z- a)P) .

(2)

~~-----------~~~~---~----------------~

En particular, para p = 1 Ia formula (2) adopta Ia forma

res f (z) = lim f (z)(z - a).
a

1.2. Residua en el punto d el infinito

(3)

z-a

Sea z = oo un punfo singular a islado de una fu ncion f.

El desarrollo de Ia funcion f en un entorno del punta del
infinite 0 00 = {z E C: r < lzl < oo} tiene Ia forma

En Ia pr<ktica resulta ut:i l modificar un poco Ia Ultima

formula. Supongamos que en un entorno de un polo simple
z = a una funcion f tiene Ia forma

+oo

(J'(z)
f(z) = 7/J(z)'

f (z)

(4)

(J'(z)
z-a ( 7/J(z)- 7/J(a))
z- a

es decir,

7/J'(a).

Por ejemplo,

z4

- 6+ ...

f(z) dz =

7/J'(a) '

= 24.

f. J

z" dz = - 21Tic_1,

Cn

rl=-oo

(I)

r-

puesto que

j z" dz = 0,

si

n i: 1.

r-

(5)

3
3z - -9 z 3 + - 3z + -z
sen 3z - 3 sen z
2
res
= res
2
=
3
) ( - z3
o sen z(sen z - z)
o ( _ z
)
z
6+...
6+ ...

-4z 3 + ...

r-

cos z
cos br
resctgz =re s -- = - - = I.
klr
h sen z
cos br
En caso d e que Ia funcion f este d efinida mediante Ia
formula (4) y las funciones so y 7/J tengan en el punta z = a
ceres de ord enes superiores a 1, para calcular el residua
es comedo cambiar las funciones !I' y 7/J por los p rimeros
!ermines d e sus desarrollos d e Taylor. Por ejemplo,

=res

Integremos esta igua1dad a lo largo de una circunferencia rji = ("fn, 1~r) orientada en el sentido _de las agujas del
reloj (el p unta del infmito queda a Ia izquierda). Obtenemos

= (J'(a)

r~s f (z) = so(a)

enz".

n=-oo

d onde (/' y 7/J son funciones analfticas en el punta z = a,

y tales que (J'(a) i: 0, 7/J(a) = 0, 7/J'(a) i: 0. De acuerdo con Ia
formula (3), tenemos
. (J'(z)(z - a)
res f (z) = lun
=
a
z-a
7/J(z)
= lim

=L

Definicion. Se denomina residua de u!!.!!.J!mcf&.l_l en ci_lwl!fQ..Jlel

infinilo al co~ficiente (tornado con ~11Q...<;9_vt.rMJoLde_lq _priQ1J~.ra_
p otencia negativa d~l_flesarrollo__de Ia funcion f en un entorno del
unto del infinite.
D

Teniendo en cue_:t.!_~-(~)~ob~e~~m.os _
res f( z)
00

= -c-1 = 27Tt
~j

f (z) dz.

__ _
(2)

r-

D~ acuerdo con Ia definicion dada, res f (z) se d eteroo

mina mediante el coeficiente d e Ia parte regular de Ia serie de

Laurent y, por tanto, puede ser diferente de cero tambien en
el case en que el punta del irlfirlito no sea un punta singular
1
evitable de Ia funcion f ; p or ejemplo, res - = -1.
00

Supongamos que el punto del infinito es ~n punto

singular cvitable de Ia funcion f. Introduzcamos Ia notacion
lim f (z) = f (oo). Entonces

..,. Oemostracion. Sean 1 1,12, ... ,1,. (

z-oo

res l(z) = lim z (J(oo) - l(z)).

oo

En efecto, en este caso el desarrollo en serie de Ia funcion

en un entorno del punto del infinito tiene Ia forma

()()

l(z)

= f(oo) + L

1k

=0)

circunfe-

rencias de radios Pk con centros en los puntos a1:1 donde

Pk son valores suficientemente pequenos tales que los circulos J(I' con fronteras 11: pertenecen de ~odo compacto a Ia
region D. Consideremos Ia region D \ { J(P ; k = 1, n} y utilicemos Ia formula de Cauchy para una region multiplemente
conexa (v. teorema 4, p. 5.3, cap. 1, t. 6). Tenemos:

(3)

z- oo

k= l

c_kz- k,
-1.

k=l

27rt

de donde

f(z) dz

av

= "'
-1 .
~ 27l"Z

II

k=l

f(z) dz

r.

()()

z(f(z) - l(oo))

= I >- kz-k+l.
k=l

Pasando en Ia ultima igualdad al limite cuando z

obtenemos Ia formula (3).
As! mismo se puede obtener Ia formula
res l(z)
()()

donde <p (
punto z

~)

= -<p'(O),

-+

oo,

Este teorema tiene un gran valor practico, pues reduce

el calculo de una magnitud global (Ia integral curvilinea de
una funcion analftica a lo largo de Ia frontera de Ia region) al
calculo de los valores locales de los residuos de Ia funcion en
sus puntos singulares.
Calculemos, por ejemplo, Ia integral

(4)

= l(z) y <p(z) es una funcion analftica en el

= 0.

av

1.3. Teorema fundamental de los residuos

Teorema 1 (de Cauchy). Siuna junci611 I es analitica en D u 8D c C, ,

salvo e11wz conju11to fin ito de puntos singulares aislados {ak; k = 1, n}
pertenecientes n D (pero no pertenecientes n 8D), entonces se verificn
In igualdnd

1
- .
27l"Z

av

l(z) dz

L res l(z).
n

"=1

at

= {z E C:

lz- 1- il

< 2}.

La funci6n subintegral f es analftica en Ia adherencia 15, salvo en los puntos z 1 = 1 (polo de segundo orden)
y z2 = i (polo de pri~er orden). Utilizando Ia formula (1),
obtenemos

av

(1)

dz

(z - 1)2 (z 2 + 1)'

~z

(z - 1) (z2 + 1)

=21ri (res1 f(z) + resi /(z)) =

f E A (C \ { aki k = 1, n}). Entonces In suma de

los residuos de In junci611 f en lodos sus pun los singulnres finilos y del
residuo en el punlo del infinilo es igunl a cero:

Teorema 2. Sen

2::: res f (z) + res f (z) = 0.

k= l

~ Demostraci6n. Sea

Ot

(2)

00

Problemas resueltos.
Para las fu nciones especificadas a continuacion, hallar
los residues en todos los puntas singulares aislados y en el
punto del infmito (siempre que este no sea punta limite de
ellos).

1n = {z E C: lz l = R} una circunfe-

rencia d e radio R suficientemente grande, Ia cual abarca

todos los puntas singulares finitos ak . Entonces, segun las
formulas (1) y (2), p . 1.2, obtenemos

- 1.
21rl

f son z 1 = 0,
z2 = 1, z3 = oo. Util izando Ia formula (2), p. 1.1, hallamos

~ Soluci6n. Los puntas singula res de Ia funcion

2::: res f (z) = - res f (z).

2 f(z)) =
res
f(z)=lim~{z
o
.-o dz

f( z) dz =

Ot

rn

00

k=l

= lim ~ ( z2 + z - 1 ) =
z....o dz

El teorema 2 es uti! para calcular integrales curvillneas.

Consideremos, por ejemplo, Ia integral

I=
r

=(/,/or)

d: -

z 3(z 1

2)

1 = {z E C: lzl

z - 2z
= lim - - - =0
z-o (z - 1)2
(se tuvo en cuenta que el punta z 1 = 0 es un polo de segundo
arden de Ia funcion f) .
El punta z 2
1 es un p olo de primer orden de Ia
funcion f ; por tanto, para calcular el residua en este pun to
utilizaremos Ia formula (3), p.l.l. Tenemos:

= 2}.
"

Segun el teorema 1,

res f (z ) = lim f (z )(z - 1) =

10

I = 21ri ( res
0

(
z 3 z 10

)+
- 2

2::: res z 3(z

k= 1

z- 1

(t

1
10

- 2

z= l

z..., 1

=lim

z2 + z -1

z2
De acuerdo con Ia formula (2), p. 1.3,
z-1

donde (k (k = 1, 10) son las rakes de Ia ecuacion z 10 - 2 = 0;

utilizando Ia formula (2), haUamos

res f(z ) +res f( z ) + res f( z ) = 0,

z= O

I = - 2n res
oo

1
z 3(z 10 - 2)

= 0.

=1.

z=l

oo

de donde

resf(z) = -1.
()()

Sol ucion. En los puntas zk = k1r (k E Z ) Ia funcion f

tiene polos simples. Utilicemos Ia formula (5), p. 1.1, tomando
cp 1 y '1/J(z) = sen z . Tenemos:

Solucion. AI igual que en el ejemplo anterior, z = 2 es

un pun to singular esencial d e Ia funci6n f. Dado que
z3 = (2 + (z - 2))3 = 8 + 12(z - 2) + 6(z - 2)2 + (z - 2)3 ,
1
cos z - 2 =

1
1
k
res f( z) = - - = - - = {-1).
z=z~
COS Z k
COS k1r

00

- 1yt (

Ln=O (2n)!

1 )

211

z- 2
4

1 ( 1 )
= 1 -2! z -2

El punta del infinito es punto lin}ite d e los puntas singulares

aislados. ~

1 ( 1 )
+4! z-2

Entonces,

z 3 COS - - = (8 + 12{z- 2) + 6(z - 2)

z-2

x ( 1 - 2!(z
~

Solucion. El punto z = 2 es un punta singular esencial de

Ia funci6n f . El d esarrollo de Laurent de f en un entorno
del punta z = 2 es

~ 2)

+ (z- 2n

+ 4!(z

~ 2)4 - .).

Como se puede ver, el coeficiente de (z - 2)- 1 es igual a

143
143
1
-6 + - = - -. Por consiguiente, res f( z ) = - - . Segun
24
24
2
24
Ia formula (2), p.1.3,
res f (z) +res f( z)
2

= 0,

00

de donde resulta
143
res f(z ) = - .
00
24

El coeficiente de (z- 2r 1 es igual a cero y, por consiguientc,

res f(z ) = 0.
2

Aplicando Ia formula (2), p. l.3, obtcnemos

res f(z ) + res f(z ) = 0,
2

00

de donde hallamos res f( z ) = 0.

00

Solucion. El punta z = 0 es un p unta singular esencial de

Ia funci6n f . El desarrollo d e Laurent de Ia fu nci6n f en un

entomo del punto z = 0 es

res f (z ) = -. Segtln Ia formula (2), p. 1.3,

( - 1)k

n oo

2:.::: (2k + 1)! z2k+l =

f( z ) = z

res f (z) + res f (z ) + res f( z ) + res f (z ) = 0,

0

k=O

00

-1)k

oo

de donde

= I::
(2k + 1) ! z2k-n+l
k=O

res f( z) =- (res f( z ) + res f( z) + res f (z )) = -7,5.

oo

La igualdad 2k - n + 1 = 1 no tiene Iugar si n < 0 o si n E Z

es impar. En esos casos res f( z ) = res f (z) = 0.
0

- 1

- 1

.,..

00

Si n = 2m (m ~ 0), Ia parte principal de Ia serie de

., J
.
l , .
(- 1)m - 1
z
Laurent d e Ia funcwn conhene e termmo
(2m + 1)!
( _ 1)n/2
- - -z- 1 Por consiguiente, para todos los n E Zo pares
(n + 1)!
{_ )n/2

tenemos res f( z ) = (
- -1 -) . En particular, sin = 0, entonces

n+ 1!

res f( z ) = 1. Utilizando Ia formula (2), p.l.3, vemos que para

0

{-l)(n/2)+1

todos los n E Zo pares res f( z) = - res f( z) =

oo

En particular, si n = 0, entonces res f( z) = -1.

<0111

n + 1)!

Solucion. Representando Ia funcion en Ia forma

Viv'Z - v'z+T

f( z ) = _.:__z---1- -

.,..

00

<0111

Solucion. Descomponiendo Ia funcion

ples, obtenemos
2

f( z ) = z

en fracciones sim3

- -z 2 + -z + 1 +2(z--

J3,
/2(2) = -2- J3,
13(2) =2 + v'3,
/4(2) = -2 + v'3.
!1(2) = 2 -

1)

Los puntos singulares de Ia funcion f son z1 = 0, z2 = - 1,

z3
1, Z4 oo. Dado que los puntos z 1 , z 2 y z 3 son polos
simples de Ia funcion f , entonces res f(z ) = 2, res f( z ) = 4,

vemos que ella es cuadriforme y que cada rama tiene un

punto singular finito uniforme z 1 = 1 (polo simple). Los
puntos z2 = 0 y z3 = -1 son puntos de ramificacion.
Definamos las cuatro ramas uniformes de Ia funcion f
definidas en Ia region ~ (del plano C se ha eliminado el
eje real negativo) especificando sus valores en cierto punto
determinado, por ejemplo, en el punto z = 2:

-1

Obtenemos entonces
1
ft (z) = - - (J21zi(cos _arg_z + i sen _arg_z) z- 1
2
2
~(
arg(z+l).
arg(z+l)))
- v 1z -r 11 cos
+ t sen --"--2
2
,

h(z) = z

- ( - V%i(cos _arg_z +isen _arg_z)-

- 1

~(

- V 1z -r 11 cos

h(z) = - h(z),
Asf pues,

! 4(z)

arg(z +1)
2

.
_ar~g(::.._z_+_:_l)))
+ t sen
2
,

= - ! 1(z).

1 . d2 2z
2
=- - hm - e
=-2e.
2 z-1 dz 2
b) Amllogamente

res / 1(z) = lim(z - l )ft (z) = ../2- ../2 = 0,

1

z-1

ei
res--oo z2 + a2

res h(z) = lim(z - 1)f2(z) = -../2- ../2 = -2../2

1

-1

res h(z) = 2/2,

ei
ei )
= - ( z=ia
res -2- -2 + res -2 - -2 =
z +a
z=-ia z + a
eiz
eiz )
=- ( lim--+ lim - - =
z-ia z + ia z-- ia z - ia
=_ (e- o _ ..::_) = -~ ei(ia) _ e-i(ia)
2ia 2ia
a
2i
sen ia

res j 4(z) = 0.

Soluci6n. a) De acuerdo con Ia formula (2), p. 1.3,

e2
e2
res - - - = - res - - - =
oo (z - 1)3
1 (z - J)3

.,..

= - - -.
a

....

Soluci6n. Utilicemos Ia formula (3), p. 1.1, y Ia regia de

0
L'H6pital de eliminaci6n de indeterminaciones del tipo 0
Tenemos:
z
li z(z- Zv)
.
2z- Zv
res -4 - -4 = m 4
= lim - - - =
z. z - a
-. z - a4
z-z. 4z3
1
2z 2 - ZvZ
=- lim - - 4- 4 - z4 - a + a4
z2
12z2 - z2
=- 11 "=-v .,..
4 a4
4a4
2J:o

.IS

<1111

Para calcular los residues de Ia funcion

Solucion. a) Utilicemos Ia formula (3) p. 1.2:

1

(k

res sen _z_ = lim z (sen 1 -sen _z_) =

oo
Z+1
z-oo
Z+1

= lim 2zsen (
z-oo

z )
1- -

z+ 1 cos

f. 0) utilicemos Ia formu la (5)1 p. 1.11 tomando

t/J(z)

= 1- e- hz:

z _z_)

res f(z) =
~

1f/(z)lz=z~
I

=cos 1lim (1=

z-oo
z+ 1

2k7ri

- - he

=cosllim - - =cos l.
z-oo z+ I

h
I

= -- 1

Seglln la formula (2)1 p. 1.3

2k7ri
c) Para lz + I I < I tenemos

z
z
res sen - - = - res sen - - = - cos 1.
- 1
z+ I
00
z +I
b) Los puntos singulares de la funcion

-I =

f son

I - (z + I)

_2hih
h

k f. 0.

00

~
= - L..,.(I
+ z)k

(k E Z). El punto z = 0 es un polo de segundo orden y los

puntos zk para k f. 0 son polos de primer orden. Utilizando
la formula (2)1 p. 1.1 obtenemos

k=O

res
(~z (I + 1+z
_ I + ... + ( I
) )
- 1
1 +z)n

2k1ri
Zk=--

= res(( -I- (1 + z)- (I+ z)

=
)

-1

res f( z) =lim ~ (
z
) =
o
z-o dz I - e-/&z

(I + _ 1 + ... +

1+ z

1 ) ) =
(1 +z)n

= r~f ( - (1 + z)n - (I+ z)n- l -

. I - e-hz(I + hz)
-lim
- z-+0
(1 - e-hz)2
-

. - ___!!:____ - (n +I)+ ... ) = -n.

1+z

=lim
z-o

h2 2 + o(z2) )
I - (1 + hz) ( 1-hz+ -z
2 2

z-+0

2 2

,~

1 - I +h z - =lim

AmHogamente1

2
(1 - I+ hz + o(z))2

h2z 2 + o(z2)

+ o(z2)

res
0

(~z (I + -I +1 z + ... + (I +I z)n ) )

1

1
2

= ( I + -1 - + ... + (I
+z

=-

2.

zk

1
cp(z) = - 1

cp(~)

( 1 +z -)
z+ 1
2

f en los puntos

1 )
)n
= n + I~
+ z z=O

b) Utilizando Ia f6rmula (2), p. l.2, obtenemos

r!s (

~ ( 1 + 1 ~ z + + (1: z)n)) =
= n - n-1=-1.

-;+2
JvfZ

dz = 27ri res
00

vfZ.
-;+2

r~

.,.

De cste modo,

--;+7.
Jvfz

dz =- 211'i res
00

r,

vfz
-;+2

)
t/22
1+ 1

= - 27ri r!s (

= - 27ri r:S ( 1 -

~ + o ( ~)) = - 27ri.

Solucion. a) La circunferencia 'Yn abarca 4n + 1 polos de

Ia funci6n subintegral, pues se_ tiene un polo en el punto

z = 0 ~ cuatro polos

ir m

Zm

Vk e-2- (m = 0, 1, 2, 3) en
{z c C: lzl = v'k} (k = 1,n) .
=

cada circunferencia 'Y.,ff =

A partir de Ia f6rmula (1), p. 1.3, haUamos

rn

z dz

.
= 211'i res
.
+
e2lllz2 - 1
o e2,.2
- 1

L L res e2,.2. - 1
z.

k=l m=O

=211'i ( - +
21fi
=27ri

3
n

~ ~ 47rie(- t)2k.

n.)

(~+
2:n 7U

=2n+1.

r2

Solucion. Dado que

=

I -

z E 'Yr => zz = r 2, z = -,
entonces
z

r,

(i + 1) dz
(r2 - az)(bz - r 2 )

..-

obtenemos

r2

La funcion subintegral tiene dos polos simples z1

r2

z2

= -,
a

dz
(z - 3)(z5 - 1) -

= b. Como Ia curva 1r abarca el polo z 2 , entonces

= -27ri ( res
3 (z -

z +1
= 27ri rres
----=------,2fb (r 2 - az)(bz - r 2 )

En un entomo del punto z

z4 + 1

27ri

b .:~b r
1'8 + b4

2-

az

= 27ri b4r2(b - a).

1
3)(z5 - 1)

+ res

(z - 3)(z 5

oo

1)

) .

= oo tenemos

(z-3)~z5-1) = :6(l +~+ (~y + ... )(l+ :s+ ... ).

.,..

Por consiguiente, res (

oo

dz

z- 3)(z5 - 1

= 0, y

= -27ri res3 (z 1)

-----=- (z - 3)(z5 -

dz

3)(z5 - 1)

= -27ri !~ zS 27ri

7ri

242

121

1 -

= --- = --~ Solucion. La circunferencia 1 abarca un solo punto singu-

El uso de Ia formula (2), p. 1.3, nos permitio evitar calculos

voluminosos. .,..

lar de Ia funcion subinteg ral; por consiguiente, los puntos

z~;

;2kr

= e T (k = 0,4) son polos simples. Segun Ia formula (1),

p.l.3, tenemos

I
r

dz

(z - 3)(z 5

1)

= 27ri

.f;

.1

res - -- _
zk

Por cuanto
4

1
1
"""res
+ res
+
5
L.J
zk (z - 3)(z - 1)
3 (z - 3)(z5 - 1)
k=O
+ res
oo

(z -

= 0,
3)(z5- 1)

Soluci6n. La circunferencia 1 abarca el punta singular aislado z = 2 de Ia funcion subintegral f ; esta singularidad es un

polo de segundo orClen. Por consiguiente,

se deduce que res l (z)

I= 21fi res f( z) =

= -c_ 1 = --21 (v. formula (2), p.l.2.).

Por consiguiente, I= 1fi.

= 21fi lim -d (
z-2

00

dz

.,.

(z - 2) z ) =
(z - 1)(z - 2)2

16'!.

= 21fi z-2
lim!:_ ( z ) =
dz z- 1
-1
= 21fi z-2
lim - - -2 = - 21fi.
(z- 1)

.,.

Calcular

r = (r,ro.,),
~

Soluci6n. La funcion subintegral I tiene un polo de segundo

orden en el punto z 1 = 0 y polos simples en los puntos
Zz
- 3, ZJ = 3. Sin embargo, Ia circunferencia r abarca solo
el punto z 1; por tanto,

I = 21fi res l (z) =

0

~ Soluci6n. La funcion s ubintegra l

los puntos

Zk

e'- )
= 21fi lim -d ( z-0 dz
z2 - 9

tiene polos simples en

;,.-+2h

= ~e - 4 - (k = 0, 1, 2, 3). PorIa formula (1),

= 21fi lim
z-0

p . 1.3, tenemos

e'(z 2 - 2z- 9)
(z2

9)2

21fi
...
= -9

I = 21fi

L res l(z).
k=O ~

Como
3

res /(z) + res l(z)

k=O ~

= 0,

()()

entonces

I= -21fi res f(z).

~

()()

A partir del desarrollo

/(z) =

2~ ( 1+ 1:(2z') ) = ~ (l- ~ +

Soluci6n. El punto z 0 es un punto singular esencial de

Ja funci6n subintegral. Dado que

1
()()
sen - =

L ,_ (-1)"
... .... ,,
n=O

obtenemosl

y para n
res f( z) = 1 I = res f(z) = 1.
0

<111

< -1

tenemos res z 11 e2/ z

0

.,..

= 0. Por consiguiente

si n

si n

< -1.

-1 1

...

Soluci6n. Dado que el desarrollo en serie de Laurent

2

sen

~z = ~2 (1 -cos ~)
=
z
=

=0
z

res sen 0

<111

-~ ~;~~~ (~ rn

no contiene el tt~rmino de tipo c_1 z I

resulta que

= res0 sen2 -z1 = 0. ...

Soluci6n. Haciendo el cambio de variable e iop = z obtenemos

dz
1
2z
2
dcp = iz
a + cos cp - z + 2az + 1
1

=i

f=h~lorL

dz

z 2 + 2az + 1

/={zEC: lzl=1}.

De acuerdo con Ia formula (1)1 p. 1.31

Soluci6n. Como

=k -

11

00

e /z

2
1
I = - 21fi res -- 2
i
z1 z + 2az + 1

21;

= ""'
.LJ k!z"-11
k=O

entonces pa rca

11 k E Zo~ es decirl para n ~ -1 1 tenemos

2n+l

res z" ilz

= - -(n

+ 1)!

Las rakes de Ia ecuaci6n z2 + 2az + 1 0 son z 1,2

-a Jll2=1. Vemos que s6lo el punto z1 =-a + Ja 2 -1
csta abarcado porIa circunferencia 1~ pues

I#"=I - ai= 1
-a + Ja2 -1 I< 1_~

<Ill

=41f-1-l
2z

+ 2a

z=z1

1(

=~

27r

2ir

a(a2- b2)3/2

Soluci6n. Recurramos a Ia soluci6n del ejemplo anterio r.

Representemos Ia integral I en Ia forma

Ja2 - b2
(

27ra

(a2-b2)3/2
2

+b ) =

a - b

....

(a2 - b2)3/2

2rrb

2lf

I =

a dtp

(a+ b cos tp)2

J+

2r

=~

2lf

dtp
b
b cos tp - ~

cos tp dtp
(a + b cos tp )2

0
2lf

-- (

- a

dtp

2lf

a + b cos tp

+ bdb

dtp

Soluci6n. AI ig ua l que el ejemplo anterior, escribimos I en

Ia forma

J
~
J+
=~
2r

a + b cos tp

I =

tp
a + b cos tp -

dtp
-+ cos tp
b
27r

J'

- a

-=- -

b2

b d
db

dtp
a

+ b cos 2 tp

Hacienda 2tp =

-I

t, hallamos

2r

+ b-

db

2r

dtp
a

+ b cos 2 tp

J+
J
2
2lf

dtp
a + b cos 2 tp -

../a2 - b2'

dtp
b cos 2 tp =

dtp
B cos 2tp -

4r

2lf

d
db

27r

J+

dtp
b cos 2 tp

0
2r

dtp
b cos tp

d (

= db

2rr
..;a2 _

)
b2

dt

A + B cost'

27rb,
(a2 -

bljJ/2'

donde

2lf

- -

cos tp dtp
(a + b cos 2 tp)2

2lf

2lf

2lf

2r

Recurriendo a Ia soluci6n del ej. 20, hallamos

J
J+
+~

dtp
b
a + b cos 2 tp - ~

A= a +-,
2

B=2.

Tomando en consideraci6n el ejemplo anterior y el

hecho de que, cuando t varfa de 0 a 471", el contorno cerrado
que abarca los polos de Ia funcion subintegral se recorre dos
veces, obtenemos

<1111

Solucion. Utilicemos las formulas de Euler para transformar

Ia funci6n subint:gral. Tenemos:

ecos"' cos (ncp- sen cp) =

1 COS'{J ( i(II'{J-5eO'{J) + - i(n'{J-5en'{J))
= -e
e
e
=
2

=-1 ( ein'P ee_;, +e -in'P ee;' ) .

2

Efectuando en Ia integral el cambio de variable ei"' = t,

resulta

I= ;i I(tn- lel/1 + r n-lel)dt,

Ja 2 + ab

I'

r = (r,rorL r = {t E C: Ill = 1}.

Por cuanto

Segun Ia formula (1), p. 1.3,

2Jr

d
b db

dcp

d (

a+ b cos 2cp = b db

271"

0,

J a2 + ab =

7Tres (t n -

I -

1Tab
(a2 + ab)3f2,

0=

entonces

1T

1 1/ 1

+ t- n- lel)

(.!..n! + .!..)
= 271"
n!
n!

si

< 0,

si

-_
I

0.

..,..

I = ~(~ - (a2 :~w/2) =

= a(a2 +1T ab)312 (2(a2 + ab) -

ab)

1T(2a + b)

= a3f2(a + b)3/2

..,..
<1111

Solul:ion. Transformemos Ia funcion subintegral utilizando

las formulas de Euler:
ei(z+ia) - e -i(z+ia)

tg (x

+ ia) = i (ei(z+ia) + e-i(z+ial) =

.1

ei2z- e2a

i ei2z + e2a'

I!

Efectuando el cambio d e variable eia

J
-2

c~+O

-1))

t - e2a
t(t + e2a) dt,

I=

= lim (- In sen t:+ In(- sen t:} - ln(- 1)) =

= t , obtenemos

= lim (tn ( - sen t: ) - In (

c~+O
sent:
= In (- 1) - In (- 1) 0. ~

r=

1 = { t E C:

(I, l or),

It I =

1} .

Si a > 0, entonces Ia circunferencia 1 abarca s6lo el punto

t = 0 (polo simple). En este caso

2. Funciones en teras y meromorfas

t - e2a

I = - ?ri res
0

t(t

e20)

2.1. Funciones enteras

t- e2a

= -?ri ~~ t + e2a =?ri.

Si a < 0, entonces, ademiis d el polo t = 0, Ia curva 1 ta mbie n
abarca el polo t = -e20 de Ia funcion subintegral. Por tanto,
t - e2a

res

-t?n t(t

+ e2

=
)

Definicion. Una funci6n

t- e2a
lim - - =
t~-t?n
t

De Ia definicion se d educe que una funci6n entera no

tiene puntos singulares finitos. El p unto z = oo es un punto
sing ular aislado d e Ia funcion entera. Si z = oo es un punto
singular evitable, entonces, seglin el teorema d e Liouville, Ia
funcion entera es constante.
Sea z
oo un polo de Ia funcion en1e ra f . En este
caso su d esarrollo en serie de Laurent en un entomo d el
punto del infinite tiene Ia forma

2e2a

= - --=2,
-e2a

.(

I = -?rt res

t-

o t(t

t - e2a )

e2a

res
+ e2) + -c"'
t(t + e2a)

= -?ri( -1 + 2) =

= -?ri.

00

Estos dos casos se pued en reunir en uno solo utilizando Ia

notacion sgn : I = 1ri sgn a.
Si a = 0, Ia integral dada se entiende en el sentido
del valor principal:

I=

V.

p.

tg X dx =

c~

= Jim ( Jn
c~+O

/2-c
(

COS X

lz=/2- c

+ Jn

f (z) = c,.zn + .. . +

tg X dx +

1z=

2: C_nZ-

11

00

= P, (z) + 2: C_nZ1

La funcion f
d e Liouville

tg X dx) =

~~

COS X

+Co+
11

n= l

%=7t/2+c)

CtZ

n= l

z=O

f analitica en todo el plano C se denomina

junci611 entera.

- Pn satisface las condiciones del teorema

lim (/(z) - Pn(z))

:= 0,

z~ oo

de donde resulta f( z )- Pn(z ) = 0, o bien f(z} = Pn(z ).

31:~.

)8

Resumiendo, si una funci6n entera f tiene un polo en

el punto del infinito, cnto nces Ia misma es un polinomio, es
decir, una funcion racional ente ra.
Una funcion entcra pa ra Ia cual el punto d el infinito es
un punto singular esencial se dcnomina Ju11ci611 e11tcrn trnscclldelltc. Ejemplos de tales funciones son z>-+ e' , z,..... cos z,
z >-+sen z .

En el caso 1) el punto del infinho es un punto singular

1, m} el conjunto-de polos
a islado. Denotemos con { bi; j
de Ia funcion f . Sea f3i ei orden del polo bj y

(j)

(jl

c(j)

c_z

c_t

9j(Z)

- P;

=b + (z- bi )2 + ... + (z- bj!\0

z- i
J

Ia parte principal del d esarrollo d e Laurent d e Ia funcion

en un e nto mo del polo bj . Consideremos Ia funcion

rn

2.2. Funciones meromorfas.

Teorema de Mittag-Leffler

z >-+ rp(z)

= f(z) -

I: gj(z).
i =l

Esta funcion es entera, pues se puede asumir q ue ha sido

definida en los p untos singulares evitables bj . Dado que

Definicion. Una funci6n f analitica en todo C, salvo, tal vez, en sus

polos, se deno mina fwrci61l mcromorfa.

ru

Jim

z-oo

De la d efinicion se deduce que los umcos puntos

singulares de Ia funcion meromorfa f en el plano C son sus
polos.
Las funciones enteras forman una s ubclase de Ia dase
de funciones meromo rfas. Dado que tod o polo es un punto
singular aislado, Ia funcion meromorfa f puede tener en C
a lo sumo un conjunto numerable de polos. En efecto, tod o
cfrculo Kn = {z E C: lzl < R}, R = const, puedc abarcar a
lo sumo un numero fmHo de p olos, pues de lo contrario estos
tendrian un punto llmite finito que seria un punto sing ular
no aislado y no un polo.
De este modo, todos los polos d e u na funci6n meromorfa se pueden enumerar, por ejemplo, en el orden del
crecimiento de s us valores absolutos.
Considere mos dos casos. Supongamos que Ia funcion f tiene:

I: 9j(Z) = 0,
i =l

las funciones f y tp se comportan de Ia misma manera

cuando z tiende a infinito.
Supongamos que f (y, por tanto, rp) tiene en el punto
de l infinito un punto sing ula r ev itable o un polo; entonces
n

rp(z)

=I: a~;z~:,_
1;:0

f(z)

~; - ~

Pt(Z)

= L; a~;z + ~ 9i(z) = Pz(z),

k=O

J= l

donde P 1 y Pz son polinomios.

De este modo, hemos demostrado Ia aftrmacion siguiente.

Teorema 1. U11a frmci611 meromorfa f para Ia cual el ptmfo del i11.fi11ito

es 1111 pu11to si11gular i!Vitable o rm polo es 1111a jrmci611 racio11al.

1) un conjunto finito de polos;

2) un conjunto infmito (pero numerable) d e polos.

N6tese que si..el pun to del infinite es un pun to singu lar

esencial de una funci6~ meromorfa f, did1a funci6n puede
representarse en Ia forma
m

f(z) = cp(z) +

L gj(z),

(1)

siendo cp cierta funci6n entera distinta de un polinornio.

Analicemos ahora el caso 2), cuando una funci6n
meromorfa f tiene un conjunto infinite de polos. Ejemplos
de tales funciones son z 1-1 tg z, z 1-1 ctg z. Demostremos
que en este caso Ia funci6n f ta mbien se puede escribir en
una forma ana loga a (1).

-~) hc:>l::.''.:. :. .t.:..

:;. ~!...._~---------------------,
Teorema 2 (de Mittag-Leffle r). Pnratoda sucesi6n de puntas (b;), tales
que lb1l ~ lb2l ~ ..., Jim bi = oo, y loda sucesi6n de frmciones {g;) del

Kj

pertenece de modo compacto al drculo K 1 lo cual implica

que Ia serie (2) converge absoluta y uniiormemente en K i.
Por tanto, existe un ni E N tal que
llj

9j(Z)-

gt>(o) kl

I:~ z

< 2i

'V z E Kj.

k=O
ni

Pj(z)=

k=O

l9i(z)- Pj(z)l

=L

n= l

(z

~~)"'
1

existe una fmrci6n meromorfa f que tiene palos en los puntas b; y cuyns
partes principales en dicllos ptmlos son igunles a g;(z).
Demostraci6n. Sin perdida de generalidad podemos suponer
que b1 -:/; 0. La funci6n g; es analitica en el circulo

K = {z E C: lzl

< lb;l}

(.kl(O)
k
--z.
k!

g)

< ~

V z E Ki.

La serie l:(gi - Pj) converge uniformemente en

todo compacto K C C en el sentido de Ia definicion dada

anteriormente. En efecto1

'VKCC3 N EN:
'Vn;;:: N

(j)

{Jj

I:

Entonces

-co

g;(z)

< q < 1. El drculo

= {z E C: lzl < qlbj l}

Hagamos

Definicion. Una serie

g11 cuyos terminos son funciones meromorfas 'se denomina couuergenle (unifonnemenle conuergenle) en 1111
conjunto M C C si solamente un numero finite de terminos tienen
polos en M y, a! excluir dichos terrninos, Ia serie se vuelvc convcrgentc
(uniformemente convergente) en M.

:L
k=O

Fijemos q E IR, dond e 0

i=l

tipo

y, por consiguiente1 puede representarse en este drculo mediante una serie de potencias
co
g,(kl(O) k
g;(z)=
--z.
(2)
k!

K C K = {z E C:
11

lzl

< qlb,.l}.

Examinemos ahora Ia serie l:(gi - Pj) l j ;;:: N. Sus

tt~rminos son funciones analiticas en

mayoradas por Ia

1
progresi6n geometrica """' -,. I j ;;:: N . Por consiguientel su
Li2J
suma fN(z) es una funci6n analitica en el circulo K.
Oefinamos Ia funci6n f mediante Ia f6rmula
N-!

f (z) = L(gi - Pj) + !N(z).

j =l

2.3 .. Desarrollo de las funciones meromorfas

en fracciones simples

La funci6n f es analitica en el drculo K salvo en los polos bi,

(j =~~ N- 1 );y sus partes principales en bi son gj(z) . Dado
que K es un compacto arbitrario, deducimos que Ia funci6n f
es meromorfa y tiene en C los polos dados bj con partes
principales 9i .

-----

Corolario. Toda fzmci6n meromoifa f puede representnrse como Ia

511ma de Ia 5erie
00

f( z)

= h(z) + L(g,.(z)- P,.(z)) ,

(3)

n=l

wzifonnemenfe convergenle en Iorio compacta; h es una funci6n entern,

g,. e5 Ia parte principal del desarrollo de Laurent de f en un entomo
de b,. (los palos b,. esttin emmzerndo5 en arden ascendente respecto a
5U5 valores absolulos y b1 "I 0) y P,. so11 ciertos polinomios.

"

-J' - .

--.,

Sea ( ~--+ / (() una funcion meromorfa arbitraria y sea 'Y una
curva de Jordan cerrada que abarca el origen de coordenadas
y no pasa por los polos de Ia funcion f . Sea { b~.:; k = 1, n}
el conjunto de los polos de Ia funcion f pertenecientes al
interior de 'Y y sean 9k las partes principales de los desarrollos
de Laurent de Ia funcion f en los entomos de los polos bkl
bs.: :j; 0 V k = 1, n. Si ( = 0 es un polo de Ia funcion J, Ia
parte principal del desarrollo de Laurent en un entomo de
( = 0 se denotara mediante g0 (si ( = 0 no es un polo, se
asume que 9o 0).
Sea z un pun to fijo localizado en el interior de 'Y.
Consideremos Ia funcion

L:g~.:(()

Demostraci6n. Aplicando el teorema de Mittag-Leffler cons

truimos Ia funci6n

fo(z)

= L(g,.(z)- Pn(z)),
n =l

que t~ene los mismos polos y partes principales en ellos que

Ia funci6n f . Por consiguiente, f - fo = h es una funcion
entera.
Nota. En caso de que Ia fund6n I tenga un polo en el punto z = 0 con parte
principal g0 , sicmpre suslituiremos I por 1 - g0 .

A veces el h~rmino "funcion meromorfa" se utiliza

en un sentido mas amplio. A saber, se considera que f es
una fzmci6n meromoifa en una region D si sus unicos puntos
singulares en D son polos. El conjunto de polos de esta
funcion tambien es a lo sumo numerable, y si es infiruto, sus
puntos limites pertenecen a Ia frontera de Ia region.

I-+

..;;.k_;=O::....___

(-z

00

Esta funcion es racional en C, el punto del infinite es un cero

de al menos segundo orden y, por consiguiente, su residue
en el punto del infinite es igual a cero.
Aplicando el teorema de Cauchy para regiones multiplemente conexas y Ia definicion de residue en el punto del
infinite, obtenemos
n

ll

2: gs.:(()

-1

211"i

k-- O

( - z

2: gs.:(()

d( = 1
-

211"i

k-0
-

rn

( - z

d(=

II

L:gs.:{()
=-res
00

k=O

(-z

=0

(fn = ( /n, ,c;{), /R = {( E C 1(1 = R} es una circunferencia

que abarca a /),de dondc se deduce Ia igualdad

-3)

j
= -.
1

27rl r ( _ z d(

!(() -

2n

'Lg~.:(()

k=O
( -z

f=(/,/or).

d(,

11 m

J(z )

L 9k es analitica en Ia region lirnitada

= L g~.;(z) + ~
2n

k= t

k=O

f(() -

2n r

L g~.;(()
k-0
-

( - z

=L
Jl

d( =

k=O

--t

> mo(R).

2n

oo. Considerando Ia

f(()
d(.
(- z

(4)

De esta manera, Ia funcion f esta representada en

el circulo K n como el limite de Ia sucesion de sumas
de las partes principales de los desarrollos de Laurent
de f en los entornos de los polos pertenecientes a! interior de 'Ym
Establezcamos las condiciones suficientes para que se
verifique Ia formula (2). A partir de Ia estimacion

f( z) . - "
L....t' g~.;(z).

J-

(3)

k=l

k=O

g~.;(z) + -.

(2)

n,.

II

De este modo,

f(z)

r ..

f (() d(,
(- z

f(z) = lim " ' gk(z).

m-oo L....t

Pasemos al limite en (3) cuando m

formula (2), hallamos

por Ia curva 1 (se considera que Ia funcion esta definida

en los puntos singulares evitables). Segun el teorema de
Cauchy

-1.

-z

Apliquemos Ia formula (1) a r m Sea n 111 el numero de polos

abarcados por Ia curva 'Ym . Entonces

La funcion f-

I'm

~ ~ 1co

fm=(/m,/~~), lzi< R.

lim/J(()d( = O,

. m ~oo

(1)

Supongamos ahora que existe una sucesion (/111 ) de

curvas de Jordan cerradas qu~ abarcan el origen de coordenadas, no pasan por los polos de Ia funcion f y ti_enen las
propiedades siguientes:

1) V m E N 'Ym Ia curva pertenece a! interior de 'Ym.+t;

2) r 111 --t oo cuando m --t oo, donde r 111 es Ia. distancia
desde el origen de coordenadas hasta Ia curva 'Yrn
De esto se deduce, en particular, que VR>O existe un moEN
tal que el cfrculo Kn = {( E C 1(1 < R} Vm > mo(R)
pertenece al interior de 'Ym

I
i
i

It

I
it

2n

I'm

-y.,

1
!(() d( 1 <
( - z
27r(Tm - R)

lf(()lld(l

resulta que para que se cumpla Ia expresion (2) es suficiente

que

n~~

J1/(()lld( l =

M,

< oo.

(5)

1m

Demostremos ahora que podemos obtener un desarrollo de Ia funcion f en fracciones simples imponiendo
condiciones menos rigurosas que (2).

obtencmos

Supongamos que existe un numero entcro no negativo p tal que

.

lun ----:21rt

m~oo

f(()

(P+I((

rR

n.

f (z)
Z

) d(

=0

lzl

< R.

=L

(6)

211"

m-oo

( P+I

r.
oo.

(7)

o bien

Si lzl

f (z) =

< Kl~ tenemos

1
1
1
(-z=z1_:=
(
P

j (()
d( 1
1
(P+ (( - z)

21ri

j I/(() lid(I <

'

(8)

d(,

r ..

z'l

es un polinomio de grado no

superior a p.
Pasando en (8) al limite cuando m
en consideraci6n (6) 1 obtenemos

zP+I

("+I+

= L AiJzn
n =O

n=p+l

=L

1 ,.

donde Pk(z)

I: (:+1 + 2: (:+1 =
n =O

J
f(()
L" (g~:(z) + Pl:(z)) + zP+I
1l"i
,.n...
2
k=O

oo

l:=O n=O

zP+I

2_

2:2: A ~ )Zn +

J
+-

l:=O

Para que se cumpla (6) es suficiente que

lim

n.

gk(z) +

-->

oo y tomando

n,.

f (z)

'

n=O

= m-oo
lim L

(gk(z) + pk(z))~

lzl

<R.

(9)

k=O

=L

z"
(n+l

Las iguilldades (4) 6 (9) constituyen el desarrollo

buscado de Iii funci6n meromorfa en fracciones simples.

zp+1

+ -. -. .-

n =O

1
Sus tituyamos en (3) el desarrollo obtenido de - - :
p

nR

f( z ) = ""9k(z) + "" Z
L...J
L...J
k=O

11

-.

n=O

2n

(-z

J(()

r,.

( 11+1

Ejemplo. Hallar cl desarrollo de Ia funci6n z

d( +

z"+l

+21l"i-

r ..

r,.

f(()
d( =
(u+l

n.,

k=O

/(()

res
("+Ibt

n.,

ctg z en fracciones simples.

Solucion. En el caso considerado tenemos

1
b" = k1r (k E Z)~ 9k = - - .
z- k1l"
Sean 'Ym las fronteras de los cuadrados con centros en el origen
de coordenadas y !ados de longitud (2m+ 1)11" paralelos a
los ejes d e coordenadas. Estimemos por separado el valor de
ctgz en:

f(() d(
.
( 11 +1( ( - z)

Tomando en considcraci6n las igualdades

1
- .
211"~

>-+

"

Ak() I
11

1) los !ados paralelos a! eje imaginario;

2) los !ados paralelos al eje real.

k=O

Tenemos:

Aplicando Ia formula (9) obtenemos el desarrollo de

ctg z en fracciones simples

7r

1) z =(2m +

1)-2 + iy,

Ill

e2iz + 11
I ctg zl = e2iz - 1 =

ctgz

=I

e~(2m+l)ll'e-2y + 11
e(2m+ll,.. e- 2Y - 1
1 - e- 2y
= l1 + e- 2Y < 1;

=X i

(m

I ctg zl =

+ ~)

o bien

+1

<

1 +e- ..

11" 1 1 + e-11:

Tomando en consideraci6n que - -1- e- "'

1 +e- ..
I ctg zl ~ -,
1- e-"

n=l

> 1, obtenemos
Nota. En calidad de 'Ym hubieramos podido tomar las circunJerencias

La condici6n (7) es valida para ctg z si p

(10)

'Ym

= {z E C:

izl = m +

i}

sin altcrar Ia cstimaci6n (10).

= 0. En efecto,

I ctg zl I 1 + e-"' 4(2m + l }1r

- lz l- ldz ~ 1 -e-". (
1)
m+ - 7r

2:

e-"' .

E 'Ym

2:

(donde el sfmbolo
indica que k recorre todos los valores
d e Z salvo k 0).
Teniendo en cuenta Ia convergencia absoluta y uniforme de Ia serie (11), Ia Ultima formu la puede escribirse d e otra
manera:
00
2z
1
(12}
ctg z = - +
2
2 2.
.,..
z
z-n1r

~--

le'f(2m+l).- -

(11)

k=-oo

e'~'<2 m+ l)ll'

<

00

+ I:' (- 1- + -1 )
z
z- k1r
k1r

ctg z = -1

11" t

e2i:te'f(2m+l)ll' +l l
e2ize'f(2m+l).- - 1

k=-m

2)

= ~Z + m-oo
lim("' ( - + 2_)),
L...J Z - k1r
k1r

II Problemas resueltos.
-+

-+

8(1 + e- "')

si

m -+ oo.

1- e- "
De este modo, Pk(z) son funciones constantes (polinomios de grado cero):
0
ctg(
Pk(z) = Ak = res--.
h

De aqui ha llamos

Po(z)

= 0,

Soluci6n. Es evidente que Ia serie d e las partes principal

, n E Z , converge uniformemente en toq o
les
(z- n1r}2
compacto (en el sentido de Ia definicion del p . 2.2}, pues

2:

Ia serie mayorantc """'

L..t (mr- R)2

converge en todo drcu-

lo Kn = {z E C: lzl < R}. De este modo, utilizando Ia

formula (3), p. 2.2, y hacienda en ella P,.(z) = 0, obtenemos
f(z )

00

= h(z) +

n=-oo

..,..

(z- mr)2

Soluci6n. Tenemos:

n
g,.(z) = - - =
z- n
1

= - - -z- =
1- -

Soluci6n. La funcion
z

t-+

h(z )

00

=- - """'
sen2 z
L..t

n=-oo

(z - mr)2

es peri6dica de periodo 7r. Examim!mosla en Ia franja

G = {z E C: 0 < Rcz ~ 7r}. Tenemos Vn EN que
lz- n7rl ;?l: n7r - lzl ;?l: 7r(n- 1}.

Por consig uiente,

00

IL

n=-oo

1
(z - n7r) 2

Teniendo en cuenta que

~ lzT2 + n=L m iz m

1
n7rj1

00

+ 2 """'
L..t

n=m+ l

(n -1)27!"2

--+

0,

si

z --+ oo.

Como I sen2 zl = sen2 x + sh 2y --+ oo cuando z --+ oo,

0 < Re z ~ 7r, entonces Ia funcion h esta acotada en Ia
region G y, por ser p eriodica, tambien lo esta en el plano C.
Segun el teorema de Liouville h(z) 0. De este modo,

1
sen2 z =

00

n= -oo

1
(z - mr) 2

I~

2
1
z
n(z- n) ~ Fn(n-

..,..

deducimos que Ia serie

-!fn)

V z E { z E C: lzl
z2

< ifri},

converge uniformemenn(z- n
te en todo compacto K C C en el sentido de Ia definicion del
p. 2.2. Asf pues, segun Ia formula (2), p. 2.2,
-

f(z) = h(z) +

00

n= l

z
.
n(z - n)

..,..

Por tanto, Ia estimaci6n (7}, p. 2.3, se verifica para

p

= 0,

P,.(z)

_. Soluci6n. La fu nci6n z

1
tiene polos simples en los
senz

1
= A~ = re sz sen
--,
z

d e donde Po(z)

nK

= 0,

1
= -n11'
. De acuerdo con Ia formula (9}, p. 2.3,
00

~---+ - -

puntos b,. = mr (n E Z),

P11 (z)

1
1
----+
sen z - z
.

(- 1t

g,l(z)= - - .

2::

11

n=-oo

- 1}
1 )
- +n1r
-z - n1r
(

00

z ""
~
= -+

z- mr

Sea 'Ym Ia frontera del cuadrado con vertices en los puntos

1
1r( 1 i ). Estimemos Ia funci6n - -:
( m + ~)
2
sen z

...

....

n=l

1) en los !ados del cuad rado paralelos a! eje imaginario;

2) en los !ados del cuadrado paralelos a! ej~ real.
Tenemos:
1} z

= ( m + ~) 1r + iy,

lsen z l

= le(m+!)ie-Y-e"'(m+i)ieYI ~
2

2) z = x

cth Z

z
z
z
z
=
-+
cth - =
e - 1
2 2
2

1r,

00

= - 2 + 1 + 2::

I senzl = lei"e- (m+!) _ e-ize(m+!)l ~

~

2z

de donde resulta

00

= -z + 2:: z2 + n21r~I
n= l

= eY + e- Y =ch-y ~ -1;
i(m +

Soluci6n. Cambiando z por i z en (12}, p. 2.3, y simplificando

por - i , obtenemos

. 2z . . . . .

n= l

2
~

e m+i)lr - e- (m+i)lr -

.(m+
1

sh

2) 11'

~ -----]
....,
11' "": .
sh 2

~ Soluci6n. Utilizando Ia serie de Fourier d e la funci6n

X t-+

4 l .18

IJ'(X)

= COS ax,

- 11'

< X < 11',

3.1. Productos numericos infinitos

obtenemos
00

cos ax

= 2ao + "'"'
L..t a

11

Se supone que cl lector esta familiarizado con el concepto

de producto infini.to d e numeros reales y con a lg unos d e los
resul tados mas simples de esa teoria .
Sea (z,.) una s ucesi6n arbitraria de nt.'1meros complejos.

cos nx,

n= l

donde
a,.

..

cos ax cos nx dx =

Definicion 1. El producto infinito

ITo +zn)

es d ecir,
00

COSQ'X

sen a1r
"'"'
=- + 2a sen a1r L...J(1)
a 7r

11

1f

Pa ra x = 1r tenemos
1r ctg a 1r

n=l

cos nx
- --.

ll

Pn

= Il(1 + zk),

Q'1f

1
=- +Za
a

.1:=1

00

n= l

converge a un limite P finito y diferente de cero: Pn-+ P, 0 < IPI < oo.
El limite P se denomina valor del produclo infinito (1) y se denota

1
-2- 2.

00

a - n

mediante

Efectuando una prolongacion anal.itica del cje real

al plano complejo, llegamos a Ia solucion del problema
planteado:
1f

se d enomina cotwergenfe si Ia sucesi6n (P,J de productos parciales,

a2 - n2

cos
= 1r sen
- -- =
a1r

1
ctg1rz =-

00

(1)

2z

+ L -2--2.
z - n
n= l

.,..

3. Productos infinitos
El analisis de las funciones en el plano complejo revela no solo
sus propiedades nuevas y hasta inesperadas (por ejemplo, Ia
relaci6n entre Ia funci6n exponencial y las funciones trigonometricas), sino tambien permite agruparlas en clases. La
utilidad de tal clasificaci6n es confirmada por s u importancia
tanto en el desarrollo de Ia teorfa de las funciones, como en
su aplicaci6n.

Il (1 + Zn).
n= l

Si entre los factores (1 + Z 11 ) hay un numero finito

de factores nulos, e l producto infinito es convergente o
divergente segun to sea el producto infinito obtenido a partir
del producto d ado d espues d e eliminar los factores nulos.
Si el conjunto de factores nulos es infinito, se dice que el
producto infinito es divergenfe.
ConJorme a las definiciones presentadas, para investigar Ia convergencia de un producto infinito basta analizar
el producto infinito d e los factores distintos de cero. Evidentemente, para Ia convergencia d el producto infinito {1) es
necesario que lim Z 11 0. En efecto,
n-oo

.
lim (1 + Z 11 )

n-oo

.
Pn
p
= n-oo
lim - - = - = 1;
Pn-1
P

por consiguiente, z,. -+ 0.

l
Teorema 1 (de convergencia del producto infinito y de Ia serie numerica
correspondiente). Elproduclo infinilo IJ(l + z,.) converge o diverge

simultaneamenle con Ia serie

00

Sea ahora

In (1 + z,.) = S. De Ia ig ualdad (2) s~

n=l

LIn (1 + Zn),

- 11"

< Im

In (1

+ Zn) ~ 1r.

obtiene que
d e donde
Lim P11 = exp { lim

~ Demostracion. Vamos a suponer que el producto infinito

IJ(1

+ z,.)

lim P,.

= P,

:p 0,

:p oo,

"

P=

rei'P.

serie

k=l

Si P,. = r n ei'P., -7r < cp,. ~ 1r, entonces 1 + z~.: = pkei8k,

-11" < 0~.: ~ 'Tr, luego Cfln --+ cp, Ok --+ 0
para Zk --+ 0.

"

Ln (1

+ z,.)

infinito n o+ z,.).

k=l

= In P,, + 2m,.1ri,

= Ot + 82 + . : . + 0,. -

Cfln;

por tanto,

27r(mn+t - m .. ) = On+t

- (Cfln+t -

cp,.).

La serie

lim S,,

~ (1 + lztl)(1 + lz21) . .. (1 + lz"l) -~

~ exp {lzd + lztl + . . . + lz,.l} .

n=l

+z

11 )

converge.

(4)

Los productos parciales

=~
In (1 + Zn) = In P + 2m7ri
L....J
'

es decir, La serie LIn (1

z,. y el producto infinito (1) tienen Ia

lzd + lz2l + . .. + lz,. I ~

--+

00

n-oo

(3)

caracteristica de q ue ambos a Ia vez bien convergen absolutamente, bien divergen. En efecto, Ia estimaci6n 1 + lzil ~ eljlo
conlleva a las siguientes desigualdades validas V n E N:

0 y Cfln+1 - Cfln --+ 0, entonces obtenemos

l27r(mn+t - m..)l < 27r para valores de n suficientemente
grandes. Por tanto, mn+t = m,. =m para los n indicados y
S,. =In P,. + 2m7ri. Asi pues,
Puesto que On+t

I1(1+lz,.l).

(2)

donde m,. es un numero entero. Obviamente,

2m,.7r

se deduce Ia divergencia del producto

Definicion 2. El producto infinito (1) se denomina absolutamente

convergenle si converge el producto infinito

Denotemos S,. =LIn (1 + zk). Entonces,

S,.

= es = P,

tambien diverge Ia serie LIn (1 + z,.), pues suponiendo

lo contrario obtendriamos una contradicci6n con lo anteriormente demostrado. Amllogamente, de Ia divergencia de Ia

donde

Pn = L(l + zk),

Sn}

es decir, el producto infinito IJ(1 + z,.) converge.

Si el producto infinito IJ(1 + z11 ) d iverge, entonces

converge. Entonces

n-oo

u-oo

n-oo

IJ (1 + lzd)

y las sumas parciales

k=l
n

lz~.: I del producto infinito y Ia serie numerica, respec-

k=t

tivamente, constituyen sucesiones mon6tonas crecientes, las

cuales, segun (4), estan simultaneamentc acotadas superiormente o no Jo estan.

Esto se puede comprobar tomando

I

P,.

-,

=q

Y Pn

11

. ( + I-+zk- \) .

= II

Zk

k=!

Teorema 2. Torlo prorluclo infinilo nbsolutnmenle conuergenfe converge.

Asi pues, existe lim q11

n-oo

_. Demoslraci6n. Supongamos que el producto infinito (3)

converge. Sea P,. su producto parcial, P,. -+ P. Como

"

P.. = II(1 + lzk 1),

Pn -+ Po# 0.

= qo # 0, y como q,. = -;;-,

entonces
rn

.,..

Se p uede demostrar que el valor de un producto

infinito absolutamente convergente no depende d el orden de
sus factores, pues en este caso Ia serie

k= l

P,,- Pu- 1 = (1 + lztl) ... (1 + lzn- tDizn l,

n ~ 2,

para los productos parciales del producto infinito (1) tenemos

IP,.- P,._tl

P,. - Pn- 1
= IPu- tllz,.l

=Pn - lz,.,

(v. tcorema 1). Efectivamente, sea

n, E N tal que V n

11 + ztl l1 + z21 .. . 11 + Zn-d lz,. l ~

~ (1 + lztl) ... (1 + lzn-t Diz,. l = P,.- P..-J .
Por cuanto P,. -+ P, Ia serie L (P,, - ]5,._ 1) (n ~ 2)

z,,

converge. Por

tanto, de acuerdo con el teorema 1, el producto infmito

z..

I)

produclo infinito

converge y, junto con el, converge el

IT q,., donde

II

q,. = "

k=!

1-

1 + Zk

1 1

_ . . )

I=

I~

1 1

~1+ - -+--+ ... ~

""
2 2 4 3
""

1 1
~ 1 + 2 + 22

= 2,

de Ia cual se deduce que V n ~ n, lin (1

+ z,.)l ~ 2lz,. 1. Por

consiguiente, Ia serie
In (1 + z,.) converge absolutamente
y Ia afirmaci6n a demostrar constituye una consecuencia de
Ia igualdad

IT
n=l

__!.!:__) .

z,.

L(P,. -

Por el teorema 1, Ia serie

lz,.l converge. Dado
que a partir de cierto numero n los m6dulos 11 + z,. l estan

I 12_ ( z,. _ z~ + z~
z,. z~
= 1 - 2+3-"'

serie
P,._J) (n ~ 2) tambien converge. Esto significa
que P,. -+ Po, Poi= oo. Queda por demostrar que Poi= 0.

IT ( 1 + 11 :

= -.

~ nc lz,. l < 2~ (ya que lz,.l -+ 0 en virtud

In (1 + z,.) =
\

converge y, segun cl teorema de comparaci6n de series, Ia

L I~
1 +z,.

lz,. I converge

de Ia condici6n necesaria de convergencia de una serie). Para

los n indicados obtenemos Ia estimaci6n

acotados inferiormente, Ia serie

1
Entonces existe un
2

(1 + z,.) = exp {

ln (1

+ z,.)}

n=l

(v. teorema 1), pues para los terminos de las series absolutamcnte convergentes se cumple Ia conmutatividad.

Para n ~ n c y todos los p E N estimemos

3.2. Productos infinitos

uniformemente convergentes
Sea (!,.) una sucesion de funciones f ,.: C -+ C; V n E N
Dt.
G, donde G C C es una reg ion. Si V z E G el
producto infinito
+ f,. (z)) converge, se dice que converge
punhmlmente en Ia region G, de finiendo de este modo cierta
fw1cion z ...... P (z) en G. Si la sucesion (P11 ) de prod uctos

IJ(l

De las p ropiedades de Ia norma uniforme se obtiene

\ g<l+fd(f;t(l+Jd-1)\\ ~
~ 1\ g(l +h)\\ llj~t(1 + 11 ~
~ g (1+llhll) crt(1 +llhll) -1).

II

parciales Pn

= TI (1 + /k)

converge uniformemente a una

k=l

funcion P (P11 ~ P) en todo compacta K C G, el producto

infinito
f,.) se denomina wrifonnemente convergcnle etr
Ia region G. Segun el teorema 6, p.l.3, cap. 2, t. 6, el producto
infinito
j 11 ) converge uniformemente en Ia region G
si, y solo si, Ia sucesi6n (P,.) de sus productos parciales es
uniformemente fundamental en G.

fk) -

IJ(1+
IJ(1 +

Hagamos pll

= rr (1 + fk). Teniendo en cuenta Ia condici6n 1),

II

k=l

V (n ~ n,, pEN) obtenemos

Teorema (condiciones suficientes de convergencia uniforme del producto
infinito). Paraque un producto itrfinito
j 11 ) converja rmifonnemenle
es suficiente que exista una sucesion mtmericn (a,.) que crmrpla Ins

IJ(l+

es decir, Ia s ucesion ( Pn) es uniformemente fundamental y

el producto irtfinito
+ f n) converge uniformemente en Ia

condiciones siguientes:

IJ(1

1) Vn EN 111~~11 ~ all ;
2) el producto infinito

n(1 +a,.) converge.

< ,

region G.

.-

IJ(l

Demostraci6n. Dado que el producto infinito

+a,.)
converge, entonces Ia sucesion (P11 ) de productos parciales

Pn =

IJ
n

k=l

(1 + ak) es fundamental:

3.3. Representaci6n de una funci6n entera

mediante un producto infinito
Sea (a11 ) una sucesion tal que los modulos de sus h~rmi
nos fo rman una sucesi6n no decreciente. Supongamos que
lim an oo, a,. ::j:. 0, y que un nl1me ro firtito de a,. pueden

n~oo

ser iguales.

Consideremos el producto infinito

P(z)

= II

(1 -.a,..:,_)

x exp { _:_ + _21 (_:_)

a,.

a,.

Ia serie

..

LIn g,.(z) (n ~ no)

csta mayorada en el compacto J( por Ia serie.convergente (2),
por lo que podemos afirmar que su suma es una funci6n
analftica g, 0 Este hecho implica Ia convergencia del producto
infinite

2+ ... + p,.2_ (_:a,._ )I' }, (1)

donde los nt'imeros p,. E Zo son ta les que Ia serie

00

II g,.(z) = ,,.o(z) = e9o(z>,

(2)

sicndo /,. 0 una funci6n no nula analftica en el compacto K.

llo- 1

converge

absolu ta y uniformemente en todo cfrculo

Kn
{z E C: lzl < R} (se puede . tomar, por ejemplo,
p,. = n -1).
Demostremos que el producto infinito (1) converge
uniformemente en todo compacto K C C.
Introduzcamos Ia funci6n

El producto infinito (1) difiere de / 110 (z) en el fac tor

g,.(z) =

1
(1- _:_)
exp { _:_ + - (_:_)
a,.
a,. 2 a,.

+... + 2_ (_:_) p. }

i11fi11ito de Weierstrass.

a,.

(1 -_:_ ) + _:_ + ~ (_:_)

+ + 2_ ( _:_)
a,,

1

= - p,. + 1

( z

a,.

)p.+J .1

a,.

1 ( z
p,. +3 a,.
Para

p,,

( z

, - p, + 2 a,.

)P+2-

a,.

ll-oo

f con fill conjunto

i11fi11ito de ceros, don~e z = 0 es un cero de ordm A, (a,) es In sucesion
de los demris ceros y lim a,. = oo, se puede repre~;entnr mediante 1111

Teorema (de Weierstrass). Todn funcio n entera

n-oo

I_:_
I ~ q < 1 ob tenemos Ia estimaci6n
a,.

I~ r+l 1 ~ q

Ahora ya podemos de~ostrar el teorema de Weierstrass de represcntaci6n de una funci6n entera mediante un
producto infinito.

p.

)P+3

jln g,.(z)' ::;

La funci6n z t-t cp(z)

z>. P(z) es entera y tiene en
el punto a0 = 0 un cero d e multiplicidad A, asf como una
sucesi6n de ceros (a,.), a, =/= 0, lim all oo.

a,.

g,(z)

que se anula solo en los puntos a1, a2, . .. ! a,. 0 - t - Como J(

es un compacto arbitrario, entonces z t-t P(z) es una funci6n
cntera con ceros {a,.; n E N}, a, =/= 0, y Ia multiplicidad del
ccro ak es ig ual al numero de terminos de Ia sucesi6n (a,.)
iguales a ak. El producto infinito (1} se denomina produclo

Entonces
lng,.(z) =

= In

TI

n==l

p,.

(4)

n=no

producto i11fi11ito

f(;) = z'e'Cz)

ft(1 -_:_)

a,.

n= l

(3)

- x exp

Para todo compacto J( C C _existe un numero n0 tal que

Vn ~ noK C K, = {z E C: lzl ::; q!a,!}. Por consiguientc,

II

I.

{ allz + -12 ( -a,.z ) + ... + -Pn1 ( -a,z ) p. } ,

-:-

(5)

donde h es cierta junci611 enfera y los 111imeros p,. se eligen de tal

manera que IaI serie (2) converja.

Sea K C C un compacto arbitrario que no contienelos ceros del seno. Para todo z E K obtenemos que

~ Demostraci6n. Como Ia funci6n z f-+ rp(z)

zA P(z) es
entera y sus ceros coinciden con los d e Ia funcion f 1 Ia

funcion

!_

rp

tambien es entera (se considera que sus puntos

in sen z
d

dz In sen z

tambien es entera

Y~

f (z)

h(z) =

f( z)
In -rp(z)

(In (1 -

:11' ) + nz11')

= ctg z =

= h (z)+-+ 0~~
z n=-oo
1

f-+

n =-oo

singulares evitables han sido evitados) y no tiene ceros e!1

el plano C. Segun el teorema de monodromfa (v. teorema 2
p. 1.31 cap. 31 t. 6) 1 Ia funci6n
z

=h(z) + In z +

(-z-1-n11'+n11'-1) .

Comparando Ia igualdad obtenida con el d esarrollo de ctg z

en fracciones simples (v. formula (11) 1 p . 2.3)1 obtenemos que
h(z) = const. Asf1

por consiguiente1

= i<>rp(z) = zAela(z)P(z).

.,.

sen z = Cz

If (

1 - :11' ) ef<n">.

n=- oo

sen z
z

A partir de lim - z~o

3.4. Desarrollo de Ia funcion sen z

mediante un producto infinito

= mr

(n

= 1~ 2

1 ) .

Por cuanto Ia serie

L (~)

rr (

1-

:7f')

ez/{n7f)I

n=-oo

IT significa q ue no

siendo h una funcion entera. El sfmbolo

se toma el factor correspondiente a n = 0.

Consi-

IJ' (1 -

: 11') e/(n1f) =

n= - oo

con verge en todo compactol en el producto infinito (1)1 p . 3.31

podemos tomar p,. = 1 para todo n. De acuerdo .con Ia
formula (5)1
sen Z = ze/I(Z)

= 1.

00

sen z = z

=z

IT(1- n::2)

n= l

n;,!O

00

hallamos que C

guientemente1 el desarrollo de sen z mediante un producto

infinito es

En calidad de ejemplol desarrollemos Ia funcion entera z f-+

sen z en un producto infinito. La funci6n sen z tiene un cero
simple en el punto z = 0 y ceros simples en los puntos
a,.

=1

p'ues1 como Ia serie

L (1 -

:11' ) e./(n1f) converge absoluta-

mente1 podemos unir los factores de indices - n y n.

3.5. Genero y orden de una funcion entera

Sea f una funcion entera y (a,.) una sucesion de ceros suyos
tal que a 71 '# 0 lim a,. = oo y Ia serie (2)1 p. 3.31 converge
1

n-oo

para Pn = p, donde p' es el menor numero entero no negativo

para el cual Ia serie converge. En este caso el numero p se
denomina genero del praducta infinita

Teorema 1 (de Poincare). Sen f 1111n j 1mci611 enfera de gb1era p

y sen a 1111 m_imera posiliuo nrbil.mrio. Enlances pam unlares de r

suficientemente grnndes se verificn In estimnci611

M(T)

g(1- :n)
an

+ -1 ( -z
2

(2)

r-oo

X
2

x exp { -z

f tl

En caso de que el numero de ceros de Ia funcion f

sea finite, Ia estimacion (2) es evidente.
El numero
-.- In In M(T)
(3)
q = hm
In

(esta es Ia formula (1), p. 3.3, para Pn = p). Entonces Ia

formula (5), p. 3.3, adquiere Ia forma
f( z) = z.\eh(z)

< ear

+ .. . + -1 ( -z

p an

)p} .

se denomina arden de Ia funci6n en/era.

A partir de Ia definicion de limite superior se deduce
que si q es fmito, entonces V t > 0 3 To > 0 tal que V T ~ To
es valida Ia estimacion

{1)

Si h es un polinomio de grado p1, se dice que f es

una j1mci6n de genera fin ita igual a max{p, p 1 }.
Cuando no hay ceros a 11 , el genero de Ia funcion f es
igual a Pt es decir, al grado del eolinomio h .
Por ejemplo, sen z es una funcion entera de primer
genero (p = 1, Pt = 0).
En los demas casos, cuando h es una funcion entera
1
trascendente o Ia serie
I +I no converge para ningun p
1au P
no negativo, Ia funcion f se denomina funci6n en fern de gb1era

M(T)

rttt

<e

(4)

El teorema siguiente establece Ia relacion entre el

genero y el orden de una funcion entera f.

Teorema 2. Si el gb1ero p de 1111n frmci6n entem f es finita, fnmbien

esfinita su arden q, y viceversa. Ademds.

2:: -

p ~q~ p+l.

<1111

infinito.
Sea M(T) = max lf (z)j. Si f(z) ~ const, confor11=
me al teorema de Liouville tenemos lim M(T) = oo. El

(5)

Demostraci6n. L'l primera parte de la afirmacion y Ia

desigualdad I) q ~ p + 1 se deducen directamente de la definicion de orden de una funcion entera y de Ia desigualdad (2)
para a= 1. .,..

r - oo

siguiente teorema, cuya demostracion no entra en el marco de este libro, nos da una idea del comportamiento de
una funcion entera de genero finito cuando esta tiende
a infmito.

I) Una demostraci6n completa de cste teorema, asi como del teorema

de Poincare, s_e puede encontrar en cl libro Bitsndze A V., Fundamentos de
teoria de las funcioncs analiticas de variable compleja, M., NaUka, 1972 (en
ruse).

3.6. Funcion meroniorfa co.m o el cociente

de dos funciones en teras

Soluci6n. a) Dado que

n

Pn

Sea F una funcion meromorfa y sea z .-. cp(z)

z)o. P(z)
una funcion e ntera representada en forma de un producto
ininito. Supongamos que los ceros de cp(z) coinciden con los
polos de Ia funcion F y las multiplicidades de los ceros de <p
coinciden con los ordenes de los polos de F. Sea >. el orden
del polo d e F en el punto z = 0; si zo = 0 es un punto de
analiticidad de Ia funcion F, entonces suponemos >. = 0.
La funcion 1/J = F<p es entera, pues los polos de Ia
funcion F se simplifican con los ceros de Ia funcion <p. Por
tanto,

= II
k=l

1 + k(k + 2)

{k + 1)2

= II
k(k + 2) =
k=l

((n + 1)!) 2 _ 2{n + 1)

n!(n + 2)! - n + 2 '

obtenemos
1

IIoo (1 + n(n + 2) )

= lim Pn = 2;
n~ oo

n=l

b) Tenemos:
n

Pn

k3 - 1

=II k3 + 1 =
1.:=2

" (k - 1){k2 + k + 1)
=
(k + 1)(k2 - k + 1) =

II

F = 1J!..
<p

1.:= 2

Asi pues, toda funcion meromorfa es igual al cociente de

dos funciones enteras. La afirmacion redproca tambien sc
curnple: el cociente de dos funciones enteras es una funcion
meromorfa. Este hecho sugiere una segunda definicion de
funcion meromorfa (Ia primera definicion se da en el p. 2.2):
una funcion F es meromoifa si se puede representar como el
cociente
dos funciones enteras.

2(n- 1)!
= (n + 1)!

= n(n + 1)
oo

ae

n3

II n
n=2

-1

11

k2 + k + 1
_
(k - 1)2 + (k - 1) + 1 -

n 2 + n+ 1

+ 1 = n~ P,. = 3 .,. .

Problemas resueltos.

~ Soluci6n. Seg!ln el teorema 1, p. 3.1, estos productos infinitos

convergen o divergen junto con las series respectivas

L In ( 1 + ~) = ~ L
5.

3l8
...

ln ( 1 +

~2 ) + i L

arctg

b) El producto infinito converge en C y constituye una

funci6n entera. Esto se deduce de Ia convergencia absoluta y

2:ml1 +~~=~ 2:m (1 +}).

uniforme de Ia serie

Dado que Ia serie

2:m (1 +~2 )
converge ( ln ( 1 +

~2 ) "' ~2 )

KR

z"

2n en todo circulo

= {z E C: izi ~ R ~ 1}.

c) El producto considerado es un producto infinito

de Weierstrass para a,. = -n y Pn = 1. Por consiguiente,
converge en C y representa una funci6n analitica en C. ..,..

y Ia serie
1

I:arctg-

diverge ( arctg

~ "' ~) , el primer producto infinito diverge

y el segundo converge.

..,..

n(~ c:r~-~~i;;}
..,. Soluci6n. Segun el teorema 1, p. 3.1, este producto infinito
converge o diverge absolutamente junto con Ia serie

L: (~-~r w
Esta serie de potencias de

(z- )

n-+oo

pues converge Ia serie

lzl"
L y;-
Ademas, Ia convergencia es

uniforme en todo cfrculo

K,

2.

j;j converge s6lo para lzl > 1. Por

consiguiente, Ia region de convergencia absoluta del producto

infinito es el conjunto D = {z E C: lzl > 1}. ..,..

:/: 0 si lzl ~ 3, entonces

3
para estos valores de z el producto infinito diverge. Si
lzl < 3, entonces el producto infinito converge absolutamente,

..,. Soluci6n. a) Como Hm

= {z E C: lzl < r < 3}.

Por consiguiente, el producto infinito dado define una funci6n

analitica P en el circulo K ,.
5'

..,. Solucion. Fijemos un z E C. Para valores g randes de n

tenemos Ia formula asintotica

11 - ( 1- c:

..,. Sol ucion. Analicemos Ia funcion

00

z.......

n) e' "1=
1

c:n)(1+;+o(~2 ))1=
= Ic: n-; + 0 ( ~2 ) I= In l:z!ln + 0 ( ~2)

z,. - z-

II --_-z,.
1 - zz ..

(3)

n=k

en el cfrculo KJzd = {z E C: lzl < lzd}. Todos los factores

de (3) son distintos de cero. De Ia estimacion

=11- (1 -

lu,.(z)l

=I(zn-zz,.

z)z,.

1-

- 11

1- lz,.l 2 2(1- lznl)

<----11-zz .. l
1- lzd

Si el numero c no es un entero nega tivo, Ia serie

y de Ia convergencia de Ia serie (1) se deduce que el producto

infinite (3) converge unifo rmemente a una funcion anatitica y
no nula en el cfrculo K Jzki; ademas, el producto infinite (2) es
una funcion P analftica en el drculo KJzkl' Ia cual se anula
solo en los puntos z,, z2, . . . Zk- i Como lim Zk = 1 (esto

converge absolutamente porque converge Ia serie

LCnl:z!ln +0(~2 )).

k-<00

Segun el teorema 1, p. 3.1, el producto infinito dado converge

absolutamente si c ::/= - n, n E N. .,..

se deduce de Ia convergencia de Ia serie (1)), entonces P es

una funcion ana lltica en el cfrculo K = {z E C: lzl < 1} y se
anula solamente en los puntos z,, z2, ....
Estimemos el modulo de un factor arbitrario del proD

ducto infinite
consiguiente,

(2) para lzl < 1: I z.. - ~ z.. l < lz,.l < 1. Por
1 - zz,,
IP(z)l < 1 V z E J(. .,..

..,. Solucion. Utilice mos Ia formula d e desarrollo del seno mediante un producto infinite (v. p. 3.4). Tras una serie de
transformaciones obtenemos

ea - eb

a+b, (

=e 2

a+b

=2e 2
0

y Ia serie
a- b,

-e

e2

_a- b )

producto infinito dado.

..,..

a- b
sh--z=
2

a+b,

= - 2z e 2 sen

(a- b)iz
2

. a+b i(a- b)
= -2z e 2 - - - z

a+b
b)ze-2-z

II
oo ( 1 + (a- b)2 z2 )
4~ 2n 2

n= l
00

= (a -

1
.
L nvn
'- converge,
entonces tambien converge el

II

1+

M(r) =max I cos ail =

2 2

(a - b) z )

4n2~ 2

n=l

Soluci6n. Dado que

IJ=r

..,..

~ {- 1)" 2n 4nl
= max LJ - -a z
ll=r n=O (2n)!

_,-

oo lal2nr4n
~L
(2n)! =
n =O
2

elalr
~

Soluci6n. Cuando n--+ oo tenemos

a2n-1 = 0(~),- a~n-1=0(~),

o

a2u~= o( ~),
entonces a 71 = 0 (

Jn) , a~

y en el punto Zo =
tenemos que

a~" = o(~}
= 0 (

~)

cuando n

nvn

.Ji re - 2

se tiene f( zo) = ch lalr

2
M(r) = eJaJr + e- lalr2
2

--+

oo

y las series
an y
a~ divergen por el criteria de
comparacion (con Ia serie armonica).
Vemos que el producto infinito IT(1 + an) satisface Ia
condicion necesaria de convergencia. El producto converge
si, y solo si, !1(1 + a2n_t)(l + a2 71 ). Ya que
1
{1 + a2n-I)(1 + a2,.) =
r;::

2.::::

+ e- lalr = ch lair2

Utilizando Ia formula (4), p. 3.5, resulta

- . In In ( elaJr2 ~ e- laJr2)

q=lim

r~oo

_In
=lim
r-oo

In T

(1alr2 + In (1 + e-21alr

-In 2)
= 2.

In T

..,..

 4. Aplicaci6n de los residuos

al calculo de integrales
y de sumas de series
4.1. Aplicaci6n de los residuos al calculo
de integrales definidas
El teorema fundamental d e los residuos (v. teorema 1, p . 1.3)
pe rmite reducir el calculo de una integral curvilfnea a lo
largo de una curva cerrada al calculo de Ia suma de los
residuos de Ia funcion subintegral en los puntos singulares
abarcados por Ia curva. A veces este metodo tambien permite
calcular integrales a lo largo de curvas no cerradas e, incluso,
a lgunas integrates definidas de funciones de variable real. Esto
es posible debido a que mediante ciertas transformaciones
especiales el calculo de tales integrates se puede reducir al
calculo a lo largo de curvas cerradas, a las cuales se puede
aplicar el teorema de Cauchy de los resid uos.

..,. Pa ra obtener Ia formula (1), en Ia funcio n s ubintegral hay que

rea lizar el cambio de va riable z e't .- Entonces,

R(sen t, cos t ) dt

J ( -----"2i'
z- 1/z

z+ 1/z )dz
--2- iz'

r = ('Y,"for)

Aplicando ahora el teorema de Cauchy de los residuos llegamos a Ia formula (1).

.,.

2) Sea f una funcion analitica en el semiplano complejo superior (incluido el eje real) salvo en un conjunto finito
d e puntos zk (Im zk > 0 'r/ k = 1, n). Dada una curva

'Yn = { z E C: z = R eit , 0 ~ t ~

7r

supongamos que

M (R) = max lf(z)l,

>

y
lim RM(R)
n~oo

1) Sea (x, y) t-t R(x, y) una funcion racional de x e y,

Ia cual no tiene puntos sing ulares en Ia circunferencia 'Y =
{(x, y) E ~ : x 2 + y 2 1}. Entonces es valida Ia formula

max

lzd

l~k ~ n

zE7n

= 0.

(2)

..,. Sea 'Y

[- R , R] U "fn, f
("(,"for) = (fJ, fn), una curva
s uave a trozos cerrada y orientada positivamente (fig. 1).
Segun el teorema fundame ntal de los residuos, tenemos

donde { zk; k

= 1, n} son los polos de Ia funcion

ZI-t

1 ( -z-- 1/z- z+-1/z

-R
-)
z
2i '
2

pertenecientes a l drculo unidad [{ = {z E C:

- R

rn

J(z) dz =

f( x) dx +
n

= 271"i

lzl < 1}.

f( z) dz =.

I:: res f (z).

k= l

ZJ:

2t Ia cual se cumple V t E [ 0,
sent ~ -;,

IJ

f (z)ei>.z dz\

\!
lf

rn

f (Rei!) ei>.Rcosl. e->.Rscnl Reilidt\:::;

o
:::; RM(R)

01 rl

-R

~1 . Tenemos:
2

J"

e->.Rscnl dt=

J
11/2

Fig.l

=2RM(R)
Pasando en esta igualdad a! limite cuando R -+ +oo
y teniendo en cuenta Ia condici6n (2), obtenemos Ia formula (3). ..,..

e->.Rscnt dt:::;

:::; 2RM(R)

--

"12 2>.R
~M(R)
e 1r dt = -.>.- (1- e->.n).

J
0

f una funci6n analftica en el semiplano

superior z+ = {z E C: Im z ~ 0} salvo en Ull conjunto fin ito de puntas
singulares aislados y sea

3) Lema (de Jordan) Sea

lim M(R)

R-oo

=0

(4)

(o bien lim M(R.n) = 0, donde (Rn) es una sucesi6n de mimeros tal

R.-oo

que las semicircunferendas 1n. con centros en el origen de coordenadas

no contienen puntas singulares de Ia ftmci6n f). Entonces V .>. > 0 es
justa Ia igttaldad

J
J

Rlim
. . .oo
lim
( n.-oo

f(z) ej).z dz = 0,

r R = (1R,1R)

rn

f(z) ei>.z dz

(5)

= 0,

fn. =

(1R.11JL)).

rn.

Demostraci6n. Estimemos Ia integral del segundo miembro de Ia formula (5) utilizando Ia conocida desigualdad

De Ia condicion (4) y de Ia estimacion obtenida se deduce Ia

formula (5).

..,..

Nota. Analizando Ia demostraci6n del lema de Jordan vemos que Ia analiticidad de Ia fund6n f no es esencial.

El lema de Jordan demostrado para el semiplano

superior puede ser enunciado y demostrado de forma analoga
para los demas semiplanos.
,
Tomando en todos los casas .>. > 0 y asumiendo
que Ia semicircunferencia 'YR se encuentra en el semiplano
correspondiente, escripimos Ia formula (5) para los demas
semi pianos:
a) z-={zEC:lmz:::;O},

b) Zdcr={zEC: Rez~O},

lim jJ(z)e-i>.zdz=O;
R .....

oo

(6)

ra

lim

n-oo

Jf(z)~->.z

rn

dz =0;

(7}

Rez~0} 1

c) Z;zq = {zE C:

lim jJ(z)e>.'dz= O. -

(8)

n~ oo

fn

Si Ia funci6n f cumple las condiciones del lema de

Jordan y tiene en el semiplano Zdcr un conjunto finito de
puntos singulares {a~;; k = 1 n} Im ak > 0 entoncesl
razonando de Ia misma forma que en 2) V ..\ > 0 obtenemos
Ia formula
1

J
+oo

f (x)ei>.z dx

= 27ri L

r.:;,s(J(z)ei>.z)

(9)

k= l

00

de donde

L
+oo

t; r;~s
n

f (x) cos ..\x dx

= Re ( 27ri

+oo

_[ f(x) sen AX dx =1m ( 27ri

Fig.2
(J(z)ei>.z))

(10)
~

; r;~s

(J(z)ei>.z) ). (11)

Ejemplo.
+oo

x sen >.x

-oo

+X 2

dx

Consideremos Ia curva cerrada de Jordan

ze'~' 27ri i e-~

=Im27ri
res - -2 = Im
= 1re-~.
i 1+Z
2i

'Ynr

= [-R,R) \

(bj- r

<X< bj + r) U-rn u'Yjrt

j=l

j=l

donde 'Yir es una semicircunferencia superior con centro

en el punto bj y radio r suficientemente pequefio; 'Yn
es Ia semicircunferencia superior con centro en el origen
de coordenadas y radio R suficientemente grande. Se supone que Ia curva 'Ynr abarca todos los puntos singulares a~; (k = 1, n). Consideremos Ia curva suave a trozos
rnr = (rt, rlr' r21 ... r;;.r, r m+lt rn) Ia cual es cerrada,
orientada positivamente y esta compuesta de un conjunto
ordenado de curvas suaves orientadas (fig. 2).
Apli~ando el teorema de Cauchy de los residuos,
obtenemos
I

4) Sea f una funci6n que satisfacc las condiciones 2)

y tiene un conjunto finito de polos simples { bj; j = 11 m }
en el eje real, es decir, Im bi = 0. En este caso se verifica Ia
formula

m+l

f(z)d z =

r nr

~
J= l

rn

f( z )dz +

r J

=27ri 2: res f( z).

k= l

J= l r jr
-

donde Ia integral se entiende en el sentido del valor principal

respecto a todos los puntos bi y oo.

a~

f(z )dz+
.

f( z)dz =

rR

Pasemos ahora en esta formula al limite cuando R

r --+ 0. Tomando en consideracion que
lim

n-oo

II

oo y

= - 2~res
f( z ),
bj

f( z ) dz

r;,

llegamos a Ia form ula (12).

I;

f( z) dz = 0,

rn

lim

r- 0

--+

-R

De un modo amllogo se puede generalizar Ia formula (9): si Ia funcion f tiene polos simples bi (j = 1, m) en el
eje real, entonces
+oo

f(x)ei>.x dx

Fig.3

- oo

Analicemos Ia funcion z f-+ za-Jf(z) (p < a < q no es un

numero entero) en el plano z con un corte a lo largo de Ia
sem.irrecta (0, +oo), especificando Ia rama za- l mediante Ia
igualdad

' . ~ res J (z }e i>.z .

= 27rt ~
L...,; res J( z }e i>.z + 7rt
6 b
~

j= l

k= J

(13)

+oo .

e'''

Ejemplo. El valor principal de Ia integral

e it<

1ri res D

-oo

dx (l

> 0) es

= 1ri.

II
!

z a - 1 = e(a-l)(lnlzl+ iargz) ,

0 < argz

< 271'.

El conjunto ordenado de curvas orientadas (fig. 3)

r Rr = (rJ, r n, f) r;) es una curva cerrada suave a trozos orientada positivamente que abarca todos los puntos
ak (k = 1, n). Aplicando el teorema fundamental de los
residuos obtenemos
I

5) Sean f una funcion racional y { ak; k = 1, n } el

conjunto de sus polos, ninguno de los cuales se encuentra en
el eje real positivo. Sean, ademas, p y q dos numeros enteros
(p < q) tales que

1
f (z) = O(z

P) '

f (z)

igual a

=0

(z
1

),

za- Jf( z ) dz =

z --+ 0;

xa-J f( x ) dx +

za- Jf( z ) dz

J
r

(14)

z--+ oo.

xa-l f(x)

e<a-J)2.. i

dx +

za- l f (z) dz

el origen de coordenadas sin pasar por ninguno de los puntas

enteros z = n ni por los palos d e la-funci6n f , y tales que
r ,. -+ oo cuando m-+ oo, dondc r,. es ) a distancia desde el
origen de coordenadas basta Ia curva lm. En este caso, si

r;
n

= 27Ti 2::: res zo- l f (z).

J
rn
J

R~+oo

lim

r -0

0
-

0
-

0.

r "'

= 0,

oo

2:
-e<a-1)2"i

f(n)

= -7T 2: res f(z) ctg 7TZ,

n =-oo
oo

xa- 1f( x) dx =

n =l

k= 1

f (z ).

k= 1

f( z ) .
sen 7TZ

(3)

(4)

.,. Demostremos Ia formula (3). Para simplificar asumimos que Ia

curva lm es simetrica respecto al eje imaginario. Tomemos m
tan grande que todos los polos ak ( k = 1, n) sean abarcados
por Ia curva _lm Denotemos mediante 2Pm el numero de
puntos de coordenadas enteras abarcados por dicha curva.
Entonces, segun el teorema de los residuos tenemos

+oo

De este modo, Ia integral

k= 1
n

2:::<- 1)" f(n) = -7T L res

= 27Ti 2::: res z

(2)

r ..

+oo

xa- 1f(x ) dx =

{1)

y las series correspondientes convergen, entonces se cumplen,

respectivamente, las igualdades siguientes:

debido a Jo cual tenemos

~~~),

f (z ) dz
- - =0,
sen 7TZ

ltm

m~oo

r;
+oo

(/mt

.J

= 0;

f (z) dz

f( z) dz

-+

r,. =

f (z) ctg 7TZ dz = 0,

m-oo

Pasemos en esta igualdad a! limite cuando R -+ +oo y r

A partir d e las condiciones (14) se deduce que
Jim

lim

k= 1

1
f (x) dx existe y

~
27Tl

f (z) ctg 7TZ dz =

r ..
n

4.2. Aplicaci6n de los residuos al calculo

de sumas de series
Sea f una funci6n meromorfa con un conjunto finito de polos

P.,

2::: res 7T f( z) ctg 7TZ + 2:::

k = 1

j =-P.
p~

rE;S 7T f(z) ctg 7Tz =

J

= l:::res7Tj(z) ctg7Tz+ 2::: f(j) .

k = l
j=-P..

{ ak ; k = 1, n} entre los cuales no hay numeros ente~os. Sea

(/m) una sucesi6n de curvas cerradas de Jordan que abarcan
6 )3<. }8

Pasando en esta igualdad a! limite cuando m -+ oo y tomando

en consideracion (1), llegamos a la formula (3).
La formula (4) se obtiene amllogamente, utilizando (2)
7r f(z)

y teniendo en cuenta que res - - = (- 1)1 f(j) . Notese que

i sen 1rz
las condiciones (1) y (2) se cumple n si f( z) = O(z 2 ) para

-+

oo y {m

z2

= ~ C-a - J a2 + b2) .

Si a > 0, el punto z 1_ esta en el interior de Ia circunferencia "( = {z E C: lzl = 1} , mientras que el punto z2 se
encuentra en su exterior. De Ia formula (1), p.4.1, obtenemos
27r

= {z E C: lzl = m + ~}, ya que en este caso

2i

dt

- -- - = 271" res

z,

a - ib cost

b(z - z1)(z - z2)

'rl z E /m tenemos

47ri
1 + e-"

271"

dt

47ri

b(z1 - z2)
J a2 + b2
Si a < 0, el punto z 1 se encuentra fuera de Ia
circunferencia 'Y y el punto z2 esta en su interior; por tanto,

I ctg 7rZI ::;;; - - ,

1- e-"

I sen 7rZ I ::;;; ----;;r. ..,.

sh 2

27r

IJ Problemas resueltos.

a- ibcost- b(z2 - z 1) -

271"

- - Ja2 + b2 .

Solucion. De acuerdo con Ia formula (1), p. 4.1, consideremos

la funcion
1
2i
bz2 + b + i2az z
ib. z +21/z)

(a -

senmx

..,.. Soluci6n. Como Ia funci6n x

z1 =

f-+

(D"' = [-7r,7r]) es impar, entonces

2i
- b(z- z!)(z- z2)'
donde

..,.

"

f (-a+ Ja2+b2),

I=

_,
6"

rp(x)

= 1- 2acosx +a2

"

_,J rp(x) dx = 0, luego

.
em:r:dx

1- 2a cos x

+ a2 .

Haciendo el cambio de variable eiz

z, transformamos
Ia- integral I en Ia integral por lil circunfcrencia orientadil
posiHvamentc r = (1,1or), 1 = {z E C: izi = 1} :

i
I =a

zm dz
-.- -- - -

I=

I'

Si
Si

No cs difkil comprobar que I 1

integra l, obtenemos

i 27riam

;i I

a"'(a - 1)

en Ia

z"- ( e' + e 11' ) dz,

1

27r a,.

ial < 1, entonces I = - - -- = - -2 .

aa- 11a
1 -a
21T
.
iai > 1, entonces I=
..,.
2

= 0. Tomando eiz = z

f = (1,1or),

1 =

{z E <C: izi =I}.

Dado que Ia funci6n z o--+ zn-t e' es a natitica, el teorema de

Cauchy implica que z 11 - 1e' dz = 0, por lo que
r

I =

2_
2i

zn-lel/z

dz.

Segun el teorema fundamental de los residuos,

I = 1r resz"- 1e 11' = ~ .
o

n!

....

..,. Soluci6n. Como I E IR e 11 E IR, donde

=I
h

11

ecosz cos (sen x) sen

nx dx,

entonces

=I
211'

I + i i1

ecosx cos (sen x)einz

dx

=
z6

..,. Soluci6n . La funci6n z

2lf

=~ I e'os z+inz(eiscnz + e-iscnz) dx =

0

=-1

einz ( ee'

+ ec-'' ) dx.

f(z)

= - -8 tiene en el plano C
l +z

ocho polos simples

zk

2lf

o--+

= e;(2ktl)lf (k = 0, 7),

de los cuales los cuatro prirneros pertenecen al semiplano superior. Utilizando Ia formula (3), p. 4.1, obtenemos
x6

(tomando en consideraci6n que Ia funci6 n rp(x)

= - - 8,
l+x

D"'

= (-oo, +oo) es par):

1 /+oo

I=

De acuerdo con Ia formula (10), p. 4.1,

+oo
j
I =-

1 +xs dx =

-oo

-oo
z6
7ri
res - -8 = z~ 1 + z
8
k =O

= 1ri

k =O

x4

-oo

e~z

+ +1
x2

L-

j
dx=-

+oo

cosax

x6

= 7ri ( 4z31 + 2z1 + 4z32 + 2z2 =

... ) + ( e-'8
3%
= 7ri ( ( e- '...8- e'8

=4

7r (

sen 7r +sen 37r)

8 =

r-:li.
= 2 sen 4 cos 8 = 4V1 + 2 . ...
7r

7r

7r

7r

+x +1

e~

1ri( .,.
.3,.
.5,.
.7,.)
= - e- ' 8 + e-'8 + e- '8 + e- '8 =
8
=1ri
- (( e - i!..B+e -i7,.)
8
+ ( e - i:!.!
S+e - is8.. )) =
8

z
2

= 1ri ( res 4
+ res 4
z, z + z 2 + 1
z2 z + z 2 + 1

Zk

3l " )) =
+ e'8

10

eiaz2

eiaz1

1re -iav':i
2

i~

e2

-~+iv'3

2
~

?re-

dx=

e_]E.2

~+iv'3
2

(;a
vJ) +e-2;a (- 3 +iTv'3)) =
e2 (3 +iT
2

v':i

i)

i)) =

1rie -aT ( ez
i~ ( -v'3 +- +e -i~2 ( --+v'3
2

av':i

)
-i (a2 +-r))
=- 1rie-T ( e;(~+!..
2 6 -e
6
=

2v'3

-afl

.,.. Soluci6n. Hallemos los puntos singulares de Ia funci6n

eiaz

~--+

z +z2 + 1

pertenecientes a! semiplano superior:

;!..
z1 = e 3
z2

= -12 + t. v'3
-,
2

= e;f!.3 = --21 + t. v'3

-.
2

(a

2
1r)
= 1re
--3- sen 2 + 6 . .,.

Utilizando ahora Ia formula (13), p.4.1, obtenemos

Soluci6n. Es evidente que

J
+co

I=2

-oo

=- Im

x - b sen ax
- - - dx=
x2 + b2 x

= ?Tt

-co

Uno de los polos simples z 1

z+i(ei'-1) 1
z+i(eiz _1))
+ - res 3 2
z3 (z 2 + a 2 )
2 o z (z + a2 )
2a4

-2 - d x.
x + b2 x

1T
= 2a4

4a2

(a22 + 1 - a - e )
-a

,...

= ib de Ia funci6n
z2 _ b2

z ~ f (z)

ia

= ?Ti (i(a + e-a + 1) _ _!:__)

/+oo x2 - b2 eiax

res

eiaz

=- -z
z 2 + b2

se encuentra en e l semiplano superior y el otro z2 0, en el

eje real. Aplicando Ia formula (13), p. 4.1, obtenemos

~2 Im (21ri res
f (z) +?Ti res f(z))
~
0

I =

-ab +?Tt"( -1 )) =?Te -ab --.

1T
=-1 Im ( 21ne
2
2

,...

r < a < R. Sean

it
In= { z E C: z = R e , 0 ~ t ~ ?T},

~ Soluci6n. Tomemos
~ Soluci6n.

La funci6n

x-senx

, D'P= (-oo,oo)
x~rp(x)= 3 2
2
-x (x +a)

/r

es par, luego

+oo

1
I =-

-oo

En efecto, i

+oo

x- sen x
1
dx=x3 (x 2 + a 2 )
2

-oo

x + i(e'" - 1)
dx
x3(x2 + a 2 )

+oo COS X - 1

(1)

J x3(x 2 +a2 ) dx = 0, pues Ia funci6n subinte-

-oo

gral es irnpar, lo que conduce a Ia igualdad (1).

= {z E C: z =reit ,

0~

t ~ ?T}

dos semicircunferencias.
Consideremos una curva cerrada suave a trozos orientada positivamente, formada por e l conjunto ordenado de
curvas suaves orientadas r = (rt, rn, r2, r;) (fig.4). La funcion f tiene en el punto z = ia, z E Knr, un polo simple.
Segun el teorema fundamental de los residues, tenemos

J
1(

= rlim~
(-2m +i2m2 rei~' +
-0 a0

(4
3

2m) tr 2i2~>
2m1l' ,
e + ... ) dcp--

m +~

+t

obtenemos
lim

r-o

r;

j(z ) dz =

1 - e'2m:z:
(
) dx +
x 2 x 2 +a2

J
r

- r

rn

+oo

2- 2 cos2mx
- -,....--- dx
x2(x2 + a2)

sen mx
dx
x2(x2 + a2)

1 - e2mz
(
) dz +
z 2 z2 +a2

1 - e2mz
dx+
x2(x2 + a2)

2m1l'
dz= - - ,
z2(z2 + a2)
a2

= J

+oo

Fig. 4

1 - ei2mz

1!'(e- 2ma - 1)
2m1l'
3
+ - 2- =
a
a

1!'(e-2ma -1 + 2ma)
a

1 - e2mz

z2(z2 + a2)

dz

r;

-R

1-e

i2mz

= 21l'i r~s z2(z2 + a2)

1!' (e-2ma -1)

<1111

a3

Haciendo tender R a infinito y r a cero, y teniendo en cuenta

t>
que
1 _ ei2mz
lim . 2( 2 2) dz = O,
R-oo
z z +a

L'n

Solucion. Integrando Ia funcion

lnz
z ~--+ f (z)
- -2 (ln z = ln lzl + i arg z)
2
z +a
a lo largo de Ia curva r (fig. 4), para todo a E (r, R) hallamos

=-

J (z) dz

lim

r-o

r,

1 _ ei2mz

z2(z2 + a2)

1
=limr -0 a 2

lnx
ln z
= -x 2- dx +
- 2- dz +
+a2
z +a2

rn

- r

dz =

2
j (--+2m
i2m
4 3+-2m
+i ( -m
- ) z+ ...) dz=
z
3
a3

r,

-n

lnx
-2- -2dx+
x +a

ln z
-2--2dz=
z +a

r;

ln z- = 1l'
1!') .
= 21l'i res - 2- ( ln a+ iin z +a2
a
2

Escribiendo

J-

f(z ) dz =

al limite cuando R

1+ ln X + i11'
_ ~(
~)
2
2 dx ln a + t
x +a
a
2

(x2 + a2)2'

-oo

podemos utilizar Ia formula (3), p. 4.1. Tenemos:

2

1
z
d
= 27ri res
- 2
=
1ri lim 2
2
ia 2 (z + a )
-ia dz
d
=11"i z-ia
lim dz

+oo y r -1 0. Obtenemos

-1

x dx

~ ( ln a + ii)

I
=2

+oo

Realizando el cambio de variable x -t (t > 0) en Ia integral

-r In x dx
R In t + i1r
llegamos a la integral
_ dt. Teniendo en
- 2
2
- R x +a
r
t2 + a
cuenta este cambio pasemos en Ia igualdad

--

z + ia

z 2(z - ial
(z2 + a 2)2

2iaz = 7r
=7ri z-ia
lim
...
(z + ia) 3 4a

00

+oo ln x

dx
2
2
x +a

+oo

I
0

+oo

In x dx
- 2 -+i7r
x + a2

dx
1r
i1r
--=lna+-~
2
2
x

+a

2a

de donde

..,. Solucion. La funcion z

00

lnxdx

x2 + a2

11'

= 2a ln a.

1-+

f(z ) =

1
(z2 + 1)"

tiene un polo

de n-esimo orden en el punto z i que se encuentra en el

semiplano superior del plano z. Por cuanto

Si a = 1 1 entonces

I
=2

+oo

+oo

lnxdx
x2 + 1

= 0.

I
.,..

dx

(x2 + 1)" I

-oo

utilizando Ia formula (3)1 p. 4.1~ obtenemos

I = 1ri res f(z) =

z=i

dn- l (z-it
= -- lim--
(n - 1)! z-i dzn- l (z2 + 1)"
1ri

1ri

dn- l

- ------- ---- ------(n - 1)! dzn- I (z + i)"

Dado que

z2

..,. Solucion. La funcion z

~--+

f( z)

de segundo orden en el punto z

= (z 2 +a)2 2 tiene un polo

= ia del semiplano superior.

dk
dzk (z + ir "

= (- 1)kn(n + 1) ... (n-+ k -

l)(z + ir<n+k)l

resulta
d"- 1
1
dzn-1 (z + i)"

= 21ri ( 2ia(b2 -

1
= (- 1)"- 1n(n + 1) ... (2n- 2). (z + i'2n "

7r
(1 1)
=~
-; : - b = ab(a7r+ b)

. d" - 1
1
(-1)11 - 1n(n+ 1) .. . (2n-2)
lim - = ---,...---:----,--- z-i dzn-1 (z + i)2n- 1
i2n-1 . 22n-1
1ri

I --- (n- 1)!

( - 1)"- 1n(n + 1) ... (2n - 2)

i2n-122n- 1

I
I

(n - 1)! . 22n- 1
1r

Si n

(2n:.... 2)!

2 ((n- 1)!)2(2"- 1)2 =

1r (2n - 2)!
2 ((2n - 2)!!)2

= 1, entonces I

=
.,.

,.

1rn(n + 1) ... (2n - 2)

21
a2) - 2ib(b - a 2))

Soluci6n. Obviamente

+oo

1r (2n - 3)!!
2 (2n - 2)!!'

I =

n>l.

=
+oo dx
1
1r
= J0 -X2- +-1 =1ri lim
- - . = - . .,.
z- i Z + t
2

-oo

x2

+ 1 dx.

x4 + 1
2

Dado que Ia funcion z

t-t

f (z)

= -zz4-+
- tiene en el semiplano
+1
...

. J.-

superior dos polos simples z 1 = e'4 y z2 = e' T , segun Ia

formula (3), p. 4.1,

I = 1ri (res f( z) +res f (z))

Zt

Zl

11

11 ) =

z +
z +
=7ri ( +-4z3 i>=a
4z3 =z

Soluci6n. Dado que Ia funci6n z

t-t

f (z)

= (z 2 + a2)(z 2 + b)2

tiene en el semiplano superior dos polos simples z1 = ia y

z 2 ib, utilizando Ia formula (3), p.4.1, obtenemos

I = 27ri (r~s f (z) + r~s f( z)) =

14

tb

1
= 27ri ( z-ia
lim
. 1
+ lim
. )
(z + za)(z 2 + b2) z- ib (z2 + a2)(z + zb)

7rt

(~
~)
- 7ri
3r +
9r
- 4
4e'4

4e' 4

(l+i-1
+ -i)-

=...ti1ri

= --

( 1+i . +1- ~)
4
-1+z 1 +t
2
.../27ri (1 + i)2 - (1 - i)

4
-2
...ti1ri 4i
7r
-4- - -2-

...n- ...

-3.-

e'T

!:

e'4

= lm2n

. (- 2 + i4) exp {i(- 2 + i4)}

Bi

7r
. - ( cos 2 -Hen
.
2) =
= Im -(-2
+ 4t)e
4

Soluci6n. Utilicemos Ia formula (10), p. 4.1, teniendo en

~--;

7r

zeiz

cuenta que Ia funci6n z

~e-\2sen2+4cos2)=

= -e-4 (sen 2 + 2 cos 2).

2

tiene en el semi plano

- 2z + 10
s uperior un polo simple z 1 = 1 + 3i. Tenemos:
I = Re 27Ti res f(z) =
z2

.,..

z=z 1

zeiz

Re2~i

lim
z-1+3i Z

= Re 2n
=

- 1 +3i

. (1 + 3i) exp {i(1 + 3i)}

Re (1 + 3i)e - 3 (cos 1 + i sen 1) =

7r

-3

= -e (cos 1 - 3 sen 1).

Soluci6n. Dado que las funciones

cos ax
sen ax
x ~--; rp(x)
- - y x ~--; 'I/J(x)~
b2 ,
2
2
X + b
X +

=-

.,..

D"' = D.p = (-oo,oo),

son, respectivamente, par e impar, podemos escribir

J
+oo

I =2

.
ea:r:

x2+b2 dx.

-()()

eiaz
~

Soluci6n. La funci6n z ~--; f (z) =

semiplano superior un polo simple
Ia formula (11), p. 4.1, haUamos

La funci6n z

z 2 +4z+ 20

z1 =

tiene en el

-2 + i4. Aplicando

I = 1ri res f( z) =
bi

eioz

I = Im 27Ti res f(z ) =

= 1Ti lim - -. =

z=z:l

= Im2~i lim

z- -2+i4 Z

~--;

f( z) = -2 - ., tie ne en el semiplano superior

z + cr
un polo simple z 1 = bi, luego

zeiz

z-bi Z

zeiz

+ 2 + i4

1ri
2bi

(io)(ib)

=- e

7 3JK. 38

+ bt

= -2b7re- ab

.,..

~ Sol ucion. Podemos escribir Ia integral como

+oo

1
I =-

ew"
dx
x(x2 + b2 ) '

2i

- 00

pues

t-t

f(z)

z1

= -(z-::-2-+-4-)(- z---1)

ei
ei )
= Im ( 21ri z-2i
lim
.
+ 1ri lim - (z + 2t)(z- 1)
z-1 z2 + 4

e-2

ei )
Im ( 27ri
+ 1ri 4i (2i -1)
5

= Im

= Im

La funcion z

cos ax
dx
x(x2 + b2 )

=0.

-oo

f (z) =

1-4

eiaz

7r

eiaz

=7r z-bi
lim
+ -2 li
m-- =
z(z + bi)
z-o z2 + b2

e-ab
7r - 2b2

7r

=
+ 2~ =
7r
= -2~
(1 - e-ab) .

71'
e~
ri
)
- - .---+-(cos1+isen1) =
2 2t - 1
5

7r (cos 1 - e-2).
=-

tiene dos palos simples en

2
z(z 2 + b)
los puntos z 1 bi (en el semiplano superior) y z2 = 0 (en el
eje real). Utilizando Ia fo rmula (13), p. 4.1, obtenemos
7r
I= 1ri res f(z) + -i res f( z ) =
Zt
2 Z2

7r - 2
7ri
7r
)
( -10 e (- 1 - 2i) + -5 cos 1 - -5 sen 1

1
-

eiaz

tiene un polo simple z 1 = 2i en el semiplano superior y un

polo simple z2 = 1 en el eje real, utilizaremos Ia fo rmu la (13),
p. 4.1. Tenemos:

I = Im (21ri res f (z) + 1ri res f (z ))

+oo

sen ax
dx
x(x2 + b2 )

-00

ei

Por cuanto Ia funcion z

=- j

+oo

..,..

7*

....

Ae_licaci6n de los residues

Los puntos z~.- = i(1r + 2k7r), k E 71.,, son polos simples

de Ia fun ci6n f. Den\ro del rectangulo P se encuentra,
sin embargo, un (mico polo Zo
1ri . Segun el teorema
funda mental de los residues,

Ir - -

(- R,'bc)
I

I)

...,
"'I

(R,'bc)

I = 27ri res f( z )

(R,O)

ca n

eaz

e - aR

~---+

+oo ea:r:
- - dx=
/ 1 +e"'
-oo

f (z ) dz

r2

eaz dx

e R+iy
0

eaz+i2a

1+e"'

dx +i

/
0

sen a1r

2 sen 2 a1r

+oo

. dy =

e - aR
.

1 + e R eY

1 + e -ReY

d .

ea:r:
7r
- - dx = - 1 + e"'
sen a1r'

-00

con lo que queda demostrada Ia ig ualdad (1).

En Ia integral

'

obtencmos Ia integ ral analizada

e-aR;.iay

1 +e-R+~y

eaR

dl

- eaz- d:.c
1 + e:r:

en Ia integ ral

J +t

e1011

t = c"'

2..-

. .
= - 7rt2t

a1r

+oo ta -

-R

+i

_ _ _.:...

Hacienda el cambio d e variable

r;

< a < 1).

sen a1r

e aR+iay

ei2~a )

_o____

2~

-R

f(z ) dz

r;

e"'

-R

(0

7r

J +J +J
J+ +
-+- +t
J
J
+
J
J +
= (1 r,

2 sen2

f (z ) dz

+oo,

21rieia.. ( 1 _ e-i2Ka) _
4 sen2 a1r
-

1ri(eia~- e-ia..- )

OP

27riein
1 - ei2Ka

(4)

Obtenemos

f( z) = - - a lo
1 + ez
largo de Ia fro ntera orientada positivamente 8P del rectangulo P con vertices en los puntos (- R, 0), (R, 0), (R, 27r),
(- R,27r), 8P = (rt,f2, f :J ,f4 ) (fig.S):

f( z) dz

z =i~

= n~+oo
lim
. =0
R-+oo 1 + e ReY
1 + e - RcY

~ Soluci6n. Integre mos Ia funci6n

f(z )dz

= - 27riea .

tomando en consideraci6n que

lim

J
=J

Pasemos en Ia igualdad (4) a l limite cuando R -+

IO
Fig.S

I =

Zo

rl
(- R,O)

eaz
=27ri-z

(3)

I1

+oo

m- 1

J +x"

_x_ _ dx (0
1

< m < n)

hacemos el cambio de variable x"

I1

J
=- -1

+co

tmfn - 1

1 +t

dt

= t. Obtenemos

7r

= - ---=--

...

n sen m 7r
n

El lector, posiblemente, ya habra notado que para

O<a<l
+co

J
0

ta - l

dt
1 +t

= B(a, 1 -

a)= f(a)f(1 - a) = _ 1r _.
sen a1r

r,,-R,

0
Fig.6

con fronteras orientadas positivamente 8Kn.

(f,, fn.)
(fig. 6). Integrando Ia funci6n f a lo largo de las curvas 8Kn. ,
obtenemos
~

Soluci6n. Evidentemen te,

=~

+co

j (.!. __1 )
X

-co

sh X

DKn,

dx
X

y x
0 es un punto singular evitable de Ia funci6n subinteg ra l. Considerernos ahora Ia funci6n

z .._.. f(z ) =

Esta tarnbien tiene un punto singular evitable en z

p olos simples en los puntos
Zk

K R. = {z E C:

lzl < Rn;

1m z ~ 0}

shx

dx + j
x

rn,

(~z - sh
1 z ~dz=
z

sh z-z
2::" res f (z) = 27ri ~
LJ res 2"""h =
z s z
"
sh z -z
I =
=27ri i :
k= l k1ri

=0 y

= 1rki (k E Z \ {0}).

1r, y Ia sucesi6n de regiones

f (z)dz=

rn,

= 27ri

Tomemos Ia sucesi6n {Rr,) de numeros positivos, donde

Rn = ( n + ~)

f (z)dz +

r,

- n.
0

1
(~- - ) ~.
z sh z z

J J
n.
= J (.!. __
1)

f (z)dz=

k= l k1ri

k= l

"
-27ri ~

2zshz + z chz
- k1ri

LJ - k21r2 ch(hi)

z=klri

k= l
n

( - 1)k

{-

1)k+l

= - 22: --;;- =2 2: - k - .
k=l

k=l

Cuando n --+ oo Ia sucesion R,.

g uiente, conforme al lema de Jordan
lim

n-oo

f (z) dz

--+

Demostrar que para -1.< a < 3

+oo. Por consi-

x" dx
1f
1
(1 +x2)2 = 4(1 - a) cos ?ra .

=0

y tambien

..,. Soluci6n. Utilicemos Ia formula (15), p. 4.1, tomando

n.

I = lim

n-co

J (.!. -X

1
) dx
sh X
X

f (z)

(-1)"+1

n= l

= ~ --= ln 2 .

y a

= a+ 1.

Para p = 0 y q = 4 Ia funci6n f satisfacc las condiciones

especificadas en el punto 5), p. 4.1. Teniendo e n cuenta que
0 <a+ 1 < 4, segun Ia formula (15), p.4.1,

- R.
00

= (1 + z2)2

.,..

+oo __x_a_ dx
(1 + x2)2

..,. Solu cion. Aqui p

= 0,

= 2,

y se cumplen

d
z"
d
Z
)
lim - - - . - + lim - - -.( z-i dz (z + t)l z- - i dz (z - t) 2

las cond iciones ind icadas en el punto 5), p. 4.1. Segun Ia

fo rmula (15),
27ri
I =
1_

/f

res
2i

1
~(z 2

+ 4)

+ res
-2i

1
~(z2

+ 4)

27ri
(2i"(a - 1)
st
1- e'2 KO
27ri

- 1 - ei2u

a- 1 (( - 1.)a
4i

--

2( -i) (a-

st

.a) -_

-t

;3u) _

11"(1- a) ( i~
e2-e2- 2(1- ei2m)
7r(1 - a)

----ra-
cos2

1)) =

62.

V -,_

1
" , n E Z.
Hallar-da slima da: Ia serie
"
:.J (a + np)2.

Soluci6n. Tenemos f( z)

= (a + bz)2

de segundo orden d e Ia funci6n

00

L (a+nW =- !~fb
n=-oo
=

_,_

= --b es un polo

f. Entonces
=

2
lim .!!.._ ('II' ctg 'II'Z (z + a/ b) )
z-- afb dz
(a + bz) 2
'II' d
lim - - ctg 'II' Z
z-afb b2 dz
'11'2

...

b2 sen2 ~.
b

z -a

(-1t

= 2a4 + 2n=L-oo n4 1

'II' (

a4

f(z)
sen 'II'Z

ia

'II' (
4a3

"

2'11'
'11'-.jg
=~ th - .

/3

ctg'll'z
+
+z+ 1

res

C~'II'Z

res

- t - i fj Z
2

I' ( ctg ( -'II' - i -J3 11' ) -ctg ('II'- + i-'11'

J3 )
='Iiv'3

+z+ 1

'II'
(iJ3 )
= iJ32tg
2'11' =
2'11'

'II'J3

J3

...

.,. Soluci6n. En el ej. 62 se demostr6 que

1

00

'11'2

(a+nW

= ;---;
~
sen b

(1)

Para b = 1 se obtiene Ia seric considerada. Por consiguiente,

f( z)
sen 'II' Z

f( z )
f(z) )
+res--+res-- ia sen 'II'Z
- a sen 'II'Z

= 2a4 -

'

+n+l

-J+i /jZ 2
2

u=-oo

= -4 - - r e s - - + r e s - - +
2a

= -'II' (

= - t h -.

Soluci6n. Utilizando Ia formula (4), p. 4.2, y tomando

1
f(z ) = - 4- -4 , obtenemos
00

~ n2
n~-oo

.,. Soluci6n. Aplicando Ia formula (3), p. 4.2, obtenemos

'II' ctg'll'z

=-

S= ~

y z

1.
-

oo:.,,

""

.,

Demostrar que

1 )

sen 'II' a + sh 'II'a

.,..

00

'11'2

L (a + n)2 = sen 7ra

u=-oo
2

.,..

..,. Sol uci6n. Evidentemente,

{-1)"

00

n=-oo

67.
1

00

(a+n)2

00

= n=-oo
L (a + 2n)2- n=-oo
L --

=n=-oo
L

n=O

cuya suma ya se conoce

(a + nb)2
(v. f6rmula (1) ej. 65). Tomando en (1 ) b = 2 obtenemos
1

I::

1r2

-=

n=-oo

--.

Para calcular Ia suma de Ia serie

00

(a+ 2n - 1)2

4 sen

I::

00

2:

I:: (2n - 1}2 =

n= l

00

{2n + 1)2 -

u=-oo

I:: (2n +1)2 =

n=O

De este modo, hemos obtenido un caso particular de Ia suma

de Ia serie

= ----,--::-:-

n=-oo

n=-oo

1
- 2

1r2

en Ia
(a+ 2n - 1)
formula mencionada hacemos b = 2 y cambiamos a por
a - 1. Hallamos que

'.:.
..~ -~ ,n--"1;: ~o-

00

= n=-oo
L (2n + 1)2 -

n= l

00

- ---

,~

-I::

00

00

..,. Soluci6n. Escribamos Ia serie en Ia forma

00
1
00
1
00
1
2
2
(2n + 1)
(2n + 1)
(1 - 2n)2 =

1
Las series "~ ( 1 )2 y ""'"'
L... (
) son casos
a + 2n
a + 2n - 1 2
particulares de Ia serie

Hallar Ia suma de Ia serie

para a = 1 y b = 2. Por tanto,

(a+ nb)2
1

00

1r2

?r2

2:
= -2 . 4 sen2-1r = -8 .
n=O (2n + 1)
2

?r2

4 cos 2 ?ra .

Finalmente,

{-1)"
1r2 (
1
" ---::?ra
2 =2
~
(a
-f
n)
4
sen
11 00
2
00

1r2
4

1 )
?ra
cos 22

cos 1ra
sen

1r2 ctg 1ra

sen ?ra

?ra
-

2 1ra -

cos ~

..,. Solucion. Hagamos uso de Ia formula (3)1 p. 4.21 tomando

1
f( z) = -,--2 . Obtenemos
z- + a
00

n~

1
1
1
n 2 + a2 = 2a2 + 2
1
2a

00

n= - oo

1
n 2 + a2 =

1r (
ctg 1rz
ctg 1rz )
re s -- + re s -=
2 z=ia z 2 + a2 z= - ia z2 + a2

= -2 - -

= 2_ _ ~ (ctgi1ra + ctgi1ra) =
2a2 2
2ia
2ia
1
1r cth 1ra
= -2a-2 + _2_a_
= -21a-2(1 + 1ra cth 1ra). ..,.

69.

. ..
BaJlar.la s~a de' Ia set'ie
,;,

"

_,

~.:

IJi

1
1r
1ra
1r
i1ra
= -2 + - cth- + - tg - =
2a
4a
2 i4a
2
1
1r
1ra
1r
1ra
= -2 + - cth--- th - =
2a
4a
2 4a
2
1
1r (
1ra
1ra)
=2a2
+ 4a cth2 -th2 =
27ra )
21ra
=-1- ~ ch 2 - sh 2
_
2a2 + 4a (
1ra
1ra
sh - ch 2
2
1
1f
1
=2a2 +4a 1ra
1ra sh - ch 2
2

(-lt'
.
L \..T----2,
n E Zo.
n +a

..,. Soluci6n. Tenemos:

1 ( 1+ 1ra- )
-2

(-1)"

00

- 2a

L n2+ a2 =

sh1ra

....

n=O

1
1
2a2 +2

00

n=-oo

(-1)"
n2+a2

~ Ejercicios

1 1( ~oo 1
=

00

00

2a2 + 2

(2n}2 + a2 -

..

1 )=

1. Hallar los residuos de las funciones siguientes en sus puntos singulares:

n~oo (2n -1)2+ a2

z2n

a) f (z) = - -

1 +z"

(n E N);

z2n

1
2a

1r (

= -2- 2

ctg1rz
ctg1rz
res
+ res ---+
z=ia/2 4z 2+ a 2 z=-ia/2 4z 2+ a 2

b) f( z) = (l

ctg 1r z
ctg1rz )
+ res
2
2
z=(l+ia)/2 (2z -1} + a
z=(l- ia)/2 (2z- 1)2 +a2

+ res
1

=2a2

7r

i1ra

i1ra

ctgT

ctg 2

(n E N);

d)

e'

e) f( z)

= 1 + z;

z -a
z-b

f) f( z) = e' ln - - .

2. Hallar los residuos de las funciones siguientes en sus puntos singulares finitos:
sen2z
a) f (z)

-2 ( ~ +~+
7r 1ra)
ctg ( -+i
ctg (7r
- - i1ra))
+
2
2 +
2
2
4ia
- 4ia

+ z )n

=cos z -sen z;
f( z) = zne: (n E N);

c) f(z)

b) f (z )

. ,;

(z+ i) ( zcosz
1T

zl-- z2

- res -I ( I + -1- + ... + - I -)

3. Hallar
z +1
(z + !)"
71 z

(11 E N).

b)

z
4. Hallar el residuo de Ia funci6n f(z) = ----r;

(Vl = 1).
I - vz
5. Scan f y g dos funciones analiticas en tm punto z = a, con Ia particularidad
d e q ue J (a) f. 0 y g(z) tiene en el p unto z = a un cero de segundo orden.
Demostrar que
/ (z)
6/ '(a)g"(a)- 2/ (a)g"'(a)
res- =
g(z)
3g"(a)2

b)

(n E N);

_e_'_ =exp { 2-k-2+-1 rr},

res

kr

r:rs sen2 z = e

(k+ l/2)r COS 2 Z

z 3"

(k E Z);

y para -z- g randes

c)

I Ln(z~~)+ 7ri'
I V1+ z~ r
I
r

a)

b)

dz,

'Y
b)

dz

b)

= ('Y,'Yor),
= ('Y.'Yor),

( sen :2 + e' cos z) dz,

'Y = {z E C: lz - il = 3};

a)

rn
n <R

< n + I,

I,_--<= 1 -

n;

;!.:....,

tri)'

{v'z=ll.-o= i) ,
-

= (1, 'Yor),

f=(/,'Yor),

~} .

{"(, 'Yor).

'Y = { z E C: lz l =

= 211 + I,

m E N,

n E N;

> 0).

principales en dichos polos son 9n(z)

j}.

14. Demostrar Ia igualdad

1
1

111 = {z E C: lzl == RJ,

= -(z--n-)2 .

(-1)"n

- -- = 2 + trz L -11- - 1
z

fn = ('Yn, 1~'),

1r

~ (a
=
a +sen2 cp 2v1 + a 2

13. Utilizando el tcorema de Mittag-Leffl er, hallar Ia forma general d e una funci6n
meromorfa f con polos de segundo o rden en los puntos b. = n y cuyas partes

'Y = (z E C: lzl = 1};

r=

a dcp

r
9. Demos lrar las iguilldades

z"'dz
~ 2 .;,n<~

7t/2

c)

-y= {z EC: lz-l l = n

~}

(2 +vz- 1)senz

12. Demoslrar que

1
z sen ; dz,

{Ln z

'Y = { z E C: lz l =

Ln z - 3lrt

8. Calcular las integ rales

1 = {z E C: lz l = 2};

= ('Y, 'Yor).

= {z E C: lz + 21 =

(-1)k
( k+2 (k-11) )
res f (z) = -( - - lim z f
(z) .
co
k + 1)! ,_,

I
I
I

f=('Y.'Yor),

7. Sea f. una funci6n que tiene en el punlo del infinito un polo d e orden k.
Demoslrar que

a)

= - (1 + o(I)).
~~-~+3
~
10. Calcular las integrales de todas las ramas de las siguientes funciones mulliformes:
r

(311)!
c) re s - - - = - - - ' - - - - - -1 (1 + z)"
(n - 1)!(2n + I)!

e' - 1
-J-.-2 dz,
z - tz

'Yr = {z E C: lzl = r},

e' dz r: '
= (1, 'Yor), I= { z E C: lz - 21 =
sen(1 + v z)
2
r
11. Calcular las integrales de las ramas indicadas d e las s iguientes funciones
mullifo m1cs:

= (n _ l )!

('Y, I";'),

6. Demostrar que

e'

> 3-,

= -,
r, =
tri

f (z)
/'(a)g'(a)- f (a)g"(a)
re s - =
.
g(z)
g'(a)2

r~s (z _ a)"

v'4z 2 - Bz + 3

r,

a)

Si el punto z = a es un cero simple de Ia funci6n g y f (a) f. 0, entonces

a)

dz

15. Demostrar las igualdades

a)

n= l

"" (1 - 1)
II
- =1
-;
n(n + 1)
3
n=l

8 Jl<. JS

2 ""

trn _ z4 + 11411"
4

z f. ntr(l t).

1)"+1 ) =
b) -II 1+~
oc

J
~

1.

b
)

n= l

16. Hallar"las regiones de convergencia de los siguientcs productos infinitos:

2

a) g(l + (1 + ~)" z"}

scn2x dx =2rr(a - Ja2- b2 ),

a+bcosx
b2

22. Calcular Ia integral

b) fr (1- --=-)
exp {--=- +! (--=-)\ ~ (--=-)
.,fii
Vn 2 Vn
3 /ii

I=

f , donde

g((

1 - ; ) exp {;

} .

i(;r})

a)

-oo

+oo

n'

+oo x 2 dx

c)

II
n= l

1+ (

(1-..!_) =
(1 + 2_)
n

n=.2

b) rr
oo

a)

b)

+oo

a)

n4

4rr2

b)

b E IR,

c E R;

c2

I +
J

--rra-,

- -2 dx= c
(x c)

sen rra

0
+oo

dx
=
2rrlcl
(a cosx + b senx +c)l
(2- - a2- b2)3/2

(a E R,

ch ax
a
- - dx =sec-.
ch rrx
2

25. Dcmostrar las igualdades

2r

ez dx
a
- - = sec - ;
ch rrx
2

- oo

sh 7r;
411'

21. Demostrar las igualdades

a)

ez

J
J

-oo
+oo

= ch rr,fi - cos rr,Ji.

n= 2

+oo

rr (n- 1/2)
20. Demoslrar las igualdades
a) rr
oo

2rr

f (z) = - - , -rr < a < rr,

ch 1rz
a lo largo de Ia fron tera del rectangulo con vertices en los puntos (- R, 0),
(R, 0), (R, i), (-R, i), demostrar las igualdades

r)

7r

c) th z = z

x5+ 1 = s"senscoss.

24. Integrando Ia funci6n

1 + ( _:_
nrr

j;

fr ( + 4;~}

senrrzshrrz rr
"" (
z )
b) rr2z2(1- z4) = n=.2 1- n4 ;

1 :xx6 =

n=1

00

5a4 + 1 + a~(a4 - 2a 2 -1)

;
(x4 + 1)(x2 + a 2)2 = 7r
2a2(1 + a 4)2

dx

J
f
+oo

b)

(n EN).

23. Demostrar las igualdades

cs entera. Hallar los ceros de esta funci6n y sus multiplicidades.

18. Demostrar el teorema de Weierstrass (v. p. 3.3) a partir del teorcma de MittagLeffler (v. p. 2.2).
19. Dcmostrar las igualdadcs
a) dlZ - cos z = z

ecosz sen(a sen x) sen nx dx

n= 1

f (z) =

J
2r

17. Demostrar que Ia funci6n

O< b <a.

b2

/X(x\c)2 dx = 2;/2;

+oo

a2 > 0) ;

c)

/
0

.;x
(x + c)2 dx

7r

= 2,fC;

c > 0,

-1

< a < 3,

a fl Z0

6~

J-->

+oo

d)

x
7T
aJT
- -2 dx =- sec - ,
I+ X
2
2

- l < a < l.

260 Integrando Ia funci6n

-r~~i?.ttulo .:~

I
f( z) = - -3
1+ z
a lo largo de Ia frontcra del sector circular
z

>-+

S = { z E C: 0 <

lzl < R, 0 < arg z <

2
; },

Aspectos generales de la
teoria geometrica de las
funciones analiticas

demostrar las igualdades

+oo

a)

! I+x

~- 27Tv'30
9 '

3 -

+oo

xdx

I + x6

=JT./3
9

27o Integrando Ia funci6n

>-+

f (z)

Este capitulo esta d edicado al estudio de algunas propiedades

topol6gicas generales de las funciones analiticaso Se exponen
algunos principios geometricos y cuestiones genera les de Ia
teorfa de las transformaciones confo rmeso La ultin1a secci6n
esta dedicada a las transformaciones conformes de poligonoso

ln z
=1 +z
2

a lo largo de Ia frontera del sector circular

={z E C:

< lzl < R, 0 < arg z < ~ },

demostrar que
+!lO

a)

In X
1r2 ../2
1 + x4 dx = - - s - ;

J
J

+co 2
x In x dx

b)

x 4 +1

1. Principio del argumento.

Teorema de Rouche

"

1r2 ../2
- 8-

1.1. Calculo de la integral -

28o Demostrar las igualdades

00

1
a) ~ - 4 -

L..J n
n=l

b)

""
L
=I (n

a4

21ri

1
7T
= - 4 - - 3 (ctg 1ra + cth 1ra);
2a
4a

2 2

+a )

ra + 7Ta
= -4a14 ( sh
- 21ra

cth 7Ta- 2)

j
lJD

\.

cS

cp(z) j'(z )

j(z )- A

dz

Dada una region D <S C, consideremos una funci6n f

anaHtica en Ia J.hr~ l5 salvo en un conjunto finito de
polos localizados en D (pero no en 8D)o Supongamos que Ia
frontera 8D esta orientada positivamenteo Sea, ademas, A un
numero complejo (finito) arbitrario tal que Ia funci6n f no
tiene A-puntos en Ia frontera 8DoSea cp una funci6n analitica

1
2

..

.:.

en Ia adherencia

15. Analicemos Ia funcion

z ,_, F(z)

Segun el teorema fundamental de los residues,

= cp(z )f'(z )

f (z)- A
en Ia region D . Sus puntos singulares posibles en D son
los A -puntos y polos de Ia funcion f .
Sean {a~;; k 1, m} los A-puntos de Ia funcion f
en D de multiplicidades a,, a 2, . . , a 111 , respectivamente,
y sean {bi; j = 1,n} los polos de ordenes (3 1,{32, ... ,(371 ,
respectivamente. Estudiemos Ia funcion F en un entorno del
punto a~;. De acuerdo con Ia formula (3), p. 1.8, cap. 2, t. 6,
f( z) - A (z - ak)at f o(z ), f o(ak) f; 0.
Entonces
!'(z) a~;(z - ak)ot - 1 f o(z) + (z - ak)0 t f~(z),

=
F(z) = cp(z) (z -

ak)at- 1( a kfo(z ) + (z - ak)J~(z))

(z- ak)at f o(z)

a~;fo
+ (z= cp (z ) _
_(z)
.....:.._.....:.._
_ ak)f~(z)
_:;.;_:...:..:,...:.

(z - ak)fo(z)

Ot

Analogamente, analicemos Ia funcion F en un entorno

del pw1to bi. Tenemos:
f o(z), ,
0
(z- biri

J'(z ) = -(Ji

f o(z)
(z -

f o(bj) f; 0,

b/JPi+l

f'(z) dz
cp(z) f (z)- A

OD

111

71

= '2: a~;cp(a~;)- ~ (Jjcp(bj).

k= i

(1)

J =l

En lo sucesivo, se asume que todo A-punto figura

un numero de veces igual a su multiplicidad. Anatogamente,
todo polo figura un numero de veces igual a su orden. De este
modo, el segundo miembro de Ia formula (1) representa Ia
diferencia entre Ia suma de los valores que toma Ia funcion cp
en los A-puntos de Ia func i6n f y Ia suma de los valores que
toma en los polos de f pertenecientes a Ia region D.
Consideremos dos casos particulares:
1) Para cp(z)

= z Ia formula (1) toma Ia forma

'

res F(z) = a~;cp(ak) .

(2)

de donde

f( z) _ A

1
27ri

F(z ) = cp(z ) -{Jj / o(z) + f~(z) (z- bj)

(z - bj )/o(z )
'
de donde

27ri

OD

f Mz) =
(z - b/JPi

1
(
.
= (z _ bi)Pi+l
- (Jj / o(z) + f o(z)(z -

El segundo miembro de Ia f6rmula (2) es Ia diferencia entre

Ia suma de los A-puntas de Ia funcion f y Ia suma de sus
polos localizados en D.
2) Para cp(z) = 1 se tiene

bj)),

J'(z)
J (z ) - A dz

rn

71

k=i

J=1

= '2: a~;- '2: f3i

(3)

En el segundo miembro de Ia formula (3) tenemos Ia

diferencia entre el numero de A-puntas y el numero de palos
de Ia funcion f localizados en Ia region D.

1.2. Teorema del residuo logaritmico

Supongamos ahora que A = 0, es decir, que los A-puntos de
Ia fu ncion f son sus ceros en Ia region D.

rn

Introduzca mos las siguientes notaciones:

2:::: ak = N
k=l

es el nume ro de ceros de

f en Ia region D y

a lo largo de Ia

cu~a

'Y es Ia funci6n

l ~-+ ~(l) = In f{tp(l}). Dado que Ia curva 'Y es cerrada,

j=l

entonces In if{tp{{J)) i = In if(tp(a))i . Tomando este hecho en

consideracion y aplicando Ia formula de Newton-Leibniz
(v. formula {1), p. 5.2, cap. 1, t. 6), obtenemos

L Pi= P, su

numero de palos en D. Entonces

27ri

Ia funcion

j -dz=N-P.
f'( z)
f( z)

{1)

DD

f'(z) dz
f(z)

= ~{{J)- ~(a)=

OD

La integral del primer miembro de esta igualdad se

denomina residuo logaritmico de Ia fimcioll f respecto a aD

y Ia propia igualdad expresa el sentido del siguiente teorema
del residua logaritmico.

= i(arg f(tp({J)) - arg / {tp{a))).

(1)

Introduzcamos Ia notacion

6.av arg f = a rg /{tp{{J)) - arg /(tp{a))

y escribamos Ia igualdad {1) en Ia forma

Teorema. Sea D <S C una region de frontem aD orie11tada positivn-

mellfe, dollde an es IIIla curvn de Jorda/1. Si Ia fimcioll f es a/laliticn ell

In adlrere11cia 15, salvo en los polos pertenecientes a D, y f 110 se a11uln
en aD, ellfOIICeS el residuo lognritmico de Ia fu ncio/1 respecto a aD es
igual a In diferencin entre el mimero de ceros y elmimero de polos de f
locnlizndos en In region D.

1.3. Principia del argumento

El teorema del residua logaritmico se puede interpretar geometricamente.
La pnnuhva
. . . de Ia f unoon
., f' en un en torno de un

punto z E aD, que no contiene ceros ni polos de Ia funcion f ,

es Ia funcion z ~--+ F (z) = In f (z), donde ln denota cualquier

f'(z)

rama dellogantmo, pues F (z) = f(z)

Sea aD

= {-y, 'Yor)

y sea [a, {J]

'I'
---+ 'Y

sobre

una para-

metrizacion de Ia curva 'Y. En este caso Ia primitiva d e

_1_
21ri

f'(z) dz = 6.av a rg f .
f (z)
21r

DD

Teniendo en cuenta el teorema del residua logaritmico, obtenemos

1
(2)
N- P = - 6.ov arg f.
27r
La ultima igualdad expresa el pri11cipio del nrgumento,
cuya formulacion es la siguiente.
"

Principia del argumento. Sen D < C rmn region cuyn fro/Item 'Y es
1111a curvn de Jordan. Si Ia fimcion f es nnalitica en Ia adlterencia 15,
salvo e11 un mimero ji11ito de polos localizndos en D, y f no se anuln
e11 Ia curvn -y, entonces Ia diferencia entre el mimero N de ceros y el
mimero P de polos de Ia fimcion f en Ia region D es igual al i11cremento
del argumento de f dividido entre 21r at recorrer u11a vez Ia fro/Item de
Ia region D en se11tido positivo.

Es evidcnte que -

27l"

~DD

.
arg f es cl numero de vueltas

completas que da el vector f (z ) alrededor del punto w = 0

cuando z recorre Ia curva orientada positivamente aD una
vez en el sentido contrario a! de las agujas del reloj. Por tanto,
el principio del argumento se puede enunciar de otra forma,
a saber:
Principio del argumento (enunciado alternativo). Sen D @ C una
region cuyn fronlern 7 es 1111n cmvn de jordan. Si In j1111cion f es
mrnliticn en I5, salvo en 1111 mimero finito de palos locnlizndos en D,
y In j1mcion f no se mruln en In frontern de Ia region D, entonces Ia
diferencia N - P es igunl nl mimero de vue/Ins camp/etas que da el
vector w = f alrededor del punta w = 0 cum1do z recorre 1111n sola vez
Ia fronlern de Ia region D en sentido positivo.

Sea N el numero de ceros de Ia funcion cp + '1/J en Ia

region D. De acuerdo con el principio del argumento,
1

= 27r ~Dvarg(cp+'I/J) =

= 2_
~DD argcp(1 + !cp ) =
27l"
= 2~ ( ~DD arg cp + ~DD arg ( 1 + ~)) .
Teniendo en cuenta que I! I
cp OD

= 1 +! no
cp
puede dar una vuelta alrededor del punto w = 0, ya que el
punto w = 1 + ~~;~ siempre se mueve dentro del cfrculo
K

Teorema (de Rouche}. Sean cp y '1/J dos fun ciones nnnliticas en Ia

ad/rerencia I5, donde D <S C es una regiozz de frontern aD orientnda
positivamente; los puntas frontern fonnnn una curva de jordan. Suponga~nos que Vz E aD lcp(z)l > 1'1/J(z)l. Entonces Ins j 1111ciones cp y cp + '1/J
tienen igunln1imero de ceros en In region D.
ollll

Demostraci6n. A partir de Ia desigualdad lcp(z)l > 1'1/J(z}l,

Ia cual se verifica V z E aD, se deduce que las funciones cp y
cp + '1/J no tienen ceros en aD. En efecto, como
Vz E aD lcp(z)l

> 1'1/J(z)l

= {w E C:

lw - 11 < 1}

que no contiene el pun to w=O. Por consiguiente, arg ( 1+~)

vuelve a tomar su valor inicial a! dar una vuelta completa
por Ia frontera aD y

~aD arg ( 1 + ~) = 0.
De esta manera,
1
N =27l"

~&D

argcp,

es decir, N es el numero de ceros de Ia funcion cp en Ia

region D. .,.

0,

entonces
lcp(z) + '1/J(z)l ~ lcp(z)l - 1'1/J(z)l

vemos que cuando el

punto z recorre Ia frontera aD, el vector w

1.4. Teorema de Rouche

Del principio del argumento se deduce Ia siguiente afirmacion.

< 1,

> 0.

El teorema de Rouche tiene numcrosas aplicaciones;

en particular, se utiliza para determinar_el numero de ceros
de una funcion.

:,.:.} 11ill

Utilizando el teorema de Rouche es muy fcicil demostrar el teorema fundamental del algebra:

Soluci6n. Hagamos

P(z)
Teorema fundamental del algebra. Todo polinomio de grndo n
1
P,.(z) aoz" + a1z"- + ... + a,. _1z +a,.

donde

cp(z) = -5z 3,

fiene exactamenfe n ceros en e/ plano complejo.

7/J(z)
Si lzl

= 1, entonces

Demostraci6n. Hagamos

P,.(z)

= cp(z) + 7/J(z),

donde

= cp(z) + 7/J(z),

lcp(z)l

= z5 +2.

=5 > lz5 + 21,

ya que

lz + 21 ~ lz 1+ 2 = 3.
L1 funci6n cp tiene tres ceros en el drculo unidad K. Por
tanto, segun el teorema de Rouche, el polinomio P tiene tres
ceros en el circulo K. ..,.
5

El polinomio cp tiene exactamente n ceros en el plano complejo, pues z 0 es el cero de multiplicidad n de Ia funci6n
cp y, segun lo acordado, todo cero figura un numcro de veces
igual a su multiplicidad. Tomemos en calidad de D cl circulo

Kn

= {z E C:

lzl

< R} ,

eligiendo R tan grande que V z E D Kn se verifique Ia

desigualdad Jcp(z)i > 17/J(z)i, d onde
1
7/J(z) a1z"- + ... + an-1Z +a,..

Para ello es suficiente tomar

= 1 + lad + la2l + ... +-Ia,,!.

Entonces1 por el teorema de Rouche, el numero de ceros de

0
las funciones cp y P en el_circulo Kn es el mismo, es decir,
el polinomio P tiene n ceros. ..,.

Soluci6n. a) Hagamos

= cp(z) + 7/J(z),
cp(z) = z 5

P(z)

II Problemas resueltos.

7/J(z)

= -12z + 14.
2

S1 izl = - 1 entonces
2
3125
21
Jcp(z)l = - = 97-,
32
32
17/J(z)l ~

l-12il + 14 = 89,

csto es, Jrp(z)J > Jt/J(z)J. De acuerdo con el teorema de Rouche

los cinco ceros del polinomio P se encuentrim en el drculo

donde
fn

izl < ~} . .

Ks12 = { z E IC:

"fn={ zEC:z =Rei ,

Determinemos para cuantos de ellos el modulo es menor que

uno. Para ello hacemos
P(z) = 'Pt (z) + tPt (z),

fPt(Z)

+ 12y2 + 14) =

= -~- ~ + o(R-1) = -1r + o(n- 1) ,

\rn arg P(z) =
2

= \r" arg z5 + \rn ( 1 + 11-12z

zS

+ 14.

Re z

=S?r+O(R- 1).

Para Jzl = 2 tenemos JrpJ(z)J = 48 y lt/JJ(z)J ~ lz l + 14 = 46.

De acuerdo con el teorema de R~uche, el numero de ceros
del polinomio P en el drculo K2 = {z E IC: Jzl < 2} y, por
consiguiente, en el inillo l'l, es igual a dos, o sea, equivale al
numero de ceros de Ia funci6n 'PJ
c) Dado que- P(iy) = iy5 + 12y 2 + 14, el polinomio P
no tiene ceros en el eje imaginario, pues las partes real e
imaginaria de P(iy) nose anulan simultaneamente. Aplicando
el principia del argumento al semicirculo

K = {z E C: lzl < R,

Ys

De este modo,
N

= 21?r (-1r + S1r) = 2.

.,.

> 0},
~

obtenemos el numero N de ceros del polinomio P en el

semiplano derecho a partir de Ia igualdad
N

+ \veto' -Rl arctg 12y2 + 14 =

P(z) = rp3(z} + tPJ(z},

tPJ(Z) = z

\[in, -iRJarg P(z)

= \yE[R,O) arctg 12y2 + 14 +

Si Jzl = 1, entonces Jrp 1(z)J = 14, lt/1 1(z)J ~ 13. Conforme al

teorema de Rouche, en el circulo K = {z E C: Jzl < 1} no
hay ceros del polinomio P. Consiguientemente, los cinco
ceros del polinomio P pertenecen al anillo V1
b) Hagamos

> 0 grandes,

Ys

12i.

rp3(z) = -12z

-~~t ~ ~}

Para valores de R

= L\vEIR,-RJ (iy

= 14,

tPt(Z) = z

= ("fn,"f~),

Soluci6n. La ecuaci6n no tiene rakes no negativas. Demostremos que tampoco tiene rakes negativas. En efecto,
hacienda z -x obtenemos Ia ecuaci6n

= -211" R-oo
lim ( \[iR, -iRI arg P(z) + \r" arg P (z)) ,

x4 - x3 + 4x

2x + 3 = 0.

Si 0 < x ~ 1, Ia suma de los tres primeros terminos y Ia

suma de los dos ultimos terminos son positivas. Si X > 1' Ia
suma d e los dos primeros terminos y Ia de los tres ultimos
son positivas. Por consiguiente,
Vx

>0

Si hacemos z

y4 -

+ 4x2 -

2x + 3

A partir de esa tabla es facil ver q11e

Llye[R,OJ arg (y

> 0.

Ll

+ Ll

z=Ri'
O ~ t ~%/2

arg ( i

4y

z=Re;'

arg ( z

O~ t ~7f/2

= Ll z= Re;'

+ 3 + i.( - y3 + 2y))
1

),

O~t~"/2

+ i + 4i + 2z + 3)

arg z

4(

1+

+ 4z + 2z +
4

resulta
N

= 27r (0- 27f + 27r) = 0.

Asi, Ia ecuaci6n considerada no tiene raices en el primer

cuadrante. Debido a que sus raices son pares de rakes
conjugadas, tampoco hay rafces en el cuarto cuadrante. Tanto
en el segundo como en el tercer cuadrantes hay dos raices. .,..

+ 2iy + 3) +

+ i + 4i + 2z + 3) ) .

+ x 3 + 4x2 + 2x + 3) = 0,
4
2
3
Llye[R,OJ arg (y - 4y + 3 + i ( - y + 2y)) =
-~+2y

= Llye[R,OJ arctg y4 -4y2 +3 .

EI numerador del argumento de Ia funci6n arctg se anula
/2 e y 0, y su d enominador, para y v3 e
para y
y 1. Cuando y varia de R a 0, dicha fracci6n se comporta
como sigue:

-!? +2y
y4- 4y2 +3

v'3

R
O(R-

00

Soluci6n. Escribamos Ia ecuaci6n en Ia forma

rp(z)

../i

00

3) =

Tenemos:
Ll:re[O,RJ arg ( x

= 21r + O(R-1),

lim ( Ll:re[o.R] arg (4

= -217r R-oo
x + x 3 + 4x 2 + 2x + 3) +

iy

4y

= -21r + O(R-

= iy, Ia ecuaci6n adquiere Ia forma

. 3 - 4y 2 + 2'ty + 3 = 0.
ty

+ Llye[R.OJ arg (y4 -

y como

Vemos que las partes real e imaginaria de esta ecuaci6n no

se anulan simultaneamente; por consiguiente, Ia ecuaci6n
tampoco tiene rafces imaginarias puras.
El numero de sus rakes localizadas en cl primer
cuadrante se calcula mediante Ia formula
N

donde

+ 'f/J(z) = 0,

rp(z) = z,

'f/J(z) = -w f( z ).
9 la.. JS

Para lzl

= 1 se tiene I~P(z)l = 1, iwf(z)i ~ iwiM, donde M =

max 1/(z)l. Vemos que lwl

11=1
teorema de Rouche.

<-

2. Conservacion de una region.

Inversion local de una
funci6n analitica

satisface las condiciones del

M
~

2.1. Principio de conservaci6n de la region

<1111

Teorema 1. Si una funcion f es analitica en una region D y 110 es

identica a una cons/ante, entonces Ia imagen de Ia region D mediante f
tambibr es una region.

Soluci6n. Escribamos Ia ecuaci6n en Ia forma

ip(z) + 7/J(z)

2z +3
=- - e-z = 0.
2z + 1

<1111

> - 1},

se cumple Ia desigualdad

I~P(z)l

z+31
= 12
2z + 1 > 1.

Dz = {z E C Re z

Sea [a, PI ~ 1 una parametrizaci6n de Ia curva I Entonces

sobrc

'V t E [a, PI 1p(t) E D

> 0},

1p(a) = z 1,

se verifica Ia desigualdad

De este modo, en Ia frontera del semidrculo

= {z E C

'if;(j3)

lzl < R, Re z > 0}

~

9'

I!.J.....___ __

=(f o 1p)(j3) = f(zz ) =Wz.

Por consiguiente, el conjunto D' es conexo por caminos, pues

dos puntos suyos cualesquiera se pueden unir mediante un
camino compuesto de puntos de D'.
2) Demostremos que D' es un conjunto abierto. Sea
w0 E D' un punto cualquiera y Zo una de sus preimagenes:

se tiene

> 11/J(z)l 'V R > 0.

1p(j3) = Zz.

Dado que Ia funci6n f es continua, Ia composicion 'if; = f o 1f1,

_D,p
[a, j3] es una parametrizaci6n de Ia curva continua
1' C D' que une los puntos
'if;(a) = (f o tp) (a)= f(zl) = WJ,

,,
I

I~P(z)l

D'

En caso de que z pertenezca a! serniplano

Kn

~
D '. Demostremos que
sobrc

es un conjunto abierto conexo.

1) Sean w1 y w2 dos puntos cualesquiera del conjunto
D' y sean z1 una de las preimagenes de w1 y z2 una de las
preimagenes de w2 mediante Ia aplicaci6n f, es decir, f(z 1) =
w1, f(zz) w2, z 1 ED, z2 ED. Como Ia region D es conexa,
existe una curva de Jordan 1 CD que une los puntos z 1 y z2

Si z pertenece a! serniplano
D1 = {z E C Rez

Demostraci6n. Tenemos D

j (Zo) = w 0 Pa r cuanta D es un canjunta abierta, existe un

entarna

O,(zo) = {z E C lz- zol

< r}

D.

Escajamos 7' tan pequeno que Ia adherencia O,(z0 ) no contenga w0 -puntos de Ia funci6n f (excepto el punta z0 ). Tal
circulo existe, pues los w0 -puntas de Ia funci6n analltica
f ~ canst son aislados. Supongamos que
-y={zEC lz - Zol=r}

Nota 1. l..,1s aplicaciones continuas que dejan invariab les los conjuntos abiertos
se denominan nplicncio11es nbiertns. L1s aplicaciones abiertas tambien dejan
invariables las regiones. Por consiguicnte, las aplicaciones efectuadas mediante
funciones analfticas son abiertas.

Nota 2. Sc dice que una aplicaci6n abicrla A

_!__.
D es i11terior si para
sobre

todo punto b E D el conjunto r'(b) de sus preimagencs (r'(b) C A) no

conlienc ningun continuo 2). Es cvid cnte que las transformaciones efecluadas
mediante fun cioncs analiticas son interiores, pucs V b E D el conjunto
(b)
se com pone solamente de puntos aislados.

r'

J.L =min lf(z) - wolObviamente, /.L > 0, pues de lo contra rio, es decir, para fL = 0,
la funci6n continua z ~-> lf(z) - wol, cuyo valor mfnimo se
alcanza en un conjunto cerrado, se anularfa en cierto punta
z' E 'Yr y esto signiicarfa que en Ia curva 'Yr hay un w0-punto
de Ia funci6n J, la cual entra en contradicci6n con Ia elecci6n
de 'Yr. Demostremos ahara que
K 1, ={wE C lw- wol

< fL}

C D'.

En efecto, sea w1 E K 1, un pw1to arbitrario. Tenemos:

+ (wo - wJ),
p., lw1- wol < J.L en Ia curva 'Yr.

2.2. Inversion local

de las funciones analiticas
Sea w = f(z) una funci6n analitica en el punta z0 . Consideremos los dos casas siguientes:
a) Supongamos que f'(zo) 'I 0 y f( Zo ) = Wo. AI igual
que en el tearema de canservaci6n de Ia region, escojamos un
circulo O,(z0 ) que pertenece de forma compacta a Ia region
de analiticidad de Ia funci6n f y no contiene otros w0 -puntos
de Ia funci6n f salvo el centro zo. Sea

f (z) - w1 = (J(z )- wo)

ademas de que lf(z)- wol ~

Segun el teorema de Rouche, en el conjunto limitado por 'Yr
Ia funci6n z ._, f( z) - w 1 tiene el mismo numero de ceros
que Ia funci6n z ._, f( z) - 1Uo- La ultima tiene al mcnos un
cero en el entorno O,(z0) . Por tanto, Ia funci6n z .-. f( z)- w 1
tambien tiene en ese entomo a\ menos un cero, es decir, existe
un punta z 1 E O,(zo) tal que f(z 1) = w1, de donde se deduce
que w 1 E D' . Como w 1 E K 1, es arbitrario, concluimos que
K 1, C D' , es deci1~ D* es un conjunto abierto.
De 1) y 2) se deduce que D' es una regi6n. ~

J.L = min lf(z)- wol,

J.L

> 0,

zEr,

donde
-y,={zEC lz -zol= r}.
Aplicando el teorema de Rouchc vemos que todas los valores
de Ia funci6n f en el circulo O,(zo) tienen Ia misma multiplicidad que w0 . Pero Ia funci6n toma el valor w0 s6lo en el
punta z0 y, ademas, una sola vez, ya que J'(zo) 'I 0. De este
modo, en el drculo O,(z0 ) Ia funci6n f adopta una sola vez
toda valor del circulo

K 1,= {v,E:C lw-woi< J.L}.

2) N. del T. Conjunto compacta

y conexo.

En otras palabras, Ia funcion f es localmente de una hoja

en e l punto zo. Por tanto, en el circulo K 1, esta definida
Ia fun cion z = g(w) inversa de Ia funcion f : g(w0 ) = z0 y
(J o g) (w)
w . Como f es una funcion de una hoja, entonces
D.w =I= 0 para D.z =I= 0 y en un entorno del punto z0 se tiene

La serie (1) se denomina serie de Lagrange.

Vcamos una generalizacion de Ia formula (1). Sea F
cierta func ion analitica en una region que contiene de forma
compacta a! circulo O.(z0 ) . Hallemos el d esarrollo de Ia
funcion Fog en un entorno del punto w 0 . Sea

D.g

D.w

D.z

=-

D.w

= -

D.w

- - =I= 00.

00

f'(z)

(F o g) (w)

D.z

Repitiendo las transformaciones anteriores, obtenemos

= g(w) = zo + a 1(w- wo) + a2(w -

= g<">(w0 ) = ~

a,.

n!

21r1

Cambiemos d e variable tomando z

Entonces

= 27ri

zj'(z) dz
(J( z) - wo)"+ 1

I d:
z

((f(z)

r,

1
= 21rin

I
r,

1(d"=
n!

dz

(f(z) - wo)"

wo)

+ ... ,

b,.

= g(w)

(w

= 27ri

= f (z)).

~ wo)" )

dz

r,

r,

1
) dz =
F (z) - d (
dz (f( z)- w0 )"
F(z)dz

(f(z)- w 0 ) 11

Por consiguiente,

(F o g)(w) = F(zo) +

z-zo )")

00

=l<J'

+~ n!

1 ( dn-1 (

r. = ('r.,-r~l

dzn-1 F'(z)

J~;:~o )n)) =l<J(w-wo)". ~2)

La formula de Lagrange corresponde al caso F(z)

b) Sea ahora

z= g(w) =

_!_ (

=zo+ I::n!
n= l

I
I

- -1 ( -dn-l- ( F'(z) ( Z - zo ) " ) )

- n! dz"- 1
J(z)- Wo
=Zo.

De este modo,

oo

F(z)j'(z) dz
(J(z) - w 0 )n+l =

r,

1
= 21rin

1
(

F(g(w ))
dw=
(w - wo)"+ 1

1
= -21rin

dz"- 1 j(z)- Wo

I
I

1
27ri

=-

OK~

r,

=- 2:in

g(w) dw .
(w - w0)n+l

OK~

a,.

b,.(z- zo)" .

n= l

Consecuentemente, g E A(K1,).
Sea
z

= F(zo) + L

f'(zo) = J'' (zo) = ... = f (p-t)(zo) = 0,

dn-1 ( z -zo )")

(w - wo)" . (1)
dz" - 1 J(z)- wo
=l<J

f <P>(zo) =I=

(p

> 1}.

= z.

Razonando amllogamente, elijarnos un drculo Or(zo) que no

contenga otros wo-pun tos de Ia funcion j salvo el centro zo
y tal que V z E Or(zo) \ {zo} se verifique /'(z) f 0. AI igual
que antes, tomernos cierto /1. > 0 y demostrernos que en el
drculo Dr(zo ) Ia funcion 1 lorna cualquier valor w E K 1,
tantas veces cuantas veces lorna cl valor w 0 en Or(zo), es
decir, p veces. Adernas, si w f w0 , a todo valor w le
corresponden p valores diferentes de z, pues para estos
f'(z) f 0. En este caso Ia funcion 1 se denomina fwz cion
de p lzojns en el drculo Or(zo). Por tanto, si z E Or(zo),
entonces
w = f (z) = wo + (z - zo)Ptp(z),

1/J(z) = (z - ZQ)~ =

tp(zo)

!Jw -

0,

Wo,

donde ~ es cierta rarna. En un entorno del punto zo esta

rarna se puede desarrollar en una serie de Taylor cuyo terrnino
independiente es distinto de cero. Por consiguiente, 1/J'(zo) f 0
y, conforrne al punta a), en un entorno del cero existe Ia
1
funcion z = -,p- (() inversa de ( = 1/J(z). Desarrollernosla en
scrie de Taylor en un entorno del punta ( = 0:
()()

z = zo + a1( + a2(

Analizando el desarrollo (3) llegarnos a Ia conclusion

de que en cl drculo K 1, Ia funcion g(w) constituye el elemento
de una funcion anaHtica completa para Ia cual el punto w 0 es
un punto de rarnificacion de (p- 1}-<!simo arden.
De los casos a) y b) se deduce Ia siguiente afirrnacion.

Teorema 1. Ln condicion !' (zo) f 0 es necesnrin y suficiente pnrn que

In funcion nnnliticn f sen locnlmente de una fzojn en el punto z0
Observemos que aunque Ia funcion 1 sea localmente de una hoja en todo pun to z de Ia region D, esto no
implica, en general, que sea de una hoja en toda Ia region D . Considerernos, por ejemplo, f( z ) = e'. En este caso
Vz E C j'(z) = e' f 0. Sin embargo, Ia funcion z ~-+ e'
no es de una hoja en toda region que contenga a! menos
un par de puntas z 1 y z2 tales que z 1 - z2 = 21fki. Por
consiguiente, Ia condicion j'(z) f 0 en D es necesaria pero
no suficiente para que Ia funcion 1 sea de una hoja en toda
Ia region D .

+ ... = zo + La,.(.
n= I

Sustituyendo en esta expresion ( por (w -"w0 )11P, obtenernos

el desarrollo de Ia funcion inversa de 1 en una serie de
potencias generalizada:

zo + L

curon de jordan orientndn positivnmeute. Supongnmos que 15 ~ jj

sobrc

-oo

z = g(w) =

Teorema 2 (principia de uniforrnidad). Sen j una fzmciotz mznliticn

en una region D y confirllln en S /1 ndlzerencia 15 c C; sea an 111/fl

a,.(w- w0)"1P.

(3)

n= l

Se puede comprobar que los coeficientes a,. del desarrollo (3) se calcul<m a partir de las formulas

~~))1/p

1 (dn- 1 (
a,. = n! dzn- 1 (f(z) z_

))

z=z,,"

(4)

y, ndenuis, In nplicncion de aD en 8D' es biunivocn. Entonces ln

funcion j es de rmn lrojn en In region D.

~ Demostra~ion. Sea wo E D' un punta arbitrario. Determinemos cuantas veces se anula la funcion z ~-+ f( z) - w0
en Ia region D . Segun el teorema del residua Iogarft-

mico,
1
N=27ri

J
OD

j'(z) dz
f (z)- w0 '

(5)

donde N es el nurnero de ceros de Ia funci6n z ~---+ f (z)- wo

en D. Dado que entre los puntos de las fronteras 8D y 8D'
existe una correspondencia continua y biunivoca, en (5)
podemos integrar a lo largo de Ia curva 8D' haciendo
el cambio d e variable w = f(z) , dw = J'(z) dz. Obtenemos
1
N=-dw
- = 1.
27ri
w- wo

...

oo

Soluci6n. Aqui

zo = Wo = 0,

f(z) = ze-a,

F(z) = e6'.

j'(O) ::P 0,

Aplicando Ia formula (2), obtenemos

ebg(to) = 1

+fA (d'~-~1
n.

n=l

=1 +b

(be(b+an)))

dz

wn

oo (b +ant-I
w.
L
n!
n=l
11

El radio de convergencia de Ia serie de potencias obtenida se

calcula a partir de Ia formula de Cauchy-Hadamard:

R=

Problemas resueltos.

1
lb +anin-I

n!

n-oo

lb + anll- 1/n

hm
n-oo

n
-

= $!

rn!

Tomando b = a, obtenemos
~

Soluci6n. En este caso

F(z)

w0

00

z =g(w) = a+

= 0,

z-a

f( z) = --.
senz
Seglln Ia formula de Lagrange (1),
z0 =a,

1 ( dn -1

I d 11 _ 1 (sen" z)
n= 1 n.
z

a: -~~,

=e

- J (z)

(F o 1p)(w)

= g(w)
w

Por tanto,

<>

g(w)
-=1+

w".
z=a

...

z=O

Loo an(n + 1)"- 1w,n

n!

n=l
00

g(w)

= w +"LJ an (n + 1)"-1
n!

n=1

n+l

00

= "L...Ja n (n + 1)"-1 wn+ 1

n=O

n!

.,..

 3. Propiedades de los extremos

del modulo de una funci6n
analitica
3.1. Principia del maximo del modulo
de una funci6n analitica
Teorema 1 (princi pio del maximo del modulo, primer enunciado). Sen f
1111n j11ncion nnnliticn en una region D. Si Sit modulo 1!1nlcnnzn 1111
maximo local en 11n ptmlo z0 E D, enlonces f const en D.

~
~

Soluci6n. Escribamos Ia ecuaci6n en Ia forma

z- z

Sea, ademas, D ___!___. D'. Entonces w0 E D' y D ' es una

0
w=wo+ - -.

sobrc

<p(z)

La funci6n
z 1--1 f(z)

es analitica en el cfrculo

region. Por consiguiente, existe un cfrculo

K 1, = {wE C: lw - wol < J.L} C D'
y un punto Wt E K 1, tal que lwd > lwol- Por tanto, en un
entorno del punto z0 existe un punto z 1 tal que j(z1 ) = w 1 y
if (zt)l > 1/(Zo)l. Esta desigualdad contradice cl hccho de que
lf (zo)l cs un maximo local de Ia funci6n f . La contradicci6n
se debe a Ia suposici6n de que j ~ const. Por consiguiente,
f (z) =: constVzE D. ~
-

z
=w0 + -z-0
<p(z)

Kr,

J'(z) = 0 y f( Zo) w0.

Conforme al caso a) considerado al i.nicio del paragrafo, para
todo

w E { w E C: lw- wol < ~},

r

M = min lf(z) - w 0 l,

Ia ecuaci6n w = f(z) tiene una unica soluci6n g(w) que

pertenece al cfrculo Kr. Seg(m Ia formula de Lagrange (1),
esta soluci6n se puede representar mediante Ia suma de Ia
serie
oo 1 ( dn- 1
)
g(w) = Zo + ~ n! dzn-l (<p(z)t z=:o (w- wot -

Demostraci6n. Apliquemos el metodo de reducci6n al absurdo. Supongamos que f(zo) = Wo y que f ~ const en D .

- - - - - -- - 0

Corolario (principia del maximo del modulo, segundo enunciado). Si

wra j11ncion f es nnnliticn en una region D y continua en In ndlterencin 15, enlonces I! I nlcnnzn Sit maximo solo en In frontem 8D de In
region D.
~

Demostraci6n. Esta afi rmaci6n se deduce del primer enunciado y de las propiedades de las funciones continuas en un
compacto. ~

Senalemos que para ~I mmtmo del modulo 1/1 Ia

afirmacion amiloga al teorema 1 no se cumple. Efectivamente,
sea, por ejemplo, f(z) z,

D1 = K={ zEC: lzl< 1}.

cp(z) = - .

Kp={zEC: lzl< p},

donde

/p

= {z E C:

lzl = p}.

Dado que V z E K lf(z)l :;;; 1, entonces V z E i p se tiene

~-

1\0(z)l = 1/(z)l :;;;

Demostraci6n. Es suficiente aplicar el tcorcma 1 a la funci6n
1
analitica enD, ya que V zED f(z) :f. 0. Illg=

p
Por consiguiente,

3.2. Lema de Schwarz

La siguiente afirmacion pertenece a Schwarz.

f una funci6n analitica en el drculo

= {z E C:

lzl < 1},

tal que V z E K satisface las condiciones f (O) = 0, lf(z)l :;;; 1. Entonces
V z E K se cumplen las desigualdades
K

1/(z)l :;;; lzl, 1/'(0)1 :;;; 1.

(1)
Ademas, si se verifica Ia igua/dad 1/'(0)1 = 1 o existe almenos un punta
z :f. 0 tal que lf(z)l = lzl, entonces V z E K se cumple Ia igualdad
1/(z)l = lzl, es decir, Ia fimci6tz f fiene Ia forma
f(z)

=eiaz,

a ER

""

Lema (de Schwarz). Sea

p < l.

De acuerdo con el principio del maximo, lcpl alcanza su

maximo en Ia curva

Teorema 2 (principia del minimo). Si f E A(D) y V z E D f (z) :f. 0,

entonces 1/1 puede alcanzar 1111 mfnimo local en D solo si f const.
~

~--+

La condicion f (O) = 0 implica que cp E A(K ) y cp(O) = f' (O)

(se supone que Ia funci6n ha sido definida en el punto
singular evitable). Estudiemos la funcion cp en el circulo

La funcion f es analitica y f ~ const, sin embargo alcanza

su minimo 1/(z)l 0 en el punto z 0, el cual es un punto
inte rior de Ia region D 1 . La explicacion de este hecho es
que Ia funcion f se anula en su region de analiticidad. Este
ejemplo sugiere Ia siguiente afirmacion.

Demostraci6n. Consideremos Ia funcion

f( z)

lcp(z)l :;;; - V z E K p
p
Haciendo tender p a Ia unidad para un z E K fijo obtenemos
Ia desigualdad lcp(z)l :;;; 1, o bien 1/ (z)l :;;; lzl. Es evidente
que z puede ser cualquier pun to del drculo K. En particular, tomando z = 0, obtenemos lcp(O)I = 1/'(0)I :;;; 1. Sea
ahora 1\0(Zo)l = 1 para cierto Zo E K. _Esto significa que 1101
alcanza su m~imo en el punto z0 . Por consiguiente, seglln
el tcorema 1 cp const, y como lcp(z)l_= 1, z E K, entonces

cp(z) = eia z,

a E lit

Ill-

La interpretacion geomcHrica del lema de Schwarz es

bastante sencilla. Mediante Ia funci6n w = f (z), todo punto
z E K bien se aproxima al origen de coordenadas, bien Ia
transformaci6n es un giro alrededor del origen de coordenadas. En otras palabras, la imagen de toda circunferencia

;; = {z E C: lzl = r}

bien se encuentra dentro del cfrculo

/(;= {wE C:

lwl.< r},

Solucion. La afirmacion se deduce directamente del principia

del maximo del modulo. ~

Solucion. La funcion

bien coincide con Ia frontera del mismo.

El lema de Schwarz admite varias generalizaciones.
La mas simple de elias es Ia siguientc. Sea z = 0 un cera de
multiplicidad ..\ de Ia funcion f. Entonces considerando Ia
funcion z ~--+

f(~)
z

lf(z)l ~

obtenemos las desigualdades

lzl'\

Vz E K

p>(o)j

~ ~ 1,

(el signa de igualdad es posible si, y s6lo si, f( z) = ei"z").

f&J

Problemas resueltos.

(I-+ Y'(() =

f(

z)

es analitica en Ia region
~

Solucion. Cada componente conexa constituye Ia frontera de

cierta region D; Ia funcion Pes analftica enD y su modulo es
constante en Ia frontera 8D. Por tanto, segun el principia del
maximo, en el interior de D existe a! menos un punta z E D
tal que P(i) = 0. En caso contrario, P(z) =canst en D. ~

J(I /R

= {( E iC: I(I < ~}

(se considera que Ia funci6n ha sido definida en el punta

singular evitable ( = 0) y su modulo es continuo en el circulo
cerrado K 1tn Seglffi el principia del maximo, IY'I akanza el
maximo en Ia circunferencia aKI/Rt mientras que 1!1 lo alcanza en Ia circunferencia rn-A partir del ej.lO se deduce que
sup iY'tOI
I(I=P
crece estrictamente en el intervale ( 0,

~) . Por consiguiente,

M(r) = sup lf(z)l

lzl=r
decrece estrictamente en el intervale (R, +oo ).

l.

10 J a<. l8

.,.. Soluci6n. La funcion

P(z)
1-+ - -

z"

es analltica en Ia region
D = {z E C: lzl > 0}
y, por consiguiente, satisface las condiciones d el ej. 11 para
todo R > 0. Jll>
_,.. So lucian. La funcion z-n P(z) sa tisface las condiciones del
cj. 11 y, por consiguiente, su mod ulo alcanza un maximo en
Ia circunferencia
1
que es Ia frontera de

= { z E C:

D=

lzl = 1}

{z E C: lzl ~ 1}.

Sea
M =max lz- "P(z)l ~ 1.

lzl=l
Entonces, seglill el ej.ll tenemos que lz-" P(z)l
11
Z , o bien

P(z )

_,.. Soluci6n. La funcion

=1, es decir,

W1-+ <p(W) =W- n P

~ (W+ W-I) )

es analitica en el conjunto

iz- "P(z)i < 1V zE D ={zEC: lzl>1}.

La ultima desigualdad es imposible.

D={w E C: lwl ~1 }.

Jll>

Dado que la imagen de Ia circunferencia

1 = {w E C: lwl = 1}
mediante la aplicacion
1(
-1)
z=-w+w

2
es el segmento [- 1, 1], entonces de las condiciones de partida
tenemos que
Vw E 1 icp(w)i ~ M.
Segun Ia solucion del cj. 11, Ia ultima desigualdad es valida
tambien para lwl ~ 1:

Vw E D
10

lp (~(w +w- I ~ Mlwl

1

))

11

es decir,

Sea z0 un punto arbitrario que no pertenece al segmento

[- 1, 1] y sean a, b los semiejes de Ia clipse que pasa por cl
punto zo y tiene sus focos en los puntos 1. La aplicaci6n
w

=z

+ Jz2=1

(w(oo) = oo)

F (z) =

es analltica en el serni plano G' (se supone que en los p untos

singulares evitables

Por tanto,
IP(.zo)l =

lp (~(wo+wiJ )) I~ Miwoi"= M(a+b)".

1

l:=l

= {w E C: lwl = a+ b}.

f (z)
71

f1 IPk(z)

transforma dicha elipse en Ia circunferencia

"(

!p~;(zk) = 0.

IYh(iy)l = 1 y

Por consiguiente, Ia funci6n F, dondc

Zk

(k= 1,n)

Ia funci6n esta definida) y IF(iy)l ~ M. Por tanto, segun el

princi pia del maximo,
IF(z)l ~ M Vz E G,
es decir,
Jl

lf (z)l ~ MIT IIPk(z)l

V z E G'.

k=l

Soluci6n. La funci6n
z ~--+ IPk(z)

Z- Zk

= --z+zk

establece un isomorfismo conforme entre el semiplano

G' = {z E C: Re z

> 0}

~ Sol uci6n. La funci6n

y el drculo unidad

={w E C:

lwl < 1},

~--+ It'(() = / (R()

M

es analitica en cl cfrculo

K = {( E C:

1(1 :::; 1}
1'

y lrp(()i :::; 1. Haciendo uso de Ia forma general de los

automorfismos del cfrculo unidad (v. formu la (5), p.1.3, cap.3,
t. 5), llegamos a que Ia funci6n
( ..... F(()

= rp(() -

IQ(z)l

rp(O)

<1111

1 - ip(O)rp(()
satisface las condiciones del lema de Schwarz y, por tanto,

rp( () - rp(O)
1 _ ip(O)rp(() :::; 1(1

Tomando a qui ( =

para

f (z), obtenemos Ia desigualdad requerida.

M

~)

Zt-+

..,.

~ Soluci6n. La funci6n

,.
I

M(i(z)- j(O)) = F(z) (M 2 _ J(O)j(z))

obtenemos

M(1

+ .J2)n+l '

obtenemos Ia estimaci6n

IP(z)l

satisface las condiciones d-el lema de Schwarz, luego IF' (0)1:::;1.

Pasando a! limite cuando z-> 0 en la igualdad

Aplicando el lema de Schwarz a Ia funci6n

P(z)

- M(f(z)- j (O))
z ..... F(z) = - - =---M 2 - j(O)j(z)

Soluci6n. Sean P(z) = zQ(z} y E una elipse de serniejes

a = ./2, b = 1 y focos =Fl. Entonces V z E E (v. ej. 14) se
verifica Ia desigualdad
IP(z)l:::; M(l + /2)"+

1(1 :::; 1.

y teniendo en cuenta que rp (

~{~ (1+Vi't+1 _.

Mj'(O) = F'(O) (M 2 -1/(0)12),

de donde, tenie ndo en cuenta Ia desigualdad IF'(O)I :::; 1,
llegamos a Ia desigualdad requerida. ..,.

l.

= lzQ(z)l :::; M(l + v'2 )"+1lzl. ...

4. Principio de compacidad.
Funcionales definidos sobre
familias de funciones analiticas
4.1. Familias uniformemente
acotadas y equicontinuas
Asociemos al concepto de continuidad uniforme de una
funci6n f el concepto de equicontinuidad d e una familia.
Expongamos los razonamientos que sugieren Ia introducci6n
de es~e ultimo concepto.
Una funci6n f : C --t C tambien puede considerarse
como una funci6n f : ~If -+ C si se toma z = x + iy = (x, y).
Sea Z = D1 y sean Z 1, Z2 las proyecciones primera y segunda del conjunto z. Denotemos mediante Z1(x}, Z2 (y) sus

Ut,z)zez,,

(h,y)yez2,

donde
D t..,

= Zt (X),

ft,,.(y)

= f (x, y) 't/y E Zt(x),

h,y(x) = f(x, y) V x E Z2(y).

Dh, = Z2(y),

(1)

Suele decirse que Ia funci6n 11,,. se obtiene de 1

fijando Ia p ri mera variable x, y Ia funci6n h,y, fijando Ia
segunda variable y. De Ia definicion se ded uce que si Ia
funci6n f: C -+ C es uniformemente continua, todas las funciones de las familias U t,z)zez,, (h,y)yez2 son u niformemente
continuas. Dicho d e otro modo, Ia continuidad uniforme de
una funci6n resp ecto al conjunto de variables implica Ia continuidad uniforme respecto a cada una de elias por separado.
Existen, sin emuarg~, funciones que siendo discontinuas respecto al conjunto de variables, son uniformemente continuas
respecto a cada variable por separado, como lo demuestran
los ejemplos siguientes:

- f (x, y)

2~

si lxl ~ 1, IYI ~ 1 y x 2 + l :t= o,

-+n2
n2

-+n2
n2

Por consigu iente, el conjunto EJ(O ) de los limites parciales de

Ia funci6n 1 en el punto cero contiene mas de un elemento,
luego lim f (z) no existe. ~
z-0

Ejemplo 2. Sea f una fund6n arbitraria definida en Ia circunferencia unidad

'Y = {z E C: lzl = 1}.
~

Soluci6n. En este caso

r1 r2

= = (- 1,1],

ft(x)={-~,~},

Ejemplo 1. Sea
-

todo y E [-1, 1]\ {0}. Si x 0 6 y 0, las funciones ft.oy h.o

son iguales ~ cero y uniformemente continuas. De este modo,
Ia funci6n f es uniformemente continua respecto a cada
una de las variables por separado. Sin e mbargo, Ia fu nci6n
f: C -+ C es discontinua respecto al conjunto de variables en
el punto cero. En efecto
1 1
2 1
1
2
lim n n
lim n n
u-oo 1
1 - 2' n-oo 4
1
5

secciones mediante x e y (v. p. 1.7, cap. 1, t. 5). Hagamos corresponder a Ia funci6n I dos familias de funciones de lR en C:

Soluci6n. Tenemos entonces:

z = [-1, lf,
Zt = Z2 = Zt(x) = Z2(y) = (- 1, 1]

V(x E [- 1, 1],

yE[-1,1]).
Si x :f. 0, Ia funci6n 11,. es racional en el segmento [-1, 1]. De
acuerdo con el teorema d e Cantor Ia funci6n es uniformemente
continua. La funci6n h.v tambien posee esa propiedad para

-vfl-Y2, vfl-Y2}.

r 2(y) = {
Para todo valor de x E r 1 , el conjunto f 1(x) tiene a Jo sumo
dos puntos. El conjunto f 2 (y) tambien posee esa propiedad
't/y E f 2 . Asf pues, las familias de funciones <ft.z) y (h,y) se
componen de funciones uniformemente continuas. Como Ia
funci6n I es arbitraria, Ia misma puede ser discontinua en
todo pun to de Ia circunferencia 'Y. ~

La bt.isqueda de las condiciones que al ser in1puestas

a !as familias (/1,.):ez, y (h,11 ) 11 e~ aseguren Ia continuidad
uniforme de Ia funci6n I respecto al conjunto de variables,
conduce al concepto de equicontinuidad.

Definicion 1. Sea 9Jl un conjunto de funciones f: C --. C. Sc dice

que este conjunto esequiconlimtO si \1 c > 0 3 6 > 0:

'V(f E 9Jl,

Teorema. Si 1111 conjun/o 9Jl.de fullciOIIes f : C

---+ C nnnliticns en una

region D es unifonnemenle nco/ado en el interior de D, enlo11ces es
cquiconlinuo e11 el interior de D.

E D1, z" E IJJ) (lz 1 - z"l < 6) => jJ(z ) - f (z")j <c.

Demostracion. Sea K D . Denotemos mediante 2p Ia

distancia entre los conjuntos K y an, es decir,

Dado un conjunto A, Ia familia de funciones Ua)aEA

es equicontinua si lo es el conjunto 911
{J0 : a E A}. En
particular, se puede habla r de Ia equicontinuidad de una
sucesion (f.. ) de funciones j 11 : C ---+ C. El termino "equicontinuidad" se explica por el hccho de que Ia eleccion de 6
en Ia definicion 1 depende solo de c y puede utilizarse para
argumentar Ia continuidad uniforme de toda funcion f E 9J? .

2p =

p(z, ().

inf
z{K,(E8D

Es evidente que p > 0, ya que K y an son conjuntos

cerrados disjuntos. Consideremos el conjunto

K <Pl= U{zEC: lz-zol < p}

ZoEK

Definicion 2. Un conjunto 9Jl de funciones f: C ---+ C definidas en

una region D se denomina unifonnemente ncolado en el interior de D,
si para todo ~ompacto K D existe una constante M
M(K) tal
que
\1 (f E 9Jl, z E K) IJ(z)l ~ M .

que a veces se denomina p-inflncion del conjunto K. Es

obvio que J(<Pl D y, por consiguiente, existe una constante
M(K<Pl) tal que \/(z E K<Pl, f E 9Jl) lf(z)l ~ M. Sean
1
1
Z y z" dos puntos arbitrarios d e K para los cuales lz - z"l <p.
Como

K p = {z E C: lz-

Se dice que una familia de funciones Ua)aEA es uniformemente acotad a en el interior de D si 9Jl {!0 : a E A}
es un conjunto ufiiformemente acotado en el interior de D.

1< p} C K<P>,

entonces para todo z E K p se verifica Ia d esigualdad

1
lf(z)- f(z 1 )1 ~2M. La funcion ( -(z- z') transforma el

=p

drculo Kp en el drculo unidad

Befinicion 3. Un conjunto 9Jl de funciones f : C ---+ C dcfinidas en
una region D se denomina equiconti11110 en el interior de D, si \1 c > 0
y para todo compacto K D 3 6 6(c, K):

K1 = {( E C:

'V (f E 9Jl,

(l z

1
-

z"l

Analicemos Ia funcion

E K, z" E K)

< 6) => lf(z

1
) -

g(()

f( z")l < c.

Se dice que una familia de funciones U a)aeA es equicontinua en el interior de un dominio D si 9Jl = {!0 : a E A}

1(1 < 1}.

es un conjunto equicontinuo en el interior d e D .

= 21M(f(z

g E A(KJ),

- p()- f( z )),

g(O) = 0,

lg(()l

< 1.

Esta funcion satisface las condiciones del lema de Schwarz,

luego
\1 ( E K1

lg(()l ~ I( I,

o bien
1

2M IJ(z - p() - f (z')l ~

z ),
I( I, ( = -(zp

Ij(z)- j(z)'I < -2M lz- z I

I

Si tomamos

0 = min{p,

z' E K y z" E K pertenecientes a un mismo cuadrado y

V f E !))1 se verifique Ia d esigualdad

If( z) I

V z E Kp .

entonces

< E:.

I < 3.

(1)

Un numero finito de tales cuadrados recubre completamente el conjunto K. Supongamos que este numero
cs igual a p. Debido a que el conjunto E es denso en D,
todo cuadrado anteriormente indicado contienc un punto zk
( k = 1, p). Dado que Ia sucesion de funciones (!,.) converge
en el conjunto E, existe un n, E N tal que

;~ } ,

V J E 911 jJ(z") - f(z')j

f (z II )

II>-

v(m>n,, n>n,, k = 1,p)

4.2. Principio de compacidad

se verifica Ia desigualdad

lfrn(zl:)- f ,.(zd l

Definicion. Un conjunto 9Jl de funciones f: C -+ C definidas en

una region D se denomina compacta en D si de cada una de las
sucesiones (!,.) de este conjunto se puede extraer una subsucesion
(j,.k) uniformemente convergente en cualquier compacto K <S D .

conjunlo !)Jl de
funciones analfticas en una regi611 D es unifomremenle acolado en e/
interior de D, enlonces es compacta e11 D.
~

+ lfm(zk)- f" (zk)l +

+ IJ,.(zl:)- f ,.(z)l < 3 + 3 + 3 =e.

1111

Demostraci6n. 1) Demostremos primero que si Ia sucesion

(!,.) converge en todo punto de un subconjunto E C D dense
en D, entonces converge uniformemente en todo compacto
K <S D (recordemos que un conjunto Z 0 C Z se denomina
denso en el conjunto Z si todo elemento z E Z es un punta
adherente del conjunto Zo). Elijamos un E: > 0 y sea K <S D .
Segun el teorema del p. 4.1, el conjunto de funciones !)Jl es
equicontinuo en el interior de Ia region D , por lo cual Ia
region D se puede dividir mediante rectas paralelas a los
ejes coordenados en cuad rados tan pequefios que para todos

(2)

Sea z E K un pu nto pertenecien te al k-esimo cuadrado en donde esta fijado el punto zk E E. Para m > n, y
n > n, tenemos entonccs
lfm(z)- f,. (z)l ~ lf m(Z)- f m(zk)l

Teorema (principia de compacidad de Monte!). Si

< 3

De este modo,
t>

llfm - / nil = sup l/m(z) - f n(z)l ~ e

zEK

V(m

> n,, n > n,),

es decir, Ia sucesion (!11 ) es uniformemente fundamental en

el conjunto K y fn =l.
2) Ahora demostrcmos que a partir de toda sucesion (!,. ) de funciones del conjunto 9J1 se puede extraer una
subsucesion (j,.k) convergente en todo punto de un subconjunto E denso en el conjunto D. Sea E el conjunto de puntos
z E K cuyas partes reales e imaginarias son racionales,
E = {zk; k E N}. Consideremos Ia sucesion (j,.(z!)). Dado

que esta sucesion es acotada, p or el teorema de 13olzanoWeierstrass, de ella podemos extraer una subsucesion convergente Unt (z t)) . Sea f nt(z) fk,{z ). Considere mos Ia sucesion
{fk1(z2)). Esta ultima tambien es acotada y d e ella se puede
h 2
extraer una sucesi6n convergente (/,.t,(z2)). Sea fut~
De Ia sucesion {fk2(z3)) se puede extraer una subsucesion
convergente Unt2(zJ)L etc. Continuando este procedimiento obtenemos Ia sucesion de sucesiones (/k 1(z)), (fk2(z )), ... .
Escojamos aha ra Ia sucesion diagona l j 11 (z), j 22 (z ), .... Esta
sucesion converge en todo punto del conjunto E. En efecto,
cualquiera que sea el punta Zp E E, todos los terminos de
Ia sucesion (/,. 11 (z)) a p artir de / pp(z) fueron elegidos de Ia
sucesion (/n p) convergente en el punto Zp.
En virtud d e que 2) => 1), el principia de compacidad
queda d emostrado. .,..

Sea, por ejemplo, 9J? el con junto de todas las funciones

analfticas ei1 Ia region D . Definamos I (f) como sigue:

I(f ) = f(pl~a)'

p.

siendo a E D un punta fijo. Demostremos que este fundonal es continuo. Sea (/,.) una sucesion de funciones del
conjunto 9J1 uniformemente conve rgente a Ia funci6n f o en
todo compacta K @ D . Segun el teorema d e Weierstrass,
f o E A (D ). Sea

= /r = {z E C:

lz-

ai = r } C D.

En este caso

'Vc

> 0 3nc EN:

'V(n ~ n., z E /r) IJ,.(z) - f o(z)i <c.

Aplicando Ia desigualdad de Cauchy para los coeficientes

de una serie de potencias (v. formula (6), p. 1.7, cap. 2, t. 6),
bbtenemos

4.3. Funcionales definidos en conjuntos

d e funciones

!IUn)- I(fo)l

= IIUn - fo)l < rP '

lo que significa Ia continuidad del funcional I .

D efinicion 1. Sea 9Jl un conjunto de funciones f : C

C definidas
en una region D . La aplicacion 9J1 .!.. C se denomina funcionn/.
-+

t>

El funcional I pone en correspondencia a cad a funcion

E 9J1 un numero complejo I(f).

Definicion 2. Un funcional I se denomina continuo en un elemento

fo E 9Jt si pa ra toda sucesi6n (/11 ) de funciones del conjunto 9Jl,
uniformemente convergente a Ia funcion f o en todo compacta K @ D,
se verifica Ia igualdad
lim I(/11 )

n-oo

= I(fo).

Definicion 3. Un conjun to compacta 9Jl de funciones se denomina

_ secuencinlmente compncto si ellfmi te de toda sucesion (/,.) de funciones
de 9Jl uniformemente convergente en todo compacta K
al conjunto 9Jl.

D pertenece

Dicho de otro modo, el conjunto 9J1 de funciones

f : C -+ C es secuencialmente compacta si d e toda sucesi6n Un) de funciones de !)Jl se puede extraer una subsucesion Unt) uniformemente convergente en todo compacto
K @ D a una funcion de 9J1.
Como ejemplo de un conjunto de funciones secuencialmente compacta puede servir el conjunto de funciones
analfticas uniformemente acotadas en una region D.

Teorema. Sea I

..,. Demostraci6n. Scgun el teorema de Weierstrass f E A(D ).

Dado que f "$ 0, existe un entorno rcducido del punto

fun cional definido en un conjunto secuezzcialmcnle

compacta 9J1 de fzmciones f: C -+ C. Si I es continuo en 9J1, entonces
su modulo II(f)l alcanza el supremo, es decir, exisle una funci6n f o E 9J1
tal que
V f E 9Jll/(f)l ~ II(fo)l.
1111

~ D emostracion. Hagamos

= sup II(f)l . Sea

Zo Op(zo) = {z E C: 0 < iz- zol < p} C D

en el cual f f:. 0 (pues los ceros de las funciones anaHticas
son aislados).
Sea
J.L = min lf(z)l,
/.L > 0,

(e,.) una su-

/ E'JJ!

:E71

cesion infinitesima de numcros positives. Segun Ia propicdad

d el supremo V n E N 3 /,. E 9J1 tal que

dond e

a - e,. < II(f,.)l ~ a,

de donde lim II(f,.)l = a. De este modo existc una suce-

En virtud de que j ,. =l

n-oo

n-oo

Por cuanto el conjunto 9J1 es secuencialmente compacto, existe una subsucesion (f,.t) uniformemente convergente
en todo conjunto K <S D a una funci6n f o E 9)1. En virtud
de Ia continuidad d el funcional I , se tiene
lim II(fnt)l

k-oo

d e donde sc deduce que a

f en Ia region D, e.xiste

n 1, E N: V (n ~ nw z E "/p) lf,.(z)- f( z)l < J.L

'

si6n Un) de funciones del conjunto 9J1 tal que Jim II(f,.)l =a.
~

1p = {z E C: lz - zol = p}.

V z E "/p j ,.

= j + (f,. -

f).

De acuerdo con el teorema d e Rouche, las funciones f y j,.

tienen en el interior de "/p un numero igual d e ceros. Como f
tiene al menos un cero, entonces para n ~ n1, todas las
funciones f n tambien tienen ceros en e l interior de

= II(fo)l = a,

"'p .,.

< oo y

V f E 9J1 II(f)l ~ II(fo)l.

.,..

4.4. Teorema de Hurwitz

Corolario. Si una sucesi6n de Jzmciones (/,.) nnalfticns y de una lzojn

e11 una regi611 D converge uniformemente en todo compado K <S D, Ia

f zmci6n limite es bie11 zmifonne, bien consta11te.

La siguiente afirmaci6n pertencce a A. Hurwitz (1859- 1919).

..,. Demostraci6n. Supongamos que lim f n

n-oo

=f

y f "$ const,

y que existen dos p untos di fe rentes z 1 E D y z2 E D tales

que f (z!) = f (z2) Consideremos Ia sucesi6n de funciones

Teorcma (de Hurwitz). Sea Un) una sucesi6n de funciones annliticns en

una regi611 D que converge u11ijonnemente e11 todo compacta K <S D
n una fimci6n f "$ const. Si f (zo) 0, Zo E D, en/onces, para todo

g,.(z) = f ,.(z) - f ,.(z2),

circulo

y el drculo

Kr= {zEC: iz-Zoi < r}CD,

n partir de cierto m!mero n todas Ins funciones f ,. tnmbien se mwlnn
en Kr .

Kr = {zEC: lz-zd<r},
r ~ lz1- z2l
II Ja<. JS

Tenemos:
li m 9n(z)

n- oo

= f (z)- f (z2) =g(z),

g(z 1)

Teorema. Sen D 1 ...!!._. D 2 cierto isomorfismo. Enfonces el conjtmfo de

=0,

sobre

/ados los isomorfismos de D 1 sabre D2 se define medin11te ln f6mw!n

f

de donde, segun el teorema de Hurwitz, a partir de cierto

numero n todas las funciones g,. tambiE~n se anulan en el
circulo K,. Esto contmdice el hecho de que las funciones f,.
son d e una hoja. .-

=VJ

f o,

donde tp es 1111 nutomorfismo nrbifrnrio de ln regi611 D2.

..,.. D emostraci6n. 1) Es obvio que 'V tp E A.(D2) Ia composici6n
tp o f o es un isomorfismo de D, sobre D 2 .
2) Sea f un isomorfismo cualquiera de D 1 sobre D1.
Consideremos Ia composici6n tp = f o / 01. Es evidente que
tp E A(D2), f = tp o fo.
._

5. Ex is ten cia y unicidad

de las transformaciones conformes

5.2. Ejemplos de automorfismos

5.1. Isomorfismos y automorfismos conformes

1) D =C. Sea tp un a utomorfismo cualquiera de C. En este

caso existe un solo punto zo E C tal que tp(zo) oo . Por
tanto, Ia funci6n z ....... tp(z) es analitica en el conjunto C\ {zo}
y tiene en el punto z0 un polo de primer orden (Ia funcion no
puede tener polos de 6rdenes superiores puesto que tp debe
ser de una hoja). Por consiguiente, de acuerdo con el teorema
d e Liouville tenemos

Dadas dos regiones D 1 y D2 , se denomina isomorjismo

confonne de D, sabre D2 a una transformacion conforme f
de D, sobre D2; se dice que las regiones D 1 y D2 son
confonnemente isomoifns. Un isomorfismo conforme de una
region sobre sf misma se denomina nulomorjismo confonne.
El conjunto de a utomorfismos de una region arbitraria D
forma un grupo que se denomina gmpo de automorfismos de
esta region y se de nota mediante el simbolo A(D). La ley de
composici6n en este grupo es Ia composici6n

tp(z)

={

_ A_ + B , para

z - Zo
Az + B,

Zo

f. oo

para Zo = oo.
De esta manera, el conjunto de todas las transformadones
homograficas forma un grupo de a utomorfismos C.
2) D = C. Razonando amllogamente obtenemos que
el grupo A(C) esta formado por el conjunto de todas las
funciones lineales enteras tp(z) = Az + B.
3) D = K
{z E C: lzl < 1}. Sea tp un automorfismo arbitrario del drculo unidad K y sea tp(O) = wo.
Construyamos un a utomorfismo homografico .X del circulo K:

Ia unidad es Ia transformaci6n ident ica e: z ~ z y el elemento

inverso de tp es Ia transformaci6n inversa z = tp- 1(w).

Nota. Para simplificar Ia tcrminologia, omitiremos con frccuencia Ia palabra

"conforme" de Ia expresi6n "isomorfismo (automorfismo) conforme".

.X(w) =

I I'

W - Wo

1- WoW

.X(wo)

=0,

= >. o t.p. Es evidente que

Ana licemos Ia composicion f

if( z )i

< 1 '<f z E K ,

f(O)

=0.

Por consiguien te, f satisface las condiciones del lema de

Schwarz y '<;/ z E J( se tiene

lzl.

if(z)i ~

(1)

Consideremos Ia transformacion inversa

(w) = z. Esta
tambicn satisface las condiciones del lema de Schwarz y, por
tanto, lf- 1(w)i ~ lwl, o bien

izl

if(z)i '<f z E K.

(2)

A partir de (1) y (2) se obtiene Ia igualdad lf(z )i

izi, cs
decir, f (z) = e;0 z es una funcion lineal simple y t.p = >,- 1 o f
es una funcion homografica. Entonces todo au tomorfismo
del circulo K es homografico y, por tanto, es de Ia forma
(v. formula (5), p. 1.3, cap. 3, t. 5)
w=e

lal

< 1,

. z- a

10

a E IR,

--

1 - iiz'
a

= arg dw
dz

I.
z=a

arg >.'(a) = a,

(3)

d on de a y b son dos puntas fijos arbitrarios de J( , y a es un

numero real arbitrario.
En efecto, sean {L(z) y 11(w) dos automorfismos del
circulo K:
z- a
w-b
( = {L(z) = e' 0 - - _ ,
11(w)
1 - za
1 - bw

(=

= - --.

>.(a)= b,

arg >.'(a) = arg fL (a)- arg 11 (b) =a- 0 =a.

De cste modo, hernos construido un automorfisrno del drculo unidad >. = 11- 1 o I' que verifica las condiciones (3).
Consideremos Ia composicion

= II

\
0 1\( 0

- 1

I' '

donde >. 1 es otro automorfismo del drculo K que satisfacc

las mismas condiciones. Evidentementc,
j(O) = 0,
argj'(O)

=arg11 (b) +arg>.'1(a)- arg{L (a) =

1

=O+a-a=O.

Por consiguiente, >. 1(0) = 0, arg >.'1(0) = 0; entonces, conferme aI lema de Schwarz, f = e es una transformacion identica,
es decir,

Asf, los automorfismos del cfrculo unidad K depend en

de tres parametres reales: de dos coordcnadas del p\.lnto a y
de a.
I>
Demostremos ahora que va riando estos paraR1etros se
puede hallar un unico automorfismo >. E A(K) que sa tisfaga
las condiciones de normalizaci6n
>.(a)= b,

= 11 - 1 o fL . Tenemos:
>.'(z) = J.L'(z)
II'((),

Consideremos Ia cornposicion >.

= 11 o >. 1 oIL - 1 ~ "I\ = 11 - 1 oIL= "\

5.3. Existencia y unicidad

de los isomorfismos de las regiones
isomorfas al drculo unidad
Subrayemos el hecho siguiente: debido a que el grupo de automorfismos de un drculo unidad depende de tres parametros
reales, el grupo de automorfismos de toda region D isomorfa
al cfrculo unidad tambien depende de Ires parametres reales.
El siguiente teorema establece Ia existencia y Ia unicidad de los isomorfismos de las regiones isomorfas al d rculo
unidad.
Teorema. Si dos regiones D 1 y D2 son isomoifas al cfrculo rmidad K,
cl conjunto de isomorfismos de D 1 sabre D2 depende de fres para-

I D2
metros renles. En pnrticulnr, cxisle unn zlnicn nplicnci6n D1 --+
-sol>rc
110mznlizndn del modo siguicnlc:

f(Zo)

=wo,

a rg J'(zo)

= 8,

1' K D
' Sean D 1 --+
h K dos ap1ICaCIO.
~ Demostracion.
y 2 ---+
sobrc
sobrc
1

nes. La aplicacion f o ! 2- o f 1 es un isomorfismo conforme

de D 1 sobre D 2 Segun el teorema del p. 5.1, el conjunto
de todas las aplicaciones de D 1 sobre D 2 esta dado por Ia
formula

fzfwo)

= b,

arg

>.(a)

= - 02 + 8 + 02 -

=b,

arg >.'(a)= 8 + 82- 8,,

(2)

normalizado de Ia

(3)

(como ya sabemos, tal automorfismo se determina de un

modo univoco).
Anal icemos e l isomorfismo

J =h-i 0 >. 0

Dz

que verifica las condiciones {1). Entonces

= j o g- 1 E A(D2),
<p(wo) = Wo,
<p

= arg !' (zo) -

Consideremos el automorfismo JL
unidad K. Tenemos:
p,(b)

arg p,'(b)

arg g' (zo)

=h

<p 0

= 0.

r;' del drculo

= b,

= a rg <p (wo) + arg f~(wo)- arg /~(wo) = 0,

1

de donde se deduce que I'= e y, por consiguiente, <p

decir, f o g- 1 e, o bien g = f. .,.

=e, es

5.4. Teorema de existencia

Na turalmente, surge Ia siguiente pregunta: zque regiones
son conformemente isomorfas a! circulo unidad y, por tanto,
conformemente isomorfas entre si? L1 respuesta se contiene
en el teorema sig uiente.

Teorema {de Riemann). Todn region simplemenle co11exn cuyn Jro11tern

co11sln de mas de zm punlo es confomzemente isomorfn nl circulo zmidad

< 1}.

K = {z E C: lzl

fl

= 8.

Supongamos que existe otro isomorfismo D,

arg f~(wo) = 82,

8, + 8,

1; (Zo) =

Con esto queda demostrada Ia existencia de un isomorfismo de D 1 sobre D 2 que satisface las condiciones de
norma lizacion (1). Demostremos ahora su unicidad.

arg <p (w0 )

1;(Zo) _= 81 ,

y sea >. un automorfismo del circulo

manera sigu iente:

= wo,

arg j ' (Zo) = - arg f~(wo) + arg >.'(a) + arg

= <po f o,

donde <p es un automorfismo arbitrario de Ia region D2.

Dado que el grupo A(D 2 ) d e au tomorfismos de Ia region D2
depende d e Ires parametros reales, e l conjunto de transformaciones conformes de D 1 sobre D 2 tambien depende de
Ires parametros reales. Asi pues, Ia primera pa rte del teorema
queda demostrada.
Sea ahora
j ,(zo) =a,

f(Zo)

{1)

donde z0 E D1 y w0 E D2 son puntas nrbilrnrios y 8 E IR es 1111 111imero

nrbitrnrio.

de D 1 sobre D 2 . Tenemos:

No la 1. L1 condici6n impucsta a Ia frontera de Ia regi6n es imporlanle. Por

ejemplo, el plano complejo ampliado no se puede transformar conformemcn tc
en un drculo; es mas, cl plano C no es ni siquiera homeomorfo al drculo K
(pucs Ia csfera no cs homeomorfa al drculo). Si eliminamos un punta del
plano C, podemos transformarlo mediante una aplicaci6n homog rMica en C,
pero no es posiblc lransformar conformcmenle C en el drculo K. En cfeclo,
si tal aplicaci6n existiera, ella seria cntera y su valor absolu to cstaria acotado
por Ia unidad; pero de acuerdo con el teorema d e Lio uvi lle toda funci6n de
este tipo es igua l a una constante.

Sean dos aplicaciones D __!:__, D 1 y D ~ D2.- De.

sobrc

sobrc

mostremos que D1 y D 2 no tienen puntos comunes. Supongamos lo contrario, que D 1 y D 2 tienen puntos comunes.
Esto significa que hay un par de puntos z1 y z2 d e D para
los cuales <p 1(z 1) <p2(z2). De esta igualdad se deduce (1) y
de (1), Ia igualdad z2 z 1, es decir,

'PI (zJ) = V'2(z1 ).

Teniendo en cuenta que

Nola 2. Si Ia frontera de una region simplemente conexa contiene mas de un
punta, en tonces, por sec conexa, conticne necesariamcn te un conjunto infinilo
de puntas.

(/' I (zl )

llegamos a las igualdades

V'k(zl )
~

D emost raci6n. 1) Demostremos que en Ia region D existe al

menos una funcion analitica de una hoja cuyo va lor absolute
esta acotado p or Ia unidad. Tomemos d os puntos a E 8D y
bE 8D, a::/= b. Ana licemos Ia funcion analitica completa
z

~--+ <p(z) =

JS.

Esta funci6n tienc dos ra mas uniformes z

en Ia region D , ya que

1--+

=0

V z E D V'k(z ) ::/= 0.
Sea

un d rculo en el que Ia funci6n <p 1 no toma va lores, es decir,

<p 1(z) y z

1--+

<p2(z)

V z E D 1 IV'1 (z) - wol ~ p.

z

oo

V'k(zJ) = V'k(z2) (k = 1, 2).

= <p~ (z2), lo que es equivalente a Ia igua ldad

ZJ -

(1)

Dado que Ia funcion homogrilfica es de una hoja, (1) imp lica

que z 1 z2.

~--+

g(z)

p
= _.....:....__
'/2J(z) - Wo

En todo p unto z E D los valores de dichas ramas se diferencian en el signo. Demostremos que cada una de estas
funciones es de una hoja en D . Supongamos lo contrario. Sea

z1 - a

=1, 2)

que son imposibles ya que

Entonces Ia funcion

Entonccs <p~(z 1 )

(J..:

Kp= {wEC: lw-wol < p} C D2

'1:/zE D z - a::/= { 0 .

z -b

= -<p2(zl ),

es analftica y de una hoja en D , y

'1:/ z E D

ig(z)i ~ 1.

2) Sea 9J1 el conjunto de todas las funciones analfticas,

de una hoja en Ia region D y aco tad as en valor absolute por
Ia unidad . Este conjunto no es vado, ya que g E 9R, y por
el principio de compacidad, es compacto en D. Fijemos
un p unto a E D . Denotemos mediante 9Jl 1 aquella pa rte
d e 9J1 compuesta de todas las funciones f E 9J1 para las
cuales IJ'(a)l ~ lg'(a)l > 0 (Ia ultima desigualdad es una

consecuencia de que g es de una hoja). Demostremos que

el conjunto 9Jl 1 es secuencialmente compacta. Sea (/,.) una
sucesi6n de fu nciones de 9Jl 1 uniformementc convergente en
todo compacta K D y lim f ,. f 0 . Puesto que

n-oo

Denotemosla mediante 1/J(z). Es evidente que tanto 1/J(z) como

Ia funci6n
ll!(z) = 1/J(z) -'1/J(a) ,
1 -1/J(a)'I/J(z)
pertenecen al conjunto 9Jl. Un calculo directo proporciona

Vn EN IJ~(a)l ~ lg (a)l,
1

entonces IJMa)l ~ lg (a)l. Ademas, segun cl corolario del

teorema de Hurwitz, f o const o bien f o es de una hoja
en D . El caso /o const se excluye debido a Ia tHtima
desigualdad. Por consiguiente, f oE 9J1 1 .
Consideremos el funcional I(f )
/'(a) definido
en 9J1t. Dado que I es continuo en Ia familia secuencialmente compacta !)Jll de funcioncs (v. sec. 4), su mod ulo
alcanza el supremo, es decir, existe una funci6n h E 9Jl 1 tal
que V f E 9Jll se verifica Ia desigualdad

,
'1/J(z) =

IJ'(a)l ~ lh (a)l.
1

~-+

H (z) =

h(z)- h(a)

1 - h(a)h(z)

E 9Jl 1

{1 -1/J(a)'I/J(z))

de donde
2
1
'1/J'(a)
h (a) (1- lbl )
Ill (a) - ---=...,===-____:....:.....!..
- 1 - 11/J(a)l2 - 2H(1 - lbl) '
1

lll1 1(a)l

= lh (a)l (1 + lbl) > lh {a)l.

2ylbj
1

Por consiguiente, Ill E 9Jll y lll1 (a)l :::> lh (a)l. La ultima desigualdad contradice el caracter extremo de Ia funci6n h. ~

Corola ri o. Dos regiones simplemente conexns cuyns front ems conticnen

mtis de 1111 pwzto, son confonnemente isomorfas w~n a otrn.

y
HI

Ill (z) =

Demostremos q ue h(a) = 0. Supongamos lo contrario,

cs decir, que h(a) :f; 0. Entonces

{1 -lbl 2)
2'
21/J(z) (1- bh(z))
'I/J (z) {1 - 11/J(a)l2)
h 1(z)

I _ lh (a)l
(a) - 1 - lh(a)l2

> lh (a)l,

'
lo cual con tradice el ca racter extremo d e h.
3) Demostremos que D ~ ]{ . Supongamos lo consobrc

trario, o sea, que h{z) no toma en D ningun va lor b E K .

Como h(a) = 0, entonces b ::j:: 0. Obviamente, Ia funci6n h
tampoco toma en D e! valor b*

1
= -=-,
ya q ue lb*l > 1. De
b

este modo, podemos separar en D !a rama uniforme

h(z) - b
1- bh(z)

6.

Correspond.encia de las fronteras

y principio de simetria en el caso
de transformaciones conformes

6.1. Teorema de correspondencia

de las fronteras
El tcorema de Riemann no dice nada sobre Ia correspondencia de las fronteras mediante una transformaci6n conforme ni sobre el comportamiento de Ia aplicaci6n en Ia

.o de simelria

frontera de Ia region. La respuesta se da en Ia afirmacion

siguiente.
Teorema (de Caratheodory). Si Ins fronlems ric rlos regiones D y D'

son curons de Jordan, cnlonces In lrnt1sformnci6n confonne D _!__, D'

sobrc
sc pucde prolongnr ell Ia Jrontem ric In region D obtenienrlo 1111
llomeomorfismo de las ndl1erencins 15 y 15'.
Omitiremos Ia demostracion. Solo hagamos notar que
las condiciones impuestas a las fronteras de las regioncs
son esenciales. Se pueden presentar ejemplos en los que el
teorema d eja de ser valido si las fronteras no son curvas de
Jordan.
Existen otros resultados mas concretos referentes al
comportamiento en las fronteras de las transformacioncs
conformes de las regiones con fronte ras d e Jorda n si las
curvas veri fican condiciones complementarias. Citemos dos
de tales resultados 3>.
1)

~esultado

de Schwarz. Si las frontems de dos re-

giones D y D'

SOil

curoas de jordan analiticns, Ia

lmnsformaci6n conjom1e D _!__, D' se prolongn en

sobrc

una jzmci611 nnnlilica en

15.

2) Resultado de Lindelof. Si Ins fro rllems de D y D'

son curons de Jordan suaves y f es una lmnsformaci6n

confonne de D sabreD', enlonces arg f' (z ) se prolongn
en 1111n junci611 continua ell 15, con In pnrticularidad de
que "i/ ( E {)D arg j'(() = 0'- 8, rlonde 0 y 8' son los
J) Rcmitimos

aI lector interesado en el comportamiento de las transformaciones conformes en Ia frontera de una regt6n a los iibros siguicntes:
Caratluiodory C., Transformaci6n confonne; Go/uzin G. M., Tcoria geometric~
de las fu nciones de variable compleja, M.-L.. 1967 (en ruso).

ringulos de inclinnci611 de las tnngenles a las Cllrons 8D

y 8D' en los puntas ( y f ((), respectivnmente.
En el caso de las transformacioncs conformes de regiones limitadas por curvas de Jordan, para determinar una
transformacion conforme de un modo unfvoco hay que especificar Ia correspondencia de tres pares de puntos fronte ra.
A saber, scan a, b y c tres puntos arbitrarios de Ia frontera 8D y sean a', b' y c' tres puntos a rbi trarios de 8D'
elegidos de forma tal que las fro nteras se recorren en un mismo sen lido respecto a las regiones D y D'. Entonces existe
un isomorfismo D

_!_, D' que satisface las condiciones

sobrc

f (a) =a',

f (b)

= b',

(1}

f (c) = c'.
En efecto, sean D

~
K , D' ___!!__. K , siendo
sobre
sobrc

= {z E C: lzl < 1}.

Seg un el teorema de correspondencia de las fronteras, ft es

un homeomorfismo d e las adherencias 15 y K, y h cs un
homeomorfismo de las ad herencias 15' y K. Supongamos que

=(3,

!J(a) = cx,

/l (b)

h(a') = cx',

h(b' ) = (3',

!J(c) = /,
h (c') = /

Existe un unico automorfismo ,\: K ......, K del cfrculo unidad K que verifica las condiciones siguientes:

>.(cx)

= cx',

>.({3) = (3',

,\(/) = ,'.

La transformaci6n f
h- 1 o >.. o f 1 cs, evidentementc, un
isomorfismo conforme de D sobrc D' que satisface las condiciones {1). Supongamos ahora que ademas de f existe otro
isomorfismo D __!!__... D' que tambien verifica las condiciosobre

nes (1):

si In funcion f trnnsfonna confonnemenfe D 1 sobre D 2 y ')' 1 __!___. ')'2,

sobre

ella admife ww prolongacion nnnlitica en n; y Ia funciorz resultnnte

lrnnsfonnn confonnemente Ia region D, U 1'1 U n; sobre D 2 U ')'2 U Di.
Se supone que D 1 n n; = 0 y D 2 n Di = 0.

g(a) =a',

= b',
g(c) = c'.

g(b)

Obviamente, tp =
que sa tisface

Teo rema~ Sean D1 y D 2 dos regiones cuyas fronfera s son curvas de

Jordan. Supongamos que 8D 1 conliene 1111 nrco de circunferencia ')' 1,
y fJD2, 1111 nrco de circunferencia ')'2 Sea n; In region sinuUricn a D 1
respeclo a ')'1 y Di la region simetrica a D 2 respecto a ')'2. Entonces,

f o g- 1 es un automorfismo de Ia region D 2

Demostraci6n. Sin perdida de generalidad se puede conside ra r que ')'1 y 12 son segmentos del eje real, y D 1, D 2 son dos
regiones del sem.iplano superior (fig. 7), pues esto siempre se

tp(a') = a',
tp(c')

@)

tp(b' ) = b',

= c'.

Consideremos ahora el automorfismo J.L = h o tp o f 2- 1

del circulo unidad K que cumple las cond iciones

J.L(a ') =a',

= [J',
J.L('Y') = , ,.

J.L(/3')

Fig.7

puede conseguir mediante una transformaci6n homografica.

Vemos que J.L es Ia transformaci6n identica e. La forma
explicita de Ia tra nsformaci6n J.L implica entonces que tp e,
es decir, g = f.

6.2. Principia de simetria

El teorema que enuncia remos a continuaci6n extiende a las
transformaciones conformes el uso del principia de simetrfa de Riemann-Schwarz de prolongaci6n analitica de las
funciones.

Sea D 1 __!___. D 2 Segun el teorema de correspondencia de

sobee

las fronteras, la funci6n f es continua en Ia adherencia D1

y establece un homeomorfismo de D1 sobre D 2 Segun las
condiciones d e partida, f es continua en ')' y lorna valores
reales en I De acuerdo con el principia de simetrin de
Riemann-Schwarz, Ia funci6n f se prolonga analiticamente
segun Ia formula f (Z)
f (z), y esto significa que Ia
en
funci6n resultante transforma conformemente D 1 u 'Yl u D;
sobre D 2 U 1'2 U Di. ~

li1iJ Problemas resueltos.

, .Hallar Ia transformadon con forme de Ia region D
que c6nstituye el extedor del c'lrculo unidad ~on cortes
a 16 largo, ae los segmentos

. 1~=.{z

2
EC: 1 ~ lzl ~a, argz= :11'}

(k=O,n.-:_1)

(fig. 8), en el exterior aef cfrculo unidad.;

Fig.9

r, = {z E C: lzl ;;::: a,

= :}

arg z

se conviertan en las semirrectas

i'o = {z E C izl ;;::: 1,

= 0}

arg z

-r,

= { z E c lzl ;;::: 1,

w 1 =z

Solucion. Segun el principio de simetrfa, el problema se

reduce a Ia construccion d e Ia transformacion conforme de Ia
region

w2
WJ

2
G, = { z E C: 1 < lzl < oo, 0 < arg z < :}

u/2

= 12( w
=

~ ( an/2 +a -n/2)

w4 = w3 +
2/u

arg z = 0}

w = w4
12 1a<. l8

+w1-1) ,
w2

(fig. 9) en si misma de forma tal que las semirrectas

ro= {z E C lzl ; : : a,

211'}
= -;:;

respectivamente. La transformaci6n buscada es Ia composicion

de las transformaciones

Fig.8

arg z

Jwi -

1,

= + Jz2=1,
..
W2 = (e-iaWJ) (.--a)

Entonces,

WJ

w= (a n/2+ a -n/2) -2/n x

X ( z"/2 + z-n/2 + V,-(-z-/2_+_z__,-,/-2)_2___(_a_"/_2_+_a___n_/2)2) .

= 2~ (W2+ ~)
w2
w= Jw3 -1 =
= ~( (e-ia(z+ Jz2=1)) 2(.-~a) _

WJ

La funci6n w 1 transforma el sector considerado en el se mip lano superior del que se ha eliminado un semicfrculo; Ia
funci6n w 2 (funci6n de Zhukovski) transforma el semiplano
superior con el semicfrculo eli minado en el semiplano supe rior, y los puntos A 1 y A2 se convierten en los puntas
1
a"12 + a - n/ 2) . La funci6n w 3 transforma el semiplano

_ (e-ia(z+ Jz2-=l)rz<..~a>).

2(

El factor

superior en e l semi pla no superior de modo que los pun1 ( a n/2 + a - n/2) se conv1erten
.
tos 2
en los puntos 1. La

Ia aplicaci6n w'
rnismo. .,..

funci6n w 4 (aplicaci6n inversa de Ia funci6n de Zhukovski)

tra nsforma el semip lano supe rior en el semiplano superior
d el que se ha eliminado un semicirculo unidad. Finalmente, Ia fu nci6n w transforma el semiplano superior con el
semicfrculo unidad eliminado en el sector G 1. .,..

2_

,fi

no juega ninglin papet pues para k

>0

= kw transforrna el semiplano superior en si

7. Transformaci6n conforme
de poligonos. Integral
de Christoffel-Schwarz

I 20. Transfo~mar el 'exterior de"la ~a derech; de Ia

~hiperbola
~
...

7.1. Transformaci6n del semiplano

superior en un poligono

Soluci6n. Segun el pnnCJpiO de simetria, el problema se

red uce a Ia construcci6n de Ia transformaci6n con forme de
Ia mitad superior de Ia regi6n dada c;:n cl primer cuadrante,
de forma tal que Ia semirrecta ( -oo, cos a) se transforme en
e l semieje imaginario positivo. Dicha transformaci6n cs el
resultado de Ia composici6n de las transformaciones

Supongamos que se requiere transformar el serniplano superior del plano z en el interior de cierto poligono M <S C
que se encuentra en el plano w (fig. 10). De acuerdo con el
teorema de Riemann tal transformaci6n existe y, seglin el
teorema de correspondencia de las fronteras, si las fronteras
son curvas de Jordan, d icha aplicaci6n es un homeomorfismo
entre las regiones cerradas. A los vertices At, A2, ... , An del
polfgono les corresponden1n ciertos puntas a1, az, .. . , an del
eje real. Sin perdida de generalidad se puede considerar que
V k 1, n se tiene que ak E C (en caso contra rio, mediante

12 Ja. 3l!

'A z

(/k

Fig. ll

a1 a2

transforma el semientomo del punto a~.: en el semientorno d el

origen de coordenad as de forma tal que el segmento frontera
del cje real tambien se convierte en el segmen to frontera
del eje real (fig. 11). Por consiguien te, segun el principia
de simetria, w(z) se prolonga en el entomo completo del
punto a~.; y la funci6n obtenida transforma biunivocamente el
entorno del punto a~.; en el entorno del origen de coordenadas.
De este modo, w es una funci6n analitica en el punto a~.: y
w'(a~.;) :/; 0. Escribamos su desarrollo d e Taylor en un entorno
del pun to a~.::

Fig. IO

un automorfismo del semiplano superior se puede conseguir

que el punto d el infinito no corresponda a ningun vertice del
poligono).

Sea w = f(z) Ia funci6n buscada. Esta transforma el

segmento [a 1, a 2) en el segmento [A 1, A2 ] . Segun el principia
de simetria, Ia funci6n se prolonga a !raves de [a 1, a 2] en
el semiplano inferior, y Ia funci6n prolongada establece una
correspondencia entre el semiplano inferior y el poligono
simetrico al dado respecto a Ia recta que pasa por los puntos
A 1 y A2 . De Ia misma manera se pueden construir prolongaciones analiticas a traves de otros segmentos [a~.:, a~.:+d - De
esta manera, Ia funci6n analitica completa definida por f no
tiene puntos singulares en el semi plano inferior ni en todos los
puntos de l eje real salvo, tal vez, el conjunto {a~.:; k 1, n}.
Por consiguiente, a~; (k 1, n) son puntos singulares posibles de Ia funci6n analitica completa f .
Denotemos mediante a 11r, a 2tr, ... , an1r los valores
de los angulos interiores del poligono. Tenemos:

w(z)

=
n(a~.:)

= c, = w'(a~.:) # 0,
=

="

(z - a~.;)rp(z),

donde rp(z) es una rama uniforme de Ia funci6n (n(z))at.

Asimismo tenemos

= A~.; + (z- ak)at'P l(z ), rp,(ak) :/; 0,

j'(z) = aJ.:(z- aJ.:)at- l rp (z) + (z- a~.:tt<p;(z) =
f (z)

a1.:

=n -

2,

0 < a~.;

< 2.

= (z- aJ.:)at-l (a~.:rp, (z) + (z- ak)rp;(z)) =

= (z- ak)at - l <I>(z), <I>(ak) # 0,

k= l

Consideremos f(z) en un semientorno superior del punto a~;.

La funci6n (su rama apropiada)
f-t

(z - ak)n(z),

e- ifJ (f( z)- A~.:) = (z - a~.:tt(n(z))at

= (e-ifJ(f(z)- AJ.:)) 1/ot =

= C1(z- a~.;)+ Cz(z- ad + ... =

@)

w(z)

!"(z) =(a~.: - 1) (z - aJ.:)at- <I>(z) + (z - a~.:tt- <I>'(z),

2

= (/(z) _ A~.: )lfate-i{Jt{at

12o l l&

(z- ak)0 " - 2 ((ak -1)ci>(z) + (z- ak)ci>',z))

j"(z)

(z - ak}

f'(z)

II

In j'(z)

1
- ci>(z)

k=l

(ak - l)cll(z) + (z- ak)ci>'(z)

(z - ak)ci>(z)
ak- 1

ci>'(z)

z- ak

cll(z)

= L:<ak -1) In (z- ak) + In C1 =

n

= lnC1 IT<z- ak}

~:

k=l

y su residuo en este

j"(z)
f'(z)

z 1--+ ll!(z) = - -

k=l

Veamos como cambia Ia formula de ChristoffeiSchwarz si Ia preimagen de uno de los vertices del polfgono,
por ejemplo, del vertice An, es el punto del infmito. Con este
fin, construyamos el siguiente automorftsmo del semiplano
superior del plano z:
1
1
Z1 = ---,
Z =an - -.
a 11 - z
z1
Entonces

z_.oo

00

f(z) =a+"'""' c,,.

L.t z"
n=l

Por tanto,

2:= n(n +1)Cn

00

zn+2

n=l

cuando z

j(z)

--+ 00.

= f (a" -

z"+l

ft( zt)

z1

J IT<c-

= Ct

~ak-1
L.t - - - --+ 0 cuando z --+ oo.
k=t z- ak
Segun el teorema de Liouville, Ill
0. Por consiguiente,

"

= c.

z
/

1/a.

ak)a.-l d( + c2

k=l

k=l

2.) =

a.-1/z1

Ademas,

f"( z) _ ~ ak- 1
J'(z) - L.t z - ak

(1)

integral de Cltristoffel-Schwarz.

de Ia funcion f en un entomo del punto del infinito tiene Ia

forma

--+ 0

+ c2.

La igualdad (1) se denomina J6mwla de CltristoffelScllluarz y Ia integral en su segundo miembro se conoce como

Esta funcion es entera y lim ll!(z) = 0. En efecto, el desarrollo

- L.t --"

ak)a.-l d(

k=l

ak - 1
-~
L.t - - .
z- ak

j IT<c-

J<z ) = cl

punto es ak - 1.
Consideremos Ia funcion

J'(z)

II

punto ak es un polo de Ia funcion

00
"'""'
nC

j'(z) = C1 IT<z- ak) 0 -,

A partir de las expresiones obtenidas vemos que el

n=l

"-

k=l

=--+-.

f"(z )

11

II
k-1

1)

a" - ak - (t

-l d(

---!: + c2
(1

1
(en Ia integral efectuamos el cambio de variable ( = a11 - - ).
.
(t
Tras una serie de transformaciones evidentes de Ia expresion

= .!:_ ln j'(z),
dz

12B*

subintegral, hallamos

JII
-1t= c; !. IT
~)a.-)
= c; JII((t - a~)a.-l d(t + c~.

f t(Zt)

u- 1

= Ct

((t(a,.-

u - tot - 2

1
(1

ad

l~l

d(t

+ c2 =

1/a. k= l

((t-

a,.

k=l

d(t + Ci

ak

z, n- 1

donde

(2)

k= l

a~= - -1-

a,.- ak

son las imagenes de los puntos ak en e l

problemas de transformaciones conformes de estc tipo se

conocen solo los vertices Ak del polfgono, mientras que los
puntos ak se desconocen. Segun el p. 6.1, tres de estos puntos
sc pueden elegir arbitrariamente, mientras que los demas ab
conjuntamente con C1 y C2 , han de determinarse a partir
de las condiciones del problema. Este hecho constituye el
obstaculo principal a! utilizar en Ia practica Ia formula de
Christoffel-Schwarz. Existen varios metodos para deterrninar
los puntos ak y ci- La constante c2 se halla fijando uno de los
vertices del poligono. Para determinar las constantes ak y C 1 ,
a veces se pueden utilizar las longitudes conocidas de los
lados del poligono:

plano Zt-

jAkiAk+li =

n-Eot - 2

Notese que el factor ( 1 t=

J
a.h 1

no e?la presente en

lf' (x)ldx

(k=1,n-1) .

Ia form ula (2) debido a que n -

2::: ak - 2 = 0. Seiialemos,
k=l

ademas, que si en Ia pem'tltima integral de (2) tomamos el

1
limite inferior de integracion igual a cero en vez de - , solo
a,.
varfa Ia constante c2. Cambiando Z) por z y /l(zt) por f(z),
obtenemos Ia formula

JII((1

t>

f( z) =

cl

n-1

ak)at- 1 d(

+ C2-

(3)

k=1

Las integrales de las formulas (1) y (3) se denominan,

respectivamente, i11tegrales de Cl!ristoffel-Scllwarz de primera
y segunda especie. La diferencia entre elias es ev idente: aunque
II

en ambos casos

2::: ak = n- 2, en Ia formu la (3) el factor

k=l
(( - a,.)a-1 no figura en Ia expresion subintegral.
Las formulas (1) y (3) se han obtenido suponiendo
conocidos los puntos ak. Sin embargo, habitualmente en los

Sin embargo, esto no siempre se puede llevar a Ia pn\ctica.

Seiialemos que tambien existen metodos de aproximaci6n
para determinar las constantes ak y C 1 .

7.2. Caso de un poligono con vertices

en el punto del infinito
Dado un n-agono, supongamos que uno de sus vertices,
por ejemplo, Ab se encuentra en el punto del infinito
(fig. 12). Sean A~ y A~ dos puntos arbitrarios de las sem.irrectas Ak- iAk y AkAk~l' respectivamente. AI unirlos mediante
un segmento de recta obtendremos un (n + 1)-agono. La
transformaci6n del semiplano s uperior en este poligono tiene
Ia forma
z

f(z)

= C1

J((0
X

1
a1t' - . -. ((((

a~t~- 1 X

ak")Ot- 1 . - . (( - an )a.-1 d( + C2,

(l)

donde a~1r y a%1r son los va lores de los angulos en los

vertices A~ y A%, mientras que a~ y a~ son fos puntos del
eje O x correspondientes a dichos vertices.

Es evidente que esos mis mos razonamientos son aplicables si el poligono tienc varies vertices en el punto del
infin ite.
De este modo, Ia formula (1), p. 7.1, se cumple tambien
para los poligonos que tienen uno ovaries vertices en el punto
del infinite, con Ia unica particularidad de que el angulo
entre dos semirrectas con vertice en el punto del infinite se
determina como el angulo (tornado con signo negative) en el
punto final de su interseccion.

Sei'lalemos que para esta definicion del angulo en el

p unto del infinite se sigue cumpliendo Ia igualdad
n

L ak =n-2
k= l

para Ia suma de los angulos del poligono.

7.3. Aplicaci6n del semiplano superior

en el exterior de un poligono

Ak

En este caso los razonamientos son ana logos a los del p . 7.1.
La funcion f tiene a hora un polo de primer orden en cierto

Fig. 12

Supongamos que el segmento A~A% sc aleja pamlela"mente hasta el infinite. Esto conduce a que los puntos a~ y
se fusionen en un solo p unto ak correspondiente al vcrticc Ak.
Denotemos mediante - Ctk11" el angulo entre las scmirrec tas
Ak_1 Ak y Ak+IAk en el punto final A~. Considerando cl
tri<in g ulo A~A~A~ obtenemos

aZ

a~+ a% - ak

"
. Iano supenor;
. Ia f uncwn
punto a de I senup

. a demas
'
f! " Ilene,

de los polos simples { ak; k

J;n}, dos polos simples en
los p untos a, a con residues igua les a - 2. De este modo,

j'1(z)

" Ctk - 1

-jl(z) = "'
- ---,
6 z- ak z- a z -a
k= l

= 1,

(1)

de donde

es decir,

a~+ a% - 2 = Ctk - 1,
y Ia formu la (1) adop ta Ia forma ya conocida de In formula (1),
p. 7.1.

f( z ) = cl

II

JII((0

k= l

),.

ak

d(

1.-1
I/'

-'' ' "

.,....,

+ Cz.

(2)

definimos Ia funcion f univocamente. AI verticc w + iw 1

1
del rectangulo le corresponde cierto punto k > 1 (k < 1),

@)
-w+iw 1

w+iw
----., 1

X X X
X X X
X X X

_l -1 0
k

-(J)

donde k es una incognita. Segun el principia de simetria, Ia

funcion f se prolonga en el segundo cuadra nte y Ia funcion
resultante (tambien Ia d enotaremos mediante f) aplica el
semiplano superior en todo el rectang ulo de forma tal que

(J)

f( - 1)

k
Fig.l3

Cik= ~ (1.: = 1,4),

2

{ ak; k

1,4} = {-~,
k

-1, 1,

k=l

Transformemos el semi plano superior en un rectangulo P con

vertices en los puntas w y w + iw 1 (fig. 13). Apliquemos
el principia de simetrfa. Sea f una funcion que transforma
el primer cuadrante en Ia mitad derecha del polfgono P
de forma tal que el semieje imaginario se convierte en el
segmento [0, iw 1 ] del eje imaginario. Hacienda correspondcr
los tres pares de puntas frontera siguientes

[[f]wlj:,l

~},
k

donde ak son los puntas del eje real correspondientes a los

vertices del polfgono.

7.4. Aplicaci6n del semiplano superior

en un rectangulo

La funcion f se obtiene aplicando Ia formula de ChristoffelSchwarz. Tenemos:

Aqui ak1r son los valores de los angulos exteriores del

polfgono y

2:::a, = n+2,

=-w, (-I) =- w+iw

w = f (z) = C

J ,__ .~~- ......

(1)

La formula (1) contiene dos parametros incognitos C y k .

Elijamos Ia rama de Ia r-aiz correspondiente a Jl = 1.
Entonces, teqiendo en cuenta que f'(z)lz=O C obtenemos
que C > 0, pues Ia aplicacion no cambia el sentido positivo
del eje real. Antes de seguir, hagamos un breve parentesis; consideremos Ia funci6n

f-t

F(z,k)

J ,__ .~~- - ~ -'

(2)

donde 0 < k < 1 se supone conocido. La funci6n F(z, k) se

define mediante Ia integral eliptica de prim em especie, siendo k
su modulo. Los razonamientos anteriores implican que F(z, k)
efecrua una transformacion conforme del semiplano superior

en un rectangulo d e !ados 2w0 y w~, donde

Haciendo uso de las formulas anteriores, obtenemos

w.,; CK(k),

wo

d(

=K(k)

0 j(1 -(2) (1 - k2(2)

+ iw~ =

d(

1/ k

J(l _(2) (1 _ k2(2) -

= wo + i

Wt
K(k )
Para este valor de T de terminamos K(k) a partir de las tablas

y despues hallamos C

V ((2 -1)(1

).

T =-=-.
1

d(

1/k

Estas dos igualdades constituyen un sistema d e ecuaciones

trascendentes resp ecto a C y k. Para resolverlo se puede
utilizar las tablas de integrales elfpticas de primera especie.
En efecto, sea
w
K(k)

es Ia i11fegrnl elfpticn completn de primern especie de

modulo k, y

w0

=CK(k

w
= K(k).

k2(2)

Por consiguiente,

7.5. EI seno elfptico y sus dos periodos

J
1/k

wo =

Como se demostr anteriormente, Ia integral elfptica de primera especie z

F(w, k) realiza una transformaci6n conforme
del semiplano superior

d(
V((2- 1) (1 - k2(2).

Cambiando de variable segun las formulas

1

( =

l.2

1 1

k1

=1 -

G+= {wEC: Imw > O}

2
1

obtenemos

J J(l I

w =
1

dT
T 2) (1

- kfT2)

J(

k,
( ).

Asf pues, Ia integral eliptica de primera especie transforma el

semiplano s uperior en un rectangulo de !ados 2K(k) y K(k\) .
Volvamos al caso analizado. Tenemos:
z

j (z)

=C

JJ
0

d(

(1- (2) (1- k2(2)

donde k y C son los !ados desconocidos del rectangulo;

1
2w y w se conocen.

"'

en un rectangulo Po con vertices K y [( + iK 1 de forma

1
tal que los puntos- 1 y - del eje real se convierten en
k
los vertices del rectang ulo. La funci6n inversa de Ia integral
eliptica de primera especie se denomina seno elfplico y se
denota w sn (z, k). El seno elfptico es una funci6n analitica
en e l rectangulo P0 y lo transforma en el semiplano superior

G+= {w EC: Im w>O}.

En virtud del homeomorfismo de las regiones cerradas, Ia funcion sn transforma el segmento [K, K +iKd en e l segmento
[1,

~] . Aplicando a esa fu nci6n el principio de simetria, pro-

longucmosla analfticamente en el rectangulo P 1 simetrico a Po

rcspecto al segmento [!(, K + i K 1]. La funci6n prolongada

-(tambien Ia denota remos mediante sn) transforma P1 en cl

semiplano infe rior

transformar P~ en el semiplano superior. AI igual que antes,

obtcncmos que
sn (z + 2iK1)

G_ ={wE C: Im w < 0}
(fig. 14}. La funci6n resultante tambien satisface el principia

@)

0
P'2
P'I

.z

Po

P,

zl

P2

-1

=sn z

'r/ z E P0 .

(1)

Hablando con mas detalle, Ia igualdad (1) significa que el

punto z 1 , simetrico a z respecto a! segmento [K, K + iKd,
se transforma en el punta sn z, mientras que el punto z2 = z + 4K, simetrico a z1 respect a al segmento
[3K , 3K + iK1 ], se transforma nueva mente en el pun to sn z.
Analogamente, se puede prolongar Ia funci6n sn z
en el rectan gulo P{ simetrico a Po respecto al segmento
[- K +iK1, K + i Kd , solo que Ia funci6n prolongada tendra
un polo de primer orden en el punto i K 1 La funci6n sn
prolongada transforma P{ en el semi plano inferior y se puede
prolongar analiticamente en el rectangulo P~ simetrico a P{
respecto al segmento [- K + i2K 1, K + i2Ktl, y vuclvc a

sn (z + 4Km + 2iK1n)

de simetrfa y, segun este principia, puede prolongarse analiticamente en el rectangulo P2 simetrico a P1 respecto al
segmento [3K , 3K + iKd y vuelve a transformar P2 en cl
semiplano superior. En este caso,

(2)

Siguiendo el procedimiento descrito, podemos prolangar el seno eliptico en todo el plano C, obteniendo asf una
funci6n meromorfa con polos de primer orden en los puntos
iK1 + 4K m + 2iK 1n ( m y n son numeros enteros arbitrarios). Las formulas (1) y (2) se verifican, evide ntemente, para
todo punto z E C. Esto quiere decir que Ia funci6n sn tiene
dos perfodos independientes T 1 4K y T2 2iK1 , y para
todos m y n enteros es valida Ia igualdad

Fig.l4

sn (z + 4K)

'r/ z E Po.

snz

-k snz

= sn z

=sn z.

(3)

Introduzcamos a hora e l concepto de funci6n elfptica.

Toda funci6n meromorfa doblemente peri6dica para Ia cual el
cociente de sus perfodos es un numero estrictamente complejo
(con Ia parte imagi.naria distinta d e cero), se denom ina Junci6n
eliptica. EJ analisis ante rior muestra que sn z es una funci6n
elfptica.
La igualdad (3) significa que Ia funci6n sn z es invariable respecto al grupo de transformaciones lineales

~--+

z + 4Km + 2iK 1n

(mE Z, n E Z).

Las funciones invariables resp ecto a cierto grupo de transformaciones homograficas se denominan frmciones aulomoifas 4l.

7.6. Aplicaci6n de un circulo unidad

en un poligono
Determinemos ahara Ia forma general de Ia transformaci6n
conforme de un cfrculo unidad en un polfgono. Para ello,
4
) Exislc una teoria bien desarrollada de cstas funcioncs. Veasc, por
ejemplo, rl libro de Ford L R., Funcioncs automorfas.

transformemos primeramente el d rculo unidad en el semiplano supe rior y despues utilicemos Ia formula (1) del p. 7.1.
La aplicacion del semiplano superior
G+

= {z E C:

Im z

En virtud de que

> 0}

en e l circulo

II

= {z1 E C: lzd < 1}

(pues n -

ak - 2

=0), obtenemos

k= l

tiene Ia forma
z1

z- b
= ---,
z-b

Nz1> = cl

de donde se obtiene la aplicacion d e K en G+:

bz1- b
z---

/z,
II
11

= c; j

z1 - 1 n

ak _

(J - -

II((J- a~tt-l d(1 + C

2,

k=l

(3)

Notese que si cambiamos el limite de integraci6n

inferior en Ia integral (3), tomandolo igual a cero, variara
solo Ia constante C2 , mientras que Ia forma general d e Ia
formula (3) no se alterara:
zl

h(zJ)

j II ((b -

= c;

akK1 -

- k=l
b/ b

II((
n

Ot- 1

k=l

1-

)l - Ot

d(
I
(( J _ )2
1

+ c2

j II<(l- a~tt-1 d(1 + C~.

0

z1 n

- (b - ak))

b) at-1 d(1 + c2=

-a~.:- b

donde los puntos a~ de Ia circunferencia unidad son las

imagenes de los pun los ak.

II(( - as-t - l d( + c2.

b( J - b
Tomando en Ia expresion subintegral ( = ( J _ , hallamos
1

= C1

+c2=

b/b k = l

iiz1-b

= C1

z,

b) = ! J(ZJ)=

w= f (z)=f ( - ZJ -1

= c1 j

ak)(J - (b- ak)rt- l d(J

_ k= l
b/b

Sustituyendo (2) en Ia formula (1), p . 7.1, obtenemos

bz 1 -

b/b k = l

(2)

ZJ - 1 .

f II(<bZJ

(1)

1mb > 0,

(4)

k= l

Cambiando z 1 por z, a~ por a~.: y j 1 por f en Ia

formula (4), obtenemos Ia forma general de Ia transformacion
conforme del circulo

K = {z E C:

lzl < 1}

en un poHgono:

JII((- ad''z

f(z) =

C1

.
1

d( + C2,

lad = 1

(5)

k=l

Asi pues, en el caso de Ia aplicaci6n del circulo unidad en

un poligono, Ia forma general de Ia formula de ChristoffelSchwarz no cambia.
Por ejemplo, veamos Ia aplicaci6n del circulo unidad
en un poligono regular. Supongamos que el centro del poligono se encuentra en el punto w = 0 (esto siempre se puede
lograr mediante una tr;msformaci6n lineal del poHgono). Para
construir Ia aplicaci6n requerida utilicemos el principio de
simetrfa.
.
. 2(k- l) (
)
Sea Ak A 1e' n
k 2, n . Denotemos mediante f Ia funci6n que aplica conformemente el sector
2
S = { z E C lzl < 1, 0 < arg z < : }

del circulo unidad en el triangulo OA1A2 (fig. 15), de forma

tal que
/(0) = 0,

/(1)

=A,,

Fig. IS

Ia cual efectt.'ta una transformaci6n conforme de K en todo el

poligono de fo rma tal que

f ei~
" ) = Ak (k=f;n),

2(k - l )

es decir, los puntos e' " = ak son las preimagenes de los

vertices del poligono. Como
n

t(ei.) = A2.

2:::: ak =net = n- 2,
k=l

Es obvio que
[0, A2l <>
[0, e;.] ~
sobrc
Segun el principio de simetrfa, Ia funci6n f se prolonga
analfticamente en el sector
4
s' = { z E lzl < 1,- < arg z < : }

y Ia funci6n prolongada (tambien denotada mediante f)

transforma S' en el triangulo OA 2A3 . Razonando de modo
analogo, prolongamos f en todo el circulo unidad. La prolongaci6n de Ia funci6n f es una funci6n analitica en el circulo
unidad
K = {z E C lzl < 1},

entonces ak = a = 1 - - y
n
n

II(( - ak)a. - 1 = ((" - 1r2'",

k=l

pues ak son las raices de n-esimo grado de Ia unidad y

n

II(( - ak) = (" - 1.

k= l

De acuerdo con Ia fo rmula (5),

z

f (z)

=C

/(10

("f21" d(.

La constante C se determina a partir de Ia condici6n

1(1- C)-

f(l)

=C

/ n d( = At,

de donde
C

= _I_ _At_:__ _
j(l _ (n)-2/n d(

Fig.16

Realizando el cambio de variables ( 11

cuenta que
d(

=t

y teniendo en

el exterior del poligono:

z

= .!.tk-t dt,

f(z)

C1! g((11

ak)at-l ~~

C
2,

(6)

obtenemos

I
t

(se supone que el centro del cfrculo se transforma en el punto

del infinito).

(l -

Cr

2111

21
d( = ~ I tk-t(1- tf " dt

= .!.B
(.!.,
1- ~)
n
n
n

Problemas resueltos.

donde B es Ia funci6n beta de Euler. Final mente,

w

= f(z)

Nota. Haciendo rotar el plano z en un angulo a alrededor del origen de

coordenadas podemos conseguir que Ia preimagen del verLicc A 1 sea cualquier
punto dado e io de Ia circunferencia unidad.
Utilizando Ia formula (2), p. 7.3, y aplicando un isomorismo homografico del plano z, obtepemos sin dificultad
Ia formula de Ia aplicaci6n del interior del cfrculo unidad en

...,. Soluci6n. Sea w = f (z) Ia funci6n que aplica conformemente

el primer cuadrante en el triangulo ABC, de forma tal
que
f (O) =A, /(1) = B, f (oo) =C.

Conforme a l principio de correspondencia de las fronteras, Ia

preimagen d e AC es el scmiejc imaginario z
iy (y > 0).
Segun el principio de simetrfa, Ia funcion f se prolonga analiticamente en todo el semiplano superior y Ia prolongacion
obtenida aplica conformemente el semiplano superior en un
rombo, con Ia particularidad de que f (-1) = D. Segun Ia
formula (3), p. 7.1, tenemos

..,. Solucion. Apliquemos Ia formula (3), p. 7.1, tomando

a1

J
l

(o- 1{1- (2) - o d(.

Tenemos:

La constante c se determina a partir de Ia condicion

I

/(1) = d = c

J o-1(
(

1- ( 2)-o d( =

= -1, a2 = 1, a3 = oo,
3
1
al = -, a2 = -.
2
2

(a

C 2' 1- a
2B

= f(z) = C1

w(1)

n(I 1-a)"

1- a ) Jol

= B(~ 2d
2'

1/2

_ (

d( + C2,

- I

(1+()1/2
.
1-(
d( - z=

2i
= - c~1r - z,. c1 = --,
7r

Final mente,

= c2 = -i,

w(-1)=i=C1 /

2d

c=

de donde

(1 +()

(o- 1(1- (2r0 d~"

.,.

2i
w = f( z) = - -

Jz ( -1 + ( ) 1/2 d( 1 -(

7r

..,..

i =

2"

= _2(J1=;2 -

arcsenz).

..,..

7r

23. IDeterminar la-transfo"rmacion con!orme del semi'plano superior

z> o}

G+ =_{~e c Im..
--

I:&

...

en el sem.i,plano supeoor

D + ~ . ~:(i.,Im w > 0}
con un corte a lo larz<r d~ Ja ~m....irrecta

13 l >K

J.

)~

= {w'.E C.: . R~llf ~ .o, I!!1'w:;;:: 11"}.

AJ';

...,

A 1 -

I_1,1 = in@)

._.......

- 1

0'2

= 2,

@)

0'
r

:;~s=~~k'-in
~J

Fig. 18

..,. Soluci6n. La region del plano w es un triangulo con dos

vertices A 1 y A3 en el punta del infinite (fig. 17) y nngulos
O't7r, 0'211", 0'311", donde

= 0,

,->iJt

....-~

0
L::..

Fig. 17

O't

-- __,

O'J = - 1.

Tomando

a,=O,

a2=-l,

a3 =oo

y aplicando Ia formula de Christoffel-Schwarz, obtcnemos

z

w = f( z) = C 1

j C (1 + () d( + i1r =
1

-I

= C 1(z + 1 + ln z- i1r) + i1r.

{1)
..,. Soluci6n. Es conveniente introducir un plano auxiliar (. La
funcion
w = <p(() = ( + 1 + In (
D

Para determinar C 1 razonamos del modo siguicnte. Por una

parte, si z recorre Ia semicircunferencia
'Yr = {zEC: lz l = r, 0 < arg z<7r}

h aec corresponder el semiplano superior del plano ( con Ia

mitad superior del plano w (v. ej. 23), de manera tal que el
semieje positivo real

en el scntido de las agujas del reloj, el incremento de Ia

funcion w, definida porIa formula (1), es igual a -i1rC1 +O(r).
Por o tra parte, a partir de Ia figura 17 vemos que tras dicho
recorrido el punto correspondiente w pasa de Ia semirrecta
A1A2 a Ia semirrecta A2 A3 . Por consigu iente, el incremento
de Ia funcion !:::.w se diferencia poco de - i7f', luego C 1 = 1.
Finalmente,
w = f(z ) = z + 1 + In z. .,..

'Y={( EC: Re( > O, Im( = O}

se transforma en el eje real del plano w. Por el principia de
simetria, Ia funci6n ( ~--+ <p(() se prolonga analiticamente a
traves de este sernieje en el serniplano inferior y Ia prolongaci6n obtenida aplica ~onformemente el plano ( con un corte
a lo largo del semieje real negativo en toda Ia region dada del
tJ

plano w. Transformando luego cl plano ( en el semiplano

superior G+, obtenemos

w = -i + 1 + 2ln z- i1r.

.,.

Fig.l9

Para hallar ht, analicemos el incremento de Ia fu ncion b..w cuando z recorre Ia semicircunferencia

Determinar Ia distancia entre las semirrectas paralelas

que componenla fr.9ntera de 1a. regi6n buscada.

"fr= {zEC: z=rei"', 0<!p<7r}.

Tenemos:
~

Soluci6n. La forma de Ia funcion f sugiere que Ia region

buscada es un cuadrilate.ro con dos vertices en el punta del
infinito:
At =oo;
at =0,
at= 0,
1

a 2 =a,

a2 =

a 3 = b,

a3

a4 = oo,

a4 = - .

2'

b..w=-

Por consiguiente, ht

A2 = 0;

3
2

1
r::---='
z(z-b)vz-a

by'a

= by'a.

De igual manera determjna-

bvb - a

Sib= 2a, entonces ht

Se pi de hallar A~.
Analicemos Ia derivada j'(z) en el intervale (a2, a3).
Tenemos:

f (z) =

7r

mos h2, examinando el incremento de Ia funcion w cuando z

recorre Ia semicircunferencia con centro en el punta b. Tenemos:
7f
h2= ~

A3 = oo;

= 0,

r,

d(
tby'a(

-.-+O(r)=--+O(r),

= h2 .

.,.

f (z) < 0 V z E (a2, a3),

es decir, arg j'(z) = tr; por tanto, Ia imagen del intervale

(a2 , a 3) es cl semieje real negativo. Tomando en consideracion
1
que a 2
Ia imagen del intervalo (at, a2) es el semieje
2
imaginario negativo. Ahara es evidente que cl vertice A4
pertenece al tercer cuadrante y Ja region buscada tiene Ia
forma representa~a en Ia figura 19.

= -,

Sol uci6n. Sea 1r(1 + >.) el angulo obtuso de Ia estrella. Entonces su angulo agudo es igual a 1r

1 - >. -

~) . Utilizando el

principio de simetrfa podemos suponer q ue las preimilgenes

de los vertices de los ilngttlos agudos son las rnices d e n-csimo g rado de Ia unidad, mientras que las prei rnilgenes de
los vertices de los angulos obtusos son las ralces de n -csimo
grado de - 1. Aplicnndo Ia formula d e Christoffel-Schwarz
obtenernos
l

w=f(z) = C

c)''

(l +
d(
(l-(").\+2/n'

K ={z E C:

en el ex~erior de un n-agono regular con vertices en. los.,

puntos
.

~ . { : 27r(k - 1) }

A~:=exp

0 < >. < 1 - ~.

..

Ln constante C se obtiene a partir de Ia condici6n

/(1) = A,. ..,..

t ~~.

Solucion. La funci6n buscada se determina mediante Ia

formula (1) del problema anterior tomando

2
ak =1 + -,
n
La constante
~

lzl >1}

a~=Akt

C~=l ,

.zo =1.

c; se determina de Ia igualdad A 1 = f 1(A 1):

Soluci6n. La funcion buscada se obtiene utilizando Ia f6r1

mula (5), p. 7.6, y haciendo el carnbio de variable z = -, cl

ZJ

cual transforma el circulo unidad en su exterior:

= f (J) = c, JII(( l/z1

11

ak) at-ld(
2

k=l

zo

ri

+ c2.

7r

7r

en2i sen-

n sen-

- - - : - - -- - 'n:.::...__ _

= _____;n:.::...__ _

=-

Efectuando el cambio de variables (

(I

y teniendo en

cuenta Ia igualdad

1:

e - i8(ein8 -

1)2/n dB

22/rl!(sen

I{J)2/n di{J

0
n

2: a~;= n+2,
k=l

Ejercicios

llevamos Ia formula anterior a Ia forma

= f I (ZJ ) = C'I j

ZJ

zo

II

II((

I -

k=l

1
ak1 )at- I -d(l
2 + C2 .

1. Dcmostrar que en el drculo

(1)

(,

Ia ccuaci6n ze~-=

= {z E C:

lzl ~ 1}

= 1 tiene una sola raiz para ..\ > 1 y que dicha raiz cs real

2. ,cwlntas rakes tiene Ia ecuaci6n

11. Sea P(z) un polinomio de grado n y sean Et, E 2 dos elipses confocales de

scmiejes

e' - 4z" + 1 = 0 (a E N)
en el drculo

respcctivamente. Sea, ademas,

Mt = max IP(z)l,

J( ={zEC: lzl < l} ?

3. Demostrar que para a

> e Ia ecuaci6n
e'

M2 = max IP(z)l.

zEE,

= az"

(n E N)

zEE1

Demostrar que
Mt
M2
(a t + bt)"
(a2 + b2)"
12. Supongamos una funci6n f analitica en el circulo

tiene n rakes en el drculo

.,---,-~----,-

K ={zEC: lzl < l}.

4. ,cuantas rakes tiene Ia ecuaci6n

Kn = {z E C: lzl < R}
satisface Ia desigualdad 1/(z)l ::;, M para lzl = R y se anula en ciertos puntas

z" + aoz 2 + <l'tZ + a2 = 0,

en cl circulo
K={zE C: lzl< l}
si lao l > lad+ la2l + 1 (n EN)?
5. Demostrar que Ia ecuaci6n

+ az + b = 0

de este drculo. Demostrar Ia desigualdad

(a> 0, b > 0)

tiene en el primer cuadrante una tmica raiz cuyo argumento es mayor que

11
4'.

6. Demostrar que Ia ecuaci6n (z - l )e' = z - 2 no tiene soluciones con parte real

negativa.
7. Demostrar que Ia ecuaci6n F(z) = b, donde
n

F(z)=

z - at

- - --,
II
k=t 4- akz

lad < 2 V k

=1,n

lbl < 2-n

13. Sea

Rlz- zd
IR2- zzd

(izl < R).

k=t
una fundon analitica en el d rculo

Kn =

{z E C: lzl::;, R},

y tal que V z E K n se cumple Ia desigualdad 1/(z)l ::;, M. Sea /(0) = 0.

M
Demostrar que 1/'(0)1 ::;, R' donde el signa de igualdad es posible solo para
Ia funcion
14. Sea-

tiene n rakes en el drculo

K

= {z E C:

- oo < at <

lzl < 2}.

8. Sea z = g(w) una funci6n definida mediante Ia ecuaci6n

rr
n

lf(z)l ::;, M

= e-"'(e'- 1),

a EN,

g(O)

=0.

Hallar su desarrollo en serie de potcncias de w y su radio de convergencia R.

f ~canst. Dcmostrar que dentro de Ia region limitada por una
linea de nivel del modulo de f (lf(z)l =canst) y contenida de modo compacta
a Ia region de analiticidad de f , existe al menos un cera de esa funcion.
10. Demostrar que si P(z) es un polinomio de grado n y
entonccs
V z E K' = {z E C: lzl ~ 1} IP(z) l ::;, Mlzl".

< ... < a .. < +oo,

n

O<at<l (k=l,n ) ,

I>k =n-2.
k=t

Dcmostrar que toda rama de Ia funci6n

9. Sea tma funci6n

IP(z)l::;, M V z E K =;; {z E C: lzl ::;, 1},

a2

z ,._. f( z) =

j IT(( 0

ak)ak-t d(,

k=t

perteneciente al semiplano
G+ = {z E C: Im z

> 0},

cs de una hoja en G+ y transforma conformemente dicho semiplano en

un n-agono convexo finito.

@)

Respuestas
Capitulo 1

1. a) res f (z)

2h
B
Fig. 20

(/.; = -0, n-

. ..._ ' B

b) res j(z)

Fig. 21

-1

+
!
(1

>-+

w(z)

d)

lzl < 1}

(")~ d(

w (0)

> 0,

= oo,

f) res j (z)

= eb- ea.

4
4
2. a) rcs j (z) =-ish2;rcs j(z)=- - i(e+2e- 1 );
-i
9
i/2
9

= 0) -+ z(O, 1, oo).

-11, B

1
1
= -;
res f (z ) = --;
e oo
e

00

17. Transformar el semiplano superior G+

{z E C: l m z
plano w representada en Ia figura 21, bajo Ia condici6n

e) res f (z)
-1

2
- 1 < A< 1 - ;;

16. Transformar el semiplano superior en Ia region reprcsentadil en Ia figura 20 {el

arco AC es una semicircunferencia) si

w(A

00

00

= ai,

s1 n - 1.

00

= {z E C:

= (1 _ (")2/n+A'
w(A

1,

oo

= (- 1)"+1c;',;t"1; res f(z) = (- l)" t:;',;t" 1;

= 0;
res f (z ) = 0;

mediante Ia aplicaci6n
z

- 1 ) ; res f (z ) = { _ 0, si. n. f:.

_ 1,

c) res f (z )

15. Hallar Ia imagen del circulo unidad

z"+
2/.; + 1
= _k_'
donde zk = exp {i-- 1r}
n
n

= oo,

11, D

> 0}

b) res-f(z)
0

en lit regi6n del

= oo)-+ z(- 1,0, 1,oo).

= - 27r4 ; res
j(z) = 0.
7r/2

3. - n.
4 . _ 2ei2ha.
8. a) 2(1 - e- 1)1ri;

"

b) 0;

c) 0.
10. a) -27ri si Ln (z- 2)lz=l

= - 1ri, y 0 para las demas ramas;

b) 0 para todas las ramas;

c) 0 si vzlz=l
11. a) 0;
2
.
b) -7r(l + 2t).
5

=1, y -47rie si vzlz= l = -1.

~ z (2n - z)
(
)
nz-n 2

13. f(z)

= h(z) + 6

16. a) D

= {z E C:

Indice de materias

n= l

b)

c.

izl

< e- 1};
A

Capitulo 2

2. 1l.
4. 2.
CO

8. g(w) =

II

R = I(a - 1
2:= C~'~~ -;
an
W

)a- 1a -a ~ .

n= l

15. Es un poligono regular tipo estrella de angulos

21r
1r - -;.A1r y

1r

+ A7r,

con centro en el origen de coordenadas y con uno de los vertices de

los angulos del primer tipo en el punto

w(1)

=2- "

1->.
7r(1+>.)
r (- - 1l-1) r (1+>.)
-2- sen -2
2
7r

sen n
a donde (
16. w = -,
(

17.

- - trascendente 34
- meromorfa 34, 64
- - en una region 38
funcionill 158
-continuo en un elemento 158

aplicaci6n abierta 133

- - interior 133
automorfismo conforme 162

2/t ( vz~
1) .
w=-;
-1+arcsen~
2

t) , t = R1
-z-.

-= -7T1 ( -1-2t-t2 + ln -11+t

Carathcodory, teorema 172

Cauchy, teorema 8
condiciones suficientes de convergencia uniforme del producto infinite 56
conjunto de funciones, compacto 156
- -, equicontinuo 154
- -, secuencialmente compacta 159
- -, uniformemente acotado 154
- equicontinuo 154

Ch
Christoffel-Schwarz, formu la 183
-, integral 183
-, - de primera espccie 184
-, - de segunda especie 184

G
genero del producto infinito 62
grupo de automorfismos 162

H
Hurwitz, teorcmil 160

integral de Chris toffei-Schwarz 183

- - de primera especie 184
- - de segundil especie 184
- eliptica completil de primera cspecie
190
- - de primera especie 189
p-in0ilci6n 155
isomorfismo conforme 162

Euler, funci6n beta l'J8

Jordan, lema 74

formula de Christoffel-Schwarz 183

funci6n automorfa 193
- beta de Euler 198
- de genero fin ito 62
- de p hojas 136
- elipticil 193
- entera 33
- - de gcnero infinito 62

Lagrange, serie 135

lemil de Jordiln 74
- de Schwarz 142
Lindeltif, resultado 173

M
Mittilg-Lefner, tcoremil 36
Montel, principio de compacidad 156

0
-arden de una fun cion entera 63

p
Poinca re, teorema 63
princip ia de compacidad de Man tel

156
- d e uniformidad 137
- del argumento 121, 122
-del mfnimo 142
- d el maximo del mod ulo (primer
enunciado) 141
- del maximo d el m6dulo (segundo
enun ciado) 141
p roducto infinito 51
- - absolutamente convergente 53
- - convergente 51
- - - puntualmente 56
- - - uniformemente 56
- - d e Weierstrass 59
- - divergente 51

R
regiones conformemcnte isomorfas

162
resid ua de una funci6n analitica en un
punta s ingular aislado 4
- - en el punta del infinito 7
- logaritmico de una funcion 120
resultado de Lindeliif 173
- d e Schwarz 172
Riemann, teorema 167
Rouchc, teorema 122

Schwan, lema 142

-, resultado 172
Schwarz-Chris toffel, formula 183
-, integral 183
- , - de primera cspecie 184
-, - de segunda especie 184
seno eliptico 191
scrie d e Lagrange 135
- d e funciones meromorfas, convergente 36
- -, uniformemente convergcnte 36

T
teorema de Caratheodory 172
-de Cauchy 8
- de convergencia del producto infinito y de Ia serie numerica correspondiente 52
- de Hurwitz 160
- d e Mittag-Leffler 36
- d e Poincare 63
- d e Riemann 167
- de Roud1e 122
- de Weierstrass 59
- fund amental del algebra 124

valor del producto infinito 51

w
Weierstrass, producto infinito 59
-, teorema 59

"
In
dice
Pr6logo a "Variable cornpleja" . . . . . . . . . . . . . . . . . . . . .

Capitulo 1
Residuos. Aplicaciones de los residuos . . . . . . . . . . . . .
1.
2.
3.
4.

Definicion de residua. Teorema fundamental . . . . . . . . . . .

Funciones enteras y meromorfas . . . . . . . . . . . . . . . . . . .

33

Prod uctos inJinitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

50

Aplicacion de los residuos a! calculo de integrales

y de sumas de series . . . . . . . . . . . . . . . . . . . . . . . . . . .

72

Capitulo 2
Aspectos generales de Ia teorfa geornetrica de las
funciones analfticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
1. Principia del argumento. Teorema de Rouche . . . . . . . .
2. Conservacion de una region. Inversion local
de una funcion analitica . . . . . . . . . . . . . . . . . . . . . . .
3. Propiedades de los extremos del modulo
de una funcion analitica . . . . . . . . . . . . . . . . . . . . . . .
4. Principio de compacidad. Funcionales definidos
sobre familias de funciones analfticas . . . . . . . . . . . . . .
5. Existencia y unicidad de las transformaciones conformes
6. Correspondencia de las fronteras y principio d e simetria
en el caso de transformaciones conformes . . . . . . . . . . .

. . 117
. . 131
. . 141
. . 151
. . 162
. . 171

7. Transformacion conforme de polfgonos.

Integral d e Christoffel-Schwarz . . . . . . . . . . . . . . . . . . . 179

Respuestas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
fndice de rnaterias

213

No de !ac1

EDITORIAL URSS
DE RECIENTE EDICI6N
Sazhin

Surdin
Surdin
jl6pov
Chemin
Lipunov
Lipunov
Logunov
Dubrovin y otros
Pietnishefi,
Trifonov
Gantmajer
Rozend6m
Bielokurov,
Shirkov
Shapukov
Faddeev, Slavnov
Batiguin,
Toptiguin
Matvieev y otros
Krasnov y otros

Liashk6 y otros

Introducci6n a Ia cosmologia modema

Formaci6n estelar
Problemas resueltos de astronomia
El universo y la bl1squeda de Ia teoria unificada del campo
La naturaleza fisica de las estrellas
Estrellas de neutrones
El mundo de las estrellas dobles
Curso de teoria de Ia relatividad y de Ia gravitaci6n
Geometria moderna (primer y segundo tomo)
Teoria de grupos y su aplicaci6n a Ia mecanica cuantica
Mecanica analitica
Problemas de geometria diferencial
Guia de Ia teoria cuantica de campos
Grupos y cilgebras de Lie en ejercicios y problemas
Introducci6n a la teoria cuantica de los campos de gauge
Problemas de electrodinamica y teoria especial de Ia relatividad
Problemas resueltos de fisica general para los mas inquietos
CMSI: Curso de matematicas superiores (nueva edici6n,
modificada y ampliada).
"Anti,LJ,emii:J.6vich": Matematica superior. Problemas resueltos.

T.l-10.
Amelkin

Ecuaciones diferenciales en Ia practica.

Osipov

Aumorganizaci6n y caos

Shepeliov
Shepeliov

Optica
Electricidad y magnetismo

Sus opiniones, sugererrcias y proposiciones

pueden ser enviadas a:
Rusia, 117312 Mosc11
Instituto de Analisis de Sistemas
de Ia Academia de Ciencias de Rusia
Prospiekt 60-letia Octiabria, 9; k:203

o bien a nuestro distn"buidor exclusivo

en Espana:

Espana, 41010-Sevilla
C/ Salado, 18

Editorial URSS

Libreria Hayka

e-mail: URSSURSS.ru

e-mail: hayka@supercable.es

http:/ /URSS.ru

fax: 34-954-08-47-04
tlf.: 34-625-37-87-73