Documentos de Académico
Documentos de Profesional
Documentos de Cultura
SUPERIOR
PROBLEMAS
RESUELTOS
A. K. Boiarthuk
Variable compleja
Funciones de
variable compleja
1ATEMATI/IKA
URSS
ISliK 22. Ih73, 22.161.6
La colección "AntiDemidóvich" que proponemos al lector abarca casi todas las ramas de las
matemáticas.
En "Variable compleja" se resuelven detalladamente casi cuatrocientos problemas de dificultad
media o alta. Este tomo incluye un repaso de las estructuras fundamentales del análisis
matemático, números complejos, funciones de variable compleja y un estudio detallado de
las funciones elementales en el plano complejo.
Reservados todos los derechos en todos los idiomas y en todos los países del mundo. Quedan
rigurosamente prohibidas, sin la autorización escrita de los titulares del "Copyright", bajo las
sanciones establecidas en las leyes, la reproducción total o parcial de esta obra por cualquier medio
o procedimiento, comprendidos la reprografía y el tratamiento informático, y la distribución de
ejemplares de ella mediante alquiler o préstamo público.
"x
\
Capítulo 1
Estructuras fundamentales
del análisis matemático
§ 1. Elementos de la teoría
de conjuntos y aplicaciones
1.1. Símbolos lógicos
En las matemáticas, en lugar de expresiones verbales a menudo
se utilizan símbolos adoptados de la lógica. Así, en vez de las
expresiones "para todo", "para cada", "para cualquier" se utiliza
el símbolo V, y en lugar de la palabra "existe", el símbolo 3 . Estos
símbolos se denominan, respectivamente, cuantificador universal
y cuantificador existenciaL Las frases "para todo..." y "existe..."
suelen ir acompañadas de ciertas restricciones, anotadas entre
paréntesis. 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 (conclusión) deducible de A.
Brevemente la expresión "A implica B" se denota en la forma
"A ^ B" (=> es el símbolo de implicación). El teorema recíproco,
si éste es válido, se escribe en la forma B A. Si el teorema y su
recíproco son válidos, las propiedades A y B son equivalentes.
En este caso se escribe A B es el símbolo de equivalencia)
y se dice: "Para A es necesario y suficiente B", o bien "A si,
y sólo si, B".
Si un objeto posee una propiedad A o una propiedad B,
entonces se escribe A V B , o también "A o B" {V es el símbolo de
disyunción). La notación A V B significa que es válida al menos
una de las propiedades A o B .
Si ambas propiedades A y B son válidas simultáneamente,
este hecho se escribe en la forma A A B, o " A y B" (A es el
símbolo de conjunción).
La notación ->A significa "no A", "no es válida A" (-» es
el símbolo de negación).
En lugar de la expresión "existe un único" se utiliza el
símbolo !, y la expresión "es igual por definición" se denota
mediante el símbolo
Toda proposición puede escribirse utilizando sólo símbolos
lógicos. En este caso la negación de una propiedad P escrita con
ayuda de cierto número de cuantificadores V y 3 se obtiene cam-
biando cada cuantificador V por 3 , 3 por V y la propiedad P
por su negación. Por ejemplo, sea f(x) una función numérica de
variable real. Entonces la propiedad de f(x) de ser continua en
todo punto de la recta numérica se escribe en la forma siguiente:
(V a € M) (V e > 0) (3 £ > 0) {V £ £ K, \x - a\ < 6):
\f(x) - f(a)\ < e;
mientras que la propiedad de f(x) de no ser siempre continua, es
decir, de ser discontinua al menos en un punto, se escribe como
sigue:
(3 a e R) (3 £ > 0) (V¿> > 0) (3 x € R, \x - a| < 6):
|/(¡c) - f(a)| >
Para demostrar algunos teoremas utilizaremos el método
de reducción al absurdo, haciendo uso, además, de la ley del
tercio excluso (ley de contradicción). Según esta ley la proposición
AV (A o no A) se considera válida independientemente del
contenido de la proposición A. Señalemos que A, es
decir, la doble negación es equivalente al enunciado inicial
1.2. Notaciones utilizadas
en la teoría de conjuntos
El concepto de conjunto se considera primario, por eso nos
limitaremos a la exposición de los términos y notaciones que
serán necesarios más adelante.
Los conjuntos se denotan mediante letras mayúsculas, por
ejemplo, M . La expresión a E M se lee así: "a es un elemento
del conjunto M" o "a pertenece al conjunto M". La notación
M 3 x se lee así: "el conjunto M contiene el elemento x". Si
el elemento x no pertenece al conjunto M, entonces se escribe
x g M, o bien M ? x. La expresión M ~ {a, b,c, } se lee así:
" M es el conjunto compuesto de los
elementos a,b,c, etc." Nótese que un
conjunto puede contener un solo ele-
mento, por ejemplo, M — { a } . Si cier-
tos elementos del conjunto M gozan de
una propiedad P, entonces la notación
M\ = {a £ M: a tiene la propiedad P}
se lee: "M\ es el conjunto de todos los
elementos a del conjunto M que tienen
la propiedad P". Por ejemplo, la nota-
ción M\ — {x £ R: x ^ 0} representa
el conjunto de todos los números reales
no negativos. Los símbolos E y 3 se Fig. 1
áenortúnansímbolos de pertenencia.
Al definir un conjunto mediante cierta propiedad, frecuen-
temente no se sabe de antemano si existen o no elementos que
posean dicha propiedad. Por tanto, es conveniente introducir el
conjunto que no contiene ningún elemento. Dicho conjunto se
denomina vacío y se denota mediante el símbolo 0 .
Sean M\ y dos conjuntos. Si cada uno de los ele-
mentos del conjunto Mi pertenece al conjunto M 2/ entonces el
conjunto M\ se denomina subconjunto del conjunto M2 (fig. 1).
En este caso se escribe M\ C Mi, o bien M2 D M\ y se lee:
"el conjunto M2 incluye al conjunto Mi". Los símbolos C y D
se denominan símbolos de inclusión.
Los conjuntos compuestos de los mismos elementos se
consideran iguales. Es evidente que Mi = M2 (Mi C M 2 ) A
(M2 C Mi).
wmmm:
m^ 1, l! .
SE*** ¿t
Wlt"I'i :>:Y"<
- . :.;! • <: :
.:> : •
¡i**^ 'A
: \ if.lt > > 5 > < >
< • <s : • \ • •
i * : J w < • • : * > ; ,y>í :
^ > > :: *
(1)
fc—1
Comprobando directamente, vemos que se verifica el le-
ma 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 =
Fig. 4
M \ M2 = {a: a £ M\ A a £ M2V.
La diferencia de los conjuntos
M\ y M 2 está compuesta sólo de los
elementos del conjunto M\ que no per-
tenecen al conjunto M 2 (fig. 5).
Si M\ D M 2/ entonces la dife-
rencia Mi \ M 2 se denomina también
complemento de M 2 en M\, y se deno-
ta mediante el símbolo CmxM2 (O bien
CM 2f si esto no provoca confusión).
Sean M\ £ exp M, M2 £ exp M . Fig. 5
Entonces son válidas las igualdades
C ( M i U M2) = C M i n C M 2 ,
(1)
C{Mi n M2) = CMi U CM 2 .
Si y £ CMi n CM 2/ obtenemos
2/ e C ( M i ü M 2 )
C M i (1 C M 2 C C ( M i U M 2 ) .
«M/'V/n
1.5. Par ordenado y producto cartesiano
de conj untos
Con ayuda del concepto de par ordenado se introduce una
operación más sobre conjuntos: el producto cartesiano. En las
matemáticas es de gran importancia el concepto de par ordena-
do (x,y) compuesto de
elementos de un mismo
conjunto o de conjuntos
M(x, y) distintos X e Y. La pro-
piedad principal de los
pares ordenados es la si-
guiente: dos pares orde-
nados (xíf yi) y (x2, y2)
se consideran iguales si,
X y sólo si, x\ = x2 e
2/i =yz> El elemento x
Fig.6 se llama primera com-
ponente (coordenada) del
par (x, y), mientras que el elemento y es la segunda componente
(coordenada). Al igual que el concepto de conjunto, el concepto
de par ordenado se considera primario.
r¿x)
\ •^m-fffm^' \ j
iL JrJ !I i!
x x
Fig. 7
El conjunto r 2 {y) =
{x e X: (x,y) € F} se de-
nomina sección segunda de F
mediante y (fig. 8). El conjunto
IMy) está compuesto de las
primeras coordenadas de to-
dos los elementos de T cuya
segunda coordenada es igual
a y. La sección segunda de T
mediante y es el conjunto va-
cío Vy <¿ r2.
A cada relación bina-
Fig. 9 ria F se le puede hacer co-
rresponder su relación binaria
«Sil
inversa V 1 según la regla
r(/)={(s,/(aO): xeDf}.
?;ltÉIÍl|
K-W.VU*^;, . , ..... ,
x i y .
Si Df — X, Ef = Y, entonces la aplicación /: X —>• F se
denomina aplicación suprayectiva (sobreyección) del conjunto X
sobre el conjunto Y y se denota mediante
X
sobre
- - - ,
IfiÉil
1.8. Función inversa.
Composición de aplicaciones
Una aplicación / = (X, Y, T) se denomina invertible si la relación
binaria T - 1 es una relación funcional entre los elementos de los
conjuntos Y y X. En este caso la aplicación ( F , X , F " 1 ) se
H
denomina aplicación inversa de f y se denota mediante / .
Una aplicación suprayectiva invertible / del conjunto X sobre
el conjunto Y se denomina aplicación biyectiva (correspondencia
biunívoca) y se denota mediante
X^Y.
En este caso, Vy € Y 3! x £ X: f(x) = y, considerándose que
r\y) = X.
El concepto de composición de aplicaciones tiene una
importancia especial en las matemáticas.
Sean /: X —> Y, <p: T —> X dos aplicaciones. La compo-
sición de las aplicaciones y? y / se denota mediante f o <p. Su
dominio está compuesto de los valores t £ D9 para los cuales
ip{t) £ Df. Los valores de la composición se obtienen a partir de
la fórmula
(/ ocp)(t) = f(<p(t)l t £ DfoT
f = l})0<p~^
queda definida la aplicación X • Y. Se dice que f está
definida paramétricamente mediante las aplicaciones <p y 1¡>. La
variable t se denomina parámetro.
F
Analicemos la aplicación X x Y —• G y la ecuación
F(x,y) = c, donde c es un elemento arbitrario de cierto con-
junto G. Si existen dos conjuntos P C X , Q C Y tales que
la ecuación F(x,y) — c tiene una única solución y £ Q pa-
ra todo x £ P fijo, entonces en el conjunto P está definida
la función f para la cual Ef ~ Q. En este caso, se dice
que / es una función implícita definida mediante la ecuación
F{x, y)~c.
mmm.
1.10. Isomorfísmo
Sean E y F dos conjuntos dotados, respectivamente, de las
operaciones binarias internas T y _L. Se denomina isomorfísmo
del conjunto E sobre F la biyección
_ /
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 relación T es
la adición, F = {2"} y la relación X es la multiplicación. La
aplicación E F: V n G N, /(ra) = 2" es un isomorfísmo 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 matemáticas
Una estructura matemática 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 vacío E dotado de una
operación " o " que a cada par de elementos a 6 E, b e E le
hace corresponder un tercer elemento perfectamente determinado
aobeE, cumpliéndose, además, las condiciones siguientes:
1) la operación 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 también se verifique la condición
4) V(a € E, b£E)aob = boa,
el grupo E se denomina abeliano (conmutativo).
Si en el grupo E la operación "o" tiene sentido aditivo
(multiplicativo) " + " ("•")/ entonces el grupo se llama grupo aditivo
(multiplicativo) y el elemento neutro, elemento nulo (elemento
unidad), denotándose mediante 0 (1). Por ejemplo, el conjunto Z
provisto de la operación de adición es un grupo conmutativo.
El conjunto Q \ {0} dotado de la operación de multiplicación es
también un grupo conmutativo.
2.2. Anillo
Se denomina anillo un conjunto R dotado de dos operaciones
binarias llamadas adición y multiplicación, con la particularidad
de que, respecto a la operación de adición, el conjunto R es
un grupo abeliano (grupo aditivo del anillo R), y se cumple la
propiedad distributiva:
V(aER, b€R, c£R) a(b + c) — ab + ac, (b-\-c)a = ba + ca.
Si la operación de multiplicación es conmutativa, entonces
el anillo se denomina conmutativo. Si R 3 1, el anillo se denomina
unitario.
Por ejemplo, el conjunto Q de los números racionales
provisto de las operaciones de adición y multiplicación es un
anillo unitario.
2.3. Cuerpo
Un anillo se llama cuerpo si al excluir el elemento neutro de
la adición, el resto forma un grupo respecto a la operación de
multiplicación.
2.4. Campo
Un cuerpo en el cual la operación de multiplicación es conmutativa
se denomina campo.
Por ejemplo, las ternas ordenadas (Q, +, -) y (R, +, •) son
los campos de los números racionales y de los reales, respectiva-
mente.
A<)XV>»•
fe ^,
1) |a| = 0 = > a = 0;
2) |a./?| = |a|-|/J|;
3) |a + /?|^|a|-f|/?| (propiedad triangular).
§ 3. Espacios métricos
Los espacios métricos forman una clase de espacios topológicos.
Este concepto fue introducido en 1906 por M. Fréchet (1878-1973),
en sus estudios sobre espacios funcionales.
Una de la características fundamentales de la disposi-
ción mutua de los puntos de un conjunto es la distancia
entre ellos. La introducción de la métrica (distancia) permi-
te expresar en términos geométricos los resultados del análisis
matemático. Los conceptos más importantes de la teoría de
los espacios métricos son la completitud, la compacidad y la
conexidad.
mm.
mm
3.1. Axiomas de la métrica.
Límite de una sucesión de puntos
en un espacio métrico
P TG>
2
Definición 1. Sea X un conjunto arbitrario. La aplicación X -> M se
denomina métrica {distancia) si V (x G X, y G X, z G -X") se verifican las
condiciones siguientes:
1) p(x, y) = 0=>x = y;
2) p(x, y) = p{y, x) (propiedad simétrica);
3) p{x, y) < + 2/) {propiedad triangular).
El par ordenado (X, p) se denomina espacio métrico y los elementos del
conjunto X, puntos del espacio métrico.
una métrica en el conjunto E. e Í fácil comprobar que se cumplen los axiomas l)-3).
R
'TR
- v i-uWií&i
1
= B ) = inf - = 0.
n n
d°conkinto^O £ * ^ ^ °*(x> C es
suyo • 11 PUnt° * junt° Con entorno
Os(x) c gx c [ j gm: •
_ _
cü*=ñ<* (2)
i=\ i=1
Dado que los complementos CF{ son conjuntos abiertos, entonces
Teorema 5. Sea (E, p) un subespacio del espacio métrico completo (X, p).
Entonces (E,p) es un espacio métrico completo si, y sólo si, E es un
subconjunto cerrado del conjunto X.
la intersección X = f ) X j es „0 vada
i-i
^ S i ^ S r ^
Puesto que K, es compacto a ^ Z de'r^T i^'' ' 6 N> c •
s e c e s i ó n convergente fi* ™
1 - i i « i i > - . . _ i• ii i. ^
EnXparticular,
conjunto . el conjunto X2 puede coincidir con el
118»;
Definición 4. Sea M un conjunto arbitrario. Se denomina recubrimiento
de un conjunto E C M a una familia (B¿) de subconjuntos de M tal que
KC{J(BX)X£A.
A
tmm
I sucesión de elementos del coniimfr, TP j r
sucesión ta, q u e . d i s t a n c i é L f
I sean""menores"que"í j Í T ^ ™ ^
• menores que 1. Tomemos en esta subsucesión una nueva
subsucesión (*<?) con l a c t a n c i a s entre sus t é r m i n o s " !
I que Sean ( * « ) , = las subsucesiones
r.rónT")f SUbSUCeS10neS ™ - v a
im
Suficiencia. Si el conjunto K C X es cerrado en (X,p),
entonces, en virtud del teorema 5, p. 3.5, el espacio ( K , p) es
completo y, por tanto, K es compacto. •
Mc{JO£}(Xj)
¿=i
y cada entorno 0£.(xj) puede contener a lo sumo un punto
de M , entonces el conjunto M es finito. Por consiguiente, todo
subconjunto infinito M C F debe tener puntos límites, es decir,
F es un compacto. •
IlÉÉtBftf
SflPK 1
Límite y e
. :. ;. 1 i--'.;'i -m
— S G
§ 6. Límite y continuidad
3 de una aplicación de un
espacio métrico en otro
6.1. Límite y continuidad de una aplicación^ ^ ^
1 — en forma
la fórmula
( f{x), si x € Df\ {a?o},
f(x) = Üm f(x), SÍ X = Xq,
Z--+X o
ps continua en el punto XQ.
ijVJV^S
Límite y
; '*.• \ .(
íürsr *°/
purtío «o- "
r ^ T c - xo una sucesión tal que V n € N
4 Demostración. Sea x„ ,. ^ A € £
4 . Es evidente que ta. -_ / W
€ A £ tant0,
y ,« aplicación * Y - * « continua e» d ^ t o —
lim fl(/(®)) = 9(Vo)-
X-^Xo —
s í s s t " . ' J S . Í ~ - - r r »
lim (5 o /) (®) = J ^ 0 '
ar^^o —— —
6.3. Continuidad de la aplicación inversa
continua.
~ - -,—UM . i r i i m ~ i ~ n r r i~rw ^ — i r n — i — . r ~ — ~ w i —
(Ve > 0)(3 6 > 0)(Vx € Df, PX{xq,X) < S): (2)
PYUÍXQ), f(x)) < e.
Limité y c ó § i Í ^
... X 1: V
msim
; f'/t \it/wtf. ' ¥ f / ( 7 Y 4 M ' <
v^uwAA'U^'--- -••
''.mméi-,
^«erVjA^r'ts')^
^ ^ r V ) \ r\B') =>
Si 2/ € / ' (>!') \ / " ' ( £ ' ) , tenemos
V ) \/-'(B-) C r v \ B1).
wammammm
NlUMi
• -a ~
Px(xnk,ynk) < —
y Hk
K
Entonces obtendremos
PrifM, f(ynk)) ^ Priffrnu), fM) + PY (/(so), f(VNK)) <
lo que contradice la definición de las sucesiones (s n ) e (yw). •
6.6. Homeomorfismos.
Distancias equivalentes
Sean {X,px), (Y< PY) dos espacios métricos.
Teorema 1. Sean (X, px), (Y, PY), {Z, Pz) tres espacios métricos y X^Y,
Y J^Z dos homeomorfismos. Entonces la composición h = g ° f es un
homeomorfismo de X sobre Z.
en X. Por consiguiente,
o labiyección también es continua
. .1 li ' n r una
es iirl-t
en h(xo). Dado que x0 es un punto arbitrario, h
aplicación continua. •
Definición 2. Se dice que dos espacios métricos (X,px), (Y> PY) son
homeomorfos si existe un homeomorfismo X <—> Y.
•^HIIMMMM
Teorema 2. Dos espacios métricos homeomorfos a un tercero son homeo-
morfos entre sí.
§ 1. Números complejos y
plano complejo
En el curso de álgebra elemental la aparición del concepto
de número complejo generalmente se relaciona con la ecuación
x2 + 1 = 0. Primero se establece que no existen números reales
que satisfagan dicha ecuación. Entonces se introduce un nuevo
número "imaginario" i = gracias al cual la ecuación
dada ya posee las raíces dbi. El paso siguiente es considerar
los "números complejos" x + iy como las sumas de números
reales x e "imaginarios" iy. Las reglas de las operaciones con
esos números nuevos se definen de forma tal que permitan
manejarlos como si fueran números reales, sustituyendo en los
resultados finales i2 por - 1 . Al introducir los nuevos números
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 solución.
Esta manera de definir los números 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 razón, nosotros seguiremos otro camino, definien-
do los números complejos desde un punto de vista geométrico.
z = z- l + y-i. (2)
Z<+Z-
y i
ít.
x*l
Fig. 10 Fig. 11
4) = -i--
5) |e!'H = l.
fórTl^ 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
fórmula (3) y de las propiedades de las funciones trigonométricas
Demostremos la igualdad 2). Por definición,
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 + + i sen (y? + = e'^+ft +
:>prmi.
re P r fentación
exponencial de los números complejos
permite simplificar las operaciones de multiplicación y división.
rje1*, rj = \zj\, ipj £ Argzj (j = i / 2 ),
ntonces (5)
(2)
C =
S ~ l + M2'
1- C =
1 + W2"
Con ayuda de estas igualdades, a partir de (2) encontramos las
expresiones de t], ( en función de x e y:
y
(3)
1 + \z\ 1 + M2' i + \z\
^•/¿mmm
Las expresiones (1), (2) y (3) son las fórmulas principales de la
proyección estereográfica.
La proyección estereográfica tiene dos propiedades impor-
tantes:
Problemas resueltos.
mm
^ ' y "•'
~ |1 - 3¿|2 5 5 5'
i iV3\ 6 J1-6 _ 26et'2ff = 2 6 ;
zs = 26 ~+ ^
J = 3
10 10
(1 + í)
=
2 5
V2 + v s )
= e i}-10 = e ¡ f i r = = e í ( í + 2 , ) = e ¿f
/i /I ¿5-4
e 3
¡ ! X ¿ X _¿ ZL.4
z5 = i _ ¿ _1 i_l e *
\ 2 2 / \V2 V5/
_2 2 e í 3 * = - 2 : eos + * s e n (j + 7 r
= 2 + i2 V5. •
Mérnwm'.
Tenemos:
9TT 9ir
= 1^1=2, 22 — eos + i sen =
o o
3?r 137r . 13?r
^ ^3 = 7 ; r4 = M = A » — eos - g - +«sen ^
4 4 '
/l+eos2x 1 - eos 2x
y/29, <p5-aretg-; r6=\z6\ = V29, = - arctg - ; Dado que | eos x\ - W 2
V
tonces
= \Z7\ = V29, <p7 =7r — arctg - ;
* 1 H" eos
arctg - - tt; c o s 8 - N 2
7T |&| 7T 1 - eos
I T = 2sgn6;
b
arctg a> 0,
a
^ÍO = \Zlo\ =a2 + b2, (pm = arctg-,
tt 4-arete a<0, 6>0,
a
arctg tt, a<0, 6<0.
a
y/2 + V2 + iy/2-V2
\j2-V2 + iy2 + V2
- + 2AJ7T - + 2kir
eos — - + i sen - 2 — ^ ¿ — 0,1,2,3. Obtenemos, pues, ^ksííi^rti;",.:.'.
<í>.<' A*. . .
. 7r
2o = eos — +«sen —, 2 - 12
z-12 2 25
_ (x - 12)2 + y2 __ 25 z2 -- 44
8 8
z-Si 9~' 2 - 8
5;r . 5ít 3?r . 3tt Solución. Como - ^ + _ g)2 - 9 , ^ „ g
z\ = eos — + 1 sen — = eos —- + z sen — .
8 8 8 8
( a ; - 42 ) = | entonces el problema se reduce a resolver el
(x-S) + y2
mfí
:: -mvmv-
ililllSIlÉi | <¿
" í
:< : :
. ir
: >
íTÍ V
t• • ^ • .
; I ;
' i
'
istema de ecuaciones
A Solución. Dado que a > 0, entonces
f 2a;2 + 2y 2 + 27x - 50y + 38 = 0,
a + 6) a+& 6 „ 6 b
\ Sx = 48. = 1 + - = 1+ - 1+ - .
a a o, a
ius soluciones son z\ — (6,17) y z2 (6,8), es decir, z\ = 6 + 17¿,
:2 = 6 + 8¿. •
•<
; t
¡
;
•:íi¡
7T 2fc7T
6 ^ ~~3~ Como d = P2 = arg¿ 2 , entonces +
2kir 6
= 2e T ,
2e T ,
= 2V/2eí f ,
2V5e' ¥
= 2V2e~i*.
obtenemos z = i2 ~
b + ¿ 4cb (t e M). •
/IT
.;:/:. ^^ilaGSiliílalSe
{
a¡z|2 + bz + cz + d = 0,
a\z\2 + bz + cz + d = 0.
Multipliquemos los dos miembros de la primera ecuación por a,
los de la segunda por a y restemos una de la otra. El resultado es
(ac — ab) z — (ac — ab) z + ad — ad = 0. Hagamos z(ac — ab) — Z.
Entonces la última ecuación toma la forma
Z — Z — — (ad - ad), es decir, 2i Im Z = -2i Im (ad),
de donde
t - i I m (ad)
Z = t — i Im (ad), es decir, z = te M.
ac — ab
« »
2,. ,2
\z\ ~ az — az + \a\¿ — 1 + az + az — ¡a|z|z|z =
(la|2-l)(l-k|2)
L l > M A 4 A ' « m w « M k
Solución. Tenemos:
1 1 22 + z 2 (X - iy)2 + {x + iy)2 2(x2-y2)
(zz)
sr\2
(x2 + y2)2 Solución, conforme a la fórmula de Moivre eos 5z + i sen 5x =
(x2 + y2)2
(eos x + i senxf. Aplicando entonces la fórmula del binomio de
Newton, obtenemos
(eos x + i sen xf = co$5x + 5¿ cos 4 z sen x -
- 10 cos3a; sen2 x - 10¿ cos 2 z sen3 x + 5 eos x sen4 x + i sen5 x,
Considerando que 0 < a < 2tt y observando que |arg z2\ < Así,
sen4 a:
2 - 2 \ 4
Solución. Es cómodo
(2 - zf = considerar los vértices
del paralelogramo como
= ~(Z4~4ZZ(Z2 + Z2)+6Z2Z2 + Z4) vectores libres (fig. 15).
El punto de aplicación
1 1 3 del vector Z3 - z2 se en-
= ~cos4a?- - c o s 2 s +
cuentra en z2 y su ex- ~
ya que zk 4- zk = 2 e o s kx, tremo en z 3 . Dado que
zz = 1, z2z2 = (zz)2 = 1.
el vector es libre, enton- Fig. 15
ces, situando su punto
de aplicación en z3 obtenemos Z4 = 23 + (23 - 22) = 223 - z2.
Análogamente, z5 = z2 + (24 — Z\)=-223 - z x . •
íMg^BWMM—i
.c
( ) +v2 = 4-,
; . c . w
V5 - 4 eos 6>fc 5
/ sen + 9t¡, fe = 0,4.
= ^ + * = a r c s e n
fc^TT
Solución. Supongamos lo contrario: todos los puntos z¡¡ están
:olocados a un lado de la recta 7 que pasa por el punto ZQ.
escojamos un sistema de coordenadas en el cual la recta 7
pincide con el eje imaginario del plano w y el punto z0
s el origen de coordenadas. Los puntos z\ se representa»
án entonces por aquellos puntos Wk del plano w tales que
• A
+
"V \/ - \ (z - zn-i)(z - zn)
+ a n (z - z 2 )(z-*3)z»>-
s i P ^ ) : 0 , l.^entonces
Z\
~ Z* ~ Zn Z* ~
Por tanto, también se tiene ^
21
4 •
i 4
1
m
L
&m
Zk\-2, Z* Zk,
3=1 k=1 k=l
Z* Zf¡ |
onde mk~—~ *!
x\
lución. En la figura 18
nos que arg (z + 1) = ai
rg (2 - 1) = a l r luego Fig. 18
arg (z2 - l) = ai + a
- 1 = 1 ( l/2
exp . i + ar2) +
(* = 0,1).
2) Consideremos N. f/S0
el triángulo curvilíneo X j ^ x
de la figura 20. Vemos
que la longitud de un N^
lado (igual a \z - 1|) no 2
21+22 =xi+x
= 2+i{yi+y2\ z.-z^x^+i^-yi), ^
|Zl+22| =
2 ={xx+x2f Hvi+yi?> \zi-z2\2=(xi-x2)2+(yi-y2),
i '-.I'i
ñ arg -arg
W
Solución. Los cuatro puntos se encuentran en una circunferencia
con centro en el origen de coordenadas y se verifica, además,
z\ + Zi — — (z3 +.24), El valor absoluto y el sentido de los vectores
z i + ^ y —(Z3 + Z4) coinciden si, y sólo si, por ejemplo, z3 = Z\,
¿3 -z 24 = zi, o bien z\ = zlf z3 = 24. En el primer caso los puntos z\,
zi, £3, £4 son vértices de un rectángulo. •
Fig. 21
k — 0fn-l. •
-M^mmm.\
Solución. En la figura 22 vemos que ¿3 - z2 = (22 ~ Zi)e 1 ^. Por
consiguiente, z3 = z2 + (z2 - z^é'w, Si los vértices están enume-
rados en orden inverso, obtenemos = z2 + (z2 - . •
[S
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 ecuación
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--: • •
l ^ Á o r V r t ^ " i » VSÍTF - . + r
V ¿X y . Esta es la ecuación de la parábola con
vértice en el punto ( - - , „ ) y eje de simetría en la semirrecta
7= j ^ e R ^ o — s ^ o j .
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 excepción de
z — Z\
un múltiplo de 2tt. Por tanto, el conjunto Re z — z2 = 0 es una
circunferencia cuyo diámetro 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
Solución, a) - = ~ L _ =
x ~ ^
z x + iy X2 + yr2 x2 + y2 x2 + y 2
Re i Im - . La ecuación — - — z
z 2 x + y
2 2 = c describe una familia de
rírrnnfprAn^inc
circunferencias f x^ —
_ A , 2
+ V - j , cY = - , c ¿ 0, tangentes
- •
2 ( Cl\2 C1 1
I x + i>y + — Z 'J = — 4 C \ — c- , c 0, tangentes al eje real en
el origen de coordenadas; como y — 0 para c = 0, el eje real
pertenece a la familia.
b) Sea z = x + iy. Tenemos z2 = x2 - y14- Re z2 ~
\x2-y2, Im z2 = 2xy. Si c ^ 0, entonces las ecuaciones x2 - y2 = c
y 2xy ~ c describen familias de hipérbolas. Si c = 0, la ecuación
I 7 7
te —y — 0 determina el par de rectas y ~ x e y = —x, mientras
Ique la ecuación ac^/ = 0 define el par de rectas x = =
I c) Sea z = x + iy, z\ ~ x\ 4- m/i, <z2 = x2 + iy2. Entonces
I 2- ,
[a
I ecuación z — z2 = A (A > 0) es equivalente a (x - «i) +
\y ~ y\f — ^ ((® - xif + (y ~ yit)- De este modo, cada curva
ls una circunferencia, la cual constituye el lugar geométrico de
los puntos para los que la razón entre sus distancias hasta los
puntos z\ y z2 es constante (circunferencia de Apolonio respecto a
bs puntos Z\ y z2).
d) Dado que arg = arg
z ~ z ~¿. ( z — Zi) — arg (z - z2) = a,
-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.- v '
' W : . i'
J'l li.
V - V í:
(1)
+ 2 <0'
onde hallamos que q ^ 0. De la segunda fórmula de Viéte
7T 7T
memos q = -24, é 26 = - e 3 . Dado que 9 6 í
l J ,
— -a IM*
— —a e n
1-ífc
2kir
( 2fc7f . „ tTM
= -a 2k*
2 _ Z a n -
c o s + ¿sen
2 1-eos
kir fe7T ^
2 ____ i- ¿ sen —— eos •—
TI —
as e n T L ^ - *
~ ~ fcTT
2 sen2 —
fe7T
- - ( l + ictg
decir, todas las raíces se
. es
Si a e « , entonces ^ £[atela a l e j ^ r ^
encuentran en - 7 -
r Z T T ^ P U - constados .n
* ij =
n-7-rr^i' ^ í + Í I 5 '
1 + IzV
ImñámMhi
mm.
* - (4 i) • ZA =
x 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
ográfica, . |22
to!
¡r, _ Ci- í+W5'
M2
X l T) 2 = — '
k ' T + N 2 '
; i-
>or consiguiente, para zx e C y z2 e €
x2 Xi
p2(z 1,z2) = 2/2 2/1
i+N 2 1-f-M 2 1+ k l 2 1 + taP
1^21'
1+kl2 1+kil2
p{zlfz2) =
í+
V(«! € C , 22 € C)
\z2 ~ Zi¡
, def , si C, z2 € c,
p(zlf z2) =
1
Si 6 C, = 00.
^rí-mm
A C C) si todo ¿-entorno suyo 0$(Xo) tiene una intersección no
vacía con A. Un punto z0 6 C (resp. zQ € C) se denomina punto
límite del conjunto A C C (resp. A C C) si éste es un punto
adherente del conjunto A \ {ZQ}. De la definición de punto límite
del conjunto A se deduce que todo <5-entorno del punto límite
contiene un conjunto infinito de puntos de A (v. teorema 4, p. 3.5,
cap. 1). A partir de las desigualdades (2) se deduce que si z oo
es un punto límite del conjunto A en el espacio topológico (C, r),
entonces este punto tiene la misma propiedad en el espacio (€, r)
y viceversa. Por tanto, al definir puntos límites finitos se puede
utilizar tanto la métrica euclídea como la esférica; en este sentido
las métricas p y p son equivalentes.
Es evidente que un conjunto finito A C C no tiene puntos
límites.
.'/a*.
BBBSCT
del p. 3.2, cap. 1, la unión Oe(z) U Z de dos conjuntos acotados es
un conjunto acotado. Por consiguiente, toda sucesión convergente
es acotada (3 M £ M: Vn 6 N \zn\ < M). Para denotar las
sucesiones acotadas (zn) de números complejos utilizaremos el
símbolo de Landau zn = 0(1).
Teorema 3 (criterio de Cauchy). Una sucesión (zn) converge si, y sólo si,
ella es fundamental es decir,
(Ve > 0) (3 ne € N) (V(n Pe N)):
p(Zn+pf zn) ~ \zn+p ~ Zn¡ <C £
(v. def. 3, p. 3.1, cap. 1).
Teorema 4. Sean (zn) una sucesión convergente y z = lim zn. Entonces toda
n-> oo
subsucesión suya (znJ también converge, verificándose que lim znji = z.
fc—f 00
Teorema 5 (de Bolzano—Weierstrass). Todo conjunto acotado infinito
Z c c tiene al menos un punto límite en c
,
es acotado, pero no es secuencialmente compacto, pues toda
( n \
subsucesión de la sucesión I z„ = ) de sus puntos converge
\ n + 1/
a 1 £ Z. Análogamente, un conjunto Z C C que tiene un punto
límite zQ £ Z no es compacto.
-'V0
Suficiencia. Supongamos que Z C C es cerrado y acotado.
Como es cerrado, entonces contiene todos sus puntos adherentes
(v. p.3.5, cap. 1). Consideremos una sucesión arbitraria {zn) de sus
puntos. Dado que dicha sucesión es acotada, según el teorema de
Bolzano—Weierstrass (v. teorema 5, p.2.3), existe una subsucesión
(zUk) convergente a cierto punto z <E C. Como Z es cerrado y
V n G N zn G Z, entonces z G Z. conforme a la definición 1, el
conjunto Z es secuencialmente compacto. •
mmmK
ISÍIÉÉ®
teoría de funciones de variable compleja se suele decir que
en la teoría ae n ,,; p r p decir ciue (zi € Cr,
f es una función de una hoja. Esto quiere decir 4 v
Definición l . S e a f C ^ C y ^ea ^ J ^ ^ ^ ^ *
(2n . ^ m v n e n ^ * ) a ( l i m /(*«) = « ) • W
es continua en el punto z0
: Muí
i—¡-. =.. v=.. v . - . - ' - ' r v ' .
Teorema 1 ^ "
lafuncxn L J ^ , ' %
continua en el _
Demostración. > ~
H z n)~+f{z 0 )v V í z ) 1 Z n e D f - n P .
»n)± f f ( Z n ) ) = = f ( z o ) ± g ( z o l
^J(Z«)9(Zn) = f{ Z Q ) g { z Q ) /
lim /fo)
9{zn) 9{ZQ) '
^gun la definición 3 n o = ,
°n P- 2-5, las funciones f + * f
continuas en el punto K * f * J son
Teorema 2 ~——
y i i m J J : u " }f n D9- Si lim f(z)
* Z™ g { z ) ~ 0, entonces
* ti (z) = ± 0,
9) (z)
a
añ.
i v v1 V v-: ® A ®Í^'W!®
§I /í / <>, entonces
a
(*) =
1
E V
P
La afirmación del teorema se deduce directamente de la defini-
ción 2, p, 2.5- •
i-..
c:.
si Z - o ,
si ^-(ntN),
si Z€C\{0}, =
0, Si C =: - („ € ^
(/ o <p) (Q -
C£ ) n6N si
y fyoV{0) ^ « d e d n Jim (/ o # l ra
(Q
no existe.
Demostración. "
Por tanto,, / ( 2 „ ) _ , , 0 * { ' / » ~ VKn) ^ z 0 A z n e D , \
definición, Hrnff o ^ «»> ; « - a n d o „ ^
, T e r m a 3- s"a ^ ^ —
Demos, —
^(0=Í4>(0, si cez>r\{6},
T . I «0, si (- - A
La función <p* es m„i;„ ,
^ f;}< es m S - — , la
2.8. Propiedades de las funciones continuas
definidas en un compacto
si ^ _
•>' « r a . , ™ , „ >-». » ..o?
» n eJ curso de amT •
I r S ^ r í S S r » " i ? »
s d e n v a-
dicho
I 6] i z ^ - ^ d a s unilateraW r ^ (en Jos
| C puede consídA Toda pación
I= (<P1, (p2) r RO.2 r, cor)siderarse como UNA A, •>
ferenc^b es e n PT " * * * si J as L " ^ Vecto^
Definición I T f r Z • —
existe una' n L " , U n t o ? c C ( r ^ í m — _ _
mmMm
SÉ»».
el conjunto D también es una región y la función f 1 es continua en sentido
general en D. Si, además, la función f está definida en la frontera dG y es
continua en sentido general en la adherencia G, entonces f transforma dG
en OD, es decir, la frontera de la imagen de la región G coincide con la
imagen de la frontera de la misma región.
conjunto 0'z = O, n M. __
í r r : t : i * r * * i . de duce
"A •
'V i ".:
%
' ' — * • ** : : s ^ < s * • " < " • c X: • ' >' >:
Así pues, la
Problemas resueltos.
12 +
-L —- ^ \ __ -i . \ I-
^ » 1 + XT ~T/ entonces
*=i 71 ni w v « y
= ( l + I + 2!»
\ n n i + 71/
lV 1+ J í ^
n+1
1+ — e. •
n
<4 Solución. Consideremos la sucesión (zn), donde zn — — 1 +
(-1)"
i—-—, Esta sucesión converge y lim zn = - 1 . Dado que z2f. =
ti n—>oo
y 2 2 f e " 1 = ^ ( 2 k - l f ' e n t ° n C e S a r g ^ 2 f c = ^ ~ a r C t g
1
y argz2*_i = -tt + arctg ^ _ . Como lim arg z2k = tt y
lim arg ^fc-i — entonces la sucesión (arg zn) tiene dos
fc~+ 00
puntos límites, luego diverge.
Nótese que en el caso en que lim z„ — O la sucesión
n—>oo
(arg zn) también puede divergir. Por ejemplo, sea
Í
7T
—, si n — 2k,
Entonces 4'
—, si n = 2k - 1.
TT 8 7T
lim = O, lim = lim <Pik-\ = A,
n—>oo «—»oo 4 fe—>oo o
PkP{*k, z)
k=l
p{Zn, Z) ^
Jfe=l
do que pk —>
i +00, aplicando el teorema de Stolz para las
fc=i
:esiones de números reales, obtenemos
Y^pkp(zk,z)
*=1 r Pn+\p(zn+l, Z)
lim = lim = 0.
n—>00 n—>00 Pn+1
^Pk
fc=l
r consiguiente, p(Zn,z) = o( 1), es decir, lim = 2;.
n-»oo
»—1 7T n-1
r, n " , 4. si n es impar,
Rez» = 1 - -JJ-.+ . . . + l ^ (n — 1)!
"7T3 "+2- 7T . r _
T J- -i-r-l^T - si n es par, Im2„
n-1 7T
T _ + . , . + (-1)"3T — si n es impar, entonces
n!
' lim
lim Re Rezznn = eos7r = - 1 , lim Imz n = senTr = 0.
nemos 2\ n/2
2 \ n/2
/ 2a a2 + P
= 1+ — +
V 7171
a\ . (P(. , «
y>n = arg 2 n = n arg 1 H— n)
| — n arctg — 1 H —
\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
arctg
(( -fi ( a
H —
°\n\ n n \ 71
( «
( p ( OL
n arctg p 1 - -
& (V —
n V
( 1H—
n V n
Por consiguiente;
Um a
lim rn = " 2 = e ,
— a+í/3
lim y>n - P, lim z» = 6 a (eos p + i sen /3) = e
71—>00
Solución. La sucesión (wn) converge y, por tanto, es acotada
(v. p. 2.3), es decir, 3 C > 0 : V n 6 N |u?b| ^ C. Sea M =
maxjl^ol,C}. Demostremos que Vn 6 N
M
W < THÍÍ' (1)
K —0
Así pues, la desigualdad (1) queda establecida.
A partir de las expresiones
= + qzn„ i = wn + + =
= Wn 4- qwn~\ + q2Wn-2 + g3Z„-3 = .. •
obtenemos V (n G N, p ^ n - 1) la suma
p
= wn„kqk -f qp+1zn-p-h (4)
k~ 0
Teniendo en cuenta que la sucesión (u?n) converge y denotando
w = n—>oc>
lim wn, obtenemos
A w v
= Y1 Wn~kqk + 1 ~U>Ylqk=
k=0 fe=0
-w q'
fc=0 k=P+1
i
< < r
M i D+1 .
Dado que |</| < 1 y \zn\ ^ entonces zn~P-1 ^
fc=0
fc=0
es decir, y"(w„_
^gp^ fe - w)q k = o(l), dado que lim w = w. De este
71 ' VV n
A=0
(JJ w
an+l n/2
Vo7
2) De las condiciones de partida se deduce que Zn = 1+ arg z„ - n arctg — — -
2 _ 1)2 n^ — 1
Ya que
^ a r g j V i - M J ± ) =
k=i\ Va*/ í n n
lim|zn| = exp<I n—
lim arctg
n-»oo >00 — 1)¿ - 2-H , 2 - l ra2 — l '
= ¿ arS í1 + * = arctS n n
\ V a* / t í lim n arctg — = lim —r—- = 1,
11—'00 TI — 1 n-»oo 71 — 1
donde resulta inmediatamente la igualdad
entonces lim zri = eos 1 + 1 sen 1 = e*. •
n—»oo
^n+1 ~ <Pn = arctg
an+l
C» = i - = 1 -
1+ 1 '
1 +
hallamos que lim ( n = 1.
tt—>00
Entonces Cn - -i- *
(1 — z)2(l + n) 1—z
'. - •. ; ; , ¿ : :
'h&fyttyffin
- J : } J L^í í . :
- y?. J ; U : : 3 J f o tí 1 j
- i Viíi:!-•-.• ;,
zn+2 - S
Dado que \z\ ^ 1 y z / 1, la sucesión es
n _
zn+2 - *
acotada y lim -r = 0. Por consiguiente, la sucesión
* n—>oo (1 - Zf( 1 + n) &
(Cí) converge y
lim (n =
n~*oo 1—Z
^ 1 /k\Ü
rin TÍ \ 71 ' ' ' oí
n\ vn
k=l
« • i
1 2 1
Por cuanto -r, todos los puntos límites de la =
l + it 1 + t2 r
sucesión (a„) pertenecen a la circunferencia 7. Aquí hemos uti-
lizado el hecho de que las funciones de variable compleja se
pueden integrar con ayuda de las reglas conocidas de integra-
ción de funciones de variable real: si f(x) — fi(x) -f ifiix),
f\ 6 R[a, b], $1 £ R[a, b], entonces / 6 R[a, b], y viceversa, es
decir, f e R[a,b] fi £ R[a,b\ A f2 6 R[a,b]. Si F es una
«•í } V J9
1*¡ÍUHiV
" t.
J f{x)dx~ F{x)^\
l+it
1 -f it es una Primitiva de Ja función x x
Gn = {zeC: ^ L c ^ c l j .
iv
De este modo, en el teorema de Borel—Lebesgue la condición de
que el conjunto debe ser acotado es muy importante. •
MJ 2a
O Oj x
Fig. 24
-mmmmiSMgmtt
Fig. 25
Fig. 26
I
una circunferencia que rueda sin resbalar por una recta.
d > a, la curva se denomina cicloide alargada (fig. 25) y
d < a, cicloide acortada (fig. 26). A veces dichas curvas se
nominan trocoides. Las ecuaciones paramétricas de la trocoide
ten la forma x ~ at — d sen t, y = a~ d eos t, donde d es la
tancia del punto M hasta el centro de la circunferencia que
da •
z j ^ ^ q IZ^L = a, a 6 R
« Solución. - ^ ^ ^ ^ ^ - 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 ta ta
at
at{
< _ r . ÍL
Solución, a) Si *„ - *» + *Vn, entonces /(*„) ' « y
0 cuando
V como ^ = 1, entonces |/WI = W - ° <»
Zn
Z2
Por eso lim ~ = 0.
Z
b)"supongamos que „ = _ ** „ - u00 ccuando
cuando» n oo. Enton-
b) Supongamos que = »„ - u a ™° _ 0
ees / o jo =
ees f{z = 11 y /(*») -- 1 1 c«uaanndd o
y /<*.) 0 nn -- oo. SSi
l " ' - Ufe, Vn
, I. *Vn — _ - 11 „v lim
i: r f(z¡j) = ~1.
cuando n oo, entonces f{zn) - / n-oo
s s . i t s s r r ^ t s K a s i t s
/ no tiene límite en ese punto. •
. Para valores de
Solución. Sea zn = QJ y z'n = ^u, — j . i aia vu^*-
n € N suficientemente grandes los términos de las sucesiones
(zn) y (z'n) pertenecen al conjunto 0¿(0) y Hm zn ~ Jim z'n ~ 0.
A partir de las igualdades fi(zn) = 1 y fi(z'n) = 0, /2(z«) = 1
y / 2 ( 4 ) = h h(zn) = 1 y h(z'n) = - 1 se deduce que las
funciones (j = 1/2,3) no tienen límite en el punto z ~ 0
y, por tanto, no pueden prolongarse en el conjunto 0¿(0) de
modo que las funciones obtenidas sean continuas en z — 0.
Consideremos la función/ 4 . Sea (zn) = (xn 4- iyn) una sucesión
de puntos del conjunto 06(0), zn OAVn G N z ^ O . Entonces
cuando n —• oo. Dado que \fi{zn)\ = \xn\ 0
cuando n —• oo, entonces lim = 0. Por consiguiente, la
n—>oo
c
olución. Sea z0 £ Dfl un punto arbitrario. Entonces 1 - z0 ^ 0
según el teorema de continuidad del cociente de dos funciones
I
ontinuas, fi es continua en el conjunto Dfl. Análogamente, la
Iunción f2 es continua Vz 6 Dh. Así pues, las dos funciones
on continuas en sus dominios. Aclaremos si son uniformemente
1 2
ontinuas. Sea z'n = 1 y z'¿ = 1 . Tenemos:
n n
_ TI
|i + 4 | 1 + 4
'<\n4ím
il&wmm
' '-CMW
3) Es evidente que si en los puntos de la circunferencia 7
tomamos como valores de / los valores límites correspondientes,
obtenemos una función continua en el compacto K . •
x2 ~ y2 - i2xy
x2 - y2 4- i2xy (x2 + y2)2 '
x
>2 9
_jl _ ~y Í2xy
e z2 = e (®2+f2)2 e (*2+02)2.
Sea z'n=l 0,
= ) / < ' = (o, - 7 = = ) . En este caso, Vn G N
z'n € Df, zl e D,,
/ ( * £ ) ) = <>2" - e1™ = 2n - „ ^ „ + O o.
lim MZ1M = J ^ = = I
Df^z^za Z - ZQ
(1 + 4 )
Sitl
•
mm¿ l^lÜ^i-V:.^ ^ I'" 1.<• . •'
f(z + h) - f(z)
Haciendo z ~ x + iy y h = obtenemos
f{z + h)~ f(z)
- — . Si 7) 0, £ —• 0, entonces 1; si
w
t-
VmtYr•' Uti
» M . s
i-
Ia do la función f g m e, p u n t o
Z{).
y de los teoremas 3 y 5. •
l) \ Z o ) =
3 J 92(Z0)
(10)
f(zQ)g(z0) - g'(zd)f{zQ)
**o)
92{ZQ)
(r1) W =
tpif-Hwo)) <P(Z0) /'(Zo)
f~dz' /(Zo)-"de-
para calcular aproximadamente los valores de una función
diferenciable / en los puntos de un ¿-entorno del punto ZQ 6 Df,
donde 6 > 0 es suficientemente pequeño, se utiliza la fórmula
aproximada
A f(z0, Az) » df(z0) (Az) = /'(z0) Az,
(9)
es decir,
/(*) « /(^to) + /'(«o) Az, Az = z z0. (10)
Au(aj0, yo)~aAx-bAy-\- ai Ax + pi A y,
t*i 0, p\ 0 cuando Ax 0, Ay
0, Ay 0,
Av(x0, 2/0) = í» Acc -t- a Ay -t- a2 Ax -f p2 A y,
2 —• 0, /J2
a«2 0 cuando A® 0, A y-* 0.
De la E 2 -diferenciabilidad de las funciones u y v en el punto
(so, 2/o) se deduce que
dv{xQ, y0) du(xo, y0) __ dv{x0, yQ)
a = b=- dx
dx ~ dy dy
Suficiencia. Supongamos que las funciones u y v son
M2 -diferenciabas en el punto (z 0 ,y 0 ) y se verifican las con-
^/Í'Ta
du(x fin
0, y 0) i __
= A,
diciones (1). Introduciendo las notaciones — -
dv(XQ> B, escribiendo, los incrementos de las funciones
=
'mimmm
:omo Ax + iAy^ Az e i Ax - Ay
lad (5) toma la forma - i Az, entonces la igual-
No!ai ^ f * ^ •
t ^ s tsss ñ a t í a
/'(,)= = *_,*!_£!! .Su av dv
dx dx ax d y - 9 y 'yy = Yy+iTx.
vJ^SST^S^SS^ — * Riemann se
Sf
(9)
Si u y . son -diferenciales en el punto <*„. Vo), entonces
/ s - .
A f(z0, Az)
dz ** + + 0{\Az\). (10)
•n i»
T7T 'P
.•í¡m
• , J
$
s i/vl
!'. íf
(M-m* •. '•y*- i -
<»«>= / >
(xo/2/o)
O'
Fig. 28
lim — r = / (zo)l
Az-K) |Az|
como sigue:
As* ds*
" <*>' = Ü 3 a 7 = I T ' (4)
j En ds (13)
r
es igual a la suma algebraica (multiplicada por 27r) de las
cargas contenidas en la región limitada por el contorno P. Por
consiguiente, el campo E es solenoidal en una región que no
contiene cargas.
Como vemos, al estudiar los campos electrostáticos plano-
paralelos en regiones sin cargas, es cómodo hacer uso de las
herramientas de las funciones analíticas.
ttázzxx&r. s t
£ € (a, b) tal que
| / w _ /(«)! = U\i) <» - . ) « \rm> - «> < 11/ 11(» - «>• *
S I Problemas resueltos,
zx t¿ z2. Demostremos
Solución. Sea k l < 1, 1^1 < } Y
que w{zi) í v>{zi)t es decir, \w(zi) - w(z2)| > 0. En efecto,
\w{zx)-w(z2)\ = \z¡ + 2zl-2z2'z1\ : - Z \ \ZI \ Z2\ L \ > 2
w{z)
no existe.
y r
e x ¡ s te y la »
m0í
Solución. Las funciones u = x3 - 3 xy2 y v = 3 x2y -y3 - 1 son
diferenciables y cumplen las condiciones de Cauchy-Riemann:
du dv du dv
= 3* 2 - 3y 2 , = 3* 2 - 3 y\ = -6xy, = 6xy,
dx dy dy dx
dw du . dv
Aw
ejercicio, existe Jim — , y este límite no depende de
cómo Az tiende a cero. Eligiendo Az = Ax, obtenemos
Aw du dv
lim . Si Az = ¿Ay, entonces
Az—>0 Az dx dx
Aw du dv
lim —— . Por consiguiente,
áz->o Az dy dy
du\2 dv du dv
dx) dx dy dy (1)
•
' \! •••••• V ' ii vVJfe '¿I
Au-du+o(\/Ax2 +Ay2) =
Att2+At>2
Ax 2 +Ay 2
du dv du dv
AX2 + Ay
dx dx dy dy
Ax2+A y2
dudu dvdv\
AícHAi/2 Ax2+Ay2
Teniendo en cuenta la igualdad (1), obtenemos
Au2 + Av2 du dvy
Ax2 + A y2 dx Tx) +
í du du dv dv
Ax A y
dx dy dx dy
+ o{ 1).
Ax2 + A y2
Aw du dv
, entonces
Dado que lim — dx !)x
n Az-*0 Az
du du dv _ Q
dx dy dx dy
Esta última igualdad es posible sólo en los dos casos siguientes:
ij rj
Solución. Diferenciemos la identidad u + uv -f v — a respecto a
x y respecto a y. Obtenemos
du dv
(2u + v)— + (u + 2v)— = 0,
dx dx
du dv (1)
(2u + v)—- -f (tt + 2v)— = 0.
dy dy
Supongamos que existe un punto z0 £ D donde f'{z0) -fi 0.
Entonces el sistema de ecuaciones (1) respecto a las incógnitas
2u + v y u + 2v tiene Vz S 0Zq una única solución trivial, es
decir, u = v = 0, lo que contradice las condiciones del problema.
Por tanto, V z 6 D f (z) = 0, es decir, f(z) = const en D. •
dw(zo,2/o)
dv{x0/yo)
dx
Az + Az
Como
C Ax
omo A x == — - — yy A , = después de una serie
dr dx dr dy dr
du du dx du dy du du
— — — —
— r sen tp + — r eos Y<p,
d<p dx d<p dy d<p dx dy
du du
Resolviendo este sistema respecto a — y — , hallamos
dx dy
du du du sen (p
—- eos (p -
dx dr d<p r
du du du eos <p
— sen (p +
dy dr d<p r
• B B M ir
: : : : v J - i1-. j-^: íj^-H^
e ;! • i ' * < y i .
i; ; / .
0. Por definición
f{z) (x2 + ixy)(x ~ iy) x2 + ixy
(0) = lim = lim ~ ¿r = lim ——
2^0 z x-^o x +y
2 «-»o x + iy
jf—»0 y—»0
x 3 - ix2y + ix2y + xy2
= hm = lim x = 0. •
x-K) X +V
¿ ®-»0
y-o *
k - 0 * * - 0 y — = íoT^) — D e este
M Solución, 1) Tenemos:
ad - 6c
w\z) i = = 1,
(cz + d)2
de donde
|ad - 6c|
|ad — 6c| = |cz + , o bien z+ -
c
c'
2) Según las condiciones del problema, arg w'(z) — 0,
decir, arg (ad - be) - arg (cz + d) = 0, de donde
A
y < <• a
> > x <.••<>< >
v*:« ,v . i ,
f>
O• • V
• * / Y, , , •
<« <vavA •/
4.» »
^ v . ^ / ' . .S
• / » ,
»X ¿YS, « Á
X$X» // . .
• . < V. , . .
X < <KX . ,
»X íso^yl . .
^mmm
ÍJju V; í.l
1 i'" l; M . iT: * W!:- I vW<ra
V.
Ví.|! > t-
•: • j
V
i.
: 1
/ / . " y . c ? . I . ' V . K . , . " ^ ^ . J / . / Í S - ' ^ U ' ' ¡V.rsLi^-. ^ . . . v . ' ^ l . / n . t ^ V ' . - ' . . ; vi- r .
Solución. Tenemos:
ln \z - a\ = ln 6 = const,
o bien Re ln (z - a) = const. Consecuentemente,
, D(u, v)
donde — es el jacobiano de la aplicación (1). En el p.4.4
Vyx, y)
, , D(u, v) . ,
se demostro que — -(x, y) = \f(z)\¿. Por consiguiente,
u
U\X, y)
l*(G) = dx dy.
» » • » » . * « II ^1
. .. ñ.
*f } tt 1 '=2 189?r
p(G) = 18 J d<p j p5 dp = 18 • - • -p6 =
(x € R);
2C — l
z2 -iz~ 1 . w
b) si z = e\
' 2iz
2. Demostrar que para todo número complejo 0 existe un único número w tal que
H = k\z\ (k > 0) y arg w = - arg z. Hallar ese número.
3. Demostrar que, para todo m € M, el número complejo
log 2{m ~ 1 3 m + 44) - 2 + «Vlog 2 m - 3
no puede ser imaginario puro.
4. Demostrar las identidades siguientes:
a) |*i + z2|2 + l*i ~ ¿i? = 2(i*i|2 + \z2\2);
b) |1 - 21Z2I2 - \zi - zz\2 = (1 + \z1z2\f - ( M + tal)2;
c) 2 + l + j z + | - ( 1 + ¿)I*I 2 ~^(1 + 0 = »;
Z\ + z2 Z\ H~
d) _ +z3 + — 23 = kll + N si ZjZ2 zT3'1'
^ , fc * k 2n
2n ++ í9n + 1
e> E ! + - + E = §
2 2
1
si z¿ — n, n G N;
fc=i * k=1 * J
f) + + — r/ SI
. . ¡2i|
. —i \z
,
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
- E1*° - ^-i =
1
- +-E 1
n 71
2
« ¿••• i» fc 1*
1 n
donde z^ (A: = 1, n) y z0 son números complejos arbitrarios y 2
mwm
[ReaJo - b\
b) la distancia de un punto z0 € C a la recta az + az = b es igual a —
12, I Amostrar que tres puntos z-¡, z2 y z3 se encuentran en una recta si, y sólo si,
Zl 5 1
Z2 z 2 1 — 0,
Z3 Z3 1
na-**)1
Ifc=l
15, Demostrar que
a) |1 + z21 > 2(Rez) 2 Vz: - l < R e z < l ;
Zi Re Zi -\zA „
b) Re — J — ^ 1 ' .,ssi zz € C, Re z2 > 0.
i Zl € C, Zi
zz + tt 2 Re z2
16. Resolver el sistema de ecuaciones
z3+w5 = 0
2 —4
z • ty
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.
d) y2 = 2ar + l;
e) p =
1 + eos ^
21. Hallar el conjunto de puntos * del plano c definidos mediante las condiciones-
a) r < \z - z01 < R;
,. \z — 1
b )7+i
c) a < Re 2 < 6;
1 ^o 1
T 1 1
d) - < Re - + ím - < - ;
4 z z 2
e) 0 < arg — — < -
•+ z 2
22. Entre los números complejos z que satisfacen la condición \z~25i\ < 15 hallar
aquel cuyo valor principal del argumento es mínimo.
23. Demostrar que dos puntos A{zx) y A(z2) de la esfera de Riemann distintos de
Je S T d i a n ! e t r a l m e n t e opuestos si, y sólo si, los puntos ^ y z del plano €
2
satisfacen la condición z^z2 ~ ~ 1.
24. ¿Para que^ valores del parámetro a las siguientes circunferencias en el plano
complejo C corresponden a círculos máximos 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:
SI!
lilis®
26. Demostrar que los puntos límites de la sucesión (cn), donde cn - ü y + k )' S°
eT - e~w
encuentran en la circunferencia 7 = G C: \z\ - y ^ j•
Sean a y /3 (a ¿ (3, < 1, |/3| < 1) dos números complejos dados. Definamos la
27.
sucesión (*„) de modo recurrente:
zn = (a + /3)z„-i - ot{3zn~2 V n > 2 .
Demostrar que lim z„ — 0.
w-»oo
1 1
1
. Demostrar que
r .
aplicación /.
1
31. Para la aplicación w = - (w = u + iv, z — x + iy) hallar:
z
a) las imágenes de las líneas siguientes:
1) x = C; 2) y = C; 3) ® + y =
4) arg z = a; 5) \z +1| = 1; 6) y = (x|;
b) las imágenes 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 preimágenes de las líneas siguientes:
9) u = C; 10) v - C .
2-4
32. Para la aplicación w — - hallar las preimágenes de los conjuntos siguientes:
a) W ^ { w e O M < 2};
b) W = {«> € C: M ^ 1}.
33. Demostrar que la función w = z2 + 2z + 3 es de una hoja en el círculo K = {z € 1
\z\<l}.
34. Describir las curvas y construir sus gráficos.
z2
a) Jim
Z->1 Z — l
z-2i
b) lim
/ , /
Z-*OQ Z + %
z2 + 1
c) lim ;
Z~*DC Z — 2i
z2 + 1
d) lim — -;
z4 - 1
e) lim r —* - + 2 i
z^o \ x -f y2 2 ;
f) lim z;
z-*í-i
g) lim argz;
z->-1
h) lim * ;
z->0 Z
(Re z):
i) lim
Im z
36. Investigar la continuidad de las funciones siguientes en sus dominios:
a) w — Im z;
b) w = z;
si x ó y son racionales,
si x de y son irracionales.
e) w = tg(argz).
37. Sean u = «(a;, y) y v = v{x,y) dos funciones diferenciables en una región D. Sea
f(x + iy) = u(x, y) + iv(x, y) para todo par (x, y) € D. Demostrar que para que la
función f sea diferenciable en el punto z0 = x0 + iyQ e D es necesario y suficiente
que la expresión du(x0, yQ) + i dv(xQ/ y0) sea proporcional a dz = dx + i dy.
38. Sean u = u(x,y) y v = v(x, y) dos funciones diferenciables en una región D.
Sea f(x + iy) = u{x, y) + iv{x, y) para todo z — x + iy € D, Introduzcamos los
(du du\ {dv dv\ . 1 , n
gradientes vu = I — , — 1 Jy vv = [ — — de las funciones uyy v. Demostrar
6 \dx 8yJ \dx dy J
que las condiciones de diferenciabilidad de f(z), z € C, se escriben de la forma
siguiente:
{Vu,Vti) = 0, |Vu| = |Vu|,
donde (Vu, Vv) es el producto escalar de los gradientes, y |Vu|, \Vv\ son sus
longitudes.
í si 2 _¿ 0
39. Demostrar que la función f(z) — < x2 + yi ' ' e s continua en un
(o, si z = 0,
f{z) - /(O)
entorno del punto z = 0 y que los límites 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 .
40. Investigar la analiticidad de las funciones siguientes:
41. Sea P(z) un polinomio cuyas raíces se encuentran en un círculo. Demostrar que las
raíces de su derivada P\z) pertenecen a ese mismo círculo.
42. Demostrar que si las funciones / y g son analíticas en un punto z0 y f(zQ) =
/0)X= 0,
g(z n pero •
g {z'/0) ¿w 0,
n entonces
. r —^ = ^ . Hallar
lim Mil lim
r 1+ ^1Q .
Z-+XQ g\z) g {Zo) 1 + zw
43. Sea / una función analítica en un dominio D, u = Re/, v = Im/. Demostrar
que en los puntos donde f(z) — 0, las líneas u = const se cortan con las líneas
v = const perpendicularmente.
44. Reconstruir las funciones analíticas / si
a) u = x2-y2 + 2x, f{%) = - 1 + 2Í;
b) v = e* sen y + 2xy + 5y, /(0) = 10.
Funciones elementales
en el plano complejo
§ 1. Funciones homográficas
y sus propiedades
1.1. Definición de función homográfica.
Caracter conforme de una aplicación
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ñ m e i o n e s del tipo
donde a £ C
0. Dicha condición eviía a J f ,a lición
en una constante. Si c = 0 y d T n T í i a . f u n c i ó n 0 ) degenere
«na función lineal: Y # l a f u n a ó n d ) se convierte en
a b
~z -f ~~ = Az + B.
(t a
La función homográfica, » está definida en todo * e C salvo
en los puntos zi = v r _ ^ c.
i ^ y z2 _ oo. Si c = 0, estos puntos
coinciden. Prolonguemos la función w en todo el plano complejo
ampliado C, tomando y w(oo) iguales a los valores límites
de w en dichos puntos:
a
w(zi) = oo, w(oo) = —.
c
Entonces la función homográfica se hace continua en C y se
obtiene una aplicación continua de C sobre C. Despejemos z
considerando (1) como una ecuación de z. Obtenemos
z= , (2)
cw — a
que también es una función homográfica, 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.
d
Sean 71 y 72 dos curvas que pasan por el punto z = —
c
y que forman al cortarse un ángulo a (se supone que cada una de
y2
a=-¡3
O
Fig. 29
cz + d
W = (3)
az + b'
las curvas y T2 pueden considerarse como imágenes de 71
y 72 mediante la aplicación homográfica (3), cuya su derivada
dW be — ad
dz (az + b)2
4) aplicación inversa
1
w = —.
z
ílüM
. r ¡r
pertenecientes a los cuatro casos enumerados anteriormente:
ad
az +f ho a ^ „~ a
w - „ _ _ _ + . —
f ( t r a s l a c i ó n paralela);
cz-Vd c cz^-d
ad\ 1 ad (aplicación de semejan-
wA = (6 - w3
c ) cz + d za y giro);
1
W3 = (aplicación inversa);
cz + d w2
w2 = cz + d = w\ + d (traslación paralela);
WiJ = cz (aplicación
• \ de semejan-
za y giro).
Vemos que las propiedades inherentes a las cuatro apli-
caciones indicadas se pueden trasladar en algunos casos a las
aplicaciones homográficas generales. Como una consecuencia ob-
tenemos, por ejemplo, la propiedad circular de las aplicaciones
homográficas.
Tenemos:
arg {Z — ZQ) - arg ( z * - z 0 ) ,
\z - Zol \z* - 2bI = R2,
*
z - ZO-
J FÍ
2
_ l t arg(z—zu) „
\z - zo\e~* aT&(z~Za>
R O
Z - ZQ
de donde
R2
z = z0 +
Z~ ZQ
1 demostración. Necesidad. y ¿
>ean z y 2:* dos puntos si- 1
V ^^^
lr Y ^. _ Z - Z i ¿ 3 - z2 7 xr 2 : C
^- —
W-W
—i ' U) 3 -W 2 .
z — z2 z$ - Z\ W — W2 w3 — W\
Obviamente, la aplicación L — L2l o L\ es la que se busca,
L — w(z)f w(zk) = Wk. Su forma explícita se puede obtener
a partir de la relación
z - zx zi w~ wY w3 - w2
(2)
z — Z2 — Z\ W - W2 ~ W)
b) Si un punto z.¿ o bien Wj (o bien Z{ y wj a la vez) ( i , j =
1 , 2 , 3 ) se encuentra en el infinito, la fórmula (2) sigue siendo
válida. En este caso tan sólo se requiere sustituir por la unidad el
numerador y el denominador de la fracción donde aparece este
punto (pues cada uno de los puntos zk y w& figura en (2) dos
veces: una vez en el numerador y otra vez en el denominador).
Por ejemplo, sea z\ = = oo. En este caso (2) toma la forma
¿3 - ¿2 _ W3 ~ ^2
Z - 22 W - W2
Unicidad. Supongamos que además de la aplicación L
existe otra aplicación homográfica A tal que A(z¿) = w C o n -
sideremos la aplicación homográfica L = L2 o A o que deja
inmóviles 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
••'^M^M !
i
olución. Necesidad. Supongamos que la función dada transfor-
1a 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 función homográfica
a w j- h a
transforma el 00 en el rpunto el cual, según la
cw I d c &
mdición 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
tía recta. •
: i'-^i .v
„ „ -X t >Xf
••>:•. : > sV > V v N . : « x v í > x v> Í/X :ÍX< ^ v>*
• • \ < \ * v •• \ v « S s < «g } A • / : - W i >y a v • • y - v«4
• >ivX • • y"® •« Í•Í •Y V<-f:• 4 fs-*» :
• .VXÍ) ^.®
5 1
jlución. Tenemos 1) = - y w(\) — Dado que los
eficientes de toda aplicación homográfica son números reales,
i -i 5? -
el eje real se transformará en el eje real. La imagen de la circunfe-
rencia unidad será la circunferencia cuyo diámetro es el segmento
1 5
. Teniendo en cuenta que w(0) = - , el círculo unidad se
12' 4 8
2
transforma en el círculo w <¿}.APli-
3
cando la regla del recorrido vemos que el semicírculo inferior será
la imagen del semicírculo superior. •
# • . *
w —i 4- — — •
.•• '.•- = —%.
(i/2) - i
La aplicación buscada se determina a partir de la correspondencia
de los pares de puntos
Finalmente, obtenemos
i — iz
z+ 2
• • . . . .
z-i 1 + i -f 1 de donde w =
1-i 5(z
Teniendo en cuenta que los puntos Z! = -1, z2 = i, z3 =
z — Vk2 — R2
w= k _
z+ y/h2~R2'
A partir de la condición |w(*y)| = 1 obtenemos que |fc| = 1.
Tomando en consideración que la imagen del punto z ~ h - R
pertenece a la circunferencia 7 = {w 6 C: M = p}, obte-
nemos
_ \h~R~Vh2- R2 _
li^mmmMm
—A . •
w — z2 z — z2
n~i ~P z0-p
1 1 e * =
Por consiguiente,
^R+l — si M|<i,
lim
n*~f0° ¿n+l p \oo, Si U l > 1,
o bien
limz n = í f sí W <
n->co " Si \A\ > 1.
Si \A\ =1, el lim no existe. •
n—»oo
. .. Jf
-^^^^^^^^i^§^iir^u^rtó'í^^^ • M
x 1
*a%8 * i* 811114!^
* 2 S í r c x v í í ¡ ^ V l S v í S v i ' » ?: ^ .. .. '
tt.:* m
§ 2. Función potencial w =
Función multiforme 2 Vw
Superficie de Riemann
2.1. Función potencial
La función potencial
sHteSfeí-
I i . • : ••« < í f ' Í ^ W
27r
con vértice en el origen de coordenadas. En particular, el
interior de todo ángulo del tipo
2tt
a < (p < cH aE % (3)
n
es una región de uniformidad de la función potencial; dicha región
se transforma en todo el plano w sin la semirrecta na € Arg w.
Problemas resueltos
<4 Solución, a) La rama derecha de la hipérbola se transforma en la
recta u = a2. Tomando en consideración que x > 0, según la regla
del recorrido vemos que el interior de la rama derecha de la hi-
pérbola se transforma en el semiplano Q = {w £ O Rew > a2}.
7T
b) Las semirrectas arg z = =t— son las asíntotas de la
O O 1
hipérbola x — y = 1. La aplicación w = z las transforma en
el eje imaginario, y transforma la rama derecha de la hipérbola
x2 - y2 — 1 en la recta Re w — 1. Consiguientemente, la imagen de
la región considerada es la franja M = {w 6 C 0 < Reí/; < 1}.
c) Para y = c tenemos u — x2 — c2, v = 2ex, x £ E.
2
Eliminando x, hallamos u ~ —r2 - c . Tomando en consideración
4c
que c > 0 y aplicando la regla del recorrido obtenemos que la
v2 2
imagen del semiplano P es el exterior de la parábola u = — - c
(es decir, la región limitada por la parábola sin su foco). •
w = - ( V 2 + 1) ( t V £ + l ) . •
.V CV" .f •• • / >'
* V • • ¿ w ^1 v: •••V —r •—.
i t j ' ' . i j . r. j / ' ü » 1 .
/ . U
; h.
ÍH,:
Nír-s « s« x A .. , « « . '
a . ....
/z-%/2(l-»)\4
\z-V2(l + i)J"
mml
M Solución. La aplicación buscada se halla a partir de la siguiente
cadena de aplicaciones:
Z\ + 1
zi(z) = 2Z, Z2(Z:) = z3(z2) = y/~Z2, Z3(~ 1) = Z,
Zl - 1
W(Z3> = z3 + z w(i) - 0.
Finalmente tenemos
w = e
2z
sa w
i $ wo - i \¡Z2 +
ie V + 1I - - 11
w = e : = e • .
w2 + i Vz + 1 + 1
v n ! •
iim
eos - i sen -
w ~ _ 2 —- = u + iv.
V I + (eü)2 v 2 eos t
Eliminando el parámetro ¿, vemos que el arco de circun-
A A
i|
Problemas resueltos.
M m-
v< ily
-.75'
/i
-il 1-i
l) Wl = e 4 z = 2, giro en un ángulo de - —;
V2
ttV2
de semejanza -;
a-y/2 - 0 2
3) w = e u ' 2 = e ft r^e h . •
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. Función potencial general
Elevemos un número complejo a una potencia real arbitraria
p € K. Según la regla tenemos
5 5. Función de Zhukovski
5.1. Definición de la función de Zhukovski.
Carácter conforme
La aplicación
z1 + ~ - ( z 2 + - ) =
z1 \ z2J
u = - ÍI r + - ^j eos tp,
1
(2)
o
Y IB
m|f P^ ano ^ siJQ e l segmento
[-1/1] (éste esunidad la imagen de la
/ S I circunferencia 7). Para
/
¿/ BB
S j establecer una correspondencia
biunívoca entre los puntos de la
- Fig.
1 35 BB circunferencia 7 y los del seg-
IIBB mentó [—1,1], hacemos un corte
BB a lo largo del segmento y aplica-
mos la regla del recorrido como
imMmmmmmmmMmmf
Fig- 35 e -má[caLa
sfunción e nfunción
de a f i g u minversa
l Zhukovski de la
3 4 tiene la
forma
z = w + v«2 - 1 (3)
y es multiforme con puntos de ramificación de primer orden
w = ± 1. Su superficie de Riemann está representada en la fi-
gura 35.
1 Problemas resueltos.
Solución. Sea y una circunferencia que pasa por los puntos ±1.
Tomemos dos puntos Z\ y z2 que no pertenecen a 7 y para
los cuales z-lz2 — 1. Demostremos que uno de estos puntos se
encuentra dentro del círculo de frontera y, y el otro está fuera de
la circunferencia y. Consideremos la aplicación
- :
.. . s ,
« i - A 'V. v ^ ' / .
¿wtf-vGwU&cvX'
%O Í
<4 Solucion. En el plano wx = = m+ivi la parte exterior
Va¿ - b2
de la elipse considerada es
M + _ i a b
•ya 1 _ a -\-b
G={w2eC: |w 2 \>R), R = a + s/a
ra2TW
w2
Finalmente, en el plano w= — obtenemos la región D = {w £ C:
M > 1}. Así,
'
wf2 —
-1 =
a+6
( z - f V « 2 - a2 + ft2).
a+6
2 2
_b
a—
a2 b2~ '
y la región dada en la región que se encuentra entre sus ramas.
En el plano w2 = w1 + y/w\ - 1 (w2(oo) = 00), la imagen de la
última región será el interior del ángulo a < arg w2 < n ~ a,
b '
a - arctg - , mientras que en el plano w3 = e taw2 obtendremos
> ' >. X > . ; V ' s N¡. - V x < SAs
2 arctg £
z -f -a2-62)
b)
Su relación con las funciones trigonométricas es la siguiente:
1) Wi — iz, 2) w2 = 3) w = - ( w 2 + — ).
eWl, d)
®
2\ w2J ijt/2
Teniendo en cuenta este hecho, el lector podrá examinar sin
dificultad las transformaciones conformes más simples efectuadas —n/2 71 j 2
por la función w ~ eos z (fig. 36). —vt¡2
Estudiemos ahora la función sen z. A partir de la fórmula
ei(z~n/2) _j_ e-i(z~ir¡ 2)
Fig. 36
sen z =
2
se deduce que la aplicación w = sen z es una composición de las @ >
®
siguientes aplicaciones:
7T
1) wi = z ~ 2) w2 = iwv 3) w3 = eWl,
¿ m
4) w = +
2 V W3J Fig. 37
Como ejemplo, hallemos la imagen de la franja
Las cuatro transformaciones conformes indicadas sugieren
-
_ 7T 7T 1
que las franjas verticales de ancho ir son regiones de uniformidad
zeC: ~-<Rez<~j de las funciones z sen z y z y-* eos z.
(fig. 37).
Analicemos con más detalle la aplicación de la franja
D — {z e O -7r < Rez < 0} mediante la función w = eos z.
Utilizando la fórmula de adición y las fórmulas (l)-(3), obtenemos
w — u + iv = eos z = eos (x + iy) = eos x ch y - i sen x sh y,
o bien
u = eos # ch y, v = - sen x sh y. (4)
(4)
Hallemos la imagen de la recta x = Xq = const para -7T
7T <
< XQ <
< 00
TT
Tenemos:
u = eos a^o ch y, v == —
— sen
senxx$
0 sh
sh y,
y,
de donde resulta la hipérbola
= 1.
cos¿:co sen¿ XQ
Para — < XQ < 0 la recta x = x0 se transforma en la rama
TT
derecha de esta hipérbola. Para -TT < XQ < — — la recta se
A
transforma en la rama izquierda. La recta x = 0 (eje imaginario)
se transforma en un corte a lo largo del eje real desde el punto 1
hasta +oo, mientras que la recta x = -ir se transforma en un
corte a lo largo del eje real desde el punto —1 hasta -oo; la recta
7T
x = — se transforma en el eje imaginario. De esta manera, la
imagen de la franja D es todo el plano w del cual se ha eliminado
el segmento del eje real u desde —1 hasta 1 a través del infinito.
Dividamos todo el plano z mediante las rectas x = hir,
k en franjas verticales (regiones de uniformidad de la función
w — eos z) y tomemos para cada una de ellas su copia en el
plano w. Uniéndolas del modo indicado en el p. 22 podemos
obtener la superficie de Riemann de la función multiforme z =
Arccosw, la cual es la función inversa de w = eos z y tiene la
forma
1 /
z = Arccos w = - Ln [ w + (5)
% \
Sus puntos de ramificación son ± 1 e oo.
Las funciones tangente y cotangente se determinan en el
plano complejo por medio de las fórmulas
WÜW1 •ih
!í
<V4
#!
ium m.
• >•.:•<}••: i " 4 i< >
> '' < > + im .i.V.V.
2jTÍ
©
ijr/2
—ve/2
Fig. 38
o bien
—IZ e 22 +
i e
tez = —i—. —- Ctg 2 (7)
i '
° c " + e~ tz
Problemas resueltos.
- J
nf 2
Fig. 39
•tfrriH:^:-'
cosec ( ® ± t I n + - | 7T I - . :
• V V 2 /
ln + J J ®
/ / . / ^ 9
y sh 2 7r + sen
< 1.
sh-
» + -
En los lados verticales 2 = 7r + iy, tenemos
cosec
n +
± \ 2) v + 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
<4 Solución. 1) Consideremos una aplicación lineal entera de la
forma w = az + 6. Para que esta función transforme el semiplano
superior en sí mismo se requiere, en primer lugar, que la imagen
del eje real sea el eje real, es decir, w(z) G E si z G R. Por eso
a y b han de ser números reales. Además, las condiciones de
partida exigen que se cumpla la condición w'{z) = a > 0. De este
modo, la función w = az + b, a G R, b G R y a > 0, transforma
el semiplano superior en sí mismo.
2) Es evidente que la aplicación buscada es w = —az -f b,
fl6l, 6elAfl>0.
3) Para resolver el problema planteado, transformemos
primeramente el semiplano superior en sí mismo y después
7T
efectuemos un giro en un ángulo de - —. Así obtendremos
w = —i(az + b), a G R, b G M A a > 0.
4) En este caso, a los valores imaginarios puros de z deben
corresponder valores imaginarios puros de w, donde w = az-{-ib,
a G M, b G R. Para que el semiplano derecho se transforme en sí
mismo es necesario que se verifique la condición w'(z) — a > 0.
Por consiguiente, obtenemos la función w = az + ib, a G R,
6 G R A a > 0.
Para la determinación exacta de la aplicación hay que
especificar dos pares de puntos correspondientes. Si son puntos
frontera, no podemos reducir el número de pares, pero si son
puntos interiores basta fijar sólo un par de puntos, ya que el otro
par quedará determinado por la propiedad de simetría. •
f.
q í. ( • V | r-
•i i» t? : i. . v
s
a r . . i • •,' -
' .. ,-U/ < -
• I •
jii ]f ••
¡üm' WVMí
¡lllftft
•lili
2) La aplicación zi = -%-{z + U) transforma la franja G
en la franja D. Según los resultados obtenidos en el caso 1) la apli-
cación W! = Z! + bi, b G R, o bien u* = - « i + 1 + M, transformo
la franja D en sí misma. Sea la aplicación buscada. Entonces,
la aplicación = - ^ ( w + 2i) transforma la franja G en D.
Así pues, la aplicación w se obtiene a partir de las condiciones
w3 = wlf o bien w3 = w2, es decir,
h = b eos a =--
l + tg2a TTF'
mam
de donde - = . Haciendo girar la franja en un ánguk
h b
~( í + arct^ ^ multiplicando el resultado por obtenemos
la franja D del ej. 35
VTTF f Y ir \\
w= — z exp < —í I ~ + arctg k )
vf<<s>.<>»<*> i •• • •
.. 1
H ^ h
* . ' «v • •
fc : .: »k :• .
. . ... . í• 1
V< »
< v-A ' ¿ » . .
As'ssw.vv.'í-s ...»
V/ftsfr^íy A <V v i ». v
• i.*-" ; < r
*
• -Y.
< Solución. 1) Sea z — x + iy, w = u + iv. Entonces x + iy =
1 U . V u
zmr.
u + iv = l¿
u + v
22 , ..7
2 ~ » . ,
U + V
2 2
d e d o n d e ® = -T7-T/ v =
u22 + V
U v22 '
v ^^ £2 y'2 - 1 q u e acc = aw ¿e i a
u2 + uz + v2 w2 + v2
1
ecuación de la familia de circunferencias se deduce que —= =
u2 + v2
—£ 2 es ecuación de la familia de imágenes. La familia de
a u
1
imágenes 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
particularidad de que el propio eje real no pertenece a la familia.
3) La ecuación del haz de imágenes tiene la forma
v u
—~ r = —z r¿ -f b, la cual se puede escribir como
vr 4- v ¿ u -f v
¿
xQ
u2 + v2 V u2 -f v2
toma la forma siguiente:
(fca?0 - yo) (u2 + v 2 ) = ku + v.
Hemos obtenido un haz de circunferencias que también contiene
1
la recta que pasa por los puntos w = 0 y w = — (imagen de la
ZQ
recta que pasa por el origen de coordenadas).
6) Dado que
v vr
u2 + v2 (u2 + v2)2
es la imagen de la parábola y = x2 mediante la aplicación w,
entonces sólo nos queda simplificar la ecuación obtenida. Tenemos:
«.3
u2 = -v{u+ v2), u2( 1 + v) = -v , uL - -
1+ v
La curva definida mediante Ja última ecuación se denomina
cisoide. •
¡c + iy — x0 + ¿y0 +
(u - /ii) + i{v - h2)
(u - hi) - i(v - h2)
= *0 + l y o + (u _ h i f + (v _ hi)1,
u-hi __ v ~ h2
x=x°+ u-h ?+(v-h r ~ ~ ( u - h t f + ( v - h 2 r
{ 1 2 y y o
z — i¡ 2
Solución. La función homográfica w = — transfoi
1 + (i/2)z
ma el círculo 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 =
zi = h z = 1. Estos se transforman en 3 4
3 = i-, = i
3 4 5 5
«>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 aplicación w. Por ser w una aplicaciói
homográfica, 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,'
3 4 3 .4 1
W l _ - - - Í - y w3 — ~ - Í - . El punto 2 se transforma ei
i'
- i ' : A i * '
Wq — (0,6) su centro y R
_.33 _ ¿.4
4 33 ___-4s u radio. La ecuación de la
5 *5^
^ 55 *55 circunferencia tiene la forma
Fig. 40
Fig. 40 u2 + (v - b)2 = . Utilizan-
do ahora el hecho de que
i puntos w\ y w3 pertenecen a la circunferencia, obtenemos
/4 \2 2 i
; - f ( - + 61 — R . Dado que el punto - - también pertenece
1 1 V2
Su solución es a = -, b = - - , R = — , luego la circunferenci
buscada es
í l * V5
7 = <¡ w € C: + - = —-
1 2 2 2
i. ' ' ' ^
IlfP^^
K =
í<wec W--
1 ¿
+ - < —^
^M1
2 2
\sí pues, la franja D se transforma en la región limitada por
a recta de ecuación Rew = 1 y por la circunferencia F =
w 6 C: w - I == U
- > tangente a dicha recta (fig. 42).
2 2J
2) Las imágenes de las rectas x = 0 y x = 1 son cir-
unferencias con centros en el eje real, dado que el eje real se
:. . f >j <14%»,':
(!) ©
3 ffiMfei^
.. v-J íí
rmm<\
Fig. 42
@ »
áP^Hm
Fig. 44
d
mientras que la aplicación w2 = dw\ = - convierte la franja G
z
en la franja G' = {w2 G C: 0 < Rew2 < 1}. Según la solu-
ción del ej. 35,1), la forma general de la aplicación buscada es
d
w — w2 + ih ~ - + ih, o bien w = ~w2 +1 + ih — d 1-1 + ih,
z z
donde h es un número real cualquiera.
1
2) La función w \ ~ - transforma la lúnula en la franja
D
-{ Wi G C: — < Re Wi <
di d2 di d2
d\d2 ( 1 \
-.a función w2 = - wi — - transforma la franja Di
d2-dl\ dzj
:n la franja D2 - {u>2 G €: 0 < Rew2 < 1}; la aplicación
u ~ w2 + ih (o la aplicación w — -w2 + l + ih, /iG R) tr ansfor-
\
na 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 )
u=
di
—f
/d 2 \
IJ+l+ih, donde h G Mes arbitrario (fig. 45).
>r-fia< vi: v
iíáll
ttm***Itttifím
u2
Fig, 46
djd2 í\ ¿i d2 di / z-d2
1-
W W3 d\+d2\z d2) d\ -\-d2 z \di+d2
conlleva a la región requerida (fig. 46).
z -1 i 1+ t
w 0 2i 1- ¿
¿4-1
Busquemos la función en la forma w = k . El punto - 1
, z-b
se transforma en el punto w = 0. De acuerdo con la tabla, para
determinar k y b tenemos el sistema de ecuaciones
1+ i
2% = %
k-
b'
2+ i
1+ j
oo
Í
. - . , 1+ a •
i, = k~- 1 -
,1+í-o i =
7
1k—~,
+ i
1 = fc-——7 = k(l + ¿ — a).
Resolviendo este sistema1obtenemos
+1 -% a = 3i, k ~ luego
-2 i
(1 + 2i)z + 6 - 3¿
w =
5(z - i)
Solución. Es cómodo resolver este ejemplo de la misma ma-
nera que el ej.46: escribimos los datos en forma de una tabla,
luego determinamos la forma general de la función homográfica
y, finalmente, hallamos las incógnitas a partir del sistema de
ecuaciones.
1) Tenemos:
oo
1+»
z-i + 2
:
-1 oo
00
-1 00
00
r / . v :
; y
** V ***
'•*
$ ItM
u ^ t t l
(1-í)Z+Í+1
w — 1/2 z- 1/2 , 1t
2) A partir de la condición — = fe —, hallamos
' r w-2 z- 2
la función w. Tenemos:
^= fe^i (2w - 1) (z - 2) = k(2z - 1) (w - 2),
w- 2 z- 2
z(l — 4fe) + 2fe — 2
w =
2z(l - fe) + k - 4
5 3
Para z = - + -x el denominador de la última fracción se anula,
4 4
5 3
puesto que - + -i ^ oo. Utilizando este hecho determinamos fe:
5 3 i\
fe) + fe - 4 = 0.
2+ I (1
, ¿ <> j> ^
z-R
Solución. La función w tiene la forma w = fcj-j-^, puesto que
w = 0 para z = R y w —• oo cuando z —» - J í . A partir de
la condición w(0) = 1 se obtiene que k = - 1 . De este modo,
R-z
w— — .
R 4- z
La función 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| < iíAlmz > 0} es la semirrecta de pendiente - -
que sale del origen de coordenadas. Utilizando la regla del
recorrido y la propiedad de las transformaciones conformes de
conservar los módulos y los signos de los ángulos, obtenemos
que la imagen del semicírculo superior es el cuarto cuadrante
D={(«,í/)ei2:ti>0,K0}. •
Z — ZQ , (1)
Z-Z0
donde z0 es el centro de la circunferencia y i? es su radio.
En el caso 1) zq = 0, R — 1; por consiguiente,
- r
1 1
Z — -
Z 2+ i 2 3 i = 5 ( 2 + í>-
En el caso 2) z0 = i, R = 3, z* = x+
2+ t-i
16 Z ~ 4 "16
En este caso la imagen simétrica es la circunferencia de radio
y centro en el punto z = -.
Z-P)2 (* - /3)2 _
teMMÉilifllMlMilÉÉUIIMlÉiAÉIÉa
M
' 1 lí
xeR
y> o
A partir de la desigualdad >/26 < 6 vemos que para 6 ^ 2
todo el semiplano se contrae. Si 6 < 2, la región que está dentro
del círculo K = {z G C: U - fll < i se dilata. •
TT 7T
A partir de las condiciones de partida arg w (i) = -— = 6- —
se deduce que 6 = 0. Por tanto,
z —i
z+ i
:
. : J : y V i
! i . -i • i : \
i9z-a
2) Tomando a = 2i en la fórmula general w — e I
z + a
iS 2i
obtenemos w ~ e :. Puesto que
z + 2i
4i , ¿C-*/2)
u/{z) = e —-~r, w (2i) =
(z + 2 i)2
7T
argw'(2i) = 0- -=0,
ir
entonces 6 = —, lo cual implica que
_z-2i
w= i
z + 2i
3) De manera análoga a 1) y 2) buscamos la función w en
ifí z - (a 4- bi)
la forma w = e 1 — . Tenemos:
z — (a - bi)
2 bi , i eí(«i — tt/2)
w(z) -= eJ»i —, w '(a + W) = e • =-
(z - (a ~ bi)) 2b 26
7T
arg tí/(a 4- 6z) = 0i = 0,
de donde B\ — — 4- 0. Finalmente,
z - (a - 6é)
w = —
z+ a
Derivando la función, obtenemos
2a
w'(z) = — w'(0) = —,
(z + a)2' a
SftfsiíS'.
l^lih*1' •' * H* ''
o •
1
i ; * i
2e%* - iai
IV, IV —:—• En particular, para v = 0 teñe-
2G ídj
7T
mos 2eiB - %ax = 0. Esta igualdad se verifica si $ = —, a\ = 2.
2i
z + 2i
t
•í V
, f,
4 .\V\ >; : v >»>»>•» A ' >
. . „ <K < • < », < » "S » S * <.« i'« ' K< Y' W
oo
0 -4i
w 9 e R es
{<p £ R es arbitrario).
z - a
Por tanto,
z - a
w~b~6 T^S
z —a ^ ~<p-6 es arbitrario).
Derivando ambos miembros de esta igualdad, obtenemos
Im b Im a
w{z) = ei$x
(w(z) ~ b) — a)2'
Haciendo el cambio z = a y tomando en consideración que
w{a) = b, obtenemos n
, Im& iü
w'{a) = r—ei<?1
Im a
Im b
Dado que — > 0, entonces arg w'{a) = $1. Tomando 0X
a,
obtenemos
w(z) - b iaz-a
w—a z—a
Derivando esta igualdad, hallamos
w'(z) eí(
(w(z)-a)2 (z-a)2'
Haciendo z = a y dado que w{a) = a, obtenemos
w' (a)
/ \= - eJQ.
TT
Por consiguiente, arg w'(a) (según las condicione!
3 /. * i •
de partida). De los dos valores 6X = 02 = - elegimof
0 _ l t debido a que - t t < arg tu'(a) < tt. Finalmente,
w- a '.z — a
s= % ~
w- a z-a
:: ZV&ZÚ
. t y,,//?, f
2) Derivando la función dada, obtenemos
ia 1 - az + a(z - a) 1 ~ H2
w'(z) — e
az)2 1 - az)2'
P
w'(0) = eia(l - ja|2), w'(a) = - 1 — .
1 - \a\2
K c- 1 ~ M 22 , ,
(1 - az) parte correspondiente del círculo
... . 1 - ja|2
se dilata; si ^ _ < entonces se contrae. Resolviendo estas
desigualdades elementales, obtenemos que el conjunto de los pun-
{
tos interiores del círculo G = < z e C: z - - < , /
a V |a ' 2
se dilata y el conjunto de los puntos exteriores del círculo
\\
J
entonces \w'(z)\ = l.
9
max|W'(*)| = Í ± M , minK(,)| = j - ^ 1 . •
WÍI í-W iziíi 1 i + W
mmi]
Solución. 1) Utilicemos la solución del ej. 62, tomando en 2)
1
a — -. Obtenemos
2
arg w J = arg ^ - 0 a = 0,
4
entoncess
' 1
z~ 2 2z — 1
W= ~ = — .
1_ í 2-z
2 •
Por consiguiente,
9 z - o-
-ir 2z-í 2¿z + l
w = eí A- = i
22 2 + ¿Z 2 + ¿z
1+
, c
3) En el punto 2), ej. 62, se demostró que w (a) = 1 _ ^ .
••mÉm
* Solución. La función wr{z) = ~ transforma K en el círculo
unidad, y la función 1
¿owi-wiia) R
e — — =
í 9
R\ _ Mjy z~ a
1 - wi(a)wi
= e
1 -
R\
transforma este círculo unidad en sí mismo. Sea w = w(z) una
aplicación del círculo K en el círculo K,. Entonces la función
w- b
= ei<pR :
Rl-bw
también transforma el círculo unidad en sí mismo. En las fórmulas
obtenidas 9 e M, <p e R son arbitrarias. Así,
{R\~bw{z)) 2 1 (R\-azf
{Rl-azY '
Haciendo z • a y tomando en consideración que w(a) =
hallamos
Ri
W a
R\~\b\2 ' ( )
R\-\a\ } Ri R\-W
Ri R\
Como =:— j^p > 0, entonces haciendo 0~<p = a obtenemos
Ri R\~
que arg w'(a) = a. Finalmente resulta
W — b 7 — n
R\ - bw R\ — az
Solución. Hacemos — w — 1. Entonces |ÍI>i = \w -
Toda aplicación del círculo unidad K en el círculo
K2 — {u>i 6 C: |wi| < 1} tiene la forma general
¿ÍÍ z — a
Wi = e —, $£K
1 - az
Según las condiciones de partida,
-ae =--,
1~a if)
e
l6
= -i.
1 -a
Haciendo e = — en la segunda ecuación del sistema, obtenemos
2a
1 -a~ -2a + 2\a\2, o bien a = 2\a\2 - 1.
Dado que (2|a|2 ~ l ) 6 E, entonces a es un número real y a = a.
El valor de a se halla a partir de la ecuación de segundo
2 a 1 1
grado a - ~ - - = 0, cuyas raíces son a\ — \ y a2 =
w2 + - W1
v
• z —2 2z - 4 - i
= wlf w2 = _ 2_ 2__
l
»
a
i
1 w2 2 + ¿(^ — 2)
2
1 + ~W\
2 1+ - 2)
Como w = 2(w2 + entonces
2z — 4 - z - 2+ i
2(w>2 + «) = 2
2 -f %{z - iz + 2-2%
\ ti*
• i" V, >• irr
! . ; ; m i:;: .r su-r.^Jl S i
pecto a la circunferencia dK =
{z 6 C: - = R} y respec-
to al eje imaginario- Estos puntos
satisfacen la condición h+R¡
(h - a)(h + a) = R2,
es decir, h2 - a2 = R2, =
Busquemos la apli-
cación w en la forma
Fig. 47
z-Vh2- R2
w= e 3 = 0 e m. (i)
z-+ Vh2 -f R2'
Para z = iy tenemos
¿y - Vft2 - R2
w= e = 1.
iy + Vh 2 - i?2' iy + v^2 - i?2
Por consiguiente, el eje imaginario se transforma en la circunferen-
cia 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 - R2 h+ R-
h+ R+ Vh2-R2
(2)
h~Vh2- R2 l • V 1
R - 1 - >
w = e ie 2z —.
¿ + 24
Como el punto z = 12 71 se transforma en un punto de la
circunferencia p, entonces
i9 2-12 24 2
p= e — = — =
y 12 + 24 36 3
2) Aplicando el punto a = O e n t ü = o o y e l punto
a* = —24, en w = 0. En este caso la circunferencia 71 se
LFFL
v V j r ^ ; , <
¿<,¿ + 24 24 + 24 2
w =e I T ' p = = 3
Nota. Al resolver ciertos problemas en los que se utilizan las funciones homográfi-
cas, es cómodo utilizar la denominada forma normal de la aplicación homográfica
con dos puntos fijos.
az + 6
Toda función homográfica L: z , distinta de la aplicación idéntica
° cz + d
w = z, tiene a lo sumo dos puntos fijos, los cuales se mantienen invariables
mediante la aplicación L. En efecto, la ecuación
az + b
cz + d
tiene dos raíces
a - d ± y/(a - d)1 + 4&c
zl,2
= 2c
que pueden coincidir si (a - d)1 + 46c = 0, mientras que en el caso contrario
tenemos dos puntos fijos.
El caso en que oo es un punto fijo es posible sólo para c = 0, es decir, si L es
una función lineal entera. Si ambos puntos fijos coinciden con oo, entonces c = 0
y d = a, lo que corresponde a una traslación paralela.
Sea L una función homográfica con dos puntos fijos diferentes z1 y z2. Para
mayor comodidad consideraremos que los puntos z y w = L(z) están en un
mismo plano. Tomaremos también un plano auxiliar para representar las variables
v y Hagamos
W — Z\
v= l = S(w)f
w - z2
c = iz£í = S(z).
Z — Z2
i
* •
'•«•«««A, — •
z - zz (i)
En caso de que = oo, para L tenemos w — z1 = k(z — zi).
La fórmula (1) se denomina forma normal de una aplicación homográfica con
dos puntos fijos. Como
W — ZJ z — z2
k= 1 1 (2)
W - Z2 Z - ZL V '
fc X 4- y >
z 1 -i i 0
W\ n -1 0
w 2 -1 0
'••mmmmm.
v ti^ ^ !
J i J ^
í Srt s ^ ^ > J - '1 ' '
W\ 1 00 "1
w 0 1 00
Wi 00
oo
- í l f l 1 / 1 z2 + l
w = 1 1 + 2 + - U + -
2 V z 2z
i 3
3) Dado que z = - ÍÜI = - t »-> W = if utilizando la
solución del ej.60 obtenemos
3 /3
w— %
w+ i e —T.' a = a r g
W\ + -I 1
4
Diferenciando w como una función compuesta, llegamos a
dw\ - dw (-i
dw dw dw\ V4
dz dw\ dz dz dz
mmiékM::: ' ¡
Rfsií H , MXQ^U • <vi W ¿VÍ; ,; •
de donde
du; |
7T 7T
arg VJ_ arg iy arg wj - ± x = -
2 2
+3 —2z2 + 3z - ;
—"TT = 1 I",
4wx - 3 2z2 + 3z + 2
Wl + -l
4
! = « . i ± i _- 1! =
¿a
« l
1z -ü a, - i %= —e i et f .
e = e -—
e
1 -f a 1- a
La constante o se determina del sistema de ecuaciones
1+ a .1 - a
1= -i -i =
1+ a 1—a
o bien
r l + a = -»(l + a)
\ 1 — a — ¿(1 - a).
Sus soluciones son a = iy a — -i. Por consiguiente, la función w
tiene la forma
1
z+ - z + - + 2i
. 2 z z
w = —i =% 1
z + - j +1 —z \-2i
z
. z2 + 2iz + 1 z2 4- 2 iz + 1
%-z2 + 2iz-l iz2 + 2z + i'
i 3.
2) Ya que z — i—y — % i—• w0,~entonces
0,
3.
4
,3. + 3i
Diferenciando la función w respecto a la variable W\, hallamos
dw 24 ie
dw i ;\2'
(4tüi + 3 i)
dw ( - i dw f
V4 24ie™ 2. * V4
— — = — t e , arg = - - +0.
dwx -36 3 ° dwx 2
Por otra parte, como vimos en el problema anterior,
dw ( - i
arg Vi_ arg TÍ; — arg wx
dw i
dw ( - i
\4 ,
Sustituyendo en esa igualdad arg
dw i
arg = \> a r S w i ( \ ) ~±7r y eligiendo argw\ f ~
V 5 ^taTI ÍÚÍ v; í; í I ? ?. 3; -,.:
* v^
Consideremos la función
wx + R1/a
w2 = -
wi - Rí/a'
Vemos que wx = -Rl/a i-> w2 - 0, w1 - Rxl<* »-> w2 - oo,
w2(R1^ai) = -(1 + ¿)2 = i- Por consiguiente, la función w2 trans-
forma el semicírculo dado en el primer cuadrante del plano w2.
Por eso la aplicación buscada es
l/a \ 2
+ R
w — w2
z\¡a _ R\/a
,l/« __ Rl/a
2) La función wx = R l ¡ a transforma la región D
el cero y el punto z\ en oo es
V3 i_
2 ~ 2 _ +
-
v^ i ~ 2z-V3-i*
z
2 2
Teniendo en cuenta que «>i(0) =
1 , v^i 1 + V3i
~2 + 7 ~ 2 — ' encon"
Fig. 48 tramos la imagen de la lúnula D\ en el
plano w1 (fig. 49). Las transformaciones
posteriores son evidentes. Primero efec-
tuamos un giro en un ángulo de mediante w2 = y
después hacemos w ~ w3J2. Finalmente,
Í2 z + V3-i\3
w = w2 =
2z + sft> - i
3) La función wx ~ 7= transforma la lúnula D 3
2z - V3 - ¿
en el interior del ángulo representado en la figura 51. La función
buscada w es
¡ar 3 (2z + V3-i\3
3Wl) \2z — V3 — i ) •
=
w — w2 = t
2 V2 z-V3-iJ
5) Hallemos los puntos extremos de la lúnula D5 (fig. 54).
Para ello tomemos z = 2eid y resolvamos la ecuación
l2c rt - V2 I2 = 2
" - ' l ' ' V
P/i
J2
Fig. 54 Fig. 55
zj = 2el 4 = 2
. , , , < •• •»
f > ; ' y
. • Sirf i^v .t-tn?.'
w = W 2 = \z-V2a+i)J
A y, . : » ..'....
z+ 1
Solución. Consideremos la función v>i = — ^ • Tenemos * -
_i ^ = 0 z = 1 ^ wi = Dado Wl{0) =
t •
i —>
*
Si! yf
• I'
V ! ' V :
{ ~1 = az\ + b
1 = az2 + b.
z2 - Zi
z2 - Zi
z+ R
M Solución. La función Wi - transforma el plano con
z —R
dos cortes en el plano con un corte a lo largo del semieje real
H1
A
A partir do la condición w (0) > 0 se deduce que - > 0.
Puesto que \k\ = 1, entonces k = e10 > 0 para 0 = 0, es decir
k — 1. Finalmente hallamos
- r\2'
=K( s)
ñ+ cosa+¿ ( "^) )-
ñ sena
Consiguientemente,
1 / 1\
tí = - I R+ — 1 cosa, v = i\ R sena. (i)
Aw Av (2)
R -f- R -
cosa 2 V RJ sen a 2 \ i i i R)
i
M'V • I..I-"
émm
(3)
cos 2 a sen2 a
La igualdad (3) muestra que las imágenes de las semirrectas
arg z — a son ramas de hipérbolas confocales. En particular, la
imagen de arg z = 0 es la semirrecta <po = {w G C: Rew ^ 1,
Imtü = 0}. En efecto, para a = 0, a partir de (2) se obtiene
R + l / R / T
que v = 0, u = > 1. De un modo análogo
se establece que a la semirrecta arg z = 7r le corresponde la
semirrecta <pv ~ {w G C: Rew ^ - 1 , Imw = 0 } , y a las
7T
semirrectas arg = ±—, el eje Re w = 0. •
W = — (z + .1 _
c
2) Realicemos una aplicación de semejanza tal que los
focos de la elipse sean los puntos ( - 1 , 0 ) y (1,0). Obtenemos
tí/i
VVa^&V VVa^T&V
Sea a = ^ El valor de r se obtiene a partir de la
IÜ2 -1
w? = a2 — b2
a-Yb a2 - b2
a -f b
Vfltt
•'vi'
Wi
z + \ z1 - (a2 - fr2
a + b\
Ahora vemos que la relación entre w\ y w se establece con ayuda
de la función de Zhukovski:
w=
1 í
- I w-i M =
2\ wj
a + fe
w2 = W\ + w\ — 1 = z + (a2 - b2) ).
í - hi V
Si aplicamos un giro y una semejanza obtenemos de nuevo un
anillo concéntrico. Así pues, en el caso general la aplicación
buscada w tiene la forma
w = h (z + yjz2 - (a2 - b2) J, K G C es arbitrario.
El módulo de la región es igual a la razón entre los radios
de las circunferencias del anillo concéntrico. En el plano W\ los
semiejes mayores de las elipses son
a2 + fc 2
/ «2
o^rp
puesto que
1 7T2
r + = a ±
a = = 2
Por consiguiente,
-1
a2-b2 a± 6
a2 + k2 Wfc2 a 2 + fc2 ±
a 2 — 62
a- b
H=
a2 + k2- V&TW
Mfiáill
sk; :„•:< ..
en - 1 . Sea z = x. Para x 1 í 1
- 0 tenemos - I x -f— —oo,
2 V x
mientras que para x +0, - ( x + — +oo. Por tanto, en el
2 l x
caso considerado, la función de Zhukovski transforma la región
dada en todo el plano w con cortes a lo largo de las semirrectas
f-oo, l (a + 1 y [ - 1 , +oo). •
. . . . v . , ' .«<
> >Vi
.. . .<< A< i
• <">*>>
•»>.<»> v
• •
segmento
r si 6
- J . De este modo, llegamos a las condiciones del
1 1
z H—
w =
m - 2 z
„J2)
Wi
T - r U +
i
\ < >'>y
JSttíí %p
í a -A v ^ s s - ^ s x s
' X ' V
«(I
• •.. . }
¡«8
I'
i 1
Solución. La función de Zhukovski tui = - z + -
1\ (
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
1
w = y/w¡ = J - a+ - \z +
a
-
z2 + i) + a2 + í)
2 1
£T+ -
es la aplicación buscada.
i
[(1 - h)el<\ e m ] , mientras que la función w2 = £ +
transforma este círculo en todo el plano w2 con un corte a Jo
largo del segmento [—l,Ai], donde
(1 ~h)2 + 1
hi = - í 1 - h +
1 -h 2(1 - h )
La longitud de este segmento es
(1 ~ hf +1 (2-hf
2(1-h) 2(1-h)'
Tomemos la mitad de la longitud de este segmento y calculemos
(2 - h)
/¿i -
4(1 - h) 4(1 - h)
Efectuemos una traslación de forma tal que el corte [-l,/&i]
se haga simétrico respecto al origen de coordenadas. Para ello
tomemos
4(1 - h)
Wi +
wi / 2(1 - h)
z e'L
2(1 -h)J'
;;||i||¡g|
después de simplificar por - obtenemos
2(1 - h)
JL 'z2 + 1 + Vz2 - 1
V2
2) La función wi = - transforma el conjunto dado en
el exterior de la cruz del problema anterior. Por tanto, para la
aplicación buscada w tenemos
V2 V2
+ih
Fig. 57
i u^y m m j; j Í .i ^VÍÍM^H^
Ü^WÍMÍM
U {z G C: b ^ Re z < +oo, Im z = 0 }
de la frontera se transforma en el segmento
í' — 6 C: - o o < Re vj\ ^ -y/a2 -he2, lmw\ = O j
W\ + Va 2 + c2 z2 + c2 + Va2 + c2
w = (1)
wx
transforma el exterior del segmento l y, consiguientemente, el
exterior de la cruz, en el semiplano superior
Resolvamos la segunda parte del problema. Denotemos la
longitud del segmento [ - V ' ^ T c * mediante 2¡3 y
escojamos un a G M de forma tal que se verifiquen las condiciones
— J ñ .
las cuales son equivalentes a las ecuaciones
2(VWT~? + <x) _ v 2 ( - V a 2 + c 2 +_a)_ = _x
V P T ? + Va 2 + c2 ~ ' V^ + ^ + V ^ ?
z2 + c2 + Oí + + +
donde
o^T?- Va2 + c2 + Vb2 + c2
a = , /3 = : • •
w = z2 + a2 +
1
Solución. La función de Zhukovski w\ = - ( z + - j transforma
2 V zj
I" 1 (
el exterior del círculo unidad con los cortes indicados en el exterior
1\ 1
de la cruz formada por el segmento — - í a H— ) , — í a H— 1
1\1 (
del eje real y el segmento - - i, - i del eje
imaginario. Hemos obtenido un caso particular del ej. 97, donde
1 / 1\ 1 ( 1\
se ha sustituido a por - I a + - ), b por — í a -1— 1 y e por
1 (
2 \ b) podemos utilizar la fórmula (1),
ej. 97, con las modificaciones indicadas. Para la aplicación buscada
w tenemos
z+í)+(o-l) + a-f + U - -
w =
a+l)2+(b~í)2~
a2+-i 1 + f W - ^
«H-VU/W^
2 1
a2 +
z-
Solución. Sea A el vértice de la
rama derecha de la hipérbola y F
su foco (fig. 59).
Hagamos un corte a lo
largo de la semirrecta [<4, +00).
Al resolver el ej. 86 demostra-
mos que la función de Zhukovski
1 / 1\
w = u -j- tv — - [ z — ) trans-
2 V zj
forma las semirrectas arg z ~ a
en las hipérbolas confocales
V
Solución. Sea A el vértice de la ra- i
ma derecha de la hipérbola (fig, 59), \J)
Hagamos un corte a lo largo de
la semirrecta (—oo, A]. La función ^^^
W\ = z + Vz2 — l, WI(OO) = OO, J ^ K ^ ^ ^ ^ S R
transforma la mitad superior de la ^ip^
región dada en la región represen- *
tada en la figura 61. La función ^ j ^
w2 = (e~iaw1)7r'a
transforma la región dada del pía- r Fig. 61
Fig. 61
no w\ en el semiplano superior sin
el semicírculo unidad superior. A su vez, la función de Zhukovski
1/
= ^ (
1 \
) transforma la región 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
Riemann—Schwarz vemos que la función transforma el ex-
terior de la rama derecha de la hipérbola en todo el plano con
un corte a lo largo de la semirrecta (1, +00). Por consiguien-
te, w = y/W3 — 1 es la aplicación requerida. Tras una serie de
transformaciones sencillas obtenemos
ir
z -
2 2 (tc-Q)
(e
ÍT
— ia { 2{%~a)
z + A/22 - 1
Wmmmmi
c = Va2 + b2, transfor-
ma la mitad superior de
la región dada en el sec- i?® LtaiUHJj
tor a < arg Wi < 7r — a, m
|«/i| > 1, donde
b
a = arctg - .
r<
a
Según el principio
de simetría de Riemann—
Schwarz, esta misma fun-
ción transforma confor-
memente toda la región
Blsili
Üwlíllil^
mm
dada en todo el sector ffitttliilfHj^.
a < argw>I < TT — a.
Por consiguiente, la fun-
ción Fig. 62
jr
z+ Vz2-C2 7x-la
= (e~iawi)* -2a
w —i e
( + V
donde
a — arctg p = a c =
a 2 arctg —
í V i l fr',.
í M í * , ) . • " V 't-vT
V
jrY', lí
s
S C i j * ' . ^ : i: x.;
v. • «Xs Xs :.«
"X'o « « ... . . .
Fig. 65
TT Z + 2
donde w2 = — u>i, = (fig. 65).
3 z —2
Así pues,
i£.5±?
ID — € 3 2-2. fc.
ij]
m
J?
V i' <>
W.
-Mlilí.
s - .-A f --J
, I K)» ».
^Wrr-'''
mmmm
.-r-iiíi I K M l - y , } ;
n*
uJ
• 1 ' * I» • V : ' 1 .'.'I /'Jl
<:>
r-::
2+ i
^ Solución, La función w¡ = : transforma el conjunto G en
% %
la franja vertical. D — {n?i € C: 0 < Re < 1}, y la función
X ^ X » < . <* . sss s s . s .. ss . . . . s .
i-V i '
¡••y.
Tomando
Fig. 68
argtüj(-3í)=
Tomemos ahora w — w(w3) y exijamos que se cumpla la condición
i
de normalización arg w ( - 3 i ) = —. Diferenciando w respecto a
x
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) = - - -
aiBiai;
• « I. . A .
^ 1 ' "'
mámMámm^m
I í :: < *
eos 2 z + ch 2 h
= \f™~2 eos 2z + l
es la aplicación buscada,
es la aplicación requerida.
mmttmmm
iíi, Ú un; f: Sri^^; müit ¡ i •.: iS :Vl *
•i < ^ • . •
I ' -
® Ejercicios
4- D C m 0 S ' ; r q u e 13 f U n d Ó "
«" = ( r ^ l ) 2 * biunívoca y confo^e ,a
región G = {z £ C: |z| < 1, I m z > 0 } e „ .a reglón D = { w € c I n . > 0 }
5. Hallar la taagen de la reglón C = 6 C W < 1} m e d ¡ an t e la aleación
1 -Az
w—
1-z
aplicación w = (
z~ + 16
A
- 16 A
7. Hallar la imagen del conjunto G = í 2 P C R p ^ n i m
¿2 _ . J t u t K e * > ^ 0} mediante la
aplicación w = ~
z¿ + i
8. Transformar el conjunto D = {z E C: \z\ ^ 1, R e ¿ ^ 0} con ayuda de la función
u> — —— .
9• Demostrar que la función
W=Q+n
2 - ai z3)2
z3f
aplica univoca y conformemente la región
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
c) G = {ze C: \z I < 1} n {z e C: | z + i\>l],
\2z +
11. Hallar la función potencial que transforma de modo biurúvoco y conforme el interior
TT
del ángulo 0 < arg z < — en todo el plano complejo w con un corte a lo largo du
3
ir
la semirrecta arg w = —.
4
12- Hallar la aplicación de una hoja y conforme que transforma el interior del ángulo
0 < arg (z - i - 1) < ~ en la región G = {w€ C: Kew > 0 } .
2
13. Hallar la función biunívoca y conforme que transforma el interior del ánguU
TT TT -
— < arg (z — i) < — en el semiplano superior.
4 4
14. Hallar la función biunívoca y conforme que transforma el interior del ángulo
IT TT
— < arg (z - a) < — en la región G = {w € C: I m w > 0},
6 3
15. Hallar la función de una hoja y conforme que transforma la región G = {z (E (
Re 2 > 0,Im z > 0} en la región JO = {tu € C Re w > 1},
16. Hallar una función lineal entera que transforma el triángulo con vértices en los
puntos 0, i en el triángulo semejante con vértices en 0, 2, 1 + i.
17. Hallar una aplicación lineal entera con un punto fijo 1 + 2i, la cual transforma el
punto i en el punto -i.
18. Para las aplicaciones indicadas a continuación, hallar los puntos fijos de orden finito
z0 (si existen), el ángulo de giro 6 alrededor de z0 y el factor de dilatación x
Reducir estas aplicaciones a la forma canónica w - z0 ~ \{z — ZQ).
a) w = 2z + 1 — 3
b) w = iz + 4 ;
c) tü = J2r -H 1 — 2í;
d) w — w{ = a(z — Zi) (a ^ 0);
e) w — az + b.(a ^ 0).
z - Zi
19. Para la función UJ =
z - z2
a) demostrar que la preimagen de la familia a — {w € C: \w\ = A (0 < A < -|-oo)}
es una familia de circunferencias (circunferencias de Apolonio). Para un A íij<
hallar el radio y el centro de la circunferencia correspondiente en el plano z;
b) hallar las preimágenes de las semirrectas argw =
c) construir una red en el plano z que corresponda a una red polar en el plano
d) hallar una región del plano 2 que corresponda al semicírculo K = {w G C; |w;| < I
Imw > 0}.
20. Hallar la forma general de la función homográfica w = w(z) que transforma
círculo K = (z 6 C: \z\ < 1} en el semiplano derecho P = {w 6 C Re w > 0
de modo que w{z\) = 0, «>(22) = co, donde z\ y z2 son dos puntos fijos de I
circunferencia dK tales que arg Z\ < argz 2 .
mmmmBMmf.
21. Hallar el centro w0 y el radio R de la circunferencia que es la imagen del eje real
Z — Z\
(Im Zi 0) mediante la función w = ,
z ~ z2
22. Hallar la forma general de la función homográfica w = w(z) que transforma el
círculo K = {z G C: \z\ < R] en sí mismo bajo las condiciones siguientes:
a) w{a) = 0 {\a\ < R);
b) w(a) = b (\a\ < R, ¡61 < R);
c) w(±R) = ±R.
23. Transformar el círculo K = (z 6 C- \z\ < 1} en sí mismo de forma tal que
dos puntos fijos zv z2 del interior del círculo se transformen en ios puntos ±a
(0 < a < 1).
24. Transformar el círculo K = {z G C: \z\ < 1} en sí mismo de forma tal que el
segmento del eje real 7 = {z G C 0 ^ R e z ^ a (a < 1), Imz = 0} se transforme
en un segmento del eje real simétrico respecto al origen de coordenadas. Hallar la
longitud del segmento transformado.
25. Demostrar que toda aplicación lineal de un círculo en otro se determina unívocamente
indicando las imágenes de un punto interior y de un punto frontera,
26. Demostrar que si una aplicación lineal tiene dos puntos fijos, el producto de las
derivadas en estos puntos es igual a uno*
27. a) Determinar para qué valores de m la función w = R(z + mzn)f donde n € N,
transforma conformemente el círculo K = {z G C: \z\ < 1} en cierta región y
hallar esta región.
b) Resolver el mismo problema para la aplicación del exterior del círculo K
a)
b) w = + (a > 0);
32, Transformar cn el semiplano superior el exterior del círculo unidad con cortes a lo
largo del segmento [ - a , - 1 ] y de la semirrecta [1, +oo), donde a > 1,
33. Transformar el círculo K - {z G C: |*| < 1} con un corte a lo largo del segmento
[a, 1], 0 < a < 1, en el círculo 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 círculo 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 círculo 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 círculo unidad G = {z G G \z\ > 1} en el plano w
w—1
con un corte a lo largo del arco arg - (3 (0 < \(3\ < TT) de forma tal que
° w +1
w(oc) — oo, arg iv'(oo) — a,
36* Hallar las imágenes de los conjuntos siguientes mediante la aplicación w = c£ :
a) la red rectangular x — C, y = C;
b) las rectas y = kx + b;
c) la franja A<y <P (Q^a< /3 ^ 2TC);
á) la franja entre las rectas y — x, y — a; + 27r;
e) la semifranja a? < 0, 0 < y < a < 2tt;
f) la semifranja x > 0, 0 < y < A ^ 2TT;
g) el rectángulo {a, p) x (7, (6 - 7 < 27r).
37. Determinar las imágenes mediante la aplicación w = ln z de los conjuntos siguientes:
a) la red polar \z\ = R, arg z — 9 ;
b) las espirales logarítmicas r ~ (A > 0);
c) el ángulo 0 < arg z < a < 2ÍT;
d) el sector 5 = {z G O (z| < 1, 0 < arg z < a < 2TT};
e) el anillo K = {z G G rx < \z\ < r2} con un corte a lo largo del segmento
[r\,r2l
38. Determinar las imágenes de los conjuntos siguientes mediante la aplicación 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 imágenes 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
: >
c) V2;
d) para ningún 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 + — + - 0 si c ^ 0; el eje v = 0 si c = 0;
2 c
1\ 2 1
3) la circunferencia - ~J + v 4- - = -;
2 2'
4) la semirrecta arg w ~ —a;
1
5) la recta v — -;
2
'': ''':r'
».>!••'*"i^'
hi'v^SÍ
'M X^iljSí
6) v = -\u\; A ^
4 0 . a) Analítica en €\{0};
b) no analítica en todo punto z 6 C, pero diferenciable en el punto z
c) no analítica en todo punto z € C.
42.
44. a) f(z) = z2 + 2z;
b) f{z) = ez + zz + 5z + 9.
Capítulo 3
1. La línea Re w ~ 4 eos ip(2 eos ip + 1) - 3,
Im w - 4 sen <p(2 eos +1), 0 ^ y? ^ 27r.
3 . El círculo jw| < 1.
5. El círculo |u/| < 4 .
6. El semiplano Im w > 0.
7. El círculo |w| ^ 1.
8. El círculo |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 .
1 + iV3
14. w — (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 ) ;
c) no hay puntos fijos de orden finito;
d) si a — 1, no hay puntos fijos de orden finito; si a 1, entonces
Wi-azi W\- azx w i — az\
zo = —; , 0 = arg a, k = a\, w = ai 2 -
1 -a 1—a
^ISI
s , I .
1 • : •
i.
I • l
<
¿,'i •
;
r/V Vi-
ix/ \ i
G(*
X í — ¿ g j
21 w - ElZli R — ~~
z2 z2 2jlm z2\ '
z - a
22. R2eCia —T
a) w = XI
R1 az'
—=—=¿ z—a
b) 2 R 2-az'
R~ - bw
z —a
c) w — / donde a es un número real y !<x| < R.
R2 - az
w- a z2 - Zj
23* ,i<p ——~~, donde <p— ir - arg
1 — aw l-zxz 1 - Z\Z2 '
\z2 Z\\
a =
- ZlZ2\ + J(l - \Zi\2) (1 -\z2\2)
az — \ + V i - a 2 1 - V i - a2
24. u> = ± T = = , p= 2 •
(1 - Vi - a2)z -a &
27. a) lm| < La región está limitada por una epicicloide alargada, 1
Tí
cual constituye la trayectoria descrita por un punto situado a un
• *
•x&m £: ^
Í^
J^
\vM4b
zmse3
'
s
t « « ' V h / v'.(? U . .j. r.r.
z-l a
28. w = 2
z-f 1 + 2'
M - 1
29.
•W + 1 2 p-
(1 - z f * - (1 + Z f \2 3
1
30. w =
(1 - zf¡3 + (1 + *)2/3 y) + 3'
3 2 . w; =
1 4a
4a / 1\ (1 - a)¿ • ( U a)2
33.
w + » = ((1i +Ta)-
^
z ++ -
zJ - |rri ' =
2 ; w (0) 4r- u lonsitud
a +
a + - + b+ -
1 1
t
34. w+ — M ) - ' n
í//(0) = a b
M +
w 4
[ a+ -
V a + ' + »
Las longitudes de los arcos que corresponden a los cortes son iguales a
4-(, + l) + ( 6 + * -4-(q + l) + (t + l
2 arccos , 2ir — 2 arccos
+ + 6+
(° l) ( i) ( s) ( i)
0+ + 6+
w- 1 zen + ieiM
35. , donde 7 = a si (3 > 0, y 7 = a 4- ir
w+1 ze17 -f ie-^2
¡3 <0.
36. a) En la red polar p — const, 9 = const;
b) en las espirales p = (para k = 0, en las semirrectas 9 ~ b)-f
c) en el ángulo a < 9 < ¡3 (para a = 0 y p = 2ir en el plano con un cor
a lo largo del eje real positivo);
d) en todo el plano con un corte a lo largo de la espiral p — e9;
e) en el sector p < 1, 0 < 9 < a (si a — 2TT, en el círculo unidad con 1
corte a lo largo del radio v = 0, 0 ^ u ^ 1 );
f) en la región ¿ > > 1 / O < 0 < a (para a = 2ir, en el exterior del círcu
unidad con un corte a lo largo de la semirrecta v = 0, 1 ^ u < 00;
g) en la región ea < p < e^, 7 < 9 < 6 (para 6 - 7 = 2TT esta rogií
es un anillo concéntrico con un corte a lo largo del segmento 9 ~
tP).
37. a) En la red cartesiana rectangular u = c, v = c;
b) en rectas;
c) en la franja 0 < v < a;
d) en la semifranja u < 0, 0 < t» < a;
e) en el rectángulo ln r\ < u < ln r2/ 0 < v < 2TT.
tt 7r
38. a) En la semifranja -— < u < v > 0;
7T ir
b) en la franja
J — < u < —;
2 2
7T
c) en la semifranja 0 < u < v > 0;
7T
d) en la franja < u < 0.
41. w
Z+t
e
7
+ 2 - %
" * 1 •
42. w = - Z+t
/ i t 4 f ^ *
e z-* + 2 + %
43. w = jcos irz - COSTT/II
1 + eos 47xjz
eos 47xjz — eos 47r/a
e—2t//3 _ e2ni/z
e2*/a _ e2ni/z '
M.
índice de materias
A Bolzano—Weierstrass, teorema 100
adherencia 32, 96 Borel—Lebesgue, — 102
ángulo entre dos curvas en el punto del
infinito 175 c
anillo 19 campo 19
— conmutativo 19 — normado 20
— unitario 19 — ordenado 59
aplicación 15 Cantor, curva 112
— biyectiva 17 —, teorema 36, 50
— continua en un conjunto 42, 46 Cauchy, criterio 99
en un punto 42, 46 Cauchy—Riemann, condiciones 143
en el sentido de Cauchy 45 cicloide 127
— de inversión 181 — acortada 128
— definida paramétricamente 17 — alargada 128
— discontinua 42 círculo 183
¡ - elíptica 259 circunferencia de Apolonio 86
— hiperbólica 259 cisoide 225
j.*
m
N primera componente de un par ordenado
norma cúbica 21 12
— de un espacio 20 — proyección de una relación binaria 13
— de un vector 21 principio de simetría de Riemann—
— euclídea 21 Schwarz 282
— octaédrica 21 producto cartesiano 12
núcleo de Dirichlet 72 prolongación de una función 16
número complejo 56 propiedad aditiva de una aplicación li-
conjugado 56 neal 140
— circular 149, 178
o — distributiva 19
operación de adición 19 — lineal de la diferenciación 136
— de inversión de una relación binaria — simétrica 23
15 — triangular 20, 23
— de multiplicación 19 proyección estereográfica 61
orientación contraria 110 punto adherente 32, 95
— de una curva 109 — aislado 34
— de acumulación 33, 96
P — de discontinuidad evitable 42,103
par ordenado 12 — de ramificación 195
paralelo 62 algebraico 195
parametrízación de un segmento 96 de n-ésimo orden 195
— de una curva continua 108 de n-ésimo orden 195
- en sentido general 112 de orden infinito 195
suave 109 — de un espacio métrico 23
— natural de una curva suave 110 — del infinito 60
parametrizaciones equivalentes 109 — exterior 30
de una curva suave 109 — frontera 34, 96
parámetro 17 — interior 29, 95
pares ordenados iguales 12 — múltiple 109
parte imaginaria de un número complejo puntos simétricos respecto a una circun-
56 ferencia 179,181
— — de una función compleja 102 respecto a una recta 179
— real de un función compleja 102
de un número complejo 56 R
plano complejo 56 rama principal 202
ampliado 60 - uniforme 194, 202
— ecuatorial 62 recta numérica 23
polo norte 62 recubrimiento de un conjunto 37
— sur 62 región 41, 97
preimagen de un conjunto 16 — n-conexa 112
: : ^j• L V -^¿j^ =
m m m m m w ^
muíü 1 >
183 , fundamental 24
regla del recorrido 183 — de vectores, convergente 21
relación binaria 13 , fundamental 22
funcional 15 — numérica acotada 21
inversa 14 infinitésima 21
restricción de una función 16 real 16
en un conjunto 16 superficie de Riemann 194
Riemann, esfera 61
—, superficie 194
Riemann—Cauchy, condiciones 143 teorema de acotación de un compncl
Riemann—Schwarz, principio de sime- 101
tría 282 — de Bolzano—Weierstrass 100
— de Borel—Lebesgue 102
— de Cantor 36, 50
Schwarz—Riemann, 282 — de continuidad de la aplicación inve
sección primera de un conjunto 13 sa 44
— segunda de un conjunto 14 de la composición de aplicación*
segmento 96 43
segunda componente de un par ordena- de funciones 105 I
do 12 de la imagen de un compacto 4l
— proyección de una relación binaria 14 107 I
semimeridiano 62 de la norma 21 I
símbolo de conjunción 6 de la restricción de una aplicad!
— de disyunción 6 46 I
— de equivalencia 6 de las aplicaciones biyectivas 1 ( I
— de implicación 6 de una función diferenciable 13(1
— de inclusión 7 — de Fréchet 37 I
— de Landau o( 1) 21 — de Hausdorff 37 I
0(1) 21 — de invariancia de los puntos simé i
— de negación 6 eos respecto a una aplicación 11
— de pertenencia 7 mográfica 181 I
— de Jordán 110 en una región 150
— de la derivada de la composición trocoide 128
135
de la función inversa 139
del cociente 138 unión de conjuntos 10
del producto de funciones 138
— de Lagrange 154
— de Viéte 73 valor absoluto 19
— de Weierstrass 107 — de una aplicación 15
— del límite de la composición de fun- — principal del argumento 57
ciones 106 vector 20
topología de un espacio métrico 52, Viéte, teorema 73
94
— definida por entornos 113 w
— del plano complejo 95 Weierstrass, teorema 107
transformación conforme de primera es- Weierstrass—Bolzano, — 100
pecie 150
de segunda especie 150
en un punto 149 Zhukovski, función 206
índic
Prólogo a "Variable compleja
Capítulo 1
Estructuras fundamentales del análisis matemático
§ 1. Elementos de la teoría de conjuntos y aplicaciones
§ 2. Estructuras matemáticas
§ 3. Espacios métricos
§ 4. Conjuntos compactos
§ 5. Espacios y conjuntos conexos
§ 6. Límite y continuidad de una aplicación
de un espacio métrico en otro
Capítulo 2
Números complejos y funciones de variable compleja .
§ 1. Números complejos y plano complejo
§ 2. Topología del plano complejo. Sucesiones de números complejos
Propiedades de las funciones continuas en un compacto . . . .
§ 3. Curvas continuas y suaves. Dominios simplemente y
múltiplemente conexos
§ 4. Funciones diferencíables de variable compleja.
Diferenciabilidad en € y en 1 . Funciones analíticas
f \
Capítulo 3
Funciones elementales en el plano complejo
§1. Funciones homográficas y sus propiedades
§2- Función potencial w — z7\ Función multiforme z = tyw.
Superficie de Riemann
§3. Función exponencial w = e~. Función multiforme z — Lnw .
§ 4. Funciones potencial y exponencial generales
• • •• -¿m IfiC
. ! : f.: ** H
y..
i .
; • j. .• • x• • '
^T^lJÍrV¿^^^i^*:
WJJ¿"T1 •.>'(';•',•;;• i.
'.'.Y
•: •
•
•
' i
Respuestas 303
DE RECIENTE EDICIÓN