Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011

Curso 2o. Ingeniero de Telecomunicacin. Ampliacin de Matemticas. Leccin 7.

FUNCIONES ANALTICAS. Curso 2010-2011

La teora de funciones de una variable compleja, o teora de funciones analticas, no slo es una de las teoras matemticas ms hermosas, sino que adems es bien conocida su aplicacin en varias ramas de la ciencia y la tcnica. Muchos problemas interesantes en matemtica aplicada, que aparecen en la teora del calor, la dinmica de uidos y la electrosttica, encuentran su marco adecuado en la teora de funciones analticas. Tras el establecimiento por L. Euler de la denicin y las propiedades de las funciones elementales (la exponencial, los logaritmos y las funciones trigonomtricas) a mediados del siglo XVIII, fueron A. L. Cauchy (17891857) y C. F. Gauss (17771855) los que dieron a la teora de funciones de variable compleja su primer gran impulso, a comienzos del siglo XIX, convirtindola en una de las lneas de investigacin capitales a lo largo de todo el siglo. Sus trabajos fueron continuados, entre otros, por B. Riemann (18261866), en sus aspectos geomtricos, y por J. Liouville (18091882) y K. Weierstrass (1815 1897), en sus aspectos analticos. Durante el siglo XX la teora de funciones de variable compleja ha continuado siendo uno de los campos de investigacin ms activos, no slo en sus aspectos ms tericos; tambin se han descubierto nuevas aplicaciones a otras ramas de la ciencia y de la tcnica.

Funciones de variable compleja

En la asignatura de lgebra se han estudiado la nocin de nmero complejo y sus formas de expresin (partes real e imaginaria, mdulo y argumento), su aritmtica (suma, resta, multiplicacin, divisin, extraccin de races y conjugacin) y una introduccin a la geometra del plano complejo (identicacin de los nmeros complejos con los puntos del plano y de la expresin polar con las coordenadas polares). En la parte de esta asignatura dedicada a los nmeros complejos estudiaremos las funciones que dependen de una variable compleja y toman valores complejos. Deniciones. Una funcin de variable compleja f : z C w = f (z ) C es una regla que a cada nmero complejo z de una cierta regin del plano complejo C le asigna otro nmero complejo w = f (z ). La regin se llama dominio de denicin de f y w se llama imagen de z por f . En los ejemplos ms importantes el dominio de denicin es un conjunto abierto (no incluye a su frontera) y conexo (dos puntos cualesquiera de pueden unirse mediante una curva

Leccin 7. Funciones Analticas

contenida en ) del plano. Puesto que ste es el marco de trabajo habitual, las regiones abiertas y conexas del plano complejo reciben el nombre genrico de dominios. Al identicar los nmeros complejos con los puntos del plano y escribir w = f (z ) en trminos de sus expresiones en parte real e imaginaria, z = x + jy y w = u + jv = f (x + jy ) vemos que tanto la parte real u como la imaginaria v dependen de x e y , lo que nos permite escribir f (x + jy ) = u(x, y ) + jv(x, y ). Es decir, una funcin de variable compleja consiste en un par de funciones reales de dos variables reales; con lo que podemos identicar f como funcin de la variable compleja z , f : z C w = f (z ) C, con f como funcin de las variables reales x e y , f : (x, y ) R2 (u(x, y ), v(x, y )) = f (x, y ) R2 . A veces se utilizan coordenadas polares en vez de cartesianas. Si expresamos un nmero complejo z = x + jy en su forma polar z = r (cos() + j sen ()) = rej = |z | ej Arg (z) , p donde r = |z | = x2 + y 2 = zz es su mdulo, = Arg (z ) = arctan(y/x) (, ] es su argumento principal y ej = cos() + j sen () es la exponencial con exponente imaginario puro, entonces f (z ) se escribe como f (rej ) = u(r, ) + jv(r, ). Una primera consecuencia de esta identicacin de las funciones de variable compleja con los pares de funciones de dos variables reales (o campos vectoriales bidimensionales) es que no es posible hacer la grca de una funcin compleja; necesitaramos saber dibujar supercies en R4 . Sin embargo, s hay algunas representaciones visuales que pueden resultar de ayuda, como representar el mdulo y el argumento de f (z ) por separado, al igual que se hace con los espectros de amplitudes y de fases en el anlisis de Fourier. Otra opcin, ms comn, es estudiar cmo transforma la funcin f ciertas clases especiales de curvas (por ejemplo, rectas horizontales, rectas verticales, rectas cualesquiera, circunferencias), o de regiones (bandas, semi-bandas y crculos). Puesto que, al n y al cabo, una funcin compleja es una transformacin del plano en s mismo, saber cmo transforma ciertas regiones nos ayudar a entender mejor las propiedades de la funcin. Veamos algunos ejemplos muy simples que nos permitirn ilustrar algunos aspectos de inters en el estudio de las funciones de variable compleja. Ejemplos. (1) La funcin f (z ) = az + b, donde a 6= 0 y b son constantes complejas, se llama funcin lineal. Si b = 0, entonces la accin de f (z ) = az la podemos estudiar mejor en coordenadas polares. Si |a| es el mdulo de a y = Arg (a) es su argumento principal, entonces f (rej ) = |a| ej rej = |a| rej (+) luego f consiste en un giro de ngulo seguido de una homotecia (cambio de escala) de factor |a| que ser una contraccin si |a| < 1 o una dilatacin si |a| > 1. Esta funcin transforma lneas rectas en lneas rectas y circunferencias en circunferencias.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011

