(AntiDemidovich - Matemática Superior - Problemas Resueltos) 7 PDF

i toda l o r i g a toda l í l B w t o d a toda t o d a l o í a M r t o d a t o c u j i a toda toda
9 toda toda T í a t a i m a n t e toda t o ^ M a toda toda
k'íjA
i toda t o d f l l » toda b d a d a toda i g M R A i l s iida tola toda todJ
a toda toda toda toda ü J ^ i d a toda toda lod J n t o d a toda todJ
MATEMATICA
SUPERIOR
PROBLEMAS
RESUELTOS
4. K. Boiarthuk
Variable compleja
7 Residuos y temas
especiales
ATEMATI/IKA
URSS
Residuos.
Aplicaciones
de los residuos
§ 1. Definición de residuo.
Teorema fundamental
1.1. Residuo en un punto finito aislado
Definición. Se denomina residuo de una función analítica f en un

punto singular aislado z = a e C al coeficiente c_2 de la primera
potencia negativa del desarrollo de Laurent de la función f en un
entorno del punto z = a.
El residuo se denota mediante

c-t = res f(z).
a
Teniendo en cuenta la fórmula (2), p. 2.1, cap. 2, t. 6,
para los coeficienlos do. la serie de Laurent, obtenemos
1 f
'2niJ f { z ) d z >
(1)
donde es una circunferencia de radio p con centro en el
punto 2 = a, 7 P C Oa {Oa es un entorno del punto a).
Si z ~ a es un punto singular evitable, entonces
res / = 0. En saso de que z = a sea un polo de primer orden,
a
tenemos res f ¿ 0. En los demás casos res / puede ser o no
a o
igual a cero. Por ejemplo,
senz res e*2 = 0.
res = U, res r = 1,
2 z - 2 o
o 2
Obtengamos la fórmula para calcular el residuo en un
polo. ., .
Sea z — a un polo de orden p de una función /.
El desarrollo de Laurent de la función / en un entorno del
punto z = a tiene la forma
C- C-i
f(z) = ~r + •••+-
JK} (.z-aY z n=0
de donde se obtiene
f(z)(z - af =
= c_Vp + c-p+i{z - a) +... + - ar1 +£ c«<z ~ ^

n=0
dT
- (f(z)(z- af) =
dzp
w
n-0
T V T C/(«X* - « / ) = «-i(P - '

Por consiguiente, tenemos la fórmula siguiente para
calcular el residuo de la función / en un polo de orden p:
= ^ «5 (2)
^híBrdMMj
i r i i n i
En particular, para p = l l a fórmula (2) adopta la forma

res f(z) = lim fiz)(z _ a).
En la práctica resulta útil modificar un poco la última
formula. Supongamos que en un entorno de un polo simple
z - a una función / tiene la forma
f(z) - ^
f { ) ~ t(z)' (4)
d)
donde v y f son funciones analíticas en el punto z = a
y tales que V(a) * 0, m = 0, f ( a ) ¿ 0 ^ ac '
fórmula (3), tenemos
res f(z) = lim & l A =

« z—>a 1¡>(Z)
= lim ^ Í í = PW
z—>af i > { z ) - j > { a ) \ i¡j'(ay
es decir,
res f(z) = m
0 i>'{a) (5)
Por ejemplo,
^^ * eos z eos kir
res ctg 2: = res = 1.
fcT fcjr sen z coskir «V M
En caso de que la función / esté definida mediante la

fórmula (4) y las funciones tengan en el punto z = a
ceros de órdenes superiores a 1, para calcular el residuo
es cómodo cambiar las funciones <p y ip por los primeros
términos de sus desarrollos de Taylor. Por ejemplo,
sen 3z ~ 3 sen z 3z--Z3 + ...-3Z + -

res res
o sen z (sen z - z) o
z f-
6
1 r » •
~4z3 + ...
= res - — 24.
o z*
| »«•
6
y ,
ém}'
1.2. Residuo en el punto del infinito
Sea z — oo un punto singular aislado de una función /.
El desarrollo de la función / en un entorno del punto del
infinito Ooo = {z € €: r < \z\ < 00} tiene la forma
+00
nz) = J2 c »zr
n=-oo
Integremos esta igualdad a lo largo de una circunferen-

cia Ffl = (7ji/7ij~) orientada en el sentido de las agujas del
reloj (el punto del infinito queda a la izquierda). Obtenemos
J f(z) dz - Cn j zn dz = —2iñc-i, (1)

n=-00
puesto que
Jz n dz = O, si n 1.
Definición. Se denomina residuo de una función f en el punto del

infinito al coeficiente (tomado con signo contrario) de la primera
potencia negativa del desarrollo de la función / en un entorno del
punto del infinito.
Teniendo en cuenta (1)/ obtenemos
res f(z) — —c—i f{z)dz. (2)

2tt¿ J
De acuerdo con la definición dada, res f(z) se deter-

00
mina mediante el coeficiente de la parte regular de la serie de
Laurent y, por tanto, puede ser diferente de cero también en
el caso en que el punto del infinito no sea un punto singular
1
evitable de la función /; por ejemplo, res - = - 1 .
00 z
Supongamos que el punto del infinito es un punto
¡ingular evitable de la función /. Introduzcamos la notación
im f{z) ~ /(oo). Entonces t
—+0O
res f(z) — lim z(/(oo) - f(z)) . (3)
00 z—> oo
efecto, en este caso el desarrollo en serie de la función /
;n un entorno del punto del infinito tiene la forma v§
oo
f(z) - /(oo) + C-kZ~k, 1
! í:
k—l
e donde
00
-fc+i
E /< \
asando en la última igualdad al límite cuando oo,

b tenemos la fórmula (3).
Así mismo se puede obtener la fórmula
res f(z) =z V ( 0 ) , (4)
00
1
>nde ip — f(z) Y es una función analítica en el
z
Lnto z 0.
3. Teorema fundamental de los residuos
Teorema 1 (de Cauchy). Siuna función f es analítica en D U dD C C,

salvo en un conjunto finito de puntos singulares aislados {a¿; k ~ 1, ra}
pertenecientes a D (pero no pertenecientes a dD), entonces se verifica
la igualdad
/
a
2tt¿ (1)
dD fc=i
IPlpife^
< Demostración. Sean 7! = 0 ) circunfe-
rencias de radios pk con centros en los puntos a¡-, donde

Pk son valores suficientemente pequeños tales que los círcu-
los KPh con fronteras 7* pertenecen de modo compacto a la
región D. Consideremos la región D\ {Kpk; k = l,n} y uti-
licemos la fórmula de Cauchy para una región múltiplemente
conexa (v. teorema 4, p- 5.3, cap. 1, t. 6). Tenemos:
f(z) dz f(z) dz =
27tí jdD j
= Y > e s f{z), rfe=(7fc/7n.
k=1
Este teorema tiene un gran valor práctico, pues reduce
el cálculo de una magnitud global (la integral curvilínea de
una función analítica a lo largo de la frontera de la región) al
cálculo de los valores locales de los residuos de la función en
sus puntos singulares.
Calculemos, por ejemplo, la integral
f dz
j (*-l)V + l)'
OD
D = {ze O ¡z - 1 - ¿I < 2}.

La función subintegral / es analítica en la adheren-
cia D, salvo en los puntos z\ = 1 (polo de segundo orden)
y z2 ~ i (polo de primer orden). Utilizando la fórmula (1),
obtenemos
/ (; - 1 ) V +
dD
!) = O? f [ Z )
8 + f f ñ2) ) =
7TJ
Teorema 2. Sea f G A (C \ { a k ; k = l~ü}). Entonces la suma de
los residuos de la función f en todos sus puntos singulares finitos y del
residuo en el punto del infinito es igual a cero:
n
Demostración. Sea = {z 6 O \z\ = R} una circunfe-

rencia de radio R suficientemente grande, la cual abarca
todos los puntos singulares finitos a¡¡. Entonces, según las
fórmulas (1) y (2), p. 1.2, obtenemos
l f "
— / f(z) dz = V res f{z) = - res f(z). •
2wi J f—f ofc 00
rR
El teorema 2 es útil para calcular integrales curvilíneas.

Consideremos, por ejemplo, la integral
dz
-/ ¿Vo-2)'
r = (7,7or), 7 = H = 2}.
Según el teorema 1,
I = 2vi ( res 3, , 10. ñ — — + res

V o z (z - 2) ^ a
donde Ct (fc = 1,10) son las raíces de la ecuación zi0 - 2 = 0;

utilizando la fórmula (2), hallamos
I = — 2tt¿ res -3 t -10t t — - = 0.

00 z (z — 2)
m Problemas resueltos.
Para las funciones especificadas a continuación, hallar

los residuos en todos los puntos singulares aislados y en el
punto del infinito (siempre que éste no sea punto límite de
ellos).
Solución. Los puntos singulares de la función / son Z\ — 0,

Z2 = l , — oo. Utilizando la fórmula (2), p. 1.1, hallamos
d
Tes f(z) — lim (z2f{z)) =
z->Q dz
= lim (—^—7-) =
z~*o dz \ z -1 )
z1 — 2z
~ lim —r 2= 0
ZÔ (z - l)
(se tuvo en cuenta que el punto z\ = 0 es un polo de segundo
orden de la función /).
El punto Zi = 1 es un polo de primer orden de la
función /; por tanto, para calcular el residuo en este punto
utilizaremos la fórmula (3), p. 1.1. Tenemos:
res f(z) = lim f(z)(z - 1) =
2=1 z-> 1 I
, z2 + z- 1
= lim » = 1.
z-*l Zl
De acuerdo con la fórmula (2), p. 1.3,
res f(z) + res f{z) + res f(z) — 0,
2=0 2=1 00
de donde
res f(z) ~ -1.
< Solución. En los puntos zk = kn {k £ Z) la función /
tiene polos simples. Utilicemos la fórmula (5), p. 1.1, tomando
<p = 1 y i¡)(z) ~ sen z. Tenemos:
1 1
res f(z) = = —— = (-lf.
2=Zk e o s Zft e o s «7T
El punto del infinito es punto límite de los puntos singulares

aislados. •
Solución. El punto 2 = 2 es un punto singular esencial de

la función /. El desarrollo de Laurent de / en un entorno
del punto z = 2 es
00 n 2n
(-i)
m = E <2»)! V2-2;
El coeficiente de (z - 2) 1 es igual a cero y, por consiguiente,

res /(¿) =r 0.
2
Aplicando la fórmula (2), p.1.3, obtenemos
res /(*) + res"/(*) = 0,

00
de donde hallamos res f(z) = 0. •
00
<4 Solución. Al igual que en el ejemplo anterior, z = 2 es
un punto singular esencial de la función /. Dado que
js3 = (2 + (z - 2))3 = 8 + 12(z - 2) + 6(z - 2)2 + (z - 2) 3 ,
~H T
eos
z -2 o=0 (2n)! \ 2 - 2
i / i y 2.
1 2! \ z - 2 J 4! z- 2
Entonces,
z 3 eos — - = (8 + 12(z - 2) 4- 6(z - 2)2 + (z - 2) 3 ) x

z- 2
x 0 ~2!(z -2f + 4!(z -2f "•")•

Como se puede ver, el coeficiente de (z - 2)~ es igual a
1 143 143 _ ,
-6 + — = Por consiguiente, res /(z) = ~ — . Según
la fórmula (2), p. 1.3,
res f(z) + res /(z) = 0,
2 oo
de donde resulta
143
res /(z) =
24
< Solución. El punto z — 0 es un punto singular esencial de

la función /. El desarrollo de Laurent de la función f en un
'namg
entorno del punto z — 0 es
( - 1 ); '
f(z) - zn V =
+ i)-z2k+1
_ y. (-1)* 1
^ (2/¡ + 1)! Z^k-n+l'
La igualdad 2ft - n + 1 = 1 no tiene lugar si w < 0 ó si re G Z
es impar. En esos casos res f(z) = res /(z) = 0.
0 oo
Si n = 2m {m ^ 0), la parte principal de la serie de
(—l)m
Laurent de la función / contiene el término —--—-— z 1 =
(2 m + 1 ) !
(~1)" / 2
( n 4-1);^ ' P o r c o n s i g u i e n t e / para todos los n G Z0 pares
(_l)»/2
tenemos res f(z) = — . En particular, si n ~ 0, entonces
o (n + 1 ) !
res f(z) — 1. Utilizando la fórmula (2), p. 1.3, vemos que para
(_l)(»/ 2 )+l
todos los n G Z 0 pares res/(z) = - r e s / ( z ) = - — .
oo o (n +1)!
En particular, si n = 0, entonces res f{z) = - 1 . •
OO
A Solución. Descomponiendo la función / en fracciones sim-

ples, obtenemos
v 2 3 4 3
; - F + 7 + i + s r ^ ) -
, w =
Los puntos singulares de la función / son zx = 0, z2 = - 1 ,

^3 — 1/ Z4 — 00. Dado que los puntos Z\, z2 y z3 son polos
simples de la función /, entonces res f(z) = 2, res f(z) = 4,
res f(z) = Según la fórmula (2), p. 1.3,
res f(z) + res f(z) 4- res f(z) + res f(z) = O,

O -1 1 oo
de donde
res f(z) = - (res f(z) + res f(z) + res f(z)) = -7,5. •

oo 0 - 1 1
< Solución. Representando la función en la forma
s/ly/z -VZ + 1
m = z-1
vemos que ella es cuadriforme y que cada rama tiene un
punto singular finito uniforme Z\ — 1 (polo simple). Los
puntos z-i = O y 23 = — 1 son puntos de ramificación.
Definamos las cuatro ramas uniformes de la función /
definidas en la región C (del plano C se ha eliminado el
eje real negativo) especificando sus valores en cierto punto
determinado, por ejemplo, en el punto z — 2:
/i(2) = 2 — \ñ>,
f2(2) = -2 - A
m = 2+ A
/4(2) = - 2 + V 5 .
îliliil
: ^ \ } ' > ' > >x >.: w ^ : < ^ T": : > : ! : . : <
x + xt>x \<> <x> i s > -. + J ^ ! t , ' ! :.. .! .. •

^X > X * X 4 X W < " « ) ( 4 X . X ^ v * . í » • V « V - ^ - y< .
iUiM mh i v<x -
' j x 4 x * < \ < f X > < X >X > s • . « 4 Í . . S / .
f X 4 . 4 <> O 4 W ' i < X< -
Obtenemos entonces
/ ^ ^ ( ^ ( c o s ^ - f i s e n ^ ) »
- V a f e e s + ¿sen !*<I±1>
fi(z) = 2|z| I eos h í sen - — -

z-1 V 2 2
r—— / arg (z + 1 ) . arg (z +1)
- yj\z + 11 f eos b t sen
f3(z) = ~f2(z), M*) = -fi(z).

Así pues,
res Mz) = hm(z - 1 )f1(z) = Vi-V2 = 0,
1
res f2(z) = lim(z - 1 )f2(z) = ~V2~V2 = -2VÍ,
1
res / 3 (sj = 2V2,
res /4(z) = 0. •
1
Solución. Utilicemos la fórmula (3), p. 1.1, y la regla de

L'Hopital de eliminación de indeterminaciones del tipo - .
Tenemos:
z{z~zv) 2z — z„
res — - lim — — = lim —
«„ z — a 4
4 z4 - a4 z~*zv 4zJ
1 2z — z„z
~ ~ lim — -
4 z^>zv z — a 4 + a
4
1 2 ¡4 - z¿
4a 4 '
ipp¡
•,I
. . < / í < " >x il
.... • :
1 * 1" s !* "
». : • » .
Solución, a) De acuerdo con la fórmula (2), p. 1.3,
res- = — res
00 {Z -- I)1)3 i (z - l)3
e22 = —2e .
~~ 2 *-»i dz2
b) Análogamente
res -z r = - res ' , + res - = - — r

