caprrvco TIT Integracién Las integrals son muy importants en el estudio de funciones de una variable comple. La torfa de inegracién aque deserrllaremos en este capital es notable por eu elegancla matematica. Los teoremas son, en general, concise Y potentes,y sus demostraciones muy sencillos casi siempre. Le teara tiene, ademés, mises aplicaciones ex Motemsticas Aplicadas on objeto de introduc as integrtes def f(e) de un modo sencilla y elegate,estudlacetios primero las ceurvas complejas 2(0). Bn el curso de calculo integral (varias variables) se considera el concepto de derivada de une funcién vectorial f PRM 1 = (L010... Sal) donde J, : [a,6] +R. La fancién vectorial f es diferenciable en el (2,4) (en los puntos a y b se trata de las ‘derivadas nilaterales) si, y s61o si, las funciones f, son diferenciables para todo t € [a,0) y PO = (LOO. Snl®) 'n primera aplicacién de funciones vectoriales som las curvas en el plano R® spi, se coloea sobre el papel (el punto anicial de la curva) y se mueve Todos sabemos Lrazar una curva en un euaderno, se eoge 1 lipiz sin levantar la punta del papel. La punta del Lépiz ribird una curva sobre el papel, y al terminar se levanta el lépiz fen el punto final de la curva, Si se comienza a mover el lspiz en el momento de tiempo t = 0 y en £ = ty finaliza la tarea de di- Dujar la curva entonces a medida que el tiempo transcurre de 0 fg la punta del lépiz se moverd continuamente del punto inicial A hasta el punto final B 0 sea que a cada tempo t (0 <1 < to) coresponde tna postcidn de la punta en el plano del naderno, Si introducimos los ejes coordenades en el plano del euaderno, lo posicién (2,4) de la punta de lipiz es un funct6n del tiempo tf, donde t varia de 0 a fs, digamos faicilyt=0 XReay— zeal) yaw Las fanciones z(t) y y(t) deben ser continuas para que el punto (2(#), y(t) sin levantar la punta del papel represente el movimniento del pix MBs ampliamente, decimos que una eurva C 1 determinada por dos ecuaciones reales z=x(t) ce @ astss (paramotrizacisn: (0) = (2(9,90)) 1) { y=stt) ‘ donde (0) y y(t) son funciones continuas en el intevalo [a0]. En esta ideaizacién matemética, no hay que i pretar el paramelzo (como el tiempo, solamente (es un pardmetzo que varia de a hasta b. Si cousideramos la curva en el plano complejo C, en lugar de dos ecuaciones reales (3.1) se forma una ocuacién compleja, cfs AD= x) ti) ated (32) 56El msimero complejo 2(a) = complejo 2(6) = 2(b) + iy(@). )) + ty(a) es el punto inicial de la curva y el punto final de Ia curva es el miimero [Definicién 51. Arco y curva de Jordan BL arco C es un arco simple, 0 arco de Jordan, si NO se corta « sf mismo; esto es, si a{ty) = 2{ta) cuando ty # ta, Cuando el arco C es simple excepto por el hecho de que 2(b) = 2(0), decimos que C es una curva cerrada simple, @ curva de Jordan. Ejemplo TL. Indigue cules de los siguientes arcos son curvas de Jordan, Hit so 0 tal que [J(2(0))] Gz} F{z}=0 > (G~FY(2) POA > G2)-Fa)= donde 2» es una constante compleja, Bi siguiente teorema establece un eriterio para saber eusndo el valor de la inte; ceusnado la integyal sobre un camino cerrado os cero. al es independiente del camino y 8Teorema (Griterio de independencia de caminos } Sea f(z) una funcién camplesa continua en un dominia D. Las siguientes afirmaciones son equi-| valentes entre sé 4) f(z) tiene una primitive F(z) en D 1b) Las integrates de f(2) sobre caminos contenidos en D, com punto intcial 2 y punto final 22 Biados, tienen todas el mismo valor. 6) Las integrates de f(z) sobre caminos cerrados contenidos en D tienen todas valor cero + NOTA: El teorema NOOOOOO afirma que alguna do osas propiedades sea vélida para una f dada en un cierto dominio D. Lo que afirma es que si una de ellas es cierta entonces las demés lo son necesariamente. ‘Teorema 60 (Fundamental del Calculo para integrales de caminos). ‘Si f(z) tiene primttiva en un dominio D podemos generalizar el Teorema Fundamental del Cileulo para integrales de caminos C en D, esto es, 22) - Plas) [toae= [ netoyetnae= Ftaeey|, = Feo) — FE) Ejemplo 80. Calcule la siguiente integral [ ade Sol: Dado que f(z) = 24 es continua en C y Fle) raminos en © = es una primitiva de f, Luego TRC para integrales de (+9 1 Sot Dato awe fe) = Hex comin on €\(0}y Fe) ==! ev aa prima defen €\(0) po Teme 62 tenemos que Ia integral sobre un caraino cerrado es cero, Por io tanto, [3-0 Ejemplo 82. ttle [| donde C ex ln circunerencia z(t) =e", —x < £< x oriented postivamente Sol: La funcign + es continua C\{O} y F(z) = log(2) serfa su mejor “primitiva’. Lastimosamente, F an ol corte de ramificacién, pues ni siquiera est dofinida En particular, # utdizamos la rama cualquiera del logatitimo log(z) NO es derivab log(z) = Inr) +19, <0 cat In vemos que F(z) no existe en el punto de interseccién de ese vayo @ = ay el carina ©. Pues, C’ no esté vontenide en un dominio donde F"(2) ~ 4, Por lo tanto, para resolver esta integral debemos usar tna combinacion de dos primitivas distintas Consideraaos un catnino C', que es la mitad derecha de Ces decir, we, Ecos? Sobre este camino consideraromos la rama principal del logariteao Log(z) =In(r) +18, - << 4Hi ribite Ramiee Bntonces ¥ consideremos la siguiente rama del logstitmo log(z) = In(r) +8, 0<0.< 28 ofS arog) = oe-2i)— ota = (nc +8) — (tc) +68) = UC tenemos Hf Hef Bonteian Ejemplo 83. Halle I 214dz donde Ces el camino cerrado orientado positivamente dado por la grétiea Sol: Note que si consideramos cualquier rama de la fancién multivaluada 24/* = -vFet/®, la integral no se puede hacer pues no esté definida en el punto de ramificacién, Pero si consideramos a © como la unién de dos caminos —C; y C2 podemos [ate [are [2% = [price [te ‘Asi que para caleular la primera integral consideramos la rama de ye3t PR aye, Foe vie 3889 2 asa —2yaiagsinra, © 9 3 cate definida sobre C; y para que le primitive 328 = 2 , Bc 0< eat definide sobre Cy [sve Para Zon = 2ephe Leper? =2vi0+9 Ahora, calculemos la segunda integral. Para ello, consideremos la rama Bart, Sean 2 egyragrie _ 2 egysr2gsin = Foyer — 33) = 25-143) 3.3. Teorema de Cauchy-Goursat Anteriormente, vimos que si una funcién continua f tiene primitive en un dominio D la integral de f(2) a lo largo de todo camino cerrado C contenido en D es cero. A continascién presentamos un teorema que impone otras condiciones suficontes sobre una funcién f para que su integral sobre un camino cerrado simple sea cero 8Sea Cun camino complejo cerrado simple {f es snalitica en C'y en el interior de C entonces [ie [se "(hae mees f(2(¢)] = u(x(t), ¥(t)) + iv(z(0), (0) ¥ 20 = 2'(0 + iv'(O). Por ende = 2{t) con a StS brecorrida yi 2(0) = 2(0) + y(t) © a(t) + ay! ()ae [sow [ ‘ulz(), )) + io(2(e), ule Lugo, [se= [oe u(0)2"(0) — v2, vow Oat &f et0.n}210 + oat ato au En términos de integrales de linea de fumciones reales de dos variables reales tenemos que Ia anterior integral se puede escribir de la siguiente forma: [seve= Recordemos un resultado de Cileulo que nos va a permitir escribir las integrales de linea como integrales dables ude —vdy +4 [vide + udy. ‘Toorema 61 (Toorema de Green). Supongamos gue P(x, ) y Q(z,y) ast como sus derivadas parciales de primer orden, son continuas cen la regia cerrada K formada por el camino cerrado simple C' todos los puntos de su interir Batons I Pe + Qay If (Q.- Pda. aplicando el Teorema de Green tenemos que Bntone [sede [aes Conan es [Sars bay = ff. enta ff ona [fou fou hhomos usado el hocko de que f os analitica en 2 y por onde satisface las cousciones de ‘aucky-Riemann ty ~ vy € uy = —vy. Por tanto, si fos analtica en Fy {’ es continua en R entonces L Fate resultado fue obtenido por Cauchy en el primer tercio del siglo XIX. 2 1 dltma ecuacié (2)d2 = 0 Una ver probado que ol valor de esa intogral es coro, la orientacién de C’ os irrelevante pues si © recorre on sentido negative Heide — J sleide 0 ‘es tna fancién continua en todo el plano complejo. Ast que, I era (es composicion de funciones enteras, p(2) = 24 y glz) = e#). Ademés, deo. 66NOTA: Goursat fue ol primero en demostrar que la continuidad de f” puede ser omitida. Reta observacién es muy importante y por eso la versién modificada del teorema de Cauchy se conoce como sorema 62 (Teorema de Cauchy-Goursat) Si f es una funcidn anatitica en los puntos de un eamino cerrado simple, y en todos los puntos de Sw interior, entonces [sous Ejemplo 85. Coteute [ ia Sol: Como || = 1 es un camino cerrado simaple y el dominio de analiticidad de la fumeién f(2) lot Homple 86, $i deta alg eostaro cea que ence en dco abit sie ajenonee [a0 tenemos que ella es analitica sobre |2| = 1 y Sol: Dado |2| <2 es un dominio simplemente conexo y que las dos problemas 2 = +3 del integrando son exteriores a este disco entonces afirmamos que f(2) = en Cy en el interior de C. Por el Toorema de Cauchy-Goursat Dominios simplemente conexos y miltiplemente conexos [Definicién 63 (Simplemente conexo). Un dominio D se dice que es simplemente conezo si todo camino cerrado simple contenido ‘en él encierra slo puntos de D, Cuando un dominio no es simplemente cones es riliplemente conezo Bjemplos sencillos de dominios simaplemente conexos son los efteulo con centzo en 29 y radio r y un ejemplo de regidn encerrada por dos citcunferencias coneéntricas. un dominio miltiplemente conexo son los anil conexo NO tienes huecos y un dominio miltiplemente conexo De manera colonial un dominio simplement SI tiene huecos FTeorema 64 (Cauchy-Goursat dominios simplemente conexos ). Sif es una fanessn analitica en un dominio simplemente coneza D. Entonces [seu=0 para todo camino cerrado C' contenido en D. Jes analitica en todo punto interior a ra la valides, ido en D, la funci ‘Dem: En el caso en que C sea simple y esta con Cy en todo pus de C; y el teorema de Cauchy’ Ahora supongamos que Ces cerrado pero intersecta consigo mismo un niimero fintlo de voces como ilustra la Figura, Por lo tanto, C = C,UC;UCs UC, donde C; son contornos cerrados simples. Luego [poe-S [ sone-0 oTLas sutilezas aparecen cuando el comtorno tiene infnitas sutointersecciones. Un ejercicio en el Taller ilustra un odo que resulta eficaz con frecuencia para probar que el teorema C-G es todavia aplicable. . Toda funcién analitica en wn dominio D simplemente conezo tiene una primitive en D. Dem: Por el eorems 64 tenemos que J f(ehis ~ 0 pate todo comino cerrado Ce D. Luego por Teorema 62, (ver ¢) =) conclnimos que f tiene us pritsitiva en D. . firma también que toda funcién entera tiene primitiva pues el plano complejo es Observese que este corolario xn dominio simplemente conexo. [Teorema 66 (Cauchy-Goursat pa a dominos miltiplemonte comes) Sif cs una fencién analfica en une regién R acolada por wna curva © = C,UCe orientada positivamente (ver grafico), entonces [toa (:)dz es decir, existe una deformacién de Cy a C; Adicionaimente, [slots = [ ‘Dem: Consideremos unos cortes eruzados horizontales (ver Sigura 2) de manera que la xexi6n R se divide en dos subregie simples orientadas positivamente implemente conexas R y Ry y forman dos curvas cerradas Dy y G. Por tanto [ose [tote [ sener [toe Recuerde que f es analitica en K en particular en Ky y Hp. Observe que las integrales sobre cortes cruzados se cancelan es decir, no aportan nada, sélo contribuyen las integrales sobre Ch y Cy, Kn otras palabras, om ff serdes sete ff sears f seaae= [seas seas Por la tanto, tenemos una especie de deformacion do la curva C2 a la curva C [os pues . Une sonoesuancin expecilmente importante del Teorama os l coloratio siguiente Torclario 67 (Principio de Deformacign de Caminos) ‘ Sean Ci y Cy eaminos cerrados simples, orentados positivamente donde Cy es in terior 4 Cy. Suna furcidn f es analitica en la region Roel menos en la repdn comprendida entre ells) entonces [ nowe= [pore ‘Dem: Como la funcidn es anaitica en Men particular lo es en la egién comprendida po ls eurvas C; y ~C’, luego pore! Teorersa 66, [ ede= [ sedde— [Heyes esto fnaiza la prueba . 8+ El corolatio anterior afirma: Si se deforma C, hasta convertirlo en Cs pasando siempre por los puntos en los que f es analitica, entonces el valor de la integral no cambia, [, foae= [sou = Esto Corolavio nos permite DEFORMAR siompre una curva arbitraria Ca una bola abiorta B(o, R) ~ 20] < R contenida en el interior de C [row wien Ejemplo 87. Cateute [© donde © es evar canine cerrado simple gue contene al dion [| <2 oretader postivamente Sol Dado que en el Bjemplo 82 ealulamos | — ans, Por el principio de LY eine deformacién de caminos tenemos L & 2 ani 3.4. Férmula Integral de Cauchy En adelante de vamente ‘Toorema 68 (Férmula Integral de Cauchy (FIG)). Sea J analitica en un dominio R. Siz) es un punto de Rg. Entonces so)= 2 [| Bw i |. varemos por 7, la segidn R conexa y cerzada cuya frontera es la curva C orieatada posite ‘Dem: Sea C, una cizeuferencia orientada positivamente de 2 ~ z| = p com p sulle ientemente pequoio para que C, sca interior de C' (ver figura). » Dado que la funcién también os analitica ((emtz+ )) Tas eurvas Cy Cy, del principo de deformacidn de caminos tenemos que [wp Be ss Natese que esta igualdad es valida para todo radio p > 0, por lo tanto p puede ser tan pequefio como uno quiera: asi, tomando limite cuando p 0 también es valida, LO) 4 Luego observe que Hed Hd,, 7 TIT), [ La. cyHi ribite Ramiee Solo falta comprobar que L ae dz = 0, Como f es analitiea en zp y por tento continu, para cada €>O existe un 550 tal que If 2) flea) <« siempre que Come Hey at og |f MaMa ef /D=LDas El miembro de la izquierda es esta desigualdad es una constante > 0 y menor que un mimero positive 2re (puede ser arbitrariamonte pequofo, luego debe ser cero. Es decir, £2) NOTA: La anterior férmula es conocida como la férrmula Integral de Cauchy. Esta férmula indica que los valores de f en el interior de C' vienen determinados completamente por los valores de f en C. Ademés esta formula pos permite calcular ciertas integrales sobre caminos eerrados simples [Phen mse. Zaz donde © es ta exreunferencta |2) = 2 orientado positivamente Observe que f(2) os analitica en a= [Las coin 0) = C\{23}, en particular f ot anlition en ) y como ~i € Re, Kntonces par FIC Loan Wiempl 8 ese [ 28 dnd oa sane |e =2 ado psa sor obs gue [ particular f os analitica en 2 y comoa I. Ejomplo 90, * Desostie [| de =0 [ft sons Je) = eas. Ot ge) oan en 8 Reg. Bntoncos por FIC ME de = Di f(t) = 2riet seni Sol: Bs una aplicacién directa del Teorema de Cauchy Goursat ya que la funcién e* es analitica en el interior y sobre el camino cerrado y simple |2| = 1 dz Hemplo ot Caaie [2 Sol: No es diffe! darse euena que NO es posible aplicar FIC directamente. Usando el y principio de deformacion de earninos afirmamos que hor L Ahora $I podemos aplicar la rmula integral de © LF [ogy ee) +2ni 0) — ani aon(a) sen(=1)3.5. Derivadas de Funciones Analiticas togral de Cauchy es que si una funcién es analitica en un punto existen sus eas on él. Para probar esto, Va consecuencia de la férmula I erivadas de todo orden en ese punto y a su vex las derivadas son funciones anal gral de Cauchy Teorema 69 (Extensign Formula Integral de Cauchy (BFIC)). Sea f analtiea en un dominio Ra. $26 Re Il en general, EFIC de grando n esta dado por La) ‘Dern: {(n0 rigurosa)) Derivando con respecto a. € Rg la Férmula de Cauchy wea= ef ya £63) is mle =F te onde « denota puntos sobre C. (Obviamente existe una demostraciin mas rigurosa pero no la hatemos). Para la férmula (2) es necesario una prueba por induccién, . f es analitica. Luogo BFIC nos garantiza Ta existencia de f"(z) en un entornos més pequefio. Por ejemplo, PO” fe, B=3 srno de | ~ 2| < ¢/2. Por tanto, como f” existe implica que f es donde Cp soa el analitica en 29. Podemos entonces aplicar el mismo argumento a la funcidn analit f'(z) para concluir que f" es analitica y asi succsivamente, . Gorolario 71 Si f(z) = ule, y) + fo(e,y) es analiica en un punto 2 = 2+ ay entonces u(c,y) y (zu) tienen derivadas parciales continuas de todo orden en 2 = (2,4) Dem: Como f es analitica en un punto = = (2,y), por Toorema 70, fy f"" son analiticas. Por onde, f" y f" son contiouas on =~ (x,y). Y como J (2) S01, Omer que f t Ri yquede R, t= J Lehre onde 6) 1 tov dad fe) ain Ts fancién f(z) = 1 para n podemos afiemer que Laer attgpr Monde © a drcunfeonca |2| = 9 orentedapostivamente Dei f(z) = 0. Ejemplo 96. Cateue f SOL: Claramente no podemos aplicar EFIC directamente, Apliquemos fracciones parciales A+o-2A~ B40) +2(A+B) ig Lego, A= 1 B= Ly C= 1. Por ende, cada una de las intograles a la ds Ly obtenemos Finolicemos esta seccién con este interesante teorema [Teorema 72 (Teorema de Morera Sea f una funciin continua en vn dominio D. $i para toda camino cerrado C contenido en D entonces f es analileca Done Da af primitiva en D, esto (2)dz =0 para todo camino cemado C' contenido en D entonces por Teorema 62, f tiene existe una funcidn analitica F(z) tal que F(z) — f(z) en todo punto de D y aplicando | Teorema 70 a la fancin F concluimos que todas las derivadas F) existen y son analiticas en ese punto, En particular F = f es analitica . NOTA: Cuando D es simplemente conexo nos encontramos ante un recfproco de la extensién del teorema de Cauchy Goursat para la clase de funciones continuas en D. 2Consecuencias de la extensién de la férmula integral de Cauchy Proposicién 7 (Desigualdad de Cauchy) Sea f analitica en B(2o, R) y suponga que |f(2)| 1 tiene al menos tun cero, Bin otras palabras, eziste al menos un punto 29 tal que P(2) ‘Dem: Por contradiceisn, supongamos que P(2) # 0 para todo = ¢ C. De manera que la func! 1 1O= 75 es entera Afirmamos que f es acotada: En efecto, para ello re-escribamos a P de Ja sigueinte forma ta,)3" (6) Nétese que podemos encontrar un nimero R > 0 suficientemente gronde tal que para |z| > R ((esto es, los = fuera de una bola de radio R)), donde podemos controlar a ju lal 4 fama) Jao), lead, aad a Pa fa R, Por otra parte, como f es continua en |2| < R, también es acotada en Ina = siempre que |2| > R < R, entonces es acotada en todo ©, Por el Teorema de Liouville f(2} es constante y en consecuencia P(2) es mnstante, Pero P(z} NO ee constante porque su grado 6s mayor an > 1 . Gorolario 76 (P(2) tiene n ralcos complejas) Too polinomio P(z) = ag-bayz+ag2?+---bay2" de grado n tiene m ratces compleyas, 1 se puede descomponer como producto de factores lineales P(2) = lz — 21) ‘Dem: Del Teorema Fundamental del Algebra sabemos que P(2) tiene wn cero en 21 y por ende P(e) = (2— a) Q(2), donde Q,(z) e8 un polinomio de grado n 1. Si ahora aplicamos el Thorema Fandatental del Algebra al polinorsio Q,(2), existe un miero 2p tal que P(e) = (2— ale — 22)Qa(2), donde Qa(2) es un polinomio de grado n ~ 2. Continuando con este proceso se Hoga a (3.7) . NOTA: Algunas de las constantes 24 pueden aparecer més de una ver 1 raices complejas sto es, un polinomio de grado n tiene Principio del modulo maximo En esta seccién demostraremos un importante resultado sobre los valotes méximos de médsilos de funciones analiticas, [/(2)] Temma 77 (Modulo maximo local). Sea f analitica en B(zo,«) y supongamos que existe wn 25 € B(zo,<) tal que LED SFLGo)],¥z€ B(eo,<) tiene mézimo, Entonces f ex constante en (20.0), S(2) =f Dem: Sea z € Bl20,¢), con zi # 20. Sea dist(za, 1) = p ¥ Cy la eixcunferencia parametrizada por 2(F) ~ 29 + pe, con 0 << 2x. Por la FIC tenemos so= yf, Eten 2 f° Meee tty = 2 [hese Lo anterior, muestra que si f es analitica en T{zo,), enlonces su valor en el centro del disco os el promedio de sus valores sobre la citcunferencia. Este resultalo se conoce como el Teorema del valor medio de Gauss Entonces 1p iy seo) < Ge Leo vee (8) Por otra parte, de la hipétesis sabomos que |f (zo + pe't)| < |f(za)| esto implica [reo eotyaes [rete = ite ae ante ™Asi que, Lope [seo wet yae < ro) (39) aa [Milo + et < (10) 8 De las ecuaciones (3.8) y (3.9) tenemos que 1 pe ie = of Ura + pe. Lees, . [Weel 10 pe] a0 = Por lo tanto, [f(z] = [feo pel) lo que es equivaente a |f()| = |f(2] para todo 2 € C,. Y como 2: fae un punto arbitra del enorno O © [2 ze-< e, vemos qe if) [f(z se setistce para Bleo,¢), Bato pice ecoariamente que, (2) ~ f(s) pare todo © Pca) 7 PTeorema T8 (Principio del Médula Maximo) Si f es analitin y no constante en un dominio Re, entonces |f(2)| no tiene valor idrimo en Re. Bn otras palabras, f(z) aleansa su mérimo en C. Dem: Por contradicciin, supongamos que |f(2)| aleanza un méximo en algiin punto zp de Ry, 68 decir, SES flo), V2 € Re: Luego, por el ema anterior f es constante, (2) = f{2o) en Re, pero esto es una contradiccion ya que por hipétesis JNO es constante en Ry 7 NOTA: Note que el corclaio implica que vi f(z) = u(e,y) + foe») a compones sniximo en Ia Irontora de R y n0 ens inlerioe donde w os arménica, Par ello, coms 1c u(y) tambi la funeién gle) — 2) la cual es continua en R, analitica y no constante. Por ende, sete) entonces pot el corolario anterior |g(2}| debe alesnzar sx méximo en la frontera de R. Y como le exponencial es reciente entonces u(x, y) también aleanza su méximo en la frontera de R, Ejemplo 96. Sea K la vegién rectangular 0 < 2 < m, 0 < y <1, Demuestye que sen(2)| aleanza su valor méximo en la frontera de R. , SOL: Claramente Ta funcién f(2) = son(z) es continua, analitica y no constante en el'| hp interior do R. Por otra parte son(s)| = y/eon®(2) + senb*(y) y Ja fancign sen*(2) aleanaa su madxinoo en x — 7/2 y senk*(y) o8 méximno para y = 1 tenemos que el médlo sen(2)|elcanza su valor /2,1), Lo cual comprucba el cotolario anterior, pues el médulo de f debe alvanzar un valor maximo en algin punto de la ftontera de R y no en el interior de R -Teorema 79 (Principio del Médulo Minimo). Sea f es analitica en un dominio R. Si existe ac Ry tal que V@|S|s2| VEER, Entonces f(a) =0 0 f es constante,Dem: Si f(a) = 0 no hay nada que most Definamnos Ia fancidn Wz © R,. Supongamos pues f(a) 4 0,¥a € R, Claramente g es analitica en R Vee R, Aplicando el Lema 77 76Sucesiones y series Una fancidn f= N

0 existe un entero tal que leu— 2 <¢ — stempre que n> N. Geometricamente, es0 significa que, para valores grande de n, los puntos 2 estén en un c-entorno de 2 = Bl valor de NV dependers, en geneval, del « prefijado, + Para ¢ pequetios inaplica en general un NV muy grande. 1 Bl limite =, si existe, es tinieo. Cuando exist. este limite, se dice que la sucesign es eonvergente y que converge a 2. Bn tal caso, escribimos + Sila sucesidn no tiene limite se dice que es divergente 0 que diverge [Teorema 81, Scan i =a, — Wn ye—a+ iy. Prtonces lin a = 2 sty solos dimae=2 yim =. Dem: (=) Supongamos que lim 2, =. y que lim. ya = y, entonces para cada ¢ > 0, JN;, Nz € N tales que, z| My lym —9| siempre que n> No ‘Tomemos entonces un Ny > Ni, No de tal manere que Zn ¥ Yq estén asin més cerca de sus limites, esto es, No uss pre le Ahora observe que sin > No entonces len — 2| = l(t + tum) ~ (© + iy)] = [C@n — 2) + idm — 9)1 Slew — 214 low vl < 5 +5 =e = Keen + ye) ~ (e+ =| (vn 9) ee a Por tanto, lia 29 = ¢ (—) Ahora supongamos que isn 24 = iy €N tal que n > No entonces Je-al 2, dependan dele convergencia (divengencia) weds Dw Esto implica que podamos usar varios criterios conocidos para de series reales. Recordemos enon de series reales algunos eriteriog Criterio del termino r-ésimo Si iy aq #0 entonces > diverge. SOS acd y on es convergenteentonsee 5a converge = Criterio de Ia integral. Suponga que ay, > 0 y que f es una funcién continua, decreciente, con valores tonees So an y [rev sambas con positivos para x > 1. Si f(n) = ay para todo entero n > 1 ° dlivergen 91 AL. si p> 1 tn seve converge. S10 < p <1 la sere diverge Yd spot ge. S10

se dice que es absolutam le convergentes si la serte de niimeros reales LOVER es convergente Derm: 5 [za] converge entonces por defini 6a, 39 VATE converge, pero sabemos gue en) $v FUR por el criterio de comparacién de series reales, las dos series Viel y Vival son convergentes. Y como toda serie real absolutamente convergente implica que es convergente, es decir Yo convergen 2 ey valores a los que convergen las anteriores series. Luego, tenemos que, xy =Latidm Por la tanto exist 2 converge i Bjomplo 99, Demusstie que a sere Yo FE cs convergent Sol: Analicemos la convorgencia absoluta, esto es, Sa |-oaerio de la serie p. As{ que por el criterio de comparacisn para series reales 1 po ents So bi we ‘Toorema 87 (Criterio del Gociente). + SiL=1 eleritero fala y no decide, > puede ser convergente 0 divergente. FTeorema 88 (Criterio de la ralz r-ésima). Sea $2 2u com zn £0 9 i. Te = i entonces + SiL<1, la serie J ay converge © SiL> 1, la serie Say diverge. + SiL~ 1; el entero falta y no decide, J” zy puede ser convergent o divergente Note que si la dentro de la rate ni ie es real estos dos eriterioe son vilidos y no son necesatios los médulos (excepto el médulo ima). Bjomplo 100. Determine ts convergencia de > (4 ;) Sol: Dado que aye a ) rmino neésimo la serie es divergente entonces por el eiterio del Ejemplo 101. Demuestre que la Serie Geometric Sol: Consideremos la suma parcial $= 1.4 2} 24 es decir Observe que 5 =e) por yb Sol: Claramente esta serie es geométrica pues A 3 <1. Porto tanto, Jo jemplo 103. Determine la convergencia de 3 <>Variable Complejo Hi ribite Ramiee Sol: Primero observe que la serie real J (2)" “hace parte” de usa serie geométrica con razén (rj = [2 = ~ oe or oto Ido tare el D> orks So y converge & cesta tiltima serie converge (serie p) Asi que pore teri de comaparacién conelumaos que 7 <1 catabin es convergent, saver Te UUsondo el Teorema 88 afrmamos que la serie compleja J + + (2) os convergent Ejemplo 104, Determine la convergencia de > + 3 £ tasere Sol: Note que la serie real ) diverge por el eiterio dela serie p= 1/3-< 1. Entonees )> = diverge. (Reewerde que el Teor 83 dice que San converge sis Ia part real e imaginaia converge y esto no sucede,) (10+ 154)" Bjemplo 105. Detormine a convergensia de >? Sol: Como el 2, involucta tn factorial, wtlizaré el Criterio del cociente, Para ello, consideremos oss (aoe60" 0416 Yin PST = tim | = ig 20+ HHL co ie, | gaa aT Batonces la serie converge. ayn ae Bjomplo 108. Determine a convergencia de > Sol: Como todos los términos estén elevados al exponente n vemos que es iil usar el eriterio de Ia raiz. n-ésima. Para esto, observemos || =i" ta lesan tg ew v2 _ | oi eaq yg 7 Vs Entonces Ia serie converge. Bjercicio 6. Indigue ciales de las siputentes series son convergentes. Sf ti \" 3 Ss (4é)*nt oS (a) lar oe 24.1. Convergencia Uniforme de Sucesiones y Series de funciones En esta seccién daremos un paso més adelante en el estudio de sucesiones y series complejas, akora nuestro interés ters estudiar conv -gencia de sucesiones o series de funciones complejas por ejemplo, slid 10-9 7 a ys ane Laer [Definicién 89 (Limite de Sucesiones de fanciones). Sea {tin(2)} una sucesién de functones compleyas de z y untvoeas en una regién del plano 2. Entonces lim wale) = UE), si dado «> 0 puede hallarse un rsimaero N [que suele depender de ¢ y de 2] tal que tun(2) —U(2)| < «para toda n > N + Si es asf, se dice que la succsiin {24,(2)} converge o es convergent 1 Si una sucesién converge para todos lor valores (o puntos) 2 en tna regidn, se dice que es la regién de convergencia do la sucesién. Si una sucesisn no converge on alfrin valor (punto) z, se diee que es divergente in general, el miimero A’ depende de e y del valor particular de z. Sin embargo, en ocasiones podemos encontrar un némero NV’ tal que Iun(2)- U(e)) <€ para todan > N. once ese mismo mimero N sirve para toda 2 en una regidn [es decir, NV sdlo depende de ¢ y NO del (punto) £ en la rogidn|. En ese caso se dice que {¥n(2}} converge uniformemente a U(2), para toda 2 en R. Ejemplo 107. Empleando la definicién, demostrar que itm 1~= = 1 para todo Sol: Dado un ¢ > 0 jo, debemos hallar un N tal que observe que p+e-a- 21s {a convergencia es uniforme? Bjemplo 108. Probar que la sucesiin de funciones gue |2| > 2 Sol: debemos encontrar el Ven térn 0] NV. Observe que, 1 a= 1 > [l=nel>e Pero, sabemos que 1 Med = [11+ 16 N hallado depende de ¢ y de =. por wrado que converge a cero para |z| > 2. Si queremos convergencia uniforme debemos gue NO depende de = pero que cumpla la misma desigualdad. Observe que > [Ltne| > E,entonces n > lo tanto solo Lenemos asey pues [2] > 2duce Ve {Si la regién fuese |2| > 6, (5 > 0 arbitrario) habria convergencia uniforme en |2 > 6? La sucesiGn siempre converge a 0 para todo 2 © C? Definicién 90 (Serie de funciones complejas). Sea {uun(2)} 1na sucesién de funciones complejas definimas Sele) = le) + wale) oo tale) + la cual recibe el nombre de serie de funciones complejas. * Silas sumas parciales 5,(2) converge uniformement para todo = 6 R 4 5(2), se dice que Yup converge uniformemente a (2) -A Reg(2) = una) + ungal2) + Sal2) se le conoce como el residuo de la serie después de n términos. Asi, de manera equivalente, se afima que la serie converge uniformemente a S(z) en R si ida zen R, para todo ¢ > 0, puede hallarse un 2 mero NV tal que para te [Rn (2)] = |S(2) ~ So(2)] para toda n> Ejemplo 109. Probar que 57 2"(U ~ 2) converge para [|< 1 y ealele su uma Sol: Veamos que {Si} converge para |2| < 1. Observe que Sk(2) = 2(1 21-2) (1-2) bora im S,(2) = mn 2 244 = 5 (pues [| < 1), Por tanto, > Esta convergencia es UNIFORME en |2| <6 <1? Observe que ce ee (kt inb|My converge enlonces S>uy(z) converge uniformemente en R. ‘Dem: Consideremos el residuo de la serie Yup (2), esto es, Ry(2) = S— Sy. Observe que Rule) = fase) +20 S ltnna(2) 1 tintaC2)] + bine) Muti + Mata + Mats + Dado que SM, converge por hipstesis, en My = 0, esto implica necesariamente que lor M, som cada ver muy pequeios, a medida que j > 00. P podemos tomar un JV lo suficientemente grande tal que Myst + Myst + Mpgs $20 Se para > Como Nes sin duda independiente de 2, se tiene Rq(2)| =|S(2) paran>N, con lo que YD ta(2) es uniformemente convergente Ejemplo 111, Verifique la convergencia uniforme en la regidn indicaday ) 2 ep com el < Sol a): Come | Sol b): Como n? + 2? se encuentra dividiendo entonces > |r" neg =| [af ant z arta] s 2 =v Sy conve, se condiye, de acuerdo on ol tro M de Woes (on Por tanto, My = 2/m {Porque la serie NO converge uniformemente si || = 10 si z= 2)? Teorema 92 (Conlinuidad de 5 Si un(2) son continvas en Ry Coup(2) es unsformemente converge en R, entonces S(2) es continua en R. Dem: sea zy 2+ hen R. Luego Sle +h) = Se) = Sule +h) — Rale-+) ~ [Sal2) ~ Role) Sole +8) —Sa(h) + Ro(e+h) — Roz) 8Dado que Sp(2) es una suma finita de fanciones cont encontrar un é tal que suas entonces debe ser continua , es decir que, Ve > 0 podemas Is(e-4A)—Su(t)|<£—eusndo |e +h~ |= Ih) <6 Por otza parte Dvia(2) converge uniformen 1e para todo 2, podemos elegir V tal que si n > IV entonces Ral2)| <= Ral +h) <§ (etml<5 Por tanto, + [Ra(2) Asf la continuidad en (2) se tiene . NOTA: LA importancia del Teorema anterior radica en st eo “Si la fumcién suana S(z) NO es continua, la serie NO puede converger unsformemente [Teorema 03 (Integracién término a término ). Si tin(2) son continuas en Ry S(2) = Ttua(2) es uniformemente converge a S(2) en R, entonces [dows > [wee donde C es una curva en R. ‘Dem: Dado que $(2) = Sq(z) + Rq(2) por of Teorema (92) sabemos que 5(2), Sy{z) y Ry(z) son comtinuas ex Re sus intograles existen, os decit, [sone [sstose [ave = furs [mtneerns [wiaees | = Dun(2) os uniformemente convergente, de manera que, dado un ¢> 0, puede hallarse un en tal que [Ry (2) Por hipstesis, la simero N indeper ) ~ Sa(2)| < e cuando n > 1. Si la longitud de le curva C [store [suleas| =| [Rates| Ry y para |z—a| = & pueda converger 0 pueda no converger AR sucle conocerse como radio de convergencia de la serie (1.1), y el efreulo z~ a) < de convergencia R, como efreulo Bjemplo 112. Hallar la regién de eonvergencia de Ia serie Te Sol: Usando el eriterio del cocient ramos que, m8) im | (242) (e+ipel” Fasap yr puesto que YS dr converge (serie), I sri también conve 50 en la frontera, Ejercicio 7. Hallar la regién de convergencia de las serves yyetatet i SSS eT ‘Teoremas sobre series de potencia [Teorema 95 (Convergencia series de potencia). Srpponga que una serie de potencias Yaq2" converge para z= za #0. Demuestre que festa serie converge: a) absolutamente para |2| < [zo 4) uniformemente para |2| < |zs|, donde a) Dem a): Como S).aq28 converge, entonces in daz = 0 asf que exist un AV tal que si n > N entonces Janz] <1 ee decir que, Por tanto, Slev2l= Yo lealle"i sO std sltima serie os una serie geométvica convergente si [z| < [2]. Por tanto Taq” ina | + D0 lenze| converge (abs) si |2| < [2 Dem b}: Tommando My = #ETL entonces 52My converge porque [2 < |z|. Pore tom a) lanz"| < My para al < [al < lal. Usando el eriterio do AM do Weierstrass, S>aq2” os niformemente convergent. 7FTeorema 96 (Algunas Propiedades). Si (2) = Saale ~ 2a)" 9 af) = S2bale ~ 0)" som series de Taylor alrededor de i en le 20] < R. Entonces ” * flelal2) = conocido como el producto de Cauchy = 24)" en el mismo disco |z x

2-0) “ e ay 2 PU i En efecto, supongamos que |f(s}| < M para todo € Cy. “ Por tanto, ‘esto concluye la prucba en el caso en que 29 = 0. Caso: 2 4 0 Supongemos entonces que f es analitica cuando |z ~ =| < Ry. Ahora dofinamos una nueva funcién g(z) = f(2-+ 2a) esta fancién 9 es analitica en la rogién donde f(z + 29) lo es, es decir en el disco dado por (2 + 20) — zo] < Ro. Por tanto podemos decir que 9(=) es analitica en el disco |2| < Ro, (caso anterior) tenemos asegurada la analiticidad de la serie de Maclaurin: (}<) —astpuee plete =o a} Tras sustituir z por z— 2 en esta ccuacidn, encontramos que 4) =Y PE ayy, (2-0) < Ro) 3Ho ribiaa Universidad Nesional de 5 Ejemplo 114. Algunos ejemplos 1 La funcisn e* es ontera asi que admite una reprosentacién en serie de Taylor alrededor do un 2p € € arbitrario, En ofecto, sea u = z ~ zo, (observe que la variable u queda centrada en 0). Luego, ye ey (os con convergencia a |2~ 2] <0 [don Cone oe Y -eowed pues 1 ~ (—1)" = 0 si nes par. De manera que lamemos n = 2k +1 con k = 0,1,2, Pues 1— (1)? = 2 y 241 = (yi = (-1)h. + Ls funcisn f(z) = 1 os analiticn excepto en + = ~1 tione Is siguionte rprosontacicn en serie de Maclaurin 1 - 1)"2" le 1 Tee eg EC elo site < = La funcién f(2) = 2 es analitica excepto en 0 tiene asociada la siguiente serie de Taylor alrededor de 2 Em efecto, sea u 7-1, (observe que la variable w queda centrada en 0) ss + Sey = Oey e- "para ful = |e] <1. 2 ise ay Ae 2 Ejercicio 8. Compruce que las sigutentes funeiones tienen las siguientes representaciones en series de Maclaurin 8) cos(s) = Se yo derive sen(z) wy sn) = SS tn pate sos(iz) use a) «) cosh(z) = > a ‘Sug: recuerde cosh(2) Bjemplo 115. Halle la serie de Taylor de — alrededor de = = 1 90