Si b 6= 0, entonces la transformacin f (z ) = az + b consiste en aadir una traslacin, en la que el origen de coordenadas pasa a situarse sobre el punto b, al efecto del giro y la homotecia dados por az . Tambin en este caso las rectas se transforman en rectas y las circunferencias en circunferencias. (2) La funcin f (z ) = 1/z se llama inversin y est denida para z 6= 0. Esta funcin transforma rectas o circunferencias en rectas o circunferencias de acuerdo con el siguiente esquema: 1. Las circunferencias que no pasan por el origen se transforman en circunferencias que no pasan por el origen. 2. Las circunferencias que s pasan por el origen se transforman en rectas que no pasan por el origen. 3. Las rectas que s pasan por el origen se transforman en rectas que s pasan por el origen. 4. Las rectas que no pasan por el origen se transforman en circunferencias que s pasan por el origen. Una forma cmoda de entender este comportamiento es considerar el plano complejo extendido C que consiste en aadir al plano complejo C un punto, llamado punto del innito, que se representa por . Entonces, podemos extender la denicin de f (z ) = 1/z a C poniendo f (0) = y f () = 0. El punto del innito puede visualizarse mediante la representacin conocida como la esfera de Riemann que consiste en situar sobre el origen una esfera e identicar cada punto z del plano complejo con el punto de la esfera que se obtiene al cortar sta con la lnea recta que une el polo norte con el punto z dado. De esa manera tenemos que

1. el origen se identica con el polo sur de la esfera, 2. el punto del innito se identica con el polo norte, 3. las lneas rectas que pasan por el origen corresponden a meridianos que pasan por los polos, 4. las lneas rectas que no pasan por el origen corresponden a circunferencias sobre la esfera que pasan por el polo norte pero no por el polo sur, 5. las circunferencias que pasan por el origen corresponden a circunferencias que pasan por el polo sur pero no por el polo norte y, nalmente, 6. las circunferencias que no pasan por el origen corresponden a circunferencias que no pasan por ninguno de los polos. En resumen, las rectas y circunferencias del plano complejo corresponden a circunferencias en la esfera de Riemann y la inversin transforma circunferencias en la esfera de Riemann en circunferencias en la esfera de Riemann. (3) Las funciones bilineales son las de la forma f (z ) = az + b cz + d

Leccin 7. Funciones Analticas

siendo a, b, c, d C con c 6= 0 y ad bc 6= 0 (si fuera ad bc = 0, entonces f (z ) sera constante), y estn denidas en todo C salvo en el punto d/c. Escribiendo f (z ) = a bc ad + 2 c c z + cd

