Series y residuos TLL Sucesiones y series 2 Serie de Taylor TLS Serie de Laurent IL4 Ceros y polos ILS. Residuos y teorema del residuo IG Calculo de integrates reales Ejercicios de repaso del capitulo 11 La formula de la integral de Cauchy para las derivadas indica que si una funci6n f es analftica en un punto 2, entonces, dicho punto tiene derivadas de todos los érdenes. Como consecuencia del resul- tado anterior, en este capitulo se plantea que f puede expandirse siempre en una serie de potencias centrada en dicho punto. Por atro lado, si f no es analitica en un punto z, es posible expandirla aun en un tipo diferente de serie conocida como serie de Laurent. EL-concepto de serie de Laurent conduce al concepto de un re- siduo, el que a su vez lleva a otra forma de calcular integrales complejas. CAPITULO 4am7Figura 11.1. Si {2,} converge al, todos excepto un niimeto finito de términos se encuentran en una e-vecindad de L Figura 11.2 Los términos de la sucesin se acercan a 0 espiralmente 478 Sucesiones y series WW Introduccién Gran parte de la teorfa de sucesiones y series complejas es ansloga a laexistente en célculo real. En esta seccién se analizan las definiciones de convengen- cia y divergencia para sucesiones complejas y series infinitas complejas. Ademis, se proporcionan algunas pruebas para la convergencia de series infinitas. Se sugiere poner atenciGn especial a lo expuesto sobre series geométricas, ya que este tipo de series son ‘importantes en secciones posteriores de este capitulo. W Sucesiones Una sucesién (z,} es una funcién cuyo dominio es el conjunto de en. {eros positivos; en otras palabras, a cada entero n = 1, 2, 3,..., se le asigna un mimero complejo z,- Por ejemplo, la sucesién { 1 + #) es ed a Se dice que silty yoz = L la sucesisn (za) €8 convergente. En otras palabras, {2,) ‘converge al nimero Z. si, para cada niimero positive, se encuentra un N tal que le, L| N. Como se muestra en la figura 11.1, cuando una sueesi6n {2,) converge aL, todos excepto un mimero fnito de témiios de la sucesi6n se hallan dentro deuna e-vecindad de L. La sucesién (1 + i") ilustrada en (1) es divergente, puesto que el término general z= | + i no tiende a un mimero complejo fijo cuando n —> 00. De hhecho, los primeros euatro términos de esta sucesién se repiten infinitamente al incre- mentarse Fjemplo 1 Una sucesién convergente a ‘Como se observa de 4 Ia figura 11.2, os términos de la sucesi6n avanzan hacia el punto z = 0 en forma de espiral a EI siguiente teorema deberta ser intuitivo: Criterio para la convergencia Una sucesién {z,} converge aun némero complejo L si, y sélo si, Re(z,) converge a Re(L) e Im(z,) converge a Im(Z), Fjemplo 2 Tlustracién del teorema 11.1 # =z} converge Observes que Re) = De) = 1 Enos is i mn ye ned med ee CAPATULO 11 Series y residuosse observa que Re(:,) = 2nita? + 4) > Oe Im(z,) = nM? + 4) > 1 cuando n — 99. BH Series Una serie infinita de niimeros complejos es convergente sila sueesién de sumas parciales {8,), donde x itatate tay converge. Si $, > L cuando n > 00 se dice que la suma de la sere es L. Il Serie geométrica Para a serie geomeética Sad =a tac tadtt tact + @ el término n-ésimo de la sucesin de sumas parciales es ataz tad ten tae @) Multiplicando , por zy restindole este resultado a 5, se obtiene S, ~ 25, a ~ az", Despejando S, se obtiene a-2) 3- a Como 2" — 0 cuando n -> co, siempre y cuando el < I se concluye de (4) que (2) con- verge a para el < Isla serie diverge cuando fl = 1, La serie geoméirica especial lezteeet o P-2t- 6 y Tez © vila para [el <1, e8 de utilidad particular en las siguientes dos secciones. Asimismo, en Jas demostraciones de los dos principales teoremas de este capitulo se utiliza 1-2 ; trtetete te o ©, en su forma alterativa, Sal tet Pte tett 1-2 8) Ejemplo 3 Serie geométrica convergente La serie (1+ 2)¢ bai +P (+2 rr a 11.1 Sucesiones y series 479480 cs una serie geométrica con a = (I+ 2iV5 y z= (1 + 20/5. Como kel = V5I5 <1, la serie converge y entonces se escrbe 142i & (142i 5 i os rea? Q 5 Condicion necesaria para la convergencia Si DOP zx converge, entonces Him soz = 0. l Una forma equivalente del teorema 11.2 es la conocida prueba del n-ésimo tértitino para la divergencia de una serie infinita La prueba del n-6simo término para la divergencia Sino #0, entonces Ia serie Os diverge. Por ejemplo, la serie 3, (k + Si)/k diverge puesto que z, = (n+ Silén—> 1 cuando ncn, La sere geomérica (2) diverge cuando [| = 1, ya que, liv» fe no existe en este caso: Convergencia absoluta Se dice que una serie infinita "2, es absolutamente convergente si) | converge Fjemplo 4 Convergencia absoluta Laserie DP, (Kes absolutamente convergente puesto que j= Vk y la sere real DEL, (1K?) converge, De los cirsos de céleulo recuerde que una serie real de la forma Die, (If) se denomina una sere p, a cual converge para p> 1 diverge para p = 1. AL igual que en céeulo real, La convergencia absoluta implica convergencia, Asf,en el ejemplo 4, la serie de converge. CAPITULO 11 Series y residuostes son las versiones complejas de las pruebas de laraz6n y de rafz.encontradas en eéleulo: Supsngase que Si z,¢8 una serie de érminos compleos no nos tales que o ) SiL<1, entonces la serie converge absolutament. ii) SiL> 101 =, entonces la sere diverge iii) Si = 1, 1a prueba no es concluyente Prueba de raiz ‘Supdngase que Di. es una serie detérminos complejo tales que lim Wg] = L: (a0) i) Si L<1, entonces la serie converge absolutamente, ii) $iL> 10 L = 0, entonces la serie diverge. ii) Si L = 1, la prueba no es concluyente, Fundamentalmente, se tiene interés en aplicar estas pruchas a las series de potencias. Ml Series de potencias EI concepto de series de potencias es importante en el estudio de funciones analiticas. Una sere infinita de Informa Dale ~ coy! = ay + ale — 20) +(e ~ 20)? toy ap donde los coeficientes a, son constantes complejas, se denomina series de potencias en 2~ zp Se dice que Ia serie de potencias (11) estd centrada en zg, y el punto complejo 2. se-conoce como el centro de la seri. En (11) es conveniente también definir (2 ~ 2)" = 1 incluso cuando z= 2. Hi Girculo de convergencia Todas las series de potencias complejas tienen radio de cconvergeneia R. En forma ansloga al concepto de intervalo de convergencia en célculo real, una serie de potencias compleja (11) tiene un efreuto de convergencia definido por le ~ aj = Revando 0 R. Véase la figura 11.3. El radio de convergencia R puede ser {) cero (en cuyo caso (11) converge Gnicamente en z = 2), ivergencia 4) un imero finito (en cuyo.caso 11) converge en todos los puntos iteriores del cireulo x ke a) = Ro iif) 20 (en euyo caso (11) converge para cualquier 2) Figura 11.3 Una serie de potencias converge en todos los puntos dentro del erculo de convergencia Una serie de potencias puede converger en algunos, todos 0 ninguno de los puntos det cfreulo de convergencia, 11.1 Sucesiones y series 481482 Fjemplo 5 Circulo de convergencia Considérese la serie de potencias D7, (2'*Vk). Por medio de la prucba de la razén (9), vin] an se womn tl [Asi pues, la serie converge absolutamente para el < I. El efrculo de convergencia es lel= 1 y elradio de convergencia es R = 1. Obsérvese queen el circulo de convergencia, Ja serie no convenge absolutamente, puesto que la sere de valores absoluts es la muy co- nocida serie arménica divergente S, , (I/k). Sin embargo, hay que tomar en cuenta que esto no significa que la serie diverja en el culo de convergencia, De hecho, enz = —1, Dr (HM) es la sere arménica alternante convergent, y puede demostarse que Ja serie converge en todos los puntos sobre la circunferencia | = 1 exceptoenz = 1. Q. Deberfa serclaroapartirde! teorema 11.4 ydel ejemplo S que parauna serie de potencias ‘Veg ax ~ zo} el limite (9) depende vinicamente de los coeticientes a. Asi, si 1) im |**=4| ~ 2 ¥ 0, et radio de convergenci es R = UL; 1m [=| = 0, cL ratio de comvergecin x25 ity) im pes co, el radio de convergenia es R = 0. Pueden realizarse observaciones similares para la prueba de rafz (10) utilizando Mi, 00 Va. Fjemplo 6 Radio de convergencia Conidse ase de precas cur’ repaundas 0 cuando n -> 20, Como fes analitica en D, |/(2)I tiene un valor méximo M sobre el contorno C. Ademés, puesto que z esté en el interior de C, se tiene que lz = zal < Ry, en consecuencia, Isa =|s-2-@-2l2b— al —ke-al=R-d, donde d = |z — zl es la distancia entre z y zq. La desigualdad ML da entonces e-ar ff) oom sa (ay als 2. an = ME (a RO Sar Sf Gans ar | Oe R- aR R-a\r Debido a qued < R, (d/R)"—+ 0 cuando n+ c0, se concluye que [R,(2) > Ocuandon 300. Se deduce entonces que la serie infinita SG) fo) wea) + are lz0) + ates converge a f(z). En otras palabras, el resultado de (8) es vélido para cualquier punto z interior aC. a El adio de convergencia de una serie de Taylor se encuentra exactamente de la misma forma que en los ejemplos del Sal 7 de la seccién 11.1. Sin embargo, es mucho més simple observar que el radio de convergencia es la distancia desde el centro zp de la serie ala singularidad aislada mds eercana af Ea la prOxima secci6n se discute més a fondo este concepto, sin embargo se puede adelantar que una singularidad aislada es un punto gen el que fdeja de ser analitica, pero es analitica en el resto de todos os puntos de al- ‘guna vecindad de zy Por ejemplo, z = Sie una singularidad sislada de f(@) = Ue ~ 5i. Si la funcién Fes enters, entonces el radio de eonvergencia de una serie de Taylor een- trada en cualquier punto zo es necesariamente oo. Utilizando (8) y esta titima afirmacién se puede decir que las representaciones de la serie de Maclaurin ee ¢ -35 (2) ms oH = fo BOM a 1 = Sey cos SONG a son vidas para cualquier 2 Si dos seties de potencias con centro en 2 Saat y Soles representan Ia misma funciény tenen el mismo radio de convergencia no nulo, entonces 4 = by, k= 0,1,2,...-Dicho de otra manera, a expansin en serie de potencias de una funcién con centro en zy es nica. zn forma prictica, esto significa que una expansion ddeuna serie de potencias para una funcién anaitica fcentrada en zy es Ia expansi6n de la serie de Taylor de la funcién, independientemente del método utilizado para obtener Por ejemplo, (14) se obiene derivado simplemente (13) tino atérmino. La serie de “Maclaurin para ese obtene reemplazando el simbolo z de (12) por 2. CAPETULO 11 Series y residuosFjemplo 1 Serie de Maclaurin Encuentre la expansién de Maclaurin para f(2) = f= Solucién Desde luego, se puede comenzar calculando los coeficientes con (8). Sin embargo, se sabe de (5) de la seecin 11.1 que para el < 1, L4cecaet as) Derivando ambos lados de! tltimo resultado respeeto a 2 se produce Tort t tae = Se! ‘Como se esté utlizando el teorema 11,8, el radio de convergencia de esta titima serie es cel mismo que el de la serie original, R Fjemplo 2 Serie de Taylor Expanda f(z) una serie de Taylor de centio zp = 2i Soluci6n A continuacién se resuelve este problema de dos formas; se comienza ut zando (8). Dela primeras derivadas, aye! f£O=q> se concluye que f"%z) = nl/(1 — 29" y por lo tanto f 42i) = nif(1 — 2i)"*". Asi, de (8) se obtiene la serie de Taylor a6) Puesto que la distancia desde el centro zp = 2 hasta a singularidad ms proxima z= 1 es V5, se coneluye que el circulo de convergencia para la serie de potencias en (16) es lc ~ 2i| = V5. Esto se vertien por medio de la prucba de la raz6n explicada en la sec~ cin anterior. Solucién alterna En esta solucién se utiliza de nuevo la serie geométrica (15) ‘Sumando y restando 2i en el denominador de 1/(1 ~ 2), se eseribe I-z t-2+%-% 1-2-@-2) 72 121 ‘Ahorase plantea— 5; comouna serie de potenciasuilizando(15)yremplazando a elsimbolo z por ( ~ 2iyt ~ 2a god + [+3 ‘Se deja al lector verificar que esta tltima serie sea exactamente la misma que (16). 11.2 Serie de Taylor 487Figura 11.5 Las series (15) y (18) convergen dentro dela region sombreada EJERCICIOS 1 En Jos problemas del 1 al 12, expanda la fur 1 1 Toe 1-u* a—ap®* Ga En (15) y (16) se representa la misma funcién 1/1 ~ 2) por medio de dos series de potencias diferentes. La primera serie leet etet tiene cero de centro y uno de radio de convergencia, La segunda serie 1 (2 2H + (- 2 + L a= 2 tiene centro 2 radio de convergencia V5. Los dos efrculos de convergencia se ilustran cen la figura 11-5, El interior de la intersecci6n de los dos cireulos (parte sombreada) es la regién donde ambas series convergen; en otras palabras, en un punto espectfico 2* de cesta tegi¢n, ambas series convergen al mismo valor f(z*) = 1/(1 ~ z*), Fuera de la region sombreada, por lo menos una de las dos series debe divergi Sia ar En los problemas 23 y 24, utilice (7) para encontrar los tres una serie de Maclaurin. Indique cual es el radio de convergen- primeros términos no nulos de la serie de Maclaurin para la cia de cada sti. 1 fO= Ty a f-——! 40" Thay 5. f@=e™ 7. f(@) = senhz 9. J) = cos 5 ML f@) = sen? funcién indicada, f@) 23. fle) = tanz 24 fz ere f= En los problemas 25 y 26, utilice fracciones parciales como w -F ayuida para obtener la serie de Maclausin para la funcin ind- focu? cada. Indique cules el radio de convergencia de Ia sri. Sl = coshz ; . fe) = sen 3z I= ew IO" BG En Jos problemas 27 y 28, determine, sin efectuar realmente la 12, f(@) = c0s%e [Sugerencia: Utilice una identidad sigono-expansién, el radio de convergencia de la serie de Taylor de métrica] En los problemas del 13 al 22, expanda la funcién propor- cionada en una serie de Taylor centrada en el punto indicado, Indique cudl es el radio de convergencia de cada sere, 13. f(@) = Ue, B= 1 14. f= Ue, wat ti 15. f@) = yh a2 1 16 f= % mg@-2y 1+ 18. f= 75 wt 19, fle) = c08 2, z= m4 20. fz) = sem z, x9 = m2 2. fQ= 4% 22. FQ) = (2 Ne, x 488 la funcién proporcionada que esta centrada en e punto ind cado. 22. fle) = 28. Jez) = En los problemas 29 y 30, expanda la funcién proporcionada en Ia serie de Taylor centrada en los puntos indicados. Seale cud es el radio de convergencia de eada serie, Bosque la re- ain en la cual ambas series convergen, 1 29. fl) = 5 30. fl)=7, w=1+h 2+ 1 z + 2) Sapngase me a amicacin prince del Inge mofie) = Luz = logiel + i Arg se expande en iedehybreoteentony el tc bxplquep™ qué R= Les el radio de efeulo mis grande cena doen zy = ~1 +i, dentro del cua, fes analiicn. CAPITULO 21 Series y residuos+b) Demuestre que en et interior del efreulo fe ~ (—1 + ‘| = I la serie de Taylor para fes " Siero Laz BE an Joga + 2 6), Denwestre que el radio de convergencia paral sere de potencias del incis 6) es R = V2, Expligue po {qué esto no contradice el resultado del iniso a). 32. a) Considérese que la funcin f(z) = Ln(l + 2). ,Cusl es el radio del eireulo mas grande centrado en el origen dentro del cual fes analitica? ) Expanda fen una serie de Maclaurin, ,Cudl es el radio de convergencia de esta serie? ©). Utilice el resultado del inciso b) a fin de hallar una serie de Maclaurin para Ln(1 ~ 2) Introduccién Por ejemplo, los niimeros complejos £@ = diy ) isnt wists ds Mactanta para u(t*2) oe En los problemas 33 y 34, aproxime el valor de la expresién proporcionada utilizando el niimero indicado de términos de una serie de Maclaurin, 990, tres términos sen te 8 35, En la seccién 7.1 se define la funcién error como: exile) a fiz etd, val ncuentre una serie de Maclaurin para fer(2) ‘36. Utilice la serie de Maclaurin para e' con el fin de de- ‘mostrar la xml de Euler para una z compleja e& = cosz + sen, 1.3 Serie de Laurent Si una funeién compleja f deja de ser analitica en un punto z= zp entonces se dice que este punto es una singularidad o un punto singular de Ia func ~2i son singularidades de la funci ‘ue + 4) ya que fesdiscontinua en cada uno de estos puntos. Recugrdese de la seecin 9.6 que el valor principal del logaritmo, Liz, es avalitico en todos los puntos excepto en aquellos del corte de ramificacién asociado al eje x no positive; esto es, ct punto de ramificacién z = 0, asf como todos los miimeros reales negativos son puntos singulares de Ln z. Esta seccién se concentra en un nuevo tipo de expansiGn de “serie de potencias" de frespecto a una singularidad aislada 2. Esta nueva serie involuera pote cias enteras negativas y no negativas de 2 ~ & HH Singulatidades aisladas Supdngase que aes una singularidad de una funcin compleja f Se dice que el punto z = z es una singularidad aisiada de Ia funci6n fsi existe alguna vecindad de zp, do la cual se ha suprimido este punto, o disco abierto per- forado, 0<|z z=2iy 21 Vr = r. La parte formada por las potencias no nega- tivas de z~ 2 Sale- of se denomina la parte analitica de la serie (1) y converge para fz ~ zal ry le ~ zal 0 cuando n —> o0 entonces |R,(2)| > 0 cuando n — 00. Asi, se ha ‘demostrado que a0) donde los coeficientes a, vienen dados en (9). Combinand (6) y (10) se observa que (5) produce as an) 6) = Sade - sol + fo= ale al + BEF Finalmente, sumando los enteros negativos y no negativos, (11) se escribe como $0) = Sir-y(2 — za): Sin embargo, (7)y (B) sa escriben como una integral simple: as, 1 fis) =f 9 as, b= 0,412, Bn J, = ao) donde, a partir de (3) de la seccién 10.2, se han reemplazado los contornos C, y C; por cualquier contorno cerrado simple C en D con zy en su interior, a En el caso en que a, = O para k = 1, 2,3, -.5 In serie de Laurent (3) es una serie de Taylor. Debido a esto, una expansidn de Laurent es una generalizacién de una serie de Taylor El dominio anular del teorema 11.10 definido por r< fz ~ zl < R no necesita tener Ia forma de “anillo”ilustradaenlafigura 11.7. Otros posibles dominios anulares son: )r= 0, R finito; ii) r #0, R > 00, y iti) r = 0, R—> 20, Enel primer caso, la serie converge en el dominio anular definido por 0 < |z ~ zl < R, que corresponde al interior del circulo le ~ zal = R, excepto el punto zo. En el segundo caso, el dominio anular viene definido por r-< lz ~ zl en otras palabras, el dominio esté formado por todos los puntos exterio- res al efroulo ez ~ zal = r Enel tercer caso, el dominio esti definido por 0 (1496-0 La serie entre corchetes converge para [z~ 1 < 1, por lo que esta itima serie conver- geparaO 49492492 + La serie geométrica converge para fel < 1. Tras multiplicar por 8 + 1/, Ia serie de Laurent resultante es valida para 0 < el < 1. a En los ejemplos anteriores, el punto en el centro del dominio anular de validez para cada serie de Laurent es una singularidad aislada de la funcién f- Reexaminando el te0- ema 11.10 se ve que esto no necesita ser asf CAPITULO 11 Series y residuosFjemplo 5 Una expansién de Laurent : 1 { Expanda fi) = 7p en a serie de Laurent que sea vida para 1 < fe 21 <2, Solucién El dominio anularespecificado se muestra en la figura 11.9. Bl centro de este dominio, z = 2, ¢s un punto de analitcidad de la funcién f- El objetivo es encontrar dos series que contengan potencias enteras de z ~ 2: una que converja en 1 <{z ~ 2 otraen le ~ 21 <2, Para conseguir esto se comicnza descomponiendo fen fracciones parciales: fe) = t+ file) + Fl). (3) A continuacién, f(z) = Figura 11.9 Dominio anular del ejemplo 5 I 2-H e-F GH ; converge en |I/(2 — 2)|< 1.0 bien I <|z ~ 2}. Sustituyendo entonces estos dos resultados en (13) se obtiene =F ep ? ¥ Sle) - -—>t @- 2 2 e- 2P Esta epresentacién es vélida para I< ~ 2] <2. a Ejemplo 6 Una expansin de Laurent Expanda f(2) = een una serie de Laurent que sea valida para 0 <2. Solucién A partir de (12) de la seccién 11.2 se sabe que para cualquier < fini, emia page aay Reemplazando en (14) z por 3/2, con z # 0, se obtiene la serie de Laurent 3 eheitd 7 Zz Bz Esta serie es valida para 0 <|e a 11.3 Serie de Laurent 4951 hace hincapig en un resultado que es de particular importancia para las secciones 11.5y 11.6, Reemplazandola variable comple s porel simbolo pico zseob- servaque cuando k = ~1 se tiene de a expresion (4) para los oeficientes de Laurent que a froe ‘0, mds importante, la integral puede escribirse como (as) fro eens En los problemas del 1 al 6, expanda la funcién indicada en tuna serie de Laurent que sea vilida para el dominio anular propuesto, Lf = O< kel z = a> sen: 2 fe) o3 VW. kde 12 Lek + ed En los problemas del 13 al 16, expanda ta funcién f( Ir — 1 em una setie de Laurent que sea vida para ct @=e-9 z - dominio anular propusto 13. 1 2 15. O<[z= I]3 19. L1 En los problemas 23 y 24, expanda la funcién f(2) = 1 (e— 216 cl dominio anular propaesto, Syremuna serie de Laurent que se vid para 23. O<|e— <1 24. O O; vése la figura Figura 14.11. Contoro cerado ¢ 11.11, Por medio del teorema 11.14 se tiene compuesto por el sericea G ye e ® intervalo [—, A] furore | pordes |" poyae~ 207 & resienca. donde zy, k = 1,2, ..., m, denota los polos del semiplano superior. Si se demuestra que la integral f., /(@) dz — 0 cuando R —> cose tiene entonces que ve, f Sa) ae = im i fla) dx = 2m 3 Res(fiehz —®) ; 11.6 Calculo de integrales reales 507Ejemplo 2 VP. de Cauchy para una integral impropia Caleule el valor principal de Cauchy para [anes Me + Iz + 9). Como @ +E +9) = @— DE + Me 31 + 31), se plantea que C sea el contorno cerrado formado por el intervalo [—R, R] sobre el eje x yeel semiciteulo Cy de radio R > 3. Como se observa de la figura 11.12, 1 ” i 1 fume +9)" pt let Figura 11.12 Contorno cerrado =hth del ejemplo 2 e Hes 2mifRes( fC). + Res(f@), 31). En los polos simples 2 iy 2 = 3ise encuentran, respectivamente, 1 1 Res(f(eh i) = Tq y Res(f(2)3i) = yap atmawe tinal] ad, é Ahora se desea que R > 00 en (9). Antes de hacer esto se observa que en Cy Ke? + ING? + 9] = be + tle? + 91 = MleP — A eP — 91 = CR? — 1.R* — 9), por lo que de la desigualdad ML de la seceién 10.1 se escribe 1 ak = I, (2 + Ie +9) ]> (R= YR = 9) si tise each eae yl» canta da onlin ope a 1 ca - 1 7 mf omerg@ tn ° 8 [ eryerg@ Te Usualmente es tedioso tener que mostrar que Ia integral de contorno a lo largo de Cp tiende a cero cuando R > 00, Las siguientes son condiciones suficientes para que esto sea siempre cierto: Comportamiento de la integral cuando R — oo ‘Supéngase f(z) = P(2VIO(2), donde el grado de P(e) es n y el de O(2) es m= n + 2. Si Cy es un contorno semicircular z = Re, donde 0 = 0 = a, entonces fc, fle) de> Oeuando R00, : En otras palabras, Ia integral a lo largo de Cy tiende a cero cuando. R -> co si el denominador de f es de una potencia mayor que 1a del numerador en por lo menos dos lunidades. La demostracién de esto se desarrolla de la misma forma que en el ejemplo 2 Obsérvese en dicho ejemplo que las condiciones estipuladas en el teorema 1.15 se $2 Lisfagan, puesto que el grado de P(z) = 1 es 0 y el de Q(z) = (2? + 1)(2? + 9) es 4. 508, CAPITULO 11 Series y residuos raEjemplo 3. V.P. de Cauchy para una integral impropia eri Solucién Inspeccionando el integrando se observa que se satisfacen las condiciones dadas en el teorema 11.15. Asimismo, dl ejemplo 3 de la secciGn 11.5 se sabe que el seiniplano superior ftiene polos simples en z; = ey z= °°". También se obtiene en dicho ejemplo que los residuos en estos polos son Res(f(z), 21 wi. ava y Res(f(z).z2) Ast, por (8), vp, f xt yds = 2m Res( se) 21) + Res(s(2 2] = Wi Integrates de tas formas J, f (x) cos ax dx 0 f%. f(x) sen ax dx Se pantean integrates de est tipo al estudiar as tansfrmadas de Fourier en la seccign 74, por lo que J_f4) eos ax dry J. f(s) sen ax de, donde > 0, se conocen como teprales de Fourier, ls cuales aparecen como la parts real e imaginaria dela integral impropia [& s}e" dx. Utlizando la mula de Euler e* = cos ax + isen ase tiene [aia [“sreaoraesi[" pects — 9 do la integral fe f(2e™ dz, donde « > 0 y el contorno C de nuevo esté formado por el temente grande como para abarcar a los polos de f(z) en el semiplano superior. Comportamiento de la integral cuando R—> 00 ‘Sup6ngase f(z) = P(2VO(2), donde el grado de P(z) es n y el de Q(z) es m= n+ 1. Si Cys un contorno semicixcular z = Re®, donde 0 = @ = ary a'>0, entonces J, (PQVOe* dz 0 cuando R—> 0. Fjemplo 4 Uso de la simetria Solucién Obsérvese en primer lugar que los Ifmites de integracién no son de ~20 a co ‘como el método requiere. Esto se corrige observando que el integrando es una funcién impar de x, por lo que se puede escribir “xsenx 1 [™ xsenx [ooe-a [tse eo Con a = 1 se forma ahora la integral de contorno f siyew 11.6 Calculo de integrales reales 509i). [ ghseae [| pigr esr donde f(z) = 22? + 9). De (4) de la seecién 11.5, # 2z [os Asi pues, considerandoelteorema 1116 seconcluye que ff por lo que ve { Res(f(c)e' 31 rz cuando R30 Pero por (10), a xe0s.x " xsenx eds = deti x= Fi [an 4 LS Lae é [gualando las partes real ic da ister bil rx ial vn [78% demo jose ve [28 gem Pp wets! 3 Finalmente tomando en ie (11) 8 bene valor de ng pes x senx = rsemx | [sez es 8 1 Contomos mellados Las integrales impropias de la forma (2) y (3) consideradas hasta este momento son continuas en el intervalo [=90, co En otras palabras, la funcion a compleja f(z) = Pt2)/O(e) no ha tenido polos sobre el eje real. En el caso de que ftenga polos en el eje real, se debe modificar el procedimiento empleado en los ejemplos del 2 4% al 4 Por ejemplo, para calcular J. f2) ds por tesiduos euando f(2) tiene un polo en 6; Siendo c un ntimero rea, seus un eontorno mellado tal como se ilustra en la figura °r 11.13. El simbolo C, denota un contorno semicircular centrado en z = cy orientado en la direcci6n positiva. I siguiente teorema es importante para esta argumentacisn. Figura 11.13 Contorno mellado = Comportamiento de la integral cuando r > 0 ‘Supéngase que f tiene un polo simple z = ¢ sobre el eje real. Si C, es el contamo definido por z = c + re, donde 0 = 0 < 7, entonces Jim i S(@) de = mi Res( fle), 0). Demostracién Como ftiene un polo simple en z = c, su serie de Laurent es = Res(f(2), ¢) y ges analtica en c. Utilizando la serie de Laurent y la para- rmetrizacién de C, se tiene [ Se) [fae + reerao =i rh. 02 Primero, se observa que h ay [’ ew a, [@ = mia = wi Res(f(2) 0) 510 CAPITULO 11. Series y residuosDespués, ¢ es analitica en ¢ y por lo tanto es continua en dicho punto y acotada en una vecindad del mismo; esto es, existe un M > 0 para el cual |g(c + re] $M, Por lo tanto, a “Ir [ e+ rectal =r [ ‘Md = nM. De esa dima desgualad ge deduce que lin, /J = Oy en consecvencia Kinyo = 0. Bl teorema se demuesra calculand el limite e (12) cuando r > 0 a Fjemplo 5 Uso de un contorno mellado seme Solucién Como la integral es de la forma (3), se considera la integral de contorno Gc e! dele? ~ 22 + 2). La funcin f(2) = Va(2? ~ 22 + 2) tiene polos simples en 2 = 0 yenz= I + fencl semiplano superior. El contorno C mostrado en la figura 11.14 esté ‘mellado en el origen. Adoptando una notacién obvia se tiene f “ t + [, + [[-28 Res(/(zde" 1 + 0), ey oe a3) donde f_,, = ~ fc, Caleulando los limites de (13) cuando R 6 y cuando — 0 se encuentra partir de los eoremas 11.16 y L117 que dx — miRes(f(z)e*, 0) = 2a Res(f(e)e*, 1 + i). ete? — 2e +2) Aor, Res(f(elesO)= Fy Res( fede’ 1+) = — “ata, Porlotant, = 1 ei ve. | wos ni) +2n(-<"0 +9) Mediante e~!*/ = e~!(cos 1 + isen 1), simplifieando ¢ igualando las partes real e imagi- naria, se tiene de la dltima igualdad que me cosx my ve. [wSige-# (sen 1 cos 1 y ve. [ Ferny FU + teen ~ oo) a 13) 3 ie lol (eh erro een ee aera fetoeate TL Figura 11,14 Contomo mellado de C para el ejemplo 5 En los problemas del | al 10, calcule la integral trigonométrica indicada. (a ee 1+ sea% [ swe iF imren pe Fee (eee ne ee sen? T+ 05sen| = 5 [ cos 0 r Cc —_— a, (7 2826 |, 3+ send |, 1+ 30s J, 5 de088 7 4 — s. I sa ipgp A (Superenca: Sea 2m ~ 0) to. { corer aid 11.6 Caleulo de integrales reales A 511En los problemas del 11 al 30, calcule el valor principal de ‘Cauchy para la integral impropia indicada, «fate © + 7 +9) x [st % it a [sta v5 | ties a |” SEIS ip eel Sr yerg® sss, , @+ Nara) En los problemas 31 y 32, utilice un contorno inellado y resi- duos para comprobar el resultado proporcionado, ds 33. Compruebe el siguiente resultado general a) an [ ( cos Oe? 1) ¥ utilicelo para verficar a solucin del ejemplo 1. 34, Comprcbeel weve resultado general E a+ boos” a>t {y utilicelo para verificar la solucién del problema 7, 35. Utilice el contomo de la figura 11.15 para cemostrar que get = VP pp ett= rag OSes h y 2ai x c Figura 11.15 Contorno 7" del problema 35 36. La temperatura de estado estable ur, y) en una placa infinita esté determinada por au, Pu ot +7 0, O0 2y WON=0, ules) =p y>o u(0)=0, O 3es 2°" + 327? + 95°? + «+, Como existe ‘un némero infinito de potencias negativas de z =< ~ 0, = O-es una singularidad esencia. 4, Las dnicas singularidades posibles en una funcién racio- nal son los polos. La funcién f(2) » tiene una singularidad esencial enz=1. = 1) tiene una singularidad re- 7, La funcién f(2) = z(e~ 1) posee un cero de orden 2 en 8. La funcién f(2) = (e + 5)/2* sen*z) tiene un polo de orden“ enz = 0. 9. Sifte) = cot mz, entonces Res(f(2),0) = 10. La serie de Laurent para fque es vida para 0-<[e ~ Il viene dada por @- 0" grt 1 enn eo @-y- +4 512 CAPHTULO 11 Series y residuosDe esta serie se observa que ftiene un polo de orden enz = Ly Res( f(@), 1) = 11. El cireulo a convergencia de Ia serie de potencias Saar ae 12. Laseriedepotonias SY 55-5 comvergeens = 21 { 13. Encuentreunaexpansin de Maclaurinpara/() {Sugerencia: Utilice la identidad eos z = (e* + &°*Y2.) 14, Muestre que Ia funcién f(2) = Wsen(a/) tiene un ni mero infinivo de puntos singulares, ;Algunos de estos puntos singulares son puntos sislados? En los problemas del 15 al 18, utile resultados conocidos ‘como ayuda para expandir 1a funcidn proporcionada en una serie de Laurent que sea valida para la regiGn anular indicada, 19, Expanda f(@ cen una serie apropinda 27 4t3 que sea vilida para @ kel by 13 d) O<|e~ <2 1 20. Expand f(z) en una serie apropiada que sea vilida para a) ki<5 b) bl>s ©) 0 0 [Sugerencia: Considere — ws [aie " c0s30 * 35, Uilice un contorno mellado para demostar que = 1 —cosx 7 n; | ee [ rar 36, Demuestre que Jz%~* cos br dx = Vr /2a considerando la integral compleja fe**'e*de alo largo, el contorno C mostrado en Ia figura 11.16. Utilice et resultado conocido f%e-“ dx = Var/a. Figura 11.16 Contomo del problema 36 37, Puede mostrarse que la expansién de Laure rafts HYP que es valida para 0< Id 6 f(2) = Sioa (wie, donde Jw) es la funcin de Bessel de nue tipo de orden k. Utiice (4) de la seccién 11.3 y el contorno [el = 1 para mostrar que los coeficientes J(u) viene «dados por ike) = zs [cose — usen de 513