Variable Compleja
Variable Compleja
Variable Compleja
AGRADECIMIENTOS
La ayuda del señor Michael F. Brown ha sido de inestimable valor para mí en la prepara
ción de esta segunda edición. El señor Brown ha leído cuidadosamente el manuscrito y
ha ofrecido muchas sugerencias para mejorarlo. Además, ha resuelto todos los ejercicios
del libro y en varios casos ha detectado errores en el borrador del manual de soluciones.
Es un lector cuidadoso y un buen matemático.
Durante muchos años, el profesor Francesco Bacchialoni ha impartido conmigo
el curso de variables complejas en la University of Massachusetts Lowell. El profesor
Bacchialoni me ha hecho diversas observaciones útiles acerca de la primera edición
de mi libro; algunas de ellas se han incorporado a este volumen. El profesor Stephen
Spurk de Lowell ha contribuido a detectar errores en la primera edición. También me
han ayudado en esta tarea algunos de mis estudiantes; espero que me perdonen por no
nombrarlos a todos. Entre ellos se cuentan Sophie Ting y su esposo Shen Ting, quie
nes me han proporcionado una ayuda especial. Mi colega, el profesor Roger Bau-
mann, fue quien me propuso que escribiese la primera edición de este libro. Aún me
siento en deuda con él.
Comencé a escribir la segunda edición durante el año sabático que pasé en el De
partamento de Ciencias Aplicadas de la Harvard University. Quisiera agradecer al profe
sor Ronold W. P. Ring de dicha institución por concertar mi estancia y por darme la
oportunidad de convivir en el amable medio intelectual por el que es bien conocido.
El señor Michael Payne, mi editor en Addison-Wesley, me ha dado sabios consejos
y me ha hecho trabajar a un ritmo razonable. Se lo agradezco y también agradezco a su
capaz asistente, la señorita Laurie Rosatone. Addison-Wesley me ha puesto en contacto
con varios asesores a quienes agradezco que hayan leído el manuscrito y que hayan he
cho buenas sugerencias. Se trata de las siguientes personas: los profesores Newman H.
Fisher de la San Francisco State University, Mark Elmer de SUNY-Oswego, Edward Ko-
lesar del Instituto Tecnológico de la Fuerza Aérea y Peter Colwell de la Iowa State Uni
versity. La tarea de procesar el texto de este proyecto ha sido hábilmente desempeñada
por Stuart Stephens y Jeff Knight.
Peggy McMahon de Addison-Wesley ha supervisado la producción de este libro. Me
ha hecho trabajar a un ritmo tan animado como humanitario. He disfrutado trabajar con
ella. Mi experto copieditor Andrew Schwartz me ha impresionado por su conocimiento
tanto de la lengua inglesa como de las matemáticas.
A. David Wunsch
Departamento de Ingeniería Eléctrica
University of Massachusetts Lowell
Lowell, Massachusetts 01X54
índice general
Capítulo 1
Números complejos
1.1 Introducción 1
1.2 Otras propiedades de los números complejos 9
1.3 Los números complejos y el plano de Argand 13
1.4 Potencias enteras y fraccionarias de un número complejo 28
1.5 Lugares geométricos, puntos, conjuntos y regiones en el plano complejo 38
Capítulo 2
La función compleja y su derivada
2.1 Introducción 49
2.2 Límites y continuidad 54
2.3 La derivada compleja 63
2.4 La derivada y la analiticidad 69
2.5 Funciones armónicas 78
2.6 Algunas aplicaciones físicas de las funciones armónicas 85
Capítulo 3
Las funciones trascendentes básicas
Capítulo 4
Integración en el plano com plejo
Capítulo 5
S eries infinitas de una variab le com pleja
Capítulo 6
Residuos y su uso en la integración
C apítulo 7
Transform ada de Laplace y estabilidad de sistem as
Capítulo 8
La transform ación conform e y algunas de sus ap licacion es
1.1 INTRODUCCIÓN
( ’on objeto de preparamos para el estudio de los números complejos, la variable com
pleja y, finalmente, de las funciones de una variable compleja, examinemos una pe
queña porción de la educación matemática preliminar de un lector hipotético.
Los niños descubren a edad temprana aquellos números enteros que, más sofisti-
i adámente, llamamos enteros positivos. El cero, otro número entero, es un concepto
que el niño también aprende pronto.
La suma y la multiplicación de dos enteros, operaciones cuyo resultado es siem
pre un entero positivo o bien cero, se aprenden en la escuela elemental. También se
estudia la sustracción, pero los problemas se escogen con cuidado; se puede pedir, por
ejemplo, el resultado de 5 menos 2, pero no el de 2 menos 5. Las respuestas son siempre
enteros positivos o cero.
Al cabo de unos años quizá se le pedirá al mismo estudiante que calcule 2 menos
S y operaciones similares. Esto exige el concepto de enteros negativos, extensión al
parecer lógica del sistema que contiene a los enteros positivos y al cero. Sin embargo,
para evitar ciertas inconsistencias es preciso aceptar una regla que resulta poco atrac
tiva a la intuición, a saber, que (—1)(—1) = 1. El lector tal vez haya olvidado lo artifi-
i lal que parece esta igualdad a primera vista.
Con el conjunto de los números enteros (es decir, los números enteros positivos,
los números enteros negativos y el cero), el estudiante es capaz de ejecutar cualquier
proeza de adición, sustracción o multiplicación y obtener siempre un resultado entero.
Modernos despejar x de ciertas ecuaciones algebraicas simples como m + x = n (con m
2 i ¡ipllulo I Números complejos
y
z = w,
entonces
a = c, b = d.
* En casi todos los textos de ingeniería eléctrica se usa el símbolo j en lugar de i, ya que i se re
serva para denotar la corriente. Sin embargo, en los libros de matemáticas se usa invariable
mente i.
4 <npihiln I l\limeros complejos
ley conmutativa:
w + z —z + w (para la suma),
( 1. 1- 6)
wz = zw (para la multiplicación),
ley asociativa:
w + (z + q) = (w 4- z) -f q (para la suma), ( j ^-1)
w(Zí?) = (wz)<7 (para la multiplicación),
ley distributiva:
w(z + q) = wz + wq. ( 1. 1- 8)
z + w = (a + c) + i0,
y para su producto obtenemos
z 2 = - 1 + /0. d .1 - 1 0 )
Sabemos que (0 + z')2 = z2 = -1 + z’O. Por lo tanto, z = 0 + z (es decir, z = i) es una
solución de la ecuación (1.1-10). De manera análoga, podemos comprobar que z =
0 - i (esto es, z = -i) también es solución. Podemos decir que la ecuación z 2 = -1 tie
ne las soluciones ±z. Así pues, afirmamos que en el conjunto de los números comple
jos -1 tiene dos raíces cuadradas: i y -z, y que i es una de dichas raíces cuadradas.
En el caso de la ecuación z 2 = -N , donde N es un número real no negativo, pode
mos proceder de manera similar y obtener z = ± i Por lo tanto, el conjunto com
plejo puede proporcionar dos raíces cuadradas para cualquier número real negativo.
Ambas raíces son imaginarias puras.
Inicialmente se nos enseña que la ecuación cuadrática
2a
siempre y cuando b2 > 4ac. Con nuestro conjunto complejo esta restricción ya no es
necesaria.
Usando el método de “completar el cuadrado” en la ecuación (1.1-11) y tomando
12 - 1, tenemos, cuando b2 < 4ac, que
b c
z 2 + - z + - = 0,
a a
b \2 b2 c , /c b2
2a) 4 a2 a 4a2} '
1 Se encontrará una magnífica historia breve de los números complejos en el artículo “Thinking
the Unthinkable: The Story of Complex Numbers (with a Moral)”, por Israel Kleiner en The
Mathematics Teacher 81:7 (octubre de 1988): págs. 583-592.
Ejercicios 7
inventó en 1779 la notación z, que hoy seguimos usando. En 1799, Karl Friedrich
(iauss (1777-1855), matemático alemán, ya había usado números complejos para de
mostrar el Teorema Fundamental del Álgebra. Por último, en 1835, el irlandés Sir
William Rowan Hamilton (1805-1865) presentó la rigurosa teoría moderna de los nú
meros complejos, en la que los símbolos i y V-T no figuran en absoluto. En la si
guiente sección daremos un breve vistazo a este método.
EJERCICIOS
Consideremos la jerarquía de los conjuntos numéricos por orden de sofisticación creciente:
enteros
números racionales
números reales
números complejos
Para cada una de las siguienes ecuaciones ¿cuál de los cuatro conjuntos numéricos arriba
presentados es el más elemental en el que puede obtenerse una solución x?
1. 4x4- 2 = 0
2. x 2 + 2x + 1 = 0
3. x 2 4- 2x = 0
4. x 2 4- x 4- 2 = 0
5. x 2 - 2 = 0
6. x 2 -b 2 = 0 \
7. 4x2 - 1 = 0
8. Un decimal con un número infinito de dígitos como e = 2.718281... es un número irracio
nal ya que sus dígitos no forman patrones repetitivos. Pero un decimal con un número in
finito de dígitos como 12.1212121... es un número racional. Debido a que los dígitos se
repiten de una manera específica, podemos escribir este número como el cociente de dos
enteros, como demuestra el proceso descrito a Continuación.
En primer lugar reescribimos el número en la forma 12[1.01010101...], o bien,
12[1 4- 10"2 4- 1(T4 + 1(T6 + •••].
a) De lo que sabemos acerca de las series geométricas infinitas, recordemos que 1/(1 - r)
= 1 I r + r 2..., donde r es un número real tal que -1 < r < 1. Ahora sumemos la serie
[1 + 1(T2 4- 1(T4 4- 1(T6 +•••].
b) Use el resultado del apartado (a) para demostrar que 12.1212... es igual a 1200/99.
Compruebe esta respuesta efectuando la división con una calculadora de bolsillo.
c) Usando la misma técnica exprese el número 143.143... como un cociente de enteros.
9. Usando la técnica del ejercicio 8 exprese el número 3.040404... como un cociente de
enteros.
8 CitpMiilo I N úm eros complejos
10. a) Muestre que si un entero es un cuadrado perfecto par, su raíz cuadrada es par.
b) Suponga que V2 es un número racional. Entonces debe poder expresarse en la forma
V2 = m/n, donde m y n son enteros y mln es una fracción irreducible (es decir, m y n
no tienen factores comunes). De la ecuación anterior, tenemos que m2 = 2n2. Explique
por qué esto significa que m es un número par.
c) Reordenando la última ecuación, tenemos n2 = m2/2. ¿Por qué esto significa esto que
n es par?
d) ¿A qué contradicción hemos llegado al suponer que y¡2 es racional? Aunque es fácil
mostrar que V2 es irracional, no siempre es tan simple demostrar que otros números
son irracionales. Por ejemplo, la demostración de que 2 ^ es irracional no se obtuvo
sino hasta el siglo xx. Se encontrará un análisis de este tema en R. Courant y H.
Robbins, What is Mathematics? (Oxford, Inglaterra: Oxford University Press, 1941),
pág. 107.
En los siguientes ejercicios, ejecute las operaciones y exprese los resultados en la forma a + ib.
11. (3 + 4/) + (l + 2i)
12. (3 + 40(1 - 20
13. (1 + 20(1 - 20(3 + 40
14. Im[(3 + 40(1 - 20]
15. (3 - 40(3 - 40(3 + 40(3 + 40
16. ( / + ig)n( f - ig)n, donde n > 0 es un entero y / y g son reales
Seaz un número complejo cualquiera. En los siguientes ejercicios, muestre que:
17. Refiz) = —¡m z
18. Im(iz) = Re z ^
19. Re(z2) = (Re z)2 - (Im z)2
2Í. Im(z2) = 2(Re z)(Im z)
¿Cuáles de los siguientes enunciadqs son verdaderos en general para dos números complejos
cualesquiera z, y z2?
Esta fórmula indica que, para calcular w/z = (c + id)/(a + ib), hemos de multiplicai
el numerador y el denominador por el conjugado del denominador, esto es,
Usando la ecuación (1.2-7) con c = 1 y d = 0 podemos obtener una fórmula útil para
el inverso de a 4- ib; es decir,
1 a ib
a 4- ib a2 + b2 a2 + b2 ^ ^
Nótese, en particular, que con a = 0 y b = 1 obtenemos Mi = —i. Es fácil verificar este
resultado, pues sabemos que 1 — (~i)(i).
Puesto que todas las expresiones anteriores pueden obtenerse aplicando las reglas
del álgebra convencional y la identidad i 2 = -1 a los números complejos, se deduce
que otras reglas del álgebra ordinaria como las que se enuncian a continuación tam
bién pueden aplicarse a los números complejos:
¿ r ( 4 (4 - ^ “(4(4 ( , '2 - 9 )
Este tipo de fórmulas puede a veces ahorramos trabajo. Consideremos, por ejemplo
1 4-i 1 —i
------------------ _J------------------------ = X + . ty m
3 _ 4i 3 + 4i
Despejar x e y de esta ecuación puede resultar bastante engorroso. Notemos, sin em
bargo, con ayuda de lá ecuación ( 1.2- 10d), que la segunda fracción es el complejo
1.2 Otras propiedades de los números com plejos 11
EJERCICIOS
Calcule los valores numéricos de las siguientes expresiones. Escriba sus respuestas en la forma
a 4- ib, donde a y b son números reales.
1 „ 2+ i
1. 2.
1- i 1- i
2 4- i 2 - i [2 +i y
3. :+ - : 4-i 4. + --------+
1 4- i L i-í 1+ / J
r i + / T 041
H — J
t r i ü . J L T
7* [ (l + í|+ TTi] |_3 4- 4i 3 - 4íJ
Sean z, = x¡ 4- iy] y z2 = x2 4- iy2 Sin usar las ecuaciones (1.2-10a-d), compruebe que:
1
11. 12.
¿Qué restricciones, si las hay, es necesario aplicar a z, y z2para que las siguientes ecuaciones se
satisfagan? Sean z, — x x 4- iyx y z¿ = x2 4- iy2.
121 = , / ? + ? . .(1 .3 -1 )
El módulo de un número complejo es un número real no negativo. Aunque no
podemos decir que un número complejo es mayor (o menor) que otro, sí podemos
decir que el módulo de un número complejo es mayor que el de otro; por ejemplo,
|-l f /| > |2 + 3/| puesto que
|4 + (| = y / \ 6 + 1 = s/ v í > |2 + 3í| = v
El módulo de un número complejo es igual al de su conjugado porque
i¿i = , / x 2 + ( - y )2 = y * 2 + ui.
El producto de un número complejo por su conjugado es el cuadrado del módulo
tlel número complejo. Para entender esto, observe que z z = x 2 + y 2. Así pues, de la
ecuación (1.3-1),
zz = |z |2. (1.3-2)
I .i raíz cuadrada de esta expresión también es útil:
|z| = y/z¿. ( 1.3- 3)
14 C apítulo 1 Núm eros com plejos
|ZlZ2| = y /z ^ z 2(z^r2) ==
Valiéndonos de la ecuación (1.3-3) para reescribir los dos radicales de la derecha te
nemos finalmente
El módulo del cociente de dos números complejos es igual al cociente de sus mó
dulos.
Después de leer unas cuantas páginas más el lector verá que, en general, el módu
lo de la suma de dos números complejos no es igual a la suma de sus módulos.
EJEMPLO 1
¿Cuál es el módulo de - i + ((3 + /)/(1 - /'))?
0
Solución
En primer lugar, simplificamos la fracción
3+ i (3 + 0 ( 1 + 0 t
= = 1 + 21.
1- i (i - 0(1 + o
Así
-i + = 1+ i y |1 + i| = y / 1 <
EJEMPLO 2
Determine |(3 + 4z)5/(l + i V3 )|.
Solución
De la ecuación (1.3-5) tenemos
1.3 Los números com plejos y el plano de Argand 15
^ — Punto p
y que representa a z =x + iy
y
y
y
y i_________ ^
Figura 1.3-1
(3 + 4¿)5 |(3 + 4Q |
1 + Íy /3 II +Íyfi\'
Ahora bien, |(3 + 4 í f | = |3 + 4z| 5 = (V 32 + 4 2 )5. Además, |1 + S I = V i2 +(V3 ) 2
l’or lo tanto,
(3 + 4i)5 (y ^ 2 + 42)5 _ 55
I+ ^ n /3 v 12 + ( v 3)2 2
Plano complejo o de Argand
I i expresión del número complejo z = x + iy como pareja z = (.x, y ) quizá nos su
piera la notación para las coordenadas de un punto en el plano x y . La expresión
| z | = yJx2 + y 2 nos indica a su vez la expresión de la distancia pitagórica de dicho
punto al origen.
No debe sorprendemos que el plano xy (o plano cartesiano) se use a menudo para
icpresentar números complejos. Cuando se usa para este propósito se le conoce como
plano de A rgand,1" plano z o plano complejo. En estas circunstancias, el eje x , o eje
Iioi izontal, se llama eje de los números reales, mientras que el eje y 9 o eje vertical, se
conoce como eje de los números imaginarios.
En la figura 1.3-1 decimos que el puntop, cuyas coordenadas son x e y , represen
ta el número complejo z = x + i y. El módulo de z, es decir, | z |, es la distancia de x ,y
origen.
Otra representación posible de z en este plano es en forma de vector. Mostramos
x + i y como una línea dirigida que comienza en el origen y termina en el punto x,
r, como se muestra en la figura 1.3-2. La longitud del vector es | z |.
Así, podemos representar un número complejo como un punto o como un vector
en el plano x y . Usaremos ambos métodos. A menudo nos referiremos al punto o vec-
o*i como si se tratase del propio número complejo y no sólo de su representación.
1 Se llama así en honor a Jean Argand (1768-1822), matemático suizo que en 1806 propuso esta
representación para los números complejos.
16 Capitulo I Núm eros com plejos
Hemos puesto Re z e Im z dentro del sím'bolo | | porque lo que nos ocupa aquí es
una longitud física (que no puede ser negativa). Aunque en la figura 1.3-2 se muestra
un caso en que Re z e Im z son positivos, muy bien hubiésemos podido usar una figu
ra en que uno de estos valores, q ambos, fuesen negativos, y la ecuación (1.3-6) seguid
ría siendo válida.
Cuando representemos un número complejo por un vector, la posición del punte
inicial de dicho vector no será importante. Así, la línea dirigida que va del origen a
x — 3, y = 4 es el número complejo 3 + 4 i, como también lo es la línea dirigida que
va de x = 1, y = 2 a x = 4, y = 6 (véase la Fig. 1.3-3). Ambos vectores tienen una
longitud de 5 y apuntan en la misma dirección. Las proyecciones de ambos en los ejes
x e y s o n 3 y 4, respectivamente.
Existe una cantidad ilimitada de segmentos de recta dirigidos que podemos usai
para representar un número complejo. Todos ellos tienen la misma magnitud y apun
tan en la misma dirección.
Figura 1.3-3
1.3 Los números com plejos y el plano de Argand 17
xx x x+x2
Esta desigualdad también puede obtenerse por medios puramente algebraicos (véase
el Ejer. 34).
En los ejercicios 29 y 30 se obtienen otras dos útiles desigualdades. Dichas des
igualdades son:
kl - z 2<
¡ |z ,| + |
y
| z ! + Z2 | > || z , | - | z 2 ||.
La ecuación (1.3-7) muestra, como ya se dijo, que el módulo de la suma de dos núme
ros complejos no es necesariamente igual a la suma de sus módulos. Sumando vecto
rialmente tres números complejos como se muestra en la figura 1.3-8 vemos que
IZ 1 + z 2 4- Z 3 1 < | Z j | + | z 2 | + | z 3 |.
Está claro que este resultado se puede extender al caso de una suma con cualquier
cantidad de elementos:
Representación polar
Con frecuencia, los puntos del plano complejo, que representan números complejos,
se definen en términos de coordenadas polares (véase la Fig. 1.3-11). El número com
plejo z = x + iy está representado por el punto p cuyas coordenadas cartesianas son x,
y, o cuyas coordenadas polares son r, 9. Vemos que r es idéntico al módulo de z, es de
cir, a la distancia de p al origen; y 9 es el ángulo que forma con el eje x el segmento
que va del origen a p. Decimos que 9 es el argum ento de z y escribimos 9 = arg z. En
ocasiones se dice que 0 es el ángulo de z. A menos que se indique lo contrario, 9 se
expresará en radianes. Cuando aparezca el símbolo °, 9 se expresará en grados.
1.3 Los números complejos y el plano de Argand 19
. -.Y
Figura 1.3-11
Figura 1.3-12
20 C ¿ipiliilo I Números com plejos
donde 0Oes algún valor particular de arg z. Si trabajamos con grados, 0 = 00 + k 360*
describe todos los valores de 9.
El valor principal del argumento (o argumento principal) de un número comple
jo z es el valor de arg z que es mayor que - n y menor o igual que n.
Así pues, el valor principal de 9 satis lace la desigualdad
7t< 6< n} (1.3-11
El lector puede expresar esta desigualdad en grados. Obsérvese que el valor principa
del argumento cuando z es un número real negativo es n (o 180°).
EJEMPLO 3
Usando el argumento principal determine las coordenadas polares del punto que re
presenta al núinero complejo -1 -/.
Solución
La distancia polar r de -1 - i es , como podemos ver en la figura 1.3-13. El valo
principal de 9 es -3/r/4 radianes. No es 5/r/4 pues este número es superior a k . Al cal
cular valores principales no se debe hacer lo que indica la línea punteada de la figu
ra 1.3-13, o sea, cruzar la parte negativa del eje real. De la ecuación (1.3-10) vemoi
que todos los valores de arg (-1 -i) están contenidos en la expresión
—371
9= b 2/c7i, k = 0, + 1, + 2 ,__
4 - -
9 = ta n -1 (y/x),
que podría usarse para obtener 0, particularmente si se usa una calculadora de bolsillo
requiere una observación. Sabemos, por la trigonometría elemental, que aun estipu
lando el valor de y/x, esta ecuación no contiene información suficiente para determi
nar el conjunto de valores de 6. Es necesario precisar el signo de x o y para determina
el conjunto adecuado.
Por ejemplo, si y/x = 1/V3 podemos obtener 9 = k /6 + 2kn, o bien 9 = —5 /r/6 +
2kit, k = 0, ±1, ±2,... Ahora bien, si y es positivo (es decir, si z está en el primer cua**
drante), hemos de elegir el primer conjunto. Si y es negativo (o sea, si z está en el ter
cer cuadrante), debe elegirse el segundo conjunto.
f La definición del argumento principal que aquí presentamos es la más común. Sin embargo, al
gunos textos utilizan otras defunciones, por ejemplo, 0 < 6 < 2k.
1.3 Los números com plejos y el plano de A rgand 21
1 1 eos 0 — i sen 9
z r(eos 9 -f i sen#) r(cos # + i sen#)(cos 9 — i sen#)
eos 0 — i sen 6 eos 6 —
— i sen 6 1
r(cos2 6 + sen2 9) r r
De donde
(1.3-17)
z r^/#---- r<------
Por lo tanto, el módulo del inverso de un número complejo es el inverso del mó
dulo de dicho número y el argumento del inverso de un número complejo es el ar
gumento del número cambiado de signo.
Consideremos ahora los números complejos z, = r ]/0j_y z2 = r2/fl2- A fin de di
vidir Zj entre z2 multiplicamos z, por l/z2 = 1lr2¡-02. Así
(1.3-18)
El módulo del cociente de dos números complejos es igualal cociente de sus mó
dulos y el argumento del cociente es igual a la diferencia del argumento del nu
merador menos el argumento del denominador.
EJEMPLO 5
Evalúe (1 + /y v 3 + i) usando la forma polar de los números complejos.
f 1.3 Los números com plejos y el plano de A rgand 25
Solución
l e liemos
^ = ^ / a r c .,„ ( ! /! ) _ 1 _ I . /] 2
>/3 + i 2 /a r c ta n ( l/v/3) 2/n/6------------ X/ 2 Z------
I I resultado anterior puede convertirse a la forma rectangular:
1+ i cos(7c/12) .sen(7r/12)
\/3 + Í y jl y jl
( !on ayuda de la ecuación (1.2-7) podríamos haber resuelto este problema enteramen-
le en coordenadas rectangulares. Pero existen ciertos cálculos en los que el uso de la
notación polar puede ahorramos trabajo, como en el siguiente ejemplo. M
EJEMPLO 6
I valúe
(1 -H Q(3 -t- Q (-2 - i)
a + ib =
(0(3 + 4i)(5 + 0
donde a y b son incógnitas por determinar.
Solución
I ncontremos primero el resultado polar r¡0. En primer lugar, obtenemos r a partir de
las propiedades usuales de los módulos de productos y cocientes:
- n
í are tan -1 + are tan -1 + are t a n ---- / 1 4 1\
— are tan - + are tan - + are tan - .
V 1 3 —2/ V 0 3 5/
0 = (0.785 + 0.322 + 3.605) - (1.571 + 0.927 + 0.197) = 2.017.
Por lo tanto,
EJERCICIOS 28
IJetermine el módulo de cada una de las siguientes expresiones: 1 29.
1. 3 + 4/ 2. (3 + 4/)( 1 + 2i)(i)
(3+40(1+0 f(3+40(l + 0T
3- (3 -4 /) 4’ [ 3 -4 / J
. /* + i y \ (3 -f4í)(l + 0
5. —) >^ > 0 es entero 6. i- f -
x — iy j " 3 — 4i
Los siguientes vectores representan números complejos. Exprese estos números en la for
a -I- ib.
7. El vector que va de (1, 2) a (-3, 4).
8. El vector de longitud 10 que sale de (1, -2) y forma un ángulo de id6 radianes en sentidi
positivo con la parte positiva del eje x.
9. El vector que termina en (2, 2). Su longitud es de 5 y pasa por el punto (1, 0).
10. El vector que empieza en (2, 3) y termina en la recta y = -x. La recta y el vector forman \\
ángulo recto.
11. El vector que empieza en (0, 0), tiene longitud 5 y termina en el primer cuadrante sobre |
parábola y = x 2.
Encuentre el argumento principal de estos números complejos. Use una calculadora de bolsillo
Determine, en la forma a + ib, los números complejos representados por los puntos coi
las siguientes coordenadas polares.
32
18. r =2 , 0 = 3 19.
Convierta las siguientes expresiones a la forma r cis 6. Escriba r y exprese todos los valo
res posibles de 9 en radianes. Indique el valor principal.
20. s fí + i 21. - s / i - i
22. (3 + 40(3 + 4/)( 1 + i) 23. ( J l + ¿)*(1- O3
Reduzca las siguientes expresiones a la forma r cis 9. Dé, en radianes, únicamente el valor prin
cipal de 9.
(1 + / ) ( - ! - i j j ) (1 + 02(2 + 0
3/ tt/8 * (3 -f 0 2 cis(37r/4)
[cis( —tt/6)]4
Ejercicios 27
p+ q < P2 + Q2-
b) Useel resultado anterior para mostrar que, para un número complejo z cualquiera, tene
mos |Re z\ + |Im z| < V2 | z |
c) Compruebe el resultado anterior para z = 1 - i y¡3 .
d) Determine un valor de z tal que el signo de igualdad sea válido en (b).
a) Teniendo en cuenta el producto de 1 + ia por 1 + ib, así como el argumento de cada
factor, verifique que
Sugerencia: Observe que |z, 4- z2|2 = (z, + z2)(z, + z2) = (z, 4- z2)(z, + z 2). M
Multiplique (z, 4- z2) (z, + z2 )y recurra al hecho de que para un número com
plejo, digamos w,
^ w + v v = 2Rj?w, y |R ew |<|w |.
b) Observe que |z,|2 4- |z2|2 4- 2|z,| |z2| = (|z,| 4- |z2|)2. Compruebe que la desigualdad q
se demostró en la parte (a) nos lleva a la desigualdad del triángulo |z, + z2| < |z,| 4- 11
i ' -----------------
35. a) A partir del producto (z, - z 2) (z, - z2), muestre que
Sugerencia: Identifique las longitudes b y c con |z,| y |z2|. Suponga que z2es m
z - m = ------------------------------- . (1.4-3)
rw[cos(ra0) + /sen(m0)]
II en el lado derecho de la ecuación (1.4-3) multiplicamos el numerador y el denomi-
iiilor por la expresión eos mO - i sen m0? tendremos
? 3 /
1 eos mO - i sen mO _mr n
r m[cos mu — rsen m9\. >
rmeos2 mO 4 sen2 mO
I
Ahora bien, como eos (mO) = eos (~m8) y -sen (mQ) = sen(-w0), obtenemos
z ~ m = r ~m[cos( —mO) + i sen ( —mO)], m = 1, 2, 3 ,.... (1.4-4)
I i.» útil y novedosa fórmula fue descubierta por Abraham DeMoivre (1667-1754), hugonote
ido en Francia, quien vivió la mayor parte de su vida en Inglaterra. Fue discípulo de Isaac
Nevvton.
3(1 ( 'apítulo I Números com plejos
Potencias fraccionarias
r = pm o p = r í/m.
Como p es un número real positivo, debemos tomar la raíz positiva de r x,m. Por l<j
tanto
p = ?fr(1.4-101
El ángulo 6 de la ecuación (1.4-9) no es necesariamente igual a m<\>. Todo lo qul
podemos hacer es concluir que estas cantidades difieren en un múltiplo entero de 2\
esto es, que m é - 6= 2kn, lo que significa que
fe 2kn\ 2kn\
z 1/m = p[4^ = ? fr e o s ---- h ---- + i sen — + ----
. \m m ) \m m )_
El número k que aparece en el lado derecho de esta ecuación puede tomar cualquie
valor entero. Supongamos que inicialmente tomamos k = 0 y hacemos que k aum entj
de uno en uno. El valor k = 0 corresponde al seno y coseno de 6/m\ k = 1 correspon
de al seno y coseno de 6/m 4- 2nlm, etcétera. Finalmente, k = m corresponde al senJ
m
1.4 Potencias enteras y fraccionarias de un número com plejo 31
y Coseno de 6!m + 2 n. Pero sen ( 9/m + 2n) y eos (0/m + 2n) son numéricamente
láñale', idseno y al coseno de0/m.
Si k = m + 1, m + 2, etc.,se repiten los valores numéricos del coseno y el seno
ijiir obtuvimos con k — 1,2, etc. Por tanto, podemos obtener todos los valores de z x,m
mt9htk'ic(m e n te distintos tomando valores de k de 0 a m - 1 en la ecuación anterior.
AM pues, z xlm tiene m valores distintos, que están dados por la ecuación
|h> hecho, para generar todos los valores de z ]/m basta con tomar como valores de k
i iMlqmcr serie de m enteros consecutivos (por ejemplo, k = 2 -» m + 1).
Por nuestros anteriores cursos de matemáticas sabemos que un número real posi-
tlVO, (I igamos 9, tiene dos raíces cuadradas distintas, en este caso ±3. La ecuación
11 I 1.1) indica que los números complejos tienen también dos raíces cuadradas (to-
Iflimln m = 2, k = 0, 1), pero además tienen 3 raíces cúbicas (m = 3, k = 0, 1, 2) y así
incisivamente.
I a interpretación geométrica de la ecuación (1.4-12) es importante porque puede
pit mil irnos representar fácilmente los puntos del plano complejo que representan las
fllccs de algún número. Todas las raíces tienen el mismo módulo yfr (o ¡^j¡j). Por lo
Mulo, pueden representarse sobre un círculo de radio yfr. Todos los valores que se ob
tienen por medio de la ecuación (1.4—12) tienen argumentos distintos. Al aumentar k eo
lito se indica en la ecuación (1.4-12), los argumentos aumentan de d/m a 6/m + 2 ( m - 1)
por incrementos de 2idm. Así, los puntos que representan los diversos valores de
\ que aparecen sobre el círculo de radio rfr, están uniformemente distribuidos con
| I 'M
MM.t sep; nación angular de 2n!m. Uno de los puntos (k — 0) forma un ángulo de 0/m
Hin la parte positiva del eje x. Por lo tanto, contamos con suficiente información para
♦api es enlar gráficamente todos los puntos (o los vectores correspondientes).
I a ecuación (1.4-12) se obtuvo suponiendo que m es un entero positivo. La ecua
ción .sigue siendo válida si m es un entero negativo, salvo que ahora generamos todas
1.1» i» lees tomando como valores de k \m\ valores consecutivos (por ejemplo, k = 0, 1,
, |m| - 1). Las \m\ raíces están uniformemente distribuidas sobre un círculo de ra-
Ílll <(// , y una de ellas forma un ángulo de O/m con la parte positiva del eje x. Todos
ItlH valores de z Vm satisfacen la expresión (zxlm)m = 2 para este valor negativo de m .
/ II MPLO 1
(Hit medio de la ecuación (1.4-12) determine todos los valores de (-1 ),/2.
Holiu ion
Vqii! r | 11 I y m = 2 en la ecuación (1.4-12). Para 0 podemos tomar cualquier
•o inm uto de I Tomaremos el valor k. Así
32 C apitulo I Números com plejos
/
/ \
\
/ JC
\ /
Figura 1.4-1
fc = 0, 1.
Con k — 0 en esta fórmula obtenemos (-1 ),/2 = /, y con k = 1 obtenemos (-1 ) 1/2 =
En la figura 1.4-1 se muestra una gráfica de los puntos que representan estas dos ra
ces. La separación angular es de 2 nlm = 2n/2 = /r radianes.
EJEMPLO 2
Determine todos los valores de 1,/m donde m es un entero positivo. »
Solución
Tomando 1 = r cis(0) donde r = 1 y 6 = 0 y aplicando la ecuación (1.4-12) tenem
EJEMPLO 3
Determine todos los valores de (1 + i V 3 ),/5.
Solución
Sabemos que obtendremos cinco raíces. Usamos la ecuación (1.4-12) con m =
r = |1 + / >/3| — 2 y 8 = tan-1 V3 = n/3. El resultado es
1.123 + ¿0.241, k = 0,
0.120 + ¿1.142, k = 1,
-1 .0 4 9 + ¿0.467, k = 2,
-0 .7 6 9 - (0.854, k= 3 ,
0.574 - (0.995, k= 4.
I ii l,i figura 1.4-2 se muestran los vectores que representan estas raíces. Están separa
dos por una distancia angular de 2/r/5 radianes, es decir, de 72°. El vector correspon
díanle al caso k = 0 forma un ángulo de k/5 radianes, o 12°, con la parte positiva del
*|r y ( ualquiera de estos resultados debe dar 1 + i V3 al elevarlo a la quinta potencia,
hu e)einplo, usemos la raíz correspondiente a k = 1. Tenemos, con ayuda de la ecua-
t lóil (1.4-2),
n í n
K ^ |c oC O
s (S-I 1------- + i se n 1------ = 2 cos( ^ + 27r'j + i sen0 + 2n
15 5 \ 15 5
1 ' \ / 3 '
= 2 — 1+
2 2
I ,a motivación original para extender nuestro sistema numérico de los números
.i los complejos fue el deseo de resolver ecuaciones cuya solución implicase la
Mil/ • uadrada de un número negativo. Podríamos haber pensado que la búsqueda de ( -
h ' ’ < I )l/4, etcétera, daría lugar a sistemas numéricos cada vez más complicados. Ve-
imm pm el estudio que acabamos de presentar, que no es así. El conjunto de números
|(Mnpli*jos, aunado a la ecuación (1.4-12), basta para obtener cualquier raíz.
( «lacias a nuestro análisis de las potencias fraccionarias de z podemos ahora for-
|ltiiliti una consistente definición de z elevado a cualquier potencia racional (por
♦>)• niplo, / n%z 2,]) y, en consecuencia, resolver ecuaciones como z4/3 + 1 = 0 . La defi-
nii lún es
34 Capitulo I INúnicros com plejos
zn/m _ (z \/my
(1.4-13;
donde, como antes, 6 = arg z y | z | = r. No es difícil mostrar que las expresiones z~n!n
y z n,~m proporcionan el mismo conjunto de valores. Así, por ejemplo, podríamos calcuj
lar z4/~7 usando la ecuación (1.4-13) con m = 7, n = - 4 . ^
Si nlm es una fracción irreducible, entonces tomar valores de k de 0 a m - 1 en la
ecuación (1.4-13) da como resultado m raíces numéricamente distintas. En el plan<
complejo dichas raíces se distribuyen uniformemente sobre un círculo de radie
C 4 r )n.
Pero si n/m es reducible (es decir, si n y m tienen factores comunes)’ entonces
cuando k varía de 0 a m - 1, algunos de los valores que se obtienen por medio de la
ecuación (1.4-13) tendrán valores numéricos idénticos. Esto se debe a que la expre
sión Ikn n lm tomará al menos dos valores que difieren en un múltiplo entero de 2/r. Ei
el caso extremo en que n es divisible entre m, todos los valores obtenidos a partir d<
la ecuación (1.4-13) son idénticos. Esto confirma el hecho bien conocido de que z ele
vado a una potencia entera tiene un solo valor. Es preciso simplificar al máximo la
fracción nlm antes de aplicar la ecuación (1.4-13) si no queremos pender tiempo gene
rando raíces idénticas.
Supongamos que nlm es una fracción irreducible y z un número complejo d ad o ,)
consideremos los m valores posibles de z nlm. Si elegimos cualquiera de estos valores ;
lo elevamos a la potencia mln, obtenemos n números. Sólo uno de ellos es z. Así pues
hay que tener cuidado al interpretar la ecuación (z n,m)m,n = z.
EJEMPLO 4
Despeje w en la siguiente ecuación:
w4/3 + 2i = 0. (1.4-14)
Figura 1.4-3
Ejercicios 35
Si elución
fuñemos w4/3 = -2 /, lo que significa que w = (-2 z)3/4. Ahora usamos la ecuación (1.4-
I \ ) con n = 3, m = 4, r = | z | = {—2z| = 2 y 0 = arg(-2z) = -/r/2. Por lo tanto,
- ( - 2¿)3/4 = (^ /2 )3 fe = 0, 1, 2, 3;
¡ —3n
O
w = 1.68 j
8 ’ II
l9n
w = 1.68 i fe= i;
JH’
2 ln
w = 1.68 ^ k = 2;
X’
/33 tt
w = 1.681 k = 3.
X’
I os cuatro resultados aparecen representados gráficamente en el plano complejo de la
ligma 1.4-3. Están uniformemente distribuidos sobre el círculo de radio ( i¡2 )3. Cada
litio de estos resultados es solución de la ecuación (1.4-14), siempre y cuando usemos
Im potencia 4/3 adecuada. En el ejercicio 16 se verifica este resultado. M
K,n r c ic io s
i il>.i cada una de las siguientes expresiones en la forma a + ib y en la forma polar r¡6_. Pro-
■ lli ionc un valor principal para 6.
I l, (— yjh + i)? 2. ( - V 3 - Í ) - 5 3. (3 4- 4i')l2(l 4- i)-12
En la enseñanza secundaria nos enseñan que si a, b y c son números reales, las raíce
de la ecuación cuadrática pueden ser ya sea una pareja de números reales, o bien una pare
ja de números complejos cuyos valores son conjugados complejos el uno del otro. Si a, b
y c pueden ser complejos ¿sigue siendo válida la aseveración aijterior?
16. Consideremos una de las soluciones del ejercicio 4, por ejemplo, el caso k = 2. Eleve este
resultado a la potencia 4/3, escriba todos los valores que se obtienen y muestre que sólo
uno de ellos satisface la ecuación (1.4 14).
Determine todas las soluciones de cada una de las siguientes ecuaciones. Exprese la res
puesta en la forma a + ib. Utilice el resultado del ejercicio 15 cuando sea necesario.
'17. w2 - / = - 1 18. w3 - í = - V 3
í \ + i tan 6 \n _ 1 + i tan n6
, \ 1 — í tan 0J 1 — i tan nO
35. a) Muestre que, si m y n son enteros positivos con m + 0 ysi n/mes una fracciónirredu
cible, entonces el conjunto de valores de zM/m, definido por la ecuación (1.4-13) como
(z Vm) \ es idéntico al conjunto de valores de (z/r),//M.
Ejercicios 37
I») Si nlm es reducible (es decir, si m y n tienen factores comunes enteros), entonces (z l//w)"
y (z")Um no dan lugar a conjuntos de valores idénticos. Compare todos los valores de
( 11/4)2 con todos los valores de (12),/4 para comprobar que es así.
hulcmos obtener la raíz cuadrada de un número complejo sin recurrir a las coordenadas
polares. Sea a 4- ib — (jc + iy)x/2, donde jc e jy son números reales dados y a y b son núme-
ros reales por determinar.
,i i l-leve al cuadrado ambos lados de esta ecuación y demuestre que esto implica que
1) x = a2 - b \
2) y = 2ab.
Ahora supongamos que a ¥= 0.
h) l Ise la ecuación (2) para eliminar b de la ecuación (1) y compruebe que ahora la ecua
ción (1) equivale a una ecuación cuadrática en a 2. Demuestre que
„! = I W Z ± Z .
2
I Aplique por qué debe descartarse el signo menos en la ecuación (3). Recuerde lo que
exigimos del número a. y
i ) ( ompruebe que
4) b2 = Z Í ± v 5 l ± Z .
2
ti) I)e las raíces cuadradas de las ecuaciones (3) y (4) obtenemos
± x / x + x ¿x 2 + y 2
72
„ , ' ± y j - x + v/*2 +
6) b = --------------- •
7*
Supongamos que y es positivo. ¿Qué indica la ecuación (2) en cuanto a los signos de a
\ />? De donde, si a, determinado a partir de la ecuación (5) es positivo, entonces b ob
tenido de la ecuación (6) también lo es. Demuestre que si a es negativo, b también es
negativo. Así, si>> > 0 hay dos valores posibles de z m = a 4- ib.
*0 Supongamos que y es negativo. Demuestre nuevamente que a + ib tiene dos valores y
que a es.positivo y b negativo para uno de los valores, y lo contrario ocurre para el otro.
I) Supongamos que y = 0. Muestre que (jc + z » l/2 tiene dos valores que son reales, nulos
o imaginarios según sea jc positivo, nulo o negativo. Use (1) y (2). Exprese a y b en tér
minos de jc.
i*i l Ise las ecuaciones (5) y (6) para obtener los dos valores de / 1/2. Verifique sys resulta
dos determinando estos valores por medio de la ecuación (1.4-12).
IVi oí demos, de nuestros cursos de álgebra elemental, la fórmula para la suma de una se-
i u* geométrica finita:
38 Capítulo 1 Núm eros com plejos
1 - p n+l
1 + p + p 2 + ••• + pn = n es un entero no negativo, p # 1.
1- p
Esta fórmula también es válida cuando p es un número complejo ya que podemos aplj
car la misma deducción. Muestre, usando esta fórmula y el teorema de DeMoivre, qu
la suma de los n valores de z Vn es cero cuando n > 2. Interprete vectorialmente su resu|
tado.
?38. Use la fórmula para la suma de un serie geométrica que aparece en el ejercicio 37 y el te
rema de DeMoivre para deducir las siguientes fórmula! para 0 < 0 < 2 n :
\ +, sen f 4n\
— +, ••• + sen
1
= 0.
/ \n j n
f Más adelante en el texto presentaremos una definición precisa del término “región”. Por el mo
mentó, supondremos que significa alguna porción del plano z.
1.5 Lugares geom étricos, puntos, conjuntos y regiones en el plano com plejo 39
II )e modo similar, la doble desigualdad -2 < Re z < 1, que equivale a - 2 < x < 1,
fcfrcsponde
Mirirsi a los puntos que están entre y sobre las rectas verticales x = - 2 y x = 1.
pJW lo lanto, -2 < Re z < 1 define la franja infinita que aparece en la figura 1.5-3.
lambién podemos describir regiones más complicadas. Por ejemplo, considere-
Hton l,i desigualdad R ez < Im z. Esto implica que x <y. El signo de igualdad es válido
p M v y, es decir, para los puntos de la recta infinita que se muestra en la figura 1.5-
4 I a desigualdad Re z < Im z describe los puntos que satisfacen x y , esto es, los pun-
Im'i que se encuentran a la izquierda de la recta a 45° que aparece en la figura 1.5-4.
Ai!, Ke z < Im z representa el área sombreada de la figura, incluyendo la frontera x =
y ¡
Re z < 1
0 es el área
1:1 sombreada
<------- Re z = 1 a la izquierda
de x = 1
........i . ^
1 X
i x S lilllll
PlMilos y c o n ju n to s
l'ict l uimos un vocabulario breve para describir diversos tipos de puntos y colecciones
ib punios (llamadas conjuntos) en el plano complejo. Vale la pena estudiar y memori
x=y
a l los siguientes términos pues la mayor parte de ellos aparecerán de nuevo en capí
tulos posteriores.
I os puntos que pertenecen a un conjunto se llaman m iembros o elem entos del
i onpmto.
Se llama vecindad (o entorno)1 de radio r de un punto z0 al conjunto de puntos si-
iMMtlos en el interior de un círculo de radio r, centrado en z0 Se trata de los puntos que
■UlNliicen |z - z0| < r. Un punto dado puede tener varias vecindades ya que es posible
ftonftli un a, su alrededor círculos de radios diversos.
Figura 1.5-3 Figura 1.5-4 Una vecindad punteada de z0 es el conjunto de puntos que están dentro de un
tlfl iilo centrado en z0, salvo el propio punto z0. Se trata de los puntos que satisfacen
■ *♦ |ü - z()| < r. Tales conjuntos se llaman a veces discos p unteados de radio r centra
los puntos del plano z que están fuera del círculo de radio r, centrado en x Q, y Q, míen do , en z().
tras que la segunda parte \z- I In conjuntoa abierto
z0|< r2 corresponde, es aquel
los puntos que seenencuentran
el que, paraden|
todo elemento, existe una vecindad
tro del círculo de radio r2 centrado en x 0, y a. Los puntos que satisfacen amba tuyos puntos pertenecen todos al conjunto. Por ejemplo, el conjunto | z | < 1 es abierto.
desigualdades al mismo tiempo están en el anillo (un disco con un agujero en el ceq I uta desigualdad describe todos los puntos que están dentro de un círculo unitario cen-
tro) de radio interior r h radio exterior r2 y centrado en z 0. IfWilo en el origen. Como se indica en la figura 1.5-7, es posible trazar un círculo C0
(que puede ser muy pequeño) alrededor de cada uno de estos puntos, de tal forma que
EJEMPLO 1
Indi >n los puntos que están dentro de C0 queden dentro del círculo unitario. El conjunto
¿Qué región describe la desigualdad 1 < \z + 1 - 11 < 21?■, I no es abierto.
^ Los puntos del círculo | | = 1, así como los que están en su inte-
ilnr. pertenecen a este conjunto. Pero toda vecindad de un punto P sobre | z |= 1, por
Solución
pequen;! que sea, contiene puntos que no pertenecen al conjunto (véase la Fig. 1.5-8).
Esta desigualdad puede expresarse en la forma r, < za\ < r2, donde r t = 1, r2 - I In conjunto conexo es aquel en el que, dados dos puntos cualesquiera del con
¿o = -1 + i.La región correspondiente es el área sombreada que se encuentranoto, en ir existe una trayectoria formada por segmentos de recta que los une, y cuyos pun-
los círculos mostrados en la figura 1.5—6, pero que excluye los círculos propiamente M pertenecen todos al conjunto. Así, el conjunto de puntos definido por la región
dichos. ■Binbreada de la figura 1.5—9(a) no es conexo ya que no podemos unir los puntos a y
por medio de una trayectoria que pertenezca al conjunto. En cambio, el conjunto de
iUntos de la figura 1.5-9(b) sí es conexo.
PlMilos y c o n ju n to s
l'ict l uimos un vocabulario breve para describir diversos tipos de puntos y colecciones
ib punios (llamadas conjuntos) en el plano complejo. Vale la pena estudiar y memori
x=y
a l los siguientes términos pues la mayor parte de ellos aparecerán de nuevo en capí
tulos posteriores.
I os puntos que pertenecen a un conjunto se llaman m iembros o elem entos del
i onpmto.
Se llama vecindad (o entorno)1 de radio r de un punto z0 al conjunto de puntos si-
iMMtlos en el interior de un círculo de radio r, centrado en z0 Se trata de los puntos que
■UlNliicen |z - z0| < r. Un punto dado puede tener varias vecindades ya que es posible
ftonftli un a, su alrededor círculos de radios diversos.
Figura 1.5-3 Figura 1.5-4 Una vecindad punteada de z0 es el conjunto de puntos que están dentro de un
tlfl iilo centrado en z0, salvo el propio punto z0. Se trata de los puntos que satisfacen
■ *♦ |ü - z()| < r. Tales conjuntos se llaman a veces discos p unteados de radio r centra
los puntos del plano z que están fuera del círculo de radio r, centrado en x Q, y Q, míen do , en z().
tras que la segunda parte \z- I In conjuntoa abierto
z0|< r2 corresponde, es aquel
los puntos que seenencuentran
el que, paraden|
todo elemento, existe una vecindad
tro del círculo de radio r2 centrado en x 0, y a. Los puntos que satisfacen amba tuyos puntos pertenecen todos al conjunto. Por ejemplo, el conjunto | z | < 1 es abierto.
desigualdades al mismo tiempo están en el anillo (un disco con un agujero en el ceq I uta desigualdad describe todos los puntos que están dentro de un círculo unitario cen-
tro) de radio interior r h radio exterior r2 y centrado en z 0. IfWilo en el origen. Como se indica en la figura 1.5-7, es posible trazar un círculo C0
(que puede ser muy pequeño) alrededor de cada uno de estos puntos, de tal forma que
EJEMPLO 1
Indi >n los puntos que están dentro de C0 queden dentro del círculo unitario. El conjunto
¿Qué región describe la desigualdad 1 < \z + 1 - 11 < 21?■, I no es abierto.
^ Los puntos del círculo | | = 1, así como los que están en su inte-
ilnr. pertenecen a este conjunto. Pero toda vecindad de un punto P sobre | z |= 1, por
Solución
pequen;! que sea, contiene puntos que no pertenecen al conjunto (véase la Fig. 1.5-8).
Esta desigualdad puede expresarse en la forma r, < za\ < r2, donde r t = 1, r2 - I In conjunto conexo es aquel en el que, dados dos puntos cualesquiera del con
¿o = -1 + i.La región correspondiente es el área sombreada que se encuentranoto, en ir existe una trayectoria formada por segmentos de recta que los une, y cuyos pun-
los círculos mostrados en la figura 1.5—6, pero que excluye los círculos propiamente M pertenecen todos al conjunto. Así, el conjunto de puntos definido por la región
dichos. ■Binbreada de la figura 1.5—9(a) no es conexo ya que no podemos unir los puntos a y
por medio de una trayectoria que pertenezca al conjunto. En cambio, el conjunto de
iUntos de la figura 1.5-9(b) sí es conexo.
i______m
i 21
Un conjunto no acotado j
cuadrado 0 < Re z < 1, 0 < Im z < 1 está acotado pues existe un círculo que lo circunsJ
cribe (véase la Fig. 1.5-13). Un conjunto que no puede incluirse en un círculo es no
acotado. Un ejemplo de este caso es la franja infinita que se muestra en la figura
1.5-12'.
y a 00
Figura 1.5-14
Tracemos un segmento de recta que vaya de N al punto del plano xy que repre-
knita un número complejo z. La recta corta la esfera en un solo punto, que llamaremos
J* I)ecimos que z es la proyección de z sobre la esfera. De esta manera, podemos pro
yectar todo punto del plano complejo sobre un único punto de la esfera. Los puntos
■ti plano xy que se encuentran lejos del origen se proyectan sobre puntos cercanos a
11 parte superior de la esfera y las proyecciones sobre la esfera se aproximan cada vez
hiiT. a N cuanto más nos alejamos del origen. Concluimos así que el punto N de la es
leía corresponde al punto del infinito, si bien no podemos trazar z = oo en el plano
i Miiiplejo.
Cuando el plano z incluye el punto del infinito, se llama “plano z extendido”.
I liando no incluye oo, lo llamamos simplemente “plano z” o “plano z finito”.
Ln este libro no consideraremos al infinito como un número, a menos que se in
dique lo contrario. Sin embargo, cuando usemos el plano complejo extendido supon
dremos que el número infinito satisface las siguientes reglas:
z z
0; z ± oo = oo, (z / oo); - = oo, (z ^ 0);
oo
00 / . , X
z* oo = oo, (z ^ 0); — = oo, (z / oo).
z
Figura 1.5-15
46 CiipHulo I INlimeros com plejos
00
00 + 00, 00 — 00, .
00
EJERCICIOS
Describa en palabras o por medio de un diagrama la parte del plano complejo que corresponda
a las siguientes ecuaciones o desigualdades. Diga cuáles de estos problemas no tienen soluciónj
Sugerencia: Considere un vector que parte de -1 + z'Oy pasa por el centro del
círculo. ¿En qué puntos puede este vector cortar la circunferencia?
Represente estas regiones por medio de ecuaciones o desigualdades en la variable z.
. 14. Los puntos que pertenecen a la circunferencia y al exterior del círculo de radio unitariq
centrado en -1 - i.
f 15. Los puntos de una región anular centrada en 3 + /. El radio interior es 2 y el exterior es 4,|
Excluya los puntos de la frontera interior e incluya los de la frontera exterior.
16. Los puntos que pertenecen a la circunferencia y al interior del círculo de radio 2 centrado
en 3 + 4z, excepto el centro del círculo.
17. Considere el conjunto abierto descrito por | z | < 1. Encuentre una vecindad del punto!
0.99/ cuyos puntos pertenezcan todos al conjunto. Represente dicha vecindad por medio!
de una desigualdad en la variable z. Del mismo modo, especifique una vecindad puntead»
de 0.99/ que esté totalmente contenida en el conjunto.
La unión de dos conjuntos A y B, que se denota por A u B , es el conjunto de los puntos que per-l
tenecen a A o a B, mientras que la intersección á z A y B , denotada por A in B, es el conjunto de I
los puntos que pertenecen tanto a A como a B . ¿Cuáles de los siguientes conjuntos son co
nexos? ¿Cuáles de los conjuntos conexos son dominios?
18. El conjunto A u B, donde A es el conjunto de los puntos de | z | < 1 y B el conjunto de los|
puntos de [z - 1| < 1. Haga un diagrama de A u B.
Ejercicios 47
II conjunto A n B, donde A y B son los conjuntos del ejercicio 18. Haga un diagrama de
A n H.
til I I conjunto A u B, donde A es el conjunto de los puntos de | z | < 1, y B el conjunto de los
puntos con Re z > 1.
II II conjunto del ejercicio 20, pero ahora B es el conjunto de los puntos con Re z > 1.
huillín e los puntos frontera de los conjuntos que se definen en las siguientes expresiones. Diga
lyMt'N pertenecen al conjunto dado.
II. 0 •; |z —3| < 2 23. 3 < |z + l + 1| < 4
14. Nim |z| < I 25. cis( 1 donde n oo recorre el conjuntode
<
los enteros positivos.
|hn linos que un conjunto es cerrado si contiene todos sus puntos frontera. ¿Cuáles de los si-
|u i.!.i. . conjuntos son cerrados?
Vi'use, por ejemplo, Tom Apóstol, Mathematical Analysis, 2a. ed. (Reading, Massachusetts:
\ddison Wcslcy, 1974), pág. 54.
lisie teorema es uno de los más importantes en las matemáticas de los procesos infinitos
(analims), l úe demostrado por primera vez por el sacerdote checo Bernhard Bolzano
11I8I I K'IX); artos más tarde, el matemático alemán Karl Weierstrass (1815-1897) lo empleó y
-4N C a p ítu lo 1 N ú m e r o s c o m p le jo s
.<7. ti) Si z = x¡ + ¿y, en la figura 1.5-15 y si z (proyección dez sobre la esfera numérica) tie
ne coordenadas x , y', demuestre algebraicamente que
— -
A+y\ , (, x i + yl
/ =
\
J 't
, f,
1
+
Xi+yl + l V « T + J ' í + 1/ V xi+yi + \
)) Consideremos un círculo de radio r en el plano xy de la figura 1.5-15. El círculo está
centrado en el origen. La proyección estereográfica de este punto sobre la esfera de
Riemann es un círculo. Determine el radio de dicho círculo usando la ecuación que se
obtuvo en (a). Verifique su resultado determinando la respuesta en forma geométrica.
C ap ítu lo
La función compleja
y su derivada
2.1 INTRODUCCIÓN
En sus lecciones de cálculo elemental el lector sin duda estudió ampliamente el con
cepto de función real de una variable real. Haciendo un breve repaso: decir que y es
función dex, esto es, q u e/ = /(x), significa que, dado un valor dex, disponemos de un
método para determinar un valor correspondiente de y. Decimos que x es la variable
independiente e y la variable dependiente en esta relación. Con frecuencia, y se espe
cifica únicamente para algunos valores de x y queda indeterminado para otros. Si el
número de valores es relativamente pequeño, la relación entre x e y puede expresarse
por medio de una lista en la que a cada valor de x se asigna un valor de y.
Por supuesto, además de las tablas existen otras formas de expresar una relación
funcional. El método más común consiste en describir la relación por medio de una
ecuación matemática como y = ex, - co < x < oo, que en este caso proporciona un va
lor de y para todo valor de x. A veces se requieren varias expresiones, por ejemplo:
y = ex, x > 0; y = sen x, x < 0. Estas dos expresiones juntas establecen el valor de / para
todo valor de x excepto cero, es decir, y no está definido en x = 0.
La expresión Junción multiforme (o multivaluada) es un término matemático que
usaremos ocasionalmente en este libro. A fin de entender en qué casos puede aparecer
este término, consideremos la expresión y = xl/2. Si asignamos a x un valor positivo
vemos que existen dos valores posibles de y que sólo difieren en el signo. Debido
a que la expresión/ V/’ proporciona dos valores de y en vez de uno solo, no de
fine por si sola una función de v. Sin embargo, como existe un conjunto de valores
50 ( a p íla lo 2 La función co m p le ja y su d e r iv a d a
posibles de y (dos en este ejemplo) para cadax > 0, decimos q u e j = x1/2 describe una
Iunc ión multiforme dex, parax positivo. Una función multiforme no es realmente una
Iunc ión. En general, si tenemos una expresión que asigna dos o más valores a la varia
ble dependiente para cada elemento de algún conjunto de valores de la variable inde
pendiente, decimos que tenemos una función multiforme. En este libro, el término
función” se aplica en el sentido estricto, a menos que esté acompañado del adjetivo
"multiforme”.
I a manera más sencilla de visualizar la mayoría de las relaciones funcionales es
por medio de una gráfica y, sin duda alguna, en la enseñanza secundaria el lector tra-
u pláticas de y en función de x en el plano cartesiano para diversas funciones.
Algunos de estos conceptos, pero no todos, se aplican también al estudio de las
funciones de una variable compleja. Aquí se usa una variable independiente, por lo
regular z, que toma valores complejos. Consideraremos en general funciones defini
das en algún dominio o región del plano complejo. A cada valor de z perteneciente a
esla región corresponderá un valor de la variable dependiente, digamos w, y diremos
que ir es función de z, es decir, que w —f( z ) en esta región. A menudo la región será
todo el plano z.1' Es de suponer que w, como z, puede tomar valores complejos, reales
o imaginarios puros. A continuación se presentan algunos ejemplos.
a) vv = 2z todo el plano
( un frecuencia se usa el término “dominio de definición” (de una función) pura describir el
conjunto de valores de la variable independiente para los cuales la función osló definida, Un
"dominio" en este sentido puede o no ser un dominio en el sentido que liemos iludo a esle tér
mino (es decir, como lo definimos en la sección 1,5).
2.1 In tro d u c ció n 51
E JE M P LO 1
Iixprese w en términos de z con
x —iy
w(z) = 2x + iy +
x 2 + y2
Solución
Por medio de la ecuación (2.1-1) escribimos de nuevo lo anterior en la forma
, i(z —z) z 3z z 1
w(z) = (z+z)H 1---- = -----1 f--. M
i2 zz 2 2 z
En general, w(z) tiene parte real y parte imaginaria, y podemos escribir la función
en la forma w(z) = u(z) + iv(z), o bien
w(z) = u(x, y) + iv(x, y). (2.1- 2)
donde u y v son funciones reales de las variables x e y. En el ejemplo 1 tenemos
x y
u = 2x + — y v=y- — -.
x +y x +y
l Jna diferencia entre una función u + iv = f (z) de una variable compleja y una
función real y = / ( x ) de una variable real es que mientras, en general, la relación
\ / (x) puede representarse gráficamente en el plano cartesiano, no es tan fácil elabo-
iar la gráfica de una función compleja. Se requieren dos números x e v para definir un
valor z cualquiera y otros dos números para los valores de u y v correspondientes.
Así pues, en general se requiere un espacio de cuatro dimensiones para representar
ir f( z ) en forma gráfica; dos dimensiones corresponden a la variable independíen
le z y las otras dos a la variable dependiente w.
Evidentemente una gráfica de cuatro dimensiones no es un medio conveniente
para estudiar una función. Es preciso recurrir a otros métodos para visualizar w =
/ (z). Este tema se analiza en detalle en el capítulo 8; el lector puede pasar a las seccio
nes 8.1 8.3 al terminar esta sección. Sin embargo, conviene dar aquí un breve vistazo
a uno de estos métodos.
Se representan, uno junto a otro, dos planos coordenados: el plano z con
ejes i e r, y el plano ir con ejes ii y i>. Consideremos ahora un número complejo
52 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
/
y
A• -__
plano z x plano w u
Figura 2.1-1
.1 perteneciente a una región del plano z en que/ (z) está definida. El valor de w
que corresponde a A e s f (A). Denotamos/ (A) por A'. Ahora representamos gráfica
mente los números A y A' en los planos z y w, respectivamente (véase la Fig. 2.1-1).
I )ec irnos que el número complejo^' es la imagen de A bajo la transformación w —f{ z )
y que los puntos A y A' son imágenes uno del otro.
Para estudiar una función / (z) en particular, podemos representar gráficamente
algunos puntos en el plano z, así como sus correspondientes imágenes en el plano uv.
1 n la siguiente tabla y en la figura 2.1-2 hemos analizado unos cuantos puntos para el
raso iv = /(z) = z 2 +z.
A =0 0 = A'
B= 1 2 = B'
C = 1 +1 1 + 3i = C'
D= i -1 + i = D'
EJERCICIOS
Suponga que/(z) = (z - i) ( z - 1)/[(z)(z2 + 1)]. Diga en qué punto o puntos de cada uno de los
siguientes dominios no está definida/ (z).
15. z3
I seriba de nuevo las siguientes funciones complejas totalmente en términos de la variable z, su
conjugada y constantes.
|(>. —2xy + i(x2 — y 2) 17. —2xy + i(x2 + y2)
La función u (x )
-5 8 x
F igura 2.2-1
x A 0,
x = 0,
es discontinua enx = 0. Tenemos lím*_(, /(x ) = 1, y /(0 ) = 2; por lo tanto, no se satis-
lacc la ecuación (2.2-5). No obstante, podemos demostrar que / (x) es continua para
lodo x =£ 0.
I I concepto de límite puede extenderse a las funciones complejas de una variable
i ompleja según la siguiente definición.
DEFINICIÓN Límite
Sea / (ge) una función compleja de la variable compleja z, y sea/j utm cons
tante compleja. Si para todo número real s > 0 existe un número real 5> 0
tal que
( 2.2 7 )
56 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
lím f(z) = f 0;
z -Z o
es decir, que / (z) tiene por límite f 0 cuando z tiende hacia z0. □
I ,a definición afirma que e, cota superior del módulo de la diferencia entre/(z) y su lí
mite /0, puede hacerse arbitrariamente pequeño siempre y cuando z pertenezca a una
vecindad punteada de z0. El radio 5 de esta vecindad depende generalmente de e y dis
minuye al disminuir e.
Para emplear la definición anterior es preciso que/ (z) esté definida en una vecin
dad punteada de z0. Pero / (z0) no aparece en la definición. Incluso podríamos tener
una función que no está definida en z0 pero que posee un límite en dicho punto.
EJEMPLO 1
( orno ejemplo simple de esta definición, demuestre que
lím(z + i) = 2i.
z —*i
Solución
l eñemos/(z) = z + i, f 0 = 2i, z0 = i. La ecuación (2.2-6) exige que
|z + i —2ij < e,
0 bien, de manera equivalente
|z —¿| < e, (2.2- 8)
que, según (2.2-7), debe ser válido si
0 < |z —ij < 6. (2.2-9)
1omando un valor de 8 igual a, digamos, s (ésta no es la única posibilidad; por ejem
plo, podríamos tomar también e/2), vemos que la ecuación (2.2- 8) se satisface en tan
to que z pertenece a la vecindad punteada de i que describe la ecuación (2.2-9). M
Cuando estudiamos el límite como x -> x0 de la función real f(x ), tomamos valo-
res de jc tanto a la derecha como a la izquierda de x0. Si existe el lím ite /,,/(x) debe
acercarse a f , conforme x tiende hacia x0 por la derecha o por la izquierda. En el caso
de la función escalón u(x) que consideramos previamente, no existe límx, 0/ (x) pues
J (x) tiene un valor constante de 1 cuando x tiende hacia cero por la derecha (es decir,
v positivo), y un valor constante igual a cero cuando x tiende hacia cero por la izquier
da (x negativo).
En el plano complejo, el concepto de limite es más complicado porque existe un
número infinito de trayectorias, y no sólo dos direcciones, por las que podemos ápro-
ximarnos a z„. En la figura 2,2 se muestran cuatro de esas trayectorias. Si existe
llm / (.:), / (.:) debe tendel lau la un mismo valor complejo sea cual sea la trayectoria
2.2 L ím ite s y c o n tin u id a d 57
Figura 2.2-2
de aproximación az 0 que se escoja entre las infinitas posibilidades. Por fortuna, en los
cálculos del ejemplo 1 no fue necesario considerar la naturaleza exacta de la trayecto
ria. Pero éste no es siempre el caso, como lo demuestran las dos funciones siguientes,
que no poseen límite en ciertos puntos. Lo demostraremos considerando trayectorias
particulares.
EJEM PLO 2
Sea/(z) = arg z (valor principal). Demuestre que/ (z) no posee límite sobre la parte
negativa del eje real.
Solución
( onsideremos un punto z0 del eje real negativo. Observe la figura 2.2-3. Toda vecin
dad de este punto contiene valores de/(z) (en el segundo cuadrante) que están arbitra
riamente cerca de n y valores de / (z) (en el tercer cuadrante) que se encuentran
arbitrariamente cerca de -n. Aproximándonos az0 a lo largo de dos trayectorias distin
tas, Cj y C2, vemos que arg z tiende hacia dos valores diferentes. Por lo tanto, arg z no
tiene límite en z„. A
E JE M P L O 3
Sea
+ x + l(?‘ + y )
x+y x+y
L.slu función no está definida en z 0. Muestre que no existe lím2 ,fl /(z).
Solución
Aproximémonos al oí igen a lo largo del eje r lomando \ 0 en /(.:), tenemos
SN ( u p itu lo 2 La fu n c ió n co m p le ja y su d e r iv a d a
F igura 2.2-3
¡(y2 + y)
/(*) = i(y+ 1).
y
<'i>nlormc nos acercamos al origen, esta expresión se aproxima arbitrariamente a i.
Ahora nos acercamos al origen a lo largo del ejex. Tomando y = 0, tenemos /(z )
\ I I Conforme nos aproximamos al origen esta expresión tiende hacia 1. Como los
dos resultados son distintos, lím2_0/(z ) no existe.
A veces nos interesará calcular el límite de una función/ (z) cuando z tiende ha-
i t.i infinito. Si existe dicho límite y su valor es fa, escribimos lím^o, / (z) = f0. Es
to significa que, dado e > 0, existe un número real r tal que |/ (z) - f 0\ < s para todo
| .* | / Así, el módulo de la diferencia entre / (z) y f0puede hacerse más pequeño
que cualquier número positivo e dado, siempre que el punto que representa a z esté
n una distancia del origen mayor que r. En general, r depende de e. Éstos son algu
n o s ejemplos de límites típicos que pueden determinarse por medio de esta defini-
i ion llm (1/z2) = 0 y lím^oo (1 + z“') = 1. En el ejercicio 12 se estudia el
inclodo riguroso para calcular un límite en oo.
Algunas de las fórmulas de límites que el lector estudió en sus cursos de cálculo
elemental tienen sus homologas en el caso de funciones de variable compleja. Las fór
mula . equivalentes, que presentamos aquí sin demostración, pueden demostrarse
usando la definición de límite.
H'.OREMA 1 Sean f y g0 los límites cuando z -> z() de dos funciones/ (z)
y //(z), respectivamente. Luego
(2.2- 10b)
(2.2 10c)
2 .2 L ím ite s y c o n tin u id a d 59
bn general, nos ocuparemos de funciones que son continuas en todo el plano z, salvo
en ciertos puntos o en algún lugar geométrico del plano z. A menudo, los puntos de
discontinuidad son fácilmente reconocibles como puntos en que la función tiende ha
cia infinito, no está definida o presenta un cambio brusco de valor.
Si una función es continua en todos los puntos de una región, decimos que es
continua en dicha región.
I I valor principal de arg z es discontinuo en todos los puntos del eje real negativo
porque no posee límite en dichos puntos. Por otro lado, arg z no está definido en z = 0,
lo que implica que arg z también es discontinuo en el origen.
E JE M P LO 4
l;sludiemos la continuidad en z = i de la función
z A i,
Solución
Puesto que existe / (i), se satisface el apartado (a) de nuestra definición de continui
dad. Para estudiar el apartado (b) es preciso calcular primero límz^, /(z). Como el va
lor de dicho límite no depende de /( /) , estudiaremos primeramente / (z) para z A
I acloricemos el numerador del cociente de la ecuación anterior:
z2 + 1 (z - ij(z + 0
./ (z) = r = : . 2 # i,
Z—I z —l
y dividamos por z /, que aparece tanto en el numerador como en el denomina
dor. (Puesto quez / /', en ningún momento estamos dividiendo entre 0.) Así pues,/(z)
.• I /'paruz / /. Podríamos concluir, a partir de este resultado, que Iím2 /(z ) = 2/.
I )c hecho, esto se hizo en forma rigurosa en el ejemplo I, al que el lector puede volver
ahora.
60 C a p ítu lo 2 L a fu n c ió n co m p le ja y su d e r iv a d a
Ya que/ (i) = 3/ en tanto que límz_,/(z) = 2i, es decir, que estos resultados son
distintos, la condición (b) de nuestra definición de continuidad no se satisface en
i. Por lo tanto, / (z) es discontinua en z = i. No es difícil mostrar que/ (z) es con-
linua para todo z A i. Obsérvese además que una función idéntica a/(z), pero tal que
/ (/) = 2i sería continua para todo z. M
Usaremos varias propiedades importantes de las funciones continuas. Si bien la
validez del siguiente teorema puede parecer casi evidente, en ciertos casos las demos
traciones no son sencillas, y de ser así, referimos al lector a un texto más avanzado.*
TEOREMA 2
a) Las sumas, las diferencias y los productos de funciones continuas son
funciones continuas. El cociente de dos funciones continuas es continuo
salvo en los puntos en que se anula el denominador.
b) Una función continua de una función continua es una función continua.
c) Sea/(z) = u(x, y) + iv(x, y). Las funciones u(x, y) y v(x, y) serán conti
nuas1 en todo punto en el que / (z) sea continua. A la inversa, / (z) será
continua en todo punto en el que u y v lo sean.
ti) S i/(z) es continua en alguna región R, entonces |/ (z)| también es conti
nua en R. Si R es acotada y cerrada, existe un número real positivo, diga
mos M, tal que | / (z)| < M para todo z en R. M puede escogerse de tal
forma que la igualdad sea válida para al menos un valor de z enR. □
Podemos usar el apartado (a) del teorema para estudiar la continuidad del cocien-
lr ( I z + 1)/(z2- 2z + 1). Como/ (z) es claramente una función continua de z (esto
:.c demostrará en forma rigurosa en el ejercicio 1), también lo es el producto z • z = z2.
l uda constante es una función continua. Así, la sumaz2 + z + 1 es continua para todo
•, y por razones análogas z2- 2z + 1 también es continua. El cociente de estos polino
mios es por tanto continuo salvo en los puntos en que z 2- 2z + 1 = (z - l )2 se anula.
Esto ocurre únicamente enz = 1.
Podemos aplicar un procedimiento similar a cualquier función racional de la for
ma l ’(z)/Q(z), donde P y Q son polinomios de z de grado arbitrario. Esta expresión es
continua salvo en los valores dez tales que Q(z) = 0.
I.a utilidad del apartado (b) del teorema se esclarecerá en el siguiente capítulo, don
de estudiaremos diversas funciones trascendentes de z. Aprenderemos el significado
1 Véase, por ejem plo, R. V. Churchill y J. W. Brown, Complex Variables and Applications, 5a.
cd. (Nueva York: McCiraw Ilili, IWO, sección 14).
1 l.a continuidad de la función real de dos variables reales n(x, y) se define de manera análoga a
la continuidad de f(z). I’uru sel conllnua en ( rtt) la diferencia | u(x, y ) u(Xo,y0)\ debe poder
hacerse más pequeña que lili IMiint'i• • .ohiliailn positivo, para todo (i, v) que esté en un circulo
de radio <5centrado en ( s„, r,,)
E je r c ic io s 61
de / ( z ) = <?z, donde z es complejo^ y veremos que esta función es continua para to
do z. Ahora bien, g{z) = 1/z2 es continua para todo z =£ 0. Por lo tanto, / ( g(z)) =
exp (1/z2) también es continua para z A 0.
Como ejemplo de los apartados (c) y (d), consideremos la función/ (z) = ex eos
y + iex sen y en el disco R definido por |z| < 1. Como u = ex eos y y v ~ e x sen y
son continuas en R, f (z) también lo es. Así, | / (z)| debe ser continua en R. Por otro
lado, |/( z ) | = ^exp(2x)[cos2 y + sen2 y] = e*, que es, en efecto, una función conti
nua. La función |/( z ) | alcanza su valor máximo en R cuando ex es máximo, es decir,
en x = 1. Así pues, |/( z ) | < e en R, y la constante M del apartado (d) del teorema es
igual a e en este caso.
EJERCICIOS
1. a) S e a / (z) = z. D e m u e stre p o r m e d io de un a rg u m e n to s im ila r al q u e se usó en el e je m
plo 1 q u e lím z^ 2() / (z) = z 0, d o n d e z0 es c u a lq u ie r n ú m e ro co m p le jo ,
b) U sa n d o la d e fin ic ió n de c o n tin u id a d e x p liq u e p o r q u é / (z) es c o n tin u a p a ra to d o z0.
2. S e a / (z) = c, d o n d e c e s u n a c o n sta n te c u alq u ie ra . U sa n d o las d e fin ic io n e s de lím ite y
c o n tin u id a d d e m u e stre q u e / (z) es c o n tin u a p a ra to d o z.
I la n d o p o r se n ta d a la c o n tin u id a d (d e m o s tra d a en lo s e je rc ic io s 1 y 2) de las f u n c io n e s / ( z ) = z
y /'(z ) = c, d o n d e c es u n a c o n sta n te c u alq u iera, u se los d iv e rso s a p arta d o s del te o re m a 2 p a ra
d e m o s tra r q u e la s sig u ie n te s fu n c io n e s so n c o n tin u a s e n el d o m in io in d ic a d o . S u p o n g a que
z = x + iy.
3. f ( z ) = z 3 + z + 1 p ara todo z
N. z/z para to d o z # 0
13. C o n sid e re m o s la fu n c ió n / ( z ) = z 2.
b). C o n sid e re m o s la re g ió n c u ad rad a : \x\ < 1, \y\ < 1. E n e sta re g ió n |/ ( z ) | < M . D e term in e
M su p o n ie n d o q u e \ f (z)| = M e n alg ú n p u n to d e e sta reg ió n .
c) ¿ E n q u é p u n to s d e la re g ió n se satisfa c e la ig u a ld a d d el a p arta d o (b)?
Repaso
Antes de emprender el estudio de la derivada de una función de variable compleja, re
pasemos brevemente algunas propiedades de la derivada de una función de una varia
ble real/ (x). La derivada de/ (x) en x0, denotada por/'(x 0), está dada por
cu s / ( x o + A x ) - / ( x 0)
/ (*o) = lim --------- T--------------■ (2.3-1)
A x -0 Ax
Si no existe el límite que aparece en esta expresión, / '( x 0) no está definida y /(x ) no
tiene derivada (no es diferenciable) en x0.
Si f( x ) no es continua en x„, entonces no existe/'(x0). Sin embargo, el que una
función sea continua en un punto no implica que posea derivada en dicho punto. En la
ecuación (2.3-1), Ax representa un incremento pequeño, que poco a poco se reduce a
cero, en el argumento de/(x). El incremento puede ser un número positivo o negativo.
Para que exista/'(x0) es preciso que el resultado que se obtiene en el lado derecho de
la ecuación (2.3-1), usando un número positivo, sea idéntico al que se obtiene usando
un número negativo. Si los resultados son distintos,/'(x0) no existe.
A modo de ejemplo consideremos la función/(x) = 2 |x|, mostrada en la figura
2.3 I. No es difícil demostrar que/(x) es continua para todo x. Intentemos calcular
/'(O ) por medio de la ecuación (2.3-1). Tomando x0 = 0, f ( x n) 0 y J (xn + Ax)
.] |A x|. tenemos
2 .3 L a d e r iv a d a c o m p le ja 63
(negativo) (positivo)
Figura 2.3-1
( uso c o m p le jo
Dada una función de variable compleja f(z ), la derivada en z0,/'( z 0), o bien (dfldz)Z0,
se define de la siguiente manera, siempre y cuando existan los límites indicados.
DEFINICIÓN Derivada
Si bien tiene la misma forma que la ecuación (2.3-1), la ecuación (2.3-3) es más
sutil. Hemos visto que en la ecuación (2.3-1) existían dos direcciones por las que po
díamos aproximamos a i 0. No obstante, como sugiere la figura 2.3-2, existe un núme
ro infinito de direcciones por las que z0 + Az puede aproximarse a z0 en la ecuación
(2.1 3). Además, la trayectoria de aproximación no es necesariamente una recta, po
demos escoger cualquier arco o espiral. Si existe el límite de la ecuación (2.3-3), es
decir, si existe/'(z0), entonces el cociente de la ecuación tiende hacia el mismo valor
sea cual sea la dirección o lugar geométrico que recorra Az al reducirse a cero.
En el caso de la función /(z ) - z n ( n - 0, 1, 2,...), es fácil comprobar la existen
cia de la derivada y determinar su valor. Aquí f ( z 0) = z¡¡ y f ( z 0 + Az) — (z0 + Az)".
I Isando el teorema del binomio podemos desarrollar esta última expresión:
ftivi — 1)
I Az)" = Zo + nz"0~1(Az) -1 (z0)"~2(Az)2 + potencias superiores de Az.
I’or lo tanto,
> i¡ f ( zO+ Az) - /( z 0)
/ (:,|) Km -----------
A;-0 Az
A r -» 0 _
Para obtener este resultado no es necesario conocer la trayectoria sobre la que Az se
reduce a cero. El resultado no depende de la forma en que z0 + Az se aproxima a z0.
Piescindiendo de los subíndices cero tenemos
z0 + Az
y 0 + Ay y 0 + Ay
xo x 0 + Ax x0 x 0 + Ax
(b)
F igura 2.3-3
/(zo + Ax) - f ( z 0)
f ( z 0) = lím
Ax
u(xo + Ax, y0) + iv(x0 + Ax, y0) - u(x0, y0) - iv(x0, y0)
= lí m
A x -* 0 Ax
u(x„ + Ax, y0) - u(xq, y0) ^ . c(x0 + Ax, y0) - u(x0, y0)
/ '(z0) = lím
Ax Ax
En la ecuación (2.3-5) podemos reconocer la definición de dos derivadas parciales.
Tomando el límite obtenemos
(>4 C a p ítu lo 2 La fu n c ió n c o m p le ja y su d e r iv a d a
Si bien tiene la misma forma que la ecuación (2.3-1), la ecuación (2.3-3) es más
sutil. Hemos visto que en la ecuación (2.3-1) existían dos direcciones por las que po
díamos aproximamos ax0. No obstante, como sugiere la figura 2.3-2, existe un núme-
io infinito de direcciones por las que z0 + Az puede aproximarse a z0 en la ecuación
(2.3 3). Además, la trayectoria de aproximación no es necesariamente una recta, po
demos escoger cualquier arco o espiral. Si existe el límite de la ecuación (2.3—3), es
decir, si existef '( z 0), entonces el cociente de la ecuación tiende hacia el mismo valor
:.cn cual sea la dirección o lugar geométrico que recorra Az al reducirse a cero.
En el caso de la función /(z ) = z" (n = 0,1, 2,...), es fácil comprobar la existen
cia de la derivada y determinar su valor. Aquí / ( z 0) = z¡¡ y f ( z 0 + Az) = (z0 + Az)".
I Isando el teorema del binomio podemos desarrollar esta última expresión:
Por lo tanto,
/( z 0 + Az) - f( z 0)
Az
lím
A z -0 _
» z0 +Az
yo+Ay
Az
Xo zn + Az
Az
(a) (b)
F igura 2.3-3
u(xQ+ Ax, y0) - u(x 0, y0) . v(x0 + Ax, y0) - v(x0, y0)
/'(z0) = >ím (2.3-5)
A x -0 Ax Ax
En la ecuación (2.3-5) podemos reconocer la definición de dos derivadas parciales.
Tomando el límite obtenemos
66 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
r„ s ,. f ( z o + ‘Ay) - /( z 0)
/'( z 0) = hrn -----------
Ay-»o iAy
u(x0, y0 + Ay) + iv(x0, y0 + Ay) - u{x0, y0) - iv(x0, y0)
= lím
A y -+ 0 iAy
(2.3-7)
l omando el límite y haciendo Mi = - i obtenemos
( du dv\
(2-3- 8)
Suponiendo que existe f \ z 0), las ecuaciones (2.3-6) y (2.3-8) nos proporcionan
dos métodos para calcularla. Igualando estas dos expresiones obtenemos el resultado
du dv\ ( du dv
S x + l Tx ) - [ - % + r ,} - <2-3- 9>
I a parte real del lado izquierdo de la ecuación (2.3-9) debe ser igual a la parte real del
lado derecho. Lo mismo ocurre con las partes imaginarias. Por tanto, en todo punto en
que existe/(z) deben satisfacerse las siguientes relaciones.
(2.3-1 Oa)
dx dy
l ( DACIONES DE CAUCHY-RIEMANN -¡
(2.3-1 Ob)
dx dy
Estas importantes ecuaciones se conocen en conjunto como ecuaciones de Cau-
chy-Riemann (o de C-R). Se llaman así en honor al matemático francés Augustin
( ’auchy (1789-1857), generalmente considerado como su descubridor, y al matemáti
co alemán George Friedrich Bemhard Riemann (1826-1866), quien pronto encontró
importantes aplicaciones de estas ecuaciones en su trabajo sobre las funciones de va
riable compleja. Hoy sabemos que el francés Jean D'Alembert (1717-1783) ya había
deducido estas ecuaciones en 1752, antes que Cauchy. Más adelante nos encontrare
mos de nuevo con el nombre de Cauchy. Cauchy es uno de los gigantes de las mate
máticas del siglo xix y sus contribuciones fundamentales al estudio de las variables
complejas son más numerosas que las de ningún otro.
Si las ecuaciones no son válidas en cierto valor de z, digamos zn, sabemos que
/ \ z 0) no puede existir, pues dos trayectorias de aproximación distintas para Az (Fig.
2.3 3b) conducirán a dos valores límite distintos para el cociente de la ecuación
(2.3-3). Así pues, hemos mostrado que la validez de las ecuaciones de C l< en un
punto es una condición necesaria para que exista la derivada en dicho punto, El solo
lu i lio di que t i . a uai ion................lid > para una función no significa que lodos las
2 .3 L a d e r iv a d a c o m p le ja 67
trayectorias por las que z0 + Az puede aproximarse a z0 den lugar a un mismo valor lí
mite para el cociente de la ecuación (2.3-3). En un texto más avanzadot se puede en
contrar la demostración del siguiente teorema para f( z ) = u + iv.
TEOREMA 3
Si tanto a y v como sus primeras derivadas parciales (du/dx,dv/dx,chi/dy,
du/dy) son continuas en alguna vecindad de z0, la validez de las ecuaciones
de Cauchy—Riemann es una condición necesaria y suficiente para que exista
f \ z o)- □
S¡ se satisfacen las condiciones de este teorema, el límite del lado derecho de la ecua
ción (2.3-3) existe; es decir, todas las trayectorias de aproximación dez0 + Az az„ ge
neran en esta expresión el mismo resultado finito.
E JE M P LO 1
Estudie la diferenciabilidad de /(z ) = z 2 = (x + iy)2 = x 2 - y 2 + i2xy.
Solución
Ya sabemos (véase la Ec. 2.3-4) que f '( z ) existe, pero comprobemos este resultado
por medio de las ecuaciones de C-R. Aquí u = x 2- y 2, v = 2xy, duldx = 2x = dv/dy,
r dvtdx = 2y — -du/dy.. Por lo tanto, las ecuaciones (2.3-10) son válidas para todo z.
Además, puesto que u, v, du/dx, dv/dy, etc., son continuas en el plano z ,f'(z ) existe
para todo valor de z. 4
E JE M P LO 2
Estudie la diferenciabilidad de/(z) = zz = |z|2.
Solución
I ,as ecuaciones de C-R resultan útiles en este caso. Tenemos u + iv = |z|2 = x 2 + y 2.
I liego, u = x 2 + y 2 y v = 0, de donde du/dx, = 2x, dv/dy = 0, du/dy = 2y, y dv/dx
0. Sustituyendo estas expresiones en las ecuaciones (2.3-10), obtenemos 2x = 0 y
.’r 0. Estas ecuaciones sólo son válidas simultáneamente cuando x = 0 y y = 0, es
decir, en el origen del plano z. Por lo tanto, esta función de z sólo posee derivada para
0. 4
Veamos a qué se debe que la derivada de |z|2 sólo exista en un punto.
Consideremos la definición de la ecuación (2.3-3) y remitámonos a la figura
.M 4. En un punto cualquiera, z0 = x0 + iy0, tenem os/(z0) = |zQ|2 = |x0 + i y f =
I y,2. Tomando Az — Ax + iAy, entonces/(z0 + Az) = |z0 + Az|2 = |(x0 + Ax)
I i(yn + Ay) |2 TX,2 + 2x„Ax + (Ax)2 + y l + 2y0Ay + (Ay)2. Así pues,
1 Vínsc I Unk y I). Ncvvmnn, Com/iles Anulysis (Nucvu York: Springcr Vcrlag, I9S2), págs.
ni jj
68 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
Figura 2.3^1
Supongamos ahora que Az se reduce a cero a lo largo de una recta de pendiente m que
pasa por z0. Esto significa que Ay = mA x. Sustituyendo esta relación en la ecuación
(2.3-11) obtenemos
2x0Ax + 2y0mAx + (Ax)2 + m2(Ax)2
lim
A x -0 Ax(l + im)
2x0 + 2y0m Ax m1Ax 2x0 + 2y0m
= lím ■+
A x -» 0 1 + im 1 + im 1 + im 1 4- im
A menos que x0 = 0 y y0 = 0, este resultado es función de la pendiente m, esto es, de
la dirección de aproximación a z0. Por ejemplo, si nos acercamos a z0 a lo largo de una
recta paralela al eje x, hemos de tomar m = 0 y el resultado es 2x0. Pero si nos acerca
mos az0 a lo largo de una recta que forma un ángulo de 45° con la horizontal, tenemos
Ay = Ax, es decir, m = 1. La expresión se convierte entonces en (2xn + 2y0)/( 1 + i).
E J E R C IC IO S
H a g a u n a g rá fic a e sq u e m á tic a d e las sig u ie n tes fu n c io n e s re a le s f ( x ) en el in te rv a lo in d ic a d o .
E n c a d a c aso d e te rm in e el v a lo r d e x en el q u e la d e riv a d a re sp ec to a x no e x iste. D ig a si la fu n
c ió n es c o n tin u a en e se p u n to . N o es p re c iso h a c e r u n a d e m o stra c ió n form al.
, 71 371
1. f ( x ) = |sen x |, - < x < —
¿Para qué valores de la variable compleja •' lienen derivadas las siuolentes fundones?
2 .4 L a d e r iv a d a y la a n a litic id a d 69
3. z 4. c (constante)
5. x 2 - y 2 ¿2xy 6. z 10
7. z ~ 5 8. x
10. ex eo s y — ie* sen y
/ ( z 0 + Az) - /( z p )
lím lím Az
A z-> 0 Az A z - .0
C o n su lte la e c u a c ió n ( 2 .2 - 1 0 b) del te o re m a 1.
Determinación de la derivada
l lita vez que hemos establecido que la derivada de / (z) = u + iv existe para algún
punto z, es fácil determinarf \ z ) . Podemos usar directamente la definición de la ecua
ción (2.3-3).
Además, podemos recurrir ya sea a la ecuación (2.3-6), f'(z ) = du/dx + idv/dx,
o a la ecuación (2.3-8), f ( z ) = d v /d y - idu/dy. Por ejemplo, las ecuaciones de
(' R indican que la función/(z) = x? - y 2 - y + i(2xy + x) tiene derivada para to
do z. Con u - x2 - y 2 - y y v : 2xy + x tenemos, por la ecuación (2.3-6), f \ z ) —
2a I /(2v I I )• I-a ecuación (2.3 8) produce el mismo resultado.
lín la sección 2.3 hicimos notar que (lz”l ih nz" \ donde n es un entero cual
quiera, lista fórmula tiene la misma forma que la expresión correspondiente en el
C a p itu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
cálculo de variable real: d x nld x = n x " ~ '. Así, podemos valemos del método usual
para diferenciar expresiones como z2, 1/z3, etc., y sus derivadas son, respectivamente,
2z y -3z~4.
La razón de que podamos usar el mismo procedimiento para diferenciar x n y z n
reside en la semejanza de las expresiones
f ( z + A z) — / ( z ) / ( x + A x) — f ( x )
lim--------------------- y lim ----------------------
Az-*0 Az Ax-+0 Ax
que definen las derivadas de una función de variable compleja y de una función de
variable real.
Todas las identidades del cálculo diferencial con variables reales que se obtienen
directamente a partir de la definición de derivada pueden trasladarse a las funcio
nes de variable compleja.
Lspecíficamente, si f( z ) y g(z) son diferenciables enz, tenemos
TEOREMA 4
— (z 3 + z 2 + l ) 10 = 10 (z 3 + z 2 + l ) 9— (z 3 + z 2 + 1)
dz dz
= l()(z3 + z 2 + l) 9(3 z 2 + 2z).
g(z) g'(z0)
lim = ------ . □ (2 4-2)
z^„h(z) h'(z0)
I )esde el punto de vista formal, esta regla es idéntica a la que se emplea en el cálculo
elemental para evaluar formas indeterminadas con funciones de variable real.
Para demostrar la ecuación (2.4-2) hacemos notar que, puesto que g(zfí) = 0,
//(z0) = 0, tenemos
g(ó = --------------
— g(z) - g(zo) /IHz) - K z0), z #, z 0. n(2.4-3)
a
h(z) z - z0 / z z0
I laciendo z = z0 4- Az en la expresión anterior, tenemos
g(z) = g(zo + Az) - g(z0) I h(z0 + Az) - h(z0) ^
h(z) Az / Az
l omar el límite z -> z0 en la ecuación (2.4-3) es equivalente a tomar el límite Az -+ 0
en (2.4-4). Ahora bien, recordemos, de la ecuación (2.2-10c), que el límite del co
ciente de dos funciones es igual al cociente de sus límites (siempre y cuando el deno
minador no se anule). Teniendo en cuenta este hecho, tomando el límite Az -> 0 en
(2.4-4), y usando la definición de la derivada, obtenemos el resultado deseado:
g(z) g(z + Az) - g(z) / h(z + Az) - h(z) g'(z0)
lim = lim / lim —
Z„h(z) ¿r-o Az / Az-*o Az h'(z0)
E JEM PLO 1
I )etermine
z —2i
lím — .
z -* 2 í Z 16
Solución
l omando g{z) = z - 2 i , h(z) = z4 - 16, z0 = 2i, vemos que g(z0) = 0, h(z0) = 0, g'(z0)
I, y h'(zn) 4(2í)3 = -32/. Podemos usar la regla de L'Hópital pues g(z0) = 0 y
li(z„) 0, mientras que h'(zn) ¥= 0. El límite buscado es 1/(—32/). -4
Observación Si f/(z„) 0 h(z„) y h'(z„) = 0, mientras que g'(zn) A 0, no pue
de aplicarse la regla de l /llópitiil. De hecho, es posible mostrar que lím , ... (g(z)/h(x))
no existe y que el módulo de esle cociente crece sin limite cuando :■ ►z„,
74 ( iipfliiio 2 L a fu n c ió n compleja y su d e r iv a d a
donde m y n son enteros no negativos y a„, b„„ etc., son constantes, es el cociente de
dos polinomios, esto es, de dos funciones enteras. La función /(z ) es analítica salvo
en los valores de z tales que bmz m + bm_iz m~1 + ••• + b0 = 0. Las soluciones de esta
ecuación son puntos singulares de/(z).
E JE M P LO 4
¿Para qué valores de z la función
no es analítica?
Solución
Para z tal que z 2 + 1 = 0, es decir, z = ±z. Así, / (z) tiene singularidades en +i y -i.
K.IERC ICIOS
,.l n q u é re g ió n d e l p la n o c o m p le jo so n a n a lític a s las sig u ie n te s fu n c io n e s? D ig a c u á le s de e lla s
son fu n c io n e s e n te ra s. Si la fu n c ió n p o se e d e riv a d a so b re u n d o m in io , e n c u e n tre u n a e x p re sió n
p ara f ' ( z ) en té rm in o s d e z o d e x e y . Si e x iste f ' ( 1 + i), e sc rib a su v a lo r n u m é ric o .
1. 2z2 + 3
2. z + Z ' 1
i. 1/(:* + 2z 1 + I)
4. xy + '-íx1 -yJ)
76 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
5. (y + l) 2 + i(x + l ) 2
6. y + (x - l ) 2 + i [(y - l ) 3 - x ]
7. x 3 — 3 x y 2 + i(3 x 2y — y 3)
S. e v2->,:[co s(2 x y ) + i'sen(2x:y)]
9. £l_______
ex eos y + iex sen y
10. / ( z ) = z, |z| < 1 pero / ( z ) = 1/z, |z| > 1
1
11 (y — ix + 1 + i + z)4
2
(z - l ) + (z2 - l )
12. cuando z -» 1
z 16- 1
2 * + z - 2/
I .1. ----------------- cuando z - » i
z 15 + i
14. r eos 0 + ir
1*>. r 4 sen 41) — ir 4 eo s 40
Iti I og r 1 + ¡20, —n < 9 < n (logaritm o natural)
22. F o rm a p o la r d e las e c u a c io n e s d e C -R .
a) C o n sid e re m o s la fu n c ió n a n a lític a / (z) = u(x, y ) + iv(x, y ) y su p o n g a m o s q u e e x p re sa
m o s x e y e n té rm in o s de las v a ria b le s p o la re s r y 6, d o n d e x = r eos 6 y y = r sen 9
(r = -yjx2 + y 2, 9 — ta n -1 (y/x)). L u e g o / ( z ) = u(r, 9) + iv(r, 6). Q u e re m o s e sc rib ir de
n u e v o la s e c u a c io n e s de C - R to ta lm e n te e n té rm in o s de la s v a ria b le s p o la re s. D e la re
g la d e la c a d e n a p a ra la d e riv a c ió n p a rc ia l te n e m o s
du íd u \/d r \ Í5 u \í
ex vdr/oVdx/j, \50/f\cbc
O b te n g a las e x p re sio n e s c o rre sp o n d ie n te s p a ra du/dy, <du/dx, dv/dy.
b) V e rifiq u e que
dh 8h „ 1 5h
— = — eos 9 ----------- sen 9,
dx dr r d9
dh dh 1 dh
— = — sen 6 -\--------- eos 0,
■
dy dr r dQ
d o n d e h p u e d e ser igual a u o a v.
c) E s c rib a n u e v a m e n te las e c u a c io n e s d e C - R (2 .3 -1 Oa, b) u san d o las dos e c u a c io n e s
d e la p a rte (b ) de e ste e je rc icio . M u ltip liq u e la p rim e ra de las e c u a c io n e s de C - R p o r
e o s 9, la se g u n d a p o r sen 6 y sú m elas p a ra d e m o stra r que
du 1 dv
— = . (2 .4 —5 a)
dr rdO K J
A h o ra m u ltip liq u e la p rim e ra e c u a c ió n d e C - R p o r - s e n 9, la s e g u n d a p o r eos 9 y sú
m e la s p a ra m o s tra r q u e
t.Z iS í. (2.4—5b)
dr r dO
i ns re la c io n e s e x p re sa d a ', poi las eeuueionex ( d 5ti. h) son la Jornia ¡m hu i/e la\
78 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
du . dv
/ '( z ) : b i — [eo s 0 — i sen 0] (2 .4 -6 )
dr dr
o b ie n , p o r m e d io de
du . dv
f '( z ) = [eo s 0 — i se n 0 ]. (2 .4 -7 )
50
8 dv
dy2 FydTx <2’5- 2b)
Se puede demostrarf que si las segundas derivadas parciales de una función son
continuas, el orden de diferenciación en las derivadas parciales cruzadas no afecta
dichas derivadas cruzadas. Así, d2 v/dxdy = d2 v/dydx. Teniendo en cuenta este
resultado sumamos las ecuaciones (2.5-2a) y (2.5-2b) y obtenemos
* V íiisc W. Kuplnn, Advanct'tl ( ’alculu.s (Kcmling, MA: Addlson Wi -U'y, 16 6 1), sección 2,15
2 .5 F u n c io n e s a r m ó n ic a s 79
cu cu
S? + V = (2-5- 3)
I )c manera alternativa, podríamos haber diferenciado la ecuación (2.5-la) respecto a
r y la ecuación (2.5-1 b) respecto a x. Suponiendo que las segundas derivadas parcia
les de u son continuas sumamos las ecuaciones resultantes para obtener
d2v d2v
dx22 + ~dy
^ = 0- (2-5-4)
V.í pues, tanto la parte real como la parte imaginaria de una función analítica deben
•.litisfacer una ecuación diferencial de la siguiente forma:
d24> d2(¡>
I i IIACIÓN DE LAPLACE* ~7 + T T = U (2.5-5)
dx dy
1 l a ecuación de I .aplace se debe ni matemático francés Fierre Simón de Laplace (1749 1827),
quien !n descubrió cumulo csludiaba In gravitación y su relación con el movim iento planetario,
1 i lluk y I). Newnmn, ( 'ampie* Analyyl* (Nueva York Npringci Verlug, 1982), sección lo. I
80 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
Dada una función armónica 4>(x, y ) podríamos buscar la función armónica v(x,
y ) correspondiente tal que é (x, y) + iv(x, y) fuese analítica. O bien, dada 4>(x, y) po
dríamos querer determinar una función u(x, y) tal que u(x, y) + icj)(x, y) fuese analíti
ca. En cualquiera de los dos casos, la función incógnita puede determinarse hasta una
constante aditiva. Este método queda claramente ilustrado por medio de un ejemplo.
EJEMPLO 1
Probemos que = x 3 - 3xy2 + 2y puede ser la parte real de una función analítica.
Determinemos, además, la parte imaginaria de la función analítica.
Solución
Tenemos
d2(p 82(j)
— - = 6x y — - = —6x,
dx dy
cuya suma es igual a cero en todo el plano z. Por lo tanto, c¡) es armónica. Para deter
minar v(x, y), usamos las ecuaciones de C-R tomando u(x, y) = 4>(x, y):
du 2 2 dv
& = 3* - 3 í = V ' 2 5 -o>
Su dv
- — = 6xy- 2 = —. (2.5- 7)
dy dx '
A partir de la ecuación (2.5-6) obtengamos v integrando sobre y:
v (x , y ) = K z
l'iuuni 2.5 I
82 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
dy í du/dy\
(2.5-13)
dx \du/dxjx¡ y¡
Comparando las ecuaciones (2.5-11) y (2.5-13), observamos que las pendientes de
las curvas u = C¡ y v = Kx en el punto de intersección x¡, y¡ son inversas negativas
una de otra. Por lo tanto, la intersección forma un ángulo de 90°. El mismo procedi
miento puede aplicarse a toda intersección de curvas de estas familias. Nótese que si
f \ z ) = 0 en algún punto, las ecuaciones (2.3-6) y (2.3-8) indican que las primeras de
rivadas parciales de u y v se anulan. En ese caso no podemos determinar las pendien
tes de las curvas por medio de las ecuaciones (2.5-11) y (2.5-12). La demostración no
es válida en dichos puntos.
E JE M P LO 2
Consideremos la función
f(z) - | Log(.xJ + y 2) + i arg z (logaritmo natural),
donde se usa el argumento principal de z. Por lo tanto, n • arg n Demostremos
que esta función satisface las ecuaciones de ( ’uuehy Uíeinann en lodo dominio que
2 .5 F u n cio n e s a r m ó n ic a s 83
no contenga al origen ni puntos del eje real negativo (donde arg z es discontinua), y
que el teorema 8 es válido para esta función.
Solución
Iornemos u = 1/2 Log(x2 + y 2) y v = arg z. Para poder usar las ecuaciones de C-R es
preciso expresar v en términos de x ey. Podemos usar cualquiera de las dos expresio-
ncs, v = arg z = tan”1 (y/x) o v = arg z = cot”1 (x/y). Las funciones multiformes tan”1
(r/.v) y c o r1 (x/y) se evalúan de tal manera que v sea el argumento principal de z.
En la mayoría de los puntos podemos usar ya sea tan”1 o cot”1 para las ecuaciones
de C-R. Sin embargo, cuando x = 0 usamos cot”1, en tanto que cuando y = 0 emplea
mos tan”1. Así evitamos tener que diferenciar funciones cuyos argumentos son infíni-
los. Diferenciando u y v observamos que las ecuaciones de C-R se satisfacen. El
lector puede comprobar que las fórmulas para las derivadas de v que se obtienen a
partir de las expresiones con tan”1 y cot”1 son idénticas. Por lo tanto
du x dv du y —8v
dx x2 + y2 dy dy x 2 + y2 dx
I os lugares geométricos sobre los cuales u es constante no son sino los círculos co-
i icspondientes a valores constantes de x 2 + y 2, por ejemplo, x 2 + y 2 = \ , x 2 + y 2 =
.’ v' + y 2 = 32, etc.
Puesto que v = arg z, las curvas correspondientes a valores constantes de v no
.mi sino las rectas que parten del origen. En la figura 2.5-2 se muestran familias de
curvas de correspondientes a u = C y v = K. Se ve claramente que las intersecciones
Non ortogonales. ^
84 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
EJERCICIOS
1. D e te rm in e p a ra q u é v a lo re s d e z la e x p re sió n x 4 - y 3 satisfa c e la e c u a c ió n de L a p la c e.
¿ P o r q u é n o es a rm ó n ic a e sta fu n c ió n ?
2. D e te rm in e el v a lo r del e n tero n p a ra el q u e x" - y" es arm ó n ica.
¿ C u á le s de las sig u ie n te s fu n c io n e s so n a rm ó n ic a s? ¿ E n q u é d o m in io ? .
3. x + y
4. xy
6. e*!~ y2
7. sen x c o sh y
11. Im (z3) es a rm ó n ic a e n to d o d o m in io .
S e a 4>(x,y) = 6 x 2y 2 - x 4 - y 4 + y - x + 1.
12. C o m p ru e b e q u e c¡> (x, y) p o d ría ser la p a rte real o la p a rte im a g in a ria de a lg u n a fu n c ió n
a n alític a.
13. Si 4>(x, y) es la p a rte re a l de u n a fu n c ió n a n alític a, d e te rm in e la p a rte im a g in a ria .
19. uv
20 . e" e o s v
21. sen u cosh v
2 .6 A lg u n a s a p lic a c io n e s física s d e las fu n c io n es a r m ó n ic a s 85
b) C o n sid e re m o s la c u rv a so b re la c u al u = 1 y la c u rv a so b re la cual v = 2. R e p re s é n te
las g rá fic a m e n te en el p la n o xy, e n el d o m in io 0 < y < tt/2. U se u n a c a lc u la d o ra d e b o l
sillo q u e c alc u le lo g a ritm o s y fu n c io n e s trig o n o m é tric a s p a ra o b te n e r los d a to s
n u m é ric o s
c) D e te rm in e m a te m á tic a m e n te el p u n to d e in te rse cc ió n d e las cu rv a s del a p arta d o (b).
c) C a lc u lé la s p e n d ie n te s de a m b a s c u rv a s e n el p u n to d e in te rse c c ió n . C o m p ru e b e que
so n in v e rsa s n e g a tiv a s u n a d e otra.
F igura 2.6-1
1 Poní un iimili'ii'i más dctnlliulo de esle lema, vóase t Krcith y W llliick, Ihislr lle u t 'Ihins/rr
(Nueva York: Ilurper nnd Row, I6H0),
2 .6 A lg u n a s a p lic a c io n e s física s d e las fu n c io n es a r m ó n ic a s 87
LcE----------------- ►
Q,
Figura 2.6-2
(2.6-3)
dx dy
1 I liaremos el sím bolo dS puní denotar tanto la superficie diferencial com o el tamaño de su área
diferencial.
88 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
+ ^ = ( 2 .6 - 5 ,
dx dy dx dy
* = r3 /
Ti > T 2 > T 3
Figura 2.6-3
l’or el teorema 8 vemos que las curvas sobre las que y/(x, y) es constante deben
i- iperpendiculares a las isotermas. Las curvas correspondientes a i/r = constante se
llaman líneas de corriente. En la figura 2.6-3, las líneas punteadas representan líneas
de corriente.
Nos interesa determinar la pendiente de las curvas sobre las que y/(x, y) es cons-
i mí e Si recordamos la obtención de la ecuación (2.5-13) y sustituimos u por r/>y v
i vemos que la pendiente de una línea de corriente que pasa por x, y está dada por
(2.6-7)
'.opongamos ahora que, en el mismo punto, calculamos el valor local del vector de
densidad de flujo de calor Q. De las ecuaciones (2.6-4a, b) vemos que la pendiente
de dicho vector es
i Amparando la ecuación (2.6-7) con la ecuación (2.6-8) y notando que las pendientes
.mi idénticas, podemos enunciar el siguiente teorema:
TEOREMA 9 El vector de densidad de flujo de calor en un punto dado del
interior de un medio conductor es tangente a la línea de corriente que pasa por
dicho punto. □
I lomos ilustrado este teorema trazando el vector Q en un punto en la figura 2.6-3. Ob-
sérvese que la línea de corriente establece la pendiente de Q, mas no su dirección. La
dirección se determina notando que la dirección de flujo de calor va de una isoterma
de temperatura mayor a otra de temperatura menor.
I In diagrama de la familia de curvas sobre las que y/(x, y) toma valores constantes
nos proporciona una imagen de las trayectorias a lo largo de las cuales fluye el calor.
Además, como las lineas de corriente son ortogonales a las isotermas concluimos que:
90 C a p ítu lo 2 La fu n c ió n c o m p le ja y su d e r iv a d a
I lu jo de fluidos
1■i.icias a que gran parte de los conceptos relacionados con la conducción del calor se
ipliean directamente a la mecánica de fluidos, podemos tratar este tema con mayor
Ihc vedad.
Supongamos que tenemos un “fluido ideal”, es decir, un fluido incompresible (su
■l' 11.itlad no varía) y no viscoso (no hay pérdidas de energía por fricción interna). Su-
i"uniremos también que el fluido se encuentra en estado estacionario, lo que significa
que, en todo punto del fluido, la velocidad de flujo es independiente del tiempo. El
Unjo de fluidos, como el de calor, se origina en una fuente y termina en un sumidero.
Si colocamos un obstáculo rígido e impermeable en el fluido en movimiento, éste
i desplazará en direcciones tangentes a la superficie del objeto de la misma manera
en que el calor fluye en direcciones paralelas a las superficies aisladas.
En el caso anterior nos limitamos a considerar configuraciones bidimensionales
de flujo de calor. La conducción del calor se llevaba a cabo en direcciones paralelas al
ulano xy, dependiendo únicamente de las variables x ey. Aquí nos limitaremos al caso
■le un flujo bidimensional paralelo al plano xy. La velocidad del fluido V será un cam
iní vectorial que en general dependerá de las coordenadas x ey. Es análogo a la densi-
il.nl de flujo de calor Q. Las componentes de V paralelas a los ejes coordenados son Vx
I La velocidad V es el vector asociado a la velocidad compleja definida por
v = Vx(x, y) + i Vy(x, y). (2.6-15)
I i.i expresión es análoga a la densidad compleja de flujo de calor q = Qfx, y) +
/(>,('■ y)-
En ciertas condiciones hay una expresión análoga a las ecuaciones (2.6-4a, b)
I'.ii a la mecánica de fluidos. Existe una función real de x e y, llamada potencial de ve-
111, u/ad if>(x, y), tal que
(2.6-16a)
* dx’
(2.6-16b)
i .la condición indica que la velocidad es igual al gradiente del potencial de veloci-
. I ni l’ara poder obtener Vx y Vy a partir de (f>, como se indica en la ecuación (2.6-16),
i . preciso que el flujo sea irrotacional. Un gran número de problemas físicos satis-
fu en la condición de flujo irrotacional^ Se caracteriza por la ausencia de vórtices
(remolinos).
En estado estacionario, la masa total de fluido contenida en un volumen cualquie-
ia no varía con el tiempo. Si un volumen no contiene fuentes ni sumideros, la cantidad
de fluido que entra en el volumen durante un intervalo de tiempo cualquiera es igual a
1 V éase, por ejemplo, l< Sobersky, A Acosla y E, IImiptirmn, Fluid Flow, A First Cutirse in
Fluid Mechanlis, 2o. ed. (Nueva York: Maeinlllan, 1‘UI), nuccIoiicn .1.5,6.2 6.4,
92 C a p ítu lo 2 La fu n c ió n c o m p le ja y su d e r iv a d a
l,i cantidad de fluido que sale durante el mismo intervalo. Esto nos recuerda la ley de
i onservación del calor en estado estacionario. De hecho, si el fluido es incompresible,
/./\ componentes de la velocidad Vxy Vy satisfacen las mismas ecuaciones de conser-
viu-ión (2.6-3) que las componentes Qxy Qy del vector de densidad de flujo de calor.
11 ando la ecuación (2.6-16) para eliminar Vx y Vy de las ecuaciones de conservación
i|iic satisface el vector velocidad, tenemos
d2c¡) d2(j>
+ — = °. (2.6-17)
dx2 dy2
l’oi lo tanto, el potencial de velocidad es una función armónica.
Podemos ahora definir una función analítica <f>(z) cuya parte real sea j>(x, y). Su
paite imaginaria \ff(x, y) se conoce como función de corriente. Así,
d>(z) = <p{x, y) + ii/fl.x, y). (2.6-18)
I lamamos a <3>potencial complejo de velocidad, o bien simplemente potencial com
plejo. Las curvas sobre las que <f>(x, y) toma valores constantes se llaman equipo-
lenciales y, como en el caso anterior, las curvas de i¡/ constante se llaman líneas de
corriente. Estas familias de curvas son ortogonales.
En todo punto, el vector de velocidad del fluido, como el vector de densidad de
llujo de calor, es tangente a la línea de corriente que pasa por dicho punto.
Si lomamos un pequeño volumen de fluido y lo seguimos en su trayectoria, vemos que
osla es una línea de corriente. El vector de velocidad del fluido en un punto dado es
perpendicular a la equipotencial que pasa por dicho punto.
Existe una relación simple entre el potencial complejo y la velocidad del fluido.
I )e las ecuaciones (2.6-13) y (2.6-16) tenemos
= Vx + iVy = v. (2.6-19)
Electrostáticaf
En la teoría de la electrostática, las cargas eléctricas estacionarias (es decir, inmóviles)
hacen las veces de las fuentes y sumideros que mencionamos en nuestro tratamiento
de la conducción del calor y el flujo de fluidos.
Según esta teoría existen dos tipos de carga: positiva y negativa. La carga suele
medirse en culombios (coulombs). La carga positiva se comporta como fuente de flu
jo eléctrico, en tanto que la carga negativa actúa como sumidero. Dicho de otro modo,
el flujo eléctrico emana de las cargas positivas y se absorbe en las cargas negativas.
1 lisie k'iini cslíi halado con claridad cu W II llayl, l'ii^biri'i'liin l'lci'tnHHiiy.iii'tlcs, 4n. ed.
(Nueva York McUraw 11111,1981),
2 .6 A lg u n a s a p lic a c io n e s física s de las fu n c io n es a r m ó n ic a s 93
e£ = D. (2.6-21)
I a ecuación (2.6- 20) se convierte entonces en
F = q0E o F/q0 = E.
Vemos, pues, que el cociente del vector de fuerza que se ejerce sobre una carga de
prueba entre la magnitud de dicha carga es igual al campo eléctrico E. Luego, la ecua
ción (2.6-21) proporciona la densidad de flujo vectorial D en la posición de la carga
de prueba.
En lo sucesivo consideraremos problemas electrostáticos en dos dimensiones.
I ’.sto exige una explicación. Supondremos que todas las cargas eléctricas que intervie
nen en la creación del flujo eléctrico están dispuestas en líneas, o cilindros, de longi-
lud infinita y perpendiculares al plano xy. Sea tj la coordenada perpendicular al plano
yr Supondremos que la distribución de carga sobre estas fuentes o sumideros de flujo
no depende de Todo obstáculo (por ejemplo, un conductor metálico) que coloque
mos en la región del flujo eléctrico será también de longitud infinita y perpendicular al
plano xy. En este tipo de configuraciones el vector de densidad de flujo eléctrico D es
paralelo al plano xy. Sus componentes Dx y Dy dependen generalmente de las variables
y e v, pero no de f. Las ecuaciones de Maxwell muestran que el vector de densidad
de Unjo eléctrico generado por cargas estáticas puede obtenerse a partir de un poten-
i ial escalar. El potencial electrostático cf>, que suele medirse en voltios, guarda una re
lación muy similar, con la densidad de flujo eléctrico, a la que existe entre la
temperatura y la densidad de flujo de calor o entre el potencial de velocidad y la velo-
cidad de flujo.
I -as componentes del vector de densidad de flujo eléctrico se obtienen a partir de
</>( y, p) tic la siguiente manera:
1 I '.le es mi ejemplo <lc campa ile íueiva que ejerce nuil acción a cierta distancia de la fucnlc in-
cliiso en el vacio. I a pravedad es alia ejemplo de este lipa de íucr/.n,
94 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
dó (2.6-22)
°y = - e — .
dy
Estas ecuaciones son análogas a las ecuaciones (2.6-4a, b) para la densidad de flujo
de calor. Si Ex y Ey son las componentes del campo eléctrico, entonces, de la ecuación
(2.6-21), tenemos Dx = sEx y Dy = sEy.
Dando un vistazo a la ecuación (2.6-22) vemos entonces que, para el campo
eléctrico,
Podemos definir el flujo eléctrico que atraviesa una superficie de manera muy si
milar a como definimos el flujo de calor que atraviesa una superficie. La cantidad de
flujo eléctrico d f que atraviesa una superficie plana dS se obtiene a partir de la ecua
ción (2.6—2), sustituyendo Qn por D„, componente normal del vector de densidad de
flujo eléctrico. Así, d f = D„dS. El flujo que atraviesa una superficie finita (no diferen
cial) se calcula integrando la componente normal de D sobre dicha superficie.
La primera ecuación de Maxwell indica que el flujo eléctrico total que penetra
en un volumen en el que no hay carga eléctrica neta es cero. Esto nos recuerda la con
dición idéntica que satisface el flujo de calor en un volumen sin fuentes. De hecho,
en todo punto del espacio en el que no haya cargas eléctricas, el vector de densidad de
flujo eléctrico satisface la misma ecuación de conservación (2.6—3) que el vector
de densidad de flujo de calor. Si eliminamos las componentes de D de esta ecuación de
conservación con ayuda de la ecuación (2.6- 22), encontramos un resultado conocido:
d24> d2(p
—
dx 7 + —
dy 7 = °-
Por lo tanto, el potencial electrostático en una región sin cargas es una función armónica.
Naturalmente, podemos ahora definir una función analítica <1>= f + iy/, llamada
potencial electrostático complejo, cuya parte real es el potencial electrostático. Como
en los casos anteriores, la parte imaginaria se llama función de corriente.
El vector de densidad de flujo eléctrico es tangente a las líneas de corriente que
se generan a partir de y/.
La densidad de flujo eléctrico D y el vector de campo eléctrico E son los vectores
que corresponden a las siguientes funciones complejas:
d(z) l) x(x , y) + iDy(x , y),
e(z) E flx , y) + tEy(.x, y).
2 .6 A lg u n a s a p lic a c io n e s física s d e la s fu n c io n e s a r m ó n ic a s 95
Tabla 1
l JE M P L O 1
i onsideremos un potencial complejo de la forma
<D(z) = Az + B, donde A y B son números reales. (2.6-24)
I HMermine los potenciales asociados, las líneas de corriente y la densidad de flujo des-
iIr el punto de vista de la electrostática, de la conducción del calor y del flujo de fluidos.
Solución
I ,ii función potencial es
<l>(x, y) ■ Rc(Az + fí) = Ax + B, (2.6-25)
y Iu función de corriente es
tl>(x,y) Im(4z + B) - Ay, (2.6 26)
96 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
Las equipotenciales (o isotermas) son las superficies en las que 4>(x, y) toma valores
fijos. De la ecuación (2.6-25) vemos que dichas superficies aparecen en el plano z
como rectas de x constante. En la figura 2.6^1 se muestran algunas de estas rectas. Las
líneas de corriente, que son las curvas en las que i//toma valores constantes, son, se
gún la ecuación (2.6-26), rectas correspondientes a valores constantes de y. En la fi
gura aparecen como líneas punteadas.
El lector que haya estudiado electrostática observará que la distribución de la fi
gura 2.6-4 es el potencial que se crea entre las placas de un condensador o capacitor
(icapacitor) de placas paralelas cuyas placas son perpendiculares al eje x. La densidad
compleja de flujo eléctrico para esta configuración es, según el último renglón de la
tabla 1,
d = -e — (Az + B) = —eA = Dx + iD ,
dz
lo que implica que Dx = -sA, Dy = 0. El vector de densidad de flujo eléctrico es para
lelo al eje x. Si A > 0 el vector apunta hacia la izquierda en la figura 2.6-4.
Si O(z) es la temperatura compleja, las isotermas son las equipotenciales mostra
das en la figura 2.6—4. La densidad compleja de flujo de calor es
q = - k —-(Az + B) = - k A = Qx + iQ
dz
(véase la Tabla 1), lo que implica que Qx = -kA, Qy = 0. El flujo de calor es uniforme
y, si A > 0, apunta en la dirección x negativa.
Finalmente, si O(z) describe el flujo de un fluido, la velocidad de flujo es
Vx + i V (Az + B) —A,
dz
, L ín eas de
i co rrien te
l ^ J
lit|uipoleticiitlcs
EJERCICIOS
1. S u p o n g a m o s q ue, en to d o p u n to de c ie rto m e d io , las c o m p o n e n te s del v e c to r de d e n sid a d
de flu jo d e c a lo r Q son Qx = 3, Qy = - 4 c alo ría s p o r c en tím etro c u ad rad o p o r seg u n d o .
a) C o m e n z a n d o co n las e c u a c io n e s ( 2 .6 -4 a , b ), d e te rm in e la te m p e ra tu ra <fi(x, y ) e n g ra
dos. S u p o n g a q u e 4> (0, 0) = 0 y q u e la c o n d u c tiv id a d k d el m e d io es ig u a l a 0.1 c a lo
ría s p o r c e n tím e tro , g ra d o y seg u n d o .
b) E n c u e n tre la fu n c ió n de c o rrie n te y/(x, y). S u p o n g a q u e i//(0, 0) = 0.
c) T race la s e q u ip o te n c ia le s d o n d e <f>es ig u al a 0, 4 0 , - 4 0 .
d ) T rac e las lín e a s d e c o rrie n te y/ = 0, 4 0 , - 4 0 . C o m p ru e b e q u e son p a ra le las a Q.
2. S u p o n g a m o s q u e el p o te n c ia l c o m p le jo q u e d e sc rib e el flu jo de c ie rto flu id o e stá d a d o p o r
O (z ) = 1/z (m e tro s 2/s e g .) p a r a z 4= 0.
a) C a lc u le la v e lo c id a d c o m p le ja d el flu id o e n x = l , y = 1 (m e tro s) d ife re n c ia n d o el p o
te n c ia l c o m p le jo . E s c rib a Vx y Vv.
b ) C alcu le la s c o m p o n e n tes Vx y Vy, e n el m ism o p u n to , d e te rm in a n d o y u san d o el p o te n
cial d e v e lo c id a d 4>(x, y).
c ) V e rifiq u e q u e la e c u a c ió n de la e q u ip o te n c ia l q u e p a sa p o r x = 1, y = 1 es (x - l ) 2 +
y 2 = 1. R e p re s e n te e sta cu rv a g rá fic a m e n te.
d ) D e te rm in e la e c u a c ió n de la lín e a de c o rrie n te q u e p a sa p o r x = \ , y = 1 y re p re s é n te la
e n fo rm a g ráfica.
S u p o n g a m o s q u e <t>(z) = e x eos y + iex sen y re p re s e n ta el p o te n c ia l c o m p le jo de c ie rta
c o n fig u ra c ió n e le ctro stá tic a , ex p re sa d o en v oltios.
a) U se el p o te n c ia l c o m p le jo p a ra d e te rm in a r el c am p o elé ctrico c o m p le jo en x = 1,
y = 1/2.
b) O b te n g a el c am p o e lé c tric o c o m p le jo en el m ism o p u n to d e te rm in a n d o y u san d o el p o
te n c ia l e le c tro stá tic o <£ (x, y).
c ) S u p o n ie n d o q u e la c o n fig u ra c ió n e le c tro stá tic a se e n c u e n tra en el v a cío , d e te rm in e las
c o m p o n e n te s D x y D v del v e c to r d e d e n sid a d d e flu jo e lé ctrico en x = 1, y = 1/2. E n
u n id a d e s m .k .s., e = 8.85 x 1(E12 en el vacío.
d) ¿ C u á n to v ale </> en x = 1, y = 1/2? H a g a u n a g rá fic a d e la su p erfic ie e q u ip o te n c ia l que
p a sa p o r e ste p u n to .
e ) ¿ C u á n to v ale i//en x = 1, y 1/2? lla g a una g rá fic a de la lín e a de c o rrie n te que p a sa
p o r e ste p u n to .
I. a) Explique por qué <l( v, y ) r l ix puede ser la densidad com pleja de flujo eléctrico en
una región sin cargas pero tlfr, y ) x I ¡v no.
98 C a p ítu lo 2 L a fu n c ió n c o m p le ja y su d e r iv a d a
Está claro que la ecuación (3.1-1) satisface la condición (a). (Tómese^ = 0.) Obsér
vese que, como en el caso real, e° = 1. Para comprobar la condición (b) tenemos
u + iv — ex eos y + iex sen y, (3.1-2)
donde
u = Re e2 = ex eos y, v = Im ez = ex sen y. (3.1-3)
d x x
—e = e .
dx
Nótese que si g(z) es una función analítica, entonces, por la regla de la cadena para la
diferenciación (véase la Ec. (2.4-1 d)), tenemos
— e»(z) = e 9iz)g'(z).
dz
La función ez tiene otra propiedad en común con ex. Sabemos que si x, y x2 son
reales, entonces ex'ex* => e^x<+xd. Podemos demostrar que si z, = x, + (y, y z2 = x2 +
iy2 son dos números complejos, entonces cz' ez‘ —e1' 12¡. Obsérvese que
_ e*'[cos y, + i sen y, ] y e ‘‘ - ('"'[eos y2 + i sen y2],
de m od o que
3.1 L a fu n c ió n e x p o n e n c ia l 101
l il’ i m i . V I I
E je r cic io s 103
La notación exponencial e'° se usa a menudo, en lugar de cis 9 o \[9, para repre
sentar la variable z en coordenadas polares. Así, z = r cis 9 se convierte en z = re'B. A
manera de ejemplo, llevaremos a cabo la siguiente multiplicación usando esta nota
ción. Sean
1 + ¡V3 = 2 = 2ein,i y 1+ i = ^2 ^ =J 2 ^ \
lales que
(1 + ¿ y 3 ) ( l + ¡j = 2 ^ 2 e í(’,/3 + ’t/4).
( 71 n\ + i sen f -n 7r\
2 ^ 2 eos - + +“
_ \3 4) \3 4/_
I n el apéndice de este capítulo se consignan algunas importantes aplicaciones físicas
de la exponencial compleja en la ingeniería eléctrica y en la mecánica.
I'I.IK R O C I O S
I .criba las siguientes expresiones en la forma a + ib, donde ay b son números reales.
I, + 2. e3~4i 3. e~3e4‘ 4. e'
v ,,11/ d - o i 6. e‘ arc c°s 1 7. ee'
•». c‘‘/; (todos los valores) 10. (e')1/2 (todos los valores)
II. Si /'(z) = ez, demuestre que f( z + inn) = (-1) " /(z), donde n es un entero cualquiera.
I De mue s t r e que ez = 0 no tiene solución en el plano complejo.
IV I)etermine todas las soluciones de ez = 1 + /O, igualando las partes correspondientes (real
c imaginaria) de los dos lados de esta ecuación.
I I. IJsando la definición de ez dada por la ecuación (3.1-1), compruebe que
ez*
donde z, = x¡ + iy\ yz2=x2 + iy2-
I \ prese las siguientes funciones en la forma w(x, y) + iv (x, y), donde u y v son funciones reales.
15. t ‘‘ 16. el/l 17. er‘ 18. e,z + z' ' '
I Ictcrm inc / ' ( I + /’) si / (z) está dada por
e l<*' _ e l>
lím
i-o e'z - l
E n las sig u ie n te s re g io n e s ¿ c u á le s so n los v a lo re s m á x im o s y m ín im o s q ue p u e d e to m a r |e z|?
D ig a q u é p u n to s d e la re g ió n c o rre s p o n d e n a e sto s v alo res.
27. E l m ó d u lo d e la e x p re sió n
N- 1
P —1+ + e12* + 4- eMN~ = £ e1**
n=O
es im p o rtan te en u n g ra n n ú m e ro de p ro b le m a s e n lo s q u e in te rv ie n e n TV e le m e n to s físico s
id é n tic o s (p o r e je m p lo , a n te n as o a lta v o ce s) q u e e m ite n ra d ia c ió n . A q u í y/ u n a c a n tid a d
real que d e p e n d e d e la s ep a ra c ió n de los e le m en to s y d e la p o sic ió n d el o b s e rv a d o r de la
ra d ia c ió n . \P\ in d ic a la in te n sid a d de la ra d ia c ió n o b serv ad a .
a) U sa n d o la fó rm u la de la su m a d e u n a serie g e o m é tric a (v é a se el e je rc ic io 37 de la se c
c ió n 1.4), d e m u e stre que
sen Ni/r/2
\PW\ =
sen i¡//2
b) Calcule lím 0|P(y/)|.
c) Por medio de una calculadora de bolsillo o de un simple programa de computador re
presente gráficamente \P(yf)\ para 0 < y/< 2tt cuando TV= 3.
28. Sea z = re,e, donde r y 6 son las variables polares usuales.
a) Compruebe que Re[(l + z)/( 1 -z)] = (1 - r 2)/( 1 + r 2 - 2r eos &). ¿Por qué debe esta
función satisfacer la ecuación (2.5-14) en todo punto de cualquier dominio que no con
tenga az = 1?
b) Determine Im[(l + z)/(l -z)] en forma similar al resultado del apartado (a).
29. El flujo de un fluido queda descrito por el potencial complejo <t>(z) = <j>(x, y) + / y/(x, y) = ez.
a) Encuentre expresiones explícitas para el potencial de velocidad 4>(x, y) y la función de
corriente yKx, y) en términos de x e y.
b) En la franja |Im z| < Ji/2, trace las equipotenciales correspondientes a <l>= 0, + 1/2, + I,
+2 y las líneas de corriente correspondientes a y/ m 0, ±1/2, ±1, ±2.
c) ¿Cuánto vale el vector de velocidad del fluido enx “ 1,y tt/4?
3 .2 F u n cio n e s tr ig o n o m é tr ic a s 105
e s d ecir,
ew - e ~ ie
sen 8 = —----■ (3.2-4)
I.as ecuaciones (3.2-3) y (3.2-4) sirven para definir el seno y el coseno de un nú
mero real en términos de exponenciales complejas.
Es entonces natural definir sen z y eos z, donde z es complejo, de la siguiente
manera:
e'z —c ~tz
sen z = , (3.2-5)
2i
eiz + e~iz
eos z = (3.2- 6)
1 las definiciones tienen sentido por diversas razones:
,i) C'uando z es un número real, las definiciones dadas por las ecuaciones (3.2-5)
y (3.2—6) se reducen a las definiciones convencionales (3.2-3) y (3.2^1) para
el seno y el coseno de un argumento real.
h) y e ' son analíticas en todo el plano z. Por lo tanto, senz y cosz, definidas
como sumas y diferencias de estas funciones, también lo son.
c) (/sen z/í/z : /|<f2 + e l:\/2i = eos?. Además, dcoszldz = -senz.
I ,It'icilprobar que scn‘ z I eos2z I y quelas identidades que satisfacen el seno y
d coseno deun argumento real también son válidas en elcaso complejo, por ejemplo,
11^ — — I
etcétera.
Por medio de las ecuaciones (3.2-5) y (3.2-6), podemos determinar el valor nu
mérico del seno y el coseno de un número complejo cualquiera. Con todo, existe un
procedimiento ligeramente más conveniente. Recordemos el seno y el coseno hiper
bólicos de un argumento real 8, que se ilustran en la figura 3.2-1, definidos por las si
guientes ecuaciones:
e —e
senh 8 = (3.2-7)
T~
ee + e~
cosh 8 = (3.2-8)
2i 2i 2i
Ahora podemos usar la identidad de Euler (Ec. (3.2-1) o (3.2-2)) para volver a escri
bir e'x y e““ en la ecuación anterior. Tenemos entonces
e _,,(cos x + i sen x) ey(cos x —i sen x)
2i 2i
(ey + e~y)
+ i eos X (e*
e~
= sen x-
l' lu iu ti 3.2 I
3 .2 F u n cio n e s tr ig o n o m é tr ic a s 107
d tan z = sec 2 z,
—
dz
d
— sec z = tan z sec z,
dz
d
— cosec z = —cot z cosec z.
dz
Existen también expresiones para tan(x + iy) y cot(x + iy) en términos de fun
ciones trigonométricas e hiperbólicas. Estas expresiones se obtienen en los ejercicios
y corresponden a las ecuaciones (3.2-13) y (3.2-14) de los ejercicios 28 y 29.
El seno y el coseno de un número real son números reales cuyo valor absoluto es
inferior o igual a 1. Sin embargo, el seno y el coseno de un número complejo no son
sólo, en general, complejos, sino que además su módulo puede ser mayor que 1 (véa
se el ejercicio 1 de esta sección).
E JE M P L O 1
Exprese sen (id), donde 6 es un número real, en la forma a + ib, y eos (id) en forma
similar.
Solución
I Isamos la ecuación (3.2-9) conx = 0 y y = 6. El resultado es
(3.2-12)
E JE M P LO 2
Compruebe que todos los ceros de eos z se encuentran en el eje x del plano z.
Solución
Consideremos la ecuación cosz = 0, donde z = x + iy. Usando la ecuación (3.2-10),
podemos escribirla como eos x coshy - i sen x senhy = 0. Tanto la parte real como la
parte imaginaria del lado izquierdo de esta ecuación deben ser iguales a cero. Es decir,
eos x cosh y = 0 y sen x senh y = 0.
Consideremos la primera ecuación. Como cosh y no se anula cuando y es un núme
ro real (véase la Fig. 3.2-1), es evidente que eos x — 0. Esto implica que x = ±n/2,
±3n/2,..., etc.; dicho de otro modo, x = ±(2n + \)n/2, donde n = 0, 1, 2,... Consi
deremos ahora la segunda ecuación. La primera ecuación indica que x debe ser un
múltiplo impar de ±nt2\ por lo tanto, la expresión sen x que aparece en la segunda
ecuación debe ser igual a ±1. Así, senx senhjp = 0 se satisface únicamente si senhj
= 0. Dando un vistazo a la figura 3.2-1 vemos que esto sólo es posible cuando y = 0.
Vemos que eos z = 0 sólo en los puntos que satisfacen al mismo tiempo y = 0 y x
= ± (2n + 1) n/2. La primera condición implica que estos puntos se encuentran sobre el
eje x mientras que la segunda indica que están separados por intervalos de longitud n.
Los valores de z tales que eos z = 0 son exactamente los mismos para los cuales eos x = 0.
Las funciones sen x y sen z satisfacen un resultado similar; esto se demuestra en uno
de los siguientes ejercicios. M
EJERCICIOS
E n c u e n tre el v a lo r n u m é ric o de las s ig u ie n tes e x p re sio n e s en la fo rm a a + ib , d o n d e a y b son
n ú m e ro s reales.
12. se n 2 z + e o s 2 z = 1,
d
13. — sen z = eos z,
dz ___
14. s e n 2 z = | — -j eos 2z,
15. s en (z, + z 2) = sen Z[ eos z 2 + eos z , sen z 2,
I (>. sen (z + 2kn) = sen z, cos(z + 2kn) — eos z, donde k = 0, + 1 , + 2 , .. .
17. C u an d o e stu d ia m o s la id e n tid a d de E uler, e '* = e o s 6 + i sen d, e n la sec c ió n 3.1, n o s re s
trin g im o s a v a lo re s re a le s de 8. P ru e b e q u e 6 p u e d e, sin em b a rg o , s e r c o m p le jo , es decir,
que e'z = eos z + i sen z p a ra to d o z co m p lejo .
18. D e m u e s tre q u e la e c u a c ió n s e n z = 0 s ó lo tie n e s o lu c io n e s e n el p la n o c o m p le jo p a r a
z = n n c o n n = 0 , ± 1, ± 2 ,... P o r lo ta n to , lo s c e r o s d e s e n z, c o m o lo s d e e o s z , e s tá n
e n el e je re a l.
I l). V erifiq u e q u e s e n z - eo s z = 0 tie n e so lu cio n es ú n ic a m en te p a ra v a lo re s re a le s de z. D e te r
m ine d ic h a s so lu cio n es.
,1 o q u é re g io n e s d e l p la n o c o m p le jo n o so n a n alític as la s s ig u ie n tes e x p re sio n e s?
Sugerencia: R e c u e rd e q u e c o sh 2 8 - sen h 2 0 = 1 .
2(i. P ru eb e q u e |s e n z | = ^ /sen h 2 y + s e n 2 x .
77. M u estre q u e |s e n z |2 + |co s z|2 = se n h 2 ^ + c o sh 2 y.
78. V erifiq u e q u e
sen(2x) + i senh(2_y)
ta n z = ---------------------------— . (3 2 - 1 3 )
cos(2x) + cosh(2y)
2‘>. D e m u estre q u e
sen(2x) + i senh(2y)
cot z = ---------------------------- . (3 2 -1 4 )
cosh(2v) — cos(2x)
e7 + e~z
cosh z = ---------- . (3.3-2)
2
Si z es real, estas definiciones se reducen a las de las funciones hiperbólicas de ar
gumento real. Vemos que senh z y cosh z se componen de sumas y diferencias de
las funciones e2 y é~2, que son analíticas en todo el plano z. Por lo tanto, senh z y
cosh z son analíticas para todo z. Es fácil comprobar que ¿/(senh z)ldz = cosh z y que
¿/(cosh z)ídz = senh z. A partir de las ecuaciones (3.2-5), (3.2-6), (3.3-1) y (3.3-2)
podemos fácilmente verificar que
senh(i'z) = i sen z
y que
cosh(iz) = eos z.
Todas las identidades relativas a las funciones hiperbólicas de variable real son
también válidas para estas funciones, por ejemplo, con ayuda de las ecuaciones
(3.3-1) y (3.3-2) podemos demostrar que
cosh2 z — senh2 z = 1, (3.3-3)
cosh(z! ± z2) = cosh z¡ cosh z2 ± senh z¡ senh z2, (3.3-4)
senh(z, + z2) = senh z¡ cosh z2 ± cosh z 1 senh z2. (3.3-5)
Es fácil obtener expresiones para senh z y cosh z en términos de funciones reales
de variables reales análogas a las ecuaciones (3.2-9) y (3.2-10). Se trata de las si
guientes expresiones:
senh z = senh x eos y + i cosh x sen y, (3.3-6)
cosh z = cosh x eos y + i senh x sen y. (3.3-7)
Las otras funciones hiperbólicas se derivan directamente del seno y el coseno hiper
bólicos:
senh z 1 , 1 I
tanh z = -------- , sech z = -------- , cosech z = ------- , coth z = ---------.
cosh z cosh z senh z tanh z
Las funciones hiperbólicas y las funciones trigonométricas difieren considerable
mente. En lanío que todas las ralees de sen z 0 y eos r 0 se encuentran en el eje
E je r cic io s 111
n al del plano z, en los ejercicios demostraremos que todas las raíces de senh z = 0 y
co sh z = 0 están en el eje imaginario. Las funciones trigonométricas son periódicas de
p e r io d o 2 n (véase el ejercicio 16 de la sección 3.2), mientras que las funciones hiper
bólicas tienen periodo 2ni, es decir, senh(z + 2m) = senhz y cosh(z + 2m) — coshz.
EJERCICIOS
b) ¿ E n q u é re g ió n d e l p la n o z es a n a lític a ta n h z?
1 >. •. MMla liiiin liiiinx Ion lu u u llllliu . .(ilI lnn.il lllllir. I11IM' r (lllllIIIlili )
3 .4 La función lo g a r ítm ic a 113
sólo uno es un número real; los otros son complejos. En las tablas numéricas aparece
el valor real.
El valor principal del logaritmo de z, que denotaremos por Log z, es el valor que
se obtiene cuando se usa el argumento principal de z en las ecuaciones (3.4-2) y
( 1.4-3). Recordemos (véase la Sec. 1.3) que el argumento principal de z, que denota
remos por 0p, es el argumento de z que satisface - n < 9P< it. Tenemos, por lo tanto,
Log z = Log r + i9p, r = |z| > 0, 6p = arg z, —n < 6 p < n. (3.4-5)
<tbservemos que en la ecuación anterior hemos escrito Log r (en lugar de log r) ya que
los logaritmos naturales de números reales positivos, que pueden obtenerse por medio
ile una calculadora o de una tabla numérica, son valores principales.
l odos los valores de arg z pueden obtenerse a partir del valor principal 6 usando
11 fórmula argz = 9= 9p + 2kn, donde k es un entero apropiado. Por lo tanto, podemos
iiblcner todos los valores de log z a partir de la expresión
log z = Log r + i(9p + 2kn), k = 0, + 1 ,+ 2 ,... (3.4-6)
l omando k = 0 en esta expresión obtenemos el valor principal, Log z.
( ibsérvese que aun si en la ecuación (3.4-6) usamos un valor de arg z distinto del
h enmonto principal, la ecuación (3.4-6) sigue proporcionando todos los valores posi-
l'lc. de logz, aunque no obtendríamos el valor principal al tomar i = 0.
I I hecho de que sea posible asignar un logaritmo a todos los puntos del plano
"luplcjo con la excepción de 0 + i 0 y de que esta función no esté restringida a los
n .des positivos fue estudiado por primera vez por Euler a mediados del siglo xvm.
Mencionamos a este matemático cuando hablamos de las exponenciales complejas,
l ue también el primero en establecer que el logaritmo es una función multiforme.
I s posible que el lector se sienta confundido por las diversas notaciones que
ni leu emplearse para especificar logaritmos. La tecla marcada con el símbolo ln (o
III) de la mayoría de las calculadoras básicas proporciona el valor real del logaritmo
n limal (base e) de un número real positivo. Así, la función ln r de la calculadora
"H esponde a nuestro Log r cuando r es un real positivo. Sin embargo, las calculado-
ii. también suelen tener una tecla marcada con el símbolo log (o LOG). Esta tecla
l" i inite calcular logaritmos base 10 de números reales positivos; éstos no son los lo-
Hlimos que emplearemos aquí y dicha tecla no servirá para resolver los ejercicios
di este libro.
/ HIMPLO 1
I )etermine Log(—1 - i) y todos los valores de log (-1 - i).
Stilación
l I número complejo I i se muestra gráficamente en la figuru 1.3 13. El valor prin
• ipal 0r de este número es l/r/4 y su módulo es J I >e la ecuación (3.4 5).
114 C a p ítu lo 3 L as fu n c io n es tr a sc e n d e n te s bá sica s
Por medio de la ecuación (3.4-6) podemos escribir fácilmente todos los valores de
log(—1 - i):
l0g( - 1 - 0 = Log y j l +
E JE M P LO 2
Encuentre Log(-10) y todos los valores de log(-10).
Solución
El argumento principal de todo real negativo es n. Por lo tanto, de la ecuación (3.4-5)
Log(-lO) = Log 10 + in = 2.303 + in. De la ecuación (3.4-6) tenemos
log( —10) = Log 10 + i(n + 2kn).
Podemos comprobar este resultado de la siguiente manera:
glog( —10) _ gLog 10+¡(re+2/cre) _ gLog 1(>[cos(7t 4. 2kn) + ¡ Sen(7T + 2/c7t)] = —10. M
En los cursos de cálculo elemental se aprende la identidad log(x, x2) = logx, + log
x2, donde x¡ y x2 son números reales positivos. El resultado
log(ziZ2) = log Z! + log z2, (3.4-7)
donde z, y z2 son números complejos y donde se han tenido en cuenta los múltiples
valores de los logaritmos, exige una interpretación. Las expresiones log z, y log z2
son multiformes. Su suma log z, + log z2también es multiforme. Si escogemos dos
valores particulares de estos logaritmos y los sumamos, obtendremos uno de los va
lores posibles de log(z,z2). Para ilustrar este hecho, seanz, = r,e ,w>y z2 = r2e lH*. Así,
logz, = Log r, + i(0, + 2rmi) y log z2 = Log r2 + i(d2 + 2mi). Ahora asignamos valo
res enteros específicos a m y a /i. Sumando los logaritmos obtenemos
log Zi + log z2 = Log + Log r2 + i(0l + 02 + 2n(m + n)). (3.4-8)
Ahora bien, Log r, + Log r2 = Log(r,r2) ya que r, y r2 son reales positivos. Entonces,
la ecuación (3.4-8) se transforma en
log Z! + log z2 = Log(r,r2) + ¡(új + d2 + 2n(m + n)). (3.4-9)
Obsérvese que r,r2 = |z,z2| mientras que 0t + d2 + 2n(m + n) es uno de los valores de
arg (z, z2). Así, la ecuación (3.4-9) es uno de los valores posibles de log(z, z2).
Supongamos que z t = i y que z2 = —1. Entonces, si tomamos log(z,) ¡n/2
y log(z2) = in (valores principales), tenemos logz, + logz2 /3tt/2. Ahora bien,
Z|Z2 i, y si usamos el valor principal, log(Z|Z2) in/2. Notemos q u e aquí
E je r cic io s 115
I / IM P L O 3
ii 1 + 3 T r i . Determine todos los valores de log ez y diga cuál de ellos es igual az.
,Viilni ion
limemos ez = e' +3w = e[cos 3k + i sen 3/r] = -e. Por lo tanto
logé?1*3*1'= log(-e) = L o g |-e | + ¡(arg(-e)).
Mima bien, Log |-e| = Log e = 1 y el argumento principal de -e (número real negati-
vu) es n. Así, arg(-e) = n + 2kn. Por lo tanto
log e 1+3l" = 1 + i(n + 2kn), k = 0, ± 1, ± 2 ,...
II mullido k = 1, obtenemos log e1+3m = 1 + 3 ni. Pero el valor principal de log
e* '"'se obtiene con& = 0 y da Loge1+3” = 1 + m. M
I II K( ICIOS
i m h iniiiu todos los valores del logaritm o de cada uno de los siguientes núm eros y especifique
i l iilor principal en cada caso. Exprese sus respuestas en la form a o + ib.
I I 2. IOi 3. e‘*/3
•1 S. —1 + i> / 3 6. Log i
I, Logd -4- /v/3) 8. ienh(l + () 9. e le‘
lo (.'"iid+iv llt (tfserihn dos vulorcs principnlcs)
116 C a p ítu lo 3 L as fu n c io n es tr a sc e n d e n te s b á sica s
Encuentre los valores numéricos de cada una de las siguientes expresiones. Si el resultado es
multiforme, escriba todos los valores.
' Estrictamente hablando, el adjetivo "iiiiivulundii" que liemos usado en la expresión “función
iiiiivnliimlu" es reduiulunlc, puesto que uiui liineión es univnhimln por definición.
118 C a p ítu lo 3 L as fu n c io n e s tr a s c e n d e n te s b á sica s
X
\ /
\
\
/
Figura 3.5-1
derivada de Log z debe existir en todo punto de este dominio, de modo que Log z es
analítica en D. En la figura 3.5-2 se ilustra esta situación. Es fácil determinar la deri
vada de Log z en este dominio de analiticidad.
Sif ( z (r, 9)) = u{r, 6) + iv{r, 6) es analítica, la ecuación (2.4-6) proporciona una
fórmula para / '( z). Usando esta ecuación y efectuando la sustitución e ,e = eos 6 -i sen 9
tenemos
(3.5-3)
Flguru 3.5 2
3 .5 A n a litic id a d d e la fu n c ió n lo g a r ítm ic a 119
Figura 3.5-3
imaginario. Tal como la hemos expresado, no es una rama de log z. Pero, si exigimos
que z pertenezca al dominio Z), que se muestra en la figura 3.5-3, la función se con
vierte en rama. El dominio D, se crea eliminando del plano complejo el origen y la
parte positiva del eje imaginario. Cuando exigimos que z pertenezca a D t pedimos que
r > 0 y que —3zr/2 < 8 < nt2. Como en el caso de la rama principal, podemos mostrar
que la derivada de esta rama existe en todos los puntos de D { y que es igual a 1/z.
El lector puede comprobar fácilmente que las funciones logarítmicas
son ramas analíticas para todo valor de k, siempre y cuando z pertenezca al dominio
S i
lo s dominios D y D¡ son sólo dos de la infinidad de dominios en los que pode
mos encontrar ramas de log z. Ambos fueron creados por medio de un corte (o recta
de ramificación) en el plano xy. Cuando, al establecer ramas de funciones multifor
mes, todas las rectas de ramificación posibles tienen un punto en común, dicho punto
se llama punto de ramificación de la función multiforme. El origen es un punto de ra
mificación de log z. En efecto, los dos cortes que usamos para esta función pasaban
por z = 0. En la sección 3.8 se presentan algunos procedimientos para determinar los
puntos de ramificación de otras funciones.
E JE M P LO 1
Consideremos la función logarítmica
F ig u r a 3 .5 ^ 1 F ig u r a 3 .5 -5
Solución
\parlado (a): Está claro que la función no es continua en el origen pues log r no está
•Ir Iinicia en dicho punto. Además, 0no es continuo en la parte negativa del eje imagi
na! m El valor correspondiente a los puntos del eje imaginario negativo es 9 = 3n/2,
mientras que los puntos del cuarto cuadrante arbitrariamente cercanos a dicho eje tie
nen un valor de 9 cercano a -n/2, como indica la figura 3.5-4. Los puntos singulares
!• la función dada se pueden eliminar por medio de un corte en el plano xy que vaya
•leí origen al infinito a lo largo de la parte negativa del eje imaginario. Por lo tanto, la
lunción considerada es una rama analítica de la función logarítmica en el dominio que
• mi .la del plano xy sin el origen ni el eje imaginario negativo.
\ imi lado (b): Una función analítica varía en forma continua en su dominio de analiti-
uhuí. Así, para llegar al punto -1 - i, desde un punto del eje x positivo, debemos usar
l • 11 lyccloria que va en el sentido contrario al de las manecillas del reloj, como se in
d a a e n la figura 3 . 5 - 5 . El argumento 9 de los puntos del eje x positivo es 2 kn (donde
' un entero). Puesto que en el dominio de analiticidad tenemos -n/2 < 6 < 3n/2, es
■nIfiitc que k = 0. Por lo tanto, el valor inicial del argumento 9 es de 0 radianes, y el
•luí linal en el punto - 1 - i es de 57t/4 . N o podemos usar la trayectoria indicada por
I i lim a punteada en la figura 3 . 5 - 5 para llegar a este punto, ya que dicha trayectoria
• i o a el corte y sale así del dominio de analiticidad. Así, la respuesta que buscamos es
I H IM P L O 2
F ig u r a 3 .5 -6
F ig u r a 3 .5 -7
garantizar que la función sea analítica en el plano z eliminando todos los puntos que
satisfagan simultáneamente las expresiones Im(z - (3 + 4/)) = 0 y Re(z - (3 + 4z)) < 0.
Estas condiciones pueden volverse a expresar en la forma
Im((x + iy) —(3 + 4/)) = 0 o y — 4,
Re((x + iy) —(3 + 4¡)) < 0 o x < 3.
En la figura 3.5-6 se muestra el dominio de analiticidad.
Apartado (b):/(O) = Log(-3 - 4i) = Log 5 + i arg(-3 - Ai). Como se trata de la rama
principal, exigimos que en el dominio de analiticidad —n< arg(-3 - 4z) < n. A partir de
la figura 3.5-7, vemos que este valor de (-3 - 4z) es aproximadamente -2.214. Por lo
tanto,/(O) = Log 5 - ¿2.214. M
E JE R C IC IO S
I. Use la expresión Log z = 1/2 Log(x2 + y2) + i arg z, donde arg z = tan 1(y/x), o bien,
donde sea necesario (x = 0), arg z ; n/2 tan 1(x/y), y la ecuación (2.3 6) o la ecuación
(2.3 K) pura mostrur i|ue d(l.og .')/(/;: l/z en el dominio de la liguru 1.5 2. Cas Funcio
nes inversas se evalúan de inl forma que arg .• sea el valor principal
E je r cic io s 123
2. S u p o n g a m o s que
b) C a lc u le el v a lo r n u m é ric o d e / ( - e 2).
N log i 9. lo g l^ J + i) 10. lo g ( —^ / 3 - t- 1)
II ( o n s id e re m o s la fu n c ió n / (z) = L o g (z - i).
b) C a lc u le el v a lo r n u m é ric o d e /( - /) ■
i ) I x p liq u e p o r q u é g(z) = [L o g (z - ¿)]/(z - 2 /) p o s e e u n a s in g u la rid a d en el d o m in io del
a p arta d o (a), m ie n tra s q u e h(z) = [ L o g ( z - ¿)]/(z + 2 - 0 es a n a lític a e n to d o p u n to de
d ic h o d o m in io .
C ortes
E JE M P LO 1
Calcule 9I/2 usando la ecuación (3.6-1).
Solución
Ya conocemos, desde luego, los dos posibles valores de ú1' Pero suponiendo que no
fuera asi iisurlumos la ecuación ( 1.6 I ) pura obtenerlos
3 .6 E x p o n e n c ia le s c o m p le ja s 125
Resulta curioso que, comenzando con dos números imaginarios puros, obtengamos
un conjunto infinito de números reales. Aparentemente fue Euler, en 1746, quien ob
tuvo por primera vez este resultado tan contrario a la intuición. Obsérvese que toman
do k = 0 obtenemos el valor principal i' — e~m. A
E JE M P LO 4
Calcule (1 + í f + 4Í.
Solución
La fórmula de la ecuación (3.6-1) da como resultado
(1 -f- ¿)3+4i = e (3 + 4í)(log(l + /))
= g(3+4l)tLo8JÍ+to*+7m
_ ^ 3 Log f í - n - 8/c7t + i ( 4 Log f í + Z n / A + 6 k n }
>ii l.i ecuación (3.6-1). Esta rama de z c es analítica en el mismo dominio que Log z.
I i >l>i ivada de cualquiera de las ramas se determina de la siguiente manera:
z c = e c log
,] A r p C log 2 c „C l og 2
£ zc = L e‘ log 2 = £ ?_____ = ----------= c e <c - >» '° e z = c z c“ \
dz dz z e>ogz
•■ aliado de forma similar a un resultado bien conocido del cálculo real. Podemos ex-
|ut arlo como
d . czc
T z = — (3.6-2)
dz z
i •>In- lenerse cuidado de usar la misma rama de zc en ambos lados de esta ecuación.
/ / / MPLO 5
1 al< ule (d/dz)z2n enz = —8/ usando la rama principal.
Solución
i 1 nulo la ecuación (3.6-2) con c = 2/3, vemos que tenemos que evaluar (2/3)z2/3/z en
i i Empleando la rama principal tenemos, por la ecuación (3.6-1),
(2/3) Log( - 8 i) (2/3)[Log<8) + ¡< - n/2>]
(2/3) — = (2/3) — = (1/3) cís(jt/6). M
—8i — oí
I a expresión c2, donde c es una constante y z una variable, es igual a ez logc. Una
i >|iic hemos elegido un valor válido de log c, vemos que ahora tenemos una función
>ii in alnada de z que es analítica en todo el plano complejo. La derivada de esta expre-
i determina de la siguiente manera:
I n MPLO 6
I >i leí mine (d/dz)i2.
Solución
t i11. valdremos de la ecuación (3.6-3) tomando log i = Log i = in!2. Así pues,
dz
i i limeión multiforme g(z)hiI) se define como ¿.M*) |o«(p(*))_ pste tipo de funciones se es-
Imlia en los ejercicios 19 21 de esta sección. La rama principal se obtiene si usamos
11 lama principal del logaritmo
128 C a p ítu lo 3 L as fu n c io n es tr a s c e n d e n te s b á sica s
EJERCICIOS
D e te rm in e to d o s los v a lo re s de las s ig u ie n tes e x p re sio n e s e n la fo rm a a + ib y señ a le c u ál es el
v a lo r p rin c ip a l.
U sa n d o la ra m a p rin c ip a l de c a d a fu n c ió n ev alú e
16. f ( i ) s i / ( z ) = z 1/4
17. / ' ( —64i) si / ( z ) = z 7/6
18. / ' ( —9i) s i / ( z ) = z i/2
S e a / ( z ) = z 2, d o n d e se h a u sad o la ra m a p rin c ip a l. E v a lú e
P - 1/P .
z = ---------
2i
' 111ll ipl ¡cando esta ecuación por 2ip y reordenándola, encontramos que
2izp = p2 — 1, o p2 —2izp —1 = 0.
l'• 'demos despejar p de esta ecuación usando la fórmula cuadrática:
p = zi + (1 - z2)1/2, o e‘w = zi + (1 - z2)1/2.
ti tora lomamos el logaritmo de ambos lados de la última ecuación y dividimos el re-
illliulo entre i para obtener
w = - log(zi + (1 — Z 2 ) 1/2)
i
\) = l°g
Tomando la raíz cuadrada positiva de 3/4 tenemos
73 /'
i ) = - i log = —i log(l/n/6) = — h 2kn, k = 0, + 1, ± 2,...,
2 2
mientras que si tomamos la raíz negativa de 3/4 obtenemos
- x /3 i = —1log ( 1I15n 5n
j j -) = — + 2kn,
- i log
2 2
k = 0, ± 1, ± 2,...
A fin de que estas respuestas adquieran un aspecto más familiar, expresémoslas en
grados. El primer resultado indica que los ángulos cuyo seno es 1/2 son 30°, 390°,
750°, y así sucesivamente; en tanto que el segundo indica que los ángulos correspon
dientes a este mismo valor del seno son 150°, 510°, 870°, etcétera. Desde luego, ya co
nocíamos estos resultados de trigonometría elemental. M
El siguiente ejemplo no tendría solución en un curso de trigonometría de ense
ñanza media, donde sólo se emplean números reales.
E JE M P LO 2
Encuentre todos los números cuyo seno es 2.
Solución
De la ecuación (3.7-2) tenemos sen-1 2 = - i log(2z + (-3)1/2). Los dos valores posi
bles de (-3)l/2 son ± zV3 . Tomando la raíz positiva el resultado es
2kn l ¿1.317,
3 .7 F u n cio n e s trig o n o m é tr ic a s e h ip e r b ó lic a s in v e rsa s 131
^ + 2kn ) ± (1.317 = sen^ + 2kn^j cosh( 1.317) ± i cos^ + 2kii^j senh( 1.317)
= : , 0 6 ( l ± í ) ( 3 M )
No es difícil mostrar que las expresiones para eos 1z y sen~' z que acabamos de
obtener son reales si y sólo si z es un número real tal que -1 < z < 1. Por lo tanto,
sen w y z = eos vv tienen soluciones reales ve únicamente si z es tal que -1 < z < 1.
I >e lo contrario, ve es un número complejo.
1Jsando las ecuaciones (3.2-9) y (3.2-10) podemos comprobar fácilmente que
■n(ie) = cos(2kn + n/2 - ve), donde k es un entero cualquiera. Esta es la generali-
•.n ión de un resultado que el lector aprendió en sus cursos de trigonometría ele-
inrnlal. Así, si z = sen vv = cos(2kn + n/2 - ve) podemos decir quesen~'(z) = ve y
que eos '(z) = 2kn + n/2 - vv, de donde deducimos que
sen_ 1(z) + cos_1(z) = 2kn + n/2.
1 (uno sen '(z) y eos 1(z) son funciones multiformes, podemos afirmar que deben exis-
iH v.dores de estas funciones que satisfagan la ecuación anterior. Sin embargo, no to-
<l" los valores de las funciones trigonométricas inversas satisfacen esta ecuación,
'.opongamos, por ejemplo, que tomamos z = 1 / sen~'(z) = zr/4, cos_1(z) = -n!4.
I o ecuación no se satisface. Pero si tomamos cos“'(z) = n/A, la ecuación se satisface
icoa k 0. En el ejercicio 3 comprobaremos que, usando la misma rama de (z2 - l )l/2
■o las ecuaciones (3.7-2) y (3.7-3), la ecuación sen~'(z) + cos~‘(z) = 2kn + n/2 se sa-
ir.laec sea cual sea la rama del logaritmo que escojamos.
I as funciones que aparecen del lado derecho de las ecuaciones (3.7-2), (3.7-3) y
i l / I) son ejemplos de funciones trigonométricas inversas. Las funciones hiperbóii-
i inversas se pueden obtener de manera similar. Así
senh 1 z log(z + (z2 + 1)1/2), (3.7-5)
cosh 1 :• log(z + (z2 - 1)I/2), (3.7-6)
Todas las funciones inversas que hemos obtenido en esta sección son multifor
mes. Todas poseen ramas analíticas. Por ejemplo, podemos obtener una rama de
s e n z a partir de la ecuación (3.7-2) especificando antes una rama de (1 - z 2) l/2 y lue
go una rama del logaritmo. Una vez hecho esto, podemos diferenciar nuestra rama en
su dominio de analiticidad. En la siguiente sección nos ocuparemos más detenidamen
te del tema general de las ramas. Diferenciando la ecuación (3.7-2) tenemos
Para que esta identidad sea válida es preciso usar la misma rama de (1 - z 2) l/2 en la de
finición de s e n z y en la expresión de su derivada. A continuación se presentan otras
fórmulas que se obtienen diferenciando ramas
eos - 1 z = — A —, (3.7-9)
dz (1 - z 2)1/2’
d 1
— tan 1 z = ------ , , (3.7-10)
dz (1 + z2)
—dd Ccosh-l
O ShK - l Zz == — - 1i —— ,,
— --------- (3.7-12)
dz (z2 - 1)1/2
1
—d t a n hu
- l
z = —
Z
dz tanh" l z = (1
7T^TIV-
—z ) (3-7-13)
EJERCICIOS
1. a ) D e d u z c a la e c u a c ió n (3 .7 -3 ). b ) D e d u z c a la e c u a c ió n (3 .7 -4 ).
c) D e d u z c a la e c u a c ió n (3 .7 -5 ).
2. a ) D e m u e s tre q u e si d ife re n c ia m o s u n a ra m a de are e o s z o b te n e m o s la e c u a c ió n (3 .7 -9 ).
b ) O b te n g a la e c u a c ió n (3 .7 -8 ) o b serv an d o q u e p o d e m o s d e sp e ja r dw /dz de
, , 7 ( d z \2
z = sen w = (1 — e o s w ) = 1 — I —
\d w j
c) O b te n g a la e c u a c ió n ( 3 .7 - 1 1 ) d ire c ta m e n te d e la e c u a c ió n ( 3 .7 - 5 ) ; o b té n g a la ta m
b ié n p o r m e d io d e u n p ro c e d im ie n to s im ila r al q u e se u só en el a p a rta d o (b ) d e e ste
e je rc ic io .
3. Pruebe que si se usa la m ism a rama de (z2 l ) l/2 en las ecu aciones (3.7 2) y (3.7 3) se o b
tiene sen '(z) + eo s '(z) 2 kn l n 12 sen cual sea la rama que se elija para el loguritmn
en dichas ecu aciones
3 .8 M á s a c e rc a d e p u n to s y c o r te s d e ra m ific a c ió n 133
4. eos vv = 2 5. co sh w = i 6. sen vv = 1 + i
7. se n h w = ¿■n/ 3 8. s e n h 2 w = i 9. ta n z = log i
10. se n [c o sw ]= 0 11. s e n h [ c o s w ] = 0 12. c o s h -1 w = 3 + 4/
Figura 3.8-1
Si hi (unción posee varios puntos de ramilieueión (véase el ejemplo 3 de esta sección), rodear
uno solo de los puntos de ramilieueión siempre nos lleva a otra tama de la luneión, com o vete
moa, rmleai dos o más punios de rnmllieueión no provoca necesariamente esta transición.
3 .8 M á s acerca d e p u n to s y c o r te s d e r a m ific a c ió n 135
I i Irayectoria no tiene que ser circular (como en el caso estudiado) para que esto ocu-
ri a Basta con que sea una trayectoria cerrada alrededor del punto de ramificación.
A fin de evitar el paso de una rama a otra al recorrer una trayectoria, podemos
i (instruir un corte en el plano z y no cruzarlo nunca.
111 corte se considera como una barrera que impide rodear el punto de ramificación.
1 >bien, podemos crear un dominio consistente en el plano z menos los puntos del cor-
n I xisten ramas de la función que son analíticas en todo el plano “cortado”. Pode
mos especificar una rama particular proporcionando su valor en un punto del plano
>orlado (véase el ejemplo 1 de esta sección). Usando esta rama en trayectorias conte
nidas en el dominio, no es posible pasar de una rama de la función a otra.
/ H IM P L O 1
I misideremos una rama de zl/2 que sea analítica en el dominio que consiste en el pla
no privado de los puntos del corte y = 0, x < 0. Si z = 4, la función multiforme z l/2
igual a +2 o —2. Supongamos que, en nuestra rama, zl/2 = 2 cuando z = 4. ¿Qué va-
l<n loma esta rama cuando
z = 9 [ - 1/2 —1^ 3/2]?
S a l lic ió n
Figura 3.8-2
E JE M P LO 2
Consideremos la función (z - l ) l/3 y construyamos un corte en la recta y = 0, x> 1.
¿Qué valor toma la función cuando z = 1 + i si elegimos una rama cuyo valor es un
número real negativo cuando y = 0, x < 1?
Solución
Definamos las variables rx = \ z - 1|, 0, = arg ( z - 1) (véase la Fig. 3.8-3). De la ecua
ción (1.4-12) con m = 3 tenemos
(z - 1)1/3 = 3fiTe*W+2i<*/3)3 k = 0,1,2. (3.8-4)
Tomando 0, = n en la recta y = 0, x < 1 obtenemos
(z - 1)1/3 = 3fiTei'n/3+2k*/3'. (3.8-5)
El lado izquierdo de la ecuación se convierte en un número real negativo si tomamos
k = 1 en la ecuación (3.8-5). Avanzando hasta 1 + /desde un punto cualquiera de la
rectay = 0, x < 1 vemos que //, se reduce a n/2 y que /*, = 1. I,a trayectoria que se usa
en la figura 3.8 3 no puede cruzar el corte. Introduciendo estos valores de y //, en la
ecuación (3.8 4) (y haciendo A I ). leñemos, en I I i,
3 .8 M á s a cerca d e p u n to s y c o r te s d e r a m ific a c ió n 137
E JE M P LO 3
Solución
A|ilu tado (a): El primer factor z1/2 tiene un punto de ramificación en z = 0, y el segun
do (.: I )l/2tiene por punto de ramificaciónz = 1. Por lo tanto, suponemos que el pro
ducto tendrá puntos de ramificación z — 0 y z = 1. Comprobaremos que z = 1 es un
punto de ramificación. La demostración de que z = 0 es punto de ramificación es muy
Nlmilar.
leñemos (véase la Fig. 3.8-4a)
zi/2 = ^ e¡(«/2u ,i (3 .8- 6)
donde 0 = argz y r = |z|; y
(Z _ 1) ^ = J J eW * \ (3.8-7)
donde |z - 1| = r, y 0, = arg(z- 1). Así,
' i iiiiii el valor de / (z) en a ya no es el valor que obtuvimos en principio (véase la Ec.
I 9), liemos pasado a otra rama de / (z). I I razonamiento anterior no requiere que la
n iM-eloi'ia sea circular Se obtiene el mismo resultado usando cualquier trayectoria
II nada 11uc rodee az I excluyendo a : 0.
138 C a p ítu lo 3 L as fu n c io n es tr a sc e n d e n te s bá sica s
Figura 3.8-4
Apartado (b): Una trayectoria cerrada arbitraria rodea los puntos de ramificación
z = 0 y z = 1, como se muestra en la figura 3 .8 - 5 . Evaluemos/ (z) en un punto cual
quiera P de la trayectoria. Tenemos argz = a y arg(z- 1) = p. Sustituyendo, respecti
vamente, 8 y 8¡ por estos valores en la ecuación ( 3 .8 - 8 ) y combinando los argumentos
tenemos
f(z) = j^ + P) + (k + (3.8-11)
F i g ii r n 3 .8 5
3 .8 M á s a c e rc a d e p u n to s y c o r te s d e r a m ific a c ió n 139
y
Corte
0 X
C orte
C orte
(b)
(c)
Figura 3.8-6
■i ex presamos las ecuaciones (3.8-11) y (3.8-12) en forma cartesiana, obtenemos va-
11*ii . numéricos idénticos ya que la diferencia de 2n en los argumentos no afecta las
' >mii denudas cartesianas. Por lo tanto, al rodear ambos puntos de ramificación z = 0 y
I no pasamos a otra rama de la función/(z). Sin embargo, existen funciones tales
11n al rodear dos o más puntos de ramificación sí se cambia de rama. Este resultado se
i India en el ejercicio 10.
\ parlado (c): Si recorremos una trayectoria cerrada alrededor de uno solo de los pun-
lo'i de ramificación dezl/2 (z - l) l/2, pasamos de una rama de esta función a otra. En las
imnas 3.8-6(a) y (b) se muestran algunos ejemplos de cortes que impiden rodear un
iainlo de ramificación. Acabamos de ver que si efectuamos un circuito completo alre-
t dor de cualquier trayectoria cerrada que encierre ambos puntos de ramificación, no
' amblamos de rama. En la figura 3.8- 6(c) hemos construido un corte que nos obliga a
midear ambos puntos de ramificación simultáneamente.
Observación: El corte más conveniente depende del dominio en que queramos
que la rama sea analítica. Por ejemplo, en la figura 3.8-6(a) podemos obtener una
mina de / (z) que sea analítica en todos los puntos de un dominio consistente en el
plano menos los puntos de las rectas y 0, x S 0 e y = 0, x S 1. Sin embargo, si de-
i asemos una rama de,/ (z) que fuese analítica en y 0, x = 2, por ejemplo, podría
mos muir los curies que se miieNtran en las figurus 3.8 6(b)o(c). ^
140 C a p ítu lo 3 L as fu n c io n es tr a sc e n d e n te s b á sica s
EJEM PLO 4
Supongamos que elegimos una rama/ (z) de zl/2(z - l )l/2 que sea analítica en el plano
cortado de la figura 3.8-6(b). ¿Cuál es el valor de / ( - 1 ) si /(1/2) = i!2?
Solución
I Isando la notación del ejemplo 3 tenemos, a partir de la ecuación (3.8-8), que
(3.8-13)
/ ( - 1) = 7 1 / ~ + kn 7 2 j^+ mn = + = ^2.
Obsérvese que la trayectoria que va de 1/2 a-1 en la figura 3.8-7 no sale del dominio
de analiticidad.
Corte
Trayectoria
Fluurii 3.H 7
E je r c ic io s 141
EJERCICIOS
< icrta ra m a d e z l/2 se d e fin e p o r m e d io d e l c o rte x = 0 ,y < 0. Si e sta ra m a d e f ( z ) tie n e el v a lo r
c u a n d o z = 4, ¿ q u é v a lo re s to m a en los sig u ie n tes p u n to s? C a lc u le ta m b ié n el v a lo r de / ' ( z )
cu c a d a pu n to .
I. 9 2. 9/ 3. -1 - i 4. 9 — 9 /^ /3
b) Supongamos que, usando el mismo corte, tomamos ahora zl/2< 0 cuando z es real y po
sitiva. Explique por qué no es posible encontrar una rama del logaritmo tal que/ (z) sea
analítica en todo punto de este plano cortado.
c) Encuentre/'(O Para Ia rama del logaritmo usada en el apartado (a).
Consideremos la función sen-1 z = - i log(zi + (1 - z2)1/2). Supongamos que usamos una rama
de esta función definida de la siguiente manera: se emplea la rama principal del logaritmo,
(1 - z 2)'12 = 1 cuando z = 0, y los cortes están dados por y > 0, x = ±1. ¿Cuánto valen esta fun
ción y su derivada en los siguientes puntos?
20. / 21. 3 2 2. 1 - i
Consideremos la rama de zl/2 definida por el corte y = 0, x < 0. Si para esta rama 11/2 = -1, diga
si las siguientes ecuaciones tienen solución o no dentro del dominio de analiticidad de la rama.
Encuentre la solución en caso de haberla.
26. z 1/2 - 1 - ú / 3 =0
27. Encuentre todas las soluciones de i2 + i '2 = 0 en el plano complejo. Use los valores prin
cipales de las funciones.
28. Consideremos la rama principal de z'. Sea z' = a + ib, donde a y b son reales. Si z = r cis
9,-7t< 9 < n, demuestre que
a) r = ecos_l<«A y r = e
b) Trace en el plano complejo un lugar geométrico en que a tome el valor 1/2. Haga lo
mismo con b usando el mismo valor. Si lo desea, puede emplear una calculadora pro-
gramable o un computador. Trace también el corte que define nuestra rama de z'.
s = a + ico (A3-2)
■a* conoce como frecuencia compleja de oscilación de/ ( t), y F es un número comple-
jo independiente de t dado por
F = F0eie, (A3-3)
donde F0 = |F| y 9 — arg F. Los valores de cry co siempre serán reales.
El número complejo F que aparece en las ecuaciones (A3-1) y (A3 -3) se llama
/i n lar de amplitud y fase asociado con / (t).
DEFINICIÓN Factor de amplitud y fase
El factor de amplitud y fase que se asocia con una función del tiempo / (t)
dada es un número complejo F, independiente de t, y tal que la parte real del
producto de F por una exponencial compleja é ' es igual a/ (i). □
I n general, usaremos una letra mayúscula para denotar el factor de amplitud y fase, y
i i letra minúscula correspondiente para representar la función de t asociada. La única
i m opción será el caso de los factores de amplitud y fase de corriente eléctrica, que se
denotarán por la letra 7, mientras que las funciones de t asociadas se representarán por
medio de la letra griega iota, t. Así la letra minúscula i conserva su significado usual.
1 o mo veremos, los factores de amplitud y fase son útiles para resolver ecuaciones di-
i iniciales con coeficientes constantes que describen el comportamiento de una gran
i miniad de sistemas eléctricos y mecánicos.
I a expresión Fe?1que aparece en la ecuación (A3-1) es un ejemplo de función
• mupleja de una variable real (ya que t es real). Consideremos algunos casos particu-
i iic. de la ecuación (A3-1). Supongamos que el factor F de la ecuación (A3-3) es un
numero real positivo y que la frecuencia compleja de la ecuación (A3-2) es real. Lue-
i'n Inmundos = a y F = Fa > 0 en la ecuación (A3-1), obtenemos
f(t) = RetFoe"] = F0e°l. (A3-4)
\qiil / (/) crece o decrece al aumentar t según sea a, positivo o negativo. Si a = 0,
H() es constante.
Suponiendo que F en la ecuación (A3-3) y s en la ecuación (A3-2) son comple-
i" tenemos, a partir de la ecuación (A3-1),
J(t) = Re[F0eíV <r+i“)'] = Re[F0e 'V (‘o' +9)].
i 1 «> = qos(íu/ + 0) (véase la Ec. 3.1-11), tenemos
f(t) = F0ea' cos(o>t + 9). (A3-5)
l i l i nación (A3 5) describe una función / ( / ) que oscila con frecuencia angular co
(que en general se toma como positiva). La amplitud F0é rt de las oscilaciones crece o
di i icce al aumentar / según sea it, positivo o negativo. Si a — 0, la amplitud de las os-
i Ilaciones es constante. En la figura A 3 I se ilustran estas tres posibilidades.
I ,u función f (t) descrita por la ecuación (Al 5) presenta una variación cosinu-
Hidal en el tiempo, lomando 0 «A n/.' en esla ecuación, tenemos
144 C a p ítu lo 3 L as fu n c io n es tr a s c e n d e n te s bá sica s
/(O- IZiIlVUtVvIllC 0
7 7
rF o cos0/ \
-\ / 1 1
\ \ \\ /
a>0,(O>0
e>o
Figura A3-1
m F s = a + iü)
Muchas funciones, por ejemplo,/(í) = t eos /, o bien eos (/ ’), sen |/| o e'2 no pueden
representarse en la forma dada por la ecuación (A3 I ) y, por tanto, no poseen facto
res tle amplitud y fase, fas funciones que son sumas de funciones con frecuencias
F a cto res d e a m p litu d y fa se 145
^ = e[Fe5']. (A3—6)
di dt
•i los coeficientes y la fundón de fuerza son complejos, se pueden modificar ligeramente los
mi iodos presentados en este apéndice para obtener una solución. Véase, por ejemplo, W. Ka-
pl ni. i l/x iiiH iiiud M ethods fo r Lineal Svxtem x (Rcading, Mass.: Addison-Wesley, 1962), sec-
i Iones 1.9 1,11,
i u nido ni 0, la falla de unicidad no tiene im portancia si se usan factores de amplitud y
i i .i i ii la resolución de una ecuación dllcient ial Sin em bargo, por convenio, lin t/■’) 0
i liando a) 0
146 C a p ítu lo 3 L as fu n c io n es tr a sc e n d e n te s b ásicas
Figura A3-2
* V éase, por ejemplo, W lliiyl y l Kemmerly, Knglmvrlnx Circuit A nilláis, 4a. cd, (Nueva
York: M itliu w lllll, OHb)
F a cto res d e a m p litu d y fa se 147
V0ew
/ = (A3-Í
R + icoL J r 2 + oj2L2'
i Ii i i i i I c
, coL
9 = —tan' (A3-9)
lio problemas en los que la ecuación diferencial lineal (con coeficientes cons-
timii i no puede resolverse en términos de factores de amplitud y fase. Esto ocurre
..... . la frecuencia compleja de la función de fuerza o cualquier otra perturbación es
||mal i la liccuencia “natural” o de resonancia del sistema físico. Entonces la solución
MU • di la lorma c"‘ eos (col + a), e‘”, etc., y no posee factor de amplitud y fase. Este
ti mui ic estudia en un gran número de textos.f
i i por i'ioniplo, W Kiiplun, Adviinccil Mutlicmulii * for R ngim vm (Rcacling, Mass.: Addi
■
ai Wciiley, IÚHI), Hccelón I bl
148 C a p ítu lo 3 L as fu n cio n es tra sc e n d e n te s bá sica s
E JE R C IC IO S
E s c rib a la fu n c ió n del tie m p o v (t) q u e c o rre sp o n d e a los sig u ie n tes fa c to re s d e a m p litu d y fase
V y fre c u e n c ia s c o m p le ja s s.
1- i 5. 1 + ie'n/i e ‘n/6
1. 3
2. — 3i -1 +¿ 6. i i
3. 3 < r''”/4 -1 - i 7. 2 3
4. 1 + i 1 4 -2 ¡
8. e 2' 9. e - 2 'c o s ( 3 1)
10. 6 e -31 sen(2f) 11. 2e4' sen(2í — 7r/6)
12. sen t + 2 eos r 13. e ~ ‘ sen t + 2 eos r
14. e ~ ‘ sen í + 2 e ~ ' eos í 15. e~ ' sen(t 4- 7i/4) 4- 2 e ~ ! eos t
di
Ri{t) + L — = V0e .
dt
S u p ó n g a q u e cr A -RJL. D e term in e el fa c to r de a m p litu d y fase de c o rrie n te I y u tilícelo
p a ra d e te rm in a r la c o rrie n te real i(t).
20. E n la fig u ra A 3 -3 se m u e stra un circu ito elé ctrico c o n siste n te en una re siste n c ia de
R o h m io s y un c o n d en sa d o r (capacitor) de C farad io s c o n ec ta d o s en serie; la fuente p ro
p o rcio n a un voltaje d ad o p o r sen <ot. El v o ltaje ap licad o al c o n d e n sa d o r e stá dudo
F a cto res d e a m p litu d y fa se 149
“Fluido
d 2x dx
m —- + a 1- kx = F 0 eos u>t, co > 0.
dt dt
I im .lu ecuación k es una constante determinada por la elasticidad del resorte y a es una
'¡imite de amortiguamiento que depende de la viscosidad del fluido.
n I ni uentre el factor de amplitud y fase A que corresponde ax(t).
I'l 11si* Apara determinarx{t).
<:.i|)ítulo jl
Integración en el
plano complejo
tid 1na iiilci más a fondo el significado de la analiticidad. Se presentarán varios pro-
ble ni 1 lisíeos prácticos que se resuelven por medio de integrales de línea. En el
+1*1■111111*(1 veremos que la evaluación de integrales de línea facilita a menudo la inte-
1 de funciones reales, poi ejemplo, podemos evaluar fácilmente una expresión
I 52 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
1= 2
t =l
l'igiiru 4 .1 I
4.1 introducción a las integrales de línea 153
C3
Figura 4.1-2
V' (/) 0, la pendiente es infinita y por lo tanto la recta es vertical. Como </>'(/) y !//'(/)
mi continuas, la dirección de la tangentede la curva definida por las ecuaciones (4.1-1)
0 i.i continuamente al recorrer t el intervalo ta<t< tb.
I 11 nuestro estudio de las integrales de línea debemos emplear el concepto de cur-
1 .nave a trozos, llamada aveces contorno.
DEFINICIÓN Curva suave a trozos (contorno)
I Ina curva suave a trozos es una trayectoria formada por un número finito de
arcos suaves concatenados. □
I n la figura 4.1-2 se muestran tres arcos Cj, C2 y C3 unidos para formar una curva
aiiivc a trozos.
I a dirección de la tangente de una curva suave a trozos puede cambiar en forma
di i ‘uit iuna en los puntos de unión.
V éase ( i I h u m a s y l< l inney, ( \dculun and Amilytlc Gcomctry, Xa. cd. (R e a d in g , M ass.:
Addlmin Wesley, l*J(J2), nccelrtn Í.4
154 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
'B n
F{x, y) ds = lím £ F(xk, yk) Ask, (4.1-2)
JA ti —
♦oo k= 1
donde las longitudes Ask de las cuerdas tienden a cero cuando el número n de
subdivisiones de C tiende hacia infinito. □
f Si el arco se define por medio de un par de ecuaciones purnnuMrieas com o las de las ecuaciones
(4.1 I), donde t„• l £ los puntos A'0, y0; X\, 7, ele., se pueden nenerar de la siguiente mane
ra )„ •/'<'„»• ■/■<',d. I, V'<M.</KM. V.. i„ i, i t,
4.1 In tro d u c ció n a las integrales de línea 155
lihli de los n segmentos de recta que aproximan el arco C, ponderadas por el valor
i|iii turna la función F(x, _y)cerca del segmento correspondiente. Si la curva C repre-
»■ni r.e un cable y F(x, y) fuese la masa por unidad de longitud, entonces F(xk, yk) Ásk
*111 la masa aproximada del ¿-ésimo segmento. Al tomar el límite n -+00, el sumato-
<1.. inuporciona la masa exacta del cable.
I 1 integral de línea de una función sobre una curva suave a trozos se obtiene su-
111,inilit las integrales de línea sobre los arcos suaves que forman la curva. La integral
••• / 1' r) sobre el contorno de la figura 4.1-2 está dada por
I - rile otro tipo de integrales de línea en las que intervienen F(x, y) y un arco sua-
\ ' * ( tbserve la figura 4.1-3. Sean Ax, la proyección de Ay, sobre el ejex, Ax2 la pro-
.......... deA.v2, y así sucesivamente. Nótese que aunque Ask es positiva (puesto que se
le una longitud) Ax*, que es igual a Xk —X k_u puede ser positiva o negativa se-
...... 1 la dirección de Ay*. Sea la siguiente definición:
/)/ FINIC1ÓN [ > ’(x, y) dx
'B n
F(x, y) dx = lím ^ F(xk, yk) Ax*, (4.1-3)
J A n-°° *1= 1
DEFINICIÓN ¡a F(x, y) dy
J
j F(x, y) dy = lím k¿ F(xk, yk) Ayk,
A oo =1
(4.1-4)
pues la Ask que usamos en las definiciones de estas expresiones implican longitudes,
que son positivas sea cual sea la dirección de integración.
Las integrales del tipo definido por las ecuaciones (4.1-2), (4.1-3) y (4.1-4) pue
den separarse como sumas de otras integrales tomadas a lo largo de porciones del con
torno de integración. Sean A y B los extremos de una curva suave a trozos C. Sea Q un
punto de C. Luego se puede demostrar fácilmente que
1 kLuolull. ilm l
4.1 In tro d u c ció n a las in te g r a le s d e lín ea 157
'b rB
k F (x ,y )d x = k \ F(x,y)dx, k constante cualquiera; (4.1- 8a)
a J a
•b rB
[F(x, y) + G(x, y)] dx = F (x,y)dx+ G(x,y)dx. (4.1—8b)
/ IIM P L O 1
' onsideremos un contorno consistente en el tramo de la curva y = 1 - x2 que va del
lo A = (0, 1) al punto B = (1, 0) (véase la Fig. 4.1-4). Sea F(x, y) — xy. Evaluemos
a) J F{x, y) dx, b)
j> y) dy-
dilución
Npiirtado (a):
ri.o
F(x, y)dx = xy dx.
Jo .l
;
I lentos convertido nuestra integral de línea en una integral convencional con límites
constantes y cuya evaluación se lleva a cabo fácilmente.
Apartado (b):
1,0
F(x, y) dy = xy dy
0,1
-4
xy dy - j y r ydy =
15'
dy
F(x, y) dy = F (x,y)— dx.
dx
-4
(xy)( —2x) dx x(l - x 2)( —2x) dx = ( —2x 2 + 2x4) dx =
- f J 0 T s'
E JE R C IC IO S
I. ( Jsundo el contorno del ejem plo I, dem uestre que
4 .2 I n teg r a c ió n d e lín ea en el p la n o c o m p le jo 159
2. í F(x, y) dx 3. j F(x,y)dy
J 0,0 j 0,0
Sea C el tramo de la curva x2+ y 2 = 1 que se encuentra en el primer cuadrante. Sea F(x, y) =
i V. Evalúe las siguientes integrales a lo largo de C.
Demuestre que j¡¡;_iy dx = - n i 2. La integración debe llevarse a cabo a lo largo del tramo
del círculo x2 + y 2 = 1, que se encuentra en el semiplano x > 0. Tenga cuidado de consi
derar los signos en el momento de calcular raíces cuadradas.
Evalúe jtfi'x dy a lo largo los tramos de la elipse x2 + 9y2 —9 que se encuentran en el pri
mero, el segundo y el tercer cuadrante.
'B n
f(z) dz = lím X f ( zk) Az*, (4.2- 2)
J a n -* o o k — l
3 9
+ 1, + /—+ 1
4 16
I fi I i ,<!•!«iilo I In te g r a c ió n en el p la n o c o m p le jo
II
C o ntorn o C
2 *
(b)
Figura 4.2-4
1+2Í í* 1,2 r 1. 2
(z)2 dz = (x2 - y 2) d x + \ 2xy dy + i —2xy dx
O+ i J o .l J 0,1
1,2
H- i 2 - yt,2)
(x2 2)dy. (4.2-6)
0,1
En la primera y la tercera integral del lado derecho, J(x2 - y 2) dx y \-2 xy dx, sustitui
mos la relación y = x 2 + 1, que es válida en todo punto del contorno. Estas integrales
de línea se transforman en integrales ordinarias con límites x = 0 y x = 1. Una vez
que hemos integrado, vemos que sus valores son -23/15 y -3/2, respectivamente. La
ecuación y = x 2 + l d a x = y - 1 en el contorno. Este resultado puede usarse para
convertir la segunda y la cuarta integral de la derecha, f 2xy dy y J(x2- y 2)dy, en inte
grales ordinarias con límites y - 1 ey = 2. Vemos que sus valores numéricos son 32/
15 y -11/6, respectivamente. Tras haber evaluado las cuatro integrales de línea que
aparecen del lado derecho de la ecuación (4.2-6) obtenemos finalmente
1+2Í , , 3 10
z dz = ----- i—.
,+í 5 3
Apartado (b): Observando la figura 4.2-4(b), dividimos la trayectoria de integración
en dos trayectorias, I y II.
Sobre la sección I tenemos que y = 1, de modo que / (z) (?)2 (x + O2 =
x 2- 1 - 2xi = u + iv. Así pues, u = x 2 - 1, v = -2x. Puesto que y 1, dy = 0. Los
límites de integración a lo largo de la trayectoria I son (0, 1) y (1, 1). Introduciendo
esta información en la ecuación (4.2-5) obtenemos
2 . 4. 7 7,
z dz = i + 3 ---- 1= --------1.
3 3 3 3
I '.le resultado difiere del obtenido en el apartado (a) y constituye un ejemplo del he-
i lio de que el valor de una integral de línea entre dos puntos puede depender del con-
lot no usado para ir de uno a otro. -4
l’uesto que la ecuación (4.2-5) nos permite expresar una integral de línea com
pleja en términos de integrales de línea reales, las propiedades de éstas, expresadas
poi las ecuaciones (4.1-5), (4.1-7) y (4.1-8), también son válidas para integrales de
llm a complejas. Por lo tanto, las integrales a lo largo de una curva suave a trozos C
que va del punto A al punto B satisfacen las siguientes relaciones:
ro re
f(z)d z= f(z )d z + f{z)dz, donde Q es un punto de C. (4.2-7d)
Ja Jq
A veces es más fácil realizar una integración de línea sin usar las variables x e y
• n la ecuación (4.2-5). En su lugar, integramos respecto aun parámetro real único: el
i " miclro usado para generar el contorno de integración. Sea el arco suave C genera
la poi las dos ecuaciones paramétricas (4.1-1). Luego
z(t) = x(t) + iy(t) = tp(t) + i:0(í) (4.2-8)
una función compleja de la variable real t con derivada
dz dil/ dó
dt + 1dtj •
Tdt = 7T (4-2-9)
Mu correr / de /„ a thel intervalo t„<t< tb genera el lugar geométrico de z(t) en el
nplejo, es decir, el arco C que va de z„ = i/40> a z b = W(h)> $ (4)- A
lin di evaluar í, / (.:> </:: podernos el'ecluar el siguiente cambio de variable:
166 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
1dz = [t - 12 + 2¿(yó3] + i dt
■2\ft
-8 6
+ ¡(2í —t2)> dt = 6i
lista desigualdad mantiene su validez cuando n -> °o y |AzJ -> 0. Así pues, combinan
do las ecuaciones (4.2-2), (4.2-11) y (4.2-13) tenemos
g( t ) dt (4.2—14b)
Supongamos ahora que un real positivo Mes una cota superior para |/(z )| sobre
( I’or lo tanto, |/(z )| < Msi z es un punto de C. En particular, los términos \ f { z {)\,
|./ (z2)|, etcétera, que aparecen del lado derecho de la ecuación (4.2-13), satisfacen esta
desigualdad. Usando este resultado en la ecuación (4.2-13) obtenemos
( íbsérvese ahora que X* 1|Azk| < L, puesto que la suma de las longitudes de las cuer
das, como en la figura 4.2-1, no puede ser superior a la longitud L del arco C. Combi
nando esta desigualdad con la ecuación (4.2-15) tenemos
l isia desigualdad conserva su validez cuando n-> oo. Tomando este límite con Azk -*■0
y recurriendo a la definición de integral de línea dada por la ecuación (4.2-2), tenemos
E JEM PLO 4
I ncuentre una cota superior para el módulo de Ji+¡¿ eVz dz sobre el contorno C, que es
la porción de círculo dada por | z | = 1, 0 < arg z < n/2 (véase la Fig. 4.2-5).
Solución
I mpecemos por determinar M, cota superior para \e 1/z|. Para hacerlo exigimos que so
bre C
|e1/z| < M. (4.2-17)
Notemos ahora que
( 'orno ex/(*2+y2) es siempre positivo, podemos eliminar las barras de valor absoluto del
lado derecho de la ecuación anterior. Sobre el contorno Ctenemos x 2 + y 2 = 1. Por
lo tanto,
,i/z¡ —px sobre C.
Sobre el cuarto de círculo considerado, la expresión ex alcanza su valor máximo cuan
do x es máximo, es decir, en el punto x = 1,7 = 0. Así pues, en C tenemos ex < e. Por
lo tanto,
,i/*l < e
l'iltiiru 4.2 5
E je r c ic io s 169
sobre el contorno dado. Si damos un vistazo a la ecuación (4.2-17) vemos que pode
mos sustituir A/por e.
La longitud L de la trayectoria de integración no es sino la circunferencia de la
porción de círculo considerada, es decir, nt2. Así, usando la desigualdad ML:
pO+il n
el/z dz < e —. <
J 1+¡0 2
EJERCICIOS
1. En el ejemplo 1 determinamos el valor aproximado de J¿+/o(z + 1) efe a lo largo del contor
no y = x 2. Encuentre el valor exacto de esta integral y compárelo con el resultado aproximado.
2. Consideremos la integral Jot?¿ z d z tomada a lo largo del contorno y = 2x(2 -x). Determi
ne un valor aproximado mediante el método de la serie de dos términos/(z,)Az, + / (z2)
Á z 2. Tome los valores de z¡, z2, Azh Az2que se indican en la figura 4.2-6. Ahora calcule el
valor exacto de la integral y compárelo con el resultado aproximado.
3. Consideremos la integral jo+¡¿ d z a lo largo del contomo del ejercicio 2. Evalúela en forma
aproximada por medio de una serie de dos ténninos como en el problema anterior. Expli
que a qué se debe que este resultado coincida exactamente con el valor de la integral.
Evalúe jí z d z a lo largo del contorno C dado por:
4. El segmento de recta x + y — 1.
5. La parábola y = (1 -x )2.
6. La porción del círculo x2 + y 2 = 1 que se encuentra en el primer cuadrante. Compare los
resultados de los ejercicios 4, 5 y 6.
7. Evalúe J e 2 d z
a) de z = 0 a z = 1 a lo largo de la recta y = 0,
b) de z = 1 a z = 1 + i a lo largo de la recta x = 1,
4 2 4
I''1kiiiii 4.2 6
II C a p ítu lo 4 I n te g r a c ió n en el p la n o c o m p le jo
e) de z = 1 + ¡az = 0alo largo de la rectay = x. Compruebe que la suma de las tres res
puestas sea cero. Éste es un ejemplo específico de un resultado general que obtendre
mos en la siguiente sección,
función z(t) = e“ = eos t + i sen t resulta útil como representación paramétrica de un arco
i ular (véase la Fig. 3.1-1). Si t va de 0 a 27Tobtenemos la representación del círculo unitario
tupíelo, y si / va de a a ¡i, esta función genera un arco que va de e'“ a e ‘ls sobre el círculo uni-
ío. Use esta representación paramétrica para llevar a cabo las siguientes integraciones.
’ 1I
dz a lo largo de |z| = 1, en el semiplano superior
Ji z
’ 1I
dz a lo largo de |z| = 1, en el semiplano inferior
Ji z
’i
z4dz a lo largo de |z| = 1, en el primer cuadrante
Ji
I 1íemuestre que x = 2 eos t, y = sen t, donde t va de 0 a 2n, es una representación paramé-
inca de la elipse x 2/4 + y 2 = 1. Use esta representación para evaluar I2z dz a lo largo de
la porción de esta elipse que se encuentra en el primer cuadrante.
1 In el ejemplo 3 evaluamos ¡2tt'z2dz a lo largo de la parábola y = x 2usando la representa-
ción paramétrica x = yft ,y = t. Demuestre que también puede usarse la representación
1 l,y t2y lleve a cabo la integración valiéndose de esta parametrización.
t a) Fncuentrc una representación paramétrica del más corto de los dos arcos que van de
1 a z = i a lo largo de la curva (x- l)2 + (y - l)2 = 1.
Sugerencia: Lea el párrafo que precede a los ejercicios 8-10 de esta misma sección, don
de se examina la parametrización de un círculo.
It) I)etermine \'i z dz a lo largo del arco del apartado (a) usando la parametrización encon
trada.
-I < onsideremos la expresión I = ¡lt'i0ez2dz integrada sobre la rectax = 2y. Sin llevar a cabo
In integración, demuestre que |/| < Váe3.
*> ('onsideremos la expresión / = jj (1/z4) dz integrada sobre la rectax + y = 1. Sin llevar a
cubo la integración, demuestre que |/| á 4V2.
(>. Consideremos la expresión/ = /,'e,L°8 dz integrada sobre la parábola y = 1 - x 2. Sin lle
var a cabo la integración, demuestre que |/| < enl2{\.479).
7. a) Sea <j(t) una función compleja de la variable t.
Exprese g(t) dt como límite de una suma. Por medio de un argumento similar al
que usarnos para deducir la ecuación (4.2-14), demuestre que para b > a tenemos
4 .3 I n teg r a c ió n d e c o n to rn o y teo r e m a d e G reen 171
En la sección anterior examinamos las propiedades de las curvas suaves a trozos, lla
madas contornos, que van de un punto A a un punto B. Si los puntos coinciden, la cur
va es un contorno cerrado.
DEFINICIÓN Contorno cerrado simple
D 2 (no ac o tad o )
C ontorno
cerrado pero
C ontorno cerrado no sim ple
sim ple
(ti)
4.3 I
172 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
Así pues, el teorema de Green nos permite transformar una integral de línea al
rededor de C en una integral doble extendida a la región limitada por C. En el
apéndice de este capítulo se presenta una breve demostración de este teorema.
Las integrales de línea complejas pueden expresarse en términos de integrales de
línea reales (véase la Ec. 4.2-5) y es por ello que el teorema de Green es de utilidad.
Consideremos una función/ (z) = u(x, y) + iv(x, y) que no sólo es analítica en la re
gión R (la misma que en el teorema anterior) y cuya primera derivada es continua en
R. Comof \ z ) = du/dx + idvldx = dv/dy-idu/dy, las primeras derivadas parciales du/
dx, dv/dx, etcétera, son también continuas en R. Volvamos ahora a la ecuación (4.2-
5). Reescribimos esta ecuación y llevamos a cabo las integraciones alrededor del con
torno cerrado simple C:
Podemos escribir nuevamente las integrales que aparecen del lado derecho por medio
del teorema de Green. En el caso de la primera integral aplicamos la ecuación (4.3-1)
con P = u y Q = -v . Para la segunda usamos la ecuación (4.3-1) con P = v y Q = u.
Luego
dx dy,
udx — vdy =
J\ dx dy) (4.3-3a)
O v dx + u dy = (4.3—3b)
dx dy)
Recordando las ecuaciones C-R du/dx = dv/dy, dv/dx = -du/dy, vemos que ambos
integrandos de la derecha de la ecuación (4.3-3) se anulan. Por lo tanto, las integrales
’ G en i ge Oreen ( 17‘>t IK4I), inglés, publicó e.sle teorema en IH2H rom o parle de un articulo
sobre eleelrleldad y magnellsmo
4 .3 I n teg r a c ió n d e c o n to rn o y teo r e m a d e G re e n 173
f (z) d z = 0. □ (4 .3 -4 )
c
Otra forma de enunciar el teorema es la siguiente:
Sea / ( z) una función analítica en un dominio simplemente conexo D. Entonces,
dado un contorno cerrado simple C contenido en D, tenemos fycj \ z ) dz = 0.
El teorema de Cauchy-Goursat es uno de los más importantes en la teoría de va
riable compleja. Una de las razones es que puede ahorramos una gran cantidad de tra
bajo al realizar cierto tipo de integraciones. Por ejemplo, integrales como <p-c sen z dz,
&C e 2dz y -|>'Ccosh z dz deben anularse si C es un contomo cerrado simple cualquiera.
En todos estos casos, el integrando es una función entera.
Obsérvese qüe la dirección de integración en la ecuación (4.3-4) no afecta el re
sultado pues - ^ c / ( z) dz = 4>cf(z) dz.
Podemos comprobar la validez del teorema de Cauchy-Goursat en algunos casos
simples. Consideremos la función/(z) — z", donde n es un entero positivo o nulo.
Ahora bien, puesto que z ” es una función entera tenemos, según el teorema,
1 Véase, por ejemplo, R. Kemmcrt, Thvory of Complex Functions (Nueva York: Springer-Vcrlag,
IW I), sección 7.1. liste libro contiene también una interesante nota histórica sobre el teorema
de Cauchy Goursat.
174 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
Fililí h 4.3 2
4 .3 I n teg r a c ió n d e c o n to rn o y teo r e m a d e G re e n 175
¿ z ~ 1dz = i í e° dd = 2ni.
J1
l zW-r
l= Jo
l .n resumen, si n es un entero cualquiera,
f nJ [ 0, n ¿ - l ,
t „ , d Z = Í2*,, n = -L
i n el ejercicio 16 de esta sección se encuentra una importante generalización de este
resultado. Tomando una constante compleja arbitraria z0 se demuestra que
f ÍO, n # —1,
O ( z - z 0)" dz = < ( 4 .3 - 1 0 )
J |z —z0| = r (2 7 c ¡, n 1,
E JE M P LO 1
I I teorema de Cauchy-Goursat señala que cz dz esigual a cero cuando C es el con
torno triangular de la figura 4.3-3. Compruebe este resultado por medio de un cálculo
directo.
Solución
Se trata de un problema similar a los que estudiamos en la sección anterior, por lo que
lindemos ser breves.
A lo largo de I, y = 0, dz = dx, ¡,z dz = j'0x dx = 1/2.
A lo largo de II, x = 1, dz = i dy, J,¡ z dz = J¿ (1 + iy)i dy = -1/2 + i.
A lo largo de III, x = y, dz = dx + i dx, Jm z dz = J? (x + ix)(dx + i dx) = —i.
La suma de estas tres integrales es cero.
Observación: En el ejercicio 7 de la sección 4.2 consideramos la expresión \ ez dz
integrada a lo largo de trayectorias I, II y III como en el presente ejemplo. La suma de
dichas integrales también debe ser cero. A
Existen circunstancias en las que una extensión del teorema de Cauchy-Goursat
establece que dos integrales de contorno son iguales sin necesariamente Jamos el
valor de cualquiera de ellas. Dicha extensión del teorema se enuncia de la siguiente
manera:
l ' l u i i n i *1.3 .1
176 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
(u) (b)
l lp u iii 4.3 4
177
r
4 .3 In teg r a c ió n d e c o n to rn o y teo r e m a d e G rc c n
•"i decir,
I' ig iu ii 4.3 5
178 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
1, 1
y'
y \ ■
• / \
/ 1
i 1
\ /
\
s _ __—■y
-1,-1 C
Figura 4.3-6
EJEM PLO 2
¿Cuánto vale &c dz/z, donde el contomo C es el cuadrado que se muestra en la figura
4.3-6?
Solución
Si efectuamos la integración usando el círculo de líneas punteadas en lugar del cua
drado obtenemos, usando la ecuación (4.3-9) (con n — - 1), el valor 2ni. Como 1/z es
analítica en este círculo, en el cuadrado y en todos los puntos que se encuentran entre
estos dos contornos podemos aplicar el principio de deformación de contornos. Así
pties,
EJEM PLO 3
Sea/ (z) = eos z/(z2 + 1). Los contornos C ,, C2, C3 y C4 se ilustran en la figura 4.3-7.
Explique a qué se debe que sean válidas las siguientes ecuaciones:
a) O- f ( z ) d z = (> f ( z ) dz;
Je, Jc2
b) O f ( z ) d z = (> f ( z ) dz.
J c, J c4
Solución
La función/(z) es analítica salvo en los puntos que satisfacen la relación z2 + 1 = 0.
Luego, /( z ) es analítica en cualquier dominio que no contenga el punto z = ± Al
transformar el contorno C, en el contorno C2 por medio de una deformación continua,
no cruzamos ninguna singularidad de/(z). Así queda probada la ecuación (a). De ma
nera análoga podemos deformar para convertirlo en ( y demostrar asi la validez
ile (b). Nótese que no podemos concilló que l\ /(.•) •/.- sea igual a (Py,/(z) dz pues
el dominio delimitado por C; y ( contiene el punto suigiilui I de / (. ). M
E je r c ic io s 179
Figura 4.3-7
K.IKR O C IO S
I. a) Sea C un contomo cerrado simple cualquiera. Use el teorema de Green para encontrar
una interpretación simple de la integral de línea (1/2) < P'c(-~y dx + x dy).
b) Considere la expresión ey dx - exdy integrada alrededor del cuadrado que tiene por
vértices a los puntos (0, 0), (0, 1), (1, 0), (1, 1). Evalúe esta integral realizando la inte
gral doble equivalente en el interior del cuadrado.
c) Supongamos que conocemos el área limitada por cierto contorno cerrado simple C.
Con ayuda del teorema de Green, demuestre que es fácil evaluar P~z dz alrededor de C.
, A cuál de las siguientes integrales se aplica directamente el teorema de Cauchy-Goursat?
1 eos z eos z
2. d> ------dz 3. dz 4. -------dz
I
.11*1-i z + 2 |z+2| =2z + 2 |z - l|= 4 z + 2
dz
3. á|> Log z dz Log z dz
|z-l —í|= 1 1*1- 1 + ez
dz dz
n. q> ------ 9. 0< b< 1
|2|=b Z + bz + 1
dz
io. d> alrededor del cuadrado con vértices en +(1 + i)
sen z + e‘ — 1
11. I'.n el análisis del teorema de Green que se encuentra en el apéndice de este capítulo se
muestra que si P(x, y ) y (.>(,*, y ) son funciones con derivadas parciales continuas d P /d y y
</{)/<l\ en el interior de un dominio simplemente conexo I) y si <j*r P dx + Q dy = 0 para
lodo contorno cerrado simple en />. enlom es d Q h h ■d P /d y en / ;
180 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
f0 , n * - 1,
(z - z0)" d z = ¡
. |z —Zol = r l n = — 1.
Sugerencia: E stu d ie la d e d u c c ió n d e la e c u a c ió n (4 .3 -9 ) y e m p le e un p ro c e d i
m ie n to sim ilar. C o n sid e re el c am b io de v a ria b le z = z0 + re10 que se in d ic a en
la fig u ra 4 .3 -8 .
I'lli'iiu 4..1 K
E je r c ic io s 181
Figura 4.3-9
I valúe las siguientes integrales. Puede ser útil valerse de los resultados del problema anterior,
•ni como del principio de deformación de contornos. El contorno es el cuadrado con vértices en
0, 3i, 3, 3 + 3 i.
f dz dz dz
17. (h----------- 18. 19.
J z - 1- i z+ 1 + í (z - 1 - i)5
dz dz
2 ( 1. 21.
(z + 1 + ¿)5 2z —1 —i
22. 1 1
•+ ■ dz 23. d>((z - 1 - /) - 1 + z - 1 - i)2 dz
\z —1 —i 2 —i —z)
La ecuación anterior dice simplemente que la integral de línea d e /(z ) alrededor del
circuito cerrado formado por C, y C2 (véase la Fig. 4.4-1) es cero. La validez de este
resultado es consecuencia directa del teorema de Cauchy-Goursat.
Si bien en la ecuación (4.4 I) hemos supuesto que Cj y C2 no se cortan, existe
una derivación ligeramente distinta en la que se elimina este requerimiento. En el ejer
cicio I de esta sección se estudia el i aso en que los contornos tienen un solo punto de
intersección,
4 .4 In d e p e n d e n c ia d e la tr a y e c to r ia e in te g r a le s in d e fin id a s 183
Puesto que podemos usar cualquier pareja de contornos (del dominio D) que va-
.m de z, a z2 para obtener la ecuación (4.4-1), se deduce que toda pareja de trayecto-
i ias en D con esta característica debe dar el mismo resultado. Por lo tanto, el valor de
I /'(z) dz es independiente de la trayectoria usada para ir de z, a z2 siempre y cuando
dicha trayectoria forme parte de un dominio simplemente conexo en el que / (z) sea
analítica.
EJEMPLO 1
i alcule ¡\ (1/z) dz integrando a lo largo del arco Cj, que es la porción de x 4 + y 4 — 1
que se encuentra en el primer cuadrante (véase la Fig. 4.4—2).
Solución
Podríamos intentar llevar a cabo la integración por medio de la ecuación (4.2-5).
Pero al poco tiempo veríamos que las operaciones se hacen tediosas. Como 1/z es
analítica en todo punto a excepción de z = 0, podemos cambiar el contorno por el
i narto de círculo C2 descrito por \ z \ = 1, 0 < arg z < n/2. Este arco, que se muestra
en la ligura 4.4-2, también va de 1 a i. Obsérvese que el dominio que se encuentra a
la derecha de la recta y = -x contiene a Cj y a C2, además de ser un dominio de ana
ína, alad de 1/z. Tenemos, pues, que JCl(l/z) dz = Jc,(l/z) dz.
Para integrar sobre C2 introducimos el cambio de variable z = e"1e integramos
n specto al parámetro 6 de 0 a 7t/2. Ya hemos usado este método (véase la Fig. 4.4-2).
Kacuérdese que dzldO = ie'°. Obtenemos
184 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
'* /2 1 71
- dz = A-Jew dO = - i ,
c2z
que es la respuesta al problema planteado. A
En el cálculo elemental, el método general de integración consiste en reconocer
que el integrando f(x ) es la derivada de cierta función F(x). Luego se evalúa F(x) en
los límites de integración:
dF = F(x 2) - F(xt).
t f(x ) dx =
El siguiente es un ejemplo concreto:
“*4
x2 dx =
f 4 d / x 3\
— [ — )dx =
f4 d,í*3
—\ = —
x34 _ 63
Ji ! d x \3 J 1 V3 / 3 i~ T
¿Podrá aplicarse un procedimiento similar a las integrales de línea complejas? Vere
mos que, con ciertas restricciones, la respuesta es sí.
Sea F(z) una función analítica en cierto dominio D. Supongamos que dF/dz = /
(z) en D. Consideremos la expresión J í / (z) dz integrada a lo largo de un arco suave C
perteneciente a D y que va de z, a z2. Supondremos también que C tiene una represen
tación paramétrica de la forma z(t) = x(t) + iy(t), donde t¡ < t< t2, y que dz/dt existe
en dicho intervalo.
Obsérvese que z(í,) = z, y que z(t2) = z2. De la ecuación (4.2-10) tenemos
, dz
/(z) dz = | f(z (t))-d t.
f ( z ) d z = F ( z 2) - (4.4-4)
Figura 4.4-3
f - dz = + 2kn \ —i / - ^ + 2/c7t
g(Az)
r /(w) dw — f(z)Az
es decir,
g{Az) =
r f(w) dw - f(z)
r dw
Puesto que/(z) es analítica, debe ser continua. Así pues (véase la Sec. 2.2), si toma
mos un número positivo cualquiera e, debe existir un círculo de radio <5y centrado en
tal que, si w es un punto del círculo,
188 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
g(Az) < — e |A z | = e.
Az
En vista de que podemos hacer que e sea tan pequeño como deseemos (reduci
mos | Az | de tal manera que z + Az esté siempre en el círculo de la figura 4.4^1), ha
de cumplirse que límAz^ 0 g(Az) = 0 y, como indica ahora la ecuación (4.4-5), tene
mos dFldz = / (z). No sólo hemos demostrado que dF/dz existe, sino que además he
mos determinado su valor. En resumen:
TEOREMA 6 Teorema fundamental del cálculo de funciones analíticas
Si/(w) es analítica en un dominio simplemente conexo D del plano vv, enton
ces la expresión j l /(w) dw integrada a lo largo de cualquier contorno de D
define una función analítica de z que satisface la ecuación
□ (4.4-10)
Decimos, como en el cálculo real, que si dFldz = / (z), F(z) es una primitiva de
/(z). Así, de la ecuación (4.4-10), ja/(vv) dw es una primitiva de/(z). Desde luego, si
dF/dz = / (z), entonces F,(z) = F(z) + C (constante) también tiene por derivada a
/(z). Luego/(z) posee un número infinito de primitivas. Dichas primitivas difieren en
valores constantes. Usamos la integral indefinida J/ (z) dz para indicar todas las posi
bles primitivas de / (z). La integral implica una constante aditiva arbitraria, como en
el cálculo real. Por ejemplo, como (d/dz)(sen z + C) = eos z todas las primitivas de
eos z quedan contenidas en la expresión J eos z dz —sen z + C; es decir, las primitivas
son de la forma sen z + C.
El valor de la constante correspondiente a una primitiva específica J Ü/(vv) dw
queda determinado por el límite de integración inferior, como se muestra más abajo en
el ejemplo 3.
Nótese que la identidad que satisfacen las primitivas que el lector aprendió en sus
cursos de cálculo real,
(4.4-11)
E JE M P LO 3
a) Encuentre las primitivas de zez.
b) Emplee el resultado del apartado (a) para calcular \ zwewdw.
c) Compruebe la validez del teorema 6 en el caso de la integral del apartado (b).
d) Use el resultado del apartado (a) para determinar \)zez dz.
Solución
Apartado (a): A fin de calcular j zez dz usaremos el método de integración por partes.
Así, usando la ecuación (4.4-11) con u = z, dv = ezdz, v = ez, tenemos J zez dz = zez
\ ez dz = zez - ez + C = F{z).
Apartado (b): Usando el resultado de (a) tenemos J; wewdw = zez - ez + C. Para de-
lerminar el valor de C observemos que el lado izquierdo de esta ecuación es cero
ruando z = i. El lado derecho coincide con el lado izquierdo en z = i si tomamos C =
ie' + e'. Por lo tanto,
*Z
wewdw = zez — ez — ie' + e‘. M
IJERCICIOS
1. lili la figura 4.4-5, el contorno C, (línea continua) y el contorno C2 (línea punteada) co
nectan ambos a los puntos z, y z2. Estos contornos tienen otro punto de intersección que
designaremos por zv Sea/(z) una función analítica en un dominio simplemente conexo
que contiene a C, y C2. Demuestre que
190 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
F ig u r a 4 .4 -5
6. ez cos(z) dz 7. ' dz
z dz = — . (1 + O2
2 2
(1 - i)2
z dz = —
2
b) ¿Cuál es el valor numérico correcto de estas integrales?
9. Determine el valor de J¿ Log z dz integrada sobre la recta que va de z = e a z = i. ¿A qué
se debe que sea necesario especificar el contorno?
10. Calcule JTLrCpg,,z/z dz, donde la integral se evalúa a lo largo de un contorno que no inter
seque el corté .de Log z.í| - i
11. Calcule ¡\ zm dz. Use la rama principal de zm. El contorno no pasa por ningún punto tal
que y = 0, x < 0.
12. Calcule Ji z1/2 dz. La rama de zl/2que ha de emplearse es igual a -1 cuando z = I. El corte
es la semirrecta y = 0, x < 0, y el contorno no pasa por dicho corte.
13. Consideremos los contornos C, y C2que aparecen en la figura 4.4-6. Podemos usar el re
sultado obtenido en el ejemplo 2 de esta sección para mostrar que a lo largo de C,,
J1! IIz ilz ni. ¿Se puede usar el principio de Independencia tic la trayectoria para demos
trar que a lo largo de C3, / '¡ 1/z dz ni'f En caso de ser negativa la respuesta ¿cuál es el
valor corréelo de esta integral?
14. a) ( 'aleóle I. ’,/./( /) ¡alegrada a lo laigo del aleo que satisface I ,• /| I, Ke (I
E je r c ic io s 191
A r c o s d e c ír c u lo
C,
F ig u r a 4 .4 -6
b) Repita el cálculo del apartado (a) usando los mismos límites, pero con el arco \z-i\ = 1,
Re z < 0.
Sean z, y z2 dos puntos cualesquiera del plano complejo. Supongamos que dos contornos
Cj y C2 conectan ambos a los puntos z, y z2. Supongamos además que los contornos no se
cortan en ningún otro punto y que ninguno de los dos pasa por z = 0. Explique a qué se
debe que
a lo largo de C | a lo largo de C 2
F ig u r a 4 .4 -7
192 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
C o m p ru e b e , m e d ia n te el s ig u ie n te p ro c e d im ie n to , q u e e ste te o re m a no tie n e e q u iv a le n te
p a ra in te g ra le s d e lín e a c o m p le jas:
a ) D e m u e s tre q u e j',( 1 /z 2) dz = 1 + i, d o n d e la in te g ra l se e fe c tú a a lo la rg o de x + y = 1.
b ) D e m u e s tre q u e n o ex iste, so b re e ste c o n to rn o d e in te g ra c ió n , n in g ú n p u n to z , ta l que
(1 1) = 1 + i.
17. a) E n c u e n tre la s p rim itiv a s de l/( z - í f en el d o m in io R e z > 0.
b ) E n c u e n tre la p rim itiv a q u e es ig u al a cero c u an d o z = 1 + ;.
18. a) E n c u e n tre las p rim itiv a s d e l / ( z 2 + 1) en el d o m in io |Im z | < 1.
b ) E n c u e n tre la p rim itiv a q u e es ig u a l a n i 4 c u an d o z = 1.
19. a) M u estre q u e to d a ra m a de z “ (cc es u n n ú m e ro c u alq u iera, y a sea re a l o c o m p le jo ) tie n e
p o r p rim itiv a zz“/ ( a + 1) en el d o m in io de a n a litic id ad de z “ (v é a se la Sec. 3.6).
b ) U sa n d o los v a lo re s p rin c ip a le s d e to d a s las fu n c io n e s que a p a re c e n en el in te g ra n d o ,
c alc u le ¡L, (z ' - f ) dz. E m p lee u n co n to rn o d e in te g ra c ió n q u e no p a se p o r z = 0 n i p o r
la p a rte n e g a tiv a del e je real.
Figura 4.5-1
dz /(z0)
2nif(z0) = (> :/(z0) dz. (4.5-2)
, c0(z - z0) J c 0z
Puesto que la cantidad/ (zn) es constante, pudimos introducirla en el símbolo de inte
gral del lado derecho de la ecuación (4.5-2). Si restamos el lado izquierdo y el lado
derecho de la ecuación (4.5-2) de la integral del lado derecho de la ecuación (4.5-1),
obtenemos
m dz - 2nif(z0) = f(z) - f ( zo) dz.
(4.5-3)
C0'
Nuestra tarea ahora consiste en demostrar que la integral de la derecha es igual a cero.
Por el principio de deformación de contornos, el valor de esta integral, que aún desco
nocemos, debe ser independiente de r, radio de C0.
Podemos aplicar la desigualdad ML de la sección 4.2 a fin de obtener una cota
para el valor absoluto del lado derecho de la ecuación (4.5-3). Aquí, la longitud L de
la trayectoria no es sino la circunferencia del círculo Cn, o sea, 2nr. La cantidad M
debe ser tal que
Ahora bien, una vez que hemos asignado valores a M y a L, podemos aplicar la
desigualdad ML al lado derecho de la ecuación (.4.5-3) para obtener
^ /(z) - /( z 0) j
(> --------------- dz < -2nr = 2ne. (4.5-5)
Co '
Puesto que el número e que aparece en el lado derecho de la ecuación (4.5-5) puede
ser tan pequeño como se desee, el valor absoluto de la integral de la izquierda también
puede hacerse arbitrariamente pequeño. Reducir e equivale simplemente a reducir el
radio r de C0.
Antes hicimos notar que el valor de la integral que está dentro del símbolo de va
lor absoluto en la ecuación (4.5-5) debe ser independiente de r. Como el valor absolu
to de dicha integral puede hacerse tan pequeño como se desee, concluimos que su
valor es, de hecho, igual a cero.
Ya que hemos mostrado que el lado derecho de la ecuación (4.5-3) es igual a
cero podemos reordenar el lado izquierdo para obtener
/(A>) = □ (4.5-7)
2m J c (z - z0)
EJEM PLO 1
Apartado (b): El integrando puede expresarse en la forma (eos z)/(z - (-1)). Usando la
ec uación (4.5-7) vemos que z0 = -1 no pertenece al interior del contorno de integra-
i ion. Por lo tanto, no podemos usar la fórmula integral de Cauchy. Sin embargo,
ya que (eos z)/(z + 1) es analítica tanto en C como en todo punto de su interior, pode
mos aplicar el teorema de Cauchy-Goursat. Así pues, el valor de la integral conside
rada es cero. ^
EJEM PLO 2
i alcule ( MItií) ^Afcos z)/(z2 + 1) dz, donde C es el círculo [z - 2/| = 2.
Solución
No podemos decidir de inmediato si debemos aplicar la fórmula integral de Cauchy o
I teorema de Cauchy-Goursat. Factorizando el denominador tenemos
1 f eos z
— ay---------------dz.
2ni J (z —i)(z + i)
( íbsérvese que el factor (z - i) se anula dentro del contorno de integración (en z = i),
y que z + i no se anula ni sobre el contorno ni en su interior (véase la Fig. 4.5-3). Es
cribiendo la integral considerada en la forma
z+i
— (J> dz,
2ni (z - 0
vemos que, como eos z/(z + i) es analítica tanto en el círculo |z - 2i\ = 2 como en su
interior, podemos usar la fórmula integral de Cauchy. En la ecuación (4.5-7) tomamos
/ (z) = eos z/(z + i) y z0 = i. Así, el valor de la integral considerada es
eos i —i
= - = — cosh 1. M
\Z + i) z=i 2i 2
I a fórmula integral de Cauchy no permite evaluar directamente integrales como
196 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
donde z 2 + 1 se anula en dos puntos del interior del contorno de integración. Sin em
bargo, dicha fórmula puede adaptarse para resolver problemas de esta clase, como se
muestra en el ejercicio 16 de esta sección.
La fórmula integral de Cauchy permite determinar el valor de una función analí
tica en un punto si conocemos los valores que dicha función toma en un contorno ce
rrado simple que rodee al punto. La fórmula puede generalizarse. La generalización
permite calcular el valor de cualquier derivada de esta función en el mismo punto si,
como antes, conocemos el valor de la función a lo largo de una curva que rodee al
punto considerado.
La fórmula generalizada puede obtenerse mediante las siguientes operaciones,
que no constituyen una demostración. Sea/ (z) una función analítica a lo largo de un
contorno cerrado simple C, así como en su interior, y sea z0 un punto del interior de C,
entonces, de la ecuación (4.5-7), tenemos
m dz.
/ ( z o) = (4.5-8)
2m ic ¿ £o
Ahora tomemos/ (z0) como función de la variable z0, y diferenciemos ambos lados de
la ecuación (4.5-8) respecto a z0. Supondremos que podemos introducir el operador
d!dza en el símbolo de integral. Así,
1
— f ( z 0) = — — £ m dz
dz0 2ni „ c z ~ z o d z = z— /(z)
dz0 2ni d zo \ z
1 m dz. (4 .5 -9 )
2ni rc (z - z0)2
Esto equivale a suponer que la regla de Leibnitz^o sólo es válida para integrales rea
les, sino también para integrales de contorno. Calculando de esta manera las derivadas
segunda y n-ésima encontramos que
1 Véase W Kuplim, Advanced Cali idn.\, -ln n i (Kuidlng, MA: Addisnn Woslcy, IW |),p ú g , 2(»(>
4 .5 La fó rm u la in te g r a l de C a u ch y y su e x te n sió n 197
O dz dz, (4.5-10)
2ni ^ ^dzQ (z —z0 2ni J c (z —z0)
_ L f ÍM l y ± < C _ ú !lA
2 m J c [z - (z0 + Az0)](z - z0) 2tt¡ J c (z - z0)2
tiende hacia cero cuando Azo->0. Así quedaría probada la validez de la expresión
(4.5-9) para f '( z 0). El procedimiento es bastante directo e implica usar la desigualdad
ML de una manera similar a la empleada para obtener la fórmula integral de Cauchy.
I I lector encontrará los detalles de este procedimiento en el ejercicio 15 de esta sec
ción.
Una vez que hemos demostrado la validez de la ecuación f ' ( z 0) = (1/2ni)
ÍV ,/ (z)/(z - z0)2 dz, podemos usar un procedimiento riguroso análogo para justificar
la expresión p a ra /(2)(z0) 9ue aparece en la ecuación (4.5—10). Puesto que la derivada
de / '(z0)con respecto a z0 no sólo existe, sino que existe en cualquier dominio de analiti
cidad de / ( z n), podemos afirmar que f \ z a) es en sí misma una función analítica de z0.
Este procedimiento puede llevarse a cabo tantas veces como sea necesario para obtener
cualquier derivada d e /(z 0). Se obtiene así una fórmula para la derivada n-ésima, dada
por la ecuación (4.5-11). El siguiente teorema es un resumen de estos resultados.
TEOREMA X Iixtensión de la fórmula integral de Cauchy
Si una función / ( I c . analllica en cierto dominio, entonces posee deriva
das de lodos los órdenes en dicho dominio. Estas derivadas son también
198 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
n! m
7 ,2°, = 2 í¡ tc D (4S- 13)
Obsérvese que si interpretamos/(0)(z0) colmo/(z0) y 0! = 1, la ecuación (4.5-13) con
tiene la fórmula integral de Cauchy para/ (z0).
Sea/ (z) una función definida en todo punto de una vecindad de z0. Si/ (z) no es
analítica en z0 es imposible encontrar una función F(z) tal que dF/dz = / (z) en todo
punto de la vecindad. De existir F(z), sería analítica y, según el teorema 8, su segunda
derivada df/dz existiría en todo punto de la vecindad considerada. Por lo tanto, / (z)
sería analítica en z0, lo que constituye una contradicción.
A modo de ilustración, considérese el caso de la función/ (z) = x 2 + iy2, que no
es analítica en ningún punto (véase el ejemplo 2 de la sección 2.4) y que no puede ex
presarse como la derivada de una función F(z) en dominio alguno.
Si se expresa una función analítica/ (z) en la forma u(x, y ) + iv(x, y), entonces las
derivadas de / (z) pueden escribirse en términos de las derivadas parciales de u y v
(véase la sección 2.3 y el ejercicio 19 de esa sección). Por ejemplo,
du dv dv du
f< f) = Tx + i Tx = T y - ‘ T>- <4-5- 14»
d 2u d 2v d 2u d 2v
+ (45- |5)
La extensión de la fórmula integral de Cauchy indica que si/ (z) es analítica, en
tonces posee derivadas de todos los órdenes. Como dichas derivadas quedan definidas
por las ecuaciones (4.5-14) y (4.5-15), así como por otras ecuaciones semejantes que
contienen derivadas parciales de orden superior, vemos que u y v deben poseer deriva
das parciales de todos los órdenes. Puesto que una función armónica puede conside
rarse como la parte real (o la parte imaginaria) de una función analítica, podemos
enunciar el teorema 9.
TEOREMA 9
Si una función es armónica en cierto dominio, entonces posee derivadas par
ciales de todos los órdenes en dicho dominio. □
EJEM PLO 3
Determine el valor d e [(z1 + 2z + I )/(z I ) '| </z, donde C es el contorno | z \ 2.
Solución
1 Jada la form a d e l d e n o m in a d o r d el m lc p ia iiilo , r ec u r r ir em o s a la e c u a c ió n (4 ,5 I 1)
c o n ii l e ñ e m o s p u es
E je r c ic io s 199
m -dz.
/ (2W =^
2ni Je (z - z0)3
Haciendo z0 = 1 y efectuando una sencilla multiplicación, la ecuación anterior se
transforma en
m dz.
c ( 2 - D3
Tomando f( z ) — z 3 + 2z + 1, esta fórmula proporciona el valor de la integral consi
derada. Así pues
. z3 + 2z + 1 , . d2 3
Cl> dz = ni—- (z + 2z + 1) = ni(6z) = 6ni.
c (Z - 1) dz
Nótese que si el contorno C fuese | z | = 1/2 podríamos usar el teorema integral
de Cauchy. Esto se debe a que (z3 + 2z + l)/(z - 1)3es analítica tanto a lo largo de cír
culo como en su interior. M
EJEM PLO 4
Encuentre <^c [eos z/((z - l)3(z - 5)2)] dz, donde C es el círculo |z - 4| = 2.
Solución
Examinemos los factores del denominador. El término (z - l)3 es distinto de cero tan-
lo en el interior del contorno de integración como en su circunferencia. Sin embargo,
(z - 5)2 se anula en el punto z = 5 del interior de C. Por lo tanto, volvemos a escribir
la integral en la forma
eos z
(Z - 1): dz
'c ( z - 5 ) 2
y aplicamos la ecuación (4.5-13) con n = 1, z0 = 5,/(z ) = eos z/(z- l)3. Así,
eos z
(z - 1); d eos z —64 sen 5 —48 eos 5
— d> dz =
2ni c (z —5) dz(z - l)2
El valor de la integral inicial es igual al producto de 2ni por el resultado anterior. M
E JE R C IC IO S
E A liti de obtener unu derivación formul (no rigurosa) de la fórmula integral de Cauchy,
consideremos una función,/(z) analítica tanto sobre el perímetro de un contorno cerrado
simple (' como en su Interior; sea un punto del interior de (' y sea Cn un circulo con
2 0 0 (nplO ilii 4 I iiI i i i i i o i i t ' ii e l | i l i i i n i i ' o n i | i l i ' | i i
c en tro en z„ y to ta lm e n te c o n te n id o e n C. E n to n ce s, p o r el p rin c ip io de d e fo rm a c ió n de
c o n to rn o s te n e m o s
/(z) -M _ * .
c ( z - zo) J c0(z —2o)
a) V u e lv a a e x p re sa r la in te g ra l d e la d e re ch a efe ctu an d o el c am b io de v a ria b le z = z„ +
re'0, d o n d e r es el rad io d e C 0 y 8 v a ría d e 0 a 2 n (v é a se la Fig. 4 .3 - 8 ) . O b sé rv e s e que
dz/dd = ire'0.
b ) T om e r -> 0 en el in te g ra n d o d e la e x p re sió n q u e se o b tu v o e n el a p arta d o (a). L lev e a
c a b o la in te g ra c ió n y use su re s u lta d o p a ra d e m o stra r q u e
- dz = 2nif(z0).
I c (z — Zo)
E v a lú e las s ig u ie n te s in te g ra le s. U se la fó rm u la in te g ra l d e C a u c h y (o su e x te n sió n ) o b ie n el
te o re m a in te g ra l d e C au c h y d o n d e sea n e ce sario .
7. alrededor de \z — iii=
\ = L-
J z 2 — 6z + 5 2
f sen(cz + eo s z) x2
8. 0 -----------------------dz alrededor de —
J (z - l ) 2(z + 3) 2
f e3z x2
9. 0 ----- —------dz alrededor d e -------1- y 2 = 1
J (z - 2í)(z - l) 2 2
f cos(2z) ,
10. 0 — —— dz alrededor de |z| = 1
f cos(2z)
11. 0 — —— dz alrededor de |z| = 1
1 — a eos 0
■dO = 2n.
1 — 2 a eos 9 + a 2
1 ~ aC0Se d(P.
1 — 2a eos 9 + a 2
1 f ( z ) dz / ( z ) dz
lím — = 0.
á z 0 ~*o 2.U I c (z - ( z 0 + A z0))(z - z0) c(z - z0);
C o m p le te la d e m o stra ció n .
/(z ) Azn
lím — dz
A zn-* 0 2 71 C (z - z0)2 \ z - (z0 + A z0;
a) D e m u e s tre que
/(:) /( z t) , / ( z 2)
dz =
*.)(r
2 0 2 C a p itu lo 4 I n teg r a c ió n cii el p la n o c o m p le jo
Figura 4.5-4
dz
M ________
2 7 tiJ ( z - z , ) ( z - z 2) " ( z - z „ )
/(* l)
(z, - z 2)(zl Z3) • ••(Zj - 2 „)
+ ________¿U2)________
(*2 ~ Z l) ( z 2 ~ Z 3) " ' ( z 2 - 2 » )
+ ■■■+ /(*„)
(2, ~2l)(2„-22)'"(2„-2„_1)
1 f co síz — 1)
17. — q > -------------------dz alrededor de \z\ = 3
2 n iJ
(2 + 1)(2 —- 2)
± L + dz.
2niJc0z - z 0 2niJc¡( z - z 0)
i r dz i i r dz
2ni J |2|„2(z —l)sen z sen 1 2ní J |«i_ 1/2(* —0 sen z
c) Sea D un dominio n veces conexo limitado por los contornos cerrados C0, C'|..... C7„ h
como se indica en la figura 4.5-7. Seaf(z) una función analítica en D y en sus fronte
ras y sea z0un punto de D. Compruebe que
± ¿ m dz
dz = f(z0) + —
2m JcJ z - z 0) 2ni ,(z
+ ... + - L Í -^-d z.
2
Esta es la fórmula integral de Cauchy para un dominio n veces conexo.
/(* o +
/,z°)=¿ r d°-
Tras efectuar algunas simplificaciones evidentes, esta expresión se convierte en
F ig u r a 4.6-1
4 .6 A lg u n a s iipllciU'lonr* ilc Iii Inrm iilu in li g in l d e ( n u c l i y 205
1 f 2n
v(x0, y0) = — v(z0 + re'") <16. (4.6-3b)
2rt Jo
\Vinos, de la ecuación (4.6-3a), que el valor de la parte real u de la función analítica
• o el centro del círculo es igual al valor medio de u calculado alrededor de la circun-
(•-irucia del círculo. El resultado correspondiente a la parte imaginaria v queda expre-
nlo por la ecuación (4.6-3b).
Si conocemos los valores de u en ciertos puntos discretos de la circunferencia de
mi círculo, podemos usarlos para determinar en forma aproximada el valor de la inte-
io.il de la derecha de la ecuación (4.ó-3a). De esta manera es posible obtener una
aproximación al valor que toma u en el centro del círculo (véase el ejercicio 7 de esta
sección). En el caso típico se usan cuatro puntos de la circunferencia, uniformemente
. parados. Este método es el fundamento de un procedimiento numérico llamado m i
nuto de diferencias finitas, que sirve para evaluar funciones armónicas en los puntos
interiores de un dominio cuando se conocen los valores de la función sobre las fronte-
ius de dicho dominio. Este método se usa en la resolución de problemas físicos que
urgen en electrostática, transferencia de calor y mecánica de 11nidos.1
El teorema del valor medio de Gauss puede usarse para demostrar una importan-
le propiedad de las funciones analíticas:
TEOREMA 11 Teorema del módulo máximo
Sea J'(z) una función que no es constante y que es continua en todo punto de
una región cerrada y acotada R. La función/ (z) es además analítica en todo
punto interior de R. Entonces el valor máximo de |/(z)| en R debe correspon
der a un punto de la frontera de R. □
I helio sin rigor, este teorema establece que el valor máximo que toma el módulo de
/ (.•) en una región corresponde a un punto de la frontera de dicha región.
A fin de demostrar este resultado, emplearemos sin demostración la siguiente
propiedad de las funciones analíticas: si una función analítica no es constante en nin-
I uno de los puntos interiores de una región, entonces, sea cual sea el punto interior
considerado, no existe vecindad alguna de dicho punto en el que la función sea cons-
lanle.1 Del ejercicio 19 de la sección 2.4 vemos además que |/(z )| tampoco es cons-
l.inte en ninguna de tales vecindades.
Volviendo al teorema del módulo máximo, supongamos que el valor máximo que
loma |/(z)| en R corresponde a un punto interior de esta región, z0 En el punto z0tene
mos |/( z n)| = m (valor máximo). Supongamos que R es el conjunto de puntos del con-
lorno C mostrado en la figura 4.6-2, y de su interior.
Pignrii 4.0 2
i
4 .6 AI|>iiiiiik a p lic a c io n e s (le la fó rm u la in te g r a l d e C a u e liy 2 0 7
La cantidad que aparece del lado izquierdo, |/ (z0)|, es m, el valor máximo de |/ (z)|.
Pero m no puede ser inferior a m -b/3 Un. Por lo tanto, hemos llegado a una contradic
ción. Nuestra suposición de que z0 es un punto interior de R debe ser falsa. Puesto que
1 /(z)| debe alcanzar un valor máximo en algún punto de R (véase el teorema 2 del ca
pítulo 2), este máximo ha de ser un punto frontera. Para la región R de la figura 4.6-2
este punto se encontraría en la frontera C.
Existe un resultado similar, que demostraremos en el ejercicio 8 de esta sección,
para el valor mínimo de |/(z)| en R:
TEOREMA 12 Teorema del módulo mínimo
Sea/ (z) una función continua y distinta de cero en todo punto de una región
cerrada y acotada R. Supongamos además que / (z) no es constante y que es
analítica en todo punto interior de R. Entonces el valor mínimo que alcanza
|/(z)| en R debe corresponder a un punto de la frontera de R. □
Obsérvese que hemos impuesto el requisito adicional/ (z) A 0.t
En los ejercicios 13, 14, 15 y 16 de esta sección veremos que los teoremas del
módulo máximo y mínimo pueden proporcionarnos ciertas propiedades del comporta
miento de las funciones armónicas en una región acotada que pueden ser de gran uti
lidad. Dichas propiedades se aplican directamente a problemas de conducción de
calor (véase, por ejemplo, el ejercicio 16) y de electrostática.
EJEM PLO 1
Consideremos la función/ (z) = ez en la región | z | < 1. Determine en qué puntos de
esta región alcanza |/(z)| sus valores máximo y mínimo.
Solución
Puesto que ez es una función entera y ez nunca se anula en la región considerada, nues
tro resultado debe confirmar tanto el teorema del módulo máximo como el teorema
del módulo mínimo. Tenemos |/(z)| = |ez| = \ex +,y\ = \ex\ \e'y\ = \ex\ = ex. Hemos po
dido eliminar el símbolo de valor absoluto gracias a que ex es no negativo. Ahora bien,
1 /(z) | es máximo en el punto de la región en el que ex alcanza su valor máximo, esto
es, en x = 1, y = 0, y \ f (z)| es mínimo en el punto donde e x es mínimo, es decir, en
x = - 1, y = 0. Ambos puntos se encuentran en la frontera de R (véase la Fig. 4.6-3).
<4
Hemos obtenido los teoremas del módulo máximo y el módulo mínimo a partir
de la fórmula integral de Cauchy, empleando el teorema del valor medio de Gauss
1 F.xistcn o tras versiones de los teorem as del m ódulo m áxim o y el m ódulo m ínim o. Se conocen
com o v ersio n es “ lo cales” y se en u n cian de la siguiente m anera: a) S e a /( z ) una función a n alí
tica y no co n stan te en una vecindad N de z0. E ntonces ex isten puntos de N a rb itrariam en te
próxim os a /„ tales que | / (Al | / ( r 0)l. cs decir, |/ ( z ) | no puede tener un m áxim o local en z0.
b) Si a d e m á s /(z ,i) / (l, en to n ces ex isten puntos de N arb itrariam ente próxim os a z , tales que
l / ( Al l / ( 2o)|i deelf, | / ( .')| no puede tener un m ínim o local en z0.
208 C a p ítu lo 4 lu tc g r lic ió n en ol pim ío c o m p le jo
m <M
(z - z 0 )2
I/ (z)I
< M. (4.6-5)
I Iemos supuesto que |/(z )| está acotado en todo punto del plano z. Por lo tanto,
existe una constante m tal que \ f (z)| < m para todo z. Dividiendo ambos lados de esta
desigualdad entre r 2 obtenemos
¡/ (z)| m
(4.6-6)
r rz
Comparando la ecuación (4.6-5) con la ecuación (4.6-6) vemos que podemos tomar
M = m/r1. Introduciendo este valor de Men la ecuación (4.6^1) tenemos \f'{za)\ < m/r.
Esta desigualdad es válida para cualquier círculo centrado en z0 Gracias a que
podemos considerar círculos de radio r tan grande como se desee, el lado derecho de
esta desigualdad puede hacerse arbitrariamente pequeño. Así, la derivada de / (z) en
z„, un número específico, tiene una magnitud igual a cero. Por lo tanto, f'( z 0) — 0.
Como este razonamiento es válido para cualquier punto z0, la expresión/'(z0) debe va
ler cero en todo punto del plano z. Esto sólo es posible si/(z) es constante.
El teorema de Liouville puede usarse para demostrar el teorema fundamental del
álgebra. Si bien el lector ha empleado el álgebra durante muchos años, tal vez no esté
familiarizado con el teorema fundamental de esta disciplina, el cual afirma que la
ecuación polinomial a„z" + + ■■■ + a0 = 0 tiene al menos una solución en el
plano complejo. Supondremos que n > 1 y que a„ A 0.
Seap(z) = a„z" + a„_xz n~'i + + a0. Consideremos dos regiones del plano
complejo: R x es el disco | z | < r y R 2 es el resto del plano, \z \> r. Supongamos ahora
que p(z) = 0 no tiene ninguna raíz en el plano complejo (es decir, que esta ecuación
polinomial no tiene solución).
Esto significa que \tp(z) es una función continua en R,. De acuerdo con el apar
tado (d) del teorema 2 del capítulo 2, existe una constante M tal que \Mp{z)\ < M oran
do z se encuentra en la región acotada R x.
Estudiemos ahora el comportamiento de p(z) y 1lp(z) en R 2. Recordemos para
ello la desigualdad del triángulo | / + g\ > \ f \ - |c/| (donde | / | > |gj), dada por la
ecuación (1.3-20). Tomando/ = a„zn y g = a„_¡ z"~' + ■■■ + a0 (obsérvese quep(z)
=f + g), vemos que no hay dificultad alguna en hacer que r sea lo bastante grande
para que en R 2, donde | z | > r, se tenga | / | > |c/|. Así pues, por la desigualdad del trián
gulo tenemos en R 2
\p(z)\ > \a„zn\ - |a„-1zn_1 + ••• + a0|. (4-6-7)
Por otra desigualdad del triángulo (véase la Ec. 1.3-8), tenemos
|u „-iz"_ 1 + u„-2z',_2 + ••• + aol ^ l«B- i l l z r _1 + + l^ol- (4.6-8)
Combinando las desigualdades de las ecuaciones (4.6-7) y (4.6-8) obtenemos
\p(z)\ >\an\\z\n- ( k ,||z|n_1 + ••• + |a0l). (4-6-9)
donde nuevamente hemos supuesto c|ue | z | • r es lo bastante grandepara que el lado
derecho sea siempre positivo
21 0 C n p itiilo 4 1ntcgru clA n n i el p la n o c o m p le jo
I —21 . , l^ol
\p(z)\ > |aJ|z|B- |z n - 1
+ - TzT +
(4.6-10)
nA
\ M \ Z \ a H\\z\m- I z r ' n A ^ W (4.6-12)
L izi
donde una vez más se supone que | z | es lo bastante grande para que el lado derecho
sea positivo en todo punto de R2.
Invirtiendo la desigualdad de la ecuación (4.6-12) vemos que
1 1
|p(z)l ~~ I z llk l - nA/\z\y (4.6-13)
El lado derecho de la ecuación (4.6-13) alcanzará su valor máximo en R2 en los pun
tos tales que | z | sea mínimo. Como | z | > r tenemos, en R2,
1 1
<
|p(z)| rn[\an\ - nA/r] ^4'6 14)
Recuérdese que en R, se cumple que \¡\p(z)\ < M. Sea ahora M ' 1 1mayor de los dos
valores: M y el lado derecho de la ecuación (4.6-14); entonces en todo punto del pla
no z se satisface la desigualdad
l/|p(z)| < M \
Por medio del teorema de Liouville y la desigualdad anterior podemos ver que la fun
ción analítica acotada 1¡p(z) es constante, o de manera equivalente, que p{z) es cons
tante. Puesto que es evidente que p(z) no es constante, no es cierto que p(z) = 0 no
tiene raíces en el plano complejo. Así concluye la demostración.
Los números complejos surgen por primera vez cuando se desea resolver ecua
ciones cuadráticas de la forma az2 + bz + c = 0. La resolución de ecuaciones lineales
de la forma az + b — 0 no exige que se empleen números complejos si a y b son rea
les. Vemos ahora que para resolver ecuaciones cúbicas (az3 + bz2 + cz + d = 0),
cuárticas, etcétera, no se requiere más que el sistema de los números complejos. De
hecho, una vez que se ha demostrado que p(z) — 0 tiene una raíz en el plano complejo
es fácil demostrar (véase el Ejer. 18) que posee n raíces.
Alrededor de 1798, Cari Friedrich Gauss, publicó la primera demostración del
teorema fundamental del álgebra como parte de su tesis doctoral. Si bien se valió de
los números complejos, no usó el método que hemos presentado aquí. Existen muchas
demostraciones alternativas de este teorema. Una de ellas figura en el ejercicio 9 de la
sección 7.3.
E je r c ic io s 211
EJERCICIOS
Implee diversas versiones del teorema del valor medio de Gauss (véanse las ecs. 4.6-1 y 4.6-3)
para evaluar las siguientes integrales.
1. (\/2 n ) \lneie'a) dd
2. jo" cos(cos 6 + i sen 9) dd
3. J l, cos(cos 6) cosh(sen 9) dd
a 4- eos(n6)
d9, a > 1, n entero
.„ a2 + 1 + 2a eos(nff)
1
ugerencia: f(z) =
z" + a
u¡ + u2 + «3 + w4
u0 ■
b) Emplee una calculadora de bolsillo para evaluar la función armónica ex eos y en los
puntos (1.1, 1), (0.9, 1), (1, 1.1) y (1, 0.9). Compare el valor medio de estos resultados
con el valor de e* eos y en (1, 1).
Figura 4.6-5
Sca/(z) una función continua y distinta de cero en todo punto de una región cerrada y aco
lada R\ supongamos que / (/) no es constante y que es analítica en todo punto interior de
R Pruebe que el valor mínimo que I,/ (z)| toma cn R debe corresponder a un punto de la
frontera de R.
21 2 ('n p ltu lo 4 Inli'KrHción CII el p la n o c o m p le jo
d o n d e la in te g ra c ió n se re a liz a a lre d e d o r de | z | = 1.
d o n d e n = 0, 1, 2 , . . .
b) Si z0 es la ra íz d e p ( z ) = 0 q u e d a el te o re m a fu n d a m e n ta l, e x p liq u e p o r q u é se p u e d e
e s c rib ir p (z) = a „ (z" -z¡¡)+ a.„_l(z"~' - z 0” ~ ') + ••• + a ¡(z -z g ).
Sugerencia: C o n sid e re la e x p re s ió n p ( z ) - p (z 0) y c o m b in e té rm in o s.
c) U sa n d o los re su lta d o s de (b ) y (a) d e m u e stre q u e p (z) = a„(z - z0) R „ _ , + a„_ ,(z - z 0)
Rn 2 + ■■■+ a¡(z - z„), d o n d e R¡ es un p o lin o m io d e g rad o j e n z.
d ) U se el re su lta d o q u e se o b tu v o e n (c) p a ra p ro b a r q u e p{z) = (z - z0) A(z), d o n d e A (z) es
un p o lin o m io d e g ra d o n 1 en z.
O b servación P o r el te o re m a fu n d a m e n ta l, la e c u a c ió n p o lin o m ia l A (z) = 0 p o s e e
un a raí/, z, en el p la n o c o m p le jo . A sí p u e s, A (z) = (z - z ,)S (z ), d o n d e B (z) es u n p o
lin o m io d e g ra d o // 2 en P o r lo t a n t o , p (z) = (z z0)(z - z ,)fi(z ). P o d e m o s lu e g o
214 C a p ítu lo 4 In teg r a c ió n en el p la n o c o m p le jo
Figura 4.7-1
f La función buscada debe ser continua en la región que consiste en el dom inio y sus fronteras,
salvo posiblemente en los puntos frontera en que la condición de lionteia tlmlu r . discontinua.
4 .7 IntrixliK Tlóii ii los p r o b le m a s d e D ir ic lile t 215
dominios simples, así como para problemas con dominios de formas más complica-
<l,i., es el de la transformación conforme. Este tema se estudia con cierto detenimien-
i" en el capítulo 8. En esta sección analizaremos un método que puede aplicarse
' liando la frontera del dominio es un círculo o una recta infinita.
I loy en día la mayoría de los problemas de Dirichlet con fronteras relativamente
<<anplicadas se resuelven por medio de métodos numéricos y la ayuda de un compu-
lailor. Para este propósito es suficiente un computador personal. Las respuestas que
i obtienen son aproximaciones.1 Los métodos analíticos para la resolución de proble
ma1; con fronteras simples que se presentan en este libro pueden proporcionar cierta
i omprensión intuitiva de los problemas que se resuelven por medio de un compu
tador, así como aproximaciones que permiten verificar las soluciones así obtenidas.
(4.7-1)
'.opongamos que escribimos/ ( z ) = U(x, y ) + iV(x, y). Deseamos usar la integral an-
lei ior para obtener expresiones explícitas para U y V.
Consideraremos en primer lugar el punto z¡ definido por z x = R2¡z. Obsérvese
que
( lomo |z | < R, la ecuación anterior muestra que |z,| > R, es decir, que el punto z,
está fuera del círculo de la figura 4.7-1. Es fácil probar que arg z, = arg z. La función
K tv)/(w - Z \ ) es analítica en el plano w sobre el círculo dado y en su interior. Por lo
(4.7-2)
-— eie ¡Re'*
4>) d<j).
(R e‘ _ rp¡0' R e* _ — ew
Existe una expresión correspondiente para V(r, tí) y V(R, <l>) que se obtiene estable
ciendo la igualdad entre las partes imaginarias de la ecuación (4 7 ■)
I .i fórmula integral de Poisson, dada por la ecuación (4.7-6) es importante. Esta
i la proporciona el valor de la función armónica U(r, 6) en todo punto del interior
if un circulo tic radio R siempre y cuando conozcamos los valores U(R, <f>) que toma
I i o la circunferencia de dicho círculo.
Puesto que exigimos que/ (z) fuese analítica tanto en el interior del círculo de ra
li’ />' i tuno en su circunferencia, el lector debe suponer que la función U(R, <j)) que
II •11m•11* en la ecuación (4.7-6) es continua. De hecho, podemos suavizar esta condi-
<■•11 permitiendo que U(R, <¡>) presente un número finito de discontinuidades por
dios" I ,a fórmula integral de Poisson conserva su validez.
I ii el ejercicio 4 obtendremos una fórmula similar a la ecuación (4.7-6) que es
\ ulula en el exterior del círculo; es decir, si conocemos el valor de una función armó-
i i en la circunferencia de un círculo, esta expresión proporciona el valor de dicha
imii mu en todo punto del exterior del círculo dado. En esta fórmula se da por sentado
i|in Iu función armónica buscada está acotada (esto es, que su valor absoluto es siem-
pii que una constante) en el dominio que consiste en el exterior del círculo.
lodo el material de esta sección está fundamentado en los trabajos de un francés,
mi I )enis Poisson, quien vivió de 1781 a 1840. Quizá el lector se haya encontra-
i m i :.u nombre en teoría de probabilidades (la distribución de Poisson) o en elec-
ii” i.ilicu (la ecuación de Poisson). Se le reconoce por haber contribuido a aplicar el
ni ili i1. matemático a las disciplinas de la electricidad, el magnetismo y la elasticidad.
/ n.MPLO 1
i ” , (inductor eléctrico en forma de tubo de radio unitario se divide en dos mitades
un dimite unas ranuras de anchura infinitesimal. La parte superior del tubo (R = 1,
0 </> /r) se mantiene a un potencial eléctrico de 1 voltio y la parte inferior (R = 1,
1 </< 2n) se encuentra a -1 voltio. Determine el potencial en un punto cualquie-
i i / 0 del interior del tubo (véase la Fig. 4.7-2). Suponga que el tubo contiene un
iinih'i mi dieléctrico.
Solución
I'm .lo que el potencial electrostático es una función armónica (véase la Sec.2.6) pode-
mi r. aplicar la fórmula integral de Poisson. De la ecuación (4.7-6) con R = 1 tenemos
1 V éase K V. C huieliill y I W, Urown, Complcx Variables and Applications , 5a. ed. (N ueva
York: M cd ru w llill. 1900), sección 95.
218 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
Figura 4.7-2
Como la función arcotangente es multiforme, hay que tener cuidado al aplicar esta
fórmula. Recordando que los valores que toma U en las fronteras son ±1, podemos
valemos de un razonamiento físico1 para concluir que -1 < U(r, 8) < 1 cuando r < 1.
Además, es preciso escoger los valores de la función arcotangente de tal manera que
U(r, 8) sea continua para todo r < 1, y que U{ 1, 8) sea discontinua únicamente en las
separaciones 0 = 0 y 0 = 7r. A
'1 + r 8 n
+ tan" ------ta n - + — (4.7-9)
_1 — r 2 - 2_
f h a m ism a co nclusión puede obtenerse usando los principios del m áxim o y del m ínim o (ejerci
cios 13 y 14 de la sección 4.6), si bien, estrictam ente, estos principios sólo son válidos cuando
el voltaje es continuo en la región. El voltaje que estam os considerando tiene dos puntos de dis
continuidad.
1 I u ium ión / ( \ ) es impar s i /(>) /'( >).
4 .7 I n tro d u c ció n a lo s p r o b le m a s d e O ir ich le t 219
U(r,e)
P otencial electrostático
en el interior del cilindro
r = .9 de la figura 4.7-2
an v ^ c o
2n g
-1 r = .9
Figura 4.7-3
donde debe usarse el signo menos ante ;r/2 cuando 0 < 9 < n y el signo más cuando
a 0<2 n. Todos los valores de las arcotangentes se evalúan de tal forma que se cum
pla que -n i2 < tan~’( ) < n/2. Éste es el convenio que emplean la mayoría de las cal
culadoras de bolsillo, así como los lenguajes de computador FORTRAN y BASIC.
< on ayuda de la ecuación (4.7-9) y de un sencillo programa de computador hemos
evaluado U(r, 6) para diversos valores de r; los resultados se muestran gráficamente
en la figura 4.7-3.
(4.7-10)
donde la integral se evalúa a lo largo de la base y el arco del contorno dado. Ahora
bien, puesto que z se encuentra en el interior del semicírculo nótese que z debe estar
en el espacio v 0, por lo que está fuera del semicírculo. Por lo tanto, la función
I (w)/(w ■' ) es analítica sobre el contorno C y en su interior. Así pues, por el
220 C a p itu lo 4 In te g r a c ió n en el p la n o c o m p le jo
f(w)
0= dw. (4.7-11)
2ni J c ( w - z )
Ahor;a restemos la ecuación (4.7-11) de la ecuación (4.7-10):
(z - z)f(w)
f(z) = /(w) dw = O dw. (4.7-12)
2m w —z w —z 2ni C(w - z)(w - z)
Dividamos la integral a lo largo de C en dos secciones: a lo largo de la base {v = 0,
-R < u < R), que denotamos por —<— y a lo largo del arco de radio R, que denotare
mos por el símbolo Por lo tanto
/(2)__L f ó -«/<»> (z - z)/(w)
dw. (4.7-13)
2ni J (w —z)(w — z) 2ni (w —z)(w —z)
Consideremos la representación cartesiana z = x + iy, z = x - iy y w = u + iv. Ve
mos que z - z = 2iy y que w = u a lo largo de la base. Por lo tanto, podemos escribir
el primer integrando del lado derecho de la ecuación anterior de la forma
(z - z)/(w) 2iyf(u) 2iyf(u)
(w - z)(w - z) [u - (x + i»] [u - (x - iy)] (u - x)2 + y2
de modo que la ecuación (4.7-13) se convierta en
/(«) du f(w)dw
/(*) = - -n Jí (w
—- (4.7-14)
7 t, — r (H - X ) 2 + y2 z)(w - z)
En el ejercicio 8 de esta sección descubriremos que conforme el radio R del arco
tiende hacia infinito, el valor de la integral a lo largo del arco en la ecuación (4.7-14)
tiende hacia cero. La demostración requiere que supongamos que existe una constan
te m tal que |/(w )| < m para todo Im vv > 0, es decir, que |/(w )| está acotada en el se-
miplano superior. Tomando el límite R -* oo, vemos que la ecuación (4.7-14) se
simplifica y se convierte en
/(«) du (4.7-15)
m =-
nj (u —x)2 + y2
Si conocemos el valor de f(w ) en todos los puntos del eje real del plano w (es de
cir, a lo largo de la recta w = u), esta expresión nos proporciona el valor de la función
en un punto cualquiera w = z, siempre y cuando Im z > 0.
Arco
Contorno
cerrado C
• o-v)
I'iuuru 4 7 5
222 C a p ítu lo 4 In te g r a c ió n en el p la n o c o m p le jo
y
t
\ !-£ /
37-0 \ I 2 / ÜL
- 4- \ | / 4
4 \ I /
\ 1 ^
1 \k .....................
Figura 4.7-6
Solución
Ya que la temperatura es una función armónica, como lo mostramos en la sección 2.6,
podemos aplicar directamente la fórmula integral de Poisson. Tenemos </>(w, 0) = T0,
u < 0; y </>(«, 0) = 0, u > 0. Así pues
T0 du 0 du
= * f° +:
rcj-o , ( u - x ) 2 + y 2 ti j 1 (u x)2 + y2
La segunda integral es igual a cero. En la primera hacemos el cambio de variable
x - u . Así,
00 T
f« dp
-fia n -' _ i 0 n tan - 1*
1- (4.7-17)
</>(*> y )
n JJ*
, P2 + y 2 n y n _2~
De la identidad trigonométrica tan-1 s = n /2 - tan“'(l/s) vemos que la expresión que
aparece entre corchetes del lado derecho de la ecuación (4.7-17) es tan~\y/x) = 6,
donde 6 es el ángulo polar asociado al punto (x, y). Por consideraciones físicas exigi
mos que 0 < <f>(x, y) < T0, es decir, que la temperatura máxima y la temperatura míni
ma correspondan a puntos de la frontera. Esta condición se satisface si 6 es al ángulo
polar principal en el espacio y > 0. Por lo tanto,
EJERCICIOS
I. a) Hn la figura 4.7-2 (del ejemplo I) explique, en términos físicos, por qué debe anularse
el potencial en el radio que va del origen a x I, y 0, Verifique que nuestra respues
ta, iluda poi la ei uaeión (4,7 ')), confirma este resultado Inmundo el limite 0 >01 (es
E je r c ic io s 223
decir, 6 se aproxima a cero por la derecha). Tenga cuidado de emplear la fórmula co
rrecta (con el signo menos),
b) Compruebe que la ecuación (4.7-9) satisface las siguientes condiciones de frontera:
1, 0 < 6 < n,
lím U(r, 6) ■
•1, n < 9 < 2n.
c) Con ayuda de una calculadora programableo de un computador, obtengalos datos nu
méricos y haga las gráficas de las curvas correspondientes a r = 0.25y r = 0.75,como
en la figura 4.7-3.
2. a) La superficie de un cilindro de radio 5 se mantiene a la temperatura indicada en la figu
ra 4.7-7. Demuestre que la temperatura estacionaria U{r, 6) del interior en el cilindro
está dada por
100 _ , , 5 +r (n 6 \\ _,/5+r „ .
U(r,6) = — tan
..... 1, tañí + tan M tan- + C
n \5 -r \2 2JJ \5 - r 2)
donde C = 0 cuando O<0<7ryC = n cuando n < 8 < 2n. En ambos casos la función
arcotangente satisface la desigualdad -n/2 < tan“'(.,.)<7t/2. ||
b) Compruebe que la expresión anterior satisface las siguientes condiciones de frontera:
Figura 4.7-7
3. IIse la fórmula intcgrul de Poisson para el círculo para demostrar que si el potencial elec
trostático en la superficie de un cilindro cualquiera es constante c igual a F0, entonces el
potencial en lodo pinito del interior de dicho cilindro es igiiul a Vn.
224 C a p ítu lo 4 I n te g r a c ió n en e l p la n o c o m p le jo
4. El objeto de este ejercicio es obtener una expresión para una función que es armónica en
el dominio no acotado del exterior del círculo. Se exige que la función tome ciertos valo
res en la circunferencia del círculo y que esté acotada en el dominio consistente en el ex
terior del círculo. Este problema se conoce como problema externo de Dirichlet para el
círculo.
a) Consideremos una función/ (vvj analítica en todo punto del plano w tal que |w| > R.
Consideremos dos círculos en el plano w con centro en vv = 0, como se muestra en la
figura 4.7-8. Los radios R y R' de estos círculos son tales que R < R'. Sea z = rewun
punto del dominio anular formado por los círculos. Tenemos entonces R<r<R'. Com
pruebe que
1
/(z) = — O dw H 1 4)
j .. . , I f ( w) dw.
2mJM =R'W—z 2tr¿ J M=R w - z
Nótese la dirección de integración alrededor de cada círculo.
Sugerencia: Vea el ejercicio 21a de la sección 4.5.
b) Sea zl = R 2/z. Obsérvese que este punto está dentro del círculo interno. Demuestre
que
o .2 - £ T ííL d w + 2 - 1 J i ± dw.
2m J W=R' w - z ¡ 2ni JW=R w - zx
c) Sustraiga la expresión del apartado (b) de la expresión obtenida en el apartado (a) y
pruebe que
1 f(w)(z - R2/z)
2ni M = R ’ (w - z)(w - R 2/z)
+ _¡_r /exz-BV a dw
2m JM=R(w - z)(w - R2/z)
d) Suponga que |/(w)| < m (constante) cuando ¡vv[ > R. Tome el límite R' -> oo. Demues
tre que, en el límite, la integral alrededor de |w| = R' se anula.
Sugerencia: Emplee la desigualdad ML.
plano w
í
E je r c ic io s 225
e) Escriba nuevamente la integral restante del apartado (c) usando coordenadas polares
z = rew, w = Re1'1’. Tome/(z) = U{r, 9) + iV(r, 6). Demuestre que
100 _ ..5 + r ¡n 9 \\ /5 + r
U(r, 6) = ----- tan
..... , ta n + tan ( tan- + C
n L \ r - 5 \2 2JJ \r - 5 2)
donde C y la función arcotangente se definen como en el ejercicio 2.
b) Compruebe que la expresión obtenida en el apartado (a) satisface las condiciones de
frontera
lím U(r, 8) = 100, 0 < 9 < n, y lím U(r, 9) = 0, n < 6 < 2n.
r-5 r - 5
c) Haga una representación gráfica de U{r, níl) para 5 < r < 50. ¿Qué temperatura produ
ce esta configuración en r = co?
a) Una hoja metálica que conduce el calor se coloca de tal manera que sea perpendicular
al eje y y que pase pory = 0, como se muestra en la figura 4.7-9. El potencial eléctrico
del lado derecho de la hoja, x > 0, se mantiene a un valor constante de V0voltios y el
del lado izquierdo, x < 0, se mantiene a -V0voltios. Demuestre que el potencial elec
trostático en el semiespacio y > 0 está dado por
<j)(x, y) = V0 - — ta n - 1- = V0 - — Im (L o g z),
n x n
donde 0 < tan '(y/x) < n.
b) Trace las curvas (o superficies) equipotenciales correspondientes a ()>(x, y) = V0/2,
<!>{x, y) = 0, <l>(x, y) = -V„/2.
c) Calcule las componentes Ex y E y del campo eléctrico en x = 1, y = 1 y trace el vector
que representa al campo en dicho punto (véase la Sec. 2.6).
a) El potencial electrostático de la superficie y = 0 se mantiene igual a un valor V(x) que
queda descrito por
oo < x < —h, V(x) “ Oí h<x <h, R{x) —V0; h<x <oo, K(x) = 0.
226 C a p ítu lo 4 I n te g r a c ió n e n el p la n o c o m p le jo
F igura 4.7-9
Figura 4.7-10
. x —h ,x + h
<¡>(x, y) ■ —tan" 1 b tan- ------
y y
b) Considere el límite y = 0+ en el resultado del apartado (a). Demuestre que las condi
ciones de frontera para los casos x < -h, -h <x < h y x > h se satisfacen cuando la fun
ción arcotangente se evalúa de tal forma que -ni2 < tan"‘(...) < n/2.
c) Pruebe que cuando y » h, en la recta x = 0, se obtiene
V02h
«¿,(0, y) * J » _ .
n y
Sugerencia: Cuando el argumento es pequeño tan"1w ~w.
d) Sea h = 1. Represente gráficamente <f>(x, 0.5) para -5 < x < 5. Tome V„ = 1.
8. Complete la demostración de la fórmula integral de Poisson para e! semiplano superior
mostrando que la integral a lo largo del arco (de radio Ii) que aparece en la ecuación
(4.7 14) tiende hacia cero cuando R -* oo.
Sugerencia Explique a qué se debe que |w z| ■|w| |z| y tjus |>v ; | |h'| | |en
el integrando lia de suponerse que | /(>»■)| m cuando Im iv ñ l s|>1li|ii< iiliom por
E l teo r e m a d e G re e n en e l p la n o 227
-R R u
F igura 4.7-11
y < 0.
donde la integral doble se evalúa sobre una región R que consiste en el contorno C y
su interior. Supondremos que la función P(x, y ) es continua y que tiene primeras deri
vadas parciales continuas en R.
1 V éieu * Iu s e c c i ó n *1 I
228 ( j i p i t i il » 4 liilc|>ruciA n en el p la n » c o m p le ja
Contomo C
Figura A4-1
' r°
P(x, f (x)) dx + P(x, g(x)) dx.
Estas dos integrales, una de a a b y la otra de b a a, forman la integral de línea J P(x, y ) dx
calculada alrededor del contomo C en la dirección positiva (es decir, en el sentido opues
to al de las manecillas del reloj). Así pues,
8P , ,
dx dy = (}> P(x, y) dx. (A4-1)
dy Je
De manera análoga (véase la Fig. A4-2) tenemos, para una función Q(x, y ) con
las mismas propiedades de continuidad que P(x, y):
80 fd
— dx dy = I [Qín(y), y) - Q(m(y), y)] dy
Q(n(y),y)dy+
Q(m(y),y)dy = O Q(x, y) dy. (A4-2)
Jd JC
Sumando las ecuaciones (A4-1) y (A4-2) obtenemos el resultado deseado:
El teo r e m a d e G re e n en el p la n o 229
y
d
x = n(y)
x = m(y)
Figura A4-2
lis fácil ahora relajar la condición de que las rectas paralelas a los ejes corten a C en
dos puntos como máximo. La demostración es ligeramente más complicada.
Ll siguiente teorema, emparentado con el teorema de Green, es útil en la teoría de
variable compleja. Permite demostrar un enunciado recíproco del teorema de Cau-
i hy-Goursat (véase el ejercicio 11 de la sección 4.3).
TEOREMA 14 Sean P(x, y), Q(x, y), dP/dy y dQldx funciones continuas
en un dominio simplemente conexo D. Supongamos que 4*P dx + Q dy = 0
alrededor de cualquier contorno cerrado simple en D. Entonces dQldx = dP/dy
en D. □
A fin de demostrar este teorema supongamos que dQldx - dP/dy > 0 en el punto
v„. V()de D. Entonces, puesto que ambas derivadas son continuas, podemos encontrar
■ii/> un círculo centrado en x0, y 0tal que dQldx - dP/dy > 0 sobre la circunferencia de
<' y en su interior. Aplicando el teorema de Green a dicho círculo tenemos
(A4-3)
in te rio r d e C
< orno el integrando de la derecha es positivo, la integral de la derecha debe ser igual
.i un número positivo. Por hipótesis, la integral de la izquierda es igual a cero. Por lo
lanío, hemos llegado a una contradicción.
Suponiendo que dQldx - dPIdy < 0, podemos llevar a cabo un razonamiento simi
lar y obtener nuevamente una contradicción. Así, como dQldx no es ni mayor ni me
nor que dP/dy, tenemos dQldx = dP/dy en (x0, _y0).