entonces vemos que f consiste en una aplicacin lineal c2 z + cd seguida de una inversin ms otra aplicacin lineal. En consecuencia, f transforma la familia de todas las rectas y circunferencias del plano en ella misma. (4) Si escribimos z = x + jy , entonces la funcin f (z ) = z 2 = (x2 y 2 ) + j 2xy se identica con la funcin de R2 en R2 dada por (x, y ) (x2 y 2 , 2xy ). Esta funcin transforma la familia de todas las rectas verticales y la familia de todas las rectas horizontales en familias de parbolas cuyo eje es el eje de abscisas pero que se cortan perpendicularmente. Observemos tambin que las curvas de ecuacin u(x, y ) = constante, que en este caso son hiprbolas, son ortogonales a las curvas de ecuacin v(x, y ) = constante que, en este caso, tambin son hiprbolas. En trminos de las coordenadas polares, la funcin z 2 eleva al cuadrado el mdulo y multiplica por dos el argumento, z = r (cos() + j sen ()) z 2 = r2 (cos(2) + j sen (2)) . En particular, esto signica que transforma la circunferencia unidad en s misma conservando su exterior y su interior. (5) Si escribimos z = x + jy , entonces z = x jy , as que la conjugacin se identica con la funcin de R2 en R2 dada por (x, y ) (x, y ) que es la reexin en el eje de abscisas. En coordenadas polares, lo que hacemos es tomar el opuesto del argumento principal, z = r (cos() + j sen ()) z = r (cos() j sen ()) . En particular, esta funcin tambien transforma la circunferencia unidad en s misma conservando su exterior y su interior. Una ventaja de la identicacin de una funcin de variable compleja f : z C w = f (z ) C con un par de funciones reales de dos variables reales f : (x, y ) R2 (u(x, y ), v(x, y )) = f (x, y ) R2 es que las nociones de lmite y continuidad se trasladan de forma inmediata. Sin embargo, como veremos, esto no ser as con la derivabilidad. Deniciones. Sea f : C C una funcin de variable compleja y sea z0 un punto de o de su frontera. Se dice que el lmite de f (z ) cuando z tiende a z0 existe y vale w0 si dada una cota > 0 de la aproximacin, existe un radio > 0 tal que |f (z ) w0 | < siempre que z est en y 0 < |z w0 | < , lo que se escribe
z z0

lim f (z ) = w0 .

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011 Si z0 = x0 + jy0 y w0 = u0 + jv0 , entonces es fcil ver que lim f (z ) = w0 si, y slo si,
z z0

(x,y )(x0 ,y0 )

lim

u(x, y ) = u0

(x,y )(x0 ,y0 )

lim

v (x, y ) = v0 .

Si z0 , entonces se dice que f es continua en z0 si

z z0

lim f (z ) = f (z0 ).

De nuevo, es fcil ver que f es continua en z0 si, y slo si, u(x, y ) y v(x, y ) son ambas continuas en (x0 , y0 ) como funciones de dos variables. Diremos que f es continua en si es continua en cada punto de . Por consiguiente, para saber si una funcin de variable compleja es continua, basta con determinar si lo son su parte real y su parte imaginaria como funciones de dos variables reales, lo que se ha estudiado en la asignatura de Clculo de primer curso. De todas formas, las funciones que vamos a considerar sern continuas salvo en algunos casos especiales que precisaremos. Ejercicio. La nocin de lmite que hemos visto se puede ampliar hasta considerar funciones que tienden a innito, lim f (z ) = , y lmites cuando la variable tiende a innito, lim f (z ).
z z0 z

Dejamos como ejercicio formular de manera precisa las deniciones correspondientes y establecer las propiedades habituales. Una advertencia: a diferencia de la recta real que tiene dos puntos del innito, segn nos alejemos por la derecha (+) o por la izquierda (), en el plano complejo slo hay un punto del innito.

Funciones elementales

Al igual que en el caso de las funciones de variable real, hay algunas funciones complejas (polinomios, races, exponenciales, etc.) que, por su importancia en la teora y en las aplicaciones, hay que conocer y saber usar con soltura. Naturalmente, estas funciones se extienden al campo complejo a partir de sus conocidas en el campo real; algunas de manera obvia, otras con ms dicultad. Se conocen con el nombre genrico de funciones elementales. Polinomios. Dados los nmeros complejos a0 , a1 , a2 , . . . , an , con an 6= 0, la funcin p(z ) denida en el plano complejo C por p(z ) = a0 + a1 z + a2 z 2 + + an z n se llama polinomio complejo de grado n con coecientes a0 , a1 , a2 , . . . , an . Tanto la parte real como la parte imaginaria de p(z ) son polinomios de grado menor o igual que n en las variables x e y , que son funciones continuas, as que p(z ) es una funcin continua en todo el plano. El Teorema Fundamental del lgebra arma que todo polinomio complejo de grado n se anula en n puntos del plano complejo z1 , z2 , . . . , zn (contados tantas veces como indica su multiplicidad), que se llaman races del polinomio. Conocidas las races, el polinomio se factoriza como p(z ) = an (z z1 )(z z2 ) (z zn ).

6 En coordenadas polares z = rej , el polinomio viene dado por

Leccin 7. Funciones Analticas

