Documente Academic
Documente Profesional
Documente Cultură
CON APLICACIONES
William R. Derríck
Traductor:
Revisara Técnica:
S.AM CY
Grupo Editorial Iberoamérica
VARIABLE COMPLEJA C O N APLICACIONES
ISBN 968-7270-35-7
Printed in Colombia
Impreso en Colombia_
E d itor: Nicolás Grepe P.
P rodu ctor: Oswaldo Ortiz R .
C u bierta: Miguel Ángel Richaud
V
PRÓLOGO
estelas, así como ejemplos tradicionales del flujo de fluidos y del calor, y de la
electrostática. Las técnicas de las integrales sobre contornos proporcionan
amplias bases para el cálculo de los polos de Regge y de las transformadas de
Laplace inversas. El texto comprende un desarrollo de transformadas integra
les, tema que generalmente se estudia en el contexto de la variable real, pero
que adquiere un significado mucho mayor cuando se analiza en términos de
variable compleja. No se intenta abarcar todos estos temas; más bien, se inclu
ye el material para que los profesores programen o adapten un curso de acuer
do con su conveniencia particular.
O r g a n i z a c i ó n y e x t e n s ió n
Los propósitos de este libro son que sirva de texto para un curso introductorio
de un semestre de análisis de variable compleja a nivel básico. Se ha incluido
considerablemente más material del que puede exponerse sin dificultad en un
semestre; dando a los profesores, por esa razón, la oportunidad de seleccionar
los temas que juzguen más importantes.
Los Capítulos 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 teóricos 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
mónicas en la Sección 6 .1 ., que puede estudiarse en cualquier momento, des
pués que se haya tratado el material de la Sección 2.3.
El Capítulo 6 es una introducción 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 técnicas extremadamente eficaces o poderosas en las ciencias y la ingenie
ría. Esta introducción debe preparar a los estudiantes para cursos avanzados
de matemáticas aplicadas.
El plan para un curso semestral podría incluir:
N ive l
El texto ha sido elaborado para el estudiante “promedio” de ingeniería. Se ha
puesto especial cuidado en explicar cada concepto tan claramente como es
posible: Cada concepto está precedido por un ejemplo o un análisis que lo mo
tivan. Así mismo, cada Sección contiene varios ejemplos totalmente resueltos.
Las pruebas con mayor grado de dificultad se identifican con una cruz o daga
PRÓLOGO 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 impresión 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 sección se incluyen numerosos ejemplos resueltos, que van desde las
aplicaciones más 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
zación 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 número 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 inglés) que contiene las soluciones de los ejercicios
pares.
N o t a s de c a p ít u l o
Cada capítulo concluye con una breve indicación de otros resultados y fuentes
de material colateral y complementario. Los estudiantes interesados pueden
examinar estas guías para lograr una comprensión más 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 páginas subsiguientes se presenta una tabla de los símbolos utilizados en
el libro. Los apéndices al final contienen tablas de mapeos conformes, trans-
viii PRÓLOGO
R e c o n o c im ie n t o s
Deseo expresar mi agradecimiento a las siguientes personas por sus múltiples 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 O’Flynn (San José Státe 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 Sánchez (U. of New México), 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 Símbolos xiv
1 Funciones a n a lític a s 1
1.1 N úm eros com plejos y su álgebra 1
1.2 R epresentación 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 hiperbólicas 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 línea 61
2.2 El teorem a de Green y sus consecuencias 71
2.3 L a fórm 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 Evaluación de integrales reales definidas 138
4.3 Evaluación de integrales reales im propias 141
4 .4 Integrales con polos sobre el eje real 145
4 .5 In tegración 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 péndices
Bibliografía 277
Respuestas a problem as im pares 279
índice 299
Tabla de sím 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 CAPÍTULO 1 • FUNCIONES ANALÍTICAS
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 número 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 números reales tienen una deficiencia básica: no propor
cionan todas las soluciones posibles de las ecuaciones polinomiales. Por
ejemplo, la ecuación x 2 + 1 = 0 no puede resolverse usando números reales,
ya que el cuadrado de cualquier número real es no negativo. No obstante, po
demos corregir este defecto si definimos el conjunto de números 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.
SOLUCIÓN: 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 número 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 números complejos es la suma de
sus conjugados:
+ Z2 + ¿2-
De manera semejante se muestra (véanse 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 .
CAPÍTULO T • FUNCIONES ANALÍTICAS
Ej e r c ic io s
En los Ejercicios 1-12, encuentre la suma, diferencia, producto y cociente de cada par
de números 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 número 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, números reales negativos. Pruebe que
Z[ y z 2 deben ser reales.
*26. Pruebe el teorema binomial para números 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 inducción.)
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 números complejos incluso para encontrar las
raíces reales de
w3 — 19tu + 30 = 0
por el método de Tartaglia.
33. Pruebe que los números 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 números complejos pueden representarse como vectores en
el plano complejo. En esta sección utilizaremos el concepto de segmento de
recta dirigido para determinar las propiedades de la longitud y del ángulo
de inclinación 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 Pitágoras:
r = \ A 2 + y2 .
lzl = v /* 2 + y 2 .
Note que Iz I > Re z, Iz I > Im z y Iz I= \z\. Además, recuerde que en la
Sección 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
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
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 expresión, sin embargo, no será válida en el segundo o tercer cuadrante,
ya que los valores de arctangente caen en el intervalo (—7r/2, 7t/2). Además, el
ángulo de inclinación del vector está determinado hasta un múltiplo de 2n, ya
que los ángulos
6 + 2nk, k = 0, ±1, ± 2 , . .
Im z
con el argumento, es conveniente acordar que la notación argz ignore los múl
tiplos de 27T, además de utilizar la expresión
E je m p lo 1
Encuentre la representación 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 ingeniería usan a menudo las notaciones r | y r cis 6 para la representación polar de z.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
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 múl
tiplo de 27T la ecuación (3) se interpreta diciendo que, si se asignan valores par-
Im z
ticulares a dos términos cualesquiera, existe un valor del tercer término para el
cual se cumple la igualdad. La construcción geométrica del producto zw se
muestra en la Figura 1.9. Para la multiplicación, el ángulo entre w y zw debe
ser idéntico al ángulo entre 1 y z en la Figura 1.9. De ello, los triángulos de 0 1 z
y 0 w zw son semejantes.
La división dé números complejos conduce a la ecuación siguiente:
2 Iz I
— - -j— - [cos(0 — 0) + ¿sen(0 — 0 )].
w Iw I
Como Iw I = Iw I, obtenemos, por las fórmulas de suma de ángulos de la
trigonometría,
z zw \z l(cos 0 + i sen0) Iüj 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 ecuación (5) sujeta a una interpretación similar a la de la ecuación (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 sén( 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 atención a lós n ángulos polares
6 = — (Arg w + 2irk), k = 0, 1, . . n — 1.
n
Ej e m p l o 3
Encuentre las tres raíces cúbicas 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.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
¿Cuál es la ecuación de la elipse que pasa a través 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 parábola 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 ecuación de la parábola 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 • REPRESENTACIÓN POLAR 17
Ej e m p l o 6
Una hipérbola 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. ¿Cuál es la ecuación de la hipérbola 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
ecuación, 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 representación po
lar de los números 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 CAPÍTULO 1 • FUNCIONES ANALÍTICAS
En los Ejercicios 10-15, use el teorema de De Moivre para expresar cada número 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 señaladas 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 ecuación de la elipse con focos ±z que pasa por el punto 1 + i. En
geom etría an alítica, ¿cuál es la fórm ula correspondiente?
25. Exprese la ecuación de la elipse con focos 1 e i que pasa por el origen. ¿Cuál es la
fórm ula correspondiente en geom etría analítica?
26. Encuentre la p aráb 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 ecuación general de una hipérbola 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 vértices de un triángulo equilátero.
{Sugerencia: Muestre que Izj — z 2 I2 = lz2 — z 3 I2 = lz3 — z x I2 .)
*30. Com pruebe que el triángulo con vértices Z ¡ , Z 2 , Z3 es equilátero si y sólo 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 triángulo es una igualdad para los números z ¡ y
z 2 con valor diferente de cero si y sólo si arg z i = arg z 2 .
37. Muestre que si z 0 es una raíz del polinomio P(z) con coeficientes reales, entonces
z 0 es también una raíz de -P(z).
38. Desarrolle Izj + Z 2 l2 para probar la desigualdad del triángulo.
{Sugerencia: z , z 2 ^ |Z]Z2 1= Iz 3 IIz 2 I.)
39. Las n raíces de la ecuación zn = 1 se llaman raíces n-ésimas de la unidad.
Muestre que estas raíces están 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 número 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 (véase Figura 1.12). Gráficamente, 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
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
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 número re
al positivo R tal que todo z en S satisfaga Iz I < R . Si esta condición 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 unión de
dos conjuntos A y B ajenos y no vacíos tales que ninguno de ellos contenga un
punto frontera del otro. Intuitivamente, lo que se señala 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 (véase 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
confusión cuando se describa el dominio de definición de una función compleja.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
Te o r e m a
Cualesquiera dos puntos de una región pueden unirse por medio de un
polígono contenido en la región.
Más aún, es posible pedir que todas las líneas del polígono sean paralelas
a los ejes coordenados. La prueba con este requisito adicional será idéntica, ya
que siempre podemos unir el centro de un disco abierto a uno de sus puntos
por, a lo más, dos segmentos de recta paralelos a los ejes. (Véase Figura 1.16.)
Una región es simplemente conexa si su complemento es conexo. Esto
significa que esta región 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 números
complejos con la inclusión de un punto al infinito denotado con el símbolo
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 geométrico 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 través de z
e intersecta la esfera. Así, N corresponde a °° (véase 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 proyección estereográfica. Todas las líneas rectas en Q
corresponden a círculos que pasan a través de °° en 311* Probaremos esta afir
mación en el Capítulo 5.
Ej e r c ic io s
En los Ejercicios 1-10,clasifique los conjuntos de acuerdo a los términos 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 CAPÍTULO 1 • FUNCIONES ANALÍTICAS
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. ¿Cuáles son las fronteras de los conjuntos señalados en los Ejercicios 1-10?
En los Ejercicios 12-15, pruebe las propiedades indicadas de los conjuntos abiertos y
cerrados.
12. La intersección de un número finito deconjuntosabiertos es abierta.
13. La unión de un número finito de conjuntoscerradoses cerrada.
14. La intersección dé cualquier colección de conjuntos cerrados es cerrada.
15. La unión de cualquier colección de conjuntos abiertos es abierta.
16. Pruebe que, si cualesquiera dos puntos de un conjunto abierto pueden unirse
mediante un polígono contenido en el conjunto, entonces éste es una región.
17. La cerradura de un conjunto S es la intersección 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 sólo si contiene todos sus puntos de acumulación.
19. ¿Cuál es el punto de acumulación del conjunto que consiste en todos los puntos
z = 1/n., siendo n un entero positivo? (Este ejercicio muestra que un punto de
acumulación 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 acumulación de S.
21. ¿Cuál es el punto de acumulación del conjunto de todos los puntos :z = —m,
siendo n un entero positivo, en el plano extendido 371? ¿Este conjunto tiene un
punto de acumulación en (3?
22. Muestre que cualquier punto de una región es un punto de acumulación de
dicha región.
Una función compleja de una variable compleja es una regla que asigna un n ú
mero complejo w a cada número complejo z de un conjunto S. Si escribimos
w —f(z ), w es el valor de la función en el punto z que está en el dominio de de
finición S. Al escribir w = f(z ) en términos 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 función 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 función w = 2>z .
* A las funciones uno a uno se les llama frecuentemente inyecciones y a las funciones sobre se les denomina
suryecciones. Una función que es tanto inyección como suryección se llama biyección.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
Ej e m p l o 3
Describa el conjunto imagen de la función 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 función
z - 1
w = -------
2 - 2
D e f in ic ió n
Se dice que la función/(z) tiene límite A cuando z tiende hacia a ,
lím / ( z ) = A,
z^a
si para todo e > 0 existe un número 8 > 0 tal que
If ( z ) - A \ < e
siempre que 0 < Iz — a I< 8. Además, la función/(z) es continua en a si y
sólo si
lím / ( z ) = / (a)
z -a-a
(véase Figura 1.20). Una función continua es aquella que es continua en todos
los puntos donde está definida.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
Ej e m p l o 5
1
Pruebe que lím 2.
3 Z —2
SOLUCIÓN: Con la expresión l / ( z ) — A I, simplificada, obtenemos
3 —z
2
z -2 z -2
z - 1
- 2 < e.
REGLAS DE LÍMITES
Sean lím f ( z ) - A y lím g{z) = B.
z -* a
Entonces
(i) lím [f(z) ±g(z)] = A ± B ,
z-+a \:
(ii) lím f { z ) g ( z ) = A B ,
z-*a
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 límites pueden usarse para probar que toda función poli-
nomial en z
f { z ) = a nzn + an_ xz n —1
30 CAPÍTULO 1 ■• FUNCIONES ANALÍTICAS
m =?
es claramente continua en cualquier punto si 8 = e . Al aplicar la segunda
regla de los límites repetidamente, vemos que f ( z ) = z n es continua para todo
entero positivo n . Toda función 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 límites, ve
mos que f ( z ) = an zn es continua. Finalmente, cuando usamos la primera regla
de los límites repetidamente, vemos que todos los polinomios son continuos.
Ciertamente, con la tercera regla de límites 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 función
í z2 - 1
m =■ ----------, zi = i
z - 1
3, z = 1
es continua.
Ej e r c ic io s
Use la definición e - 8 de límite p ara verificar los Ejercicios 1-10.
1. lím 2 z = 2 2 . lím iz = — 1
Z-+1 z~*i
1.4 • FUNCIONES CONTINUAS DE UNA VARIABLE 31
3. lím z + i = 0 4. lím z2 + 1 = 0
z—* —i z-+i
5. lím 2z — 3 = —1 + 2i 6. lím z 2 = 2i
z-> 1+i Z-* 1+i
z2 — 4 z2 + 1
7. lím --------- = 4 8. lím r = —2i
z-* 2 z — 2 z->—í z +z
z3 — 1 z 2 — 3z + 2
9. lím =3 10. lím ------------------ = 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 función 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 función
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 función 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 función 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 función 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 raíces 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 función compleja de una variable compleja se define,
exactamente, de la misma manera que el caso real del cálculo elemental.
/y g f'-fg ,n
a------ ’ ■§r ^ ° >
^ / r
(/U(-Z) ) ) ' = / V ( - Z))sr'(-Z)> Regla de la cadena.
Las pruebas son idénticas a las de cualquier libro de texto de cálculo ele
mental. Por ejemplo,
{ m .}= 1Im n a * h ) g ( a + h ) - f ( a ) e (a)
h~* o h
= lím f ( a + h)g (a + /t) - / ( a + ft)g(q) + / ( a + ft)g(a) - f(a)g(a)
h-+ o h
= lím / ( 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 cálculo 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 CAPÍTULO -1 • FUNCIONES ANALÍTICAS
^X Wx f x ify Vy lU y ,
^X ~~ Vy , Vx ~ Uy .
TEOREMA:
Si la función / (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 función 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
señaladas 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 definición de derivada para determinar
dónde 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 función entera de una función
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 términos 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 función
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 línea y = x. A s í , / n o tiene
derivada en z — 0; pero si se desarrolla la expresión 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 región 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
X—x0 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
Por tanto, el último término tiende a cero cuando z tiende a z Q así que al to
mar el límite, tenemos
Ej e m p l o 1
Muestre que la función
Ej e m p l o 2
Describa la región de analiticidad de la función
(x - 1) — «y
(x — l ) 2 + y 2
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
En el caso de variable real del cálculo elemental, sabemos que cuando la deri
vada de una función es Cero en algún intervalo, la función 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/ analítica en una región G y f ' (z) = Oen todo z de G. Entonces/ es
constante en G. Se tiene la misma conclusión 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
polígono (véase el teorema y las observaciones después de su prueba en la Sec
ción 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, también 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 analíticas.
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 función
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 analíticas, 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 función analítica f definida en la región 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 función entera cuya derivada sea la
función f ( z) = x
40 CAPÍTULO 1 • FUNCIONES ANALÍTICAS
1 .7 Ex p o n e n c ia l c o m p l e j a
Hemos visto en la Sección 1.4 que los polinomios y las funciones racionales en
una variable real producen funciones analíticas cuando la variable real se
reemplaza por z. Esto de ninguna manera es un ejemplo aislado. De hecho, to
das las funciones elementales del cálculo, tales como exponenciales, logaritmos
y funciones trigonométricas, dan lugar a funciones analíticas 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 función
/( z ) = e? que sea analítica y que coincida con la función exponencial real
cuando z sea real. Recordando que la exponencial real se determina por la
ecuación diferencial
DEFINICIÓN
La exponencial compleja dada por
é2 = ex (eos y + i seny)
es una función entera con valor diferente de cero que satisface la ecuación dife
rencial
/'(*)= /(*). /(O ) = 1.
Que é2 0 se sigue de que ni ex ni eos y + i sen y se anulan. Además,
observe que como z = x + iy , la notación 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 círculo Iw I = 1, las rectas verticales a la izquierda del eje imaginario
se mapean en círculos de radio r < 1, las rectas verticales a la derecha del eje
imaginario sobre círculos 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 idénticos. Por tan
to, cada franja infinita —ir < y — 2nk < ir, k = 0, ±1, ±2, . . ., también se
mapea en <3 — {0 } , y el mapeo e2 : <3 -*■ <3 — {0 } manda un número infinito de
puntos de <3 al mismo punto en <3 — {o } . Este es un resultado indeseable, en
vista de que no permite la discusión de una función inversa, excepto sobre cada
una de las franjas infinitas descritas anteriormente. La función 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 número 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 (véase Figura 1.22).
El conjunto <R difiere de <3 — {0 j en que cada punto de <R queda determina
do unívocamente 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 función 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 Sección 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 núm 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. e7ír¿/2.
En los Ejercicios 8 -1 0 , encuentre todos los núm 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 núm 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 hiperbólicas
COMPLEJAS
La exponencial compleja puede utilizarse para definir las funciones trigono
métricas 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
g«i + 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 núm ero en la form a x + iy.
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
el°gz = para todo z en <R.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
TEOREMA
La función log z ~ log !z I+ i aig z es analítica 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 múltiplo 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 función z a : (R -*■ (R es analítica y uno a uno porque es la composición 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 l¡n = 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 función
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 ecuación por 2ietw, tenemos
eliw - 2 izéw - 1 = 0.
Cuando utilizamos la fórmula cuadrática en la solución de e iW, obtenemos
e iw =¿z + (l - z 2 )±,
donde la raíz 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. Confírme 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 perturbación que
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
a 2e a
= — [cf'(ct — x )] = c 2f ' ( c t — x).
a t2 aí
La observación de efectos de interferencia, que ocurren cuando dos rayos de
luz de una fuente común llegan al mismo punto a través de diferentes caminos,
sugiere que la perturbación ó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
gráficamente, cuando usamos la ley del paralelogramo de la suma vectorial
(véase Figura 1.25).
En un telescopio, las imágenes 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á más al res
pecto en el Capítulo 3. Pero
eiuf e ígj t l_ rV 'a
1 —r2 e~ 101 1 — r2 e~*a 1 — r2 e *a
_ e itút{\ — 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
(\ —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 (véase Ejercicio 2). Como co = 2irc/X donde la longi
tud de onda X es la distancia entre máximos sucesivos de la onda, obtenemos
a = 2 tt( £ 2 - Ex)
X
Si a es un múltiplo entero de 2ir, la amplitud de la perturbación ó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 líneas brillantes delga
das sobre un fondo oscuro. Este efecto de halo se llama franja de interferencia.
Si r es cercano a cero (reflectancia pequeña), el cambio de amplitud será pe
queño y las franjas de interferencia serán amplias y difusas.
CAPÍTULO 1 • FUNCIONES ANALÍTICAS
Ej e r c ic io s
1. Pruebe que la perturbación óptica reflejada en la Figura 1.26, también 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 ección 1.1
Las fórmulas que relacionan z a Z en la proyección estereográfica son fáciles de
calcular: [A, págs. 18-20] o [H, págs. 38-44].
Se c c ió n 1.5
Otros sinónimos de analítica son holomorfa, monogénica y regular.
Se c c ió n 1.6
Se conocen condiciones suficientes para la analiticidad mucho más débiles. El
mejor resultado en este sentido parece estar en [S, págs. 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 número contable
de puntos en G y satisfacen las ecuaciones de Cauchy-Riemann casi en cual
quier parte de G, entonces f = u + iv es analítica en G. Otros ejemplos, que
muestran que las ecuaciones de Cauchy-Riemann solas son insuficientes para
la analiticidad, pueden encontrarse en [T, págs 67, 70].
2 .1 In te g ra le s de línea
Las propiedades de las funciones analíticas estudiadas en el capítulo anterior,
son resultantes de la derivabilidad de la función. En cálculo real, el teorema
fundamental revela una conexión 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 función 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
CAPÍTULO 2 • INTEGRACIÓN 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 función
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 Jordán 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 línea 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 definición, 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 parámetros
sea derivable por partes, como puede comprobarse fácilmente al utilizar
la fórmula del cambio de variable del cálculo integral.
Se obtiene un valor diferente si se integra sobre el segmento de línea
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 cálculo a cada una de estas integrales
reales, se obtiene
= F (z (P ))-F (z (a )).
Además, se puede extender fácilmente 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 LÍNEA 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
SOLUCIÓN: Aparentemente este resultado se contrapone al teorema
fundamental, ya que Iz I — 1 es una curva de Jordán. Sin embargo, las
antiderivadas de la función continua /( z ) = 1 /z son logaritmos y
analíticas 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 ilustrarán dos
CAPÍTULO 2 • INTEGRACIÓN COMPLF.IA
métodos para obtener esta integral. Primero nótese que, a menos que se
establezca lo contrario, se supone que las integraciones sobre las curvas de
Jordán 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 evaluación de esta integral,
elegimos cualquier rama de la superficie de Riemann <R de la función
analítica
F (z ) = log z = log Iz I+ i arg z.
Por ejemplo, empezando en - i en la rama principal se obtiene
dz , 3Tl͡1
= 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 sólo 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 z’senh(l),
—J
2.1 • INTEGRALES DE LÍNEA 69
eos z dz = 0 .
Ej e r c ic io s
1. Muestre que la parametrización 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. Triángulo 4. Cuadrado
Im Z
Im z
Re z
x dz, \y dz, z dz
dz
= ±27T,
V I - z2
Nótese que la función 1/z no es analítica en el origen. ¿Podría ser que la in
tegral de línea de una función a lo largo de una curva de Jordán spp se anulara
cuando la función sea analítica sobre y en el interior de la curva? Sorprenden
temente, esto es correcto.
Será fácil probar que la integral de línea a lo largo de una curva de Jo r
dán spp es cero, siempre y cuando se suponga que la derivada de la función
analítica en el integrando es continua en el interior de la curva de Jordán spp.
Este es un requisito razonable, pues la derivada de toda función analítica que
se ha encontrado es analítica. La prueba se basa en el resultado siguiente, y se
encuentra én la mayoría de los libros de texto de cálculo elemental, así como
en el Apéndice A . 3.
T EOREMA DE GREEN
Sea G la región interior de una curva de Jordán 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 función analítica sobre y en el interior de la curva de Jordán
y spp. Entonces
f{z)dz = 0 .
aa¡gBgB»8Mi¡iiajii«8sm8aiBg«gaai^^
Ej e m p l o 1
Evalúe 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
e—x » —eo
dx e x (eos 2 6 x — i s e n 2 6 x ) dx
74 CAPÍTULO 2 • INTEGRACIÓN 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) serán convergentes cuando a 00. Si
a -+ °°, el último término 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? Explíquelo.
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 Jordán en el primer cuadrante, compuesta
del cuarto de círculo 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 CAPÍTULO'2 • INTEGRACIÓN 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), obsérvese 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
SOLUCIÓN: De la parte (iv), se tiene
/A
e z dz lez I \dz I
lzl =l J \z I = 1
2.3 • LA FÓRMULA INTEGRAL DE CAUCHY 79
Como Ie z I = e x < e para todos los puntos z = x +iy sobre el círculo 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 sólo en z = 1 .
TEOREMA
Sea 7 0 una curva de Jordán spp tal que su interior contiene las curvas de
Jordán spp disjuntas, y ¡ , . . ., yn , ninguna de las cuales está contenida
en el interior de la otra. Suponga que f(z) es analítica en una región 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 contribución 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 FÓRMULA INTEGRAL DE CAUCHY
Sea f(z) una función analítica en una región simplemente conexa que
contenga la curva de Jordán 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 FÓRMULA INTEGRAL DE CAUCHY 81
Pero
/(* ) dz / ( * ) ~ / ( f ) dz.
* = /( ? ) +
lz -fl= r ^ ? lz -fl= r Z - f Iz—f l=r * -r
/(■*)
Idz I < 27TC .
-f I=r z - f I z—f 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 analítica 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 ecuación se usa la fórmula 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 más corta entre J y 7 , M el valor máximo de If( z ) I
sobre 7 , y L la longitud de 7 . Al suponer que Ih I < d/2, entonces
válido para todos los puntos f del interior de una curva de Jordán 7 spp conte
nida en una región G simplemente conexa, en la cu al/(z) es analítica. Obsér
vese que esta fórmula implica que /(z ) tiene derivadas de todos los órdenes en
G. Por ende, la derivada de una función analítica es también analítica. Con
base en este hecho, se obtiene un inverso del teorema de Cauchy que frecuente
mente es útil para establecer la analiticidad de una función.
2.3 • LA FÓRMULA INTEGRAL DE CAUCHY 83
Te o r e m a de M o r e r a
Si f( z ) es continua es una región 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 integración puede tomarse sobre la recta desde z hasta z + h. Como
m z+ h
d$,
h
por sustracción se obtiene
F'(z + h ) - F ( z ) 1 [z+ h
------------- ¡-------f{z)
h Jz
1 'z+h
i /( n - m \ u n < e .
Por tanto F '(z ) = f ( z ) , así que F es analítica en G. Pero entonces F tiene deri
vada analítica, lo que implica que / también es analítica en G.
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 CAPÍTULO 2 • INTEGRACIÓN 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, evalúe la integral
dz
Jy (z - a)(z - b)
mediante la descomposición del integrando en fracciones parciales.
1. Si a y b están 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. Evalúe 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. Evalúe las integrales de los Ejercicios 8-11.
2él
eos z
^ dz 9. dz
y z2 7 (Z - l)2
2.3 • LA FÓRMULA 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. Evalúe /|z|=i Iz + 1 I Idz I.
18. Si f(z) es analítica 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 analítica en Iz I < 1 y l/(z) 1 ^ ( 1 — Iz l)—1 , muestre que
l / (">( 0 ) l < ( n + 1 )! (\ + - J
20. Una función analítica/(z) ¿puede satisfacer 1/1”) (z)l > n ln n , para todos los
enteros n positivos, en algún punto z?
21. Calcule
f e kzU
dz,
J Iz 1= 1 Z
23. Pruebe la siguiente extensión del teorema de Morera: Sea f(z) continua en una
región G (con la posibilidad de ser múltiplemente 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á analítica en G.
24. Sea P{z) un polinomio, ninguna de cuyas raíces se encuentra sobre la curva de
Jordán 7 spp. Muestre que
1 '
P\z)_ dz
2ni \ 7 P(z)
es igual al número de raíces 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) analítica en \z — f \<CR. Entonces
2 'jt
/ ( f + re ) dd, 0 < r< R .
■■■■ 2ir .
m dz,
27TÍ \z—S 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 ESTIMACIÓN DE CAUCHY
Sea f(z) analítica 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 función 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 estimación 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 más útiles de la teoría de las
funciones analíticas.
P r in c ip io del m á x i m o
Si f(z) es analítica y no es constante en una región G, entonces If(z ) I no
tiene máximo en G.
esto es, el valór en el centro del círculo es igual al promedio integral de sus va
lores sobre el círculo. Por suposición If ( z 0 + r e 11) I < I f ( z 0 ) I, y, si se cumple
la desigualdad estricta para algún valor de t, debe cumplirse, por la conti
nuidad de If( z ) I, en un arco del círculo. 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) analítica en uña región acotada G y continua en G. Entonces
If ( z ) I alcanza su máximo sobre la frontera de G.
= ; ; :
P r in c ip io del m í n i m o
S ea/(z) analítica en una región acotada G, y continua y no nula en G.
Entonces \f(z) I alcanza su mínimo 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 raíz.
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
pótesis de que n > 0. Así que P(z) tiene cuando menos una raíz.
Para demostrar que P(z) tiene realmente n raíces (incluyendo raíces múl
tiples), observamos que, por el teorema fundamental del álgebra, tiene por lo
menos una raíz, 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 función entera, que satisface I/(z) l< Iz ln para algún n y todos
los Iz I suficientemente grandes, debe ser un polinomio. [Sugerencia: Aplique las
desigualdades del Ejercicio 18, Sección 2.3, ya sea a / ( n+11(z) o a / ( n)(z).]
2. Sea f{z) analítica 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 dársele a F(0) para que F(z) sea
analítica 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 función resultante, analítica
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 máximo,
pruebe el lema de Schwarz: Sea f(z) analítica 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 sólo si/(z) = e tBz para algún 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 condición de función no nula es necesaria
para la validez del principio del mínimo.
6 . Sea f{z) analítica y no constante en Iz I < R . Denote por M(r) el máximo 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 analítica y no constante en la región 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 círculos: Sifiz) es analítica en una región que con
tiene el anillo 0 < r ! ^ l z l ^ r 2 y satisface las desigualdades I/( z ) I^ M l en
90 ■ CAPÍTULO 2 • INTEGRACIÓN 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 función analítica en una región que contenga al rectángulo
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 ...
CAPÍTULO 2 • INTEGRACIÓN 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 Sección 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 analítica cn el disco Iz I < r, entonces hay una función
analítica 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, según el teorema de la deriva
da cero de la Sección 1.6.
La prueba del teorema anterior puede extenderse a cualquier región
simplemente conexa.
Te o r e m a de la a n t id e r iv a d a
Sea/(z) analítica en una región G simplemente conexa. Entonces hay una
función analítica 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 función f ( z ) = 1 ¡z, analítica en <2 — {o } , tiene a F(z) = log z como
antiderivada. Si se recorre la mitad superior del círculo unitario, con 1 al
principio sobre la rama principal, se obtiene
F { e W ) = {~ ,
2
mientras que, si se recorre la mitad inferior del círculo 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 ) analítica en una región G simplemente conexa. Entonces, para
cüalquier arco 7 spp: z - z (í), a < t < j3 ,
\
¡ / ( z ) d z - /-'(z (¿ ¡)) F (z ( o í ) ) ,
■ j7 ■■
TEOREMA DE CAUCHY
Si J(z) es analítica y 7 es una curva spp cerrada, en la región 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 fórmula integral de Cauchy.
TEOREMA DE RlEMANN
i>ea g(£) continua en el arco 7 , spp. Entonces la función
F n (z) ■■m m
n = 1, 2, 3, . . .,
Jr (i-* )""-.
será analítica 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 cálculo ordinario establece que las funciones reales
continuas alcanzan un máximo 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 triángulo,
2 " AfA
0 < lím \Fn ( z ) - F n (z0 ) \ ^ lím 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) analítica en una región simplemente conexa que contiene la cur
va de Jordán 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*
CAPÍTULO 2 • INTEGRACIÓN 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 ecuación ante
rior se reduce a la fórmula integral de Cauchy cuando n = 0. I
C o r o l a r io
Si f{z) es analítica en una región G, entonces también lo será su derivada
f' (z). Más aún, 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) están dados por
n adj 8a =
V / 2 eos 2¿n8 (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
3. Sea/(z) continua en la región Re z > <7y suponga que lím f(z) = 0. Enton
ces, para todo número negativo t, pruebe que z^"x
lím
donde = { l z l = 7 ? } H {R
*4. Seaf(z) analítica en el conjunto R *, obtenido al omitir un número finito de pun
tos interioresz x, z 2 , . . zn del rectángulo R. Pruebe que
f(z) dz = 0 ,
3R
dado que
lím ( * - * * ) / ( * ) = 0 ,
z^ zk
para todo k = 1 , 2 , . . . , n.
*5. Seaf(z) analítica 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
lím (z - zk )f(z) = 0, k = 1, 2, . . n.
z^ zk
* 6 . Muestre que la aseveración del Ejercicio 5 permanece cierta cuando D se obtiene
al omitir un número infinito de puntos z lt z 2 , . . que no tienen puntos de
acumulación en Iz — z 0 I< r.
NOTAS
S e c c ió n 2.1
Una prueba del teorema de la curva de Jordán se encuentra en [W, pág. 30].
S e c c ió n 2 .4
Las generalizaciones del lema de Schwarz se pueden encontrar en [A, pág.
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 más débiles. [V, pág. 76] prueba que es válido para f(z) analítica en el
interior de 37? y continua en R. La verificación, en el teorema de la antideri
vada, de que y — y' consiste en las fronteras de un número finito de rectán
gulos puede encontrarse en [A, págs. 141-143] o [L, págs. 128-131]. Una
100 CAPÍTULO 2 • INTEGRACION COMPLEJA
prueba del teorema de Cauchy, que evita la topología, ha sido dada reciente
mente por J. D. Dixon. Puede encontrarse en Í[L, págs. 148-150] o en el ar
tículo original en Proc. Amer. Math. Soc. 29 (1971): 625-626. Más generaliza
ciones del teorema de Cauchy pueden encontrarse en [A, pág. 144] y [Ho,
págs. 3, 26]. El teorema de Riemann se cumple siempre y cuando f y I g (f) I •
I < °°. La prueba, al utilizar esta hipótesis más débil, es esencialmente la
misma. Una prueba de la analiticidad de la derivada, independiente de la in
tegración, se da en [W, pág. 77].
Q»C
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 números 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 términos formen una serie convergente se le dice
absolutamente convergente.
Como an + 1 = S„+i — Sn , si la serie es convergente, se tiene que
lím an + 1 = lím (Sn+\ — Sn ) = A — A = 0.
n ~+00
Así, el término general de una serie convergente tiende a cero. Esta condición
es necesaria, pero no suficiente, como se muestra en el siguiente ejemplo.
Ej e m p l o 1
La serie
1^ + 42- + 42- + J—i-J—i-J-
3 3
+ J—i-J—uJ—l í - l
3 + 4 + 4 + 4 + 4 + ...
101
1 02 CAPÍTULO 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 geométrica
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 función analítica 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) analítica en la región G, que contiene al punto z0. Entonces, la
representación
f ( Z) = / ( ? o ) + — ^ {z~-z0 ) + .V. + (z - Z0 ) ” + . . .
1! ni ■
es válida 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 geométrica 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 CAPÍTULO 3 • SERIES INFINITAS
TEOREMA
Sif(z) es analítica en una región 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 función analítica 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 analítica 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 CAPÍTULO 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 función log z se define en la superficie de
Riemann R, descrita en la Sección 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 analíticas 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 fórmulas son válidas en Iz — 1 I< 1, ya que f^n^(z) no es analítica en
z = 0 , para n = 0 , 1 , 2 , . . .
Ej e m p l o 6
Muestre que no existe una función analítica en Iz I< 2 que satisfaga la
condición
/(-)= ^ » 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 máximo disco donde sea válida esta representación.
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 función analítica 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 número infinito de puntos
de una región G y, no obstante, sean diferentes.
26. Muestre que sif e s una función analítica no constante en G, el conjunto de pun
tos que satisfacen/(z) = Ct, a en 6 , no tiene un punto de acumulación 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 sección se probará el inverso del teorema de Taylor, a saber que las se
ries de potencias convergentes son de hecho funciones analíticas 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 número 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 sólo se necesita mostrar la existencia de una función 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 analíticas
es analítica y puede derivarse o integrarse término por término.
PRUEBA: Sea /(z ) = 2 7 f n (¿) con cada f n (z) analítica en la región G. Dado
e > 0, existirá un número positivo K tal que
3.2 • CONVERGENCIA UNIFORME DE SERIES 109
^ 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 triángulo,
+ 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 = lím
rn+ 1
dado que el límite existe. Desafortunadamente, para series como
2 + x + 2 x 2 + x 3 + . . . + 2 x 2k + x 2k+l + . . .,
la razón de los coeficientes Irn/rn+i I es, alternada, i y 2 , así que no existe el
límite. Ahora se dará una fórmula 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.
FÓRMULA 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 analítica en Iz I< R , y su derivada, obtenida al
derivar término por término, tiene el mismo radio de convergencia.
PRUEBA: (i) Sea Iz I < r < R. Entonces, r 1 > R 1 , así que la definición de
lím sup implica la existencia de un entero N tal que Ian I< r~n para todo n ¡D5 N.
Entonces
N
2 \zin < 2
n -N n -N
i -
por la serie geométrica (Ejemplo 2, Sección 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 triángulo,
N
2 2 <
n=k n=N
1 - le
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. Aún más, representa alguna
función analítica en Iz I< 1. Nada se ha dicho de Iz I= 1; sin embargo,
obsérvese que la serie diverge en todos los puntos de Iz I = 1 , ya que su
término general no tiende a cero. Con el Ejemplo 2, de la Sección 3.1, se
encuentra que
— — = 1 - z 2 + z 4 - z 6 + . . ., Izkl.
1 + z2
Nótese que la serie es analítica sólo en Iz I < 1, mientras que la fun
ción (1 + z 2 )- 1 es analítica en todo G excepto en z = ±i. Se puede in
tegrar la serie término por término en cualquier trayectoria dentro del
círculo unitario para obtener
dz z3 zs z7
— + --------------+ ______ izki.
o 1 + z2 3 5 7
En particular, la función
dz z^ z^
fl ?) = ~ = i - — o< izki,
z o l+z2 3 5
/(O) = 1
es analítica 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 solución analítica de la ecuación 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 solución analítica 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.
CAPÍTULO 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 más general (con dos constantes arbitrarias) que
satisfaga la ecuación diferencial / (z) + / (z) = 0. Exprese la suma en términos
de funciones elementales.
18. Encuentre una serie de Maclaurin que resuelva la ecuación diferencial f ' (z ) —
1 + z/(z)con la condición inicial/(O) = 0. ¿Cuál es su radio de convergencia?
19. Determine la serie de Maclaurin general que solucione la ecuación 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 solución general, en serie de Maclaurin de la ecuación diferencial
i i Z) g'(z o )
lím 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)eñl 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
analítica 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 analítica 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 #
<T—n—1 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 función (z 2 — 3z + 2 ) - 1 . Es analítica 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 /
Ej e r c ic io s
Encuentre la serie de Laurent de la función (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 función (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 función 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
gión 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.
(ii) Los polos aparecen siempre que /(z ) -*■ °° cuando z z 0 . Observe
que aquí la función g(z) = 1 //(z ) tiene una singularidad removióle en z 0 con
g(z 0 ) = 0 , y z 0 es un cero aislado de g(z), puesto que/(z) no es cero y es finita
en un conjunto 0 < Iz — z 0 I < / < R. Si el orden del cero de g(z) en z 0 es
n > g(z ) = (z - z o)ngn(z ), entonces /(z ) = (z - z 0 )~nf n (z), donde f n (z) =
1 Ign (z) es analítica en Iz — z 0 K r . A n se le llama orden del polo d e / e n z 0 .
122 CAPÍTULO 3 • SERIES INFINITAS
2 ak ( z - z 0 )k, a _ n i= 0 .
k=—n
Cora.og(z) es una función analítica 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
también finito.
(iii) Singularidades esenciales son todas las aisladas que no son remo-
vibles ni polos. En este caso, f ( z ) no tiene límite cuando z -»•z 0 , y un número
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 sería un polo o una
singularidad removible.
Se dan algunos ejemplos para ampliar las definiciones. Obsérvese 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 también se aplica a las funciones
(univaluadas) f(z), analíticas en una vecindad R < Iz I< 00 de Por conven
ción, 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 función
D e f in ic ió n
Una función analítica en una región 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 función analítica 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, también /(z ) = A + (z — z 0 )g(z),
lo es. De ahí que contradiga la hipótesis de que z 0 es una singularidad esen
cial. II
De hecho se puede demostrar más, aunque la prueba es difícil, y no se da
rá aquí:
Te o r e m a de P ic a r d
Una función analítica 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
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 función f(z) = e l¡z toma todos los valores, excepto 0, un núme
ro infinito de veces en cualquier e-vecindad de z = 0 .
13. Pruebe que una función 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 función meromorfa en ílll debe ser el cociente de dos poli
nomios.
15. Pruebe que una función 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 expresión / 0 (2 ) ,como una serie infinita o una integral
— que define una función analítica —, sólo tiene significado en alguna región
limitada G0 del plano. Surge entonces la pregunta de si existe o no alguna for
ma de extender la definición de la función y volverla analítica en una región
mayor. En particular, ¿es posible encontrar una expresión (2 ) analítica en
una región 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 función a la región G0 U G j , y se dice
que los elementos (fo, G0 ) y ( f \ , G x) forman una continuación analítica di
recta donde se sigue el uno del otro. Cualquier continuación analítica directa
de {f 0, G0 ) a Gi es necesariamente única, porque dos funciones analíticas en
Gj concordantes en G0 ó Gx deben coincidir en G¡ (véase Ejercicio 20, Sec
ción 3.1).
Un procedimiento para obtener continuaciones analíticas empieza por
desarrollar la expresión 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 región 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 función 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 analíticamente
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 NTINUACIÓN ANALÍTICA [OPCIONAL] 129
D e f in ic ió n
Una función analítica global es una colección 5 de elementos (f, G), tales que
dos cualesquiera de ellos son uno continuación analítica del otro, a través
de una cadena de elementos de Í7 .
Ej e m p l o 3
Sea Gk la región 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 colección :{f0, G 0 ), ( f x, Gj), . . (fn, Gn ), . . . es
una función analítica global, ya que es la colección 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 — (ir¡2) I< 7r/4,
aunque (f0, G0 ) y (f 2, G2 ) no sean continuaciones analíticas directas
uno del otro (véase Figura 3.9).
Ej e r c ic io s
En los Ejercicios 1-3, encuentre prim ero una función 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 . ¿Cuál 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 región de convergencia com ún, no obstante que son continuaciones
analíticas 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 función en el disco Iz —
1 I <Ü ld e su ra m a principal. Entonces, continúe analíticam ente cad a función 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 función
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
analítica 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 tópicos, de los cuales
puede encontrar un desarrollo en [A, págs. 185-196].
S e c c ió n 3 .4
Se pueden encontrar dos pruebas diferentes del teorema de Picard en [A, pág.
297] y [V, pág. 144].
S e c c ió n 3 .5
Aunque en teoría está bien el método indicado para construir continuaciones
analíticas directas, en la práctica rara vez es útil. El problema radica en calcu
lar los coeficientes bn , los cuales, a menos que se tenga información adicional,
son sumas de series infinitas.
Una prueba del teorema de la monodromía puede encontrarse en [A,
pág. 285],
A In te g ra c ió n
¿4 EN CONTORNOS
4 .1 T eo r e m a del residuo
Se ha demostrado en la Sección 3.3 que una función f{z), analítica en una re
gión 0 < \z — z Q\< R , puede desarrollarse en una serie de Laurent alrede
dor de z 0 . Al coeficiente
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 \z—z n \= rn/ 2
{ z - Z o ) kf ( z ) = 2 an (z — z 0 )n+k ,
n= —k
lím
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
Ej e m p l o 2
Evalúe la integral
dz.
¡z - 4 I = 1 Z3 - Z
€Z 0Z
Res 0 — r = lím = —1
z(z - 1) 0 Z2 - 1
Res! = lím
z(z - 1) z->i z(z + 1 ) 2
Así,
dz = 7rz (e — 2 ).
I z— 4 I= 1 ' Z 3 — Z
136 CAPÍTULO 4 • INTEGRACIÓN 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
lím F(z) dz = 0.
R-*°° \z\ = R
Por hipótesis, ¡ 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
Evalúe 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
Evalúe 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.
12—¡1=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
función [P{z)/Q(z)]' son cero.
En esta y las siguientes tres secciones, se presentan algunas técnicas útiles para
aplicar el teorema del residuo a la evaluación de integrales definidas.
4.2 • EVALUACIÓN 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
SOLUCIÓN: 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
lím 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
Evalúe las integrales en los Ejercicios 1-9 por el método mostrado en esta sección. 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 • EVALUACIÓN 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* “ íMáwfe-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 .
ocurren sólo en los ceros del denominador y así son finitos en número. Si R se
escoge suficientemente grande, todos los polos de F(z) que estén en el semipla-
no superior se localizarán en el interior de 7 (véase Figura 4.2). Entonces, el
teorema del residuo implica que
-aY
1 1 e
<M + + (.X 1 + X 2 )
_üX 1 üX 2
Ej e m p l o 1
Pruebe que
eos ax TT0—ab
éT
dx = ----------> a > 0, b > 0.
+ h2 9h
1 44 CAPÍTULO 4 • INTEGRACIÓN 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
SOLUCIÓN: 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 función par.
Ej e r c ic io s
Evalúe las integrales siguientes por el método dado en esta sección,
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
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 Sección 4.3, se supuso que F(z) no tenía polos sobre el eje
real, ya que, de otra manera, la integral
= 7Tza_i f(re )e d6
¡Y
i y
- X, V^o J *2
-ir
Figura 4 .4 .
146 CAPÍTULO 4 • INTEGRACIÓN EN CONTORNOS
f 0
lím f ( x ) dx + lím f ( x ) dx. (2)
J-R, R^°°
PV f ( x ) dx = lím f ( x ) dx.
/?“►« J —R
fc -e Cb
f(x) dx = lím f(x) dx + lím f(x) dx, e > 0 , i?> 0 , (3)
a e~*0 J a V ->0 J c+r¡
= 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 semicírculos como po
los haya y al tratarlos como al anterior semicírculo E, se obtiene el resultado
general siguiente.
TEOREM A
Supóngase 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
SOLUCIÓN: Puesto que F (z) = 1/z, es claro que (i)' y (ii)-'se cumplan,
por lo que tenemos
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
Evalúe las integrales en los Ejercicios 1-9 por el método mostrado en esta sección.
’ °° 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
1 eitx dx ) 2* t> 0’
PV — ----------- = < 0 , f = 0,
¿TTí
27TÍ JJ “— ”“ *X (I - X± , í4- s<' í\0 ,
con el método que se mostró en esta sección. Si se añade a esta función, se ob
tiene la “función impulso”, encontrada frecuentemente en los libros de ingenie
ría, y que representa la conexión súbita de una corriente en un circuito eléctrico
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 ramificación del integrando, además
de sus singularidades aisladas. Esto se debe a que, para usar el teorema del resi
duo, es necesario seleccionar una región 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) sólo tiene un número finito de polos en G , existen núme
ros 0 < r < R tales que todos los polos diferentes de cero están en el interior
del anillo r < Iz I < R . Para la función za, se selecciona la rama de (fi cuyo
argumento se localice entre 0 y 27r, con puntos de ramificación 0 y °°. Sea
7 = Ti + 72 + 7 3 + 7 4 Ia frontera de la región 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 • INTEGRACIÓN 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 fórmula 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
SOLUCIÓN: 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
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
Evalúe las integrales en los Ejercicios 1-16, por el método de esta sección.
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 • NTEGRACIÓN 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 CAPÍTULO 4 • INTEGRACIÓN 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 aplicación del teorema del residuo, útil para determinar el número de ce
ros y polos de una función 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 región G simplemente conexa, y sea y una
curva de Jordán 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 número 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 analítica 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 analítica 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 aplicación 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 analíticas en una región G simplemente conexa. Si If(z ) I
> . \ g { z ) - f ( z ) ' en todos los puntos de la curva de Jordán spp 7 conteni
da en G, entonces f(z ) y g(z) tienen el mismo número de ceros en el inte
rior de 7 .
PRUEBA: La hipótesis 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 número 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 número de raíces de la ecuación
z 4 + 5z + 1 = 0
situadas en el interior del círculo Iz I= 1 .
Ej e m p l o 2
Muestre que z — e? + a = 0 , a > l , tiene una raíz en el semiplano iz
quierdo.
Ej e m p l o 3
Encuentre el número de raíces de la ecuación
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 número de raíces de la ecuación
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 número de raíces de las ecuaciones dadas en el in
terior del círculo 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. ¿Cuántas de las raíces de las ecuaciones dadas en los Ejercicios 1-4 están en el in
terior del círculo iz I= 2 ?
6 . ¿Cuántas de las raíces de la ecuación
3 z 4 - 6 iz3 + 7 z 2 - 2¿z + 2 = 0
N o ta s
S e c c ió n 4.1
Los resultados de esta sección se extienden fácilmente a curvas 7 spp cerradas
arbitrarias de G . Sin embargo, en la mayoría de las aplicaciones, 7 es una cur
va de Jordán. En consecuencia, se incorporó esta hipótesis adicional para sim
160 CAPÍTULO 4 • INTEGRACIÓN EN CONTORNOS
plificar los enunciados de los teoremas. Para los enunciados más generales,
véase [A, págs. 147-151].
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
más parámetros arbitrarios, podrían haberse obtenido por derivación o in
tegración de otras integrales con respecto a estos parámetros. Por ejemplo:
Ejercicios 1 y 2 de la Sección 4 .2 ; Ejemplos 1 y 2 de la Sección 4 .3 ; Ejercicios 8 y
9 de la Sección 4.3; Ejercicios 5 y 6 de la Sección 4.4; Ejercicios 3 y 5 de la Sec
ción 4.5 . Una condición suficiente para la validez de estos procedimientos es la
convergencia uniforme de las integrales en el intervalo de definición de los pa
rámetros. Los teoremas y pruebas importantes pueden encontrarse en la
mayoría de los libros de cálculo avanzado. Por ejemplo, véase [B, págs. 204-
212], Usualmente, esta técnica es más sencilla que evaluar las integrales por el
método del residuo.
S e c c ió n 4 .6
Estos resultados también pueden extenderse a curvas 7 spp cerradas arbitra
rias (véase [A, págs. 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
Obsérvese el cambio de la pendiente de un arco suave que pasa por el punto
z o bajo el mapeo w = f(z ), cuando/ es analítica 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 analítica en una región G, entonces w - f(z ) es conforme en to
dos los puntos z0 de G para los cuales f '{z0) # 0 .
161
162 CAPÍTULO 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 función 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 círculo 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 círculo unitario
en el primer cuadrante del plano w (véase 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 círculos
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 ) analítica en una región 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 dirección 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 dirección 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 CAPÍTULO 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 , nótese 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. Obsérvese 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 región G ( # 6 ) simplemente conexa. Entonces
existe una única función analítica 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 dónde son conformes los mapeos.
1. w = ez 2 . w = senz
3, w = — 4. w = z 2 — z
z
Describa cómo 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 círculo zv = z 2 bajo el mapeo Iz — r I= r, r > 0, es
la cardioide con ecuación polar
p = 2 r 2 ( 1 + eos 9).
10. Muestre que el mapeo w = z + 1 jz forma los círculos Iz I = r en las elipses
3(*. y)
16ó CAPÍTULO 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 región G. Pruebe que f(z) es analítica 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 región 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 analítica en una región 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 analítica 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 expresión
az + b
tv = w(z) = —--------, ad — bc=£Q,
cz + d
donde a, b, c, d son constantes complejas. Tal mapeo se llama transformación
fraccional lineal. La condición ad — be =£ 0 impide que su derivada
, ad — be
w ~ ----------- F
(cz + d )2
se anule, ya que de otra manera la función 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. Además el mapeo es conforme,
excepto en z = o®, —d /c, porque en estos puntos w' = 0 o °°.
Ej e m p l o 1
Considérese la transformación fraccional lineal
z - 1
w = --------- •
z + 1
Encuéntrense ahora las imágenes de los puntos i, —2i, e °°. ¿Qué puntos
se mapean en 0 , 1 e oo?
5.2 • TRANSFORMACIONES FRACCIONALES LINEALES 167
SOLUCIÓN: 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)
nótese que 00 se mapea en 1. Para encontrar el punto que se mapea en 0,
obsérvese que z = 1 provoca que se anule el numerador del lado derecho
de la transformación 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 + (a¡3 + bS )
az + |3\ + (ca + dy)z + (c|3 + d 8 )
yz-frh)
con
(aa + by)(c¡3 + d d ) — (a¡3 + bS)(ca + dy) = (ad — bc)(a8 - ¡3y) ^ 0.
Cualquier transformación fraccional lineal es una composición de cuatro
tipos especiales de transformaciones:
Ej e m p l o 2
Encuéntrese una transformación fraccional lineal que mapee el círculo
Iz — i I= 1 en el círculo 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 círculo. Al invertir los pasos que condujeron a la ecuación (2), se sigue que
las rectas se mapean en círculos que pasan por el origen.
Puesto que cualquier transformación fraccional lineal es úna composición
de estas transformaciones especiales, se ha probado el siguiente teorema.
TEOREMA
Las transformaciones fracciónales lineales mapean círculos en círculos en
Lile. '•
Ej e m p l o 3
Mapéese de manera conforme la intersección 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
Mapéese el semiplano derecho en el círculo 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
Encuéntrese el número de raíces de la ecuación
Ej e r c ic io s
En los Ejercicios 1-4, describa la imagen de la región 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 z—1
z
4. La franja 0 < x < 1; w - -------
z —1
5. Encuentre el número de raíces de la ecuación
l l z 4 - 2 0 z 3 + 6z 2 + 2 0 z - 1 = 0
que están en el semiplano derecho.
6 . ¿Cuántas raíces de la ecuación
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 transformación frac-
cional lineal que los lleva a 0, 1, °°, respectivamente. Si ninguno de los puntos
172 CAPÍTULO 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 transformación fraccional lineal con la mis
ma propiedad, entonces la composición w *w ~l mantiene fijos los puntos
0, 1, oo. Así, se tiene la transformación
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 laúnica transformación frac-
cional lineal que mapea los puntos z x, z 2 , z 3 en 0 , 1 , °°, respectivamente.
Puesto que un círculo está determinado por tres de sus puntos, ahora se
puede definir fácilmente una transformación fraccional lineal que lleve un
círculo dado en el plano z a un círculo dado en el plano w. Elíjanse puntos dis
tintos Z j, z 2, z 3 del primer círculo 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 ecuación 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
Encuéntrese la transformación 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 SIMETRÍA 173
Los puntos w y w son simétricos con respecto al eje real. Puede generali
zarse este concepto a cualquier círculo C de SIL.
DEFINICIÓN
Los puntos z y z* son simétricos con respecto al círculo C, en el plano z extendi
do, si existe una transformación fraccional lineal w que mapee C en el eje real
y que satisfaga w(z) = w(z*).
Ej e m p l o 2
Encuéntrese el punto simétrico a i con respecto al círculo \z + 1 1= 1.
—:ÍZ
W = ------- >
z + 2
- 2 a;
z = r
w + 1
Ej e m p l o 3
Encuéntrese el número a (< 1) para el cual existe una transformación
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 transformación 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 simetría, el mapeo
r =
z +z0
manda z 0 a 0 y —z 0 a °° y mapea el eje imaginario y el círculo Iz — 1 I = a
en círculos concéntricos 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 transformación 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
transformación fraccional lineal, en los puntos 1 , —1 , k, —k, donde k depende
de los puntos originales.
Encuentre los puntos simétricos al punto 3 + 4z’ con respecto a los círculos de los Ejer
cicios 7-9.
7 . I z¡ = 1 - 8 . Iz - 1.1= 1 9. Iz - íl= 2
10. Mapee el círculo 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 transformación 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 transformación fraccional lineal que lleve Iz I = 1 y Iz — 1 I= 3 a
círculos concéntricos. ¿Cuál es la razón 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
formación fraccional lineal. ¿Por qué esto implica la unicidad de la función en el
teorema de Riemann del mapeo? (Sugerencia: Utilice el lema de Schwarz, Ejer
cicio 3, Sección 2.4.)
15. Suponga que z* es simétrico al punto z con respecto al círculo 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
trucción mostrada en la Figura 5.8 para localizar los puntos simétricos con res
pecto a un círculo.
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 Sección 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 definición donde
su derivada es diferente de cero. En esta sección se mostrará cómo pueden
usarse las composiciones de dichas funciones, con transformaciones fraccióna
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 Sección 5.2.
Ej e m p l o 1
Encuéntrese 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
círculo unitario. Por tanto, la composición iv = w(^(z)),
iv - -------- = ♦ u í—
= — tanh z\ ,
1 + f 1 + e* \2J
mapea la franja IIm z I < ir¡2 en el círculo unitario (véase Figura 5.9).
f =e
p la n o z p la n o f
Ej e m p l o 2
Mapéese 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 función iv - >/fr mapea el semipla-
5 .4 • COMPOSICIONES DE MAPEOS CONFORMES ELEMENTALES 177
Ej e m p l o 3
Mapéese 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= -
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 hipérbolas2 — 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 parábola y 2 = 4x en el disco unitario de tal forma que 0,
- 1 sean enviados en 1 , 0 .
*10. Mapee la región a la izquierda de la rama derecha de la hipérbola 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,
5 .5 F l u j o de f l u id o s
Q= í Vnds = 0. (1)
h .
La integral de línea 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 símbolo <p en la función potencial paTa enfatizar, más tarde, la analogía entre el flujo
de fluidos y el flujo de calor, y conservar nuestra notación para mapeos.
5 .5 • FLUJO DE FLUIDOS 181
Ej e m p l o 1
Supóngase que el semiplano superior tiene un flujo uniforme de velocidad
A ( > 0) en la dirección positiva de las x. Aquél se aproxima al flujo de
fluidos en canales extremadamente anchos (véase 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 líneas equipo
tenciales son verticales y las de corriente horizontales (despreciando el
efecto de la viscosidad sobre el eje real). Si c = 0, la línea de corriente
v — 0 coincide con el eje real.
Fig ura 5 .1 2 .
Ej e m p l o 2
Para encontrar las líneas 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 CAPÍTULO 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 transformación en la forma
z
Se ve que la imagen £ de cada punto del círculo 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 círculo Iz I = b es una elipse con focos en ±2a. De ahí que los
círculos concéntricos de radio b~> a centrados en el origen del plano z se
mapean en elipses confocales en el plano f . Además, el círculo 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 (véase Figura
5.15). La función corriente se obtiene cuando z = re16 , así
v - AA I r I sen 6a ;
a ' 2-1
V = w’ = A 1 -
z
con puntos de estancamiento enz = ±a. Nótese que V -*■ A cuando Iz I — >
°°, por lo cual, aunque la corriente se perturba por la presencia del ci
lindro, la perturbación es despreciable a grandes distancias del cilindro, y
el flujo para grandes i z I es esencialmente uniforme y de velocidad A pa
ralela al eje x.
Ej e r c ic io s
Encuentre las líneas 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 líneas de corriente para los potenciales complejos
dados en los Ejercicios 5-8.
10. Encuentre las ecuaciones de las líneas 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 líneas de corriente para este flujo. (Sugerencia:
Considere z = a cosh w.)
5 .6 • IA FÓRMULA-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 través de una abertura acotada por
la hipérbola x 2 — y 2 = 1 .
13. Use el Ejercicio 11 para describir el flujo a través de una abertura de ancho 2a en
una placa plana. ¿Es este flujo realizable físicamente? (Sugerencia: Encuentre la
rapidez en los bordes.)
14. Use el mapeo f- = sen- 1z para determinar las líneas de corriente del flujo de un
fluido incompresible en la región 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 físicamente?
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 línea de corriente del flujo,
dondep, p y I Vi son la presión, la densidad y la rapidez, respectivamente.
Muestre, para el Ejemplo 3, que si A 2 > \p (°°) /p , entonces habrá puntos en los
que la presión es negativa. En éstos se formará vacío, lo que provoca el fenómeno
de cavitación. Ocurre cavitación, por ejemplo, cerca de las puntas de una hélice
que se mueve rápidamente.
5 .6 La fó r m u la de S c h w a r z - C hristoffel
En el segundo teorema de la Sección 5.1 (página 163), se probó que si f ( z ) es
analítica en una región 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 .
Considérese, en cambio, una función f(z ) analítica con derivada
f ( z ) = A ( z - z oy ,
186 CAPÍTULO 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 función w - f(z ) mapea al eje real en una trayectoria poligonal, como
se muestra en la Figura 5.18.
Por construcción, f(z ) es analítica en el plano complejo, excepto en los
cortes de ramificación 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 polígono en flíc 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
Mapéese, 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 FÓRMULA 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
Mapéese el semiplano superior en la región 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
Mapéese 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
Mapéese el semiplano superior en el interior de un triángulo 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 posición y el tamaño del triángulo,
con el fin de encontrar la fórmula más simple para la localización de los
vértices, 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 función 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
Mapéese el semiplano superior en el interior de un rectángulo.
^ ^ Jo a/ ( 1 — z2 )(k2 — z 2 )
(véase Figura 5.24). A partir de la fórmula se nota de manera clara que
los vértices del rectángulo son simétricos 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 líneas de corriente de un flujo de fluido incompresible de veloci
dad A ( > 0) en oo para la región sombreada del plano w de la Figura 5.21.
2. Obtenga un mapeo del semiplano superior en la región sombreada del plano w
en la Figura 5.21, que mande a los puntos 0, 1, °° en 0, i, 0.
3. Muestre que la función
a= I í1 dt - r (4 )r (i) _ r 2 (j)
2 Jo j 3/4 0 _ t 2s/2ñ
4. Utilizando la transformación 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 región señalada 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 FÓRMULA DE SCHWARZ-CHRISTOFFEL 193
<* 0
y
(a) (b)
Fig ura 5 .2 5 .
Fig u r a 5 .2 6 .
-5
kv
—8
(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 conducción de calor en un cuerpo sólido ho
mogéneo de manera muy parecida a como se trató el flujo de fluidos, si el sóli
do es tal que el flujo es bidimensional, y el flujo de calor se encuentra en estado
estacionario. Supóngase que no hay fuentes o sumideros de calor en la región
G, simplemente conexa. Puesto que dos puntos pueden tener temperaturas di
ferentes, hay un flujo de calor —por conducción— de las partes más calientes
hacia las más frías. El vector flujo de calor Q = Q(z) puede escribirse como
una función 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 Sección 5.5) se sigue que Q es analítica en
G. Entonces
Q(z) = -k w '(z ),
donde k es el coeficiente de conductividad térm ica y w = u + iv es el poten
cial complejo del campo térmico. Por las ecuaciones de Cauchy-Riemann,
57 • APLICACIONES FÍSICAS EN FLUJO DE CALO R Y ELECTROSTÁTICA [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 hipérbolas.
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 CAPÍTULO 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 serán las imáge
nes, bajo z = z( w), de las rectas verticales u = constante. Simplificando
el primer término entre paréntesis, se encuentra
w+ 1 1 irw
z = eos
2 ir 2
de donde las isotermas pueden graficarse fácilmente.
El e c t r o s t á t ic a
Considérese un campo electrostático plano E(z) que surge de la atracción o re
pulsión de un sistema arbitrario de cargas (fuentes y sumideros) dispuestas en
el plano. En una región 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 circulación 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 energía para mantener un campo electrostático, se
tiene que
E s ds = 0.
TABLA 5.1 Analogías del flujo de fluidos; flujo de calor y campos electrostáticos
Flujo d e Flujo d e C am po
fluidos calor electrostático
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 Función potencial Temperatura Función potencial
u ( z ) = constante Lineas equipotenciales Isotermas Líneas equipotenciales
V Función corriente Función corriente —v es la función
fuerza
v ( z ) = constante Lineas de corriente Líneas de corriente Lineas de fuerza
Pueden resumirse todas las analogías entre el flujo de fluidos, flujo de ca
lor y electrostática, y presentarlas en forma tabular, como se hace en la Tabla
5.1. Pueden hacerse analogías similares con el flujo de fluidos y difusión esta
cionaria, magnetostática y campos gravitacionales, e hidromecánica.
Frecuentemente se desean encontrar las líneas equipotenciales de un
campo electrostático plano, acotado por contornos sobre los cuales el potencial
es una constante dada (cada contorno es un conductor).
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 sección normal a los planos genera un campo
plano con dos cortes (véase Figura 5.30). Encuéntrense las líneas 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 .
SOLUCIÓN: L a función
198 CAPÍTULO 5 MAPEOS CONFORMES
mapea el dominio en la franja luí < u0 . Así que las líneas equipoten
ciales son las hipérbolas
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 están separados una distancia 2ir y que mantienen una dife
rencia de potencial 2u0 . Cualquier sección normal a los planos produce
un campo bidimensional con dos cortes, como se muestra en la Figura
5.31. Encuéntrense las líneas 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 FÍSICAS EN FLUJO DE CALOR Y ELECTROSTÁTICA [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 electrostático en una región situada entre un cilindro sóli
do y una placa plana paralela, donde el potencial en el cilindro es 1 y en la placa
es 0. Suponga una sección que coloca la placa en el eje imaginario, tal que el ci
lindro esté dado por Iz - 2 l < 1 .
200 CAPÍTULO 5 • MAPEOS CONFORMES
2. Encuentre las líneas de corriente para una pared de altura a si el flujo es infinita
mente profundo y tiene velocidad .¡4 > 0 cuando z -*■ °°. ¿Cuál es la velocidad
en 0 y en ia (véase Figura 5.34)?
Fig ura 5 .3 4 .
3. Encuentre las isotermas en la franja infinita 0 < y < ir si los bordes están 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 través de la región 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 .
CAPÍTULO 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 físicamente posibles, se busca
una solución realista. Una hipótesis es la existencia de una región infinita de
agua en reposo, llamada estela, detrás de la placa. La estela estará acotada por
líneas de corriente libres a lo largo de las cuales la rapidez es constante finita
(véase Figura 5.39).
La existencia de una estela requiere un cambio en el análisis del proble
ma, ya que el flujo tiene lugar en un polígono acotado por la placa y las líneas
de corriente libres. El teorema de Riemann del mapeo establece que el polígo
no puede mapearse, de manera conforme, en el semiplano superior con los
puntos ±2ai yendo a ±1. Las líneas de corriente en el semiplano superior
pueden determinarse al considerar las líneas de corriente en el plano W de la
Figura 5.40c.
Para determinar el potencial complejo zv(z), recuérdese que V(z) = diu/dz,
y considérese 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 simetría, la rapidez será la misma en ±2ai, aunque la dirección
será la opuesta. Finalmente, la rapidez será constante en cada línea 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
te libre. Así como V{+ °°) = A y las líneas de corriente libres tienden a
todo punto sobre las dos líneas de corriente libres se mapeará en un punto de la
mitad derecha del círculo unitario. Como F(0) = 0, el origen se mapea en 00.
Además, V( -1 ) es positivo y menor que A , ya que el flujo se detiene al acercar
se a la placa. Así, el flujo se mapea en la región sombreada en el plano W de la
Figura 5.41.
Esta región se llama hodógrafa. Nótese que se mapea en la mitad superior del
plano f por medio de la transformación
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
(véase Figura 5.42). Suponga que el fluido sale como un chorro acotado por
líneas 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 hodógrafa.)
2. Suponga que se forma una estela detrás de la pared del Ejercicio 2 de la Sección
5.7. Encuentre las líneas 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 Apéndice. 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 fracciónales lineales se conocen también como transfor
maciones lineales, transformaciones bilineales, sustituciones lineales y trans
formaciones de Móbius.
SECCIÓN 5 .5
En el Capítulo 6 se analizarán problemas que incluyen fuentes. Pueden en
contrarse algunas aplicaciones detalladas en [R]. Para un texto excelente, en
que se detalla el uso del análisis complejo en la hidrodinámica, véase [MT].
S e c c ió n 5 .6
Véase [A, págs. 227-232] para una prueba de la fórmula de Schwarz-
Christoffel. Una fórmula para mapear el disco unitario en el exterior de un po
lígono se obtiene fácilmente.
S e c c ió n 5 .8
Se puede encontrar una argumentación 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 ecuación de Laplace uxx + uyy = 0 es de fundamental importancia en
Física y surge en conexión con el flujo de calor y de fluidos, así como con los
campos gravitacionales y electrostáticos. Por ejemplo, la temperatura u en un
flujo de calor es la parte real de una función analítica 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 ecuación de Laplace se cumple para u. De la misma forma, se cumple
para v.
Cualquier función real u(x, y) con segundas derivadas parciales conti
nuas, que satisface la ecuación de Laplace en una región G, se denomina ar
m ónica en G.
Ej e m p l o 1
Muéstrese que la función u(x, y) = x 2 — y 2 es armónica en C .
207
2 08 CAPÍTULO 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) analítica en la región G. Entonces las dos
funciones reales u(z) y v(z) son armónicas en G.
(ii) Sea u(z) una función real armónica en una región G simplemen
te conexa. Entonces la integral de línea
v(z) = ux dy — uy dx,
■
L;
es armónica en G, y la función f(z ) - u(z) + iv(z) es analítica en G; 7
representa cualquier arco spp en G que une z 0 a z . A v{z) se le llama ar
mónica conjugada de u(z).
= u(z) + i j ux dy — uy dx.
Entonces, se ha construido una función analítica 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
Encuéntrese la armónica conjugada en C de la función
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 función analítica 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 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
-y -y
• y x 2 + y 2) x2 + y2
Nótese que la función
x — iy z 1
¡tp = 7
es analítica para z 0.
P r in c ip io del m á x i m o
Si u(z) es armónica y no es constante en una región G simplemente cone
xa. entonces u(z) no tiene máximo o mínimo en G.
T e o r e m a del v a l o r m e d io
Si u(z) es armónica en Iz — f I< R , entonces
Ej e r c ic io s
Pruebe que las funciones de los Ejercicios 1-4 son armónicas 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 analíticas f(z ) = u + iv que satisfagan las condiciones
dadas en los Ejercicios 5-7. En caso afirmativo, indique el dominio de definición.
5. u = sen* cosh y
6 . u = log(x2 + y 2 )
7. u = ey?x
Encuentre las conjugadas de las funciones armónicas 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 armónicas, muestre que au + bv es también armónica,
donde a y b son constantes reales. Muestre que uv es armónica si u y v son fun
ciones armónicas conjugadas.
13. Pruebe que log l/(z) Ies armónica siempre y cuando/(z) sea analítica y diferente
de cero.
14. Muestre que el principio del máximo se cumple para regiones múltiplemente 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 electrostática que se anali
zaron en el Capítulo 5, muestran que la solución en cada una está dada por la
función analítica llamada potencial complejo. Las partes real e imaginaria del
potencial complejo tienen significado físico como líneas de corriente, líneas de
fuerza, temperaturas iguales, etcétera. De acuerdo con la Sección 6.1, las par
tes real e imaginaria de una función analítica son funciones armónicas que sa
tisfacen la ecuación 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 región G arbitraria, ¿hay una función armónica en G que tenga
valores predeterminados en la frontera de G?
Ej e m p l o 1
Encuéntrese una función que sea armónica en el primer cuadrante y que
tenga valores frontera 0 en el eje real y 1 0 0 en el eje imaginario.
SOLUCIÓN: La función
200 T
w = ------- Log z
la función
200
v - ----- Arg z
rr
es armónica 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 ecuación indica que el valor de una función armónica u, en puntos inte
riores de la región G, puede determinarse como una integral de los valores
frontera de u. Nótese la similitud de esta situación con la fórmula 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 } , adviértase
que
R ¿ — z nz
214 CAPÍTULO 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 = re’6 es arbitrario, la ecuación (2) es válida 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 función
g(z) = (z - z 0 )/(z + z 0 )
mapea, de manera conforme, a G en el círculo unitario con g (z 0 ) = 0.
Como = 2xq ;
g(z) z 2 - 2 iy 0z - \ z o \2
la fórfnula 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 número finito de sal
tos. Por ende, la función
( 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 función analítica (R e!<?> + z)/(R eKt> — z) es armó
nica. De ahí que u(z) es armónica en Iz K i ? .
Si f •= R et<¡>, nótese 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 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
0 A
Figura 6. 3
Ej e m p l o 4
Encuéntrese una función u, armónica 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 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e r c ic io s
1. Sea u(z) armónica en Iz — f I < R . Pruebe el teorema del valor medio del área
un ds = 0 ,
y
donde 7 es cualquier curva cerrada spp en G, y un es la derivada direccional de
u en la dirección de la normal exterior.
4. Muestre que la fórmula 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 fórmula 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\, líK i,
1 0, líl>l.
7. Pruebe que cualquier solución del problema de Dirichlet, continua en la cerra
dura de una región G simplemente conexa, debe ser única. (Sugerencia: Use el
principio del máximo.)
8 . Suponga que u(z) y v(z) son armónicas en una región 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 región 0 < I z I< 1. Muestre que no hay una función u(z), armónica 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
armónicas e n r s I z K l . )
10. Pruebe la desigualdad de Harnack: Si u(z) es armónica 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 analítica en una región que contiene a Iz I < R pruebe
la fórmula de Schwarz
1 f2 n R ^ + Z
/ ( z ) = 2P J o
12. Muestre que la fórmula 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 número finito de saltos.
Pruebe que
í(*>= i p ’ y > . dt
ir Jo R e^ — z
es analítica en Iz I<CR. (S u g eren cia : Reescriba la fórmula de Schwarz.)
14. Muestre, por el método del teorema de Poisson, que
/ ^ y f°° u(t) ,
u(z) = — ---------^ ----- - dt, z = x + iy,
ir (t — x y + y
es una función armónica en él semiplano superior, aun si u (t) es discontinua en
un número finito de valores de t.
15. Use el Ejercicio 14 para encontrar una función u (z ) que sea armónica 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 análogos de campos vec
toriales en estado estacionario que se presentan en la naturaleza: flujo de
fluidos, flujo de calor y campo electrostático. Los campos vectoriales, que se
supusieron bidimensionales e irrotacionales, se examinaron dentro de una re
gión G que no contiene fuentes ni sumideros. En esta sección, se ampliarán
esos problemas para incluir fuentes y vórtices en la región G. La teoría se de
sarrollará para el flujo de fluidos, y las analogías con los otros dos campos se
presentarán en la Tabla 6.1 al final de la sección.
Recuérdese que el vector velocidad V(z) del campo es igual a w'(z\ don
de la función analítica m(z) es el potencial complejo del flujo. Así, la función
220 CAPÍTULO 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.
Encuéntrese la temperatura en todos los puntos de G y descríbanse 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. Nótese que v(z) es multi-
valuada, y que ambas funciones son armónicas en cualquier región 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 CAPÍTULO ó • 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 acción de un rotor cilindrico, de tal forma
que en cualquier plano perpendicular a su eje, las líneas de corriente sean
círculos concéntricos centrados en el rotor. Tal campo se denomina campo
plano de vórtices.
Si un vórtice puntual se localiza en el origen, la circulación T a lo largo
de cualquier curva 7 de Jordán es una constante no nula (T > 0 cuando el
flujo está en contra de las manecillas del reloj). A lo largo de un círculo 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 líneas 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 ecuación
Q , log z — z, .
/ \ _ -----
w(z)
27T z — z -.
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
Considérese el problema de conocer todas las líneas 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, Sección 5.5, si el flujo es simétrico
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 suposición de simetría, el flu
jo podría también estar sujeto a un flujo de vórtice, 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
Así que solamente uno de los puntos de estancamiento está fuera del
círculo unitario. Se muestra un bosquejo de las líneas de corriente en la
Figura 6.9.
(a)
Para conocer todas las líneas de corriente en una región G sólo se necesita ma-
pear de manera conforme a G en el exterior del disco unitario, f : G ~ > { Iz I > 1} ;
entonces, la función compuesta w o f es el potencial complejo de G. Es de in
terés particular en aerodinámica el conocimiento de todas las líneas de co
rriente del perfil de Joukowsky, dado por el mapeo z = f + 1/f, que m a
pea los círculos 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 vórtice 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 función potencial p ara el cam p o electrostático plano en Iz I <C 1
cuyos bordes son electrodos representados por los semicírculos 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 líneas 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 . ¿Cuál 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 vórtice 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 líneas equipotenciales y las líneas de corriente, y encuentre el vector velo-
228 CAPÍTULO 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 líneas de corriente están dirigidas a lo largo de los argumentos de las
raíces n-ésimas de p. Se dice que tal multiplete tiene orden 2n.
Dibuje la imagen de los círculos 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 fórmula integra) de Poisson está íntimamente relacionada con la noción de
una serie de Fourier. Se ha visto que si U(<¡)) es continua por partes para 0 <
0 < 27T, entonces la función
1 2* , ^ (R e ^ + z
u(z) £7(0) Re ( ------------ d<¡)
27T 0 XRe^-z
es armónica 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 práctica, frecuentemente es más fácil
obtener u(z) al desarrollar el lado derecho de la ecuación 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
Encuéntrese una función armónica 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. Búsquese la temperatura en cualquier punto z de la placa.
SOLUCIÓN: 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
Obsérvese 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 analítica y uno a uno en una región que contiene
al anillo r < I : l < R. Muéstrese 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
serán las derivadas por la derecha y por la izquierda, respectivamente, de la
función U en 0. Nótese que si U es continua en 0 , ambos límites por un lado
coinciden con U{<¡>), y si U es derivable en 0, ambas derivadas por un lado
concuerdan con U'(<j)).
Una función 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 límites y las deriva
das de U por un lado, excepto en un número 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 función spp en [0 , 27 t] con periodo 27 T, y
i
2* u ( d ) e ~ ine d d .
27T o
Entonces
se anula cuando k °°, ya que la última integral está acotada. Así, la in
tegral sobre el intervalo [0 , 2tt] se anulará también cuando k -*■ °°. Ahora
6 .4 • SERIES DE FOURIER 233
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
(véase 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
Muéstrese 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 función 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 situación donde N=Ny "N2 •. . . ’ Nm .Este es el pro
cedimiento que se utiliza en la transformada rápida 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 función 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 CAPÍTULO 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
función 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 fórmulas 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 Sección 6.4, el principal problema es descubrir
en qué circunstancias coinciden los valores de £7(0) y £7(0) porque entonces £7
proporciona una fórmula de inversión para la transformada de Fourier u.
Esto tiene el efecto de duplicar el tamaño de una tabla de integrales dada, por
que si se conoce una solución en forma cerrada para la transformada de
Fourier u(t), se conoce también 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) t£0,
0 — 0
y > |0 1 + 1 (0 fijo) puede escogerse de tal forma que
I l£7(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 Sección 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
= ?.) + ^ - °) Iím ^ 1
S ¿0
7T 0 0
1
= ^ [ í / ( 0 + O) + í/( 0 _ O ) ]
Ej e m p l o 1
Supóngase 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<¡) + -ít—1 )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 Sección 4.3.
I
6 .5 • TRANSFORMADAS DE FOURIER 2 39
Ej e m p l o 2
Al separar las integrales como en el cálculo anterior, se obtiene
e- y I£I 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 Sección 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 CAPÍTULO 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 función armónica 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 métodos de la transformada de Fourier a menudo son inútiles para anali
zar funciones que no son absolutamente integrables en (—°°, °°). Por ejemplo,
la función de Heaviside
{o, t< l
no tiene transformada de Fourier, ya que la integral
diverge. Esto se debe a que el factor no tiende a cero cuando </> °°, lo
que conduce a probar factores de la forma e ~ S(l> = e~^g+lt^ , que se anulan
cuando g > 0 y <¡) °°. La función
TEOREMA
Supóngase 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 analítica 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 (véase Figura 6.13).
Esta última ecuación indica que la transformada de Laplace converge
uniformemente en cualquier conjunto cerrado D, completamente contenido
en el semiplano de convergencia, porque
242 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
D óm ln io’d©
ÍQípfíVeítívÑT'
¡'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
ecuación anterior quede más pequeño 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
Muéstrese 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
Confírmese 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 expresión 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, pruébese que
(C O T Í’ R' s > “ R E
£ { r e - » } = £ { < ? } ( , + * ) = (- ^ 0 I .
Ej e m p l o 4
Muéstrese 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
Muéstrese 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
Compruébese que
2z2
£ {sen2 2 0 } = — --------— > Re 5 > 2 IIm 2 I.
1 ' 5 (s2 + 42 )
SOLUCIÓN: Como
d /0 sen.2 2 0 \ i . . 2
— ----------------) = t ( 1 — cos 2 2 0 ) =sen‘íz 0 ,
d0 V2 4z /
por la propiedad de derivación 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
Adviértase que los papeles de U y V pueden intercambiarse sin que varíe el va
lor de la convolución. Si las funciones U, V son absolutamente integrables en
( 0 , °°), la convolución satisface la identidad
£ { U * V} = £{U }£{V}, (5)
£ { u * v } = £ { v } J ” U{t)e~ts dt = £ { u } £ { v } .
Ej e m p l o 7
Obténgase una solución particular de la ecuación diferencial
£ {e senz <P}
(s + u; ) 2 + z 2
Así que,
1 - 0 }jC{ K(0 ) } ,
6 .6 • TRANSFORMADAS DE [APLACE 247
y la solución es
Z{s)
donde Z(s)- i , la función de transferencia, es independiente de V. Sea UH la
función 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 derivación,
ya que las condiciones iniciales implican que f/// (0) = 0. Las ecuaciones ( 6 ) y
(7), fórmulas de Duhamel, expresan la respuesta de un sistema a la función de
entrada V((p) en términos de la respuesta, experimentalmente accesible, a la
función 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. lím 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 sección se estudiará una técnica muy poderosa para determinar la fun
ción £7(0) cuando sólo se conoce la transformada de Laplace
de esa función. Supóngase 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 CAPÍTULO 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
convergen a £ ~ 1 {w(í)| cuando R -*■ °°. Puesto que u(s) es analítica en Re s > a ,
la ecuación (4) se anula por el teorema de Cauchy. Así í/(0) = 0 si 0 < 0. Fi
nalmente, el teorema del residuo señala que
Ej e m p l o 1
Encuéntrese la inversa de la transformada de Laplace
Ej e m p l o 2
Obténgase la transformada inversa de Laplace de la función
. . 2s + 3 .
u(s) = ---------- > Re s > 0,
s2 + 4
+ 3^ 220 + f 4z +
4Z + 3 ) e -2út>
—4z
= 2 eos 2 0 + "I sen 2 0 .
Ej e m p l o 3
Inviértase la transformada de Laplace
-2 s
u (s) = — T’ Re5>0.
(5 + 3)2
2 52 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INCALES
sobre los dos contornos mostrados en la Figura 6.15, adviértase que para
s = R eie,
|e(<t>~2 )s |= gR (<t>- 2 )cos 6 q
(b)
Ej e m p l o 4
Encuéntrese 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 f—r etrl> dt
= lím I — —
K— (27TZ \-R yf \ t \e ~ i 2m j-R y/\t
r—0
Si x = -t se tiene
1 CR e~x4> dx 1 f°° e x(t> dx
U{(¡>) = lím — ------------ --------
* Jr V 5" * J°
ns/0- v^r0
254 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
Ej e m p l o 5
Resuélvase 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 ecuación de difusión térmica 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
ción sobre la varilla, t es el tiempo y U es la temperatura. Supóngase 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 ecuación (11) y c 2 = c/s por la (10). Por tanto,
£ { u y = ce~'J*fix/s, y puede utilizarse el teorema de inversión para las
transformadas de Laplace, o el Apéndice 2, para obtener
que r e dv = - —
Jo 2
por medio del Ejemplo 3 de la Sección 2.2. De esta forma se satisfacen las
condiciones inicial y de frontera (8). Además,
_ c g —x 2 /45 1
9^ yjñbt
y a2 fI _ ex e ' x 'l4St = W
‘ 3^ “ 2v^5 í 3/2 " 9í '
2 56 CAPÍTULO 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 métodos 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 ecuación
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,
lím U(x, t) = 0, t > 0.
X-*^o
26. Una cuerda finita, sujeta a una función de forzamiento f { x, t), satisface la
ecuación 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 expresión para la solución de
este problema.
27. Resuelva la ecuación 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,
lím U(x, t) = lím Ux (x, t) = 0, t > 0.
X-*^o co
2 58 CAPÍTULO 6 • PROBLEMAS C O N VALORES EN LA FRONTERA Y VALORES INICIALES
NOTAS
SECCIÓN 6.2
Puede encontrarse un análisis más completo del problema de Dirichlet en el
plano complejo en [A. págs. 237-253]. El problema de Dirichlet en el espacio
tridimensional se estudia en la teoría del potencial; un clásico en esta área es
[Ke]. La hipótesis sobre C/(0) en el teorema de Poisson puede desarrollarse
substancialmente [Hf, Capítulo 3, y H, Capítulo 19].
S e c c ió n 6 .3
Un tratamiento del perfil de Joukowski se encuentra en [R, págs. 115-121],
SECCIÓN 6 .4
Un ejemplo de una función continua cuya serie de Fourier diverge en los nú
meros racionales de [0, 27t] se encuentra en [ J , pág. 546]. Un teorema de Y.
Katznelson [Studia Math., 26 (1966), 301-304] muestra que para cualquier
conjunto S de medida cero, existe una función continua cuya serie de Fourier
diverge en ese conjunto. Recíprocamente, por un resultado de L. Carleson
[Acta M ath., 116 (1966), 135-157], la serie de Fourier de una función continua
converge excepto en un conjunto de medida cero. Se puede encontrar un aná
lisis comprensible del problema de la convergencia en [Hf]. La integración y la
derivación término a término 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.
SECCIÓN 6 .5
Frecuentemente se encuentran definiciones alternativas de las transformadas
de Fourier. Todas las definiciones son equivalentes hasta una rotación y la am
plificación por y/2ñ.
SECCIÓN 6 .6
En muchos manuales matemáticos pueden encontrarse tablas de transforma
das de Laplace, una de las cuales está en el Apéndice.
SECCIÓN 6 .7
Una prueba de unicidad de la transformada de Laplace para funciones conti
nuas puede encontrarse en [M, pág. 412],
El desarrollo de una fórmula de inversión para transformadas de Laplace
de dos lados se dificulta por su no unicidad. Cualquier fórmula de inversión
para la transformada de Laplace de dos lados debe considerar la región de
convergencia.
A 1 Tabla de mapeos
CONFORMES
259
2 60 APÉNDICE 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
APÉNDICE í • TABLA DE MAPEOS CONFORMES 261
w= l
c . b \
o a
, = yr16
b u
262 APÉNDICE 1 • TABLA DE MAPEOS CONFORMES
w = sen z
Linea continua
y cosh/: J y senh/: J
Línea discontinua
l( sen
—■ j JY “ (^ —
eos;■V
J
w — ez + 1
e2 - 1
f 9
ni
w- Log
0 d ( N
—ni
b a
APÉNDICE 1 • TABLA DE MAPEOS CONFORMES 263
w= ni +z - Log z
w- 2 V’1 +z +Log (l v m-
i'TT7 +$
265
266 APÉNDICE 2 • TABLA DE TRANSFORMADAS DE LAPLACE
ea¡5
— -— 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 más extensa de transformadas de Laplace, ver [M, págs. 428-
434].
A 3 I ntegrales de
LÍNEA Y TEOREMA DE
GREEN
Las integrales de línea son una generalización natural del concepto de in
tegral definida
\b f ( x ) dx. (1 )
Ja
En este apéndice se dará un breve desarrollo de las integrales de línea de fun
ciones reales f( x, y) a lo largo de curvas spp en el plano Euclideano.
El término integral de línea* es una designación desafortunada, ya que
usualmente se evalúan las integrales a lo largo de curvas. Para entender lo que se
mide con una integral de línea, recuérdese 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 evalúa
el límite 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 función 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 evalúa el límite de la suma
2 f(xk,yk)&sk (2 )
k—\
* En inglés lin e integ ral, donde lin e sugiere siempre una línea recta. (N . de. T .)
267
2 68 APÉNDICE 3 • INTEGRALES DE LÍNEA Y TEOREMA DE GREEN
f(x.Y)
í f ( x , y) ds = lím 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
Evalúe
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 límite cuando Ax tiende
a 0 , se tiene
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 APÉNDICE 3 • INTEGRALES DE LÍNEA Y TEOREMA DE GREEN
E je m p l o 2
Calcular el valor de la integral de línea
\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.
APÉNDICE 3 • INTEGRALES DE LÍNEA Y TEOREMA DE OREEN 271
Ejemplo 3
Encuéntrese el valor de la integral de línea
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 = lím 2 f { x k, y k ) A x k,
.'7 m áx A x ¿ -> 0 k
| f( x, y) dy = lím 2 f ( x k, yk ) Ayk .
.7 m áx A y ¿-> 0 k
272 APÉNDICE 3 • INTEGRALES DE LÍNEA Y TEOREMA DE GREEN
Ej e m p l o 4
Evalúe fy y (l — x) dy a lo largo de la porción y del círculo 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 región 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 línea se toma erí sentido positivo (contrario al de
las manecillas del reloj) alrededor de 7 .
Fig ura A .4 .
274 APÉNDICE 3 • INTEGRALES DE LÍNEA 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=f7Íx )
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
x=ff2 (y)
p(x, y) dy - J p dy.
x=g , ( y ) _
Figura A .5
APÉNDICE 3 • INTEGRALES DE LÍNEA 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 región G en subregiones G¡, cuyas fronte
ras 7 i sí tengan esta propiedad (véase figura A .5). Aunque esta afirmación es
intuitivamente clara en los ejemplos como el de la Figura A .5, requiere una
prueba difícil 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,-.\9íc 3y
pdy + qdx
Ti
pdy + qdx.
Ej e m p l o 5
Evalúese la integral de línea
(jc — 2 y) dx + x dy,
Ej e r c ic io s
En los Ejercicios 1-8, evalúe la integral de línea 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 notación del Ejercicio 14, que Ay = fy xy dy.
¿Puede expresarse / 7 xy dx en términos de 3c?
16. Con la notación 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 dirección de la normal
exterior a y.
17. Pruebe que
' b f bg b f bg'
dxdy = / dg.
g \3x by by bx
Biblio g rafía
2 77
278 BIBLIOGRAFÍA
C a p ít u l o l 29 * l * iy i • * 2 + iy i
x 2 ± 7y2 x 2 + iy2
SECCIÓN 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 multiplicación complejas
gitud de z 2 )2 se obtiene z t = 0. también 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
SECCIÓN 7.4
27. I P(z) I > I a 0 I — [ I«i 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 =
SECCIÓN 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 lím ------ 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 ) = lím 3xy
z-*-0 z = 0. Pero u =
(Re z )2 I Re z l
lím 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 analítica,
que sólo 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) = lím ------ = 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.
SECCIÓN 1.6
17. Si f = f x = x , entonces/ = — +
1. Ver la solución del ejercicio 1 de la
Sección 1.4, y aplique el teorema g(y), pero / ' = - i f y = - i g no es
sobre condiciones suficientes para una función de x.
analiticidad.
3. Ver la solución del ejercicio 3 de la
Sección 1.4, y aplique el teorema
sobre condiciones ^suficientes para SECCIÓN 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 fórmula del cociente para de
25. Use el ejercicio 21 de la sección 1.5. rivadas y el ejercicio 2,8.
27. { e ~ n <C I w I<Ce n} — 31. Use el ejercicio 26 y la localización
|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
SECCIÓN 1.8
1 . i(e — e - 1 )/2 1 , for y > 0.
cosh 2 y sénh2 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 - ) hipérbola
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-Teílejada (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 raíces e*w = z + (z2 — 1 )V 2
wt eos (3 + sen wt sen (3 y póngale
donde la raíz 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)¡
(e’w — 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 raíz 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 + e»ír(í+2 )
[ 6 — |ü |] ^ t para k — 1, 3 así que 5. z(í) = i —í, —1 < í < 1
los espacios del contradominio son L—2 + 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
SECCIÓN 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 obtenemos—2 Ti
11. —ni sen 1
13. Rompa la parametrización de 71 +
3. y dx + iy dy — dxdy
BG 72 en dos partes.
15. Use la desigualdad del triángulo y la
= -A
propiedad (iy).
5. 0 ex dx + 17. Use I 1 + elt\= y / 2 ( l + cos i)
19. Aplique la estimación 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 términos imaginarios.
últimas integrales. 23. La fundón es analítica 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 máximo 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 límite máximo y el mínimo 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 más 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
m—2n
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 m—1 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 G—tenemos 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.
analítica 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 círculos
n=l 2n (2ra)!
en dos semicírculos 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 analítica en 311, / no se así que siempre converge. Sin em
omite el cero. bargo, derivando término a término
se tiene
OO Jtl 1
2 = _ i Log (1 - z)
n- 1
SECCIÓN 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
SECCIÓN 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
(—
aP\ así que Resr Í —
P \' =
SECCION 4.3
\QiJ \QJ
da f í P \' aP 1. Haga a = 0 en el teorema de esta
lím — - i (z- r) { ---- ) --------
z - r dza 1 \ Q j Qi sección y evalúe el residuo de
y, por inducción z/(z 2 + 2z + 2)2 en —1 + i.
di a~ k r ( P \
(¿+l) x 2 dx
= lím 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 SECCIÓN 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
SECCIÓN 4.5
1. Use el método del ejemplo 1. Para
a = 0 resuleva directamente e in
C a p ít u l o 5
terprete la respuesta como un límite
cuando a ->■ 0.
3. Vea la respuesta del ejercicio 1. SECCIÓN 5.1
5. Resuelva directamente para a = 0,
1, 2. Interprete la respuesta para
i. e
3. z¥= 0
a = 1 como un límite.
7. Use el método 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) = eíaz /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
semicírculos en 0 y 2m. Polo en 7Tt y aplique
b (x,y ) vx vy
con residuo —i senh Tía.
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 sustitución cambia la segunda
integral en la del ejemplo 2 .
SECCIÓN 5.2
1. ü<0
SECCIÓN 4.6 3 . 1zw — (1 + Í ) I 2 \ > \ ¡ 2 I 2 ,
Itu - (1 - t ‘) / 2 l > V 2/2
1. 0 5. 3. La sustitución 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) SECCIÓN 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.
SECCIÓN 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 Sección 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
orientación
13. Las líneas de corriente son hipérbo
9. Primero recórrala hacia la izquierda las confocales
1 unidad y considere la raíz 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
\/-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 hipérbolas 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 Sección 6.1 obte-
en direcciones opuestas, y es constan 'R
te en las líneas de corriente libres. niendo w(f) = 2“R (f)
2
rdr
Cuando V (0 ) es puramente imagi
nario obtenemos la hodógrafa 1 fR f27T
u(¡¡ + re ) rdrdd
Ti
77/?“ JO JO
W ( + 1) 0 W(-1)
grad u = / ' , en donde / = u + ¿y
con v cualquier armónica 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 / SECCIÓN 6.5
7T + 2 Re [ —¿L og(l — z)] = 1 . (tt/ 2)i/2 e_blíl
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 sección 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 ‘ (t—x)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>)\ lím e 50 ; lím {/(</>)
« ( 0 ,s ) = 0,
0 U ^ 0+ (p~*oo
lím 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
solución
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
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 número que se anota en cada término se indica la página en que éste se define.
299
3 00 ÍNDICE
i
La impresión 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