EEE eee Eee eer ete tee ee ee Pere ere egy JF 7 donde Ces el eireulo fe =3/2 Po © tan z es no analitica en +n/2, #31/2, ..., pero esos puntos estn fuera de nuestro contorno de integracion Cincluye dos puntos singulares, z Para poder usar la formula integral de Cauchy, debemos tener sélo un punto singular z» dentro de C. Usaremos fracciones parciales: 1 A B A(z +1) +B(z Pat oeeeae tigen ae (z-I(z+1) (A+B)z=0 > 1/2, B=-1/2 A-B=1 Ltie-ty cztl a A =41 2 1(z)=tan z 1 (z)=tanz A(Zo)=tan1 —— 4(2,) = tan(-1) in( 1) — tan(—1) ]¥ 9.7857 G Se pueden tratar funciones mas complicadas con potencias de 2-2, con la formula: eneralizacion de la formula integral de Cauch fanalitica en y dentro de C, z» dentro de C Por ejemplo, jess aS ae = 221 eG+iyl Esta formula también es cono de /adas de una funcién an: nit bose dz? 4” Nota: cuando 1=0 tenemos la Férmula Integral de Cauchy: Escaneado con Camscannerla formula integral de Cauchy Partamos de la formula integral de Cauchy: /(2,) = Tomando f(z,) como una funcién de variable z). Derivando con respecto a Z,y aplicando la regla de Leibnitz: d 1(2) 4 Aref] Eft ‘|: Usar el mismo procedimiento para demostrar por induccién: 1), aid" n! dz" La generalizacién de la formula integral de Cauchy nos muestra algo excepcional: Si una funci6én f(z) es analitica en cierto dominio, entonces posee derivadas de todos los érdenes en dicho dominio. Y estas derivadas son a su vez también analiticas en el dominio. Sea f(z) una funcién definida en todo punto de un entorno de zp. Si f(z) no es analitica en Z) es imposible encontrar una funci6n F(z) tal que dF/dz = f(z) en todo punto del entorno. De existir F(z) seria analitica y por la formula generalizada de Cauchy, su segunda derivada df/dz existiria en todo punto del entorno considerado. Y entonces f(z) seria analitica en zp: una contradiccion. 84 Escaneado con CamscannerEvaluar la integral 1M(2)=2 sea {(z)=2" 1") =2 sea zy =i zdz (2) es analitioa in D, y Cincluyez, — J 7 =2ni 7 Calcular de leray donde C es la circunferencia |z|=3 con sentido positive. “Seay roth siendo : zy =-2i; I (z)=e => 12.) = ral Gay aye inae” JUNIO UNS: Pt Resumen: @ fie )dz =F (z,)-F(z,) donde Fie * Fe) analitica en un dominio simplemente conexo D, con derivada dF/dz = f(z) y zy 2, en D. 2) [/@dz=0 conf) analitica dentro y sobre C. © (Teorema integral de Cauchy-Goursat ) @ f 12) ie = 2m (2,) con,f(z) analitica dentro y sobre C (Formula integral de Cauchy ) 12) 2a a"1) conf) analitica ya dentro y sobre C ( Formula para derivadas ) ae ® lea Escaneado con CamscannerEjercicios: Demostrar (1) El teorema de Morera: “Si /(¢) ¢s continua en un dominio simplemente conexo Dy si f 1 (2)d =0 para cualquier camino cerrado en D, entonces f(2) es analitien en D” (2) La desigualdad de Cauchy: 1(z)|SM en C [rea] J. (Probarlo usando Ia férmula para las derivadas de una funcién analitica y la desigualdad MT) (3) El teorema de Liouville “Si una funcién entera f(z) est acotada en valor absoluto para todo =, entonces ‘f{(2) debe ser constante” — probarlo usando la desigualdad de Cauchy. ® 2.3.6. ‘Teorema ce Morera Sif CC es continua en una resién A y ff =0 para toda curva cerrada (C* a troz0s) 7 contenide en A, entonces f es analitia en A. Demostracidu, El teorema acerca de la indepeudencia del camino impliea que existe F:C — Canalitica en A tal que f = F! en A. Como F es analitica en A, es infinitamente derivable en A, y por tanto f’ = F" existe en todo punto de A. QED, Desigualdad de Cauchy * Si tomamos el contorno circular C: |z — zo| =r, utilizando la generalizacion de la formula integral de Cauchy y la desigualdad ML: 1(2) = Gray? donde |f{z)| < M para todos los puntos de C. Escaneado con Camcanner2.3.4. Desigualdades de Cauchy Sen f anatitica en una region A, seaa € A, y supongamos que D(a; R} al 0 tal que |f(z)| < M para todo 2 €C. Siz €C, de In desigualdad de Cauchy para la primera derivada se deduce que M lfeal< 4 YR>O (ya que, al ser A = C, se puede aplicar la férmula de Cauchy para las derivadas para cualquier R > 0). De esto se sigue obviamente que |f’(2)| = 0 para todo z € C. Al ser Cconexo, f ha de ser constante en C, QED. | 2.3.5. Teorema de Liouville Sif: © + C es entera (es decir, analitica en todo C) y |f| estd acotada en C, entonces J es constante. Demostracién. La hipdtesis implica que existe M > 0 tal que |f(z)| < M para todo 2 €C. Siz €C, de In desigualdad de Cauchy para la primera derivada se deduce que rel< 4 VR>O (ya que, al ser A = C, se puede aplicar la formula de Cauchy para las derivadas para cualquier R > 0). De esto se sigue obviamente que |f’(z)| = 0 para todo z € C. Al ser C conexo, f ha de ser constante en C. QED. Escaneado con Camcanner37, Sea ic) =u + iv una foncién enteray tl que [f)| < Mlz| (M> 0) para todo z. Probar que f) ‘donde a ee una constante Solucién: Lacondicién (f=)| < Mz] implica. en particular que (20)] 1 tiene al menos una ruiz, Demostracién. Sea p(2) = Di.oaiz', con ay # Oy n > 1. Sip no tuviera ninguna raiz, Ja funcién f = 1/p seria entera, Probaremos que esto es imposible demostrando que en tal caso f serfa también acotada en C y no constante, en contradiccién con el teorema de Liowville. Para probar que f esti acotada, nétese que si 2 #0 . - tt) er Come fail / =I"! —— Por tanto l2| > K = |p()| > Por otra parte, al ser el disco cerrado de centro 0 y radio K’ compacto, existe M > 0 tal que [p(z)| > M > Osi |z| < K (udtese que M > 0, al ser, por hipstesis, p(z) # 0 para todo 2 € C). Por tanto, hemos probado que . 21 vee. pene (Spaz): a Esto contradice el teorema de Liouville, al ser f entera y no constante (p no es constante, ya que a, #0y n> J). QED. Escaneado con CamscannerEjercicio, Sea la funcién entera tal que: |P@< Con la ayuda del teorema de Liouville obtener la expresién general de f(z). Respuesta. 1) \raslefzec= LWzeC 1(z) e Por el teorema de Liouville: Portanto | f(z) =Ae =cte.=A,con jal<1 2.4. Principio del médulo maximo. Propiedad del valor medio 2.4.1, Propiedad del valor medio Sif: C+ C es analitica en el disco cerrado D(a;r) se verifica 1 2s fa) f f(atre®) do. Demostmcién, Antes de ptobar este resultado, nétese que la. formula anterior expresa que cl valor de f en a es la medin de los valores de f en el eizculo de centro a y radio r La demostraciéu es una cousecuencia inmediate de la formula integral de Cauchy. Eu efecto, por hipétesis f es analitica en un abierto A > D(a;r), que puede tomarse como wna regién (de hecho, como un disco abjerto dle radio ligeramente mayor que r: cf. Marsden-Hoffman, prob. 1.4.27), La circunferencia 7 de centro a y radio r (orientada positivamente) es homstopaa un punto en A, ya que lo es obviamente en el disco cerrado ° (con mis rigor, en un disco abierto ligeramente mas grande contenido on A). Aplicando jegral de Cauchy se obtiene: Ja formu flatre) ° ine? dO ree Lp -Eh F(a+re®) dé. QED. 30, Halla too: Is fancies analiticas en [=| <4 que veifiean ue J. = Sati [ia s5 en lt Sotucién stn punto interior alcoajunto |2|4y (f2-1)| = 44] =5. Puestogue [fz Sen .bemos, por el principio del médlo minim, que. so e2 eostant, el mazamo del médulo de Io foncion en el conjuno se debe alcarzaren la froatea. aco que la aleanza en ua pst interior (1 valor en un punto. Inego la fancién es f=) = 3-4 para todo ) 2 deduce que Ia fancién ha de sex constant dems saberos sled) Escaneado con CamcannerERIES DE FOURIER. EJEMPLO Hallar la serie de Fourier de la funcién f(x), de periodo 27, definida por F(x) = -1 cuando -1%# 0,0 <0 < 2x) de la funcién multivaluada z? no esta definida en el punto inicial z = 3 del contorno C, la integral I= { 2 dy lc de la rama existe, sin embargo, porque el integrando es continuo a trozos sobre C. Para verlo, observemos que cuando 2(8) = 3e’, los limites de la derecha de las componentes real e imaginaria de la funcién Stat] = /3et® = JF cos$ + i 3 sen 9 <6sn en 0 = 0 son ,/3 y 0, respectivamente. Por tanto, f[z(@)] es continua en el intervalo cerrado 0 < 6 < z si se define su valor en @ = 0 como \/3. Como consecuencia, I= [aerssie ao = avai f 39? a9; 0 ° a (+ i. a 2 edo = = f xf 3 Escaneado con CamscannerINTEGRALES 113 Finalmente, entonces, T= -2/31 + i. Ejemplo 5. Sea C el mismo contorno yz" la misma rama de la funcién raiz cuadrada que en el Ejemplo 4, Sin conocer exactamente el valor de la integral, se puede probar facilmente que hl [ P+ a lc Porque cuando z es un punto de C, |z| = 3; y se sigue que i217] = 15cm] = 3 33x =. i? + 12 Meh - = 8 en los puntos de C en los que el integrando esté definido. Por consiguiente, en esos puntos, 2M P+ donde M = ,/3/8. Como la longitud del contorno es L = 31, la cota anunciada para el médulo del valor de la integral es ahora consccuencia de la propiedad [7], Seccién 32. EJERCICIOS Dados los contornos C y las funciones f de los Ejercicios 1 a 6, usar representa- ciones paramétricas para C, 0 para los fragmentos de C, con el fin de calcular [ Sle) dz. Ic L se) = @ + zy Ces @) elsemicirculo z = 2e"(0 5 0S 6) el semicirculo z = 2e" (x $ 0 S 2n) ©) elcirculo z = 2e%(0 < 0 = 2x). Sol. a) —4+2ni; 6) 4+ 2m c) Ani. 2 fe) = a) el semicirculo z = 1 + e# (x < 0 S 2n); Ly Ces el arco desde z = O hasta z = 2 dado por Escaneado con Camscanner