p(rej ) = a0 + a1 rej + a2 r2 ej 2 + + an rn ejn . Funciones racionales. Una funcin racional compleja es un cociente de dos polinomios complejos sin races comunes r(z ) = p(z )/q (z ), as que est denida en todo el plano C salvo en las races del denominador q (z ) y es continua en su dominio de denicin. Races n-simas. Cuando escribimos un nmero complejo z = x + jy en su forma polar z = |z | [cos (Arg (z )) + j sen (Arg (z ))] = r (cos() + j sen ()) = rej , el mdulo r = |z | es una funcin continua en el plano mientras que el argumento = Arg (z ) es continua salvo en z = 0, donde no est denida, y en el semieje real negativo, donde s est denida pero no es continua. A veces se toma el argumento principal en el intervalo [0, 2) con lo que s sera continua en el semieje real negativo pero no en el semieje real positivo. Veamos ahora que si n es un nmero natural y z 6= 0, entonces z tiene exactamente n races n n-simas, es decir n nmeros complejos distintos z0 , z1 , . . . , zn1 tales que zk = z para cada k = 0, 1, . . . , n 1. Estas races se obtienen de la siguiente manera: todas tienen el mismo mdulo |zk | = |z |1/n = r1/n donde el exponente 1/n indica aqu la raz n-sima real de un nmero real positivo (que s es nica). Por otro lado, si empezamos en /n = Arg (z )/n, sus argumentos estn separados por un ngulo de 2/n Arg (z0 ) = + 2k + 2(n 1) , . . . , Arg (zk ) = , . . . , Arg (zn1 ) = , n n n

As pues, las n races n-simas de un nmero complejo vienen dadas por + 2k + 2k 1/n cos + j sen = r1/n ej (+2k)/n zk = r (k = 0, 1, . . . , n 1). n n Geomtricamente, estas races estn todas situadas en los vrtices de un polgono regular de n lados inscrito en la circunferencia de radio |z |1/n . Puesto que todo complejo no nulo admite n races n-simas, para denir una funcin raz n-sima hay que especicar cul tomamos. Lo habitual es denir la funcin raz n-sima principal como z0 , o sea, z 1/n = r1/n ej Arg (z)/n donde Arg (z ) indica el argumento principal. Esta funcin est denida en todo el plano pero es discontinua en el cero y en el semieje real negativo. Con respecto a la raz principal, los valores de las demas races forman lo que se conoce como las ramas de la funcin multivaluada raz n-sima. Son especialmente importantes las races n-simas de la unidad wk = cos(2k/n) + j sen (2k/n) = ej 2k/n , para k = 0, 1, . . . , n 1

que forman los vrtices de un poligono regular de n-lados sobre la circunferencia unidad. La raz principal es w0 = 1. Sin embargo, veremos que en algunas aplicaciones es ms til usar la

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011

raz w1 = cos(2/n) + j sen (2/n) = ej 2/n que se denomina raz primitiva n-sima de la unidad porque con sus potencias consecutivas podemos conseguir todas las dems:
0 1 2 k n1 , w1 = w1 , w2 = w1 , . . . , wk = w1 , . . . , wn1 = w1 . 1 = w0 = w1

Exponenciales. Hasta ahora las funciones exponenciales que se han utilizado son la exponencial real, ex con x R, y la exponencial imaginaria pura, ej = cos() + j sen ( ) con R, que se obtiene al separar en partes real e imaginaria el desarrollo en serie de potencias de la funcin exponencial real evaluada en j . Cmo deniramos la exponencial compleja ez = ex+jy de manera que coincida con las anteriores si, respectivamente, z es real o imaginario puro? Si queremos que, adems, se mantenga la propiedad de que ea+b = ea eb , entonces, pondramos exp(z ) = ez = ex+jy = ex ejy = ex (cos(y ) + j sen (y )) , expresin que dene la funcin exponencial compleja. Observemos que para z = x + jy su imagen ez es un nmero complejo con mdulo ex y argumento y ; en particular, ez nunca es cero. Puesto que las partes real e imaginaria de ez son funciones continuas de x e y , la funcin exponencial es continua en todo el plano y, como en el caso real, verica que ez+w = ez ew para z, w C. Adems, es peridica de perodo 2j , ya que ez+2j = ez e2j = ez . Otra manera de denir la exponencial compleja sera extender la expresin de ex como serie de potencias al campo complejo, es decir, denir e =
z X zn n=0

n!

