Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CON APLICACIONES
William R. Derrck
Traductor:
Revisara Tcnica:
S.AM CY
Grupo Editorial Iberoamrica
VARIABLE COMPLEJA C O N APLICACIONES
ISBN 968-7270-35-7
Printed in Colombia
Impreso en Colombia_
E d itor: Nicols Grepe P.
P rodu ctor: Oswaldo Ortiz R .
C u bierta: Miguel ngel Richaud
V
PRLOGO
O r g a n i z a c i n y e x t e n s i n
Los propsitos de este libro son que sirva de texto para un curso introductorio
de un semestre de anlisis de variable compleja a nivel bsico. Se ha incluido
considerablemente ms material del que puede exponerse sin dificultad en un
semestre; dando a los profesores, por esa razn, la oportunidad de seleccionar
los temas que juzguen ms importantes.
Los Captulos del 1 al 5 abarcan la mayor parte del material que se expo
ne en un curso semestral introductorio. Los maestros que deseen minimizar los
aspectos tericos del curso deben omitir las Secciones Opcionales 2.5 y 3.5.
Quienes deseen omitir aplicaciones laboriosas deben evitar las Secciones Op
cionales 1.10, 4.5, 5.7. y 5.8. Se incluye un breve estudio de las funciones ar
mnicas en la Seccin 6 .1 ., que puede estudiarse en cualquier momento, des
pus que se haya tratado el material de la Seccin 2.3.
El Captulo 6 es una introduccin a las transformadas integrales desde el
punto de vista de la variable compleja. Se espera que los profesores incluyan al
gunos de estos aspectos en los planes de cursos. Las transformadas integrales
son tcnicas extremadamente eficaces o poderosas en las ciencias y la ingenie
ra. Esta introduccin debe preparar a los estudiantes para cursos avanzados
de matemticas aplicadas.
El plan para un curso semestral podra incluir:
N ive l
El texto ha sido elaborado para el estudiante promedio de ingeniera. Se ha
puesto especial cuidado en explicar cada concepto tan claramente como es
posible: Cada concepto est precedido por un ejemplo o un anlisis que lo mo
tivan. As mismo, cada Seccin contiene varios ejemplos totalmente resueltos.
Las pruebas con mayor grado de dificultad se identifican con una cruz o daga
PRLOGO vii
Ex a c t it u d
Todos los ejemplos y las respuestas de este texto se han comprobado cuidadosa
mente, tanto por el autor como por varios revisores, a fin de prevenir errores.
Agradecer que me hagan saber de cualquier errata que persista, y prometo
incorporar todas las sugerencias en la siguiente impresin del libro.
C a r a c t e r s t i c a s d id c t ic a s
E je m p l o s
En cada seccin se incluyen numerosos ejemplos resueltos, que van desde las
aplicaciones ms inmediatas, hasta otras moderadamente complicadas. Los
ejemplos se separan del material del texto por medio de un espaciamiento.
E j e r c ic i o s
Se ha puesto especial cuidado al elaborar los ejercicios a fin de asegurar la utili
zacin de valiosas experiencias de aprendizaje en cada uno. Los ejercicios con
mayor grado de dificultad se han marcado con un asterisco (*). Cada conjunto
contiene una gama completa de ejercicios presentados en orden creciente de
dificultad. Muchos de stos consisten en resultados y teoremas tiles; se reco
mienda al profesor que seleccione cuidadosamente los que sean de mayor be
neficio para sus clases.
Se proporcionan las soluciones de los ejercicios de nmero impar. Estas no
son simplemente las respuestas ni las soluciones completamente desarrolladas,
sino sugerencias acerca del camino que puede tomarse para llegar a la respues
ta dada. Se invita a los estudiantes a que pongan a prueba sus propias ideas an
tes de utilizar las sugerencias indicadas. La editorial puede proporcionar un
Manual del Instructor (en ingls) que contiene las soluciones de los ejercicios
pares.
N o t a s de c a p t u l o
Cada captulo concluye con una breve indicacin de otros resultados y fuentes
de material colateral y complementario. Los estudiantes interesados pueden
examinar estas guas para lograr una comprensin ms profunda del contenido.
Ta b l a de s m b o l o s y a p n d ic e s
En las pginas subsiguientes se presenta una tabla de los smbolos utilizados en
el libro. Los apndices al final contienen tablas de mapeos conformes, trans-
viii PRLOGO
R e c o n o c im ie n t o s
Deseo expresar mi agradecimiento a las siguientes personas por sus mltiples y
tiles sugerencias al revisar diferentes versiones del original de esta obra Janos
Aczel (U. of Waterloo), Eric Bedford (Princeton U .), Douglas Campbell
(Brigham Y oungU .), Michael OFlynn (San Jos Stte U .), Donald Hartig(Cal
Poly San Luis Obispo), Harry Hochstadt (Polytechnic Institute of New York),
William Jones (U. of Colorado), John Kogut (U. of Illinois), Steven Krantz
(Pennsylvania State U .), E. Macskasy (U. British Columbia), James Morrow
(U. of Washington), David Snchez (U. of New Mxico), Franklin Schroeck,
Jr. (Florida Atlantic U .), Jerry Schuur (Michigan State U .), Brian Seymour (U.
British Columbia), R. O. Wells, Jr. (Rice U .), Lawrence Zalcman (U. of
Maryland).
William R. Derrick
C o n ten id o
Prologo ix
Al Estudiante xiii
T a b la de Smbolos xiv
1 Funciones a n a ltic a s 1
1.1 N m eros com plejos y su lgebra 1
1.2 R epresentacin p olar 9
1.3 Conjuntos en el plano com plejo 19
1.4 Funciones continuas de una variable 24
1.5 Condiciones necesarias p ara la analiticidad 31
1.6 Condiciones suficientes p ara la analiticidad 35
1.7 E xponencial com pleja 40
1.8 Las funciones trigonom tricas e hiperblicas com plejas 44
1.9 Las funciones logaritm o com plejo y p otencia com pleja 47
1.10 A plicaciones en ptica (opcional) 53
N otas 59
ix
X CONTENIDO
Z In te g r a c i n c o m p le ja 61
2.1 Integrales de lnea 61
2.2 El teorem a de Green y sus consecuencias 71
2.3 L a frm ula integral de C auchy 78
2.4 T eo rem a de Liouville y principio del m xim o 86
2.5 El teorem a de Cauchy-G oursat (opcional) 90
N otas 99
4 In te g r a c i n en c o n to r n o s 133
4.1 T eo rem a del residuo 133
4 .2 Evaluacin de integrales reales definidas 138
4.3 Evaluacin de integrales reales im propias 141
4 .4 Integrales con polos sobre el eje real 145
4 .5 In tegracin de funciones m ultivaluadas (opcional) 150
4 .6 El principio del argum ento 156
N otas 159
Problem as c o n v a lo re s en l a
FRONTERA Y VALORES INICIALES 207
A pndices
Bibliografa 277
Respuestas a problem as im pares 279
ndice 299
Tabla de sm bolos
e 2 senh z 46 PV 146
i 5 log z 47 V 179
z 5 Log z 49 v 179
Re z 5 za 50 Vs 179
Im z 5 spp 62, 232 A 211
z 7 yf{ z ) dz 64 r + Q 222
id 9 -y 78 U(0 + 0) 232
Argz 10 1dz 1 78 u(<p - 0 ) 232
arg z 11 Pn(z) 85 u'(<t> + o) 232
Int S 21 dR 90 u'(4> - o) 232
311 23 Ln (z ) 98 u 236
oo 23 Sn 101 H(4> - a) 240
1. 1 N Om eros c o m p l e jo s y su lgebra
1
2 CAPTULO 1 FUNCIONES ANALTICAS
1 1 1 1 1 1 1 '-1 1 ' (-
- 3 - 2 - 1 0 1 2 3
i
1. Leyes conmutativas
a+b - b +a yA . ab = ba.
2. Leyes asociativas
(a + b) + c = a + (b + c) y (ab) c = a(bc).
3. Leyes distributivas
a(b + c) = ab + ac y (a + b )c = ac + be.
4. Identidades. La identidad aditiva 0 y la identidad multiplicativa 1 sa-
tisfacen que 0 = 1 y
a+ 0 =a= 0 +a y a 1 = a = 1 a.
5. Inversos. Cada nmero real a tiene un inverso aditivo ( -a) y, si
ai= 0 un inverso multiplicativo a ~1 que satisface
a + (a) - ,0 = (a) + a y aa ~ 1 = 1 = a~ l a.
Sin embargo, los nmeros reales tienen una deficiencia bsica: no propor
cionan todas las soluciones posibles de las ecuaciones polinomiales. Por
ejemplo, la ecuacin x 2 + 1 = 0 no puede resolverse usando nmeros reales,
ya que el cuadrado de cualquier nmero real es no negativo. No obstante, po
demos corregir este defecto si definimos el conjunto de nmeros complejos G,
que se forma de todos los pares ordenados
z = (x, y)
( 1 , 2 ) (2, 3) = (2, 3) + ( 0 , 1 ) ( 4 , 6 )
= (2, 3 ) + ( - 6 , 4)
= ( - 4 , 7)
(-4. 7)
(4.6)
(-6 .4 ) =
(0. 1)(4. 6)
X
0
Ej e m p l o 1
Encuentre las partes real e imaginaria de z = 2 + 3z.
SOLUCIN: Tenemos Re z = 2 e Im z 3.
(1 + 2 i) + (2 + 3t") = 3 + bi,
(1 + 2i) (2 + 3t) = 2 + (41 + 3i) + 6i 2 = 4 + li.
- (, +y) (4 d j ) = / ^ w
a + bi ' J ' \a2 + b 2 J \a2 + b 2 ) \a2 + b 2
x + yi _ x + yi a bi _ i ax + by \ f ay bx
a + bi a + bi a bi \a2 + b 2 ) \a2 + b2 i
Ej e m p l o 2
1 - 2i
Exprese el cociente - como un nmero complejo.
1 21 _ (1 2z) (3 +4 i) _ 3 6z + 4i 8i 2
3 - 4 (3 - 4) (3 +4 zj 9 + 12* 12* 16z2
= 11 _ JL
25 25 *'
z + z = (x + y) + (x iy) = 2x = 2 Re z,
z z = (x + iy) (x iy) = 2iy = 2i Im z,
y
zz = (x + iy) (x iy) = x 2 + y2 .
Ej e m p l o 3
Encuentre la longitud del vector z = 5 + 7i.
Si z ! - x j + iy j y z 2 - x 2 + y 2 , entonces
z , + z 2 = (x , + x 2 ) + (y 1 + y 2 ) = ( ^ 1 + x 2 ) - 7 ( y i + y 2)
= (x, - i y i ) + ( x 2 - i y 2 ) = * i + z 2 -
Luego, el complejo conjugado de la suma de nmeros complejos es la suma de
sus conjugados:
+ Z2 + 2-
De manera semejante se muestra (vanse Ejercicios 27-29) que
Z\ - z 2 = Z l - z 2 ,
z~r2 = Z iZ 2
y
(z ,/z 2) = z7/z, z 2 # 0 .
CAPTULO T FUNCIONES ANALTICAS
Ej e r c ic io s
En los Ejercicios 1-12, encuentre la suma, diferencia, producto y cociente de cada par
de nmeros complejos.
1. i, 2 2 . i, i
3. 1 + i, i 4. 2- i, 3 +
5. 1 + i, 1 i 6. 2+ i, 3 4i
7 .5 ,2 + * 8.5,2 +
9 . 3 - 2t, 4 + i 10. 2 + i, 2 - i
11. 4 + 5 i, 1 i 12. 2+ i, 2i
En los Ejercicios 13-20, escriba el nmero dado en la forma x + iy.
13. ( l - ) 2 14.(1 - i ) 3
15. (1 2i ) 2 16. i 2 (1 + i ) 3
1, 2 + i 4 +i 3 + 2 , 5 - 2
i /. 18. + ---------
3 1 + 2i 1+ i 1 + i
19. (1 + i) (1 + 2i) (1 + 3) 20. (1 - i) (1 - 2i) (1 - 3)
21. Pruebe que Re (iz) = Im z.
22. Verifique que Re (z ) = Im(z').
23. Pruebe que si z z 2 ~ 0 , entonces z = 0 o z 2 = 0.
24. Muestre que si Im Z > 0, entonces Im (1 z) < 0.
*25. Suponga que z x + z 2 y z z 2 son, ambos, nmeros reales negativos. Pruebe que
Z[ y z 2 deben ser reales.
*26. Pruebe el teorema binomial para nmeros complejos,
(2, + z 2 )n = z n, P t f j z r 1 Z2 + ( Z ) z nr 2 z l + . . . + Zn2 ,
ni
donde n es un entero positivo y (%) -
k ! (n k )!
{Sugerencia: Use induccin.)
En los Ejercicios 27-29, sean z - x + iy i y z 2 = x 2 + iy2 .
donde A = \ / - + D, B = j / - - D, y D = J +
2 2 4 27
*32. Confirme la necesidad de los nmeros complejos incluso para encontrar las
races reales de
w3 19tu + 30 = 0
por el mtodo de Tartaglia.
33. Pruebe que los nmeros complejos satisfacen los axiomas de campo.
34. Demuestre que la identidad aditiva de C es nica.
35. Pruebe que la identidad multiplicativa de Q es nica.
1 .2 R e p r e s e n t a c i n p o l a r
Hemos visto que los nmeros complejos pueden representarse como vectores en
el plano complejo. En esta seccin utilizaremos el concepto de segmento de
recta dirigido para determinar las propiedades de la longitud y del ngulo
de inclinacin de un vector en el plano complejo.
Considere el vector no nulo z = x + iy mostrado en la Figura 1.6. La
longitud del vector z se puede determinar con el teorema de Pitgoras:
r = \ A 2 + y2 .
lzl = v /* 2 + y 2 .
Note que Iz I > Re z, Iz I > Im z y Iz I= \z\. Adems, recuerde que en la
Seccin 1.1 probamos que zz = x 2 + y 2. Por tanto, zz = Iz I2 .
Im z
FIGURA 1.6. R e p re s e n ta c i n p o la r
CAPTULO 1 FUNCIONES ANALTICAS
La d e s ig u a l d a d del t r i n g u l o
: i z ' f +:-?2 I z j l+; l z 2 i.
y
6 = arctan
x
Esta expresin, sin embargo, no ser vlida en el segundo o tercer cuadrante,
ya que los valores de arctangente caen en el intervalo (7r/2, 7t/2). Adems, el
ngulo de inclinacin del vector est determinado hasta un mltiplo de 2n, ya
que los ngulos
6 + 2nk, k = 0, 1, 2 , . .
Im z
E je m p lo 1
Encuentre la representacin polar de 1 i.
\ l - i \ = y / l 2 + ( - l ) 2 =y/ 2,
mientras que el valor principal del argumento de 1 i es
A rg(l - * ') = -
* Los iibros de ingeniera usan a menudo las notaciones r | y r cis 6 para la representacin polar de z.
CAPTULO 1 FUNCIONES ANALTICAS
arg (l i) = + 2itk,
4
Por tanto, la longitud del vector zw es el producto de las longitudes de los vec
tores z y w, mientras que el ngulo polar del vector zw es la suma de los ngulos
polares de los vectores z y w. Como el argumento se determina hasta un ml
tiplo de 27T la ecuacin (3) se interpreta diciendo que, si se asignan valores par-
Im z
ticulares a dos trminos cualesquiera, existe un valor del tercer trmino para el
cual se cumple la igualdad. La construccin geomtrica del producto zw se
muestra en la Figura 1.9. Para la multiplicacin, el ngulo entre w y zw debe
ser idntico al ngulo entre 1 y z en la Figura 1.9. De ello, los tringulos de 0 1 z
y 0 w zw son semejantes.
La divisin d nmeros complejos conduce a la ecuacin siguiente:
2 Iz I
- -j - [cos(0 0) + sen(0 0 )].
w Iw I
Como Iw I = Iw I, obtenemos, por las frmulas de suma de ngulos de la
trigonometra,
z zw \z l(cos 0 + i sen0) Ij l(cos 0 sen0) ,
= _ = i---------------------- A ----------------- , w =f U.
w ww Iw I
Por lo tanto,
z Iz I
- = 7 -T (4 )
W \w\
y
arg(z/w) = arg z arg w, (5)
con la ecuacin (5) sujeta a una interpretacin similar a la de la ecuacin (3).
El producto
zw = Iz I I w I [cos(0 + 0) + i sen(0+ 0 ) ] ,
donde 6 = arg z y 0 - arg w, conduce a un resultado muyinteresante cuando
z = w. Como 0 = 0 , tenemos
z2 = \z\2 [cos(20) + is e n( 20 )] .
Con w = z 2 obtenemos
z(z2 ) = Iz I Iz I2 [cos(0 + 20) + sen(0 + 20)]
o
z 3 = Iz I3 [cos(30) + i sn( 30)].
y
(eos 0 + i sen0)3 = cos(30) + sen(30).
Ej e m p l o 2
Calcule (1 z')23.
(1 + 0
( 1 z")2 3 = 223/2 20 48(1 + *).
2ir(k + n) 2irk
----- - - ------- + 2 it,
n n
pues los ngulos polares se repiten cada n enteros. Por tanto, limitamos
nuestra atencin a ls n ngulos polares
6 = (Arg w + 2irk), k = 0, 1, . . n 1.
n
Ej e m p l o 3
Encuentre las tres races cbicas d e a = 1 - i
Ej e m p l o 4
Una elipse se define como el conjunto de todos los puntos de & tales que
la suma de sus distancias a dos puntos fijos, llamados focos, es constante.
CAPTULO 1 FUNCIONES ANALTICAS
Cul es la ecuacin de la elipse que pasa a travs de i y que tiene sus focos
en + 1 ?
lm z
c = l - 11+ \i+ l l = V 2 -
As, la elipse est dada por
Iz - 11+ \z + l \= 2 y/ 2 .
Ej e m p l o 5
Una parbola se define como el conjunto de todos los puntos de (3 cuya
distancia a un punto dado, llamado foco, es igual a su distancia a una
recta fija llamada directriz. Encuentre la ecuacin de la parbola que
tiene i como foco y la recta Im z = 1 como directriz.
Iz I-2 + 1 + 2 Re zi = (Im z + l ) 2
12 REPRESENTACIN POLAR 17
Ej e m p l o 6
Una hiprbola est constituida de todos los puntos z de <3 tales que el va
lor absoluto de la diferencia entre las distancias de z a dos puntos fijos,
llamados focos, es una constante. Cul es la ecuacin de la hiprbola con
focos 1, que pasa por el punto 1 + t?
llz 1 1 \z +^1 II = c,
donde c es una constante. Como el punto z = 1 + i satisface la
ecuacin, encontramos que c = y/W 1.
Ej e r c ic io s
En los Ejercicios 1-9, encuentre el valor absoluto, el argumento y la representacin po
lar de los nmeros complejos dados.
l. 2. i 3. 1 +
4. 3 + 4 i 5. 4 + 3 6. 5 12z
7 .2 + li 8. 2 - i 9. 5 + 2i '
18 CAPTULO 1 FUNCIONES ANALTICAS
En los Ejercicios 10-15, use el teorema de De Moivre para expresar cada nmero en la
forma x + iy, donde x y y son reales.
io . (i + 0 29 11. ( - 1 + O 17
12. ( - 1 - O36 13. (2 + 2z)12
14. (>/3 + z) is 15. (\ /3 + z')13
Encu en tre todas las soluciones de las ecuaciones sealadas en los Ejercicios 16-23.
16. z 2 = i 17. z2 = l + z
18. z2 - 2 i 19. - z 2 = ^ 3 + z
20. z 3 = 2 +i 21. z 3 = 1 +y/5t
22. z4 = i 23. z4 = - 1
24. Encu en tre la ecuacin de la elipse con focos z que pasa por el punto 1 + i. En
geom etra an altica, cul es la frm ula correspondiente?
25. Exprese la ecuacin de la elipse con focos 1 e i que pasa por el origen. Cul es la
frm ula correspondiente en geom etra analtica?
26. Encuentre la p arb ola con foco 1 + i, y con la recta R e z + Im z = 0 com o di
rectriz.
27. Escriba en form a com pleja la ecuacin general de una hiprbola con focos ay b.
28. Pruebe que Iz I< |Re z I+ llmzl
*29. Dem uestre que, si Iz , I = I z 2 I = I z 3 I y z + z2 + z3 = 0, entonces z , , z 2,
z 3 son los vrtices de un tringulo equiltero.
{Sugerencia: Muestre que Izj z 2 I2 = lz2 z 3 I2 = lz3 z x I2 .)
*30. Com pruebe que el tringulo con vrtices Z , Z 2 , Z3 es equiltero si y slo si
z\ + z\ + z \ = Z j Z 2 + Z 2 Z 3 + Z 3Z ].
s i l z K l y l a l < 1.
36. Muestre que la desigualdad del tringulo es una igualdad para los nmeros z y
z 2 con valor diferente de cero si y slo si arg z i = arg z 2 .
37. Muestre que si z 0 es una raz del polinomio P(z) con coeficientes reales, entonces
z 0 es tambin una raz de -P(z).
38. Desarrolle Izj + Z 2 l2 para probar la desigualdad del tringulo.
{Sugerencia: z , z 2 ^ |Z]Z2 1= Iz 3 IIz 2 I.)
39. Las n races de la ecuacin zn = 1 se llaman races n-simas de la unidad.
Muestre que estas races estn dadas por
/ 2-nk \ . ( 2nk \
z.= eos I -------- I + i sen I I, k = 0, 1, . . ., n 1.
1.3 CONJUNTOS EN EL PLANO COMPLEJO 19
1 .3 C o n j u n t o s en el p l a n o c o m p l e j o
Si z 0 es un nmero complejo, entonces, una e- vecindad de z 0 es el conjunto
de todos los puntos z, cuya distancia a z 0 es menor que e , esto es, todos los z
que satisfacen Iz z 0 I < e (vase Figura 1.12). Grficamente, este es el in
terior de un disco centrado en z 0 de radio e.
Imz
FIGURA 1 .1 2 . Uno e- v e c in d a d d e z 0
CAPTULO 1 FUNCIONES ANALTICAS
Im z
Ej e m p l o
Sea S 0 el conjunto de todos los puntos z tales que \z I < 1. Encuentre el
interior, la frontera y el exterior del conjunto S0 .
Im z
Un conjunto es abierto si todos sus puntos son interiores; esto es, S = Int S
cuando S es abierto. As, el conjunto S q del ejemplo anterior es abierto. Al
complemento de un conjunto abierto se le llama cerrado. Por ejemplo, el con
junto T de todos los puntos z, tales que iz I ^ 1 es cerrado. De igual manera,
el conjunto Iz K 1 es cerrado.
Se dice que un conjunto S es acotado en caso de que exista un nmero re
al positivo R tal que todo z en S satisfaga Iz I < R . Si esta condicin no se
cumple, decimos que S es no acotado. Por ejemplo, el conjunto S0 en el
ejemplo anterior es acotado, pero r = { z : l z l > l } es no acotado.
Un conjunto S es conexo si no puede ser representado como la unin de
dos conjuntos A y B ajenos y no vacos tales que ninguno de ellos contenga un
punto frontera del otro. Intuitivamente, lo que se seala es que S est integra
do por una sola pieza. Por ejemplo, S 0 es conexo, pero el conjunto de todos los
z, para los cuales Iz 2 I< 1 o lz + 2 l < l e s n o conexo, puesto que podemos
formar el conjunto A de todos los z tales que Iz 2 I < 1, y el conjunto B de
todos losz para los cuales Iz + 2 l < 1 (vase Figura 1.15). Entonces x4 y B son
conjuntos abiertos, ajenos, y ninguno de ellos puede contener un punto fronte
ra del otro (por qu?).
FIGURA 1 .1 5 . A UB es no co n e xo
*Muchos libros llaman dominio a un conjunto conexo abierto. Evitaremos tal uso para evitar una posible
confusin cuando se describa el dominio de definicin de una funcin compleja.
CAPTULO 1 FUNCIONES ANALTICAS
Te o r e m a
Cualesquiera dos puntos de una regin pueden unirse por medio de un
polgono contenido en la regin.
Ms an, es posible pedir que todas las lneas del polgono sean paralelas
a los ejes coordenados. La prueba con este requisito adicional ser idntica, ya
que siempre podemos unir el centro de un disco abierto a uno de sus puntos
por, a lo ms, dos segmentos de recta paralelos a los ejes. (Vase Figura 1.16.)
Una regin es simplemente conexa si su complemento es conexo. Esto
significa que esta regin no tiene hoyos. Por ejemplo, el conjunto S 0 del
ejemplo anterior es simplemente conexo, pero el conjunto de todos los z que sa
tisfacen 0 < Iz I < 1 no lo es, ya que el origen constituye un hoyo de este
conjunto.
En muchas ocasiones es conveniente extender el sistema C de los nmeros
complejos con la inclusin de un punto al infinito denotado con el smbolo
Este nuevo conjunto se llama plano complejo extendido 311 y el punto sa
tisface las siguientes reglas algebraicas:
a
a + oo = oo + a = oo) _ = 0 a#
OO
h o = ao b = oo ' = oo b^O.
0
Como modelo geomtrico para 3R usamos l esfera unitaria en el espacio
tridimensional x\ + x\ + x | = 1. Asociamos cada punto z del plano al punto
z en la esfera, donde el rayo que se origina en el polo norte N pasa a travs de z
e intersecta la esfera. As, N corresponde a (vase Figura 1.17) y las e-vecin-
dades de N sobre la esfera unitaria corresponden a vecindades del punto al in
finito. Este modelo se llama esfera de Riem ann, y la correspondencia entre los
puntos se denomina proyeccin estereogrfica. Todas las lneas rectas en Q
corresponden a crculos que pasan a travs de en 311* Probaremos esta afir
macin en el Captulo 5.
Ej e r c ic io s
En los Ejercicios 1-10,clasifique los conjuntos de acuerdo a los trminos abierto,
cerrado, acotado, conexo ysimplemente conexo.
1. Iz + 3 l < 2 2. I Re z I< 1
3. IIm z I> 1 4. 0 < Iz - l l < 1
* Otras notaciones comunes para )TC son 5, <3,U { f .
24 CAPTULO 1 FUNCIONES ANALTICAS
5. Iz K Re z + 2 6. Iz - 1 1 - Iz + 1 l > 2
7. I z + l l + \z + i \ > 2
8. Iz 1 1< Im z
9 .2 v / 2"< lz-ll + +1 1<3
Iz
10. 11z I Iz + z II< 1 .
11. Cules son las fronteras de los conjuntos sealados en los Ejercicios 1-10?
En los Ejercicios 12-15, pruebe las propiedades indicadas de los conjuntos abiertos y
cerrados.
12. La interseccin de un nmero finito deconjuntosabiertos es abierta.
13. La unin de un nmero finito de conjuntoscerradoses cerrada.
14. La interseccin d cualquier coleccin de conjuntos cerrados es cerrada.
15. La unin de cualquier coleccin de conjuntos abiertos es abierta.
16. Pruebe que, si cualesquiera dos puntos de un conjunto abierto pueden unirse
mediante un polgono contenido en el conjunto, entonces ste es una regin.
17. La cerradura de un conjunto S es la interseccin de todos los conjuntos cerrados
que contienen a S. Pruebe que la cerradura de un conjunto conexo es conexa.
18. Pruebe que S es cerrado si y slo si contiene todos sus puntos de acumulacin.
19. Cul es el punto de acumulacin del conjunto que consiste en todos los puntos
z = 1/n., siendo n un entero positivo? (Este ejercicio muestra que un punto de
acumulacin no necesariamente pertenece al conjunto.)
20. Sea S el conjunto de todos los z que satisfacen I z l ^ l oz = Oy muestre que z =
0 no es un punto de acumulacin de S.
21. Cul es el punto de acumulacin del conjunto de todos los puntos :z = m,
siendo n un entero positivo, en el plano extendido 371? Este conjunto tiene un
punto de acumulacin en (3?
22. Muestre que cualquier punto de una regin es un punto de acumulacin de
dicha regin.
Una funcin compleja de una variable compleja es una regla que asigna un n
mero complejo w a cada nmero complejo z de un conjunto S. Si escribimos
w f(z ), w es el valor de la funcin en el punto z que est en el dominio de de
finicin S. Al escribir w = f(z ) en trminos de las descomposiciones en partes
real e imaginaria z = x + iy y w = u + iv de cada variable compleja,
w = u(z) + iv(z) = u(x, y) + iv(x, y),
notamos que una funcin compleja de una variable compleja consiste en un
par de funciones reales de dos variables reales.
Ej e m p l o 1
Exprese w = z 2 como un par de funciones reales de dos variables reales.
w - z 2 = (x + iy)2 = ( x2 y 2 ) + i(2xy).
As, u(x,y) = x 2 y2 y v(x, y) = 2xy.
Im z Im w
F ig u ra 1 .1 8 . un m a p e o =f(z)
Ej e m p l o 2
Analice la funcin w = 2>z .
* A las funciones uno a uno se les llama frecuentemente inyecciones y a las funciones sobre se les denomina
suryecciones. Una funcin que es tanto inyeccin como suryeccin se llama biyeccin.
CAPTULO 1 FUNCIONES ANALTICAS
Ej e m p l o 3
Describa el conjunto imagen de la funcin w = z 2 definida en el disco
Iz l< 2, y establezca si este mapeo es uno a uno.
Im w
F IG R A 1 .1 9 . El m a p e o w = z 2
Ej e m p l o 4
Determine si la funcin
z - 1
w = -------
2 - 2
D e f in ic i n
Se dice que la funcin/(z) tiene lmite A cuando z tiende hacia a ,
lm / ( z ) = A,
z^a
si para todo e > 0 existe un nmero 8 > 0 tal que
If ( z ) - A \ < e
siempre que 0 < Iz a I< 8. Adems, la funcin/(z) es continua en a si y
slo si
lm / ( z ) = / (a)
z -a-a
(vase Figura 1.20). Una funcin continua es aquella que es continua en todos
los puntos donde est definida.
CAPTULO 1 FUNCIONES ANALTICAS
Ej e m p l o 5
1
Pruebe que lm 2.
3 Z 2
SOLUCIN: Con la expresin l / ( z ) A I, simplificada, obtenemos
3 z
2
z -2 z -2
z - 1
- 2 < e.
REGLAS DE LMITES
Sean lm f ( z ) - A y lm g{z) = B.
z -* a
Entonces
(i) lm [f(z) g(z)] = A B ,
z-+a \:
(ii) lm f { z ) g ( z ) = A B ,
z-*a
(iii) lm ^ = - - para B -A 0.
g(z) B
2wj2^iaSil53liJyfiS3jlSiiiiSyL5ES5itl
1.4 FUNCIONES CONTINUAS DE UNA VARIABLE 29
If ( z ) g ( z ) - A B I= If ( z) g( z) - f ( z ) B + f ( z ) B - A B I
= I +B[f(z)-A] I
< \ g [ ? ) ~ B \ + 151 \fiz ) ~ A
/(*) A
1
1
+
g(z) B g(z) B B B
_ / ( z ) [B - g { z ) ] + f ( z ) - A
Bg(z ) B
'/(*)! i . l /( z ) A i
ib - m i * M
B I Ig(z)\
si 0 < e < \ \B\, tenemoss
1*1 = \ B - g ( z ) + g ( z ) \ < e + \g(z)\,
de tal forma que
\ g ( z ) \ > \ B \ - e > \ \B\
l / ( z ) l = \f(z) - A + A \ < \ A \ + e.
Por tanto,
\f(z)g(z) - A B \ < e ( \ A \ + I 5 l + e )
y
\A |+ e
< + 1
g(z) b B\ \\B\
as que podemos hacer f{z)g(z) y/ (z) arbitrariamente cercanos a AB y A / B ,
respectivamente, con z suficientemente cercano a a. Esto comprueba las reglas
() y (i) -
Las reglas de los lmites pueden usarse para probar que toda funcin poli-
nomial en z
f { z ) = a nzn + an_ xz n 1
30 CAPTULO 1 FUNCIONES ANALTICAS
m =?
es claramente continua en cualquier punto si 8 = e . Al aplicar la segunda
regla de los lmites repetidamente, vemos que f ( z ) = z n es continua para todo
entero positivo n . Toda funcin constante f ( z ) = c es trivialmente continua, ya
que todas las e- vecindades de cualquier punto se mapean dentro de cualquier
5 -vecindad de c. Nuevamente, aplicando la segunda regla de los lmites, ve
mos que f ( z ) = an zn es continua. Finalmente, cuando usamos la primera regla
de los lmites repetidamente, vemos que todos los polinomios son continuos.
Ciertamente, con la tercera regla de lmites encontramos que todos los cocien
tes de polinomios
an z n + . . . + a l z + a 0
bm zm + . . , + b {z + b 0
Ej e m p l o 6
Determine si la funcin
z2 - 1
m = ----------, zi = i
z - 1
3, z = 1
es continua.
Ej e r c ic io s
Use la definicin e - 8 de lmite p ara verificar los Ejercicios 1-10.
1. lm 2 z = 2 2 . lm iz = 1
Z-+1 z~*i
1.4 FUNCIONES CONTINUAS DE UNA VARIABLE 31
3. lm z + i = 0 4. lm z2 + 1 = 0
z* i z-+i
5. lm 2z 3 = 1 + 2i 6. lm z 2 = 2i
z-> 1+i Z-* 1+i
z2 4 z2 + 1
7. lm --------- = 4 8. lm r = 2i
z-* 2 z 2 z-> z +z
z3 1 z 2 3z + 2
9. lm =3 10. lm ------------------ = 1
i z 1 2 z 2
Pruebe que las funciones en los Ejercicios 11-14 son continuas en G :
11. tu = Re z 12. w = lm z
13. w = z 14. w = Iz I
Suponga que/(z) es una funcin continua en un dominio G. Pruebe que las funciones
de los Ejercicios 15-18 son continuas en G.
15. Re/(z) 16. I m / ( z )
17. l /( z )l 18. f ( z )
19. En qu puntos la funcin
z3 1
zi= 1
/(* )H -zi 1r
3
z = 1
2
es continua?
Demuestre que las funciones en los Ejercicios 20-23 son continuas para z = 0. Puede
definirse la funcin como para hacerla continua en z = 0?
2 0 ./ + ) = i^ i-z 21./(z) = i i
2 2 . / ( z) = ( 2 ) S h ) 23 , / ( z ) = ( 5 5 4 0 0 ^ 4 !
Iz r Iz r
24. Verifique que toda funcin de la forma
w = - - . a= b
z-b
es un mapeo uno a uno del plano extendido 3TI sobre s mismo.
25. Compruebe que toda funcin de la forma
-----
w - Z + b >
cz + d
fld
J-l-U
be
z-* z 2
27. Suponga que los coeficientes del polinomio
P(z) = anzn + . . . + a xz + a0
satisfacen Ia 0 I^ Ia t I+ Ia 2 + + I I. Pruebe que P(z) no tiene races en
el disco unitario Iz I< 1. (Sugerencia: Note que
\P{z) l> la0 I [ Ia t I \z 1+ . . . + \an \\z\n \.)
1 .5 C o n d ic io n e s necesarias p a ra la
ANALITICIDAD
La derivada de una funcin compleja de una variable compleja se define,
exactamente, de la misma manera que el caso real del clculo elemental.
/y g f'-fg ,n
a------ r ^ >
^ / r
(/U(-Z) ) ) ' = / V ( - Z))sr'(-Z)> Regla de la cadena.
Las pruebas son idnticas a las de cualquier libro de texto de clculo ele
mental. Por ejemplo,
{ m .}= 1Im n a * h ) g ( a + h ) - f ( a ) e (a)
h~* o h
= lm f ( a + h)g (a + /t) - / ( a + ft)g(q) + / ( a + ft)g(a) - f(a)g(a)
h-+ o h
= lm / ( a + h) + * ) - ( ) + W + A)
h-* 0 /i /i
= / ( ) '( ) + g ( a ) / '( a ) .
Los polinomios y las funciones racionales se derivan de la misma manera
que en clculo elemental. Por ejemplo, sea f ( z ) = zn con n un entero positivo.
Si usamos el teorema del binomio, tendremos
P(z) = a0 + a xz + a 2z 2 + . . . + anzn
f w \ - i,m
i- 1f 1i
x + -w
y) nf ( .xw
>y) . d f ( z ) . A (, ).
fx = -ify .
34 CAPTULO -1 FUNCIONES ANALTICAS
^X Wx f x ify Vy lU y ,
^X ~~ Vy , Vx ~ Uy .
TEOREMA:
Si la funcin / (z) = u(z) + iv {z) tiene derivada en el punto z, las prime
ras derivadas parciales de u y v, con respecto a x y y, existen y satisfacen
las ecuaciones de Cauchy-Riemann.
Ej e m p l o
Sea f( z) = z 2 = (x 2 y 2 ) + 2xyi. Como f es entera, u = x 2 y2 y
v = 2xy deben satisfacer las ecuaciones de Cauchy-Riemann. Observe
que
ux = 2x = vy y uy = 2y = vx .
Ej e r c ic io s
En los Ejercicios 1-4, pruebe que cad a funcin satisface las ecuaciones de Cauchy-
R iem ann.
1 . f(z) - ex (e o s y + i sen y)
2. / ( z ) = eos x cosh y i sen x senh y
3. / ( z ) = sen x cosh y + i eos x senh y
4. / ( z ) = ex ~y (e o s 2xy + i sen 2xy)
M ediante las reglas p ara derivar, encuentre las derivadas (com plejas) de las funciones
sealadas en los Ejercicios 5-8.
z2
5. f ( z ) = 18z3 ---------+ 4z + 8 6. f ( z ) = (2z3 + l ) s
1.6 CONDICIONES SUFICIENTES PARA LA ANALITICIDAD 35
9 - ( f g)' = f , g'
11. Muestre que el cociente P (z)Q (z) de dos polinomios tiene derivada en todo
punto z donde Q(z) Q.
Utilizando las ecuaciones de Cauchy-Riemann, pruebe que las funciones de los Ejerci
cios 12-15 no son derivables en todo C .
12. f { z ) = z 13. f ( z ) = Re z
14. f (z) = Im 2 15. f (z) I^ 1
Use las ecuaciones de Cauchy-Riemann y la definicin de derivada para determinar
dnde tienen derivada las funciones de los Ejercicios 16-19.
16. f ( z ) = z 2 17. f ( z ) = (Re z) 2
1 8 . / ( z ) = z Rez 19. f (z) - z Im z
20. Pruebe la regla de la cadena para la derivada [/(g(-z))] ' = f' {g(z))g\z), su
poniendo que f y g son enteras.
21. Utilice la regla de la cadena para probar que una funcin entera de una funcin
entera es entera.
*22. Si todos los ceros de un polinomio P(z) tienen partes reales negativas, pruebe que
lo mismo se cumple para todos los ceros de P'(z)? (Sugerencia: Factorice P(z) y
considere P'(z)/P(z).)
23. Si u y v se expresan en trminos de las coordenadas polares (r, 6), muestre que
las ecuaciones de Cauchy-Riemann pueden escribirse en la forma
9m 1 9u 19u dv
-> ---------------- = - > r 0.
9r r 90 r 90 9r
24. Pruebe que la funcin
1 .6 C o n d ic io n e s suficientes pa r a la a n a l it ic id a d
Entonces
,4
**o.
Z \ lZ
que tiene valor 1 sobre el eje real y valor -1 sobre la lnea y = x. A s , / n o tiene
derivada en z 0; pero si se desarrolla la expresin para / se tiene
Por lo que,
ux ( 0, 0) = 1 = Vy (0, 0), - u y (0, 0) = 0 = vx (0, 0),
y se cumplen las ecuaciones de Cauchy-Riemann.
Sin embargo, tenemos el siguiente teorema:
Te o r e m a
Sea f ( z ) = u(x, y) + iv(x, y ), definida en alguna regin G que contiene
al punto z 0 , y que tiene primeras derivadas parciales continuas, con res
pecto a x y y, que satisfacen las ecuaciones de Cauchy-Riemann en z 0 .
Entonces f ' { z 0 ) existe
L
f ( z) - f ( z o) = u (x >y) - u j x p , y 0 ) + . v ( x , y ) - v { x 0, y o )
z z0 z-z f z - zc
Xx0 u(x, y) - u ( x 0, y) v(x, y) - v { x 0, y)
z - z0 X Xf X Xc
y - y o ~u ( x o, y) - u ( x 0, y 0 ) + t>(x0, y) - t;(x0, y 0)
z -z 0 y -y o y-yo
X x 0
Ux (x0 + ti (x - x 0 ) , y ) +ivx ( x 0 + t2 {x - x 0 ),y)
z z0
y-yo
% ( * o . y o + *3( y - y o ) ) + ivy ( x0, y 0 + M y - y o ) ) f >
z -z
f (z) - f ( z o) _ * - * o
[* (*o) + *M *o ) + (m ]
z-z n Z Z0
y - y o
[uy (Z0 ) + Vy (-Z0 ) + e 2 ] ,
z Zn
1.6 CONDICIONES SUFICIENTES PARA LA A N A LITO D A D 37
Ej e m p l o 1
Muestre que la funcin
Ej e m p l o 2
Describa la regin de analiticidad de la funcin
(x - 1) y
(x l ) 2 + y 2
CAPTULO 1 FUNCIONES ANALTICAS
En el caso de variable real del clculo elemental, sabemos que cuando la deri
vada de una funcin es Cero en algn intervalo, la funcin es constante en ese
intervalo. Para variables complejas se obtiene un resultado semejante.
Te o r e m a de l a d e r iv a d a n u l a
Sea/ analtica en una regin G y f ' (z) = Oen todo z de G. Entonces/ es
constante en G. Se tiene la misma conclusin si Re f , Im /*. l/l o arg f
es constante en G.
PRUEBA: Como f' (z) - ux (z) + ivx (z), si la derivada se anula implica que
ux = vy , vx = uy son todas cero. As, u y v son constantes a lo largo de cual
quier recta paralela a los ejes coordenados y como G es conexo mediante un
polgono (vase el teorema y las observaciones despus de su prueba en la Sec
cin 1.3), / = u + iv es constante en G.
Si u (o v) es constante vx = uy = 0 = ux = vy ,lo cual implica que
/ '( z ) = ux (z) + ivx (z) = 0 y / es constante.
Si l/l es constante, tambin 1/ |2 = u 2 + v2 ,1o es; esto implica que
v = (tan c) u,
Ej e r c ic io s
Pruebe que las funciones en los Ejercicios 1-5 son enteras.
1. f( z) = ex (eos y + i sen y)
2. f ( z) = eos x cosh y i sen je senh y
3. f( z) - sen x cosh y + i eos x senh y
4. f\z) = (x 3 3 x y 2 ) + i { i x 2y y 3 )
5. f( z) = sen(x2 y2 )cosh(2xy) + i cos(x2 y2 )senh(2xy)
En los Ejercicios 6-8, diga si las funciones son analticas.
6-f(z) = ,-X , J
x2 + y2 x2 + y2
i eos ( ~ ) senh
x 2 + y 2) \ x 2 + y2
z3
z^O,
Iz l2
0 z = 0.
satisface las ecuaciones de Cauchy-Riemann, pero no tiene derivada en ese punto.
10. Muestre que la funcin
r , z o,
/(*H [o , z = 0,
satisface las ecuaciones de Cauchy-Riemann en z = 0, pero no tiene derivada en
ese punto.
11. Si f(z ) = u + i v y f = u iv son analticas, pruebe q u e / es constante.
12. Sea f( z) = u + zuentera, y suponga que u v es constante. Pruebe quef es cons
tante.
13.51 f ( z) u + iv es entera y v = u2 , muestre que f es constante.
14.51 / = u + ives entera y u 2 v2 pruebe que f es constante.
15.Suponga que la funcin analtica f definida en la regin G, toma valores reales.
Pruebe que/es constante en G.
16.Sean f( z) = z 3, z = 1, z 2 = i. Pruebe que no existe un punto z 0 sobre el
segmento de recta que une a z x y z2 tal que
f ( Z2 ) - f { z l ) = f \ z 0 ) ( z 2 - Z l ).
Esto demuestra que el teorema del valor medio para funciones reales no se ex
tiende a las funciones complejas.
17.51 z - x + iy, muestre que no existe una funcin entera cuya derivada sea la
funcin f ( z) = x
40 CAPTULO 1 FUNCIONES ANALTICAS
1 .7 Ex p o n e n c ia l c o m p l e j a
Hemos visto en la Seccin 1.4 que los polinomios y las funciones racionales en
una variable real producen funciones analticas cuando la variable real se
reemplaza por z. Esto de ninguna manera es un ejemplo aislado. De hecho, to
das las funciones elementales del clculo, tales como exponenciales, logaritmos
y funciones trigonomtricas, dan lugar a funciones analticas cuando se extien
den apropiadamente al plano complejo. En las siguientes tres secciones, defini
remos las extensiones de estas funciones elementales e indicaremos algunas de
sus propiedades.
Empecemos con la exponencial ex . Deseamos definir una funcin
/( z ) = e? que sea analtica y que coincida con la funcin exponencial real
cuando z sea real. Recordando que la exponencial real se determina por la
ecuacin diferencial
DEFINICIN
La exponencial compleja dada por
2 = ex (eos y + i seny)
es una funcin entera con valor diferente de cero que satisface la ecuacin dife
rencial
/'(*)= /(*). /(O ) = 1.
Que 2 0 se sigue de que ni ex ni eos y + i sen y se anulan. Adems,
observe que como z = x + iy , la notacin conduce a
e = eos y + i seny, I I= 1.
observemos que la franja infinita 7t < y < 7t se mapea en <3 { 0 } : los pun
tos sobre el segmento de recta x = 0, ir *0 y < irse mapean de manera uno a
uno en el crculo Iw I = 1, las rectas verticales a la izquierda del eje imaginario
se mapean en crculos de radio r < 1, las rectas verticales a la derecha del eje
imaginario sobre crculos de radio r > 1, la mitad izquierda de la franja en la
Figura 1.21 se mapea en 0 < Iw I< 1, y la mitad derecha va a Iw I> 1. Obser
ve que e? tiene periodo 2iri, porque
as que los valores complejos e2 y ez+2ntk , con k entero, son idnticos. Por tan
to, cada franja infinita ir < y 2nk < ir, k = 0, 1, 2, . . ., tambin se
mapea en <3 {0 } , y el mapeo e2 : <3 -* <3 {0 } manda un nmero infinito de
puntos de <3 al mismo punto en <3 {o } . Este es un resultado indeseable, en
vista de que no permite la discusin de una funcin inversa, excepto sobre cada
una de las franjas infinitas descritas anteriormente. La funcin inversa es ver
daderamente importante, porque la inversa de la exponencial real es el logarit
mo. Para eliminar esta dificultad, imagine que el contradominio del mapeo
consiste en un nmero infinito de copias de <3 {o } apiladas en capas unas
sobre otras, cada una cortada a lo largo del eje real negativo con el borde supe
rior de una capa pegada al borde inferior de la capa superior, produciendo
un conjunto <R que asemeja una rampa infinita en espiral (vase Figura 1.22).
El conjunto <R difiere de <3 {0 j en que cada punto de <R queda determina
do unvocamente en coordenadas polares, mientras que los puntos de <3 {o }
no se pueden determinar en la misma forma, porque el argumento es multiva-
luado. Si utilizamos a (R como el contradominio de la funcin e2 y medimos
distancias cortas en <R de la manera obvia, observamos que e1 mapea a <3 con
tinuamente en <R y que el mapeo es uno a uno. As, e? : <3 -* <R tiene inversa,
la cual estudiaremos en la Seccin 1.9. La analiticidad de ez no se afecta al ha
cer este cambio de contradominio, porque
^ +h - ** - e \
~ ~ r ~
17 EXPONENCIAL COMPLEJA 43
Ej e r c ic io s
E n los Ejercicios 1-7, exprese cad a nm ero en la form a x + zy.
l e 2 . e (1+7r!')/2
3 . g _ r + (,r/4) 4_ e (1+ tt)/4
5 . e 3 *V2 6
7. e7r/2.
En los Ejercicios 8 -1 0 , encuentre todos los nm eros complejos z que satisfacen las con
diciones dadas.
8. e 2 z = - l 9 . e iz = 2 10. e* = - 1
1 1 . O btenga todos los valores de e 71* / 2 , con h entero
12. Muestre que (e2 ) = e2 .
En los Ejercicios 1 3 -2 0 , utilice el teorem a de De Moivre y calcule ca d a nm ero
13. (1 + i ) 29 14. ( - 1 + i ) 17
15. (1 f)36 16. (2 + 2 )ia
17. (v/3 + 0 15 1 8 . ( - V $ + 0 13
1 .8 Las fu n c io n e s t r ig o n o m t r ic a s e hiperblicas
COMPLEJAS
La exponencial compleja puede utilizarse para definir las funciones trigono
mtricas complejas. Como e^ = eos y + i sen y y = eos y sen y, en-
t0nCCS + e -v y - e~v
eos y = > sen y - -------------- -
2 2i
Extendemos estas definiciones a los planos complejos como sigue:
D e f in ic i n
giz + e - h
eos z = -------------- > sen z =
2 2i
Estas funciones son enteras, pues son sumas de funciones enteras y satisfacen
y
c o sz j eos z 2 senzj senz2
gi + e- i + e~ ai elz e~Ul e12"1 ~ e-1*2,
2 2 2 2i
2c e' + 2e~'
= cos(z, + Z 2 ).
4
ey + e~ y\ . ( e y - e~y
eos x z ) senx.
2 J V 2
As,
eos z = eos x cosh y i senx senh y.
De manera semejante encontramos
sen z = sen x cosh y + i eos x senh y.
TEOREMA
Los ceros reales de sen z y eos z son sus nicos ceros.
D e f in ic i n
e2 6~~Z C? "P z
senh z = ------------- > cosh z =
2 2
Ej e r c ic io s
En los Ejercicios 1-8, exprese ca d a nm ero en la form a x + iy.
l.sen 2. eos ()
3. c o s h ( l + ) 4. senh7T
5. eos (1 + i) 6. tan 2
7. senh (1 + 7t) 8. cosh (7rz/4)
En los Ejercicios 9-1 2 , encuentre todos los nm eros complejos z que cum plan las co n
diciones dadas.
log z : (R -* G .
Como la exponencial compleja y el logaritmo son funciones inversas, se tiene
que
lo g e2 = z , para todo z e n C ,
y
elgz = para todo z en <R.
CAPTULO 1 FUNCIONES ANALTICAS
TEOREMA
La funcin log z ~ log !z I+ i aig z es analtica para todo z en <R.
log i = l o g z , - l o g z 2 .
z2
Note que en estas dos identidades suponemos que z 1 y z 2 son puntos de la su
perficie de Riemann (R. Como
z = elogz
pal del logaritmo Log z, ya que las propiedades usuales de los logaritmos
pueden no cumplirse. Por ejemplo,
as que
Log [z(1 + z')] = Log z + Log(1 + z).
Por el contrario, las dos expresiones difieren por un mltiplo de 27rz. (Por
qu?)
Las funciones logaritmo y exponencial complejas se pueden usar para de
finir las funciones potencia.
D e f in ic i n
z a = e alogz, a complejo ^ 0 , z i= 0 .
La funcin z a : (R -* (R es analtica y uno a uno porque es la composicin de
funciones de esos tipos. Por la regla de la cadena,
de tal forma que hay nicamente n respuestas con valores complejos diferen
tes. As, el mapeo zm!n : (R - f conduce a cada n copias de Q {o } a una
copia de C { o } y se repite a partir de ah. Este hecho permite simplificar el
modelo usado para describir el mapeo w = zm!n . Para simplificar, suponga
que m = l . Entonces
1.9 LAS FUNCIONES LOGARITMO COM PLEJO Y POTENCIA COMPLEJA 51
w = z ln = e ( l ln ) L o g z ^ i q / n > ? = 0 , 1, 1,
Ej e m p l o 1
Describa la superficie de Riemann modificada de la funcin
U) = -y/F.
w = l/F
e - (0 )
Ej e m p l o 2
Muestre que
sen- 1 z = i log [iz + (1 z 2 )t] .
e iw e~iw
z = sen w = -----------------
2i
Si multiplicamos ambos extremos de esta ecuacin por 2ietw, tenemos
eliw - 2 izw - 1 = 0.
Cuando utilizamos la frmula cuadrtica en la solucin de e iW, obtenemos
e iw =z + (l - z 2 ),
donde la raz cuadrada mapea [ 6 {o } ] 2 en [ C { o } ] (o es bivaluada
en G). El resultado se sigue ahora al tomar logaritmos de ambos lados.
Ej e r c ic io s
En los Ejercicios 1-6, encuentre todos los valores de las expresiones dadas.
1 . log i 2. log ( 1 + i)
3-Jtfig (1) 4. I1'
O L 6. (1 + z)1+t
En los Ejercicios 7-10, encuentre los valores principales de las expresiones dadas.
X Jo g i, 8. log(l + i)
JU U 1 0 . ( 1 + ) 1+!
1.10 APLICACIONES EN PTICA (OPCIONAL) 53
m = / ( i ) = o,
en el disco Iz 1 I< 1.
13. Muestre que log z j + log z 2 = log Zl z 2 .
zi
14. Verifique que log z t log z 2 = log
Z,
a
15. Compruebe que zaz
= &
z +b
'
16. Muestre que g = z'a b
-i
17. Confrme que Log(1 ) Log i = Log
2 Vz + i )
24. Muestre que sehn- 1 z = log [z + (z2 + 1)" ] .
,2.J/erifique que cosh-1 z = log [z +(z2 l)" ] .
1 .1 0 A p l ic a c io n e s en p t ic a (opcional)
Uno de los modelos que se han sugerido para interpretar las propiedades emp
ricas de la luz supone que cierta fuente luminosa crea una perturbacin que
CAPTULO 1 FUNCIONES ANALTICAS
a 2e a
= [cf'(ct x )] = c 2f ' ( c t x).
a t2 a
La observacin de efectos de interferencia, que ocurren cuando dos rayos de
luz de una fuente comn llegan al mismo punto a travs de diferentes caminos,
sugiere que la perturbacin ptica consiste en una suma de funciones casi sinu
soidales. Esto es, E puede muy bien aproximarse por una suma de ondas
sinusoidales de la forma
A eos cu ^ t ^ + <p
donde obtenemos
A , e ia + . . . + A n e lan = A e ia
grficamente, cuando usamos la ley del paralelogramo de la suma vectorial
(vase Figura 1.25).
En un telescopio, las imgenes se afectan por las franjas de interferencia
que aparecen cuando los rayos luminosos incidentes se transmiten y se reflejan
en la superficie de las placas de vidrio y los espacios, dentro del telescopio, que
contienen aire. Considere la Figura 1.26, donde un rayo de luz desde una fuen
te distante S llega a la placa de vidrio en R 0 . Parte del rayo incidente se refle-
110 APLICACIONES EN PTICA [OPCIONAL] 55
Im z
G= 2 z = l + z + z 2 + . . . + z + . . .
n 0
satisface la identidad zG = G 1 o (1 z)G = 1. Se abundar ms al res
pecto en el Captulo 3. Pero
eiuf e gj t l_ rV 'a
1 r2 e~ 101 1 r2 e~*a 1 r2 e *a
_ e itt{\ r2 e iot)
1 + r4 2r2 eos a
de donde
Ya que
( 1 r 2 eos a )2 + (r 2 sen a )2 = 1 + r 4 2 r 2 eos a ,
Cuando
1 r 2 eos a
eos j3 = ~r ... -
y 1 + r 4 2 r 2 eos a
s 2A eos (cj 3)
y f + r 4 2 r 2 eos a
(\ r\2 A
E = eos (coi - J3).
y/l + r 4 2 r 2 eos a
El ngulo de fase a depende de la longitud del camino que la luz viaja durante
las reflexiones en T0 y R x (vase Ejercicio 2). Como co = 2irc/X donde la longi
tud de onda X es la distancia entre mximos sucesivos de la onda, obtenemos
a = 2 tt( 2 - Ex)
X
Si a es un mltiplo entero de 2ir, la amplitud de la perturbacin ptica es
(1 - r )2 A = 1 - r A
y / { l - r 2 )2 1 +r
(1 r ) 2 A _ (1 - r)2
A.
V ( 1 + r2 )2 1 + r2
1~ r A
1 + r 1 + r2
(l~ r)2 A 1 - r 2
1 + r2
ser grande, produciendo una imagen que consiste en lneas brillantes delga
das sobre un fondo oscuro. Este efecto de halo se llama franja de interferencia.
Si r es cercano a cero (reflectancia pequea), el cambio de amplitud ser pe
queo y las franjas de interferencia sern amplias y difusas.
CAPTULO 1 FUNCIONES ANALTICAS
Ej e r c ic io s
1. Pruebe que la perturbacin ptica reflejada en la Figura 1.26, tambin tiene la
forma E = A * eos (coi 7 ). Encuentre A * y 7 .
2. Considere la Figura 1.27.
F ig u ra 1.27. L e yd e S n e ll
div H = 0, div E = 0,
3E
rot E = ju0 > rot H = e
31 3
NOTAS
S eccin 1.1
Las frmulas que relacionan z a Z en la proyeccin estereogrfica son fciles de
calcular: [A, pgs. 18-20] o [H, pgs. 38-44].
Se c c i n 1.5
Otros sinnimos de analtica son holomorfa, monognica y regular.
Se c c i n 1.6
Se conocen condiciones suficientes para la analiticidad mucho ms dbiles. El
mejor resultado en este sentido parece estar en [S, pgs. 197-199], donde el
teorema de Looman-Menchoff establece que s i u y v son continuas en G, tienen
primeras parciales en todos los puntos de G, excepto un nmero contable
de puntos en G y satisfacen las ecuaciones de Cauchy-Riemann casi en cual
quier parte de G, entonces f = u + iv es analtica en G. Otros ejemplos, que
muestran que las ecuaciones de Cauchy-Riemann solas son insuficientes para
la analiticidad, pueden encontrarse en [T, pgs 67, 70].
2 .1 In te g ra le s de lnea
Las propiedades de las funciones analticas estudiadas en el captulo anterior,
son resultantes de la derivabilidad de la funcin. En clculo real, el teorema
fundamental revela una conexin sorprendente y de gran utilidad entre las de
rivadas y las integrales definidas.
Te o r e m a f u n d a m e n t a l del c l c u l o
Si una funcin real J (x ) es continua en un intervalo a < jo < b, entonces
f { x ) posee antiderivadas en ese intervalo. Si F(x) es cualquier antiderivada
de f ( x ) en a < x < b, entonces
61
CAPTULO 2 INTEGRACIN COMPLEJA
f ( x ) d x = F ( b ) F{a ).
7 : x = x (t ), y = y {t), j3,
con x(t), y(t) funciones continuas de la variable real t en el intervalo real cerra
do [a, |3] . En el plano complejo se describe al arco 7 por medio de la funcin
compleja continua de una variable real
Ej e m p l o 1
Esbozar los arcos dados por las parametrizaciones
(a) 7 : z(t) = e u , 0<<27T,
Te o r e m a de la c u r v a de J o r d n
Una curva de Jordn separa el plano extendido en dos regiones simple
mente conexas, que tienen a la curva como su frontera.
D e f in ic i n
Sea 7 : z = z(t), o< t < P, un arco suave, y /(z ) = u + iv continua en 7 . As,
la integral de lnea de f sobre 7 estar dada por
[u(z(t))x'{t) - v ( z ( t ) ) y ' ( t ) ] dt
Ej e m p l o 2
Para evaluar f y x dz a lo largo del arco 7 spp, mostrado en la Figura
2.3, parametrice 7 por
_ J l + z, 0 < f < l ,
7 :z{t)
( 2 - t ) + i, K < 2.
Entonces
, 0 < < l ,
z\t) =
[-1, K K 2,
con derivadas izquierda y derecha diferentes en t = 1. Por definicin, al
integrar sobre cada uno de los intervalos .0 < < 1 y 1 < < 2 , se ob
tiene
/!
x dz = i dt + ( 2 - t ) ( - 1 )dt = - \ + i,
Im 2
i
\
\
\
V 1 y
y* \
\
\
\
O i
F ig u ra 2 .3 . Arco y spp
x dz = dt +
2 1 I I dt = \ + i .
* ' :) -
Por lo tanto, la integral de linea es independiente de las dos parametriza-
ciones de y. Este caso se dar siempre y cuando el cambio de parmetros
sea derivable por partes, como puede comprobarse fcilmente al utilizar
la frmula del cambio de variable del clculo integral.
Se obtiene un valor diferente si se integra sobre el segmento de lnea
7 * que une a 1 con i. As,
x dz = ( 1 t) ( 1 + ) dt =
1 + i
f(z ) dz F'(z) dz
d
F'(z(t))z'(t) dt - [ F ( z( )) ] dt
dt
[t /(z(f))] dt + i 7 - [ ^ ( * ( 0 ) 1 dt-
a at a dt
Si se aplica el teorema fundamental del clculo a cada una de estas integrales
reales, se obtiene
= F (z (P ))-F (z (a )).
Adems, se puede extender fcilmente este resultado a los arcos spp con la
suma de los resultados obtenidos de los subarcos suaves. Como el resultado de
pende nicamente de los puntos extremos de cada subarco suave, se habr pro
bado el siguiente teorema.
f( z ) dz = 0 ,
Jt
ya que F(z(fi)) = F (z (a )).
2.-1 INTEGRALES DE LNEA 67
Ej e m p l o 3
Calcule
z dz y z dz,
z dz ( 1 + it) i dt + [ ( 2 t) + i\ (1 ) dt
r1
dt .t dt + (t 2 ) dt i dt
=- 1.
z dz = [ ( 1 t) + it] (1 + i) dt
1 r1
dt + i (1 - 2 1) dt = - 1 .
i2 - 1
z dz = - = - 1.
y 2
Ej e m p l o 4
Muestre que
dz
= 2717.
Jizl=l
SOLUCIN: Aparentemente este resultado se contrapone al teorema
fundamental, ya que Iz I 1 es una curva de Jordn. Sin embargo, las
antiderivadas de la funcin continua /( z ) = 1 /z son logaritmos y
analticas sobre la superficie de Riemann (R, descrita en las Secciones 1.7
y 1.9. La curva \z I = 1 no es una curva cerrada en (R. Se ilustrarn dos
CAPTULO 2 INTEGRACIN COMPLF.IA
mtodos para obtener esta integral. Primero ntese que, a menos que se
establezca lo contrario, se supone que las integraciones sobre las curvas de
Jordn se llevan a cabo en sentido positivo. As, al parametrizar \z I = 1
por z(t) = e il, 0 < t < 27T, se tiene
z'(t) = iei{
Por lo cual, la integral se convierte en
p2ir (*2ir
dz z'(t) dt te'*
dt = i dt = 27TJ.
I z 1= 1 Z *(*) o e
Para utilizar el teorema fundamental en la evaluacin de esta integral,
elegimos cualquier rama de la superficie de Riemann <R de la funcin
analtica
F (z ) = log z = log Iz I+ i arg z.
Por ejemplo, empezando en - i en la rama principal se obtiene
dz , 3Tl1
= log \z 1 + i arg z (3 tt/2) - ( - tt/2)
.- y
Iz 1=1
2 tt.
Ej e m p l o 5
Sea P(z) cualquier polinomio, y 7 un arco spp. Muestre que:
( a) / 7 P{z ) dz = 0 si 7 es una curva cerrada,
(b) f y P(z) dz depende slo de los extremos de 7 .
Ej e m p l o 6
Como eos z es entera y tiene antiderivadas sen z, se tiene
l
eos z dz = sen z = 2 sen i = 2 zsenh(l),
J
2.1 INTEGRALES DE LNEA 69
eos z dz = 0 .
Ej e r c ic io s
1. Muestre que la parametrizacin 7 : z(t) = a eos t + ib sen , 0 ^ ^
27T, describe la elipse
X2 v2
+ - = 1.
a2 b2
En los Ejercicios 2-5, determine las parametrizaciones spp para los arcos o curvas indi
cados.
3. Tringulo 4. Cuadrado
Im Z
Im z
Re z
x dz, \y dz, z dz
dz
= 27T,
V I - z2
T EOREMA DE GREEN
Sea G la regin interior de una curva de Jordn 7 spp y suponga que las
funciones reales p y q son continuas en G U 7 con primeras parciales
continuas en G. Entonces
(Px 4 qy ) dx dy = p dy q dx.
J JG .. . . : : J 7
Te o r e m a de C a u c h y
Sea f(z ) una funcin analtica sobre y en el interior de la curva de Jordn
y spp. Entonces
f{z)dz = 0 .
aagBgB8Miiiajii8sm8aiBggaai^^
Ej e m p l o 1
Evale dz.
Izi=i z2 + 4
dz = 0 .
1* 1=1 + 4
Ej e m p l o 2
Muestre que
rz-n
1 R 2 r
dd= 1 , 0 < r <R.
27T R 2 2Rr eos 6 + r2
dz
= rie%e = iz
~dd
as que
/27T fi + z dz
1 R 2 - r2
- d0 = Re
277 o fi 2r.fi eos 6 + r2 \ 277 \z \=r R - z z
1 R +z 1 1
dz = ---- + dz
2 ni . \z \=r z ( R - z ) 27n' . |z |=r\z fi-z
1 dz 1 2 dz
2771 . Iz l=r z 2771 z l=r R z
Ej e m p l o 3
Muestre que
eos 2 bx dx = b
0 = i dy + -(x+ib)2 dx + \ e i dy
j: b
ex eo
dx e x (eos 2 6 x i s e n 2 6 x ) dx
74 CAPTULO 2 INTEGRACIN COMPLEJA
P e y 2 (e2iay - e - 2iay) d y
a + ib a + ib
e~* dx e~x dx e y dy
e - ( x2 + y"> dx dy
2tt
e r r dr dd = n, (2 )
0
las dos primeras integrales en (1) sern convergentes cuando a 00. Si
a -+ , el ltimo trmino en ( 1 ) se anula y
2 2
e~x eos 2 bx dx = e~ e x 2 dx - y /- b 2
Ej e m p l o 4
Pruebe que
~ sen(x2 ) , 7T
' - dx =
Jo x 4
f * e" [R e- iy *
-------- dx + i V/2 de - ------- dy i * , 2 J ( r e id?
0. (3)
Jr x v0 Vr y
2.2 EL TEOREMA DE GREEN Y SUS CONSECUENCIAS 75
=2 V / 4 -R'- sen 20
d6
< 2 j " /4 dd
7T
2 R'
. f /2 = i W2 (e 'V )1 1) ^ 7r
<e
0
CM
2
O
e e Z7T sen(x2 )
0 = dx = 2 dx - .
2
CAPITULO 2 INTEGRACION COMPLEJA
Ej e r c ic io s
1. Muestre que
Log
dz = 0 ,
I z 1= 1 Z
M i *
7 Z
sobre-y: z (t) = e lt, 0 ^ t ^ 27T? Explquelo.
Utilice el teorema de Green para los Ejercicios 2-4, donde A es igual al rea de G y dG
es la frontera de G.
2. Pruebe que / 3G x dz = A.
3. Muestre que / 3G y dz - A.
4. Pruebe que f aG z dz = 2iA.
5. Pruebe que
'W2 n,
/ , , sena
e
eos (t + a sen t) dt = ------- > a > 0 ,
o a
si integra 1 a lo largo de la curva de Jordn en el primer cuadrante, compuesta
del cuarto de crculo Iz I = a y de los segmentos de recta de o a 0 y de 0 a a.
6 . Muestre que
dx = 0 .
( 1 - b2 + x 2 )2 + 4x 2 b2
e x c o s (a ;2 ) dx = y/ > /2 + 1 ,
o 4
e x sen(x 2 ) dx - y j y /2 1 ,
o 4
cuando integra e z a lo largo de la frontera del sectorO ^ Iz I^ R, 0 ^ arg z < 7T/8.
16. Pruebe la integral de Dirichlet
78 CAPTULO'2 INTEGRACIN COMPLEJA
2 .3 La f r m u la integral de C auchy
TEOREMA
(i) / j Iaf i (z ) + P 2 (*)] dz = a fy fi (z) dz + 3 f 7f 2 (z) dz.
(ii) f 7 +7 j / ( z ) dz = / Ti f(z) dz + / 7j f( z ) dz, donde 7 i + I 2 es la
trayectoria que consiste en recorrer primero 7 j seguido de 7 2 .
(iii) /. 7f(z ) dz = f 7 f(z ) dz, donde 7 es la trayectoria que recorre el
arco 7 en sentido inverso,
(iv) I fy f{z ) dz K f 7 I f( z ) I I dz I, donde definimos: Idz Icomo la dife
rencial con respecto a la longitud de arco, con
PRUEBA: Para probar (iv), obsrvese que para cualquier constante real 6,
Re
-0 f{z) dz R e (e f{z{t))z'{t)) dt < l/(z()) I Iz^) Idt,
/ ( z ) dz \dz\ = ML.
Ej e m p l o 1
e z dz < 2Tre.
lzl =l
SOLUCIN: De la parte (iv), se tiene
/A
e z dz lez I \dz I
lzl =l J \z I = 1
2.3 LA FRMULA INTEGRAL DE CAUCHY 79
Como Ie z I = e x < e para todos los puntos z = x +iy sobre el crculo uni
tario, se observa que
Ie z I Idz I< e \dz\ = 2tte,
Jlzl = l Iz 1=1 J
y se verifica la desigualdad. De hecho, es claro que
< 27T?, e z dz
lz 1=1
ya que Ie z I alcanza el valor e slo en z = 1 .
TEOREMA
Sea 7 0 una curva de Jordn spp tal que su interior contiene las curvas de
Jordn spp disjuntas, y , . . ., yn , ninguna de las cuales est contenida
en el interior de la otra. Suponga que f(z) es analtica en una regin G
que contiene al conjunto S, el cual consiste en todos los puntos sobre y en
el interior de 7 0 pero no en los interiores de yk, k = 1, . . n. Entonces,
tido positivo, se anula. Pero la contribucin total de estas dos curvas es equiva
lente al recorrido de 7 0 en el sentido positivo, J i , . . 7 n en el sentido negativo
(contrario), y L 0 , . . Ln en direcciones opuestas. As, las integrales sobre los
arcos Lf se cancelan, y
r i
LA FRMULA INTEGRAL DE CAUCHY
Sea f(z) una funcin analtica en una regin simplemente conexa que
contenga la curva de Jordn 7 spp. Entonces
/(? ) =
m dz.
2m .
para todos los puntos ? en el interior de 7.
FIGURA 2 .7 . La f rm u la in te g ra l d e C a u c h y
2 .3 LA FRMULA INTEGRAL DE CAUCHY 81
Pero
/(* ) dz / ( * ) ~ / ( f ) dz.
* = /( ? ) +
lz -fl= r ^ ? lz -fl= r Z - f Izf l=r * -r
/(*)
Idz I < 27TC .
-f I=r z - f I zf l=r \z f I
Ej e m p l o 2
Integre
eos z
dz
7 Z ~F Z
eos z 1 eos Z 1
dz = ------- dz
1
d z ------ dz
z3 +z )7 -Z 2 J7 z + * 2
1 1
= 27T cos(O) eos (i ) co st : 27T [1 c o s h (l) ].
2 2
eos z
dz = 2m.
z3 + z
(c) 7 : Iz z'/2 I = 1. Como eos z/(z + i) es analtica sobre y en el interior
de 7 , por fracciones parciales se tiene
^ - L
z ( z i) Vz z ;
por lo cual
m dz.
/ (!) = 27U
y ( * - n 2
Para verificar esta ecuacin se usa la frmula integral de Cauchy al reescribirse
m + h )- m 1 r m
dz
h 2m y (* - n 2
1 1 1 1
m dz
2717 h \z f h r (* - f ) 2
h f(z ) dz
2m Jt {z - f ) 2 (z - ? h )
Sea d la distancia ms corta entre J y 7 , M el valor mximo de If( z ) I
sobre 7 , y L la longitud de 7 . Al suponer que Ih I < d/2, entonces
vlido para todos los puntos f del interior de una curva de Jordn 7 spp conte
nida en una regin G simplemente conexa, en la cu al/(z) es analtica. Obsr
vese que esta frmula implica que /(z ) tiene derivadas de todos los rdenes en
G. Por ende, la derivada de una funcin analtica es tambin analtica. Con
base en este hecho, se obtiene un inverso del teorema de Cauchy que frecuente
mente es til para establecer la analiticidad de una funcin.
2.3 LA FRMULA INTEGRAL DE CAUCHY 83
Te o r e m a de M o r e r a
Si f( z ) es continua es una regin simplemente conexa G y satisface
| f i z) d z = 0 , ...
F (z) m
para todo z en G. Luego entonces, F(z) est bien definida porque es indepen
diente de la trayectoria: Si y y y y2 son curvas spp en G que van de z0 a z, en
tonces 7 - 7 t 7 2 es una curva cerrada spp en G, y
0=
/( = m * -
jy . _
Si / es continua, para cualquier punto z e n G y e > 0 existe un disco If z I <
8 en G tal que l/( J) f( z ) I < e. Si Ih I < 8, se tiene
F (z + h) - F ( z ) _ 1 z+ h z+ h
m d t - , /(n r m dt,
h h
donde la integracin puede tomarse sobre la recta desde z hasta z + h. Como
m z+ h
d$,
h
por sustraccin se obtiene
F'(z + h ) - F ( z ) 1 [z+ h
------------- -------f{z)
h Jz
1 'z+h
i /( n - m \ u n < e .
iJEMPLO 3
Integre
eos z
dz
}y z2 (z - 1 )
Sobre (a) 7 : Iz I= -y, (b) 7 : Iz 1 1= 3 -, y (c) 7 : Iz I= 2.
84 CAPTULO 2 INTEGRACIN COMPLEJA
1 1 \ dz
dz =
_ y z (z 1 ) Jy \z 1
= 27T[cos(1) cos(O) + s e n ( 0 ) ] = 27n[cos(l) 1 ],
por el teorema de Cauchy para las derivadas.
Ej e r c ic io s
En los Ejercicios 1-3, evale la integral
dz
Jy (z - a)(z - b)
mediante la descomposicin del integrando en fracciones parciales.
1. Si a y b estn en el interiorde 7
2. Si a est en el interior de 7 y b en el exterior
3. Si b est en el interior de 7 y a en el exterior
Sea z(t) = 2eit + 1, 0 ^ t ^ 27T. Evale las integrales de los Ejercicios 4-7.
eos z
4. *dz 5. dz
y z 1
sen z sen z
6. dz dz
z2 + 1 y -z
Sea z(t)I
= OJ t + 1, 0 < t S 27T. Evale las integrales de los Ejercicios 8-11.
2l
eos z
^ dz 9. dz
y z2 7 (Z - l)2
2.3 LA FRMULA INTEGRAL DE CAUCHY 85
senz sen z
10. dz 11. dz
7 (z 2 + l ) 2 7 ( Z - 1 ) 3
13- A , +7, f ( z ) dz = A , / ( Z) dz + A , f ( z ) dz
14. S J y'f(z ) dz = - / 7 /( z ) dz
15. Sin calcular la integral, muestre que
dz 47T
1* 1=2 z 2 + 1
Log z
dz < Log i? +
7 Z * V 8 2
y, por ende, que el valor de la integral tiende a cero cuando R .
17. Evale /|z|=i Iz + 1 I Idz I.
18. Si f(z) es analtica y acotada por M en l z l < R , pruebe que
MRn\
l/<>(z)l< Iz \ < R .
(R - lzl ) n+1
19. Si/(z) es analtica en Iz I < 1 y l/(z) 1 ^ ( 1 Iz l)1 , muestre que
l / (">( 0 ) l < ( n + 1 )! (\ + - J
20. Una funcin analtica/(z) puede satisfacer 1/1) (z)l > n ln n , para todos los
enteros n positivos, en algn punto z?
21. Calcule
f e kzU
dz,
J Iz 1= 1 Z
23. Pruebe la siguiente extensin del teorema de Morera: Sea f(z) continua en una
regin G (con la posibilidad de ser mltiplemente conexa). Suponga que, para
cada f en G, existe un disco D, que contiene a f , en G tal que
f ( z ) dz = 0 ,
para todas las curvas 7 spp cerradas en D. Entonces f(z) ser analtica en G.
24. Sea P{z) un polinomio, ninguna de cuyas races se encuentra sobre la curva de
Jordn 7 spp. Muestre que
1 '
P\z)_ dz
2ni \ 7 P(z)
es igual al nmero de races de P(z) en el interior de 7 incluyendo multiplicida
des.
2 .4 T e o re m a de L io u v ille y p rin c ip io d el m x im o
Te o r e m a de G a u s s del v a l o r m e d io
Sea f(z) analtica en \z f \<CR. Entonces
2 'jt
/ ( f + re ) dd, 0 < r< R .
2ir .
m dz,
27T \zS I=r z f
para toda 0 < r < i?. S iz = f + re t0 , entonces z\6) = iretB , de donde se si
gue la identidad deseada.
LA ESTIMACIN DE CAUCHY
Sea f(z) analtica y que satisface \f( z ) I< M en Iz f K r Entonces
i/)(f)l< ^ 1 .
2.4 TEOREMA DE LIOUVILLE Y PRINCIPIO DEL M X IM O 87
ni m dz
27ri l*-M=r ( z - f ) " +1
Mnl Mn\
n+1
dz I =
2irr
Te o r e m a de Lio u v il l e
Una funcin entera no puede acotarse en todo Q , a menos que sea una
constante.
PRUEBA: Suponga que f(z) es entera y acotada por M. As, en cualquier pun
to f en C , la estimacin de Cauchy implica que I < M/r. Pero r puede
hacerse arbitrariamente grande, de manera que / ' ( f ) = 0 en todo de C.
Por tanto, f(z) es constante en Q. I
Enseguida se prueba uno de los teoremas ms tiles de la teora de las
funciones analticas.
P r in c ip io del m x i m o
Si f(z) es analtica y no es constante en una regin G, entonces If(z ) I no
tiene mximo en G.
esto es, el valr en el centro del crculo es igual al promedio integral de sus va
lores sobre el crculo. Por suposicin If ( z 0 + r e 11) I < I f ( z 0 ) I, y, si se cumple
la desigualdad estricta para algn valor de t, debe cumplirse, por la conti
nuidad de If( z ) I, en un arco del crculo. Pero entonces
1 2 tt 2 tt
l/(z0)K 27r J o
l / ( z 0 + r e lt) \dt <
2n 0
\f(z0 )\dt= \f(z0 )l,
= -
C o r o l a r io
Sea f(z) analtica en ua regin acotada G y continua en G. Entonces
If ( z ) I alcanza su mximo sobre la frontera de G.
= ; ; :
P r in c ip io del m n i m o
S ea/(z) analtica en una regin acotada G, y continua y no nula en G.
Entonces \f(z) I alcanza su mnimo en la frontera de G.
T e o r e m a f u n d a m e n t a l del l g e b r a
Todo polinomio de grado mayor que cero tiene una raz.
Por tanto, I/(z) I est acotada para todo z. Con base en el teorema de
Liouville,/(z) y, consecuentemente, P(z), es constante, lo cual contradice la hi
ptesis de que n > 0. As que P(z) tiene cuando menos una raz.
Para demostrar que P(z) tiene realmente n races (incluyendo races ml
tiples), observamos que, por el teorema fundamental del lgebra, tiene por lo
menos una raz, por ejemplo, . As,
P ( Z ) = P ( Z ) - P ( $ o)
= an (zn - ^ ) + n- i (z - 1 - ^ - M + . - . + a t z - f o )
= (*-?o )Q (*),
Ej e r c ic io s
1. Pruebe que una funcin entera, que satisface I/(z) l< Iz ln para algn n y todos
los Iz I suficientemente grandes, debe ser un polinomio. [Sugerencia: Aplique las
desigualdades del Ejercicio 18, Seccin 2.3, ya sea a / ( n+11(z) o a / ( n)(z).]
2. Sea f{z) analtica en Iz I < 1 y que satisface a /(O) = 0. Defina F (z ) = f(z)/z
para todo z en 0 < I z K l . Qu valor puede drsele a F(0) para que F(z) sea
analtica en Iz I <C 1 ? (Sugerencia: Aplique a F(z) en Iz I = r <C 1 el teorema de
Cauchy para las derivadas. Entonces muestre que la funcin resultante, analtica
en Iz I < ! r , coincide con F e n 0 < tz I r. Use fracciones parciales.)
3. Con base en los resultados del ejercicio anterior y en el principio del mximo,
pruebe el lema de Schwarz: Sea f(z) analtica para Iz I <C 1 y que satisface las
condiciones/(O) = 0 y l/(z)l < 1. Entonces I/(z) I < Iz I yI/'(O) I < 1 ,con la
igualdad que se cumple slo si/(z) = e tBz para algn 6 real fijo.
4. Muestre que, en el lema de Schwarz, l/(z) I< 1 paralz I<C 1 implica que l/' (0) I
1 independientemente del valor de/(O).
5. D un ejemplo para probar por qu la condicin de funcin no nula es necesaria
para la validez del principio del mnimo.
6 . Sea f{z) analtica y no constante en Iz I < R . Denote por M(r) el mximo de
l/(z) Ienl z I= r y pruebe que M(r) es estrictamente creciente para 0 ^ r < R.
7. Pruebe que sif(z) es analtica y no constante en la regin acotada G, es continua
en G ,y tiene valor absoluto constante en la frontera de G, entonces debe tener al
menos un cero en G.
* 8 . Pruebe el teorema de los tres crculos: Sifiz) es analtica en una regin que con
tiene el anillo 0 < r ! ^ l z l ^ r 2 y satisface las desigualdades I/( z ) I^ M l en
90 CAPTULO 2 INTEGRACIN COMPLEJA
f(z )d z = 0 ,
Jt
Te o r e m a de C a u c h y -G o u r s a t
Sea/(z) una funcin analtica en una regin que contenga al rectngulo
R, dado por las desigualdades a ^ x ^ b , c ^ y ^ d . Entonces
/ (z) dz = 0 ,
ja/f
donde dR es la frontera de R.
f R
^ ! / ( * - ! )l
n) ------------- >
0 a b
F ig u r a 2 .9 . r d r 1d r d r 3d ...
CAPTULO 2 INTEGRACIN COMPLEJA
A W !) _ / V ) <e,
f ( z * ) dz = 0 f { z * ) { z - z * ) dz.
3R ,
!/(*)!= lf { z ) - f { z * ) ~ f { z * ) { z - z*)] dz
3R ,
En base a la parte (iv) del primer teorema de la Seccin 2.3, y a las condiciones
anteriores, se tiene
donde
Dn z .. 7* I Idz I
cn 1 Ln
3R t
Te o r e m a
Si f(z) es analtica cn el disco Iz I < r, entonces hay una funcin
analtica F{z) en r z 0 l < r que satisface I'\z) = f( z ).
2.5 EL TEOREMA DE CAUCHY-GOURSAT [OPCIONAL] 93
lo cual implica que F(z) - H(z) es una constante, segn el teorema de la deriva
da cero de la Seccin 1.6.
La prueba del teorema anterior puede extenderse a cualquier regin
simplemente conexa.
Te o r e m a de la a n t id e r iv a d a
Sea/(z) analtica en una regin G simplemente conexa. Entonces hay una
funcin analtica F(z) en G tal que F'(z) ' f{z ).
0 , / (* ) dz f(z )d z tf ( z ) d z .
7-7 7
As,
F(z) f ( z ) dz = f ( z ) dz
f ( t + iy ) dt + i f ( x + it) dt + C,
Ej e m p l o
La funcin f ( z ) = 1 z, analtica en <2 {o } , tiene a F(z) = log z como
antiderivada. Si se recorre la mitad superior del crculo unitario, con 1 al
principio sobre la rama principal, se obtiene
F { e W ) = {~ ,
2
mientras que, si se recorre la mitad inferior del crculo unitario, se tiene
F{e-W )=
2
De ah que, en este caso, el valor de la antiderivada en z = 1 dependa
de la trayectoria elegida.
Te o r e m a f u n d a m e n t a l
Sea /(z ) analtica en una regin G simplemente conexa. Entonces, para
calquier arco 7 spp: z - z (), a < t < j3 ,
\
/ ( z ) d z - /-'(z ( )) F (z ( o ) ) ,
j7
TEOREMA DE CAUCHY
Si J(z) es analtica y 7 es una curva spp cerrada, en la regin G simple
mente conexa, entonces
:LL'.'C' r' ''L: ":'J v 'OL
f ( z ) dz = 0 .
. L L - J r ...... O : . '-j':--;.ci L
f ( z ) d z = F ( z ( J 3 ) ) - F ( z ( a ) ) .
v 7
Si z(j3) = z{ot), se obtiene el teorema de Cauchy. I
Ahora consideremos las propiedades de las integrales del tipo encontrado
en la frmula integral de Cauchy.
TEOREMA DE RlEMANN
i>ea g() continua en el arco 7 , spp. Entonces la funcin
F n (z) m m
n = 1, 2, 3, . . .,
Jr (i-* )""-.
ser analtica en todo z en el complemento de 7 y su derivada satisfar n
F ' n i z ) = n F n +1 ( z ) .
l ^ ( z ) - F , ( z 0)l = sin
t-z n
i(r)iid n
l f - z l If o I
El arco 7 tiene longitud L finita, de ah que sea un conjunto de puntos cerrado
y acotado. Un teorema de clculo ordinario establece que las funciones reales
continuas alcanzan un mximo en cualquier conjunto cerrado y acotado. As
que |g($) I est acotada por M en 7 . Como I f z I> 5/2 para todo f de 7 ,
l F , ( z ) - F , ( z 0) l < - I z - z 0 I,
2.5 EL TEOREMA DE CAUCHY-GOURSAT (OPCIONAL) 97
Gn (z) = ( S ~ z o)
d$,
7 (f-z )
se encuentra que G, (z) es continua en z 0 , ya que g (f )/(f z 0 ) es continua
en 7 . Entonces, como el cociente de las diferencias de F t (z) es igual a G x (2 ),
g(?) d$ 2nML
\G(z)\
8n+
para Iz z 0 I< 5 /2 . Por la desigualdad del tringulo,
2 " AfA
0 < lm \Fn ( z ) - F n (z0 ) \ ^ lm l z - z o l = 0 ,
On Z -> Z 0
lo cual significa que F n(z) (y, por ende, Gn(z)) es continua en z 0 . As,
T e o r e m a de C a u c h y p a r a d e r iv a d a s
Sea f(z) analtica en una regin simplemente conexa que contiene la cur
va de Jordn 7 spp. Entonces, para todos los puntos f en el interior de 7 ,
n: I . / < = j dz, n = 0 , L, 2 ,
2iri h i* rr*
CAPTULO 2 INTEGRACIN COMPLEJA
r dz, m
f {n)( n = ^ 7 F n +l ( f ) = ^ 7
n+1
2m h (*-S T 2m
y se sigue el resultado. Si se acuerda que = f y 01 = 1, la ecuacin ante
rior se reduce a la frmula integral de Cauchy cuando n = 0. I
C o r o l a r io
Si f{z) es analtica en una regin G, entonces tambin lo ser su derivada
f' (z). Ms an, f(z) tiene derivadas de todos los rdenes en G.
Ej e r c ic io s
1. Los polinomios de Laguerre L n (z) estn dados por
n adj 8a =
V / 2 eos 2n8 (2n) !
* 7r
0 (2n n i) 2 2
al integrar f(z) = (z + 1 /z)2n/z sobre Iz 1= 1 .
EL TEOREMA DE CAUCHY-GOURSAT [OPCIONAL] 99
lm
donde = { l z l = 7 ? } H {R
*4. Seaf(z) analtica en el conjunto R *, obtenido al omitir un nmero finito de pun
tos interioresz x, z 2 , . . zn del rectngulo R. Pruebe que
f(z) dz = 0 ,
3R
dado que
lm ( * - * * ) / ( * ) = 0 ,
z^ zk
para todo k = 1 , 2 , . . . , n.
*5. Seaf(z) analtica en el conjunto D, obtenido al omitir los puntos z lt z 2 , . . zn
en Iz z o I< r. Pruebe que
f { z ) dz = 0
J7
para cualquier curva y cerrada en \z z 0 I < r , dado que
lm (z - zk )f(z) = 0, k = 1, 2, . . n.
z^ zk
* 6 . Muestre que la aseveracin del Ejercicio 5 permanece cierta cuando D se obtiene
al omitir un nmero infinito de puntos z lt z 2 , . . que no tienen puntos de
acumulacin en Iz z 0 I< r.
NOTAS
S e c c i n 2.1
Una prueba del teorema de la curva de Jordn se encuentra en [W, pg. 30].
S e c c i n 2 .4
Las generalizaciones del lema de Schwarz se pueden encontrar en [A, pg.
136],
S e c c i n 2 .5
Se puede mostrar que el teorema de Cauchy-Goursat se cumple en R con hip
tesis ms dbiles. [V, pg. 76] prueba que es vlido para f(z) analtica en el
interior de 37? y continua en R. La verificacin, en el teorema de la antideri
vada, de que y y' consiste en las fronteras de un nmero finito de rectn
gulos puede encontrarse en [A, pgs. 141-143] o [L, pgs. 128-131]. Una
100 CAPTULO 2 INTEGRACION COMPLEJA
prueba del teorema de Cauchy, que evita la topologa, ha sido dada reciente
mente por J. D. Dixon. Puede encontrarse en [L, pgs. 148-150] o en el ar
tculo original en Proc. Amer. Math. Soc. 29 (1971): 625-626. Ms generaliza
ciones del teorema de Cauchy pueden encontrarse en [A, pg. 144] y [Ho,
pgs. 3, 26]. El teorema de Riemann se cumple siempre y cuando f y I g (f) I
I < . La prueba, al utilizar esta hiptesis ms dbil, es esencialmente la
misma. Una prueba de la analiticidad de la derivada, independiente de la in
tegracin, se da en [W, pg. 77].
QC
O Series
O INFINITAS
3 .1 S erie de T a y l o r
D e f in ic i n
Una serie infinita de nmeros complejos
a \ + fl2 + . . . + fln + .
converge a la suma A, si las sumas parciales
Sn = di + a.2 + . . . + fln
satisfacen Sn -> A cuando n _>, y, en este caso, se escribe 2 an = A. De
otra manera, se dice que la serie diverge. A una serie con la propiedad de que
los valores absolutos de sus trminos formen una serie convergente se le dice
absolutamente convergente.
Como an + 1 = S+i Sn , si la serie es convergente, se tiene que
lm an + 1 = lm (Sn+\ Sn ) = A A = 0.
n ~+00
As, el trmino general de una serie convergente tiende a cero. Esta condicin
es necesaria, pero no suficiente, como se muestra en el siguiente ejemplo.
Ej e m p l o 1
La serie
1^ + 42- + 42- + Ji-Ji-J-
3 3
+ Ji-JuJl - l
3 + 4 + 4 + 4 + 4 + ...
101
1 02 CAPTULO 3 SERIES INFINITAS
2 f n ( z ) = f l ( z ) + M z ) + . . . + f n (z) + . . .
n= 1
f ( z ) = | f n (z)
Ej e m p l o 2
Muestre que la serie geomtrica
oo
2 zn
n =0
converge a
1~ z
para Iz I< 1 .
1 Zn 7n
= 1 + Z + Z2 + . . . + Zn -~l + = S n_ ! + .
1 z 1 z 1 z
_L _ = 2 zn , Iz i < 1 .
1 Z n -0
Se mostrar ahora que toda funcin analtica puede expresarse como una
serie de T aylor convergente.
3.1 SERIE DE TAYL.OR 103
T e o r e m a de Ta y l o r
Sea f{z) analtica en la regin G, que contiene al punto z0. Entonces, la
representacin
f ( Z) = / ( ? o ) + ^ {z~-z0 ) + .V. + (z - Z0 ) + . . .
1! ni
es vlida en todos los discos Iz z 0 I< r contenidos en G.
/( * ) J
27T I~ zol=r z
m di
Ahora,
Z Zr z -z 0
1 y
< 1,
^ ~ z0 - f - Zo
al usar las sumas parciales de la serie geomtrica para reescribir la integral en la forma
m
/(*) =
2ni lf-z 0 l=r f -- z o Z-z o
f ~ z0-
n 1
m z z0 i z - z0
1 + + ...+ + Qn d i
2ni f - zo
donde
- z 0 )n l { $ - z 0 )n _ (Z - Z 0 )"
Qn ~
i-(z-z0)/(f-^o) (T-^KT-o)"-1
Si se utiliza el teorema de Cauchy para las derivadas se obtiene
f { z ) = f i z o) + (z ~ z o) + + (z ~ z o)n~ l ^ + Rn ,
1! (n - 1 )!
donde
(z ~ z 6 T m
R
27T
2nrM rM
104 CAPTULO 3 SERIES INFINITAS
TEOREMA
Sif(z) es analtica en una regin G que contiene al punto z 0 , y /* *(z0 ) = 0
para n 1 , 2 , . . . , entonces f ( z) ser constante en G.
/( * ) = ( * - * ) * / , ( * ) , f , ^ s d!,
2 m J l f - z 0 l= r ( f - Z) ( f _ Zo)n
fn{z o ) =
m
2m (f Z0 )n+l ni
Te o r e m a
Los ceios de una funcin analtica no constante son aislados.
Ej e m p l o 3
Obtenga la serie de Maclaurin de f(z) = (1 z)~2 .
1
- 2 = 2^ (n + l ) z n , IzK l,
( 1 z )2 n=0
puesto quef(z) no es analtica en z = 1. La serie de Taylor def(z), centra
da en el punto z 0 = 1 es
= 2 l i l (Z + i) Iz l < 2 ,
(1-z)2 n=o 2 2
y aque f - n\ 1 ) = (n + l ) ! / 2 n+2 .
106 CAPTULO 3 SERIES INFINITAS
Ej e m p l o 4
Encuentre el orden del cero de f(z) = 2z(ez 1 ) en z = 0.
Ej e m p l o 5
Es importante recordar que la funcin log z se define en la superficie de
Riemann R, descrita en la Seccin 1.9. Al construir la serie de Taylor de
/(z ) = log z es esencial especificar la rama de que se trata. Si se busca la
serie de Taylor alrededor de z = 1, que es un punto en la rama principal,
se tiene / (n^(z) = (l )n - 1 (n l ) ! z " , n = 1, 2, 3 , . . y log 1 =
Log 1 = 0, as que
Lo gz = f (._!) -_ f L i f r .
n-l n\ n=l n
Por otra parte, la serie de Taylor alrededor de z = e 2m en la siguiente
rama de < es
oo ( 1 _ z \n
log z = 2m - 2 i ,
n= 1 n
ya que las funciones f- n\ z) son analticas en C { 0 } y
f { e 2ni) = log e2ni = 2m,
fin)(e 2 * i ) = (n _ 1 ) 1 , n = 1, 2, . . .
Se pueden aplicar observaciones similares a cualquier otra rama de (R.
Las frmulas son vlidas en Iz 1 I< 1, ya que f^n^(z) no es analtica en
z = 0 , para n = 0 , 1 , 2 , . . .
Ej e m p l o 6
Muestre que no existe una funcin analtica en Iz I< 2 que satisfaga la
condicin
/(-)= ^ n=l,2,3,...
\n) n
3.1 - SERIE DE TAYLOR 107
Ej e r c ic io s oo
z 2n
4. eos z = 2 ( - l ) n ---------, Iz I<
n=0 ( 2 n)!
22 n -l
5. senh z = 2 -------------> Iz I<
n=i ( 2 n 1 )!
z 2n
6 . cosh z = >
2 Iz I<
n=o ( 2 n)!
7 . ---- = |2 |<] L
1 - Z2 n=0
En los Ejercicios 8-15, desarrolle las funciones dadas en una serie de Taylor alrededor
de Zq. Indique el mximo disco donde sea vlida esta representacin.
8- z) = zo = - 1 9- f i z) 1
1 - Z 1 - 2
7T 7T
1 0 . f(z) = eos z, z0 = 1 1 . /(z)
/(z ) = senz, z0 =
2 " 2
12./ ( z ) = - , 0 = 1 1 3 . / ( z ) = Logz, z 0 =t
z
14. /(z ) = logz, z0 = - 1 15. /(z ) = logz, 2 0 = 2e3,r!
Encuentre el orden del cero en z = 0 de las funciones dadas en los Ejercicios 16-19.
Determine si existe una funcin analtica en IzI<C2 que tome, en los puntos z = 1/n,
n = 1, 2, 3............ los valores dados en los Ejercicios 21-24.
o4 JL X X X X X X X
2 > 2> 3> 3>4 > 4 ) 5> 5
25. D un ejemplo de dos funciones que coincidan en un nmero infinito de puntos
de una regin G y, no obstante, sean diferentes.
26. Muestre que sif e s una funcin analtica no constante en G, el conjunto de pun
tos que satisfacen/(z) = Ct, a en 6 , no tiene un punto de acumulacin en G.
27. Pruebe el teorema del binomio para ct complejo:
( l + z ) tt = l + Z + a ^a ~ ^ z 2 + a ^a 1 )(a ^)
1 1 -2 1-2-3
3 .2 C o n v e r g e n c ia u n if o r m e de series
En esta seccin se probar el inverso del teorema de Taylor, a saber que las se
ries de potencias convergentes son de hecho funciones analticas en sus regiones
de convergencia.
D e f in ic i n
La serie/(z) = 2 f n (z) es uniformemente convergente en G, si para todo
e > 0 existe un nmero positivo K tal que
f i z) - fn (z ) <e,
n= 1
para cualquier k > K y z en G.
La convergencia uniforme difiere d la convergencia en que, para esta l
tima slo se necesita mostrar la existencia de una funcin positiva K{z), tal que
para cada z 0 en G,
T e o r e m a de W eierstrass
La suma de una serie uniformemente convergente de funciones analticas
es analtica y puede derivarse o integrarse trmino por trmino.
^ f n { z) ~ 2 / B (z0 )
=1 3
siempre que z est en G y \z z 0 I < 5, ya que la suma parcial es continua.
As, por la desigualdad del tringulo,
+ 2 / (z ) - 2 f n { z o) 2 /(*<>) - / ( ^ o )
1=1 n-1 n=1
< e
siempre y cuando z pertenezca a G y Iz z 0 I < 5. L u e g o ,/ es continua en G.
Por el teorema de Cauchy, para cualquier curva y spp cerrada en un disco
contenido en G,
f n ( z ) dz = 0 , n = 1 , 2 , . . k,
por ende,
eL
/(z)- 2 / (z) Idz I<
n=l
/(z ) dz 2 / iz ) dz-
n=1 *
Figura 3 .2 . i ? - z i > r / 2
R = lm
rn+ 1
dado que el lmite existe. Desafortunadamente, para series como
2 + x + 2 x 2 + x 3 + . . . + 2 x 2k + x 2k+l + . . .,
la razn de los coeficientes Irn/rn+i I es, alternada, i y 2 , as que no existe el
lmite. Ahora se dar una frmula que pueda usarse siempre para calcular
el radio de convergencia R de una serie de potencias 2 t anzn , y se probar
que R se comporta de la misma manera que en el caso de series de potencias
reales.
FRMULA DE HADAMARD
El radio de convergencia R de una serie de potencias 2 7 anzn est dado por
2 + x + 2x2 + x 3 + . . .
T e o r e m a de A bel
Sea R el radio de convergencia de la serie de potencias 2 ~ anzn . Entonces:
(i) La serie converge absolutamente en :lz I < R , y es uniformemente en
.. Iz \ < p , p < R .
(ii) La serie diverge en Iz l > R.
(iii) La suma de la serie es analtica en Iz I< R , y su derivada, obtenida al
derivar trmino por trmino, tiene el mismo radio de convergencia.
2 \zin < 2
n -N n -N
i -
por la serie geomtrica (Ejemplo 2, Seccin 3.1), ya que Iz/r I < 1. As, la serie
converge absolutamente en Iz I < r para cualquier r < i ? , y, por ende, en
Iz I< R. Para mostrar la convergencia uniforme, se elige Iz K p < r < i?, en
tonces, por lo que se hizo anteriormente y por la desigualdad del tringulo,
N
2 2 <
n=k n=N
1 - le
/- \ti ^ n(n 1) ,
n = ( l + c ) > 1 + ------ el,
Ej e m p l o 1
Considere la serie
1 - z 2 + z4 - z 6 + . . .
En tal caso Ian I se anula para n impar y es igual a 1 para n par. Enton
ces, R = 1; as!, la serie converge absolutamente en Iz I < 1, uniforme
mente en Iz I < r < 1, y diverge en Iz I > 1. An ms, representa alguna
funcin analtica en Iz I< 1. Nada se ha dicho de Iz I= 1; sin embargo,
obsrvese que la serie diverge en todos los puntos de Iz I = 1 , ya que su
trmino general no tiende a cero. Con el Ejemplo 2, de la Seccin 3.1, se
encuentra que
= 1 - z 2 + z 4 - z 6 + . . ., Izkl.
1 + z2
Ntese que la serie es analtica slo en Iz I < 1, mientras que la fun
cin (1 + z 2 )- 1 es analtica en todo G excepto en z = i. Se puede in
tegrar la serie trmino por trmino en cualquier trayectoria dentro del
crculo unitario para obtener
dz z3 zs z7
+ --------------+ ______ izki.
o 1 + z2 3 5 7
En particular, la funcin
dz z^ z^
fl ?) = ~ = i - o< izki,
z o l+z2 3 5
/(O) = 1
es analtica en Iz J < 1 , lo que ilustra una manera til de mostrar la anali-
ticidad.
Ej e m p l o 2
Encuentre el radio de convergencia de las variables de potencias
( 2 ) 1/ ! = g l n 2 / ( n 1)! ^ g0 = ^ n ^ oo
Ej e m p l o 3
Encuentre solucin analtica de la ecuacin diferencial
f "( z) - 2 zf'(z) - 2f(z) = 0
con condiciones iniciales /(O) = 1 , /'(O) = 0.
+ a xz ( l + ( 2z )2 + ( 2z )4 + ( 2z )6 + . . . ) .
V 3! 5! 7! /
f(z) = 1 + z2 + + + ... =
2! 3!
como la solucin analtica al problema de valor inicial.
Ej e r c ic io s
E ncu en tre la radio de convergencia de las series dadas en los Ejercicios 1-6.
CAPTULO 3 SERIES INFINITAS
3. 2 z 2n 4. 2 zn!
n=0 n=1
7 / 2 nkanzn 8 . 2 n~nanzn
n -0 n=1
9. 2 10. 2 anzn+fe
n -l n=0
1 3 . ------ - 14. L o g ( l + z )
(1 - z )3
eaz - 1
15. * SenZ dz 116.
C f{z)
-Y \ = ) z Z^ 0
0 Z ) n
a, z = 0
17. Encuentre la serie de potencias ms general (con dos constantes arbitrarias) que
satisfaga la ecuacin diferencial / (z) + / (z) = 0. Exprese la suma en trminos
de funciones elementales.
18. Encuentre una serie de Maclaurin que resuelva la ecuacin diferencial f ' (z )
1 + z/(z)con la condicin inicial/(O) = 0. Cul es su radio de convergencia?
19. Determine la serie de Maclaurin general que solucione la ecuacin diferencial
zf"(z) + f ' ( z ) + z /(z )= 0 y muestre que es entera. (Sugerencia: Pruebe que
y^~\ -> oo cuando n -* ya que e2 es entera).
20. Encuentre la solucin general, en serie de Maclaurin de la ecuacin diferencial
i i Z) g'(z o )
lm R,
- * oo
a n+ 1
K z )= ] Q g(*)e <*t-
g{t)e " - S
n= 0 ni
converge uniformemente en 0 < t .< 1 .
26. Pruebe que f(z) es entera. (Sugerencia: Utilice el Ejercicio 25 para intercambiar
la sumatoria y la integral.)
27. Pruebe que f ' ( z ) = tg{t)el dt.
28. Sea g{t) continua enO < t < 1 Ahora defina
/ ( Z) = l1 dt, \z\<l.
30 1 -zt
f(zi)=z+f(z).
3 .3 S eries de Laurent
I.a serie
di Q,2 &n
z z2 zn
analtica en Iz I > 1 / R . Al combinarse una serie de este tipo con una serie de
potencias ordinaria se obtiene una de la forma
2 anzn .
n =
2 an (z z 0 )n
n = oo
Te o r e m a de La u r e n t
Si f(z) es analtica en el anillo r < Iz z 0 . < R, entonces puede de
sarrollarse de manera nica en una serie de Laurent
/(z)= S an (z z 0 )n,
n = oo .
donde
o
FIGURA 3 .3 . R e g i n d e c o n v e rg e n c ia d e u n a serie d e L a u re n t a lre d e d o r d e z 0
3.3 SERIES DE LAURENT 117
Fig u r a 3 .4 .
/(* )
1
_L f ffl)#
2m y2 $ - z 2m Ti t
para todo z que satisfaga r + e < Iz z 0 I< J? e. El teorema de Riemann
(o el de Cauchy y el de Cauchy para las derivadas) proporciona la analiticidad
de cada integral en los complementos de las curvas 7 1 y 7 2 Si se procede exac
tamente igual que cuando se prob el teorema de Taylor, la primera integral
se transforma en
1 m ^ = i
Qn ( - O )"
2717 t2 t-z n =0
con
1 /(? ) dt
n = 0, 1, 2, . .
n+l
2717 y-2 ( t - z o)
-1 t - z 0
2
t - Z ( z - Z 0) - (t - Z0 ) Z - Zr n =0
Luego
l_
= 2 a _ n_ ! (2 z 0 )_ n _ 1
2m 7 1 S Z n= 0
con
1 /(n #
<Tn1 7
2 tti
Ej e m p l o 1
Al utilizar la serie de Maclaurin de eos z y e ? , se tiene
Z2
- n-s (-ir0 (2 n ) \
~2 n
2 ( _ 1 ) " +1 i---------, 0 < Iz I<
=-1 ( 2 n + 2 )!
1 /2 00 Z ^
ev s = 2 ----- = 2 -1 , 0 < Iz I.
n=0 n\ n= (n)l
3 .3 SERIES DE LAURENT 119
Ej e m p l o 2
Considere la funcin (z 2 3z + 2 ) - 1 . Es analtica en todas partes, ex
cepto en z = 1 , 2 . Encuentre su serie de Laurent en las regiones (a) 1 <
l z l < 2 , (b) l : l < l , ( c ) U I > 2 y (d) 0 < Iz - 1 1 < 1 .
1 1 1
(z l)(z 2 ) z - 2 z 1
2 z
2 n-o \ 2 J Z \2
ya que l l / z l < l y lz/2 l < 1. As,
1 _ S zn - 2 f-
( z - l ) ( z - 2) n=-- 2 n=0 \ 2
_ i L_ = L _ + _L_ =_ I 2 l-\ + S
z 2 z 1 z 1 z 2 n=o \ 2
2
Por tanto, 1 1
\------------ = IzKi.
(z - 1 ) (z - 2 ) =0 V 2
(c) Aqu J J
1 1 ' z z
z - 2 z - 1 _2 X_ I
z z
. i s ( i y _ I (i)"
z n=0 \ Z / Z n=0 Vz /
= 2? (L - 1) Zn , 2 < Izl.
=_oo \2 " /
120 CAPTULO 3 SERIES INFINITAS
Ej e r c ic io s
Encuentre la serie de Laurent de la funcin (z 2 + z )- 1 en las regiones de los Ejerci
cios 1-3.
l.O C lz K l 2. 0 < Iz 1 1< 1 3. 1 < Iz 1 1< 2
Represente la funcin (z 3 z )- 1 como una serie de Laurent en las regiones de los
Ejercicios 4-7.
4. 0 < Iz I < 1 5. 1 < Iz I
6. 0 < z - l l < 1 7. 1 < Iz - 11 < 2
Encuentre la serie de Laurent de la funcin z/(z 2 + z 2 ) en las regiones dadas en
los Ejercicios 8-13.
8. I z K l 9. 0 < Iz 1 I< 3
.10. 0 < Iz + 2 I < 3 11. 1 < Iz I < 2
12. Iz I > 2 13. Iz + 2 l > 3
Represente las funciones dadas en los Ejercicios 14-17 como series de Laurent en la re
gin 0 < Iz I< .
14. z e llz 1 5 .e z+1lz
io 1 1 1 1
1 8 . ------ sen 1 9 . sen
z 1 z z 1
n=
Muestre que
ir Jo
24. Use los coeficientes de la serie de Laurent de e^z en Iz I > 0, para mostrar que
n
(eos 6)m eos nd dO, m, n enteros,
1
comparando los coeficientes de la serie de Laurent de (z + l/ z ) mcon su desarro
llo binomial.
26. Encuentre la serie de Laurent de esc z en ir <C Iz I<C 2ir.
2 ak ( z - z 0 )k, a _ n i= 0 .
k=n
Cora.og(z) es una funcin analtica no constante en Iz z 0 I < r, el orden del
cero de g en z 0 debe ser finito. Entonces, el orden del polo de f(z) en z0 debe ser
tambin finito.
(iii) Singularidades esenciales son todas las aisladas que no son remo-
vibles ni polos. En este caso, f ( z ) no tiene lmite cuando z -z 0 , y un nmero
infinito de coeficientes a _ n, n = 1, 2, 3, . . ., de su serie de Laurent alrede
dor de z 0 no se anulan; puesto que, de otra manera, z 0 sera un polo o una
singularidad removible.
Se dan algunos ejemplos para ampliar las definiciones. Obsrvese que
senz
+
z 3! 5!
tiene una singularidad removible en z = 0. De tal forma que
eos z 1 1 z2
z2 z2 2! 4!
tiene un polo de orden 2 en z = 0. Finalmente,
z 2 lz2
tiene una singularidad esencial en z = 0 .
El concepto de singularidades aisladas tambin se aplica a las funciones
(univaluadas) f(z), analticas en una vecindad R < Iz I< 00 de Por conven
cin, se clasifica una singularidad aislada en oo si g(z) = / ( 1 /z) tiene una sin
gularidad removible, un polo, o una singularidad esencial en z = 0 .
Las singularidades no son necesariamente aisladas. Por ejemplo, la funcin
D e f in ic i n
Una funcin analtica en una regin G, excepto por sus polos, se llama mero-
m orfa en G.
3,4 SINGULARIDADES AISLADAS 123
Te o r e m a de W eierstrass -C a s o r a t i
Una funcin analtica se aproxima arbitrariamente a un valor dado en
cualquier e- vecindad de una singularidad esencial.
m - A
> cuando z -o >
iz z 0 i
lo cual implica que g(z) = [/(z) A ] / ( z z 0 ) tiene un polo en z 0 . As, g(z)
es meromorfa en Iz z 0 I< e. Pero, entonces, tambin /(z ) = A + (z z 0 )g(z),
lo es. De ah que contradiga la hiptesis de que z 0 es una singularidad esen
cial. II
De hecho se puede demostrar ms, aunque la prueba es difcil, y no se da
r aqu:
Te o r e m a de P ic a r d
Una funcin analtica toma infinitas veces todos los valores complejos, ex
cepto posiblemente uno, en cada una de las e-veeindades de una singula
ridad esencial.
Ej e m p l o 1
Encuentre y clasifique las singularidades de las funciones
Ej e m p l o 2
Pruebe que sen z toma todos los valores de C en cualquier vecindad de oo,
Ej e r c ic io s
Para cada una de las funciones de los Ejercicios 1-6, encuentre y clasifique las singula
ridades.
1. - ^ - 2. *
z3 + z 1 +z2
3. ze llz 4. ez~ ilz
5. sen - +\ 6. etan 1Z
z z
7. Construya una funcin que tenga una singularidad removible en z = -1, un
polo de orden 3 en z = 0, y una singularidad esencial en z = 1. Entonces en
cuentre su serie de Laurent en 0 < Iz I< 1.
Muestre que cada uno de los integrandos de los Ejercicios8-11 tiene unasingularidad
removible en z = 0.Quite la singularidad y obtenga la serie de Maclaurin de cada in
tegral.
3.5 CONTINUACI N ANALTICA [OPCIONAL] 125
o O- / \ - lz senf
8 . Si(z) aMf- o ni \
9. \Z c o s f - 1
Clz) =-------------------------- ac
Jo f v ' Jo f
-
1 0 . ( z ) = |qZ - - - - 1 d$ 11. L(z) = |* L g^ +
12. Muestre que la funcin f(z) = e lz toma todos los valores, excepto 0, un nme
ro infinito de veces en cualquier e-vecindad de z = 0 .
13. Pruebe que una funcin entera, con una singularidad no esencial en e* , debe ser
un polinomio. Qu clase de singularidad tienen oo sen z y eos z en oo?
14. Muestre que una funcin meromorfa en lll debe ser el cociente de dos poli
nomios.
15. Pruebe que una funcin entera es constante si no toma los valores 0 y 1. (Suge
rencia: Use el teorema de Picard).
3 .5 C o n t in u a c i n a n a l t ic a (opcional)
Sucede a menudo que la expresin / 0 (2 ) ,como una serie infinita o una integral
que define una funcin analtica , slo tiene significado en alguna regin
limitada G0 del plano. Surge entonces la pregunta de si existe o no alguna for
ma de extender la definicin de la funcin y volverla analtica en una regin
mayor. En particular, es posible encontrar una expresin (2 ) analtica en
una regin G0 que intersecte a G tal que f 0 (2 ) = / (2 ), para todo 2 en G0 D
G j ? S es as, se puede extender esta funcin a la regin G0 U G j , y se dice
que los elementos (fo, G0 ) y ( f \ , G x) forman una continuacin analtica di
recta donde se sigue el uno del otro. Cualquier continuacin analtica directa
de {f 0, G0 ) a Gi es necesariamente nica, porque dos funciones analticas en
Gj concordantes en G0 Gx deben coincidir en G (vase Ejercicio 20, Sec
cin 3.1).
Un procedimiento para obtener continuaciones analticas empieza por
desarrollar la expresin dada en una serie de Taylor
/ 0 (2 ) = S an (2 2 0 )
n=0
/ , ( 2 )= f- n (2 - 2 1)", n = ^ l J ,
n=0 ' til
Ej e m p l o 1
La serie de potencias
/ 0 (z)= z (z -ir
n -0
tiene radio de convergencia R = 1, as que la regin de convergencia G 0
es el disco Iz \ I < 1. Se puede continuar (f Q, G0 ) a un disco centrado
en 0 calculando
/ o (0 ) = Z ( - I r , '/ (0) = l
n-0 n=1
Ej e m p l o 2
Considere la funcin f(z) = 1J^fz en los puntos z = e7"/4, e lm^ . Si se uti
liza el teorema binomial, se puede obtener el desarrollo en serie de Taylor
alrededor de cada uno de esos dos puntos:
J _ = g-m /8
sJT y/l - ( 1 - z e ~ ^ )
= e -rd /%
~
|
( 2 n)\
(2 n ) ! ( ! _ z e - '/ 4 )n J z _ e 7T/4 |< j >
n =o 2 2 ( n ! ) 2
y
i
e 7/8
v/F 0 (I - z e - 1*)
TEOREMA
La sene de potencias Z J an (z z u)n puede continuarse analticamente
a lo largo de cualquier curva 7 que empiece en su disco de convergencia
\z z 0 I < R 0 hasta que se encuentre una de sus singularidades.
Figura 3.8.
3.5 CO NTINUACIN ANALTICA [OPCIONAL] 129
D e f in ic i n
Una funcin analtica global es una coleccin 5 de elementos (f, G), tales que
dos cualesquiera de ellos son uno continuacin analtica del otro, a travs
de una cadena de elementos de 7 .
Ej e m p l o 3
Sea Gk la regin que consiste en todos los puntos z que satisfacen Iarg z
(kir/2) I < 7r/2, para todos los enteros k, y sea fk (2 ) = log z, para todo
z en Gk . Entonces la coleccin :{f0, G 0 ), ( f x, Gj), . . (fn, Gn ), . . . es
una funcin analtica global, ya que es la coleccin de elementos Gj)
para todo e n te ro /
Ej e m p l o 4
Si Gk consiste en todos los puntos z que satisfacen Iarg z (kir/2) I< 37 T/4 ,
y fk (2 ) = log z, para todo z en Gj y todo entero k, entonces etn^ perte
nece a G0 H G2 y /o {z) = f i (z )> Para todo z con Iarg z (ir2) I< 7r/4,
aunque (f0, G0 ) y (f 2, G2 ) no sean continuaciones analticas directas
uno del otro (vase Figura 3.9).
Ej e r c ic io s
En los Ejercicios 1-3, encuentre prim ero una funcin que coincida con la serie d ada en
su disco de convergencia.
1. Desarrolle 2 j zn j n en una vecindad de z = %, y determ ine su radio de conver
gencia.
2 . Desarrolle 2 ra=i zn en una serie de T aylor, en una vecindad de z = a, la l <
1 . Cul es el nuevo radio de convergencia de la serie?
3 . Muestre que las series
~ z ra (z 2)n
2 y I7T+ S ( - 1 )
1 n i n
no tienen regin de convergencia com n, no obstante que son continuaciones
analticas u n a de la o tra.
P a ra los Ejercicios 4-7, encuentre la serie de T ay lo r de cad a funcin en el disco Iz
1 I < ld e su ra m a principal. Entonces, contine analticam ente cad a funcin a lo la r
go de y : z ( ) = e lt, 0 < t < 27T. Los valores en z ( 2 tt) coinciden con los de z(0)?
4. logz 5 . Z 1 /2
6 . sen ( z 1 /2 )7T/2 7. (sen ztt/ 2 ) 1^2
8. Muestre que la funcin
Z2 n
n- 1
00 i
2 zn!.
ra=0
/( z ) = S an z
n=0
con radio de convergencia 1 y coeficientes reales no negativos an tiene una sin
gularidad en z = 1 .
15. Muestre que aunque S n=1 zn/ n 2 converge en todo punto de Iz I= 1, no es
analtica en z = 1 . *
NOTAS
Se han omitido importantes teoremas de Mittag-Leffler y Weierstrass, concer
nientes a las representaciones de funciones meromorfas por medio de series in
finitas y productos. Se exhorta al lector al estudio de estos tpicos, de los cuales
puede encontrar un desarrollo en [A, pgs. 185-196].
S e c c i n 3 .4
Se pueden encontrar dos pruebas diferentes del teorema de Picard en [A, pg.
297] y [V, pg. 144].
S e c c i n 3 .5
Aunque en teora est bien el mtodo indicado para construir continuaciones
analticas directas, en la prctica rara vez es til. El problema radica en calcu
lar los coeficientes bn , los cuales, a menos que se tenga informacin adicional,
son sumas de series infinitas.
Una prueba del teorema de la monodroma puede encontrarse en [A,
pg. 285],
A In te g ra c i n
4 EN CONTORNOS
4 .1 T eo r e m a del residuo
1
a- l ~ r m d$, 0 < p < R,
2m I ? - z 0 l= P
/(z ) dz = 2 [ f{z)dz,
Jy n=l J \zz n \= rn/ 2
{ z - Z o ) kf ( z ) = 2 an (z z 0 )n+k ,
n= k
As que, para k = 1,
lm ( z - Z o ) / ( z ) = fl_!,
z-*z0
lm
Z -*Z 0 dzR 1 K* ~ z o)A/ ( z )l =
~ T k^ i (k ~ 1) !a - '
Ej e m p l o 1
Encuentre el residuo en todas las singularidades en C de las funciones
\z 3lz 5!z
=2 - + 0 < | z| < ,
3 \z 5!z
Res,,kh{z) = lm = ( 1 7t, k = 0, 1 , 2, . . .
z^-nk senz
Ej e m p l o 2
Evale la integral
dz.
z - 4 I = 1 Z3 - Z
Z 0Z
Res 0 r = lm = 1
z(z - 1) 0 Z2 - 1
Res! = lm
z(z - 1) z->i z(z + 1 ) 2
As,
dz = 7rz (e 2 ).
I z 4 I= 1 ' Z 3 Z
136 CAPTULO 4 INTEGRACIN EN CONTORNOS
T e o r e m a del in t e r io r y del e x t e r io r
Sea
anzn + a n:..lzn + . + fli + a 0
F(z) =
bmzm
'ib +' m ,z m ~ 1 + . . . + b xz + b 0
1
donde m ^ n + 2. Entonces
2 tt Res F (z),
F{z) dz =
7 I 2ililis* Res F(z).
lm F(z) dz = 0.
R-* \z\ = R
Por hiptesis, z 2 F(z) I est limitada por una constante 0 < M < cuandoz
tiende a porque
anzn+2~m + . . . + a0z 2~ m
z F(z) = --------------------- :---------------------> m ^ n + 2.
br, + bm _ i z 1 + . . . + b 0z m
Por tanto,
z, 2 F(z) \ . , . . 2nRM
F{z) dz -------------- Idz I ^ >
\z l= R z I= R Izl2 R2
que tiende a 0 cuando R .
4A TEOREMA DEL RESIDUO 137
Imz
Ej e m p l o 3
Evale la integral
dz, Ib I> 1 .
Ji*i = i zn (z + b)
Ej e r c ic io s
Encuentre el residuo en todas las singularidades en C para las funciones dadas en los
Ejercicios 1-12.
2 .f(zy 3
z2 + 1 Z Z
z2 + 1
3.f(z) = 4.f(z)
ZJ (z2 + 1 )'
5 , f ( z ) = z e l/z 6 . / ( z ) = z eos
z
Evale las integrales en los Ejercicios 13-24. En los Ejercicios 15-18, n es un entero no
negativo.
e2
13. dz 14. dz
I2 1=2 z2 + 1 1* 1=2 z 3 + z
dz dz
15. 16.
\ z-l\ =2 Zn ( z 2 + 1 ) l * - l l = V 5 /2 z n (z 2 + 1)
dz dz
17. 18.
121=3/2 z n ( z 2 + l ) l*- 1=1 / 2 zn (z2 + l)
sen z sen z
19. dz 20 . dz
l z - 1 / 2 1=1 z3 +z 1* 1=2 (z 3 + z )2
25. Suponga que P(z), Q(z) son polinomios. Muestre que todos los residuos de la
funcin [P{z)/Q(z)]' son cero.
En esta y las siguientes tres secciones, se presentan algunas tcnicas tiles para
aplicar el teorema del residuo a la evaluacin de integrales definidas.
4.2 EVALUACIN DE INTEGRALES REALES DEFINIDAS 139
Integrales como
f 2 7r
F ( eos 6, sen 6) dd,
eos 6 = - (e ie + e ~ ie) = - ( z + -
2 2V 2
dz
= ie%e - iz.
dd
Te o r e m a
2 ir dz
Fleos d, sen d) dd = f F i ( * + iV A z ------
L2 V z 2i
.
Ej e m p l o 1
Muestre que
dd
a > b > 0.
+ &COS0 ^ a2 _ b2
SOLUCIN: Como eos d toma los mismos valores en [7T, 27f] que en
[ 0 , 7f], la integral anterior es igual a
1 f 2 7r dd dz
2 JO a + b eos d i Ji^i=l bz2 + 2az + b
a +\fa2 b2 L
b b
lm l- = i = 1
z->p b(z q) b(p q) 2y/a2 b2
La respuesta se sigue ahora por el teorema del residuo.
Ej e m p l o 2
Pruebe que
de ira
a > b > 0.
o (a + b eos d ) 2 y/(a2 - b2 )3
Ej e r c ic io s
Evale las integrales en los Ejercicios 1-9 por el mtodo mostrado en esta seccin. En
los Ejercicios 6 -8 , n es un entero no negativo.
'jt/2 dd tt . ^
1 tCT ~ r a '> 0
a+sen 6 2y/a2 + a
2. = a> 0
0 [a + sen 9) 4 ^ 2 + a)3
f '2 7 r dd _ 2ir
a, b > 0
0 a2 eos 2 d + b2 sen2 9 ab
2 t7 dd ir(a2 + b 2 )
4. ------- = > a, b > 0
Jo (a eos 9 + b sen 9) a3 b3
si Ia I< 1
5 ~2n d9 = l 1 -a 2
Jo 1 2a eos 9 + a2 ) ^ si Ia I> 1
a2 1
4.3 EVALUACIN DE INLEGRALES REALES IMPROPIAS 141
nlir
si n es par
2 7T -tn 1
6. eos" d dd
si n es impar
0,
n!r
^(a2 + b T ,
2 tt 71 1 n par
(.a eos d + b sen d)" dd = 2
0, n impar
a, b reales
Te o r e m a
Suponga que F(z) es el cociente de dos polinomios en z tales que
(i) F(z) no tiene polos sobre el eje real, y
(ii) F{\/z) tiene un cero al menos de orden 2, en z 0, esto es, el
grado del denominador excede, al menos por 2 , al grado del nume
rador.
Entonces
/ i VE* Mwfe-j fe os i:lM f R e fe V V .vfE s v
| F(x) | > dx = j i | 2iri 2 Res F ( z ) e mz, a > 0,
Figura 4 .2 .
-aY
1 1 e
<M + + (.X 1 + X 2 )
_X 1 X 2
Ej e m p l o 1
Pruebe que
eos ax TT0ab
T
dx = ----------> a > 0, b > 0.
+ h2 9h
1 44 CAPTULO 4 INTEGRACIN EN CONTORNOS
Ej e m p l o 2
Muestre que
x senax 77
------------ dx e~ab, a > 0, b > 0.
Jo x 2 + b2 2
SOLUCIN: Las condiciones (i) y (ii) se aplican a F(z) = z{z2 + b2 ),
x sen ax r . zeiaz 1
------- - dx = Im 2717 Res* ------ - = 7re ab ,
J-~ x + b L z 2 + b2\
nuevamente con el integrando como una funcin par.
Ej e r c ic io s
Evale las integrales siguientes por el mtodo dado en esta seccin,
oc dx 7T
1.
(x2 + 2x + 2 ) 2 2
, x dx
2- I------- :-------------- = *
< (x2 + 2x + 2)
00 X dx 77
3.
o (x2 + a2 )2 4a
r- dx 7r , ^
4. --------------- = *a, > 0
(x + a )(x + b 2 ) ab(a + b)
dx (2n)lir
5 __________ = -__ -___ , n un entero no negativo
(x 2 + l )n + 1 2 2 n (n ! ) 2
C eos ax , 7T / ab 7r\
8. - ------ T d x = e - ( ai>)/V2 sen [- + - , a > 0, 6 > 0
Jo x4 + 64 26 \ y /T 4/
x senax , 7T , hV nr ab ^
9. ------ dx = e ~(a 'i v 2 sen , a > 0, 6>0
o X4 + 64 26
-
xs*3 senax , n h\i PT ab , .
10 . dx = - e- ( ab)/V2 cos , &> 0
0 x 4 + 64 2 v/T
En el estudio de la Seccin 4.3, se supuso que F(z) no tena polos sobre el eje
real, ya que, de otra manera, la integral
= 7Tza_i f(re )e d6
i y
- X, V^o J *2
-ir
Figura 4 .4 .
146 CAPTULO 4 INTEGRACIN EN CONTORNOS
lm + F ( x ) e mx dx = 2m 2 Res F(z)eiaz +
r ->0 y >o 2
f 0
lm f ( x ) dx + lm f ( x ) dx. (2)
J-R, R^
PV f ( x ) dx = lm f ( x ) dx.
/? J R
fc -e Cb
f(x) dx = lm f(x) dx + lm f(x) dx, e > 0 , i?> 0 , (3)
a e~*0 J a V ->0 J c+r
PV f ( x) dx = lm ( f ( x) dx + f ( x) d x ) , e > 0, (4)
**a ->0 \Ja J c+e J
puede existir. Por ejemplo,
= l,m ( I' - 1 + [ * ) * = 0.
R - k \ J R Jl / x
Si F(z) tiene varios polos de orden 1 sobre el eje real, que coinciden con los
ceros de eos ax o sen ax, entonces, al incluir en y tantos semicrculos como po
los haya y al tratarlos como al anterior semicrculo E, se obtiene el resultado
general siguiente.
TEOREM A
Supngase que F(z) es el cociente de dos polinomios en z tales que
(i)' todos los polos de F(z) localizados sobre el eje real son de orden 1 y
coinciden con los ceros de eos ax o de sen ax, a > 0 , y
( ii)'/,-(l/z) tiene un cero al menos de orden 1 , en z = 0 .
Entonces
E je m p lo a
Pruebe que
f sen x ^ _ JT
JO x 2
SOLUCIN: Puesto que F (z) = 1/z, es claro que (i)' y (ii)-'se cumplan,
por lo que tenemos
PV dx = 7t Res 0 = 7Ti.
J- X z
Ej e m p l o 2
Muestre que
sen2x , 7t
dx =
1 eos 2x ,
7 1 ------ dx
4x
1 - e 2iz J l - e 2
dz = 2m Res 0 z = 7t.
7 4z 2 4z 2
Ej e r c ic io s
Evale las integrales en los Ejercicios 1-9 por el mtodo mostrado en esta seccin.
COS TTX , 7T
1. d x = ---------
-- 4x 1 2
< sen TTx 7T
2. dx = (e n 3)
-o o x " x 2
senx x 2 + a2
dx = [a2 + e - b ( b 2 - a 2 )], a, b > O
* r x x 2 + b2 b 2
foo sen x 7r ,
5 - 1o x (x 2~+.TTn
6 ) , isn
2 6 2r ( x ~ g ). 6>0
-a b
(ab + 2) a , b > O
o x (x +b )
f~ eos ax eos 6 x , b a
7. dx = -------- 7T, a, 6 > O
oo Sen x 37T
8. dx =
o x 8
150 CAPTULO 4 INTEGRACIN EN CONTORNOS
1 eitx dx ) 2* t> 0
PV ----------- = < 0 , f = 0,
TT
27T JJ *X (I - X , 4- s<' \0 ,
con el mtodo que se mostr en esta seccin. Si se aade a esta funcin, se ob
tiene la funcin impulso, encontrada frecuentemente en los libros de ingenie
ra, y que representa la conexin sbita de una corriente en un circuito elctrico
abierto.
4 .5 I n t e g r a c i n de f u n c io n e s m u ltiv a lu a d a s
(opcional)
Cuando se trabaja con integrales que contienen funciones multivaluadas, se de
ben tomar en cuenta los puntos y cortes de ramificacin del integrando, adems
de sus singularidades aisladas. Esto se debe a que, para usar el teorema del resi
duo, es necesario seleccionar una regin donde el integrando sea univaluado.
Te o r e m a
Sea F(z el cociente de dos polimonios en z que satisface a
PRUEBA: Como F(z) slo tiene un nmero finito de polos en G , existen nme
ros 0 < r < R tales que todos los polos diferentes de cero estn en el interior
del anillo r < Iz I < R . Para la funcin za, se selecciona la rama de (fi cuyo
argumento se localice entre 0 y 27r, con puntos de ramificacin 0 y . Sea
7 = Ti + 72 + 7 3 + 7 4 Ia frontera de la regin que se obtiene al cortar
r < Iz I < R a lo largo del segmento de recta r < x < R , como se muestra en
la Figura 4.6.
4.5 INTEGRACIN DE FUNCIONES MULTIVALUADAS [OPCIONAL) 151
- C o rte d e ra m ific a c i n
z a F ( z \ = \ X<1F(X) so b re T i ,
\ xae 2nu F ( x ) sobre 7 3 ,
sobre
f zaF (z ) dz = (1 - e2" ) f * x aF (x ) dx
Jti+T 3
proporciona la frmula requerida si R 00 y r 0. I
Ej e m p l o 1
Muestre que
00 x a dx 7rba
0 > a > 1, b > 0.
Jo x + b sen 7m
SOLUCIN: Aqu, 0 < a + 1 < 1 , por tanto es claro que (i) y (ii) se
cumplen. Al elegir la rama de (R cuyo argumento se localiza entre 0 y
27T, se tiene
2iri 2m ba
Res._
1 - e 2 (z + b)
ya que en esta rama
Ej e m p l o 2
Pruebe que
Ej e m p l o 3 f
Pruebe que
00 senh ax l a
. :---- dx = tan
-ir < a < ir.
0 senh 7Tpc 2 2
Res 0 ----------- = lm
senh irz ->-0 snh irz
eaz (z i)eaz ea
Res; ------------= lim
senil 7tz z -* t senh nz n
por el teorema de L Hospital. Si se integra sobre los dos semicrculos se
obtiene / ^
-TTl | -----------
.n n
ms una integral que se anula cuando 5 -+ 0. Pero
senh n (x + i) = -senh ttx,
P V (1 +<? ) dx = i ( l - e ai),
senh it x
OO Q
PV ------------ dx = tan >
J- senh t t x 2
Ej e r c ic io s
Evale las integrales en los Ejercicios 1-16, por el mtodo de esta seccin.
f xa 7nzfea _ 1
1. - dx - ---------- > l > a > 1 , fe> 0
Jo (x + fe) sen na
f e ay dy nba
2 .----------- -------- f - = ----- , 0 > a > 1 , b> 0
J -oo i + be y sen na
xa dx nba"~l
1 > a > 1 , > 0
Jo x 2 + b2 7Ta
2 cos
2
f dx
Xa 7T sen 9 a
4. ,-------------------------- = >
Jo x 2 + 2x cos 0 + 1 sen na sen 9
1 > a > 1 , n > 9 > n
f x a dx nb~ s ( \ a) 0. ^
5. Z -T-= = i 3 > a > 1 , b> 0
Jo x 2 + fe ) na
4 cos
4 .5 NTEGRACIN DE FUNCIONES MULTIVALUADAS [OPCIONAL] 1 55
x a dx 2irba 2
6. eos ( 1 2a)
o x 3 + b3 3 sen ira 3 2
x eos ax , ir , n air
12 . ------------ dx = sech a real
0 senh x 4 2
cosh ax 1 a ^ ^
13. dx = sec > ir <. a<. ir
o cosh irx 2 2
ira
eos
r
14. x - i i cosK dx= ] 2 1 > a > 0, b > 0,
Isen bx | , na ba
sen
r, l\ ir
T ( eos
sen x a . \a J 2a 1
15. dx = - 1 > a>
uo x a 1 2
eos x , I sen x
1 6 . dx = dx = dx.
0 \f~x~ -0 y /x 0 > /2 x
1 56 CAPTULO 4 INTEGRACIN EN CONTORNOS
f w/2 7r
(tan d)a dd = > 1 > a > 1 ,
Jo na
os
2
r/2
log tan d dd = 0 .
4 .6 El p r in c ip io del a r g u m e n t o
Otra aplicacin del teorema del residuo, til para determinar el nmero de ce
ros y polos de una funcin meromorfa, es el siguiente resultado.
El p r in c ip io del a r g u m e n t o
Sea w = f(z ) meromorfa en la regin G simplemente conexa, y sea y una
curva de Jordn spp en G que rodea los ceros y los polos de f(z ). Entonces
_1 f dw = 1 f f'(z ) d z = z p
2m J f(t) w 2 ir J t f(z)
donde Z y P son , respectivamente, el nmero de ceros y polos, incluyendo
multiplicidades, de f(z ) situados en el interior de y.
= _ A _ + M ,
f(z) z-a f Q(z )
y, puesto que / / / 0 es analtica en una e-vecindad de a, se observa que f / f
tiene un polo de orden 1 con residuo k en z = a.
Por otra parte, si a es un polo de orden h de f(z ), entonces f(z ) = f 0 (z)/
(z a^ co n f 0 (z) nuevamente analtica y diferente de cero en una e-vecindad
de a. As que
/ = -h + f (z )
f(z ) z-a f 0 (z)
4.6 EL PRINCIPIO DEL ARGUMENTO 157
i L ^ l dz = Z - P ,
2m h f(z )
donde Z es la suma de todos los rdenes k de los ceros de f(z ), y P es la suma de
todos los rdenes h de los polos de /(z ), situados en el interior de 7 .
Una aplicacin sumamente til del principio del argumento es el siguien
te resultado.
T e o r e m a de R o u c h
Sean f(z ) y g(z analticas en una regin G simplemente conexa. Si If(z ) I
> . \ g { z ) - f ( z ) ' en todos los puntos de la curva de Jordn spp 7 conteni
da en G, entonces f(z ) y g(z) tienen el mismo nmero de ceros en el inte
rior de 7 .
PRUEBA: La hiptesis If(z ) I > lg(z) f(z ) I obliga a ambas funciones a ser
diferentes de cero sobre 7 as que 7 rodea los polos y los ceros de F(z) = g(z)/
f(z ). Sin embargo, para todo z de 7 .
g{z )
1 < 1.
/(* )
Luego entonces F ( 7 ) no da vueltas alrededor de 0, por lo cual el principio del
argumento implica que F(x) tiene el mismo nmero de ceros que de polos en el
interior de 7 . Pero stos corresponden a los ceros de g(z) yf(z ), respectivamen
te. De esta forma, la prueba queda completa. I
Ej e m p l o 1
Encuentre el nmero de races de la ecuacin
z 4 + 5z + 1 = 0
situadas en el interior del crculo Iz I= 1 .
Ej e m p l o 2
Muestre que z e? + a = 0 , a > l , tiene una raz en el semiplano iz
quierdo.
Ej e m p l o 3
Encuentre el nmero de races de la ecuacin
z 4 + iz 3 + 3z 2 + 2iz + 2 = 0
que se localizan en el semiplano superior.
Ej e m p l o 4
Encuentre el nmero de races de la ecuacin
7z 3 5 z 2 + 4z 2 = 0
en el disco Iz I< 1 .
Ej e r c ic io s
Para los Ejercicios 1-4, encuentre el nmero de races de las ecuaciones dadas en el in
terior del crculo l zl = 1 . ''
4 .6 EL PRINCIPIO DEL ARGUMENTO 159
1 . z 5 + 8z + 1 0 = 0
2. z 8 - 2 z 5 + z3 - 8 z 2 + 3= 0
3. z 6 + 3z5 - 2 z 2 + 2z - 9 = 0
4. z 7 7z 6 + 4z3 1 = 0
5. Cuntas de las races de las ecuaciones dadas en los Ejercicios 1-4 estn en el in
terior del crculo iz I= 2 ?
6 . Cuntas de las races de la ecuacin
3 z 4 - 6 iz3 + 7 z 2 - 2z + 2 = 0
N o ta s
S e c c i n 4.1
Los resultados de esta seccin se extienden fcilmente a curvas 7 spp cerradas
arbitrarias de G . Sin embargo, en la mayora de las aplicaciones, 7 es una cur
va de Jordn. En consecuencia, se incorpor esta hiptesis adicional para sim
160 CAPTULO 4 INTEGRACIN EN CONTORNOS
S e c c io n e s 4 .2 -4 .S
El lector puede haber notado que algunas integrales, que dependen de uno o
ms parmetros arbitrarios, podran haberse obtenido por derivacin o in
tegracin de otras integrales con respecto a estos parmetros. Por ejemplo:
Ejercicios 1 y 2 de la Seccin 4 .2 ; Ejemplos 1 y 2 de la Seccin 4 .3 ; Ejercicios 8 y
9 de la Seccin 4.3; Ejercicios 5 y 6 de la Seccin 4.4; Ejercicios 3 y 5 de la Sec
cin 4.5 . Una condicin suficiente para la validez de estos procedimientos es la
convergencia uniforme de las integrales en el intervalo de definicin de los pa
rmetros. Los teoremas y pruebas importantes pueden encontrarse en la
mayora de los libros de clculo avanzado. Por ejemplo, vase [B, pgs. 204-
212], Usualmente, esta tcnica es ms sencilla que evaluar las integrales por el
mtodo del residuo.
S e c c i n 4 .6
Estos resultados tambin pueden extenderse a curvas 7 spp cerradas arbitra
rias (vase [A, pgs. 151-153]).
C MAPEOS
O CONFORMES
5 .1 C o n s id e r a c io n e s g e o m t r ic a s
Obsrvese el cambio de la pendiente de un arco suave que pasa por el punto
z o bajo el mapeo w = f(z ), cuando/ es analtica en z0 y f ' ( z 0 ) = 0.
Si 7 : z = z(t), z(0) = z 0 , es tal arco, su tangente en z 0 tiene pendiente
?
dx x (U)
= ta n a r 2 '()>
Te o r e m a
Si f(z ) es analtica en una regin G, entonces w - f(z ) es conforme en to
dos los puntos z0 de G para los cuales f '{z0) # 0 .
161
162 CAPTULO 5 MAPEOS CONFORMES
FIGURA 5 . 1 . M a p e o c o n fo rm e e n z 0
Ej e m p l o 1
El mapeo w = e? es conforme en todos los puntos de C , ya que su deri
vada no se anula. Esta funcin mapea el eje real del plano z en los reales
positivos del plano w. El eje imaginario del plano z se mapea repetida
mente en el crculo unitario del plano w porque Iely I = 1. As, el ngulo
recto entre los ejes coordenados en el primer cuadrante del plano z se
transforma en el ngulo recto entre el eje real positivo y el crculo unitario
en el primer cuadrante del plano w (vase Figura 5.2).
^ t /2
p la n o z
FIGURA 5 . 2 . El m a p e o c o n fo rm e w = ez
i / ', , , , ) ,= ,Im 1 L M ,
z~*z0 \Z Z 0 \
dor de f ( z 0 ) con cambio de escala If ' ( z 0 ) I. Esto indica que el mapeo es local
mente uno a uno, aunque es claro que nada puede decirse acerca de su com
portamiento global. Por ejemplo, / ( z ) = e? es localmente uno a uno, ya que
f ' ( z ) = ez = 0 , pero /(O) = f ( 2 ni), por lo cual no es uno a uno en 6 .
Los ngulos se amplifican en todos los puntos donde la derivada es cero.
Por ejemplo, / ( z ) = z 2 tiene una derivada que se anula en el origen. Como
/ ( l ) = / ( 1 ) = 1 y f{i) = / ( - * ) = 1 , los ngulos rectos entre los ejes se ma-
pean en ngulos de 180. Esta duplicidad de ngulos provoca que los crculos
alrededor del origen se mapeen en curvas circulares que dan dos vueltas alre
dedor del origen. Esto motiva el teorema siguiente.
Te o r e m a
Sea /(z ) analtica en una regin G que contiene al punto z 0 en el cual
/'( z ) tiene un cero de orden k. Entonces todos los ngulos en z 0 se ampli
fican por un factor k + 1 .
f {k+1)(z o) (z - z 0 )A+1 +
f ( z ) = f ( z o) +
(A + l)!
lo cual implica que
J {k+ 1 ] (z o )
argl/fc) ~ f ( z o)] = (A + 1 ) arg(z z 0 ) + arg +.
(A + 1 ) 1
Los primeros dos argumentos comparan los ngulos entre la direccin horizon
tal y los vectores que van de / ( z 0 ) a f{z ) y de z 0 a z. Si z tiende a z 0 a lo largo
de un vector fijo que forma un ngulo 6 con la direccin horizontal, el ngulo
del vector d e /(z ) a /(z ) con la horizontal tiende a
(k + 1 )6 + arg f {k+1)(z oY
L (A + 1 ) I J
164 CAPTULO 5 MAPEOS CONFORMES
Ej e m p l o 2
El mapeo w = 1 eos z es entero y conforme excepto en los ceros 0, 7t,
27 T, . . . de la derivada (1 eos z)' = sen z. Para analizar el comporta
miento de este mapeo en z = 0 , ntese que sen z tiene un cero de orden 1
en z - 0 y
Z Z5
senz - z + ... = z
3! 5!
El teorema anterior implica que w 1 - eos z amplificar al doble todos
los ngulos en z = 0. Obsrvese en la Figura 5.4 que el ngulo recto entre los
ejes coordenados en el primer cuadrante se transforma en un ngulo de
180, ya que 1 eos x > 0 para 0 < x < 7t/2 y
1 eos iy = 1 cosh y < 0 para 0 < y < 7t/2.
v v
w = 1 - eos z
t ; U
n/2 - 1 .5 1 1
T e o r e m a de R ie m a n n del m a p e o
Sea z 0 un punto de una regin G ( # 6 ) simplemente conexa. Entonces
existe una nica funcin analtica w - f(z ) que mapea a G de manera
uno a uno en el disco I w I< 1 tal que f ( z 0 ) = 0 y f (z0 ) > 0 .
Xu ~ 1
_ 1 yv yu ~ 1
_ - 1 _ x v.
UX Vy Uy VX
Ej e r c ic io s
En los Ejercicios 1-4 indique dnde son conformes los mapeos.
1. w = ez 2 . w = senz
3, w = 4. w = z 2 z
z
Describa cmo afecta cada uno de los mapeos, en los Ejercicios 5-8, al ngulo recto
entre los ejes coordenados en el primer cuadrante
5.x> = z 3 senz 6 . w = z senz
7 . w - e z z 8. w = e2 eos z
9. Pruebe que la imagen del crculo zv = z 2 bajo el mapeo Iz r I= r, r > 0, es
la cardioide con ecuacin polar
p = 2 r 2 ( 1 + eos 9).
10. Muestre que el mapeo w = z + 1 jz forma los crculos Iz I = r en las elipses
3(*. y)
16 CAPTULO 5 MAPEOS CONFORMES
12. Sea f(z ) - u(x, y) + iv(x, y) conforme y con primeras derivadas parciales
ux , uy , vx , vy continuas en una regin G. Pruebe que f(z) es analtica en G.
(Sugerencia: Muestre que se cumplen las ecuaciones de Cauchy-Riemann.)
13. Por qu el teorema de Riemann del mapeo establece que no es posible mapear
el plano complejo 6 simplemente conexo de manera conforme en el disco unitario?
14. Una regin G es convexa si el segmento de recta que une dos puntos cualesquiera
de G est contenido en G. Pruebe el teorema de Noshiro- Warshawski: Suponga
que w = f(z ) es analtica en una regin convexa G. Si R ef'(z) > 0 para toda z
en G, entoncesf es uno a uno en G. (Sugerencia: Exprese af ( z 1) / ( z 2 (como
una integral.)
15. Use el Ejercicio 14 para probar que si/ es analtica en z 0 y f ' ( z 0 ) 0, entonces
existe una vecindad de z0 en la cual f es uno a uno.
5 .2 T r a n s f o r m a c io n e s f r a c c i n a l e s lineales
Un simple pero importante tipo de mapeos conformes est dado por la expresin
az + b
tv = w(z) = --------, ad bc=Q,
cz + d
donde a, b, c, d son constantes complejas. Tal mapeo se llama transformacin
fraccional lineal. La condicin ad be = 0 impide que su derivada
, ad be
w ~ ----------- F
(cz + d )2
se anule, ya que de otra manera la funcin es constante. Se puede despejar a z,
para obtener
dvo + b
cw a
y como w (d /c) = y w() = a/c, se sigue que w mapea 3TC (la esfera de
Riemann) de manera uno a uno en s misma. Adems el mapeo es conforme,
excepto en z = o, d /c, porque en estos puntos w' = 0 o .
Ej e m p l o 1
Considrese la transformacin fraccional lineal
z - 1
w = ---------
z + 1
SOLUCIN: Se tiene
i 1 1 i 2i -2 -l 3 -4 i
i -*------- = = i y - 2 i - + ---------------- = ---------------
+ 1 1 - 2 ' 2i + 1 5
Al escribir
W= Ci-^L ,
1 + ( 1 Iz)
ntese que 00 se mapea en 1. Para encontrar el punto que se mapea en 0,
obsrvese que z = 1 provoca que se anule el numerador del lado derecho
de la transformacin fraccional lineal. Por ende, 1 se mapea en 0. Simi
larmente, - 1 provoca que el denominador se anule, as que - 1 se mapea
en oo.
az + )3
+b
yz + 5 / _ (a + by)z + (a3 + bS )
az + |3\ + (ca + dy)z + (c|3 + d 8 )
yz-frh)
con
(aa + by)(c3 + d d ) (a3 + bS)(ca + dy) = (ad bc)(a8 - 3y) ^ 0.
Cualquier transformacin fraccional lineal es una composicin de cuatro
tipos especiales de transformaciones:
Ej e m p l o 2
Encuntrese una transformacin fraccional lineal que mapee el crculo
Iz i I= 1 en el crculo Iw 1 1 = 2 .
oj =
p la n o z p la n o i p la n o cu p la n o w
Fig ura 5 .5 .
0 = \z z 0 \2 r 2 = Iz I2 + Iz 0 I2 2 Re zz0 r2
= I2 ~ r 2 ) - R e z 0 w. (1)
Iw\ \w\
5.2 TRANSFORMACIONES FRACCIONALES LINEALES 169
0 = Iw I2 - Re z Q w
Izo I2 r2 1*0 I2
w
Izo I2 ( I zo I r,2 \2
)
un crculo. Al invertir los pasos que condujeron a la ecuacin (2), se sigue que
las rectas se mapean en crculos que pasan por el origen.
Puesto que cualquier transformacin fraccional lineal es na composicin
de estas transformaciones especiales, se ha probado el siguiente teorema.
TEOREMA
Las transformaciones fraccinales lineales mapean crculos en crculos en
Lile. '
Ej e m p l o 3
Mapese de manera conforme la interseccin de los discos Iz 1 1< 1 y
Iz i I < 1 al primer cuadrante.
plano w
Fig ura 5 .6 .
Ej e m p l o 4
Mapese el semiplano derecho en el crculo unitario 12 I < 1 de tal forma
que el punto 1 se mapee en el origen.
Fig ura 5 .7 .
Ej e m p l o 5
Encuntrese el nmero de races de la ecuacin
Ej e r c ic io s
En los Ejercicios 1-4, describa la imagen de la regin indicada bajo el mapeo dado.
z 1
1. El disco Iz I< 1; w = i --------
z+ 1
z i
2. El cuadrante x > 0, y>0; w= r
z + i
7T Z
3. El sector angular Iarg z I< ; w = --------
4 z1
z
4. La franja 0 < x < 1; w - -------
z 1
5. Encuentre el nmero de races de la ecuacin
l l z 4 - 2 0 z 3 + 6z 2 + 2 0 z - 1 = 0
que estn en el semiplano derecho.
6 . Cuntas races de la ecuacin
5 .3 E l p r in c ip io de s im e t r a
Dados tres puntos distintos z l , z 2, z 3 en Ol, existe una transformacin frac-
cional lineal que los lleva a 0, 1, , respectivamente. Si ninguno de los puntos
172 CAPTULO 5 MAPEOS CONFORMES
w = iz - z i ) ( z 2 - z 3 )
(z - z 3 )(z2 z i )
y se convierte en
z2 - z , z -z , z -z .
Z z 3 Z z3 Z2 z 1
si z x, z 2 o z 3 = oo. Si w* es otra transformacin fraccional lineal con la mis
ma propiedad, entonces la composicin w *w ~l mantiene fijos los puntos
0, 1, oo. As, se tiene la transformacin
az + b ,
? = > a d bc=P0,
cz + d
que satisface las ecuaciones
n_ ^ a+b a
U , 1 = --------- , oo = _ ,
d c +d c
Pero entonces b = c = 0 y a d,lo que implica que z*u; ~ 1 = I, el mapeo
identidad y, por ende, w* = w.Por tanto, w es lanica transformacin frac-
cional lineal que mapea los puntos z x, z 2 , z 3 en 0 , 1 , , respectivamente.
Puesto que un crculo est determinado por tres de sus puntos, ahora se
puede definir fcilmente una transformacin fraccional lineal que lleve un
crculo dado en el plano z a un crculo dado en el plano w. Eljanse puntos dis
tintos Z j, z 2, z 3 del primer crculo y wlt w2 , w 3 del segundo. Entonces
(w - a )i)(a >2 - w3 ) = (z - z 1)(z2 - z 3 )
( W - W 3 )(w2 - W i ) (Z - Z 3 )(Z2 - Z j )
mapea z , z 2, z 3 en w, w2, w3 , ya que el lado derecho de la ecuacin m a
pea z !, z 2, z 3 en 0 , 1 , y la inversa del lado izquierdo 0 , 1 , e n u q , w2,
w3 .
Ej e m p l o 1
Encuntrese la transformacin fraccional lineal que mapea los puntos 1,
i, -1 en 2, 3, 4, respectivamente.
= (2 - 4)z + (2 + 4)
( 1 i)z + ( 1 + i)
5.3 EL PRINCIPIO DE SIMETRA 173
Los puntos w y w son simtricos con respecto al eje real. Puede generali
zarse este concepto a cualquier crculo C de SIL.
DEFINICIN
Los puntos z y z* son simtricos con respecto al crculo C, en el plano z extendi
do, si existe una transformacin fraccional lineal w que mapee C en el eje real
y que satisfaga w(z) = w(z*).
Ej e m p l o 2
Encuntrese el punto simtrico a i con respecto al crculo \z + 1 1= 1.
:Z
W = ------- >
z + 2
- 2 a;
z = r
w + 1
Ej e m p l o 3
Encuntrese el nmero a (< 1) para el cual existe una transformacin
fraccional lineal que mapea al semiplano derecho, omitiendo el disco
Iz 1 K a en el anillo 1 < Iw I< 2 .
izt = iz Q= - i z 0 ,
as que z$ = Zq". La transformacin fraccional lineal que mapea 1 + a,
1 + ia, 1 a en 0 , 1 , est dada por
z ( 1 + a)
w = i
Entonces
z 0 - ( 1 + a)' (1 +a) Zr ( 1 + a)
= i
.zo - ( 1 - a )_ _ -z 0 - (1 - a ).
asi que
z0 - (1 + af z 0 + ( 1 + a)
n
1
T o - (1 - a ) . - ^ + ( 1 )-
de donde se obtiene z 0 2 = 1 a2 > 0 . Por tanto z 0 es real y puede su-
ponerse z 0 > 0 , ya que zo = z 0 , lo cual implica que z 0 = y^l a2 .
Por el principio de simetra, el mapeo
r =
z +z0
manda z 0 a 0 y z 0 a y mapea el eje imaginario y el crculo Iz 1 I = a
en crculos concntricos en el origen. Puesto que f() = 1, y
( 1 + a) z 0 ( 1 + a) z 0 _ 1 z0
f ( l + a)
( 1 + a) + z 0 ( 1 + a) zo
< 1,
se amplifica por a/( 1 z 0 ) = 2 , de donde a = f y
'z
w = 2r = 2
Ej e r c ic io s
Encuentre la transformacin fraccional lineal que mapea los puntos 1, i, 1 + i, res
pectivamente, en los de los Ejercicios 1-4.
6 . Muestre que cualesquiera cuatro puntos distintos pueden mapearse, por una
transformacin fraccional lineal, en los puntos 1 , 1 , k, k, donde k depende
de los puntos originales.
Encuentre los puntos simtricos al punto 3 + 4z con respecto a los crculos de los Ejer
cicios 7-9.
7 . I z = 1 - 8 . Iz - 1.1= 1 9. Iz - l= 2
10. Mapee el crculo unitario en s mismo de tal forma que el punto a vaya a 0 y
Ct/I Ctl a l , lc tl< 1 .(Sugerencia: Mapee O* a .)
11. Encuentre la transformacin fraccional lineal que lleva a l z l = l e n l z l l = l ,
el punto - 1 en 0 , y 0 en 2 i.
12. Encuentre una transformacin fraccional lineal que lleve Iz I = 1 y Iz 1 I= 3 a
crculos concntricos. Cul es la razn de los radios?
13. Haga el Ejercicio 12 para Iz I= l e Im z = 2.
14. Pruebe que todo mapeo conforme de un disco en otro est dado por una trans
formacin fraccional lineal. Por qu esto implica la unicidad de la funcin en el
teorema de Riemann del mapeo? (Sugerencia: Utilice el lema de Schwarz, Ejer
cicio 3, Seccin 2.4.)
15. Suponga que z* es simtrico al punto z con respecto al crculo Iz a I= R.
Pruebe que (z* a) (z a) = R 2 .
16. Utilice el resultado del Ejercicio 15 para comprobar que se puede usar la cons
truccin mostrada en la Figura 5.8 para localizar los puntos simtricos con res
pecto a un crculo.
5 . 4 C o m p o s ic io n e s de m a p e o s c o n f o r m e s
ELEMENTALES _______________________________
En la Seccin 5.1 se prob que las funciones elementales ez , eos z, sen z, log z
y z son conformes en aquellas regiones de sus dominios de definicin donde
su derivada es diferente de cero. En esta seccin se mostrar cmo pueden
usarse las composiciones de dichas funciones, con transformaciones fraccina
les lineales, para mapear de manera conforme ciertas regiones en otras. El pro
cedimiento que se utilizar para analizar el mapeo es similar al que se us en
los Ejemplos 2 y 3 de la Seccin 5.2.
Ej e m p l o 1
Encuntrese un mapeo conforme de la franja infinita IIm z I < 7t/2 en el
disco unitario.
i +r
que manda 1 , 0 , l e n O , 1 , debe mapear al eje imaginario en el
crculo unitario. Por tanto, la composicin iv = w(^(z)),
iv - -------- = u
= tanh z\ ,
1 + f 1 + e* \2J
mapea la franja IIm z I < ir2 en el crculo unitario (vase Figura 5.9).
f =e
p la n o z p la n o f
Ej e m p l o 2
Mapese de manera conforme la franja semi-infinita / = { z : I Re z I <
7T/2, Im z > O} en el primer cuadrante.
lo cual implica que lsen( 7t/2 + iy) I = cosh y > 1 mientras que
Isena; l < 1 para Ix I ^ 7T/2. Pero la funcin iv - >/fr mapea el semipla-
5 .4 COMPOSICIONES DE MAPEOS CONFORMES ELEMENTALES 177
Ej e m p l o 3
Mapese el semiplano derecho, cuando le falta la recta { z : x > 1, y = 0 }
en el semiplano superior.
para mapear el plano con sus dos ranuras en un plano con una sola ranu
ra. Finalmente, w = \fZ genera el semiplano superior, as que el mapeo
deseado es
'a- 1 z1 - 1
w= -
= i _ v z' V - w =vT
O1 0 1
p la n o z p la n o f p la n o Z p la n o w
Fig u r a 5 .1 0 . ei m a p e o w= / - -
EJERCICIOS
1. Encuentre un mapeo conforme del disco unitario en la franja infinita I Re z I < 1 .
{Sugerencia: Considere el inverso del mapeo del Ejemplo 1.)
2. Muestre que
z
w = -------- -----
xA 2 + 1
w 1 \ 2 .I z 1
=i
w+ 1 / \ z+ 1
mapea de manera conforme la mitad superior del disco unitario en l mismo.
7. Describa la imagen de la hiprbolas2 y 2 = -j bajo el mapeo w = -y/l z 2 .
8 . Mapee el complemento del segmento de recta { z ; y = 0, Is I^ 1 } en el disco
unitario.
*9. Mapee el exterior de la parbola y 2 = 4x en el disco unitario de tal forma que 0,
- 1 sean enviados en 1 , 0 .
*10. Mapee la regin a la izquierda de la rama derecha de la hiprbola Re(z 2 ) = 1
en el disco unitario. (Sugerencia: Considere el mapeo w = z + 1 z.)
*11. Pruebe que el mapeo
.4z2 + B z + C
w = -------------------
az2 + bz + c
puede descomponerse en tres transformaciones sucesivas,
f z = i f + I), u> = iz + v,
yz + 8 2 V /
o en dos,
. _ o* + (3
--------------------- y w = f 2 + v.
72 + 5
5 .5 F l u j o de f l u id o s
Q= Vnds = 0. (1)
h .
La integral de lnea de la componente tangencial Vs de la velocidad V a lo
largo de la curva 7 ,
r = f vs ds, (2)
Jy
(z) dz = i
f V(z (e ,a V) ds
Jy J7
=* (Vn + i V s) d s
7
(F s + tFn ) d s - 0 ,
dx uy vx tan arg F
* Evitamos utilizar el smbolo <p en la funcin potencial paTa enfatizar, ms tarde, la analoga entre el flujo
de fluidos y el flujo de calor, y conservar nuestra notacin para mapeos.
5 .5 FLUJO DE FLUIDOS 181
Ej e m p l o 1
Supngase que el semiplano superior tiene un flujo uniforme de velocidad
A ( > 0) en la direccin positiva de las x. Aqul se aproxima al flujo de
fluidos en canales extremadamente anchos (vase Figura 5.12).
Como V(z) = A, se sigue que w'{z) - A ,, as que el potencial com
plejo es w(z) = Az + c , donde c = c + i c 2 es una constante comple
ja. Entonces u(z) = A x + c y v(z) = A y + c 2 , as que las lneas equipo
tenciales son verticales y las de corriente horizontales (despreciando el
efecto de la viscosidad sobre el eje real). Si c = 0, la lnea de corriente
v 0 coincide con el eje real.
Fig ura 5 .1 2 .
Ej e m p l o 2
Para encontrar las lneas de corriente a lo largo de un ngulo recto de un
canal ancho, inicialmente puede estudiarse el flujo en el primer cuadran
te. El mapeo f = z 2 forma el cuadrante en el semiplano superior. As
que, si conocemos el potencial complejo w = ) del flujo en el semipla
no superior, entonces w = w(z2 ) es el potencial complejo del flujo en el
182 CAPTULO 5 MAPEOS CONFORMES
Im f
Ej e m p l o 3
El mapeo f = z + a2 z tiene importantes aplicaciones en el flujo bidi-
mensional de fluidos. Reescribiendo la transformacin en la forma
z
Se ve que la imagen de cada punto del crculo Iz I = b, b > a, satisface
i. , , , \z a\2 + \z + a\2
If - 2 a l+ If + 2 aI = ------------------------------
b
Iz a I2 = a2 + b2 2 ab eos0 ,
Iz + a I2= a2+ b2 2 ab eos (ir 0 ),
l f - 2 a l+ I f + 2 a l= 2 (al l -fe- } ,
b
y como el lado derecho es constante para una b fija, se sigue que la ima
gen del crculo Iz I = b es una elipse con focos en 2a. De ah que los
crculos concntricos de radio b~> a centrados en el origen del plano z se
mapean en elipses confocales en el plano f . Adems, el crculo Iz I = a
5 .5 FLUJO DE FLUIDOS 183
p la n o z p la n o f
Fig u r a s .14. E im a p e o ? = z +
( = z + a2
-2a 0 2a
p la n o z p la n o f
^
w = AA ,Iz +
z
para el flujo alrededor de un cilindro circular de radio a (vase Figura
5.15). La funcin corriente se obtiene cuando z = re16 , as
v - AA I r I sen 6a ;
a ' 2-1
V = w = A 1 -
z
Ej e r c ic io s
Encuentre las lneas de corriente para el flujo de un fluido incompresible, sin fuente ni
sumideros, en cada una de las regiones de los Ejercicios 1-4. Suponga que el flujo tiene
velocidad A > 0 cuando z -> o. Hay puntos de estancamiento?
37T 57T
1. 0 < a rg z < 2. 0 <argz<
4 4
0 ^ ^ 7T 7T bit
3. 0 < arg z < 4. < arg z <
4 4 1 4
En los Ejercicios 5-8, calcule la rapidez I V I en z = 0, 1, e i para el flujo en el semipla-
no superior dado por cada uno de los potenciales complejos. Hay puntos de estanca
miento?
5 ,w = z + z 3 6 . w = z + 2iz2
7. w - 3z iz2 8 . w = senz
9. Encuentre las ecuaciones de las lneas de corriente para los potenciales complejos
dados en los Ejercicios 5-8.
10. Encuentre las ecuaciones de las lneas equipotenciales para los potenciales
complejos dados en los Ejercicios 5-8.
11. Suponga que el potencial complejo para un flujo en el plano z est dado por
w cosh - 1 (z/a). Describa las lneas de corriente para este flujo. (Sugerencia:
Considere z = a cosh w.)
5 .6 IA FRMULA-DE SCHWARZ-CHRISTOFFEL 185
Im
i i i \ 1 ir/2
i n \
i \ \ \
\ \ \
>\ \ v
\ \ x
p la n o z p la n o (
12. Use el Ejercicio 11 para describir un flujo a travs de una abertura acotada por
la hiprbola x 2 y 2 = 1 .
13. Use el Ejercicio 11 para describir el flujo a travs de una abertura de ancho 2a en
una placa plana. Es este flujo realizable fsicamente? (Sugerencia: Encuentre la
rapidez en los bordes.)
14. Use el mapeo f- = sen- 1z para determinar las lneas de corriente del flujo de un
fluido incompresible en la regin mostrada en la Figura 5.16. Suponga que el
flujo en el plano f es uniforme y paralelo al eje imaginario. Es este flujo reali
zable fsicamente?
15. El teorema de Bernoulli establece que en el movimiento estacionario de un
fluido incompresible, la cantidad
^ + ^ 1 V\2
P
tiene un valor constante en todos los puntos de una lnea de corriente del flujo,
dondep, p y I Vi son la presin, la densidad y la rapidez, respectivamente.
Muestre, para el Ejemplo 3, que si A 2 > \p () /p , entonces habr puntos en los
que la presin es negativa. En stos se formar vaco, lo que provoca el fenmeno
de cavitacin. Ocurre cavitacin, por ejemplo, cerca de las puntas de una hlice
que se mueve rpidamente.
5 .6 La f r m u la de S c h w a r z - C hristoffel
En el segundo teorema de la Seccin 5.1 (pgina 163), se prob que si f ( z ) es
analtica en una regin que contiene al punto z 0 en el cual f'(z ) tiene un cero
de orden k, entonces todos los ngulos en z 0 se amplifican por el factor k + 1 .
Considrese, en cambio, una funcin f(z ) analtica con derivada
f ( z ) = A ( z - z oy ,
186 CAPTULO 5 MAPEOS CONFORMES
li
/
o w = f[z) 0
p la n o z p la n o w
(x i, x 2 )
*i)
5.6 A F R M U A DE SCHWARZ-CHRISTOFFEL 187
0 x,
C ortes d e i
i
ra m ific a c i n
p la n o z
Figura 5 .1 8 .
As, la funcin w - f(z ) mapea al eje real en una trayectoria poligonal, como
se muestra en la Figura 5.18.
Por construccin, f(z ) es analtica en el plano complejo, excepto en los
cortes de ramificacin hacia abajo de cada uno de los puntos x lt x 2, , x n -
As que, si z es un punto cualquiera en el semiplano superior, podemos definir
el mapeo conforme f(z ) por
/(*)= f(S )d S
J7
Te o r e m a de Sc h w a r z - C hristoffel
Todas las funciones que mapean de manera conforme el semiplano supe
rior en un polgono en flc con ngulos exteriores ak, k = 1 n, son de
la forma
f ( z ) = A + B * (z x 2 )a 2 {z x n )an dz,
Jo
donde los puntos x < x 2 < . . . < son reales, y A, B constantes
complejas.
Ej e m p l o 1
Mapese, de manera conforme, el semiplano superior en la franja \x I <C
l, y > 0 .
w=A+B Z (z + 1 ) - 1 /2 ( z - 1 ) - 1 /2 d x = A + B \Z dz -
Jo y /jT T l
5 .6 LA FRMULA DE SCHWARZ-CHRISTOFFEL 189
B dz . B _i
=A + = = A + sen z.
2 i
w=f[z)
- 1 0 1
Fig u r a 5 .2 0 .
a -
A ^ = 1i.
^ + = -i.
2
De / = 0 y B = 2 z/7r, se infiere que w = ( 2 / 7r). sen _ 1 z.
Ej e m p l o 2
Mapese el semiplano superior en la regin sombreada del plano w,
mostrada en la Figura 5.21.
w = y / = s/ z - 1 = V ^ 2 - !
- 0-
1 0 1
Z = z2
0 1
W = Z - 1
-i
- 0-
o
iv =
X-
p la n o z p la n o Z p la n o W p la n o w
Fi g u r a 5 .2 1 . w = 1
z dz
w=A +B
z* - 1
Z
= A+By/z2 - 1 = (A - Bi) + .Bv^ 2 - 1-
0
Ahora 0 = z ( 1 ) = A ei = z ( 0 ) = A, as que = 1 y w = ^ / z 2 _ ^
Ej e m p l o 3
Mapese el semiplano superior en la franja infinita 0 < v < n.
y v
I
I 717
vTS-
f
- 1 0 ----- 0 w'
p la n o z p la n o w
Figura 5 .2 2 .
Ej e m p l o 4
Mapese el semiplano superior en el interior de un tringulo con ngulos
exteriores na, n/3, ny, donde a + P + y = 2.
z)-A *B f ------
Jo Za (z - 1)^
Como A y B afectan nicamente la posicin y el tamao del tringulo,
con el fin de encontrar la frmula ms simple para la localizacin de los
vrtices, se tiene A = 0, B = eln, y
,, , fz dz
f(z) =
0 z (l - z f
Entonces /(O) - 0 y
dx _ r ( i - a ) r ( i /?)
/(!)-
Jo ?c ( 1 x )13 r(7 )
La funcin gamma satisface la identidad r ( x ) r ( l x) = ir(sem rx) ~ 1,
por lo cual la longitud de este lado es
Si se utiliza la ley de los senos, las longitudes de los otros dos lados son
p la n o z p la n o w
Fig u r a 5 .2 3 .
Ej e m p l o 5
Mapese el semiplano superior en el interior de un rectngulo.
^ ^ Jo a/ ( 1 z2 )(k2 z 2 )
(vase Figura 5.24). A partir de la frmula se nota de manera clara que
los vrtices del rectngulo son simtricos respecto al eje imaginario, con
l f l dx 1 _ / 7T 1
^ J x 2 ) ( l k ~ 2x 2 ) = k '-2 *
I-------- 1---
- * -1 -b 0
p la n o z p la n o iv
Fig u r a 5 .2 4 .
Ej e r c ic io s
1. Encuentre las lneas de corriente de un flujo de fluido incompresible de veloci
dad A ( > 0) en oo para la regin sombreada del plano w de la Figura 5.21.
2. Obtenga un mapeo del semiplano superior en la regin sombreada del plano w
en la Figura 5.21, que mande a los puntos 0, 1, en 0, i, 0.
3. Muestre que la funcin
a= I 1 dt - r (4 )r (i) _ r 2 (j)
2 Jo j 3/4 0 _ t 2s/2
4. Utilizando la transformacin de Schwarz-Christoffel, encuentre el mapeo que
transporta el semiplano superior en la franja infinita Iy I < 1 .
5. Mapee de manera conforme el semiplano superior en el exterior de la franja
semi-infinita Ix I< 7r/2, y > 0 .
6 . Mapee de manera conforme el semiplano superior en cada una de las regiones
indicadas en la Figura 5.25 con 0, 1, a, 5, y, respectivamente.
7. Mapee de manera conforme el semiplano superior en la regin sealada en la Fi
gura 5.26, y muestre que la longitud (con \B I =1) del segmento que va de (X a j3
es igual a 127T-y/27r/5r2 (-4 ).
5.6 LA FRMULA DE SCHWARZ-CHRISTOFFEL 193
<* 0
y
(a) (b)
Fig ura 5 .2 5 .
Fig u r a 5 .2 6 .
-5
kv
(3 O
Fig ura 5 .2 7 .
+ V Z - i--
]_og - --------- y //------
a i" To g iy/z(a 1 ) + y 'z a'
1 L
m = a
\ f z y/z a v/z(a 1 ) y 'z a.
6 .... 6
Figura 5 .2 8 .
Fl u j o de c a l o r
Puede enfocarse el estudio de la conduccin de calor en un cuerpo slido ho
mogneo de manera muy parecida a como se trat el flujo de fluidos, si el sli
do es tal que el flujo es bidimensional, y el flujo de calor se encuentra en estado
estacionario. Supngase que no hay fuentes o sumideros de calor en la regin
G, simplemente conexa. Puesto que dos puntos pueden tener temperaturas di
ferentes, hay un flujo de calor por conduccin de las partes ms calientes
hacia las ms fras. El vector flujo de calor Q = Q(z) puede escribirse como
una funcin compleja continua. El calor que fluye afuera desde el interior de
una curva 7 cerrada spp contenida en G debe satisfacer
Qn ds = 0 ,
Jy
Qs d s = 0 ;
Jy __
por el teorema de Morera (como la Seccin 5.5) se sigue que Q es analtica en
G. Entonces
Q(z) = -k w '(z ),
donde k es el coeficiente de conductividad trm ica y w = u + iv es el poten
cial complejo del campo trmico. Por las ecuaciones de Cauchy-Riemann,
57 APLICACIONES FSICAS EN FLUJO DE CALO R Y ELECTROSTTICA [OPCIONAL] 195
Ej e m p l o 1
Encuentre las isotermas de la placa G, indicada en la Figura 5.29, aislada
a lo largo del segmento 0 < x < l , y = 0 , con temperatura 0 a lo largo
de z = y > 0 , y I o a lo largo de z = x > 1 .
u=0
Fig ura 5 .2 9 .
sen 12 u 2 u
cos*
2 2
esto indica que las isotermas son hiprbolas.
Ej e m p l o 2
Encuentre las isotermas de una placa G, que tiene la forma de la Figura
5.25a, aislada a lo largo del segmento que une a a = 0 con j3= 1, con
temperatura - I o en el rayo que va de a a 7 y I o en el que va de 3 a 7 .
196 CAPTULO 5 MAPEOS CONFORMES
z= 1 + f ^ 1 d? = 1 + [\/f2 - 1 + cosh 1 f ]
7T Jl V f - 1 7T
mapea el semiplano superior en G con 1, 1, ct, |3, 7 . Pero f = sen
(irw/2) mapea la franja \u l < 1 , v > 0 , en el semiplano superior, as
que
z = 1 + 7T
-1 r
1 cosh
1-1 /
sen eos
L V 2 / 2 .
mapea la franja mencionada en G. Por tanto, su inversa w = w(z) es el
potencial complejo. Como en el Ejemplo 1, las isotermas sern las imge
nes, bajo z = z( w), de las rectas verticales u = constante. Simplificando
el primer trmino entre parntesis, se encuentra
w+ 1 1 irw
z = eos
2 ir 2
de donde las isotermas pueden graficarse fcilmente.
El e c t r o s t t ic a
Considrese un campo electrosttico plano E(z) que surge de la atraccin o re
pulsin de un sistema arbitrario de cargas (fuentes y sumideros) dispuestas en
el plano. En una regin simplemente conexa G, complementaria a estas car
gas, el interior de una curva cerrada 7 spp contenida en G no tiene carga, as
que
E n ds - 0,
h
por la ley de Gauss. La circulacin del campo es el trabajo realizado por el
campo cuando una carga positiva unitaria recorre la curva 7 completa. Como
no se requiere gasto de energa para mantener un campo electrosttico, se
tiene que
E s ds = 0.
TABLA 5.1 Analogas del flujo de fluidos; flujo de calor y campos electrostticos
Flujo d e Flujo d e C am po
fluidos calor electrosttico
Potencial complejo w ( z ) = u + iv w ( z ) = u + iv iw ( z ) = V + iu
II
= g ra d u = k g rad u = g rad u
u Funcin potencial Temperatura Funcin potencial
u ( z ) = constante Lineas equipotenciales Isotermas Lneas equipotenciales
V Funcin corriente Funcin corriente v es la funcin
fuerza
v ( z ) = constante Lineas de corriente Lneas de corriente Lineas de fuerza
Ej e m p l o 3
Un condensador consta de dos placas en forma de semiplanos coplanares
con bordes paralelos, separados una distancia 2 a y con una diferencia de
potencial 2u0 . Cualquier seccin normal a los planos genera un campo
plano con dos cortes (vase Figura 5.30). Encuntrense las lneas equipo
tenciales para este campo.
|v
i
i
I
I
_ ~uo 0
4----------------+ u0 ^ x
a i a
i
i
i
i
i
i
l
Fig ura 5 .3 0 .
SOLUCIN: L a funcin
198 CAPTULO 5 MAPEOS CONFORMES
r = 1.
7ru 2 9 7ru
a2 sen2 a eos
2 u0 2 u0
Ej e m p l o 4
Un condensador de placas paralelas consiste en dos semiplanos paralelos,
cuyos bordes estn separados una distancia 2ir y que mantienen una dife
rencia de potencial 2u0 . Cualquier seccin normal a los planos produce
un campo bidimensional con dos cortes, como se muestra en la Figura
5.31. Encuntrense las lneas equipotenciales para este campo.
1 + ni
1 n i
Fig u r a 5 .3 1 .
- 1 + i
- 1 - ir#
p la n o w
Fig u r a 5 .3 2 .
5.7 APLICACIONES FSICAS EN FLUJO DE CALOR Y ELECTROSTTICA [OPCIONAL] 199
Im
TT/ 1 + T/ |
1
m w = w (z ) I
0 Ref o !
- 1 0 1
l IS iiiillilIli
ni - 1 - nt
p la n o C p la n o z p la n o w
Fig u r a 5 .3 3 .
Ej e r c ic io s
1. Encuentre el potencial electrosttico en una regin situada entre un cilindro sli
do y una placa plana paralela, donde el potencial en el cilindro es 1 y en la placa
es 0. Suponga una seccin que coloca la placa en el eje imaginario, tal que el ci
lindro est dado por Iz - 2 l < 1 .
200 CAPTULO 5 MAPEOS CONFORMES
2. Encuentre las lneas de corriente para una pared de altura a si el flujo es infinita
mente profundo y tiene velocidad .4 > 0 cuando z -* . Cul es la velocidad
en 0 y en ia (vase Figura 5.34)?
Fig ura 5 .3 4 .
3. Encuentre las isotermas en la franja infinita 0 < y < ir si los bordes estn aislados
en x < 0 y la temperatura satisface u(x) = 0 y u(x + iir) = 1 para x ^ 0 .
4. Encuentre el potencial complejo y los puntos de estancamiento para el flujo de
un fluido incompresible a travs de la regin de la Figura 5.35, si se supone que
la velocidad original del flujo es A .
- 1 o
i
Fig u r a 5 .3 6 .
5.8 ESTELAS EN UN FLUJO DE FLUIDO [OPCIONAL] 201
c:
o
II
i
i
i
i u= 1
c:
i I
o
II
I
Fig u r a 5 .3 7 .
Fig u r a 5 .3 8 .
CAPTULO 5 MAPEOS CONFORMES
iV/-- w
-- + A t-
----------------
y / f 2 + 4a2
En este punto surge un problema desconcertante: la velocidad en f = 2ai es
infinita. Como las velocidades infinitas no son fsicamente posibles, se busca
una solucin realista. Una hiptesis es la existencia de una regin infinita de
agua en reposo, llamada estela, detrs de la placa. La estela estar acotada por
lneas de corriente libres a lo largo de las cuales la rapidez es constante finita
(vase Figura 5.39).
La existencia de una estela requiere un cambio en el anlisis del proble
ma, ya que el flujo tiene lugar en un polgono acotado por la placa y las lneas
de corriente libres. El teorema de Riemann del mapeo establece que el polgo
no puede mapearse, de manera conforme, en el semiplano superior con los
puntos 2ai yendo a 1. Las lneas de corriente en el semiplano superior
pueden determinarse al considerar las lneas de corriente en el plano W de la
Figura 5.40c.
Para determinar el potencial complejo zv(z), recurdese que V(z) = diu/dz,
y considrese el mapeo
un
W(z)\ =
- A
------ = A
.
V(z) *>\z)
A lo largo de la placa, la velocidad es paralela al eje y; por ende, V es imagina
rio puro. Por simetra, la rapidez ser la misma en 2ai, aunque la direccin
ser la opuesta. Finalmente, la rapidez ser constante en cada lnea de corrien-
5.8 ESTELAS EN UN FLUJO DE FLUIDO [OPCIONAL] 2 03
0 1
o.>= ('
2
[b) p la n o i (c) p la n o cu
V[oo) = A > 0
p la n o W p la n o z 1 p la n o z2 p la n o (
FIGURA 5 .4 1 . La h o d g ra fa
l
senh(log W) = >
1 ^ dw _ f
A dz i+ y /p - 1
Sin embargo,
dw _ dw d dw dw doj .
Y r = = 2A ,
dz dt dz d dco d$
asi que
Entonces,
Ej e r c ic io s
1. Considere un fluido que sale por una rendija en el fondo de un recipiente grande
(vase Figura 5.42). Suponga que el fluido sale como un chorro acotado por
lneas de corriente libres, a lo largo de las cuales la rapidez es constante, y que el
flujo en el chorro es uniforme y paralelo al eje imaginario en . Encuentre las l
neas de corriente libres. (Sugerencia: Use una hodgrafa.)
2. Suponga que se forma una estela detrs de la pared del Ejercicio 2 de la Seccin
5.7. Encuentre las lneas de corriente libres.
5.8 ESTELAS EN UN FLUJO DE FLUIDO [OPCIONAL) 205
NOTAS
S e c c i n 5.1
Se da una tabla de mapeos conformes elementales en el Apndice. Se pueden
encontrar mapeos adicionales en [Ko]. Se pueden encontrar dos pruebas dife
rentes del teorema de Riemann del mapeo en [V].
Se c c i n 5 .2
Las transformaciones fraccinales lineales se conocen tambin como transfor
maciones lineales, transformaciones bilineales, sustituciones lineales y trans
formaciones de Mbius.
SECCIN 5 .5
En el Captulo 6 se analizarn problemas que incluyen fuentes. Pueden en
contrarse algunas aplicaciones detalladas en [R]. Para un texto excelente, en
que se detalla el uso del anlisis complejo en la hidrodinmica, vase [MT].
S e c c i n 5 .6
Vase [A, pgs. 227-232] para una prueba de la frmula de Schwarz-
Christoffel. Una frmula para mapear el disco unitario en el exterior de un po
lgono se obtiene fcilmente.
S e c c i n 5 .8
Se puede encontrar una argumentacin cuidadosa de estelas y chorros en
[MT],
AProblemas c o n
U VALORES EN LA
FRONTERA Y
VALORES INICIALES
6 .1 F u n c io n e s a r m n ic a s
La ecuacin de Laplace uxx + uyy = 0 es de fundamental importancia en
Fsica y surge en conexin con el flujo de calor y de fluidos, as como con los
campos gravitacionales y electrostticos. Por ejemplo, la temperatura u en un
flujo de calor es la parte real de una funcin analtica w = u +' iv. Por las ecua
ciones de Cauchy-Riemann, se tiene formalmente que
Uxx ~ {ux )x (py )*; (Vx)y ~ ( Uy)y ~ Uyy
donde la ecuacin de Laplace se cumple para u. De la misma forma, se cumple
para v.
Cualquier funcin real u(x, y) con segundas derivadas parciales conti
nuas, que satisface la ecuacin de Laplace en una regin G, se denomina ar
m nica en G.
Ej e m p l o 1
Mustrese que la funcin u(x, y) = x 2 y 2 es armnica en C .
207
2 08 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Te o r e m a
(i) Sea f(z ) - u(z) + iv(z) analtica en la regin G. Entonces las dos
funciones reales u(z) y v(z) son armnicas en G.
(ii) Sea u(z) una funcin real armnica en una regin G simplemen
te conexa. Entonces la integral de lnea
v(z) = ux dy uy dx,
L;
es armnica en G, y la funcin f(z ) - u(z) + iv(z) es analtica en G; 7
representa cualquier arco spp en G que une z 0 a z . A v{z) se le llama ar
mnica conjugada de u(z).
= u(z) + i j ux dy uy dx.
Entonces, se ha construido una funcin analtica f{z ) que tiene a u(z) como su
parte real. Esto significa que la integral
v(z) = j ux dy uy dx,
Ej e m p l o 2
Encuntrese la armnica conjugada en C de la funcin
u = x 2 y 2.
(z) = J ux dy uy dx = J 2 x dy + 2 y dx
= 2 j d(xy) = 2xy + c.
Ej e m p l o 3
Hay alguna funcin analtica f = u + iv para la cual
U 7?
x 2 + y2
y2 x 2 2xy
ux = uv = '
(x2 + y 2 )2 y (x 2 + y 2 )2
2 x 3 6xy 2' _
Uvy
(x + y )
210 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
-y -y
y x 2 + y 2) x2 + y2
Ntese que la funcin
x iy z 1
tp = 7
es analtica para z 0.
P r in c ip io del m x i m o
Si u(z) es armnica y no es constante en una regin G simplemente cone
xa. entonces u(z) no tiene mximo o mnimo en G.
T e o r e m a del v a l o r m e d io
Si u(z) es armnica en Iz f I< R , entonces
Ej e r c ic io s
Pruebe que las funciones de los Ejercicios 1-4 son armnicas en C.
1 . <)(x, y) = ex eos y
3. ()(x, y) = x 3 3x y 2
2 . <)(x, y) = senxsenh y
4. <p(x, y) = e*2~y2 sen(2 x y )
Determine si existen funciones analticas f(z ) = u + iv que satisfagan las condiciones
dadas en los Ejercicios 5-7. En caso afirmativo, indique el dominio de definicin.
5. u = sen* cosh y
6 . u = log(x2 + y 2 )
7. u = ey?x
Encuentre las conjugadas de las funciones armnicas dadas en los Ejercicios 8-11.
8 . u - x 2 (y l )2 9. u = \ log(;c2 + y 2 )
, 2xy ,, 1 ) + y2
10. u = tan -- -- l l . u = - i ------- p-t-
x 2 y2 (x 1 ) + y
12. Si u y v son funciones armnicas, muestre que au + bv es tambin armnica,
donde a y b son constantes reales. Muestre que uv es armnica si u y v son fun
ciones armnicas conjugadas.
13. Pruebe que log l/(z) Ies armnica siempre y cuando/(z) sea analtica y diferente
de cero.
14. Muestre que el principio del mximo se cumple para regiones mltiplemente co
nexas.
15. Pruebe que log sen 6 dd = 7Tlog 2. (Sugerencia: Aplique el teorema del
valor medio a log ll + 2 l e n l z l ^ r <C l , y haga r -* 1 ~ .)
6 .2 E l p r o b l e m a de D ir ic h l e t
Las aplicaciones al flujo de fluidos, flujo de calor y electrosttica que se anali
zaron en el Captulo 5, muestran que la solucin en cada una est dada por la
funcin analtica llamada potencial complejo. Las partes real e imaginaria del
potencial complejo tienen significado fsico como lneas de corriente, lneas de
fuerza, temperaturas iguales, etctera. De acuerdo con la Seccin 6.1, las par
tes real e imaginaria de una funcin analtica son funciones armnicas que sa
tisfacen la ecuacin de Laplace
AU = U XX + U y y = 0 .
El p r o b l e m a de D ir ic h l e t
Dada una regin G arbitraria, hay una funcin armnica en G que tenga
valores predeterminados en la frontera de G?
Ej e m p l o 1
Encuntrese una funcin que sea armnica en el primer cuadrante y que
tenga valores frontera 0 en el eje real y 1 0 0 en el eje imaginario.
SOLUCIN: La funcin
200 T
w = ------- Log z
la funcin
200
v - ----- Arg z
rr
es armnica en el primer cuadrante y satisface las condiciones de frontera
requeridas.
100/
w= 200Log2
Figura 6 .2 .
uog~~1 ( 0 ) = 2* u o g - ' * ) d e.
2it J o
Con f = e se obtiene
u( Zo) = r L
Esta ecuacin indica que el valor de una funcin armnica u, en puntos inte
riores de la regin G, puede determinarse como una integral de los valores
frontera de u. Ntese la similitud de esta situacin con la frmula integral de
Cauchy.
Los ejemplos siguientes ilustran el uso de esta integral.
Ej e m p l o 2
Para resolver el problema de Dirichlet en G = { z : \z I < R } , advirtase
que
R z nz
214 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
\z z 0 \2 = \z I2 + \z0 I2 (z 0z + z 0z )
= R 2 + r 2 - Rr + e_(0 0)).
Como z 0 = re6 es arbitrario, la ecuacin (2) es vlida en todos los pun
tos l z \<R .
Ej e m p l o 3
Sea G el semiplano derecho, y sea z 0 cualquier punto interior de G. En
tonces, la funcin
g(z) = (z - z 0 )/(z + z 0 )
mapea, de manera conforme, a G en el crculo unitario con g (z 0 ) = 0.
Como = 2xq ;
g(z) z 2 - 2 iy 0z - \ z o \2
la frfnula integral de Poisson para el semiplano derecho es
_ x0 ( u(z) dz
u(z o) =
m 9g z 2 2 i y 0z l-z0 I2
y con z = it , se tiene
, \ -* o '~ u(it) dt
U (Z o ) = -------
{t yo) + x 0
TEOREMA DE POISSON
Sea 7(0) continua para 0 < 0 < 2rr excepto por un nmero finito de sal
tos. Por ende, la funcin
( R e* + z
Au(z) = 2* 7(0) ARe , d(j) = 0 , Iz \ < R ,
2 tt Jo \r * z
puesto que la parte real de la funcin analtica (R e!<?> + z)/(R eKt> z) es arm
nica. De ah que u(z) es armnica en Iz K i ? .
Si f = R et<>, ntese que
1 2 tt / R e& + z , , f + z df
Re ( r- d<fr = Re
27T o KRe^ - 2m f -z f
Re = 1.
_27T Jl?l = fl \$-z f
1 2 tt / R e i(t>+z\
Im(z) 7(a) 1= o (7(0) - /(a)) Re ( 2 * 3 - 1 d$
27r J
1 2 tt R2 - Iz I2
< | u{(j>) - U fa ). d<f>
2 tt Jo {R e ^ -z l2
R2 - \z\2
7(0) - 7(a) I d0.
2zr .' < lip-aK n |R e^ , Z I2
216 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
0 A
Figura 6. 3
Ej e m p l o 4
Encuntrese una funcin u, armnica en el disco unitario, que tenga el
valor en la frontera 1 en el semiplano derecho y 0 en el semiplano izquierdo.
- '0 * 0 4Log
O 1
p la n o z p la n o p la n o w
Fig ura 6 .4
r .n _ i - UP
2* J-,/2 I*?*-*!2
ya que U((j>) = 0 en el semiplano izquierdo. Si z = re ,
1 - r 2 r tt/2 _ d {4 > - 6 )
u(z)
2ir J-7T/2 1 + r 2 2 r eos ( 0 6)
1 1 + r 0 6
tan - l
tt /2
tan
ir 1 r 2 tt/2 '
Por tanto
1 +r ir 6 / 7T 6
tan ( ----------- I + tan +
1 - r 4 2/ \4 2
tan iru(z) =
1 + r' IT e 7T 6
tan tan +
1 r / \4 2) \4 2
tan 2 - + 1
1-r 2 1 - r 2
2r 2 r eos 6
tan 2 1
i z - ( z + z) + ( l - \z\2 )
Arg Arg
i +z i + z I2
i z 1 12-1 1 - r 2
Arg = tan - l
= tan
i+ z - { Z + Z ) 2r eos 6
218 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e r c ic io s
1. Sea u(z) armnica en Iz f I < R . Pruebe el teorema del valor medio del rea
m(?) = . u (z )rd r d d .
irR J J Iz- j k /
un ds = 0 ,
y
donde 7 es cualquier curva cerrada spp en G, y un es la derivada direccional de
u en la direccin de la normal exterior.
4. Muestre que la frmula integral de Poisson para el semiplano superior y > 0 es
y f u(t) dt
u(z) = - | , z = x + iy.
ir (t x ) 2 + y 2
5. Pruebe que la frmula integral de Poisson para el primer cuadrante es
, \ _ ^xy tu(t) dt
u (z )~
ir o t4 2 12 (x2 y 2 ) + (x2 + y 2 )2
tu(it) dt
+ lo t 4 + 2 t 2 (x 2 - y 2 ) + (x 2 + y 2 )2_
6 . Encuentre la temperatura en cualquier punto z del semiplano superior, si la tem
peratura (en grados) en el eje real est dada por
U -\i\, lK i,
1 0, ll>l.
7. Pruebe que cualquier solucin del problema de Dirichlet, continua en la cerra
dura de una regin G simplemente conexa, debe ser nica. (Sugerencia: Use el
principio del mximo.)
8 . Suponga que u(z) y v(z) son armnicas en una regin G, continuas en su cerradu
ra, y que satisfacen u(z) ^ v(z) en la frontera de G. Muestre que u (z) ^ v(z)
para todo z en G.
9. Sea G la regin 0 < I z I< 1. Muestre que no hay una funcin u(z), armnica en
G, con valores en la frontera u(ete ) = 0, m(0) = a > 0 .(Sugerencia: Aplique el
Ejercicio 8 a las funciones
log Iz l
ur (z) = a
. log r
armnicas e n r s I z K l . )
10. Pruebe la desigualdad de Harnack: Si u(z) es armnica y no negativa en 1z I < R
entonces
R - Izl . , , . R + Izl
m (0) ------------ - < m (z ) < m (0)
R + Izl R - Izl
6 3 APLICACIONES 219
11. Si f(z ) = u(z) + iv(z) es analtica en una regin que contiene a Iz I < R pruebe
la frmula de Schwarz
1 f2 n R ^ + Z
/ ( z ) = 2P J o
12. Muestre que la frmula de Schwarz puede reescribirse en la forma
/(* )= - f
m Jiri= J z
(S u g eren cia : Aplique el teorema del valor medio a w(0) = 2t>(0) + /(O).)
13. Sea t/(0) continua para 0 0 2?r excepto por un nmero finito de saltos.
Pruebe que
(*>= i p y > . dt
ir Jo R e^ z
es analtica en Iz I<CR. (S u g eren cia : Reescriba la frmula de Schwarz.)
14. Muestre, por el mtodo del teorema de Poisson, que
/ ^ y f u(t) ,
u(z) = ---------^ ----- - dt, z = x + iy,
ir (t x y + y
es una funcin armnica en l semiplano superior, aun si u (t) es discontinua en
un nmero finito de valores de t.
15. Use el Ejercicio 14 para encontrar una funcin u (z ) que sea armnica en el se
miplano superior y que satisfaga los valores en la frontera
[1 si 1 1 1< 1 ,
< *> - jo Si lt l> l.
6 .3 A p l ic a c io n e s
En las Secciones 5.5 y 5.7 se analizaron tres ejemplos anlogos de campos vec
toriales en estado estacionario que se presentan en la naturaleza: flujo de
fluidos, flujo de calor y campo electrosttico. Los campos vectoriales, que se
supusieron bidimensionales e irrotacionales, se examinaron dentro de una re
gin G que no contiene fuentes ni sumideros. En esta seccin, se ampliarn
esos problemas para incluir fuentes y vrtices en la regin G. La teora se de
sarrollar para el flujo de fluidos, y las analogas con los otros dos campos se
presentarn en la Tabla 6.1 al final de la seccin.
Recurdese que el vector velocidad V(z) del campo es igual a w'(z\ don
de la funcin analtica m(z) es el potencial complejo del flujo. As, la funcin
220 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e m p l o 1
Sea la placa G un disco de radio R con temperatura 1 0 en la frontera que
se encuentra en el semiplano superior y 0 o en la del semiplano inferior.
Encuntrese la temperatura en todos los puntos de G y descrbanse las iso
termas.
Q= |
\Vn d s= Vn 2n r d d = 2nrVn
J Jo
V(z) = Vn - -
_ Q
[ 1 \z\ 2 ?r \z \2
respectivamente, hasta una constante real arbitraria. Ntese que v(z) es multi-
valuada, y que ambas funciones son armnicas en cualquier regin simple
mente conexa que no contenga al origen. Si Q > 0, se tiene una fuente de
potencia Q en z = 0 , y si Q < 0 , se tendr un sumidero.
222 CAPTULO PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INCALES
^ ( z ) = % - lo(z ~ z ) + c- (! )
Por otra parte, el campo vectorial puede no ser irrotacional. Esto puede
ocurrir, por ejemplo, debido a la accin de un rotor cilindrico, de tal forma
que en cualquier plano perpendicular a su eje, las lneas de corriente sean
crculos concntricos centrados en el rotor. Tal campo se denomina campo
plano de vrtices.
Si un vrtice puntual se localiza en el origen, la circulacin T a lo largo
de cualquier curva 7 de Jordn es una constante no nula (T > 0 cuando el
flujo est en contra de las manecillas del reloj). A lo largo de un crculo Iz I= r,
la componente tangencial de la velocidad Vs es constante, as que
r = f K ds = 2irrV
Trt \ Tr Z
V (z ) = Vs * 7 T =
Iz I 2 ?r I z 2
ya que iz/ Iz I es el vector tangencial unitario. Entonces, excepto por una cons
tante arbitraria,
/ \ , r . r 1
w(z ) ~ to g * - arg z + i log (2
27 t 2 tr 2 ?r Iz I
wiz) = r o+ ^ log(z - Z 0 ) +c ( 3 )
2m
Ej e m p l o 2
Si el sistema consiste en dos fuentes, cada una de potencia Q_, localizadas
en z 1 y z 2 , el potencial complejo est dado por
w(z ) = R log(z - Z l ) ( z - z 2 ).
2ir
Las lneas equipotenciales, que satisfacen
\z zj I Iz z 2 \= constante,
Ej e m p l o 3
El sistema que consiste en una fu en te y un sumidero de potencias Q y -Q
situados en z x y z 2 , respectivamente, tiene un potencial complejo dado
por la ecuacin
Q , log z z, .
/ \ _ -----
w(z)
27T z z -.
Sea z ! = h, z 2 = 0. Entonces
, , Q , z +h p , ( h \ 1lh
w(z ) = log ------- = f log 1 + - , p = Qh.
ir z 2tt \ z J
w{z) = lm log ( l + ) = l o g e 1^ = (6 )
2 ir h o \ z / 2 ir 2 ttz
por lo que
p x
v _-
-p
27r X2 + y 2 27T x 2 + y 2
Entonces
x + Iy + p y - ( p
47TM \47TM 47w 47TV
Ej e m p l o 4
Considrese el problema de conocer todas las lneas de corriente en el exte
rior del disco unitario de tal forma que el vector velocidad tienda a 1 en .
Como se mostr en el Ejemplo 3, Seccin 5.5, si el flujo es simtrico
con respecto al eje x, el potencial complejo estar dado por
1
w (z ) = Z + )
z
ya que Vl (z) = 1 (1 /z2 ). Pero al quitar la suposicin de simetra, el flu
jo podra tambin estar sujeto a un flujo de vrtice, centrado en el origen,
de intensidad F , con potencial complejo
r
w2 {z) = logz,
27TZ
F 2 (z ) = L
2 itz
z2 + z - 1 = 0.
2iri
Esto es,
_ T i ^ l6 ir2 - r 2
(V)
47T
(a)
Para conocer todas las lneas de corriente en una regin G slo se necesita ma-
pear de manera conforme a G en el exterior del disco unitario, f : G ~ > { Iz I > 1} ;
entonces, la funcin compuesta w o f es el potencial complejo de G. Es de in
ters particular en aerodinmica el conocimiento de todas las lneas de co
rriente del perfil de Joukowsky, dado por el mapeo z = f + 1/f, que m a
pea los crculos como se muestra en la Figura 6.10. Es posible lograr que los
6.3 * APLICACIONES 227
F + iO Q i Q 1
w ( z ) = ------------ log(z - z 0 ) zv(z) - ------ lo g ---------- iw { z ) = l o g ----------
2m 2 irk Z Z q 277 z z0
F u en te vrtice de potencia Q, F u en te de potencia Q, C arga de magnitud Q 277
e intensidad F en Z q en z 0 en z 0
P 1 . , , -ip 1
w(z) - w( z ) = Z t _ i _ iw{z) = ---- -----------
CM
27T& z0
N
Z 277
0
Z - ZQ
1
Ej e r c ic io s
1. Encu en tre la funcin potencial p ara el cam p o electrosttico plano en Iz I <C 1
cuyos bordes son electrodos representados por los semicrculos e %e , I 8 I <C 77/2,
e t6 , I 8 7t| <C 77/2, con potenciales w0 y Uj . respectivam ente.
2 . Encu en tre la tem p eratu ra de una p laca Q con la form a del semiplano superior,
dadas las tem peraturas en la frontera de 100 en Ix I > 1 y 0o en I x I<C 1 .
3 . Encu en tre el potencial complejo y las lneas de corriente, p a ra el flujo plano de
un fluido en el semiplano superior, cuando hay una fuente de potencia Q en i y un
sumidero de igual potencia en 0 .
4 . Cul es el potencial complejo p a ra el flujo plano de un fluido con un sumidero
de potencia Q en - 1 y una fu en te vrtice de potencia Q e intensidad T en 0?
En los Ejercicios 5 -8, a p artir del potencial com plejo dado p ara el flujo de un fluido,
construya las lneas equipotenciales y las lneas de corriente, y encuentre el vector velo-
228 CAPTULO 6 PROBLEMAS C O N VALORES EN A FRONTERA Y VALORES INICIALES
6. w(z) = log ( l +
z
_1
7. w(z) = log z 2 ------ -
z
( * ) = 2irn 4z - \p\
r = Qr,
x.>
y que las lneas de corriente estn dirigidas a lo largo de los argumentos de las
races n-simas de p. Se dice que tal multiplete tiene orden 2n.
Dibuje la imagen de los crculos descritos en los Ejercicios 10 y 11, bajo el mapeo z =
f + (1 / f ). (Sugerencia: Muestre que
z 2 = / r - i V
2 + 2 \ f + 1 /
1 0 . l f - x l = v / 2 ' 1 1 . I f + l zl = > / F
6 .4 S eries de Fourier
La frmula integra) de Poisson est ntimamente relacionada con la nocin de
una serie de Fourier. Se ha visto que si U(<)) es continua por partes para 0 <
0 < 27T, entonces la funcin
1 2* , ^ (R e ^ + z
u(z) 7(0) Re ( ------------ d<)
27T 0 XRe^-z
es armnica en Iz I < R y tiene valores en la frontera u(R ei<t>) = U(<j>) en todos
los puntos donde U es continua. En la prctica, frecuentemente es ms fcil
obtener u(z) al desarrollar el lado derecho de la ecuacin anterior en una serie
infinita. Entonces
1 f 2 tt
u(z) = Re U(<j>) 1+2 2 d<p
2 tt - o
6 .4 SERIES DE FOURIER 229
in 8
= c 0 + 2 Re 2 ? c n ( 1)
donde
'2 tt
R nc = ___ U { )e - in,> d<> (2)
2 tt -
es el n-simo coeficiente de Fourier de U{<>).
Ej e m p l o 1
Encuntrese una funcin armnica en z < R que tenga los valores en
la frontera U{(>) = eos 0 , 0 < 0 < 2n.
eos e !n> d
0
IT
1
"2n
+
d<>
0 2
-- 1
'a"
'- I
+ = 0, n= 1 ,
2i _ n 1 n + 1 Jo
1 - e-2H> -i 2 tt
4> = n = 1.
2 2i _
As, w(z) = 2 Re ( r c ^ 16) = Re (z/?).
Ej e m p l o 2
Una placa con la forma'de un disco de radio R se mantiene a una tempe
ratura constante de 1 0 0 en la mitad superior de su frontera, y de 0 o en la
mitad inferior. Bsquese la temperatura en cualquier punto z de la placa.
SOLUCIN: Aqu U{<>) = 1 0 0 para 0 < (> < ir y t/( 0 ) = 0 para ir <
<>< 2ir, por lo tanto los coeficientes de Fourier satisfacen c0 50 y
Luego,
u(z) = 50 + Re Log ( i L
7T 2i \R z ) 1
100 fR+z
= 50 + ------ Arg --------
tr \ R -z
100 R +z
Arg
R-z
f{z)= 2 CnZn , (3 )
n -
donde
Rn
R n cn = ----- | dz
2iri zn 1
1 f 2 7T
d<t>, r l < R < r 2.
27T j o
Obsrvese que
f 2 ir k k
2 2
O
J
II
K
II
s
1
k
27T 2 r 2n
n - k
puesto que
2 ir
gi(n -m )<p 2 ir
e i ( n - m ) 0 d() =
= 0, m = n.
i(n m) 0
6.4 SERIES DE FOURIER 231
= 27T 2 r 2n
n = oo
2 cnein<t> (4 )
Ej e m p l o 3^
Sea f(z ) = 2=_oo cnzn analtica y uno a uno en una regin que contiene
al anillo r < I : l < R. Mustrese que el rea de la imagen del anillo es
7r 2 n lc I2 (R 2n - r 2n).
n=
If'(z ) I2 dx dy -
r< Iz Ki?
= 7r 2 n\cn I2 _ r2n ).
n =
e->0 e
u ' - o i- if
e-*0 e
sern las derivadas por la derecha y por la izquierda, respectivamente, de la
funcin U en 0. Ntese que si U es continua en 0 , ambos lmites por un lado
coinciden con U{<>), y si U es derivable en 0, ambas derivadas por un lado
concuerdan con U'(<j)).
Una funcin real f/(0) se llama suave por partes (spp) en [a, b] si tiene
derivada continua en todos los puntos en los que existen los lmites y las deriva
das de U por un lado, excepto en un nmero finito de puntos.
El teorema siguiente establece el problema de la convergencia para una
clase til de funciones.
Te o r e m a
Sea U{<>) una funcin spp en [0 , 27 t] con periodo 27 T, y
i
2* u ( d ) e ~ ine d d .
27T o
Entonces
lm E cne ^ = \ [ /( 0 + 0 ) + U ( 0 -())].
" & - c o n= fe
sk (())= 2 cne
n = k
1 2n
m 2 ek ^ - 9] dd
27T Jo _=fc
e-ik(<t>-8) _ ei(k+l)(tj>-9) -
dd
- -2ir Jo
ir 1 - '(-)
= - I 2' ,(*)
27T Jo s e n (0 0)
W =ir r sensen
27 r Jo
-fe+r ' )- W +1 )+
-jt
- 0] dt
(vase Figura 6.11).
F ig u r a 6 .1 1 .
1 i - f' . 2 * .
27r Jo sen t
Al multiplicar esta identidad por [1/(0 + 0) + 1/(0 0)] /2 , se tiene
7(0 + 0) + 7(0 - 0)
Sfc( 0 ) g
Ej e m p l o 4
Mustrese que
7T 2 1 1 1 1
~ T ~ 1 ^ 3 ~~ 3 ^ 5 5 ^ 7 _ 7 ^ 9
+ c_ i e~%
<!> = 2ic i sen 0 ,
y
UU) = + i + l cos2H
2 7T 7T k =\ (1 - 2A )(1 + 2k)
Por tanto
tt- 2 = j _______ L + _ L _ L +
4 1*3 3 -5 5 -7 7 -9
Ej e r c ic io s
1. Si la placa G tiene forma del disco unitario con temperatura u(e%
<!>) = <j) grados
para 0 ^ </>< 277, muestre que la temperatura en G para z ^ 1 est dada por
u(z) = 77 + 2 A rg(l z).
2. Encuentre la temperatura de Iz I < 1, dado que la que tiene en la frontera es
u(e<l>) = cosh 0 .
3. Busque la serie de Fourier para /(0) = 77 en 0 ^ 0 ^ 77 y /(0) = 0 en 77< 0 < 277.
6 .5 TRANSFORMADAS DE FOURIER 235
7T2 _ 1
6 n= 1 n 2
7. Pruebe qu
=
90 n=l n4
8 . Aplique la identidad de Parseval a la funcin f { z ) (1 z ) "~1 y pruebe que
Ncn = 2 2 U W.*. ,
k 2=o N k,=o \ N J 1 j
donde WJv = e ~ 2/N. As, cn = cnj ,n2se obtiene como una transformada de los
coeficientes N 2
Afj 1 / 27r/s \
2 / _ 0 < k 2 < N 2.
1 2 k,=0 \ N J 1
11. Use el Ejercicio 10 para la situacin donde N=Ny "N2 . . . Nm .Este es el pro
cedimiento que se utiliza en la transformada rpida de Fourier.
6 .5 T r a n s f o r m a d a s de F o u r ie r
La serie de Fourier de una funcin U{(>) de periodo 27T puede escribirse en la
forma siguiente:
2 c j n\ cn = - L * U{<t>)e~in* d<p.
n=- 2 7T J 7r
236 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
De modo semejante, si 7(0) tiene periodo 27rA, con 0 = 0/A se obtiene una
funcin de periodo 2ir; por ende, 7(0) tiene la serie de Fourier
f cn ein* = f cn ein^ K,
n = oo 71= oo
donde
.n n n n n n 0
ri 171 n n n n n
27tX ->
n n n r01 n n n
n r1 n
I I
Las frmulas para 7 y u tienen similitud inconfundible. Se dice que stas for
man un par de transformadas de Fourier, y u{t) es la transformada de
Fourier de U(<j)). Como en la Seccin 6.4, el principal problema es descubrir
en qu circunstancias coinciden los valores de 7(0) y 7(0) porque entonces 7
proporciona una frmula de inversin para la transformada de Fourier u.
Esto tiene el efecto de duplicar el tamao de una tabla de integrales dada, por
que si se conoce una solucin en forma cerrada para la transformada de
Fourier u(t), se conoce tambin una para su inversa. El teorema siguiente pro
porciona condiciones tiles bajo las cuales 7(0) y 7(0) concuerdan, pero de
ninguna manera es el mejor de su clase.
PV 7 (0 ) - PV 1 " d t= 1 [ f / ( 0 + 0) + 7(0 - 0) ] .
7(0)e!(0-1^ d(j>
oo '
sen 7(0 - 0)
= 2 7(0) t0,
0 0
y > |0 1 + 1 (0 fijo) puede escogerse de tal forma que
I l7(0)ld 0< f
U0l><j> . 4
serene - j ) #
I 7(0) Id < p < -
I0 l> <t> 0 0 0 1>0 4
Al igual que en la primera parte de la prueba del teorema de la convergencia
de las series de Fourier en la Seccin 6.4,
f* 7(0)
sen 7 (0 0) d<j> -* 0 cuando T -* , ( 1)
Je+6 0 0
2 38 CAPITULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
rv ifo j- ,t a P g + ai +W - o ) f e Z* *
7T Jo 0
= ?.) + ^ - ) Im ^ 1
S 0
7T 0 0
1
= ^ [ / ( 0 + O) + /( 0 _ O ) ]
Ej e m p l o 1
Supngase que t/(0) = e~ 1 ^ e n t o n c e s I U(<p) I es integrable y f/( 0 ) es
suave por partes. Su transformada de Fourier
1 e ( - it + 1 ) 0 d<) + -t1 )0 d<p
u(t) =
x/2
V ^ ( l + 2 )
satisface a
p!0 COS 0
I0 I ^
dt =
7T 1 + t2 7T 0 1 + 2
Debe compararse este resultado con el Ejemplo 1 de la Seccin 4.3.
I
6 .5 TRANSFORMADAS DE FOURIER 2 39
Ej e m p l o 2
Al separar las integrales como en el clculo anterior, se obtiene
e- y II 2( 0 x)t
(0 x ) 2 + y 2
0 W - * f '
n (0 x ) + y
= J_ f U{<b)e-yH^ - x^ dt d<$>.
2 7f J OO J oo
Re u{t)eht dt j , (3)
Jo J
Ej e r c ic io s
E ncu en tre las transform adas de Fourier de las funciones de los Ejercicios 1-4. (Suge
rencia: Utilice las integrales de contorno de la Seccin 4 .3 .)
^ b x
x 2 + b2 x 2 + b2
x2 1
3. r----- 4.
{x 2 + b 2 )2 x4 + 4
Encu en tre las transform adas de Fourier de las funciones de los Ejercicios 5 -8 . ( Suge
rencia: Use las integrales de las Secciones 2 .2 y 4 .5 .)
5. e~ kx* 6 . x e ~ kx2
1 x
7 . --------- 8 . ---------
senh x senh x
240 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
9. Suponga que U((p) = l en 0 < <) < y se anula en-- < <) < 0. Encuentre
una funcin armnica en el semiplano superior que tenga a /(</>) como sus valo
res en la frontera.
10. Considere la placa G con la forma del semiplano superior y con temperaturas de
1 en el intervalo [1, l ] y 0 e n e l resto del eje real. Encuentre la temperatura
en todo punto de G.
11. Suponga que U = U en casi todos los puntos de (, ). Sin considerar la con
vergencia, muestre que
r * - * , , , ^ 2 r
J- 7T J - (1 + )
(iSugerencia: Use el Ejercicio 11.)
6 .6 T r a n s f o r m a d a s de L a p l a c e
Los mtodos de la transformada de Fourier a menudo son intiles para anali
zar funciones que no son absolutamente integrables en (, ). Por ejemplo,
la funcin de Heaviside
{o, t< l
no tiene transformada de Fourier, ya que la integral
TEOREMA
Supngase que /(0) es suave por partes y de orden.exponencial (esto es,
existen constantes a y $ tales que e~a<1> I U{<>) I est acotada para toda
0 > <f>). Entonces la transformada de Laplace jC{t/)(s) es analtica en
R e s > a {un semiplano de convergencia).
PRUEBA: Al denotar por M una cota finita de e a<t> \U{<>) I en 0 > <f>, se
tiene
l / ( 0 k - i 0 \d()< I* I t/(0)e - i 0 Id<> + M I (*)0 |d<>.
Jo Jo J <t>
Pero 7(0) est acotada en [0, (f)] , ya que es continua por partes, lo cual
implica que la primera integral es finita, y
|e - ( i - ) 0 | d 0 = f" e- (R e * - f l) 0 0 = g ( R e *_ j l <oo,
J <t J* Re s a
as que la transformada de Laplace de t/(0) converge absolutamente en
Re s > a (vase Figura 6.13).
Esta ltima ecuacin indica que la transformada de Laplace converge
uniformemente en cualquier conjunto cerrado D, completamente contenido
en el semiplano de convergencia, porque
242 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
D m ln iod
QpfVetvT'
'oo (R e s a)<p
C/(0 )<?-^ d<> < M - --------------
J <t> Re s a
cuando 0 > <>, y 0 puede elegirse de tal forma que el lado derecho de la
ecuacin anterior quede ms pequeo que un e > 0 preestablecido, para todo
s en D.
Para los enteros n 0, las funciones
^ = Jo u ^ e~s4> d 0
Ej e m p l o 1
Mustrese que
{ e ~ z* } - 1
+z
para Re s > Re z.
JC d<)- . _ 1
1 J Jo r _ ( + z) o +z
6 .6 TRANSFORMADAS DE LAPLACE 243
Ej e m p l o 2
Confrmese que
n!
ir} = j i +i
para Re s > 0, n = 0, 1, 2 , . . .
0 5 JO
n 6 "-1 n 1
+ ,n - 2 d<j)
0
s 5 0 5
ni n\
e s<i> dtp
A+ 1
( C / ( 0 ) c - ^ ) c - 0 d<> = J U ( 4 ) e - ^ z^ d(j>,
JC{/( 0 ) e - ^ } ( s ) - = J E { / ( 0 )}(s+-z)v
donde la ltima expresin significa que cada s en \U } se reemplaza por s +
z. Si a > 0, se tiene
{U{(p)H(<j) - a )} = e - a { / ( 0 + a ) } .
Ej e m p l o 3
Para cualquier entero n > 0, prubese que
(C O T R' s > R E
{ r e - } = { < ? } ( , + * ) = (- ^ 0 I .
Ej e m p l o 4
Mustrese que si a > 0, entonces
e -a (s+ z )
{ e Z(> H(() a ) } = ------------> Re s > Re z.
s+z
= a{U((>)} + b{V(cp)}.
Ej e m p l o 5
Mustrese que, cuando Re s > IIm z I,
{ c o s z 0 } = {i(?** + e - >)}
1 1
s iz s + iz ) s2 + z2
{sen 2 0 } = X ^ (e** - e ~ ^ )
1 / 1
2 V s 2 5 + iz ) S2 + Z2
P r o p ie d a d de l a d e r iv a c i n
Si 7(0) y U'{4>) son funciones spp de orden exponencial, entonces
Ej e m p l o 6
Comprubese que
2z2
{sen2 2 0 } = -------- > Re 5 > 2 IIm 2 I.
1 ' 5 (s2 + 42 )
SOLUCIN: Como
d /0 sen.2 2 0 \ i . . 2
----------------) = t ( 1 cos 2 2 0 ) =senz 0 ,
d0 V2 4z /
por la propiedad de derivacin y linealidad,
X{e
2 4: j
1 1 \ 2z2
= 5
, 2s 2 2(s 2 + 4z 2 ) / s(s 2 + 4z 2 )
cuando Re s > 1I m 2 2 I .
2 46 CAPITULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
{ u * v } = { v } J U{t)e~ts dt = { u } { v } .
Ej e m p l o 7
Obtngase una solucin particular de la ecuacin diferencial
{e senz <P}
(s + u; ) 2 + z 2
As que,
1 - 0 }jC{ K(0 ) } ,
6 .6 TRANSFORMADAS DE [APLACE 247
y la solucin es
Z{s)
donde Z(s)- i , la funcin de transferencia, es independiente de V. Sea UH la
funcin de salida cuando V(cp) = H((p). Entonces, con el Ejemplo 4, se en
cuentra
Z(s) 1 {U H ) = {H(<>)} = I
S
o bien
{u} = ^ $ - = s Z { uh } l { v } = sZ { uh * V }.
sZ(s)
En consecuencia, por la propiedad de la derivacin,
ya que las condiciones iniciales implican que f/// (0) = 0. Las ecuaciones ( 6 ) y
(7), frmulas de Duhamel, expresan la respuesta de un sistema a la funcin de
entrada V((p) en trminos de la respuesta, experimentalmente accesible, a la
funcin de Heaviside.
Ej e r c ic io s
Verifique las transformadas de Laplace y las regiones de convergencia en los Ejercicios
1-13.
5
1. {cosh ztp} = Re 5 > |Re z|
52 - Z 2
2 2
4. { 0 eos z<)} =
Z , Re 5 > |Im z\
(s2 + z )
9 cy
5. { 0 s e nh z<)} = ------ , Res>|Rez|
(s2 z 2 )2
2 2
6. { 0 cosh z 0 } = ^ , Re 5 > |Re z|
\s ~ z )
Re s > I Im z I
Re s > I Im z I
., ,
Si(0) =
r* --------
sen0 d(j).
i.
Jo 0
Si 7(0) y /'(0) son suaves por partes y de orden exponencial, pruebe las condiciones
dadas en los Ejercicios 21-23, ya que el dominio de convergencia de incluye el
semiplano derecho cerrado.
21. lm jE{C7(0)} = 0
S~> 00
6 .7 La t r a n s fo r m a d a inversa de Laplace
En esta seccin se estudiar una tcnica muy poderosa para determinar la fun
cin 7(0) cuando slo se conoce la transformada de Laplace
de esa funcin. Supngase que 7(0) es de orden exponencial, con e~a<p I 7(0) I
acotada para 0 > <>.
Si 5 = q + it, la transformada de Laplace se transforma en
( * ) = ~ ( 7 (0 )e -^ )e - 0 0 , q>a,
Jo
250 CAPTULO 6 PROBLEMAS C O N VALORES EN U\ FRONTERA Y VALORES INICIALES
90, <>>0,
(2)
4><0.
Como q > a, IP(()) I es integrable, se aplica el teorema integral de Fourier.
As que, en todos los puntos <j) > 0 de continuidad de P, se tiene
q+i**
PV u(s)es<t> ds, s = q + it, <) > 0 . (3)
2m q i*
si R , dado que <fi cos 9 < 0. Entonces, las integrales de contorno sobre
las curvas indicadas en la Figura 6.14,
(5 )
(a) (b)
Fig u r a 6 .1 4 . ( a ) 0 < o ;( b )0 > o
6.7 LA TRANSFORMADA INVERSA DE LAPACE 251
Ej e m p l o 1
Encuntrese la inversa de la transformada de Laplace
Ej e m p l o 2
Obtngase la transformada inversa de Laplace de la funcin
. . 2s + 3 .
u(s) = ---------- > Re s > 0,
s2 + 4
+ 3^ 220 + f 4z +
4Z + 3 ) e -2t>
4z
= 2 eos 2 0 + "I sen 2 0 .
Ej e m p l o 3
Invirtase la transformada de Laplace
-2 s
u (s) = T Re5>0.
(5 + 3)2
2 52 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INCALES
sobre los dos contornos mostrados en la Figura 6.15, advirtase que para
s = R eie,
|e(<t>~2 )s |= gR (<t>- 2 )cos 6 q
(b)
Ej e m p l o 4
Encuntrese la inversa de la transformada de Laplace
u(s) = Re s > 0.
6.7 LA TRANSFORMADA INVERSA DE LAPACE 2 53
ds = 0 ,
2iri J a v/j -
C orte d e
ra m ific a c i n
F ig u r a 6 . 1 6 .
1 t<> dt
f-r _____
1 fr etrl> dt
= lm I
K (27TZ \-R yf \ t \e ~ i 2m j-R y/\t
r0
Si x = -t se tiene
1 CR e~x4> dx 1 f e x(t> dx
U{(>) = lm ------------ --------
* Jr V 5" * J
ns/0- v^r0
254 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e m p l o 5
Resulvase el problema de valor inicial
U(0) = 0, /'(0 ) = ~
asi que
U(<>) = ~ e~ W
, 4> + - 4- e~ W0 - cos w<) ~ e~ W0
2iv 4zv 4zv2 2zv
Ej e m p l o 6
L a ecuacin de difusin trmica en una varilla semi infinita es
BU c d2 U
---- = 0 9 ( 7)
31 dx2
donde 6 es el coeficiente de difusividad de calor en la varilla, x es la por
cin sobre la varilla, t es el tiempo y U es la temperatura. Supngase que
se dan las siguientes condiciones inicial y de frontera:
{t /}- t /( * ,0 ) = J c j ^ } = 6 {U },
( 0 , s ) = {u (0 , f ) } = ~ cce-*'
e~stdd tt =- -C (10)
o
u - ,
as que c t = 0 por la ecuacin (11) y c 2 = c/s por la (10). Por tanto,
{ u y = ce~'J*fix/s, y puede utilizarse el teorema de inversin para las
transformadas de Laplace, o el Apndice 2, para obtener
que r e dv = -
Jo 2
por medio del Ejemplo 3 de la Seccin 2.2. De esta forma se satisfacen las
condiciones inicial y de frontera (8). Adems,
_ c g x 2 /45 1
9^ yjbt
y a2 fI _ ex e ' x 'l4St = W
3^ 2v^5 3/2 " 9 '
2 56 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e r c ic io s
Encuentre las inversas de las transformadas de Laplace dadas en los Ejercicios 1-10.
Suponga que cada transformada se define en el semiplano Re s > a y b es real.
1. ^ 2. 1
(s + a) (s + a)
3. 5------ 4 . ------1----
{s2 + a 2 )2 (s + a)4
5 . i 6. 5
s(s2 + a 2 ) s3 + a3
1 o e ~ bs
7 . -------- 8.
(s3 + a3 ) (s + a)3
P~bs p-b s
9 . 1 0 . ---------
s2 + a2 s(s2 + a2 )
Use los mtodos de los Ejemplos 3 y 4 para invertir las transformadas de Laplace de los
Ejercicios 11-18. Suponga a, b > 0.
1 1 . , Re 5 > 0 1 2 . , Re 5 > 0
V^
16. Re s > 0
e~a'fs~ i
1 7 . ----------, Re s > 0 1 8 . L o g ( l + s 2 ), Re s > 0
y/T 25
19. Resuelva la ecuacin
l2
U(<>) = <>+ | sen (4> ) U(t) dt.
/" ( 0 ) = / ( 0 - 1 ) - - 1)
Un ~ o, Uxx ,
con condiciones iniciales y de frontera
Uft ~ Q UXXy X, t ^ 0 y
en una cuerda semi-infinita, dadas las condiciones iniciales y de frontera
U (x,0)=f(x), x > 0,
Ut(x, 0) = 0, x>0,
U (0 , t) = 0, t > 0,
lm U(x, t) = 0, t > 0.
X-*^o
26. Una cuerda finita, sujeta a una funcin de forzamiento f { x, t), satisface la
ecuacin de movimiento
Ux x \ Utt = f( x, t).
a
Las condiciones iniciales
U(x,0)=g(x), 0
Ut(x, 0) = h(x), 0 < x < L,
son funciones dadas, y la cuerda tiene sus extremos fijos:
7(0, ) = U(L, t) = 0.
Use transformadas de Laplace para obtener una expresin para la solucin de
este problema.
27. Resuelva la ecuacin diferencial parcial
Ut = 8Uxx + n U x , t > 0, x > 0,
dadas las condiciones inicial y de frontera
U(x, 0) = 0, x >0,
7(0, t) = c(= 0), t > 0,
lm U(x, t) = lm Ux (x, t) = 0, t > 0.
X-*^o co
2 58 CAPTULO 6 PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
NOTAS
SECCIN 6.2
Puede encontrarse un anlisis ms completo del problema de Dirichlet en el
plano complejo en [A. pgs. 237-253]. El problema de Dirichlet en el espacio
tridimensional se estudia en la teora del potencial; un clsico en esta rea es
[Ke]. La hiptesis sobre C/(0) en el teorema de Poisson puede desarrollarse
substancialmente [Hf, Captulo 3, y H, Captulo 19].
S e c c i n 6 .3
Un tratamiento del perfil de Joukowski se encuentra en [R, pgs. 115-121],
SECCIN 6 .4
Un ejemplo de una funcin continua cuya serie de Fourier diverge en los n
meros racionales de [0, 27t] se encuentra en [ J , pg. 546]. Un teorema de Y.
Katznelson [Studia Math., 26 (1966), 301-304] muestra que para cualquier
conjunto S de medida cero, existe una funcin continua cuya serie de Fourier
diverge en ese conjunto. Recprocamente, por un resultado de L. Carleson
[Acta M ath., 116 (1966), 135-157], la serie de Fourier de una funcin continua
converge excepto en un conjunto de medida cero. Se puede encontrar un an
lisis comprensible del problema de la convergencia en [Hf]. La integracin y la
derivacin trmino a trmino de una serie de Fourier se pueden realizar, para
obtener una serie de Fourier de la integral indefinida o de la derivada, si las
funciones involucradas son suaves por partes.
SECCIN 6 .5
Frecuentemente se encuentran definiciones alternativas de las transformadas
de Fourier. Todas las definiciones son equivalentes hasta una rotacin y la am
plificacin por y/2.
SECCIN 6 .6
En muchos manuales matemticos pueden encontrarse tablas de transforma
das de Laplace, una de las cuales est en el Apndice.
SECCIN 6 .7
Una prueba de unicidad de la transformada de Laplace para funciones conti
nuas puede encontrarse en [M, pg. 412],
El desarrollo de una frmula de inversin para transformadas de Laplace
de dos lados se dificulta por su no unicidad. Cualquier frmula de inversin
para la transformada de Laplace de dos lados debe considerar la regin de
convergencia.
A 1 Tabla de mapeos
CONFORMES
259
2 60 APNDICE 1 TABLA DE MAPEOS CONFORMES
/ IS lS l:
1 - 2
1 + z d a . b
----- 1----- -----1-----
v
b
W - 1\ _ ;Z ~ 1
w + 1y z+ 1 C 1 wmm \ a
O 1
w = Log /
*= I a | I w-a 1
~a~ l 1 ~aw J
APNDICE TABLA DE MAPEOS CONFORMES 261
w= l
c . b \
o a
, = yr16
b u
262 APNDICE 1 TABLA DE MAPEOS CONFORMES
w = sen z
Linea continua
y cosh/: J y senh/: J
Lnea discontinua
l( sen
j JY (^
eos;V
J
w ez + 1
e2 - 1
f 9
ni
w- Log
0 d ( N
ni
b a
APNDICE 1 TABLA DE MAPEOS CONFORMES 263
w= ni +z - Log z
w- 2 V1 +z +Log (l v m-
i'TT7 +$
265
266 APNDICE 2 TABLA DE TRANSFORMADAS DE LAPLACE
ea5
- cosh (2yfa<i>) Re > 0
y/T
a c ~a 2 /40 e -as/T Re > 0
2\J-n<i>2
9 ;a/2 y/<i>
1 ------- e dv ------------- Re s > 0
y /ir 0 s
Para una lista ms extensa de transformadas de Laplace, ver [M, pgs. 428-
434].
A 3 I ntegrales de
LNEA Y TEOREMA DE
GREEN
\b f ( x ) dx. (1 )
Ja
En este apndice se dar un breve desarrollo de las integrales de lnea de fun
ciones reales f( x, y) a lo largo de curvas spp en el plano Euclideano.
El trmino integral de lnea* es una designacin desafortunada, ya que
usualmente se evalan las integrales a lo largo de curvas. Para entender lo que se
mide con una integral de lnea, recurdese que la integral definida ( 1 ) se ob
tiene al dividir el intervalo a < x < b en n subintervalos de longitudes Ax ,
A x 2 , . . Axn , luego se elige un punto x^ en cada subintervalo, y se evala
el lmite de la suma de Riemann
2 f ( x k ) Ax k
k-\
cuando todas las longitudes Axk tienden a 0.
Se puede llevar a cabo un proceso similar para una funcin real f( x, y)
definida en una curva 7 suave del plano Euclideano: se divide 7 en n subarcos
de longitudes de arco A s , As2 , . . As , se elige un punto (x/, yk ) en cada
sub arco, y se evala el lmite de la suma
2 f(xk,yk)&sk (2 )
k\
* En ingls lin e integ ral, donde lin e sugiere siempre una lnea recta. (N . de. T .)
267
2 68 APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE GREEN
f(x.Y)
f ( x , y) ds = lm 2 f { x k, y k ) A s k , (3)
J y m x A s^-t-O k
Ej e m p l o 1
Evale
xyds
Jy
FIGURA A .2 L o n g itu d d e a rc o
(A )2 { Ax) 2 + {Ay)2 .
Si se dividen ambos lados por { Ax) 2 y se toma el lmite cuando Ax tiende
a 0 , se tiene
( ) = ' ( ) <4>
donde (x) es la funcin longitud de arco que mide la longitud del arco a
lo largo de la grfica de y que va de (0, 0) a {x, x 2 ). Cambiando varia
bles, se obtiene
xyds = I xy y / l + {y'{x))2 dx
y JO
1 y / l + 4 x 2 dx.
Jo
Al sustituir u - 1 + 4 % 2 y cambiar variables, se tiene
x 3\ / l + 4 % 2 dx = {u 1 )\ A du
3 32 -1!
1 u 5/2 u 3/2
Ti L 5 3
55/2 + 1
120
270 APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE GREEN
E je m p l o 2
Calcular el valor de la integral de lnea
\fy~ds
= y / Y ( t - sen) = I sf n .
f f { x , y ) d s = I f ( x ( t ) , y ( t ) ) s'(t) dt
J7 Ja
f ^ /c dt
= f{x {T ),y {T ))^ ?L d T
dt d T
= j A
B f ( x ( T ) , y(T)) s'(T) d T.
APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE OREEN 271
Ejemplo 3
Encuntrese el valor de la integral de lnea
x 3 ds
I x 3 ds = i ( 1 t2 ) dt
Jy J 1
l
= 4
3 -1 3
ds
\/sen2 1 + eos2 1 = 1 ,
dt
as que
W2 , f sen 3
A ir/2 _ 4
x 3 ds eos t dt = sen
7 J-n/2 -ir/2 3
I f{x ,y )d x = lm 2 f { x k, y k ) A x k,
.'7 m x A x -> 0 k
| f( x, y) dy = lm 2 f ( x k, yk ) Ayk .
.7 m x A y -> 0 k
272 APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE GREEN
Ej e m p l o 4
Evale fy y (l x) dy a lo largo de la porcin y del crculo unitario en
el primer cuadrante.
f f77/ 2
y (l x) dy = sen t ( 1 cos t) cos t dt
Jt J o
77/2 _ 1
1
eos a t 1
eos 2 t
3 2 o 6
Te o r e m a de g r e e n
Sea G la regin interior de una curva 7 spp cerrada simple. Si p(x, y),
q(x, y), 9p /9x, y dq/dy son continuas en todos los puntos de GU7 , en
tonces ,
ap aq
p dy + q dx = ----- dxdy,
h j Je \9x 9 yj
dado que la integral de lnea se toma er sentido positivo (contrario al de
las manecillas del reloj) alrededor de 7 .
Fig ura A .4 .
274 APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE GREEN
q dx = q dx + q dx
7 J A BC JCDA
fb [b
q(x,f,(x))d x- q ( x , f 2 (x))dx,
Ja Ja
9q b r/ 2 (x) 9 q
dxdy = dy dx
G 9 -y a Jf,(x) dy
y=f7x )
q(x, y) dx
y=ft (*)_
"b
[ q { x , f i { x ) ) - q ( x , f 2 {x))\ dx.
Por tanto,
q dx- ^ dxdy.
7 J jg dy
Similarmente, los arcos DAB y BCD pueden definirse por medio de funciones
univaluadas x = g ( y ) y x = g 2 (y) en c < y < d, con
el fd
p dy P{g 2 (y), y) dy - p { g x {y), y) dy
c Je
* d x d y = S' b ) * dxdy
G dx Je Jg,(y) dx
x=ff2 (y)
p(x, y) dy - J p dy.
x=g , ( y ) _
Figura A .5
APNDICE 3 INTEGRALES DE LNEA Y TEOREMA DE GREEN 275
Esto establece el teorema de Green para las curvas especiales que se han consi
derado. El teorema de Green puede extenderse a las curvas que no satisfacen
esta propiedad especial dividiendo la regin G en subregiones G, cuyas fronte
ras 7 i s tengan esta propiedad (vase figura A .5). Aunque esta afirmacin es
intuitivamente clara en los ejemplos como el de la Figura A .5, requiere una
prueba difcil que sale de los objetivos de este libro. Si se aplica el teorema de
Green a cada una de las subregiones G, y se suman, se nota que la integral de l
nea a lo largo de los subarcos de 7 i no son subarcos de 7 se cancelan por pares,
ya que cada subarco se recorre dos veces en sentidos opuestos. Por tanto, se
,iene r r dxdy
G \9x 9y ) i Jjg,-.\9c 3y
pdy + qdx
Ti
pdy + qdx.
Ej e m p l o 5
Evalese la integral de lnea
(jc 2 y) dx + x dy,
Ej e r c ic io s
En los Ejercicios 1-8, evale la integral de lnea dada a lo largo de la curva que
se indica.
2xy dx + (x 2 + y 2 ) dy
pdy + qdx = 0
Jy
2 i - - 1
x = x Ldy, y = ---- y 2 dx
2A y 2A
donde A es el rea de G.
15. Muestre, utilizando la notacin del Ejercicio 14, que Ay = fy xy dy.
Puede expresarse / 7 xy dx en trminos de 3c?
16. Con la notacin del Ejercicio 14, pruebe que
' ( b 2F b2 F \ , , [d F
le U ? + J , ~in
donde d F /dn es la derivada direccional de F en la direccin de la normal
exterior a y.
17. Pruebe que
' b f bg b f bg'
dxdy = / dg.
g \3x by by bx
Biblio g rafa
2 77
278 BIBLIOGRAFA
C a p t u l o l 29 * l * iy i * 2 + iy i
x 2 7y2 x 2 + iy2
SECCIN 7.7 Xix2 + y y 2 . x 2y , x , y 2
------ 5-------5 !-------- 7------7
1 . 2 + i; 2 + i; 2i; y7
-
*2 +y2 *2 + y2
3. 1 + 27; 1 ; 1 + i', 1 i 3 1 . (A + B )3 = A 3 + B 3 + 3A B (A + ) =
5. 2 ; 27; 2 ;7 b + 3 ABw
7. 7 + 7; 3 - 7; 10 + 5; 2 - 7
9 . 7 - 7; - 1 - 37; 14 - 57; 14 - yy7 A B = \ / D 2 = > as que
4 3
11. 5 + 47; 3 + 67; 9 + 7; - ^ + 7
13. - 2 7 w3 + aw + b = (w A B)-
15. - 3 - 47 (w2 + (A + B)w +a + (A + B )2 ) = 0
11 7' Ji o
L j. i l -
+ io f con (A + B ) 2 - 4 [a + (A + B )2] =
19. - 1 0 3 (A - B ) 2
2 1 . iz = ix y
33. Use las leyes de conmutatividad, aso-
23. Si z2 =0, entonces z 2z 2 = (longitud ciatividad y distributividad de los n
de z 2)2 =0, pero z l z 2z 2 = 0 , asi meros reales para verificar que la
que dividiendo ambos lados por (lon suma y la multiplicacin complejas
gitud de z 2 )2 se obtiene z t = 0. tambin satisfacen estas propieda
25. Im i = Im z 2 as que Im z z 2 = des. Las leyes de la identidad y del
I m z 2 . (R e ^ ! R e z 2 ) = 0. inverso se mostraron en el texto.
Si Re z ! = Re z 2 , entonces Re z t z 2 35. Suponga que z l y z 2 son, ambos,
> 0. Por tanto Im z 2 = 0. inversos multiplicativos de z. Enton
2 7 . ( * , - x 2 ) - i(y! - y 2 ) = ces z |z = 1 = z z 2 y z 1 = z j (zz 2 ) =
( * i - * yi ) - (*2 - yi) (z jz )z 2 = z 2.
279
280 RESPUESTAS A PROBLEMAS IMPARES
SECCIN 7.4
27. I P(z) I > I a 0 I [ Ii I +. . . +
1 . I 22 - 2 1 = 2 1 2 - 1 1 < 25 as que Ia ll ^ 0 en 12 I< 1
haga e = 25
3 . 12 + I< 5 as que haga e = 5
5 . 1(22 - 3) - ( - 1 + 2) I =
SECCIN 7.5
122 - 2 - 2* I = 2 12 - (1 + t)l
1. i f y = ex (eos y + i sen y) = f x
< 2 5 =e
3 . i f y = eos x coshy i sen x senhy
22 - 4 42 + 41
7. - 4 = fx
2 -2 Iz - 2 1
5. 5 4 2 2 - ^ + 4
2 2 1 < 5 = e
z3 - 1 32 + 2 1
9. - 3 7.
ll (2 - l)2
282 RESPUESTAS A PROBLEMAS IMPARES
15- fx = ify
_- -
-iy- > para
Iz I senh ------- = f x se cumple
x +y
z = 0, y lm ------ no existe, ya
z->0 z para z = 0 , lo cual implica condi
que tiende a 1 cuando z -> 0 sobre el ciones suficientes para analiticidad
eje real positivo y a 1 sobre el eje en z = 0.
real negativo. m _ i * ' 2 tiene valor 1 sobre
17. f x = 2x pero ify = 0 , as que
tiene derivadas solamente sobre el eje
el eje real y -1 sobre el eje imagina
imaginario porque
rio, entonces no tiene derivada en
f ( z + iy) - / ( i y )
/'(iy ) = lm 3xy
z-*-0 z = 0. Pero u =
(Re z )2 I Re z l
lm 0 , ya que y 3 Sx2 y .
z- 0 Iz I v = - -------- ^satisfacen ux = 1
l z l < 5 = e.
- Vy, Uy = 0 = vx en z = 0 .
19- fx ~ y pero ify = 2y - ix, as 1 1 . I m (/ + / ) = 0 y / + / es analtica,
que slo puede tener derivada en z = as que el teorema de la derivada nu
0 , en donde
la implica que / + / = 2 R e / e s cons
(, , zlmz
/ ( 0) = lm ------ = 0. tante y, por tanto, / es constante.
z ->0 z 13. Las ecuaciones de Cauchy- Riemann
21. Use la regla de la cadena del ejercicio conducen al sistema
20
2 UUX + Uy = 0
23. rvr = r(vx x T + vy yr ) = xvx + yvy =
Ux 2UUy = 0
x u y + y u x = u g , yaque x g =
Sil + 4u 2 0 , entonces u* = uy =
- y y ye = x - similarmente para la
otra identidad. 0-
15. Im / = 0 , a que aplique el teorema
de la derivada nula.
SECCIN 1.6
17. Si f = f x = x , entonces/ = +
1. Ver la solucin del ejercicio 1 de la
Seccin 1.4, y aplique el teorema g(y), pero / ' = - i f y = - i g no es
sobre condiciones suficientes para una funcin de x.
analiticidad.
3. Ver la solucin del ejercicio 3 de la
Seccin 1.4, y aplique el teorema
sobre condiciones ^suficientes para SECCIN 1.7
analiticidad. 1. - 1
5 . ify = 2 [ x cos(x 2 _y2 ) cosh 2xy + e- 1
y sen(x 2 y 2 ) senh 2xy] + 3- (1+0
2[ y co s(x 2 y 2 ) cosh 2xy y/2
x sen(x 2 y 2 ) senh 2xy] = f x 5 . i
y aplique el teorema sobre condiciones 7. - i
suficientes para analiticidad. 9 . 2uk - i log 2 , k = 0 , 1 , 2 , . . .
RESPUESTAS A PROBLEMAS IMPARES 2 83
-
29. Use la frmula del cociente para de
25. Use el ejercicio 21 de la seccin 1.5. rivadas y el ejercicio 2,8.
27. { e ~ n <C I w I<Ce n} 31. Use el ejercicio 26 y la localizacin
|Re w < 0 = oj- de los ceros de sen z y eos z.
33. Sume las definiciones de eos z y de
29. f ( z ) = e2lrz
i sen z.
35. El segmento de recta t '+ iy, I l
< 77/2 se mapea en la mitad supe
rior de la elipse
SECCIN 1.8
1 . i(e e - 1 )/2 1 , for y > 0.
cosh 2 y snh2 y
( e + e - 1) ( e - e - 1)
3. ---------------eos 1 + x -------------- sen 1 El segmento de recta x + it, t > 0
2 2 se mapea en la mitad superior de la
(e + e_ 1 ) (e - ) hiprbola
5 . --------- eos 1 i -------------- sen 1
2 2
1
7. ( e - 1 - e ) / 2 sen2 jc cos2 ;c
2 lZ 2 IZ ijz l Z \ 2 , . . .
e e \e e )
19. = 2 3 . i arg(1) = (77 + 277/e), k = 0 , 1,
2i 2i 2 , . . .
(el z + e ~ lz) e + e~ 5 . *~arg = e irl2+2irk' * = 0> 1>
2 2 2 , . . .
iz . Z\ 2 / iz -iz . o
284 RESPUESTAS A PROBLEMAS IMPARES
9. e ~ n l 2 S E C C I N 1.10
11. Para a real, no negativo, con/(O) =
1. E r = r A R e e iw\
1 si a = 0, y f(0 ) = 0 en otro caso.
Er = r s 2 A Re
Entera para a = 0 , a T? 1.
Er = r 3 s 2 A Re e ^ wt- 2^ ..........
13. log lz x I + i arg z i + log lz 2 I + = r 2n- 1 52 4 Re
1 arg z 2 = log \z1z 2 + i arg(z1z 2 )
1 5 . a lo g z + b logz = (a + 5 ) l o g z
.. as que T-Telejada (1 | E r d
17. Log(1 i) = log \2 >
s2 A
Re -J e u, 2
tLog i-- m pero tLog
-1 - *
----------- n=0
2 i
* \ 1
3m ^ 2j + transmitida
Log(1 + i) = lo g V iF +
1
19. log za = log(eal s z ) = a logz ya 2 J A eos wt
que la exponencial y el logaritmo son
funciones inversas. (1 r 2 ) A eos (wt (3)
21. Sea z = eos w = (e + e~^w)2,
r \\ + A ~ 2 r 2 eos Ct
entonces e 2zw_ 2ze*w + 1 = 0
Entonces escriba cos(ie 3) = co:
tiene races e*w = z + (z2 1 )V 2
wt eos (3 + sen wt sen (3 y pngale
donde la raz cuadrada mapea
en la forma A * eos (wt y) eli
[ e {o}] 2 e n e - { o } .
giendo cot y =
23. Sea z = cot w = i{eiw + e~iw)
(ew e~ iw), entonces [( 2r 1 ) \ /l + r4 2r 2 eos a +
(1 r 2 ) eos 3]
2 iw z +
z i (1 r2 ) sen (3
25. Si z = cosh w :0W+ 4- en
d2E 1 d2E
tonces = z + (z li\l
. 2 . /2 donde
) / 3.
la raz cuadrada es bivaluada. dx2 - f ( c t + X) = S J S
dw
27. Si z = sen w, entonces 1 = eos w
~dz
(1 sen w) 1/2 dw C a p t u l o 2
dz
dw
29. Siz = tan w; entonces 1 = sec w
dz S E C C I O N 2.1
' 2 , dw
(1 + tan w ) .
dz 1 . x = a eos t, y = b sen
31. Seaz = cosh w, entonces 1 = 3. Por ejemplo,
dw , dw C t, o < < i
senh w = (cosh w 1 ) < z(f) = j 2 - t + i(t - 1 ), 1 < f < 2
dz dz
* (3 - t ) , 2 < f < 3
33. zk 2 mapea a [ 6 { o } ] 2 en 2 + er(+2 )
[ 6 | |] ^ t para k 1, 3 as que 5. z() = i , 1 < < 1
los espacios del contradominio son L2 + zr(t+ 1 ) ^ j ^ ^ 3
diferentes para z 1/ 2 y z 3^2 . Por tan 7. (1 0 / 2 ; (* l ) / 2 ; 1
to ( - 1)1/2 = ( - 1 )3/2. 9. iR2 i t ; - R 2 n ; 2 m R 2
RESPUESTAS A PROBLEMAS IMPARES 285
2?r z '( ) dt _ 2 tt
21. di
j0 V (*'(*))*
2 3 . 2 rn; 2 + ni
SECCION 2.3
1. 0
SECCIN 2.2
3. 2 ni{b a)
1. Haga z = et para obtener- t dt = 0. 5. 2ni cos 1
7. 2ni sen 1
9. 2ni sen 1
ParaO AL arg z < 27T obtenemos2 Ti
11. ni sen 1
13. Rompa la parametrizacin de 71 +
3. y dx + iy dy dxdy
BG 72 en dos partes.
15. Use la desigualdad del tringulo y la
= -A
propiedad (iy).
5. 0 ex dx + 17. Use I 1 + elt\= y / 2 ( l + cos i)
19. Aplique la estimacin de Cauchy a /
con M - (1 y minimice el
. ae it -Ia y ,
ai e e dt 1 e y dy, resultado para todo 0 Aj r Ai 1 .
Jo . Jo
donde e = e os t + 1 sen t, y con 21. Sea z = e*6 , 0 < 9 < 2'/T e iguale
sidere la parte imaginaria de las dos los trminos imaginarios.
ltimas integrales. 23. La fundn es analtica en cada disco
7. Senz = sen* cosh y + zcosxsenhy, D, y la analiticidad es una propie
donde* = at, y y = bt, 0 ^ i AL T dad local.
dz a dx
9. 0 =
7 1 + z* a 1 + X2 SECCION 2.4
dy
1. Muestre que es constante.
0 (1 + a2 - y 2 ) + 2iay 3. Aplique el principio del mximo a la
rb dy F[z) definida en el ejercicio 2. Enton
0 (1 + o2 - y 2) - 2iay ces IF I Aj 1 en Iz I = 1 . La igualdad
hace que F sea constante.
dx
5. Sea f(z) = z y sea G el disco unitario
-a (l + x >2 ) + 2ibx abierto.
Multiplique numerador y denomina 7. I/I=A 0 en la frontera de G, y si/ no
dor de la ltima integral por el com tiene ceros en G, los principios del
plejo conjugado y tome el lmite mximo y el mnimo implican que/
cuando a , es constante en G.
286 RESPUESTAS A PROBLEMAS IMPARES
q dz 47T|flc
que con- 9. 1 +
1 8 (Z t) 1 8
IzKR zP(z) I n I R
_ 1 \n r2n+1
2 - ---------------- . R = 2 [Z ~ 1 )
n =0 (2n + l ) ! ( 2n + 1 )
17. f { z ) = a0 e o s z + ai sen 2
(-ir
k=q (2k + 1 ) !
SECCION 3.3
1 q - 0 , para n > 1 , <j = [ ln / 2 l ] ,
1. - - l + 2 - 22 + 23 - . . . =
2 para n < 2 , en donde [tn] es el
entero ms grande < m.
2 (1 ) 2
n~ 0 21. 2 c n(2 1 ) , donde
n~ 0
- ( n+1) (_l)(n/2 ]
3. - 2 ( 1 - 2 ) Cti
n =0 (2 [n/2 ] + 1 ) !
1 - / 1 - 2 \" f W - U S ) d$
- 2 23. an ^
2 n =0 V 2 2m n+l
li-1=1 f
5. 2 2 - 2" - 1 J_ f* e(z s e n o - 0 ) ^ 0
n-1 27T J _ w
1/2
m2n
25. [z + 2 z y 7. I sen
n 0
(z + z - 1 )1 dz _ 7t2 ( z - 1)2 71* ( z - 1 )*
2 ni lzl= l
jn+1 8 2! 8 4!
2 m1 f7T No.
e m eos771 (6 ) dO. Por tanto
7T J - 7 T 9. Sea f = g27rI^/^ para cualesquiera
- ,m l enteros positivos p y q, y observe que
eos (m 2 ra)0 eosm 9 dd - / W ) 00 cuando -* 1 .
7T J ti
mN n. i ( - l ) n (n + 2 )! (z - l)n
n=0 ra!
f ( z ) = -%
SECCION 3.4 z3
13. Defina F (z ) = f f ( z ) en G + U 7 .
1. z = 0 , 00 son removibles, z = t
son polos simples. 1 7 ( 5 ) en G - .
3. z = 0 es una singularidad esencial,
Entonces F(z)es continua en G = G
z = o es un polo simple.
+ U 7 UG. En Gtenemos F (z ) =
5. z = 0 es una singularidad esencial,
u(z) y(z) en donde f = u + iv.
z = 00 es removible.
Entonces iFy = vy (z) + (z) =
7 , (z + 1 ) e 1Hz- 1>l(z* + z 3 ) es un
(z) ivx (z) = F x as que F es
ejemplo.
analtica en G - . Para cualquier z 0
n _1n dentro de 7 considere Iz - z 0 I
9 . C(z) = 2 < p interior a G. Divida los crculos
n=l 2n (2ra)!
en dos semicrculos y muestre por
Ti+l n continuidad que
11. L(z) = 2 ( - 1 ):
71=1 F(z)
dz = 0.
13. Sea k el orden del polo en 00 (k = 0 Iz-z 0l=p z - z 0
si oo es una singularidad removible),
y aplique el teorema de Liouville a 15. Si I zl = 1 entonces
71= 1 71
z / ( ? ) . Singularidades esen
ciales. OO 1 OO
1
15. z = 00 no es una singularidad esen 2 -4 < 1 + 2
71=1 71 * 7i = 2 ti(n 1)
cial, ni puede ser polo de orden k 3=
1 , ya que entonces / ( z ) = zk 1 + (4 - t ) + (3 - 3 ) + = 2
(z), con fk analtica en 311, / no se as que siempre converge. Sin em
omite el cero. bargo, derivando trmino a trmino
se tiene
OO Jtl 1
2 = _ i Log (1 - z)
n- 1
SECCIN 3.5 que diverge en z = 1 .
1. Considere L og(l z). R = 1/2
3. Use Iog(l z).
5 . z 1/2 = 1 + y(z - 1) - C a p t u l o 4
- ( - 1 ) (2n - 3 )! (z - l ) n
SECCIN 4.1
7i=2 2 2("- l ) (ti - 2 )! ti!
Iz - 1 1< 1. No. 1 . Res / (z) = i . R e s _ / ( z ) = -
2 2
RESPUESTAS A PROBLEMAS IMPARES 289
3. Res 0 f ( z ) = 1 z dz
(a2 - b2) z 4 + 2 (a 2 + b 2 ) z 2 + (a2 - b2 )
5. Res 0 f ( z ) =
2 4 i
a U2
sJl o 1zl=l
7. Res 0 f ( z ) = -
2 z dz
9. Reskm f( z ) = ( ~ l ) k km
11. Resk n f ( z ) = 1
13. - 2 7 r a- b ) \ a+ b
15. 0. (Use el teorema del interior y el exterior.) y la I<Ca +
17. 2iri [Res_j-/(z), = m n
dz
19. 0, ya que Res 0 f ( z ) = 0. 5. t
21. 7ri Iz 1=1 (az l)(z a)
23. 27T [ R e s ^ tan z + Res_ Jr/2 tanz]
= 4 tt
25. Quite todos los factores comunes de
P y Q. Entonces [(a ib )z 2 + (a + ib)\n dz
P Iz 1=1 n+1
(* - ) Qi y calcule el residuo en z = 0.
9. Use cos ib = cosh b y sent =
p \' i
t'senh b.
(z - r f \ Q j (z - r )\0+l
(
aP\ as que Resr
P \' =
SECCION 4.3
\QiJ \QJ
da f P \' aP 1. Haga a = 0 en el teorema de esta
lm - i (z- r) { ---- ) --------
z - r dza 1 \ Q j Qi seccin y evale el residuo de
y, por induccin z/(z 2 + 2z + 2)2 en 1 + i.
di a~ k r ( P \
(+l) x 2 dx
= lm 3- T
z -r dza~ R (. VQj (x2 + a )
( k - a ) ^( P \ik)
) ) = 0. 1 Re /27T Res
(z 2 + a 2 )2
5 . Re |27T Res (z 2 + 1)
7. Im <27T Res,
1 (z 2 + 2)2
ze
9. -2 Im j 2tt Res(l+)fe/V2 - 4 4
SECCION 4.2 z +0
+ Res (-i+i)b/s/2
1. i f2w z 4 + 4
4 Jo a +sen
z dz
' JI lzl=l (z2 - l )2 - 4 az2 SECCIN 4.4
y Iy/a yja + 1 1< 1
1. Use los residuos en x = 1/2
3 . 4 3. Residuos en x = 0 , 1/2, y escriba el
lzl=l numerador como \ sen 27tx
290 RESPUESTAS A PROBLEMAS IMPARES
SECCIN 4.5
1. Use el mtodo del ejemplo 1. Para
a = 0 resuleva directamente e in
C a p t u l o 5
terprete la respuesta como un lmite
cuando a -> 0.
3. Vea la respuesta del ejercicio 1. SECCIN 5.1
5. Resuelva directamente para a = 0,
1, 2. Interprete la respuesta para
i. e
3. z= 0
a = 1 como un lmite.
7. Use el mtodo del ejemplo 2. 5. Cuadmplica el ngulo a 2 tt ra-
dianes.
9. Use f(z ) = za\og z /( z2 + b 2 ) e n
7. Duplica el ngulo.
la Figura 4.6.
11. Use f(z) = eaz /senh z sobre un 9. Haga z = r (1 + e i e ) y eleve al
cuadrado
contomo rectangular j z : I x I < R,
0 < y ^ 2m } al que se le quitan n d ( . v) = x uy
semicrculos en 0 y 2m. Polo en 7Tt y aplique
b (x,y ) vx vy
con residuo i senh Ta.
13. se f(z) = e^/ c osh 7Tz sobre el las ecuaciones de Cauchy-Riemann.
contomo rectangular { z : I x I ^ a , 13. Mire el teorema de Liouville.
0 < y < l } . Polo en i 12 con residuo 15.Existe un valor 6 y un e > 0 tales
cos(a/2)/7T!. que Re ( e ^ f (z)) > 0 para todo z
15. Sustituya a u = x a y aplique el ejerci en Iz z 0 K e.
cio 14.
1). Sustituya x = b tan0 y haga 5 = 1.
Esta sustitucin cambia la segunda
integral en la del ejemplo 2 .
SECCIN 5.2
1. <0
SECCIN 4.6 3 . 1zw (1 + ) I 2 \ > \ 2 I 2 ,
Itu - (1 - t ) / 2 l > V 2/2
1. 0 5. 3. La sustitucin del Ejemplo 5 con
3. 0 duce a
5. (i) 5, (ii) f), (iii) 5, (iv) 6 16 (zw4 + 8tf 3 + 3w2 - 2 w + 1) = 0.
RESPUESTAS A PROBLEMAS IMPARES 291
+a (a R) SECCIN 5.5
b
+a - (a+ R ) 1. Im (/4z4/ 3 ) = A Im (z4/ 3 ) =
a constante. El origen es un punto de
lo cual implica que estancamiento.
3. lm (A z* ) = constante o x 3 y x y 3 =
z * = (R2 /(z )) + a.
constante. El origen es un punto de
estancamiento.
5 . V = w ' = 1 - 3 z 2 , as que \V\ = 1,
2, 4 en 0, 1 , i, respectivamente.
SECCIN 5.4 w' = 0 cuando z = (3 )1^2 .
7. V = 3 + 2iz, as que I V\ = 3 , V 3 ,
_ 2i 1 + u) 1 en 0, 1, i, respectivamente, w =
1 . w = log -------
7T 1 w 0 cuando z = Si/2.
9. y + Sx2 y y 3 = constante;
3. w y + 2 ( x 2 y 2 ) = constante;
1 +zJ 3y (x 2 y 2 ) = constante;
eos x senh y - constante.
5. Vea el Ejercicio 9 de la Seccin 5.1. 1 1 . e w = (z s f z 2 a2 )o as
Dentro de la cardioide. que arg [(z y /z2 a2 )a] = cons
7. La mapea en si misma invirtiendo la tante
orientacin
13. Las lneas de corriente son hiprbo
9. Primero recrrala hacia la izquierda las confocales
1 unidad y considere la raz cuadrada
con corte rama sobre el eje real posi
1,
tivo. Finalmente e o s 2 V a 2 sen 2
2 92 RESPUESTAS A PROBLEMAS IMPARES
v = constante. Para v = 0 , 7T ob dx
tenga el flujo en los bordes de la
abertura, pero este flujo no es reali- 0 \ 4 (i - * 2)
, _ . 1 dz i dt r(-) r(T)
zable fsicamente porque = ------ =
V dw 0 3/4 V i - f 2 r (3/4)
a senh w - a \lcosh 2 w 1 - 5. tu = (1 2:) \z z 2
a2 , as que I V I es infinito (sen- 1 (2z - l ) ) / 2 - tt/4
en z = 7. Use las identidades r(-g-) T(3/4) =
15. V - w = .4(1 - a /z ) as 7lV F y r ( - j )2 = 7T. Entonces tu =
que, para
z = ae'^ obtenemos I V (ae*) I = "2 (z - 1)3/4 dz
A(1
-2i6 \i _ 2A I sen 6 I. Pero 0
VT
2v42sen2 0 (x - 1 )3/4 dx
P P
lo cual implica que
- 3 /4 r ( f ) r ( 7 / 4 )
m = t ^ + y > [ l - 4 s e n 20 ] . ( - 1 )
T(9/4)
P P
2 p (c 1 2 ttV ^
Si A 2 > A y 6 = +7T/2,
3p 5r(T )2
hay cavitacin. 9. Haga s = (z - a)z y considere
el mapeo
\/-t a
dz.
V-zfc - 1 )
SECCION 5.6
1 dx 3. u = y - - Re (sen- 1 ez )
7r
0 \/x{\ x 2 )
1 1 + sen(7K/2)
1 d ( x) 5. u = Arg --------------------
7T 1 sen(7K/2)
1 %/(-*) (x2 - 1 ) 7. Sea z = cosh f y w = A (cosh f a).
Haga x 2 = t, use la integral del Ejem El primer mapeo genera una fa
plo 4 y T (x) T(1 x) = 7r/sen 7rx milia de elipses confocales y una
para obtener familia de hiprbolas confocales.
RESPUESTAS A PROBLEMAS IMPARES 293
1. V es real sobre los bordes del recipien Integre ambos lados del teorema del
te, la rapidez es igual a 1 , pero Valor Medio de la Seccin 6.1 obte-
en direcciones opuestas, y es constan 'R
te en las lneas de corriente libres. niendo w(f) = 2R (f)
2
rdr
Cuando V (0 ) es puramente imagi
nario obtenemos la hodgrafa 1 fR f27T
u( + re ) rdrdd
Ti
77/? JO JO
W ( + 1) 0 W(-1)
grad u = / ' , en donde / = u + y
con v cualquier armnica conjugada
de u.
W( o Use g(z) = (z 2 - z 02 )/(z 2 - z 02 ).
11.
iv = W2
w= z- 2
z + 2
p la n o z p la n o iv
RESPUESTAS A PROBLEMAS IMPARES 295
A /_,
SECCION 6.4
2 ( ni, . . n i _ i , k i ..........
1 . c0 = 7r, cn = i/n as que u(z) = */=o
/ - z"x kj)en^
7T+ 2 Re I 2 j =
\ n= 1 n / SECCIN 6.5
7T + 2 Re [ L og(l z)] = 1 . (tt/ 2)i/2 e_bll
77 + 2 Arg (1 2 ). 3. (?r/2)1/2 (1 - b I fl) e ~ b u '2b
5. e ,/4A/yTft
3 . u(re') = +
7. -(7T/2 )1'2 tanh (tt/2)
9. u(f) = (1 signof)/2 lfl1//2. Haga
t = s2 y compare con el ejercicio 15
2 2 r2+^ (2 n + 1)0
de la seccin 2 .2 .
n =0 2n + 1
5. Sea /(z ) entera y acotada por M. Por 1 1 . ! - <*> U(tp)V(tp) dtp =
la identidad de Parseval V27T
1
277 2 r 2 n \cn 2 = V(tp)'
71= 0 \/2n 7
f*277 1
I/(re*0 ) I2 dtp < 27TM2 , u(t) e *0 <f ) dtp =
0
V27T *
por tanto, I cn I M /rn -* 0 cuan
do r -* Entonces cn = 0 para t L | - . { F(0)
n > 0 y f ( z ) = 2 c z " = c 0 , una v 277 J-
constante. e (tx)4> d(j) j
277
e7ii*>/2 _ e -n 4 ,2 [e-(*-*)'#> + e-(r**) 0 ] d() =
27771 = e*0/2 _ e*0/2
0 1 1
+ ----- con Re s >
2
2 - /sen n0 / 2 \ 2 ri0 Ls z s +z
dtp =
Al 2 0 \ sen 0/2 / Re z, Re z
x y )sen h ^ y } dy
U'{<p)e-S(p d<> = U{4>) + 0 a
con condiciones en la frontera
U'(4>)\ lm e 50 ; lm {/(</>)
( 0 ,s ) = 0,
0 U ^ 0+ (p~*oo
lm u(x, s) = 0 .
25. Como las integrales son operadores
lineales obtenemos el resultado. Por tanto, c 1 = c 2 - 0 , as que
2 7 . (U *V )*W = ' U(x, t) =
C4>
U(t)V(() t)dt\ W{x <)) d(j) 1 1 T / ( y ) senh
a JO
d2u l du s
V {6 - t)W{x - <t>) d<t>) U(t) dt 27. + u - 0 tiene la
d x2 S dx S
RESPUESTAS A PROBLEMAS IMPARES 297
solucin
l + 4 y dy
u = Ci g(-M+\/MJ+4i6x)/26 +
C2 e ( - n - \ f j ^ + ^ s x ) 2 5 (13)5/2 _ 4 (13)3/2 - 11
A.
81
con las condiciones en la frontera 20
lm u(x, s) = 0 . 7. 148. 75
9. 0
Por tanto, cj = 0 , c2 = c/s y
-IJx/28
11. Por el teorema de Green
ce (- x s / Z )\/s + A /46
jcdy y<>c =
as que por el teorema de convolu-
cin y el primer teorema del corri -H L U - ( - l ) ) d j c d y =
miento
13. Por el teorema de Green
t - 3 / s e - ( M 2f + x 2/ ) / 4 6
-4 y 2d x = A y
Jy
in =-L xdxdy =
A P N D IC E A.3
1 J x 2 dy = A x
1. 2 \/2
NDICE
Con el nmero que se anota en cada trmino se indica la pgina en que ste se define.
299
3 00 NDICE
i
La impresin de esta obra se realiz
en los talleres de:
IMPRESORA MMC
Quinta cerrada de Barranca s/n MZ. 4 LT. 5
Col. El Manto Iztapalapa. Tel. 56 86 56 89
Marzo 2002