ELEMENTOS DE VARIABLE COMPLEJA

Transcripción

1 ELEMENTOS DE VARIABLE COMPLEJA SAMAEL NAVARRETE MOLANO Trbjo de grdo pr optr por el titulo de Mtemático DIRECTOR: JOSÉ JOAQUÍN VALDERRAMA Mtemático Universidd Ncionl Profesor fcultd de Mtemátics FUNDACIÓN UNIVERSITARIA KONRAD LORENZ BOGOTÁ Diciembre 5

2 INDICE GENERAL INTRODUCCION 4 I ESTRUCTURA DE LOS NÚMEROS COMPLEJOS5 NÚMEROS COMPLEJOS Y SU ALGEBRA5 AXIOMAS DE CUERPO PARA NÚMEROS COMPLEJOS 5 3 LOS NÚMEROS REALES COMO SUBCONJUNTO DE LOS NÚMEROS COMPLEJOS6 4 REPRESENTACIÓN CARTESIANA DE LOS NÚMEROS COMPLEJOS6 5 REPRESENTACIÓN GEOMÉTRICA 6 6 PROPIEDADES DE ESPACIO VECTORIAL PARA LOS NÚMEROS COMPLEJOS7 6 Pr l Sum7 6 Pr el Producto por Esclr7 7 ESPACIO VECTORIAL NORMADO 8 8 COMPLEJO CONJUGADO9 8 Propieddes del Complejo Conjugdo 9 9 REPRESENTACIÓN POLAR 9 9 Multiplicción de Números Complejos Bjo su Representción Polr 9 División de Números Complejos DESIGUALDAD TRIANGULAR 3 SUPERFICIE DE RIEMANN4 RAÍCES DE UN NÚMERO COMPLEJO 5 3 TEOREMA FUNDAMENTAL DEL CÁLCULO7 II TOPOLOGIA DEL PLANO COMPLEJO C 8 III FUNCIONES DE VARIABLE COMPLEJA 3 FUNCIONES 3 LIMITES 3 Propieddes de los Límites 3 33 CONTINUIDAD 9 33 Propieddes Algebrics pr l Continuidd 9 34 FUNCIONES CONTINUAS DE UNA VARIABLE 3 35 DERIVADAS 3 35 Derivds Prciles FUNCIÓN EXPONENCIAL COMPLEJA Propieddes de l Eponencil Complej MAPEO36 38 FUNCIÓN LOGARITMO COMPLEJO39 39 FUNCIÓN POTENCIA4 3 FUNCIONES TRASCENDENTALES4 3 CONDICIONES NECESARIAS PARA LA ANALITICIDAD45 3 CONDICIONES SUFICIENTES PARA LA ANALITICIDAD FUNCIONES ARMÓNICAS5 34 ARMÓNICOS CONJUGADOS5 IV INTEGRAL COMPLEJA 5 4 INTRODUCCIÓN A LA INTEGRAL DE LÍNEA5 4 INTEGRALES DE LÍNEA5 4 Propieddes de l Integrl de Líne54 44 FORMULA INTEGRAL DE CAUCHY6

3 CONCLUSIONES 65 BIBLIOGRAFÍA 66 3

4 INTRODUCCION Los números complejos fueron propuestos inicilmente en 545 por el mtemático itlino Girolmo Crdno en un trtdo monumentl cerc de l solución de ls ecuciones cúbic cudrátic Pr precir l dimensión de est propuest debe tenerse en cuent que el concepto de números negtivos pens hbí tenido ceptción que un hbí controversi en l relción con sus propieddes Ls cntiddes ficticis de Crdno fueron ignords por l morí de sus colegs hst que el genio mtemático Crl Friedrich Guss les dio el nombre ctul ls utilio pr demostrr el Teorem Fundmentl del Algebr el cul estblece que todo polinomio que no se constnte tiene l menos un cero Otro descubrimiento de Guss mucho más simple pero no menos importnte fue que l ritmétic de los números complejos introducid formlmente prtir de l relción i tiene un interpretción geométric sencill si identificmos los elementos de C con los puntos del plno Est interpretción puede considerrse como el punto de prtid del estudio nlítico de los números complejos En términos modernos C recibe l topologí de R l relción de est topologí con su ritmétic es l mism que se d en R 4