Puede comprobarse que ambas deniciones son equivalentes, esto lo veremos ms adelante. Logaritmos complejos. Si z es un nmero complejo, se dice que otro nmero complejo w es un logaritmo complejo de z si ew = z . Veamos cmo podemos hallar los logaritmos de z = x + jy (si es que hay; por ejemplo, ya sabemos que z = 0 no tiene logaritmos). Si w = u + jv debe ser tal que ew = z , entonces, como hemos visto antes, eu debe ser el mdulo de z y v debe ser un argumento de z . De eu = |z |, que es una igualdad con la exponencial real, obtenemos que u = log(|z |), donde log() indica el logaritmo neperiano de un nmero real y positivo. Por otro lado, si Arg (z ) denota el argumento principal de z , entonces v debe ser de la forma v = Arg (z ) + 2k para algn nmero entero k. En denitiva, todo nmero complejo no nulo z tiene innitos logaritmos wk , dados por wk = log(|z |) + j (Arg (z ) + 2k ) , para k = 0, 1, 2, . . . Todos estos logaritmos tienen la misma parte real y sus partes imaginarias dieren en un mltiplo entero de 2 , as que estn todos situados sobre una lnea recta vertical, habiendo el mismo espacio entre dos de ellos consecutivos. El logaritmo w0 = log(|z |) + j Arg (z ) correspondiente a k = 0, que es el que est situado en la banda < Im(w) se llama logaritmo principal y se denota por Log(z ) = log(|z |) + j Arg (z ).

La funcin logaritmo principal est denida en todo el plano salvo en el origen y es continua salvo en el semieje real negativo. Observemos que el logaritmo principal de ez puede no ser z

Leccin 7. Funciones Analticas

y que el logaritmo principal de un nmero real y positivo coincide con su logaritmo neperiano habitual. Al igual que ocurre con las races n-simas, el conjunto de todos los logaritmos de un nmero complejo constituye una funcin multivaluada con diversas ramas. Potencias. Cuando a > 0 y b son nmeros reales, entonces la potencia ab se dene como ab = eb log(a) . Esta denicin se extiende al campo complejo usando la funcin logaritmo principal: Dados z 6= 0 y w, se dene la potencia compleja (principal) z w como z w = ewLog(z) . Si w = 1/n, entonces la potencia principal z 1/n nos proporciona la raz n-sima principal z0 = |z |1/n ej Arg (z)/n denida antes. Funciones trigonomtricas e hiperblicas. Las frmulas de Euler cos(x) = ejx + ejx 2 y sen (x) = ejx ejx 2j

se extienden al campo complejo para denir las funciones coseno y seno complejos como cos(z ) = ejz + ejz 2 y sen (z ) = ejz ejz . 2j

Si escribimos z = x + jy , hacemos los clculos y separamos las frmulas anteriores en partes real e imaginaria, obtenemos expresiones alternativas cos(x + jy ) = cos(x) cosh(y ) j sen (x)senh(y ) sen (x + jy ) = sen (x) cosh(y ) + j cos(x)senh(y ) de las que deducimos, por ejemplo, su continuidad en C. Puede comprobarse fcilmente que estas funciones tienen las mismas propiedades que las correspondientes funciones reales en cuanto se reere a frmulas como las del seno y coseno de una suma, etc. No as en cuanto a su acotacin; de hecho se tiene que |cos(z )|2 = |cos(x)|2 + |senh(y )|2 |sen(z )|2 = |sen(x)|2 + |senh(y )|2 as que |cos(z )|2 + |sen(z )|2 = 1+2 |senh(y )|2 que puede tomar valores tan grandes como queramos tomando y sucientemente grande. S se sigue vericando, en cambio, la igualdad cos2 (z ) + sen2 (z ) = 1. Para denir las funciones hiperblicas tambin extendemos al campo complejo las deniciones reales ez + ez ez ez cosh(z ) = y senh(z ) = . 2 2 Observemos que, entonces, cos(z ) = cosh(jz ) y sen (z ) = j senh(jz ).

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011

Funciones analticas

Deniciones. Sean un dominio en C y f : C una funcin de variable compleja. Sea z0 un punto de . Diremos que f es derivable en z0 si existe el lmite f 0 (z0 ) = lim que, en ese caso, se llama derivada de f en z0 . Diremos que f es analtica en cuando es derivable en todos los puntos de ; otros trminos muy utilizados son diferenciable, holomorfa o regular. En particular, una funcin analtica en todo el plano C se llama entera. Si f es analtica en , entonces podemos denir la funcin f 0 : z f 0 (z ) C que se llama funcin derivada o, simplemente, derivada de f . Est claro que toda funcin derivable es continua. Por otro lado, se puede comprobar que las reglas de derivacin de las funciones reales (suma, producto, cociente, regla de la cadena, regla de LHpital, etc.) se trasladan sin dicultad a la derivacin de funciones complejas. En particular, trabajando como en el caso real podemos obtener que si n es un nmero natural, entonces f (z ) = z n es analtica en C y que su derivada es f 0 (z ) = nz n1 . Sin embargo, la nocin de derivabilidad en el campo complejo es un concepto mucho ms exigente que en el campo real. La razn es que en el caso real la variable se mueve en un intervalo as que slo hay dos formas de aproximarse al punto en el que tomamos lmite: por su izquierda o por su derecha. En el caso complejo la variable se mueve en un disco centrado en el punto hacia el que nos acercamos, pero esta aproximacin puede hacerse a lo largo de un nmero ilimitado de curvas. La potencia del concepto de funcin analtica se pone de maniesto en el hecho, que demostraremos en la siguiente leccin, de que si una funcin f es analtica en un dominio , entonces su derivada f 0 tambin es analtica en . Por contra, sabes bien que en el caso real existen funciones que son derivables pero cuya derivada no es derivable. Interpretacin geomtrica de la derivada. Sea f una funcin analtica en un dominio C y sea z0 . Si ponemos f (z ) f (z0 ) f 0 (z0 ) (z z0 ),
z z0

