Para operaciones aritméticas con niimeros complejos qa z=x + iy = re = r(cos 0 + i sen6), r=|z|= fx? +7, 0=arctan (y/x), y para su representacién en el plano comple- jo, ver las secciones 12.1 y 12.2. Una funcién compleja fz) = u(x, y) + iv(x, y) es analitica en un dominio D si tiene derivada (seccién 12.4) S(z + Av) — f@ Az "(@) = li Q) I Pose! en cualquier punto de D. También, f(z) es analitica en un punto z = z, si tiene derivada en una vecindad de z, (no sélo en z, mismo) Si fz) es analitica en D, entonces u(x, y) y v(x, y) satisfacen las (jbastante importantes!) ecuaciones de Cauchy-Riemann (seccién 12.5) au au _ ae 9) ax ay ~ ax en todos los puntos de D. Entonces u y v también satisfacen la ecuacién de Laplace @) en todos los puntos de D. Si u(x, y) y v(x, y) son continuas y tienen derivadas parciales continuas en D que satisfacen (3) en D, entonces fz) = u(x, y) + iv(x, y) es analitica en D. Ver la seccion 12.5. (Enel capitulo 17 se volvera a la ecuacion de Laplace y al andlisis complejo.) La funcién exponencial compleja (seccién 12.6) (5) e* = exp z = e*(cos y + i seny) es periddica con periodo 277i, se reduce ae" siz = x (y= 0), y su derivada es e”.RESUMEN DEL CAPITULO 12 a7 Las funciones trigonométricas son (seccidn 12.7) 1 cos 2 = 5 (eit + eT = cos x cosh y ~ i senx enh y © L A (ee = 0°) = senx cosh y + i cos.x senh y senz i (sen 2/008 2, cot 2= Ian z, et. Las funciones hiperbélicas son (seccién 12.7) cosh z = 5 (e# + 67) = cosiz, a (ef = 9) = i seniz, senh z tc. Una funcién entera es una funcion plano complejo, Las funciones en (3)(7) son enteras. El logaritmo natural es (seccion 12.8) Ing = In|el + fargz cen donde Arg z es el valor principal de ‘Se observa que In = posee unc it obtiene el valor principal Ln z de In z; as in |e] +f Arg ce @ Laz Las potencias generales se definen como (seecién 12.8) o Una funcién eompleja w = 2) ‘cin en el plano haciael plano w. (8)y algunos otros se analizaron en Ia seccl ra los mapeos de funciones analiticas.) {que es analftica en todos los puntos del ® (argz = 2 #0) = Inkl + fArgc = Qn (n= 0,19 arg x; es decir, -n < Arg 25. finidad de valores. Al tomar n= 0 sé eine (c complejo, 2 * 0) ) define un mapeo de su dominio de defini Los mapeos definidos por las funciones (5), isn 12.9. (Enel capitulo 16 se volve-La integral de linea compleja de una funcidn f(z) tomada sobre una trayectoria C se denota por (seccién 13.1) [5 dz 0,siC esta cerrada, también por fle) dz. ic c Esta integral puede evaluarse aplicando la ecuacion z= 2(/) de C, en dondeas1sb (seccion 13.2): b - ; ._ ae @ f fiz) dz = J fieo)ite) dt (i - 4). Como otro método, si fz) es analitica en un dominio simplemente conexo D (seccién 13.3), entonces en D existe una F(z) tal que F(z) = lz) y para toda trayectoria C en D desde un punto z, hasta un punto z, se tiene (secciones 13.2 y 13.4) @) ff de = Fe) — Fe) [F'@ ~ fe. Cc El teorema de la integral de Cauchy establece que si f(z) es analitica en un dominio simplemente conexo D, entonces para toda trayectoria cerrada C en D (seccion 13.3) B) fifte) dz = 0. Cc Con las mismas hipétesis y para cualquier z, en D y cualquier trayectoria cerra- da C en D que contenga a z, también se tiene la formula de la integral de Cauchy (4) f@) = 559 mi JZ ZAdemas, fz) tiene derivadas de todos los érdenes en D, que son funciones ana- liticas en D y (seccién 13.6) (5) F(z) = tee ort de (n= 1,2,-+9, Cc Lo anterior implica el teorema de Morera (la conversa del teorema de la inte- gral de Cauchy) y la desigualdad de Cauchy (secci6n 13.6).Las sucesiones, series y pruebas de convergencia se analizaron en la seccién 14.1. Una serie de potencias es de la forma (seccién 14.2) () S a,(z — 2)" = ag + ay(z — %) + anlz — Bm) + °°°5 n=0 Z, €s su centro. La serie (1) converge para |z —z,| < Ry diverge para |z—z,| > R. Algunas series de potencias convergen para todo z (entonces se escribe R = 00). Res el radio de convergencia. También, R= lim |a,/a,, ,| si este limite existe. La serie (1) converge absolutamente (seccién 14.2) y uniformemente (seccién 14.6) en todo disco cerrado |z —z,| Sr < R. Si R > 0, entonces representa una funci6n analitica fz) para |z—z,| < R. Las derivadas f(z), f"(z), * - + se obtienen por diferenciacién término a término de (1), y estas series tienen el mismo radio de convergencia R que (1). Ver la secci6n 14.3.Reciprocamente, oda fun ) puede representarse por series de potencias. Estas series de Taylor de j{z) son de la forma (seccién 14.4) Q) (zz — 29)” dz - al. exten ces para fix) = p(xV lx) (fx) recional con oz) 40 y Sado gz Bato p ~ 2) obtiene f f(x) de = Ini D Res fiz) (Seceiin 15.3) Jf 00) cos sxdx = 22 E im Res fe“ “= (Secciin 15.4) [$0 seu sx de = 22 Re Res [fiate“1 (la sumatoria de todos los residuos en los polos en e] semiplamo superior) Ex lz seccién 15.4 también se extendié este método 2 imtegrales reales campos integrandos se vuelven infimito en aleim punto del imtervalo de imeegraciom.Una funcion compleja w = f(z) constituye un mapeo (aplicacion o transforma- cién) de su dominio de definicién en el plano complejo z sobre su rango de valores en el plano complejo w. Si f{z) es analitica, este mapeo es conforme; es decir, preserva angulos: las imagenes de dos curvas cualesquiera que se cortan forman el mismo angulo de interseccién, tanto en magnitud como en direccién que el formado por las curvas mismas (secci6n 16.1). Para consultar las propiedades de mapeo de e’, cos z, sen z, etc., ver las secciones 12.9 y 16.4, Las transformaciones fraccionarias lineales, también denominadas /rans- formaciones de Mobius (ver las secciones 16.2, 16.3) mapean el b 1 se BS bop qd) w Bitted (ad — be #0) plano complejo extendido (seccién 16.2) de manera conforme sobre si mismo. Resuelven los problemas de transformar semiplanos sobre semiplanos ¢ discos, y discos sobre discos 0 semiplanos. Al prescribir las imagenes de tres puntos se determina (1) de manera unica (seccién 16.3). Las superficies de Riemann (seccién 16.5) constan de varias hojas co- nectadas en ciertos puntos denominados puntos de rama. Sobre éstos, las re- laciones con valores multiples se vuelven de un solo valor; es decir, se con- vierten en funciones en el sentido usual. Ejemplos. Para w = J se requieren dos hojas, ya que esta relacion tiene dos valores. Para w = In z se requiere una infinidad de hojas, ya que esta relacion tiene una infinidad de valores (ver la seccién 12.8).La teoria del potencial es la teoria que estudia las soluciones de la ecuacién de Laplace qd) Vb = 0. Las soluciones cuyas segundas derivadas parciales son continuas se denomi- nan funciones arménicas. La ecuacién (1) es la ecuacién diferencial parcial mas importante en fisica, donde es de interés en dos y tres dimensiones. Apare- ce en electrostatica (seccién 17.1), problemas de calor de estado estacionario (seccion 17.3), flujo de fluidos (seccién 17.4), problemas de gravitacién, etc. Mientras que el caso tridimensional requiere otros métodos (ver el capitulo 11), la teoria bidimensional del potencial puede manipularse por medio del andlisis complejo, ya que las partes real e imaginaria de una funcién analitica son arm6- nicas (seccién 12.5) y permanecen arménicas bajo mapeo conforme (seccién 17.2), de modo que el mapeo conforme se convierte en una herramienta pode- rosa para resolver problemas con valores en la frontera de (1), como se ilustré en este capitulo. A un potencial real es posible asociarle un potencial comple- jo (seccion 17.1) (2) F@)=@+i¥. Entonces ambas familias de curvas ® = constante y ‘? = constante tienen senti- do fisico. En electrostatica son lineas equipotenciales y lineas de fuerza eléctri- atraccin o repulsion (seccién 17.1). En problemas de calor son isotermas Nene eee eee EEE cade(curvas de temperatura contante) y lineas de flujo térmico (seccién 17.3), Ey flujo de fluidos son lineas equipotenciales del potencial de velocidad y lineas de corriente (seccién 17.4). Para el disco, la solucién del problema de Dirichlet esta dada por la for. mula de Poisson (seccién 17.5), 0 por una serie que sobre el circulo frontera se vuelve la serie de Fourier de los valores en la frontera dados (seccién 17.5) Las funciones arménicas, como las funciones analiticas, poseen varias pro- piedades generales; especialmente importantes son la propiedad del valor medio y la propiedad del médulo maximo (seccién 17.6), que implican la unicidad de la solucién del problema de Dirichlet (teorema 5 de la seccién 17.6).La integracién por residuos implica curvas cerradas, aunque el intervalo real de integracion 0 < @< 27s¢e transforma en el circulo unitario al hacer z= e, de modo que por integracién por residuos es posible efectuar integrales reales de la forma (seccién 15.3) 2m f F(cos @, sen @) d0, 0 en donde F es una funcién racional de cos @y sen 8, como por ejemplo (sen? 6) (5—4 cos 6), etc. Otro método para efectuar integrales reales por residuos es el empleo de un contorno cerrado que consiste de un intervalo —R Sx $ R en el eje real y un se- micirculo |z Con base en el teorema del residuo, si se hace R > ©», enton- ces para x) = p(x)/g(x) (Ax) racional con q(x) #0 y grado q 2 grado p + 2) se obtiene f fx) dx = Imi D Res f(z) (Seceién 15.3) f fx) cos sx dx = —2m S Im Res [f(z)e**] -« (Seccién 15.4) { f(x) sen sx dx = 27 S Re Res [f(ze®] (la sumatoria de todos los residuos en los polos en el semiplano superior). En la seccién 15.4 también se extendié este método a integrales reales cuyos integrandos se vuelven infinito en algun punto del intervalo de integracion.