Matematica Superior Problemas Resueltos: 4. K. Boiarthuk

i toda l o r i g a toda l l Bwt oda toda t odal o aMrt oda t ocuj i a toda toda
9 toda toda T a t a i ma n t e toda t o ^ Ma toda toda

i toda t odf 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 k'jA toda todJ
MATEMATICA
SUPERIOR
PROBLEMAS
RESUELTOS
4. K. Boiarthuk
7
Variable compleja
Residuos y temas
especiales
ATEMATI/ IKA
URSS
Residuos.
Aplicaciones
de los residuos
1. Definicin de residuo.
Teorema fundamental
1.1. Residuo en un punto finito aislado
Definicin. Se denomina residuo de una funcin analtica 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 funcin f en un
entorno del punto z = a.
El residuo se denota mediante
c-t = res f(z).
a
Teniendo en cuenta la frmula (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 O
a
{O
a
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 dems casos res / puede ser o no
a o
igual a cero. Por ejemplo,
senz
res = U,
o 2
res r = 1,
2 z - 2
res e*
2
= 0.
o
Obtengamos la frmula para calcular el residuo en un
polo. ., .
Sea z a un polo de orden p de una funcin / .
El desarrollo de Laurent de la funcin / en un entorno del
punto z = a tiene la forma
C-
f(z) = ~r + +-
JK}
(.z-aY z
de donde se obtiene
f(z)(z - af =
C-i
n=0
= c_
p
+ c-
p+
i{z - a) +... + - ar
1
+
c
<
z
~ ^
V
n=0
dT
dz
p
- (f(z)(z- af ) =
w
n-0
T V T C/ (X* - / ) = -i(P - '
Por consiguiente, tenemos la frmula siguiente para
calcular el residuo de la funcin / en un polo de orden p:
= ^ 5
( 2)
^hBrdMMj
i r i i n i
En particular, para p=l l a frmula (2) adopta la forma
res f(z) = lim f
iz)(z
_
a)
.
(4)
En la prctica resulta til modificar un poco la ltima
formula. Supongamos que en un entorno de un polo simple
z - a una funcin / tiene la forma
f(z) - ^
f { )
~ t(z)' d)
donde
v
y f son funciones analticas en el punto z = a
y tales que
V
(a) * 0,
m
=
0
, f
( a )

0
^
ac
'
frmula (3), tenemos
res f(z) = lim & l A
=
1>(
Z
)
= lim ^
=
PW
fi >{z)-j >{a)\ ij'(
a
y
z>a
= lim
z>a
es decir,
Por ejemplo,
res f(z) = m
0
i>'{a)
(5)
^^ * eos z
res ctg 2: = res
fcT
fcjr sen z
eos kir
co skir
= 1.
V M
En caso de que la funcin / est definida mediante la
frmula (4) y las funciones tengan en el punto z = a
ceros de rdenes superiores a 1, para calcular el residuo
es cmodo cambiar las funciones <p y ip por los primeros
trminos de sus desarrollos de Taylor. Por ejemplo,
sen 3z ~ 3 sen z
res
o sen z (sen z - z)
res
o
3z--Z
3
+ ...-3Z + -
z f-
6
1 r
~4z
3
+ ...
= res - 24.
o z *
y , |
6
m}'
1.2. Residuo en el punto del infinito
Sea z oo un punto singular aislado de una funcin / .
El desarrollo de la funcin / en un entorno del punto del
infinito Ooo = {z : r < \ z\ < 00}tiene la forma
+00
nz) = J 2
c
z r
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 z
n
dz = 2ic-i,
(1)
n=-00
puesto que
J z
n
dz = O, si n 1.
Definicin. Se denomina residuo de una funcin f en el punto del
infinito al coeficiente (tomado con signo contrario) de la primera
potencia negativa del desarrollo de la funcin / en un entorno del
punto del infinito.
Teniendo en cuenta (1)/ obtenemos
res f(z) ci
2tt J
f{z)dz.
(2)
De acuerdo con la definicin 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 tambin en
el caso en que el punto del infinito no sea un punto singular
1
evitable de la funcin / ; por ejemplo, res - = - 1.
00 z
Supongamos que el punto del infinito es un punto
ingular evitable de la funcin / . Introduzcamos la notacin
im f{z) ~ / (oo). Entonces
+0O
res f(z) lim z(/ (oo) - f(z)) .
00 z>oo
(3)
efecto, en este caso el desarrollo en serie de la funcin /
;n un entorno del punto del infinito tiene la forma
oo
f(z) - / (oo) + C-
k
Z~
k
,
kl
e donde
00
E
-fc+i
asando en la ltima igualdad al lmite cuando
b tenemos la frmula (3).
As mismo se puede obtener la frmula
oo,
res f(z) =z V ( 0) ,
00
(4)
>nde ip
Lnto z
1
z
0.
f(
z
) Y es una funcin analtica en el
t
v
1
! :
<
/ \
3. Teorema fundamental de los residuos
Teorema 1 (de Cauchy). Siuna funcin f es analtica 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
2tt
/
dD
a
(1)
fc=i
IPlpife^
< Demostracin. Sean 7! = 0 ) circunfe-
rencias de radios pk con centros en los puntos a-, donde
Pk son valores suficientemente pequeos tales que los crcu-
los K
Ph
con fronteras 7* pertenecen de modo compacto a la
regin D. Consideremos la regin D\ {K
pk
; k = l,n} y uti-
licemos la frmula de Cauchy para una regin mltiplemente
conexa (v. teorema 4, p- 5.3, cap. 1, t. 6). Tenemos:
27t
j
dD
f(z) dz
j
f(z) dz =
= Y >es f{z), r
fe
=(
7fc/7
n.
k=1
Este teorema tiene un gran valor prctico, pues reduce
el clculo de una magnitud global (la integral curvilnea de
una funcin analtica a lo largo de la frontera de la regin) al
clculo de los valores locales de los residuos de la funcin en
sus puntos singulares.
Calculemos, por ejemplo, la integral
f dz
j (*-l)V + l)'
OD
D = {ze O z - 1 - I < 2}.
La funcin subintegral / es analtica en la adheren-
cia D, salvo en los puntos z\ = 1 (polo de segundo orden)
y z
2
~ i (polo de primer orden). Utilizando la frmula (1),
obtenemos
/ (; - 1) V + !) = O?
8
f [ Z ) + f
f
2 )
) =
dD
7TJ
Teorema 2. Sea f G A (C \ {a
k
; k = l~}). Entonces la suma de
los residuos de la funcin f en todos sus puntos singulares finitos y del
residuo en el punto del infinito es igual a cero:
n
Demostracin. Sea = {z 6 O \ z\ = R} una circunfe-
rencia de radio R suficientemente grande, la cual abarca
todos los puntos singulares finitos a. Entonces, segn las
frmulas (1) y (2), p. 1.2, obtenemos
l f "
/ f(z) dz = V res f{z) = - res f(z).
2wi J ff o
fc
00
r
R
El teorema 2 es til para calcular integrales curvilneas.
Consideremos, por ejemplo, la integral
- /
dz
V
o
- 2) '
r = ( 7, 7or ) , 7 = H = 2}.
Segn el teorema 1,
I = 2vi ( res ,, .
+ res
V o z
3
(z
10
- ^
2) a
donde Ct (fc = 1,10) son las races de la ecuacin z
i0
- 2 = 0;
utilizando la frmula (2), hallamos
I = 2tt res - t - t t - = 0.
00 z
3
(z
10
2)
m Problemas resueltos.
Para las funciones especificadas a continuacin, hallar
los residuos en todos los puntos singulares aislados y en el
punto del infinito (siempre que ste no sea punto lmite de
ellos).
Solucin. Los puntos singulares de la funcin / son Z\ 0,
Z2 = l , oo. Utilizando la frmula (2), p. 1.1, hallamos
d
Tes f(z) lim (z
2
f{z)) =
z->Q dz
= lim ( ^7- ) =
z~*o dz \ z -1 )
z
1
2z
~ lim r = 0
ZÔ (z - l)
2
(se tuvo en cuenta que el punto z\ = 0 es un polo de segundo
orden de la funcin / ).
El punto Zi = 1 es un polo de primer orden de la
funcin / ; por tanto, para calcular el residuo en este punto
utilizaremos la frmula (3), p. 1.1. Tenemos:
res f(z) = lim f(z)(z - 1) =
2=1 z-> 1
I
, z
2
+ z- 1
= lim = 1.
z-*l Z
l
De acuerdo con la frmula (2), p. 1.3,
de donde
res f(z) + res f{z) + res f(z) 0,
2=0 2=1 00
res f(z) ~ -1.
< Solucin. En los puntos z
k
= kn {k Z) la funcin /
tiene polos simples. Utilicemos la frmula (5), p. 1.1, tomando
<p = 1 y i)(z) ~ sen z. Tenemos:
1 1
res f(z) = = = ( - l f .
2=Zk eos Zft eos 7T
El punto del infinito es punto lmite de los puntos singulares
aislados.
Solucin. El punto 2 = 2 es un punto singular esencial de
la funcin / . El desarrollo de Laurent de / en un entorno
del punto z = 2 es
00
m = E
( - i )
n 2 n
<2)! V 2- 2;
El coeficiente de (z - 2)
1
es igual a cero y, por consiguiente,
res / () =r 0.
2
Aplicando la frmula (2), p.1.3, obtenemos
res / (*) + res"/ (*) = 0,
00
de donde hallamos res f(z) = 0.
00
<4 Solucin. Al igual que en el ejemplo anterior, z = 2 es
un punto singular esencial de la funcin / . Dado que
js
3
= (2 + (z - 2))
3
= 8 + 12(z - 2) + 6(z - 2)
2
+ (z - 2)
3
,
eos
z - 2
~ H T
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) = ~ . Segn
la frmula (2), p. 1.3,
res f(z) + res / (z) = 0,
2 oo
de donde resulta
res / (z) =
143
24
< Solucin. El punto z 0 es un punto singular esencial de
la funcin / . El desarrollo de Laurent de la funcin f en un
'namg
entorno del punto z 0 es
(-1)'
f(z) - z
n
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 funcin / contiene el trmino --- z
1
=
(2 m +1)!
(~1)"
/2
(
n
4-1);^ '
P o r consi
g
ui ente
/ para todos los n G Z
0
pares
(_l)/2
tenemos res f(z) = . En particular, si n ~ 0, entonces
o (n +1)!
res f(z) 1. Utilizando la frmula (2), p. 1.3, vemos que para
(_l)(/
2
)+l
todos los n G Z
0
pares res/ (z) = -res/ (z) = - .
oo o (n +1)!
En particular, si n = 0, entonces res f{z) = - 1.
OO
A Solucin. Descomponiendo la funcin / en fracciones sim-
ples, obtenemos
v
2 3 4 3
, w =
; - F
+
7 +i
+
s r ^) -
Los puntos singulares de la funcin / son z
x
= 0, z
2
= - 1,
^3 1/ Z4 00. Dado que los puntos Z\ , z
2
y z
3
son polos
simples de la funcin / , entonces res f(z) = 2, res f(z) = 4,
res f(z) = Segn la frmula (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
< Solucin. Representando la funcin en la forma
m =
s/ly/z -VZ + 1
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 ramificacin.
Definamos las cuatro ramas uniformes de la funcin /
definidas en la regin 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 \ >,
f
2
(2) = - 2 - A
m = 2 + A
/
4
(2) = - 2 + V 5.
î l i l i i l
: ^ \ } ' >' > >x >.: w ^ : <^ T": : > : ! : . : <
x + xt>x \ <> <x> i s >-. +J ^ ! t, ' ! : . . . ! . .
^X >X * X 4 X W<" ) ( 4 X . X ^v * . V V - ^ - y< .
' j x 4 x * < \ <fX ><X >X >s . 4 . . S / .
f X 4 . 4 <> O 4 W ' i < X< -
iUiM mh i v<x -
Obtenemos entonces
/ ^ ^ ( ^ ( c o s ^ - f i s e n ^ )
- V a f e e s
+

sen
!*
fi(z) =
z - 1
2| z| I eos h sen - -
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 )f
1
(z) = Vi-V2 = 0,
1
res f
2
(z) = lim(z - 1 )f
2
(z) = ~V2~V2 = -2V,
1
res /
3
(sj = 2V2,
res /
4
(z) = 0.
1
Solucin. Utilicemos la frmula (3), p. 1.1, y la regla de
L'Hopital de eliminacin de indeterminaciones del tipo - .
Tenemos:
res -
z
4
a
4
z{z~z
v
) 2z z
lim = lim
z
4
- a
4
z~*z
v
4z
J
1 2z zz
~ ~ lim -
4 z^>z
v
z
4
a
4
+ a
1 2 4 - z
4a
4
'
. . < / < " >x il
. . . . :
i pp
, I
1 * 1" s !* "
. : .
Solucin, a) De acuerdo con la frmula (2), p. 1.3,
res-
00 {Z - 1)
= res
- I)
3
i (z - l)
3
~~ 2 *-i dz
2
22
e = 2e .
b) Anlogamente
res -z r = - res ' , + res -=-r
00 Z + CL \ z=ia Z
2
+ a
z=-ia Z
+ CT
( e
iz
e
iz
>
= - ( lim + lim
\ z*q Z -\ ~ICL z*ia z ta J
a
lia lia
1 e
i (,a)
- e~
sen la
^ X<* . i
^SSXfiS ifk
ÔVAX
> w .
yS. .vi Vi l '
><o .
<->-<v <.
y< * <>.
a <-> v 9 , ..
>X y< x x
x<->-<4s<v
1 < >x x
X s
^ ,*><* ' V . ,
* >
s
*>>< . 7
r ^ ^ j
I llilpi^
mwm
ily Â'^^l- i w : , : ; .
y.:. $ r ^ w w * ; * ; **
< Solucin, a) Utilicemos la frmula (3), p. 1,2:
res sen -
oo z +1 zoo
= lim 2; ( sen 1 - sen
z +1
= lim 2z sen
z +1
z~+00
=cosl lim z [ 1
00 z +1
=cosl lim
z->oo z +1
Segn la frmula (2), p. 1.3,
=cosl.
eos
1+
z +1
2~~
res sen
-i z +1
res sen -
00 z +1
= - eos 1
b) Los puntos singulares de la funcin / son
Zk
2ki
(k 6 Z). El punto z = 0 es un polo de segundo orden y los
puntos Zk para k ^ 0 son polos de primer orden. Utilizando
la frmula (2), p. 1.1, obtenemos
res f{z)
o
lim -
z>o dz
,hz
1 - e~
hz
(l + hz)
lim
z~* 0
_ a-hZ
= lim
z*0
= lim
z0
1 - (1 +hz) - hz + y z
+o(z )
(1 - 1 +fc? +o(z))
2
h
2
z
2
1- 1 +fc
2
z
2
- +o(z
2
) a
/ i
2
z
2
+o(z
2
)
=
2"
I l f e r
.. I>
wt: $ * îHÎfd'fU
Para calcular los residuos de la funcin / en los puntos zk
1
{k 0) utilicemos la frmula (5), p. 1.1, tomando <p{z) = -,
i>(z) X - e~
bz
:
res / (z) =
Zk i b'
2kni
Ikiri
h
_ 1
2kiri'
c) Para |z +1| <1 tenemos
2kvi
he f*
1 i
00
I = = +
(\( 1 1
res I 1+ I -... + t:r
-i VzV 1 +2 (i +z)
n
res (1 - (1 +z) - (1 +z) -
...) x
1 1
1 +
l +z
+
' "
+
(l + zr
res
-i (1 +z)
n
(1 +z)
n-i
1 +z
- (n +1) +... = -n.
Anlogamente,
/ 1 1 1
res ( - 1 + h... +
0 \ 2 \ 1 + Z ( 1+ Z ) "
_ ( 1
" l
1 +
l +z
+
'"'
+
(l +z)
= n +1,
2=0
!t
x-.i/WM,
/ I ( 1 1
res {- 1 + \ -... +
oo V A ! + * (1 + ^)"
= n - n - 1 = 1.
Solucin, a) La circunferencia 7r abarca 4n + 1 polos de
la funcin subintegral, pues se tiene un polo en el punto
inm
z = 0 y cuatro polos z
m
= vke 2 (m = 0,1,2,3) en
cada circunferencia 7^ = { 0121 = ^ } (k l ,n).
A partir de la frmula (1), p. 1.3, hallamos
/
zdz
,2niz
2
_ j
= 2?r( res
o e
2niz
2
k=l m=0
res-
2viz
2
_
~2wi
2iri
; +
jfe1 m=0
47re(-
1
)
m25ri
'
fe
1 n \
+ =2n + l .
2tt 7r /
l i l Si i l l l l i l i
y f i - Ht H * } ^ i v > ; / ' ' ^ y*
y
V' ] v * '' .
N
:
>
'
; V . t x <v4 M ' ' . . i ' . ' ' r . , .
L* I
b) Utilizando la frmula (2), p. 1.2, obtenemos
f \ i - dz = 2iri res \ -.
./ V Z + 2 oo V ^ + 2
De este modo,
z + 2
dz = 2ni res
z + 2
= 2?t res
2
1+ -
z
1/ 2
/ 1 / I
27T res 1 h o I -
oo V z \ z
= -2iri
M Solucin. Dado que z 7
r
z = r
2
, z = entonces
z
r (z
4
+ i )dz
J (r
2
- az)(&z - r
2
)'
tint&mmk
x i - , 1 . .-i '
La funcin subintegral tiene dos polos simples z\
9
z
2
= - Como la curva abarca el polo entonces
b
i
z
2m res
r
2
/b (r
- az)(bz
27r , z
4
+ l
lim -5 =
b z^r
2
b r
z
az
r
2
)
-2-ni
. r
s
+ b'
6
4
r
2
(6 - a)'
Solucin. La circunferencia 7 abarca un solo punto singu-
lar de la funcin subintegral; por consiguiente, los puntos
2kn
z
k
= e 5 (k 0,4) son polos simples. Segn la frmula (1),
p. 1.3, tenemos
/
dz
3X
0
rpc
Por cuanto
E
fc=o
res -
(z - 3)(z
5
+ res
1) 3 (z -3)(z
5 _
f res =-
00 (z ~ 3)(z
5
i i ^ w i u
obtenemos
i--
dz
w
= ~hri l res 7 -
V 3 (z
3)(z
5
-
I - res 7-rrp
l ) oo (z - 3)(z'
En un entorno del punto z
00 tenemos
(z - 3)<z
5
1 +
F
+
Por consiguiente, res _ _
= 0,y
/
dz
3X
dz
5 _
= -2-k lim -
z3 - 1
2tt
242
7U
121
El uso de la frmula (2), p. 13, nos permiti evitar clculos
voluminosos.
Solucin La circunferencia 7 abarca el punto singular aisla-
do
2
= 2 de la funcin subintegral / ; esta smgulandad es un
l i l U MH l
mmmwW
i . . ,: i . . <. ' i : <( K j t \
; / M l ^ l V
. , > i / I / i
se deduce que res f(z) -
00
Por consiguiente, I = iri
-c_ i = - (v. frmula (2), p. 1.2.)
Solucin. La funcin 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 slo
el punto z\ ; por tanto,
I =2it res f(z) =
W
=27t lim
2->o dz z
2
- 9
= 27r lim
z-0
e
z
(z
2
- 2z - 9) 2tt
. 2 _
Solucin. El punto z = O es vm punto singular esencial de
la funcin subintegral. Dado que
sen
^ (-1)"
^ (2n + l )!z
2n+1
'
n=0
polo de segundo orden. Por consiguiente,
I ~2iti res f(z) =
2
= ^ 1m ( e-3
2

dz \ (z - l)(z - 2)
2
d ( z \
2ni lim ( =
z->2 dz \ z - 1 /
= 27TZ lim - ~ -27T.
2-2 (z - l)
2
^ Solucin. La funcin subintegral f tiene polos simples en
los puntos z& = -1-e
t
~r~ (k = 0,1,2,3). Por la frmula (1),
v2
p. 1.3, tenemos
3
I ~2tt res / (z).
Como
entonces
J 2
r
es / () +res / (z) =O,
I - 27t res / (z).
oo
A partir del desarrollo
f {z )
2z ( l +l / ( 2^) j ~2z O 2z
4 +
' - '
V-
1
'ti i-
obtenemos,
res/ (z) = l I =res / (z) = 1.
^ Solucin. Dado que el desarrollo en serie de Laurent
2 1 1 A . 2\
sen - = - 1 - eos - =
^ 2 V z
_ _ l y >H ) "
2
t M
no contiene el trmino de tipo c_l Z~
l
, resulta que
2 1 1
ressen - = 0, 1 = ressen
2
- =0.
2&
Solucin. Como z
n
e
2
** = _ _ entonces
k=0
n k - 1, fe e Z0, es decir, para n ^ - 1, tenemos
resz
n
e
2/ z
=
(71+1
(n + 1)!'
V
i l i l
y para n < - 1 tenemos res z
n
e
1z
= 0. Por consiguiente,
I =resz
n
e
2/Z
= < (n +1)!
ifi+i
, si n ^ -1,
si n < - 1.
Solucin. Haciendo el cambio de variable e
i(p
= z obtenemos
dz 1 2z
dtp , =
iz a +cos(p z
2
+2az + l'
d z
i J z
2
+2az + l'
r
r = ( 7/ 7or ) , 7 = { z e O \ z\ = l }.
Las races de la ecuacin z
2
+2az +1
- a Va
2
- 1. Vemos que slo el punto Z\
est abarcado por la circunferencia 7, pues
=0 son z\ t2
-a +Va
2
-
1 a = -
a +
De acuerdo con la frmula (1), p. 1.3,
< 1.
t 27xi res
% zi z
2
+2az +1
4x
2* +2a
2?r
vmmm
^lliM
4 Solucin. Recurramos a la solucin del ejemplo anterior.
Representemos la integral I en la forma
IT
= 11
a dtp
(a 4- b eos <p)
2
7 -
a j a
v v
dip b f eos <pd(p
+ bcos<p a J (a + b eos <p)
2
/
2 w
= - ( ! - a \ J a
\ n
2w 2jt
f
dv
+b f -
J a + b eos (p db J a
o o
dip
4- b eos -5\! i''^ j ^y ^^^^^
2?r 2tt6'
a
2
- 6
2
(a
2
- 6
2
)
3
/
2
2tt
a(a
2
- 6
2
)
3
/
2
( a
2
- 6
2
+ 6
2
) =
2ira
b
2
) 3/ 2*
^ Solucin. Al igual que el ejemplo anterior, escribimos I en
la forma
A
a j a
o
2t
-
1

a j a
6 [ eos v^V
9
-f 6 eos
2
)
2
d<p
'+ b eos
2
(p
n
i /__
a db J a
d<p
+ b eos
2
tp
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 + bcos
2
ip J A + B cos2(p
o o
IX
- y
dt
A + B eos t
donde
b b
A-a + -, B = -.
2 2
Wfrft-.'tfy/
i&wsm
:
Kx-i&feSfe i;:
Tomando en consideracin el ejemplo anterior y el
hecho de que, cuando t vara de 0 a 4n, el contorno cerrado
que abarca los polos de la funcin subintegral se recorre dos
veces, obtenemos
4*
I
dt
A + B eos t
2 7T
2k
d f d)
3
/
2
)
a(a
2
+ ab)V
2
^ +
ab)
~ ^
ir (2 a + b)
a
3
/
2
(a + 6)
3
/
2
' *
<4 Solucin. Utilicemos las frmulas de Euler para transformar
la funcin subintegral Tenemos:
e
cos
^ eos {n
e
etV
).
Efectuando en la integral el cambio de variable e
t(p
resulta
r = (7,7or) / 7 = { eC |i = l }.
Segn la frmula (1), p. 1.3,
I =
ir res (t
o
x
.-11 t
= 7T
+ r"
i \
- u
ra! n!
si n < 0,
si 71 > 0.
Solucin. Transformemos la funcin subintegral utilizando
las frmulas de Euler:
tg (x + ia) =
e
(a:+ta) _
e
~i(x+i)
i (e'te+a) -j-
e
-i{x+iatj
1 e
i2x
- e
2a
i e
i2x
+ e
2a
'
Efectuando el cambio de variable
2x
= t, obtenemos
/
t- e
2a
t(t + e
2a
)
di,
r = (7,7or), 7 = { GG || = 1}.
Si a > 0, entonces la circunferencia 7 abarca slo el punto
t = 0 (polo simple). En este caso
r
. t~e
2a
1 = 7t res
o t(t + e
2a
)
t~e
2a
= ni lim = 7r2
Si a < 0, entonces, adems del polo t = 0, la curva 7 tambin
abarca el polo t = -e
2
* de la funcin subintegral. Por tanto,
- e
2a
t-e
2a
res = lim -
_
e
*>t(t + e
2a
) i-SS.
t
~
2e
2a
_
e
2a
7TZ
-7ri(
res res -
o t(t + e
2a
) ~
e
2a t(t + e
2a
)
1+2) =
= TTl.
Estos dos casos se pueden reunir en uno solo utilizando la
notacin sgn : I =ni sgn a.
Si a = 0, la integral dada se entiende en el sentido
del valor principal:
7==v
p/tg^=Hm( j tgxdx+ J tgzdx\ =
n/2+e
lim l l ncosa + ln eosx } =
\ X=Tf2
I31BIS;
:
-mmimm
lim ( ln sen e -f ln ( sen e) ln (-1))
sene
sene
lim (l n
-+4-0 V
-l n(-l ) =
ln (-1) ln (1) 0.
2. Funciones enteras y meromorfas
2.1. Funciones enteras
Definicin. Una funcin / analtica en todo el plano C se denomina
funcin entera.
De la definicin se deduce que una funcin entera no
tiene puntos singulares finitos. El punto z = oo es un punto
singular aislado de la funcin entera. Si z = oo es un punto
singular evitable, entonces, segn el teorema de Liouville, la
funcin entera es constante.
Sea z oo un polo de la funcin entera / . En este
caso su desarrollo en serie de Laurent en un entorno del
punto del infinito tiene la forma
f(z) = CnZ
n
+ . . . + C
X
Z + Co + C
n
Z " =
71=1
v v
= P
n
(z) + J2 c^
n
z~
n
.
n=1
La funcin / - P
n
satisface las condiciones del teorema
>
de Liouville
lim (f(z)-P
n
(z)) = 0,
z>00
de donde resulta f(z) - P
n
(z) = 0, o bien f(z) = P
n
(z),
Resumiendo, si una funcin entera / tiene un polo en
el punto del infinito, entonces la misma es un polinomio, es
decir, una funcin racional entera.
Una funcin entera para la cual el punto del infinito es
un punto singular esencial se denomina funcin entera tras-
cendente. Ejemplos de tales funciones son zt-* e
z
, z cosz,
z-+ sen z.
2.2. Funciones meromorfas.
Teorema de Mittag-Lefer
Definicin. Una funcin / analtica en todo C, salvo, tal vez, en sus
polos, se denomina funcin meromorfa.
De la definicin se deduce que los nicos puntos
singulares de la funcin 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 funcin meromorfa / puede tener en C
a lo sumo un conjunto numerable de polos. En efecto, todo
crculo Kr = {z G | z| < J2 = const, puede abarcar a
lo sumo un nmero finito de polos, pues de lo contrario stos
tendran un punto lmite finito que sera un punto singular
no aislado y no un polo.
De este modo, todos los polos de una funcin me-
romorfa se pueden enumerar, por ejemplo, en el orden del
crecimiento de sus valores absolutos.
Consideremos dos casos. Supongamos que la fun-
cin / 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 funcin / . Sea ft el orden del polo bj y
9j(z)
w
JJ)
c
-2
z-bi (z - 6,)
2
+... +
(* - bjfi
la parte principal del desarrollo de Laurent de la funcin /
en un entorno del polo bj. Consideremos la funcin
z tp(z) = f(z) -
i=i
Esta funcin es entera, pues se puede asumir que ha sido
definida en los puntos singulares evitables bj. Dado que
2>00
M *
Yj9
z
)
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
P
x
(z)
fc=0
donde P\ y Pi son polinomios.
De este modo, hemos demostrado la afirmacin si-
guiente.
Teorema 1. Una funcin meromorfa f para Ja cual el punto del infinito
es un punto singular evitable o un polo es una funcin racional
y, por consiguiente, puede representarse en este crculo me-
diante una serie de potencias
A af t 0)
t
w =2 ^- r
z
-
k=0
(2)
Fijemos g R, donde 0 < <f < 1. El crculo
ifj = {ze O | z| < #j | }
pertenece de modo compacto al crculo i f, lo cual implica
que la serie (2) converge absoluta y uniformemente en Kj.
Por tanto, existe un nj N tal que
i. af\ o) ,
fc=0
Z
k
< - J y/zKj.
V
Hagamos
W = " V *
Jfe=0
Entonces
1
9i
{z) - Pj{z)\ < VzeKj.
La serie - converge uniformemente en
todo compacto # C en el sentido de la definicin dada
anteriormente. En efecto,
VTCCB VN:
Vn ^ N K C K
n
= {z C: |z| < #| }.
Examinemos ahora la serie ^( f l j - Pj), j > Sus
trminos son funciones analticas en K mayoradas por la
_ 1
progresin geomtrica J J> i ^
N
-
P o r
consiguiente, su
suma es una funcin analtica en el crculo K .
Definamos la funcin / mediante la frmula
N-1
>=i
Demostracin. Aplicando el teorema de Mittag-Leffler cons-
truimos la funcin
00
Mz) = ^(g
n
(z)-P
n
{z)),
n=l
que tiene los mismos polos y partes principales en ellos que
la funcin / . Por consiguiente, / - /
0
= h es una funcin
entera.
Nota. En caso de que la funcin / tenga un polo en el punto 2=0 con parte
principal g
0
, siempre sustituiremos / por / - g
0
.
A veces el trmino "funcin meromorfa" se utiliza
en un sentido ms amplio. A saber, se considera que / es
una funcin meromorfa en una regin D si sus nicos puntos
singulares en D son polos. El conjunto de polos de esta
funcin tambin es a lo sumo numerable, y si es infinito, sus
puntos lmites pertenecen a la frontera de la regin.
; i i ' ' - i , .
2.3. Desarrollo de las funciones meromorfas
en fracciones simples
Sea / (() una funcin meromorfa arbitraria y sea 7 una
curva de Jordn cerrada que abarca el origen de coordenadas
y no pasa por los polos de la funcin / . Sea k = 1, n }
el conjunto de los polos de la funcin / pertenecientes al
interior de 7 y sean <7* las partes principales de los desarrollos
de Laurent de la funcin / ai los entornos de los polos
b
k
0 VA; = l ,n. Si = Q es un polo de la funcin 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 funcin
9k(0
( *-*
kQ
Esta funcin 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 mlti-
plemente conexas y la definicin de residuo en el punto del
infinito, obtenemos
J _ k~0
2ni J C
> ( 0
d{
2Tri J C
m w
X > ( 0
r r
w w
E a
k
(o
fc-o
n
res = 0
00 C - z
i A >-; , y ' AV. . . s i A >< . w X v
(I* = ( i r , 1r ) , 7r = (c e G: ICI =.}es una circunferencia
que abarca a 7), de donde se deduce la igualdad
l
-f
iri J
no
27T J
, r
de
1-KJ
w w
/(o-X>(o
fc=0
r=(
7/ 7o r
) ,
p v
La funcin / - ^ es analtica en la regin limitada
fc=0
por la curva 7 (se considera que la funcin est definida
en los puntos singulares evitables). Segn el teorema de
Cauchy
2iri J
w ~
no - 9kio
De este modo,
k=0
d( = f(z)~
1
f
g
k
(z).
fc=0
t
2
{ <~
z
(1)
Supongamos ahora que existe una sucesin (7
m
) de
curvas de Jordn cerradas que abarcan el origen de coorde-
nadas, no pasan por los polos de la funcin / y tienen las
propiedades siguientes:
1) V m G N 7
m
la curva pertenece al interior de 7
m+1
;
2) r
m
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 ra
0
E N
tal que el crculo K
R
= {( <E G ICi < R} Vm > m
Q
(R)
pertenece al interior de y
m
.
> i s V V
a
3) lim = T
m
=(y
mf
yZ), \ Z\ <R. (2)
m- >oo J Z
r
Apliquemos la frmula (1) a T
m
. Sea n
m
el nmero de polos
abarcados por la curva j
m
. Entonces
"
m
1 V f(C)
m = + î i~r
z
d<:
'
m > m o ( R y ( 3 )
Pasemos al lmite en (3) cuando ra * oo. Considerando la
frmula (2), hallamos
f(z)= lim Y]gk(z).
fc=l
(4)
De esta manera, la funcin / est representada en
el crculo KR como el lmite de la sucesin 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 frmula (2). A partir de la estimacin
/(0 d< f m
2tt i j 2ir(r
7 ^ 1
] m
MCI
resulta que para que se cumpla la expresin (2) es suficiente
que
lim [ | / (0I \ D(I = M, M < oo.
I O O J
(5)
7.
Demostremos ahora que podemos obtener un desa-
rrollo de la funcin / en fracciones simples imponiendo
condiciones menos rigurosas que (2).
Supongamos que existe un nmero entero no negati-
vo p tal que
i f / (0
j < - o, W <j i
m- o o 27 T J C^C-*)
r
m
Para que se cumpla (6) es suficiente que
/ p
7m
/ (C)
MCI <oo.
Si kl < l a tenemos
1 __ 1
= E +
00 n
v Z
nO
C"
+I
1,<
n+1
A z
/ *n+l
n=0
s
c?+2
o - ?
Sustituyamos en (3) el desarrollo obtenido de
(6)
(7)
I . . t i f t . ; . . ; {
obtenemos
/w = E <)+ 4"'*"+
jfe=0 fc=0 n=0
l f
f { 0
dc
vm
o bien
"m ^p-ti /
m = ( < ) + + /
Jfc=0 iT
r /(o
2** y c
+1
(c-*)
rm
(8)
donde P(z) =
es u n
polinomio de grado no
=o
superior a p.
Pasando en (8) al lmite cuando ra oo y tomando
en consideracin (6), obtenemos
f(z) = lim 9k(z) +f>k(z)), |z| < fl. (9)
m>oo
O
Las igualdades (4) (9) constituyen el desarrollo
buscado de la funcin meromorfa en fracciones simples.
Ejemplo. Hallar el desarrollo de la funcin z w ctg z en fracciones simples.
f / (0<*C
2tt J C"
+1
(C - z)'
r.
Tomando en consideracin las igualdades
i f no ^ no
7rt y
n+1
^ ^ ^ c
n+1
~ ^ '
Solucin. En el caso considerado tenemos
bk =kir (k 1), gu =
z ~kn
Sean ym las fronteras de ios cuadrados con centros en el origen
de coordenadas y lados de longitud (2ra +l)7r paralelos a
los ejes de coordenadas. Estimemos por separado el valor de
ctg z en:
1) los lados paralelos al eje imaginario;
2) los lados paralelos al eje real.
Tenemos:
1) z = {2m + \ )- + iy,
m m
I Ctg z\ =
e
2iz
+1 _
e
2iz
1
e
(2m+l)3r
e
-2y
+
^
e
j(2m+l)T
e
-2y _ i
1 - e"
Zy
< i.
lH-e"
2
^ '
2) * xi mH- 1 7r,
ctg z
e
2x
e
T(2m+l)ir
+
j
1
|
e
2ix
e
T(2m+)z _ 1 |
e
T(2m+l)ir
+ 1 1 +
<
jePrn+Dr _ ^ i _ '
1 + e
_,r
Tomando en consideracin que > 1, obtenemos
ctg z | ^
1
1
r
e
-5r
1 + e~*
7T
^ Tm*
(10)
La condicin (7) es vlida para ctg z si p = 0. En efecto,
f Ictg^l ,, , l + 4(2m + l)7r
/
7m
[ctgzl l + e
f f
4(2m + l)7r
(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
P
k
(z) = Al = res
kn ^
De aqu hallamos
P
0
{z) = Q, P
k
(z) =
fc7T
Aplicando la frmula (9) obtenemos el desarrollo de
ctg z en fracciones simples
1
m
1 1
ctgz {- lim ( Y ^ ( + \ Y
z oV^ \ z kw kir//
fc=-m
o bien
00
1 v^' /
1
1 \
(11)
J c=~ 00
{donde el smbolo ^^ 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 frmula puede escribirse de otra
manera:
1 . ^ 2z
n1
(12)
Nota. En calidad de j
m
hubiramos podido tomar las circunferencias
7m = C \ z\ = m + ^ | sin alterar la estimacin (10),
Problemas resueltos.
m y , :
v '
Solucin. Es evidente que la serie de las partes principa-
les V :
71
converge uniformemente en todo
' (z - n7r)

compacto (en el sentido de la definicin del p. 22), pues
^rlIfII
' ' f . f f . f ^C& i .
V.-. <.'.*,*:.
la serie mayorante ^ converge en todo crcu-
lo Kr = {z C \ z\ < R}. De este modo, utilizando la
frmula (3), p.2.2, y haciendo en ella P
n
(z) 0, obtenemos
w
f(z) = h{z) +
n~00
(z - nn)
2
Solucin. La funcin
1 ^ 1
Z - h(z) = r )
sen
2
z
<
'' (z - n7r)

n=-oo
es peridica de perodo ir. Examinmosla en la
G ~{z C 0 < Re z ^ 7r}. Tenemos V n N que
franja
717T| ^ 717T - | z| ^ 7r(n - 1).
Por consiguiente,
00
1
F -
1 i? - <
n=-oo
n?r)
2
| z|
2
2rl
2
\ z - 17T
+
2
E
(n - l)
2
?r
2
n=m+l
Si Z OO.
Como [ sen
2
z\ sen
2
x + sh
2
y 00 cuando z 00,
0 < Rez ^ 7T, entonces la funcin /i est acotada en la
regin G y, por ser peridica, tambin lo est en el plano C.
Segn el teorema de Liouville h{z) = 0. De este modo,
sen
2
z (z - nir)
:
n-oo
j ? ; :
M Solucin. Tenemos:
9n(z) =
z
1 - -
n
- 1 + + ( )
n \ n)
\ z\ < n,
0,(20 + 1 +-
n
z
1
n
n(n - z) n(z - 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 definicin del
p. 2.2. As pues, segn la frmula (2), p. 2.2,
m = + E ^
n=1
' : jr ' i -
, v > \
5
;
+X >
??g' s* x
' U N ' S
W '
' / e x < : > <v ; y I
Solucin. La funcin - ene polos simples en los
puntos b
n
= H7T (n Z),
(- D"
z 717T
Sea
Tm
la frontera del cuadrado con vrtices en los puntos
( m + *(1 t). Estimemos la funcin :
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
e
v +
e
-y chy
/ 1\
2) Z = X[ -
^ i ;
| sen z\ ix
Arn
+
l)*
e
-i
Xe
(+l)*
(m+i)
s h ( m+- W
sh
2
ti
Por tanto, la estimacin (7), p.2.3, se verifica para
1
p = 0, P(z) = A
n
= res , de donde P
0
(z) = 0,
* ' \ / " - v r o n - y
nw z sen z
R.(z) - . De acuerdo con la frmula (9), p.2.3,
717T
sen z
1 "V
7-00
(-1)"
1
1
Z 717T 717T
1
n=l
(l)"2z
Z
2
- 7l
2
7T
2
Solucin. 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 - =
e
z
- l 2 2 2
2
n-l
2z
z
2
+ 4n
2
7r
2
'
Solucin. Utilizando la serie de Fourier de la funcin
x (p(x) = eos ax, ir < x < ir,
obtenemos
eos ax
d v
eos nx,
donde
n=1
a
-
eos ax eos nx dx =
= (-i)
es decir,
n
2a senair
ir a
2
n
2
, n 6 Z
0
,
sen a?r 2a sen afl-
eos aa: = 1
air 7T
-iv eos nx
n=l
Para x = 7r tenemos
?r ctg 7T = 7T
OS CK7T
sen 7r
1 A 1
=
ex
A
' a
-
n=l
1
- n
1
'
Efectuando una prolongacin analtica del eje real
al plano complejo, llegamos a la solucin del problema
planteado:
oo _
1 2 2
z z
n
2
n=1
3. Productos infinitos
El anlisis de las funciones en el plano complejo revela no slo
sus propiedades nuevas y hasta inesperadas (por ejemplo, la
relacin entre la funcin exponencial y las funciones trigo-
nomtricas), sino tambin permite agruparlas en clases. La
utilidad de tal clasificacin es confirmada por su importancia
tanto en el desarrollo de la teora de las funciones, como en
su aplicacin.
3.1. Productos numricos infinitos
Se supone que el lector est familiarizado con el concepto
de producto infinito de nmeros reales y con algunos de los
resultados ms simples de esa teora.
Sea {z
n
) una sucesin arbitraria de nmeros complejos.
Definicin 1. El producto infinito
na+*)
(1)
se denomina convergente si la sucesin (P
n
) de productos parciales,
n
Pn = n *
1
+ **)'
k=1
converge a un lmite P finito y diferente de cero: P
n
-+P,0 < | P| < oo.
El lmite P se denomina valor del producto infinito (1) y se denota
oo
mediante +
n=l
Si entre los factores (1 -f z
n
) hay un nmero finito
de factores nulos, el producto infinito es convergente o
divergente segn lo sea el producto infinito obtenido a partir
del producto dado despus 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 z
n
= 0. En efecto,
n*oo
Pn
lim (1 -f z
n
) = lim
n-oo ->oo Jr
n
_i
P
P
i;
por consiguiente, z
n
0.
Teorema 1(de convergencia del producto infinito y de la serie numrica
correspondiente). Elproducto infinito J~[(l + z) converge o diverge
simultneamente con la serie
^ l n (1 + z), - 7T < Im l n (1 - f z) ^ 7r.
demostracin. Vamos a suponer que el producto infinito
[(1 + z) converge. Entonces
l i mP
n
=P , P / oo,
n*oo
1
onde
Pn = ( 1 + **)>
P = rer
fc=i
r
;
Pn = r
n
e^\ -7T < <p
n
^ 7T, entonces 1 + z
k
-7r < &
k
7r, luego ;
or tanto,
27r (m
n+1
- m) = 0
n+l
- (0 y ip
n+1
- <p
n
-+ 0, entonces obtenemos
27r(m
+1
- m
n
)| < 27r para valores de n suficientemente
grandes. Por tanto, m
n+1
m
n
m para los n indicados y
S
n
= ln P + 2mni. As pues,
00
lim S
n
= Y] ln (1 + z
n
) = ln P + 2mm,
7I+0O *
n=1
s decir, la serie ln (1 + z
n
) converge.
g m - m - h r ; :
3E
00
Sea ahora ln (1 + z
n
) = 5. De la igualdad (2) se
n=1
obtiene que
C *
=
n/
de donde
lim P
n
= exp { lim S
n
} = e
s
= P,
n>oo noo
es decir, el producto infinito + z
n
) converge.
Si el producto infinito J K
1
+
z
n) diverge, entonces
tambin diverge la serie ln (l + z
n
), pues suponiendo
lo contrario obtendramos una contradiccin con lo anterior-
mente demostrado. Anlogamente, de la divergencia de la
serie ^ ln (1 4- z
n
) se deduce la divergencia del producto
infinito +
z
n)-
Definicin 2. El producto infinito (1) se denomina absolutamente
convergente si converge el producto infinito
La serie ^^ z
n
y el producto infinito (1) tienen la
caracterstica de que ambos a la vez bien convergen absoluta-
mente, bien divergen. En efecto, la estimacin 1 + \ zj\ < e'^'
conlleva a las siguientes desigualdades vlidas V n N:
kl + 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 numrica, respec-
t a
tivamente, constituyen sucesiones montonas crecientes, las
cuales, segn (4), estn simultneamente acotadas superior-
mente o no lo estn.
Teorema 2. Todo producto infinito absolutamente convergente converge.
'4 Demostracin^ Supongamos que el producto infinito (3)
converge. Sea P su producto parcial, P
nX
+ P. Como
n
Pn = Y[(
1
+ M),
k=1
Pn - Pjii = (1 + \ Z
X
\ )... (1 + l ^-i Dl ^j, n > 2,
para los productos parciales del producto infinito (1) tenemos
Pn ~ Pn-1
=
Pn-\ Z
n
,
\ Pn ~ Pn-l\ = \ Pn-l\ M
< (1 + | *!| ) . . . (1 + \ Zn-i\ )\ Zn\ = P
n
~ f
Por cuanto P
n
P, la serie J - P_i) (n ^ 2)
converge y, segn el teorema de comparacin de series, la
serie -P_i ) (n > 2) tambin converge. Esto significa
que P
n
P
0/
P
0
# oo. Queda por demostrar que P
0
5 0.
Por el teorema 1, la serie ^ | z
n
| converge. Dado
que a partir de cierto nmero n los mdulos |1 + z
n
estn
acotados inferiormente, la serie ^ converge. Por
1 + z
n
tanto, de acuerdo con el teorema 1, el producto infinito
n ^l + Y+~z~ )
conv er
8
e
^ junto con l, converge el
producto infinito f j q
n
, donde
?n
n ( -
Zk
1 + z
k
Esto se puede comprobar tomando
Pn^qn y P
As pues, existe lim q
n
= q
Q
0, y como q
n
= entonces
noo *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 al
conv er
S
e
1
(v. teorema 1). Efectivamente, sea e = Entonces existe un
n
e N tal que Vn > \ z\ < - (ya que \ z

n
\
0 en virtud
de la condicin necesaria de convergencia de una serie). Para
los n indicados obtenemos la estimacin
{ln (1 + z
n
) | M _
2 3
z
n
z
n
i Î
2 3
^
1 1 1 1
1
1
de la cual se deduce que Vn ^ n
| ln (1 + z
n
)\ < 2\ z
n
\ . Por
consiguiente, la serie ^ ln (1 + z
n
) converge absolutamente
y la afirmacin a demostrar constituye una consecuencia de
la igualdad
H(1 + Zn) = exp \ Y1
ln

1 + Zn)
f
=1 ^ =1
J
(v. teorema 1), pues para los trminos d las series absoluta-
mente convergentes se cumple la conmutatividad.
s
 C; Vn G N
D/
n
= G, donde G C C es una regin. Si Vz 6 G el
producto infinito ]Q(1 + f
n
{z)) converge, se dice que converge
puntualmente en la regin G, definiendo de este modo cierta
funcin z P(z) en G. Si la sucesin {P
n
) de productos
n
parciales P
n
J~J (1 H- f) converge uniformemente a una
funcin P (P nt P) en todo compacto K C G, e\ producto
infinito n( l + / )
se
denomina uniformemente convergente en
ta regin G. Segn el teorema 6, p. 1.3, cap. 2, t. 6, el producto
infinito n( l + fn) converge uniformemente en la regin G
si, y slo si, la sucesin (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 sucesin numrica {a
n
) que cumpla las
condiciones siguientes:
1) VneN H / nl K o;
2) el producto infinito + <*) converge.
Demostracin. Dado que el producto infinito I J (1 + a
n
)
converge, entonces la sucesin (P
n
) de productos parciales
n
P
n
= n (1 +
a
fe)
es
fundamental:
fc=i
V e > 0 3 n
N: V (n ^n
E
, p 6 N)
n , n+p
iVn, --P = 11(1 + O*) ( J J ( l + <,*)-
1 ) <.
jllllh \
' j . . ' - A i
Para n^ n
e
y todos los p N estimemos
"+P n i. n , n+p
n d +A - n d +A ) = i i (
i +
A ) ( r i ( i +/ *) -
*=1 "/ c=1 \ fe=n+l
De las propiedades de la norma uniforme se obtiene
n+p
A=n+1
na+/*)
n+p
&=i
jt=i
n+p
n i
1
+ai d ( i i ( i +H M D - 1 .
k=n+1
Hagamos P
n
(!+/ *) Teniendo en cuenta la condicin 1
fc=i
V {n ^ n
, p N) obtenemos
. n+p . n , n+p .
es decir, la sucesin (P
n
) es uniformemente fundamental '
el producto infinito flCl + / ) converge uniformemente en L
regin G.
3.3. Representacin de una funcin entera
mediante un producto infinito
Sea (a
n
) una sucesin tal que los mdulos de sus trmi
nos forman una sucesin no decreciente. Supongamos qut
a
= a 0, y que un nmero finito de a
n
pueder
ser iguales.
p i:;
Consideremos el producto infinito
x exp
La 2 \ a
n
4* -
I Y aY " !
Vn\ Q>n) )
(1)
donde los nmeros p
n
6 Z
0
son tales que la serie
(n ^
(2)
converge absoluta y uniformemente en todo crculo
Kr {z O \ z\ < } (se puede tomar, por ejemplo,
p
n
=n~ 1).
Demostremos que el producto infinito (1) converge
uniformemente en todo compacto K cC .
Introduzcamos la funcin
9n(z) = ~ '
Entonces
ln g
n
{z) =
= ln ( l -
exp
{a
n
2 \ a
n
"f . 4*
Pn
$1
Z 1 ( Z
+ + "
a
n
2\ a
n
+ ...+
Pn \ n
Pn + 1 \ a
n
Pa
+1
p
n
+2 \ a
n
P*+ 2
Pn + 3 V a
n
>+ 3
Para ^ q < 1 obtenemos la estimacin
a
\ Pn+l
1-ff
(3)
Para todo compacto f C C existe un nmero n
0
tal que
Vn ^ n
0
f C = {z . C: | z}< Por consiguiente,
s>>s> SSVNS^S % W s Y s<\ > > s>
(SJ^^^SS^wi i . X N .i X <v\V <
S
la serie
]Pln0
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 funcin
analtica g
0
. Este hecho implica la convergencia del producto
infinito
II 9n(z) = f
no
(z) = e
9
"
(z)
,
(4)
n=
0
siendo /
0
una funcin no nula analtica en el compacto K .
n
0
- l
El producto infinito (1) difiere de f
no
(z) en el factor 9n(z)
n=l
que se anula slo en los puntos o>\, a-i ,..., a
no
-i ' Como K
es un compacto arbitrario, entonces z -> P{z) es una funcin
entera con ceros {a; n N}, a
n
^ 0, y la multiplicidad del
cero a
k
es igual al nmero de trminos de la sucesin (a)
iguales a a
k
. El producto infinito (1) se denomina producto
infinito de Weierstrass.
La funcin z <p(z) = z
x
P(z) es entera y tiene en
el punto a
0
= 0 un cero de multiplicidad A, as como una
sucesin de ceros (a
n
), a
n
0, lim a
n
= oo.
noo
Ahora ya podemos demostrar el teorema de Weiers-
trass de representacin de una funcin entera mediante un
producto infinito.
Teorema (de Weierstrass). Toda funcin entera f con un conjunto
infinito de ceros, donde z ~0 es un cero de orden X, (a
n
) es ta sucesin
de Jos dems ceros y lim a
n
= oo, se puede representar mediante un
11'QO
producto infinito
m
= z
x
e
h{z)
n
1
71=1
x exp
\ a
n
2 \ a
n
+ ... +
Pn
(5)
--tilili r - ci :
donde h es ciea funcin entera y los nmeros p
n
se eligen de tal
manera que la serie (2) converja.
Demostracin. Como la funcin z <p(z) z
>l
P{z) es
entera y sus ceros coinciden con los de la funcin / , la
funcin tambin es entera (se considera que sus puntos
singulares evitables han sido evitados) y no tiene ceros en
el plano C. Segn el teorema de monodroma (v. teorema 2,
p. 1.3, cap. 3, t. 6), la funcin
h(z) = ln
m
<p(z)
tambin es entera y, por consiguiente,
f(z) = e
m
<p{z) = z
x
e
m
P(z).
3.4. Desarrollo de la funcin sen z
mediante un producto infinito
En calidad de ejemplo, desarrollemos la funcin entera z f
sen z en un producto infinito. La funcin sen z tiene un cero
simple en el punto z = 0 y ceros simples en los puntos
a
n
tvk {n = 1, 2,...). Por cuanto la serie ^ ( - )
njO ^
n
'
converge en todo compacto, en el producto infinito (1), p. 3.3,
podemos tomar p
n
= 1 para todo n. De acuerdo con la
frmula (5),
sen z = ze
h(z}
n
o
727T /
siendo h una funcin entera. El smbolo J ]' significa que no
se toma el factor correspondiente an = 0.
mi
.^H'mmm
Sea K C C un compacto arbitrario que no contiene
los ceros del seno. Para todo z E K obtenemos que
ln sen 2
00
t / /
h(z) + ln z + (
ln
(
1
~
j| = 00 *
z \ z
+
mr} nir
dz
ln senz = ctg z ~
0 0
/
h'(z)+-+Y! ( +
1
- ) -
z \ z - n-K nir /
=00
x
'
Comparando la igualdad obtenida con el desarrollo de ctg z
en fracciones simples (v. frmula (11), p. 2.3), obtenemos que
h(z) const. As,
sen z
00
n=-oo
zf(nir)
sen z
A partir de lim = 1 hallamos que C 1. Consi-
r
2^0 z ^
guientemente, el desarrollo de sen z mediante un producto
infinito es
sen 2 =
IT O-i)-*"
72 = - 0 0
x
'
71=1
nh-
n
2
7r
2
pues, como la serie - converge absoluta-
mente, podemos unir los factores de ndices - n y n ,
3.5. Gnero y orden de una funcin entera
Sea / una funcin entera y (a
n
) una sucesin de ceros suyos
tal que a
n
^ 0, lim a
n
= 00 y la serie (2), p. 3.3, converge
n~>oo
Y'Sft
para p
n
= p, donde p es el menor nmero entero no negativo
para el cual la serie converge. En este caso el nmero p se
denomina gnero del producto infinito
P(z)
= n K
exp
\ ( z
P
(sta es la frmula (1), p.3.3, para p
n
= p). Entonces la
frmula (5), p. 3.3, adquiere la forma
l a
n
2 \ a
n
P a) }'
(1)
Si h es un polinomio de grado p\ , se dice que / es
una funcin de gnero finito igual a max{p, pi}.
Cuando no hay ceros'o, el gnero de la funcin / es
igual a pi, es decir, al grado del polinomio h.
Por ejemplo, sen z es una funcin entera de primer
gnero {p = 1, p\ = 0).
En los dems casos, cuando h es una funcin entera
trascendente o la serie >
r
1
no converge para ningn p
no negativo, la funcin / se denomina funcin entera de gnero
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 demostracin no entra en el mar-
co de este libro, nos da una idea del comportamiento de
una funcin entera de gnero finito cuando sta tiende
a infinito.
f p :r
li;
Demostracin. La primera parte de la afirmacin y la
desigualdad ^ q ^ p + 1 se deducen directamente de la defi-
nicin de orden de una funcin entera y de la desigualdad (2)
para a = 1/
^ Una demostracin completa de ste teorema, as como del teorema
de Poincar, se puede encontrar en el libro Biteadze A V, Fundamentos du
teora de las funciones analticas de variable compleja, M., Naka, 1972 (en
ruso).
3.6. Funcin meromorfa como el cociente
de dos funciones enteras
Sea F una funcin meromorfa y sea z <p(z) z
x
P(z)
una funcin entera representada en forma de un producto
infinito. Supongamos que los ceros de <p(z) coinciden con los
polos de la funcin 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 funcin F, entonces suponemos A = 0.
La funcin ip ~ F(p es entera, pues los polos de la
funcin F se simplifican con los ceros de la funcin tp. Por
tanto,
if>
<P
As pues, toda funcin meromorfa es igual al cociente de
dos funciones enteras. La afirmacin recproca tambin se
cumple: el cociente de dos funciones enteras es una funcin
meromorfa. Este hecho sugiere una segunda definicin de
funcin meromorfa (la primera definicin se da en el p. 2.2):
una funcin F es meromorfa si se puede representar como el
cociente de dos funciones enteras.
Problemas resueltos.
Solucin, a) Dado que
k=1
k(k +2)
TT (* + V
2
i *<* +
2
)
_ (( + ^)Q
2
-
2
_ + 1)
~ n\ (n + 2)! n + 2 '
obtenemos
n=1
N N
+ 2) / oo
= lim P = 2;
b) Tenemos:
p=n
fc=2
fc
3
-l
fc
3
+ l
r r (fc - + fe +1)
+D(fc
2
- fc+1)
2 (n - 1) !
II
(n + 1)! ( f e- l )
2
+ (f c- l ) + l
2 n
2
+ n -f 1
n(n + 1) 3
^ n
3
- 1 2
II "TT7 =
l i m P
=
V
71=2
4 Solucin. Segn el teorema 1, p. 3.1, estos productos infinitos
convergen o divergen junto con las series respectivas
/ i\ 1 / 1 Y ^ 1
SH
y U : ; V :
I >K K l >H )
Dado que la serie
converge [ ln ( 1 +
X> (! +
diverge ( arctg ~
V n,
y el segundo converge.
y la serie
, el primer producto infinito diverge
- ) ^ 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 dems, la convergencia es
J
uniforme en todo crculo
K
r
= {z C: \ z\ <r <3}.
Por consiguiente, el producto infinito dado define una funcin
analtica P en el crculo K
r
.
b) El producto infinito converge en C y constituye una
funcin entera. Esto se deduce de la convergencia absoluta y
z
uniforme de la serie ) r en todo crculo
Kr = {z e C \ z\ ^ R < 1}.
c) El producto considerado es un producto infinito
de Weierstrass para a
n
= - n y p
n
= 1. Por consiguiente,
converge en C y representa una funcin analtica en C.
Solucin. Segn el teorema 1, p. 3.1, este producto infinito
converge o diverge absolutamente junto con la serie
1 1
E
n )
n> 2.
Esta serie de potencias de r converge slo para \ z\ > 1, Por
\ z\
consiguiente, la regin de convergencia absoluta del producto
infinito es el conjunto D = {z C: \ z\ >1}.
A Solucin. Fijemos un z G C. Para valores grandes de n
tenemos la frmula asinttica
1 -
c + n
zn
= 1 - 1 -
c + n
I + - + O
n
z z ^ ( 1
+ 0 -
c + n n \ n'
cz
n + c\ n
+O
Si el nmero c no es un entero negativo, la serie
zjn
1 1 e
c + n )
converge absolutamente porque converge la serie
W J ^ L + of i ) ) .
-^\ \ n + c\ n \ n
2
/J
Segn el teorema 1, p. 3.1, el producto infinito dado converge
absolutamente si c^ n, n N.
mw^-'r . ...
I îiMîrfi >> Wij iV^^WW ^p* PMlij * JLMlU Li J
A Solucin, Analicemos la funcin
n
z
n ~
z
-
n=k
1
(3)
en el crculo T|
Zt
[ = {z C: \ z\ < | zfc| }. Todos los factores
de (3) son distintos de cero. De la estimacin
ln(z)l =
(z
n
- z)z
n
'
1 -zz
n
1 ~\ z
n
\
2
2(1
\ l-zz
n
\ 1
M)
\ * k \
y de la convergencia de la serie (1) se deduce que el producto
infinito (3) converge uniformemente a una funcin analtica y
no nula en el crculo K\
Zk
y, adems, el producto infinito (2) es
una funcin P analtica en el crculo K\
Zk
\ , la cual se anula
slo 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 funcin analtica en el crculo K = {z C \ z\ < 1}y se
anula solamente en los puntos z\ , z
2
,....
Estimemos el mdulo de un factor arbitrario del pro-
n - z
ducto infinito (2) para \ z\ < 1: z < \ z
n
\ < 1. Por
1 -zz
n
consiguiente, \ P(z)\ < 1 Vz K.
* <o 4 t i 4 ** 1 ^v >, s /
xt,x 9A fa f * ^ ^f * x*
<< > > * < > >^ > ^/ \ v *
5>S<- x < > J < > ^ ^ - ' ' . .
: n . Mj a<v e a w t <SJ . " â v ;<;
Wa D
>>.<. >v>yf>x << o '
i
f 4% "La sS ^ ^, . .
: .. . . <
xV i . ' . t '
<<, ' < 'f V f
A . , f /
' ^ " * s s ** . *
X < V .
>X3X ^ >$$
x < y x y x 4 < x<r>v>>x - <^v< < . . .
w ^ w : x :
4 Solucin. Utilicemos la frmula de desarrollo del seno me-
diante un producto infinito (v. p. 3.4). Tras una serie de
transformaciones obtenemos
az bz
e e =
ob ( a-b
7
a-b
= e 2 [ e i - e 2 .
o+ft
r
a b
= 2e~2~ sh
z =
. (a - b)iz
= - 2i e 2 sen -
= 2 e 2 z
2 2
1 +
(fl - bfz
4ir
2
n
2
o+ft
(a - b)ze 2
2 2
(a - bfz
4n
2
7r
2
^ Solucin. Cuando n oo tenemos
= O
a
2
n = O
1
1
a
2n-l = O
y/
din = O
n
I
71
entonces a
n
= O
1
cuando n + oo
< = OI i
V/
y las series a y ^ a
2
divergen por el criterio de
comparacin (con la serie armnica).
Vemos que el producto infinito J 7(l + a
n
) satisface la
condicin necesaria de convergencia. El producto converge
si, y slo si, n( l +
ft
2n-i)(l + 2n). Ya que
1
(1 + a
2n
-i )(l + a
2n
) = -
rty/n
Bita
y la serie ^ conver ge, entonces tambin converge el
producto infinito dado.
M Solucin. Dado que
2
M{r) max | eos az | =
[je r
-a Z ^
M
_
r
(2n)\
2n4n
e
| a| r2
+ e
2
- r
4
ch | a\ r'
i arg a
y en el punto zq Vire 2 se tiene f(z
Q
)
tenemos que
M(r) =
e
l| r
2
+ e
-| a|
r
2
Utilizando la frmula (4), p. 3.5, resulta
ln ln
q = lim
roo
ln r
= lim
ln (| a| r
2
+ ln (l + e
2\ a\ r'
ln2
r>00
ln r
mm
-BMSm
Aplicacin de los residuos
al clculo de integrales
y de sumas de series
.1. Aplicacin de los residuos al clculo
de integrales definidas
t
1 teorema fundamental de los residuos (v. teorema 1, p. 1.3)
ermite reducir el clculo de una integral curvilnea a lo
rgo de una curva cerrada al clculo de la suma de los
siduos de la funcin subintegral en los puntos singulares
arcados por la curva. A veces este mtodo tambin 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 clculo 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 funcin racional de x e y,
ual no tiene puntos singulares en la circunferencia 7 =
, y) R
2
: x
2
+ y
2
= 1}. Entonces es vlida la frmula
e {Zk; k = 1,71}son los polos de la funcin
1 f z - l / z z + l/z\
z -R |
:
,
z \ 2i ' 2 )
mecientes al crculo unidad K = {z eC: \ z\ < 1}
I SS
Para obtener la frmula (1), en la funcin subintegral hay que
realizar el cambio de variable z = e*. Entonces,
I T
/
f(sen t, eos t) dt
z- 1/ 2 z + \ /z\ dz
IZ
r = (7/ 7or)-
Aplicando ahora el teorema de Cauchy de los residuos llega-
mos a la frmula (1).
2) Sea / una funcin analtica 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 = Re
li
, 0
supongamos que
Af(fi) = max | / (2)| , U > max \ z]\
z7i
7
lim RM(R) = 0,
R-* oo
Entonces se cumple que
(2)
. < . . .
Sea 7 = l - A 1 U <' T = (T.
7
) = (Ti. r , ), un. curva
suave a trozos cerrada y orientada positivamente (f.g. 1).
Segn el teorema fundamental de los residuos, tenemos
/
dz
i l .
/
dx +
/
C V
fc=l

-R
o|
Fig.l
Pasando en esta igualdad al lmite cuando R > +00
y teniendo en cuenta la condicin (2), obtenemos la fr-
mula (3).
3) Lema (de Jordn) Sea f una funcin analtica 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
R->oo
(4)
(o bien lim M(R
n
) 0, donde (R
n
) es una sucesin de nmeros tal
R
a
>00
que las semicircunferencias 7^ con centros en el origen de coordenadas
no contienen puntos singulares de la funcin f). Entonces V A > 0 es
justa la igualdad
J /
R-ôoJ
f{z)e
iX
dz = 0, T
R
= {
lR/
7-)
r
R
lim
RnÔO J
f(z)e
iXz
dz = 0, = ).
(5)
< Demostracin. Estimemos la integral del segundo miem-
bro de la frmula (5) utilizando la conocida desigualdad
21 f ir'
sen t > , la cual se cumple V t G O, . Tenemos:
7T
r
2
/
/ (*)e
iA
* z
^/ / ( i k V
cos^- A f i sen^^ .
^ 2AT(2)
/
AJtsert
= 2RM{R)
j t/ 2
/
-A/lsen
^ 2RM{R)
2 2Afl
J e 7T dt~~
M(R)
-XR
De la condicin (4) y de la estimacin obtenida se deduce la
frmula (5).
Nota. Analizando la demostracin del lema de Jordn vemos que la analtici-
dad de la funcin / no es esencial.
El lema de Jordn demostrado para el semiplano
superior puede ser enunciado y demostrado de forma anloga
para los dems semiplanos.
Tomando en todos los casos A > 0 y asumiendo
que la semicircunferencia jr se encuentra en el semiplano
correspondiente, escribimos la frmula (5) para los dems
semiplanos:
b) Z
dei
= {zeC:Rez^0}, lim / f{z)e~
Xz
dz = 0;
R>00 J
Tr
J-
r
R
J
iXz
dz = 0;
(6)
(7)
H >
\ t J l :
^^pf irp j ^
c) =
/
f{z)e
Xz
dz = 0.
(8)
Si la funcin / cumple las condiciones del lema de
Jordn y tiene en el semiplano Z
Qr
un conjunto finito de
puntos singulares {a^; k 1, n}, lma
k
> 0, entonces,
razonando de la misma forma que en 2), V A > 0 obtenemos
la frmula
+00
/
iXx
ib
dx = 2tt V res(/ (z)e'
A
*),
/ 9
Jk=l
de donde
-f oo
/
+oo
(9)
J f(x) sen Ac = Im ^2tti res (/ (z)e
lAz
) j . (11)
OO
Ejemplo
+00
/* ar
J 1
x sen Ax ze
iXz
+ r
dx = Im 2ir i res - Im
i 1 + z
2
2iri i
- A
7T6
-oo
4) Sea / una funcin 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
frmula
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 b
2
~r b
2
+r O b
r
r
R
Fig.2
< Consideremos la curva cerrada de Jordn
m m
I rt = [-R,R] \ U (bj - r < X < bj + r) I j 7
j r
,
i
dnde 7j
r
es una semicircunferencia superior con centro
en el punto bj y radio r suficientemente pequeo; 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/
r
m+1/
V
R
), 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
/
IV
f(z)dz =
1 *
- s /
f(z)dz +
7=1
r
jr
/
f(z)dz+ / f{z)dz =
= 2tt
fc=i
res/ (z).
a
k
Pasemos ahora en esta frmula al lmite cuando R oo y
7* 0. Tomando en consideracin que
lim f f(z) dz = 0,
2 ~k x> J
r
lim [ f{z) dz~~\ res f{z),
r>0 J 2 bj
r
ir
llegamos a la frmula (12).
De un modo anlogo se puede generalizar la frmu-
la (9): si la funcin / tiene polos simples bj ( j = 1, m) en el
eje real, entonces
+00
f(x)e
iXx
dx =
-OO
n
= 2iri y " res }{z)e
ix
' + tt V res ](z)e
ix
'. (13)
w * U "i
+00
tl x
/

dx (t > 0) es igual a
etz
1t res = 7Ti.
o z
5) Sean / una funcin racional y {a
k
-, k ~ l,n} el
conjunto de sus polos, ninguno de los cuales se encuentra en
el eje real positivo. Sean, adems, p y q dos nmeros enteros
(p < q) tales que
f(z) = o ( ~) , z 0;
V z P j
(14)
11
i:
v
i
Fig.3
Analicemos la funcin z h z
a
~
1
f(z) (p < a < q no es un
nmero entero) en el plano z con un corte a lo largo de la
semirrecta (0, +oo), especificando la rama z
a
~
l
mediante la
igualdad
2 = e
y 1 1 5
0<ar gz<2?r .
El conjunto ordenado de curvas orientadas (fig. 3)
rv = (ri,r
fl/
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 z
a
~
]
f(z)dz = f z*-}m dx ^
r
R
+ /
dz =
Tr
n
= 2th ]>] resz
a
"7(z)-
a
k
fc^-1
Pasemos en esta igualdad al lmite cuando R +00 y r 0.
A partir de las condiciones (14) se deduce que
lim z
a
~
1
J
f(z) dz = 0;
r
lim z
a
~
l
rÔj
f(z) dz 0,
in-
debido a lo cual tenemos
+00 +00
J X
a
-
1
/() dx = -e^
1
**
1
' J x^fix) dx
o 0
n
/T1
-feo
De este modo, la integral j x
a 1
f{x) dx existe y
o
4.2. Aplicacin de los residuos al clculo
de sumas de series
Sea / una funcin meromorfa con un conjunto finito de polos
.. ' t ^
{a; fc = h n j entre los cuales no hay nmeros enteros. Sea
(7)
u n a
sucesin de curvas cerradas de Jordn que abarcan
' . . I fS j j j . _. j
el origen de coordenadas sin pasar por ninguno de los puntos
enteros z = n ni por los polos de la funcin f , y tales que
r
m
> 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
n-oo J
TTZdZÔ, r
m
=(
7 m
, 7^), (1)
lim
nôo J sen 7rz
sen 7T2
(2)
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
X>l )
n
/ ( n) = -1T X )
m
n=1
a
k
sen 7TZ
(4)
Demostremos la frmula (3). Para simplificar asumimos que la
curva 7
m
es simtrica respecto al eje imaginario. Tomemos m
tan grande que todos los polos (k = 1, ra) sean abarcados
por la curva 7
m
. Denotemos mediante 2P
m
el nmero de
puntos de coordenadas enteras abarcados por dicha curva.
Entonces, segn el teorema de los residuos tenemos
i I
m c t s
7TZ dZ
yz
res ct
g
1( 2
+
ct
g ** -
/ I i
fc=l

= V res ctg 7TZ + V / (j).
r
fl.
r
\ H i t < S>) I ' ' * . ' 1
Pasando en esta igualdad al lmite cuando ra oo y tomando
en consideracin (1), llegamos a la frmula (3).
La frmula (4) se obtiene anlogamente, utilizando (2)
7rf{z)
y teniendo en cuenta que res (l)
J
/ (j). Ntese que
i sen 7xz
las condiciones (1) y (2) se cumplen si f{z) 0(z ) para
-{
oo y 7m = i 2 G C: \ z\ = m +
V2 G 7
m
tenemos
a -
ya que en este caso
^ 1 + e _ , r
I r t S ' ^T T T T '
1
j sen7rz| ^
Sh -
a Problemas resueltos.
< Solucin. De acuerdo con la frmula (1), p. 4.1, consideremos
la funcin
1 2 i _
( z + l/z\ ~~ bz
2
+ b + Haz ~
, /
f l
-
l 6
. j
donde
b(z - zi)(z - z
2
y
= +V a
2
+ 6
2
) ,
^mmmmm
:
. -
:
;; k ^'. ts ki^^SI
=
l
- ( - a - \ / a
2
+ 6
2
)
Si a > O, el punto est en el interior de la circun-
ferencia 7 = {2 e C: \ z\ 1}, mientras que el punto z
2
se
encuentra en su exterior. De la frmula (1), p. 4.1, obtenemos
M
dt _ 2 i
ib eos t zi b(z z\ )(z z
2
)
4ni 2tt
^1-^2) Va
2
+ b
2
'
Si a < 0, el punto z\ se encuentra fuera de la
circunferencia 7 y el punto z
2
est en su interior; por tanto,
f dt
J a ib i
4ni
ib eos t b(z
2
- z\ )
2tt
Solucin. Como la funcin x y-* <p(x)
sen mx
2a eos x+ a
2
(D
v
[7r, 7r]) es impar, entonces / <p(x) dx = 0, luego
- I r.
-7T
?
mx
dx
2a eos x + a
2
'
- 5T
f
Haciendo el cambio de variable e
iX
= z, transformamos
la integral I en la integral por la circunferencia orientada
positivamente F = (7,7or)/ y ~ {z tC: \ z\ = 1}:
7 = -
u
z
m
dz
(z - a)(z - 1/a)'
, , i 2wia
m
2?ra
m
Si | a| <1, entonces 1 - = -
a a 1/a 1 a

_ . . _ 2tt
Si ]a| >1, entonces I
a
m
{a
2
- 1)
4 Solucin. Como / G I e 7t 6 i , donde
J
XOSX
eos (sen x) sen nx dx,
entonces
I + il
X
= J e
cosx
eos (sen x)e
inx
dx =
1 ,
/ eosx+mz/ tsena? , i sen
= 2 I ^ '
i J e +e*'*) dx.
No es difcil comprobar que J i = 0. Tomando e

tx
= z en la
integral, obtenemos
I = ^ J z"'
1
{e'+ e
1
") dz,
r
r = (7,7or)/ 7= | z| = l }.
Dado que la funcin z
n - l
e es analtica, el teorema de
Cauchy implica que / z
n 1
e
z
dz 0, por lo que
r
U* dz.
Segn el teorema fundamental de los residuos,
I = 7r res z
o
n-l l/z
' =
l*>x< r < <: '
<< <>f <v . ' > >-<
A< <a > < < '.>/
A . - : / >/ . " \
>x*x< / . ' .
OX*
<<,y<,X<X 'Y' <> v->
v , w x v ><^x > < - .
. . . , < . . . s .
v i , <.
. y <
^K J <<>. << '
x*r ''V ' v ' ' ; ><<. . -> ^ / A v v / ^' /
, * f , x < ' :
>.>>>; > > >v > /
-SV: 4 x v a v v ^ ^ ^ ' S1 t ^ ^ Al
< Solucin. La funcin z
ocho polos simples
J V
f(z) = r tiene en el plano C
1 +z
zk = e
%
(fc = 0,7),
de los cuales los cuatro primeros pertenecen al semipla-
no superior. Utilizando la frmula (3), p. 4.1, obtenemos
_6
(tomando en consideracin que la funcin <p(x)
l + x*'
jtl m^Mp
D9 ~ {-oo, +00) es par):
--oo
l +x
8
dx =
00
= *i
k=0
res
zt 1 +z
8
3 .,
- Z v^
1
_
~ 8 U, Zk ~~
k=0
K
Kl
7TI
( -i~ -3* _57r 7tt \
l e 8-f-e 8 +e 8 +e T )
e s +e
e 8
7T
- ' f - e' f ) +(1
,-3tt ,3TT
8 +e T
7T / 7T
- - sen - +sen
3?r
< Solucin. Hallemos los puntos singulares de la funcin
Jaz
Z l-
z
4
+z
2
+1
pertenecientes al semiplano superior:
i i
e 3
2?r
e T
1 .\ / 3
1
2 2
De acuerdo con la frmula (10), p.4.1,
+00
1 f eos ax
x
A
+x
2
+1
+00
-00
a?
4
+x
2
+1
.taz
7rt I res
^ * -> - + r e s ^
Z
4
+Z
2
+1 22 Z
4
+Z
2
+1
Az +2*i t +2z
_v3 3 V 3
s W O ^ f r S ^ ^ v. $
4 . >. . : . .
x< x >S4 ,
v<. . . \ '
v . A^s '< A WJ 1 W /rn, a s v . - n v ' . S
x<v- <4 << ' v , .
S^ ^X ^^X Â X ^^X ^ X ;<'
<s X X \ * t t ^. " > - .
<-?X< x4Vi f " '
.1V, "1
t w . . -
i*!-'-
1 1 ' r , '
< Solucin. Es evidente que
+00
1 x
2
~b
2
sen ax
~ 2 J f + b z ~ l ~
d x =
00
+<X> .
1 _ f x
2
-b
2
e
tax
J M W v
2 J x
2
+6
2
x
00
Uno de los polos simples z\ =ib de la funcin
,, , z
2
-b
2
e
iaz
z
"
f {z ) =
T T I 2
z
+b
2
z
se encuentra en el semiplano superior y el otro z2 0, en el
eje real. Aplicando la frmula (13), p.4.1, obtenemos
1
= j
I m
(
2?r
/ (*) +7r res / (*)) =
= i Im (27Te-
a6
+Trz(-l)) =7re~"
a6
-
Utilizando ahora la frmula (13), p.4.1, obtenemos
/ z +i(e
iz
- 1) 1 z +i(e
iz
- 1)\
= 7rt res r ^ r + - res t: ) =
\ ia z
3
(z
2
+a
2
) 2 o z
3
(z
2
+a
2
) )
. / i(a 4- e~
a
+1) i \ _
V 2a
4
4a
2
) ~
+1 a e ).
= wi
2 a
4
V 2
< Solucin. La funcin re h-* <p(x) =
x
*
enx
,Dv = (-oo,oo)
x
s
(x
2
+a
2
)
F 7
es par, luego
+00
+00
x - sen x
x
z
(x
2
+ a
2
)
1 f
dx = - I
2 J
-OO
x +i(e
ix
- 1)
x
3
(x
2
-f a
2
)
dx. (1)
"I"
00
eos X 1
En efecto, i f dx = 0, pues la funcin subinte-
-OO ^ l ~T & )
gral es impar, lo que conduce a la igualdad (1).
fellfe
Solucin. Tomemos r <a <R. Sean
7fi = {z eC : 2 =Re
, 0 ^t ^ *},
7r = {z 6 C: z - re
, 0 < ^tt}
dos semicircunferencias.
Consideremos una curva cerrada suave a trozos orien-
tada positivamente, formada por el conjunto ordenado de
curvas suaves orientadas T = (rv TR/ T2, I V) (fg. 4). La fun-
cin f tiene en el punto z = ia, z 6 Krt, im polo simple.
Segn el teorema fundamental de los residuos, tenemos
J J x
(x
l
+a
)
T
/
j _ gi2mx p 2 _ ilmz
x
2
(x
2
+a
2
)
dX
+J z
2
(z
2
+a
2
) **
17
| g2mz
2 7 r r s =
7r(e~
2mf l
-l )
' J z
2
(z
2
+a
2
)
rR
,i2mz
Haciendo tender R a infinito y r a cero, y teniendo en cuenta
que
& / z
2
( z
2
2mz
(z
2
+a
2
)
dz=0,
lint f
1
~
e2mZ
r
~*oJ z
2
(z
2
-ha
2
dz =
=lim
i2m
+2m +i
4 3 2M\
- m + ] z +
X * <
7T
=lim4 [ (-2m +i2m
2
re
i<p
+
r-o a
2
J \
obtenemos
+00
4 3 2 m
+I -ra + r e
2
ilmz
r i _
r
1
/ z
2
(z
2
+a
2
)
rr
dz
i
2 - 2 eos 2mx
x
2
{x
2
+a
2
)
+00
+. . . dy? =
2m?r
'
/
sen mx ,
-57-5 57 dx =
x
2
(a;
2
+a
2
)
x
2
(x
2
+a
2
)
2m7r
7r(e~
2ma
- 1) 2m7r ?r(e
2 ma
- 1 +2ma)
Solucin. Integrando la funcin
z i->f{z) = ^
Z
, (ln z = ln | z +i arg z)
z
+ a

a lo largo de la curva T (fig. 4), para todo a (r, R) hallamos
I
f {z)dz
= ^
dx+

ln z
z
2
+a
2
dz +
-r
+
J J r
dx+
J
I nz
z
2
+
dz =
-R
I nz 7T / .7r\
= 27T res -r r = - l na +% .
ia z
L
+a
a\ 2 J
WSmm
Realizando el cambio de variable x = ~t (t > 0) en la integral
7 l nxdx 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 lmite cuando R +00 y r 0. Obtenemos
+00 +00
l nxdaj / l nx + Tr 7r / 7T\
J ' ^T ^
d x =
a [
] a a + i
2)'
+00
/
l nxdx
+00
C
2
-f-
to f
dx
x
2
+ a
2
7T ITT
ln o H .
a 2 a
de donde
00
/
ln xdx 7r
ln a.
x
2
+ a
2
2a
Si a = 1, entonces
+00
i "
J x
ln xdx
+ 1
= 0.
M
Solucin. La funcin 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
x
1
dx
(x
2
4 a
2
)
1
'
00
podemos utilizar la frmula (3), p.4.1. Tenemos:
1 z
2
d z\ z~iaf
I = 2tt res - rr = 7r lim
id 2 (z
2
+ a
2
)
2
zîa dz (z
2
+ a
2
)
2
= 7TZ lim -
zia dz Z 4 ia
Haz
= 7vi lim - ; ~
z*ia (Z 4
4a
Solucin. La funcin 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
/
-00
dx
utilizando la frmula (3), p. 4.1, obtenemos
I iri res f(z) =
7l-1
7T2 . d
n
~
l
{z - i)"
_ _ _ _ _ ^.m *
+
l)n
lim
t t
in-l
(n - 1)! dz
n
~
l
(z 4- i)
n
'
Dado que
d
k
-(z 4 i)~
n
= (l)
K
n(n + l )...(n + fc- 1 ){z 4 i)
dz
k
(n+fc)
resulta
( T r =
(
"
i r l n ( n
+ < ^
lim
1
=
( - i r y n + l ) . . . ( 2n- 2)
zî dz
11
-
1
(z + i)
2n
~
1
t
2
"-
1
.2
2
"
-1
iri {\ )
n
~
l
n(n + 1)... (2n
1 =
(n - 1)!
iln-
12
7rn(n + 1)... (2n - 2)
(n - 1)! 2
2
""
1
?r (2n 2)! _
2 ((n - 1)!)
2
(2"
-1
)
2
~
7T (2rc
2 ((2~
Si n = 1, entonces I = J
2)! _ 7T (2n - 3)!!
2)!!)
2
" 2 (2n - 2)!!
+
00
dar
n > 1.
o + l
z->i z + i
Solucin. Dado que la funcin z w f(z)
(z
2
+ a
2
)(z
2
+ 6
2
)
tiene en el semiplano superior dos polos simples z
1
= ia y
z
2
= ib, utilizando la frmula (3), p.4.1, obtenemos
27ri^res f{z) 4 res f(z)j =
2tt ( lim * 4 lim
\ zîa (z 4 ia)(z
2
4 b
2
) z~>ib (z
2
4 a
2
)(z 4 ib)
i . i M
nwim
| I I , IIIVI! "I I l i l i l I III..! ^MIINiiiinimmiiniihi
2ia(b
2
- a
2
) 2ib{b
2
- a
2
)
ab(a + b)
9 t x f , v >x x<
< / * y a \ - ' ' w w
::
v
>x :
rt , - v ^ i ' '
y < > < > $^ sx >. >y >y : : $ x
' y >.>:>.>.< >..<> '
f , x >' >/ **'<>'< y< ~ ' y* ' ' '
--.VA <><' - ' ' - ' / ' '
< X<* y <*</ v < ' . '
.sv v " <v > . . X >v X ,
. v
a v". is . /
<v - ' N^' ' ' V
SoIucion. Obviamente
+00
/
-00
x
2
+ l
4
+ 1
dx.
Dado que la funcin z f(z) =
z
2
+ l
z
4
+ l
tiene en el semiplano
.3tt
L j
v
superior dos polos simples zi = e 4 y z
2
= e
4
, segn la
frmula (3), p. 4.1,
I = 7T (res / (z) + res / (z)) =
\ z
t
/
= 7Ti
-(
z
ll
l
\ 4z
3
\ Z=Z\
z
2
+ l
4z
3
(l+i l - \
= 3F + 9F =
\ 4e
1
T 4eT /
V2x / l + l - i \
_ (1+i f - (1- i)
2
4 - 2
\/2TT 4 7T
L2=Z2
7T 1+t 1
3tt + ~
e 4 (
i i
e 4
. y , v-y- <y/ >u
s X- / ,
. . . " 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 ^
Solucin. Utilicemos la frmula (10), p. 4.1, teniendo en
ze
iz
cuenta que la funcin z t pnp Pn p ! comi nl ann
r e-
cuenta que la funcin 2 tiene en el semiplano
z
-2z +10
r
superior un polo simple =1 +3i. Tenemos:
I =Re 27t res f(z) =
Z=Zi Z=Z\
ze
iz
Re 2iri lim =
z*l+3i Z - 1 +3
=Re2 ^ +30 exp {p +S)}=
6
= - Re (1 +3)e~
3
(cos 1 +i sen 1)
o
= - e I cos 1 - 3 sen 1).
x t x
Z
Z
<4 Solucin. La funcin z 1-+ f(z) = tiene en el
z
2
+4z +20
semiplano superior un polo simple 21 =- 2 +4. Aplicando
la frmula (11), p.4.1,.hallamos
I Im 2ni res f(z) =
Z=Z\
ze
iz
~ I m 2tt lim =
Z-+-2+4 z +2 +i4
llil
* <s.- ^ V : < y X
^ i i ^' < ? : * > s< x W
. ws. } i : : ^ j '
: ' : : yys i > x . ' * . - * . y< <
(- 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) =
4
7T
= e
_4
(sen 2 +2 eos 2).
Solucin. Dado que las funciones
eos ax
y x
tp(x)
sen ax
x
2
+t
1
'
D =(-00,00),
son, respectivamente, par e impar, podemos escribir
+00

* * * * * M
2 J
i ax
+62
da;.
.taz
La funcin 2 / (2) =r tiene en el semiplano superior
2 +o
un polo simple z\ bi, luego
J =tt res / (2) =
bi
7T lim : =
z-+bi 2 +02
2 bi 2b
Solucin. La integral I diverge, pues cuando x -+ 1 la
funcin subintegral tiene el mismo orden de crecimiento que
la funcin x > .
x - 1
Por cuanto la funcin z f(z) =
tiene un polo simple Z\ 2i en el semiplano superior y un
polo simple z
2
= 1 en el eje real, utilizaremos la frmula (13),
p.4.1, Tenemos:
I = Im \ 2iri res f(z) + ni res f(z)j
( e
iz
e
iz
\
Im 2-k lim + ni lim -r =
\ *- *(*+2i )(z- l ) z
2
+ 4j
( e~
2
\
Im ( 2ni; + ir i 1 =
V 4(2 - 1) 5 )
- 2
/ T e* 7T \
= I m
VI 5r^
+
T
(cosl + tsenl )
)
=
= Im
-2
7T
- e (- 1 - 2) + ~ eos 1
5T
- senl
7r ,
~ ~ (eos 1 -
M Solucin. Podemos escribir la integral como
+00
1 =
li J
-00
; tX
x{x
2
+ b
2
)
dx
f
pues
+oo
+00
- y
sen ax
x(x
2
+ b
2
)
dx y
-00
\
-00
eos ax
x(x
2
+ b
2
)
dx 0.
.taz
La funcin z
f(z) =
2
^ ^ tiene dos polos simples en
los puntos z\ = bi (en el semiplano superior) y z
2
= O (en el
eje real). Utilizando la frmula (13), p. 4.1, obtenemos
I = iri res f(z) + -i res f(z) =
Z 2
.taz
.taz
e 7T . e
n | {
m
+ lim ,
9
*-w z(z + bz) 2 *->o z
2
+
e~
ab
jr__
~*-2b
2 +
2b
2
~
=
26^ *
( - R , 2ti)
(R,2n)
C \ J
(-R, O)
Fig.5
(R, 0)
Solucin. Integremos la funcin z f(
z
) -
a Jo
largo de la frontera orientada positivamente ^dtl r ectn-
f
1
f ,
c
L
v r t
'f "
s en
los p
T
tos
<*' 2*),
( - a , 2tt), s p = (r
X/
r
2/
r
3
-, r
4
-)
(f g
.
5) :
/
/ (*) =
j f{z)dz + J m d z + J } { z ) d z + J
m dz =
J I* y j
-y
âJ^H-ft/
1 +
e
R+iy
d
y +

ax+2ira
d?/
1
+
e-iz+j, -
=
( 1
-
-R
+ i J c " ^
ai
~aR
1 + e
R
e
i
v 1 -f-
e
~R
t
%
y
dy.
(3)
Los puntos ZK = (TC + 2KN), K 6 son polos simples
de la funcin / . Dentro del rectngulo P se encuentra,
sin embargo, un nico polo Zq = tt. Segn el teorema
fundamental de los residuos,
I = 2-k res f{z) = 27r -licie
iair
ziir
Pasemos en la igualdad (4) al lmite cuando R
tomando en consideracin que
(4)
4-oo,
e
aR
e~
aR
lim t = lim =0 (0 < a < 1).
_>
+00
x + e
R
e
%
y R-*+oo 1 + e~
R
e*y
Obtenemos
+00
/
-00
e
ax
2 7rie
ta
*
jj
+ e* 1 - e'
2

2ttie
ia
* (1 - e~~
i2ffa
) _
4 sen
2
aTr
*i(e
imt
- e~
2 sen
2
an
e~
iav
)
wili
sen an
2 sen
2
air
sen a7r
Haciendo el cambio de variable t = e
x
en la integral
+00
f
1
.
T7
dt
'
obtenemos la integral analizada
+00
/ r
e 7r
=
4- sen a?r
-00
con lo que queda demostrada la igualdad (1).
En la integral
+00 .
r x
m
~
l
~ J l + x
n
dx (O <m < n)
i - - V *
: 1
1
. J j j - ^
.1 V.
r^l^^paffip
El lector, posiblemente, ya habr notado que para
0 < o < 1
+00
/
t
dt = B{a, 1 - a) = r(a)r(l - a) =
i +1 sen'
sen a7r
Solucin. Evidentemente,
/ =
2
+0O
Sh
dx
-00
y x = O es un punto singular evitable de la funcin subinte-
gral. Consideremos ahora la funcin
m = -
shz
/
Esta tambin tiene un punto singular evitable en z
polos simples en los puntos
z
k
= 7Tki (k Z\ {0}).
Tomemos la sucesin (R
n
) de nmeros positivos,
( 1\
R
n
= ( n + - J ir, v la sucesin de regiones
= 0 y
donde
71
2/
7r
' ^
s u ces
^
n
de regiones
C | z| 0}
fcstJM^
Fig.6
con fronteras orientadas positivamente dK
n
, = ff.^)
(fig. 6). Integrando la funcin f a lo largo de las curvas f)K
n
,,
obtenemos
/
0K
fa
J f(z)dz + j f(z)dz =
r*
r

__ 7?
r
in
-dz
Z
r es/ ( z ) = 27r i
t **
sh z-z
r e s
kvi z
snz
sh z~z
E
O l l - W ^ I
2zsh7+?chz L=k)r
k=\
JL^ -hit i _
fe=i
k ~
fe
fe=i
fc=i
'-'^SSMUt
Cuando n oo Ja sucesin i2n
guente, conforme al lema de Jordn
+00. Por consi-
Km J f(z)dz^0
y tambin
Ra
i m ? ( i
1 \ dx
sh x j x
=
( - D
n+1
= ln2.
n=1
Solucin. Utilicemos la frmula (15), p.4.1, tomando
y a = a + l
Para p = 0y g = 4 1a funcin / satisface las condiciones
especificadas en el punto 5), p.4.1. Teniendo en cuenta que
0 <a +1 <4, segn la frmula (15), p, 4.1,
+00
/
(1 +x
1
)
2
dx =
^ Solucin. Aqu p = O a - ? n, -
2
. J
4 F
'
q
~
>
a
~ r y se cumplen
l x s t
m d i c a d a s e n ei p u n t
5 )
'
p
-
4
-
j
- * * * *
2 ni
+res
1 _ f \ * yz(z
2
+4) -2i ^( ^+4)
- l __~
e
-
T
(
e 6
~e 6)
7T ^
2?r / 2
a

a
i _ g2jr(a+l) l
r
f ( 1 + ^2)2 + ( 1 + ^2)2
2 wi ( d z
a
d z
a
^ ( lim - + lim 7
1 - e
t2ra
dz (z +i)
2
dz (z - i)
2
Im /2i
a
(a 1) 2(- )> - 1)
1- e
i2ira
V -Si
+
8i
1 - e
i2ira
4i
- a) / ^
2(1 - e
l2
) V /
?r(l - a) 1
4 xa
eos
SSllil
1
mmrMwmmsmmm
f A l
<-
Solucin. Tenemos f(z) = y z =
(a + bz)
2
de segundo orden de la funcin / . Entonces
- es un polo
o
<+
ft
)
2
7T Cte 7TZ
res
-o/ & (a + &z)
2
= lim W ^ A _
z-+-afb dz \ (a 4- fr*^
2
/
S- t A ^
+ Solucin. Utilizando la frmula (4), p. 4.2, y tomando
f(
z
) ~ ~a 7, obtenemos
4
- a
4
1
. 1 ^ (-1)"
1_
ni L
2a
4
2 n
4
a
4
~
1
* ( f(z) f(z)
~ - / res + res +
la 2 \ a senr^ a semrz
f(z) f(z)
+ res - + res
~ia sen ir z -asen nz
1 tt / 1 1
I +
2a
4
4a
3
Vsen7ra shTra
4 Solucin. Aplicando la frmula (3), p. 4.2, obtenemos
res
1+y
2
ctgxz
Z
1
+ Z + 1
7T / (7T
K fiV3 \
2?r , tta/ 3
ctg 1TZ
res
-i-V5 + z -f 1
2
/ * ,\ / 3
- C t g( - - W
T
7T
y k < mkv?wvT ^
Solucin. 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
sen
2
ira
f*
r
ys
^ ^
!
y ^
1
: I , .
t . . . . i >
Solucin. Evidentemente,
y* H L
=
i

- ^ ^ y
E soncasos
particulares de la serie ^
+
, cuya suma ya se conoce
(v. frmula (1), ej.65). Tomando en (1) 6 = 2 obtenemos
Vv 1 7T
J =u r +2 )
2 =
w
7ra *
Para calcular la suma de la serie
frmula mencionada hacemos 6
a 1. Hallamos que
^ (o + 2n- l ) '
e
"
l a
= 2 y cambiamos a por
E
( +
2n
- D
2
4 sen
2
- 1)
Finalmente,
y * J z l Z L
L ( +
4 eos
2
xa
?ra
sen'
7ra
eos
cosra
7TCL
sen'
7r a
eos
__ 7r ctgTra
sen xa
' . v . / i j t - r i - v
Solucin. Escribamos la serie en la forma
00
1
oo
1
00
1
E
l _ v^
1
_ y -
1
(2n +1)
2
" ^ (2n + l)
2
J (1 - 2n)
2
n : =Q V
7
OO Ti 1
= E
1 r^v 1
(2n + l)
2
~ ^ (2n - 1)
=
n=oo
(2n +1)
:
-
n 0
(2n +1)
:
i
00
1
o Z j
n=-oo
(2n + 1)
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 7T
2
_ 7T
2
Solucin. Hagamos uso de la frmula (3), p. 4.2, tomando
f(z) = ,
1
, . Obtenemos
J W
z
2
+ a
2
^ 1 _ 1 y . 1
Z^
n
2
+ a
2 - 2a
2 +
2 ^ n
2
+ a
n=0 =-
0
1 7T / CtgTTZ Ctg 7TZ
res + res -y-r
2a
2
2 Vz=ia z + a
2
2=-a z
+ a

J_
2a
2
2a
2
1
ctg iira ctg iira
lia
+
2a
= -^(l + nacthira).
<4 Solucin. Tenemos:
00
(-i r

=o
n2 + a2
2a
2
' 2 ^ n
2
+a
2
n=-oo
1 1
o
- i " P
1
^ i \
2a2
+ n 0 ( 2n- l )
2
+ a
2
y ) -
= _ L _ ( CtgTTZ CtgTT-2
2a
2
2 [/2 4z
2
+a
2 +
z=:-fa/2
+
, CtgTTZ Cte7TZ
+ res - - + res 5
z=(l-l-ia)/ 2 (2z - l)
2
+a
2
z={l-ia)/2 (2z ~l)
2
+a
2
/ Tra 7ra
2a
2
2 4ia 4 ia
/ 7r ,7r a\ nr na\
c t g
(i
+z
y) . Û - ' t )
+ ~ +
4a 4ia
1 n na ir iira
2^
+
T a
C h
Y
+
i Ta
tS

Z
1 ir ira ir ira
tH cth-r th
2a
2
4a 2 4a 2
1 ir f ira ira\
+ cth - t h =
2a
2
4a V 2 2 J
1 X
1
2a
2
4a
1 ^
2a
2 +
4a
7ra 7ra
2a
2
1 +
c h
2
~- s h
2
-
2 2
7ra Ka
sh-ch
2 2
1
7ra xa
sh - ch
2 2
ira
shxa
Ejercicios
1. Hallar los residuos de las funciones siguientes en sus puntos singulares:
a) f(z) = (n N);
1 +z
n
ln
b) f{z) = (n G N);
' ' (1 +z)
n
c) / {.?) =eos* sen 2;
d) f(z) = (n N);
e) f(z) =
1
f) / (z) =e* ln
2 a
2- 6
2. Hallar los residuos de las funciones siguientes en sus puntos singulares finitos:
sen 2z
a ) f(z) = ;
b) f(z) =
(* +0 [z-^
eos z
Z T Z
^ s
mmm
\ ll ViU'.'A-;
3. Hallar res (l + - L . +...
+ (n
^
4. Hallar el residuo de la funcin f(z) = (Vi = 1)
1 \ fz
5. Sean f y g dos funciones analticas 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
. m 6f'(a)g"(a) - 2f(a)g"'(a)
X c S - - -
1
$(*) 3<?"(a)
2
Si el punto z = a es un cero simple de la funcin g y f(a) 0, entonces
/ (*) / W( ) ~/ (a)/ (a)
res
9iz)
6. Demostrar que
M 2& + 1 1
b) res = exp < i r },
(it+I/2)Tr cos
2
z l 2 J
res
fcw sen
2
z
~
G Z);
, (3ra)!
c) res =
-i (1 + zY (n - l)!(2n + 1)! *
7. Sea / una funcin que tiene en el punto del infinito un polo de orden k.
Demostrar que
res/ (z) = lim (*
ft
+
2
/
(
*
+I )
(*)).
0 0 ( f e + 1 ) ! - M X
V 4 W /
8, Calcular las integrales
- 2
/
r
/
r = (T' Tor)/ 7 = {z G G jz | 3};
{z

C | *| = 1};
sen + e~ eos 2 I d*, r = (7,
Twr
),
7
zGC kl =~
9. Demostrar las igualdades
f z
m
dz
a)
J
e
2 _
a
=211 + 1, r
B
= fa^jf), 7^ = {2 o || = J2},
n < # < n + 1, m 6 N, ra N;
/
,
dZ
= r
r
= (7
r
,l T), |z| = r},
'42
2
- 8^+3 iri
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:
a)
I Ln(z-2)+i'
V (7
Ln (z - 2) + iri
, 7or), T = |
= U e c 2 1| = -
a -
1
/
+ 2
4
dz, r = (7r7or), 7 ={^C |2| = 2};
11. Calcular las integrales de las ramas indicadas de las siguientes funciones
multiformes:
a) f .
d
\ . ( L n*L _
e
=l - *0-
r
= ^7or),
J Ln 2 - 3n
r
= j z C | z+2| =
(2 + \ Jz - 1) sen z
/
- l|
a=Q
= )'
r
= (7,7or),
-{
2 G C: |z|
12. Demostrar que
/2
/
- a -
a
t
2
+ sen
2
y
(a > 0).
13. Utilizando el teorema de Mittag-Leffler, hallar la forma general de una funcin
meromorfa / con polos de segundo orden en los puntos b
n
= n y cuyas partes
n
principales en dichos polos son g
n
(z)
14. Demostrar la igualdad
= -nrz
2
> \ r, , z#ni r(l i ).
c h 2 - eos Z Z ^ S h T T M
2
4 + n
4
7r
4
4
00
/ 1
71=1
X iaK. 38
r-mmmm
0 0
/
71=1
X
1,
16. Hallar las regiones de convergencia de los siguientes productos infinitos:
00
b>n i -
n=1
y/n

1 (z_
+
3 V v^
17. Demostrar que la funcin / , donde
' ' - n ( H M H e ) }) '
es entera. Hallar los ceros de esta funcin 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 ^
4n
4
7r
4
senrzshTrz t t / -z
4
b)
2
r
2/ l _ ~4\ =11 I - "
7T
2
Z
2
(1 - Z
4
)
/
n=2
n
cc
c) th
1
\ n7r/
\
V
1 +
f
\ t (n
1/ 2) y /
00
1 V sh 7T
) I I i "
n=2
oo
rr
b)
-
n-2
x /
ch 7Tyfl eos 7T\/2
4 7T
2
21 Demostrar las igualdades
a , / *
2tt| C|
o
(a eos + 6 sen x + c)
1
(c
2
- a
2
- 6
2
)
3
/
2
(a R, GR, c 6 R; c
2
- - a
2
> 0);
/
sen
2
x dx 2it ,
=
v
a 4- b eos x b
2
a _ , 0 < b < a.
22. Calcular la integral
2ir
/
eos x
sen(a sen x) sen nx dx (n N).
+00
dx
5a
4
+ l + a ^ 2 ( a
4
- 2 a
:
i\ i
(x
4
+ i)(x
2
+ <n
2a
2
(1 4- a
4
)
2
00
4-co
/
dx
+ x' 3'
O
f x
2
dx 4
/ = - ir s
C)
J x
5
+ l 5
24. Integrando la funcin
2 fl-
eos
z / (z) -
ch rz
T < a < 7T,
a lo largo de la frontera del rectngulo. vrtices en los puntos <
(R,0), ( l o , 0. demostrar las igualdades
+00
I '
-oc
/
- O
e"* dx a
= sec ~;
chira; 2
chax , <*
dx = sec
ch t x 2
+00
f
x
J
al / r dx = c
a)
J (x + c)
2
a-l
Tra
sen ira
c > O, - 1 < a < 3, a ô
D
4-00
/
O
+oc 4 w v ^
c) / 7r T^
d x =
(x + C)
2>/ c'
iiiilB
l i l i l
+00
x
* ir ax
]x dx = sec
1 + x
2
2 2
1 <a < 1.
u
* \ /
a lo largo de la frontera del sector circular
+ z
3
demostrar las igualdades
+oo
a) =
J 1 + x
3
9 '
s = j z e G 0 < | z| < tf, O < argz < 1 ,
+00
/ :
O
+00
/ i
ttv/ 3
o
w % f
a lo largo de la frontera del sector circular
Iriz
1 + z
:
demostrar que
+00
. f lnx
a)
J T+F'
O
+00
b) f
X x
J + l
= [zeC: r<\ z\ <R, 0<argz< J ,
; dx
1 + x* 8 '
sil
/ \ A
oo
a) V ^
1
_
1
7T
00
b) y "
1
_ _L (
(2 +
a2) 2
-
4a
4 ^ ^ + Ta cth
Aspectos generales de la
teora geomtrica de las
funciones analticas
Este captulo est dedicado al estudio de algunas propiedades
topolgicas generales de las funciones analticas. Se exponen
algunos principios geomtricos y cuestiones generales de la
teora de las transformaciones conformes. La ltima seccin
est dedicada a las transformaciones conformes de polgonos.
1. Principio del argumento.
Teorema de Rouch
1 r <p(z)
1.1. Clculo de la integral /
27vi J f(z)
d D
J
<p(z)f'(z)
A
dz
Dada una regin D ( C, consideremos una funcin /
analtica 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, adems, A un
nmero complejo (finito) arbitrario tal que la funcin / no
tiene A-puntos en la frontera dD. Sea -v i ' ' . :>:
Vil5 M
^ w w ^ H K f t f t t v A v ^ .vtr.t-, t i / vi y < ^ . i v $ > ^ ;
en la adherencia D. Analicemos la funcin
, / (*) -
en la regin D. Sus puntos singulares posibles en D son
los -puntos y polos de la funcin / .
*
ean
K * = W los A-puntos de la funcin f
TsL h
a i
'
a 2
- me n t e ,
y sean j =
1/7l
J
]os polog de rdenes
respectivamente. Estudiemos la funcin * en un exorno dd
punto a
k
. De acuerdo con la frmula (3), p. 1.8, cap. 2, t.6,
f(*)-A = (z-a
k
)
a
>f
0
{z), f
0
(a
k
)0.
Entonces
/ '(*) = **(* - a*)"*"
1
/ ^) + (* - ^/ (z),
F(z) =
T
{->)
{Z
~
ak)ak
~
l
(<*kMz) + (z a
h
) 4<z)V
=<P(z)
de donde
(z ^ a
k
)"*f
0
(
z
)
Qfr/ ofr) + (z - a>k)f!)(z)
(z ~ <**)/ o(2)
del
h
^ * - - o
i
f
~ (jr^TT\ ~PjMz) + f(z)(z - bj)),
F(z) = ^ZlM^hJMSlzM
A A , (
Z
~h)fo(z)
de donde
resF(z) = -p
jlp{bj
y
Segn el teorema fundamental de los residuos,
2 J v^m-A
=
^
ak<p{ak)
" ^
Piip{bj)
'
(i)
k=l
En lo sucesivo, se asume que todo A-punto figura
un nmero de veces igual a su multiplicidad. Anlogamente,
todo polo figura un nmero de veces igual a su orden. De este
modo, el segundo miembro de la frmula (1) representa la
diferencia entre la suma de los valores que toma la funcin <p
en los A-puntos de la funcin / y la suma de los valores que
toma en los polos de / pertenecientes a la regin D.
Consideremos dos casos particulares:
1) Para <p(z) = z la frmula (1) toma la forma
2tt J
dD
f(z) dz
m
"
t i u
(2)
El segundo miembro de la frmula (2) es la diferencia entre
la suma de los A-puntos de la funcin / y la suma de sus
polos localizados en D.
2) Para <p(z) = 1 se tiene
L
f
ni J 2tri j f(z) - A
qd
dz
Y j
ak
~ Pr
kl j1
(3)
En el segundo miembro de la frmula (3) tenemos la
diferencia entre el nmero de A-puntos y el nmero de polos
de la funcin / localizados en la regin D.
1.2. Teorema del residuo logartmico
Supongamos ahora que A = 0, es decir, que los A-puntos de
la funcin f son sus ceros en la regin D.
: rMB iUmMlm
mmm mmmrnm
Introduzcamos las siguientes notaciones: y]a
k
= N
i
n
es el nmero de ceros de / en la regin 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 logartmico de la funcin f respecto a dD
y la propia igualdad expresa el sentido del siguiente teorema
del residuo logartmico.
Teorema. Sea D <s C una regin de frontera dD orientada positiva-
mente, donde dD es una curva de Jordn. Si la funcin f es analtica en
la adherencia D, salvo en los polos pertenecientes a D, y f no se anula
en dD, entonces el residuo logartmico de la funcin respecto a dD es
igual a la diferencia entre el nmero de ceros y el nmero de polos de f
localizados en la regin D.
1.3. Principio del argumento
El teorema del residuo logartmico se puede interpretar geo-
mtricamente.
La primitiva de la funcin ~ en un entorno de un
/
punto z e dD, que no contiene ceros ni polos de la funcin /
es la funcin z ^
F
(z) = ln f{z), donde ln denota cualquier
rama del logaritmo, pues F*(z) = ?
Sea dD = (
T
,
7or
)
y S
ea [a, /3] una para-
L * - , sobre
r
metrizacion de la curva 7. En este caso la primitiva de
f
la funcin j a lo largo de la curva 7 es la funcin
t 1> $() = ln f(<p(t)). Dado que la curva 7 es cerrada,
entonces ln \ fW))\ = ln | / (y>(a))| . Tomando este hecho en
consideracin y aplicando la frmula de Newton-Leibniz
(v. frmula(X), p.5.2, cap. 1, t.6), obtenemos
f Jfl
dz
= $(0) - *() =
J f(z)
dD
= t(arg/ (y09))-arg/ ^(a))).
I ntroduzcamos la notaci n
A<?d arg / = arg S W ) ) ~
ar
g / (>(<*))
y escri bamos la i gual dad (1) en la forma
m
(1)
J L f t ^l j- _
A dI ? ar g
^
2ttz J f(z)
Z
27T
Teniendo en cuenta el teorema del residuo logartmico, obte-
nemos
/V" - P A
3
darg/ .
2 7T
t a ltima i gual dad expresa el principio del argumento,
cuya formul aci n es l a si gui ente.
Principio del argumento. Sea D na regin cuya frontera y es
una curva de Jordn. Si la funcin f es analtica en la adherencia D,
salvo en un nmero finito de polos localizados en D, y f no se anula
en la curva 7, entonces la diferencia entre el nmero N de ceros y el
nmero P de polos de la funcin f en la regin D es igual al incremento
del argumento de f dividido entre 21 al recorrer una vez la frontera de
la regin D en sentido positivo.
''X^PMow.
Es evidente que A&p arg / es el nmero 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
regin cuya frontera 7 es una curva de Jordn. Si la funcin f es
analtica en D, salvo en un nmero finito de polos localizados en D,
y la funcin f no se anula en la frontera de la regin D, entonces la
diferencia N P es igual al nmero de vueltas completas que da el
vector w = f alrededor del punto w = 0 cuando z recorre una sola vez
la frontera de la regin D en sentido positivo.
1.4. Teorema de Rouch
Del principio del argumento se deduce la siguiente afirmacin.
Teorema (de Rouch). Sean Entonces las funciones (p y ip +1)
tienen igual nmero de ceros en la regin D.
4 Demostracin. 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 nmero de ceros de la funcin 
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 crculo
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 nmero de ceros de la funcin <p en la
regin D.
El teorema de Rouch tiene numerosas aplicaciones;
en particular, se utiliza para determinar el nmero de ceros
de una funcin.
Utilizando el teorema de Rouch es muy fcil demos-
trar el teorema fundamental del lgebra:
Teorema fundamental del lgebra. Todo polinomio de grado n
Pn(z) = 0^z
n
+ ai z
n
~
l
+... + + a
n
tiene exactamente n ceros en el plano complejo.
Demostracin. Hagamos
Pn{z) = <P{Z) + 1){Z),
donde
tp(z) = a
0
z .
El polinomio <p tiene exactamente n ceros en el plano com-
plejo, pues z = 0 es el cero de multiplicidad n de la funcin
ip y, segn lo acordado, todo cero figura un nmero de veces
igual a su multiplicidad. Tomemos en calidad de D el crculo
K
R
^{Z< \ Z\ <R},
eligiendo R tan grande que Vz 6 Dk
r
se verifique la
desigualdad \ <p{z)\ > \ ip(z)\ , donde
1>{z) = a\ Z
n
~
l
+ ... -f a
n
-iz + a
n
.
Para ello es suficiente tomar
i2 = l + | a
1
| + | a
2
| + ... + | a
n
| .
Entonces, por el teorema de Rouch, el nmero de ceros de
las funciones \ z
5
+ 2| ,
va que
\ z
5
+ 2| ^ \ z \ +2 = 3.
La funcin (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 crculo
Determinemos para cuntos de ellos el mdulo es menor que
uno. Para ello hacemos
P(z) = ip
x
(z) + Mz),
<Piiz) = 14,
(z) = z
5
- 12z
z
.
Si \ z\ = 1, entonces \ <p\ {z)\ - 14, | i)\ {z)\ ^ 13. Conforme al
teorema de Rouch, en el crculo 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) = 
3
{z),
ip
3
(z) = -12 z
2
,
*h{z) - z
5
4-14.
Para \ z\ = 2 tenemos \ <p$(z)\ = 48 y (z)\ \ z
5
\ +14 = 46.
De acuerdo con el teorema de Rouch, el nmero de ceros
del polinomio P en el crculo K
2
= {z G : \ z\ < 2} y, por
consiguiente, en el anillo Vi, es igual a dos, o sea, equivale al
nmero de ceros de la funcin .
c) Dado que P(iy) = iy
5
+ 12y
2
+ 14, el polinomio P
no tiene ceros en el eje imaginario, pues las partes real e
imaginaria de P(iy) no se anulan simultneamente. Aplicando
el principio del argumento al semicrculo
K = {ze O \ z\ < R, Rez>0},
obtenemos el nmero 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?)'
7 a
= j z G * = J te", 2 '
Para valores de R > 0 grandes,
A
[iR
, - r] arg P(z) =
- A
yw
(f + 12y
2
+14) =
y
5
= A
y[
,
0
] arctg ^
+ u
+
l/
5
+ Aêto, -it] arctg
+ M
-
2 2
v
arg P{z) =
/ 11- 122
2
\
= Ar
a
arg + A
r
, + 5 J =
= 57T + 0( T
1
).
De este modo,
1
N - (-7T 4- 5tt) = 2.
2 x
Solucin. La ecuacin no tiene races no negativas. De-
mostremos que tampoco tiene races negativas. En efecto,
haciendo z - -x obtenemos la ecuacin
x
4
- x
3
+ 4x
2
- 2 x + 3 = 0.
Si O < x ^ 1, la suma de los tres primeros trminos y la
suma de los dos ltimos trminos son positivas. Si x > 1, la
suma de los dos primeros trminos y la de los tres ltimos
son positivas. Por consiguiente,
V x > 0 x* - x
3
+ 4a;
2
2x + 3> 0.
Si hacemos z ~ iy, la ecuacin adquiere la forma
y
4
- iy
3
- 4y
1
+ liy + 3 = 0.
Vemos que las partes real e imaginaria de esta ecuacin no
se anulan simultneamente; por consiguiente, la ecuacin
tampoco tiene races imaginarias puras.
El nmero de sus races localizadas en el primer
cuadrante se calcula mediante la frmula
N = Um (A
i [0/ ]
arg (a;
4
+ x
3
+ 4x
2
+ 2x + 3) +
+ A
pe
n,o) arg (y
4
- iy
3
- 4y
2
+ 2iy + 3) +
+ A
z=R
t arg (z
4
+ z
3
+ 4z
2
+ 2z + 3) ).
Tenemos:
* x e [O,] fR]
arg (x
4
+ x
3
+ 4a;
2
+ 2a; + 3)
,
0]
arg (y
4
-4y
2
+ 3 + i(-y
3
+ 2y)) =
= \ eWfl] arctg
-y
3
+ 2 y
,4
- 4y
2
-f 3'
El numerador del argumento de la funcin arctg se anula
para y = y/2ey = 0,ysu. denominador, para y = y/3 e
y 1. Cuando y vara de R a 0, dicha fraccin se comporta
como sigue:
V5 V2
- r + 2 y
y
4
4y
2
+ 3
O (I T
1
) - oo - oo
+ 0
A partir de esa tabla es fcil ver que
A ô j arg ( y
4
- 4y
2
+3 + i (
= - 2tt+
y como
A g (
4
+ + + 2 +
3
) =
/ z
3
-f 4z
2
+ 2z + 3
= A
z=Re
arg-z ( 1 + i
0<f<*/ 2 \

= 2tt + 0(J "
1
)
/
resulta
2tt
(0 - 2tt + 2TT) = 0.
71
As, la ecuacin considerada no tiene races en el primer
cuadrante. Debido a que sus races son pares de races
conjugadas, tampoco hay races en el cuarto cuadrante. Tanto
en el segundo como en el tercer cuadrantes hay dos races.
H
4 Solucin. Escribamos la ecuacin en la forma
donde
(p{z) + ip(z) - 0,
(p{z) =
Ip{z) = -wf{z).
9 3aK. 38
mmm sai
^msmmmmm
i i s . , 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.
< Solucin. Escribamos la ecuacin 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
l p W I
= 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 semicrculo
Kr = {z<& \ z\ < R, Re ^ > 0}
se tiene
<p(z)\ > Vi2 > 0.
iiWI
2. Conservacin de una regin.
Inversin local de una
funcin analtica
2.1. Principio de conservacin de la regin
Teorema 1. Si una funcin f es analtica en una regin D y no es
idntica a una constante, entonces la imagen de la regin D mediante f
tambin es una regin.
Demostracin. Tenemos D D*. Demostremos que D*
sobre
es un conjunto abierto conexo.
1) Sean w\ y w
2
dos puntos cualesquiera del conjunto
D* y sean Z\ una de las preimgenes de w\ y z
2
una de las
preimgenes de w
2
mediante la aplicacin f , es decir, f(zi) =
w
if f{
z
i)
w
2> D, z
2
6 D. Como la regin D es conexa,
existe una curva de Jordn 7 C D que une los puntos z\ y z
2
.
tp
Sea [a, / 3J 7 una parametrizacin de la curva 7. Entonces
V e[a,3] <p(t)eD
<p{a) = (p(p) = z
2
.
Dado que la funcin / es continua, la composicin i> f
0(
p,
D^p = [a, 5] es una parametrizacin de la curva continua
7* C D* que une los puntos
i){a) - (/ o ip) (a) = f{zi) = w
u
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 preimgenes:
f(zo) = w
0
. Por cuanto D es un conjunto abierto, existe un
entorno
O
r
(z
0
) = {zeC: \ z- z
Q
\ < r} D.
Escojamos r tan pequeo que la adherencia O
r
(z
0
) no con-
tenga -puntos de la funcin / (excepto el punto z
0
). Tal
crculo existe, pues los w>
0
-puntos de la funcin analtica
/ ^ const son aislados. Supongamos que
7 ={zGC: \ z-zo\ =r}
y
fi = min\ f(z) ~ w
0
| .
zy
Obviamente, f> 0, pues de lo contrario, es decir, para jl 0,
la funcin continua z > \ f(z) - w<\ , cuyo valor mnimo se
alcanza en un conjunto cerrado, se anulara en cierto punto
z' G 7
r
y esto significara que en la curva j
r
hay un w
Q
-punto
de la funcin / , lo cual entra en contradiccin con la eleccin
de 7
r
. Demostremos ahora que
K^= \W w
0
| < / / }C D\
En efecto, sea G Kp un punto arbitrario. Tenemos:
f{z) -wi = (f(z) ~ w
Q
) + (w
Q
- Wi),
adems de que \ f{z) i qI >/ , | w>i - w
0
< fi en la curva y
r
.
Segn el teorema de Rouch, en el conjunto limitado por y
r
la funcin z >-* f(z) w\ tiene el mismo nmero de ceros
que la funcin z >-* f(z) ~ w
0
. La ltima tiene al menos un
cero en el entorno O
T
(z
0
). Por tanto, la funcin z f> f(z) - w\
tambin tiene en ese entorno al menos un cero, es decir, existe
un punto z\ G O
r
(z
Q
) 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 regin.
Nota 1. Las aplicaciones continuas que dejan invariables los conjuntos abiertos
se denominan aplicaciones abiertas* Las aplicaciones abiertas tambin dejan
invariables las regiones- Por consiguiente/ las aplicaciones efectuadas mediante
funciones analticas son abiertas.
f
Nota 2. Se dice que una aplicacin abierta A B es interior si para
todo punto 6 6 B el conjunto f~
l
(b) de sus preimgenes (/
_1
(&) C A) no
contiene ningn continuo
2
K Es evidente que las transformaciones efectuadas
mediante funciones analticas son interiores, pues V& B el conjunto /
_1
{6)
se compone solamente de puntos aislados.
2.2. Inversin local
de las funciones analticas
Sea w = f(z) una funcin analtica en el punto z
0
. Conside-
remos los dos casos siguientes:
a) Supongamos que / '(zo) ^ 0 y J(zo) = wo- Al igual
que en el teorema de conservacin de la regin, escojamos un
crculo OT(ZQ) que pertenece de forma compacta a la regin
de analiticidad de la funcin / y no contiene otros w
0
-puntos
de la funcin / salvo el centro z
0
. Sea
H min | f(z)
wol, > o,
donde
7
r
= {z C: | z - z
0
\ = r} .
Aplicando el teorema de Rouch vemos que todos los valores
de la funcin f en el crculo O
r
(zo) tienen la misma multi-
plicidad que w
0
. Pero la funcin toma el valor w
Q
slo en el
punto Zq y, ademas, una sola vez, ya que f'(z
Q
) ^ 0. De este
modo, en el crculo O
r
(z
0
) la funcin / adopta una sola vez
todo valor del crculo
K
fl
= {i C \ w - w
0
\ < / }.
2
' N. del T. Conjunto compacto y conexo.
En otras palabras, la funcin / es localmente de una hoja
en el punto z
0
. Por tanto, en el crculo K
/ t
est definida
la funcin z = g(w) inversa de la funcin / : g(w
Q
) z
0
y
(/ og){w) w. Como f es una funcin de una hoja, entonces
Aw # 0 para Az ^ 0 y en un entorno del punto z
Q
se tiene
A +
Aw
Az
Aw
1
Aw
a7
m
^ 00.
Consecuentemente, g 6 A{K
ti
).
Sea
z = g(w) = z
0
+ aj(w - w
0
) + a
2
(w - w
0
f + ...,
a
n
=
ff
(n)
(v>o)
n!
2iri
/
dK,
g{w) dw
(w - w
0
)
n
+
1
'

Cambiemos de variable tomando z = g(w) (w = f(z)).
Entonces
a = - L f
z f
' ^
d z
n
2iri J (f(z)-w
0
)
n
-
r
r
= - J - [
2nin J
r,
2nin J (j
dz \ (f(z) - w
Q
r
dz
dz
2-Kn J (f(z) - w
0
)n
r
r
n! V dz
n
n-1 /
Z-Zp
f(z) - W
0
De este modo,
z=g(w) =
rr - (7~7r
r
).
V
Z-ZQ
(w~w
Q
)
n
. (1)
2=Zq
V i J i ^ J WJ ;
' v ' J; > w -.M.J: I H i B r
La serie (1) se denomina serie de Lagrange.
Veamos una generalizacin de la frmula (1). Sea F
cierta funcin analtica en una regin que contiene de forma
compacta al crculo O
r
{z$). Hallemos el desarrollo de la
funcin F o g en un entorno del punto Wq . Sea
(Fog)(w) = F{z
0
) + Y
f
b
n
(z-z
0
)
n
.
n=l
Repitiendo las transformaciones anteriores, obtenemos
1 i F{a(w)) .
" 2ti /
(w - tUo)
n + 1
dw =
DK,
J_ F(z)f(z)dz
2niJ (f(z)-w
Q
)
n+
'

2-KU J ^ ^ dz ^
r,
1 F(z) dz
~ 2-ku J (f(z) - w
0
)
n
dz V (f(z) ~ W
Q
)
n
dz =
Z- Z
0
f{z) - WQ
Z-Zq
Z=Zq
Por consiguiente,
(F o
g
){w) == F(z
0
) +
La frmula de Lagrange corresponde al caso F(z)
b) Sea ahora
fizo) = fizo) = ... = f'%0) = o,
f^M 0 (p > 1).
lilil
^ i f ci i y i i î i i n
Razonando anlogamente, elijamos un crculo O
r
(z
0
) que no
contenga otros w
0
-puntos de la funcin / salvo el centro z
0
y tal que V z O
r
(z
Q
) \ {z
0
} se verifique f(z) 0. Al igual
que antes, tomemos cierto / i >0y demostremos que en el
crculo O
r
(zo) la funcin / toma cualquier valor w 6 K^
tantas veces cuantas veces toma el valor w
0
en O
r
(z
0
), es
decir, p veces. Adems, si w ^ w
Q
, a todo valor w le
corresponden p valores diferentes de z, pues para stos
f'(z) 0. En este caso la funcin / se denomina funcin
de p hojas en el crculo O
r
{z
0
). Por tanto, si z e O
r
(z
0
),
entonces
w = f(z) = w
0
+ {z- zfp{z), <p{z
0
) # 0,
z </w
WQr
donde $V(z) es cierta rama. En un entorno del punto z
0
esta
rama se puede desarrollar en una serie de Taylor cuyo trmino
independiente es distinto de cero. Por consiguiente, ip'(z
0
) ^ 0
y, conforme al punto a), en un entorno del cero existe la
funcin z.= inversa de C = Desarrollmosla en
serie de Taylor en un entorno del punto ( ~ 0:
00
z~z
0
+ ajC + ot
2
(
2
+ ... = z
Q
+
B=1
Sustituyendo en esta expresin C por (w ~ w
0
)
l
^
p
f
obtenemos
el desarrollo de la funcin inversa de / en una serie de
potencias generalizada:
z = g{w) = z
Q
+ " wo)
n/p
-
(3)
n=l
Se puede comprobar que los coeficientes a
n
del desa-
rrollo (3) se calculan a partir de las frmulas
a
n
=
w-1
Z~Z
Q
n\ \ dz^\ (f(z)-f(z
0
))Vp
(4)
2=ZQ
S :
. o H .
i
1
o ^'r^îi Ir
+
y
\ ' N i & t f i r a 11 i i
. t i ' S U y y f i i : ! ; V
: <
* W y ^ V ' f
Demostracin. Sea jq 6 D* un punto arbitrario. Determi-

nemos cuntas veces se anula la funcin 2 (-> f(z) - Wq
en la regin D. Segn el teorema del residuo logart-
Analizando el desarrollo (3) llegamos a la conclusin
de que en el crculo K
fi
la funcin g{w) constituye el elemento
de una funcin analtica completa para la cual el punto w
0
es
un punto de ramificacin de (p l)-simo orden.
De los casos a) y b) se deduce la siguiente afirmacin.
Teorema 1. La condicin f'{z
0
) ^ 0 es necesaria y suficiente para que
la funcin analtica f sea localmente de una hoja en el punto Zq.
Observemos que aunque la funcin / sea localmen-
te de una hoja en todo punto 2 de la regin D, esto no
implica, en general, que sea de una hoja en toda la re-
gin D. Consideremos, por ejemplo, f(z) e
z
. En este caso
Vz G C f'{z) = e
z
0. Sin embargo, la funcin z e
z
no es de una hoja en toda regin que contenga al menos
un par de puntos Z\ y z
2
tales que z\ z
2
2nki. Por
consiguiente, la condicin f'(z) 0 en D es necesaria pero
no suficiente para que la funcin / sea de una hoja en toda
la regin D.
Teorema 2 (principio de uniformidad). Sea f una funcin analtica
en una regin D y continua en su adherencia D C C; sea dD una
curva de Jordn orientada positivamente. Supongamos que D D *
y, adems, la aplicacin de dD en dD* es hiunvoca. Entonces la
funcin f es de una hoja en la regin D.
Vp: " yi
j y i u . - X ' , ^ .
i l l i i l l l l i i
mico,
N
I
dD
F(Z) - W0
dz,
(5)
donde N es el nmero de ceros de la funcin 2 - f{
z
) _
Wq
en D. Dado que entre los puntos de las fronteras dD y dD*
existe una correspondencia continua y biunvoca, 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-
Probl emas resueltos.
f S - > , >, x J X Î X " \ <V '
< Solucin. En este caso
z
0
~ a, w
Q
- 0, f(z) =
Segn la frmula de Lagrange (1),
z - a
sen z
A i ( , \
1
x
/
i J
I . I - V H:
Mn
J ?
J
. v ;
Solucin. Aqu
^ = ^ = 0, f(z) = ze-
ttS
, f(0)0, F(z) = e
v
*.
Aplicando la frmula (2), obtenemos
bg(w) ^
1
,
n=l
x
A (b + an)""
1
(Han)*
z=0
n=l
El radio de convergencia de la serie de potencias obtenida se
calcula a partir de la frmula de CauchyHadamard:
- n / 16 4- an\
lim \ -
n-oo V ni
n-l
lim
iK
| b + an\
l
-
1n e\ a
Tomando 6 = a, obtenemos
= e
az
=
z g(w)
az
= , (F o (p){w) =
M
Por tanto,
gW
i+5>
n=l
n!
5(w) = + ^ a
:
J n + i r
1
,
+1
n=1
n=0
(n +1)"-
1
...
+1
<4 Solucin. Escribamos la ecuacin en la forma
Z - Zq
W = Wq-\ -
<p{z)
La funcin
z f{
z
) -
Wq
+ Z2
_ _ <P(
Z
)
es analtica en el crculo K
r
,
f'{*) 0 y f(zo) = wo.
Conforme al caso a) considerado al inicio del pargrafo, para
todo
w e < w G C \ w - w
0
| <
M
M
= min -
Wo
| ,
la ecuacin w = f(z) tiene una nica solucin g{w) que
pertenece al crculo K
r
. Segn la frmula de Lagrange (1),
esta solucin se puede representar mediante la suma de la

sene
g(w) = zo + - J ^M * ) )
n
n=l
(w " v>o)
n
.
; \ / l
m
3. Propiedades de los extremos
del mdulo de una funcin
analtica
3.1. Principio del mximo del mdulo
de una funcin analtica
Teorema 1 (principio del mximo del mdulo, primer enunciado). Sea f
una funcin analtica en una regin D. Si su mdulo \ f\ alcanza un
mximo local en un punto
Z
Q G D, entonces f = const en D.
'4 Demostracin. Apliquemos el mtodo de reduccin al ab-
surdo. Supongamos que F{zq) = WQ y que / ^ const en D.
f
Sea, adems, D >Z>*. Entonces w
0
G D* y D* es una
sobre
regin. Por consiguiente, existe un crculo
K
ft
= {we C: \ w - w
0
< i} C D*
y un punto w
x
G K^ tal que | iui| > |wq|. Por tanto, en un
entorno del punto z
0
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 mximo local de la funcin f . La contradiccin
se debe a la suposicin de que f ^ const. Por consiguiente,
f{z) = const Vz G D.
Corolario (principio del mximo del mdulo, segundo enunciado). Si
una funcin f es analtica en una regin D y continua en la adheren-
cia D, entonces \ f\ alcanza su mximo slo en la frontera dD de la
regin D.
< Demostracin. Esta afirmacin se deduce del primer enun-
ciado y de las propiedades de las funciones continuas en un
compacto.
i f '' " " ' i'
1
'
1

Sealemos que para el mnimo del mdulo | / | la
afirmacin anloga al teorema 1 no se cumple. Efectivamente,
sea, por ejemplo, f(z) = z,
D/ = T = {z O \ z\ < 1}.
La funcin / es analtica y f ^ const, sin embargo alcanza
su mnimo \ f(z)\ = 0 en el punto z = 0, el cual es un punto
interior de la regin >/ . La explicacin de este hecho es
que la funcin / se anula en su regin de analiticidad. Este
ejemplo sugiere la siguiente afirmacin.
Teorema 2 (principio del mnimo). Si f A{D) y Vz 6 D f{z) 0,
entonces | /| puede alcanzar un mnimo local en D slo si f = const.
< Demostraci n. Es suficiente aplicar el teorema 1 a la funcin
1
g j analtica en D, ya que V z D f{z) 0.
3.2. Lema de Schwarz
La siguiente afirmacin pertenece a Schwarz.
Lema (de Schwarz). Sea f una funcin analtica en el crculo
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)
Adems, 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 funcin f tiene la forma
f(z) = e
ia
z, e l
Demostracin. Consideremos la funcin
, , f(z)
Z (fi{z) =
z
La condicin / (O) = 0 impUca que <p A(K) y tp(0) = / '(O)
(se supone que la funcin ha sido definida en el punto
singular evitable). Estudiemos la funcin <p en el crculo
K
p
= {zeC: \ z\ < p}, donde p< 1.
De acuerdo con el principio del mximo, alcanza su
mximo 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 er^,.
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 crculo K . En parti-
cular, tomando z = 0, obtenemos | ^(0) = | / '(0)| < 1. Sea
ahora \ <p{z$)\ 1 para cierto z
0
K. Esto significa que
alcanza su mximo en el punto ZQ. Por consiguiente, segn
el teorema 1 (p = const, y como <p(z) = 1, z 6 K, entonces
(p(z) = e
ta
z, a R
La interpretacin geomtrica del lema de Schwarz es
bastante sencilla. Mediante la funcin w = f(z), todo punto
z e K bien se aproxima al origen de coordenadas, bien la
transformacin 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 crculo
K'
r
= {w e C: M < r},
bien coincide con la frontera del mismo.
El lema de Schwarz admite varias generalizaciones.
La ms simple de ellas es la siguiente. Sea z 0 un cero de
multiplicidad A de la funcin / . Entonces considerando la
f(z)
funcin z j - obtenemos las desigualdades
| /()KM
a
VZEK y
/ <*>( 0)
<1,
I I
(el signo de igualdad es posible si, y slo si, f(z) e
ix
z
x
).
Solucin. Cada componente conexa constituye la frontera de
cierta regin D; la funcin P es analtica en D y su mdulo es
constante en la frontera dD. Por tanto, segn el principio del
mximo, 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 '
-
v ;
l - ^
1
!
-s ^* =t^l' Âi-*!
v 'î'-trii^ tw S
Solucin. La afirmacin se deduce directamente del principio
del mximo del mdulo.
Solucin. La funcin
es analtica en la regin
K,/ = {<e 0 1C I <
5
}.
(se
^ ^ ^ j s r . - s , -
singular evitable ( - u j y su muuu u
1 a e
i
v n Seen el principio del mximo, \ f\ alcanza ei
cerrado Kx/ r. begun ei yi y
mi en t r as q u e
1/ lo al-
mvimo en la circunferencia dKy
R
, mientras que u i
mximo en w
Q d ed u c e qu
e
canza en la circunferencia y
R
. A partir aei ej
supl i co)
K\ =P
crece estrictamente en el intervalo ( o, I ) . Por consiguiente,
M{r) = sup | / (z)l
l
z
l
= r
decrece estrictamente enel i nt en^^
/ '
f -

f - '
i
t:.
10 3k . 38
y+i - i * * * " - <>
mm:'
< Solucin. La funcin z
n
P{z) satisface las condiciones del
ej. 11 y, por consiguiente, su mdulo alcanza un mximo en
la circunferencia
7 ={zEC: 14=1}
que es la frontera de
Sea
M =max \ z~
n
P{z)\ ^1.
Entonces, segn el ej. 11 tenemos que \ z~
n
P{z)\ = 1, es decir,
P(z) = z
B
, o bien
\ z"
n
P(z)\ <lVzeD ={zeC:\ z\ > 1}.
La ltima desigualdad es imposible.
1
<^
:
. ix: ' O i^'fifffc
- ' i ' . i ' J i Ho
Solucin. La funcin
P{z)
es analtica en la regin
D ={z C \ z\ >0}
yt por consiguiente, satisface las condiciones del ej. 11 para
todo R >0.
M Solucin. La funcin
V(w) =w~
n
P ( -( +
es analtica en el conjunto
D~{we O |tu| > 1}.
Dado que la imagen de la circunferencia
7 = {w C: M = 1}
mediante la aplicacin
z -(w f tu
l
)
es el segmento [-1,1], entonces de las condiciones de partida
tenemos que
V w G 7 I vMI Âf
Segn la solucin del ej. 11, la ltima desigualdad es vlida
tambin para
Vw D P^w +w
1
)] ^M\ w\
n
.
10*
fe* .vJ ai
Sea z0 un punto arbitrario que no pertenece al segmento
[-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 aplicacin
w = z + y/ z
2
- 1 (w(oo) =oo)
transforma dicha elipse en la circunferencia
J ={w<E C: \ w\ ~a + b}.
Por tanto,
4 Solucin. La funcin
z ^ <pk(z) = l i l i
Z +Zk
establece un isomorfismo conforme entre el semiplan
= Re 2: > 0}
y el crculo unidad
K ={w e O \ w\ <1},
, : Alfera!
es decir,
Por consiguiente, la funcin F, donde
sv ^
f {z )
F{z) = ,
I I ni
z
)
fc=l
es analtica en el semiplano G' (se supone que en los puntos
singulares evitables
zk (k =l ,n)
la funcin est definida) y \ F(iy)\ < M. Por tanto, segn el
principio del mximo,
\ F{z)\ ^M V z e G,
es decir,
n
r?. y * *? i *
. <*,*<>*<>' <-.<".<. . ...
^ v i v ' ^ i / w v/
A
i \ <t>A4 'X , . . A, ,
, . . . i X*> <v . . .
A A/ < , <. .
* * <v " . w >: ' . . . s f, ^ . A " . ^f , , <, a .
> I
if&VW&tt&îK < -
' / . '. ' \
x : . ' A. < ; .
a x: v * ' '
V ^ U v v ' ' / > "
i V ^> > V < x ' , <- . . . . V. . ,
x < > x < - - i W 0 < * V <
<v <; ,
A </ </ v ' M .
i
' f ^s- / : x < y v w. <.. . s v / v : . .
^ ' ( ^ " V , - V i > ' V < <A > .
>X A V V-A W .. ' ^ >. ^ ' <
> / i y 9 x
x / ^ <
X f t i +A f t V v l y M A x '
<< k . V A . ^. d * .
X v / . ^y/ . V>- . .
M Solucin. La funcin
/
fK î :
es analtica en el crculo
K = {( : CU 1}
Y M0\ < 1. Haciendo uso de la forma general de los
auton,
or f l smos d d cf r cul 0 u n i d ad frmuia
| d los
t. 5), llegamos a que la funcin
P
C ^ F(0 =
<p(0 - <p( 0)
i - <p(0)<p(Q
satisface las condiciones del lema de Schwarz y, por tanto
T ^ o j ^ p K ' P
ar a
CK i .
Tomando aqu < =
t eni end o en cu ent a
f M
/ (*) _ W
, obtenemos la desigualdad requerida.
.........
Solucin. La funcin
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 lmite cuando * - 0 en la igualdad
M(}{z)-m) F(z). , _
i = ~ (
M
- m m )
obtenemos
Mf (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 Solucin. 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 funcin
P(z)
M( 1 + V2)
n+l
'
obtenemos la estimacin
\ P{z)\ = \ zQ(z)\ < M( 1 + V2)
n+l
\ z\ .
4. Principio de compacidad.
Funcionales definidos sobre
familias de funciones analticas
4.1. Familias uniformemente
acotadas y equicontinuas
Asociemos al concepto de continuidad uniforme de una
funcin / el concepto de equicontinuidad de una familia.
Expongamos los razonamientos que sugieren la introduccin
de este ltimo concepto.
Una funcin / : C tambin puede considerarse
como una funcin / : M
2
> C si se toma z = x -f iy = (x, y).
Sea Z = Df y sean Z\ , Z
2
las proyecciones primera y se-
gunda del conjunto Z. Denotemos mediante Z\ {x), Z
2
{y) sus
W
5
' '!'i- ..:
secciones mediante a: e y (v.p.1.7, cap. 1, t.5). Hagamos co-
rresponder a la funcin / dos familias de funciones de R en C:
donde
(h
r
x)xtZ\ / {f j ,y )yZ
2
*
D
hx
= ^(a), fi,x(y) = /(*, y) V y
^/z, = hy{x) = / <*, y) V * e
( }
Suele decirse que la funcin f
fX
se obtiene de /
fijando la primera variable x, y la funcin /
2
,
y
, fijando la
segunda variable y. De la definicin se deduce que si la
funcin / : C * C es uniformemente continua, todas las fun-
ciones de las familias (fi
iX
)xZu {f2,y)yez
2
son uniformemente
continuas. Dicho de otro modo, la continuidad uniforme de
una funcin 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:
(1)
Ej empl o 1. Sea
}{?, y) =
xy
si
M ^ ifi ^
1
y +f
2
^
si x
1
+ y
1
- 0.
4 Solucin. Tenemos entonces:
Z = {-1,1]
2
,
Zi = 2= Zi(x) = z
2
(y) = [-i, 1] v (x e [-1, i],
.f 6 [-1,1]).
Si x ^ 0, la funcin f\
/X
es racional en el segmento [-1,1]. De
acuerdo con el teorema de Cantor la funcin es uniformemente
continua. La funcin f
2iV
tambin posee esa propiedad para
; >..; i i * i tf -A
todo y e [-1,1]\ {0}. Si a; = 0 y = 0, las funciones f
ifi
y ftfl
son iguales a cero y uniformemente continuas. De este modo,
la funcin / es uniformemente continua respecto a cada
una de las variables por separado. Sin embargo, la funcin
/ : + C es discontinua respecto al conjunto de variables en
el punto cero. En efecto
lim
n-oo
n n _ _
i i " 2
lim
n>oo
n n
4_ l
Por consiguiente, el conjunto 7/ (0) de los lmites parciales de
la funcin / en el punto cero contiene ms de un elemento,
luego lim f(z) no existe,
z>0
Ej empl o 2. Sea / una funcin arbitraria definida en la circunferencia unidad
7 = {zeC: \ z\ = 1}.
< Solucin. En este caso
n =r
2
= [- i ,i ],
r\ (*) = {
_ f / 2
iMy) ~ v 1 2/
2
/ v i ~ 2/
2
}-
Para todo valor de x Ti, el conjunto Ti (a) tiene a lo sumo
dos puntos. El conjunto V
2
(y) tambin posee esa propiedad
V y r
2
. As pues, las familias de funciones (fi) y ifxy) se
componen de funciones uniformemente continuas. Como la
funcin / es arbitraria, la misma puede ser discontinua en
todo punto de la circunferencia 7.
La bsqueda de las condiciones que al ser impuestas
a las familias (f\
ix
)xz
x
y {h,y)yez
2
aseguren la continuidad
uniforme de la funcin f respecto al conjunto de variables,
conduce al concepto de equicontinuidad.
Definicin X. Sea 9Jt un conjunto de funciones / :. Se dice
que este conjunto es equicontinuo si V e>03>0:
V(/ e rn, z' e D
f
, 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
sucesin (/ ) de funciones / : C C. El trmino "equicon-
tinuidad" se explica por el hecho de que la eleccin de 6
en la definicin 1 depende slo de e y puede utilizarse para
argumentar la continuidad uniforme de toda funcin / 6 V31.
Definicin 2. Un conjunto VJl de funciones / : C C definidas en
una regin 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
) aeA es uni-
formemente acotada en el interior de D si 9J = {/
a
: a A}
es un conjunto uniformemente acotado en el interior de D.
Definicin 3. Un conjunto 9J de funciones / : C C definidas en
una regin 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 (f
a
)aA es equi-
continua en el interior de un dominio D si 9DT = {/
a
: a A}
es un conjunto equicontinuo en el interior de D.
l ai l l
| ! ! . ! ! , . ' ! j>U\ t yf j ' . V! '
Teorema. Si un conjunto W defunciones / : C - C analticas en una
regin D es uniformemente acotado en el interior de D, entonces es
cquicontinuo en el interior de D. __
M Demostracin. 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}
ZqK
que a veces se denomina p-inflacin del conjunto K. Es
obvio que K
ip)
D y, por consiguiente, existe una constante
M(K
{p)
) tal que ,V(* e , / 0R) \ f(z)\ ^ M. Sean
z' y z" dos puntos arbitrarios de K para los cuales \ z'-z"\ <p.
Como
K
p
= {ze C: \ z-z'\ <p}cK
{p)
,
entonces para todo z e K
p
_ ^ 2M. La funcin C = ~ transforma el
crculo K
p
en el crculo unidad
ffi = K : | (| < 1}.
Analicemos la funcin
0(0 = ;
^ 2M
g 5(0)
(/<*' - K) ~ f {*'))>
g(0) - 0, \ g{Q\ < 1.
Esta funcin satisface las condiciones del lema de Schwarz,
luego
v c eî I KOKI CL
mtm
o bien
W ~ po - /(*')I la < = -(*- A
2M >
Si tomamos
entonces
v/ean <e.
4.2. Principio de compacidad
Definicin. Un conjunto 9JI de funciones / : C -+ C definidas en
una regin D se denomina compacto en D si de cada una de las
sucesiones (/ ) de este conjunto se puede extraer una subsucesin
(f
nk
) uniformemente convergente en cualquier compacto K <i D.
Teorema (principio de compacidad de Monte!). Si un conjunto SUt de
funciones analticas en una regin D es uniformemente acotado en el
interior de D, entonces es compacto en D.
Demostraci n. 1) Demostremos primero que si la sucesin
(f
n
) 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 Z
0
). Elijamos un e > 0 y sea K < D.
Segn el teorema del p. 4.1, el conjunto de funciones 9H es
equicontinuo en el interior de la regin D, por lo cual la
regin D se puede dividir mediante rectas paralelas a los
ejes coordenados en cuadrados tan pequeos que para todos
' -
z 6 K y z" e K pertenecientes a un mismo cuadrado y
V / e se verifique la desigualdad
O)
Un nmero finito de tales cuadrados recubre com-
pletamente el conjunto K . Supongamos que este nmero
es igual a p. Debido a que el conjunto E es denso en D,
todo cuadrado anteriormente indicado contiene un punto Zf
(fe = Vp). Dado que la sucesin de funciones (/ ) converge
en el conjunto E, existe un n
G N tal que
V (m > n
e
, n>n
, k-l,p)
| fm(zk)-fn{z
k
)\ < 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 > n
c
y
n> n
tenemos entonces
| Sm{z) - fn(z)| ^ | fm(z) ~ f
m
(z
k
)\ + | f
m
(z
k
) ~ f
n
(z
h
)\ +
+ \ fn{z
k
) - fn{z)\ < | + | + | =
De este modo,
lifm ~ fn\ \ = SU
P
| f
m
(z) - f
n
(z)\ ^ C
zeK
V (m > n
f
n> n
c
),
es decir, la sucesin (/ ) es uniformemente fundamental en
el conjunto K y f
n
=3.
2) Ahora demostremos que a partir de toda suce-
sin (/ ) de funciones del conjunto SD se puede extraer una
subsucesin (/
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 sucesin [f
n
{z\ ))- Dado
que esta sucesin es acotada, por ei teorema de Bolzano
Weierstrass, de ella podemos extraer una subsucesin conver-
gente (f
n
.(zi))- Sea f
nk
{z) = fki{z). Consideremos la sucesin
(fk 1(^2))- Esta ltima tambin es acotada y de ella se puede
extraer una sucesin convergente {f
nk
i{zi))- Sea f
nk
\ f
k2
-
De la sucesin {fkii^)) se puede extraer una subsucesin
convergente (f
nk
2z$)), etc. Continuando este procedimien-
to obtenemos la sucesin de sucesiones {fki{z)), Ukiiz)),
Escojamos ahora la sucesin diagonal \ \ {z), f
2
2{z),.... Esta
sucesin converge en todo punto del conjunto E. En efecto,
cualquiera que sea el punto z
p
6 E, todos los trminos de
la sucesin (f
nn
(z)) a partir de f
pp
(z) fueron elegidos de la
sucesin (f
np
) convergente en el punto z
p
.
En virtud de que 2) => 1), el principio de compacidad
queda demostrado.
4.3. Funcionales definidos en conjuntos
de funciones
Definicin 1. Sea 9H un conjunto de funciones / : C C definidas
en una regin D. La aplicacin 90 -i C se denomina funcional.
El funcional I pone en correspondencia a cada funcin
/ 6 un nmero complejo / (/ ).
Definicin 2. Un funcional I se denomina continuo en un elemento
fo si para toda sucesin (/ ) de funciones del conjunto 9EJ?,
uniformemente convergente a la funcin f
0
en todo compacto K <s D,
se verifica la igualdad
lim !(/ ) =/ (/ o).-
00 |
i
Definicin 3. Un conjunto compacto de funciones se denomina
secuencialmente compacto si el lmite de toda sucesin (/ ) 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-
sin (/ ) de funciones de 2Jt se puede extraer una subsu-
cesin (/ ,
u
) uniformemente convergente en todo compacto
K <1 D a una funcin de 9)1.
Como ejemplo de un conjunto de funciones secuen-
cialmente compacto puede servir el conjunto de funciones
analticas uniformemente acotadas en una regin D.
Sea, por ejemplo, 9J el conjunto de todas las funciones
analticas en la regin D. Definamos / (/ ) como sigue:
= >
p\
siendo a 6 i? un punto fijo. Demostremos que este fun-
cional es continuo. Sea (/ ) una sucesin de funciones del
conjunto 9JI uniformemente convergente a la funcin f
0
en
todo compacto K <s D. Segn el teorema de Weierstrass,
/o e A(D). Sea
K = J
r
= {z e C: \ z - a\ = r} C D.
En este caso
Ve > 0 Sn
e N: V(n ^ n
e
, z 6 7r) I /(*) - /o(*)l < e>
Aplicando la desigualdad de Cauchy para los coeficientes
de una serie de potencias (v. frmula (6), p. 1.7, cap. 2, t. 6),
obtenemos
lo que significa la continuidad del funcional I .
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 mdulo [7(/ )| alcanza el supremo, es decir, existe una funcin /
0
9J
tal que
v/ ea| j ( / ) | ^| j ( /
0
) | .
Demostraci n. Hagamos a = sup \ I(f)\ . Sea (s
n
) una su-
/5W
cesin infinitsima de nmeros positivos. Segn la propiedad
del supremo V n 6 N 3 / Wl tal que
<x~e
n
< \ I{f
n
)\ ^ ol,
de donde lim \ I{f
n
)\ = a. De este modo, existe una suce-
n>00
sin (/ ) 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 subsucesin (f
n
) uniformemente convergente
en todo conjunto K < D a una funcin f
0
En virtud
de la continuidad del funcional I , se tiene
Hm | I(/
B
J|
k>oo
Wo)\ = <*,
de donde se deduce que a < oo y
v/ e m | / (/ )| < | / (/
0
)| .
4.4. Teorema de Hurwitz
La siguiente afirmacin pertenece a A. Hurwitz (18591919).
Teorema (de Hurwitz). Sea (/) una sucesin de funciones analticas en
una regin D que converge uniformemente en todo compacto K < D
a una funcin f const. Si f(z
0
) = O, z
0
G D, entonces, para todo
crculo
K
r
= {z G \ z - z
Q
\ <r}CD,
a partir de cierto nmero n todas las funciones f
n
tambin se anulan
en K
r
.
a:
l l ti
Demostracin. Segn el teorema de Weierstrass / G A(D).
Dado que / ^ 0, existe un entorno reducido del punto
z
0
O
p
(z
0
) = {ze: 0 < z - z
0
\ < p} C D
en el cual / 0 (pues los ceros de las funciones analticas
son aislados).
Sea
fi = min 1/ (2)1, p > 0,
p
donde
7
p
= {z G : \ z - z
Q
\ ~ p}.
En virtud de que f
n
^f e n la regin 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 "f
p
un nmero igual de ceros. Como /
tiene al menos un cero, entonces para n ^ n
(i
todas las
funciones f
n
tambin tienen ceros en el interior de j
p
.
Corolario. Si una sucesin de funciones (/) analticas y de una hoja
en una regin D converge uniformemente en todo compacto K <g D, la
funcin lmite es bien uniforme, bien constante.
<4 Demostracin. Supongamos que lim / = / y / ^ const,
-+00
y que existen dos puntos diferentes z\ G D y z
2
D tales
que f{z\ ) ~ f(z
2
). Consideremos la sucesin de funciones
g
n
{z) = fn(z) - fn{z
2
),
y el crculo
K
r
= {z G <D \ z- Zi\ < r},
r ^ \ zi - z
2
1.
i
1 1 3a K. 38
Iplll
Tenemos:
lim g
n
(z) = f(z) - f(z
2
) = g(z), g(
Zl
) = 0,
n~*oo
de donde, segn el teorema de Hurwitz, a partir de cierto
nmero n todas las funciones g
n
tambin se anulan en el
crculo K
r
. 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 D
2
, se denomina isomorfismo
conforme de D\ sobre D
2
a una transformacin conforme /
de Di sobre D
2r
se dice que las regiones Di y D
2
son
conformemente isomorfas. Un isomorfismo conforme de una
regin sobre s misma se denomina automorfismo conforme.
El conjunto de automorfismos de una regin arbitraria D
forma un grupo que se denomina grupo de automorfismos de
esta regin y se denota mediante el smbolo A(D). La ley de
composicin en este grupo es la composicin
la unidad es la transformacin idntica e: z > z y el elemento
inverso de <p es la transformacin inversa z (p~
l
(w).
Nota. Para simplificar la terminologa, omitiremos con frecuencia la palabra
"conforme" de la expresin "isomorfismo (automorfismo) conforme".
l l i l fc
Teorema. Sea D
{
D
2
cierto isomorfismo. Entonces el conjunto de
sobre
todos los isomorfismos de Di sobre D
2
se define mediante lafortnula
f = (p o f b,
donde 
2
) la composicin
ip o /
0
es un isomorfismo de Di sobre D
2
.
2) Sea / un isomorfismo cualquiera de Di sobre D
2
.
Consideremos la composicin (p = / o / J"
1
. Es evidente que
G A(D
2
), 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 z
0
C tal que <p{z
Q
) = oo. Por
tanto, la funcin z (p(z) es analtica en el conjunto C\ {fo}
y tiene en el punto z
0
un polo de primer orden (la funcin 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 z
0
= oo.
De esta manera, el conjunto de todas las transformaciones
homogrficas forma un grupo de automorfismos C.
2) D = . Razonando anlogamente 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 crculo unidad K y sea <p(0) = Re-
construyamos un automorfismo homogrfico A del crculo K\
w w
0
A (w) = _ ,
1 - WqW
A (io
0
) = 0,
l Bl
t r -
Analicemos la composicin f o <p. Es evidente que
1/ (2)1 <1 Vzer, / (o) = o.
Por consiguiente, / satisface las condiciones del lema de
Schwarz y V z E K se tiene
l/ (*)l ^ H
(1)
Consideremos la transformacin inversa f~\ w) =
z
sta
tambin satisface las condiciones del lema de Schwarz y, por
tanto, | / \
W
)\ ^ \w\, o bien *
P
/ (2:)
~
e
*
es
Uncin lineal simple y <p = X"
1
o f
es una funcin homogrfica. Entonces todo automorfismo
^ *
eS
homogrfico por tanto, es de la forma
(v. formula (5), p. 1.3, cap. 3,15)
w = e
1 az'
a
< b a 6 1, a =
arg
dw
dz
As, los automorfismos del crculo unidad K dependen
de tres parmetros reales: de dos coordenadas del punto a y
de a.
Demostremos ahora que variando estos parmetros se
puede hallar un nico automorfismo A 6 A(K) que satisfaga
las condiciones de normalizacin
A(a) = b, arg A'(a) = a, (3)
donde a y b son dos puntos fijos arbitrarios de K, y a es un
nmero real arbitrario.
En efecto, sean p{z) y v{w) dos automorfismos del
crculo K :
fi(z) =
z - a
1 za'
v(w) =
w b
1 bw
" I
Consideremos la composicin 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 cr-
culo unidad A = v"
1
o que verifica las condiciones (3).
Consideremos la composicin
f = v o Ai o / x"
1
,
donde Ai es otro automorfismo del crculo 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 transformacin idntica,
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 crculo unidad
Subrayemos el hecho siguiente: debido a que el grupo de auto-
morfismos de un crculo unidad depende de tres parmetros
reales, el grupo de automorfismos de toda regin D isomorfa
al crculo unidad tambin depende de tres parmetros reales.
El siguiente teorema establece la existencia y la unici-
dad de los isomorfismos de las regiones isomorfas al crculo
unidad.
Teorema. Si dos regiones Di y D
2
son isomorfas al crculo unidad K,
el conjunto de isomorfismos de D\ sobre D
2
depende de tres para-
metros reales. En particular, existe una nica aplicacin D
x
D
2
j .. . . sobre
normalizada del modo siguiente:
f{zo) = w
0/
arg f'(z
0
) = 0,
0)
donde z
0
G D
x
y w
0
e D
2
son puntos arbitrarios y 6 GR es un nmero
arbitrario.
h h
Demostracin. Sean D\ K y D
2
> K dos aplicacio-
sobre
J
sobre
r
nes. La aplicacin fo = f
2
0
f i es un isomorfismo conforme
de D\ sobre D
2
. Segn el teorema del p. 5.1, el conjunto
de todas las aplicaciones de D
x
sobre D
2
est dado por la
frmula
/ = <p / o,
donde (p es un automorfismo arbitrario de la regin D
2
.
Dado que el grupo A(D
2
) de automorfismos de la regin D
2
depende de tres parmetros reales, el conjunto de transfor-
maciones conformes de D\ sobre D
2
tambin depende de
tres parmetros reales. As pues, la primera parte del teorema
queda demostrada.
Sea ahora
Mzo) = a,
f
2
(w
0
) = b,
arg/ i'(z
o
) = 0i,
arg/ 2(>o) = 02,
(2)
y sea A un automorfismo del crculo K normalizado de la
manera siguiente:
A (a) = b,
argA'(a) = 0 + 02- 0,,
(3)
(como ya sabemos, tal automorfismo se determina de un
modo unvoco).
Analicemos el isomorfismo
/ = /
2
~
1
oAO/
1
de D
:
sobre D
2
. Tenemos:
f{z
0
) =
arg ?{ZQ) = ~ arg F
2
{W o) + arg X\ a) + arg / {(*<,) =
= - 0
2
+
0
+ - + 01 =
Con esto queda demostrada la existencia de un iso-
morfismo de Di sobre D
2
que satisface las condiciones de
normalizacin (1). Demostremos ahora su unicidad.
Supongamos que existe otro isomorfismo Di D
2
que verifica las condiciones (1). Entonces
<p = fog~
l
e A(D
2
),
<p{wo) - WO/
arg <p'{w
0
) = arg f\ z
0
) - argpô) = 0.
Consideremos el automorfismo p, = h
0
/ *
d el
crculo
unidad K. Tenemos:
p(b) = b,
ar g
^'(6) = arg y/ (to) + arg /
2
(w
0
) - arg f
2
{w
0
) = 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 crculo unidad y, por tanto,
conformemente isomorfas entre s? La respuesta se contiene
en el teorema siguiente.
T e o r e ma ( de Ri emann) . Toda regin simplemente conexa cuya frontera
consta de ms de un punto es conformemente isomorfa al crculo unidad
K = {z C \ z\ < 1}.
. >, 3
;Y
'3
% y.
*
i
k
V
*>
i
'A
H
*
< *
l^mmmrn^-
Nota 1. La condicin impuesta a la frontera de la regin es importante. Por
ejemplo, el plano complejo ampliado no se puede transformar conformemente
en un crculo; es ms, el plano C no es ni siquiera homeomorfo al crculo K
(pues la esfera no es homeomorfa al crculo). Si eliminamos un punto del
plano C, podemos transformarlo mediante una aplicacin homogrfica en C,
pero no es posible transformar conformemente C en el crculo K. En efecto,
si tal aplicacin existiera, ella sera entera y su valor absoluto estara acotado
por la unidad; pero de acuerdo con el teorema de Liouville toda funcin de
este tipo es igual a una constante.
Nota 2. Si la frontera de una regin simplemente conexa contiene ms de un
punto, entonces, por ser conexa, contiene necesariamente un conjunto infinito
de puntos.
Demostracin. 1) Demostremos que en la regin D existe al
menos una funcin analtica 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 funcin analtica completa
z - a
Esta funcin tiene dos ramas uniformes z
en la regin D, ya que
(z) y ^ <p
2
(
z
)
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) = (p
k
(z
z
) (A: = 1,2).
Entonces <p\ {z
x
) = <pl(z
2
), lo que es equivalente a la igualdad
z\ - a z
2
a
Dado que la funcin homogrfica es de una hoja, (1) implica
que z\ z
2
.
I M S S I I w l P i s a s S " -
kv X X >X' * '
k n > <*
I I
s v i; f, il; ^ $ t:fe SIj TO
si
Vi r 2
Sean dos aplicaciones D - D
x
y D D
2
. De-
r
sobre sobre
mostremos que Di y D
2
no tienen puntos comunes. Supon-
gamos lo contrario, que D
x
y D
2
tienen puntos comunes.
Esto significa que hay un par de puntos Zi y z
2
de D para
los cuales (pi{z
x
) = y
2
{z
2
). De esta igualdad se deduce (1) y
de (1), la igualdad z
2
= 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
K
p
= {w C: |w - w
0
| < p} C >
2
un crculo en el que la funcin cpi no toma valores, es decir,
Vz G Di \ <PI {Z) -tol ^ />
Entonces la funcin
z - g{z) - p
<pi(z) - w
0
es analtica y de una hoja en D, y
V z g d | <? ( z ) K i .
2) Sea dJl el conjunto de todas las funciones analticas,
de una hoja en la regin D y acotadas en valor absoluto por
la unidad. Este conjunto no es vaco, 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
i l t i i i
i^mmmm
consecuencia de que g es de una hoja). Demostremos que
el conjunto es secuencialmente compacto- Sea (/ ) una
sucesin de funciones de SDi uniformemente convergente en
todo compacto K <e D y lim f
n
= / o, Puesto que
n>oo
V n N | / | > \ g'(a)\ ,
entonces | / (a)| ^ | g'(a)\ . Adems, segn el corolario del
teorema de Hurwitz, f
0
~ const o bien f
0
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 mdulo
alcanza el supremo, es decir, existe una funcin 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 carcter extremo de h.
3) Demostremos que D K. Supongamos lo con-
sobre
1
traro, o sea, que h(z) no toma en D ningn valor b G K.
Como h{a) = 0, entonces b ^ 0. Obviamente, la funcin 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 '
v i
Denotmosla 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 clculo directo proporciona
=
h'(z) (1 ~ l&l
2
)
(1 - W f
=
( l - #) #*) )
2
de donde
'(a) -
- Ma)l
2
fe (1 " W
2
)
27=6(1 - \ b\ )
Por consiguiente, * % y > | fc'(a)| . La ltima desi-
gualdad contradice el carcter extremo de la funcin h.
Corolario. Dos regiones simplemente conexas cuyas fronteras contienen
ms de un punto, son conformemente isomorfas una a otra.
i
6. Correspondencia de las fronteras
y principio de simetra en el caso
de transformaciones conformes
6.1. Teorema de correspondencia
de las fronteras
El teorema de Riemann no dice nada sobre la correspon-
dencia de las fronteras mediante una transformacin con-
forme ni sobre el comportamiento de la aplicacin en la
4 i
frontera de la regin. La respuesta se da en la afirmacin
siguiente.
Teorema (de Carathodory). Si las fronteras de dos regiones D y D*
son curvas de Jordn, entonces Ja transformacin conforme D ^ D
f
sobre
se puede prolongar en la frontera de la regin ? obteniendo un
homeomorfsmo de las adherencias D y D*.
Omitiremos la demostracin. Slo 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 vlido si las fronteras no son curvas de
Jordn.
Existen otros resultados ms concretos referentes al
comportamiento en las fronteras de las transformaciones
conformes de las regiones con fronteras de Jordn 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 D
f
son curvas de Jordn analticas, la
transformacin conforme D D
f
se prolonga en
sobre
una funcin analtica en D.
2) Resultado de Lindelf, Si las fronteras de D y D*
son curvas de Jordn suaves y f es una transformacin
conforme de D sobre D\ entonces arg f(z) se prolonga
en una funcin continua en D, con la particularidad de
que V e dD arg / '() = 0
f
- 9, donde 0 y 0* son los
^ Remitimos al lector interesado en el comportamiento de las trans-
formaciones conformes en la frontera de una regin a los libros siguientes:
Carathodory C, Transformacin conforme; Gonzin G.M., Teora geomtrica
de las funciones de variable compleja, ML., 1967 (en ruso).
4 * l " V * ^ V *
^ M> |: H5 trWilifJi l i? 1
ngulos de inclinacin 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 Jordn, para determinar una
transformacin conforme de un modo unvoco 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
En efecto, sean
f() = d,
f(b) = b',
fie) = c.
D K, D' K, siendo
sobre sobre
(1)
K = {ze C \ z\ < 1}.
Segn el teorema de correspondencia dejas fronteras, / i es
un homeomorfismo de las adherencias D_y K, y f
2
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 crculo uni-
dad K que verifica las condiciones siguientes:
A(a) = a,
A(j9) - 3',
A (7) = V -
La transformacin / = f
2
l
o A o f
x
es, evidentemente, un
isomorfismo conforme de D sobre D' que satisface las con-
diciones (1). Supongamos ahora que adems de / existe otro
isomorfismo D D' que tambin verifica las condicio-
sobre
nes (1):
g{) - a',
m = b',
g(c)
>
c.
Obviamente, <p
que satisface
1
= fog es un automorfismo de la regin D
2
<p(a) = d,
(p{c) = c.
Consideremos ahora el automorfismo = f
2
o <p o /2
- 1
del crculo unidad K que cumple las condiciones
fi(a') = a,
M/ 3') =
Mi) = 7
Vemos que \ i es la transformacin idntica e. La forma
explcita de la transformacin fi implica entonces que <p = e,
es decir, g = / .
6.2. Principio de simetra
El teorema que enunciaremos a continuacin extiende a las
transformaciones conformes el uso del principio de sime-
tra de RiemannSchwarz de prolongacin analtica de las
funciones.
\ ; ' ), .
s
C! A; . >* i H'.i ' Vl l . ' P
, i ; ' ; :
y . i , x y . < ! s . > TT >
; > <<>* : ^ j v i > s x ? O
Teor ema. Sean Di y D
2
dos regiones cuyas fronteras son curvas de
Jordn. Supongamos que dDi contiene un arco de circunferencia ji,
y dD
2
, un arco de circunferencia y
2
. Sea D* la regin simtrica a Di
respecto a 71 y D
2
la regin simtrica a D
2
respecto a 72. Entonces,
si la funcin f transforma conformemente Di sobre D
2
y 71 ^^ 72,
ella admite una prolongacin analtica en D{ y la funcin resultante
transforma conformemente la regin Di U 71 U D{sobre D
2
U 72 U D .
Se supone que Di n Df = 0 y D
2
fl Di = 0.
<4 Demostracin. Sin prdida de generalidad se puede consi-
derar que 7j y 72 son segmentos del eje real, y Di, D
2
son dos
regiones del semiplano superior (fig. 7), pues esto siempre se
Fig. 7
puede conseguir mediante una transformacin homogrfica.
f
Sea Di D
2
. Segn el teorema de correspondencia de
sobre
las fronteras, la funcin / es continua en la adherencia Di
y establece un homeomorfismo de D\ sobre D
2
. Segn las
condiciones de partida, / es continua en 7 y toma valores
reales en 7. De acuerdo con el principio de simetra de
RiemannSchwarz, la funcin / se prolonga analticamente
en D\ segn la frmula f(z) f{z), y esto significa que la
funcin resultante transforma conformemente Di U 7j U D*
sobre D
2
U 72 U D\ .
n . ' - ' ? > i r - y
l t ]
- i : s v' ' }' ' ' . ' ' - . ' " v f y ' '. I '
1
' . ' " i { . ' [ y . ' i i . i n
^ T K - p - g 3 S* && /
Y ^ Y Y i ^ i v
Problemas resueltos
7 * i
Solucion. Segn el principio de simetra, el problema se
reduce a la construccin de la transformacin conforme de la
regin
^ 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
r
0
= {z e C: \ z\ ^ a, arg z = 0}
i
; ;
,2jt/n
O'
Fig. 9
G ,
-{
z G \ z\ ^ a, arg z
2?r
se conviertan en las semirrectas
T
Q
~ {zeC: \ z\ >\ , arg 2 = 0}
Vi = \ zeC: M >1, argz =
2TC
respectivamente. La transformacin buscada es la composicion
de las transformaciones
Wi = Z ' ,
w
2
= ~(wi + w
l
),
w
2
W3 = "T /
(a
n/ 2
+ -
n/ 2
)
W4 = + \ Jw\ -\ ,
2/ n
W = w
4
' .
12 3K.
I : . , r
Entonces,
(
tt
/ 2
+ a
-/ 2) ~Vn
x
+ z~n/2
' 1 1 i - ^
La funcin tt>i transforma el sector considerado en el semi-
plano superior del que se ha eliminado un semicrculo; la
funcin W2 (funcin de Zhukovsk) transforma el semiplano
superior con el semicrculo eliminado en el semiplano su-
perior, y los puntos A\ y A
2
se convierten en los puntos
(a
n/ / 2
-f oT"/
2
). La funcin w
3
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
funcin (aplicacin inversa de la funcin de Zhukovski)
transforma el semiplano superior en el semiplano superior
del que se ha eliminado un semicrculo unidad. Finalmen-
te, la funcin w transforma el semiplano superior con el
semicrculo unidad eliminado en el sector G\ .
A Solucin. Segn el principio de simetra, el problema se
reduce a la construccin de la transformacin conforme de
la mitad superior de la regin dada en el primer cuadrante,
de forma tal que la semirrecta (-oo, eos a) se transforme en
el semieje imaginario positivo. Dicha transformacin es el
resultado de la composicin de las transformaciones
mmm
y ; ; ^ VA ^ >
s . - < v .
2 _
Wl = z +
W2
= (e~
ia
w
y
)^
1/ 1 \
= - I l
2
H I
2 V ^2/
W = V 3 - i =
V2
e~
ia
(z + Vz
2
- l
2(ir-a) _
2
- l
y
2(3f-a)
i
El factor no juega ningn papel pues para k > 0
la aplicacin w' = kw transforma el semiplano superior en s
mismo.
7. Transformacin conforme
de polgonos. Integral
de ChristoffelSchwarz
7.1. Transformacin del semiplano
superior en un polgono
Supongamos que se requiere transformar el semiplano supe-
rior del plano z en el interior de cierto polgono M i s C
que se encuentra en el plano w (fig. 10). De acuerdo con el
teorema de Riemann tal transformacin existe y, segn el
teorema de correspondencia de las fronteras, si las fronteras
son curvas de Jordn, dicha aplicacin es un homeomorfismo
entre las regiones cerradas. A los vrtices Ai, A
2
,..., A
n
del
polgono les correspondern ciertos puntos ai ,a
2
,... ,a
n
del
eje real. Sin prdida de generalidad se puede considerar que
V k = T/ se tiene que a
k
eC (en caso contrario, mediante
mmm
12 3aK. 38
Fig. 10
un automorfismo del semiplano superior se puede conseguir
que el punto del infinito no corresponda a ningn vrtice del
polgono).
Sea w f{z) la funcin buscada. sta transforma el
segmento [ai, a
2
] en el segmento [Ai, A
2
]. Segn el principio
de simetra, la funcin se prolonga a travs de [ai, a
2
] en
el semiplano inferior, y la funcin prolongada establece una
correspondencia entre el semiplano inferior y el polgono
simtrico al dado respecto a la recta que pasa por los puntos
Ai y A
2
. De la misma manera se pueden construir prolon-
gaciones analticas a travs de otros segmentos (a*, a
fc+1
]. De
esta manera, la funcin analtica 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 {a
k
; k = l,n}.
Por consiguiente, a
k
(fc = 1, n) son puntos singulares posi-
bles de la funcin analtica completa / .
Denotemos mediante a
X
7r, a
2
i r,..., a
n
TT los valores
de los ngulos interiores del polgono. Tenemos:
TI
a
k =
71
-
2
' 0 < < 2.
Consideremos f(z) en un semientorno superior del punto
La funcin (su rama apropiada)
z~w(z)=(f(z)-A
t
y
/a
>e-
i
*>>
V S <^S* y < <x W ><x : x yx i ei ' . i
' < >>x * y <>V x 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
>a w x> *
' <- < . . > v w A.., w a '
' y^ i

w
a
k
7i
Fig. 11
transforma el semientorno del punto a
k
en el semientorno del
origen de coordenadas de forma tal que el segmento frontera
del eje real tambin se convierte en el segmento frontera
del eje real (fig. 11). Por consiguiente, segn el principio
de simetra, UJ {Z) se prolonga en el entorno completo del
punto a
k
y la funcin obtenida transforma biunvocamente el
entorno del punto a
k
en el entorno del origen de coordenadas.
De este modo, w es una funcin analtica en el punto a
k
y
oj'(a
k
) / 0. Escribamos su desarrollo de Taylor en un entorno
del punto a
k
:
(,(
2
) = (e-"(f(z) - A
k
))
Uai
=
= C\ {z - a
k
) + C
2
(z - a
k
)
2
+ ... =
= (z - a
k
)(z),
Q(a
k
) = C
:
= o/ (a&) 0,
e~^(f(z) - A
k
) = (z~ a
k
r((z))
Qk
=
~{z~ a
k
)<p{z),
donde (p(z) es una rama uniforme de la funcin (2(z))
a
\
Asimismo tenemos
m
f'(z)
f ( z )
A
k
+ {z~ a
k
)
ak
ip
x
{z), <pi(a
k
) # 0,
<*k(z ~ (z) + (z - a
k
)
a
"tp\ (z) =
(z - a^""'
1
(a
k
<pi(z) + (z - a
k
)(p[(z)) =
(z - a
k
)
ak
~
l
${z), $(a
fc
)^0,
(a
k
- 1 )(z- a
k
)
a
*-
2
<f>(z) + (z - a
k
)
a
^<\ >'(z),
r\ z)
m
(z - ak)
ak
~
2
((<x
k
- 1 Mz) + {z- a^g'Cg))
~ (z - a
k
)
a
*-i${z) ~ ~
(a
k
- 1 )Hz) + (z- a
k
)$\ z)
(z - a
k
)$(z)
z-a
k
$(z)'
A partir de las expresiones obtenidas vemos que el
f"
punto a
k
es un polo de la funcin ~y s u residuo en este
punto es a
k
- 1.
Consideremos la funcin
f"(z) " - 1
m
m
Esta funcin es entera y lim *(z) = 0. En efecto, el desarrollo
de la funcin / en un entorno del punto del infinito tiene la
forma
oo
syfl
w
E
n=l
+ 1)C
-E
n- l
- n+2
n
Cn
0 cuando z ^ oo.
9
E
fc=i
~ 1
z - a
k
0 cuando z oo.
Segn el teorema de Liouville, tf = 0. Por consi-
V
Y ^
a
k - 1 __
h
z
~
a
*"
dz
ln / '(*),
ln f{z) = ( a
f c
- 1) ln {z - a
k
) + ln C
x
k-1
m w
= hxC
1
]J(z~a
k
r-\
9 W
f(z)=Ci -
t-i
m
z
= c
x
f II(C - a
k
)
ak
~
x
d( + C
2
.
n
(1)
La igualdad (1) se denomina frmula de Chrstoffel
Schwarz y la integral en su segundo miembro se conoce como
integral de ChrstoffelSchwarz.
Veamos cmo cambia la frmula de Chrstoffel
Schwarz si la preimagen de uno de los vrtices del polgono,
por ejemplo, del vrtice A
n
, es el punto del infinito. Con este
fin, construyamos el siguiente automorfismo del semiplano
superior del plano z:
1 1
Zl
_ , z a
n
.
Entonces
fi(zi) =
a -1/ zi
I -
d
< + =
k=1
l
n
l / an
a
k
-1
dCl
&
\ +c
2
(en la integral efectuamos el cambio de variable a
n
).
si
Tras una serie de transformaciones evidentes de la expresin
tmmmm
^ i ^ p ^ p i p
subintegral, hallamos
z
t
1/ a.
Jfc1
/ ri (
/ n .
a*
Ofc-l
dCi + C =
(2)
donde a. - -- son las imgenes de los puntos a
k
en el
plano z\ .
"-fc-2
Ntese que el factor no est presente en
n
la frmula (2) debido a que n - ^ a
fc
- 2 = 0. Sealemos,
fc1
adems, que si en la penltima integral de (2) tomamos el
lmite inferior de integracin igual a cero en vez de , slo
vara la constante C
2
. Cambiando z\ por 2 y f
x
{
Zl
) por f(z),
obtenemos la frmula
i n- l
/XI
fi Sî
d( + C
2
.
(3)
Las integrales de las frmulas (1) y (3) se denominan,
respectivamente, integrales de ChristoffelSchwarz de primera
y segunda especie. La diferencia entre ellas es evidente: aunque
n
en ambos casos ^ a
k
= n - 2, en la frmula (3) el factor
jfcs=l
(C o-n)
0
""
1
no figura en la expresin subintegral.
Las frmulas (1) y (3) se han obtenido suponiendo
conocidos los puntos a
k
. Sin embargo, habitualmente en los
fe
problemas de transformaciones conformes de este tipo se
conocen slo los vrtices A
k
del polgono, mientras que los
puntos a
k
se desconocen. Segn el p. 6.1, tres de estos puntos
se pueden elegir arbitrariamente, mientras que los dems a
k
,
conjuntamente con Ci y C
2f
han de determinarse a partir
de las condiciones del problema. Este hecho constituye el
obstculo principal al utilizar en la prctica la frmula de
ChrstoffelSchwarz. Existen varios mtodos para determinar
los puntos o
fc
y C. La constante C
2
se halla fijando uno de los
vrtices del polgono. Para determinar las constantes a
k
y C\ ,
a veces se pueden utilizar las longitudes conocidas de los
lados del polgono:
t+i
A
kt
A
k+
i | = J \ f'(x)\ dx (k ~ 1, n - 1).
Sin embargo, esto no siempre se puede llevar a la prctica.
Sealemos que tambin existen mtodos de aproximacin
para determinar las constantes a
k
y C\ .
7.2. Caso de un polgono con vrtices
en el punto del infinito
Dado un n-gono, supongamos que uno de sus vrtices,
por ejemplo, A
kt
se encuentra en el punto del infinito
(fig. 12). Sean A'
k
y A
k
dos puntos arbitrarios de las semirrec-
tas A
k
_iA
k
y A
k
A
k
+i, respectivamente. Al unirlos mediante
un segmento de recta obtendremos un (n + l)-gono. La
transformacin del semiplano superior en este polgono tiene
la forma
z
f(z) = C
1
J (C~ a>i)
a l
... (C - ci'kf'
k
~
l
x
x (C - ... (C - a
n
f~
l
+ C
2
, (1)
N : . . *
donde fc7r y aV son los valores de los ngulos en Jos
vrtices A'
k
y mientras que a'
k
y aj son los puntos del
eje Ox correspondientes a dichos vrtices.
k~i
M
\ a
k
7i\
i*
Wlt
A,
w
o
k+i
Al
Fig. 12
Supongamos que el segmento A'
k
A'l se aleja paralela-
mente hasta el infinito. Esto conduce a que los puntos a!
k
y a
k
se fusionen en un solo punto a
k
correspondiente al vrtice A
k
.
Denotemos mediante -a
k
-k el ngulo entre las semirrectas
A
k
-\ A
k
y Ak+iAt en el punto final Considerando el
tringulo A'
k
A*
k
A
k
obtenemos
^' " i
a
k
-f a
k
- a
k
- 1,
es decir,
a
k
+ a'i - 2 = - 1,
y la frmula (1) adopta la forma ya conocida de la frmula (1),
p.7.1.
im^-Mm-MiM^
i.
i
Es evidente que esos mismos razonamientos son apli-
cables si el polgono tiene varios vrtices en el punto del
infinito.
De este modo, la frmula (1), p. 7.1, se cumple tambin
para los polgonos que tienen uno o varios vrtices en el punto
del infinito, con la nica particularidad de que el ngulo
entre dos semirrectas con vrtice en el punto del infinito se
determina como el ngulo (tomado con signo negativo) en el
punto final de su interseccin.
Sealemos que para esta definicin del ngulo en el
punto del infinito se sigue cumpliendo la igualdad
n
<*k = - 2
fc-i
para la suma de los ngulos del polgono.
7.3. Aplicacin del semiplano superior
en el exterior de un polgono
En este caso los razonamientos son anlogos a los del p. 7.1.
La funcin f tiene ahora un polo de primer orden en cierto
punto a del semiplano superior; la funcin tiene, adems
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-a
k
z-a z-a
de donde
m - c / 1I ce - )" _
fl
* _ - y + v (2)
o
fc_1
:
:;iffff
BiB

b i v U i . > r . . ; '

X X X
X X X
1 o
(O +i)
X X X
X X X
X X X
)+i)
" - - - ' ' s - .
Fig. 13
Aqu a
k
n son los valores de los ngulos exteriores del
polgono y
n
Y]a
k
^n-\ r 2,
fc=i
donde a
k
son los puntos del eje real correspondientes a los
vrtices del polgono.
7.4. Aplicacin del semiplano superior
en un rectngulo
Transformemos el semiplano superior en un rectngulo P con
vrtices en los puntos u> y uj + icoi (fig. 13). Apliquemos
el principio de simetra. Sea f una funcin que transforma
el primer cuadrante en la mitad derecha del polgono 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 funcin f unvocamente. Al vrtice u) +
1
del rectngulo le corresponde cierto punto >1( & <1) ,
ht
donde k es una incgnita. Segn el principio de simetra, la
funcin f se prolonga en el segundo cuadrante y la funcin
resultante (tambin la denotaremos mediante / ) aplica el
semiplano superior en todo el rectngulo de forma tal que
/ (-1) = - w,
' -
= ~U) + J\
La funcin / se obtiene aplicando la frmula de Chrstoffel
Schwarz. Tenemos:
l
<*k = ~ (k = 1, 4) ,
Z
dC,
- C
2
) (1 - k
2
2
)
(1)
La frmula (1) contiene dos parmetros incgnitos C y k.
Elijamos la rama de la raz correspondiente a Vi = 1.
Entonces, teniendo en cuenta que f'(z) |
Q
= C obtenemos
que C > 0, pues la aplicacin no cambia el sentido positivo
del eje real.
Antes de seguir, hagamos un breve parntesis; consi-
deremos la funcin
F(z
Z
>
k)
=
d(
\ 1 - C
2
) (1 " *
2
C
2
)
(2)
donde 0 < k < 1 se supone conocido. La funcin F(z, k) se
define mediante la integral elptica de primera especie, siendo k
su mdulo. Los razonamientos anteriores implican que F{z, k)
efecta una transformacin conforme del semiplano superior
iSliIII;.;'
en un rectngulo de lados 2u>
0
y w'
0
, donde
u>
0
f dC
es la integral elptica completa de primera especie
mdulo k, y
i/k
U)Q -f UJ
M'O =J
d(
_ n
1 }k
= U>0 + i
J
C
2
) (1 - *
2
<
2
)
d(
(C - 1) (i - fc
2
c
2
)'
Por consiguiente,
1/A
4 = /
de
Cambiando de variable segn las frmulas
obtenemos
1
5 =/
dr
r
2
) (1 - ft V )
= *<*i ).
As pues, la integral elptica de primera especie transforma el
semiplano superior en un rectngulo de lados 2K(k) y K{k[).
Volvamos al caso analizado. Tenemos:
m
i
d(
( w
2
) (i
donde k y C son los lados desconocidos del rectngulo-
2j y lo se conocen.
Haciendo uso de las frmulas 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 elpticas de primera especie.
En efecto, sea
_ u_ _ K{k)
Para este valor de r determinamos K(k) a partir de las tablas
U)
y despus hallamos C = --.
J
K(k)
7.5. El seno elptico y sus dos perodos
Como se demostr anteriormente, la integral elptica de prime-
ra especie z = F(w, k) realiza una transformacin conforme
del semiplano superior
G
+
= {w 6 O Im w > 0}
en un rectngulo P
0
con vrtices K y K + iK\ de forma
1
tal que los puntos 1 y - del eje real se convierten en
los vrtices del rectngulo. La funcin inversa de la integra)
elptica de primera especie se denomina seno elptico y se
denota w sn (z, k). El seno elptico es una funcin analtica
en el rectngulo 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
cin sn transforma el segmento [K, K + iK\ \ en el segmente!
1, - . Aplicando a esa funcin el principio de simetra, prol
Je I
longumosla analticamente en el rectngulo P\ simtrico a / I
respecto al segmento [K, K + iK\ ]. La funcin prolongadl
M i M .
I t l ' ^ r
r em
S me d i a me
" > * - e,
G- ~{w C: Imw < 0}
(fig-14). La funcin resultante tambin satisface el principio
2
P[

'Z
p'Zi
O
Sil z
1
siu
1 i
Jfc
Fig. 14
de simetra y, segn este principio, puede prolongarse ana-
lticamente en el rectngulo P
2
simtrico a P
x
respecto al
segmento [3K,3K + iK\ ] y vuelve a transformar P
2
en el
semiplano superior. En este caso,
sn (z + 4K) = sn z Vz e P
0
.
(1)
Hablando con ms detalle, la igualdad (1) significa que el
punto z\ , simtrico a z respecto al segmento [K, K + iK\ ],
se transforma en el punto sn z, mientras que el pun-
to z
2
= z + 4K, simtrico a z\ respecto al segmento
[3K, 3K + iK{[, se transforma nuevamente en el punto sn
Anlogamente, se puede prolongar la funcin sn z
en el rectngulo P{ simtrico a PQ respecto al segmento
[~K + iK\ , K + iK\ ], slo que la funcin prolongada tendr
un polo de primer orden en el punto iK\ . La funcin sn
prolongada transforma P en el semiplano inferior y se puede
prolongar analticamente en el rectngulo P
2
simtrico a P[
respecto al segmento [~K + i2K
x
,K + i2K\ ], y vuelve a
mmmmmm
transformar P en el semiplano superior. Al igual que antes,
obtenemos que
sn (z + 2iKi) = sn z V z (2)
Siguiendo el procedimiento descrito, podemos prolon-
gar el seno elptico en todo el plano C, obteniendo as una
funcin meromorfa con polos de primer orden en los puntos
iKi -I- 4Km + 2iK\ n ( m y n son nmeros enteros arbitra-
rios). Las frmulas (1) y (2) se verifican, evidentemente, para
todo punto z C. Esto quiere decir que la funcin sn tiene
dos perodos independientes Ti = 4K y T
2
2iK\ , y para
todos m y n enteros es vlida la igualdad
sn (z + 4Km + 2iK
x
n) - sn z. (3)
Introduzcamos ahora el concepto de funcin elptica.
Toda funcin meromorfa doblemente peridica para la cual el
cociente de sus perodos es un nmero estrictamente complejo
(con la parte imaginaria distinta de cero), se denomina funcin
elptica. El anlisis anterior muestra que sn z es una funcin
elptica.
La igualdad (3) significa que la funcin 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 homogrficas se denominan funciones automorfas
7.6. Aplicacin de un crculo unidad
en un polgono
Determinemos ahora la forma general de la transformacin
conforme de un crculo unidad en un polgono. Para ello,
4)
Existe una teora bien desarrollada de estas funciones. Vase, por
ejemplo, el libro de Ford L. R-, Funciones automorfas.
mm'm:,::.
\L>>'l .. .
transformemos primeramente el crculo unidad en el semi-
plano superior y despus utilicemos la frmula (1) del p. 7.1.
La aplicacin del semiplano superior
{z eC: Im 2 > 0}
en el crculo
tiene la forma
K = {z
t
e c NO}
z - b
Z\ = - Im b > 0,
z-b
(1)
de donde se obtiene la aplicacin de K en G+:
z =
bzi - b
zi-l
(2)
Sustituyendo (2) en la frmula (1), p. 7.1, obtenemos
= m = f
bzi -
= Mzi) =
bzt-b
/ n
n k=1
a*)"*"
1
C + C
2
Tomando en la expresin subintegral ( = , hallamos
Ci - 1
/ (*i) = Ci
n
Qjt-l
dCl
(Ci
- (b - ,)) >-' n(C, - l)
1
~<*L
fc=l
d(i
(Ci - 1)
:
+ C
2
.
Bill
En virtud de que
mci - i )
1
- " ' .
V W
(pues n - ak - 2 0), obtenemos
&=i
fiW - Cj j f [ ( ( b - a
k
Ki a
k
))
ak
~
1
d^ + C
2
b/b ^
1
6/5
= c / n , -
afc - fr
a
k
~b
1
d(i + C
2
=
dCi + c
2
, (3)
donde los puntos aj. de la circunferencia unidad son las
imgenes de los puntos a
k
.
Ntese que si cambiamos el lmite de integracin
inferior en la integral (3), tomndolo igual a cero, variar
slo la constante C
2/
mientras que la forma general de la
frmula (3) no se alterar:
/ i(*i)
Zl
n
= c [ j n
0
6=1
(Ci - a'fcf-^Ci + C
2
. (4)
Cambiando z\ por z, a'
k
por a
k
y fi por / en la
frmula (4), obtenemos la forma general de la transformacin
conforme del crculo
K = {z G z < 1}
en un polgono:
/ (*) = Ci [ fl <C - t)"*
- 1
^ + C
2
, \ a
k
\ = 1 (5)
o
fc=1
As pues, en el caso de la aplicacin del crculo unidad en
un polgono, la forma general de la frmula de Christoffel
Schwarz no cambia.
Por ejemplo, veamos la aplicacin del crculo unidad
en un polgono regular. Supongamos que el centro del pol-
gono se encuentra en el punto w 0 (esto siempre se puede
lograr mediante una transformacin lineal del polgono). Para
construir la aplicacin requerida utilicemos el principio de
simetra.
2(fc-l) . .
Sea A
k
A\ e n [h 2, n). Denotemos median-
te / la funcin que aplica conformemente el sector
5 = j * G C: \ z\ < 1, 0 < arg* < ^ j
del crculo unidad en el tringulo OA\ A
2
(fig. 15), de forma
tal que
/ (O) = 0, f {l ) = A
lf
/ (e*' )=A
2
.
Es obvio que
ke^l -jU[0,A
2
].
L J sobre
Segn el principio de simetra, la funcin / se prolonga
analticamente en el sector
S= < z e C: \ z\ < 1, < arg z< \ ,
[ n n J
y la funcin prolongada (tambin denotada mediante / )
transforma S' en el tringulo OA
2
A$. Razonando de modo
anlogo, prolongamos / en todo el crculo unidad. La prolon-
gacin de la funcin / es una funcin analtica en el crculo
unidad
K = {z e O \ z\ < 1},
lllillM
Fig. 15
la cual efecta una transformacin conforme de K en todo el
polgono de forma tal que
es decir, los puntos = a
k
son las preimgenes de los
vrtices del polgono. Como
n
a
k
. = na = n - 2,
k=i
2
entonces a
k
a ~ 1 y
n
f l i t - a
k
r ~
x
= {C ~l)-
2/ n
,
k~1
pues a* son las races de n-simo grado de la unidad y
n
H ( c - <*) = c
n
- 1.
k=1
De acuerdo con la frmula (5),
2
f
{z)=c y (i - c
n
)-
2/ n
o
- V - '
i
ir
La constante C se determina a partir de la condicin
/(l) = C
i
/
CV
2/
" dC = Av
de donde
f(l - C")~
2/ n
<
o
Realizando el cambio de variables (
n

cuenta que
1 i 1
d( = di,
n
obtenemos
t y teniendo en
i
J {i - CT
2/
"
rc J
- 2 f n
dt
o
1
- B i - , 1 -
n \ n
donde B es la funcin beta deEuler. Finalmente,
/ = / (z) =
nA\
B ( , 1 ) o
\ n n /
J (i - er
2,n
de.
Nota. Haciendo rotar el plano z en un ngulo a alrededor del origen de
coordenadas podemos conseguir que la preimagen del vrtice A1 sea cualquier
punto dado e
m
de la circunferencia unidad.
Utilizando la frmula (2), p. 73, y aplicando un iso-
morfismo homogrfico del plano z, obtenemos sin dificultad
la frmula de la aplicacin del interior del crculo unidad en
:
i i
i
\
C. \ . V S >N* .
, , <
v v
%
JJ
m-
te
| x .
<4 Solucin. Sea w f{z) la funcin que aplica conformemente
el primer cuadrante en el tringulo ABC, de forma lal
que
/ (O) - A, f( 1) - B, / (oo) = C.
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).
Segn el principio de simetra, la funcin / se prolonga ana-
lticamente en todo el semiplano superior y la prolongacin
obtenida aplica conformemente el semiplano superior en un
rombo, con la particularidad de que / (1) = D. Segn la
frmula (3), p. 7.1, tenemos
l r \ i - er
a
La constante c se determina a partir de la condicin
/ (l)
1
= d = c| c"-
I
(i -c
2
)"
a
dC,
c a \
A - , l - a),
de donde
2 d
Finalmente,
, 1 a
2 d
f e - ' i i - e r
d(. u
i
\ < s > . ! ' >4
, ^>. *t . v .v ^^^ <; t ^v^rf ? i < < r u a j
Solucin, Apliquemos la frmula (3), p. 7.1, tomando
aj = 1, a
2
= 1, 03 oo,
3 1
i = 2'
a2 =
2-
Tenemos:
w = / (z) = Ci
1 + C
1- C
1/ 2
<*C + dz,
w(l) = C
2
= - i
,(-1) = = C3
i + C
i -c
1/ 2
dC- =
-Ci7T - Ci = ,
7T
= M =
i + C
v
J M-c
1
1/ 2
d(-i =
1 - z
2
- arcsen z).
V v
4
> . V/
v ~ , > > . . .

v . . . : ~ >. x
^ T . .'
v v . i - ,
v / w / . . '
O . v: . : : <
a :
AV . / y
shp-
h ; - : . . . ^ . :
- . ..
* >, X >, Y s A . > fY t f f t ' f Wj k l t ot
rtwmmmk
WMmk >x< > X

2=M
O'
Fig. 17
<4 Solucin La regin del plano w es un tringulo con dos
vrtices .4] y en el punto del infinito (fig. 17) y ngulos
ot\ 7f, oliT, ot37r, donde
ai = 0, oz = 2, c*3 = 1.
Tomando
a\ =0, a>2 = 1, a3 = oo
y aplicando la frmula de ChristoffelSchwarz, 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
funcin w, definida por la frmula (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
AI A
2
a la semirrecta A2A3. Por consiguiente, el incremento
de la funcin Aw se diferencia poco de -iw, luego C\ = 1.
Finalmente,
w = f(z) = 2; + 1 + \ nz.
Fig. 18
Solucin. Es conveniente introducir un plano auxiliar (. l ,a
funcin
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
simetra, la funcin ( (p(Q se prolonga analticamente a
travs de este semieje en el semiplano inferior y la prolonga-
cin obtenida aplica conformemente el plano con un corte
a lo largo del semieje real negativo en toda la regin dada del
smmsm
plano w. Transformando luego el plano ( en el semiplano
superior G+, obtenemos
w = -z
2
4-1 + 2 ln z - iir.
tf . *
Solucin. La forma de la funcin / sgiere que la regin
buscada es un cuadriltero con dos vrtices en el punto del
infinito:
a\ =0, ct\ 0, A\ = oo; Ai = oo;
a
2
a,
a
3
- b,
oo,
a
2
= - ,
2
<*
3
= 0,
3
4 = r -
A
2
= 0;
A
3
= oo;
Se pide hallar A4.
Analicemos la derivada f'(z) en el intervalo (a
2
, a
3
).
Tenemos:
/'(*)=-
1
f'(z) < 0 Vze(a
2/
a
3
),
z(z b)vz - a
es decir, arg f'(z) = ir; por tanto, la imagen del intervalo
(a
2/
<2,3) es el semieje real negativo. Tomando en consideracin
1
que ct
2
, la imagen del intervalo {d\ , a
2
) es el semieje
imaginario negativo. Ahora es evidente que el vrtice
pertenece al tercer cuadrante y la regin 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
cin Aw cuando z recorre la semicircunferencia
1t
= [
z
e C: z = re
tlp
, 0 < tp < ?r}.
Tenemos:
Aw
d(
+ 0(r)
b\ /a
+ 0(r), = (7r/7r
r
)>
Por consiguiente, h
b\ /a
De igual manera determina
mos h
2
, examinando el incremento de la funcin w cuando
recorre la semicircunferencia con centro en el punto b. Tone
mos:
bVb
Si b = 2a, entonces h\ = h
2
.
v va ^ .
>a\ U< y
<^>S ^ >-\ <>rf>.
v>a i ' ,< .
<<>; < < . v
V< <,,. ,/<,,
y <> ^< : : \
- >- >>>>.$>., >v ;
% . >>>><+,> a
L!)5
Solucin. Sea 7r(l + A) el ngulo obtuso de la estrella. Entoi
ees su ngulo agudo es igual a ir 1 - A
I , \ X ^ i * ^?> i : V i - : <
principio de simetra podemos suponer que las preimgenes
de los vrtices de los ngulos agudos son las races de n-si-
mo grado de la unidad, mientras que las preimgenes de
los vrtices de los ngulos obtusos son las races de n-simo
grado de - 1. Aplicando la frmula de ChrstoffelSchwarz
obtenemos
w =f{z) = C

(i +C")
A
<*C
(1 _
0 <A <1 .
n
La constante C se obtiene a partir de la condicin
m = A v
: t & EB * 8 X * ,
Solucin. La funcin buscada se obtiene utilizando la fr-
1
mua (5), p.7.6, y haciendo el cambio de variable z = , el
z\
cual transforma el crculo unidad en su exterior:
n
/ l \ ^r 1 dC
k=l
Efectuando el cambio de variables y teniendo en
Ci
cuenta la igualdad
n
ak = +2,
fc=i
llevamos la frmula anterior a la forma
w =fi (zx) =C\

/ n i -
r fc=i
r vM-l
d
Cl
ak) +C
(1)
m <
. >
1
m
"Jfe-
f . ' i :
s l ' J w<<< w w J ; : v* >:Jwx : s v :> > * \ > <
Sol uci n. La funcin buscada se determina mediante la
frmula (1) del problema anterior tomando
fc = 1 + -/
n
' =Ak, C
2
=1, Zq " 1.
La constante C[ se determina de la igualdad Ai - /i 1 y que dicha raz es real
2. Cuntas races tiene la ecuacin
e* - 4z
n
+1 = O (neN)
en el crculo
iT = {z C |s| <1}?
3. Demostrar que para a > e la ecuacin
e* = (n g N)
tiene n races en el crculo
= |z| <1}. 1
Cuntas races tiene la ecuacin J
ti 7 *
z + a0 + OLXZ + A2 = 0,
<
en el crculo
K = {zeC: \ z\ <\ ) ?
si \ a
0
\ > | ai| + \ a
2
\ +1 (n N)? 5
5. Demostrar que la ecuacin
+ az + 6 = 0 (a > 0, b >0)
7T
tiene en el primer cuadrante una nica raz cuyo argumento es mayor que .
6. Demostrar que la ecuacin (z - 1)e
z
= z 2 no tiene soluciones con parte real
negativa,
7. Demostrar que la ecuacin F(z) = b, donde
n
F{x) = T T r - ^- ' < 2 Vfc = l7 y |&| < 2~
n
t i
4
"
tiene n races en el crculo
K = {z gG \ z\ < 2}.
8. Sea * = #{;) una funcin definida mediante la ecuacin
tu =
e
-**(e
z
-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 funcin / ^ const- Demostrar que dentro de la regin limitada por una
lnea de nivel del mdulo de / (\ f(z)\ = const) y contenida de modo compacto
a la regin de analiticidad de / , existe al menos un cero de esa funcin.
10. Demostrar que si P(z) es un polinomio de grado n y
\ P(z)\ $M\ zK = {zeO NK1},
entonces
V g IT' = {z g C \ z\ ^ 1}\ P(z)\ ^ M\ z\
n
.
. ^ * s v i >x >
11. Sea P(z) un polinomio de grado n y sean E\
f
E
2
dos elipses confoca les do
semiejes
y 2/ f>2 fai < a
2f
&i 
M
2
(fli + " (a
2
+ b
2
)
n
'
12. Supongamos una funcin / analtica en el crculo
Kr = {z C \ Z\ < R}
satisface la desigualdad \ f{z)\ ^ M para \ z\ = R y se anula en ciertos puntos
%2/ * /
de este crculo. Demostrar la desigualdad
i / ^ i i ^ <w<*>-
13. Sea f una funcin analtica en el crculo
K
R
^{zeC: \ z\ ^ R},
y tal que V z K
R
se cumple la desigualdad \ f(z)\ ^ M. Sea /(O) ~ 0.
, y
M
Demostrar que [/ (0)| ^ , donde el signo de igualdad es posible slo para
la funcin
f(z) = Me
iifi
--
)
<pe R
t i
oo < ai < a
2
< ... < a
n
< +oo,
n
0 < a
k
< 1 (k ~ T~), =
t=i
Demostrar que toda rama de la funcin
m
n
I n -
a fc=1
*k)"
k
-
1
dC
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

Fig. 20
15. Hallar la imagen del crculo unidad
K = G |z| < 1}
mediante la aplicacin
z u>(z)
z
/
(1 +C
n
)
A
dC
_ Qny/ n+A
, / (O) >0,
maKffliWi
Fig. 21
1 <A< 1-
n
D
16. Transformar el semiplano superior en la regin representada en la figura 20(el
arco AC es una semicircunferencia) si
w(A ai, B = oo, C = 0) z(0,1, oo).
17. Transformar el semiplano superior G+ = {z 6 C: Imz > 0} en la regin del
plano tu representada en la figura 21, bajo la condicin
w(A = -h, B oo, C - h, D =oo) z(-1,0,1, oo).
Captulo 1
.n+l
a) res f(z) ~ , donde zk =exp (
2f c + 1
7r)
*k n C n J
(k =07^1) ; res/ (,) = ( ?'
S
!
n
* J<
y
oo [ -1, si n =1.
b) res f(z) = (-1)
B+1
<5B
+1
; res / (z) = (-l )"c^
+1
;
1 O O
c) res f(z) =0;
00
d) res f(z) =0;
OO
1 1
e) res f(z) = -; res f(z) = --;
-i e oo e
f) res f(z) = e
b
-e\
00
4 4
a) res / (z) = ~sh2; res/ (z) = - - ( e + 2e"
1
);
- 9 i/2 9 '
4
b) res f(z) = - ; res f(z) = 0.
e
6
- e.
j r/ 2
n.
.Ufara
10
11
a) 2(1 -e~
l
)i tv,
b) 0;
c) 0.
a) -2wi si Ln (z - 2)| z=1 = -7r, y 0 para las dems ramas;
b) 0 para todas las ramas;
c) 0 si VÛi = 1/ y -47rze si Vz\ z=i - - 1.
a) 0;
2
b) - x(l +2i).
,'MtM
V y i ! .
16. a) D
b) C.
z(2n - z)
- - w +l ^ î -
ra1
= {z G C: |z| < e"
1
};
2. n.
4. 2.
a.
9
(w) = Y, * = K - i r V ' i .
n=l
2tt
15. Es un polgono regular tipo estrella de ngulos 7r A?r y 7r + A t,
con centro en el origen de coordenadas y con uno de los vrtices 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 ,
1 6 . w donde C ^ ~ Y+l)'
=
V ~z
17. w =
2h
7T V 1 " t
1
z
1
- 1 4- arcsen - 1.
z /
l +
ndice de materias
A
aplicacin abierta 133
interior 133
automorfismo conforme 162
c
Carathodory, teorema 172
Cauchy, teorema 8
condiciones suficientes de convergen-
cia uniforme del producto infi-
nito 56
conjunto de funciones, compacto 156
, equicontinuo 154
, secuencialmente compacto 159
, uniformemente acotado 154
equicontinuo 154
Ch
ChristoffelSchwarz, frmula 183
, integral 183
de primera especie 184
, de segunda especie 184
E
Euler, funcin beta 198
F
frmula de ChristoffelSchwarz 183
funcin automorfa 193
beta de Euler 198
de gnero finito 62
de p hojas 136
elptica 193
entera 33
de gnero infinito 62
trascendente 34
meromorfa 34, 64
en una regin 38
funcional 158
continuo en un elemento 158
G
gnero del producto infinito 62
grupo de automorfismos 162
H
Hurwitz, teorema 160
l
integral de ChristoffelSchwarz 183
de segunda especie 184
elptica completa de primera especie
190
p-inflacin 155
isomorfismo conforme 162
J
Jordn, lema 74
L
Lagrange, serie 135
lema de Jordn 74
de Schwarz 142
Lindelf, resultado 173
M
Mittag-Leffler, teorema 36
Montel, principio de compacidad 156
. - .
Kife
o
orden de una funcin entera 63
Schwarz, lema 142
resultado 172
SchwarzChristoffel, frmula 183
, integral 183
, de segunda especie 184
seno elptico 191
serie de Lagrange 135
de funciones meromofas, conver-
gente 36
, uniformemente convergente 36
teorema de Carathodory 172
de Cauchy 8
de convergencia del producto infi-
nito y de la serie numrica co-
rrespondiente 52
de Hurwitz 160
de Mittag-Leffler 36
de Poincar 63
de Riemann 167
de Rouch 122
de Weierstrass 59
fundamental del lgebra 124
valor del producto infinito 51
w
Weierstrass, producto infinito 59
, teorema 59
p
Poincar, teorema 63
principio de compacidad de Montel
156
de uniformidad 137
del argumento 121, 122
del mnimo 142
del mximo del mdulo (primer
enunciado) 141
del mximo del mdulo (segundo
enunciado) 141
producto infinito 51
absolutamente convergente 53
convergente 51
puntualmente 56
uniformemente 56
de Weierstrass 59
divergente 51
R
regiones conformemente isomorfas
162
residuo de una funcin analtica en un
punto singular aislado 4
en el punto del infinito 7
logartmico de una funcin 120
resultado de Lindelof 173
de Schwarz 172
Riemann, teorema 167
Rouch, teorema 122
ndice
Prlogo a "Variable compleja"
Captulo 1
Residuos. Aplicaciones de los residuos . .
1. Definicin de residuo. Teorema fundamental
2. Funciones enteras y meromorfas
3. Productos infinitos
4. Aplicacin de los residuos al clculo de integrales
y de sumas de series
Captulo 2
Aspectos generales de la teora geomtrica de las
funciones analticas
33
50
72
117
1. Principio del argumento. Teorema de Rouch
2. Conservacin de una regin. Inversin local
de una funcin analtica 131
3. Propiedades de los extremos del mdulo
de una funcin analtica 141
4. Principio de compacidad. Funcionales definidos
sobre familias de funciones analticas
5. Existencia y unicidad de las transformaciones conformes . .
6. Correspondencia de las fronteras y principio de simetra
en el caso de transformaciones conformes
7. Transformacin conforme de polgonos.
Integral de ChrstoffelSchwarz
151
162
171
179
Respuestas 211
ndice de materias 213

Matematica Superior Problemas Resueltos: 4. K. Boiarthuk

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Matematica Superior Problemas Resueltos: 4. K. Boiarthuk

Загружено:

Авторское право:

Доступные форматы

i toda l o r i g a toda l l Bwt oda toda t odal o aMrt oda t ocuj i a toda toda

9 toda toda T a t a i ma n t e toda t o ^ Ma toda toda

e N tal que Vn > \ z\ < - (ya que \ z

No es difcil comprobar que J i = 0. Tomando e

Demostracin. Sea jq 6 D* un punto arbitrario. Determi-

Вам также может понравиться