f (z ) f (z0 ) z z0

entonces cuando f 0 (z0 ) 6= 0 la derivada puede interpretarse geomtricamente de la siguiente manera: El mdulo |f 0 (z0 )| es un factor de escala de las distancias entre las imgenes de los puntos, |f (z ) f (z0 )| |f 0 (z0 )| |z z0 | para z z0 , y el argumento Arg (f 0 (z0 )) es una rotacin, Arg (f (z ) f (z0 )) Arg (z z0 ) + Arg (f 0 (z0 )) De aqu se deduce una propiedad geomtrica muy importante: las funciones analticas conservan los ngulos en los puntos en los que f 0 6= 0. Concretamente se tiene el siguiente resultado.

10

Leccin 7. Funciones Analticas

Teorema 1. Sea f una funcin analtica en un dominio C. Sea z0 y sean 1 y 2 dos curvas paramtricas regulares que se cortan en z0 . Si f 0 (z0 ) 6= 0, entonces las curvas f (1 ) y f (2 ) se cortan en f (z0 ) con el mismo ngulo con el que 1 y 2 se cortan en z0 . Las funciones analticas con la propiedad de conservacin de ngulos descrita se llaman transformaciones conformes.

Las ecuaciones de Cauchy-Riemann

Volvamos a la identicacin de una funcin de variable compleja f : z C w = f (z ) C con una funcin de dos variables reales f : (x, y ) R2 (u(x, y ), v(x, y )) = f (x, y ) R2 . Cul es la relacin entre la analiticidad de f y la diferenciabilidad de las funciones u y v? La respuesta nos la dan los siguientes teoremas. Teorema 2. Si f es analtica en , entonces las funciones u y v son diferenciables en y se verican las siguientes expresiones f 0 (x + jy ) = En particular, u y v verican u v = x y y u v = y x en , v v u u (x, y ) + j (x, y ) = (x, y ) j (x, y ). x x y y

que se conocen como ecuaciones de Cauchy-Riemann. Teorema 3. Si las funciones u y v son diferenciables en y se verican las ecuaciones de Cauchy-Riemann, entonces f es analtica en . Si se trabaja en coordenadas polares en vez de cartesianas, de manera que escribimos f (rej ) = u(r, ) + jv(r, ), entonces u v ej v u 0 j j f (re ) = e +j = j r r r cuando f es analtica. Las ecuaciones de Cauchy-Riemann en coordenadas polares son, entonces, u 1 v = r r y 1 u v = . r r

Corolario. Si la derivada f 0 de una funcin f analtica en un domino es cero, entonces f es constante en .

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011

11

Ejemplo. Si f (z ) = z , entonces u(x, y ) = x y v(x, y ) = y que, aunque son funciones diferenciables, no verican las ecuaciones de Cauchy-Riemann. Es decir, como funciones de dos variables u y v son diferenciables en C pero como funcin compleja f no es analtica en ningn punto; esto nos dice que el nexo que habamos establecido para la continuidad no se extiende a la diferenciabilidad que, a partir de ahora, deber seguir una ruta propia, ms rica que el estudio de la diferenciabilidad de funciones reales de dos variables. La mayora de las propiedades y aplicaciones que veremos en las siguientes lecciones dependen de esta caracterstica especial. Ortogonalidad de las curvas de nivel. Si f = u + jv es analtica en entonces, aplicando las ecuaciones de Cauchy-Riemann, tenemos que los gradientes de u y v son ortogonales: u v u v u u u u u v = + = ( ) + = 0. x x y y x y y x En consecuencia, si dos curvas de nivel u(x, y ) = c1 y v (x, y ) = c2 se cortan en un punto (x, y ) tal que f 0 (x + jy ) 6= 0, entonces se cortan ortogonalmente en dicho punto (si f 0 (z ) = 0, esto no tiene por qu ocurrir). Debido a esto, las curvas de nivel u(x, y ) = c y v(x, y ) = c forman lo que se conoce como dos familias de trayectorias ortogonales . Esta propiedad es crucial en la aplicacin de la teora de funciones de variable compleja al electromagnetismo y a la mecnica de uidos ya que dichas familias de curvas de nivel desempean el papel de las lneas equipotenciales y de las lneas de corriente. Derivadas de las funciones elementales. Para terminar la leccin, usaremos las ecuaciones de Cauchy-Riemann junto con las reglas de derivacin, para dar la lista de las derivadas de las funciones elementales. 1. Todo polinomio es una funcin entera y se tiene p(z ) = a0 + a1 z + a2 z 2 + + an z n