5 I ESTRUCTURA DE LOS NÚMEROS COMPLEJOS Números Complejos su Algebr De los ioms que gobiernn l relción < se deduce que el cudrdo de un número no es nunc negtivo Entonces ecuciones cudrátics elementles tles como por ejemplo no posee solución entre los números reles Ahor con los números complejos podemos conseguir soluciones pr tles ecuciones Result entonces que l introducir los números complejos se proporcion soluciones de ls ecuciones lgebrics de l form n o n donde los coeficientes n son números reles culesquier Este resultdo es conocido como Teorem fundmentl del Algebr Aioms de Cuerpo pr Números Complejos Por número complejo entenderemos un pr ordendo de números reles que designremos por L primer componente se llm prte rel del número complejo; l segund componente se llm prte imginri Dos números complejos e son igules escribiremos si solo si Definimos l sum el producto por ls cules stisfcen los siguientes ioms Aiom Lees conmuttivs Aiom Lees socitivs Aiom 3 Lees distributivs b Aiom 4 Identiddes L identidd ditiv l identidd multiplictiv stisfcen que * * Aiom 5 Inversos Cd número complejo tiene un inverso ditivo si un inverso multiplictivo que stisfcen 5

6 El inverso multiplictivo de i es i i 3 Los Números Reles como Subconjunto de los Números Complejos Se identific el pr ordendo con el número rel notmos que l sum l multiplicción de tles pres stisfcen ls operciones usules de sum multiplicción de números reles: Entonces el conjunto de números complejos inclue los números reles 4 Representción Crtesin de los Números Complejos Considere el número complejo escrito de l siguiente form si se represent por se denot por el símbolo i se puede reescribir de l form i Est es l notción más conocid pr los números complejos El símbolo i se llm unidd imginri stisfce l propiedd i o tmbién i Ejemplo Encuentre ls prtes rel e imginri de Solución: tenemos que Re e Im 3 3i 5 REPRESENTACIÓN GEOMÉTRICA Al socir el número complejo i con un punto del plno cus coordends rectngulres son e Cd número complejo corresponde un punto El número i por ejemplo se soci l punto - en l figur El origen del sistem coordendo se denot por el número complejo El modelo de plno Crtesino de los números complejos se llm plno complejo Cundo nos referimos l número complejo i llmmos prte rel de l 6

7 denotmos por Re El número llmdo prte imginri de se denot por Im Si tendremos i entonces se dice que es imginrio puro Figur 6 Propieddes de Espcio Vectoril pr los Números Complejos El conjunto C de los números complejos es un espcio vectoril sobre el cuerpo R de los números reles con ls operciones de sum definid en C producto por esclres tl que pr todo C α R se tiene que α C demás se cumplen ls siguientes propieddes pr todo α β de R u v w de C: 6 Pr l Sum i v w C L sum vectoril es un operción cerrd en C ii u v w u v w Asocitividd de l sum vectoril en C iii Eiste un elemento en C tl que pr todo v de C v v Eistenci del elemento neutro de l sum vectoril en C iv Pr todo v C eiste un elemento v C tl que v v Eistenci del elementos opuestos respecto l sum en C v v w w v Conmuttividd de l sum vectoril en C 6 Pr el Producto por Esclr i α v C El producto por esclres es un operción cerrd en C ii α βv αβ v Asocitividd del producto por esclres en C iii Si denot el elemento neutro de l multiplicción del cmpo de esclres R entonces v v Neutrlidd del uno del cmpo de esclres 7

8 iv α v w αv αw Distributividd con respecto l sum vectoril v b v v bv Distributividd con respecto l sum esclr Ls propieddes de l l 5 indicn que C es conmuttivo o Abelino bjo l sum vectoril Figur De hecho l definición de sum coincide con l sum según l regl del prlelogrmo pr l sum vectoril en R Figur 7 Espcio Vectoril Normdo El modulo o vlor bsoluto de un número complejo número rel negtivo se denot por ; esto es i se define como el C es un espcio vectoril Un función que hce corresponder cd vector C el número rel es un norm de C si solo si pr todos w C k R verificn los siguientes ioms Aiom si solo si Aiom w w Aiom 3 k k 8

