Semana 4 - lase 36/3 Tema 2: Variable ompleja Integración en Variable ompleja. Integrales complejas omo siempre, luego de definir la derivada, construimos el concepto de integral a partir de la suma de Riemann. Esto es S n = f(ζ j )(z j z j ) si n z j z j lím j= n j= f(ζ j )(z j z j ) = Es decir, que si el lím n S n existe, entonces corresponde con la definición de la integral... Algunas propiedades z2 z dz f(z) Es claro que esta integral es, necesariamente, una integral de línea, ya que z tiene dos dimensiones z2 z dz f(z) = = z2 z x2,y 2 x,y (dx + idy) (u(x, y) + iv(x, y)) (u(x, y)dx v(x, y)dy) + i x2,y 2 x,y (v(x, y)dx + u(x, y)dy) () con lo cual transformamos una integral compleja en una suma de integrales reales, pero necesitamos definir el contorno a través del cual vamos de z = x + iy z 2 = x 2 + iy 2 La integración compleja tendrá las propiedades acostumbradas dz (f(z) + g(z)) = dz f(z) + dzg(z) dz Kf(z) = K dz f(z) con K una constante real o compleja b a dz f(z) = a b dz f(z) b a dz f(z) = m a dz f(z) + b m dz f(z) dz f(z) ML donde M = máx f(z) y L la longitud de Esta última propiedad es importante porque permite establecer cotas a las integrales complejas sin tener que evaluarlas. De la definición de integral es casi inmediata la demotración z2 lím f(ζ j ) z j = dz f(z) n f(ζ j ) z j z f(ζ j ) z j M z j ML j= j= Donde hemos utilizado que f(ζ j ) M y que la suma de los intervalos z j = z j z j es la longitud L del recorrido. Es claro que tomando límites a ambos miembros obtendremos dz f(z) dz f(z) ML. Héctor Hernández / Luis Núñez Universidad de Los Andes, Mérida j= j=
Semana 4 - lase 36/3 Tema 2: Variable ompleja.2. Un par de ejemplos Por ejemplo, evaluemos la integral compleja f(z) = z a lo largo de diferentes contornos, tal y como se ilustran en la figura un circuito cerrado a lo largo de una circunferencia de radio R dz z 2π d(re iθ ) R e iθ = i dθ = 2πi siguiendo una semicircunferencia desde (R, ) ( R, ). Esto es z2 =( R,) z =(R,) dz z = (R,π) (R,) π d(re iθ ) R e iθ = i dθ = πi siguiendo dos líneas rectas entre los puntos (R, ) (, R) ( R, ). En este caso, procedemos utilizando la expresión cartesiana para los números complejos. Para ello, vamos a parametrizar z = z(t) para (R, ) (, R) y z = z(s) cuando (, R) ( R, ). Veamos z3 =( R,) z =(R,) dz z = z2 =(,R) z =(R,) dz z + z3 =(, R) z 2 =(,R) para cada una de las integrales se cumple, respectivamente, que dz z z = ( t)r + itr con t z = sr + i( s)r con s con lo cual z2 =( R,) z =(R,) dz z = + i ( t) + it dt + procedemos entonces con la primera de las integrales es decir + i ( t) + it dt = + i ( t) it ( t) + it ( t) it dt = i s + i( s) ds 2t 2t + 2t 2 dt + i dt 2t + 2t 2 + i ( t) + it dt = 2 ln( 2t + 2t2 ) + i arctan (2t ) = + iπ 2 = iπ 2 la segunda integral también tendrá el mismo resultado, con lo cual: z2 =( R,) z =(R,) dz z = πi, el mismo resultado que a través del arco de circunferencia! Héctor Hernández / Luis Núñez 2 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Figura : Integrales complejas y circuitos Es interesante notar que si regresamos al punto (R, ) a través del contorno: ( R, ) (, R) (R, ) la integral cerrada se anula, no así cuando nos regresamos a través el arco complementario de circunferencia. En pocas palabras, como se esperaba, el valor de las integrales de camino, para algunas funciones, dependeran del camino seleccionado. Más adelante veremos a cuáles funciones corresponderá un mismo valor de la integral cerrada, independientemente del circuito que uno elija. Queda como ejercicio al lector repetir los mismos pasos anteriores para el caso de f(z) = (z ). Otro ejemplo ilustrativo lo constituye dz (z z ) n+, esto es: 2π Rie iθ dθ R n+ e i(n+)θ = i 2π R n dθ e inθ n = : n : 2π dθ = 2iπ i 2π R n dθ (cos nθ isen nθ) = donde hemos utilizado la forma polar z z Re iθ e integrado a lo largo de una circunferencia de radio R centrada en z = z. Héctor Hernández / Luis Núñez 3 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Figura 2: Regiones en el plano complejo 2. Teorema Integral de auchy 2.. El Teorema y las Regiones El teorema integral de auchy es uno de los dos teoremas básicos en la teoría de funciones de variable compleja. Este teorema considera que si f(z) es analítica en una región simplemente conexa, R, en su contorno y su derivada f (z) existe y es contínua en esta región, entonces la circulación a lo largo de cualquier contorno cerrado se anula. Esto es dz f(z) = Antes que nada, y como parte de ese adiestramiento en lenguaje, precisaremos qué queremos decir (qué quieren decir los matemáticos) con regiones simplemente conexa y múltiplemente conexa Una región simplemente conexa es aquella que no tiene huecos, o dicho de una manera más precisa y elegante, en la cual una curva Γ puede ser reducida (encogida) a un punto sin salir de la región R. En la figura 2 cuadrante Ia se muestra una región simplemente conexa y en los cuadrantes Ib y Ic regiones multiplemente conexas. Estas dos últimas figuras clarifican este concepto. Es decir, una región múltiplemente conexa es aquella que no es simplemente conexa y con eso queremos decir que tiene huecos, o lo que es lo mismo existen curvas que no se pueden reducir a puntos en la región. Esta última condición no es necesaria, pero la demostración del Teorema se torna mucho más sofisticada, y referimos al lector a los libros especializados, vale decir a las referencias: hurchill R. V. y a Knopp K. Héctor Hernández / Luis Núñez 4 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Tal y como hemos comentado la demostración rigurosa del Teorema de auchy está fuera de los alcances de estas notas, pero algo se puede hacer si invocamos el Teorema de Stokes (o uno de los Teoremas de Green en el plano) que vimos cuando estudiamos análisis vectorial. on ello recordamos la ecuación (), entonces z2 z dz f(z) = x2,y 2 x,y El Teorema de Stokes nos dice que dxdy R (u(x, y)dx v(x, y)dy) + i x2,y 2 x,y ( p x + q ) = (pdy qdx) y (v(x, y)dx + u(x, y)dy) con lo cual, si una vez más suponemos f(z) = u(x, y)+iv(x, y) y dz = dx+idy, entonces tendremos que ( ( v) (udx vdy)+i (vdx + udy) = dxdy R x + ( u) ) ( (u) +i dxdy y R x + ( v) ) = y y acto seguido, como f(z) es analítica, invocamos las condiciones de auchy Riemann y es inmediato ver que se anula la integral de circulación. 2.2. Algunas observaciones y el Teorema de Morera De la anterior demostración del Teorema de auchy Riemann emergen algunas observaciones: La primera es la insistencia de que la condición que la derivada f (z) existe y es contínua en esta región no es necesaria. La segunda es que el Teorema de auchy Riemann, es válido también para regiones múltiplementes conexas. onsieremos una región como la descrita en la figura 2 cuadrante II, es claro que podemos circular la integral en los siguientes contornos dz f(z) = dz f(z) dz f(z)+ dz f(z)+ dz f(z)+ dz f(z) = ABDEAF GHF A ABDEA AF F GHF F A y como AF dz f(z) = F A dz f(z), entonces: dz f(z) + dz f(z) = dz f(z) + dz f(z) = ABDEA F GHF 2 con lo cual se nota que para regiones múltiplemente conexas, a pesar que las circulaciones son opuestas, el observador que circula por y 2 siempre tiene la región R a su izquierda. Siguiendo con la reflexión anterior, podemos invertir el sentido de la circulación en el contorno 2 con lo cual dz f(z) dz f(z) = 2 dz f(z) = dz f(z) 2 Es decir, que si f(z) es analítica en una región R, da igual cualquier recorrido por las fronteras de una región y el valor de la integral permanecerá inalterado. Héctor Hernández / Luis Núñez 5 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Más aún este resultado puede extenderse a regiones con n huecos de tal forma que, tal y como ilustra en en la figura 2 cuadrante III dz f(z) = dz f(z) j j= on lo cual estamos afirmando que, dada una región que contiene un número finito ( numerable?) n de singularidades, la integral a lo largo del contorno que encierra la región R es equivalente a la suma de las integrales que encierran cada una de las n singularidades. Enunciaremos sin demostración el Teorema de Morera 2, también conocido como el teorema inverso de auchy. Teorema de Morera: Si una función f(z) es continua en una región R encerrada por un contorno y dz f(z) = entonces f(z) es analítica en R Ejemplo: onsidere la función definida en una región R f(z) = z z con { z fuera de la región R z dentro de la región R Si z está fuera de la región, entonces f(z) esa analítica en R, con lo cual el Teorema de auchy implica que dz f(z) = Si z está dentro de la región, entonces f(z) no es analítica en R por cuanto existe una singularidad z = z. Si consideramos el contorno que bordea a R, como una circunsferencia centrada en z = z y Γ otra circunsferencia que aisla a z con un radio z z = ɛ (esta situación se ilustra en la figura 3 cuadrante I). Entonces, si hacemos z z = z = ɛe iθ el Teorema de auchy implica dz z z = Γ dz 2π ɛie iθ dθ = z z ɛe iθ 2π = i dθ = 2iπ 3. Fórmula integral de auchy El ejemplo de la sección anterior nos lleva a una de las expresiones más útiles e importantes del análisis complejo: La Fórmula Integral de auchy la cual dice que si f(z) es analítica en una región R encerrada por un contorno y consideramos un punto z = z contenido en esa región, entonces 2iπ z z = f(z ). 2 Pueden consultar la demostración en el Arfken,Weber: Mathematical Methods for Physicists Héctor Hernández / Luis Núñez 6 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Figura 3: irculaciones y Polos Para probar esta afirmación supongamos, una vez más un circuito en encierra al polo z = z (ver figura 3, cuadrante II). on lo cual, como f(z) es analítica en esa región, el Teorema de auchy nos garantiza = si z z = re iθ, 2iπ z z 2iπ Γ z z esto implica que 2π f(z + re iθ )rie iθ dθ 2iπ re iθ = 2π f(z + re iθ )dθ, 2π si hacemos r tendremos que = 2iπ z z 2iπ Γ z z 2π = lím f(z +re iθ )dθ = 2π lím r 2π 2π f(z +re iθ )dθ = f(z ) r Observaciones Surgen también observaciones al respecto Obvio que es válido para regiones múltiplemente conexas y es fácil demostrarlo. Se lo dejamos al lector como ejercicio. Si reacomodamos la expresión para la forma integral podemos hacer en esa fórmula es válida para todo z f(z) = f(ζ) dζ 2iπ ζ z Héctor Hernández / Luis Núñez 7 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja Más aún veremos que es fácil generalizar esta fórmula para derivadas de funciones, vale decir f (n) (z ) = n! 2iπ (z z ) n+ Veamos con el caso más sencillo y demostremos que para n = f (z ) = f(z)dz 2iπ (z z ) 2 f f(z + h) f(z ) (z ) = lím = lím h h h 2iπ tal y como se muestra en la figura 3, cuadrante III tenemos que [ ] f (z ) = lím = h 2iπ (z z h)(z z ) 2iπ f(z) h (z z ) 2 [ z z h ] dz z z Pero mucho más interesante hubiera sido derivar respecto a una constante. Este truco implica que f(z) = f(ζ) dζ f (n) (z) = n [ ] f(ζ) 2iπ ζ z 2iπ z n dζ = n! f(ζ) dζ ζ z 2iπ (ζ z) n+ (2) Esta fórmula es muy util para calcular integrales. onsidere, por ejemplo la siguiente integral e 2ζ dζ (ζ + ) 4 2iπ 3! f (3) ( ) con f(z) = e 2z 8iπ 3 e 2 donde hemos supuesto que el contorno encerraba el punto z =, porque de otro modo la función e 2z sería analítica y la integral se anularía por el Teorema de auchy. (z + ) 4 Ejemplos:.- Evaluar 2πi e z dz, para los entornos: : z = 3 y : z =. z 2 El entorno z = 3 contiene en su interior al punto z = 2, esto implica que: e z 2πi z 2 dz = e2. Para el entorno z =, vemos que el punto z = 2 no está contenido en ese entorno, esto significa que el integrando es una función analítica en toda la región. Por lo tanto: e z dz =. 2πi z 2 2.- Evaluar z 2 + 4 dz, para los entornos: : z = 2, 2 : z = 3 y 3 : z + i = 2. Héctor Hernández / Luis Núñez 8 Universidad de Los Andes, Mérida
Semana 4 - lase 36/3 Tema 2: Variable ompleja La integral puede ser escrita de la siguiente manera: (z + 2i)(z 2i) dz. Para el contorno z = 2, tenemos que éste contiene en su interior al punto z = 2i. Si escribimos la integral como z+2i z 2i dz, la función /(z + 2i) es analítica dentro de y entonces por el teorema de auchy ( ) z+2i dz = 2πi = π z 2i 4i 2. onsideremos ahora el contorno z = 3. Este contorno contiene en su interior a los puntos 2i y 2i. Podemos trazar dos contornos adicionales, de radio ɛ alrededor de cada punto, entonces: z 2 + 4 dz = (2i) z 2 + 4 dz + ( 2i) z 2 + 4 dz z+2i = (2i) z 2i dz + z 2i ( 2i) z + 2i dz [ ] [ ] = 2πi + 2πi z + 2i z=2i z 2i z= 2i [ ] [ = 2πi + 2πi ] =. 4i 4i Finalmente, para el contorno z +i = 2 se tiene que éste contiene al punto z = 2i. Repitiendo lo que hicimos en el primer caso tenemos: z 2i z + 2i dz la función /(z 2i) es analítica dentro de 3 y entonces por el teorema de auchy ( z 2i dz = 2πi ) = π z + 2i 4i 2. Héctor Hernández / Luis Núñez 9 Universidad de Los Andes, Mérida