p0 (z ) = a1 + 2a2 z + 3a3 z 3 + + nan z n1 . 2. Toda funcin racional r(z ) = p(z )/q (z ) es analtica en su dominio de denicin (el plano C salvo los puntos que anulan el denominador) y se tiene r0 (z ) = p0 (z )q (z ) p(z )q 0 (z ) . (q (z ))2

3. La funcin raz cuadrada principal f (z ) = z 1/2 es analtica en todo el plano salvo el origen 1 y el semieje real negativo, y su derivada es f 0 (z ) = 1/2 . 2z 4. La funcin exponencial ez es entera y su derivada es ella misma. 5. La funcin logaritmo principal f (z ) = Log(z ) es analtica en todo el plano salvo el origen 1 y el semieje real negativo, y su derivada es f 0 (z ) = . z 6. Los senos y cosenos trigonomtricos e hiperblicos son funciones enteras y sus derivadas son cos0 (z ) = sen (z ), sen 0 (z ) = cos(z ), cosh0 (z ) = senh (z ), senh0 (z ) = cosh(z ).

12

Leccin 7. Funciones Analticas

Ejercicios

Ejercicio 1. Representa geomtricamente los conjuntos de nmeros complejos dados por las siguientes condiciones: (1) Re(z ) > 0. (3) < Arg (z ) < . (5) |z + 1| < 1. (7) |z + 2j | + |z 2j | < 6. (9) 1 < |z + j | 2. (11) Im(1/z ) = 4. 1 = 2. (13) z z +1 (15) |z z1 | = |z z2 | . Cules de ellos son dominios? Ejercicio 2. Determina, en trminos de una variable compleja, la ecuacin de las siguientes curvas: 1. La recta que pasa por los puntos (0, 1) y (2, 1). 2. La circunferencia con centro en (2, 1) y radio 4. 3. La elipse con focos (3, 0) y (3, 0) cuyo eje mayor tiene longitud 10. Ejercicio 3. Prueba que la ecuacin azz + bz + bz + c = 0, donde a, c R, b C y |b|2 > ac (2) z = z. (4) |Arg (z ) /2| < /2. (6) |z + j | 2. (8) Im (z 2 ) > 4. (10) Im(z ) > 4 y 1 < Re(z ) < 3. 2 (12) Re (z 1 y 1 < Re(z ) < 3. ) = z1 = /4. (14) Arg z+1 (16) 0 < Re(jz ) < 1.

representa una circunferencia o una recta en el plano complejo. Es cierto el recproco?; es decir, podemos escribir siempre la ecuacin de una recta o de una circunferencia en la forma descrita? Ejercicio 4. Sean z y w dos nmeros complejos. Prueba que se verica la ley del paralelogramo: |z + w|2 + |z w|2 = 2 |z |2 + |w|2 . z1 1 y f (z ) = en la 1z z+1

Por qu crees que esta igualdad recibe ese nombre?

Ejercicio 5. Expresa las funciones complejas f (z ) = z 3 , f (z ) = forma f (x + jy ) = u(x, y ) + jv(x, y ).

Ejercicio 6. En qu regiones se transforma el sector angular 0 r 1, 0 /4 bajo las aplicaciones f (z ) = z 2 , g (z ) = z 3 y h(z ) = z 4 ? Ejercicio 7. En qu regin se transforma el tringulo limitado por las rectas y = x y x = 1 bajo la aplicacin f (z ) = z 2 ? Ejercicio 8. En qu regin se transforma la mitad superior del anillo 1 r R bajo la aplicacin f (z ) = z + z 1 ? Indicacin: usa la expresin polar.

Ampliacin de Matemticas (Ingeniera de Telecomunicacin) Curso 2010/2011 Ejercicio 9. Prueba que |exp(z )| < 1 si y slo si Re(z ) < 0. Ejercicio 10. Prueba la frmula de De Moivre: si n es un nmero entero, entonces (cos() + j sen ())n = cos(n) + j sen (n). Usa la frmula de De Moivre para probar las siguientes igualdades 1. sen 3 () = 3 sen () 1 sen (3). 4 4 2. cos(5) = 16 cos5 () 20 cos3 () + 5 cos(). Ejercicio 11. Sea z un nmero complejo. Prueba que si z 6= 1, entonces 1 z n+1 1 + z + z + + z = . 1z
2 n