9 8 Complejo Conjugdo El complejo conjugdo de un número complejo i se obtiene cmbindo el signo de l prte complej se denot por el símbolo Entonces i 8 Propieddes del Complejo Conjugdo Ddo que si i entonces i ii iii i i Re i i i i Im i i iv De est form tendremos ls identiddes Re v Si i i entonces Im i i i i i Luego el complejo conjugdo de l sum de números complejos es l sum de sus conjugdos: De mner semejnte se muestr que vi vii 9 REPRESENTACIÓN POLAR 9

10 Figur 3 Los números complejos pueden representrse como vectores en el plno complejo utiliremos el concepto de segmento de rect dirigido pr determinr ls propieddes de l longitud del ángulo de inclinción de un vector en plno complejo Consideremos el vector no nulo i l longitud r del vector se muestr en l figur 3 se puede determinr plicndo el teorem de Pitágors Llmmos est longitud vlor bsoluto norm ó mgnitud del número complejo lo denotmos como Regresndo l figur 3 vemos que el ángulo θ que form el vector i con el eje rel positivo se llm rgumento del complejo se not rg est ddo por l epresión: θ rctn kπ donde k ± ± El ángulo θ tl que Arg π θ < π se llm vlor principl del rgumento se design Ejemplo Encuentre l representción polr de i Solución: remitiéndonos l figur 4 El vlor bsoluto de i es i Mientrs que el vlor principl del rgumento de i es π Arg i 4

11 Como los ángulos polres no están determindos ls superficies de Riemnn se tienen en form únic su rgumento es π rg i πk 4 Donde k es culquier entero Así l representción polr de i es π π i cos πk isen πk 4 4 Figur 4 9 Multiplicción de Números Complejos Bjo su Representción Polr L multiplicción de los números complejos w tienen interpretciones geométrics cundo los escribimos en sus representciones polres Sen θ rg φ rgw Se tiene Entonces w cos θ isenθ w w φ isenφ cos w w cos θ isenθ cosφ isenφ [ cos θ cosφ senθsenφ i senθ cosφ cosθsenφ ] por ls formuls de sum de ángulos de trigonometrí [ θ φ θ φ ] w w cos isen Como cos θ φ isen θ φ L ecución w w cos θ φ isen θ φ [ ]

12 Figur 5 Conduce Y w w rg w rg rg w Por lo tnto l longitud del vector w es el producto de ls longitudes de los vectores w mientrs que el ángulo polr del vector w es l sum de los ángulos polres de los vectores w Y que el rgumento se determin hst l multiplicción de π l ecución rg w rg rg w se interpret diciendo que si se signn vlore prticulres dos términos culesquier eiste un vlor del tercer término pr el cul se cumple l iguldd L construcción geométric del producto w se muestr en l figur 5 Pr l multiplicción el ángulo entre w w debe ser idéntico l ángulo entre en l figur 5 De ello los triángulos de i i w w son semejntes 9 División de Números Complejos L división de números complejos conduce l siguiente ecución: w isen w [ cos θ φ θ φ ] iθ re r e iφ βe β θ φ

13 r isen β [ cos θ φ θ φ ] como w w obtenemos por ls formuls de sums de ángulos de l trigonometrí Por lo tnto w cosθ isenθ w cosφ isenϕ w w ww w rg w w w rg rg w con l ecución rg rg rg w sujet un interpretción similr l w de l ecución rg w rg rg w Desiguldd Tringulr Definición Ddos dos números se verific que Demostrción: Si tommos Etrendo l rí cudrd recordemos que el módulo es siempre positivo recordemos que l longitud de un ldo de culquier tringulo es menor o igul l sum de ls longitudes de los otros dos ldos De tl form que l desiguldd del tringulo tmbién se puede deducir inmeditmente considerndo el tringulo sombredo en l figur 6 3

14 Figur 6 Superficie De Riemnn Un superficie de Riemnn es un generlición del plno complejo un superficie de más de un hoj tl que un función multivlud tiene sólo un vlor correspondiente cd punto de es superficie Un ve construid es superficie pr un función dd l función es univlud sobre l superficie se le puede plicr llí l teorí de funciones univluds figur 7 Ls complicciones que precen ligds l crácter multivludo de l función quedn sí evitds por un truco geométrico Sin embrgo l descripción de ess superficies l relción entre sus hojs pueden ser mu engorross Figur 7 4

