Documente Academic
Documente Profesional
Documente Cultură
SUPERIOR
PROBLEMAS
RESUELTOS
A. K. Boiarthuk
Variable compleja
Funciones de
variable compleja
1ATEMATI/IKA
URSS
MAXEMATHKE. TOM 4.
Macrb 1.
Reservados todos los derechos en todos los idiomas y en todos los pases del mundo. Quedan
rigurosamente prohibidas, sin la autorizacin escrita de los titulares del "Copyright", bajo las
sanciones establecidas en las leyes, la reproduccin total o parcial de esta obra por cualquier medio
o procedimiento, comprendidos la reprografa y el tratamiento informtico, y la distribucin de
ejemplares de ella mediante alquiler o prstamo pblico.
7 85836 "004538
Director
Director financiero
Director de sistemas
Director de produccin
Vicedirector
Editorial URSS
Prlogo a
"Variable compleja"
Entre los textos recomendados para el estudio de la teora de funciones de
variable compleja hay muchos manuales y materiales didcticos muy completos que tienen por autores a cientficos de fama ms que reconocida:
A. I. Markushvich, M. A. Lavrintiev, B. V. Shabat, 1.1. Privlov, A. V. Bitsadze,
M. A. Evgrfov, A. Hurwitz, R. Courant, etctera. Lamentablemente, en lo que
respecta al volumen, eleccin y distribucin del material, la mayora de estos
libros no estn adaptados a los programas de los cursos de teora de funciones de variable compleja que habitualmente se imparten en las facultades de
matemticas y fsica de las universidades de Rusia y otros pases de la CEI.
Separar de un libro voluminoso el material principal de modo que se forme
un curso ntegro, lgicamente acabado y ajustado al programa de estudios no
es fcil ni para un profesor con poca experiencia, ni para un estudiante o un
posgraduado.
Las razones anteriores motivaron al autor a escribir un libro que
corresponda al nivel actual de los programas universitarios del curso de teora
de funciones de variable compleja que no est saturado de detalles y que
contenga un gran nmero de problemas resueltos. En este tomo se resuelven
detalladamente casi cuatrocientos problemas de dificultad media o alta.
Muchos libros de teora de funciones de variable compleja se caracterizan
por contener desacuerdos e imprecisiones en la terminologa bsica. Por ejemplo,
en distintos lugares de un mismo libro el concepto de funcin analtica puede
tener un sentido diferente. El autor ha tenido en cuenta este hecho; todos
los conceptos considerados en el presente libro tienen un sentido claramente
determinado.
En el comienzo de la obra se da una definicin rigurosa de funcin
(y no su descripcin, como se suele hacer en la mayor parte de los manuales),
se consideran las operaciones con conjuntos y los aspectos principales de la
teora de espacios mtricos. Sin incluir este material en el libro, sera imposible
exponer las cuestiones principales al nivel matemtico que se requiere en la
actualidad. Por ello, incluso una lectura rpida de ese pequeo captulo es muy
aconsejable para entender el resto de la obra, en donde se exponen los temas
tradicionales de la teora de las funciones analticas, creada en el siglo XIX,
primordialmente gracias a las obras de A. Cauchy, B. Riemann y K. Weierstrass.
En el libro se presta mucha atencin a las cuestiones prcticas relacionadas con las transformaciones conformes.
El autor
"x
\
Captulo 1
Estructuras fundamentales
del anlisis matemtico
En este captulo se incluyen los conocimientos bsicos referentes
a la teora de conjuntos y aplicaciones que se usarn ms adelante
en la exposicin del material bsico del libro. Se examina de
forma bastante completa la teora de los espacios mtricos, se dan
los conceptos bsicos, y se utiliza la notacin establecida en los
cursos de anlisis matemtico moderno.
1. Elementos de la teora
de conjuntos y aplicaciones
1.1. Smbolos lgicos
En las matemticas, en lugar de expresiones verbales a menudo
se utilizan smbolos adoptados de la lgica. As, en vez de las
expresiones "para todo", "para cada", "para cualquier" se utiliza
el smbolo V, y en lugar de la palabra "existe", el smbolo 3 . Estos
smbolos se denominan, respectivamente, cuantificador universal
y cuantificador existenciaL Las frases "para todo..." y "existe..."
suelen ir acompaadas de ciertas restricciones, anotadas entre
parntesis. En lugar de la frase "tal que" se utilizan dos puntos
o una barra vertical.
El enunciado de cada teorema contiene una propiedad A
(premisa) y una propiedad B (conclusin) deducible de A.
Brevemente la expresin "A implica B" se denota en la forma
wmmm:
1, l! .
m^
SE*** t
Wlt"I'i :>:Y"<
i**^ 'A
: \ if.lt > > 5 > < >
- . :.;!
* : J w
.:>
<: :
< <s :
> > ::
(1)
fc1
Comprobando directamente, vemos que se verifica el lema 1 Suponiendo que la igualdad (1) se cumple para n 6 N,
tenemos
n+1
g f c 2 = n(n + l)(2n + l ) + ( n + 1 ) 2 =
(n + l)(2n2 + 7n + 6) _ (n 4- l)(n + 2)(2n + 3)
"
"
Si tales elementos no existen, los conjuntos U x y Mdenominan disjuntos y se escribe Mx n M2 ~ 0 (fig. 3).
'2 se
ry
enecen
por
io
menos
a
un
de
ios
coniunt
s
T(irr
M
M
Fig. 4
conjunto^11 3 '
&
^ ^ ^
de
b s
COniuntos
M \ M2 = {a: a M\ A a M2V.
al
Fig. 5
C ( M i U M2) = C M i n C M 2 ,
(1)
x g Mi U M2 => x g M i A x M2
x GC M i A x C M 2
x 6 C M i n C M 2 =>
=> C ( M i U M 2 ) C C M I n C M 2 .
Si y CMi n CM 2/ obtenemos
y CMi n CM2 =>y e CMi A y e CM2
2/ e C ( M i M 2 )
C M i (1 C M 2 C C ( M i U M 2 ) .
De la frmula (2) vemos que, al intercambiar el smbolo de complemento C con los smbolos U y.n, estos ltimos se intercambian
entre s.
M/'V/n
Xn+l.
rx)
^m-fffm^'
iL JrJ
!I i!
x
Fig. 7
La primera proyeccin de la relacin binaria T est compuesta de las primeras coordenadas de los pares ordenados
pertenecientes al conjunto F (fig. 7).
El conjunto i(x) {y Y: (x, y) V} se denomina
seccin primera de T mediante x (fig. 7) y est compuesta de las
segundas coordenadas de todos los elementos de F cuya primera
mm
<
>_.
Fig. 8
coordenada es igual a o?. La seccin primera de T mediante x es
el conjunto vaco Va I V
Se denomina segunda proyeccin de la relacin binaria F
el conjunto
r 2 = pr 2 F = {y 6 Y: 3 x 6 X : (x,y) 6 r } .
La segunda proyeccin de la relacin binaria T es el conjunto de todas las segundas coordenadas de los pares ordenados
pertenecientes al conjunto T (fig. 8).
\
Fig. 9
Sil
El conjunto r 2 {y) =
{x e X: (x,y) F} se denomina seccin segunda de F
mediante y (fig. 8). El conjunto
IMy) est compuesto de las
primeras coordenadas de todos los elementos de T cuya
segunda coordenada es igual
a y. La seccin segunda de T
mediante y es el conjunto vaco Vy < r2.
A cada relacin binaria F se le puede hacer corresponder su relacin binaria
inversa V
segn la regla
r"1 = {(*,*):
(x,y)eV}
(fig. 9). A menudo, la operacin de inversin de la relacin binaria T se denomina operacin de transposicin de la relacin
binaria F.
r(/)={(s,/(aO): xeDf}.
?;ltIl|
K-W.VU*^;, .
, .....
Si Df = X , entonces la aplicacin /: X
Y se denomina
aplicacin del conjunto X en el conjunto Y y se denota mediante
x i y .
Si Df X, Ef = Y, entonces la aplicacin /: X > F se
denomina aplicacin suprayectiva (sobreyeccin) del conjunto X
sobre el conjunto Y y se denota mediante
sobre
Ifiil
f = l})0<p~^
mmm.
1.10. Isomorfsmo
Sean E y F dos conjuntos dotados, respectivamente, de las
operaciones binarias internas T y _L. Se denomina isomorfsmo
del conjunto E sobre F la biyeccin
_
E ^ F
que cumple la propiedad V(a e E, b e E) f(aTb) = f(a)X f(b).
Los conjuntos E y F se denominan en este caso isomorfos
respecto a las relaciones T y _L.
Por ejemplo, supongamos que E ~ N, la relacin T es
la adicin, F = {2"} y la relacin X es la multiplicacin. La
aplicacin E
F: V n G N, /(ra) = 2" es un isomorfsmo ya
que V (n E N, m E N) se tiene que (n + m)^ 2n+m = T 2m es
decir, f{n + m) =
f{n)f(m).
2. Estructuras matemticas
Una estructura matemtica es un conjunto de objetos o varios
conjuntos de objetos de naturaleza distinta que poseen un sistema
de relaciones y operaciones binarias sometidos a determinados
axiomas.
2.1. Grupo
Se denomina grupo a un conjunto no vaco E dotado de una
operacin " o " que a cada par de elementos a 6 E, b e E le
hace corresponder un tercer elemento perfectamente determinado
aobeE,
cumplindose, adems, las condiciones siguientes:
1) la operacin o es asociativa: V(a 6 E, b e E, c E)
a o (b o c) = (a o b) o c;
2) en E existe el elemento neutro, es decir, un elemento n tal
que Va G E a o n = a;
3) Va G E 3 a' 6 E: a o a' = n (a' es el inverso de a).
En caso de que tambin se verifique la condicin
4) V(a E, bE)aob
boa,
2.2. Anillo
Se denomina anillo un conjunto R dotado de dos operaciones
binarias llamadas adicin y multiplicacin, con la particularidad
de que, respecto a la operacin de adicin, el conjunto R es
un grupo abeliano (grupo aditivo del anillo R), y se cumple la
propiedad distributiva:
V(aER, bR, cR)
a(b + c) ab + ac, (b-\-c)a = ba + ca.
Si la operacin de multiplicacin es conmutativa, entonces
el anillo se denomina conmutativo. Si R 3 1, el anillo se denomina
unitario.
Por ejemplo, el conjunto Q de los nmeros racionales
provisto de las operaciones de adicin y multiplicacin es un
anillo unitario.
2.3. Cuerpo
Un anillo se llama cuerpo si al excluir el elemento neutro de
la adicin, el resto forma un grupo respecto a la operacin de
multiplicacin.
2.4. Campo
Un cuerpo en el cual la operacin de multiplicacin es conmutativa
se denomina campo.
Por ejemplo, las ternas ordenadas (Q, +, -) y (R, +, ) son
los campos de los nmeros racionales y de los reales, respectivamente.
Definicin. Sea K un cuerpo (campo). La aplicacin | |: K R + , donde
R+ = {x e R x > 0}, se denomina valor absoluto (mdulo) en el cuerpo
A<)XV>
fe ^,
1) |a| = 0 = > a = 0;
2) |a./?| = |a|-|/J|;
3) |a + /?|^|a|-f|/?| (propiedad triangular).
Un cuerpo (campo) en el cual est definido el valor
absoluto se llama cuerpo normado.
x -f y = y + x)
(x + y) + z = x + (y + z);
3 0 e E: x + 0 = x;
3 ( - a ) G E: x + (-en) = 0;
A(x + y) = Xx + Xy, (A + fi)x ~ Xx + px;
(Xp)x = X(px);
1 x = x.
1) ||a;|| = O ^ x = 0;
2) ||As|| = |AH|s||;
3) \\x + y|| < |M| + \\y\\ (propiedad triangular).
El valor de la aplicacin [| || en el vector x 6 E se llama
norma del vector x.
El conjunto ordenado (E,
- , || ||) se denomina espacio
vectorial normado. Con el fin de abreviar la notacin se suele
escribir E en lugar de (E f +, , ||41|).
De los axiomas 2) y 3) se deduce que ||0|| 0 y ||x|| ^ 0,
Va: 6 E . La primera propiedad se obtiene del axioma 2) para
A = 0 y la segunda,, del axioma 3) para y x.
Se dice que el vector x 6 E es el lmite de la sucesin
de vectores (xn) del espacio normado E o que la sucesin (xn)
converge a x, y se escribe lim Xfi - X/ si la sucesin numrica
n- oo
(norma eucldea),
0)
(norma octadrica),
(2)
(norma cbica).
(3)
=l
x \\
1'
=i
max | Xi
1 <i<m
i S J f i : : '.IV
x. Escojamos un nmero
Entonces,
V (n ^ n, p E N) tendremos
IIXn+p ~ $n|| < l|+j> - II +
~ n|| <
3. Espacios mtricos
Los espacios mtricos forman una clase de espacios topolgicos.
Este concepto fue introducido en 1906 por M. Frchet (1878-1973),
en sus estudios sobre espacios funcionales.
Una de la caractersticas fundamentales de la disposicin mutua de los puntos de un conjunto es la distancia
entre ellos. La introduccin de la mtrica (distancia) permite expresar en trminos geomtricos los resultados del anlisis
matemtico. Los conceptos ms importantes de la teora de
los espacios mtricos son la completitud, la compacidad y la
conexidad.
mm.
mm
1) p(x, y) = 0=>x = y;
2) p(x, y) = p{y, x) (propiedad simtrica);
3) p{x, y) <
+
2/) {propiedad triangular).
El par ordenado (X, p) se denomina espacio mtrico y los elementos del
conjunto X, puntos del espacio mtrico.
Todo espacio vectorial normado E se convierte en un
espacio mtrico si V (x G E, y G E) definimos la mtrica del
espacio mediante la frmula
p(x,y) = \\x-y\\.
(1)
Es fcil comprobar que se verifican los axiomas I)-3).
Por induccin, del axioma 3) se deduce que V( X,
j = T/, TI ^ 2) se cumple la desigualdad
p(xv xn) ^ p(xi, x2) + p(x2f x3) + ... 4- p(xn-i, xn).
(2)
Adems, si p es la distancia en X, entonces V (x G X,
y G X, z 6 X) se verifica la estimacin
| p(x,z)-p(y,z)l^p(xfy%
(3)
En efecto, de los axiomas
pfo, z) + pa, y) y p{y, z) ^ p{y, x)
de donde -p(x, y) < p(x, z) - p(y,
desigualdad (3) se deduce que V (x
una mtrica en el conjunto E. e fcil comprobar que se cumplen los axiomas l)-3).
R
'TR
- v i-uWi&i
1
/ v A
Ve > 0 3 n N: V n ^ np(xn,x)
< -.
+ ... +
enwtoT
bola abierta de radio 6 y centro en el punto s 0 , o bien -entorno del
punto xa
Definicin 2. El conjunto d6(xQ) = {xeX:p(x0fx)^6}
se denomina bola
X : p(x0, x) = A} se denomina
inf
p(x, y)
'
2)
?t0nCeS P{A'B) =
embargo,
Sean, por ejemplo, A = N y
B ) = inf - = 0.
n n
sup
.
y).
.
(3)
25ST
. .
Uni6n
d0S
COnUntOS
aCOtadOS
Bes
un conjunto
Demostracin. Si a e A, b e B y x,y son dos puntos cualesquiera del conjunto A UB, entonces bien * f i A j U ,
por tanto, x.y) * d(A); bien * B , y B, P o r e r guiente, p{x, y) ^ d(B); bien, por e,emplo, x <c A y tf,
y en virtud de la propiedad triangular obtenemos la desigualdad
p(x, y) ^ p{x, a) + p{a, b) + p(b, y), es decir,
d{A U B)^ p{a, b) + d(A) + d{B).
(4)
Sea > 0. A partir de la definicin de nfimo tenemos que
3 a' A Ab' eB tales que
p(A,B)^p(a'fb')<p(A,B)
+ e.
) +
\h'-: :. i - V: >:
dconkinto^O
suyo
11
* ^
*(x> C
PUnt * junt
es
Con
entorno
"GC?A
P a m Cert A
Os(x) c gx c [ j gm:
entonces
de
CONJUNTOS
un
_ _
deme
^f
rHzar
d C9S0 d e d o s ^.juntos
I Z t o T f T r
abiertos G y G^ y despues utilizar el mtodo de induccin.
m x t Gi n Gz, entonces existen tales , > 0 ^ n n
De este modo,
^ C G ^
N, en la recta numrica es
un
n n
:onjunto cerrado, pues consta de un solo punto {0}.
( J { x } C ( J Gx C int A.
zinM
cCintJ
De acuerdo con el teorema 2, p.3.3, el conjunto int A es abierto.
Si B C A es un conjunto abierto, entonces de la definicin 2 se
deduce que B C int A.
.:; j. ?H
'
&
conjuntos cerrados.
y a esfera S(x0f6)
C X son
Demostracin. Si x g 06(xQ)f entonces p{x, O(a?0)) > p(x0/ x)6 > 0; por tanto, la bola abierta de radio Si = p(xo, x) - 6
y centro en el punto x est contenida en el complemento de la
bola Ofi(o). Por consiguiente, este complemento es un conjunto
abierto. El complemento de la esfera
6) es la unin de la
bola abierta O(x0) y del complemento de la bola O(x0), Segn
el teorema 2, p. 3.3, esta unin es un conjunto abierto.
(1)
aA
c*=<*
i=\
(2)
i=1
4. Conjuntos compactos
Definicin 1. Un conjunto K C I se denomina compacto en el espacio
mtrico (X,p) si toda sucesin (&) de elementos de K contiene una
subsucesin convergente. Si para toda sucesin convergente de puntos
de K su lmite pertenece a K, entonces se dice que K es compacto
(secuencialmente compacto). Si los lmites de dichas sucesiones pertenecen
al conjunto X sin pertenecer, tal vez, al conjunto K, entonces K se
denomina compacto en el (respecto al) espacio (X, p).
Es evidente que un conjunto K es compacto si, y slo si,
K es cerrado y compacto en el espacio (X, p).
Ejemplo 1. Consideremos el conjunto X = [0,11 y la mtrica p{x, y) = \x - yj
; -
* conjuntos C o mpaaoj
la interseccin X = f )
^
X j es
mtrC ( X
'
sin
mMco { x
vada
i-i
i^'' '
n es cerrado>
6 N> c
entonces
vu
>
_ i
ii
i.
X*y< x >\\",:
:
Sea e, = -
I sean""menores"que" j T
" ^
U n a su ' 3s ucesin
(*<'>)
r.rnT")f
tal q u e las
difitandas
Hemos obtenido
SUbSUCeS10neS
- v a
d o i x j ) 0 1 teMC,n'
siguiente. * * * * ^ ^
* - compacto
teremaS 2 V 3 o b t
el espa-'
~ s la afirmacin
im
Cmplet
Pr
Lmite y e
. :.
;. 1 i--'.;'i
-m
S G
j
7
se.
conjunto A C K sea conexo, es necesano y
6. Lmite y continuidad
3
de una aplicacin de un
espacio mtrico en otro
en
forma
la frmula
( f{x),
f(x)
m f(x),
Z--+X o
si x Df\ {a?o},
S X = Xq,
Lmite y
;
'*.
\ .(
definicin de compacto, existen un punto xQ Df y una subsucesin {xt) tales que xnl
x0 si k
oo. Segn la definicin de aplicacin continua, yn = f(xk)
f(xo) = yo Ef,
lo que significa que el conjunto E f es secuencialmente compacto.
y,
rsr
*/
purto o-
"
4 Demostracin.
4
Sea x
, aplicacin
- * continua e d ^ t o
A
-
tant0,
Definamos la aplicacin
r mi \ ^l m Z J
f(x),
Si x e D f \ {XQ},
f(x)
si X = XQ
Demostracin.
s s s t
ar^^o
" . ' J S . ~
lim (5 o /) () = J ^
-i 1
'
- r r
i a
'
'
Demostracin. Sea (yn) una sucesin de puntos del conjunto Ef que converge a y0 e Ef/ y sea a un lmite parcial de
la sucesin (f 1 (</)). Dado que Df es un compacto, entonces
a G Df. De la continuidad de la aplicacin / se deduce que
f(a) es un lmite parcial de la sucesin {yn), en virtud de lo
cual f(a) = y0, a = / W
De este modo, todos los lmites
parciales de la sucesin (/ l(yn)) son iguales a r\y0), es decir,
= ^
I o <Iue significa que la aplicacin /"* es
r!2> ^ ^
continua en el punto jfo Como yQ es un punto arbitrario del
conjunto Ef/ entonces f~l es una aplicacin continua.
- -,UM
Y una
. i r i i m ~ i ~ n r r i~rw ^ i r n i . r ~ ~ w i
< .
(1)
'
'VA*
Lmite y continua
>
= x 0 , de lo cual se deduce
la expresin
lmite lim pY(a, Hxn)) = 0. Esto ltimo contradice
r
oo
(2)
<:
Limit y c i ^
... X 1: V
O(f(x0)).
Y,
Teorema 6. Supongamos que f: X
Y, A' C Ef,
Entonces r\A'\B')
=
rl(A')\r\B')
B' C Ef,
A' 3 B
msim
; f'/t \it/wtf. ' f / ( 7 Y 4 M ' <
v^uwAA'U^'--- -
''.mmi-,
En(onces
^erVjA^r'ts')^
^ ^ r V ) \ r\B') =>
Si 2/ / ' (>!') \ / " ' ( ' ) , tenemos
e r'(A')
A i f~l(B')
= /(,)
V ) \/-'(B-) C r v \ B1).
La afirmacin siguiente tiene carcter global.
Teorema 7. Sea f : X
Y. Las propiedades siguientes son equivalentes:
1) / es una aplicacin continua;
2) la preimagen /~1(C?) de cada conjunto abierto en Ef es
abierta en Df;
3) la preimagen f'1(F)
cerrada en Df,
Lmite y/ kcontinu
: > f\< ,V; ^
: r.V
F) = r\F
= int / - ! ( F ) .
Por consiguiente, 3)
2). Queda por establecer que 2)
1).
Supongamos que se verifica la condicin 2). Si V' es un entorno
del punto f(x) en Ef, entonces existe un entorno abierto W' C V'
de ese mismo punto. La preimagen f~l(W') es un conjunto abierto
en Df que contiene el punto x y est contenido en f'Hv1). Segn
el teorema 4, la aplicacin / es continua en el punto x Df.
Dado que x es un punto arbitrario, la aplicacin / es continua y,
por tanto, 2)
1).
Sealemos que la imagen de un conjunto abierto (cerrado)
mediante una aplicacin continua no es, en general, un conjunto
abierto (cerrado). Por ejemplo, la aplicacin x t-* x 4 , x R,
es continua en M, sin embargo la imagen [0,1) del conjunto
abierto ( - 1 , 1 ) no es abierta.
Y.
conjunto Df si
(V e > 0) (3 6 > 0)(V {xx 6 Df, x2 e Df), px{xx, x2) < fi):
py(f(xi), f(x2)) < s.
(1)
wammammm
NlUMi
-a ~
Teorema 1. St>an(X,px), (Y, pY), (Z,pz) tres espacios mtricos. Consideremos dos aplicaciones f : X
Y ^ Z. Si las aplicaciones f y g son
uniformemente continuas en los conjuntos Df y Dg, entonces la composicin
ri-goj:
x
Z es uniformemente continua en el conjunto Dgof.
< Demostracin. Segn la definicin de aplicacin uniformemente
continua, tenemos
(V > 0) (3 7/ > 0)(V
v):
pz{g{yi), g{y2))< e.
&
6 Df, x2 e Df){px{x1,x2)
< 6)
3>
<(3)
V f o e D^
x2 6 Dgof){px(xux2)
<)=>
h(x2))<e,
es decir, la aplicacin h = g o / es uniformemente continua,
=> Pz(h(xi),
Y definida en
< I,
p e ro
py(f(xnlf(yn))
> 0. Como Df es un compacto, existe una
subsucesin (xnk) convergente a un punto x0eDf.
Dado que
Px(xnk,ynk)
y
<
Hk
K
Tomemos un
<
Lmite y cpntinuid|^^j|3|
Entonces obtendremos
PrifM,
f(ynk)) ^ Priffrnu), fM) + PY (/(so), f(VNK)) <
lo que contradice la definicin de las sucesiones (s n ) e (yw).
6.6. Homeomorfismos.
Distancias equivalentes
Sean {X,px),
X^Y,
J^Z
dos homeomorfismos. Entonces la composicin h = g f es un
homeomorfismo de X sobre Z.
. .1
tambin es continua
li
'
n r una
iirl-t
es
Nmeros complejos
y funciones
de variable compleja
1. Nmeros complejos y
plano complejo
En el curso de lgebra elemental la aparicin del concepto
de nmero complejo generalmente se relaciona con la ecuacin
x2 + 1 = 0. Primero se establece que no existen nmeros reales
que satisfagan dicha ecuacin. Entonces se introduce un nuevo
nmero "imaginario" i =
gracias al cual la ecuacin
dada ya posee las races dbi. El paso siguiente es considerar
los "nmeros complejos" x + iy como las sumas de nmeros
reales x e "imaginarios" iy. Las reglas de las operaciones con
esos nmeros nuevos se definen de forma tal que permitan
manejarlos como si fueran nmeros reales, sustituyendo en los
resultados finales i2 por - 1 . Al introducir los nuevos nmeros
resulta que todas las ecuaciones de segundo grado del tipo
x1 + px + q = 0 y, en general, todas las ecuaciones del tipo
x11 -f piar" -1 +
pn-\x -f- pn = 0 con coeficientes arbitrarios,
tienen solucin.
Esta manera de definir los nmeros complejos no nos
satisface, pues nos obliga a tratarlos como objetos no existentes
en la realidad, es decir, como "imaginarios" en el sentido estricto
de la palabra.
Por esta razn, nosotros seguiremos otro camino, definiendo los nmeros complejos desde un punto de vista geomtrico.
fe
Z<+Z-
y i
t.
x*l
Fig. 10
Fig. 11
i "
I '
(1.0)
2 " "
, , , , : , ,1 d , U ,
*
f
que
Utilizando las igualdades (2) y (3), para * = (*, y) obtenemos
De este modo, el punto
(-y, x) se obtiene del
punto (x, y) mediante
un giro del plano K2
en un ngulo recto en
el sentido contrario al
de las agujas del reloj
yi
l^x
j\
I \
\ y
I
\
Q
(x,y)y)
(x
" j f xi
Ii
Ii
Es evidente que
I
i
^
un giro en otro nguy
0'
x
x
Fig.
12
lo se podr determinar
Fig. 12
mediante la multiplicacin no por i, sino por
el nmero complejo apropiado. As, vemos que los nmeros complejos son de gran importancia para las matemticas, pues con su
ayuda se pueden estudiar las transformaciones ms importantes
del plano: los desplazamientos, los giros y las homotecias.
Escribamos ahora la regla de multiplicacin de los puntos
del plano M2:
(zi/ Vi)(x2,3/2) = (i 1 + Vi i)(2 1 + V2' i) = (i 2 - y\y2)1 + (xm + x2yi)i.
= r CS
y r sen <p,
(1)
a)
mi
^,
^ ^
^ ^
- -
La afirmacin siguiente establece las propiedades principales de la funcin exponencial definida mediante la formuk p).
Teorema. W (*>, V R, fc 6 Z. Entonces se verifican las igualdades:
y) e V,
2) e ' V * = e'^+fl;
3)
__
'
4)
= -i--
5) |e!'H = l.
frTl^ n ^ 6 ^ , E S t a S i g u a j d a d e s s e d e d u c e n directamente de la
frmula (3) y de las propiedades de las funciones trigonomtricas
Demostremos la igualdad 2). Por definicin,
i<p ilp
,
e e = (eos <p+1 sen p)(cos ip + z sen =
= (eospeosi> - s e n p e o s + (sen V?cos-0-f cos^sen^) =
- eos (<p +
:>prmi.
+ i sen (y? +
= e'^+ft
re P r fentacin
rje1*,
......
-1--r ~i ~ *i ir i r i " * * , r T T ^ M 1 T i 1 T 1 f n V f t ^ ^ f l f f l S S j w ^ ^ ^ S r a i i S n W
(j = i / 2 ),
(5)
^B^ffBHaHffilnfiBHSBis
,
F n T d a d G l a f r m u l a d e M o i v r e s e P^den calcular las
ices de grado entero arbitrario de los nmeros complejos. Sea
ip + 2fe7T
^rcos-
(8)
fceZ.
(9)
,
. Para k = 0, n - 1 obtene-
, Vrsen
(10)
(11)
V^,X
V.
as 0
C-l
0-1'
y-0
(2)
Tomando en consideracin (1) y (2), obtenemos
\z\2
x2
y2
de donde
C
=
S ~ l + M2'
1- C =
1 + W2"
1 + \z\
1 + M2'
i + \z\
^/mmm
(3)
mm
^
'
"'
1 + 3*
5
(1 + )
_ _ _ _2i
2
i
iV3\
~+ ^
26
t-!.
5'
6 J1-6 _ 26et'2ff = 2 6 ;
3
10
10
V2 + v s )
e i}-10 = e f i r = = e ( + 2 , )
! X
i _
/I
/i
z5 =
= e
2 /
_2 2 e 3 * = - 2 :
= 2 + i2 V5.
eos
_1
i_l
\V2
V5/
+ *
5-4
e 3
_ ZL.4
e *
s e n
(j
+ 7 r
v r v n w n m v p i i
Mrnwm'.
Tenemos:
22 eos
= 1^1=2,
^
^3 = 7 ;
4
y/29, <p5-aretg-;
= \Z7\ =
r4 = M =
r6=\z6\ = V29,
3?r
4 '
1 - eos 2x
/l+eos2x
Dado que | eos x\ - W
2
V
tonces
+ i sen
9ir
o
o
137r
.
13?r
eos - g - +sen ^
= - arctg - ;
9TT
arctg - - tt;
c o s
1 H" eos
8 - N
7T |&| 7T
2
1 - eos
I T = 2sgn6;
arctg
^O = \Zlo\ =a2 + b2,
(pm =
a> 0,
tt 4-arete
arctg-,
a
a<0,
6>0,
arctg
a<0,
6<0.
tt,
y/2 + V2 +
\j2-V2
iy/2-V2
+ iy2 + V2
m^4
Solucin. Sea z i, entonces |z = 1, argz = ip =
=
7T
7T
- + 2AJ7T
- + 2kir
eos + i sen - 2
^ 0,1,2,3. Obtenemos, pues,
cuatro valores distintos de la raz:
.
7r
2o = eos +sen ,
8
8
5;r
.
5t
3?r .
3tt
z\ = eos + 1 sen = eos - + z sen .
8
8
8
8
. \<fA<r
Xf>>X<>>
^ksi^rti;",.:.'.
<>.<'
xo,
x
A*. . .
/^x'-^Asfrj
''fr''WsfffiJ? .
2 - 12
z-12
Solucin. Como
( a ; - 42 )
(x-S)
+ y2
z-Si
25
_ (x - 12)2 + y2 __ 25
z2 -- 44
9~' 2 - 8
- ^ +
_ g)2 - 9 , ^ g
mf
:: -mvmv-
ililllSIli
<
"
:< : :
. ir
: >
^ .
T V
; I
' i
;
'
istema de ecuaciones
a + 6)
a+&
a
6
6
= 1 + - = 1+ a
o,
1+ - .
<
;
t
:i
b)(T^b)
4 Solucin. Como
ab\2
ab) ~(a~
b)(-b)
g_
a - 6
si 161
= 1, entonces
= 11 '
1 -
= 1. De un modo anlogo,
= 1 - ab - ab + aab6 - aa + ab + ba - bb =
- l + |a|2|6|2~(|a|2 + |&|2) =
= 1 + \ab\2 - (|a| + |6|)2 + 2\ab\ =
= (1 + !a6|)2 - (|a| + |6|)2.
m
WV.t.
.
. w n A ^ t j ^ j ^ ^ ^ v
.VA
7T 2fc7T
6 ^ ~~3~
Como
d = P2 = arg 2 , entonces
6
2kir
^ tt . Obtenemos, pues, tres valores para d:
= ~, d2 = ~ n,
_ 7T
6
6 '
3 ~
y tres soluciones para z2 y
respectivamente:
t*
2e 6
2e T ,
2V5e'
= 2e T ,
= 2V/2e f ,
= 2V2e~i*.
~c,
~bc
,a|2 ~ W '
q- i .2 __ ,fc,2 , .
m
, el sistema es incompatible, salvo el caso
a
b
c
en que - - - =
Siempre que se cumplan estas condiciones,
/IT
.;:/:.
^^ilaGSililalSe
az|2 + bz + cz + d = 0,
a\z\2 + bz + cz + d = 0.
es decir,
2i Im Z = -2i Im (ad),
t - i I m (ad)
Z = t i Im (ad), es decir, z =
ac ab
z2~r2el<Pl,
^jGArgzj,
te M.
<p2Argz2.
~rir2(cosipiCos<p2-sen<pisen<p2),
(la|2-l)(l-k|2)
L l >
'
za
Por consiguiente, \z
z~ O - Sea ahora
1 -az
Solucin. Tenemos:
1
1
22 + z 2
sr\2
(zz)
1 -az
(X - iy)2 + {x + iy)2
(x2 + y2)2
De este modo,
za
zi = 2 1 eos - + t s e n ~ I,
K
a
7T OC .
7T -- a
2 = 2 sen - (eos
+ sen
2(x2-y2)
(x2 + y2)2
arg z = arctg V3 -
de donde
eos 5x = eos V - 10 eos3 sen2 x + 5 eos x sen4 x,
sen 5x = 5 cos 4 z sen x - 10 cos 2 z sen3 x + sen5 x.
2?r
2tt
Calculemos, por ejemplo, eos y y sen y . Tenemos:
7T
a 2ir
7 2ir
0 = 5 eos lOcos
sen
5
5
/
2tt
10 ( 1
= 5 ( 1 - sen:
27T
4 27T
+ sen r
5
5
27r
2 2tt\
2 2TT
4 2?
s e n y ) sen y + sen
u,
2x
sen - =
5
10 + 2y/5
l m
Considerando que 0 < a < 2tt y observando que |arg z2\ <
ob tenemos
sena
a
(it
a\
sen (arg 22) =
^-^cos-^sen - - - ,
2
2 sen
\
J
2
As,
2tt
arg22 =
COSy =
10 + 2 ^
116
6-2V5
V5-1
'a?
sen4 a:
(2 - zf =
+ Z2)+6Z2Z2
= ~(Z4~4ZZ(Z2
Z4)
1
3
= ~cos4a?- - c o s 2 s +
1
ya que
zk
4-
zk = 2 e o s kx,
zz
= 1, z2z2
= (zz)2
1.
Solucin. Es cmodo
considerar los vrtices
del paralelogramo como
vectores libres (fig. 15).
El punto de aplicacin
del vector Z3 - z2 se encuentra en z2 y su ex~
tremo en z 3 . Dado que
Fig. 15
el vector es libre, entonces, situando su punto
de aplicacin en z3 obtenemos Z4 = 23 + (23 - 22) = 223 Anlogamente, z5 = z2 + (24 Z\)=-223 - z x .
z2.
i sen x. Entonces
^ + iS2
sx = Re
.n+l
zl _
k=0
zn+1
s?
'
eos( + l ) z + sen(n + l ) a
z ~ l
(eos ar 1} + i sen x
_ eos nx - eos (n + 1) x - eos x + 1
2 2 eos x
'
2n + l
Re
2tt
ncleo
f.de'a!
de Dmchlet.
2 TT
s e r i e s d e F o u r i e r Ia
2t sen ^-
tocin D se denomina
Solucin. Necesidad.
Sean 21, z2 y 23 los vrtices de un tringulo
equiltero. Entonces stos se encuentran en la circunferencia de
radio unidad1^ y centro en el origen de coordenadas, y son las
races de la ecuacin z3 (eos <p -f i sen <p) = 0. De este modo,
(2 - Zl) (2 - 22) (z - 23) =
= Z3
Z3ZX)
2 - 2I2223 =
Mg^BWMMi
.c
+v2
= 4-,
<p -
+ '^j-,
+ i s e n d e
r -
'
aw^u - x + a.
fc^TT
|S
y : rnkwk = ^2(mkzk
k=l
k=1
- mkz0) elB - 0,
que
<
(mkzk ~ mkz0) ~
r m
mkzk - z0
*=1
mk = ^
k=1
Jfc=l
- z0 = 0.
Solucin.
TI
a n ( z - ^ ' e n t o n c e s
p' (z) =
"V
s i P
^ )
Z2)
\/
0 ,
+ a n (z -
+ an(/ + an(z*
''
- \
Fig-17
~ ^
(z - zn-i)(z
- zn)
)(z-*3)z>l.^entonces
(** ^ ^
- z2)(z* -
~ Z* ~ Zn
. 4.
" ^
(** ~
'
"
Z\
Z* ~
21
Z* - 1
#
4
L
&m
e la ltima igualdad obtenemos
3=1
Zk\-2,
k=1
onde mk~~
Z*
Z*
Zk,
k=l
Zf |
*!
separa
P
x\
T
lucin. En la figura 18
nos que arg (z + 1) = ai
rg (2 - 1) = a l r luego
Fig. 18
arg (z2 - l) =
- 1
1 (
l/2
exp
ai
i + ar2) +
(* = 0,1).
y a i
i
;uai a
de
y
^
argumentog
tringulo considerado.
Solucin. 1) En la figura 19 se representa un arco de circunferencia unidad de ngulo central igual a |argz| radianes. Es
evidente que la longitud
y
de la cuerda que define el arco no supera la
longitud de ste. El sig1
no de igualdad slo es
(f \ W 2
*x
posible si arg 2 = 0, es
xf 5 _z_ i // ^
6\z\ - yu^T
decir, 2 e R, 2 > 0.
N.
2) Consideremos
N.
f/S0
el tringulo curvilneo
X j ^ x
de la figura 20. Vemos
que la longitud de un
N^
2
lado (igual a \z - 1|) no
Fig. 19
supera a la suma de las
p.
^
longitudes de los otros
dos, uno de los cuales es
el arco de circunferencia de radio \z\ y ngulo central igual a
|arg z\, mientras que la longitud del otro lado es igual a \\z\ - 1[.
El signo de igualdad slo es posible para arg 2 = 0.
ffl
Hvi+yi?>
+ m- Entonces
z.-z^x^+i^-yi),
\zi-z2\2=(xi-x2)2+(yi-y2),
i '-.I'i
/i
ao.
Solucin. Los puntos JJ, 22 y 3 se encuentran en una circunferencia con centro en el origen de coordenadas. Consideremos
los vectores z3 z2, z3 zf z\ y z2 (fig. 21). Vemos que el
Z3
z2
ngulo arg
= arg (z3 - z2) - arg {z3 - z\) y el ngulo
3 ~ Z1
Z2
central arg ~ arg z2 arg z\ estn determinados por un mis-
,arg z
M-i
Fig. 20
arg
-arg
Solucin. Los cuatro puntos se encuentran en una circunferencia
con centro en el origen de coordenadas y se verifica, adems,
z\ + Zi (z3 +.24), El valor absoluto y el sentido de los vectores
z i + ^ y (Z3 + Z4) coinciden si, y slo si, por ejemplo, z3 = Z\,
24 = zi, o bien z\ = zlf z3 = 24. En el primer caso los puntos z\,
zi, 3, 4 son vrtices de un rectngulo.
3 -z
Fig. 21
= 2 ( ( W ) + t
+ 2 , f ) ) = 2 ( | z i | 2 + |z2|2)
"
SUma d e los
-M^mmm.\
[S
* Solucin. Veamos la figura 23. Dado que los vectores z4 y 3son colmeales y sus mdulos son iguales, entonces
Zi
~ Z1 = % ~ 2, 4 = Zt + Z3 ~ Z2.
* l o s ' a r i ^ e n ^ T PUntS * e n c u e n t a n
recta, entonces
los argumentos de z 3 - z , y z 2 bien coinciden, bien difieren
* * * * * J f i l es un nmero real. La
condicin obtenida es necesaria. Demostremos su suficiencia.
6ri
p0r
elJo'
la
1
Z3 Z\
Z3 Z\
Sea
= a, a R. Entonces Im
= 0, lo que es
Z2 Z\
%2 ~~
2/3 2/X
3 X\
equivalente a que
=
, Dado que la ecuacin
Vi- Vi
x2- xx
de la recta que pasa por los puntos (tfi/2/i) y (#2,2/2) tiene la
2/ 2/1
x - x\
forma
=
, vemos que el punto (x3, y3) pertenece
y2 ~y1
x2 - xi
a ella,
y
<V , vi
...'..
w:.
.A--:
2
- 2 y 2.
b) El lugar geomtrico de los puntos del plano C que
satisfacen la condicin [[z 2|-| + 2 | | = 3 e s una hiprbola
3
de semieje
La ecuacin \z 2 \z + 2| = 3 describe la rama
m
< Solucin, a) La ecuacin arg 2 = o: define una semirrecta de
pendiente a. Las desigualdades a < arg z < (3 definen un sector
infinito comprendido entre las semirrectas arg z = a y arg z = 3,
sin incluir las propias semirrectas.
b) Traslademos el origen de coordenadas al punto z0
haciendo z ~ zQ = w. Entonces las desigualdades a < arg w < 3
definen el interior del mismo sector de a), slo que con vrtice
en ZQ.
Solucin, a) Sea =
l
x+iy
-entonces , ,=
" i VSTF - . + r
vrtice en el punto ( - - , )
7=
r j - ,
y eje
de simetra en la semirrecta
j ^ e R ^ o s ^ o j .
conjunto^e^JrS d e l S f a 3 "
^ Y " * +
H
deSSUaldad
f ^ 8 ' *
origen de coordenadas p e f t e ^ T L I e ^ C .
c) Dado que i ! l _
A
21
X +
1E
>
J
V= K Vi e Arg(z - Z l ) r 9 2 6 A ( 2 _
entonces en el primer caso tenemos sen = 0,
=
y e '
el segundo, eos v = o, ^ - ^ - * + 2 t v
?
'V
Pi >2 - 2 +2kir. En el primer caso los
H.H*,:
v * r n
vectores z-z\ y z-z2 pertenecen a la recta que pasa por los puntos
z\ y z2 (excluyendo el punto z2); en el segundo caso, el ngulo
7T
comprendido entre estos vectores es igual a ~ a excepcin de
z Z\
un mltiplo de 2tt. Por tanto, el conjunto Re z z2 = 0 es una
circunferencia cuyo dimetro es el segmento que une los puntos
Zi y z2 (el punto z2 ha sido excluido de la circunferencia).
Sea z = x+iy. Entonces f f - l + s y l ^ 2\x+i(y~l)\, es
decir, y/{x - l)2 + y2 ^ 2y/x2 + (y - l) 2 . Elevando al cuadrado
los dos miembros de la desigualdad obtenida, tras una serie de
transformaciones elementales obtenemos
m0w
Vi
Solucin, a) - = ~ L _
z
Re
z
x + iy
~ ^
X2 + yr2
x2 + y2
x2 + y 2
i Im - . La ecuacin - z
=
c
describe
una
familia
de
2
2
2
x + y
rrrnnfprAn^inc
_
circunferencias f x^
A
-
, 2
V - j , cY = - , c 0, tangentes
= arg
z ~ z ~.
2
?r < a ^ 7r, entonces esta igualdad define una familia de arcos
e circunferencias con extremos en los puntos z\ y z2 (el ngulo
ntre los vectores 2 - zx y z - z2 es igual a a). Esta familia est
impuesta de un segmento finito con extremos en los puntos
y z2 (para a = n) y un segmento infinito que contiene el
into del infinito (para a ~ 0).
-
^ O 7 -
-t: j i '
i>:1 Y . '
I-i
i.-
'
' W : .
i'
J'l li.
V - V
Z\Z2 = 6,
a R, 6 E M,
a2 ^ b.
y z3 de la ecuacin se
encuentran en una recta. Entonces ^ - z3 =
fc-const,
fc 6 E. Segn el teorema de Vite * +
+ 3 =
fondf
Z l = - 2 2 - 23. Sustituyendo zx en la igualdad i - z3 z3), obtenemos ^ -
~
= klt h R. Por consiguiente,
k+ 2
zi
Im = 0, de donde x3y2 x2y3 = 0, y3 = ~x3. Tomando
Zl
n vez de (3, y3) cierto punto {x, y) de la recta, obtenemos la
.
(
Vi\
icta y = ax
=
que pasa por el origen de coordenadas.
Dr tanto,
i = xie l9 f
z2 = x2et$,
id
z3 = x3e ,
inde xj ^ 0 (j = 1,2,3). A partir de las frmulas de Vite
*
JT
(1)
+ 2
<0'
onde hallamos que q ^ 0. De la segunda frmula de Vite
7T 7T
26
l
memos q = -24,
= - e 3 . Dado que 9 6
J ,
2+
o.
fl
R e g r e s a n d o a la variable
Sl
-a
IM*
e n
1-fc
(
2fc7f
2kir
tTM
2k*
= -a
2
Z a n -
c o s + sen
2 1-eos
as
2
fe7T
^
kir
2 ____ i- sen
eos
TI
n T L ^ *
~
~ fcTT
sen2
- - ( l + ictg
Si a
e , entonces
fe7T
. es
[atela
a l e j ^ r ^
encuentran en
- 7 -
r
(1;0),
;m0s
Z2
P U -
= c - . o ) , , = co,. y -
las ft" 1 3 5
*
constados
n r , '
VI
P'13;
ij
=
n-7-rr^i'
1 + IzV
^ + I
.n
'
ImmMhi
mm.
btcncmos ^
m ' 1 g e n e S d e ,OS
* - (4 i)
P u n t o s * mediante ^ (z = Q ) ,
ZA
la imagen de
'ncioal1 i r r t e n e C e * l a s e i a
^ = , entonces el valor
nc pal del argumento arg + iv) de la imagen Z es a. Por
) el punto Z se encuentra en el semimeridiano de ngulo a
afirmacin reciproca tambin es vlida. Por consiguiente la
)yeccion estereogrfica transforma la semirrecta arg z = a ' en
semimeridiano de ngulo a, excluidos los polos norte y
b) Sea z 6 C y \z\ = r. Entonces a partir de las frmu(3), p. 1.3, para la imagen Z(, y,Q 6 S obtenemos ( =
este modo, todos los puntos T se encuentran en la circimferenque se obtiene cuando el plano de ecuacin ( = - L
c o r ta
la
entonces para el
to * correspondiente se tiene que \z\ = r. P o r tanto, la proion estereogrfica de una circunferencia es la circunferencia
se obtiene cuando el plano C = ~
corta la esfera 5
x + r4J L S W ^ >: : -s s. * * v >?> x
<
>
IP
g^g^g^^gp^
i-c
EntonceS'
1 + sen <p
1 - sen<p'
fl
= L
6 : |*| = t g ( | + l ) } -
I * afirmacin recproca
kx + b
\z\2
de donde n = fcfs H
r-rr z= k + b( 1 - O - De este modo, las
'
l + \z\
coordenadas
7, del punto Z satisfacen las ecuaciones
~ 7}
~ b y
2 +
2+(c-)
)?
=1
Por consiguiente, el punto # se encuentra en la circunerencia determinada por estas ltimas ecuaciones. Dado que el
Hinto (0,0,1) satisface dichas ecuaciones, tenemos que todas esas
:ircunferencias pasan por el polo norte.
Concluyendo, a toda familia de rectas paralelas del plano
e corresponde una familia de circunferencias de S que pasan por
;1 polo norte.
= 4'
siliSS
curva en el plano C:
(z 2
D.
2/2)
(.D + C)
+
+ Ax + By
Si C + D ^ 0 (es decir, la circunferencia definida en la
esfera de Riemann no pasa por el polo norte), entonces su imagen
es una circunferencia en el plano C; y si C + D = 0 (es decir, la
circunferencia pasa por el polo norte), entonces su imagen es una
2-
ogrfica,
r,
Ci-
. |22
to!
+W5'
M2
k ' T + N
'
T)
'
; i-
>or
consiguiente, para zx e C y z2 e
p2(z
1,z2)
x2
Xi
i+N
2/2
1-f-M 2
2/1
1 + taP
1+ k l 2
1^21'
1+kl2
p{zlfz2) =
1+kil2
De este modo,
/
V(! C , 22 C)
\z2 ~ Zi
, si
, def
p(zlf z2) =
Si
C, z2
6 C,
c,
= 00.
r
;
'
" V - v
'
.v;'J'
'wHUU'hLWM
2 6 C:
<
zC:
\z\ >
-1
(3)
li
I,
'9
-z\<e.
(1)
BBBSCT
del p. 3.2, cap. 1, la unin Oe(z) U Z de dos conjuntos acotados es
un conjunto acotado. Por consiguiente, toda sucesin convergente
es acotada (3 M M: Vn 6 N \zn\ < M). Para denotar las
sucesiones acotadas (zn) de nmeros complejos utilizaremos el
smbolo de Landau zn = 0(1).
Definicin 2. Se dice que una sucesin (zn) tiene lmite oo (y se escribe
lim zn oo, o bien zn oo) si
M>00
(Ve > 0 ) ( 3 n E 6 N ) ( V O ne)\ p(zn, oo) < e.
(2)
1 . La condicin lim zn oo
n>00
Im zn > Im z.
lim (z + Cn) =
ti>00
n>00
aaxai. \
/ = lim
lim(ZnCn)
n>oo
i lim
*- ( n ,
ti>oo n*oo
C/
noo
lim
lim
n
TI n>oo
n*oo
/ .
lim > = -
noo
lim
71>00
Teorema 3 (criterio de Cauchy). Una sucesin (zn) converge si, y slo si,
ella es fundamental es decir,
(Ve > 0) (3 ne N) (V(n
Pe
N)):
infinito
En virtud del teorema 4, Re zntm > x cuando ra oo. Consideremos una subsucesin (z nkm ) de la sucesin (zn). Aplicando el
teorema 1 obtenemos que lim zn m z x + iy, z . Segn
moo
n> oo
rffm Jr
', i > .
:v\ * \K'7
< i\
>
gJ-^D,
mmmK
ISI
Definicin l . S e a f C ^ C y ^ea ^ J
S
^ ^ ^
. ^ m v n e n ^
* ) a ( l i m /(*) = )
_ f f(z),
a,
es continua en el punto z0
Si zDf \ {zoh
si z = z0,
:
i-.
=..
( A / f e Az)) =
(f(Zo +
/<Zo))
Teorema 1
lafuncxn
n)~+f{z
L J ^ ,
continua
'
n)
Z n e D
- n
J J :
g { z )
~ 0,
= f{ Z Q ) g { z Q ) /
/fo)
9{zn)
9{ZQ) '
^gun la definicin 3 n o = ,
n
P- 2-5, las funciones f +
continuas en el punto
* f *
K
Teorema 2
n ) ) = = f ( z o ) g ( z o l
^J(Z)9(Zn)
lim
f f (
en el
>
)v V z )
f(z0)).
"
Demostracin.
H
= (/fe) -
f
J son
~
u
"
}f n D9-
entonces
*
ti
(z) =
0,
9) (z)
Si lim
a.
f(z)
Mu
v1 V v-: A ^'W!
I / / <>, entonces
(*) =
E V
a/3,
tt>00
noo
lim ( - ) {zn)
n-^oo \ g /
afl,
a
c:.
Ejemplo. Sea /: C ^
y y.
C donde
si Z - o ,
si ZC\{0},
si
^-(ntN),
C & i - : n eN
Ln
si
0 y lim
(/ o <p) (Q
o. Sin embargo,
0,
Si C =: - (
C )
n6N
l ra
y fyoV{0) ^ d e d n Jim (/ o #
(Q
no existe.
si
= a.
Demostracin.
Por tanto,, / ( 2 ) _ , ,
definicin, Hrnff o ^
' n
Co n Dfv)
\ {<o} <p(() y
"
* { ' / ~ VKn) ^ z 0 A z n e D , \
> ; - a n d o ^
, T e r m a 3- s"a ^
Demos,
^(0=4>(0,
.
I 0,
T
La funcin <p* es mi;
f;}< es m
y existe un
si
cez>r\{6},
si (- - A
la
filil
//(*2)|
l/W/ y V
< \f{*2)1.
'
0 / S e
Verfea"
desigualdades
y
- 00, a s u m i e n d o q u e % 7 * * S "conveniente
te caso s e d i c e
' ]a
"" C10n / con tinua
funcin C 4 c H ,
C
7 eS C0 " H "
'donde
>' r a . , ,
sen rf
si
>-.
2%***? *
* o
"M
'
00' E "
Por ejempJo, la
^ _
..o?
eJ curso de amT
I r S ^ r S S r "
s d e n v ad a s unilateraW r ^
Toda
I 6] i z ^ - ^
|
C puede consdA
cor)siderarse como UNA A,
I= (<P1, (p2) r RO.2 r,
ferenc^b es e n PT " * * *
si J as L "
^
Definicin I T f r Z
existe una' n L " , U n t o ?
~~
dicho
(en
Jos
pacin
>
Vecto^
C ( r ^ m
curva
mSSSmrn^
_ _
aPncacion
tp recibe el I
sobre
Esta parametrzacin se denomina natural (normal). La parametrzacin natural <p se puede obtener como una composicin
Ip O X], donde ip 7 or ,
= [a, b], V: [0/ ^ & ] y V [a, &]
t
\t) =
1W (r) | dr.
o,
Fijemos una t o p l ^ r ^ d l
complejc, ampUado C
Sea M C C un subconjunto conexo y sea O, un entorno
punto z M en el espacio topologico (C,r).
conjunto 0'z = O, n M.
__
" T T ^ T Z ^ ^
* Demostraaon f ^ U d e r e m o s
reduccin al absurda
la adherencia A en la
^ ,
Es e v i L ^ e que I est compuesta de los puntos de
q
topologa r .
^
/ y cierto conjunto que no
su adherencia AT> en la topologa r y
pertenece a M . Por eso
I
= AR> N A .
C\ A! ~ A CI A' = '0.
es
abierto, luego
t : i * r *
razonamientos
* i .
de duce
"A
'V i
'
'
As pues, la
Problemas resueltos.
1 + XT
I~T/ entonces
*=i
ndo n -
ni
71
2) Tomando
1 +
n )
~ 1,
1 cuando
e.
+
a
partir e 1) obtenemos
oo. Como
= ( l + I + 2!
\
n
n
1+
i + 71/
lV
1+ J ^
n+1
".:
* **
: :
^ < s *
c X:
'
>' >:
n>oo
"
^ ( 2 k - l f '
1
_
7T
si n 2k,
si n = 2k - 1.
4'
Entonces
lim
n>oo
= O,
lim
oo
TT
7T
lim <Pik-\ = A,
fe>oo
Pl(Zl -z)+
V\\Z\ ~ Z | 4* PL\Z2 -Z
<
+ . . -i~PN\ZN ~ Z\
'
decir,
T V
p{Zn, Z) ^
k=l
PkP{*k, z)
Jfe=l
do que
lim
n>00
Y^pkp(zk,z)
*=1
Pn+\p(zn+l, Z)
= lim
= 0.
n>00
Pn+1
r
^Pk
fc=l
r consiguiente, p(Zn,z) = o( 1), es decir, lim
n-oo
= 2;.
\Zn+p Zn
fe!
k^n+1
a todos los n suficientemente grandes y Vp 6 N, pues la
" TT*
ie numrica
converge segn el criterio de D'Alembert
fc!
[a suma de su resto rn tiende a cero a medida que cren. Anteriormente se demostr (v. teorema 1, p. 2.3) que
convergencia de una sucesin de nmeros complejos es
livalente a la convergencia de sus partes real e imagiJl
^n
TT
7T
:ia. Dado que Re zn = 1 - f . . , + (1) 2 si n es par,
2!
n\
'
y , i
o - i : } * * *
v,
1 7T n-1
r,
"
,
4.
si
n
Rez = 1 - -JJ-.+ . . . + l ^
(n 1)!
"7T3
"+2-
-i-r-l^T -
J-
7T
es impar,
.
r _
si n es par, Im2
n-1 7T
+ . , . + (-1)"3T si n es impar, entonces
n!
' lim
lim Re
Rezznn = eos7r = - 1 ,
lim Imz n = senTr = 0.
Solucin. Haciendo
nemos
+ iyn = rn(cos
+i
sen
2\
2a
1+ +
V
71
a2
+ P
>)'
obte"
n/2
2 \ n/2
71
a\
. (P(. ,
| n arctg 1 H
y>n = arg 2 n = n arg 1 H
n)
\n\
n
puesto que para valores grandes de n el punto z n ^ encuentra
y
, ^
J
5T <= V- R e z > 01. Cuando n
oo
en el semiplano derecho Z =
6 C Re z > 0}
2a
a2 + Pz
, 2a
se tiene 1 + +
~ 1 +
'
n
-i
(( -fi (
arctg
\n\
H
n
( p (
OL
n arctg
( 1H
& (V
n V
n
Por consiguiente;
lim y>n - P,
71>00
n \
71
p
Um
1 - -
lim rn =
" 2 = e ,
a+/3
lim z = 6 a (eos p + i sen /3) = e
N ^ M ( 1 + || + . . . + ||*).
(2)
Entonces,
l**+il ^ K l + \q\ 1**1
= M ( l + |g| + . . . + |g|fc+1).
(3)
De este modo, hemos demostrado por induccin que V n G N es
vlida la estimacin
n
n+1
\
_
|o
M
n+1
^
,
1 - lol
M
K 0
As pues, la desigualdad (1) queda establecida.
A partir de las expresiones
=
+ qzn i = wn +
(4)
wnkqk -f qp+1zn-p-h
k~ 0
Teniendo en cuenta que la sucesin (u?n) converge y denotando
w = n>oc>
lim wn, obtenemos
A
Y1 Wn~kqk
k=0
1 ~U>Ylqk=
fe=0
-w
fc=0
q'
k=P+1
i
< <
M
Dado que |</| < 1 y \zn\ ^
M
i-lsl
0 cuando p
i D+1
entonces
zn~P-1
= o(l).
OO
Como M e K y la serie ^
oo
de su resto r , = ^
k=p+1
00
consiguiente, w
=
k=p+1
V > 0 3 ijGN: V ^ n e
j>
VW
-w)qk
K
fc=0
Je=0
<
yv
fc=0
k = o(l), dado que lim w = w. De este
es decir, y"(w_
w)q
fe
^gp^
71 ' VV n
A=0
modo,
(JJ
= 0(1), lim zn =
1n
n-+oo
-
1 Q
ISPiiWK-:
olucin. 1) Dado que
*nl2 = ZnZn=fl(l
+ ) = f l jt + d
k=i V
tJ
nfonces
*+! ~ *nl = Zn\\i
TT afc+1
L\
a
an+1
'n+1
Vd
an+l
Vo7
2) De las condiciones de partida se deduce que
^ a r g j V i - M J )
k=i\
Va*/
=
arS
1 + *
1+
arg z - n arctg n^ 1
2 _ 1)2
arctS
n
n
1) - 2-H
lim n arctg
11'00
TI 1
arctg
, 2 - l ra2 l '
n
= lim r- = 1,
n-oo 71 1
an+l
* ~ X cuando x ^ 0 y lim
=
0,
entonces
l
"->ooa+1
<Pn
Zn =
lim|zn| = exp<I n
lim
n-oo
>00
n/2
Ya que
\
V a* /
t
donde resulta inmediatamente la igualdad
imo
n+l
cuando n
i. __
arctg J
V
'n+i
an+1
1+
l+=
Pr+1
WMp^?::
an+l
n>oo
an+l
+0
\ an+1
n4
2
1+
1 -
1 +
1 '
1 + ein9 ~ (l
lu,p(l -f ~myj)
e .mp,
e
+ ein<P) (1 -f e~in<pj
221 eos
e o s '
+ ti sen - y eos
1
4 eos
2n<p
,mtp
+ 1
-i- *
(1 z)2(l + n)
1z
- ~z
donde
1
'.
-
; ; , : :
'h&fyttyffin
- J : } J
L^ .
- y?. J ; U : :
3 J f o t
1 j
i Vii:!--. ;,
zn+2 - S
Dado que \z\ ^ 1 y z / 1, la sucesin
es
n
zn+2 - *
acotada y lim
-r
= 0. Por consiguiente,
la sucesin
&
* n>oo (1 - Zf( 1 + n)
(C) converge y
_
lim (n =
n~*oo
1Z
^ 1 /k\
' ' o
n\
vn
1 + it
14- it
} V
J9
1*UHiV
"
t.
f{x)dx~
F{x)^\
l+it
1 -f it
es una
Primitiva de Ja funcin x
{<*.)*:
V
o, en coordenadas
polares,
las nnl
(*2 +1 y /
<
2 _ y-} K
|
X (x
\X ~ y2)
conjunto ? e s su
^ ^
nronces pQ - 2 eos 2<p0 < 0 . Dado que
Wmttom
^ L c ^ c l j .
La familia (G)ngN de conjuntos abiertos Gn recubre el conjunto E\. Sin embargo, ninguna subfamilia finita (Gj)je (siendo A
un conjunto finito) recubre el conjunto E\, ya que su unin
( J Gj no contiene el conjunto Ef1^ = zC:
jeA
\z\ < 1,
'
donde ra G N es el elemento mximo del conjunto A. Por consiguiente, en el teorema de BorelLebesgue el requisito de ser
cerrado es esencial.
Supongamos ahora que E2 = C es un conjunto cerrado
pero no acotado. La familia de conjuntos abiertos ( G n ) n d o n d e
Gn = {z G C: \z\ < n}, recubre el conjunto E2, no obstante,
ninguna subfamilia finita (<j n ) n6 recubre el plano complejo C.
iv
MJ
y/2ay - y2.
2a
Oj
Fig. 24
Fig. 25
Fig. 26
- sen
z j ^ ^ q
Solucin.
IZ^L
= a, a 6 R
- ^ ^ ^ ^ ^ - U e . ^ ^ u e p ^
Por eso z =
+ a v z i *2>
por los p u n t o s ^ y ^ 2
xa
ta
at{
ta
ta
at
2'
reloj.
-- -
y2,
v = 2Cy
y = ~
De este
C2~
4C2
si C
0. sta es la ecuacin de una parbola. Si C = 0,
entonces u = y y v = 0, es decir, obtuvimos el semieje
7 = {(u, v)e:
v = 0}.
->
b) u ~ x C
2Cx
L>
V2
x ~ ~~ ^ U = r - C
2C
4 C2
si C
0. Toda lnea recta 2/ = C (C
0) se transforma en una
parbola en el plano w. Si C ~ 0, entonces u x2, v = 0.
El conjunto 7 = {(w,
C: u ^ 0, v = 0} es el semieje
positivo. En los casos a) y b) la aplicacin es biunvoca, si
0.
c) y = x
u ~ 0, v = 2x2. El conjunto 7 = {(u, v) 6 C:
u = 0, t> ^ 0 } es el semieje positivo. La aplicacin, evidentemente,
no es biunvoca, puesto que tanto la semirrecta que pertenece al
primer cuadrante como la del tercer cuadrante tienen una misma
Jmagen.
I
d) Si \z\ = R, entonces z = Reiv, tp Arg z, z2 = R2e2ilp,
iw\ = R . La circunferencia de radio R y centro en el punto z = 0
le transforma en la circunferencia de radio R2 y centro en el
lunto w = 0. La aplicacin no es biunvoca.
I
e) La imagen de la semirrecta arg z = a es la semirrecta
Irg w = 2a. La aplicacin es biunvoca.
I
, V ~
I
2) Sea u~ C. Entonces para C ^ 0 obtenemos la ecuacin
H
e la hiprbola x y ~ C. Si C = 0, tenemos un par de rectas
I = x. Si v = C, entonces 2xy = C. Para C ^ 0 obtenemos la
kir-lv
<
. L
r
'
0 cuando
<
s s . i t s s r r ^ t s K
/ no tiene lmite en ese punto.
Solucin. Sea zn =
a s i t s
. Para valores de
QJ y z'n = ^u, j . i aia vu^*-
nr%
cuando
oo.
in embargo,
_ TI
~ ~> +oo
con*5,te'13
fUndn h
cuando
n oo.
68 u n ^ o r m e m e n t e
continua
. Tenemos:
p{z'n,Zn) ~
O cuando
00,
|i + 4 | 1 + 4
2
+00
cuando
oo.
en
'
(1)
sucesin (zn).
'<\n4m
il&wmm
'
'-CMW
Sea z'n=l
0,
>2 9
~y
(x2 + y2)2
'
2xy
e z2 = e (2+f2)2 e (*2+02)2.
-> 0
cuando
/ ( * ) ) = <>2" - e1 = 2n - ^
oo00,
,
nn
+ O o.
. :* i w^M? umuM
(1)
(2)
'l^uiviiid I 'sea /: C
G Supongamos que z0 Df es un punto lmite
del < a,tjunto Df. Si la funcin f es diferenciable en el punto z0, entonces
l ^ t J M
lim
= /'(Zo).
(3)
Z ZO
MZ1M
Df^z^za Z - ZQ
lim
'2
l'
1-ZZQ
1+ z
1 (1 + zl) (1 + *)
P(zo) =
(i +
entonces
f'(zo) =
1-Zp
V z D / /(*) =
1-z'
(1 +
z2)2
(1 + 4 )
C una funcin
diferenciable en un punto zQ y g: C
C una jtmd&i
pLo <0. Si ^o = <?(Co) y Co es im punto limite de conjunto Df
entonces
/ composicin foges
diferenciable en el punto Co y se verifica la igualdad
(/o fl )'(Co) = / W ( C o ) .
W
Sitl
mm
l^l^i-V:.^ ^ I'"
1.< .
'
(6)
A partir de la igualdad (6) resulta que la composicin / o g es
diferenciable en el punto Co, con la particularidad de que
(7)
h>oo
ti
En el caso considerado,
f(z
+ h)
f(z)
z + hh
f(z
Haciendo z ~ x + iy y h =
-
. Si 7)
= 0, r}
obtenemos
f{z + h)~
0, 0, entonces
0, entonces
f(z
h)~
f(z)
+ h)
f(z)
f(z)
1; si
- 1 . As pues modo,
to
la funcin / no tiene derivada en cada punto de continuidad.
(8)
t it
tVmtYr' Uti
M
do la funcin f g
Ia
^JfSfU^Mxo)
I
I
e, p u n t o
i-
Z{).
w
y 0- <L -t C son diferenciables en un ,ii . j /
L
<feZ conjunto D, n A , enZL
L f Z I
/0' ^
" " P<""
y se
la frmula
>
*&*tle en este punto
/
= /W
"
"
"
(9)
l)
Z o )
(10)
92(Z0)
3 J
n^Obfenlrr3
**o)
d e a deriVada
"
f(zQ)g(z0) -
- p o s S :
g'(zd)f{zQ)
92{ZQ)
(12)
w0)
<p(f~Hw))
(13)
1
Dado que
es continua en el punto WQ, la funcin f~
es diferenciable en wQ por definicin. Si WQ es un punto lmite del
conjunto E f = Df-\, por la definicin de derivada obtenemos
(r1) W
tpif-Hwo))
<P(Z0)
/'(Zo)
f(zo)
(l)
ZQ),
hde es una funcin continua en el punto z0 y <p(zQ) tribiendo la igualdad (1) en la forma
ff(z0).
la la forma
icacin lineal C - + C .
)efinicin 1. Una funcin C-S- C se denomina lineal si V (zx C, z2 C,
6 Q se verifican las condiciones:
1) L{zi + z 2 ) = L{zi) -f L(Z2) (propiedad aditiva);
2) L{Xz\) XL{z{) (homogeneidad).
> partir de las condiciones 1) y 2) se deduce que L(0) = 0 y V z e C
(z) az, a - L( 1) = const.
reorema. Sea f:C^Cy
(3)
/
. ^IvJV
. MmpJ
4 Demostracin. Si se cumplen las condiciones del teorema, entonces existe
^
iim A/f^A*) = a = / W
Az>0
Az
(5)
(7)
*
: r:
I,-
^
i
.
1
/(Zo)-"de-
(9)
es decir,
/(*) /(^to) + /'(o) Az,
Az = z
z0.
(10)
A g(x
/
A
0,
)\
XQR YO)
,
DG(
Aa; +
Ay
y0 -
,
,
+ ap, donde
ax
dy
p = yjAx2 + A y2, a - > 0 cuando p > 0).
Dado que toda funcin de variable compleja puede escribirse en la forma f{z) = u(x, y) + iv{x, y), z (x, y), surge
la pregunta sobre la relacin entre la C-diferenciabilidad de la
funcin / y la R 2 -diferenciabilidad de las funciones u y v en
el punto z0 = (x0,yo). Esta relacin se establece en el teorema
siguiente.
dy
'
dy
dx
'
'
(2)
ai Ax + pi A y,
0 cuando Ax
0, Ay
Ay
0,
0,
0, A y-* 0.
dv(XQ>
+ a^Ax2
cuando
+ Ay1,
(3)
(4)
Multiplicando los dos miembros de la igualdad (4) por i y sumando la igualdad obtenida con (3), hallamos
A/(zo/ A*) = Au(zo, Vo) + Av(z0, yo) =
= A(Ax + i Ay) + B(i Ax - A y) + (a + ip)V Ax2 + A y 2 .
'mimmm
(5)
:omo Ax + iAy^ Az e i Ax - Ay
- i Az, entonces la iguallad (5) toma la forma
Af(z0, Az) = (A + iB) Az + o{\Az\),
!S decir, la funcin / es C-diferenciable en el punto z0.
___
(6)
. _
No!ai
^ f * ^
/'(,)=
do las
pardale -
dx
tsss
= *_,*!_!!
dx
ax
d y
'
.Su
av
'yy =
9 y
nbe
a t a
"diferendabildad
las derivadas
q u e p a r a la
eXBtn
dv
Yy+iTx.
sean
v
y
vJ^SST^S^SS^
JL
dz
i(dv
2 \dx
du
dy
(7)
i dv
du
+ -
(8)
Riemann se
Sf
Si u y . son
A f(z0, Az)
(9)
dz
** +
+ 0{\Az\).
(10)
n i
(M-m*
!'.
.m
.
s i/vl
T7T
'P
'y*- i -
IMfeii^ffi
'ltfl j frSfe
IH'1 ;
'i liliii Un:; : i $ rk-, $ l & i - ^
Enumeremos algunas propiedades de las funciones anal1) La suma, la diferencia, el producto y el cociente (si el
denominador es diferente de cero) de dos funciones analticas
son funciones analticas. Por consiguiente, el conjunto { / }
de funciones analticas en una regin G forma un anillo.
Denotmoslo mediante el smbolo A(G).
2) La composicin f o g de dos funciones analticas es una
funcin analtica.
Las propiedades 1) y 2) se deducen a partir de los teoremas
is funciones diferenciables analizados en el p. 4.1.
Como ejemplo de una funcin analtica en toda regin
C puede servir un polinomio arbitrario Pn{z) = azn +
_ 1 + . . . + a -\Z +
La funcin racional
n
_
Qm(z)
_ ap*" + a>\zn
+ + an-\z + an
~ b0Zm + hz-1
+ ... + bm^z
+ bm
(0/ Vo)
I du{x0,y0)
dx
du(x0,yQ) I
dy
dvjxo, yo)
dvjxo, yo)
dy
dx
'du{x0,yQ)
dx
du(x0,y0)
dx
+ 1
/ dv{x0, yo)
\
dx
.dv(xo,yo)
dx
= / (zQ)
que V z G G \f'{z)\ 0.
funcin implcita, en un
z = / " > ) La existencia
se demuestran siguiendo
<>= /
>
(xo/2/o)
5) Sea / G A{G), } = u + iv. Consideremos las lneas de nivel (*,) - C y v(x,y) = C de las funciones
u y v. Suponiendo que el espacio M es eucldeo, cakulemos
(gradu, gradv) Vz = (x,y) G, donde gradu =
\Ji'~dy)
v arad = (
Teniendo en cuenta las condiciones de
y &
\dx
dy)
CauchyRiemann, obtenemos
3u dv
du dv_ __
(grad u, grad v) = ^ +
^ -
du du
dx
dy
du du _
dx
dy
O'
Fig. 28
28) ende a ^ a lo
la c u " ? * 0 6 1 P U n t ^
de
e n
W ^
W0 =
10
de c u r v l 7' J U Su
on& amos
^
*
?,V, T
' P S
<lue f'(*0) * 0. Entonces f(z0) =
I/ {zo)\e , A = arg /'(ZQ). Haciendo Az = z - z0 = Are*>
Aw = Ape , obtenemos
|/'(z0)| = lim
Ar
arg
(1)
= ZQy
(2)
:
' 3MmMM
las curvas 7 y 7* en los puntos zq y w0 = /(zo)/ respectivamente.
Entonces <po = lim <p, 0Q lim 6 y la segunda expresin de (1)
toma la forma
como sigue:
lim r = / (zo)l
Az-K) |Az|
As*
ds*
(4)
" <*>' = 3 a 7 = I T '
As, desde el punto de vista geomtrico, |/'(zq)| e s e l factor de
dilatacin de 7 en el punto ZQ mediante la aplicacin f . En virtud
de que 7 es una curva suave arbitraria llegamos a la conclusin
de que todos los arcos se dilatan en el punto ZQ de la misma
manera. Por eso se dice que la aplicacin / en el punto ZQ posee
la denominada propiedad circular: las circunferencias pequeas
con centros en el punto ZQ se transforman mediante dicha aplicacin en curvas cerradas que se diferencian de circunferencias
con centros en el punto WQ = f(z0) en infinitsimos de orden
superior. Sealemos que la propiedad circular sigue siendo vlida
para f { z 0 ) = 0, pero en este caso toma una forma degenerada
porque el factor de dilatacin se anula.
De la interpretacin geomtrica del argumento de la derivada /' se deduce que toda funcin analtica es conforme en
cada punto z 6 G donde f'(z) ^ 0.
. j
<*..*
..
^'
.j^^l^M^W
__
8Fy
dFx
rot F =
dx
dy
(1)
dFx
dFt
div F = +
=
dx
dy
De (1) se deduce que la forma diferencial
Fxdx + Fydy = u
(2)
(3)
(5,
: v -..'a * .
. v
(6)
dv
du
dy"
Fx~
dv
dx'
dx
(7)
dx ~ dy'
5or consiguiente, / 6 A{G).
Resumiendo, a todo campo vectorial plano-paralelo poencial y solenoidal F le corresponde una funcin analtica que
o define por completo. Dicha funcin se denomina potencial
zomplejo del campo vectorial F .
Recprocamente, a toda funcin / analtica en una regin G
c corresponde un campo vectorial plano-paralelo F, del cual / es
bu potencial complejo. Tenemos la igualdad evidente
F -
f'(z).
(8)
(9)
FT ds = j> F(10)
x dx + Fy dy = 0.
2. Ejemplo de electrosttica. Consideremos un campo electrosttico definido por un vector intensidad E. Se sabe que este
campo es potencial, es decir,
E = -V<p,
(11)
(12)
r
pues esta integral es igual al trabajo realizado para desplazar una
carga unitaria a lo largo del contorno P.
Segn el teorema de Gauss, la integral
j En ds
(13)
r
es igual a la suma algebraica (multiplicada por 27r) de las
cargas contenidas en la regin limitada por el contorno P. Por
consiguiente, el campo E es solenoidal en una regin que no
contiene cargas.
Como vemos, al estudiar los campos electrostticos planoparalelos en regiones sin cargas, es cmodo hacer uso de las
herramientas de las funciones analticas.
< ii/'II (b - ai
(i)
x(a,b)
(b) - (e'^f)
(a). (2)
&sMtBK
FI extremo izquierdo de esta cadena de igualdades sugiere quesu
ttzzxx&r.
s t
S I Problemas resueltos,
zx t z2. Demostremos
Solucin. Sea k l < 1, 1^1 < } Y
que w{zi) v>{zi)t es decir, \w(zi) - w(z2)| > 0. En efecto,
Z \ \ZI
\ Z
\ L \ >
\w{zx)-w(z2)\ = \z +
2zl-2z2'z1\ :
|Z! - 221 (2 - M - W ) >
w{z)
no existe.
Solucin. Es suficiente demostrar que lim
y
w{z)
o,
si 2 = 0 .
w{z) __
Sea y = x - 0, entonces z - 0 y l i m - 7 " - J
z
= *
e x s te y
0, entonces lim ^
1 Si
2'
4x4
la
no
m0
3* 2
3y 2 ,
dw
dv
dy
du
= 3* 2 - 3 y\
du
dy
entonces
dx
= 6xy,
. dv
-6xy,
dv
Az = Ax + i A y,
^
condiciones
deI
Aw
ejercicio, existe Jim
du
dv
dy
dy
. Por consiguiente,
du\2
dv
du
dv
dx)
dx
dy
dy
(1)
'
Au-du+o(\/Ax2
+Ay2)
Att2+At>2
Ax 2 +Ay 2
dv
dx
du
dx
AX2 +
du
dv
dy
dy
Ay
Ax2+A y2
dudu
dvdv\
Ax2+Ay2
AcHAi/2
du
Ax2 + A y2
dx
dvy
Tx)
du du
+
dv dv
dx dy
dx dy
Ax2 + A y2
Aw
Dado que
lim
n
Az-*0
Az
du du
dx dy
du
dv
dx
!)x
dv
_
dx dy
Ax A y
+
o{ 1).
, entonces
ij
rj
.j^Kf;
dv
dv
dx
dy
dx
dy
en todo punto del dominio G. Por consiguiente, las funciones u
y v son constantes en la regin G, lo que significa que / tambin
es constante en (?.
lim
f dvjxp, yo)A A x +
dy
r Az \
dx
V S
1
A ,
{AAx + B Ay) +
Az v
dne
u
dv(x
0,yo)
dv{x0/yo)
dx
Az + Az
C
omo A
x == - yy A , =
Como
Ax
u
du(x
0,yQ)
dw(zo,2/o)
Ay + o(\Az\)) =
/
D^du(xo,yo)
.dvjxojo)
'
(1)
Az
donde Ai y
son ciertos nmeros complejos. Como 1,
Az
Az
_2
entonces = e
ip E Arg Az. Escribamos la expresin (1)
en la forma
A/(z0, Az)
Az
Ax =
o( |Az|)
B\e~i2<p
(2)
Az
o(|Az|)
Teniendo en cuenta que ^lim^^ =0, para todo p (0^ ip
fijo, obtenemos
lim
A/(z 0 ,Az)
A.Z-+0
Ai
Az
1*11,
^ z ) perte-
du dx
du dy
du
dx dr
du dx
dy dr
du dy
dx d<p
dy d<p
du
s
du
du
r sen tp + r eos Y<p,
dx
dy
du
du
Resolviendo este sistema respecto a y , hallamos
dx
dy
du
dx
du
dy
B B M ir
du
- eos (p dr
du
sen (p +
dr
du sen (p
d<p r
du eos <p
d<p
i ' * < y i
i; ;
0. Por definicin
f{z)
(x2 + ixy)(x ~ iy)
x2 + ixy
(0) = lim
= lim
~ r
= lim
2
2^0 z
x-^o
x +y
-o x + iy
jf0
y0
x 3 - ix2y + ix2y + xy2
= hm
=
x-K)
X +V
y-o
*
lim x = 0.
-0
o,
= hm
ox
-o
X
du{0,0)
n(0, y) - tt(0,0)
= lim
= 0.
dy
y->0
y
dv
dv
Dado que v = 0, entonces = = 0 . Por con^
dx
dy
miente, en el punto z = 0 se cumplen las condicioA/(0, A z) ,
s de CauchyRiemann. Calculando
obtenemos
^
V,
A
zz
x + iy
z = z - 0 = x -I- iy. Si z = (x, 0), x
0, entonces Az
0
]} m A f (0, Az): o. Sea x
0, x > 0 e y ~ x. Entonces
Az0
Az
A/(0,Az)
x
_
t
=
D e este
k - 0 * * - 0 y
oT^)
iodo, lim
' ^ ^ no existe y la funcin ^ no tiene derivada
Az^O
Az
n el punto z = 0. Sealemos que este hecho no contradice el
orema de diferenciabilidad de una funcin /: C
C en un
Aw
~Az
+1
Ax2 4 A y2
Au Ax 4 Av A y
Ax2 -f A y2
.AvAx-AuAy
Ax2 4- A y2
Aw
Av Ax Au A y
Im
Az
Ax2 + A y2
Aw
Dado que ^ ^ Re existe, entonces este lmite no depende
de cmo Az tiende a cero. Tomando Az = Ax y Az = i Ay,
obtenemos
Aw
Au
du
,
Av
dv
lim Re = lim = ~~ = lim = ,
A-o
Az
Ai^o A x
dx
es decir,
du
dx
dv
dy
Ay-+o Ay
dy
du
,
dy
dy
dx
3) Sean u y v funciones diferenciables y supongamos que
Aw
du
dv
existe lim Re . En este caso, segn lo demostrado, = .
Azo
Az
>b
dx
dy
Los incrementos Au y Av de las funciones diferenciables u y v
tienen la forma
du
du
,
dv
dv
Au=Ax
+ Ay+o(|Az|), Av = ~Ax + Ay+ o(\Az\).
dx
dy
dx
dy
Entonces
A w Au Ax + Av Ay
du
Re
Ax
+
a7
Ax2 + A y2
Ax 2 + Ay2\dx
dv A 2
(du
du
dv \
\
Ay + ( H+ j Ax Ay + (Ax + Ay) o(|Az|) 1,
dy
\dy
du
dv
y como ~ , resulta
3
dx
dy
Aw _ du
/du
dv \ Ax Ay
Ay) >(]Az|)
o(|Az|)
(Ax + Ay)
Ax2 + A y2
Ax22 + Ay2
Aw
La existencia del lmite de Re
(cuando) Az 0) igual a
6
du
Az ~ dx
implica que
\dy
/ du
dx)
dv\
+ - j
,
du
dv
= 0, es decir, = - =
Aw
lim Im . Por cuanto f cumple
las condiciones de Cauchy
r
J
Az>0
Az
Riemann en el punto z, la funcin / es diferenciable en dicho
punto.
< i ^ j; ^ ^ ^ j! ^
A
* '."y
: 5
'-"
: N
V V
! V
;'>
v - -
M Solucin, 1) Tenemos:
w\z) i =
ad - 6c
(cz + d)2
= 1,
de donde
|ad 6c| = |cz +
, o bien
z+ c
|c|
|ad - 6c|
z +
y centro en el pun
c'
2) Segn las condiciones del problema, arg w'(z) 0,
decir, arg (ad - be) - arg (cz + d) = 0, de donde
A
r > 0.
As,
d
Vad bc
z =
1
1, -00 < t < +00.
c
c
El conjunto Z es la recta definida mediante la ecuacin (1).
y < < a
> > x <.<>< >
v*:
,v . i ,
f>
* / Y, , ,
< <vavA /
4.
YS,
^ v . ^ / '
X$X // . .
. < V. , .
X < <KX
. .S
,
.
,
X so^yl . .
V; .l
V.
V.|!
: j
> t-
V
i.
/ / . " y
c ? .
V.rsLi^-.
^ . . . v . ' ^ l . / n . t
^ V ' . - '
vi-
Solucin. Tenemos:
ln \z - a\ = ln 6 = const,
o bien Re ln (z - a) = const. Consecuentemente,
f(z) = ln (z-
a),
v = f'(z)
z - a
v{2a) = -
Im / = v = v{x, y)
(1)
D{u, v)
D{x, y)
dx dy,
(2)
,
D(u, v)
donde
es el jacobiano de la aplicacin (1). En el p.4.4
Vyx, y)
,
,
D(u, v)
.
,
se demostro que
-(x, y) = \f(z)\. Por consiguiente,
U\X, y)
l*(G)
dx dy.
.
. * II
..
^1
9 J J (x2 +
Tomando x = pcosy, y =
1 < p < 2,
p(G) = 18
*f
d<p
y2f.
7T
7T
tt 1
'=2
p5 dp = 18 - -p6
189?r
=
b)
(x R);
2C l
z2 -iz~
'
1 .
si z = e\
2iz
2 +
j z + | - ( 1 + )I*I 2 ~^(1 + 0 = ;
Z\ + z2
Z\ H~
d)
_ +z3 +
^
e>
f)
, fc
E
!
+
+
E
fc=i
*
k=1
*
2
2n
2n ++ 9n + 1
si z n, n G N;
. . 2i|
. i \z
,
r/ SI
2\3 = r;
Z\+Z2 + Z 3
g) n f ve ' - 1 ) 7 = ( - i r 1 n (n N).
k=1
5. Demostrar la igualdad
2
- E1* - ^-i =
1
- +-E
1
fc
71
1*
w(z\) = w(z2)
Z\ =
7. Sean z l7 z2/ 3 y 24 cuatro nmeros tales que z4 no coincide con ninguno de los
tres restantes. Demostrar que si dos de los tres nmeros
son imaginarios puros, el tercero tambin lo es.
Z\ #2
Z 3 Z4
Z\
ZJ Z\
Z4
z2 z4
|z 3 -z 4 | Re
z3 z4
Z\ Z\
Zl Z4
8. Demostrar que
a) si z ^ - 1 y |z[ 1, entonces z
1 + it
1+z
, donde z es un
Sn = l +
*n
sen x
sen x
eos x
sen 2x
sen x
eos 2x
= 1+
+ 5
sen x
sen2 x
. + sen
nx
+ ..
senn x
eos nx
+ .
sen71 x
<
"
-O/-
.^ s
W j V
a?>
mwm
, 2\b\
[ReaJo - b\
12, I Amostrar que tres puntos z-, z2 y z3 se encuentran en una recta si, y slo si,
Zl
Z2
Z3
5 1
z 2 1 0,
Z3
na-**)1
Ifc=l
15, Demostrar que
1
zz C, Re z2 > 0.
b) Re J ^
' .,ssi
i Zl C, Zi
zz + tt
2 Re z2
16. Resolver el sistema de ecuaciones
z3+w5 = 0
2
4
z ty
Demostrar que las races de la ecuacin de segundo grado az -f bz + c = 0, con
a, b, c reales y discriminante negativo, son complejas conjugadas.
Demostrar que las races z^ y z2 de la ecuacin z2 + 2pz + q = 0 {p C,
C,
^ zfz p2) se encuentran en una recta que pasa por el origen de coordenadas si, y slo
si, p = 0, o bien p / 0 y ~ R y - 7 < 1.
Hallar el conjunto de puntos z del plano complejo C que satisfacen las condiciones
siguientes:
a) \z a\ = R;
b) Rez +1mz = 1;
c) argz a , a ( ] ;
z~i
: =1;
z +t
mmmmmm^
m^mimmmm
e) Re(<e z -f) = 0;
0
| +
+ | = 4;
g) Re (1 -f- z) |z| = 0.
20. Escribir en forma compleja las ecuaciones de las lneas siguientes:
a) xy = 1;
b) * 2 + (y + l) 2
1;
c) x2 ~ y2
d) y2 = 2ar + l;
e) p =
1 + eos ^
21. Hallar el conjunto de puntos * del plano c definidos mediante las condicionesa) r < \z - z01 < R;
,. \z 1
7+i
b
c) a < Re 2 < 6;
1
^o
d) - < Re - + m - < - ;
4
z
z
2
e) 0 < arg < + z
2
22. Entre los nmeros complejos z que satisfacen la condicin \z~25i\ < 15 hallar
aquel cuyo valor principal del argumento es mnimo.
23. Demostrar que dos puntos A{zx) y A(z2) de la esfera de Riemann distintos de
S T d i a n ! e t r a l m e n t e opuestos si, y slo si, los puntos ^ y z del plano
Je
2
satisfacen la condicin z^z2 ~ ~ 1.
24. Para que^ valores del parmetro a las siguientes circunferencias en el plano
complejo C corresponden a crculos mximos de la esfera de Riemann:
a) z - a\ = a (a > 0);
b) z - j
=a(a>0);
c) |z - i\ = a (a > 0);
d) \z 2ai\ = a (a > 0).
25. Hallar:
l1 "
a)
C0S
' ( v ^ + T - V n ) sen ) ;
SI!
lilis
eT - e~w
G C: \z\ - y
)'
Sean a y /3 (a (3,
< 1, |/3| < 1) dos nmeros complejos dados. Definamos la
sucesin (*) de modo recurrente:
w-oo
28. Sean zx = a, z2 = b (a 0, b 0, a b) y
1
Zn-1
Zn.4.1
. Demostrar que
r
lim zn = 0.
n>oo
29. Demostrar que si dos regiones D, y D2 del plano C tienen un punto comn
entonces Di U D2 tambin es una regin.
V x
jy? G R 0 ^ ^ ^ ^ j
mediante l
aplicacin /.
1
31. Para la aplicacin w = - (w = u + iv, z x + iy) hallar:
z
a) las imgenes de las lneas siguientes:
1) x = C;
2) y = C;
3) + y =
4) arg z = a; 5) \z +1| = 1; 6) y = (x|;
b) las imgenes de los conjuntos siguientes:
7) la franja comprendida entre las rectas at = 0 y x 1;
8) la franja comprendida entre las rectas y = 0 e y = l;
c) las preimgenes de las lneas siguientes:
9) u = C;
10) v - C .
2-4
a) W ^ { w e O M < 2};
b) W = {> C: M ^ 1}.
33. Demostrar que la funcin w = z2 + 2z + 3 es de una hoja en el crculo K = {z 1
\z\<l}.
t2
d) 2 = (a + p)e - fie
fi
z2
a) Jim
Z->1 Z l
b) lim
/
z-2i
,
Z-*OQ Z + %
c) lim
z2 + 1
Z~*DC Z 2i
z2 + 1
d) lim
-;
z4 - 1
* - + 2 i
r
z^o \ x -f y
e) lim
f) lim z;
z-*-i
g) lim argz;
z->-1
h) lim * ;
z->0 Z
i) lim
(Re z):
Im z
x y son racionales,
x de y son irracionales.
e) w = tg(argz).
37. Sean u = (a;, y) y v = v{x,y) dos funciones diferenciables en una regin D. Sea
f(x + iy) = u(x, y) + iv(x, y) para todo par (x, y) D. Demostrar que para que la
funcin f sea diferenciable en el punto z0 = x0 + iyQ e D es necesario y suficiente
que la expresin du(x0, yQ) + i dv(xQ/ y0) sea proporcional a dz = dx + i dy.
(du du\
{dv dv\ . 1 ,
n
gradientes vu = I , 1 Jy vv = [
de las funciones uyy v. Demostrar
6
\dx 8yJ
\dx dy J
{Vu,Vti) = 0,
z C, se escriben de la forma
|Vu| = |Vu|,
donde (Vu, Vv) es el producto escalar de los gradientes, y |Vu|, \Vv\ son sus
longitudes.
'
si 2 _ 0
' e s continua en un
si z = 0,
f{z) - /(O)
entorno del punto z = 0 y que los lmites lim
cuando z tiende a cero a
lo largo de cualquier recta existen y son iguales, sin embargo, / no es diferenciable
en el punto 2 = 0 .
+ 2
-+i y
z
x +y
V
b) f(z) = \z\2 + 2z-,
x2
r2 ;
+ y/
41. Sea P(z) un polinomio cuyas races se encuentran en un crculo. Demostrar que las
races de su derivada P\z) pertenecen a ese mismo crculo.
42. Demostrar que si las funciones / y g son analticas en un punto z0 y f(zQ) =
/0)X= 0,
n pero
n entonces
.
r ^ = ^ . Hallar
Mil lim
r
g(z
g {z'/0) w 0,
lim
Z-+XQ g\z) g {Zo)
^
1 + zw
1+
1Q .
Funciones elementales
en el plano complejo
En este captulo se consideran funciones elementales de variable compleja, sus propiedades y las transformaciones conformes
realizadas mediante ellas.
1. Funciones homogrficas
y sus propiedades
1.1. Definicin de funcin homogrfica.
Caracter conforme de una aplicacin
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ m e i o n e s
del tipo
donde a C
,a
0. Dicha condicin evia a J f
licin
i a . f u n c i n 0 ) degenere
en una constante. Si c = 0 y d T n T
Y
#
l a f u n a n d ) se convierte en
na funcin lineal:
a
b
~z -f ~~ = Az + B.
(t
a
La funcin homogrfica, est definida en todo * e C salvo
en los puntos zi =
_ ^ c.
v r
i
^ y z2 _ oo. Si c = 0, estos puntos
z=
(2)
cw a
que tambin es una funcin homogrfica, pero definida en el
__
a
plano C, pues, conforme a lo acordado, z = oo para w = d
y z = para w = oo. As hemos llegado al teorema siguiente.
Teorema 1. Toda funcin homogrfica (1) es una aplicacin
{es decir, biyectiva y continua) de C sobre C.
homeomorfa
y2
a=-3
O
Fig. 29
(3)
las curvas
y T2 pueden considerarse como imgenes de 71
y 72 mediante la aplicacin homogrfica (3), cuya su derivada
dW
be ad
dz
(az + b)2
totegricg
1
.
z
wA =
W3
az +f ho a
cz-Vd
c
ad\
(6 c ) cz + d
1
ad
^ ~
cz^-d
1
cz + d w2
w2 = cz + d = w\ + d
f ( t r a s l a c i n paralela);
ad
w3
(aplicacin
\ de semejanza y giro).
Vemos que las propiedades inherentes a las cuatro aplicaciones indicadas se pueden trasladar en algunos casos a las
aplicaciones homogrficas generales. Como una consecuencia obtenemos, por ejemplo, la propiedad circular de las aplicaciones
homogrficas.
WiJ = cz
forma
(2)
Tenemos:
arg {Z ZQ) - arg ( z * - z 0 ) ,
\z - Zol \z* - 2bI = R2,
z _
ZOJ F
l
t arg(zzu)
\z - zo\e~* aT&(z~Za>
R
Z - ZQ
de donde
z = z0 +
R2
Z~ ZQ
ti'.'//
y
1
Zy
^
y
J
V
\
O
O
^J
-
R/\
/)( \
\
*
f
r zz \ J ^ /
7
y
Fig. 31
segmento \( - z0\2 de esta
tangente es igual al producto de las longitudes del segmento \z* ZQ\
ZQ\ de
de una
una secante
secante por
por
z ~
z* - Zyj
el segmento \z es decir,
- z012 = \
\z
-~ zzol
\z*
ZQ\.Dado
Dado
0| \
]ue z y z* son simtricos respecto a F , entonces \( - z0\ = R.
De este modo, el segmento de la tangente a 7 constituye el radio
de la circunferencia F , es decir, 7 es ortogonal a T.
Suficiencia. Sean z y z* dos puntos con la siguiente
propiedad: cualquier circunferencia 7 que pasa por estos puntos
es ortogonal a F . Entonces tenemos que:
1) los puntos z y z* se encuentran en una misma semirrecta con vrtice en el centro zq de la circunferencia T (pues en
calidad de 7 se puede tomar una recta que sea ortogonal a T y
ue, por tanto, pase por el centro z$ de la circunferencia T);
2) 1 z - ZQ\ jz* - 2Q| = iC zoP = R2/ es decir, los puntos
jr y\ r z* son simtricos respecto a F
V ^^^
simetra raspelo a la circunferencia so convierte en Li nmmmIHh
ordina ria.
lil teorema demostrado permite dar otra delimito
puntos simtricos.
z* se denomina inversin.
az -f b
cz + d
(1)
;n el plano complejo
MrtllOi''^^
\mm
Teorema 1. Para tres puntos diferentes cualesquiera z\ t C, z2 ( C y
t C, y /res puntos cualesquiera tambin diferentes w fc C, fc V,
6 C, avrsfe una nica aplicacin homogrfica L tal que L(zk) wk
(fc 1,2, 3).
^-
W-W
lr Y ^. _ Z - Z i 3 - z2 7 xr 2 : C
i ' U) 3 -W 2 .
z z2 z$ - Z\
W W2 w3 W\
Obviamente, la aplicacin L L2l o L\ es la que se busca,
L w(z)f w(zk) = Wk. Su forma explcita se puede obtener
a partir de la relacin
z - zx
z Z2
zi
Z\
w~ wY w3 - w2
W - W2
~ W)
(2)
3 - 2 _ W3 ~ ^2
Z - 22
W - W2
Unicidad. Supongamos que adems de la aplicacin L
existe otra aplicacin homogrfica A tal que A(z) = w C o n sideremos la aplicacin homogrfica L = L2 o A o
que deja
inmviles los puntos 0, oo y
Evidentemente, (oo) = oo
implica que L{z) = az + d; L(0) = 0 implica que b = 0 y
]j{ 1) = l implica que a 1. Por consiguiente, L(z) = z, es decir,
i
Corolario. Toda circunferencia y C C se puede transformar en otra circunferencia cualquiera 7* C C mediante una aplicacin homogrfica.
V "
'J-/.'.'H'
W h v ^ v i ; "
v i
*..
'
Problemas resueltos
Solucin. Tenemos w(Q) = i, w{oo) = -1, w(ia) = oo. Evidenteniente, los tres puntos - 1 , 1 e oo del plano w determinan el
eje real.
2(, - 1 - m
(2z _ 1 _ i ) ( 2 ?
=
x + )
ww = 1. A partir de ah
t
de
donde
zS
i,
olucin. Necesidad. Supongamos que la funcin dada transfor1a la circunferencia 7 en una recta. La preimagen de w = 00 es
a
a
punto z =
por tanto, - = 1.
c
c
Suficiencia. Sea \a\ c\ > 0. La funcin homogrfica
a w j- h
a
transforma el 00 en el rpunto
el cual, segn
la
&
cw I d
c
mdicin de partida, pertenece a la circunferencia unidad. Dado
je un punto de la circunferencia unidad se ha transformado en
punto del infinito, la preimagen de la circunferencia unidad es
ta recta.
i'-^i
.v
v>
-X
/X
} A
t
:X<
/ : - W i >y a
>ivX y"
.VX)
jlucin. Tenemos
5
1
1) = - y w(\)
>Xf
^ v>*
v y - v4
Y V<-f:
4 fs-* :
^.
-i 5? -
el eje real se transformar en el eje real. La imagen de la circunferencia unidad ser la circunferencia cuyo dimetro es el segmento
1 5
. Teniendo en cuenta que w(0) = - , el crculo unidad se
8
12' 4
2
w
<}.APlitransforma en el crculo
3
cando la regla del recorrido vemos que el semicrculo inferior ser
la imagen del semicrculo superior.
w i
4-
. '.- =
(i/2) - i
%.
w(l) = 0,
w(oo)
Finalmente, obtenemos
i iz
z+ 2
V i >
'
. . . .
i t . ' '
mmmmmm'^i:-
l+i~i
1 + i -f 1
W ~ l
de donde
1-i
5(z
Teniendo en cuenta que los puntos Z! = -1, z2 = i, z3 =
= 1/- >
i
*
l
'
2
V 2 J
y que la circunferencia 7 se transforma en la recta a + v = 1,
ni =aplicar
la regla udel
establecemos
que
el semiplano
/>
{(, v)6W?:
+ vrecorrido
> 1} es la
imagen de la
regin
D.
R2
- R2
_
~
tSIfe!
' mm
i*
li^mmmMm
(h - R)(h -
Vh2
W-
R2)
R2 - h
w z2
z z2
-
n~i
Por consiguiente,
o bien
^R+l
lim
n*~f0 n+l
p
limz n = f
n->co "
Si \A\ =1, el lim
no existe.
noo
~P
z0-p
*
\oo,
si
M|<i,
Si
U l > 1,
W <
Si \A\ > 1.
= w(z2) =
rnmmmmmmmm
'
s ...
J ' .
v v
.. Jf
^ tSjjj^^
'
-^^^^^^^^i^^iir^u^rt'^^^ M
*a%8 *
i*
tt.:* m
811114!^
'
?:
..
..
'
I6
ZQ
r
1 - zQz
Consideremos la circunferencia 7 {z C: \z\ = 1}; su dime
tro, el cual pasa por el punto z0/ se transforma en el dimetro
de la circunferencia 7' = {iy O M = 1}, pues w(z0) = 0 y
w(l/z0) = 00. As pues, una semicircunferencia unidad con extremos en un dimetro que pasa por el punto z0/ se transforma en
una semicircunferencia, pues sus extremos tambin se encuentran
en el dimetro. Otro dimetro cualquiera que no pase por el
punto z0 se transforma en un arco de circunferencia de radio
finito, lo cual implica que las semicircunferencias con extremos
en ese dimetro no se transforman en semicircunferencias.
. Por tan-
w1
to, se pide determinar slo aquellos puntos para los cuales
1
1+
- 2 = 2 , o bien \w~2\ = 2|w-l|. La ltima igualdad
w-1
describe un conjunto de puntos para los cuales la razn entre
sus distancias a dos puntos dados es constante, es decir, es una
circunferencia de Apolonio respecto a los puntos 1 y 2.
WtOZiMI^hi!
0;
2. Funcin potencial w =
Funcin multiforme 2
Superficie de Riemann
Vw
^ 0V
0,
27T
Z,
sHteSfe-
i .
-i.
27r
>. i
<
f ' ^ W
1 >>
2tt
aE
(3)
n
es una regin de uniformidad de la funcin potencial; dicha regin
se transforma en todo el plano w sin la semirrecta na Arg w.
2 fl0,0TI
1)/
todo el
el
Mediante las semirrectas <p ~ a + k
(k
=
,
7
1
1
)
,
todo
TI
plano z se puede dividir en n regiones de u n i f o r m i d a d de
la funcin potencial. Si a = 0, el papel de estas regiones lo
desempean los interiores de los ngulos
2kir < ^ < (2
k +1)*
(1)
0,
n
n
(sectores infinitos).
,
r .
Intentemos construir una imagen geomtrica tai que la
funcin potencial (1), p.2.1, establezca una correspondencia biunvoca y mutuamente continua entre todos los puntos del plano z
y los puntos de esa imagen.
27T
Tomemos el primer ngulo 0 < <p < Su imagen es
todo el plano w sin el semieje real positivo, pues ste es la
imagen de las semirrectas <p = 0 y tp =
correspondencia
Para m a n t e n e r
GC 0
la
<
.V CV"
.f
>'
* V w ^1 v: V r .
i t j ' ' . i j . r.
j / ' 1 .
h.
H,:
Nr-s s x
..
, . '
:'
*<
a
*<
fX
>
<
.
< <' v
:.
....
<:
..../:
WI(
2) =
(y^ l)(1 4- i)
2-V2
7T
37r
transforma la lnula G en el interior del ngulo < arg wi < ,
2
4
y la funcin w w\ transforma el interior del ngulo en el
semiplano superior P = { w C : l m w > 0 } . Por consiguiente, In
aplicacin buscada es
/z-%/2(l-)\4
\z-V2(l
i)J"
mml
Z\ +
2Z,
Z2(Z:)
1
z3(z2)
Zl - 1
W(Z3> =
y/~Z2,
Z3(~
1) =
Z,
w(i) - 0.
z3 + z
Finalmente tenemos
w = e
2z
Solucin. La aplicacin
= y/z + 1 (t>i(0) = 1) hace corresponder la regin dada con el semiplano derecho P =
{wi G C: Rewi > 0}. La aplicacin w2 = iwi = Wz +1
transforma el semiplano derecho P en el semiplano superior
P' = {w2 e C: Im w2 > 0}, w2(0) = i. Utilizando la frmula (4),
p. 1.3, para a = i obtenemos
w = e
w
sa
i $ wo
\Z2 +
+ 1I - - 11
ie V
: = e
.
w2 + i
Vz + 1 + 1
n !
iim
0< tC
se transforma en la curva
eos - i sen _
2
w ~
- = u + iv.
V I + (e)2
v 2 eos t
Eliminando el parmetro , vemos que el arco de circuni
ferencia se transforma en la parte de la hiprbola u - v =
A
= ew*(cos
(4)
{z O
2kv
< Imz
< 2(k
+ 1)tt},
k e
Z,
tv
M mv<
ily
-.75'
z - i
W2 =
iz
2(z - i)'
z -%
w3 =
7r(l -
iz)
{vh 6 C ; 0 < Im
M-.
- ^
-il
l)
Wl
4 z =
2)
^ = -* t * ==
1-i
V2
*
/i
2, giro en un ngulo de - ;
aplicacin de semejanza con razn
ttV2
de semejanza
-;
a-y/2
3) w = e u ' 2 = e ft
r^e
- 0 2
m
l ! l f ? l i i
ttr.
^r
C)
w
d)
2ni
2;n
ia(a<2jt)
g)
za
O < a < 2TZ
h)
m
~iji
Fig. 33
4. Funciones potencial y
exponencial generales
4.1. Funcin potencial general
Elevemos un nmero complejo a una potencia real arbitraria
p K. Segn la regla tenemos
> - * = N P (cos py + i sen p<p) = \z\PjPP, ^
6 Arg
(1)
p
Si p es un nmero racional arbitrario y p = - {p y q son
i Ln2e2Ln.z _
e<*iLnz+a2Ln2
^aLnzyS
e (a x -\-a 2 )Lnz
^p{aLnz+2kiri) ^ ^patnz
y
5 5. Funcin de Zhukovski
5.1. Definicin de la funcin de Zhukovski.
Carcter conforme
La aplicacin
2z
w~
z1 + Y
Dado que ( )
dz\wj
z=0
d 1 \ _ 2(1 - z1)
dz\w)~
(z2 + l ) 2 '
+ - ) =
z2J
= z1-z2+(--)
=(Z! -z2)(l ) =0.
\zi
z2)
\
zxz2)
Para z\ ^ z2 tenemos ziz2 = 1. Por consiguiente, para que la
funcin de Zhukovski sea de una hoja en una regin, es necesario
y suficiente que esta regin no contenga ningn par de puntos
zi, z2 para los cuales z\z2 = 1. Como ejemplos de tales regiones
pueden servir los conjuntos siguientes:
G\ = {z e C: |z| < 1},
G3 = {z G Im z > 0},
La circunferencia unidad con centro en el origen de coordenadas divide el plano z en dos regiones de uniformidad
G\ y
Tomando z = re%v, w u + %v, escribimos la funcin
de Zhukovski en la forma
u = - I r + - ^j eos tp,
1
(2)
o
Y
/
/
- Fig.
1 35
IB
m|f
S I
BB
S j
BB
IIBB
BB
imMmmmmmmmMmmf
Fig- 35
forma
z = w + v2 - 1
(3)
y es multiforme con puntos de ramificacin de primer orden
w = 1. Su superficie de Riemann est representada en la figura 35.
1 Problemas resueltos.
..
s ,
-
'V. v ^ ' /
wtf-vGwU&cvX'
<
>
%O
* >
<<
Va - b2
_ i
= m+ivi
la parte exterior
|w 2 \>R),
G={w2eC:
ya
R = a + s/a
1 _
a -\-b
ra2TW
w2
Finalmente, en el plano w= obtenemos la regin D = {w C:
M > 1}. As,
'
wf2
-1
a+6
a+6
( z - f V 2 - a2 + ft2).
b2~
'
_b
> '
- V x < SAs
j[
- (e~*aw2) 3F- 2 a
10
(UJI
-u
1
ir
z +
z -f
7T-2
~ a2
2 arctg
-a2-62)
6. Funciones trigonomtricas
e hiperblicas
que:
(eos zj ~ - sen z;
2
sen z + eos z 1,
sen z = eos
ti,
5) la funcin z
es par.
eos z
eos z
sh z y
b)
Su relacin con las funciones trigonomtricas es la siguiente:
3) w = - ( w 2 + ).
2\
w2J
Teniendo en cuenta este hecho, el lector podr examinar sin
dificultad las transformaciones conformes ms simples efectuadas
por la funcin w ~ eos z (fig. 36).
Estudiemos ahora la funcin sen z. A partir de la frmula
ei(z~n/2) _j_ e-i(z~ir 2)
sen z =
2
se deduce que la aplicacin w = sen z es una composicin de las
siguientes aplicaciones:
7T
1) wi = z ~
2) w2 = iwv
3) w3 = eWl,
2) w2 =
eWl,
iji/2
jt/2
d)
n/2
ijt/2
71 j 2
vt2
Fig. 36
@ >
4) w =
2 V
W3J
(fig. 37).
zeC:
7T
7T 1
~-<Rez<~j
Fig. 37
Las cuatro transformaciones conformes indicadas sugieren
que las franjas verticales de ancho ir son regiones de uniformidad
de las funciones z
sen z y z y-* eos z.
(4)
(4)
XQ <
< 00
v ==
sen
senxx$
sh y,
y,
0 sh
= 1.
sen XQ
Para
WW1
!
<V4
ium
>.:<}:
m.
im
#!
ih
.i.V.V.
2jT
ijr/2
ve/2
Fig. 38
o bien
i e
IZ
e 22 +
tez = i.
Ctg
2
(7)
tz
c " + e~
Estas funciones son diferenciables en todo C, excepto en
los puntos donde se anulan los denominadores de las fracciones
en (7). Hallemos, por ejemplo, los ceros del denominador de ln
fraccin que define ctg z:
i
eta-e~"
= Q, e" = e~",
iz = ~iz + 2kici,
'
z^kit,
ke Z.
Las funciones z
tgz y z ^ ctg z son peridicas de perodo
principal real ir. Para ellas se conservan las frmulas de diferenciacin conocidas del curso de anlisis matemtico y las relaciones
trigonomtricas principales.
Las transformaciones realizadas por estas funciones son
composiciones de las aplicaciones ya estudiadas. Por ejemplo, la
aplicacin
e 2iz - 1
tg z = -i
t
'
,2 iz
-
+ i
fc
v r1*
V . {',,.!.::
Ahora no es difcil examinar las transformaciones conrmes ms simples efectuadas mediante la funcin w tgz
lig. 38).
I
Estudiando las aplicaciones w = tg z y w = ctg z, vemos
le sus regiones de uniformidad son franjas verticales de anchuKi 7r. Dividiendo con ayuda de las rectas x = kir (fc Z) todo
II plano z en regiones de uniformidad de la funcin tangente,
lomando para cada una de ellas su copia del plano w con un corte
I lo largo del segmento [i, i] y unindolas entre s del modo
interiormente indicado, construimos la superficie de Riemann de
a funcin multiforme
1
1 + iw
z = Arete w = Ln
2% 1 ~%w
La funcin Arctg w tiene dos puntos de ramificacin:
Problemas resueltos.
Im w = - sen x sh y < 0.
Por consiguiente, la imagen del rectngulo P pertenece al semiplano inferior del plano w. Para z = x se tiene
w = eos x, 0 < x < 7r;
para z = 7r + iy
w = - ch y, 0 < y < b;
para z iy
w ch y,
0<y<b;
y para z ~ x + ib
w u-\-iv = eos x ch b i sen x sh b, 0 < x < 7r,
es decir,
U2
V2
u cosxchb,
v = -sena:shb,
~r~T7
+ ~TT7
~
ch b
sh b
y i.
nf 2
w2 =
Wi-l ,
WI+1
w3
iwz,
w = wj,
Fig. 39
ilustradas en la figura 39. Efectuando sucesivamente las aplica
ciones indicadas obtenemos la regin requerida.
Vsfi^i:^
i-.
tfrriH:^:-'
resulta
i
2
|cosecz| - j s e n 2 ; j
^/sh2y + sen2 x
2 y _ C os x
1
En los lados horizontales de los rectngulos z ~ xi
+ -J w
=
se tiene
/
sh
1\
7T
( n + - J O s h - > l ,
cosec ( t I n + - | 7T I -
.
/
n +
2)
v +
9
7r
+
sen
+ J J
y sh 2
ln
sh + -
cosec
:
^
< 1.
7r + iy, tenemos
t y
sh y + sen I n +
sh 2y +1
de donde se deduce la desigualdad
cosec I ( n + - j 7 r + i y j
< 1.
&j
f^.s
f.
q
. ( V |
r-
i t?
'
..
a
,-U/
<
. .
-
: i.
,'
jii ]f
m' WVM
+ -j^J
z=
.6-1
+ 1
y en el segunde)
u b i l -
zx (z - a)-
z - a
h
\-l + ib,
h\
2J
2
z+ h
(- i es la
mam
l + tg2a
TTF'
de donde - =
h
~(
+ arct^
obtenemos
ib
vf<<s>.<><*>
.. 1
(I V* ' 'i ;
'
/ V v -
: .: k : .
" i". ' *
. . ...
V<
i.*-" ;
*
< r
-Y.
.
,
2
2
2
2
2
u + iv
l
u + v
U + V
u22 + V
v22 '
U
v ^^ 2
1
aw
y'2 q u e acc =
e i a
u2 +
uz + v2
w2 + v2
1
ecuacin de la familia de circunferencias se deduce que =
=
u2 + v2
2 es
ecuacin de la familia de imgenes. La familia de
1
imgenes buscada tiene la forma u ~ ~ . sta es la familia de las
a
rectas paralelas al eje imaginario del plano w. El propio eje no
pertenece a la familia.
2) Es evidente que la familia buscada se compone de
1
las rectas v = - paralelas al eje real del plano w, con la
a
vr 4- v
u -f v
b(u2 + v2) + u + v 0, o bien
u +
2b
+ W +
1
2b
ib2'
V2|&|
/ 1 1\
y centro en el punto I , I. Las circunferencias de esta familia
son tangentes a la recta v = -w en el origen de coordenadas. La
recta tambin pertenece a la familia para 6 = 0.
4) Escribamos la ecuacin del haz de las imgenes de
dicha familia:
v k u
z
z = z-r,
es decir, ku + v = 0.
z
u +
u + v
Hemos obtenido el haz de rectas v = ku.
.. i i \ -I
/^''rf^fe^l^
j. l t >
fillir l i r f !
^ A ^ L U J ^
V u2 -f v2
xQ
ZQ
vr
(u2 + v2)2
u2 = -v{u+
v2),
u2( 1 + v) = -v ,
uL -
1+ v
c + iy x0 + y0 +
= *0 + l y o
u-hi
__
v ~ h2
x=x+ u-h ?+(v-h r
~
~ ( u - h t f + ( v - h 2 r
{
1
2
Sustituyendo x e y por C obtenemos dos familias de circunferencias
y
- (u - hi) = 0,
+ (v - h2) = 0.
= Reia y w =
Z ZQ
+h, entonces w -
1
h = e~ ia . Se obtuvo una familia de circunferencias de radio
R
R
y centro en el punto w = h. Es obvio que arg (w - h) = - a es la
familia de semirrectas que salen del punto w = h.
x + i
x2 +1
. 2x
+1
x2 - 1
2 - es no decreciente:
x +1
x -l
x -l
- y2 = lim "YTT = '
X +1
+1
2
x z
P
OCxC+oo
U
x2-l
lim z7
ar>+oo J^ + l
Lzl
z i 2
Solucin. La funcin homogrfica w =
transfoi
1 + (i/2)z
ma el crculo unidad G = {z G C: \z\ < 1} en s m
mo. Hallemos la imagen de la semicircunferencia superio
7 = {z G C: \z\ = 1 A Imz > 0}. Tomemos tres puntos zx =
3
4
zi = h z = 1. Estos se transforman en
=
i-,
= i
3
5
5
3
4
>3 = - - 1 - . Por consiguiente, la semicircunferencia 7 se trans
forma en el arco de circunferencia superior con extremos ei
3
4
los puntos - - i-. Hallemos ahora la imagen del intervale
- 1 < x < 1 mediante la aplicacin w. Por ser w una aplicacii
homogrfica, la imagen del intervalo es un arco de circunferen
cia. En el caso considerado, esta circunferencia se define po
tres puntos zx = -1, z2 = 0 y z3 = 1. Anteriormente hemos
obtenido que los puntos zr y z3 se transforman en los punto,'
1
3
4
3
.4
W l _ - - - - y w3 ~ - - . El punto 2 se transforma ei
- i ' : A i
>
' .>
'
'
F v J V*- v i ft A I
^^^
vy
fmm. i ^
|
frl
i "i
I . % ;
i'
,.
^^^
el punto w = - -. Es obvio
KJ
fliik
IV^P^Bl
rencia
que
buscamos pertenece
e e imaginario. Sea
Wq (0,6) su centro y R
33 ___-4s u
_.33 _ .4
4
radio. La ecuacin de la
55 *55
5 *5^
^
circunferencia tiene la forma
Fig.
Fig. 40
40
u2 + (v - b)2 =
. Utilizando ahora el hecho de que
i puntos w\ y w3 pertenecen a la circunferencia, obtenemos
/4
\2
i
2
; - f ( - + 61 R . Dado que el punto - - tambin pertenece
arco de la circunferencia buscada, entonces ^ - + b
i esta forma, hemos obtenido un sistema de dos ecuaciones
5
3
ra b y R. Resolvindolo, hallamos b ~ y R = - . As
4
4
es, la imagen del intervalo (1,1) es el arco de circunferenf
5
31
i F = < t) 6 C: W + i- = - >/ y todo el semicrculo D se
insforma en una lnula que contiene el punto w = 0 y est
litada por dos arcos de circunferencia
= {w C: \w\ = 1}
V (fig. 40).
^ .. .. : > T
' ni
y'
lejx^M
'
(1 - a)2 + b1
2(V2 -
+ 6
R2.
1
1
V2
Su solucin es a = -, b = - - , R = , luego la circunferenci
buscada es
7 = < w C:
1
l
2
*
V5
+ - = 2
i.
'
IlfP^^
' ' ^
<wec
W--
+ -
<
^M1
1
= - . La ecuacin de la circunferencia buscada es
2
1
1
w
2
2
=
- I == U
- > tangente a dicha recta (fig. 42).
2
2J
2) Las imgenes de las rectas x = 0 y x = 1 son cirunferencias con centros en el eje real, dado que el eje real se
:. . f >j <14%,':
(!)
3 ffiMfei^
rmm<\
.. v-J
Fig. 42
a = -, R =
La recta x = 0 se transforma en la circunferencia
3
1
^
de ecuacin w
=
4
z-1
la franja D se
z 2
transforma en la regin limitada por dos circunferencias tangentes
; ;y '<< k U'-iilfl
@
P^Hm
Fig. 44
dos incgnitas
obtenemos a =
- aj
4
3
a)2 = R*.
i 2 . Resolvindole
Resolvindole!
= R2 y (2 - ay
2
3
La circunferencia 72 se tranwform
P\K
en la franja
G =
d
mientras que la aplicacin w2 = dw\ = - convierte la franja G
z
en la franja G' = {w2 G C: 0 < Rew2 < 1}. Segn la solucin del ej. 35,1), la forma general de la aplicacin buscada es
d
d
w w2 + ih ~ - + ih, o bien w = ~w2 +1 + ih
1-1 + ih,
z
z
donde h es un nmero real cualquiera.
1
2) La funcin w \ ~ - transforma la lnula en la franja
-{
Wi G C: < Re Wi <
d2
di}'
il ancho de la franja es igual a
D
di
d2
di d2
d\d2 (
1 \
-.a funcin w2 = wi transforma la franja Di
d2-dl\
dzj
:n la franja D2 - {u>2 G : 0 < Rew2 < 1}; la aplicacin
u ~ w2 + ih (o la aplicacin w -w2 + l + ih, /iG R) tr ansforna la franja D2 en s misma, es decir, en la franja D (v. ej.35,1)).
di
(d2
Analmente, obtenemos que w =
(
1 J -f ih, o bien
d2-di\z
)
di
/d 2
u=
f
IJ+l+ih,
donde h G Mes arbitrario (fig. 45).
>r-fia< vi: v
ill
Itttifm
ttm***
u2
Fig, 46
3) El resultado de la composicin de las aplicaciones
W\ =
djd2
W
W3
W2 = W\
\
d\+d2\z
1
d2'
w3
i
d2)
d d2
w2f
d\ + d2
d\ -\-d2
1-
d2
di /
z
z-d2
\di+d2
/^f
> <<
'
Xf'XO''
4
< >A*
>
' "
<
';
. ...
. - > > ; <->. < - K O
.
4 >: <% ?4 y A
*
' x ' <' "
.
-1
0
1+ t
2i
1-
4-1
2+ i
(i - b) (2 + i)
'
3 + 2i
Tras una serie de transformaciones obtenemos b =
.
2 (i - 1)
Sustituyendo esta expresin en la primera ecuacin del sistema
2 i(z +1)
w =
.
4z - 1 - 5i
2) Las condiciones de partida escritas en forma de tabla
1+ j
oo
sugieren que la aplicacin homogrfica se debe buscar en la forma
z a
w = k
r- Es obvio que se verifica la condicin * oo. Las
z i
incgnitas k y a se determinan a partir del sistema de ecuaciones
. - .
, 1+ a
i, = k~
=
k~,
1
i
1
+ i
,1+-o
1 = fc-7 = k(l + a).
+1 -%
Resolviendo este sistema1obtenemos
a = 3i, k ~
7
w =
(1 + 2i)z + 6 - 3
5(z - i)
-2 i
luego
Solucin. Es cmodo resolver este ejemplo de la misma manera que el ej.46: escribimos los datos en forma de una tabla,
luego determinamos la forma general de la funcin homogrfica
y, finalmente, hallamos las incgnitas a partir del sistema de
ecuaciones.
1) Tenemos:
oo
1+
luego w =
ecuaciones
-1
1. Del sistema de
1+ a
-a
1-4-6'
-1-6
i- a
-1
oo
00
obtenemos que la aplicacin homogrfica tiene la forma w =
i
Z Q>
z -f 1
Para ello utilicemos la condicin i
1. A partir de la ecuacin
i a
T
l-f- 1
2 + i(z +1)
z+1
3) A partir de la tabla
-1
00
00
1 -i
w
r / . v
! )
** V
***
ItM
'*
l+ z i
w((l+i)(z-i)+2i(l-z))=2(z-l)+(l+i)(z-i),
(1-)Z++1
w 1/2
2) A partir
de la condicin
=
r
'
w-2
la funcin w. Tenemos:
^=
w- 2
fe^i
z- 2
zfe
1/2 , 1t
, hallamos
z- 2
w =
5
3
Para z = - + -x el denominador de la ltima fraccin se anula,
4
4
5 3
puesto que - + -i ^ oo. Utilizando este hecho determinamos fe:
5
3 i\
fe) + fe - 4 = 0.
(1
2+ I
Resolviendo esta ecuacin, obtenemos fe = i. Finalmente,
z(l - Ai) + 2 ( - l -f i)
W ~
2*(l-i) + i - 4
3) Las condiciones de partida sugieren que la funcin w
1
1
l +
h(z-i)
satisface las condiciones
: =
r+ h
;
. I or
w
w
ii
z i
zi
z{l + ih) + h
tanto, zz
(w ~ i) (1 + hz - ih), w = hz + 1 _ i h Dado
tanto,
- i i == (w
que 1
oo, entonces h + 1 - ih = O, h
Obtenemos
z(3 i) (1 +1)
w=
(l + ) (1
-Z)
Z\
. =
IT
(1 + i)
-.
W -Wi
W3~W2
w ~ w2
w3 - Wi
diferentes
diferentes
aplicacin
aplicacin
(1)
-v ,
Z3 Z2
1
ttj-Bb
1+ i
)ado que
=
=
l a expresin (1) toma
z3 - Zi
2 w3 wi
2
.
Z+ 1
(w - 1) .
~ _A
\ forma
= (1 + p
t efe donde w =
.
Z
w-l
iz ~ 1
<>
j> ^
z-R
Solucin. La funcin w tiene la forma w = fcj-j-^, puesto que
w = 0 para z = R y w oo cuando z - J . A partir de
la condicin w(0) = 1 se obtiene que k = - 1 . De este modo,
R-z
w
R 4- z
La funcin w transforma el eje real Ox en el eje real
O'u. Por consiguiente, la imagen del intervalo -R < x < R es el
semieje real positivo (un rayo) y la imagen de la semicircunferencia
7 = {z (E G |z| < iAlmz > 0} es la semirrecta de pendiente -
ZQ
Z-Z0
(1)
2+ i
1
1
2 3 i = 5 ( 2 + >-
En el caso 2) z0 = i, R = 3, z* = x+
2+ t-i
entonces z* =
^
1
1 + e~t9
l i 0
1
- + - tg - . La imagen simtrica es la recta de ecuacin x ~ -.
3) Escribamos la recta definida en el plano mediante la
ecuacin y 2 en la forma 7 = {z O - 0 0 < Re 2: < +00,
Im z = 2}, es decir, 2 = x + i2.
Entonces
*
. *
1
x + i2
x
. 2
z x + iy
x-i2
x2+4
x2 + 4
+4'
x
^
2
~ __2> . 7/ V 2 ; 7'
x +4'
x + 4'
2x
Sustituyendo x = e n el segundo miembro de la igualy
X
dad x* = t r a s una serie de transformaciones sencillas
ar + 4
obtenemos que
2
*\2
/
*
1
1
11
=
es decir,
(xT + y Z ~ 4
16
"16
4
M
'
teMMilifllMlMilUIIMliAIa
I.VAmMIJv"nv2v^
rtl^l; r
l-si'
c^"-*/2)
26
(26):
26
D e
z a
lB
que
a
=
i.
De
este
modo,
w
=
e
1
obtenemos
= = (z- +Ui)' = l
z+%
TT
7T
A partir de las condiciones de partida arg w (i) = - = 6-
se deduce que 6 = 0. Por tanto,
'
Derivando la funcin w
z i
z+ i
'2 ~ * 2/
.
i
:
.
-i
V i
i :
,
w (2i) =
argw'(2i) = 0-
7T
i9z-a
I
z + a
C-*/2)
-=0,
ir
entonces 6 = , lo cual implica que
_z-2i
w= i
z + 2i
3) De manera anloga a 1) y 2) buscamos la funcin w en
if z - (a 4- bi)
la forma w = e 1
. Tenemos:
z (a - bi)
w(z) -= eJi
2 bi
,
(z - (a ~ bi))
,
w '(a + W) =
7T
i
2b
e =-
e(i tt/2)
26
= 0,
de donde B\ 4- 0. Finalmente,
z - (a - 6)
# 1
M ^
2 %
I,r/
w (i) = - > 0 . Por consiguiente, wx = e
= i
2
z+ i
z +1
mim,
z+ a
Derivando la funcin, obtenemos
w'(z) =
2a
(z +
a)2'
2\
arg w'(0) arg
w'(0) =
,
a
7r arg a =
l^lih*1' ' * H*
o
i
; * i
''
2e%* - iai
IV, IV
: En particular, para v = 0 tee2G
dj
7T
mos 2eiB - %ax = 0. Esta igualdad se verifica si $ = , a\ = 2.
2i
z + 2i
>.
4
. . <K < < , <
"S
S * <. i'
,
.\V\
' K< Y'
>;
>5'
f,
' V "< ^ ^
* ' .'. v
: v >>> A
' >
-4i
+i
2 1
~ -4
z + 2
z-2~'
.uuitiu^^
ia
9 e R
es
arbitrario)
Por tanto,
z - a
T^S
z a
w~b~6
{<p R es arbitrario).
^ ~<p-6
es arbitrario).
w{z) =
Im a
ei$x
a)2'
Im b
Dado que
> 0, entonces arg w'{a) = $1. Tomando 0X
obtenemos
w(z)
- b
a,
iaz-a
rin
r i
11
i i U N I
I '
irM'
i1 V . U J .
<\
(w(z)-a)2
(z-a)2'
Haciendo z = a y dado que w{a) = a, obtenemos
/ \= - eJQ.
w' (a)
Por consiguiente, arg w'(a)
de partida). De los dos valores 6X =
0
TT
/.
* i
02 = - elegimof
'.z a
s= % ~
z-a
w- a
ia
1 - az + a(z - a)
az)2
P
w'(a) = - 1 .
1 - \a\2
...
c.
1 ~ H2
1 - az)2'
~ M 22
(1 - az)
, ,
1 - ja|2
se dilata; si ^ _
<
desigualdades elementales, obtenemos que el conjunto de los puntos interiores del crculo G = < z e C: z - - < , /
\\
a
V |a ' 2
J
se dilata y el conjunto de los puntos exteriores del crculo
< z e C: z - a
>
cia 7 = < z e C: z
- 1 > es isomtrica. Si a = 0,
/
entonces \w'(z)\ = l.
_ 4) A partir de las estimaciones |1 - az\ > l - \a\\z\ >
1 - \a\, |1 - az\ < 1 + \a\\z\ ^ 1 + \a\, para la derivada w'{z)
determinamos
9
max|W'(*)| = M ,
WI
-W
mmi]
minK(,)| = j - ^ 1 .
1
izii
i + W
arg w
J = arg
^ - 0
a = 0,
entoncess
'
W=
1
2
z~
2z 1
~ =
1_
2
2-z
arg w
\
2
7T
2
TT
=
a =
2"
Por consiguiente,
9 z - o-ir
2z-
w = e
A- = i
22
2 + Z
1+
2z + l
2 + z
,
c
1
^ .
i a . A partir de la
Tomando aqu a = 0, obtendremos
tu'(0)
=
e
7
T
7
T
_
condicin argw'(O) = - - resulta que a =
Por tanto,
w=
= -iz
y w v-* ei<p-
transforman,
1 az
1 Q>w
respectivamente, los crculos K y K\ en s mismos (8 E, <p G E
son arbitrarios). Dado que arg w'(a) = a, de un modo anlogo a
wa
ia z a
la solucin del ej. 60, tenemos
r~ = e
'
1 - aw
1 - az
mm
owi-wiia)
e
1 - wi(a)wi
=
transforma K en el crculo
R\ _ Mjy
z~ a
1 -
R\
transforma este crculo unidad en s mismo. Sea w = w(z) una
aplicacin del crculo K en el crculo K,. Entonces la funcin
=
ei<pR
w- b
Rl-bw
tambin transforma el crculo unidad en s mismo. En las frmulas
obtenidas 9 e M, <p e R son arbitrarias. As,
R2
w~b
- (-<p)f
z~a
Haciendo z
hallamos
Ri
W
a
2
'
(
)
R\~\b\
R\-\a\
}
Como
Ri
Ri
Ri
R\
R\-W
7 n
R\ - bw
R\ az
Solucin. Hacemos
w 1. Entonces |I>i = \w Toda aplicacin del crculo unidad K en el crculo
K2 {u>i 6 C: |wi| < 1} tiene la forma general
Wi = e
z a
,
1 - az
$K
=--,
1~a
1
-a
if)
l6
-i.
a = 2\a\2 - 1.
1
1 i(t
sistema), entonces a = - -. Por consiguiente, a - - , e = 1.
z +2
2z + 1
1+ 2
As pues, w = w\ + 1 = --.
2+ z
. De este modo,
w(0) = 0. Utilicemos la
2_
= wlf
w2 = _
l
a
1
w2
1 + ~W\
2
2
Como w = 2(w2 +
entonces
2(w>2 + ) = 2
2z 4 2 -f %{z -
z 2
2__
1+
= 0.
- 2)
2z - 4 - i
2 + (^ 2)
z - 2+ i
iz + 2-2%
ti*
i" V,
>
irr
'^a*
! . ; ; m i:;:
.r
su-r.^Jl
S i
20
kS
iHHw
.
A\
> .1
h+R
(h - a)(h + a) = R2,
es decir, h2 - a2 = R2,
=
Busquemos la aplicacin w en la forma
Fig. 47
z-Vh2-
w= e
z-+
Para z = iy tenemos
w= e
iy
Vh2
R2
-f
0 e m.
R2'
(i)
y - Vft2 - R2
+ Vh
- i?2'
iy + v^2 - i?2
= 1.
Por consiguiente, el eje imaginario se transforma en la circunferencia 7. Por cuanto el punto h-\~R se encuentra en la circunferencia
dK (fig. 47), la cual se transforma en la circunferencia de radio p
y centro en el punto w 0, entonces
h
+R -
Vh2
h+ R+
R2
h+
R-
Vh2-R2
h~Vh2-
R2
(2)
>
w= e 2
z-VW^i
z+
Vh2
- 1
9e R
O)
..
v'
> / >v
<<
simtricos
i9
2z .
+ 24
71 se transforma en un punto de la
2-12
12 + 24
24
=
36
2
=
}MnTX
^ -cw
' *
v : Js
<
:N
.36
l^lfcl-,
lt
<, + 24
e ie
fe-y,
24 + 24
p =
= 3
=e I T '
(el punto z = 24 G 72 se transforma en un punto de la circunfe
rencia de radio p y centro w = 0),
w
Nota. Al resolver ciertos problemas en los que se utilizan las funciones homogrficas, es cmodo utilizar la denominada forma normal de la aplicacin homogrfica
con dos puntos fijos.
az + 6
, distinta de la aplicacin idntica
cz + d
az + b
cz + d
tiene dos races
zl,2
v=
c =
W Z\
l = S(w)f
w - z2
iz
Z Z2
S(z).
v={SoLoS-1)(Q.
ppi
\iJ.
'A,
Los puntos fijos de la funcin homogrfica So Lo S" 1 que establece la correspondencia entre v y son 0 e oo, luego v
donde fe es una constante compleja.
Por consiguiente, la aplicacin lineal L tiene la forma
tu Zi
w - z2
z
z - zz
(i)
fc
En caso de que
= oo, para L tenemos w z1 = k(z zi).
La frmula (1) se denomina forma normal de una aplicacin homogrfica con
dos puntos fijos. Como
k=
z z2
1
1
W ZJ
W - Z2
(2)
Z - ZL
'
k =
d)2
(3)
+ Abe
U
Si z oo, entonces k = - .
d
fc
X 4- y >
1 -i
W\
-1
-1
0
'mmmmm.
v ti^
J i J
^
Srt
w +1
= k
w
, . j
de donde
wi
w=
-.
(k - l)wi + k
2+ 1
.^4 + 1
2
es decir,
k =
3^4
2(^5
Sustituyendo w\
"
k-
+ 1)'
3 ^ 4 - 2
2 ( ^ 4 + 1)
en la frmula de w, obtenemos
(v^E 2) g*/3z4/3 +
transforma el semi-
-1
W\
00
"1
00
/ .. . 1 \ 2
fz
+ IV
w~
= [
Wi + l
\z-lj
00
Wi
oo
La aplicacin w = w(wi) tiene dos puntos fijos w\ = l )
= oo. Entonces, al igual que antes,
- 1).
w= 1+
l f
2 +
- 1), encontramos k = 1
1 /
1
U + 2 V
z
z2 + l
2z
3
I = - t -> W = if utilizando la
w %
w+ i
3
e
T.'
W\ + -I
/3
a
4
Diferenciando w como una funcin compuesta, llegamos a
dw
dz
dw dw\
dw\ dz
dw\ dz
dw (-i
V4
dz
mmikM:::
Rfsi H ,
'
MXQ^U <vi W V; ,;
de donde
du; |
VJ_
arg
"TT =
arg iy
arg wj
+3
I",
Wl + -l
4
4wx - 3
7T
7T
- x = 2
2
2z2 + 3z - ;
2z2 + 3z + 2
. i i
1 -f a
_- 1! =
=
a
1z - a,
l
e -
1- a
- i %=
e i et f .
2) Ya que z
z2 4- 2 iz + 1
. z2 + 2iz + 1
%-z2 +
iz2 + 2z + i'
2iz-l
i
3.
iy % i w0,~entonces
0,
3.
,3.
+ 3i
4
Diferenciando la funcin w respecto a la variable W\, hallamos
dw
dw i
24 ie
;\2'
(4ti + 3 i)
dw f
dw ( - i
24ie
2. *
V4
V4
= - - +0.
= t e , arg
2
dwx
3
dwx
-36
Por otra parte, como vimos en el problema anterior,
dw ( - i
Vi_
arg
dw i
arg T;
\> a r S w i ( \ ) ~7r
arg wx
dw ( - i
\4 ,
arg
dw i
y eligiendo argw\ f ~
V 5
f ^ J ~~ a r g wx f ^
7T
7T
^taTI v; ; I ? ?. 3; -,.:
^ ir), obtenemos
6 = 0.
Finalmente,
4wi 3
w =
4u>i + 3 i
-2
+ I)~3i
+ ^
2 z2 + 3z + 2
+3
* v^
= i. Por consiguiente,
W2
Z +
'^'i'i-^v^'Hvtir
Consideremos la funcin
w2 = Vemos que wx = -Rl/a
wx + R1/a
wi -
R/a'
w2(R1^ai) = -(1 + )2 = i- Por consiguiente, la funcin w2 transforma el semicrculo dado en el primer cuadrante del plano w2.
Por eso la aplicacin buscada es
w w2
z\a
+
_
l/a \ 2
R
R\/a
,l/ __ Rl/a
R l a transforma la regin D
2) La funcin wx =
2l/a
z
l/a
Rl/a \ 2
+
Rl/a
^ - iii yj
el cero y el punto z\ en oo es
V3
2 ~ 2 _
v^
i ~
i_
+
2z-V3-i*
2)
i i' i
la lunula
wi _
2z
2z
e'^Wi,
Fig. 53
Fig. 52
Fig. 51
w = w2 =
2 z +
V3-i\3
2z + sft> - i
3) La funcin wx ~
7=
transforma la lnula D 3
2z - V3 -
en el interior del ngulo representado en la figura 51. La funcin
buscada w es
ar
3
(2z +
V3-i\3
\2z V3 i )
4) Al igual que en los casos anteriores, los puntos extremos
I
: 5?r
de la lnula Z>4 (fig. 52) son zx - e 6, z2 = e 6 . La funcin
auxiliar
es la misma. Como
3Wl)
i
V5
wi(2) = ~ - /
,
i
u>i(~) = 2
iV3
w w2
= t
V2
z-V3-iJ
"
- ' l '
'
P/i
J2
Fig. 54
Fig. 55
2 - V2(l - i) _ y/2-1
+ i _ ( V 2 - l + )2
2 - V 2 ( l + ) ~ y/2-1-i1 - t ~ ( V 2 - 1 ) 2 + 1
2 - 2V2 + 2i(\/2 1)
-1
4-2V2
\/2
V5
Vemos que el punto z = 2 se transforma en un punto de la
bisectriz del segundo cuadrante. Como
w^ly/2)
2V2-V2(1
-i)
_2-(l -j)
2V2. - y/2(l + i) ~ 2 - (1 + i) ~
1+
l^i:
y * * l av
. , , ,
....
<
f
l'ku
Sirf i^v
>
' y
.t-tn?.'
rea
positivo y la bisectriz del primer cuadrante en el plano w2. Es
evidente que la funcin buscada es
w
\z-V2a+i)J
A y,
. : ..'....
z+ 1
^ti'il i. i a(f'*'*-
-.5
t
i >
I'
Si! yf
V !
'
~1 = az\ + b
1 = az2 + b.
Z2-Z1
y b =
Zl - z2
. As pues, el
r
Wi + 1
1 u/i
az + b +1
1 az 6
z2 - Zi
z2 - Zi
z+ R
M Solucin. La funcin Wi transforma el plano con
z R
dos cortes en el plano con un corte a lo largo del semieje real
positivo. Por consiguiente, w - y/w = y ^
buscada.
es la aplicacin
w2 = e 4
transforma el plano w\ con el corte descrito en el
plano con un corte a lo largo del semieje positivo, y la aplicacin
*
fl"
H1
Solucin. La fimcin
z2 transforma dicho semiplano en el
plano con un corte a lo largo del segmento [~h 2 ,0]. Tomando w2 =
w\ + h2 obtenemos una aplicacin del plano
con el corte indiA
'
k = *9,
9 G M, de donde hallamos
Wi =
z3 - k3
z k
La aplicacin buscada tiene la forma
2
(zp-kpV
1
(1)
l
Dado que w(0) = 0 =
- - e Im > 0, entonces 3 = -.
4
2
Sustituyendo este valor en la frmula (1), tras una serie de
transformaciones sencillas obtenemos
z + k
kz
u
w= -1
=
(z - k)2 '
A zk
Derivando w, tenemos
~/32
'/ \
(z
k)
u-i:-:'. " ;
A
A partir do la condicin w (0) > 0 se deduce que - > 0.
Solucin. El cambio 2 = Ra
en la frmula de w produce
1 /
/ r io i 1 \1
,
w = u + tv = -{ Re
e
1 =
+
cosa+
sena
=K( s)
( "^) )-
Consiguientemente,
1 /
1\
t = - I R+ 1 cosa,
i\
sena.
2v
R-
1 '
(2)
Av
Aw
(i)
R -
R -f-
2 V
RJ
sen a
2 \
i i i R)
i
M'V
I..I-"
mm
elevando al cuadrado ambos miembros de las igualdades obtenidas y sumando miembro a miembro los resultados, obtenemos
cos 2 a
sen2
(3)
R + l / R
>
1. De un modo anlogo
w\- 1.
v>i
' 5
W\
."
. i - V i? +>
V/J*
2 ,
dw(oo) _
/ +
z
\
= -e
dz
c \
Vz2 - c 2 / Z00 c
As pues, la aplicacin buscada es
arg
"57"
.1 _
W = (z +
c
2) Realicemos una aplicacin de semejanza tal que los
focos de la elipse sean los puntos ( - 1 , 0 ) y (1,0). Obtenemos
t/i
Hallemos el radio r de la circunferencia que resulta de aplicar la
funcin de Zhukovski a la elipse dada:
u2
VVa^&V
Sea a =
VVa^T&V
ecuacin * = ( r +
a + \ f a
r z r
a+ b
Ahora utilicemos la aplicacin inversa de la funcin de Zhukovski
haciendo w2 = wx + Jw\ - 1. Entonces, la funcin buscada w es
w? =
I2
a-Yb
a -f b
a2 - b2
a2 b2
-1
Vfltt
'vi'
SHUt:
'
iIX
3) Utilicemos la solucin del problema anterior. Transformemos la regin dada en el semiplano superior del que se ha
eliminado un semicrculo unidad. Teneirios:
Wi
z + \ z1 - (a2 - fr2
a + b\
Ahora vemos que la relacin entre w\ y w se establece con ayuda
de la funcin de Zhukovski:
w=
1
- I
2\
w-i
M =
wj
a + fe
- hi V
(a2 - b2) ).
z +
K G C es arbitrario.
a2
/ 2
+ fc
puesto que
1
2
7T2
= a
r +
Por consiguiente,
-1
a2-b2
a2
k2
Wfc2
a 6
a 2 + fc2
a 2 62
H=
a- b
a2 + k2-
V&TW
sk; ::<
K-
-|1*tH|l'. i-
..
'.<,.' ..-v .
-l, - (a + - |
2 V
a A
< - l y el punto ~1
1
1
- 0 tenemos - I x -f
2 V
x
oo,
+0, - ( x +
+oo. Por tanto, en el
2 l
x
caso considerado, la funcin de Zhukovski transforma la regin
dada en todo el plano w con cortes a lo largo de las semirrectas
f-oo, l (a +
1 y [ - 1 , +oo).
> >Vi
. . . . v . , ' .<
A< i
.. . .<<
>.<> v
<">*>>
= i ^ +
transforma
w =
\ <
>'>y
JStt
%p
a -A v ^ s s - ^ s
m J2)
Wi
1
z H
z
- r U +
(I
' X ' V
I'
.. .
1
1\
Solucin. La funcin de Zhukovski tui = - z + transforma
2 V
el conjunto dado en todo el plano
con un corte a lo largo
(
1 /
1\\
,
\(
\\
de la semirrecta ( -oo, - { a + . E n efecto, - U + )
V
2 \
aJJ
2 \
aj
r r
\a>= 1, z = x
- o o cuando x -+ 0, y la circunferencia
7 {z E C: \z\ = 1} se transforma en el corte a lo largo del
segmento [1,1], As obtenemos el plano con un corte a lo largo
de la semirrecta 7 ' = ^ - 0 0 , ^ ^a +
^ . Ahora consideremos
1 /
1\
la funcin w2 =
I a + - j que transforma el plano w\ con
2 V
/
su corte en todo el plano w2 con un corte a lo largo del semieje
real negativo. Con ayuda de la funcin w3 = - w 2 obtenemos
un plano con un corte a lo largo del semieje real positivo. Por
consiguiente, la funcin buscada es
w = y/w =
J -
1
a+ a
\z +
) transforma el crculo
''MMwmk
^v*
: ,
i) +
a2
+ )
Solucin. La funcin ^ =
transforma el conjunto dado en
el circulo unidad con dos cortes a lo largo de los segmentos
[ - 1 - a
(a2 + -I'
. +00
1 /
1\
funcin w3 = w2 + ~ [ a 2 + ~ j transforma el plano
. La
con el
hi = - 1 - h +
1 -h
2(1 - h )
(2-hf
2(1-h)
2(1-h)'
4(1 - h)
4(1-h)
^4(1
u> = 1 +
4(1 - h)
\i/
-
4(1-/1)7 2 V
-h)J
h2
Wi
z
wi /
e'L
i
w+
2(1 - h)
2(1
-h)J'
;;||i||g|
2(1 - h)
W\
V2
JL
1 =
T+l
y/2
\/Z2 4-1 - 2
y/2
'z2 + 1 + Vz2 - 1
V2
V2
w2=wi
w3=w2+h2,
+ih
Fig. 57
w=V=V(z~a)2+h2-
i u^y m m j; j .i ^VM^H^
^WMM
U {z G C: b ^ Re z < +oo, Im z = 0 }
de la frontera se transforma en el segmento
'
-he2, lmw\ = O j
eCO<
= o|.
Segn el principio de simetra de RiemannSchwarz, la funcin W\ puede prolongarse analticamente en el semiplano inferior
a travs del segmento L, con lo que el exterior de la cruz del
plano W\ se transforma en el exterior del segmento
l =
e C
-\fa
^ Re w\ <
, Imtui = O j .
w =
W\ + Va 2 + c2
wx
z2 + c2 + Va2 + c2
(1)
2 ( - V a 2 + c 2 +_a)_
V P T ? + Va 2 + c2 ~ '
V^ + ^ +
_x
V ^ ?
1 =
z2 + c2 + O +
donde
a =
OTv^i^VIII M
| -1 - -.
o^T?-
/3 =
Va2 + c2 + Vb2 + c2
:
. . . . ..
z2 +
a2 +
1
i,
del eje
1
2 \
b)
w =
z+)+(o-l) +
a-f
U - -
a+l)2+(b~)2~
a2+-i 1 + f W - ^
H-VU/W^
a2
1
z-
J
l y ^ ^ ^ a
/\
im^rmrr^^A
fli^-Fig. 60
Fi-60
13 = \ (wi + )
transforma
z +
Vz2
l,
WI(OO)
\J)
^^^
OO,
J ^ K ^ ^ ^ ^ S R
^ip^
*
j
w2 =
(e~iaw1)7r'a
r
transforma la regin dada del paFig.
61
Fig. 61
no w\ en el semiplano superior sin
el semicrculo unidad superior. A su vez, la funcin de Zhukovski
1/
1 \
= ^ (
) transforma la regin obtenida en el semiplano
superior del plano
de manera tal que a la semirrecta (-oo, A]
le corresponde la semirrecta [1,+oo). Utilizando el principio de
RiemannSchwarz vemos que la funcin
transforma el exterior de la rama derecha de la hiprbola en todo el plano con
un corte a lo largo de la semirrecta (1, +00). Por consiguiente, w = y/W3 1 es la aplicacin requerida. Tras una serie de
transformaciones sencillas obtenemos
ir
2 (tc-Q)
z 2
(e
ia {
z + A/22 - 1
2{%~a)
Wmmmmi
i?
LtaiUHJj
a = arctg - .
a
Segn el principio
de simetra de Riemann
Schwarz, esta misma funcin transforma conformemente toda la regin
dada en todo el sector
a
r<
mm
ffitttliilfHj^.
TT a.
Blsili
wlllil^
Fig. 62
z+
(e~iawi)* -2a
Vz2-C2
jr
7x-la
/TT
= 2~
b\
w i e
donde
a arctg
p =
2 arctg
c =
a
b
sen a -, c
1 hemos tomado eos a =
c
c
sen2 a
lf
Entonces a = arctg - .
Cb
Solucin. 1) Sea
w = u + iv =
+ e
+ e
r (e*(cos y + sen y) + e
x (eos
y - i sen y)) =
= eos y ch a; + i sen y sh x.
Tenemos u eos y ch x, v sen y sh x. Si x = C, entonces
2
2
U
V
u = eos y ch C, v = sent/shC,
+ . = 1.
ch C
sh C
Hemos obtenido una familia de elipses confocales con focos en
los puntos Re z = 1.
Si y C, entonces
2
2
^
IT
V
u e o s C c h X,
s e n C s h X,
-T
1.
ch 2 C
sh 2 C
Las rectas y = C se transforman en una familia de hiprbolas
confocales con focos en los puntos Re z = 1.
2) Para y = 0 se tiene u ~ ch xf v ~ 0, y para y = TT
se tiene u = - cha:, v = 0. La funcin w = chz transforma la
franja G en todo el plano con cortes a lo largo de las semirrectas
( - 0 0 , - 1 ] , [1,+oo).
3) Dado que iu(0) = 1 y w(7r) = 1, el segmento [0, 7r] se
transforma en el segmento [1,1]; ntese que al mover un punto
de 0 a 27T el punto imagen se desplaza de 1 a - 1 . Los puntos
imgenes en el plano w se encuentran, segn la regla del recorrido,
a la izquierda, es decir, pertenecen al semiplano inferior. Si z = x
y x
oo, la semirrecta (oo, 0] se transforma en la semirrecta
[1, +oo), mientras que si z = x + iit, x oo, la funcin
w(z) = - ch ai tiende a - o o y la semirrecta 7 = {z 6 C: Re z ^ 0,
Imz = 7r} se transforma en la semirrecta (-00, 1]. De acuerdo
con la regla del recorrido, la semifranja D se transforma mediante
la funcin w ch z en el semiplano inferior.
. ;
1/ '
^
- i
s'
M * , ) .
" V
V i l
't-vT
-VK \
i-
fr',.
jrY',
S C i j * ' . ^ : i:
v. Xs
x.;
Xs :.
"X'o
...
. . .
(z
1)tt
' ir
e~lz,
w2 =
Solucin. La funcin W] =
en la franja vertical G =
7rmi
Fig. 65
As pues,
z 2
i.5?
ID 3 2-2.
fc.
ij]
m
J?
-Mlil.
- .-A
W.
f
i' <>
--J
, I K) .
^Wrr-'''
Solucin. La aplicacin requerida w se obtiene de una composicin de aplicaciones elementales: w\ = nz, w*i aut[,
\(
1 \
w3-chir
T
wo = - [ W2 +
y
=
r - / w =
Las transir2\
W2 /
- ch 2tt
maciones sucesivas estn representadas en la figura 67,
mmmm
.-r-iii I K M l - y , } ;
n*
uJ
'
V : ' 1
.'.'I
/'Jl
r-::
<:>
^ Solucin, La funcin w =
2+ i
:
% %
transforma el conjunto G en
i-V i '
y.
w2
< Re w2 < ^ j .
Tomando
* = * = >g
- 4J =
tg,r
i(7^)
Fig. 68
Haciendo z = 3i en la expresin de
w 3 (-3) = 0. Derivando w$(z), hallamos
obtenemos
argtj(-3)=
Tomemos ahora w w(w3) y exijamos que se cumpla la condicin
i
de normalizacin arg w ( - 3 i ) = . Diferenciando w respecto a
3
la variable z, encontramos
dw
dw dw
dwi3
dz
dw$ dz
dw(z)
dw(wz) i
dw3(z)
arg
arg
+ arg
dz z=-3
dw- 73=0
dz
z=3i
o bien
7r
,
7T
,
7T 7T
3 = arg w ( 0 ) 4 - - , de donde arg w(0) = - - x
aiBiai;
I.
. A
^ 1 ' "'
mmMmm^m
I
::
< *
argw'(O) =
7T /Z+3
. jw
-iH
w = e 6 W3= e 6tg
Z-l
y3 i
7c ( z + 3i
-T-tgT
z-l
w =
w2 - eos irh
w2 + 1
1 + eos trz
es la aplicacin buscada.
C'K^mmi
con dichos cortes en todo el plano con un corte a lo largo de la
semirrecta [0,+oo). Por consiguiente,
eos 2 z + ch 2 h
= \f~2
eos 2z + l
es la aplicacin buscada,
Solucin. Tomando i * = -
0,\
con cor
. La fun
fun
Y [ y 5] La
cin
=
transforma el conjunto G en la ^anjajerU
con
cortes
a lo
d
cal D = {w2 e C 0 < Re w2 <
n 2 7 r l v tr , vy la funcin to3 = eos w
los segmentos 0,
y
a '
transforma la franja D en todo el plano con cortes a lo iarge
de las semirrectas
(-OO,COB^J
[eos-f,+OO
j . Tomandc
es la aplicacin requerida.
mmttmmm
ii, un; f: Sri^^; mit i .: iS :Vl *
i
* '.1
< ^ .
I ' -
' \
MK
.i '
. .
Ejercicios
que si e punto 2 recorre una circunferencia y = { z
entonce, el put =
3. HaUar ,a taagen de,
w =
_ 2
primer
1 ^
cuadrante
^ ^
, ^
^
^
|z = 2}
^ ^^
i+z
R
4- D C m 0 S ' ; r q u e 13 f U n d "
" = ( r ^ l ) 2
*
biunvoca y confo^e ,a
regin G = {z C: |z| < 1, I m z > 0 } e .a regln D = { w c I n . > 0 }
6 C
< 1}
m e d an t e
la aleacin
1 -Az
1-z
m e d i a n t e )a
z~ + 16
A
- 16 A
P C R p ^ n i
t
K e * >
m
^ 0} mediante la
z + i
u>
z3)2
z3f
- ai
10. Hallar las i n a n e s de las regiones indicadas mediante las aplicaciones especificadas
a)
G = { * e C
|*|<2, I m * > l } ,
U-y/3-iJ
w=
'
"r iv i .
2z + V3 + i
\2z
+
11. Hallar la funcin potencial que transforma de modo biurvoco y conforme el interior
TT
del ngulo 0 < arg z < en todo el plano complejo w con un corte a lo largo du
ir
la semirrecta arg w = .
4
12- Hallar la aplicacin de una hoja y conforme que transforma el interior del ngulo
0 < arg (z - i - 1) < ~ en la regin G = {w C: Kew > 0 } .
13. Hallar la funcin biunvoca y conforme que transforma el interior del nguU
TT
TT
< arg (z i) < en el semiplano superior.
IT
TT
14. Hallar la funcin biunvoca y conforme que transforma el interior del ngulo
w = 2z + 1 3
b) w = iz + 4 ;
a)
c) t = J2r -H 1 2;
d) w w{ = a(z Zi) (a ^ 0);
e) w az + b.(a ^ 0).
19. Para la funcin UJ
z - Zi
=
z - z2
mmmmBMmf.
21. Hallar el centro w0 y el radio R de la circunferencia que es la imagen del eje real
(Im Zi
0) mediante la funcin w =
Z Z\
z ~ z2
+ mnj .
(a > 0);
32, Transformar cn el semiplano superior el exterior del crculo unidad con cortes a lo
largo del segmento [ - a , - 1 ] y de la semirrecta [1, +oo), donde a > 1,
33. Transformar el crculo K - {z G C: |*| < 1} con un corte a lo largo del segmento
[a, 1], 0 < a < 1, en el crculo Kf = {w G G M < 1} de forma tal que tu(0) ^ 0,
w'(0) > 0. Hallar w'{0) y la longitud del arco correspondiente al corte. Para qu
valor de a la imagen del corte es una semicircunferencia?
34, Transformar el crculo K ~ {z C: \z\ < 1} con cortes a lo largo de los segmentos
[0,1], [ - 1 , -b] (0 < a < 1,0 < b < 1) en el crculo Kf = {iv G C: \w\ < 1} do
forma tal que w(0) 0, w*(0) > 0. Determinar w'{Q) y las longitudes de los arcos
correspondientes a los cortes.
35. Transformar el exterior del crculo unidad G = {z G G \z\ > 1} en el plano w
w1
con un corte a lo largo del arco arg
- (3 (0 < \(3\ < TT) de forma tal que
w +1
[r\,r2l
38. Determinar las imgenes de los conjuntos siguientes mediante la aplicacin w aresen 2:
a) el semiplano superior;
b) el plano con dos cortes a lo largo de las semirrectas (-oo, - 1 ] , [1, +00) del cji
real;
c) el primer cuadrante;
d) el semiplano P- = {z G G Re 2 < 0} con un corte a lo largo de la semirrecta
(-oo, - 1 ] del eje real.
39. Hallar las imgenes de:
a) la red rectangular x = C, y = C;
b) la semifranja P - {z G C: 0 < Re z < ir, lmz> 0};
c) la franja G = {z G G 0 < Re z < TT};
-> i
:
d) la franja D =
e) la franja
>
Respuestas
G C: O < Re z < - j ;
= jz C
mediante la aplicacin w = tg z.
40. Hallar las imgenes de:
a) la franja P = {z C 0 < Imz < TT};
b) la semifranja P' - {z C: Re * > 0, 0 < Im z < TT}
mediante la aplicacin w ~ cth z.
41. Transformar la regin comprendida entre las parbolas confocales y A(x + 1),
y2 = 8(x + 2) en el semiplano superior
42. Hallar la funcin w w(z) que transforma la regin limitada por la circunferencia
7 = {z G C \z\ = } y la recta de ecuacin Imz = 1 (el semiplano P ~ { z G C :
Imz < 1} sin el crculo unidad):
a) en el crculo j f i f = { t i ; G G | u > | < l } con las condiciones de normalizacin
=
1
2
, arg u/(3i) =
Captulo 2
w
j -
b) senfl
2. w
7T
10. 5 n
z eC: Rez =
45.
46.
47.
48.
1. a) i;
0 ^ Imz ^ hi
~ "
~
f - 2 sen eos x + sen a;
1
senn
Z1Z2 - Z2Zi + z{Z2 - Zl)
12. a) z* =
Z2-Z1
22 - Zl
(z - Zl).
b) z - z i
Z2 -
y de la semirrecta
2
en el semiplano superior
Transformar en el semiplano superior la regin limitada por las circunferencias
71 = {z G G \z - 1) = 1}, 72 = {z G G \z +1| = 1} con un corte a lo largo de la
semirrecta 73 = {z G G 2 ^ Re z < +00, Im z = 0},
Transformar en el semiplano superior la regin limitada por las circunferencias
7! = {z G G |z - 1| = 1}, 72 = {z G G |z - 2[ = 2} con un corte a lo largo del
segmento 73 = {z G G 2 ^ Re z ^ a, Im z = 0} (a < 4).
Transformar en el semiplano superior la regin limitada por las circunferencias 7! = {z G G \z - 1| = 1}, 72 = {z G G |z - 2| = 2} con dos cortes a lo largo de los segmentos 73 = {z G G 2 C Rez ^ a, Imz = 0} y
74 = { * G & ^ Rez < 4, Imz = 0} (a < &).
Transformar en el semiplano superior la regin limitada por las circunferencias
7i = {z G G |z - 1| = 1}, 72 = {z G G |z +1| ~ 1} con un corte a lo largo del
segmento 73 = {z G G Rez = 0, - a < Imz < 5}
0, 3 ^ 0).
16. z\ = - 1 , wi = 1.
La c i r c u n f e r e n c i a de r a d i o R y centro en el punto a;
19. a)
b) ! I ^ r ^ e lale de, origen de coordenadas y for m a un *n g u,o
c)
con el eje real positivo;
d) el eje real;
1\ 2
I1
1
4'
e)
g)
la elipse + - j
-Y
-
la parbola y1 = 2x + 1.
20. a) Im z 2 2;
1
1
b) Im - = - ;
z
2
c) z 2 + 2 2 = l ;
d) Re (z + 1) = \z\;
e) |z + Rez = 1.
2 1 . a) El anillo de radios r y R y centro en el punto zo;
b) el semiplano derecho incluido el eje imaginario;
c) la franja comprendida entre las rectas x = a y x = 6;
d) la regin comprendida entre las circunferencias {x - l) 2 + (y
y (x- 2)2 + (y - 2)2 = 8;
e) el semicrculo unidad derecho con centro en el punto z ~ 0.
22.
= 12 + 16z.
c) V2;
d) para ningn a .
25. a) - + i;
1 1
3 0 . b) El segmento j^- ^J .
3 1 . 1) La circunferencia u2 + v2
= 0 si c ^ 0; el eje u = 0 si c = 0;
2) la circunferencia u2 + + 2
c
0 si c ^ 0; el eje v = 0 si c = 0;
3) la circunferencia
1\ 2
1
v 4- = -;
2
2'
- ~J
4) la semirrecta arg w ~ a;
1
5) la recta v -;
2
'': ''':r'
hi'v^S
.>!'*"i^'
'M
X^iljS
6) v = -\u\;
7) el semiplano u > 0 sin el crculo u + v ~ u < 0;
A
9) la circunferencia x2 + y2 - - = 0 si c ^ 0; el eje x = 0 si c = 0;
10) la circunferencia x2 + y2 + - = 0 si c 0; el eje y = 0 si c = 0.
'
c
g) no existe;
h) no existe;
i) no existe,
3 6 . a)
b)
c)
d)
Continua;
continua;
discontinua en todos los puntos;
continua en todos los puntos salvo en z = 2;
7T
/ T T
42.
Captulo 3
1. La lnea Re w ~ 4 eos ip(2 eos ip + 1) - 3,
Im w - 4 sen <p(2 eos +1), 0 ^ y? ^ 27r.
3 . El crculo jw| < 1.
5. El crculo |u/| < 4 .
6. El semiplano Im w > 0.
7. El crculo |w| ^ 1.
8. El crculo |i| ^ 1.
10. a) Imt > 0;
b) I m w > 0;
c) Im w < 0.
11. w =
e'z3.
12.
-i(z - 1 - i)2.
13.
l) 2 .
14. w
1 + iV3
(z - a)\
15. w ~ -iz2 + 1.
16.
w = (l +
i)(l-2).
17. to = (2 + i)z + l - 3 i .
18. a) z0 - - + 3i,0 = 0, k = 2, w 4-1 - 3i = 2(z + 1 - 3i);
b) zo = 2 + 2i,0=j,k
= l,w-2-2i
i(z-2- 2 i ) ;
s , I .
1 :
i.
<
,'i
r/V
Vi-
Z\
= A.
ix/
\ i
2 0 . w = k exp < - ( 7r -f arg ) i ?
, donde A; > 0. A las semirrectas
12 \
zi}
z-z2
que salen del punto w = 0 en el semiplano Re w > 0 les corresponden
en el plano z los arcos de circunferencias que se encuentran dentro del
crculo \z\ < 1 y pasan por los puntos z\, z2. A las semicircunferencia
con centro en el punto w = 0 que se encuentran en el semiplano Re w > 0
les corresponden los arcos de circunferencias de Apolonio respecto a los
puntos z\ y z2 que se encuentran dentro del crculo \z\ < 1.
G(*
21
22.
- ElZli
R ~~
z2 z2
2jlm z2\ '
z - a
R2eCia T
a) w = XI
R1 az'
za
==
b) 2
2-az'
R
bw
R~
z a
/ donde a es un nmero real y !<x| < R.
c) w
R2 - az
w- a
23*
1 aw
,i<p
a =
-
ZlZ2\
J(l
1 -
Z\Z2 '
Z\\
-
\Zi\2)
az \ + V i - a 2
24. u> =
T = =
,
(1 - Vi - a2)z -a
27. a) lm| <
z2 - Zj
(1 -\z2\2)
1 - V i - a2
p= 2
&
^
J^
x&m
\vM4b
zmse3
'
t ' V h /
v'.(?
. .j.
r.r.
-;
7b
el segundo caso, su interior se transforma en el exterior de una
hipocicloide acortada.
28.
z-l
w =
z-f 1
2'
M - 1
W + 1
29.
2 p\2
+ (1 + *)2/3 y)
(1 - z f * - (1 + Z f
30. w =
(1 - zf3
1
3'
3 2 . w; =
33.
1
w +
4a
1\
4a
/
z ++ = ((1i +Ta)^
zJ
(1 - a)
2
;
w
(0)
- |rri ' =
( U a)2
4r-
lonsitud
34. w+
' n
a + - + b+ a
b
//(0) =
4
1
[ a+ V
a
Las longitudes de los arcos que corresponden a los cortes son iguales a
'
4-(,
l)
6 +
2 arccos
+
(
6+
l) ( i)
-4-(q
, 2ir 2 arccos
l)
(t
0+
+
6+
( s) ( i)
35.
zen
w- 1
ze17
w+1
3 <0.
ieiM
-f
, donde 7 = a si (3 > 0, y 7 = a 4- ir
ie-^2
tP).
37. a)
b)
c)
d)
e)
d) en la franja
7T
v > 0;
< u < 0.
41. w
42. w = -
Z+t
"
/ i
+ 2 - %
1
Z+t
4
f ^
e z-* + 2 + %
43. w =
jcos irz -
COSTT/II
: :>' - v y<)n<4
feSlf
l A:
IhU l xt< i i ^ h; i; ^,. . .
^cos 2z + ch 2/t]~
eos 2z + ch 2h2'
1
sen 7xjz
1 + sen 7xjz'
1 + eos 47xjz
eos 47xjz eos 47r/a
cos47r/z - eos 47T/6
eos 47xjz - eos 47r/a '
e2t//3
e2*/a
_ e2ni/z
_ e2ni/z '
M.
j.*
<
ndice de materias
A
adherencia 32, 96
ngulo entre dos curvas en el punto del
infinito 175
anillo 19
conmutativo 19
unitario 19
aplicacin 15
biyectiva 17
continua en un conjunto 42, 46
en un punto 42, 46
en el sentido de Cauchy 45
de inversin 181
definida paramtricamente 17
discontinua 42
- elptica 259
hiperblica 259
inversa 17
invertible 17
inyectiva 16
loxodrmica 259
suprayectiva 16
uniformemente continua 49
aplicaciones mutuamente continuas 51
Apolonio, circunferencia 86
argumento de un nmero complejo
57
Arqumedes, espiral 85
automorfismo homogrfico 184
B
Banach, espacio 22
Bernoulli, lemniscata 124
bola abierta 25
cerrada 25
campo 19
normado 20
ordenado 59
Cantor, curva 112
, teorema 36, 50
Cauchy, criterio 99
CauchyRiemann, condiciones 143
cicloide 127
acortada 128
alargada 128
crculo 183
circunferencia de Apolonio 86
cisoide 225
complemento de un conjunto 11
componente conexa 112
composicin de aplicaciones 17
conjunto abierto 27, 95
acotado 26
cerrado 30, 96
compacto 40
en un espacio mtrico 35
conexo 40
abierto 97
cerrado 97
continuo 112
de puntos de una curva 111
lineal 112
secuencialmente compacto 35, 101
totalmente acotado 36
vaco 7
conjuntos disjuntos 10
iguales 7
isomorfos 18
criterio de Cauchy 99
de compacidad secuencial 101
de diferenciabilidad de una funcin
de variable compleja 142
cuantificador existencial 5
universal 5
cuerpo 19
normado 20
curva cerrada 109
continua 108
contrariamente orientada 110
de Cantor 112
de Jordn cerrada 109
simple 109
suave 109
a trozos 111
orientada 109
D
derivada 135
de una funcin vectorial 108
desigualdad de Lagrange 154
dimetro de un conjunto 26
diferencia de conjuntos 10
diferencial de una funcin 141
Dirichlet, ncleo 72
distancia cordal 93
entre conjuntos 26
distancias equivalentes 52
dominio de una aplicacin 15
E
ecuacin de divisin del crculo 74
elemento inverso 18
neutro 18
nulo 19
unidad 19
entorno abierto de un conjunto 28
de un conjunto 28
de un punto 46,113
esfera 25
de Riemann 61
espacio de Banach 22
mtrico 23
completo 25
conexo 40
topolgico 95
vectorial 20
normado 21
espacios mtricos homeomorfos 51
espiral de Arqumedes 85
estructura matemtica 18
exterior de un conjunto 30
extremos de un segmento 96
F
forma exponencial de un nmero complejo 57
normal de una aplicacin homogrfica
con dos puntos fijos 259
trigonomtrica de un nmero complejo 57
frmula de Moivre 58
frmulas principales de la proyeccin
estereogrfica 62
Frchet, teorema 37
frontera de un conjunto 34, 96
funcin C-diferenciable 142
R 2 -diferenciable 142
acotada 107
analtica 139
en el infinito 145
en un conjunto abierto 145
arbitrario 145
en un punto 145
en una curva 145
en una regin 145
cerrada 145
compleja 102
continua en sentido general 108
en un punto 103
de corriente 152
de una hoja 103
de Zhukovski 206
diferenciable en un punto 134
discontinua 103
exponencial 199
general 205
hiperblica 212
homogrfica 174
implcita 17
lineal 140
mongena en un conjunto 139
en un punto finito no aislado 139
multiforme 195
potencial 192
quebrada 96
trigonomtrica 211
vectorial diferenciable en un segmento
108
G
grfico de una aplicacin 15
grupo 18
abeliano 18
aditivo 19
multiplicativo 19
H
Hausdorff, teorema 37
hiptesis de induccin 8
homeomorfismo 51
homogeneidad 140
i
imagen de un conjunto 16
de una aplicacin 15
interior de un conjunto 29
interseccin de conjuntos 9
isomorfsmo de un conjunto sobre otro
18
homogrfico 183
J
Jordn, curva 109
, cerrada 109
, teorema 110
L
Lagrange, desigualdad 154
teorema 154
Landau, smbolos 21
latitud 62
LebesgueBorel, teorema 102
lemniscata de Bernoulli 124
ley del tercio excluso 6
leyes de Morgan 11
limite de una aplicacin 41
en el sentido de Cauchy 44
de una funcin 103
de una sucesin de nmeros complejos 97
de puntos de un espacio mtricc
24
de vectores 21
parcial de un sucesin de nmeros
complejos 100
de una aplicacin 41
de una funcin 103
I
longitud 62
I
mtodo de coordenadas 12
I
de induccin matemtica 8
I
de reduccin al absurdo 6
I
mtrica 23
I
esfrica 93
I
inducida 34
I
mdulo de un nmero complejo 54
I
de una regin doblemente conexa 2m
Moivre, frmula 58
I
Morgan, leyes 11
I
N
norma cbica 21
de un espacio 20
de un vector 21
eucldea 21
octadrica 21
ncleo de Dirichlet 72
nmero complejo 56
conjugado 56
o
operacin de adicin 19
de inversin de una relacin binaria
15
de multiplicacin 19
orientacin contraria 110
de una curva 109
P
par ordenado 12
paralelo 62
parametrzacin de un segmento 96
de una curva continua 108
- en sentido general 112
suave 109
natural de una curva suave 110
parametrizaciones equivalentes 109
de una curva suave 109
parmetro 17
pares ordenados iguales 12
parte imaginaria de un nmero complejo
56
de una funcin compleja 102
real de un funcin compleja 102
de un nmero complejo 56
plano complejo 56
ampliado 60
ecuatorial 62
polo norte 62
sur 62
preimagen de un conjunto 16
R
rama principal 202
- uniforme 194, 202
recta numrica 23
recubrimiento de un conjunto 37
regin 41, 97
n-conexa 112
: ^j
V -^j^ =
mu
cerrada 41, 97
compacta 113
de uniformidad 192
infinitamente conexa 112
mltiplemente conexa 111
no simplemente conexa 112
simplemente conexa 112
respecto al plano complejo ampliado 110
regiones homogrficamente isomorfas
183
regla del recorrido 183
relacin binaria 13
funcional 15
inversa 14
restriccin de una funcin 16
en un conjunto 16
Riemann, esfera 61
, superficie 194
RiemannCauchy, condiciones 143
RiemannSchwarz, principio de simetra 282
SchwarzRiemann,
282
seccin primera de un conjunto 13
segunda de un conjunto 14
segmento 96
segunda componente de un par ordenado 12
proyeccin de una relacin binaria 14
semimeridiano 62
smbolo de conjuncin 6
de disyuncin 6
de equivalencia 6
de implicacin 6
de inclusin 7
de Landau o( 1) 21
0(1) 21
de negacin 6
de pertenencia 7
>
sistema de entornos 36
subconjunto 7
acotado 94
maximal 112
subespacio de un espacio mtrico 34
sucesin de elementos de un conjunto If
de nmeros complejos, convergente
97
de puntos de un espacio mtrico 97
; convergente 24
, fundamental 24
de vectores, convergente 21
, fundamental 22
numrica acotada 21
infinitsima 21
real 16
superficie de Riemann 194
101
de BolzanoWeierstrass 100
de BorelLebesgue 102
de Cantor 36, 50
de continuidad de la aplicacin inve
sa 44
de la composicin de aplicacin*
43
de funciones 105
I
de la imagen de un compacto 4l
107
I
de la norma 21
I
de la restriccin de una aplicad!
46
I
de las aplicaciones biyectivas 1 ( I
de una funcin diferenciable 13(1
de Frchet 37
I
de Hausdorff 37
I
de invariancia de los puntos sim i
eos respecto a una aplicacin 11
mogrfica 181
I
de Jordn 110
de la derivada de la composicin
135
de la funcin inversa 139
del cociente 138
del producto de funciones 138
de Lagrange 154
de Vite 73
de Weierstrass 107
del lmite de la composicin de funciones 106
topologa de un espacio mtrico 52,
94
definida por entornos 113
del plano complejo 95
transformacin conforme de primera especie 150
de segunda especie 150
en un punto 149
ndic
Prlogo a "Variable compleja
Captulo 1
Estructuras matemticas
Espacios mtricos
Conjuntos compactos
Espacios y conjuntos conexos
Captulo 2
Captulo 3
tyw.
-m
IfiC
! :
f.:
**
y..
; j.
x '
^T^lJrV^^^i^*:
WJJ"T1 .>'(';',;;
5. Funcin de Zhukovski
6. Funciones
trigonomtricas e hiperblicas
Respuestas
Indice de materias
i.
'.'.Y
'
206
211
303
311
EDITORIAL URSS
DE RECIENTE EDICIN
Sazhin
Surdn
Formacin estelar
Surdn
Chernn
Logunov
Los pulsares, los bursters, la fuente asombrosa SS433, las coronas galcticas, ION CW
la radiacin de fondo, los agujeros negros... stos son los temas fundnmentaU
abarca el presente libra. Se describen los procesos fsicos que determinan los fu
astronmicos observados, se analizan las nuevas hiptesis y modelos, y so pmft
en los misterios de la astrofsica que siguen inquietando la imaginacin del hon
En este libro, siguiendo las ideas de Minkowski, se ha demostrado que la esencia y el coi
principal de la teora de la relatividad radican en la unidad conceptual del espado-Hen
geometra del cual es seudoeuddea. Dentro de los lmites de la teora de la relatividad
principio de geometrzacin se ha construido unvocamente la teora relativista de la grav
la cual explica todos los experimentos gravitatorios llevados a cabo hasta la actual
proporciona ideas bsicamente nuevas sobre el desarrollo del universo y el colapso gravi
Dubrovin,
Fomenko,
Nvikov
Pietrshe,
Trfonov