13

Usa esta igualdad para deducir que si x es un nmero real tal que 0 < x < 2 , entonces se verican las siguientes igualdades: 1 + cos(x) + cos(2x) + + cos((n 1)x) = cos ((n 1)x/2) sen (nx/2) , sen (x/2) sen (nx/2) sen (x) + sen (2x) + + sen ((n 1)x) = sen ((n 1)x/2) . sen (x/2)

Ejercicio 12. Calcula los logaritmos, sealando el principal, de los nmeros 1, j , 1 + j , 1 j , 3 + 4j y 2. Ejercicio 13. Calcula los logaritmos principales de los siguientes nmeros: exp(2 3j ), exp((2+ )j/4) y exp (Log(2 9j )). Ejercicio 14. Resuelve las siguientes ecuaciones: 1 + j ez = 0, e1 ez = 0, cos(z ) = 2, sen (z ) = cosh(4), cosh(z ) = 0, cos(z ) = sen (z ), sen (z ) = 8 + j, cos(z ) = j sen (z ), y senh (z ) = 0. Ejercicio 15. En general las funciones complejas en las que intervienen los logaritmos no tienen las mismas propiedades que las correspondientes funciones reales elementales. Inventa un ejemplo para probar que Log(ab) 6= Log(a) + Log(b) en general. Ejercicio 16. Calcula la parte principal de los siguientes nmeros complejos: 1j , (1)j , j j y j Log(1+j ) . Ejercicio 17. Halla todos los valores de arcsen(2), arccos(1 + j ) y arctan(1 + j ).

14

Leccin 7. Funciones Analticas

Ejercicio 19. Prueba que la nica funcin entera f (z ) que satisface f 0 (z ) = f (z ) y f (0) = 1 es la funcin exponencial. Ejercicio 20. Sea f una funcin analtica en un dominio . Prueba que f debe ser constante en si se cumple que f (z ) es real para todo z . Ejercicio 21. Sea f una funcin analtica en un dominio . Prueba que si f (z ) es analtica en , entonces f debe ser constante en . Ejercicio 22. Describe las familias de trayectorias ortogonales que se obtienen a partir de las funciones analticas f (z ) = z , f (z ) = 2z 2 + j , f (z ) = z 2 , f (z ) = z 2 2z 1, f (z ) = ez y f (z ) = Log(z ). Ejercicio 23. Describe el mayor dominio en el que f (z ) = Log(z + 4) es analtica. z2 + j

Ejercicio 18. Prueba que las nicas funciones complejas derivables que son de la forma f (x + jy ) = u(x) + jv(y ) estn dadas por f (z ) = az + b, con a R, b C.

Ejercicio 24. Halla el mayor dominio en el que f (z ) = Log (Log(z )) es analtica. Ejercicio 25. Halla el mayor dominio en el que f (z ) = Log (z 2 2 + 3j ) es analtica. Ejercicios y cuestiones de exmenes de cursos anteriores. Ejercicio 26. En qu regin se transforma el crculo |z 1| 1 mediante la funcin bilineal z w= ? z2 Ejercicio 27. Las ecuaciones de Cauchy-Riemann: qu son?, qu relacin tienen con la analiticidad?, para qu sirven? Ejercicio 28. Determina la funcin entera f = u + jv cuya parte real viene dada por u(x, y ) = y 2 x2 + 2x y y cumple f (j ) = j . Ejercicio 29. Dibuja, explicando cmo lo hallas, el dominio ms grande que contiene al punto 1+ j y en el que la funcin f (z ) = Log(z 3 ) es analtica, donde Log(w) indica el logaritmo principal de w cuando el argumento principal de w se toma en [0, 2 ).

Bibliografa

Para desarrollar esta leccin pueden consultarse los siguientes textos. El de James incluye varias aplicaciones interesantes a la ingeniera y muchos ejercicios adicionales. El de Churchill y Brown es un libro excelente para complementar las explicaciones tericas. [517.5/2-CHU] R.V. Churchill, J.W. Brown, Variable compleja y aplicaciones, Cap. 1, 2 y 3. [51:62/ADV] G. James, Advanced Modern Engineering Mathematics, Cap. 1. [517.5/WUN] W.A. Wunsch, Variable compleja con aplicaciones, Cap. 1, 2 y 3.