15 Teorem Teorem De Moivre Si n es un número entero entonces cosθ isenθ n e iθ n e iθn cos nθ isennθ Demostrción Por inducción sobre n El producto [ cos θ φ θ φ ] w w isen donde θ rg φ rgw cundo wobtendremos que: Si θ φ tenemos con o w obtenemos Como θ isenθ [ cos θ isen θ ] [ cos θ θ isen θ θ ] [ cos 3θ isen 3θ ] 3 3 cos hemos demostrdo que: cosθ isen θ cos θ isen θ 3 cosθ isen θ cos 3θ isen 3θ Medinte este proceso hemos obtenido el teorem De Moivre cos θ isenθ w w φ isenφ Donde n es un entero positivo cos Ríces de un Número Complejo Definición 3 n Si w entonces w se llm l rí enésim de podemos escribirl como: w n que posee n distintos vlores Es decir n está multivlud Sen w Rcosφ isenφ rcosθ isenθ 5

16 Entonces por el teorem de Moivre: entonces luego w n R n w n [ cos nφ isen nφ ] rcosθ isenθ n r R o R n r θ kπ nφ θ kπ o φ n n tomndo los vlores k n- obtendremos ls n ríces Resumiendo: n n θ kπ θ kπ r cos isen k n n n Los n vlores se reprten equittivmente en un circunferenci de rdio n r con centro en el origen constituendo los vértices de un polígono regulr de n crs El vlor de n obtenido l tomr el vlor principl de rg k en l fórmul de rrib se sume como vlor principl de w n El teorem De Moivre tmbién puede utilirse pr encontrr ls ríces de un número complejo Si es un rí n-ésim del número complejo w entonces n w pr encontrr estblecmos que cos θ isen θ w w φ isenφ cos donde θ rg φ rgw De tl form que con el teorem De Moivre tenemos: Así podemos tomr θ isenθ w cosφ isenφ n cos w θ rg w Arg w πk k ± ± n n n 6

17 unque l ecución nterior proporcion un número infinito de vlores pr θ solo se obtienen n ángulos polres diferentes porque: π n k n πk π n pues los ángulos polres se repiten cd n enteros Por lo tnto limitmos nuestr tención los n ángulos polres: θ Argw πk k ± ± n n Ejemplo Encontrr ls tres ríces cúbics de w i donde i k π π 4 i e 3 3 Solución: se un rí cúbic de i Entonces i por el teorem de Moivre 3 π π cos3 isen3 cos kπ isen kπ 4 4 De tl form que π kπ 6 θ k 3 En consecuenci ls tres ríces cúbics de i son: 6 π π 6 π π cos isen cos isen 6 7π 7π cos isen 6 5π 5π cos isen 4 4 Un consecuenci de ests definiciones es el siguiente teorem 3 Teorem Fundmentl del Cálculo Si un función rel f es continu en un intervlo b entonces f posee ntiderivds en ese intervlo Si f es culquier ntiderivd de f en b entonces 7

18 b f d F b F Donde F f II TOPOLOGIA DEL PLANO COMPLEJO C Si i entonces B r { : < } son los discos biertos en C r Se define l topologí generd por discos biertos como: Se S un subconjunto de C se S Entonces se denomin punto interior de S si eiste un n-bol biert con centro en contenid en S Interior de S se design por int S Definición de Punto Interior Un conjunto S de C es bierto si todos sus puntos son interiores o S es bierto si solo si S int S Definición de Punto Adherente Se S un subconjunto de C se un punto de C no necesrimente de S Entonces se dice que es dherente S si tod n-bol B contiene un punto de S por lo menos Definición de Punto Acumulción 3 Si S C C entonces se llm punto de cumulción de S si cd n-bol B contiene por lo menos un punto de S distinto de Ejemplo 3 Se S el conjunto de todos los puntos tles que < Encuentre el interior l fronter el eterior del conjunto S Solución: se un punto culquier de S Note que el disco < ε est situdo completmente dentro de S siempre que ε < Así todo punto de S es un punto interior Igulmente todo punto que stisfg > será eterior S Si entonces tod ε -vecindd de contendrá puntos que están en S puntos que no lo están Por tnto l fronter de S consiste en todos los puntos sobre el circulo el interior es el conjunto < el eterior es el conjunto de todos los puntos que stisfcen > vése figur 8 8