00 Z + CL \z=ia Z2 + a¿ z=-ia Z¿ + CT
( eiz eiz >
= - ( lim — + lim —
\ z—*íq Z -\~ICL z—*—ia z — ta J
—a
1 e i(,a) - e~
lia lia
sen la
^ X<* .i
^¡«SSXfiS ifík
ÔÍVA»X
> »w • .
yS.» .viVil '

><o» • .
<->-<
y < »*,v .<.
•.<» >.
•a <-> v 9
>X«y< xx
x<->-<4s<v ^ ,*>•<* 'í V.,
1»¿< > x « x
• í * > s *>><
Xs . 7
Illilpi^
« r ^ í ^ j
mwm
.. I>
ily ^ÍA'^ ^l- • i w : , : •;.

¥ • y.:. $ r ^ w í w * ; * ; **
w tí: $ Á ¿*Í ¿¿îHÎfd'fU
< Solución, a) Utilicemos la fórmula (3), p. 1,2: Para calcular los residuos de la función / en los puntos zk
1
{k ¿ 0) utilicemos la fórmula (5), p. 1.1, tomando <p{z) = -,
res sen - = lim 2; ( sen 1 - sen
oo z + 1 z—•oo z +1 i¡>(z) X - e~bz:
2kni
z+1
1+ z +1
= lim 2z sen eos res /(z) = —
z~+ 00 2~~ Zk ib'
= cosl lim z [ 1 —
¿—•00 z+1 Ikiri 2kvi
he f*
= cosl lim = cosl. h
z->oo z + 1 _ 1
Según la fórmula (2), p. 1.3, 2kiri'
c) Para |z +1| < 1 tenemos
res sen — res sen - = - eos 1 1 i 00
-i z+1 00 z+1 I = í = +
b) Los puntos singulares de la función / son
2kiñ (\( 1 1
Zk res I — 1 + I-... + t — — : r
- i VzV 1+ 2 (i + z)n
(k 6 Z). El punto z = 0 es un polo de segundo orden y los res í (—1 - (1 + z) - (1 + z) - ...) x
puntos Zk para k ^ 0 son polos de primer orden. Utilizando
la fórmula (2), p. 1.1, obtenemos 1 1
1 + l +z + '" + (l + z r
res f{z) lim —- ,—hz
o z—>o dz res
-i (1 + z)n (1 + z)n-i
1 - e~hz(l + hz)
lim a-hZ - (n + 1 ) + . . . = -n.
z~* 0 _
1+ z
1 - (1 + hz) - hz + y z ¿ + o(z ) Análogamente,
= lim /1 1 1
z—*0 (1 - 1 + fc? + o(z))2 res ( - 1+ h . . . + —•——
0 \ 2 \ 1 + Z ( 1+ Z)"
(
h2z2
_ 1 = n +1,
= lim 1 - 1 + fc2z2 - — + o(z2) a 2=0
z—»0 " l 1 + l +z + '"' + (l + z)«
/i2z2 + o(z2) = 2"
!x-.i/WM,
tÍ
Ilfer
/I ( 1 1
res { - 1 + \-... + — —
oo V A ! + * (1 + ^)"
= n - n - 1 = —1. •
Solución, a) La circunferencia 7 r abarca 4n + 1 polos de

la función subintegral, pues se tiene un polo en el punto
— inm
z = 0 y cuatro polos zm = vke 2 (m = 0,1,2,3) en
cada circunferencia 7 ^ = { ¿ € 0 1 2 1 = ^ } (k — l , n ) .
A partir de la fórmula (1), p. 1.3, hallamos
/ zdz
,2niz2 _ j
= 2?r¿( res 2niz2
o e k=l m=0
res- 2viz2 _
; +
2iri 47r¿e(-1)m25ri'fe
jfe—1 m=0
1 n \
~2wi + — = 2 n + l.
2tt¿ 7r¿ /
L* I
yfi-Ht H * } ^ i v > ; / ' ' ^ y*y V ' ] • v * '' . N : > • ' •
lilSiillllili ; ¡V . tx<v4 M ' ' • í . . i ' . ' í'r . , .
b) Utilizando la fórmula (2), p. 1.2, obtenemos
f \ i —-— dz = 2iri res \ -.

./ V Z + 2 oo V ^+ 2
De este modo,
dz = —2ni res
z+2 z+2
= —2?tí res 1/2

2
1+ -
z
/ 1 /I
27T¿ res 1 ho I - = -2iri
oo V z \z
M Solución. Dado que z € 7 r ¿z = r2, z = z entonces
r (z 4 + i ) d z
J (r2 - az)(&z - r 2 )'
•¿tint&mmkxi -,1 . .-i Í'

La función subintegral tiene dos polos simples z\ —
9
z2 = — - Como la curva abarca el polo entonces
b
i •
2m res — z
——
r2)
r2/b (r ¿ - az)(bz
27r» ,lim -5
z4 + l =
—
b z^r2¡b r z — az
. rs + b'
-2-ni
6 4 r 2 (6 - a)'
Solución. La circunferencia 7 abarca un solo punto singu-

lar de la función subintegral; por consiguiente, los puntos
¡2kn
zk = e 5 (k — 0,4) son polos simples. Según la fórmula (1),
p. 1.3, tenemos
/
dz
rpc
3XÍ
0
Por cuanto
E
fc=o
res
(z - 3)(z
-5 — + res —
1) 3 (z -3)(z 5 _
•f res =5-
00 (z ~ 3)(z
i i ^ w i u
obtenemos
dz
i»-- w
= ~hri l res 7 - — I - res 7 — - r r p
V 3 (z 3)(z5 - l) oo (z - 3)(z'
00 tenemos
En un entorno del punto z
5 „
1 + F +
(z - 3)<z
= 0,y
Por consiguiente, res _ _
/
dz
dz
3XÍ 5 _
= -2-kí lim —-
z—»3 - 1
2tt£ 7U
242 121
El uso de la fórmula (2), p. 13, nos permitió evitar cálculos
voluminosos. •
„ Solución La circunferencia 7 abarca el punto singular aisla-

do 2 = 2 de la función subintegral /; esta smgulandad es un
l á i l á U M H á l
i . . ,: i . .<. ' i : < ( K jt\
; / M l ^ l V
¿mmmwW . , Ü> « i / I í / i«
polo de segundo orden. Por consiguiente,

se deduce que res f(z) - - c _ i = — - (v. fórmula (2), p. 1.2.)
I ~ 2iti res f(z) = 00
2 Por consiguiente, I = iri
=^ 1¡m ± ( e-32»
dz \ (z - l)(z - 2)2
d ( z \
— 2ni lim — ( =
z->2 dz \ z - 1 /
= 27TZ lim Í-— ~ -27T¿.

2-2 (z - l) 2
Solución. La función subintegral / tiene un polo de segundo

orden en el punto Z\ — O y polos simples en los puntos
z2 = —3, z3 = 3. Sin embargo, la circunferencia y abarca sólo
el punto z\; por tanto,
I = 2ití res f(z) =
= 27tí2->lim —
W
^ Solución. La función subintegral f tiene polos simples en o dz z 2 - 9

los puntos z& = -1-et~r~ (k = 0,1,2,3). Por la fórmula (1), e z (z 2 - 2z - 9) 2tt¿
v2 = 27r¿ lim
z-»0 .2 _
p. 1.3, tenemos
3
I ~ 2ttí res /(z).

Como
J 2 r es /(«) + res /(z) = O,
entonces
I - —27t¿ res /(z).
oo Solución. El punto z = O es vm punto singular esencial de
A partir del desarrollo la función subintegral. Dado que
^ (-1)"
f{z) 2z ( l + l / ( 2 ^ ) j ~ 2 z O 2z4+'-' sen
^
n=0
(2n + l)!z 2n+1'
V-1 'ti»i-
V
ilil®
obtenemos,
y para n < - 1 tenemos res zne1¡z = 0. Por consiguiente,
res/(z) = l I = res /(z) = 1. •
ifi+i
, si n ^ -1,
I = reszne2/Z = < (n + 1)!
si n < - 1 .
^ Solución. Dado que el desarrollo en serie de Laurent

1 1 A. 2\
sen 2 - = - 1 - eos - = Solución. Haciendo el cambio de variable ei(p = z obtenemos
^ 2 V z
dz 1 2z
_ _ l y > H ) " dtp — —, =
iz a + cos(p z2 + 2az + l'
t í
2 M
no contiene el término de tipo c_ l Z ~ l , resulta que
d z
i J z2 +2az + l'
r
1
2 1 r = (7/7or), 7 = { z e O \z\ = l}.
ressen - = 0, 1 = ressen2 - = 0.
Las raíces de la ecuación z2 + 2az +1 = 0 son z\t2
- a ± Va2 - 1. Vemos que sólo el punto Z\ —-a + Va2 -
está abarcado por la circunferencia 7 , pues
1—a = - < 1.
a +
De acuerdo con la fórmula (1), p. 1.3,
t 27xi res —2
2& % zi z + 2az + 1
Solución. Como zne2** = _ _ entonces
k=0 4x
n — k - 1, fe e Z 0 , es decir, para n ^ - 1 , tenemos 2* + 2a
(71+1 2?r
resz n e 2/z =
(n + 1)!'
vúmmm
^lléiM
«4 Solución. Recurramos a la solución del ejemplo anterior.
Representemos la integral I en la forma
¿IT
a dtp
= 11 (a 4- b eos <p)2
v v
dip b f eos <pd(p

7 -
a j a + bcos<p a J (a + b eos <p)2
/ 2w 2jt
dip
2 w
f dv +b± f -
= -a \
( J! - a + b eos (p db J a 4- b eos -5\! i'••»•'^ ^
j y ^^í^^^
2?r 2tt6'
a 2 - 62 (a2 - 62)3/2
2tt
( a 2 - 6 2 + 62) =
a(a 2 - 62)3/2
2ira
b2) 3/2*
^ Solución. Al igual que el ejemplo anterior, escribimos I en

la forma
¿ A
6 [ eos v^V9
a j a -f 6 eos 2)2
o
2t ¿n
d<p
- 1 í i— /__ d<p
a j a '+ b eos 2(p
a db J a + b eos 2tp
a W a + 6 eos 2(p db J a + b eos 2<p I

x o o
Haciendo 2<p = t, hallamos
2T 2ir
_ f d<P
a + bcos2ip J A + B cos2(p
o o
IX
dt
- y A + B eos t
donde
b b
A-a + -, B = -.
2 2
Wfrft-.'tfy/
i&w¿sm
: Kx-i&feSfe i;:
Tomando en consideración el ejemplo anterior y el

hecho de que, cuando t varía de 0 a 4n, el contorno cerrado
que abarca los polos de la función subintegral se recorre dos
veces, obtenemos
4*
dt 2 7T
¡I A + B eos t
2?r
IR
2 7T
^1 - »
a2 + a&
2k
d f d)3/2 )
a(a2 + ab)V2 ^ + ab) ~ ^

ir (2 a + b)
a 3 / 2 (a + 6) 3 / 2 ' *
<4 Solución. Utilicemos las fórmulas de Euler para transformar
la función subintegral Tenemos:
ecos ^ eos {neetV).
Efectuando en la integral el cambio de variable et(p

resulta
r = (7,7or) / 7 = { ¿ e C |¿i = l } .
Según la fórmula (1), p. 1.3,

si n < 0,
.-11 ¡t - u
I =
ir res x(t + r"
o
i\
= 7T si 71 > 0.
ra! n!
Solución. Transformemos la función subintegral utilizando

las fórmulas de Euler:
e¿(a:+ta) _ e~i(x+iá)
tg (x + ia) =
i (e'te+ía) -j- e-i{x+iatj
1 ei2x - e 2a
i ei2x + e 2 a '
Efectuando el cambio de variable é2x = t, obtenemos
/ t-e2a
t(t + e )
2a
di,
r = (7,7or), 7 = { Í G G |í| = 1}.

Si a > 0, entonces la circunferencia 7 abarca sólo el punto
t = 0 (polo simple). En este caso
r . t~e2a
1 = — 7 t í res — —
o t(t + e2a)
t~e2a
= —ni lim — = 7r2
Si a < 0, entonces, además del polo t = 0, la curva 7 también

abarca el polo t = - e 2 * de la función subintegral. Por tanto,
¿ - e 2a t-e2a
res — — = lim -
_e*>t(t + e2a) i-SS. t ~
2e2a
_e2a
res
7TZ res — -
o t(t + e 2a ) ~e2a t(t + e2a)
-7ri(—•1+2) =
= —TTl.
Estos dos casos se pueden reunir en uno solo utilizando la

notación sgn : I = n i sgn a.
Si a = 0, la integral dada se entiende en el sentido
del valor principal:
7==vp/tg^=Hm( j tgxdx+ J tgzdx\ =

n/2+e
\X=Tf¡2
lim llncosaí + ln eosx } =
I31ÉÍBIS;:
-mmimm
lim (— ln sen e -f ln (— sen e) — ln ( - 1 ) )
— sene
lim (ln -ln(-l) =
£-+4-0 V sene
ln ( - 1 ) — ln (—1) — 0.
§ 2. Funciones enteras y meromorfas

2.1. Funciones enteras
Definición. Una función / analítica en todo el plano C se denomina

función entera.
De la definición se deduce que una función entera no

tiene puntos singulares finitos. El punto z = oo es un punto
singular aislado de la función entera. Si z = oo es un punto
singular evitable, entonces, según el teorema de Liouville, la
función entera es constante.
Sea z — oo un polo de la función entera /. En este
caso su desarrollo en serie de Laurent en un entorno del
punto del infinito tiene la forma
f(z) = CnZn + . . . + CXZ + Co + C—nZ " =

71=1
v v
= Pn(z) + J2 c^nz~n.
n=1
La función / - Pn satisface las condiciones del teorema
>
de Liouville
lim (f(z)-Pn(z)) = 0,
z—>00
de donde resulta f(z) - Pn(z) = 0, o bien f(z) = Pn(z),
Resumiendo, si una función entera / tiene un polo en
el punto del infinito, entonces la misma es un polinomio, es
decir, una función racional entera.
Una función entera para la cual el punto del infinito es
un punto singular esencial se denomina función entera tras-
cendente. Ejemplos de tales funciones son zt-* ez, z cosz,
z»-+ sen z.
2.2. Funciones meromorfas.

Teorema de Mittag-Lefñer
Definición. Una función / analítica en todo C, salvo, tal vez, en sus

polos, se denomina función meromorfa.
De la definición se deduce que los únicos puntos

singulares de la función meromorfa / en el plano C son sus
polos.
Las funciones enteras forman una subclase de la clase
de funciones meromorfas. Dado que todo polo es un punto
singular aislado, la función meromorfa / puede tener en C
a lo sumo un conjunto numerable de polos. En efecto, todo
círculo Kr = { z € G |z| < J2 = const, puede abarcar a
lo sumo un número finito de polos, pues de lo contrario éstos
tendrían un punto límite finito que sería un punto singular
no aislado y no un polo.
De este modo, todos los polos de una función me-
romorfa se pueden enumerar, por ejemplo, en el orden del
crecimiento de sus valores absolutos.
Consideremos dos casos. Supongamos que la fun-
ción / tiene:
1) un conjunto finito de polos;
2) un conjunto infinito (pero numerable) de polos.
En el caso 1) el punto del infinito es un punto singular
aislado. Denotemos con {bf, j = l , m } el conjunto de polos
de la función /. Sea ft el orden del polo bj y
JJ)
c-2
+... +
w
9j(z)
z-bi (z - 6,)2 (* - bjfi
la parte principal del desarrollo de Laurent de la función /
en un entorno del polo bj. Consideremos la función
z tp(z) = f(z) -
i=i
Esta función es entera, pues se puede asumir que ha sido
definida en los puntos singulares evitables bj. Dado que
M *
Yj9Á z)
2—>00
3=1
las funciones f y <f> se comportan de la misma manera
cuando z tiende a infinito.
Supongamos que / (y, por tanto, <p) tiene en el punto
del infinito un punto singular evitable o un polo; entonces
n
ip(z) — akZ ''
k=O
« ™ Px(z)
fc=0
donde P\ y Pi son polinomios.

De este modo, hemos demostrado la afirmación si-
guiente.
Teorema 1. Una función meromorfa f para Ja cual el punto del infinito

es un punto singular evitable o un polo es una función racional
y, por consiguiente, puede representarse en este círculo me-
diante una serie de potencias
Aaft0) t (2)
«¡w = 2 ^ - ¡ r z -
k=0
Fijemos g € R, donde 0 < <f < 1. El círculo
ifj = { z e O |z|< # j | }
pertenece de modo compacto al círculo i f , lo cual implica
que la serie (2) converge absoluta y uniformemente en Kj.
Por tanto, existe un n j € N tal que
i. af\o) ,
Z < -J k y/z€Kj.
V
fc=0
Hagamos
W =£ " V *•
Jfe=0
Entonces
19i{z) - Pj{z)\ < VzeKj.
La serie - converge uniformemente en

todo compacto # C € en el sentido de la definición dada
anteriormente. En efecto,
VÜTCCBÍVÉN:
Vn ^ N K C Kn = {z € C: |z| < # „ | } .
Examinemos ahora la serie ^ ( f l j - Pj), j > Sus
términos son funciones analíticas en K mayoradas por la
_ 1
progresión geométrica ¿ J ¿J> i ^ N - P o r consiguiente, su
suma es una función analítica en el círculo K .
Definamos la función / mediante la fórmula
N-1
>=i
Demostración. Aplicando el teorema de Mittag-Leffler cons-
truimos la función
00
Mz) = ^(gn(z)-Pn{z)),
n=l
que tiene los mismos polos y partes principales en ellos que
la función /. Por consiguiente, / - /0 = h es una función
entera. •
Nota. En caso de que la función / tenga un polo en el punto 2 = 0 con parte

principal g0, siempre sustituiremos / por / - g0.
A veces el término "función meromorfa" se utiliza

en un sentido más amplio. A saber, se considera que / es
una función meromorfa en una región D si sus únicos puntos
singulares en D son polos. El conjunto de polos de esta
función también es a lo sumo numerable, y si es infinito, sus
puntos límites pertenecen a la frontera de la región.
; i i''-i,.
2.3. Desarrollo de las funciones meromorfas

en fracciones simples
Sea £ /(() una función meromorfa arbitraria y sea 7 una
curva de Jordán cerrada que abarca el origen de coordenadas
y no pasa por los polos de la función /. Sea k = 1, n }
el conjunto de los polos de la función / pertenecientes al
interior de 7 y sean <7* las partes principales de los desarrollos
de Laurent de la función / a i los entornos de los polos
bk 0 VA; = l , n . Si £ = Q es un polo de la función f, la
parte principal del desarrollo de Laurent en un entorno de
C = 0 se denotará mediante <70 (si £ = G no es un polo, se
asume que go = 0).
Sea z un punto fijo localizado en el interior de 7.
¿
Consideremos la función
9k(0
k—Q
( *-*
Esta función es racional en C, el punto del infinito es un cero
de al menos segundo orden y, por consiguiente, su residuo
en el punto del infinito es igual a cero.
Aplicando el teorema de Cauchy para regiones múlti-
plemente conexas y la definición de residuo en el punto del
infinito, obtenemos
m w
¿ > ( 0 X > ( 0
J _ í k~0
d{
2ni J C 2Tri J C
rr
w w
E ak(o
fc-o n
res — = 0
00 C - z
i i A ••>•<
• • > - ; ., •w
y ' Aí VX. v. . s
(I* = ( i r , 1 r ) , 7r = (c e G: ICI = . £ }
es una circunferencia
que abarca a 7), de donde se deduce la igualdad
w w
/(o-X>(o
no fc=0
iri JJ
27TÍ
de l-f r=(7/7or),
1-KÍJ
, r
p v
La función / - ^ es analítica en la región limitada

fc=0
por la curva 7 (se considera que la función está definida
en los puntos singulares evitables). Según el teorema de
Cauchy
w ~
no - £ 9kio
k=0
d( = f(z)~1¿fgk(z).
2iri J
fc=0
De este modo,
(1)
tí 2™{ <~z
Supongamos ahora que existe una sucesión (7 m ) de
curvas de Jordán cerradas que abarcan el origen de coorde-
nadas, no pasan por los polos de la función / y tienen las
propiedades siguientes:
1) V m G N 7 m la curva pertenece al interior de 7 m + 1 ;

2) rm —• 00 cuando m 00, donde r m es la distancia
desde el origen de coordenadas hasta la curva y m .
De esto se deduce, en particular, que Vi*> 0 existe un ra0 E N

tal que el círculo KR = { ( <E G ICi < R} Vm > mQ(R)
pertenece al interior de y m .
>i —s V Va
3) lim = Tm=(ymfyZ), \Z\ <R. (2)

m->oo J £ — Z
r»
Apliquemos la fórmula (1) a T m . Sea n m el número de polos
abarcados por la curva j m . Entonces
"m 1 V f(C)
m = + î i~rzd<:' m > m o ( R y ( 3 )
Pasemos al límite en (3) cuando ra —* oo. Considerando la

fórmula (2), hallamos
f(z)= lim Y ] g k ( z ) . (4)

fc=l
De esta manera, la función / está representada en
el círculo KR como el límite de la sucesión de sumas
de las partes principales de los desarrollos de Laurent
de / en los entornos de los polos pertenecientes al inte-
rior de 7 m .
Establezcamos las condiciones suficientes para que se
verifique la fórmula (2). A partir de la estimación
f / (m
0 d< MCI
2tt i j 2ir(r 7 ^ 1 ] m
resulta que para que se cumpla la expresión (2) es suficiente

que
lim [ |/(0I \D(I = M, M < oo. (5)

I — • O O J
7.»
Demostremos ahora que podemos obtener un desa-
rrollo de la función / en fracciones simples imponiendo
condiciones menos rigurosas que (2).
• • I . . t i f t . ; . . ; {
Supongamos que existe un número entero no negati- obtenemos

vo p tal que
i f /(0 /w = E « < « ) + £ £ 4"'*"+
j
m-»oo 27TÍ J C^ÍC-*)
< - o, W<ji (6) jfe=0 fc=0 n=0
rm
€ l f f { 0
dc
Para que se cumpla (6) es suficiente que
vm
/(C)
¿ 7m/ p MCI < oo. (7) o bien
Si kl < l a tenemos m = (
"m
» < « ) + +
^p-ti
—
r /(o
/
/»
(8)
Jfc=0
2** iTy c+1(c-*)
1 __ 1 rm
donde P¿(z) = es un polinomio de grado no

00
—v
n »=o
= n—EO C"
Z superior a p.
+I + „ ± £1 , < n + 1 Pasando en (8) al límite cuando ra —• oo y tomando
en consideración (6), obtenemos
A z»
/*n+l
s f(z) = lim Í9k(z) + f>k(z)), |z| < fl. (9)
c?+2 o -?
n=0
m—>oo
O
Las igualdades (4) ó (9) constituyen el desarrollo
buscado de la función meromorfa en fracciones simples.
Sustituyamos en (3) el desarrollo obtenido de Ejemplo. Hallar el desarrollo de la función z w ctg z en fracciones simples.
Solución. En el caso considerado tenemos
bk = kir (k € 1), gu = —
f /(0<*C z ~ kn
2tt¿ J C"+1(C - z)' Sean ym las fronteras de ios cuadrados con centros en el origen
r. de coordenadas y lados de longitud (2ra + l)7r paralelos a
Tomando en consideración las igualdades los ejes de coordenadas. Estimemos por separado el valor de
i f no „ ^ no ctg z en:
1) los lados paralelos al eje imaginario;
7rt y ín+1 ^ ^ ^ cn+1 ~ ^ '
2) los lados paralelos al eje real.
Tenemos:
1) z = ±{2m + \)- + iy,
m m
e2iz +1 _
I Ctg z\ = 2iz
e —1
e±í(2m+l)3re-2y + ^
e±j(2m+l)Te-2y _ i
1 - e"Zy
< i.
lH-e" 2 » ^ '
2) * x±i í mH- — 1 7r,

e2íxeT(2m+l)ir + j
1 ctg z | e2ixeT(2m+í)z _ 1|
eT(2m+l)ir + 1 1 +
< jeíPrn+Dír _ ^ i _ '

1 + e _,r
Tomando en consideración que — > 1, obtenemos
1 1 r e -5r
1 + e~*
ctg z | ^ — 7T ^ £ Tm* (10)
La condición (7) es válida para ctg z si p = 0. En efecto,
/ f [ctgzl ll + e 4(2m
4(2m +
+ l)7r
ff
Ictg^l , , , + l)7r
7m (m + j W
8(1-+c^*)
r—W
si m oo.
De este modo, Pjt(z) son funciones constantes (poli-
nomios de grado cero):
„ ctgC
Pk(z) = Al = res
kn ^
De aquí hallamos
P0{z) = Q, Pk(z) =
fc7T
Aplicando la fórmula (9) obtenemos el desarrollo de
ctg z en fracciones simples
1 m 1 1
ctgz — —{- lim ( Y ^ ( + —\Y
z oV^
fc=-m
\z — kw kir//
o bien
00
1 v^' / 1 1\
(11)
Jc=~ 00
{donde el símbolo ^ ^ indica que k recorre todos los valores
de 2 salvo fe = 0).
Teniendo en cuenta la convergencia absoluta y unifor-
me de la serie (11), la última fórmula puede escribirse de otra
manera:
1 . ^ 2z
(12)
n—1
Nota. En calidad de j m hubiéramos podido tomar las circunferencias
7m = € C \z\ = m + ^ | sin alterar la estimación (10),
Problemas resueltos.
m y , :
v '
Solución. Es evidente que la serie de las partes principa-

les V : 71 £ converge uniformemente en todo
' (z - n7r)¿
compacto (en el sentido de la definición del p. 22), pues
^rálIfÍII
• • ' ' f . f f. f ^ C & í i í .
V.-. <.'.*,*:.
la serie mayorante ^ converge en todo círcu-
lo Kr = {z € C \z\ < R}. De este modo, utilizando la
fórmula (3), p.2.2, y haciendo en ella Pn(z) — 0, obtenemos
w
f(z) = h{z) +
n~—00
(z - nn) 2
Solución. La función
1 ^ 1
Z »-• h(z) = r ) —
sen2
n=-oo (z - n7r)
z <¿—'' ¿
es periódica de período ir. Examinémosla en la franja

G ~{z€ C 0 < Re z ^ 7r}. Tenemos V n É N que
717T| ^ 717T - |z| ^ 7r(n - 1).
Por consiguiente,
00 1
F —-
1 i? -n?r)2
< 2rl2 2
|z| \z - Í17T
n=-oo
+2 E
n=m+l (n - l)2?r2
Si Z OO.
Como [ sen2 z\ — sen 2 x + sh 2 y —• 00 cuando z 00,

0 < Rez ^ 7T, entonces la función /i está acotada en la
región G y, por ser periódica, también lo está en el plano C.
Según el teorema de Liouville h{z) = 0. De este modo,
sen2 z n—-oo (z - nir) :
j?;:
M Solución. Tenemos:
9n(z) = •
z
1- -
n
- 1 + \z\ < n,
n \n)
í + ( Í )
0,(20 + 1 + -
n
z n(n - z) n(z - n)
1
n
Teniendo en cuenta que
^ ^ Vze{ze C: \z\ <¥¿},
n{z-n) v«(n-yn)
deducimos que la serie 2_] : converge uniformemen-

Tt\Z 7bJ "
te en todo compacto K C C en el sentido de la definición del

p. 2.2. Así pues, según la fórmula (2), p. 2.2,
m = + En=1 ^
• , •v > • \ 5 ;
' : íjírí ÍÍ ' i -

+X >
W
' S
' »
' U N
¿ ?? g'í s* x ' « / e x « < : > • « <v ; y I
Solución. La función « - «ene polos simples en los
puntos bn = H7T (n € Z),

(-D"
z — 717T
Sea Tm la frontera del cuadrado con vértices en los puntos
(m + * ( ± 1 ± t). Estimemos la función — :
1) en los lados del cuadrado paralelos al eje imagi-

nario;
2) en los lados del cuadrado paralelos al eje real.
Tenemos:
1) z = ± m + - 1 ir + iy,
sen z
^ i;
ev + e-y chy
/ 1\
2) Z = X±Í[ -
| sen z\ ixArn+l)*„e-iXe(™+l)*
(m+i)
sh(m+-W sh 2
ti
Por tanto, la estimación (7), p.2.3, se verifica para
1
p = 0, P„(z) = A°n = res , de donde P0(z) = 0,
* ' \
nw z sen z
/ " - v r o n - y
R.(z) - — . D e acuerdo con la fórmula (9), p.2.3,

717T
1 "V (-1)" 1 1
sen z 7Í—-00 Z — 717T 717T
1 °° (—l)"2z
- 7l 2 7T 2
2
Z
n=l
Solución. Cambiando z por iz en (12), p. 2.3, y simplificando

por —i, obtenemos
, 1 ^ 2z
n=l
de donde resulta
z z z z
= - - + - cth - =
ez - l 2 2 2
2 2z
z2 + 4n27r2'
n-l
Solución. Utilizando la serie de Fourier de la función

x (p(x) = eos ax, —ir < x < ir,
obtenemos
dü v
eos ax eos nx,
n=1
donde
a-
eos ax eos nx dx =
n2a senair
ir a2 — n2, n 6 Z0,
= (-i)
es decir,
sen a?r 2a sen afl-
«« -iv« eos nx
eos aa: = 1
air 7T
n=l
Para x = 7r tenemos
ÉOS CK7T
?r ctg «7T = 7T
sen «7r
1 A 1
= —
ex - - n1' A—' a1¿
n=l
Efectuando una prolongación analítica del eje real
al plano complejo, llegamos a la solución del problema
planteado:
oo _
1 22
z zÁ — n2
n=1
§ 3. Productos infinitos
El análisis de las funciones en el plano complejo revela no sólo
sus propiedades nuevas y hasta inesperadas (por ejemplo, la
relación entre la función exponencial y las funciones trigo-
nométricas), sino también permite agruparlas en clases. La
utilidad de tal clasificación es confirmada por su importancia
tanto en el desarrollo de la teoría de las funciones, como en
su aplicación.
3.1. Productos numéricos infinitos
Se supone que el lector está familiarizado con el concepto
de producto infinito de números reales y con algunos de los
resultados más simples de esa teoría.
Sea {zn) una sucesión arbitraria de números complejos.
Definición 1. El producto infinito
na+*») (1)
se denomina convergente si la sucesión (P n ) de productos parciales,
n
Pn = n * 1 + **)'
k=1
converge a un límite P finito y diferente de cero: Pn -+P,0 < |P| < oo.
El límite P se denomina valor del producto infinito (1) y se denota
oo
mediante +
n=l
Si entre los factores (1 -f zn) hay un número finito

de factores nulos, el producto infinito es convergente o
divergente según lo sea el producto infinito obtenido a partir
del producto dado después de eliminar los factores nulos.
Si el conjunto de factores nulos es infinito, se dice que el
producto infinito es divergente.
Conforme a las definiciones presentadas, para inves-
tigar la convergencia de un producto infinito basta analizar
el producto infinito de los factores distintos de cero. Evi-
dentemente, para la convergencia del producto infinito (1) es
necesario que lim zn = 0. En efecto,
n—*oo
Pn P
lim (1 -f zn) = lim — — i;
n-»oo »->oo Jrn_i P
por consiguiente, zn 0.
Teorema 1 (de convergencia del producto infinito y de la serie numérica
correspondiente). Elproducto infinito J~[(l + z„) converge o diverge
simultáneamente con la serie
^ ln (1 + z„), -7T < Im ln (1 - f z„) ^ 7r.
demostración. Vamos a suponer que el producto infinito

[(1 + z„) converge. Entonces
limPn=P, 1
P / oo,
n—*oo
¡onde
Pn = £(1 + **)> P = rer

fc=i
r
;Í Pn = rne^\ -7T < <pn ^ 7T, entonces 1 + zk = Pké 6k f

-7r < &k 7r, luego <pn —• (p, $k O para Zk -» 0.
n
enotemos Sn — ^ ln (1 + zk). Entonces,
k=i
Sn = ln Pn + 2m„7r¿, (2)
onde m n es un número entero. Obviamente,
2mnir = ^ + 02 + ... + 9n - y>„;
or tanto,
2 7 r ( m n + 1 - m „ ) = 0n+l - (<pn+l ~ <pn).
uesto que 0„+1 - > 0 y ipn+1 - <pn -+ 0, entonces obtenemos

27r(m„+1 - mn)| < 27r para valores de n suficientemente
grandes. Por tanto, mn+1 — mn — m para los n indicados y
Sn = ln P„ + 2mni. Así pues,
00
lim Sn = Y] ln (1 + zn) = ln P + 2mm,
7I—+0O *
n=1
s decir, la serie ln (1 + zn) converge.
gm-m-hr;:
3EÜÜ
00
Sea ahora ln (1 + zn) = 5 . De la igualdad (2) se

n=1
obtiene que
C * = ín/
de donde
lim Pn = exp { lim Sn} = es = P,
n—>oo n—»oo
es decir, el producto infinito + zn) converge.
Si el producto infinito J K 1 + z n) diverge, entonces
también diverge la serie ln (l + zn), pues suponiendo
lo contrario obtendríamos una contradicción con lo anterior-
mente demostrado. Análogamente, de la divergencia de la
serie ^ ln (1 4- zn) se deduce la divergencia del producto
infinito + zn)- •
Definición 2. El producto infinito (1) se denomina absolutamente

convergente si converge el producto infinito
La serie ^ ^ zn y el producto infinito (1) tienen la

característica de que ambos a la vez bien convergen absoluta-
mente, bien divergen. En efecto, la estimación 1 + \zj\ < e'^'
conlleva a las siguientes desigualdades válidas V n € N:
k l + N + -.. + !*«! ^
êxp{|«i| + |2i| + .:.-+|z B |}.' • (4)

n
Los productos parciales FIO- + M ) y las sumas parciales
i
n
^ \z}¡\ del producto infinito y la serie numérica, respec-
ta
tivamente, constituyen sucesiones monótonas crecientes, las
cuales, según (4), están simultáneamente acotadas superior-
mente o no lo están.
Teorema 2. Todo producto infinito absolutamente convergente converge.
'4 Demostración^ Supongamos que el producto infinito (3)

converge. Sea P„ su producto parcial, P n X + P . Como
n
Pn = Y[(1 + M),
k=1
Pn - Pji—i = (1 + \ZX\)... (1 + l^-iDl^j, n > 2,
para los productos parciales del producto infinito (1) tenemos
Pn ~ Pn-1 = Pn-\Zn,
\Pn ~ Pn-l\ = \Pn-l\ M
< (1 + |*!|) . . . (1 + \Zn-i\)\Zn\ = Pn ~ f

Por cuanto Pn P, la serie J - P„_i) (n ^ 2)
converge y, según el teorema de comparación de series, la
serie - P „ _ i ) (n > 2) también converge. Esto significa
que Pn P 0/ P 0 # oo. Queda por demostrar que P 0 5¿ 0.
Por el teorema 1, la serie ^ |zn| converge. Dado
que a partir de cierto número n los módulos |1 + zn¡ están
acotados inferiormente, la serie ^ converge. Por
1 + zn
tanto, de acuerdo con el teorema 1, el producto infinito
n ^ l + Y+~z~ ) conver8e ^ junto con él, converge el

producto infinito f j qn, donde
Zk
?n n ( - 1 + zk
Esto se puede comprobar tomando
Pn^qn y Pí
Así pues, existe lim qn = qQ £ 0, y como qn = entonces

n—•oo *n
Se puede demostrar que el valor de un producto

infinito absolutamente convergente no depende del orden de
sus factores, pues en este caso la serie J ^ t a l c o n v e r S e
1
(v. teorema 1). Efectivamente, sea e = Entonces existe un
n£ e N tal que Vn > \z„\ < - (ya que \zn\ 0 en virtud

de la condición necesaria de convergencia de una serie). Para
los n indicados obtenemos la estimación
{ln (1 + zn) | M _
2 3
zn zn
— i ^—I • • ^
2 3
1 1 1 1
1 1
de la cual se deduce que Vn ^ n£ | ln (1 + zn)\ < 2\zn\. Por

consiguiente, la serie ^ ln (1 + zn) converge absolutamente
y la afirmación a demostrar constituye una consecuencia de
la igualdad
H(1 + Zn) = exp \Y1ln í1 + Zn) f

»=1 ^ «=1 J
(v. teorema 1), pues para los términos dé las series absoluta-
mente convergentes se cumple la conmutatividad.
s <í i
•ft'ÉSWI
3.2. Productos infinitos
uniformemente convergentes
Sea (/„) una sucesión de funciones /„: C —> C; Vn G N
D/n = G, donde G C C es una región. Si Vz 6 G el
producto infinito ]Q(1 + fn{z)) converge, se dice que converge
puntualmente en la región G, definiendo de este modo cierta
función z P(z) en G. Si la sucesión {Pn) de productos
n
parciales Pn — J~J (1 H- f¡¡) converge uniformemente a una
función P (P„ nt P ) en todo compacto K C G, e\ producto
infinito n ( l + /«) s e denomina uniformemente convergente en
ta región G. Según el teorema 6, p. 1.3, cap. 2, t. 6, el producto
infinito n ( l + fn) converge uniformemente en la región G
si, y sólo si, la sucesión (P„) de sus productos parciales es
uniformemente fundamental en G.
Teorema (condiciones suficientes de convergencia uniforme del producto

infinito). Puraque un producto infinito 11(1+/») converja uniformemente
es suficiente que exista una sucesión numérica {an) que cumpla las
condiciones siguientes:
1) V n e N H / n l K o » ;
2) el producto infinito + <*») converge.
Demostración. Dado que el producto infinito IJ(1 + a n )

converge, entonces la sucesión (Pn) de productos parciales
n
Pn = n (1 + afe) e s fundamental:
fc=i
V e > 0 3 n£ £ N: V (n ^ nE, p 6 N)
n , n+p
iVn, --P» = 1 1 ( 1 + O*) ( J J ( l + <,*)- 1 ) <£.

jllllh í \
• í ' j . . ' - A i
Para n^ ne y todos los p € N estimemos

"+P n i. n , n+p
nd+Aí-nd+A) = ii(i+A)( ri(i+/*)-
*=1 "/c=1 \fe=n+l
De las propiedades de la norma uniforme se obtiene

n+p
A=n+1
n+p
na+/*)
&=i
n+p
n i1+«aid ( i i ( i + H M D - 1 .
jt=i k=n+1
Hagamos Pn— (!+/*)• Teniendo en cuenta la condición 1

fc=i
V {n ^ n€, p € N) obtenemos
«
n ,. n+p .
es decir, la sucesión (P n ) es uniformemente fundamental '

el producto infinito flCl + /„) converge uniformemente en L
región G. •
3.3. Representación de una función entera

mediante un producto infinito
Sea (an) una sucesión tal que los módulos de sus térmi
nos forman una sucesión no decreciente. Supongamos qut
a« = a„ 0, y que un número finito de an pueder
ser iguales.
p i:;
Consideremos el producto infinito
x exp 4* • - • IYaY"! (1)

La» 2 \an Vn\Q>n) )
donde los números pn 6 Z 0 son tales que la serie
(n ^ (2)
converge absoluta y uniformemente en todo círculo
Kr — {z € O \z\ < ü } (se puede tomar, por ejemplo,
pn=n~ 1).
Demostremos que el producto infinito (1) converge
uniformemente en todo compacto K c C .
Introduzcamos la función
9n(z) =
Entonces
~' exp
{ an 2 \an
"f . • » 4*
Pn $1
ln gn{z) =
Z 1 ( Z
= ln ( l - + —+ " — + ...+
an 2\an Pn \ün
Pa+1 P*+ 2
Pn + 1 \ an pn+2 \ an
í>»+ 3
Pn + 3 V an
Para — ^ q < 1 obtenemos la estimación

a„
\Pn+l
(3)
1-ff
Para todo compacto üf C C existe un número n 0 tal que
Vn ^ n 0 í f C = {z €. C: |z} < Por consiguiente,
s> > ¡ s > í í í S S V N S ^ S % W s Y •• s» < \ > •> s>
(SJ^^^SS^ wi iX
. N .i» X <v\V < S
la serie
] P l n 0 f , ( z ) (n ^ no)
está mayorada en el compacto K por la serie convergente (2),
por lo que podemos afirmar que su suma es una función
analítica g„0. Este hecho implica la convergencia del producto
infinito
II 9n(z) = fno(z) = e9"«(z), (4)

n=«0
siendo /„0 una función no nula analítica en el compacto K .
n 0 -l
El producto infinito (1) difiere de fno(z) en el factor 9n(z)
n=l
que se anula sólo en los puntos o¡>\, a-i,..., a n o -i' Como K
es un compacto arbitrario, entonces z »-> P{z) es una función
entera con ceros {a„; n € N}, an ^ 0, y la multiplicidad del
cero ak es igual al número de términos de la sucesión (a„)
iguales a ak. El producto infinito (1) se denomina producto
infinito de Weierstrass.
La función z <p(z) = zxP(z) es entera y tiene en
el punto a 0 = 0 un cero de multiplicidad A, así como una
sucesión de ceros (a n ), an 0, lim an = oo.
n—»oo
Ahora ya podemos demostrar el teorema de Weiers-
trass de representación de una función entera mediante un
producto infinito.
Teorema (de Weierstrass). Toda función entera f con un conjunto

infinito de ceros, donde z ~ 0 es un cero de orden X, (a n ) es ta sucesión
de Jos demás ceros y lim an = oo, se puede representar mediante un
11—'QO
producto infinito
1
m = zxeh{z)
n
71=1
x exp + ... + (5)

\an 2 \an Pn
--tilili r-ci:
donde h es cieña función entera y los números pn se eligen de tal
manera que la serie (2) converja.
Demostración. Como la función z <p(z) — z>lP{z) es

entera y sus ceros coinciden con los de la función /, la
función — también es entera (se considera que sus puntos
singulares evitables han sido evitados) y no tiene ceros en
el plano C. Según el teorema de monodromía (v. teorema 2,
p. 1.3, cap. 3, t. 6), la función
m
h(z) = ln
<p(z)
también es entera y, por consiguiente,
f(z) = em<p{z) = zxemP(z).
3.4. Desarrollo de la función sen z

mediante un producto infinito
En calidad de ejemplo, desarrollemos la función entera z f—•
sen z en un producto infinito. La función sen z tiene un cero
simple en el punto z = 0 y ceros simples en los puntos
an — tvk {n = ±1, ±2,...). Por cuanto la serie ^ ( - )

njÉO ^ n '
converge en todo compacto, en el producto infinito (1), p. 3.3,
podemos tomar pn = 1 para todo n. De acuerdo con la
fórmula (5),
sen z = zeh(z} no 727T /
siendo h una función entera. El símbolo J ] ' significa que no

se toma el factor correspondiente a n = 0.
méi
.^•H'mmm
Sea K C C un compacto arbitrario que no contiene

los ceros del seno. Para todo z E K obtenemos que
00 t / / z \ z
ln sen 2 h(z) + ln z + (ln (1 ~ — + —
j| =— 00 *
mr} nir
ln senz = ctg z ~
dz
0 0 /
h'(z)+-+Y! ( — + 1 - ) -
z »=—00 \z
x - n-K nir' /
Comparando la igualdad obtenida con el desarrollo de ctg z
en fracciones simples (v. fórmula (11), p. 2.3), obtenemos que
h(z) — const. Así,
00
zf(nir)
sen z
n=-oo
sen z
A rpartir de lim — — = 1 hallamos que C — 1. Consi-
2^0 z ^
guientemente, el desarrollo de sen z mediante un producto
infinito es
sen 2 =
IT O-i)-*"
72 = - 0 0 x '
nh-
71=1
n27r2
pues, como la serie - converge absoluta-

mente, podemos unir los factores de índices - n y n ,
3.5. Género y orden de una función entera

Sea / una función entera y (a n ) una sucesión de ceros suyos
tal que an ^ 0, lim an = 00 y la serie (2), p. 3.3, converge
n~>oo
Y'Síft
para pn = p, donde p es el menor número entero no negativo
para el cual la serie converge. En este caso el número p se
denomina género del producto infinito
\( z
P(z) exp
= n K P
(ésta es la fórmula (1), p.3.3, para pn = p). Entonces la

fórmula (5), p. 3.3, adquiere la forma
(1)
l an 2 \ an P a») } '
Si h es un polinomio de grado p\, se dice que / es
una función de género finito igual a max{p, pi}.
Cuando no hay ceros'o», el género de la función / es
igual a pi, es decir, al grado del polinomio h.
Por ejemplo, sen z es una función entera de primer
género {p = 1, p\ = 0).
En los demás casos, cuando h es una función entera
trascendente o la serie > no converge para ningún p
r1
no negativo, la función / se denomina función entera de género
infinito.
Sea M(r) = max \f{z)\. Si f(z) const, confor-
\z\=r
me al teorema de Liouville tenemos lim M(r) = oo. El
r—>oo
siguiente teorema, cuya demostración no entra en el mar-
co de este libro, nos da una idea del comportamiento de
una función entera de género finito cuando ésta tiende
a infinito.
fli»;
p :r
Demostración. La primera parte de la afirmación y la
desigualdad ^ q ^ p + 1 se deducen directamente de la defi-
nición de orden de una función entera y de la desigualdad (2)
para a = 1/ •
^ Una demostración completa de éste teorema, así como del teorema

de Poincaré, se puede encontrar en el libro Biteadze A V, Fundamentos du
teoría de las funciones analíticas de variable compleja, M., Naúka, 1972 (en
ruso).
3.6. Función meromorfa como el cociente
de dos funciones enteras
Sea F una función meromorfa y sea z • <p(z) — zxP(z)
una función entera representada en forma de un producto
infinito. Supongamos que los ceros de <p(z) coinciden con los
polos de la función F y las multiplicidades de los ceros de (p
coinciden con los órdenes de los polos de F . Sea A el orden
del polo de F en el punto z — 0; si zq — 0 es un punto de
analiticidad de la función F, entonces suponemos A = 0.
La función ip ~ F(p es entera, pues los polos de la
función F se simplifican con los ceros de la función tp. Por
tanto,
if>
<P
Así pues, toda función meromorfa es igual al cociente de
dos funciones enteras. La afirmación recíproca también se
cumple: el cociente de dos funciones enteras es una función
meromorfa. Este hecho sugiere una segunda definición de
función meromorfa (la primera definición se da en el p. 2.2):
una función F es meromorfa si se puede representar como el
cociente de dos funciones enteras.
Problemas resueltos.
Solución, a) Dado que
TT (* + V 2
k(k + 2)
k=1 Í i *<* + 2 )
_ ((» + ^)Q 2 - 2 _ + 1)
~ n\(n + 2)! n+2 '
obtenemos
= lim P„ = 2;
+ 2) / oo
n=1 N N
b) Tenemos:
p„=n fc + l fc3-l
3
fc=2
r r (fc - + fe + 1 )
+D(fc2 - fc+1)
II
2 (n - 1 ) !
(n + 1)! ¿ ¿ ( f e - l ) 2 + ( f c - l ) + l
2 n2 + n -f 1
n(n + 1) 3
^ n - 1 „ 2
II " T T 7 =
3
l i m P« = V
71=2
4 Solución. Según el teorema 1, p. 3.1, estos productos infinitos

convergen o divergen junto con las series respectivas
„ / i\ 1 / 1Y ^ 1
SH
y U : ; V í • : •
I > K K l > H )
Dado que la serie
X > (! +
converge [ ln ( 1 + y la serie
diverge ( arctg — ~ — , el primer producto infinito diverge

V » n,
y el segundo converge.
-) ^ 0 si \z\ ^ 3, entonces
3/
para estos valores de 2 el producto infinito diverge. Si
\z\ <3, entonces el producto infinito converge absolutamente,
pues converge la serie — A d e m á s , la convergencia es
J
uniforme en todo círculo

Kr = {z £ C: \z\ < r < 3 } .
Por consiguiente, el producto infinito dado define una función
analítica P en el círculo Kr.
b) El producto infinito converge en C y constituye una
función entera. Esto se deduce de la convergencia absoluta y
„ z»
uniforme de la serie ) —r en todo círculo
Kr = {z e C \z\^ R < 1}.

c) El producto considerado es un producto infinito
de Weierstrass para an = - n y pn = 1. Por consiguiente,
converge en C y representa una función analítica en C. •
Solución. Según el teorema 1, p. 3.1, este producto infinito

converge o diverge absolutamente junto con la serie
1 1
E n> 2.
n )
Esta serie de potencias de r converge sólo para \z\ > 1, Por

\z\
consiguiente, la región de convergencia absoluta del producto
infinito es el conjunto D = {z € C: \z\ > 1 } . •
A Solución. Fijemos un z G C. Para valores grandes de n
tenemos la fórmula asintótica
z¡n
1 -
c+n
= 1 - 1 - I + - + O
c+ n n
z z ^ ( 1 cz
+ 0 - +O
c+ n n \n' n + c\n
Si el número c no es un entero negativo, la serie
£ 1 zjn
1 e
c+ n )
converge absolutamente porque converge la serie
W J ^ L + o f i )2 ) .
¿-^\\n + c\n \n /J
Según el teorema 1, p. 3.1, el producto infinito dado converge
absolutamente si c^ — n, n € N. •
mw^-'r . ...
I îÜM^ irfi >> Ü WijV^ ^ WWÜÜ • ^p* »• PMlij •• * JLMlU Li J
A Solución, Analicemos la función
n n=k
en el círculo ÜT|Zt[ = {z £ C: \z\ < |z¡fc|}. Todos los factores
1
zn ~ z - (3)
de (3) son distintos de cero. De la estimación

(zn - z)zn '
l«n(z)l =
1 -zzn
1 ~ \zn\2 2(1 M)
\l-zzn\ 1 \*k\
y de la convergencia de la serie (1) se deduce que el producto

infinito (3) converge uniformemente a una función analítica y
no nula en el círculo K\Zky, además, el producto infinito (2) es
una función P analítica en el círculo K\Zk\, la cual se anula
sólo en los puntos z\, z 2 / . . . , Z)¡-i. Como lim = 1 (esto
A-» 00
se deduce de la convergencia de la serie (1)), entonces P es
una función analítica en el círculo K = {z £ C \z\ < 1} y se
anula solamente en los puntos z\, z2,....
Estimemos el módulo de un factor arbitrario del pro-
¿n - z
ducto infinito (2) para \z\ < 1: —z„ < \zn\ < 1. Por
1 -zzn
consiguiente, \P(z)\ < 1 Vz £ K. •
* <o¡ 4
» * t^ i>^ ^f í >* ®4 ^**/ x\* 1•»í *^ v >, s /
xt,x 9A fa f
< < > « « > * < > v
5»>S<-x< > J ¡ < > ^ ^ • í - ' ' . .
«: n . M j ¡ a¿< v e a w t < S J . " » » ^ a » » v « ¡ »;»<; • »• •
Wa D
>»>.<. >v> y¡f>x <<• o '

i
í £ £ £ íf í 4% "La s S Í ^ Í ^ , . .
: .. . . » <•
xV i».' . t'
£ <<, ' < '»f V f
A . ,f /
' ^ "* s s ** . * Á
X < «V . • •
> X 3 X ^ > $ <$

« x « < • y x • y x 4 < • x<r>v>>xí-<^v< ...»
w^w : x • : ••» •
•4 Solución. Utilicemos la fórmula de desarrollo del seno me-

diante un producto infinito (v. p. 3.4). Tras una serie de
transformaciones obtenemos
e az — bz
e =
o±b ( a-b 7 a-b
= e 2 [ e i - e 2.
o+ft ra—b
= 2e~2~ sh z =
. (a - b)iz
= -2i e 2 sen - —
2 „2
(fl - bfz
= —2í e 2 z 1+
4ir2n2
o+ft (a - 2 „2
bfz
(a - b)ze 2
4n27r2
^ Solución. Cuando n —• oo tenemos

1
= O a 2n-l = O
n
1
a2n = O din = O I
y/ñ 71
1
entonces an = O < = OI i cuando n —+ oo
V»/
y las series a„ y ^ a 2 divergen por el criterio de
comparación (con la serie armónica).
Vemos que el producto infinito J7(l + an) satisface la
condición necesaria de convergencia. El producto converge
si, y sólo si, n ( l + ft2n-i)(l + «2n). Ya que
1
(1 + a 2 n -i)(l + a 2n ) = — -
rty/n
Bita
y la serie ^ — c o n v e r g e , entonces también converge el
producto infinito dado. •
M Solución. Dado que
M{r) — max | eos az | =

2
[je r
-——a Z ^
M_r (2n)\
2n„4n
e|a|r2 + e - í r 4
— ch |a\r'
2
i arg a
y en el punto zq — Vire 2 se tiene f(zQ)
tenemos que
el«|r + e-|a|r
2 2
M(r) =
Utilizando la fórmula (4), p. 3.5, resulta
ln ln
q = lim
r—«oo ln r
•2\a\r' ln2
ln (|a|r2 + ln (l + e
= lim
r—>00 ln r
mm
-BMSm
Aplicación de los residuos
al cálculo de integrales
y de sumas de series
.1. Aplicación de los residuos al cálculo
de integrales definidas
t
1 teorema fundamental de los residuos (v. teorema 1, p. 1.3)

ermite reducir el cálculo de una integral curvilínea a lo
rgo de una curva cerrada al cálculo de la suma de los
siduos de la función subintegral en los puntos singulares
arcados por la curva. A veces este método también permite
lcular integrales a lo largo de curvas no cerradas e, incluso,
>unas integrales definidas de funciones de variable real. Esto
posible debido a que mediante ciertas transformaciones
eciales el cálculo de tales integrales se puede reducir al
culo a lo largo de curvas cerradas, a las cuales se puede
icar el teorema de Cauchy de los residuos.
1) Sea (x, y)R{x, y) una función racional de x e y,
ual no tiene puntos singulares en la circunferencia 7 =
, y) € R 2 : x2 + y2 = 1}. Entonces es válida la fórmula
e {Zk; k = 1,71} son los polos de la función

1 f z - l / z z + l/z\
z -R | :—,
z \ 2i ' 2 )
mecientes al círculo unidad K = {z eC: \z\ < 1}
¡ÍÉÉISS
Para obtener la fórmula (1), en la función subintegral hay que
realizar el cambio de variable z = e*. Entonces,
¿ I T
z-1/2 z+ \/z\dz
fí(sen t, eos t) dt IZ
/
r = (7/7or)-
Aplicando ahora el teorema de Cauchy de los residuos llega-
mos a la fórmula (1). •
2) Sea / una función analítica en el semiplano com-

plejo superior (incluido el eje real)salvo en un conjunto finito
de puntos z& (Im z& > 0 V 1,»). Dada una curva
llt={z£ C z = Reli, 0
supongamos que
Af(fi) = max |/(2)|, U > max \z]¡\
z€7ií
7 lim RM(R) = 0, (2)

R-* oo
Entonces se cumple que . < . ..
Sea 7 = l - A «1 U <»' T = (T. 7 « ) = (Ti. r , ) , un. curva

suave a trozos cerrada y orientada positivamente (f.g. 1).
Según el teorema fundamental de los residuos, tenemos
/ /
i l .
dz dx +
/
C V
fc=l
®
-R o|
Fig.l
Pasando en esta igualdad al límite cuando R —> +00

y teniendo en cuenta la condición (2), obtenemos la fór-
mula (3). •
3) L e m a (de Jordán) Sea f una función analítica en el semiplano

superior Z* = {z 6 O Im z ^ 0} salvo en un conjunto finito de puntos
singulares aislados y sea
lim M{R) = 0 (4)
R-> oo
(o bien lim M(Rn) — 0, donde (Rn) es una sucesión de números tal
Ra—>00
que las semicircunferencias 7^ con centros en el origen de coordenadas
no contienen puntos singulares de la función f). Entonces V A > 0 es
justa la igualdad
J™ / f{z)e iX¿dz = 0, TR = {lR/ 7-)

R-ôoJ
rR
(5)
lim í f(z)eiXzdz = 0, = ).
RnÔO J
< Demostración. Estimemos la integral del segundo miem-

bro de la fórmula (5) utilizando la conocida desigualdad
21 f ir'
sen t > —, la cual se cumple V t G O, — . Tenemos:
7T r 2
/ /(*)eiA* ¿z ^//(ikV
«cos^-Afisen^^ .
^ Í2AT(Í2)
/ AJtsertí
jt/2
-A/lsen¿
= 2RM{R)
/ •
«¡2 2Afl
M(R) -XR
^ 2RM{R) J e 7T dt~~
De la condición (4) y de la estimación obtenida se deduce la

fórmula (5). •
Nota. Analizando la demostración del lema de Jordán vemos que la analítici-

dad de la función / no es esencial.
El lema de Jordán demostrado para el semiplano

superior puede ser enunciado y demostrado de forma análoga
para los demás semiplanos.
Tomando en todos los casos A > 0 y asumiendo
que la semicircunferencia jr se encuentra en el semiplano
correspondiente, escribimos la fórmula (5) para los demás
semiplanos:
J-
iXz
dz = 0; (6)
rR
b) Zdei = {zeC:Rez^0},
J
lim / f{z)e~Xzdz = 0;
R—>00 J
Tr
(7)
•H
\
¡Í tJl :
>
^^pf irp ¿j ^ í
c) =
/ f{z)eXzdz = 0. (8)
Si la función / cumple las condiciones del lema de

Jordán y tiene en el semiplano Z¿Qr un conjunto finito de
puntos singulares {a^; k — 1, n } , lmak > 0, entonces,
razonando de la misma forma que en 2), V A > 0 obtenemos
la fórmula
+00
/
ib
iXx
dx = 2tt¿ V res(/(z)e' A *), (9)
Jk=l
/ Í 9
de donde
-f oo
/
+oo
J f(x) sen A® ¿ c = Im ^2tti ¿ res (/(z)e lAz ) j . (11)

—OO
Ejemplo»
+00
x sen
/* ar ¡ Ax iXz
2iri • ié
ze
dx = Im 2ir i res -2 — Im
- A
7T6 •
J 1+ r i 1+ z
-oo
4) Sea / una función que satisface las condiciones 2)

y tiene un conjunto finito de polos simples j = 1, ro}
en el eje real, es decir, Im bj = 0. En este caso se verifica la
fórmula
donde la integral se entiende en el sentido del valor principal

respecto a todos los puntos bj y oo.
IH8GF
—R b-r b¡+r b2~r b2+r O b„rr R
Fig.2
< Consideremos la curva cerrada de Jordán

m m
Irt = [-R,R] \ U (bj - r < X < bj + r) Ij7jr,

i
dónde 7 j r es una semicircunferencia superior con centro
en el punto bj y radio r suficientemente pequeño; 7^
es la semicircunferencia superior con centro en el origen
de coordenadas y radio R suficientemente grande. Se su-
pone que la curva abarca todos los puntos singula-
res ak (k = \,n). Consideremos la curva suave a trozos
Tjir = (r^Ti;, r 2/ ..., r~r/ rm+1/ VR), la cual es cerrada,
orientada positivamente y está compuesta de un conjunto
ordenado de curvas suaves orientadas (fig. 2).
Aplicando el teorema de Cauchy de los residuos,
obtenemos
1
/ /
*
f(z)dz = f(z)dz + f(z)dz+ / f{z)dz =

IV - s / •7=1 rjr
= 2tt¿ res/ (z).

ak
fc=i
Pasemos ahora en esta fórmula al límite cuando R —• oo y
7* —• 0. Tomando en consideración que
lim f f(z) dz = 0,
2Í~kx> J
r«
11
lim [ f{z) dz~~\ res f{z),

r—>0 J 2 bj
rir
llegamos a la fórmula (12). •
De un modo análogo se puede generalizar la fórmu-

la (9): si la función / tiene polos simples bj ( j = 1, m) en el
eje real, entonces i:
+00
f(x)eiXx dx =
-OO
n ™
= 2iri y " res }{z)eix' + ttí V res ](z)eix'. (13)
w * U "i
+00 tlx
€
/ —• dx (t > 0) es igual a
e¡tz
1tí res — = 7Ti.
o z v
5) Sean / una función racional y {ak-, k ~ l,n} el

conjunto de sus polos, ninguno de los cuales se encuentra en
el eje real positivo. Sean, además, p y q dos números enteros
(p < q) tales que
f(z) = o ( ~ ) , z 0;
V z P j (14)
Fig.3
Analicemos la función z h za~1f(z) (p < a < q no es un

número entero) en el plano z con un corte a lo largo de la
semirrecta (0, +oo), especificando la rama za~l mediante la
igualdad
2 = ey 11 5 0<argz<2?r.
El conjunto ordenado de curvas orientadas (fig. 3)

rv = (ri,rfl/ rf,r~) es una curva cerrada suave a tro-
zos orientada positivamente que abarca todos los puntos
a>k (k = 1/ n). Aplicando el teorema fundamental de los
residuos obtenemos
R
J za~]f(z)dz = f z*-}m dx ^
R
+/ dz =
Tr
n
= 2th ] > ] resz a "7(z)-
a
fc^-1
k
Pasemos en esta igualdad al límite cuando R —• +00 y r —• 0.
A partir de las condiciones (14) se deduce que
lim J í z ~ f(z) dz = 0;
a 1
r«
lim
rÔj
í z ~ f(z) dz — 0,
a l
in-
debido a lo cual tenemos
+00 +00
J Xa-1 /(®) dx = -e^1**1' J x^fix) dx
o 0
n
/T1
-feo
De este modo, la integral j xa 1 f{x) dx existe y

o
4.2. Aplicación de los residuos al cálculo

de sumas de series
Sea / una función meromorfa con un conjunto finito de polos
.. ' • t ^
{a¿; fc = h n j entre los cuales no hay números enteros. Sea

(7™) u n a sucesión de curvas cerradas de Jordán que abarcan
' . .I fS jjj.•_. j
el origen de coordenadas sin pasar por ninguno de los puntos

enteros z = n ni por los polos de la función f , y tales que
rm —> oo cuando ra —• oo, donde r m es la distancia desde el
origen de coordenadas hasta la curva 7 m . En este caso, si
lim / f(z) ctg TTZdZÔ, r m = ( 7 m , 7^), (1)

n-»oo J
lim (2)
nôo J 7rz
sen 7T2
y las series correspondientes convergen, entonces se cumplen,

respectivamente, las igualdades siguientes:
V W 4 9
f{n) = res f(z) ctg ttz, (3)

T i — — O O
««
m
X > l ) n / ( n ) = -1T X )
ak sen 7TZ (4)
n=1
Demostremos la fórmula (3). Para simplificar asumimos que la

curva 7 m es simétrica respecto al eje imaginario. Tomemos m
tan grande que todos los polos (k = 1, ra) sean abarcados
por la curva 7 m . Denotemos mediante 2Pm el número de
puntos de coordenadas enteras abarcados por dicha curva.
Entonces, según el teorema de los residuos tenemos
7TZ dZ
¿ i I m c t s
—yzres ctg1(2 + ctg ** -

fc=l
/ I • «i
= V
r
res ctg 7TZ + V /(j).
flí. r
\ H i t < S>) I ' ' * . ' 1
Pasando en esta igualdad al límite cuando ra —• oo y tomando

en consideración (1), llegamos a la fórmula (3).
La fórmula (4) se obtiene análogamente, utilizando (2)
7rf{z)
y teniendo en cuenta que res — (—l) J /(j). Nótese que
i sen 7xz
las condiciones (1) y (2) se cumplen si f{z) — 0(z ) para
V2 G 7 m tenemos
-{
oo y 7m = i 2 G C: \z\ = m +
a -
ya que en este caso
• ^ 1 + e _ , r
IrtS'^TTTT'
1
j sen7rz| ^ — •
Sh-
a Problemas resueltos.
< Solución. De acuerdo con la fórmula (1), p. 4.1, consideremos

la función
1 2i _
( z + l/z\ ~~ bz2 + b + Haz ~
,/fl-l6. j
b(z - zi)(z - z2y

donde
= + V a 2 + 62) ,
^•mmmmm
:. -:;; kí ú^'É. Éts ki^^SI
= l- ( - a - \/a2 + 62 ) •
Si a > O, el punto está en el interior de la circun-
ferencia 7 = {2 e C: \z\ — 1}, mientras que el punto z2 se
encuentra en su exterior. De la fórmula (1), p. 4.1, obtenemos
¿M
dt _ 2i
ib eos t zi b(z — z\)(z — z2)
4ni 2tt
^1-^2) Va2 + b2'
Si a < 0, el punto z\ se encuentra fuera de la
circunferencia 7 y el punto z2 está en su interior; por tanto,
f dt 4ni
J a —ibibeos
i t b(z2 - z\)
2tt
sen mx
Solución. Como la función x y-* <p(x) —
— 2a eos x+ a2
(Dv — [—7r, 7r]) es impar, entonces / <p(x) dx = 0, luego
-7T
?mxdx
-Ir.-5T
2a eos x + a2'
»
No es difícil comprobar que Ji = 0. Tomando etx = z en la

f
Haciendo el cambio de variable eiX = z, transformamos

la integral I en la integral por la circunferencia orientada integral, obtenemos
positivamente F = (7,7or)/ y ~ {z tC: \z\ = 1}:
I = ^ J z"'1 {e'+ e1") dz,
zm dz
7 = - r
u (z - a)(z - 1/a)'
r = (7,7or)/ 7= |z| = l } .
, , i 2wiam 2?ram Dado que la función z e es analítica, el teorema de
n-l
Si |a| < 1, entonces 1 — — - = — — -¿
a a — 1/a 1 —a Cauchy implica que / zn 1ez dz — 0, por lo que
_ . . _ 2tt r
Si ]a| > 1, entonces I —
am{a2 - 1)
U* dz.
Según el teorema fundamental de los residuos,

n-l
I = 7r res z € 'l/z =
o
l*>x< r <Í <: • '

<<¿<>f<»»v».'»> • >-<•
A< < a Í > < < •'.>/•
A . - : •/ > / . " \
«4 Solución. Como / G I e 7 t 6 i , donde

>x*x< / . •• ' . •
OX*
í „»..., < . . . s » .
v i » , »<. • » •
» <<,y<,X<»X 'Y' <®> v»->» »
v , w x v ><^ x > < - . » • •
XOSX
.y »<
eos (sen x) sen nx dx,

•J ,
^K J < < » > » » . < » » <
x*r
• ; > » < < . . -> »
>.«>>«»>;
*f,x<
^
>
''V
/ A v
' v • ' • '
v / » • ^' /
' » :•
> >v > /

»'»•
• ••
entonces
-SÍV: 4 x v a í v í v í ^ ^ » ^ »» ' S1Í t ^ ^ Al
¿X
< Solución. La función z f(z) = r tiene en el plano C
J V
I + ilí = J ecosx eos (sen x)einx dx =

1+ z
ocho polos simples
1 /í «eosx+mz/tsena?
• ,• , —i sen zk = e % (fc = 0,7),
= 2 I ^ '
de los cuales los cuatro primeros pertenecen al semipla-

no superior. Utilizando la fórmula (3), p. 4.1, obtenemos
i J e™ + e*'*) dx. _6
(tomando en consideración que la función <p(x) —
l + x*'
••• jtl ¡m^Mp
D 9 ~ {-oo, +00) es par):
De acuerdo con la fórmula (10), p.4.1,
-í-oo +00 +00
1 f eos ax
dx =
l + x8 xA + x 2 + 1 a?4 + x2 + 1
—00 -00
• 3 ., .taz
= *i ¿ res - ÜZ v ^ 1 _
zt 1 + z 8 7rt I res
k=0 ~ 8 U, Zk
k=0 K ~~ ^
Z4
*
+ Z2
->
+ 1
- + r e
22 Z4+Z2 + 1
s ^
•Kl( -i~ -¿3* _¿57r • 7tt \

le 8-f-e 8 + e 8 + e T)
7TI Az¡ + 2*i tó + 2z
e s +e e 8
7TÍ ,-3tt ,3TT
- ' f - e ' f ) + (1 8 +e T
_v3 3 V3
7T / 7T 3?r
- - sen - + sen
< Solución. Hallemos los puntos singulares de la función

Jaz
Z l-» pertenecientes al semiplano superior:
z4 + z2 +1
ii 1 .\/3 « s W O ^ f r S ^ ^ í v. $
e3
4 . >. . : •. .
x< x>S4 » ,
v«<. . . \< » i • S > » '
v . A ^ s '<• A W J 1 W /rn, a s v . -nv '.S
• x<v-<4í<< ¿ ' v » , »» » .
S ^ Í ^ X ^ ^ X ^ A X ^ ^ X ^ Í X •;<'
<sX«X«\* ¿tt^»." > - .
<-? X <• x 4V i f " '
.1 «V , "1
2?r 1
e T
2 2
i*!-'-
1 1 ' r , '
t w . . -
< Solución. Es evidente que Utilizando ahora la fórmula (13), p.4.1, obtenemos
+00
1 í x2 ~b2 sen ax / z + i(eiz - 1) 1 z + i(eiz- 1)\
= 7rt res r^ r— + - res t—: ™ ) =
~ 2 J ¿ f + b z ~ l ~ d x = \ia z3(z2
+ a2) 2 o z3(z2 + a2) )
—00
. / i(a 4- e~a + 1) i \ _
+<X> . = wi
1 _
• J f x2-b2
M etax
W v
V 2a 4 4a2) ~
2 J x2 + 62 x
00 + 1— a — e ). •
2a V 2
4
Uno de los polos simples z\ = ib de la función

,, , z2-b2 eiaz
z " f{z) = Tz¿T+I 2b2 z
se encuentra en el semiplano superior y el otro z2 — 0, en el
eje real. Aplicando la fórmula (13), p.4.1, obtenemos
1 = j Im (2?r¿ /(*) + 7r¿ res /(*)) =
= i Im (27T¿e-a6 + Trz(-l)) = 7re~"a6 - •
Solución. Tomemos r < a < R. Sean

<« Solución. La función re h-* <p(x) = x *enx ,Dv = (-oo,oo)
xs(x2+a2) F 7 7 f i = { z e C : 2 = Reü, 0^ t^ *},
es par, luego
7r = {z 6 C: z - reü, 0 < í ^ tt}
+00 +00
x - sen x 1 f x + i(eix - 1) dos semicircunferencias.
dx = - I dx. (1)
-OO
x (x + a )
z 2 2
2 x (x -f a )
3 2 2 J Consideremos una curva cerrada suave a trozos orien-
tada positivamente, formada por el conjunto ordenado de
"I"00 eos X 1
En efecto, i f dx = 0, pues la función subinte- curvas suaves orientadas T = (rv TR/ T2, IV) (fíg. 4). La fun-
-OO ^ l® ~T & ) ción f tiene en el punto z = ia, z 6 Krt, im polo simple.
gral es impar, lo que conduce a la igualdad (1).
Según el teorema fundamental de los residuos, tenemos
¡•¡fellfeí
7T
= lim4 2 [ (-2m + i2m2rei<p +
r-o a J \
4 3 2m 2m7r
+ «I - r a + «r2e +... dy? = —
obtenemos
r i _
ilmz 2m?r
dz —
r 1 ™/ z 2 (z 2 + a2) '
rr
+00 +00
2 - 2 eos 2mx sen mx ,
i x2{x2 + a2) / x 2 (x 2 + a 2 )
-57-5 57 dx =
x (a; + a ) —2 ma
2 2 2
7r(e~2ma - 1 ) 2m7r ?r(e - 1 + 2ma)
J J x¿(xl + a¿) ' J z2(z2 + a2)
rR
—T
j _ gi2mx p 2 _ ¿ilmz
,i2mz
/ x2(x2 + a2) dX +J z2(z2 + a2) **
17
| g»2mz
2 7 r ¿ r £ s =
7r(e~2mfl-l)
Solución. Integrando la función
Haciendo tender R a infinito y r a cero, y teniendo en cuenta z i-> f{z) = ^ Z ,¿ (ln z = ln |z¡ + i arg z)
que z + a ¿
í2mz a lo largo de la curva T (fig. 4), para todo a £ (r, R) hallamos

dz=0, ln z
& / z 2 ( z(z2 2 +a 2 ) f{z)dz dx+ dz +
I = ¡^ Í z2 + a2
-r
lint f 1~eí2mZ
dz = Inz
r~*oJ z2(z2-ha2 + dx+ dz =
JJr¿ J
-R
z2 +
i2m 4 3 2M\
= lim + 2m +i -m + — ] z + Inz 7T / .7r\
= 27T¿ res -r r = - lna + %— .
ia z + a
L ¿ a\ 2J
WSmm
ÍX®*<
Realizando el cambio de variable x = ~t (t > 0) en la integral
7 lnxdx t + in
J i „2 ^gamos a la integral J — dt. Teniendo en
-R x ~r a r -f a¿
cuenta este cambio pasemos en la igualdad
J f(z)dz = +
r
al límite cuando R +00 y r 0. Obtenemos
+00 +00
lnxdaj / l n x + íTr 7r / 7T\
J ' ^ T ^ d x = a [ ] a a + i2)'
+00 +00
/ lnxdx to f dx 7T ITT
— ln o H .
£C2 -f- x2 + a2 a 2a
de donde
00
/ — ln xdx 7r
— — ln a.
x2 + a2 2a
Si a = 1, entonces
+00
ln xdx
= 0.
Ji "x +1
M Solución. La función z 1-» f(z) = — — tiene un polo

^ • j ^ , + a)
de segundo orden en el punto 2 = ia del semiplano superior.
' i"¿
V i' M •! i 4 i ' . !:• 4 ' , i í ' . e i v i - vi-.v••••'• •
-i
Escribiendo
+00
x1 dx
(x2 4 a2)1'
—00
podemos utilizar la fórmula (3), p.4.1. Tenemos:
1 z2 d z\z~iaf
I = 2tt« res - 2 ¡rr = 7r¿ lim — —2 —
id 2 (z + a )
2 2 zîa dz (z + a )2
2
Haz
= 7TZ lim —- = 7vi lim -—• ; ~
z—ia dz Z 4 ia z—*ia (Z 4 4a
Solución. La función z f(z) = ^ ^ tiene un polo

de n-ésimo orden en el punto z — % que se encuentra en el
semiplano superior del plano z. Por cuanto
+00
/
dx
-00
utilizando la fórmula (3), p. 4.1, obtenemos
I — iri res f(z) =
7T2 . dÍ7l-1
n~l {z - i)"
_ _ _ _ _ lim
^.m * + l)n
tt«
in-l
(n - 1)! dzn~l (z 4- i)n'

Dado que
dk
-(z 4 i)~n = (—l)Kn(n + l ) . . . ( n + fc- 1 ){z 4 i) (n+fc)
dzk
resulta
(Tñr = ( " i r ln(n + ••< • ^
lim 1
= ( - i r y n + l)...(2n-2)
zî dz11-1 (z + i)2n~1 t2"-1.22"-1
iri {—\)n~ln(n + 1)... (2n
1 = iln- 12
(n - 1)!
7rn(n + 1)... (2n - 2)
(n - 1)! • 2 2 "" 1
?r (2n — 2)! _
2 ((n - 1)!) 2 (2" -1 ) 2 ~
7T (2rc 2)! _ 7T (2n - 3)!!
n > 1.
2 ((2ñ~ 2)!!)2 " 2 (2n - 2)!!
+00 dar
Si n = 1, entonces I = J
o + l z->i z + i
Solución. Dado que la función z w f(z) — —

(z2 + a 2 )(z 2 + 62)
tiene en el semiplano superior dos polos simples z1 = ia y
z2 = ib, utilizando la fórmula (3), p.4.1, obtenemos
27ri^res f{z) 4 res f(z)j =
2tt¿ ( lim * 2„ • 4 lim

\zîa (z 4 ia)(z 4 b2) z~>ib (z2 4 a2)(z 4 ib)
i . i M
|I I , IIIVI»! " I I lililíI III..!• ^MIINiiiinimmiiniihi
nwim
2ia(b2 - a2) 2ib{b2 - a2)
ab(a + b)
9 t x f ,v>x« x< í
< / * y a \ - ' ' w w
::r t , - v ^ »iv» ' » >' »x » • :

f , x >'
'>/**•'<>'<
• y >.•>•:>.>.< >.•.<> • • • '•
y < > < > $ » ^ s x »>. > y > y : : $ x »
y< ~'y*»»' • » • ' '

¿¿--.VA <><'-''-•'/' • ' •
< X<* y <*</ v < ' • . • • '
.sv v " < v > . .X>v »X » ,
<v-í'N^'''V • •
.» v
a v"». «is . »/
SoIucion. Obviamente
+00
/
-00
x2 + l
£4 + 1
dx.
z2 + l
Dado que la función z f(z) = tiene en el semiplano
+ l z4
¿ ¿L .j•v3tt
superior dos polos simples zi = e 4 y z2 = e 4 , según la
fórmula (3), p. 4.1,
I = 7T« (res /(z) + res /(z)) =
\ zt /
z 2 + l
= 7Ti-(zl±l
l\ 4z3 \Z=Z\ 4z 3 L2=Z2
(l+i l-Í\ 7TÍ 1+t 1
= ™ —3F + —9F = •3tt + ~ i i
\4e 1 T 4eT/ e 4 (e 4
V2x¿ / l + ¿ l-i\
2
_ (1 + i f - (1 - i)
4 -2
\/2TT¿ 4Í 7T
« . y , v-y- <«y/>u
s X- /,•
* • <s.- ^ • V : < y X
• ^ • i i ^ ' < ? : * > s< x W
. • •• w s. } i :¿ : ^ Í j í í ' í
: '. ': ¿* : . y±ys
- * . y< ¥ x
( - 2 + i4) exp {i{-2 + ¿4)}

= Im 2m
Si
* -4
= Im ™(—2 + 4¿)e (eos 2 - i sen2) =
= — e~4(2 sen 2 + 4 eos 2) =

.» . . " « I ^ M M M M I h U U P M M ^ J . U U J j M J l J m U U U ^
4
Solución. Utilicemos la fórmula (10), p. 4.1, teniendo en 7T
rzeeiz- = — e _4 (sen 2 + 2 eos 2). •
cuenta que la
la función 2
z —
— — • tienePnenp el
• típnp ! c semiplano
ominlann
z¿ -2z +10 r
superior un polo simple = 1 + 3i. Tenemos:
I = Re 27tí res f(z) =
Z=Zi
Z=Z\
zeiz
— Re 2iri lim =
z—*l+3i Z - 1 + 3Í
= Re2 ^ + 3 0 exp {¿p + S ) } =

6¿
Solución. Dado que las funciones
= - Re (1 + 3¿)e~3(cos 1 + i sen 1)
o eos ax sen ax
tp(x)
= - e Icos 1 - 3 sen 1). • y x x2 + tí1'
Dé = (-00,00),
son, respectivamente, par e impar, podemos escribir
+00 i ax
*****
í
M
da;.
2 J + 62
.taz
x t x
La función 2 /(2) = —r—— tiene en el semiplano superior

2 +o
<4 Solución. La función z 1-+ f(z) = —
Z€ÍZ
tiene en el un polo simple z\ — bi, luego
z2 + 4z + 20 J = ttí res /(2) =
semiplano superior un polo simple 21 = - 2 + ¿4. Aplicando bi
la fórmula (11), p.4.1,.hallamos
7T¿ lim : =
I — Im 2ni res f(z) = z-+bi 2 + 02
Z=Z\
zeiz
~ Im 2ttí lim —= 2 bi 2b
Z-+-2+Í4 z + 2 + i4
llilÉÉ
Solución. La integral I diverge, pues cuando x -+ 1 la
función subintegral tiene el mismo orden de crecimiento que
la función x »—> .
x- 1
Por cuanto la función z f(z) = ——
tiene un polo simple Z\ — 2i en el semiplano superior y un
polo simple z2 = 1 en el eje real, utilizaremos la fórmula (13),
p.4.1, Tenemos:
I = Im \ 2iri res f(z) + ni res f(z)j —
( eiz eiz \
— Im 2-kí lim — + ni lim - r =
\ *-*»(*+2i)(z-l) z2 + 4j
(
— Im ( 2ni—; e~ 2 é \
+ ir i— 1 =
V 4¿(2¿ - 1) 5 )
/T e -*2 7Tí \
= ImVI5r^ + T(cosl + t s e n l ) ) =
-2 7TÍ 5T
= Im - e ( - 1 - 2¿) + ~ eos 1 -senl
7r ,
~ ~ (eos 1 -
M Solución. Podemos escribir la integral como
+00
;tÜX
1 = dxf
li J x{x2 + b2)
-00
pues
+oo +00
\
sen ax eos ax
dx y dx — 0.
- y x(x2 + b2) x(x2 + b2)
-00 -00
.taz
La función z f(z) = 2 ^ ^ tiene dos polos simples en
los puntos z\ = bi (en el semiplano superior) y z2 = O (en el
eje real). Utilizando la fórmula (13), p. 4.1, obtenemos
I = iri res f(z) + -i res f(z) =

Z¡ 2
e.taz 7T . e.taz
— n |{m + — lim , 9
*-»w z(z + bz) 2 *->o z2 + ¥
e~ab jr__
~*-2b2 + 2b2 ~
= 26^ *
(-R, 2ti)
(R,2n)
C\J
(-R, O) (R, 0)
Fig.5
«« Solución. Integremos la función z f(z) - a Jo
largo de la frontera orientada positivamente ^ d t l r e c t á n -
f 1 » f2tt),, c ° L v é=r t '(r

( - a , s
f " s re n rlos-,pr 4T
pX/ 2/ 3
tos
-) ( f í g . 5 ) : <*' 2*),
/ /(*) =
j f{z)dz + J m d z +J } { z ) d z + J m dz =
J I* y j
âJ^H-ífít/
-y 1 + eR+iy dy +
ax+¡2ira
ñ 1+ e-iz+íj, d?/ —
-
= ( 1 -
-R
ai ~aR
+ i J c " ^
1+ eReiv 1 -f- dy. (3)
e~R
t%y
Los puntos ZK = Í(TC + 2KN), K 6 son polos simples
de la función /. Dentro del rectángulo P se encuentra,
sin embargo, un único polo Zq = ttí. Según el teorema
fundamental de los residuos,
iair
I = 2-kí res f{z) = 27r¿ -licie (4)
z—iir
Pasemos en la igualdad (4) al límite cuando R 4-oo,
tomando en consideración que
eaR e~aR
lim — =
í t% lim =0 (0 < a < 1).
ñ_>+00 x + e e y R-*+oo 1 + e~ e*y
R R
Obtenemos
+00
/
e
—
ax
¿jj — 2 7rie ta* 2ttie ia * (1 - e~~i2ffa) _
+ e* 1 - e'2™ 4 sen2 aTr
-00
*i(eimt - e~iav) sen an
•wili
2 sen2 an 2 sen2 air
sen a7r
Haciendo el cambio de variable t = ex en la integral
+00 1
f .
T7¡dt'
obtenemos la integral analizada

+00
e = 7r
/ r
—-00
4- sen a?r
con lo que queda demostrada la igualdad (1).

En la integral
+00 .
r xm~l
dx (O <m < n)
~ J l + xn
¡1
i - - V * : 1
.¿Jjj-^»
.1 V. r^l^^paffip
El lector, posiblemente, ya habrá notado que para

0< o <1
+00
t
/
i + 1 dt = B{a, 1 - a) = r(a)r(l - a) = sen
—a7r
sen'
Solución. Evidentemente,
+0O
dx
/=í
2 Sh £
-00
y x = O es un punto singular evitable de la función subinte-
gral. Consideremos ahora la función
m = -
shz
/
Esta también tiene un punto singular evitable en z = 0 y

polos simples en los puntos
zk = 7Tki (k £ Z\{0}).
Tomemos la sucesión (Rn) de números positivos, donde
„ ( 1\
Rn = ( 71
n + -2 /J 7r
ir,' ^v la ssucesión de regiones
u c e s ^ n de regiones
C |z| < Imz > 0}
fcstíJM^
Fig.6
con fronteras orientadas positivamente dKn, = ff».^)

(fig. 6). Integrando la función f a lo largo de las curvas f)Kn,,
obtenemos
/
0Kfía
J f(z)dz + j f(z)dz =
r* r««
-dz
Z
__ 7? riín
sh z-z
¿res/(z) = 2 7 r i ¿r e s — —
kvi z snz
¿
tí **
sh z~z
E
O l l - W ^ I
2 z s h 7 + ? c h z L=k)r¿
k=\
JL^ -hit i _
fe=i
k ~fc=i fe
fe=i
'-'•^SSMUt
Cuando n oo Ja sucesión i2n
+00. Por consi-
guíente, conforme al lema de Jordán
Km J f(z)dz^0
y también
Ra Solución. Utilicemos la fórmula (15), p.4.1, tomando

i¡ m ? ( i 1 \ dx
sh x j x y a = a + l •
n+1 Para p = 0 y g = 4 1a función / satisface las condiciones

(-D
= £ = ln2. especificadas en el punto 5), p.4.1. Teniendo en cuenta que
n=1 0 < a + 1 < 4, según la fórmula (15), p, 4.1,
+00
/ (1 + x1)2
dx =
2?r¿ / 2a ¿a
i _ g¿2jr(a+l) l r f (1 + ^2)2 + ™ (1 + ^2)2
^ Solución. Aquí p = O a - ? n, - 2
. J
4 F ' q ~ ¿> a ~ r y se cumplen
2 wi ( d za d za
í l x s t m d i c a d a s e n ei p u n t ° 5 ) ' p-4-j- **** 1-
^— ( lim —
et2íra
-ñ2 + lim — 7
dz (z + i) dz (z - i)2
2 ni
Im /2ia(a — 1) 2 ( - ¿ ) > - 1)
1 _ ¿f \ * yz(z2 + 4) + res
-2i ^ ( ^ + 4 ) 1 - ei2ira V -Si + 8i
- ülí__~e
1 - ei2ira 4i
- T (e 6 ~ e 6) -a) /¿ ¥ ^
2(1 - el2™) V /
7T ^ ?r(l - a) 1
4 xa •
eos
•SSlÉiÉÉl
1 mmárMwmmsmmm
„ <- ¿
f A l
Solución. Tenemos f(z) = y z = - es un polo

(a + bz)2 o
de segundo orden de la función /. Entonces
7T C t e 7TZ
— res
<°+»ft)2 -o/& (a + &z)2
= lim W ^ A _
z-+-afb dz \ (a 4- fr*^2 /
S-tA^
+ Solución. Utilizando la fórmula (4), p. 4.2, y tomando
f(z) ~ ~a 7, obtenemos
¿ - a
4 4
1_
1 . 1 ^ (-1)"
2ani4 2 L n4 — a 4 ~
1 * ( f(z) f(z)
— ~ - / res — + res +
la 2 \ a senír^ ¡a semrz
f(z) f(z)
+ res - + res
~ia sen ir z - a s e n nz
1 tt / 1 1
I +
2a4 4a 3 Vsen7ra shTra

4 Solución. Aplicando la fórmula (3), p. 4.2, obtenemos
ctgxz ctg 1TZ
res res —
— 1+íy Z1 + Z + 1 -i-»V5 + z -f 1
2 2
7T / (7T /* ,\/3
-Ctg(--WT7T
K fiV3 \
2?r , tta/3
y k <• ¿m k»v?wv T ^
Solución. En el ej.62 se demostró que
£ (a + nbf p sen: ira * (1)
Para b = 1 se obtiene la serie considerada. Por consiguiente,
£
n=-oo
(ia 4- n)2 sen2 ira
ys
f*
^ ^! y ^1
: I , .
t . ... i >
Solución. Evidentemente,
y* ± H L = i £ í
- ^^ yE soncasos
particulares de la serie £ ^ + , cuya suma ya se conoce
(v. fórmula (1), ej.65). Tomando en (1) 6 = 2 obtenemos
V—v 1 7T
7ra *
J=u r « + 2 « ) 2 = w
Para calcular la suma de la serie

^ (o + 2 n - l ) í ' e " l a
fórmula mencionada hacemos 6 = 2 y cambiamos a por
a — 1. Hallamos que
E í
( « + 2 n - D2 - 1)
4 sen 2
xa •
4 eos 2
Finalmente,
y* JzlZL
?ra 7ra
¿ L (« + sen' eos
cosíra
7TCL 7r a
sen' eos
__ 7r ctgTra
sen xa
'.v./iíjt - r i - v
Solución. Escribamos la serie en la forma

00 1 oo 1
00 11
l _ v^ 1 _ y-
E Q
(2n
V
n : =
+1) 2 " ^ —OO
7
(2n + l) 2 ¿ J
Ti — 1
(1 - 2n) 2
1 r^v 1
= E (2n + l) 2 ~ ^ (2n - 1)
= £ (2n +1) : - £ (2n +1) :

n=—oo n— 0
i 00 1
o Z—• (2n +j 1)
n=-oo
De este modo, hemos obtenido un caso particular de la suma

\
de la serie V ¡rr para a = 1 y b - 2. Por tanto,
' (a -f nby
V^ 1 _1 7T2 _ 7T2
Solución. Hagamos uso de la fórmula (3), p. 4.2, tomando

f(z) = , 1, . Obtenemos
J W z2 + a 2
^ 1 _ 1 y. 1
Z ^ n2 + a2 - 2a 2 + 2 ^ n2 + a
n=0 »=-°0
1 7T / CtgTTZ Ctg 7TZ
— res — + res - y - — r
2a2 2 Vz=ia z + a 2 2=-¿a z ¿ + a¿
J_ ctg iira ctg iira 1 n na ir iira
2a 2 lia 2^ + TaCÍhY + iTatS — Z
1 ir ira ir ira
+ —tH cth-r th — —
2a 2 2a 2a 2 4a 2 4a 2
1 1 ir f ira ira\
= -^(l + nacthira). — + — cth — - t h — =
2a2 4a V 2 2 J
7ra 7ra
c h 2 ~ - s h 2 -
1
1
X 2 2
2a 2 4a 7ra Ka
sh—-ch —
2 2
1 ^ 1
2a 2 + 7ra
4a sh —- xa
<4 Solución. Tenemos: ch —
2 2
ira
(-ir
£„=o
00
1+
2a2 shxa
n2 + a2
1 1 °°
2a2 ' 2 n=-oo
^ o n2+a2 Ejercicios
1. Hallar los residuos de las funciones siguientes en sus puntos singulares:
- — i "P 1 ^ i \
2a2 + n¿0(2n-l)
2 a2y)- a) f(z) = (n € N);
+
1+ zn
ln
= _L _ í ( CtgTTZ CtgTT-2 b) f{z) = (n G N);
2a2 2 [™/2 4z2 + a 2 + z=:-fa/2 + ' ' (1 + z) n
c) /{.?) = eos* — sen 2;
, CtgTTZ Cte7TZ d) f(z) = (n € N);
+ res - — 2 - 2 + res 5 2
z=(l-l-ia)/2 (2z - l) + a z={l-ia)/2 (2z ~ l) + a2 e) f(z) =
1
/ ¿Tra ¿7ra 2—a
f) /(z) = e* ln
2-6
2. Hallar los residuos de las funciones siguientes en sus puntos singulares finitos:
2a 2 2 4ia 4 ia sen 2z
a f( )
) z = ;
/ 7r ,7r a\ nr na\
(* + 0 [z-^
(i y) . ^ U - ' t )
ctg +z
eos z
+ — ~4¿a
——+ —4ia b) f(z) =
Z TZ
mmm
^ í é é s
\ll ViU'.'A-;
3. Hallar res í ( l + - L . + . . . + (n € ^
4. Hallar el residuo de la función f(z) = (Vi = 1)

1 — \fz
5. Sean f y g dos funciones analíticas en un punto z = a, con la particularidad
de que f(a) ¿ 0 y g(z) tiene en el punto z = a un cero de segundo orden.
Demostrar que
rp.
X c S
m —
6f'(a)g"(a) - 2f(a)g"'(a)
• - - - — 1
• $(*) 3<?"(a)2
Si el punto z = a es un cero simple de la función g y f(a) ¿ 0, entonces
/(*) „ / W ( « ) ~/(a)/(a)
res
9iz)
6. Demostrar que
M
b) res — = exp <Í2&
—— + 1i r 1},
(it+I/2)Tr cos 2 z l 2 J
res ~ é G Z);
fcw sen z
2
, (3ra)!
c) res = —
-i (1 + zY (n - l)!(2n + 1)! *
7. Sea / una función que tiene en el punto del infinito un polo de orden k.
Demostrar que
res/(z) = lim (* f t + 2 / ( * + I ) (*)).

0 0 ( f e + 1 ) ! Í - M X V 4 W /
8, Calcular las integrales
/
- 2
r = (T' Tor)/ 7 = {z G G jz — Í| — 3};
r {z € C |*| = 1};
/ sen + e~ eos 2 Id*, r = (7, Twr), 7 zGC kl=~

9. Demostrar las igualdades
• f zmdz
a) J e 2 _ a =211 + 1, rB = fa^jf), 7^ = {2 € o |¿| = J2},
n < # < n + 1, m 6 N, ra € N;
/ , dZ
'422 - 8 ^ + 3
=
iri
r r = (7 r ,lT), |z| = r},
3 1 1
r > y para - z - grandes = £ A + o* 1 »'
10. Calcular las integrales de todas las ramas de las siguientes funciones multifor-
mes:
, 7or), T= U
| e c ¡2 —1| = -
a) I Ln (z - 2) + iri
Ln(z-2)+iñ' V (7 a -
/
1
+ 24 dz, r = (7r7or), 7 = { ^ C |2| = 2} ;
11. Calcular las integrales de las ramas indicadas de las siguientes funciones
multiformes:
a) f . d \ . (Ln*L_e=l-*0- r = ^7or),
J Ln 2 - 3ín
r
= j z € C |z+2| =
/ (2 + \Jz - 1) sen z
- l|a=Q = «)' r = (7,7or),
-{
2 G C: |z|
«/2
- a -
a
12. Demostrar que (a > 0).
/ t2 + sen2 y
13. Utilizando el teorema de Mittag-Leffler, hallar la forma general de una función
meromorfa / con polos de segundo orden en los puntos bn = n y cuyas partes
n
principales en dichos polos son gn(z) —
14. Demostrar la igualdad
2 - eos Z
= Z— -nrz2 ^> \S h T T M r,£ 4 , z#nir(±l±i).
ch 2 + n 4 7r 4
4
00 / 1
71=1
r-mmmm
X iaK. 38
0 0 /
— 1,
71=1 X
16. Hallar las regiones de convergencia de los siguientes productos infinitos:
00
1 (z_
b>n i - y/n
í
+ 3 Vv^
n=1
17. Demostrar que la función /, donde
' ' - n ( H M H e ) })'•

es entera. Hallar los ceros de esta función y sus multiplicidades.
18. Demostrar el teorema de Weierstrass (v. p. 3.3) a partir del teorema de Mittag-
Leffler (v. p. 2.2).
a) ch z - eos z = z 2 J J í 1 +
»=i ^
4n47r4
senírzshTrz t t / -z4
b) »2 2/l
7T2rZ _Z
2(1 - ~44\
) = 1n=2
1 I -n"
cc
/ \
\n7r/
c) th
1
V
1 +f —
\ít (n —1/2) y /
00
1V sh 7T
•)II i " rr
n=2
oo
ch 7Tyfl — eos 7T\/2
b) ñ » ¿ - 4 7T2
n-2 x /
21» Demostrar las igualdades
2tt|C|
a,/ *
(a eos £ + 6 sen x + c)1 (c2 - a2 - 62)3/2
o
(a € R, ¿GR, c 6 R; c2 - - a2 > 0);
/ a , 0 < b < a.
sen2 x dx 2it , _
= v
a 4- b eos x b 2
22. Calcular la integral 2ir

/ eos x sen(a sen x) sen nx dx (n € N).

+00 5a4 + l + a^2(a 4
-2a :
dx
(x4 + i)(x 2
i\i
+ <n 2a2 (1 4- a4)2
—00
4-co
/
dx
+ x' 3'
O
f x2dx 4 2 fl-
/ = - ir s eos
C) J x5 + l 5
24. Integrando la función
ÍT < a < 7T,
z /(z) -
chírz
a lo largo de la frontera del rectángulo. vértices en los puntos <•
(R,0), ( l o , 0 . demostrar las igualdades
+00
e"* dx a
= sec ~ ;
I' chira; 2
-oc c h a x , <*
— — dx = sec —
/ ch í t x 2
- O Ü

+00
f J a-l Tra c > O, - 1 < a < 3, aíô
al / r dx = c
x
sen ira
a) J (x + c)2
D
4-00
/ O
+oc
4 w v ^
c) / 7(xr +T C)
^ídx =
2>/c'
iiiilB
lililí
+00
* x ir ax
—]—x dx = — sec — 1 < a < 1.
1+ x 2 2 2
u
í + z
* \ /
3
a lo largo de la frontera del sector circular
s = j z e G 0 < |z| < tf, O < argz < — 1 ,
demostrar las igualdades

+oo
+00
a)
/:
J
O
1 + x3
=
9 '
+00
ttv/3
/o i
Iriz
1 + z :
w % f
a lo largo de la frontera del sector circular
= [zeC: r<\z\<R, 0<argz< í J ,

demostrar que
+00
. lnx f
; dx
a) J 1 +T+F'
x* 8 '
O
+00
b) f X x sil
J +l
oo
/ \ A
a) V ^ 1 _ 1 7T
00
b) y "
(«2 +
1
a2)2
_ _L
- 4a4
(^ ¡ ¡ ^ + Ta c t h ™
Aspectos generales de la
teoría geométrica de las
funciones analíticas
Este capítulo está dedicado al estudio de algunas propiedades

topológicas generales de las funciones analíticas. Se exponen
algunos principios geométricos y cuestiones generales de la
teoría de las transformaciones conformes. La última sección
está dedicada a las transformaciones conformes de polígonos.
§ 1. Principio del argumento.

Teorema de Rouché
1 r <p(z)f'(z)
<p(z)
1.1. Cálculo de la integral / dz
27vi J
dD J
f(z) A
Dada una región D (É C, consideremos una función /
analítica en la adherencia D salvo en un conjunto finito de
polos localizados en D (pero no en dD). Supongamos que la
frontera dD está orientada positivamente. Sea, además, A un
número complejo (finito) arbitrario tal que la función / no
tiene A-puntos en la frontera dD. Sea M
-v i'' . :>:
^ w w ^ H K f t f t t ó v A v ^ .vtr.t-, ¿ t i / v i y < í ^ . i v $ > ^ ;
en la adherencia D. Analicemos la función

, /(*) - ¿
en la región D. Sus puntos singulares posibles en D son

los ¿-puntos y polos de la función /.
*ean K * = W los A-puntos de la función f
TsL
y sean h ai'a2
j = 1/7lJ ]os polog de -«ámente,
órdenes
respectivamente. Estudiemos la función * en un exorno dd
punto ak. De acuerdo con la fórmula (3), p. 1.8, cap. 2, t.6,
f(*)-A = (z-ak)a>f0{z), f0(ak)¿0.
Entonces
/'(*) = * * ( * - a*)"*" 1 /^) + (* - « ^ / ¿ ( z ) ,
F(z) = T{->){Z ~ ak)ak~l (<*kMz) + (z — ah) 4<z)V
(z ^ ak)"*f0(z)
Qfr/ofr) + (z - a>k)f!)(z)
= <P(z)
(z ~ <**)/o(2)
de donde
del h ^ * - - — o
i f
~ (jr^TT\~PjMz) + f¿(z)(z - bj)),
F(z) = ^ZÉlM^hJMSlzM
A A , (Z~h)fo(z)
de donde
resF(z) = -pjlp{bjy
Según el teorema fundamental de los residuos,
(i)
2ü J v^m-A = ^k=l ak<p{ak)" ^ Piip{bj)'
En lo sucesivo, se asume que todo A-punto figura

un número de veces igual a su multiplicidad. Análogamente,
todo polo figura un número de veces igual a su orden. De este
modo, el segundo miembro de la fórmula (1) representa la
diferencia entre la suma de los valores que toma la función <p
en los A-puntos de la función / y la suma de los valores que
toma en los polos de / pertenecientes a la región D.
Consideremos dos casos particulares:
1) Para <p(z) = z la fórmula (1) toma la forma
f(z) dz m "
(2)
2tt¿ J
dD ti u
El segundo miembro de la fórmula (2) es la diferencia entre
la suma de los A-puntos de la función / y la suma de sus
polos localizados en D.
2) Para <p(z) = 1 se tiene
t rfi Jj
L
2ni f(z) - A
dz Y j ak ~ Pr (3)
qd k—l j—1
En el segundo miembro de la fórmula (3) tenemos la
diferencia entre el número de A-puntos y el número de polos
de la función / localizados en la región D.
1.2. Teorema del residuo logarítmico

Supongamos ahora que A = 0, es decir, que los A-puntos de
la función f son sus ceros en la región D.
:mmm
rMBÉáñ ÉiUÉémá
mmmrnm
Introduzcamos las siguientes notaciones: y]ak = N
i
n
es el número de ceros de / en la región D y su
j i ~
numero de polos en D. Entonces
1 f a Ar „
La integral del primer miembro de esta igualdad se

denomina residuo logarítmico de la función f respecto a dD
y la propia igualdad expresa el sentido del siguiente teorema
del residuo logarítmico.
Teorema. Sea D <s C una región de frontera dD orientada positiva-

mente, donde dD es una curva de Jordán. Si la función f es analítica en
la adherencia D, salvo en los polos pertenecientes a D, y f no se anula
en dD, entonces el residuo logarítmico de la función respecto a dD es
igual a la diferencia entre el número de ceros y el número de polos de f
localizados en la región D.
1.3. Principio del argumento

El teorema del residuo logarítmico se puede interpretar geo-
métricamente.
La primitiva de la función ~ en un entorno de un

/
punto z e dD, que no contiene ceros ni polos de la función /
es la función z ^ F(z) = ln f{z), donde ln denota cualquier
rama del logaritmo, pues F*(z) = ?
Sea dD = (T, 7or) y Sea [a, /3] una para-

L * • „ - , sobre r
metrizacion de la curva 7. En este caso la primitiva de
f
la función j a lo largo de la curva 7 es la función
t 1—> $(¿) = ln f(<p(t)). Dado que la curva 7 es cerrada,
entonces ln \fW))\ = ln |/(y>(a))|. Tomando este hecho en
consideración y aplicando la fórmula de Newton-Leibniz
(v. fórmula(X), p.5.2, cap. 1, t.6), obtenemos
f ¿Jfl d z = $(0) - *(«) =

J mf(z)
dD
= t(arg/(y»09))-arg/^(a))). (1)
Introduzcamos la notación
A<?d arg / = arg S W ) ) ~ arg /(¥>(<*))
y escribamos la igualdad (1) en la forma
J L f t ^ l j¿- _ AdI? a r g ^
2ttz J f(z) Z 27T
Teniendo en cuenta el teorema del residuo logarítmico, obte-

nemos
/V" - P — • A 3 darg/.
2 7T
t a última igualdad expresa el principio del argumento,
cuya formulación es la siguiente.
Principio del argumento. Sea D € € «na región cuya frontera y es

una curva de Jordán. Si la función f es analítica en la adherencia D,
salvo en un número finito de polos localizados en D, y f no se anula
en la curva 7, entonces la diferencia entre el número N de ceros y el
número P de polos de la función f en la región D es igual al incremento
del argumento de f dividido entre 21 al recorrer una vez la frontera de
la región D en sentido positivo.
'••'X^PMoíwú.
Es evidente que — A&p arg / es el número de vueltas
completas que da el vector f(z) alrededor del punto w — 0
cuando z recorre la curva orientada positivamente dD una
vez en el sentido contrario al de las agujas del reloj. Por tanto,
el principio del argumento se puede enunciar de otra forma,
a saber:
Principio del argumento (enunciado alternativo). Sea D <s C una

región cuya frontera 7 es una curva de Jordán. Si la función f es
analítica en D, salvo en un número finito de polos localizados en D,
y la función f no se anula en la frontera de la región D, entonces la
diferencia N — P es igual al número de vueltas completas que da el
vector w = f alrededor del punto w = 0 cuando z recorre una sola vez
la frontera de la región D en sentido positivo.
1.4. Teorema de Rouché

Del principio del argumento se deduce la siguiente afirmación.
Teorema (de Rouché). Sean Entonces las funciones (p y ip +1¡)
tienen igual número de ceros en la región D.
4 Demostración. A partir de la desigualdad \<p{z)\ > \ij){z)\t

la cual se verifica Vz G dD, se deduce que las funciones ip y
ip + tp no tienen ceros en dD. En efecto, como
VztdD j<p{z)\ > \ip(z)\ >0,

entonces
\<p(z) + 1¡>(Z)\ > W)\ - \1>(Z)\ > 0.

Sea N el número de ceros de la función 
punto 2 recorre la frontera 6D, el vector w = 1 + - no
puede dar una vuelta alrededor del punto u = 0, ya que el
punto w = 1 + H I siempre se mueve dentro del círculo
K = {w£ C: \w - 1| < 1}
que no contiene el punto w=0. Por consiguiente, arg ( l + ^

vuelve a tomar su valor inicial al dar una vuelta completa
por la frontera dD y
A#d arg ( 1 + — j — 0*
De esta manera,
N = — A ^ d arg y,
2tt .
es decir, N es el número de ceros de la función <p en la
región D. •
El teorema de Rouché tiene numerosas aplicaciones;

en particular, se utiliza para determinar el número de ceros
de una función.
Utilizando el teorema de Rouché es muy fácil demos-
trar el teorema fundamental del álgebra:
Teorema fundamental del álgebra. Todo polinomio de grado n

Pn(z) = 0^zn + ai zn~l +... + + an
tiene exactamente n ceros en el plano complejo.
Demostración. Hagamos
Pn{z) = <P{Z) + 1¡){Z),
donde
tp(z) = a0z .
El polinomio <p tiene exactamente n ceros en el plano com-
plejo, pues z = 0 es el cero de multiplicidad n de la función
ip y, según lo acordado, todo cero figura un número de veces
igual a su multiplicidad. Tomemos en calidad de D el círculo
KR^{Z£<£ \Z\ <R},
eligiendo R tan grande que Vz 6 Dkr se verifique la
desigualdad \<p{z)\ > \ip(z)\, donde
1>{z) = a\Zn~l + ... -f an-iz + an.
Para ello es suficiente tomar
i2 = l + |a1| + |a2| + . . . + |an|.
Entonces, por el teorema de Rouché, el número de ceros de
las funciones <p y P en el círculo Kr es el mismo, es decir,
el polinomio P tiene n ceros. •
si Problemas resueltos.
4 Solución- Hagamos
P{z) = tp{z) +
donde 3
tp{z) — —5z ,
z) = z5 + 2.
Si \z\ = 1/ entonces
1 ^ ) 1 = 5 > \z5 + 2|,
va que
\z5 + 2| ^ \z \ + 2 = 3.
La función (z),
tp{z)
if}(z) = -12 z +14.
Si \z\ =- . entonces
2
3125 21
esto es, \<p{z)\ > \i¡>{z)\. De acuerdo con el teorema de Rouché
los cinco ceros del polinomio P se encuentran en el círculo
Determinemos para cuántos de ellos el módulo es menor que

uno. Para ello hacemos
P(z) = ipx(z) + Mz),
<Piiz) = 14,
(z) = z5 - 12zz.
Si \z\ = 1, entonces \<p\{z)\ - 14, |i¡)\{z)\ ^ 13. Conforme al
teorema de Rouché, en el círculo K — {z 6 C: \z\ < 1} no
hay ceros del polinomio P . Consiguientemente, los cinco
ceros del polinomio P pertenecen al anillo V\.
b) Hagamos
P(z) = <p3(z) + 1>3{z),
ip3(z) = -12 z2,
*h{z) - z5 4-14.
Para \z\ = 2 tenemos \<p$(z)\ = 48 y (z)\ \z5\ + 1 4 = 46.
De acuerdo con el teorema de Rouché, el número de ceros
del polinomio P en el círculo K2 = {z G €: \z\ < 2} y, por
consiguiente, en el anillo Vi, es igual a dos, o sea, equivale al
número de ceros de la función .
c) Dado que P(iy) = iy5 + 12y2 + 14, el polinomio P
no tiene ceros en el eje imaginario, pues las partes real e
imaginaria de P(iy) no se anulan simultáneamente. Aplicando
el principio del argumento al semicírculo
K = {ze O \z\ < R, Rez>0},
obtenemos el número N de ceros del polinomio P en el
semiplano derecho a partir de la igualdad
1
N = ^ J im ( a r S + A r * ar§ '
Z7T ií—*oo
••¡ w . v < •• ,- í , > < - > í >•> i í í v j , . . , . ; ' » . . í ! ' ,•{<, • J
donde
T r = (7*, 7 ? ) '
7a = j z € G * = Jte", 2Í'
Para valores de R > 0 grandes,

A [iR , - í r ] arg P(z) =
- Ay€w (úf + 12y2 +14) =
y5
= A y€[ «, 0 ] arctg ^ + u +
l/5
+ Aêto, -it] arctg + M -
2 2 v
arg P{z) =
/ 11-1222\
= Ara arg + Ar, + ¡5 J =
= 57T + 0 ( Í T 1 ) .
De este modo,
1
N - —(-7T 4- 5tt) = 2. •
2x
Solución. La ecuación no tiene raíces no negativas. De-

mostremos que tampoco tiene raíces negativas. En efecto,
haciendo z - -x obtenemos la ecuación
x4 - x3 + 4x2 - 2 x + 3 = 0.
Si O < x ^ 1, la suma de los tres primeros términos y la
suma de los dos últimos términos son positivas. Si x > 1, la
suma de los dos primeros términos y la de los tres últimos
son positivas. Por consiguiente,
Vx > 0 x* - x3 + 4a;2 — 2x + 3> 0.

Si hacemos z ~ iy, la ecuación adquiere la forma
y4 - iy3 - 4y1 + liy + 3 = 0.

Vemos que las partes real e imaginaria de esta ecuación no
se anulan simultáneamente; por consiguiente, la ecuación
tampoco tiene raíces imaginarias puras.
El número de sus raíces localizadas en el primer
cuadrante se calcula mediante la fórmula
N = — Um (A i € [ 0 / Í Í ] arg (a;4 + x3 + 4x2 + 2x + 3) +
+ Apeín,o) arg (y4 - iy3 - 4y2 + 2iy + 3) +

+ A z=R¿t arg (z4 + z3 + 4z2 + 2z + 3) ) .
Tenemos:
[O,ÍÍ]arg (x4 + x3 + 4a;2 + 2a; + 3)
* x e fR]
,0] arg (y4-4y2 + 3 + i(-y3 + 2y)) =
-y3 + 2 y
= \eWfl] arctg ,4
- 4y2 -f 3'
El numerador del argumento de la función arctg se anula
para y = y/2ey = 0,ysu. denominador, para y = y/3 e
y — 1. Cuando y varía de R a 0, dicha fracción se comporta
como sigue:
V5 V2
- r + 2y
O (IT 1 ) - oo - oo + 0
y4 — 4y2 + 3
A partir de esa tabla es fácil ver que
A ^ o j arg ( y 4 - 4 y 2 + 3 + i (
= -2tt+
y como
A « g (» 4 + + + 2» + 3 ) =
/ z 3 -f 4 z 2 + 2 z + 3
= A z=Re « arg-z ( 1 + ¡i
0<f<*/2•
\
= 2tt + 0 ( J Í " 1 ) /
resulta
(0 - 2tt + 2TT) = 0.
2tt
¿71
Así, la ecuación considerada no tiene raíces en el primer
cuadrante. Debido a que sus raíces son pares de raíces
conjugadas, tampoco hay raíces en el cuarto cuadrante. Tanto
en el segundo como en el tercer cuadrantes hay dos raíces. •
4 Solución. Escribamos la ecuación en la forma

(p{z) + ip(z) - 0,
donde
(p{z) =
Ip{z) = -wf{z).
mmm s a i ® ®
^msmmmmm
9 3aK. 38
i is . , v. * „ . ; . ^ >•> i > i , > ;> u < .
Para |z| = 1 se tiene = 1, ¡ w /( 2 )[ ^ j ^ M , donde M =

max |/(z)|. Vemos que |wj < satisface las condiciones del
M
teorema de Rouché. •
< Solución. Escribamos la ecuación en la forma
<p(z) + i¡}{z) = - e~z = 0.

2z +1
Si z pertenece al semiplano
A = C: Re z > —1},
se cumple la desigualdad
I / M 2 Z + 3
lpWI = 27TT > L
En caso de que 2 pertenezca al semiplano
D 2 - { z e Q Re ^ > 0 } ,
se verifica la desigualdad
De este modo, en la frontera del semicírculo
Kr = {z€<& \z\ < R, Re ^ > 0}
se tiene
¡<p(z)\ > Vi2 > 0.
iiWI
§ 2. Conservación de una región.
Inversión local de una
función analítica
2.1. Principio de conservación de la región
Teorema 1. Si una función f es analítica en una región D y no es

idéntica a una constante, entonces la imagen de la región D mediante f
también es una región.
Demostración. Tenemos D • D*. Demostremos que D*

sobre
es un conjunto abierto conexo.
1) Sean w\ y w2 dos puntos cualesquiera del conjunto
D* y sean Z\ una de las preimágenes de w\ y z2 una de las
preimágenes de w2 mediante la aplicación f , es decir, f(zi) =
wif f{zi) — w2> £ D, z2 6 D. Como la región D es conexa,
existe una curva de Jordán 7 C D que une los puntos z\ y z2.
tp
Sea [a, /3J 7 una parametrización de la curva 7 . Entonces
V¿ e[a,¡3] <p(t)eD
<p{a) = (p(p) = z2.

Dado que la función / es continua, la composición i> — f0(p,
D^p = [a, ¡5] es una parametrización de la curva continua
7* C D* que une los puntos
i¡){a) - (/ o ip) (a) = f{zi) = wu
m = (/ o <PW = f(z2) = wi.
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
wq £ D* un punto cualquiera y Zq una de sus preimágenes:
f(zo) = w0. Por cuanto D es un conjunto abierto, existe un
entorno
Or(z0) = {zeC: \z- zQ\ < r} D.
Escojamos r tan pequeño que la adherencia Or(z0) no con-
tenga -puntos de la función / (excepto el punto z0). Tal
círculo existe, pues los w>0-puntos de la función analítica
/ ^ const son aislados. Supongamos que
7 = {zGC: \z-zo\=r}
y
fi = min\f(z) ~ w0|.
z€y
Obviamente, f¿> 0, pues de lo contrario, es decir, para ¡jl — 0,
la función continua z >• \f(z) - w<¿\, cuyo valor mínimo se
alcanza en un conjunto cerrado, se anularía en cierto punto
z' G 7 r y esto significaría que en la curva jr hay un wQ -punto
de la función /, lo cual entra en contradicción con la elección
de 7 r . Demostremos ahora que
K^ = \W — w0| < //} C D\
En efecto, sea G Kp un punto arbitrario. Tenemos:
f{z) -wi = (f(z) ~ wQ) + (wQ - Wi),
además de que \f{z) — i ü q I > /í, |w>i - w0¡ < fi en la curva yr.
Según el teorema de Rouché, en el conjunto limitado por yr
la función z >-*• f(z) — w\ tiene el mismo número de ceros
que la función z >-* f(z) ~ w0. La última tiene al menos un
cero en el entorno OT(z0). Por tanto, la función z f—>• f(z) - w\
también tiene en ese entorno al menos un cero, es decir, existe
un punto z\ G Or(zQ) tal que /(¿i) = W\, de donde se deduce
que w\ G D*. Como G K^ es arbitrario, concluimos que
Kp C D*, es decir, D* es un conjunto abierto.
De 1) y 2) se deduce que D* es una región. •
Nota 1. Las aplicaciones continuas que dejan invariables los conjuntos abiertos
se denominan aplicaciones abiertas* Las aplicaciones abiertas también dejan
invariables las regiones- Por consiguiente/ las aplicaciones efectuadas mediante
funciones analíticas son abiertas.
f
Nota 2. Se dice que una aplicación abierta A
• B es interior si para
todo punto 6 6 B el conjunto f~l(b) de sus preimágenes (/ _1 (&) C A) no
contiene ningún continuo 2K Es evidente que las transformaciones efectuadas
mediante funciones analíticas son interiores, pues V& € B el conjunto / _ 1 {6)
se compone solamente de puntos aislados.
2.2. Inversión local

de las funciones analíticas
Sea w = f(z) una función analítica en el punto z0. Conside-
remos los dos casos siguientes:
a) Supongamos que /'(zo) ^ 0 y J(zo) = wo- Al igual
que en el teorema de conservación de la región, escojamos un
círculo O (Z ) que pertenece de forma compacta a la región
T Q
de analiticidad de la función / y no contiene otros w0-puntos

de la función / salvo el centro z0. Sea
H — min | f(z) wol, > o,
donde
7 r = {z€ C: |z - z0\ = r} .
Aplicando el teorema de Rouché vemos que todos los valores
de la función f en el círculo Or(zo) tienen la misma multi-
plicidad que w0. Pero la función toma el valor wQ sólo en el
punto Zq y, ademas, una sola vez, ya que f'(zQ) ^ 0. De este
modo, en el círculo Or (z0) la función / adopta una sola vez
todo valor del círculo
Kfl = { « i € C \w - w0\ < /¿} .
2' N. del T. Conjunto compacto y conexo.

En otras palabras, la función / es localmente de una hoja
en el punto z 0 . Por tanto, en el círculo K/t está definida
la función z = g(w) inversa de la función /: g(wQ) — z0 y
(/ og){w) — w. Como f es una función de una hoja, entonces
Aw # 0 para Az ^ 0 y en un entorno del punto zQ se tiene
Az 1
A +
Aw Aw ^ 00.
Aw m
a7
Consecuentemente, g 6 A{Kti).
Sea
z = g(w) = z0 + aj(w - w0) + a2(w - w0f + ...,
ff
/ g{w) dw
(n)(v>o)
an =
n! 2iri (w - w0)n+1'
dK,
¥
Cambiemos de variable tomando z = g(w) (w = f(z)).

Entonces
a = - L f z f '^ d z
n 2iri J (f(z)-w0)n-«
rr
= - J - [ dz —
2nin J dz \ (f(z) - wQr
r,
dz
2nin J J (j(f(z) - w0)n
2-KÍn
rr
¡n-1 /
Z-Zp
n! V dzn f(z) - W0
rr - (7~7r° r ).
De este modo,
z=g(w) =
V Z-ZQ
(w~wQ)n. (1)
2=Zq
Vi Jií^JWJ;
¿ •• ' v ' J ; > • • w -.M.J: I H i B r
La serie (1) se denomina serie de Lagrange.

Veamos una generalización de la fórmula (1). Sea F
cierta función analítica en una región que contiene de forma
compacta al círculo Or{z$). Hallemos el desarrollo de la
función F o g en un entorno del punto Wq . Sea
(Fog)(w) = F{z0) + Yfbn(z-z0)n.

n=l
Repitiendo las transformaciones anteriores, obtenemos
1 i F{a(w)) .
dw =
" 2ti / (w - t U o ) n + 1
DK,
J_ í F(z)f(z)dz
2niJ (f(z)-wQ)n+'í
dz =
2-KÍU J dz ^V (f(z) ~ WQ
^ ^ dz )n
r,
1 í F(z) dz
~ 2-kíu J (f(z) - w0)n
Z- Z0
f{z) - WQ Z-Zq
Por consiguiente,
(F o g){w) == F(z0) +
Z=Zq
La fórmula de Lagrange corresponde al caso F(z)

b) Sea ahora
fizo) = fizo) = ... = f'%0) = o,
f^M ¿ 0 (p > 1).
lililí
^Éifciiyiiîiin
Razonando análogamente, elijamos un círculo Or (z0) que no

contenga otros w0-puntos de la función / salvo el centro z0
y tal que V z € Or(zQ) \ {z0} se verifique f(z) ¿ 0. Al igual
que antes, tomemos cierto / i > 0 y demostremos que en el
círculo Or(zo) la función / toma cualquier valor w 6 K^
tantas veces cuantas veces toma el valor w0 en Or(z0), es
decir, p veces. Además, si w ^ wQ, a todo valor w le
corresponden p valores diferentes de z, pues para éstos
f'(z) 0. En este caso la función / se denomina función
de p hojas en el círculo Or{z0). Por tanto, si z e Or(z0),
entonces
w = f(z) = w0 + {z- z¿fíp{z), <p{z0) # 0,
z — </w WQr
donde $ V ( z ) es cierta rama. En un entorno del punto z0 esta

rama se puede desarrollar en una serie de Taylor cuyo término
independiente es distinto de cero. Por consiguiente, ip'(z0) ^ 0
y, conforme al punto a), en un entorno del cero existe la
función z.= inversa de C = Desarrollémosla en
serie de Taylor en un entorno del punto ( ~ 0:
00
z~z0 + ajC + ot2(2 + ... = zQ +
B=1
Sustituyendo en esta expresión C por (w ~ w0)l^pf obtenemos
el desarrollo de la función inversa de / en una serie de
potencias generalizada:
z = g{w) = zQ + " wo)n/p- (3)

n=l
Se puede comprobar que los coeficientes a n del desa-
rrollo (3) se calculan a partir de las fórmulas
w-1 Z~Z Q
an = (4)
n\\dz^\(f(z)-f(z0))Vp 2=ZQ
SÍ:
i• 1 o • ^'r^îií Ir
í. o H .
+ ¡ y \ ' « N i & t f i r a 11 i i
. ¿ t i ' S U y y f i i : !; V : < *Wy^V'f• «
Analizando el desarrollo (3) llegamos a la conclusión

de que en el círculo Kfi la función g{w) constituye el elemento
de una función analítica completa para la cual el punto w0 es
un punto de ramificación de (p — l)-ésimo orden.
De los casos a) y b) se deduce la siguiente afirmación.
Teorema 1. La condición f'{z0) ^ 0 es necesaria y suficiente para que

la función analítica f sea localmente de una hoja en el punto Zq.
Observemos que aunque la función / sea localmen-

te de una hoja en todo punto 2 de la región D, esto no
implica, en general, que sea de una hoja en toda la re-
gión D. Consideremos, por ejemplo, f(z) — ez. En este caso
Vz G C f'{z) = ez 0. Sin embargo, la función z ez
no es de una hoja en toda región que contenga al menos
un par de puntos Z\ y z2 tales que z\ — z2 — 2nki. Por
consiguiente, la condición f'(z) 0 en D es necesaria pero
no suficiente para que la función / sea de una hoja en toda
la región D.
í
Teorema 2 (principio de uniformidad). Sea f una función analítica
en una región D y continua en su adherencia D C C; sea dD una
curva de Jordán orientada positivamente. Supongamos que D D*
y, además, la aplicación de dD en dD* es hiunívoca. Entonces la
función f es de una hoja en la región D.
Demostración. Sea «jq 6 D* un punto arbitrario. Determi-

nemos cuántas veces se anula la función 2 (-> f(z) - Wq
en la región D. Según el teorema del residuo logarít-
Vp: " yi • •
j y i u . - X ' , ^ .
illiillllii
mico,
N
IdD F(Z) - W0
dz, (5)
donde N es el número de ceros de la función 2 »- f{z) _ Wq
en D. Dado que entre los puntos de las fronteras dD y dD*
existe una correspondencia continua y biunívoca, en (5)
podemos integrar a lo largo de la curva dD* haciendo
el cambio de variable w = f{z), dw = f ( z ) dz. Obte-
nemos
/
dD-
P r o b l e m a s resueltos.
« f S - > , >,x J X ^ I X " \<V '
< S o l u c i ó n . En este caso
z0 ~ a, wQ- 0, f(z) = z - a
sen z
Según la fórmula de Lagrange (1),
A i ( , \
1 x /
I
i
.
J
I - V H: Mn J ?
J
.ív;
Solución. Aquí
^ = ^• = 0, f(z) = ze-ttS, f(0)¿0, F(z) = ev*.

Aplicando la fórmula (2), obtenemos
bg(w) ^ 1í í , (Han)*
n=l x z=0
A (b + an)""1
n=l
El radio de convergencia de la serie de potencias obtenida se
calcula a partir de la fórmula de Cauchy—Hadamard:
n-l
- — n /16 4- an\
lim \ -
n-»oo V ni
| b + an\l-1¡n e\a
lim
íi—K»
Tomando 6 = a, obtenemos
z g(w)
= eaz
az == , (F o (p){w) = —
M ™
Por tanto,
gW
i+5> n!
n=l
Jn + ir 1 ,„+1
5(w) = « + ^ a:
n=1
„ (n + 1 ) " - 1 ...„ + 1
n=0
<4 Solución. Escribamos la ecuación en la forma
Z - Zq
W = Wq-\-
<p{z)
La función
z f{z) - Wq + ÍZÍ2
_ _ <P(Z)
es analítica en el círculo Kr,
f'{*)¿ 0 y f(zo) = wo.
Conforme al caso a) considerado al inicio del parágrafo, para
todo
w e < w G C \w - w0| <

M
= min - Wo|,
M
la ecuación w = f(z) tiene una única solución g{w) que
pertenece al círculo Kr. Según la fórmula de Lagrange (1),
esta» solución se puede representar mediante la suma de la
sene
g(w) = zo + £ - J^M*)) n
(w " v>o)n.
n=l
§3. Propiedades de los extremos
del módulo de una función
analítica
m
; \ / l
3.1. Principio del máximo del módulo

de una función analítica
Teorema 1 (principio del máximo del módulo, primer enunciado). Sea f

una función analítica en una región D. Si su módulo \f\ alcanza un
máximo local en un punto ZQ G D, entonces f = const en D.
'4 Demostración. Apliquemos el método de reducción al ab-

surdo. Supongamos que F{zq) = WQ y que / ^ const en D.
f
Sea, además, D >Z>*. Entonces w0 G D* y D* es una
sobre
región. Por consiguiente, existe un círculo
Kft = {we C: \w - w0¡ < ¡i} C D*
y un punto wx G K^ tal que |iui| > |wq|. Por tanto, en un
entorno del punto z0 existe un punto Z\ tal que f{z\) = W\ y
l/(zi)¡ > \f(zo)l Esta desigualdad contradice el hecho de que
\f(zo)\ es un máximo local de la función f . La contradicción
se debe a la suposición de que f ^ const. Por consiguiente,
f{z) = const Vz G D. •
Corolario (principio del máximo del módulo, segundo enunciado). Si

una función f es analítica en una región D y continua en la adheren-
cia D, entonces \f\ alcanza su máximo sólo en la frontera dD de la
región D.
< Demostración. Esta afirmación se deduce del primer enun-

ciado y de las propiedades de las funciones continuas en un
compacto. •
i í íf '' " " Ü
' i'1 ' 1 ••
Señalemos que para el mínimo del módulo |/| la

afirmación análoga al teorema 1 no se cumple. Efectivamente,
sea, por ejemplo, f(z) = z,
D/ = ÜT = {z É O \z\< 1}.
La función / es analítica y f ^ const, sin embargo alcanza
su mínimo \f(z)\ = 0 en el punto z = 0, el cual es un punto
interior de la región £>/. La explicación de este hecho es
que la función / se anula en su región de analiticidad. Este
ejemplo sugiere la siguiente afirmación.
Teorema 2 (principio del mínimo). Si f € A{D) y Vz 6 D f{z) ¿ 0,

entonces |/| puede alcanzar un mínimo local en D sólo si f = const.
< D e m o s t r a c i ó n . Es suficiente aplicar el teorema 1 a la función

1
g — j analítica en D, ya que V z £ D f{z) ¿0. •
3.2. Lema de Schwarz

La siguiente afirmación pertenece a Schwarz.
L e m a (de Schwarz). Sea f una función analítica en el círculo

K = {z e G \z\ < 1},
tal que VzeK satisface las condiciones /(O) = 0, \f{z)\ <: 1. Entonces
Vz e K se cumplen las desigualdades
!/(*)! ^ H l/(0)| ^ 1. (1)

Además, si se verifica la igualdad \f'(0)| = 1 o existe al menos un punto
z ¿ 0 tal que \f(z)\ = \z¡, entonces V z e K se cumple la igualdad
\f(z)\ ~ \z\, es decir, la función f tiene la forma
f(z) = eiaz, « e l
Demostración. Consideremos la función
, , f(z)
Z (fi{z) =
z
La condición /(O) = 0 impUca que <p € A(K) y tp(0) = /'(O)
(se supone que la función ha sido definida en el punto
singular evitable). Estudiemos la función <p en el círculo
Kp = {zeC: \z\ < p}, donde p< 1.
De acuerdo con el principio del máximo, alcanza su
máximo en la curva
7 , = {z <E G |z| = p}.
Dado que Vz € K |/(z)K 1/ entonces V z <E 7 P se tiene
i , M 1
Por consiguiente,
1 -
Mz)| < - Vz eür^,.
p
Haciendo tender p a la unidad para un z € üf fijo obtenemos
la desigualdad |<p(z)| ^ 1, o bien |/(z)| ^ |z|. Es evidente
que z puede ser cualquier punto del círculo K . En parti-
cular, tomando z = 0, obtenemos |^(0)¡ = |/'(0)| < 1. Sea
ahora \<p{z$)\ — 1 para cierto z0 € K. Esto significa que
alcanza su máximo en el punto ZQ. Por consiguiente, según
el teorema 1 (p = const, y como ¡<p(z)¡ = 1, z 6 K, entonces
(p(z) = e t a z, a € R •
La interpretación geométrica del lema de Schwarz es

bastante sencilla. Mediante la función w = f(z), todo punto
z e K bien se aproxima al origen de coordenadas, bien la
transformación es un giro alrededor del origen de coordena-
das. En otras palabras, la imagen de toda circunferencia
7 r = {z € C: \z\ = r }
%
n
t n •
V
•NÉI
• I s; - :
• * ;i : •
bien se encuentra dentro del círculo

K'r = {w e C: M < r},
bien coincide con la frontera del mismo.

El lema de Schwarz admite varias generalizaciones.
La más simple de ellas es la siguiente. Sea z — 0 un cero de
multiplicidad A de la función /. Entonces considerando la
f(z)
función z — j - obtenemos las desigualdades
/<*>( 0)
|/(¿)KMa VZEK y <1,
I I
(el signo de igualdad es posible si, y sólo si, f(z) eixzx).
Solución. Cada componente conexa constituye la frontera de

cierta región D; la función P es analítica en D y su módulo es
constante en la frontera dD. Por tanto, según el principio del
máximo, en el interior de D existe al menos un punto z 6 D
tal que P(z) = 0. En caso contrario, P{z) = const en D. •
<•• I . l - ' i i '
- -s
v ;l-^1®!
• ^* =tí^l^
'túw
Ai-*! íS
v 'î'-trii^
„ Solución. La afirmación se deduce directamente del principio

del máximo del módulo. •
es analítica en la región
K,/« = { < e 0 1CI<5}.
(se ^ ^ ^ j s r . - s , -
singular evitable ( - u j y su muuu u 1 a ei
v n Seeún el principio del máximo, \f\alcanza ei
cerrado Kx/r. begun ei yi y m i e n t r a s q u e 1/ lo al-
mávimo en
máximo en w la circunferencia d K y R , mientras que u i
Q d e d u c e que
canza en la circunferencia y R . A partir aeiej
í/ '
suplico)
f- K\=P
»•
•
f-'
i
t:.
crece estrictamente en el intervalo ( o , I ) . Por consiguiente,
M{r) = sup |/(z)l

lzl=r
decrece estrictamente e n e l i n t e n ^ ^
10 3«k.38
mm:'
y+i - i * * * " - •<>
1 < ^ : .í ix: O
' i^í'fiÍífffc
-'¡ói'.i'JiHo •
P{z)
es analítica en la región
D = {z € C \z\ > 0}
yt por consiguiente, satisface las condiciones del ej. 11 para
todo R > 0. •
< S o l u c i ó n . La función z nP{z) satisface las condiciones del

ej. 11 y, por consiguiente, su módulo alcanza un máximo en
la circunferencia
7 = {zEC: 14=1}
que es la frontera de
Sea
M = max \z~nP{z)\ ^ 1.
M Solución. La función
Entonces, según el ej. 11 tenemos que \z~nP{z)\ = 1, es decir, V(w) = w~nP ( -(« +
P(z) = z B , o bien
\z"nP(z)\ <lVzeD = {zeC:\z\> 1}. es analítica en el conjunto
La última desigualdad es imposible. • D~{we O |tu| > 1}.
Dado que la imagen de la circunferencia
7 = {w € C: M = 1}
mediante la aplicación
z — -(w •f tu l
)
es el segmento [ - 1 , 1 ] , entonces de las condiciones de partida

tenemos que
Vw G7 IvMI ^ Af •
Según la solución del ej. 11, la última desigualdad es válida
también para
Vw £D P^w + w1)] ^M\w\n.
10*
,• : ••¡Alífera!
fe* .vJai
Sea z0 un punto arbitrario que no pertenece al segmento

es decir,
[ - 1 , 1 ] y sean a, b los semiejes de la elipse que pasa por el
punto z0 y tiene sus focos en los puntos ±1. La aplicación
Por consiguiente, la función F, donde
w = z + y/z2 - 1 (w(oo) = oo)
sv ^ =
F{z) f{z)
,
transforma dicha elipse en la circunferencia
I I niz)
J ={w<E C: \w\~a + b}. fc=l
Por tanto, es analítica en el semiplano G' (se supone que en los puntos
singulares evitables
zk (k = l ,n)
la función está definida) y \F(iy)\ < M. Por tanto, según el
principio del máximo,
\F{z)\ ^ M V z e G,
es decir,
n
í r?.y * *? i *
. » <*,*<>*<>' » <-.<".<. . ...
^ « í v i A»
v ' ^ i / • w • v/•
i \ < t> A 4 « 'X » , .. A, ,

, . . . i X*> <v ... •
> • I •
A» A / < », <. .
** < v " • . • w •> •»: '
if&VáW&tt&îK — < -
» ... s
f, ^ . A " . ^ f , , <, a .
'/í . '. • • • ' \ •

•x : » . ' A . < » » ; . ••
a x: v •••• • * ' '
V^ U » v v '' / > "

i V ^ > • • > V < x ' » , < » - . . . • . V. . ,
4 Solución. La función
x • < > x < - ¡ - i W 0 < * « V » •< •
<v » <;» , • ••
A <»/<»/v'M . •
i
z ^ <pk(z) = l i l i ' f ^ s - / : x < y v w . <.. .
« í >X•AV
• «/ v • :
s v . .
^ « •' (< ^ •"< AV , - V >»i > ' •V » • .
V-A W .. ' ^ >. ^ ¡ • •' • <
Z + Zk >£ /i í y 9 x •»
establece un isomorfismo conforme entre el semiplan

x « / ^ <
X f t i+A f t V v l y M A x '
< < k.VA.^.d»»*».
íXv/.^y/ .V>-».. »
= Re 2: > 0}
y el círculo unidad M Solución. La función
K = {w e O \w\ < 1},

/
«fK ^ i:
es analítica en el círculo
K = { ( £ € : ¡ C U 1}
Y M 0 \ < 1. Haciendo uso de la forma general de los
auton, o r f l s m o s d d c f r c u l 0 u n i d a d fórmuia | d los
t. 5), llegamos a que la función P
<p(0 - <p( 0)
C ^ F(0 =
i - <p(0)<p(Q
satisface las condiciones del lema de Schwarz y, por tanto
T ^ o j ^ p K ' Para ÍCKi.
Tomando aquí < = teniendo en cuenta f M

/(*) _ W
— , obtenemos la desigualdad requerida. •
.........
S o l u c i ó n . La función
z» F(z) = B l ^ z l M
JK 4 - /(0)/(z)
satisface las condiciones del lema de Schwarz, luego |F'(0)I<1
Pasando al límite cuando * - 0 en la igualdad
M(}{z)-m) F(z). , _
i = ~ ( M - m m )
obtenemos
M f ( 0 ) z= jp'(0)(Aí2 - |/(0)|2),
de donde, teniendo en cuenta la desigualdad \F'm < 1
llegamos a la desigualdad requerida. • ^ '
MI iliipip^
«4 Solución. Sean P(z) = zQ{z) y E una elipse de semiejes
a = \/2, 6 = 1 y focos Entonces V z € E (v. ej. 14) se
verifica la desigualdad
Aplicando el lema de Schwarz a la función

P(z)
M( 1 + V2)n+l'
obtenemos la estimación
\P{z)\ = \zQ(z)\ < M( 1 + V2)n+l\z\. •
§4. Principio de compacidad.

Funcionales definidos sobre
familias de funciones analíticas
4.1. Familias uniformemente
acotadas y equicontinuas
Asociemos al concepto de continuidad uniforme de una
función / el concepto de equicontinuidad de una familia.
Expongamos los razonamientos que sugieren la introducción
de este último concepto.
Una función /: € —» C también puede considerarse
como una función /: M2 —> C si se toma z = x -f iy = (x, y).
Sea Z = Df y sean Z\, Z2 las proyecciones primera y se-
gunda del conjunto Z. Denotemos mediante Z\{x), Z2{y) sus
W5' •'!•'i- ..:
secciones mediante a: e y (v.p.1.7, cap. 1, t.5). Hagamos co-

rresponder a la función / dos familias de funciones de R en C:
(h rx)xtZ\ / { f j,y )y£Z2 *
donde
Dhx = ^(a), fi,x(y) = /(*, y) V y €
(1)
^/z, = hy{x) = /<*, y) V * e ( }
Suele decirse que la función fífX se obtiene de /

fijando la primera variable x, y la función /2,y, fijando la
segunda variable y. De la definición se deduce que si la
función /: C —* C es uniformemente continua, todas las fun-
ciones de las familias (fiiX)x€Zu {f2,y)yez2 son uniformemente
continuas. Dicho de otro modo, la continuidad uniforme de
una función respecto al conjunto de variables implica la con-
tinuidad uniforme respecto a cada una de ellas por separado.
Existen, sin embargo, funciones que siendo discontinuas res-
pecto al conjunto de variables, son uniformemente continuas
respecto a cada variable por separado, como lo demuestran
los ejemplos siguientes:
E j e m p l o 1. Sea
xy
si M^ ifi ^ 1 y +f2 ^
}{?, y) =
si x1 + y1 - 0.
4 Solución. Tenemos entonces:

Z = {-1,1]2,
Zi = ¿2 = Zi(x) = z2(y) = [-i, 1] v (x e [-1, i],
.íf 6 [-1,1]).
Si x ^ 0, la función f\/X es racional en el segmento [ - 1 , 1 ] . De
acuerdo con el teorema de Cantor la función es uniformemente
continua. La función f2iV también posee esa propiedad para
; >..; i • i *i tf -A
todo y e [-1,1]\{0}. Si a; = 0 ó y = 0, las funciones fifi y ftfl

son iguales a cero y uniformemente continuas. De este modo,
la función / es uniformemente continua respecto a cada
una de las variables por separado. Sin embargo, la función
/: € —+ C es discontinua respecto al conjunto de variables en
el punto cero. En efecto
lim n n _ _ lim n n
n-»oo i i " 2 n—>oo 4_ l
Por consiguiente, el conjunto £7/(0) de los límites parciales de

la función / en el punto cero contiene más de un elemento,
luego lim f(z) no existe, •
z—>0
E j e m p l o 2. Sea / una función arbitraria definida en la circunferencia unidad

7 = { z e C : \z\ = 1}.
< Solución. En este caso

n = r 2 = [-i,i],
r\(*) = {
iMy) ~ v 1 2/2/ v i ~ 2/2}-

_ f / 2
Para todo valor de x € Ti, el conjunto Ti (a) tiene a lo sumo

dos puntos. El conjunto V2 (y) también posee esa propiedad
V y € r 2 . Así pues, las familias de funciones (fi¿) y ifxy) se
componen de funciones uniformemente continuas. Como la
función / es arbitraria, la misma puede ser discontinua en
todo punto de la circunferencia 7 . •
La búsqueda de las condiciones que al ser impuestas

a las familias (f\ix)x£zx y {h,y)yez2 aseguren la continuidad
uniforme de la función f respecto al conjunto de variables,
conduce al concepto de equicontinuidad.
Definición X. Sea 9Jt un conjunto de funciones / : € — • € . Se dice
que este conjunto es equicontinuo s i V e > 0 3 ¿ > 0 :
V(/ e rn, z' e Df, z" e i?/) (I*' - < S) => |/(«') - /(*")| < e.
Dado un conjunto A, la familia de funciones (/«)«€A

es equicontinua si lo es el conjunto 99? = {/„: a £ A}. En
particular, se puede hablar de la equicontinuidad de una
sucesión (/„) de funciones /„: C —• C. El término "equicon-
tinuidad" se explica por el hecho de que la elección de 6
en la definición 1 depende sólo de e y puede utilizarse para
argumentar la continuidad uniforme de toda función / 6 V31.
Definición 2. Un conjunto VJl de funciones /: C —» C definidas en

una región D se denomina uniformemente acotado en el interior de D,
si para todo compacto K (§ D existe una constante M ~ M(K) tal
que
V(/ eSW, z £K) \f(z)\
Se dice que una familia de funciones ( f a ) a e A es uni-

formemente acotada en el interior de D si 9JÍ = {/ a : a £ A}
es un conjunto uniformemente acotado en el interior de D.
D e f i n i c i ó n 3. Un conjunto 9JÍ de funciones /: C C definidas en

una región D se denomina equicontinuo en el interior de D, si V e > 0
y para todo compacto K d D 3 6 = 6(s, K):
V(/€9H, z'€K, Z £K)
{\z'-z"\<ó)^\f{z')-f{z")\<e.
Se dice que una familia de funciones (fa)a€A es equi-

continua en el interior de un dominio D si 9DT = {/ a : a £ A}
es un conjunto equicontinuo en el interior de D.
laillí
| • ! !.!! , . '! j>U\t •¡yfj'.V!'
Teorema. Si un conjunto W defunciones /: C - C analíticas en una

región D es uniformemente acotado en el interior de D, entonces es
cquicontinuo en el interior de D. __
M Demostración. Sea K m D^ Denotemos mediante 2p la

distancia entre los conjuntos K y QD, es decir,
2p = inf p{z, O-
Es evidente
que p > 0, ya que K y dD son conjuntos
cerrados disjuntos. Consideremos el conjunto
U^6C: <p}
Zq€K
que a veces se denomina p-inflación del conjunto K. Es

obvio que Kip) D y, por consiguiente, existe una constante
M(K{p)) tal que ,V(* e , / € 0R) \f(z)\ ^ M. Sean
z' y z" dos p u n t o s arbitrarios de K para los cuales \z'-z"\<p.
Como
Kp = {ze C: \z-z'\<p}cK{p),
entonces para todo z e Kp se verifica la desigualdad
_ ^ 2M. La función C = ~ transforma el
círculo Kp en el círculo unidad
ffi = K € €: |(| < 1}.
Analicemos la función
0(0 = ; (/<*' - K) ~ f {*'))>

^ 2M
g € g(0)
5(0) - 0, \g{Q\ < 1.
Esta función satisface las condiciones del lema de Schwarz,

luego
vceî IÍKOKICL
mtíám
o bien
2—W
M ~ po - /(*')I la >< = -(*- A
Si tomamos
entonces
v/ean <e. •
4.2. Principio de compacidad
Definición. Un conjunto 9JI de funciones /: C -+ C definidas en

una región D se denomina compacto en D si de cada una de las
sucesiones (/„) de este conjunto se puede extraer una subsucesión
(fnk) uniformemente convergente en cualquier compacto K <i D.
Si un conjunto SUt de
T e o r e m a (principio de compacidad de Monte!).
funciones analíticas en una región D es uniformemente acotado en el
interior de D, entonces es compacto en D.
Demostración. 1) Demostremos primero que si la sucesión

(fn) converge en todo punto de un subconjunto E C D denso
en D, entonces converge uniformemente en todo compacto
K <§ D (recordemos que un conjunto C Z se denomina
denso en el conjunto Z si todo elemento z 6 Z es un punto
adherente del conjunto Z0). Elijamos un e > 0 y sea K <é D.
Según el teorema del p. 4.1, el conjunto de funciones 9H es
equicontinuo en el interior de la región D, por lo cual la
región D se puede dividir mediante rectas paralelas a los
ejes coordenados en cuadrados tan pequeños que para todos
' - ••••
z 6 K y z" e K pertenecientes a un mismo cuadrado y

V/ e se verifique la desigualdad
O)
Un número finito de tales cuadrados recubre com-

pletamente el conjunto K . Supongamos que este número
es igual a p. Debido a que el conjunto E es denso en D,
todo cuadrado anteriormente indicado contiene un punto Zf¡
(fe = V p ) . Dado que la sucesión de funciones (/„) converge
en el conjunto E, existe un n£ G N tal que
V (m > ne, n>n£, k-l,p)
se verifica la desigualdad
| fm(zk)-fn{zk)\ < 3. (2)
Sea z E K un punto perteneciente al fc-ésimo cuadra-

do en donde está fijado el punto Zk G E. Para m > nc y
n> n£ tenemos entonces
|Sm{z) - fn(z)| ^ | fm(z) ~ f (z )\
m k + | fm(zk) ~ fn(zh)\ +
+ \fn{zk) - fn{z)\ < | + | + |=
De este modo,
lifm ~ fn\\ = SUP| fm(z) - fn(z)\ ^ C
zeK
V (m > n€f n> nc),
es decir, la sucesión (/„) es uniformemente fundamental en
el conjunto K y fn =3.
2) Ahora demostremos que a partir de toda suce-
sión (/„) de funciones del conjunto SDÍ se puede extraer una
subsucesión (/ n J convergente en todo punto de un subcon-
junto E denso en el conjunto D. Sea E el conjunto de puntos
z € K cuyas partes reales e imaginarias son racionales,
E = {zf-; k € N}. Consideremos la sucesión [fn{z\))- Dado
que esta sucesión es acotada, por ei teorema de Bolzano—
Weierstrass, de ella podemos extraer una subsucesión conver-
gente (fn¡.(zi))- Sea fnk{z) = fki{z). Consideremos la sucesión
(fk 1(^2))- Esta última también es acotada y de ella se puede
extraer una sucesión convergente {fnki{zi))- Sea fnk\ — fk2-
De la sucesión {fkii^)) se puede extraer una subsucesión
convergente (fnk2Íz$)), etc. Continuando este procedimien-
to obtenemos la sucesión de sucesiones {fki{z)), Ukiiz)),
Escojamos ahora la sucesión diagonal ¡\\{z), f22{z),.... Esta
sucesión converge en todo punto del conjunto E. En efecto,
cualquiera que sea el punto zp 6 E, todos los términos de
la sucesión ( f n n ( z ) ) a partir de fpp(z) fueron elegidos de la
sucesión (f np ) convergente en el punto zp.
En virtud de que 2) => 1), el principio de compacidad
queda demostrado. •
4.3. Funcionales definidos en conjuntos

de funciones
Definición 1. Sea 9H un conjunto de funciones /: C —• C definidas

en una región D. La aplicación 90Í - i C se denomina funcional.
El funcional I pone en correspondencia a cada función

/ 6 un número complejo /(/).
Definición 2. Un funcional I se denomina continuo en un elemento

fo £ si para toda sucesión (/„) de funciones del conjunto 9EJ?,
uniformemente convergente a la función f0 en todo compacto K <s D,
se verifica la igualdad
lim !(/„) =/(/o).-

00 |
Sea, por ejemplo, 9JÍ el conjunto de todas las funciones
analíticas en la región D. Definamos /(/) como sigue:
= >
p\
siendo a 6 i? un punto fijo. Demostremos que este fun-
cional es continuo. Sea (/„) una sucesión de funciones del
conjunto 9JI uniformemente convergente a la función f0 en
todo compacto K <s D. Según el teorema de Weierstrass,
/o e A(D). Sea
K = Jr = {z e C: \z - a\ = r} C D.
En este caso
V e > 0 Sn£ e N: V ( n ^ ne, z 6 7r) I / « ( * ) - /o(*)l < e>
i Aplicando la desigualdad de Cauchy para los coeficientes
de una serie de potencias (v. fórmula (6), p. 1.7, cap. 2, t. 6),
obtenemos
lo que significa la continuidad del funcional I .
Definición 3. Un conjunto compacto de funciones se denomina

secuencialmente compacto si el límite de toda sucesión (/„) de funciones
de 9DT uniformemente convergente en todo compacto K <s D pertenece
al conjunto 9Jt.
•
Dicho de otro modo, el conjunto 9Jt de funciones

/: C —» C es secuencialmente compacto si de toda suce-
sión (/„) de funciones de 2Jt se puede extraer una subsu-
cesión (/,u) uniformemente convergente en todo compacto
K <1 D a una función de 9)1.
Como ejemplo de un conjunto de funciones secuen-
cialmente compacto puede servir el conjunto de funciones
analíticas uniformemente acotadas en una región D.
Teorema. Sea I un funcional definido en un conjunto secuencialmente
compacto 9JI de funciones f: C C. Si I es continuo en 9J?, entonces
su módulo [7(/)| alcanza el supremo, es decir, existe una función /0 € 9JÍ
tal que
v/ea»|j(/)|^|j(/0)|.
Demostración. Hagamos a = sup \I(f)\. Sea (sn) una su-

/€5W
cesión infinitésima de números positivos. Según la propiedad
del supremo V n 6 N 3 /„ € Wl tal que
<x~en< \I{fn)\ ^ ol,
de donde lim \I{fn)\ = a. De este modo, existe una suce-
n—>00
sión (/„) de funciones del conjunto Wl tal que lim j I ( f n ) \ - a .
ra—» oo
Por cuanto el conjunto 931 es secuencialmente compac-
to, existe una subsucesión (f n¡í ) uniformemente convergente
en todo conjunto K <§ D a una función f0 € En virtud
de la continuidad del funcional I , se tiene
Hm |I(/BJ| Wo)\ = <*,
k—>oo
de donde se deduce que a < oo y
v/ e m |/(/)| < |/(/0)|.
4.4. Teorema de Hurwitz

La siguiente afirmación pertenece a A. Hurwitz (1859—1919).
Sea (/„) una sucesión de funciones analíticas en

T e o r e m a (de Hurwitz).
una región D que converge uniformemente en todo compacto K <é D
a una función f £ const. Si f(z0) = O, z0 G D, entonces, para todo
círculo
Kr = {z€ G \z - zQ\ <r}CD,
a partir de cierto número n todas las funciones fn también se anulan
en Kr.
«a»®»:
¡llti
D e m o s t r a c i ó n . Según el teorema de Weierstrass / G A(D).
Dado que / ^ 0, existe un entorno reducido del punto
z0 Op(z0) = {ze€: 0 < ¡z - z0\ < p} C D
en el cual / 0 (pues los ceros de las funciones analíticas
son aislados).
Sea
fi = min 1/(2)1, p > 0,
p
donde
7p = {z G €: \z - zQ\ ~ p}.
En virtud de que f n ^ f e n la región D, existe
n^ G N: V (n ^ n^ z 6 7„) | /„(*) - f(z)| < p
De acuerdo con el teorema de Rouché, las funciones / y /„

tienen en el interior de "fp un número igual de ceros. Como /
tiene al menos un cero, entonces para n ^ n(i todas las
funciones fn también tienen ceros en el interior de jp. •
Corolario. Si una sucesión de funciones (/„) analíticas y de una hoja

en una región D converge uniformemente en todo compacto K <g D, la
función límite es bien uniforme, bien constante.
<4 Demostración. Supongamos que lim /„ = / y / ^ const,

«-+00
y que existen dos puntos diferentes z\ G D y z2 € D tales
que f{z\) ~ f(z2). Consideremos la sucesión de funciones
gn{z) = fn(z) - fn{z2),
y el círculo
Kr = {z G <D \z- Zi\ < r},
r ^ \zi - z21.
i
1 1 3a K . 38
Iplll
Tenemos:
lim gn(z) = f(z) - f(z2) = g(z), g(Zl) = 0,

n~*oo
de donde, según el teorema de Hurwitz, a partir de cierto

número n todas las funciones gn también se anulan en el
círculo Kr. Esto contradice el hecho de que las funciones /„
son de una hoja. •
§ 5. Existencia y unicidad
de las transformaciones conformes
5.1. Isomorfismos y automorfismos conformes

Dadas dos regiones D\ y D2, se denomina isomorfismo
conforme de D\ sobre D2 a una transformación conforme /
de Di sobre D2r se dice que las regiones Di y D2 son
conformemente isomorfas. Un isomorfismo conforme de una
región sobre sí misma se denomina automorfismo conforme.
El conjunto de automorfismos de una región arbitraria D
forma un grupo que se denomina grupo de automorfismos de
esta región y se denota mediante el símbolo A(D). La ley de
composición en este grupo es la composición
la unidad es la transformación idéntica e: z —> z y el elemento

inverso de <p es la transformación inversa z — (p~l(w).
Nota. Para simplificar la terminología, omitiremos con frecuencia la palabra

"conforme" de la expresión "isomorfismo (automorfismo) conforme".
llilfc
Teorema. Sea D{ D2 cierto isomorfismo. Entonces el conjunto de
sobre
todos los isomorfismos de Di sobre D2 se define mediante lafortnula
f = (p o f b,
donde 2) la composición

ip o /0 es un isomorfismo de Di sobre D2.
2) Sea / un isomorfismo cualquiera de Di sobre D2.
Consideremos la composición (p = / o /J"1. Es evidente que
G A(D2), f = <p o /0. •
5.2. Ejemplos de automorfismos

1) D = C. Sea <p un automorfismo cualquiera de C. En este
caso existe un solo punto z0 € C tal que <p{zQ) = oo. Por
tanto, la función z (p(z) es analítica en el conjunto C\ {¿fo}
y tiene en el punto z0 un polo de primer orden (la función no
puede tener polos de órdenes superiores puesto que <p debe
ser de una hoja). Por consiguiente, de acuerdo con el teorema
de Liouville tenemos
( A
I H B, para ZQ # oo
(p(z) = < z ZQ -
V Az + B, para z0 = oo.
De esta manera, el conjunto de todas las transformaciones
homográficas forma un grupo de automorfismos C.
2) D = € . Razonando análogamente obtenemos que
el grupo A(C) está formado por el conjunto de todas las
funciones lineales enteras <p(z) = Az + B.
3) D = K = {z £ C: \z\ < 1}. Sea <p un auto-
morfismo arbitrario del círculo unidad K y sea <p(0) = Re-
construyamos un automorfismo homográfico A del círculo K\
w — w0
A (w) = _ , A (io0) = 0,
1 - WqW
¡¡líBl
tr-
Analicemos la composición f — Á o <p. Es evidente que
1/(2)1 < 1 V z e ü r , /(o) = o.

Por consiguiente, / satisface las condiciones del lema de
Schwarz y V z E K se tiene
l/(*)l ^ H (1)
Consideremos la transformación inversa f~\w) = z Ésta
también satisface las condiciones del lema de Schwarz y, por
tanto, |/ \W)\ ^ \w\, o bien * P
~ e * es
/(2:) Unción lineal simple y <p = X"1 o f
es una función homográfica. Entonces todo automorfismo
^ * e S homográfico » por tanto, es de la forma
(v. formula (5), p. 1.3, cap. 3 , 1 5 )
w= e
1 — az'
dw
< b a 6 1, a = arg
a¡
dz
Así, los automorfismos del círculo unidad K dependen
de tres parámetros reales: de dos coordenadas del punto a y
de a.
Demostremos ahora que variando estos parámetros se
puede hallar un único automorfismo A 6 A(K) que satisfaga
las condiciones de normalización
A(a) = b, arg A'(a) = a, (3)
donde a y b son dos puntos fijos arbitrarios de K, y a es un
número real arbitrario.
En efecto, sean p{z) y v{w) dos automorfismos del
círculo K :
z- a w—b
fi(z) = v(w) =
1 — za' 1 — bw
"I
Consideremos la composición A = v 0/4. Tenemos:
A(a) = 6, =
arg A\a) ~ arg /í'(a) - arg v(b) ~ a - 0 = a.

De este modo, hemos construido un automorfismo del cír-
culo unidad A = v"1 o que verifica las condiciones (3).
Consideremos la composición
f = v o Ai o /x"1,
donde Ai es otro automorfismo del círculo K que satisface
las mismas condiciones- Evidentemente,
/(0) = 0,
arg /'(O) = arg v\b) + arg Ai (a) - arg y!{a) =
= 0 + a - a = 0.
Por consiguiente, AÔ) = 0, arg Ai (0) = 0; entonces, confor-
me al lema de Schwarz, / = e es una transformación idéntica,
es decir,
—1 —1
e = i/ o Ai o p, Ai — v o p = X.
5.3. Existencia y unicidad

de los isomorfismos de las regiones
isomorfas al círculo unidad
Subrayemos el hecho siguiente: debido a que el grupo de auto-
morfismos de un círculo unidad depende de tres parámetros
reales, el grupo de automorfismos de toda región D isomorfa
al círculo unidad también depende de tres parámetros reales.
El siguiente teorema establece la existencia y la unici-
dad de los isomorfismos de las regiones isomorfas al círculo
unidad.
Teorema. Si dos regiones Di y D2 son isomorfas al círculo unidad K,

el conjunto de isomorfismos de D\ sobre D2 depende de tres para-
metros reales. En particular, existe una única aplicación Dx D2
j .. . . sobre
normalizada del modo siguiente:
f{zo) = w0/ arg f'(z0) = 0, 0)

donde z0 G Dx y w0 e D2 son puntos arbitrarios y 6 GR es un número
arbitrario.
Demostración. Sean D\ h • K y D2 h > K dos aplicacio-

sobre J sobre r
nes. La aplicación fo = f2 0 f i es un isomorfismo conforme

de D\ sobre D2. Según el teorema del p. 5.1, el conjunto
de todas las aplicaciones de Dx sobre D2 está dado por la
fórmula
/ = <p ° /o,
donde (p es un automorfismo arbitrario de la región D2.
Dado que el grupo A(D2) de automorfismos de la región D2
depende de tres parámetros reales, el conjunto de transfor-
maciones conformes de D\ sobre D2 también depende de
tres parámetros reales. Así pues, la primera parte del teorema
queda demostrada.
Sea ahora
Mzo) = a, arg/i'(zo) = 0i,
f2(w0) = b, (2)
arg/2(«>o) = 02,
y sea A un automorfismo del círculo K normalizado de la
manera siguiente:
A (a) = b,
argA'(a) = 0 + 0 2 - 0 , , (3)
(como ya sabemos, tal automorfismo se determina de un
modo unívoco).
Analicemos el isomorfismo
/ = /2~1oAO/1
de D: sobre D2. Tenemos:
f{z0) =
arg ?{ZQ) = ~ arg F2{W o) + arg X\a) + arg /{(*<,) =
= -02 + 0 + - + 01 =
Con esto queda demostrada la existencia de un iso-
morfismo de Di sobre D2 que satisface las condiciones de
normalización (1). Demostremos ahora su unicidad.
Supongamos que existe otro isomorfismo Di D2
que verifica las condiciones (1). Entonces
<p = fog~le A(D 2 ),
<p{wo) - WO/
arg <p'{w0) = arg f\z0) - argpô) = 0.
Consideremos el automorfismo p, = h 0 ° /í* del círculo
unidad K . Tenemos:
p(b) = b,
arg ^'(6) = arg y/(tüo) + arg /2(w0) - arg f2{w0) = 0,
de donde se deduce que p - e y, por consiguiente, y? = e, es

decir, fog~l = e,o bien 5 = /. •
5.4. Teorema de existencia

Naturalmente, surge la siguiente pregunta: ¿qué regiones
son conformemente isomorfas al círculo unidad y, por tanto,
conformemente isomorfas entre sí? La respuesta se contiene
en el teorema siguiente.
T e o r e m a (de Riemann). Toda región simplemente conexa cuya frontera

consta de más de un punto es conformemente isomorfa al círculo unidad
•
. >, 3
;Y
K = {z € C \z\ < 1}.
'•3
% y.
*
k íiV
*>
í
i'A
H
*
• < *
l^mmmrn^-
Nota 1. La condición impuesta a la frontera de la región es importante. Por
ejemplo, el plano complejo ampliado no se puede transformar conformemente
en un círculo; es más, el plano C no es ni siquiera homeomorfo al círculo K
(pues la esfera no es homeomorfa al círculo). Si eliminamos un punto del
plano C, podemos transformarlo mediante una aplicación homográfica en C,
pero no es posible transformar conformemente C en el círculo K. En efecto,
si tal aplicación existiera, ella sería entera y su valor absoluto estaría acotado
por la unidad; pero de acuerdo con el teorema de Liouville toda función de
este tipo es igual a una constante.
Nota 2. Si la frontera de una región simplemente conexa contiene más de un

punto, entonces, por ser conexa, contiene necesariamente un conjunto infinito
de puntos.
Demostración. 1) Demostremos que en la región D existe al

menos una función analítica de una hoja cuyo valor absoluto
*
está acotado por la unidad. Tomemos dos puntos a E dD y

b 6 dD, a ^b. Analicemos la función analítica completa
z- a
Esta función tiene dos ramas uniformes z (z) y ^ <p2(z)

en la región D, ya que
z - a JO
z-b 1 oo
En todo punto z £ D los valores de dichas ramas se di-
ferencian en el signo. Demostremos que cada una de estas
funciones es de una hoja en D. Supongamos lo contrario. Sea
<Pk(zi) = (pk(zz) (A: = 1,2).
Entonces <p\{zx) = <pl(z2), lo que es equivalente a la igualdad
z\ - a z2 — a
Dado que la función homográfica es de una hoja, (1) implica

que z\ — z2.
I M« ¡ S S I I w l P i s a í s« kSn " »> <*-

k v X X >X' * '
II
• s v • •i; f, il; ^ $ té:ífe «¡üíSIíT

jO
Vi r2
Sean dos aplicaciones
r
D —-•
sobre
Dx y D sobre
D2. De-
mostremos que Di y D2 no tienen puntos comunes. Supon-
gamos lo contrario, que Dx y D2 tienen puntos comunes.
Esto significa que hay un par de puntos Zi y z2 de D para
los cuales (pi{zx) = y2{z2). De esta igualdad se deduce (1) y
de (1), la igualdad z2 = zi, es decir,
(pi(zi) = ¥>2(*i)«
Teniendo en cuenta que
<pi{zi) = -<pi{z\),
llegamos a las igualdades
<Pk(zi) = 0 ^ = 1,2)
que son imposibles ya que
V z G D y?*(z) ?¿0.
Sea
Kp = {w£ C: |w - w0| < p} C í>2
un círculo en el que la función cpi no toma valores, es decir,
Vz G Di \<PI{Z) -tüol ^ />•
Entonces la función
z »-» g{z) - ——p
<pi(z) - w0
es analítica y de una hoja en D, y
si V z g d |<?(z)Ki.
2) Sea dJl el conjunto de todas las funciones analíticas,

de una hoja en la región D y acotadas en valor absoluto por
la unidad. Este conjunto no es vacío, ya que g G 9Jt, y por
el principio de compacidad, es compacto en D. Fijemos
un punto a G D. Denotemos mediante üBTi aquella parte
de 9H compuesta de todas las funciones / G OJt para las
cuales |/'(a)l ^ l<j'(a)l > 0 (la última desigualdad es una
i'SBJltMfi
iltiii
••íi^mmmm
consecuencia de que g es de una hoja). Demostremos que
el conjunto es secuencialmente compacto- Sea (/„) una
sucesión de funciones de SDÍi uniformemente convergente en
todo compacto K <e D y lim fn = /o, Puesto que
n—>oo
V n € N | / » | > \g'(a)\,
entonces |/¿(a)| ^ |g'(a)\. Además, según el corolario del
teorema de Hurwitz, f0 ~ const o bien f0 es de una hoja
en D. El caso /o = const se excluye debido a la última
desigualdad. Por consiguiente, /o 6 .
Consideremos el funcional /(/) = f'{a) definido
en SDTi. Dado que I es continuo en la familia secuencial-
mente compacta 9J?i de funciones (v. sec. 4), su módulo
alcanza el supremo, es decir, existe una función h € tal
que V / € 90ti se verifica la desigualdad
| / » | ^ |V(a)¡.
Demostremos que h(á) — 0. Supongamos lo contrario,

es decir, que h{a) 0. Entonces
h(z) - h(a)
z i * H{z) = = € OTi
1 - h{a)h(z)
lo cual contradice el carácter extremo de h.

3) Demostremos que D • K. Supongamos lo con-
sobre
1
trarío, o sea, que h(z) no toma en D ningún valor b G K.

Como h{a) = 0, entonces b ^ 0. Obviamente, la función h
1
tampoco toma en D el valor b* — ya que \b*\ > 1. De
este modo, podemos separar en D la rama uniforme
I h(z) - b
V 1 - bh{z)'
h f + x + r i •
í í » X Í X '
vi
Denotémosla mediante # b ) . Es evidente que tanto i>{z) como

l a f u n c i ó n _ a z ) - m
i-Wmz)'
pertenecen al conjunto W. Un cálculo directo proporciona
= h'(z) (1 ~ l&l2)
(1 - W f
=
(l-#£)#*)) 2
de donde
fe» (1 " W 2 )
«'(a) - 27=6(1 - \b\)
- Ma)l 2
Por consiguiente, * € % y > |fc'(a)|. La última desi-

gualdad contradice el carácter extremo de la función h. •
Corolario. Dos regiones simplemente conexas cuyas fronteras contienen

más de un punto, son conformemente isomorfas una a otra.
§ 6. Correspondencia de las fronteras

y principio de simetría en el caso
de transformaciones conformes
6.1. Teorema de correspondencia
de las fronteras
i
El teorema de Riemann no dice nada sobre la correspon-
dencia de las fronteras mediante una transformación con-
forme ni sobre el comportamiento de la aplicación en la
4i
frontera de la región. La respuesta se da en la afirmación
siguiente.
Teorema (de Carathéodory). Si las fronteras de dos regiones D y D*

son curvas de Jordán, entonces Ja transformación conforme D —^ Df
sobre
se puede prolongar en la frontera de la región í? obteniendo un
homeomorfísmo de las adherencias D y D*.
Omitiremos la demostración. Sólo hagamos notar que

las condiciones impuestas a las fronteras de las regiones
son esenciales. Se pueden presentar ejemplos en los que el
teorema deja de ser válido si las fronteras no son curvas de
Jordán.
Existen otros resultados más concretos referentes al
comportamiento en las fronteras de las transformaciones
conformes de las regiones con fronteras de Jordán si las
curvas verifican condiciones complementarias. Citemos dos
de tales resultados 3) .
1) Resultado de Schwarz. Si las fronteras de dos' re-

giones D y Df son curvas de Jordán analíticas, la
transformación conforme D —Df se prolonga en
sobre
una función analítica en D.
2) Resultado de Lindelóf, Si las fronteras de D y D*
son curvas de Jordán suaves y f es una transformación
conforme de D sobre D\ entonces arg f(z) se prolonga
en una función continua en D, con la particularidad de
que V £ e dD arg /'(£) = 0f - 9, donde 0 y 0* son los
^ Remitimos al lector interesado en el comportamiento de las trans-

formaciones conformes en la frontera de una región a los libros siguientes:
Carathéodory C , Transformación conforme; Goínzin G.M., Teoría geométrica
de las funciones de variable compleja, M—L., 1967 (en ruso).
» 4 » * l " V í * ^ V*
^ M>|
í:Ü
ÍH5 trWiílíiífJi l¿í i? í 1
ángulos de inclinación de las tangentes a las curvas dD
y dD' en ¡os puntos £ y /((), respectivamente.
En el caso de las transformaciones conformes de re-

giones limitadas por curvas de Jordán, para determinar una
transformación conforme de un modo unívoco hay que es-
pecificar la correspondencia de tres pares de puntos frontera.
A saber, sean a, b y c tres puntos arbitrarios de la fron-
tera dD y sean a', b' y c' tres puntos arbitrarios de OD'
elegidos de forma tal que las fronteras se recorren en un mis-
mo sentido respecto a las regiones D y D'. Entonces existe
j f
un isomorfismo D D' que satisface las condiciones

sobre
f(á) = d,
f(b) = b', (1)
fie) = c.
En efecto, sean D K, D' K, siendo

sobre sobre
K = {ze C \z\ < 1}.
Según el teorema de correspondencia dejas fronteras, /i es

un homeomorfismo de las adherencias D_y K, y f2 es un
homeomorfismo de las adherencias D' y K. Supongamos que
/ 2 (a')-a', f2{b') = &, M ¿ ) = V-

Existe un único automorfismo A: K K del círculo uni-
dad K que verifica las condiciones siguientes:
A(a) = a ,
A(j9) - ¡3',
A(7) = V-
La transformación / = f2l o A o fx es, evidentemente, un
isomorfismo conforme de D sobre D' que satisface las con-
diciones (1). Supongamos ahora que además de / existe otro
isomorfismo D D' que también verifica las condicio-
sobre
nes (1):
g{á) - a',
m = b',
>
g(c) c.
•1
Obviamente, <p= fog es un automorfismo de la región D2

que satisface
<p(a) = d,
(p{c) = c.
Consideremos ahora el automorfismo = f2 o <p o / 2 -1
del círculo unidad K que cumple las condiciones
fi(a') = a,
M/3') =
Mi) = 7 •
Vemos que \i es la transformación idéntica e. La forma
explícita de la transformación fi implica entonces que <p = e,
es decir, g = / .
6.2. Principio de simetría

El teorema que enunciaremos a continuación extiende a las
transformaciones conformes el uso del principio de sime-
tría de Riemann—Schwarz de prolongación analítica de las
funciones.
\ •;•'), . s C! A ; . > * i H '.i ' V l l . ' P
• , i; '; :
y . i, x y . < ! s . >¿ TT >

; •• > ••• < < • > * : ^ j v i > s « x ? • O
T e o r e m a . Sean Di y D2 dos regiones cuyas fronteras son curvas de

Jordán. Supongamos que dDi contiene un arco de circunferencia ji,
y dD2, un arco de circunferencia y2. Sea D* la región simétrica a Di
respecto a 71 y D2 la región simétrica a D2 respecto a 72. Entonces,
si la función f transforma conformemente Di sobre D2 y 71 ^^ 72,
ella admite una prolongación analítica en D{ y la función resultante
transforma conformemente la región Di U 71 U D{ sobre D2 U 72 U D ¡ .
Se supone que Di n Df = 0 y D2 fl Di = 0.
<4 Demostración. Sin pérdida de generalidad se puede consi-

derar que 7 j y 72 son segmentos del eje real, y Di, D2 son dos
regiones del semiplano superior (fig. 7), pues esto siempre se
Fig. 7
puede conseguir mediante una transformación homográfica.

f
Sea Di • D2. Según el teorema de correspondencia de
sobre
las fronteras, la función / es continua en la adherencia Di
y establece un homeomorfismo de D\ sobre D2. Según las
condiciones de partida, / es continua en 7 y toma valores
reales en 7. De acuerdo con el principio de simetría de
Riemann—Schwarz, la función / se prolonga analíticamente
en D\ según la fórmula f(z) — f{z), y esto significa que la
función resultante transforma conformemente Di U 7 j U D*
sobre D2 U 72 U D\. •
n.'-'í ? > i r - y l t ]
- i : s • • v•' ' }'• • •••''•.'' - . ' " v f y ' '.• I ' 1 ' . ' " i { . ' [ y . ' i i . i n
í Y ^ Y Y i ^ i v
^íTK-p-g 3 S* && /
Problemas resueltos
7* i
Solucion. Según el principio de simetría, el problema se

reduce a la construcción de la transformación conforme de la
región
^ f _^ _ , , _ 27T "I
¿n - \z e C: 1 < \z\ < oo, 0 < arg z < —
l n
(fig. 9) en sí misma de forma tal que las semirrectas
r0 = {z e C: \z\ ^ a, arg z = 0}
;;
••••i •
G,
,2jt/n
O'
Fig. 9
2?r
-{ z€ G \z\ ^ a, arg z
se conviertan en las semirrectas

TQ~ {zeC: \z\>\, arg 2 = 0}
2TC
Vi = \zeC: M > 1 , argz =
respectivamente. La transformación buscada es la composicion

de las transformaciones
Wi = Z ' ,
w2 = ~(wi + wíl),
w2
W3 = "T /
í (a n/2 + « - n / 2 )
W4 = + \Jw\-\,
W= 2/n
w4' .
12 3¿K.
I :. , r
Entonces,
(tt»/2 + a -»/2) ~Vn x
' 11 i • - ^
+ z~n/2
La función tt>i transforma el sector considerado en el semi-

plano superior del que se ha eliminado un semicírculo; la
función W2 (función de Zhukovskí) transforma el semiplano
superior con el semicírculo eliminado en el semiplano su-
perior, y los puntos A\ y A2 se convierten en los puntos
(an//2 -f oT"/2). La función w3 transforma el semiplano
superior en el semiplano superior de modo que los pun-
tos ± - ( a n ^ 2 + a~n/'2) se convierten en los puntos ±1. La
función (aplicación inversa de la función de Zhukovski)
transforma el semiplano superior en el semiplano superior
del que se ha eliminado un semicírculo unidad. Finalmen-
te, la función w transforma el semiplano superior con el
semicírculo unidad eliminado en el sector G\. •
A Solución. Según el principio de simetría, el problema se

reduce a la construcción de la transformación conforme de
la mitad superior de la región dada en el primer cuadrante,
de forma tal que la semirrecta (-oo, eos a) se transforme en
el semieje imaginario positivo. Dicha transformación es el
resultado de la composición de las transformaciones
s . -< « v .
mmm
y;; ^ VA ^ >
Wl = z + 2 _
W2 = (e~iawy)^
1/ 1\
= - I lü2 H I
2V ^2/
W = V ® 3 - i =
2(ir-a) _
e~ia(z + Vz - l
2
V2
y
2(3f-a)
2 -l
•i
El factor no juega ningún papel pues para k > 0

la aplicación w' = kw transforma el semiplano superior en sí
mismo. •
§ 7. Transformación conforme
de polígonos. Integral
de Christoffel—Schwarz
7.1. Transformación del semiplano
superior en un polígono
Supongamos que se requiere transformar el semiplano supe-
rior del plano z en el interior de cierto polígono M i s C
que se encuentra en el plano w (fig. 10). De acuerdo con el
teorema de Riemann tal transformación existe y, según el
teorema de correspondencia de las fronteras, si las fronteras
son curvas de Jordán, dicha aplicación es un homeomorfismo
entre las regiones cerradas. A los vértices Ai, A2,..., An del
polígono les corresponderán ciertos puntos a i , a 2 , . . . , a n del
eje real. Sin pérdida de generalidad se puede considerar que
V k = T/ñ se tiene que ak eC (en caso contrario, mediante
mÉmm
12 3aK. 38
Fig. 10
un automorfismo del semiplano superior se puede conseguir

que el punto del infinito no corresponda a ningún vértice del
polígono).
Sea w — f{z) la función buscada. Ésta transforma el
segmento [ai, a 2 ] en el segmento [Ai, A2]. Según el principio
de simetría, la función se prolonga a través de [ai, a2] en
el semiplano inferior, y la función prolongada establece una
correspondencia entre el semiplano inferior y el polígono
simétrico al dado respecto a la recta que pasa por los puntos
Ai y A2. De la misma manera se pueden construir prolon-
gaciones analíticas a través de otros segmentos (a*, a fc+1 ]. De
esta manera, la función analítica completa definida por f no
tiene puntos singulares en el semiplano inferior ni en todos los
puntos del eje real salvo, tal vez, el conjunto {ak; k = l,n}.
Por consiguiente, ak (fc = 1, n ) son puntos singulares posi-
bles de la función analítica completa /.
Denotemos mediante aX7r, a 2 i r , . . . , anTT los valores
de los ángulos interiores del polígono. Tenemos:
TI
ak = 71 - 2' 0< < 2.
Consideremos f(z) en un semientorno superior del punto

La función (su rama apropiada)
z~w(z)=(f(z)-Aty/a>e-i*>°>
V • S < ^ S* y < <x W > < x : x yx iei'.i
>a w x«> *
' < •>>x*y <>Vxí s > x A ¿ « . r W i i & í <£<
• « s • x > < * >x x< x * x Xs ¿ V. V
;>"'<> •• • > * w <s.< X ^ . V A f L y <
• ' > • < < x * < x * x > s fc^x
' y^ i
' •<-< • . . > v w A».».», w a '
® w—
ak7i
Fig. 11
transforma el semientorno del punto ak en el semientorno del

origen de coordenadas de forma tal que el segmento frontera
del eje real también se convierte en el segmento frontera
del eje real (fig. 11). Por consiguiente, según el principio
de simetría, UJ{Z) se prolonga en el entorno completo del
punto ak y la función obtenida transforma biunívocamente el
entorno del punto ak en el entorno del origen de coordenadas.
De este modo, w es una función analítica en el punto ak y
oj'(ak) / 0. Escribamos su desarrollo de Taylor en un entorno
del punto ak:
(,(2) = (e-"(f(z) - Ak))Uai =
= C\{z - ak) + C2(z - ak)2 + ... =
= (z - ak)Ü(z),
Q(ak) = C:= o/(a&) ¿ 0,
e~^(f(z) - Ak) = (z~ akr(Ü(z))Qk =
~{z~ ak)<p{z),
donde (p(z) es una rama uniforme de la función (Í2(z))a\
Asimismo tenemos
m Ak + {z~ ak)akipx{z), <pi(ak) # 0,
f'(z) <*k(z ~ (z) + (z -• ak)a"tp\(z) =
(z - a^""'1 (ak<pi(z) + (z - ak)(p[(z)) =
(z - ak)ak~l${z), $(afc)^0,
f ( z ) (ak - 1 )(z- ak)a*-2<f>(z) + (z - ak)a^<\>'(z),
r\z) (z - ak)ak~2((<xk - 1 Mz) + {z- a^g'Cg))
m ~ (z - ak)a*-i${z) ~ ~
(ak - 1 )Hz) + (z- ak)$\z)
(z - ak)$(z)
z-ak $(z)'
A partir de las expresiones obtenidas vemos que el
f"
punto ak es un polo de la función ~ y s u residuo en este

punto es a k - 1.
Consideremos la función
f"(z) " - 1
m
Esta función es entera y lim *(z) = 0. En efecto, el desarrollo
de la función / en un entorno del punto del infinito tiene la
forma
oo
syfl
+ 1)C„
E
n=l
-n+2
0 cuando z ^ oo.
-E
nCn
n-l
E ~1
9 ¥
0 cuando z oo.
fc=i z - a k
Según el teorema de Liouville, tf = 0. Por consi-

V
Y ^ ak - 1 __
ln /'(*),
h z ~ * " dz
a
ln f{z) = ¿ ( a f c - 1) ln {z - ak) + ln Cx
k-1
m w
= hxC1]J(z~akr-\
9 W
f(z)=Ci - «t-i
m = c x
f II(C - ak)ak~x d( + C2. (1)
n
La igualdad (1) se denomina fórmula de Chrístoffel—

Schwarz y la integral en su segundo miembro se conoce como
integral de Chrístoffel—Schwarz.
Veamos cómo cambia la fórmula de Chrístoffel—
Schwarz si la preimagen de uno de los vértices del polígono,
por ejemplo, del vértice An, es el punto del infinito. Con este
fin, construyamos el siguiente automorfismo del semiplano
superior del plano z:
1 1
Zl _ , z — an .
Entonces
fi(zi) =
a» -1/zi
Í I Í « - d < + =
í k=1
¿l
n ak-1
dCl
\
& +c2
l/an
(en la integral efectuamos el cambio de variable £ — an — —).

si
Tras una serie de transformaciones evidentes de la expresión
tmmmm
í ^ i ^ p ^ p i p
subintegral, hallamos
zt »
Jfc—1
1/a.
Ofc-l
/ri( a*
dCi + C£ =
/ n « . (2)
donde a¡. - -- son las imágenes de los puntos ak en el

plano z\.
"-¿«fc-2
Nótese que el factor £ no está presente en
n
la fórmula (2) debido a que n - ^ afc - 2 = 0. Señalemos,
fc—1
además, que si en la penúltima integral de (2) tomamos el
límite inferior de integración igual a cero en vez de — , sólo
varía la constante C 2 . Cambiando z\ por 2 y fx{Zl) por f(z),
obtenemos la fórmula
i n-l
d( + C2.
/fi XSîI (3)
Las integrales de las fórmulas (1) y (3) se denominan,

respectivamente, integrales de Christoffel—Schwarz de primera
y segunda especie. La diferencia entre ellas es evidente: aunque
n
en ambos casos ^ ak = n - 2, en la fórmula (3) el factor

jfcs=l
(C — o-n)0""1 no figura en la expresión subintegral.
Las fórmulas (1) y (3) se han obtenido suponiendo
conocidos los puntos ak. Sin embargo, habitualmente en los
•fe
problemas de transformaciones conformes de este tipo se
conocen sólo los vértices Ak del polígono, mientras que los
puntos ak se desconocen. Según el p. 6.1, tres de estos puntos
se pueden elegir arbitrariamente, mientras que los demás ak,
conjuntamente con Ci y C2f han de determinarse a partir
de las condiciones del problema. Este hecho constituye el
obstáculo principal al utilizar en la práctica la fórmula de
Chrístoffel—Schwarz. Existen varios métodos para determinar
los puntos ofc y C¡. La constante C2 se halla fijando uno de los
vértices del polígono. Para determinar las constantes ak y C\,
a veces se pueden utilizar las longitudes conocidas de los
lados del polígono:
«t+i
Akt Ak+i | = J \f'(x)\ dx (k ~ 1, n - 1).
Sin embargo, esto no siempre se puede llevar a la práctica.

Señalemos que también existen métodos de aproximación
para determinar las constantes ak y C\.
7.2. Caso de un polígono con vértices

en el punto del infinito
Dado un n-ágono, supongamos que uno de sus vértices,
por ejemplo, Akt se encuentra en el punto del infinito
(fig. 12). Sean A'k y Ak dos puntos arbitrarios de las semirrec-
tas Ak_iAk y AkAk+i, respectivamente. Al unirlos mediante
un segmento de recta obtendremos un (n + l)-ágono. La
transformación del semiplano superior en este polígono tiene
la forma
z
f(z) = C1 J(C~ a>i)aí l . . . (C - ci'kf'k~l x
x (C - . . . (C - a n f«~ l + C2, (1)

N : . .*
donde «fc7r y a¿V son los valores de los ángulos en Jos

vértices A'k y mientras que a'k y a j son los puntos del
eje Ox correspondientes a dichos vértices.
i*
k~i Mk7i\
\a
Wlt
A, k+i
w
o
Al
Fig. 12
Supongamos que el segmento A'kA'l se aleja paralela-

mente hasta el infinito. Esto conduce a que los puntos a!k y ak
se fusionen en un solo punto ak correspondiente al vértice Ak.
Denotemos mediante -a k -k el ángulo entre las semirrectas
Ak-\Ak y Ak+iAt en el punto final Considerando el
triángulo A'kA*kAk obtenemos
a^'k -f» ak" - a k - 1,
i
es decir,
a k + a'i - 2 = - 1,
y la fórmula (1) adopta la forma ya conocida de la fórmula (1),
p.7.1.
im^-Mm-MiM^
Es evidente que esos mismos razonamientos son apli-

i.
cables si el polígono tiene varios vértices en el punto del

infinito.
De este modo, la fórmula (1), p. 7.1, se cumple también
para los polígonos que tienen uno o varios vértices en el punto
del infinito, con la única particularidad de que el ángulo
entre dos semirrectas con vértice en el punto del infinito se
determina como el ángulo (tomado con signo negativo) en el
punto final de su intersección.
Señalemos que para esta definición del ángulo en el
punto del infinito se sigue cumpliendo la igualdad
n
<*k = « - 2
fc-i
para la suma de los ángulos del polígono.
7.3. Aplicación del semiplano superior

en el exterior de un polígono
En este caso los razonamientos son análogos a los del p. 7.1.
La función f tiene ahora un polo de primer orden en cierto
punto a del semiplano superior; la función tiene, además

J
de los polos simples {a*; k = l,n}, dos polos simples en

los puntos a, a con residuos iguales a - 2 . De este modo,
r(£) = y - Q ^ l _ _2 2 ^
f'{z) z-ak z-a z-a
de donde
m - c / 1 I c e - •»)»" _ fl * _ -y + ¿v (2)
o fc_1
: :;iíffff
•BiÜB
bíiívUi .»•>r..;'
© ®
—(O + iü) ü)+iü)
X X X X X X
X X X X X X
X X X
1o
" -- -' ' • s - .
Fig. 13
Aquí a k n son los valores de los ángulos exteriores del

polígono y
n
Y]ak^n-\r 2,
fc=i
donde ak son los puntos del eje real correspondientes a los
vértices del polígono.
7.4. Aplicación del semiplano superior

en un rectángulo
Transformemos el semiplano superior en un rectángulo P con
vértices en los puntos ±u> y ±uj + icoi (fig. 13). Apliquemos
el principio de simetría. Sea f una función que transforma
el primer cuadrante en la mitad derecha del polígono P
de forma tal que el semieje imaginario se convierte en el
segmento [0,iwi] del eje imaginario. Haciendo corresponder
los tres pares de puntos frontera siguientes
oo
tUi
definimos la función f unívocamente. Al vértice u) +
1
del rectángulo le corresponde cierto punto — > 1 ( & < 1 ) ,
ht
donde k es una incógnita. Según el principio de simetría, la
función f se prolonga en el segundo cuadrante y la función
resultante (también la denotaremos mediante /) aplica el
semiplano superior en todo el rectángulo de forma tal que
/(-1) = -w, = ~U) + ÍÜJ\

' - í
La función / se obtiene aplicando la fórmula de Chrístoffel—
Schwarz. Tenemos:
l
<*k = ~ (k = 1 , 4 ) ,
dC,
• (1)
- C ) (1 - k £ )
2 2 2
La fórmula (1) contiene dos parámetros incógnitos C y k.

Elijamos la rama de la raíz correspondiente a V i = 1.
Entonces, teniendo en cuenta que f'(z) | Q = C obtenemos
que C > 0, pues la aplicación no cambia el sentido positivo
del eje real.
Antes de seguir, hagamos un breve paréntesis; consi-
deremos la función
Z
d(
F(z
>k) =í \1 - C2) (1 " * 2 C 2 )
(2)
donde 0 < k < 1 se supone conocido. La función F(z, k) se

define mediante la integral elíptica de primera especie, siendo k
su módulo. Los razonamientos anteriores implican que F{z, k)
efectúa una transformación conforme del semiplano superior
iSlÉiÉIII;.;'
en un rectángulo de lados 2u>0 y w'0, donde
u>0 f dC
es la integral elíptica completa de primera especie

módulo k, y
i/k
ÍUJ =
d(
U)Q -f M'O J
_
Cn2) (1 - * 2 < 2 )
1 }k
d(
= U>0 + i
•J (C - 1 ) (i - fc2c2)'
Por consiguiente,
1/A
4 = / de
Cambiando de variable según las fórmulas
obtenemos
1
dr
«5=/
r 2 ) (1 - ft V ) = *<*i).
Así pues, la integral elíptica de primera especie transforma el

semiplano superior en un rectángulo de lados 2K(k) y K{k[).
Volvamos al caso analizado. Tenemos:
d(
m
i ( w 2 ) (i
donde k y C son los lados desconocidos del rectángulo-
2üj y lo se conocen.
Haciendo uso de las fórmulas anteriores, obtenemos
u> = CK(k),
(J = CK(k').
Estas dos igualdades constituyen un sistema de ecuaciones
trascendentes respecto a C y k. Para resolverlo se puede
utilizar las tablas de integrales elípticas de primera especie.
En efecto, sea
_ u_ _ K{k)
Para este valor de r determinamos K(k) a partir de las tablas

U)
y después hallamos C = -——-.
J K(k)
7.5. El seno elíptico y sus dos períodos

Como se demostró anteriormente, la integral elíptica de prime-
ra especie z = F(w, k) realiza una transformación conforme
del semiplano superior
G+ = {w 6 O Im w > 0}
en un rectángulo P0 con vértices ±K y ±K + iK\ de forma
1
tal que los puntos ± 1 y ± - del eje real se convierten en
los vértices del rectángulo. La función inversa de la integra)
elíptica de primera especie se denomina seno elíptico y se
denota w — sn (z, k). El seno elíptico es una función analítica
en el rectángulo P 0 y lo transforma en el semiplano superior!
G+ = {w £ C: Imiu > 0}. I
En virtud del homeomorfismo de las regiones cerradas, la funj
ción sn transforma el segmento [K, K + iK\\ en el segmente!
1, - . Aplicando a esa función el principio de simetría, prol
Je I
longuémosla analíticamente en el rectángulo P\ simétrico a /I
respecto al segmento [K, K + iK\]. La función prolongadl
M i M .
I t í l ' ^ rr e m ° S mediame "> * - e,
G- ~{w €C: Imw < 0}

(fig-14). La función resultante también satisface el principio
© ®
£2
P[
p'Zi Sil z
'Z
O 1 1 i
siu Jfc
Fig. 14
de simetría y, según este principio, puede prolongarse ana-

líticamente en el rectángulo P2 simétrico a Px respecto al
segmento [3K,3K + iK\] y vuelve a transformar P2 en el
semiplano superior. En este caso,
sn (z + 4K) = sn z Vz e P 0 . (1)
Hablando con más detalle, la igualdad (1) significa que el
punto z\, simétrico a z respecto al segmento [K, K + iK\ ],
se transforma en el punto sn z, mientras que el pun-
to z2 = z + 4 K , simétrico a z\ respecto al segmento
[3K, 3 K + iK{[, se transforma nuevamente en el punto sn
Análogamente, se puede prolongar la función sn z
en el rectángulo P{ simétrico a PQ respecto al segmento
[~K + iK\, K + iK\], sólo que la función prolongada tendrá
un polo de primer orden en el punto iK\. La función sn
prolongada transforma P¡ en el semiplano inferior y se puede
prolongar analíticamente en el rectángulo P2 simétrico a P[
respecto al segmento [~K + i2Kx,K + i2K\], y vuelve a
mmmmmm
transformar P¡ en el semiplano superior. Al igual que antes,
obtenemos que
sn (z + 2iKi) = sn z Vz € (2)
Siguiendo el procedimiento descrito, podemos prolon-
gar el seno elíptico en todo el plano C, obteniendo así una
función meromorfa con polos de primer orden en los puntos
iKi -I- 4Km + 2iK\n ( m y n son números enteros arbitra-
rios). Las fórmulas (1) y (2) se verifican, evidentemente, para
todo punto z € C. Esto quiere decir que la función sn tiene
dos períodos independientes Ti = 4K y T2 — 2iK\, y para
todos m y n enteros es válida la igualdad
sn (z + 4 K m + 2iKxn) - sn z. (3)
Introduzcamos ahora el concepto de función elíptica.
Toda función meromorfa doblemente periódica para la cual el
cociente de sus períodos es un número estrictamente complejo
(con la parte imaginaria distinta de cero), se denomina función
elíptica. El análisis anterior muestra que sn z es una función
elíptica.
La igualdad (3) significa que la función sn z es inva-
riable respecto al grupo de transformaciones lineales
z h H 4 K m + 2iK\n (m G Z, n € Z).
Las funciones invariables respecto a cierto grupo de transfor-
maciones homográficas se denominan funciones automorfas
7.6. Aplicación de un círculo unidad

en un polígono
Determinemos ahora la forma general de la transformación
conforme de un círculo unidad en un polígono. Para ello,
4) Existe una teoría bien desarrollada de estas funciones. Véase, por

ejemplo, el libro de Ford L. R-, Funciones automorfas.
mm'm:,::.
\L>>'l . . .
transformemos primeramente el círculo unidad en el semi-

plano superior y después utilicemos la fórmula (1) del p. 7.1.
La aplicación del semiplano superior
{ z e C : Im 2 > 0}
en el círculo
K = {zt e c NO}
tiene la forma
z - b
Z\ = - Im b > 0,
z-b (1)
de donde se obtiene la aplicación de K en G+:
bzi - b
z = (2)
zi-l
Sustituyendo (2) en la fórmula (1), p. 7.1, obtenemos
bzi -
= m = f = Mzi) =
bzt-b
/ n« a*)"*" 1 ¿C + C 2
n k=1
Tomando en la expresión subintegral ( = — , hallamos

Ci - 1
Qjt-l
dCl
/(*i) = Ci
(Ci
- (b - «,)) »>-' n ( C , - l) 1 ~<*L d(i

+ C2.
fc=l (Ci - 1 ) :
Bill
En virtud de que
mci-i)1-"' .
V W
(pues n - ak - 2 — 0), obtenemos

&=i
fiW - Cj j f [ ( ( b - akKi ak))ak~1 d^ + C2

b/b ^ 1
1
afc - fr
d(i + C2 =
ak~b
6/5
=c¡ / n « , - « dCi + c 2 , (3)
donde los puntos aj. de la circunferencia unidad son las

imágenes de los puntos ak.
Nótese que si cambiamos el límite de integración
inferior en la integral (3), tomándolo igual a cero, variará
sólo la constante C 2/ mientras que la forma general de la
fórmula (3) no se alterará:
Zl n
/i(*i) = c [ j n(Ci - a'fcf-^Ci + C 2 . (4)

0 6=1
Cambiando z\ por z, a'k por ak y f i por / en la

fórmula (4), obtenemos la forma general de la transformación
conforme del círculo
K = {z € G ¡z¡ < 1}
en un polígono:
/(*) = Ci [ fl<C - « t ) " * - 1 ^ + C2, \ak\ = 1 (5)

o fc=1
Así pues, en el caso de la aplicación del círculo unidad en
un polígono, la forma general de la fórmula de Christoffel—
Schwarz no cambia.
Por ejemplo, veamos la aplicación del círculo unidad
en un polígono regular. Supongamos que el centro del polí-
gono se encuentra en el punto w — 0 (esto siempre se puede
lograr mediante una transformación lineal del polígono). Para
construir la aplicación requerida utilicemos el principio de
simetría.
• 2(fc-l) . .
Sea Ak — A\e n [h — 2, n). Denotemos median-
te / la función que aplica conformemente el sector
5 = j * G C: \z\ < 1, 0 < arg* < ^ j
del círculo unidad en el triángulo OA\A2 (fig. 15), de forma

tal que
/(O) = 0, f { l ) = Alf /(e*'£)=A2.
Es obvio que
ke^l -jU[0,A2].
L J sobre
Según el principio de simetría, la función / se prolonga
analíticamente en el sector
S= < z e C: \z\< 1, — < arg z< — \,
[ n n J
y la función prolongada (también denotada mediante /)
transforma S' en el triángulo OA2A$. Razonando de modo
análogo, prolongamos / en todo el círculo unidad. La prolon-
gación de la función / es una función analítica en el círculo
unidad
K = {ze O \z\< 1},
•lllillÉM
-V-'
i
ir Fig. 15
la cual efectúa una transformación conforme de K en todo el

polígono de forma tal que
es decir, los puntos é « = a k son las preimágenes de los

vértices del polígono. Como
n
ak. = na = n - 2,
k=i
2
entonces ak — a ~ 1 y
n
f l i t - a k r ~ x = { C ~ l)- 2 / n ,
k~ 1
n
pues a* son las raíces de n-ésimo grado de la unidad y
H ( c - <*) = c n - 1 .
k=1
De acuerdo con la fórmula (5),

2
f{z)=c y (i - c n )- 2/n
o
i
La constante C se determina a partir de la condición

i
/(l) = C
/ C V 2 / " dC = A v
\
de donde C . \.V
S
,
>N»* .
,<
vv
%
f(l - C")~2/n <
o
Realizando el cambio de variables ( n — t y teniendo en
cuenta que
1 i 1
d( = di,
n
obtenemos
i
J { i - CT2/" - 2 f n
dt
rc J
o •JJÁ
„
-Bi-, 1 -
1
n \n
m-
donde B es la función beta de Euler. Finalmente,
«/ = /(z) =
nA\
J (i - er2,n de.
B ( —, 1 ) o
\n n/
Nota. Haciendo rotar el plano z en un ángulo a alrededor del origen de

coordenadas podemos conseguir que la preimagen del vértice A1 sea cualquier
punto dado em de la circunferencia unidad.
<4 Solución. Sea w — f{z) la función que aplica conformemente
Utilizando la fórmula (2), p. 73, y aplicando un iso- el primer cuadrante en el triángulo ABC, de forma lal
morfismo homográfico del plano z, obtenemos sin dificultad que
la fórmula de la aplicación del interior del círculo unidad en /(O) - A, f( 1) - B, /(oo) = C.
te
:ii •• | ¿ x .
k
i. r ; . i(..<!
' • f. ; .
Conforme al principio de correspondencia de las fronteras, la

preimagen de AC es el semieje imaginario z = iy (y > 0).
Según el principio de simetría, la función / se prolonga ana-
líticamente en todo el semiplano superior y la prolongación
obtenida aplica conformemente el semiplano superior en un
rombo, con la particularidad de que /(—1) = D. Según la
fórmula (3), p. 7.1, tenemos
lr\i-era
La constante c se determina a partir de la condición
1
c í a \
/(l) = d = c | c " - I ( i - c 2 ) " adC, A - , l-a),
de donde
2d
, 1 —a
Finalmente,
2d
f e - ' i i - e r d(. u
i
\< s > .! ' >4
, ^ > . *t . v .v ¿^ ^^ ¿<; t^v^rf? i < < r uaj
Solución, Apliquemos la fórmula (3), p. 7.1, tomando

aj = —1, a 2 = 1, 03 — oo,
3 1
«i = 2 ' a 2 = 2-
Tenemos:
1/2
1 +C
w = /(z) = Ci <*C + dz,
1-C
w(l) = C2 = - i
1/2
«,(-1) = ¿ = C3 i +C
dC-¿ =
i-c
-Ci7T - Ci = ,
7T
1/2
i +C
= M = d(-i =
v J M-c
1
1 - z2 - arcsen z).
V v •
> . V/ • • •
v •~ , » > > . . .
» • » •
v » . . . : ~ >. » » • x
^ Tí . Á .'
v v . i -
v / w /
,
. . »'
O Á »».v:. »::<
a :
shp-
AVÍ.Í/y
í h ; - :- . .. . ^. .. :
•rtwémmmk
* Á >, Á ¿ X >, Y s A . > ¿ f Y t f f t ' f W j Ü k l t o t
WÉMmk >x< > X

®
2=M
O'
Fig. 17
<4 Solución» La región del plano w es un triángulo con dos

vértices .4] y en el punto del infinito (fig. 17) y ángulos
ot\7f, oliTí, ot37r, donde
ai = 0, o¿z = 2, c*3 = —1.
Tomando
a\ = 0 , a>2 = —1, a3 = oo
y aplicando la fórmula de Christoffel—Schwarz, obtenemos
m (l + C) d( + iv =
= C\ (z + 1 + ln z - ítt) + iir. (1)

Para determinar C\ razonamos del modo siguiente. Por una
parte, si z recorre la semicircunferencia
7 r = {z E C: \z\ — T, O < arg 2 < 7r}
en el sentido de las agujas del reloj, el incremento de la
función w, definida por la fórmula (1), es igual a -iirC\ +0(r).
Por otra parte, a partir de la figura 17 vemos que tras dicho
recorrido el punto correspondiente w pasa de la semirrecta
AIA 2 a la semirrecta A2A3. Por consiguiente, el incremento
de la función Aw se diferencia poco de -iw, luego C\ = 1.
Finalmente,
w = f(z) = 2; + 1 + \nz. •
Fig. 18
Solución. Es conveniente introducir un plano auxiliar ( . l ,a

función
w = <p(Q = C 4-1 4- ln C
hace corresponder el semiplano superior del plano £ con la
mitad superior del plano w (v. ej. 23), de manera tal que el
semieje positivo real
7 = {<íEC: Re £ > 0, lm< = 0}
se transforma en el eje real del plano w. Por el principio de
simetría, la función ( (p(Q se prolonga analíticamente a
través de este semieje en el semiplano inferior y la prolonga-
ción obtenida aplica conformemente el plano £ con un corte
a lo largo del semieje real negativo en toda la región dada del
smmsm
plano w. Transformando luego el plano ( en el semiplano
superior G+, obtenemos
w = -z2 4-1 + 2 ln z - iir. •
tf•
• . *
Solución. La forma de la función / sügiere que la región

buscada es un cuadrilátero con dos vértices en el punto del
infinito:
a\ = 0 , ct\ — 0, Ai
A\ = oo;
a2 — a, a2 = -, A2 = 0;
2
a3 - b, <*3 = 0, A3 = oo;
3
oo, «4 = r-
Se pide hallar A4.

Analicemos la derivada f'(z) en el intervalo (a2, a 3 ).
Tenemos:
/'(*)=- 1 f'(z) < 0 Vze(a2/a3),
z(z — b)vz - a
es decir, arg f'(z) = ir; por tanto, la imagen del intervalo
(a2/ <2,3) es el semieje real negativo. Tomando en consideración
1
que ct2 — —, la imagen del intervalo {d\, a2) es el semieje
imaginario negativo. Ahora es evidente que el vértice
pertenece al tercer cuadrante y la región buscada tiene la
forma representada en la figura 19.
: : <> :> • * v .
^ : ' . . w . .. w
© ©
Ai - 0 0
A
Fig. 19
Para hallar h\, analicemos el incremento de la íun

ción Aw cuando z recorre la semicircunferencia
1t = [ z e C: z = retlp, 0 < tp < ?r}.
Tenemos:
d(
Aw + 0(r) + 0(r), = (7r/7rr)>
b\/a
Por consiguiente, h De igual manera determina

b\/a
mos h2, examinando el incremento de la función w cuando
recorre la semicircunferencia con centro en el punto b. Tone
mos:
bVb
Si b = 2a, entonces h\ = h2.
«v» va »^ • .
>a\U< y
< ^ >S ^ >-\<>rf>. •

v> a i ' ,< .
«<<•>;< »
V< <,,. ,/<,,
» «< » » » » • . v
y <>• ^ < : : \
-»>-»>>»>>.$>., > v ;
% . >•>>><+,> a • • •
L!í)5
Solución. Sea 7r(l + A) el ángulo obtuso de la estrella. Entoi
ees su ángulo agudo es igual a ir í 1 - A

m ¿ <
f . ' i :
I , \ X ^ ¿ i * í^ ?> i: V i - : <
• s l ' J w <•<<•• w w J í ; : v* >:J w x :s • v :> > * • • \ > <
principio de simetría podemos suponer que las preimágenes

de los vértices de los ángulos agudos son las raíces de n-ési-
m o grado de la unidad, mientras que las preimágenes de
los vértices de los ángulos obtusos son las raíces de n-ésimo
grado de - 1 . Aplicando la fórmula de Chrístoffel—Schwarz
obtenemos
(i + C")A<*C
w = f{z) = C 0 < A< 1 .
í (1 _ n
La constante C se obtiene a partir de la condición

m = Av • Solución. La función buscada se determina mediante la
fórmula (1) del problema anterior tomando
«fc = 1 + -/ ' = Ak, C2 = 1, Zq " 1.

n
:t & E B*8 X * ,
La constante C[ se determina de la igualdad Ai - /i<¿i)-
2 ni
€«
Solución. La función buscada se obtiene utilizando la fór- C =
1 e tt
muía (5), p.7.6, y haciendo el cambio de variable z = — , el
z\
cual transforma el círculo unidad en su exterior:
n 7T
/l\ í^r 1 dC e n 2z sen — n sen —
n n
k=l
n
-¿0, ¿ni 2/n 2 2 / " / (sen <p)2/" dy?
Efectuando el cambio de variables £ — — y teniendo en e (e
L
d0
Ci
cuenta la igualdad
n
ak = « + 2,
¡fc=i
llevamos la fórmula anterior a la forma
Ejercicios
» 1. Demostrar que en el círculo
r
ak)vM-l dCl
+ CÍ = |z| < 1}
w = fi (zx) = C\í / n « i - (1) .>
r fc=i 1» la ecuación ze
x~z = 1 tiene una sola raíz para A > 1 y que dicha raíz es real
m
"Jfe-
2. ¿Cuántas raíces tiene la ecuación
e* - 4z n + 1 = O ( n e N )
en el círculo
iT = { z € C |s| <1}?
3. Demostrar que para a > e la ecuación
e* = (n g N)
tiene n raíces en el círculo
= |z| <1}.
¿Cuántas raíces tiene la ecuación J
ti 7 *
z + a0¿ + OLXZ + A2 = 0,
<
en el círculo
K = {zeC: \z\<\) •?
si \a0\ > |ai| + \a2\ + 1 (n € N)?
5. Demostrar que la ecuación
+ az + 6 = 0 (a > 0, b > 0)
7T
tiene en el primer cuadrante una única raíz cuyo argumento es mayor que —.
6. Demostrar que la ecuación (z - 1)ez = z — 2 no tiene soluciones con parte real
negativa,
7. Demostrar que la ecuación F(z) = b, donde
n
F{x) = T T r - ^ - ' < 2 Vfc = l7ñ y |&| < 2~n

ti 4 "
tiene n raíces en el círculo
K = {z gG \z\ < 2}.
8. Sea * = #{«;) una función definida mediante la ecuación
tu = e-**(ez -1), a g N, 5(0) = 0,
Hallar su desarrollo en serie de potencias de w y su radio de convergencia R.
9. Sea una función / ^ const- Demostrar que dentro de la región limitada por una
línea de nivel del módulo de / (\f(z)\ = const) y contenida de modo compacto
a la región de analiticidad de / , existe al menos un cero de esa función.
10. Demostrar que si P(z) es un polinomio de grado n y
\P(z)\$M\íz€K = {zeO NK1},
entonces
V¿ g IT' = {z g C \z\ ^ 1} \P(z)\ ^ M\z\n.
. ^ * s • vi >x >
11. Sea P(z) un polinomio de grado n y sean E\f E2 dos elipses confoca les do
semiejes
y «2/ f>2fai< a2f &i < b2),
respectivamente. Sea, además,
M1 = max \P(z)l M2 = max
z£Ei ZCE2
Demostrar que
Mi > M2
(fli + " (a2 + b2)n'
12. Supongamos una función / analítica en el círculo
Kr = {z€ C \Z\ < R}
satisface la desigualdad \f{z)\ ^ M para \z\ = R y se anula en ciertos punto
%2/ • • * /
de este círculo. Demostrar la desigualdad
i / ^ ñ i i ^ <w<*>-
13. Sea f una función analítica en el círculo
KR^{zeC: \z\ ^ R},
y tal que V z € KR se cumple la desigualdad \f(z)\ ^ M. Sea /(O) ~ 0.
M
, y •
Demostrar que [ / (0)| ^ — , donde el signo de igualdad es posible sólo para
la función
f(z) = Meiifi--) <pe R
ti
—oo < ai < a2 < ... < an < +oo,

n
0 < ak < 1 (k ~ T~ñ), =

t¿=i
Demostrar que toda rama de la función
n
m Ifc=1n « - *k)" - dC
a
k 1
perteneciente al semiplano
G> = {z e G Imz > 0},
es de una hoja en y transforma conformemente dicho semiplano en
un n-ágono convexo finito.
<. > ' '' \
i :l ; i.\ >:i
® ®
Capítulo 1
maíKfliWíi
D .n+l
a) res f(z) ~ , donde zk = exp ( ¿ 2 f c + 1 7r)
*k n C n J
(k = 0 7 ^ 1 )y; res/(,) = ( ?' S ! n * J<
oo [ - 1 , si n = 1.
b) res f(z) = (-1) B+1 <5 B +1 ; res /(z) = (-l)"c^ + 1 ;
Fig. 20 Fig. 21 — 1 O O
c) res f(z) = 0;
15. Hallar la imagen del círculo unidad 00
K = € G |z| < 1} d) res f(z) = 0;
OO
mediante la aplicación 1 1
z e) res f(z) = -; res f(z) = --;
(1 + Cn)A dC -i e oo e
z u>(z) , «/(O) > 0, 1 < A< 1 -
_ Qny/n+A n f) res f(z) = e6 -eb-e\
e°.
/
00
4 4
16. Transformar el semiplano superior en la región representada en la figura 20 (el a) res /(z) = ~¿sh2; res/(z) = - - ¿ ( e + 2e" 1 );
arco AC es una semicircunferencia) si -í 9 i/2 9 '
w(A — ai, B = oo, C = 0) —• z(0,1, oo). 4
b) res f(z) = — - ; res f(z) = 0.
17. Transformar el semiplano superior G+ = {z 6 C: Imz > 0} en la región del jr/2
plano tu representada en la figura 21, bajo la condición —n.

.Ufara
w(A = -h, B — oo, C - h, D = oo) z(-1,0,1, oo).
a) 2(1 -e~ l )itv,
b) 0;
c) 0.
10 a) -2wi si Ln (z - 2)|z=1 = -7r¿, y 0 para las demás ramas;
b) 0 para todas las ramas;
c) 0 si V ^ U i = 1/ y -47rze si Vz\z=i - - 1 .
11 a) 0;
2
b) - x ( l + 2i).
,'MtéM
V y ¿ i • !.
z(2n - z)
- - w + l ^ ñ í ^ i -
ra—1
16. a) D = {z G C: |z| < e" 1 };
b) C.
2. n.
4. 2.
a . 9(w) = Y, * = K«- i r V ' i .

n=l
2tt
1 5 . Es un polígono regular tipo estrella de ángulos 7r A?r y 7r + Aít,
con centro en el origen de coordenadas y con uno de los vértices de

los ángulos del primer tipo en el punto
A - A 1\ / I + A\ ir(l + A )
r { r —— sen —
_2 V 2 nj V 2 J 2
n;(l) = 2 7 V 7T •
sen —
n
a 1 / 2t ,
16. w — donde C ^ ~ Y+l)' = V ~z
7T V 1 " t1 l +¿
2h
17. w = z1 - 1 4- arcsen - 1.
z/
índice de materias
A trascendente 34
aplicación abierta 133 — meromorfa 34, 64
interior 133 en una región 38
automorfismo conforme 162 funcional 158
— continuo en un elemento 158
c
Carathéodory, teorema 172 G
Cauchy, teorema 8 género del producto infinito 62
condiciones suficientes de convergen- grupo de automorfismos 162
cia uniforme del producto infi-
nito 56
H
conjunto de funciones, compacto 156
, equicontinuo 154 Hurwitz, teorema 160
, secuencialmente compacto 159
, uniformemente acotado 154
— equicontinuo 154 l
integral de Christoffel—Schwarz 183
de primera especie 184
Ch de segunda especie 184
Christoffel—Schwarz, fórmula 183 — elíptica completa de primera especie
—, integral 183 190
— de primera especie 184 de primera especie 189
—, — de segunda especie 184 p-inflación 155
isomorfismo conforme 162
E J
Euler, función beta 198 Jordán, lema 74
F L
fórmula de Christoffel—Schwarz 183 Lagrange, serie 135
función automorfa 193 lema de Jordán 74
— beta de Euler 198 — de Schwarz 142
— de género finito 62 Lindelóf, resultado 173
— de p hojas 136
— elíptica 193 M
— entera 33 Mittag-Leffler, teorema 36
de género infinito 62 Montel, principio de compacidad 156
.
Kife
í - .
o
orden de una función entera 63 Schwarz, lema 142
resultado 172
p Schwarz—Christoffel, fórmula 183
—, integral 183
Poincaré, teorema 63
principio de compacidad de Montel — de primera especie 184
156 —, — de segunda especie 184
— de uniformidad 137 seno elíptico 191
— del argumento 121, 122 serie de Lagrange 135
— del mínimo 142 — de funciones meromoífas, conver-
— del máximo del módulo (primer gente 36
enunciado) 141 , uniformemente convergente 36
— del máximo del módulo (segundo
enunciado) 141
producto infinito 51 teorema de Carathéodory 172
absolutamente convergente 53 — de Cauchy 8
convergente 51 — de convergencia del producto infi-
puntualmente 56 nito y de la serie numérica co-
uniformemente 56 rrespondiente 52
de Weierstrass 59 — de Hurwitz 160
divergente 51 — de Mittag-Leffler 36
— de Poincaré 63
— de Riemann 167
R
— de Rouché 122
regiones conformemente isomorfas
— de Weierstrass 59
162
— fundamental del álgebra 124
residuo de una función analítica en un
punto singular aislado 4
en el punto del infinito 7
— logarítmico de una función 120 valor del producto infinito 51
resultado de Lindelof 173
— de Schwarz 172 w
Riemann, teorema 167 Weierstrass, producto infinito 59
Rouché, teorema 122 —, teorema 59
índice
Prólogo a "Variable compleja"
Capítulo 1
Residuos. Aplicaciones de los residuos . .
§ 1. Definición de residuo. Teorema fundamental
§ 2. Funciones enteras y meromorfas 33
§ 3. Productos infinitos 50
§4. Aplicación de los residuos al cálculo de integrales
y de sumas de series 72
Capítulo 2
Aspectos generales de la teoría geométrica de las
funciones analíticas 117
§ 1. Principio del argumento. Teorema de Rouché
§ 2. Conservación de una región. Inversión local
de una función analítica 131
§ 3. Propiedades de los extremos del módulo
de una función analítica 141
§ 4. Principio de compacidad. Funcionales definidos
sobre familias de funciones analíticas 151
§ 5. Existencia y unicidad de las transformaciones conformes . . 162
§ 6. Correspondencia de las fronteras y principio de simetría
en el caso de transformaciones conformes 171
§ 7. Transformación conforme de polígonos.
Integral de Chrístoffel—Schwarz 179
Respuestas 211
índice de materias 213

(AntiDemidovich - Matemática Superior - Problemas Resueltos) 7 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

(AntiDemidovich - Matemática Superior - Problemas Resueltos) 7 PDF

Cargado por

Copyright:

Formatos disponibles

i toda l o r i g a toda l í l B w t o d a toda t o d a l o í a M r t o d a t o c u j i a toda toda

9 toda toda T í a t a i m a n t e toda t o ^ M a toda toda

Definición. Se denomina residuo de una función analítica f en un

El residuo se denota mediante

= c_Vp + c-p+i{z - a) +... + - ar1 +£ c«<z ~ ^

T V T C/(«X* - « / ) = «-i(P - '

En particular, para p = l l a fórmula (2) adopta la forma

res f(z) = lim & l A =

En caso de que la función / esté definida mediante la

sen 3z ~ 3 sen z 3z--Z3 + ...-3Z + -

Integremos esta igualdad a lo largo de una circunferen-

J f(z) dz - Cn j zn dz = —2iñc-i, (1)

Definición. Se denomina residuo de una función f en el punto del

Teniendo en cuenta (1)/ obtenemos

res f(z) — —c—i f{z)dz. (2)

De acuerdo con la definición dada, res f(z) se deter-

asando en la última igualdad al límite cuando oo,

3. Teorema fundamental de los residuos

Teorema 1 (de Cauchy). Siuna función f es analítica en D U dD C C,

rencias de radios pk con centros en los puntos a¡-, donde

D = {ze O ¡z - 1 - ¿I < 2}.

Demostración. Sea = {z 6 O \z\ = R} una circunfe-

El teorema 2 es útil para calcular integrales curvilíneas.

I = 2vi ( res 3, , 10. ñ — — + res

donde Ct (fc = 1,10) son las raíces de la ecuación zi0 - 2 = 0;

I = — 2tt¿ res -3 t -10t t — - = 0.

Para las funciones especificadas a continuación, hallar

Solución. Los puntos singulares de la función / son Z\ — 0,

El punto del infinito es punto límite de los puntos singulares

Solución. El punto 2 = 2 es un punto singular esencial de

El coeficiente de (z - 2) 1 es igual a cero y, por consiguiente,

res /(*) + res"/(*) = 0,

z 3 eos — - = (8 + 12(z - 2) 4- 6(z - 2)2 + (z - 2) 3 ) x

x 0 ~2!(z -2f + 4!(z -2f "•")•

< Solución. El punto z — 0 es un punto singular esencial de

A Solución. Descomponiendo la función / en fracciones sim-

Los puntos singulares de la función / son zx = 0, z2 = - 1 ,

res f(z) + res f(z) 4- res f(z) + res f(z) = O,

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

< Solución. Representando la función en la forma

x + xt>x \<> <x> i s > -. + J ^ ! t , ' ! :.. .! .. •

fi(z) = 2|z| I eos h í sen - — -

f3(z) = ~f2(z), M*) = -fi(z).

Solución. Utilicemos la fórmula (3), p. 1.1, y la regla de

Solución, a) De acuerdo con la fórmula (2), p. 1.3,

res -z r = - res ' , + res - = - — r

yS.» .viVil '

ily ^ÍA'^ ^l- • i w : , : •;.

Solución, a) La circunferencia 7 r abarca 4n + 1 polos de

yfi-Ht H * } ^ i v > ; / ' ' ^ y*y V ' ] • v * '' . N : > • ' •

lilSiillllili ; ¡V . tx<v4 M ' ' • í . . i ' . ' í'r . , .

b) Utilizando la fórmula (2), p. 1.2, obtenemos

f \ i —-— dz = 2iri res \ -.

= —2?tí res 1/2

M Solución. Dado que z € 7 r ¿z = r2, z = z entonces

•¿tint&mmkxi -,1 . .-i Í'

Solución. La circunferencia 7 abarca un solo punto singu-

„ Solución La circunferencia 7 abarca el punto singular aisla-

polo de segundo orden. Por consiguiente,

= 27TZ lim Í-— ~ -27T¿.

Solución. La función subintegral / tiene un polo de segundo

^ Solución. La función subintegral f tiene polos simples en o dz z 2 - 9

I ~ 2ttí res /(z).

res /() + res"/() = 0,

yfi-Ht H * } ^ i v > ; / ' ' ^ yy V ' ] • v '' . N : > • ' •