19 Figur 8 Definición de Conjunto Acotdo 4 Un conjunto S es cotdo si eiste un número rel positivo α tl que todo en S stisfg < α Si est condición no se cumple decimos que S es no cotdo Definición de Conjunto Inconeo 5 Un subconjunto A de C es inconeo o no coneo si eisten subconjuntos biertos G H de C tles que A G A H son conjuntos no vcíos disjuntos cu unión es A en est cso G H e un inconeión de A un conjunto es coneo si no es inconeo Definición de Región 6 Un conjunto en C se llm región si es l unión de un conjunto coneo con lguno ninguno o todos sus puntos fronters Si ninguno de sus puntos fronter est incluido en l región se dice que est en un región biert Si todos los puntos fronter están incluidos se dice que l región es un región cerrd Teorem 7 Culesquier dos puntos de un región pueden unirse por medio de un líne poligonl contenid en l región 9

20 Demostrción Por contrdicción Llmemos S l región supongmos que est dentro de S Denotremos por S todos quellos puntos de S que puedn unirse por medio de un polígono denotremos por S quellos puntos que no pueden unirse Si est en S por tnto en S es un punto interior de S Así eiste un vecindd de contenid en S : < δ Todos estos puntos están en S que cd uno puede unirse por medio de un que rect que pertenece S que por ende puede unirse por medio de un polígono contenido en S Entonces todo punto de S es punto interior de S sí que S es bierto Si est en S se < δ un vecindd contenid en S Ningún punto de est vecindd puede estr en S porque si sí fuer estrí en S Por lo cul todo punto de S es punto interior de S entonces S es bierto Ningún conjunto puede contener un punto fronter del otro que mbos son biertos son jenos Como S es coneo uno de estos conjuntos debe ser vció Pero est en S sí que S es vció Culesquier dos puntos pueden unirse por medio de un trectori poligonl contenid en S por tnto puede unirse entre si por un trectori poligonl que ps por III FUNCIONES DE VARIABLE COMPLEJA 3 Funciones Definición de Función 3 Se S un conjunto de números complejos Un función f definid sobre S es un regl que sign cd en S un número complejo w El numero w se llm el vlor de f en se denot por f ; esto es w f Pr definir un función es necesrio dr tnto un regl de signción como un dominio de definición Si no se mencion el dominio de definición sobreentendemos que se tom el mor conjunto posible Se w u iv el vlor de un función f en i ; es decir u iv f i Cd numero rel u v depende de ls vribles reles luego f puede ser epresdo en terminote un pr de función con vlores reles de ls vribles reles ;

21 Ejemplo 4 Si f entonces Luego f u iv f i i i u v iθ Si se usn coordends polres r θ en ve de entonces u iv f re donde 3 Limites w u iv iθ re En este cso podemos escribir f u r θ iv r θ Definición 3 Se dice que l función f tiene limite A cundo tiende hci lim f A Si pr todo ε > eiste un número δ > tl que f A < ε Siempre que < < δ Además l función f es continu en si sólo si lim f f Figur Un función continu es quell que es continu en todos los puntos donde está definid Geométricmente l definición de limite estblece que culquier ε -vecindd de contiene todos los vlores que f tom en lgun δ -vecindd de ecepto posiblemente en el vlor f El siguiente ejemplo ilustr el procedimiento usul pr determinr δ con un ε > ddo

22 Figur Ejemplo 5 Pruebe que lim 3 Solución: con l epresión f simplificd obtenemos 3 < δ Puesto que δ < < 3 donde δ debe todví epresrse en términos de ε Si < δ medinte l desiguldd del tringulo tenemos 3 3 > > δ de tl form que δ < Así ddo culquier número pequeño > ε si elegimos < ε δ min obtenemos

23 < ε Al igul que l definición de límite de un función complej de un vrible complej es idéntic l de un función rel de un vrible rel puesto que los vlores bsolutos se comportn como en el cso rel se plicn ectmente ls misms regls de los límites 3 Propieddes de los Límites Sen lim f A lim g B Entonces i [ f g ] A ± B lim ii lim f g AB f A iii lim pr B g B Demostrción Ddo ε > eiste un número δ > tl que f A < ε si < δ un número δ > tl que g B < ε siempre que < δ Se < δ donde δ min δ δ Entonces por l desiguldd del tringulo [ f g ] A B [ f A] [ g B] [ f A] g B < ε ε ε [ ] [ ] [ ] ε ε f g A B f A B g f A B g < ε Como ε > es rbitrrio se muestr que f ± g puede estr rbitrrimente cercno A ± B eligiendo suficientemente cercno Por tnto l propiedd i se cumple Además f g AB f g f B f B AB f g B B f A f g B B f A 3

24 4 B A B f B f g f B A g f [ ] B A f g B g B f B A f Bg g B f Si B < < ε tenemos g g g B B ε de tl form que B B g < ε ε A A A f f por lo tnto ε ε B A AB g f < B A B B A g f ε ε sí que podemos hcer g f f rbitrrimente cercnos AB B A respectivmente con suficientemente cercno Esto comprueb ls regls ii iii Teorem 33 Se lim w f lim W F Entonces [ ] lim W w F f [ ] lim w W F f Y si W entonces lim W w F f El limite de un polinomio n n P cundo tiende es el vlor del polinomio en ese punto:

25 lim P P Otr propiedd de los límites que nos será de utilidd lim f w entonces lim f w En generl ls propieddes que plicn pr los límites de los números reles tmbién son ls misms que se utilin pr los complejos Ls regls de los limites pueden usrse pr probr que tod función polinomil en n n f n n es continu en los complejos Se un función definid en todos los puntos de un entorno bierto de L firmción de que el limite de f cundo tiende es número w o se lim f w signific que el punto w f puede hcerse tn próimo como se quier w si escogemos el punto suficientemente cercno l punto pero distinto de el Entonces l firmción lim f w signific que pr cd número positivo ε eiste un número positivo δ tl que f w < ε siempre que < δ o < Geométricmente est definición dice que pr cd ε -entorno w w < ε de w eiste un δ -entorno bierto < < δ de tl que todo punto en él tiene un imgen w que est en el ε -entorno figur Figur 5

26 Teorem 34 Se f u iv i w u iv Entonces lim f w Si solo si Demostrción: lim u u Supongmos que lim u u lim f w Supongmos que lim f w lim v v lim v v entonces de cuerdo con l definición de límites donde pr cd número positivo ε eiste un número positivo δ tl que siempre que como se sigue que si v u u i v < ε < i < δ u u u u i v v v v u u i v v u u < ε v v < ε < i < δ Recíprocmente supongmos que lim u u lim δ tles que v v Pr cd número ε positivo eisten números positivos δ ε u u < si < < δ ε v v < si < < δ se δ el menor de los números δ δ Ddo que 6

27 concluimos que siempre que u u u u v v i v v u iv u iv < ε i i < δ < lo cul es igul l ecución lim f w Ejemplo pr l superficie log Correspondiendo cd número no nulo l función multivlud log ln r iθ Tiene infinitos vlores Pr describir log como función univlud sustituimos el plno quitdo el origen por un superficie sobre l cul se coloc un nuevo punto cd ve que el rgumento de crece o decrece en π o en un múltiplo entero de π Consideremos el plno sin el origen como un fin hoj R cortd lo lrgo del eje rel positivo Sobre es hoj θ vrí de π Se R otr hoj cortd del mismo modo colocd sobre R El borde inferior del corte en R se une entonces con el borde superior del corte de R Sobre R θ vrí de π 4 π ; sí que cundo es representdo por un punto en R l componente imginri de log vrí de π 4 π Se cort hor de l mism mner otr hoj R se coloc sobre R El borde inferior del corte de R se une con el superior del corte R nálogmente pr ls hojs R 3 R4 Un hoj R en l que θ vrí desde hst π se cort se coloc bjo R con el borde inferior de su corte unido l borde superior del corte de R Ls hojs R R se construen de form similr Ls coordends r θ de 3 4 un punto sobre culquier de ls hojs pueden considerrse como coordends polres de l proección del punto sobre el plno originl estndo restringid l vrición de θ en cd hoj un rngo de π rdines Consideremos culquier curv continu sobre est superficie cone de infinits hojs Al describir un punto es curv los vlores de log vrín continumente que θ l igul que r vrí continumente; log tom ectmente un vlor correspondiente cd punto de l curv 7

28 Figur Por ejemplo si el punto d un vuelt complet en torno l origen sobre l hoj R por el cmino indicdo en l Figur el ángulo cmbi de π Al trvesr el ro θ π el punto ps l hoj R de l superficie Mientrs complet un vuelt en R el ángulo θ vri de π 4 π l crur el ro θ 4π el punto ps l hoj R L superficie quí descrit es un superficie de Riemnn pr log Es un superficie cone de infinits hojs construid de modo tl que log es univlud sobre ell L trnsformción w log plic l superficie de Riemnn complet de mner uno uno sobre todo el plno w L imgen de l hoj R es l frnj v π Cundo un punto se mueve por l hoj R lo lrgo del rco que muestr l Figur 3 su imgen w se mueve hci rrib crundo l rect v π como indic l Figur 3 Nótese que log definid sobre l hoj R represent l prolongción nlític de l función nlític univlud f ln r iθ < θ < π Por el eje rel positivo hci rrib En ese sentido log es no sólo un función univlud de todos los puntos de l superficie de Riemnn sino tmbién un función nlític en ellos Ls hojs podrín hberse cortdo clro está lo lrgo del eje rel negtivo o de culquier otro ro que prt del origen unids decudmente por los bordes de sus cortes formrín otr superficie de Riemnn pr log 8

29 Figur 3 Como sbemos l longitud de culquier triángulo es menor o igul l sum de ls longitudes de los otros dos ldos 33 Continuidd Un función f es continu en un punto si stisfce ls siguientes condiciones: lim f eiste f eiste 3 lim f f L firmción 3 dice que pr cd número positivo ε eiste un número positivo δ tl que 4 f f < ε si < δ Un función de un vrible complej se dice que es continu en un región R si lo es en todos sus puntos 33 Propieddes Algebrics pr l Continuidd Si dos funciones son continus en un punto su sum su producto tmbién lo son; su cociente es continu en ls misms circunstncis siempre que el denomindor no se nule en ese punto Se sigue directmente de l definición 4 que l composición de dos funciones continus es continu Pr verlo se w f un función definid pr todo de un entorno de se g w un función cuo dominio de definición contiene l 9

30 imgen de ese entorno Entonces l composición [ f ] g est definid pr todo de ese entorno de Supongmos hor que f es continu en que g es continu en el punto w f En vist de l continuidd de g en w sbemos que pr cd numero positivo ε eiste un número positivo tl que [ f ] g[ f ] < ε g si f f < Ahor correspondiendo eiste un número positivo δ l segund de ests igulddes se stisfce siempre que < δ 34 Funciones Continus de un Vrible Un función continu de un vrible complej es un regl que sign un numero complejo w cd numero complejo de un conjunto S Al escribir w f en términos de ls descomposiciones en prtes rel e imginri i w u iv de cd vrible complej w u iv iv notmos que un función complej de un vrible complej consiste en un pr de funciones reles de dos vribles reles Ls funciones reles de un vrible rel f pueden describirse geométricmente por medio de un grfic en el plno No es posible un representción pr w f que se requerirí cutro dimensiones dos pr cd vrible complej En lugr de esto l informción cerc de l función se epres dibujndo plnos complejos seprdos pr ls vribles w e indicndo l correspondenci eistente entre puntos o conjuntos de puntos en los plnos figur 4 35 Derivds Definición 35 Se f un función cuo dominio de definición contiene un entorno de L derivd de f en escrit f se define por l ecución f f f lim Supuesto que ese límite eist L función f se dice diferencible en cundo eiste su derivd en 3

31 Figur 4 Epresndo l vrible de l ecución f f f lim de l nuev vrible complej cundo est mu cerc de se tiene de donde en términos l ecución se puede escribir como f f f lim Siempre que se suficientemente pequeño Figur 5 f f Al utilir l ecución f lim de l definición de derivd se suele omitir el subíndice de se introduce el número Que denot el cmbio en el vlor de f correspondiente un cmbio en el punto en el que evlumos f Entonces si llmmos dw d f l ecución f f f lim se convierte en dw w lim d 3

32 w f f Figur 5 Todo polinomio: P 3 3 n n Es entero porque en cd punto de los complejos tiene derivd P n 3 3 n n Ejemplo 6 Eminemos hor l función f Aquí Figur 6 w 3

33 Si el límite de w eiste ese limite puede hllrse hciendo que el punto se proime l origen en el plno de form rbitrri En prticulr cundo tiende hci el origen horiontlmente por los puntos del eje rel Fig 6 podemos escribir Por tnto si eiste el límite de w su vlor h de ser Sin embrgo cundo tiende l origen verticlmente por los puntos del eje imginrio de modo que hllmos que el límite debe ser si eiste Como los límites son únicos se deduce que o se si h de eistir dw d Pr ver que en efecto dw d eiste en sólo necesitmos observr que nuestr epresión pr w se reduce cundo Concluimos en consecuenci que dw d eiste sólo en el punto su vlor es llí El ejemplo nterior muestr que un función puede ser diferencible en un cierto punto sin serlo en ningún otro punto de un entorno suo 35 Derivds Prciles Puesto que ls prtes rel e imginri de f son u v Respectivmente muestr simismo que ls componentes rel e imginri de un función de un vrible complej pueden tener derivds prciles continus de todo orden no obstnte l función no ser diferencible llí L función f es continu en todo punto del plno complejo pues sus componentes u v lo son Así que l continuidd de un función en un punto no implic l eistenci de derivd en él Es cierto sin embrgo que l eistenci de derivd de un función en un punto implic l continuidd de l función en ese punto Pr verlo supongmos que eiste f escribmos f f lim[ f f ] lim lim f * De donde lim f f 33

34 Esto segur l continuidd de f en 36 Función Eponencil Complej Definición 36 L eponencil complej dd por: e isen e cos Es un función enter con vlor diferente de cero que stisfce l ecución diferencil: f f f Que e se sigue que ni e ni cos isen se nul Además observmos que como i l notción conduce : e i i cos isen e Así l representción polr de un número complejo se trnsform en: i rg e Si i i entonces ls formuls trigonométrics pr l sum implicn que e e e e e e e cos isen cos isen [ cos cos sensen i sen cos cos sen ] [ cos isen ] e i e Y que Se sigue que e e e e e e e Si usmos repetidmente l formul pr l sum de eponentes obtenemos e n n e Est identidd proporcion un prueb rápid del teorem de Moivre cundo iθ e : n iθ n iθn cosθ isenθ e e cos nθ isennθ Pr n ± ± ± 34

35 Con el teorem de Moivre tenemos: i 3 3 e πi 4 i e πi 4 3 e πi 4 3 e 3πi 4 36 Propieddes de l Eponencil Complej Teorem 37 Si i i son dos números complejos entonces tenemos e e e Demostrción e e cos isen e e cos isen e [ cos sen sen icos sen sen cos ] e e e cos Ahor bien e e e que son mbos reles Además por lo tnto e e cos cos sensen cos cos sen sen cos sen [ isen ] e e cos En los teorems siguientes designn números complejos Teorem 38 e jmás es cero Demostrción e e e Por lo tnto e no puede ser cero Teorem 39 Si es rel entonces i e Demostrción i e cos sen i e > Teorem 3 e si solo si es múltiplo de πi 35

36 Demostrción Si n donde n es un entero entonces e cos π n isenπn Recíprocmente supongmos que e Esto signific que e cos e sen Como e entonces debe ser sen kπ donde k es un k k entero Pero cos k π Por lo tnto e que e cos kπ Como e > k debe ser pr Por lo tnto e entonces Teorem 3 e e si solo si πin donde n es un entero Demostrción e e si solo si e Definición 3 Se l eponencil e rel Definimos e pr complejo de tl form que ls principles propieddes de l función eponencil rel se conserven Ls citds propieddes de e pr rel son l le de los eponentes e e e l ecución e Dremos un definición de e pr complejo que conserve ests propieddes que se reduc l eponencil ordinri cundo se rel Si escribimos i reles entonces pr que se verifique l le de los i i eponentes deberímos tener e e e Definición 33 Si i definimos e i e como el número complejo e e cos isen Est definición coincide clrmente con l función eponencil rel cundo es rel esto es O Probremos continución que l le de los eponentes se cumple 37 Mpeo L eponencil complej jueg un ppel esencil en ls plicciones Con el fin de entender completmente l eponencil complej Necesitremos estudir sus propieddes como mpeo Pr visulir el mpeo w e e cos isen observemos que l frnj infinit π < π se mpe en C {} ; los puntos sobre el segmento de rect π < π se mpen de mner uno uno en 36