Matematicas avanzadas

II ."

para mgernerra

Segun da edici6n

Matematicas avanzadas

. . ~

par'a mgenrerra

Segunda edicion

GL YN JAMES Coventry Univsraity

y

DAVID BURLEY University of Sheffield DICK CLEMENTS Untversity of BrisLol PHIL DYKE University of Plymouth JOHN SEARL Uulversity of Edinburgh NIGEL STE,ELE Coventry University JERRY WRIGHT AT&T

TRADuccrON:

M, en C. Elena de Oteyza de Oreyza

FtI~'lrltud de Ciencias, Uniuersidad Nacional AUiunoma de Mexim

DI', Culos Hernandez G:uciadiegu

Instituto de Matenuiticas, Uniuersldad Nacionul Alm:i1l'Oma de Mexico

J.U::'v1SHJN TECNICA:

M, eli C. Juan Carlos del Valle

Institute Tccnologlco y de Estudios SuperiorF:s de Monterrey. Campus Estado de Mexico

lng. Juan Aguilar Pascual

Facultad de Ingenieria, Unioersidad Nacional Autonoma de ,Hexi.co

Pearson Educad c'm

---------

®

MEXICO' ARGENTINA· BRASIL· COLOMI:HA • COSTA RICA' CHILE roSPA.~A 'ljUfI;TEMALA' PERU • PUERTO RlOO. 'lENCZUELt1

Acerca de los autores

Gly:u James es profesor y decano de la Escuela de Clencias Matcmaticas y de Informacion de Coventry University. Se graduo en University College of Wales, Cardiff, a finales de 18 dccada de 19"iO, obteniendo honores de primera clase tanto en Matematicas como en Quimica. Obtuvo su Doctorado ell Ingenieria en 1911 como cstudiantc exrerno en Uni"t'rsity of Warwick, Ha estado empleado en Coventry desde 1964 y ocupo la posicion de JeI(: del Departamento de Matematicas antes de su nombrarnieuto como decano en 1992. S'LIS areas de investigacicn actual son la teurla de control y sus aplicaciones a problemas industriales y es codirector de un gran centro de investigacicn en IE! Univcrsirlad. Tambien se ha interesado en In educacion matematica, en p;;!rl i CIII(ll' en relacion Con la ensefianza de las mateo malices para jngenieria y 1<1 modclacion matematica. FLIt:: codirector del Grupe Eumpeo de Trabajo en Matematicas establecido pur la Sociedad Europea de Edueadem ern Jngenieria (SEFI, pur sus siglas en Ingles) en 1982. tambien fue director del Co Illite de Educacion del Instituto de Matematicas y sus Aplicaciones OM A) y miembro del Subccmite de Educacion en Matcmaricas de Ia Sociedad Real. En 1995 fue jefe director del grupo de trahajo que creo el reporte 'Mathematics Matters in Engineering' en bcncficio de los cuerpos profesionales en ingenieria y maternatical! en cl Reino Unido. Tambien es miembro del cornite editorial y asesor do tres revistas internacionales, Ha publicadu numerosos articulos y es coeditor de cinco libros acerca de diversos aspectos de la modelaclon maternatica. Es micmhro liel Conseju y ex vicepresidente delIMA, y tambien lin ocupado durante un penodo la Secretaria Honoraria del Institute. Es un Matcmatico Privilegiado y miembro del IMA.

David Burley so retire recientcrncntc y en la acrualidad es profesor de tiernpo parcial en University of Sheffield. Se graduo en rnaternaticas en King's College, nivcrsity of London en 1955 Y obtuvo S1I ductoradu ell! fisica matematica. Despues de trabajar en University of Glasgow, ha pas ado la mayor parte de su carrcra acadernica eu University of Sheffield, siendo jefe de departamento durante scis alios. Tiene una larga experiencia en la ensefianza de la lngcnicria y ha estado particularrnente interesado en alentar 11 los cstudiantcs a la consrruccion de modelos maternaticos en contextos fi ~ icos Y biologicos para mej oral su apreudizaj e. Su trabajo de invcstigacion incluye Ja mecanica estadistica, optimizacion y mecanica de fluidos, Su inreres actual involucra el n uju de vidrio fundido en una variedad de siruaciones y la aplicacien de sus resultados a Ia tncustria del vidrio,

D:kk Clements es prufesor en el Depanamemo de Mnternaticas para la Ingenieria en Bristol University. Impartio clases en Christ's College, Cambridge, a final de La

vi ACERf:A DE LOS AUTORES

--

decada de 1960. Fue a Leicester University School of Education para obtener su PUCE antes de regresur a Cambridge a hacer investigacinn para su doctorado en Ingenieria Aeronauticn, En 1973 fue nombrado profesor en Matematicas para Ia Ingenierla en Bristol University y desde entonces hu ensefiado matematicas a estudiantes de ingcnieria. Ha hecho investigaciones ell una gran cantidad de temas de ingenicria, pero esta iuteresado particularrncntc en la modelacien matematica y el desarrollo de nuevos metodos de cnscnanza de las matematicas para ingenicros Ha publicado numerosos articulos y el libra, Muthemaucat Modelling: A CasE' Stud" Approach. Es Ingcniero Privilegiadu, miernbro de Ia Royal Aeronautical Society; Matemarico Privilegiado, miernbro del IMA y miernhro del Royal Institute of Navigation,

Phil Dyke es profesor de Matemdticas Aphcadas y director de la Escuela de Marematicas y Estadistica de Univcsiry of Plymouth, Despues de graduarsc con honores de primera clase en M atematicas ell Uni versity of London, obtuvo 511 doctorado en modelos de costas maritimas en Reading en 1972. Dcsde entonces, Phil Dyke ha side academico de tiempo complete, inicialmcntc ell Heriot- \VaU Uni versity educando ingeniercs, seguido de una breve estancia en Sunderland. Ha estado en Plymouth desde 1984, Todavia se dedica a ia ensefianza y I:i>La involucrado en la construcciou ;.1(;' modelos mntematicos reievantes ell temas arnbientales.

Jobn Searl es Director de Edinburgh Centre for Mathematical Education eli University of Edinburgh. Dicta curses tautu en educacion matcrnatica como curses de servicio para ingenieros y cieutlficos, Su investigacion actual tiene qUI: ver con el desarrollo de ambientes de estudio que hagan mas efectivo el aprendizaje de las rnatcmaticas para. jovenes de 16 a 20 anos. Como matematico aplicado que ha trabajade ell colaboracion coningenieros, fisicos, biologos y farmacologos (entre O'IT05), es muy habil para desarrollar las habilidades de los alumnos en la rcsolucion de problemas y para mntivarlos a que piensen por ellos mismos.

Jerry Wright es un miernbro importante del cquipo tecnico del laboratorio AT&T Shannon, ell New Jersey, EVA. Se graduo en Ingenieria (Licenciarura y doctorado en University or Southampton ) y en Matematicas (Maestria en University of LOI1(Jon) y trabaje en el National Physical Laboratory antes de rnudarse a University of Bristol en 1918. Ahi adquirio una gran experiencia en 1a enselianza de Ins matcmaticas a estudiuntes do ingenierla, y se cunvirtio en Profesor Titular en Matematicas para In Ingenicrla. Tuvo una beca de la Royal Society Industrial en 1994, y es miernbro del Institute of Mathematics and its Applications. En 1 Y96 se mwJ6 a los laboratorios AT&T (onginulrnente parte de loslaboratories Bell) para continuer su investigacion en el entendimiento del lcnguaje hablado y en ]'08 sistemas de dialogo entre hurnanos y cornputadoras.

Nigel Steele es Director de Matematicas en Coventry University. Se gradue ell Matcmaticas en Southampton University en 1967, recibieudo su grado de Maestria en lY69. Ha side miembro del Departamento de Matemaricas en Coventry University desde 1968. Tiene un intcres particular en la ensehanza de las Matcrnaticas

AChKCA DE LOS AfrrOIU;S vii

para 10. Ingenierla Y cs editor conjunto del reporte de la SEFr 'A Common Core Curriculum in Mathematics for Ihe European flngineer'. Ha publicado numerosos artlcutos y conrribuido en varies libros, S1J.IS intcreses de investigacion actuates t'1>1.allen la apliaa'ciol1l de tecuiC3!'i neurecompuracionalcs 16gica ilifusa y tcorla de control. Es micmbro de la Royal Aeronautical Society, Matematieu Privilegiado, miembro e integrantc del Consejo del WMA.

Contenido

Acerca de lm~ euteres

v

Pn,'./ud.o j] 10 primera edicJ6n

xv

Prefucla a 10 seyuIlda edicio»

xix

Capitulo 1

li

Funcinnes de una var+ahle comple]a 1.1 Inlrnduceicn

1.2 Funcinnes complejas y mapeos 1,2.1 Mapeos Iineales

1.2.2 Ejotclcios (1-8)

:U~.:~ Inversion

1.2.4 Mapens hilineales 1.2.5 t:iercicios (!=I-19) 1,2.6 EI mapec W= ;:2 1.2.7. Ejercicios (20-23)

1..3 Derivauidn compleja

1.3.1 Ecuacioues Cauchy-Riemann

1 .. '1.2 Funniones conjugadas y arrndnicas 1 .. J.3 Rjf:rr.ir.ios (24-32)

1.3.4 Mas sobre mapcos

1.3.5 Ejercicios (33-::f7)

1.4 Serlus complejas

1 A.l Series tie potencies 1.4.2 Ejorcicios (38-39) 1.4.:1 Serio do Taylor 1.4.4 Ejerc.-ieios (40'-43) 1.4.5 Saria de LAurent 1.4.6 Ejercicios (44-4R)

1.5 Stngulazidades, ceros y residues 1.5.1 Singularidades y ceres

1 .s.z Ejcrciclos [47-49)

1. 5.~1 Residuos

UjA Ejarcirrins (50-52)

1 2 5

12 13 18 24 25 'L.7

2U 29 34 36 37 41

41 412 40 46 50 50 55

56 56 59 59 64

ix

X CO I'ITEN]DO

8

===""'" ~""' __ :""'m""'_'''''''''''''_'''_''' __ ~'' __ 4 ~

1.6 InlegJriidull de contorno 65

1.6.1 Intograles de contorno nn

1.6,2 Teorema de Cauchy 5 !:I

1.6.3 Ejerclclos (53-51)J 77

1.6.4 El tcoroma del roslduo 7B

1.6.5 Evaluaclcn de inregralaa l'AAiAS defirndas 81

1. 6.6 Ejercici os (11 0- AS) B4

1.7 Aplicacion a In mgenierfa; analtsis de circuites

de corr-iente altarna 83

1.8 Apllcacton a Ia ingeniarta: uso de Iunciunes armrinicas 87

1.8.1 Un problema de Iranslereuuia de calor 87

1.8.2 Corrionte ell un lrausi slur Ul;l sfeoto de campo 80

1.8.3 Ejerclcius (66-721 02

1.9 Ejaruicins de repaso (l-241 9:i

Capitulo 2 97

'I'r ansformadas de Laplace

2.1 Introducclou

97

2 ? La transformada de Laplace lUI

2,2.1 Definicion y notaclon !-I !-I

2,2.2 Tranatormnclonos do funcloncs slmpl es 111~

2 . .2,3 Existcnciu de 1@ transformeda rl fJ La P lar:p, 1 U5

2.2A Proptedaries de la tmnsfnrmada rle Laplace 107

2.2.5 TahIR lift tmnaforrnarlas de Laplace 113

2.2.n F.jArr.ir.in," (I-a) 114

~.L. 7 La transforrnada inversa 114

~,~.U Evaluaci.on de transformadas inversas 115

2.2.9 Inversion usando el primer teorema de traslaclou 116

2_2_10 Ejercicios (4) 118

2.3 SQlllcion. de acuaciunes diferenuiahss 119

2.3.1 Truuslunuadas tie d sri vadas 1 Hl

2.3.,2 Trausforrrrada de intagralas 120

2.3.3 Ecuaciones difsrenciales ordtnarias 121

2.3.4 Ecuaciones dlferenclales slmultancas 'J 211

2.3.5 Ejercicios (5-6) 12/i

.2.4 Aplicaclones 8 10 ingenierlA: circnttos electrieos y vihraciones mer.ankas

2.4.1 Ctrouitns electricns

2.4.2 Vibraciones mecanicas

;<!,4.J Ejercicios (7-1[2)

130 130 135 139

___ L_' __ "",I._"'_;ioil""'_M"<Iil~_· .. :: .. _, __ ..... =.,,= .. == .... __ • ... _ .... __ ...

CONTENlDO xi'

2.5 Funciones escalon e impulse

2.5.1 2.5.2 2.5.3 2.!'i.4 2.5.5 2.5.0 2.5.7 2.5.8 2.5.0 2.5."10 2.5.11

La Iuncion ascalunada de Heavisi de

Transformada de Laplace de la Iuncirin escalon unitario El segundo teorema de traslacion

Inversion usando el segundo toorcmn de traslaclon Ecuacfones di ferellr'!ifll fl~

Funcinnes periodicas

Ejel'cicios 113-24)

La funcion Impu I~Q

La proplcdnd de flltrado

La transformada de Laplace de Ius funciones Impulse Relaciones entre las funciones escalon de Hcavislde y de impulse

Ejsrcicios (25-30)

n",rUl"mac.i.oll Utl II igas

Ejercicios (31~33)

2..5.12 2.5.13 2,,5.14

2.6 Funciones de tramjJerel£1t.:.ila 2.6.1 Dcflnictones

2.6.2 Estahilidad

2.6.3 Respuesta al irnpnlsn

2.6.4 'I'eoremas del valor inicial y del valor firtal 2.6.5 Ejercjcios {34-47J

2.6,6 Convulucion

2.6 .. 7 Respuesta de un sistema a una entrada arbitraria 2.0.8 Ejcrcicios (48 52)

2.7 Apltcactdn a La Ingenlerfa: respuesta de frscuancia 2.8 Ejereteios de repaso (1-30)

Capitulo 3

141 141 144 146 149 152 1 s fl 161 102 164 161

167 172 1.73 177

177 177 180 186 lBB HI:J 194 198 202

202 210

217

La transformada z 3.1 Intrnduecirin

3.~ La tran ... formada Z

3.2.1 Definicion y notacion

3.2.2 Muestreo: una primera introduccidn 3.2.3 Ejercicios 11-2J

3.3 Prupi'l'luuul:!s UI:! la transfcrmada z 3.3.1 La propiedad de llnealidad

3.3.2 La prirnera proplodad de rraslaeion (retraso) :J.:"I.~I La sf!gnndl'l prnpiedarl rle traalacirin (avancc) 3.3.4 Algunas propiedades mas

3.3.5 Tabla de transformadas z

3.3.6 Ejsrcicios (3-10]

217 218 219 222 223

224 224 225 227 227 2Ztl 229

CONTENWU

3,4 La transformada z mversa 3,4,1 Tecnicns de in version :'1,4,,2 Ejerrii ci o S (11-'1:1)

230 2:l0 2JIJ

3.5 Sislllmas de LiluTIIP'" di!:it:lI'ellJ y ecuaciones en diferencias 237

3.5.1 Ecuaciones en diferenci as 237

3.5.2 soluclon de ecuaci ones en d i fereucia S ;1..5.;~ F.jAfcicins (14-:W)

3.6 Sistemas Ilneales diseretos: caracterlzacion 3,6.1 Funcioncs z do trans fcrenci a

3.fLZ La rAspllAsrA H! irnpu lsn

:U'j.:;l Estabrlidad

3,6,4 Convolucion

3,5,5 Ejsrcicios {21-28)

3.7 La relaeirin entre 18 fraOfiformanH, OP. l.aphll':p. yl8 transformada z

3.8 Aplicaci6n a Ia Irrgenierfai disefio de sistemas de ticmpl) disereto

;UI, 1 Fi ltrns Aml16gir:ns

3,1:1,2 Disefio de un mho digital de reempJazo 3,8,3 Desarrollos posiblea

3.9 Aplfcacidn a la ingenierfa: eJ operBdnr delta y 1 H tFansifrrrm H d 8 fj}

3,g,lIntroducd6n

3,9.2 El operador q U operador de corrimiento }' I'll operadur 8

3,9,3 Cons trucclon de un modele de sistema

en tlempo discmto

:'I" 9 ,4 R RAJ i ZAd fin rlal d i sffiFi n ;:1.\:1,5 La transformada Sli

3,9,B Ejercicios (29~32)

3.10 Ejarufcius de rapaso fl-161

Z;:Hl 243

244 244 250 253 258 2'02

262

2M 264 265 267

267 267

268

25!i :al! 273 274

275

Capitula 4-

279

Series de Fourier

4.1 Intreduccidu

279 281 281 282 283 287

4,2 Expansion en serle de Fourier 4,.2,1 Funcicnes periodtcas

4 .. 2,2 T'sorema de Fourier

4.2.3 LQ!> coeficiantes de Fourier 4,2.4 Funciones de pcnodo 21[:

CONTENlDU "m

4.2.5 Funciones pares e impal'p.s 293

4.2.6 Armonicas pares e imparns 297

4.2 .. 7 Propiedad de Iinaalidnrl 299

4.2.8 Convorgencia de las "flrip.s de Fourier 300

4.2.9 b:jercicios (1-7) 304

4.2.10 Funcionss de periodn T 305

4.2.11 Ejercicios (8-1::1) 308

4.3 Funciones defmidas suhre un intervalo finito 4.3.1 Series de reccrrido camp leta

4.3.2 Series del seno y del coseno de medio recorrido 4.3.3 Ejercicios (14-23)

4.4 Ilerivacfen e Integracion de series de Fourier' 4.4.1 Integracion de series de Fourier

4.4.2 Derivacion de series de Fotrrier

4.4.3 Coeficientes en terminos de lAS riiacontlnuldadcs de salto

4.4.4 Ejercicics I( 24 -2 g)

4.5 Aplicaci6n a [a ingenierta: respuesta 0 la freeuencla y sistemas osctlatorios

4.5.1 Respuesta a una entrada periorlicn 4.5.2 Eiercicios (30-33)

308 309 311 315

316 316 319

320 323

325 325 329

4.6 form.a compleja de 10 serte de Fourier 330

4.U.1 Reprasentar.irin cornpleju 330

4.B.2 El tsnrerne rie ls multlplicacion y el teorania U~ Parseval 334

4.5.3 Espactro OP. frecuencm discreta 338

4.5.4 Espectro rip. potencia 344

4.6.5 Ejerr:ir:ios (34-39) 346

4.7 l'u:nciones oriogonoleA347

4.7.1 Definiciones 347

4.7.2 Series gp.np.l'll1izfldas de Fourier 350

4.7.3 Convsrgenuin .nfl Is. serlo gcneralizada ds Puurier 351

4.7.4 Ejercicios (40-46) 353

4.8 Aplicadon a la ingfmiF:ria: funciunes dascrjptivas 355

4.9 Ejercicios de repaso (11-2£1) 35i'

Capitulo 5 361

1,8 transfurmada de Fourier

5.1 lntrnducci6n

5.2 La n-ansfermada de Fourier 5.2.1 r . .I'I integral de Fourier

5.2.2 ~l par de trausforrnadas de Fourier

:J li1 362 362 368

5.2.3 El espcctro cle Fourier continuo 371 5.2.4 Ejorcinins (1-10)37'1

5.3 Prcpterlades de las trunsformadus de Fourier 375

5.::1.1 La propieuad de- lincalldad ;H5

5.3.2 Pro p led ad de derl vacl on con respec lu <11 tism po 37/J

5.3,3 La propiodad cle corrirniento cun respecto ul tiempo 377

5,3.4 Propiodarl ne corrirniento con rsspecto a III frecuencia 378

5,3.5 La prnpiedsd de shnetrfa J 7!J

5.3,1) Ejercicios (11-16) 381

5.4 La respuesta de frecuencia

5.4,1 Relaciou entre las transfnrmadas de Fourier y de Laplace

5.4.2 La respucsta d p, frecuericia 5.4.3 Ejerclcloa (17-21)

5.5 'I'ransfcrmadas de las funclones escalon e impulse 5.5.1 Energra y potencia

5.!i.2 Convoluci6n

5.5,3 Eierciclus [22-27)

381 384 387

38B 388 ;l91i :..199

~.6 La transfermada de Fourier en tiernpo discrete 40[1

S.O. 'I Iutroducclon 400

5.6.2 La transforrnada de Fourier para sucesiones 400

5.6.3 La transforrnads de Fourier discrota 405

5,6.4 Eatirnacion de Ia lransforrnada de Fourier continua 400

5.f}.F. I.a transformada rspltia de Fourier 4HI

s.s.s Ejsrcicios (28-31) 426

5,.7 Aplicacioll a Iii Ingenrcrfa: el diserio de filtrus analegtcos 426

5.3 Aplicadon a Ia ingenlerfa: modufacion, demodulation

y filtradu en el dominio de Ia frecuencia 429

5.8.1 Introduncirin 429

5,8.2 Mndnlacion y transuilsion 433

5.B.:-I Idantificacion y aislamtcnto de 11'1 sefial portadora

de informaclon 4~1:J

5.8.4 Estado de demodular::itin 43!:i

!'.i.8.S Recupsracidn de seftales finales 436

5.B.6 Mas dosurrollos 435,

5,9 Ejurcicios de repnso (1-25) 437

nespuesla~ u ejercicios 441

Funciones de una variable compleja

CONTENIDO

1.1 Inlrcduccion

1.2 Funniones complojas y mapsus 1.3 Dsrivaclou compleja

1.4 Series cornpleies

1.5 Singularidades, ceres y residuns 1.6 Integracion de contorno

1.7 Apl:ilcac:i6n a la lngenierfaianalisis de cirouitos de corriente alterna 1.8 Aphcaci6n a Ia mgenterru: uso de funciuuas armonicas

1.9 Ejercicios de rspaso (1-24)

Introducci6n

En Iii teoria de las corrientes alternas, la aplicacion de cantidades tales como In impedancia compleja involucra funciones euyas variables independientes son mimeros complejos. Hay rnuchas otras areas ell la ingenieria en las que este es el caso; pm ejemplo, el rnovimiento de fluidns, la transmision de calor u el procesarniento de sefiales, Algunas de estas aplicaciones se analizan mas adelante en este libro.

Tradicionalmente, '!.as tecnicas de variable complcja han sido impertantes y ampliamente utilizadas en una gran variedad de situaciones de la ingeniena. TaJ he sido el C3S0 especlalmente en el electrornagnetismo y la electrostatics, la dinamica de

1

fluidos, la aerudinarnica y la elasticidad. Con el raprdo desarrollo de ruas computadoras y con el U' consecuente de algoritmos sofisticados pant el analisis Y d~sen() cn ingenierla, ell los ultimos afios ha existido un menor enfasis 'en el uso de las '6Cliica~ de variable complcja y \111 cambio hacia las tecnicas numerloas aplicadas directamente 111. modclo de ecuaciones difereuciales parciales de !a situacion que se es.ta, investigando. Sin embargo, .11,111 euando este es el cllso.ln solucicn analitica todl:lvla goza de Um'! merito cOlIsidt:rubJe. posiblemente para IJn modele ideali.z.aJo parol desarrollar I.Ino mejor comprension del oomportarnicnto de Ia solucion y para dar seguridad en las estimaciones numericas para Ia resolucion de los modelcs. Un ejemplo dondc 11\ teoria ha rearizado una contribucien signiH(ativa es en, e'l diseDilo de piezas aerrmauticas para aviones y . tros vehiculos aereos, LlI Iortaleza de In teeria en tales aplica ione es 'U Mhilidarl para genera! maptms 'que transforman flgura!l. complicadas (per ejernplo una ala) en figuras simples, tipicamente un circulo en cl case- de un ala" La idealizacion del fluio de aire utrededor de In pieza transformada (cl clrculo) es relativamente fncil de calcuiar y revirtiendo In rransforma ion puede deducirse el flujo del aire alredlcdi"l[ del ala, y por tanto SIl eapacidad de sustentacien, AJ Anal del capitulo hay una aplicacion que ilIJSLn. 111 tecnica aplicada pam simplificar la geometria para la solucicn de un problema de Ilujo de calor.

lin teda la ingenieriu, las tmnsformacloncs en una forma U olra juegan lin gran papel ell el imalisis y el diseao, EI uso de las rransformacioues de Laplace, z, Fourier y utras en areas tales como cl control, las comuuicaciones y el procesarnicnro !'I~ sefiales es de gran imporrancia. Tales transformaciones se analizaran postcriormente en este libro, dondc sc observara que las Iunciones de una variable cnmplejajuegan un rape II irnportante. Il::ste capitulu esta dedicado al desarrollo y /I. Ill! eornpreusion de Ills tecnicas usuales de las variables complejas, asi como tambien a capaeitar aJ lector para utilizarlas con conrlanza en las areas de aplicacion

Funciones complejas y mapeos

El conccpto de funcion involucra Jus conjuntos X'j y y una regia que ocia a cada clemente _,. en el conjunto X (que se escribc como x E X) precisarnente un clemente y e y, Siernpre que sucede CMO, dccimos que hay Lilia [ul1don f que mapea el conjunro X en el conjunto Y, y simbolieamente lie representa tSIO como

y =/C,r) (x E X)

_l(') Esquematicamente ilustramos una funeiou como en la figura 1.1. Mientra:l. x puede

@Mape~.on WI'" t?maf cual~uicr valor en el coejunto X, ~a va. riable y = Ax) de~e.l'ld~ dell etem~nlO parI V UClIlo.r elcgide para .r. P r eso nQS referimos III x como la variable IlIlIdepel1dumte 'I a j" y como III variable dependil;)nh~, E[ conjumo X es llamado el dominio de la funci6n )' .;:1 coniunto de todas las imagenes y = fix) (x F X) es llamado d coajunrutmagen

Figura 1.1 Mapeo real 0 nngo 1.11: j: Previarnente esruvimos lnreresados en func iunes reales, enronces x y y y '" f(,y)· eran numeruS reales, Si In variable independiente es una variable compleja z -= .1i' + jy

3

I)

s:

Mapeo 0 IIJ"III~fnnnaci61l

Cal P!3.IIlU1:

(bl Plano w

Figura 1.~ Mapeo complejo )of '" j(z).

donde ... : e y son reales y j = \,'(-1); entonces 1<1 runeicn )i)) de z, en general se!"a tambien compleja, Por ciemplo, sij{z), ~ ZI enronces aJ rernplazar por X + lV pard luego desarrollar se tiene

I(:) - x + jy)l "" (.,.2 -/) + ;2,;\)1 = II + jv (dlgamflS)

donde II y IJ SOli rcales, Tal fiz) es llarnada una fll'ncitln cumpleja y eseribimos w =/tz)

dOI1(Jc, en general, 1<1 variable dependiente w = U I j,t/ tambien es compleja.

1::1 le: tor recordum que un num~rl) complejo z ;;::: 1t + jy puede eer representade en un plano llamado cl dlagrama de Argand como se ilnsrra en la Figura 1,2{a), Sin embargo, no podemos dihujar los val ores de x, J' y f(;o;} en un Roi() conjunto de ejes, como podernos haccrlo para funciones reales v - f{x), Por tanto rcprcsentamos los valores de

w =./~z> = u + jl)

en un segundo plano como se ilustra Cilia figuru 1.2(b). El plano que contienc a III variable independiente Z o:s Ilamado el plano z y el plano Q_u.,. contiene a Ia variable depcndiente 11' es llarnado el plano w. Ast, la funcion compleja w = I{z) puede verse' COl1l10 un mllpco 0 transfurmation de puntos P dentro de arra r~gi611 en el plan« z (Hamada, I dlllminio) a mos puntos mmagen eorrespondicnres P' demro de una regien en el plano w (llamadc el range).

Es esta facilidad para mapear Ia que cia a la teoria de funciones complejas muehas de sus H{llicaciones a la ingenieria. n la rnayoria de los mapeos mas utilizados todo el plano z es mapendo sabre tOelo 1:1 plano w, excepto quizas para algunos puntas. aislados. A 10 largo de este capilli I 1;:] dominic sera todo el plano z esro es, el conjuneo de todos los niimcros complejos, denotado por C). Esto CR unalogo, pard funciones reales, a que el dominic sea toda ta recta real (esto es,el conjunto de todos los numeros reales 1Ft). Si este no es cl caso enronces Ia fimcion cornpleja se considera que '110 eslil: bien defil'llida'. Ell contraste, a:;omn pam funeiones reales, el rango de la funci6n cnmpleja puede ser IIJill !)ubconjulllto propio de C

Bncuemre 1.01 imagen ell el plano 'IV de la recta y - 2x + 4 en el plano z, Z = x + jy bajo el mapeo

w=2z+6

.,

4 I'UNCTON1:S DE UNA 'VAKIABI.,I'; COMPI .. JA

----------------------------------~

(0) Plano z

.,'igura 1.:1 EI mapeu del ejemplo 1.1.

(b) Plann w

Solucion A] escribir w '" If +- _iv, donde u 'I v BOil realcs, el mapeo es w = I~ + jv = 2(x + jy,) 4' 6

Q

I~ + jv = 2,." I 6) + j2}1

AI igualar l!l~ partes reales e imaginarias se obticne u = 21" + 6, v '" l.r

que OIl resolver para x y y conduce a .l' "" ~ (.11 - 6). J";;;;; i"

As! la imagen de 10'1- recta ),=2.r+4

en el plano z esta representada pOT !1J=2X!(t~-6)+4

1 2

o

u ~ 2u - 4

(l.l)

que corresponde iii una recta en el plano w. La recta dada en el plaeo Z Y Ill, nnagen de I a recta baju el mapeo en el plano 11' Ic;stan dibujadas en las figuras L3(a) Y (b] respect! vamente,

Observamos de (L1) que, en particular, el punte P.{-2 + jU) ell el plano z es mapeado III punta, P;(2 + jO) en 11:1 plano ~", y que eJ punte p)_(O + j4) en el plano z es mapcado al punto P{(6 + j8} en el plano w. Asi, couforme el punto P se mueve de PI a Pz sobre la recta y = 2x + 4 ell cl plano Z, el punto mapeado P' sc mueve de P'I a P'l sobre la recta v = .2rJ - 4 eli el plano w. Se puede indicar esto COil una tlecha como se indica en la figura 1.3,

FUN ClONES COMl'LEJAS Y MAPEOS 5 .

1.2.1

Mapeos lineales

F.l mapeo w ;;;;;; 2z + 6 del ej emplo 1.1 es Ull ejemplo particular de ua mapeo correspondiente a la funcion lineal general compleja

w == az 1 f3

(1.2)

dunde w y z son variables compJejas yay J3 son consrantes cornplejas. En esta seccion investigaremos mapeos del plano zen el plano w que corrcspondcn II. (1.2) para distintos valores de 1M conatantcs 0: y /3. AI haccr esto tambien introduciremos algunas propicdadcs gcne-n'i1les de los mapeos.

Al lamar a - 0 (Q 0:;;;;;; 0 + jO) en (1.2.) da

w=fJ

10 que irnplica que w"" f3 sin importar cual es el valor de z, Este es obviarnente un mapeo degenerado, que mapea todo el plano z en un punto IV = (3 del plano w. Bsto ilustra el punta sefialado al inicio de esta seccion, que cl conjunto imagen puede sec s610 parte de todo cl plano w. En cste caso particular el conjunto imagen es un snlo punto. Como todo el plano z se mapea en w ~ f3 se sigue en particular que z;;;;;; f3 se mapea en w "" /3. Ell punto f3 es aSI un punte tijo de este mapeo, que ell. un concepto util que nos ayudaa entender un rnapeo particular. Una pregunta mas de interes wando eunsideramos mapeos es si, dado un punto en el plano lV, podemos deoir de que -punto proviene en el plano z baj I) el mapeo. Si es posible regrcsar a un unico punto en e] plano z entonces el mapeo sc dice qlle ticnc un mape(l lnvers», Claramentc, para que cxista un mapeo inverse z ;;;;;; g(w), el punto en cl plano w debe esrar en el conjunto imagen del mapeo original 111 ;;;;;; f{z) .. Tambien, de la definicion de mapeo, cada punto w del conjunto imagen I::H el plano w debe ir a un solo puntu z en el plano z bajo 1::1 mapeo inverse z = g{w). (Note In similitud con los requerimientos para la existencia de una funcion inversa f i(x) de una funclen real f(x).) Para el mapeo particular HI ::;; f3 considcrado aqui el conjunto imagen es un sol n punto w ::;; fi en cl p lano w, y es claro de Ia Figura 1.4 que no hay manera de regresar exactamente a un solo punta en el plano z. Por tanto, 1:1 mapeo w ;;:: f3 no tiene inverse.

Con esta eleccion para las constantes " y p, el mapeu correspondienre a (1.2) se convierte ell

w;;;;;; az

._I.,~

~----------,,-~,~-------~------~----

6 FUN(;IONES OF. rrNA VARIABLE COf\.fi1LETA

Figura 1.4 El rnapeo degenerado It' = [3.

Bajo cstc mapeo, t"1 origen es el unico punto fijo, no existe ningun otro punto fijo que sea finite. Tambien, en este caso existe un mapeo inverse

1

z - -w a

que nos permitc rcgrcsar del plano w al pia-no z at misrno punto del que empczamos bajo IV "" az. Para ilustrar como trabaja este rnapeo, elegimos a = I 1- j t_al que

w - (1 + j)z

(1.3)

y consideramos 10 que Ie pasa a un punro general Zo en el plano z bajo esre mapeo, En genera] hay dus maneras de hacer esto, Podemos proceder como ell el ejemplo 1.1 y SCP4f<l[ ambos z y w en sus partes real e unaginaria, igualar las partes real e imaginaria para Juego encontrar Jas curvas imagenes en el plano w de curvas espectficas (usualmcnrc las rectas Re(z) :;:; constante, Im(z) = constante) en el plano z, Altcmativamente, podemos reerganizar la expreslon para w y dcducir las prnpiedades del mapeo directamente. EI primer plan de accinn, como veremos en este capitulo, es el mas usado. Aqui, sin embargo, tnrnaremos el ultimo metodo y escribimos a: - 1 + j en In forma polar

I + j ;;;;; v:2ejnl4

Entonces, &1

en 1.11 forma polar se ticne de (1.3) que

(1.4)

Podernos dcducir rapidamente de (1.4) lu que realize eJ mapeo, EI punto general en el plano Z con modulo r y argumemo B es mapeado en un punto imagen W COIl modulo ,,\:2 y argurnento e + ~1t en el plano w como 'Ie ilustra en la figura 1.5.

Se sigue que, en general, el rnapco

w = U7

FnN(~lUNt,;S GOMPLEJAS Y MAPf.OS '1

... -""

_v-1m (z)

f!'" 1m ~"')_,. w = (I -t y}z

~-- ..

".

o

o

x= R£(~) NWlOZ

figurll 1.5 El mapeo w - (I -t- JIZ.

mepea el origen del plannz 111 origen del plano w (punto fijo) peru ~[\.:,c:11I.a una dilatacion pur (expansion, arnpliacion, magnificaeion) ~aj y una rotacion en sentido contrario a las rnanecillas del rcloj pDT el arg a. Por supucsto, <irg (X no tiene que ser posimivo y nun pudiera ser cere (corrcspondicndo a (t rea]). EI mapeo pucde resurnirse en 1<1 frasc "ampllficacinn y rotacion pero no treslaclon''. Tarnbieu se preservan ciertas propiedades gcornetricas, siendo la rnasunportaatc que las recess i!11 el plano z seran translormadas en recta!', en el plano \oil, Realmente esto ae confirm a si se observa que laecuacion de cualquier recta en el plano z siempre puedc set escritaen 1<1 forma

Iz-al"'lz-bl

donde 0 y b son consranres complejas (C~,IO siendo la ecuacion de Ia biscctriz del segrnento que nne a los dos puntos u y b en cI diagramu de Argand), Bajo el marco W-= Cl'z I,Ol ecuacion "C mapee a

o

'Iw -1l'~1 = In' - bal

en lei plano 1>11 que claramenre es otra recta.

Vol V<lIIJOoS ahora a I marco lineal general (1.2)1 y rccscribarnoslo en la forma

w - fj "" a:

E1 cual pucde verse como dos 1ll3pCOS succsi 'lOS: prlmero,

identico <I IV = (XZ ccnsidcrado anteriormente, pere est .. vez 0:1 mapea puntos del plano z en puntus del plano S; segundo,

(1.5)

rnapea puntos en el plano , a puntos en el plano w. Lueliminacioa de (.rreCLipcm In, ecuacion (12), F.I mapeo (1.5) representa una traslacien en la que el origen del plano S es mapeado al punta w = f3 enel plano 11', y el mapeo de cualquier otT\! punso cnel plano I; se obtiene surnando fJ alas coordenadas para obtenercl punto equivaleute ell 01 plano w. Geometricamente, el m,i'lJll'C.() (1.5) es cornu si -:1 plano ,Iher(l levantado y, sin roraclon, el origen fuera colocado sobrc 01 purno /3. Los ejes originates representan

a t'UNC1UNES DE UNA VARIAILE 'COMP1EJA

o

o

"

,

p.- - ~ - - - - - - - - - ... r .1

.p

Plano {, ( .. 'I -t J'l

Figura 1.6 El rnapeo w ;;;;; ~ + /3,

Plano w, \oJ '" ~. -+- jv

cntonces al plano w como se ilustra t:n la Iigura 1.6. Obviamente todas 1&<> curvas, e particular 18.<> rcctas, son preservadas bajo esta traslaeien,

Anora estamos en posicion de interpreter (1.2), el mapeu lineal general, ge~ meiricamente como una comhinacion de mapeos que pueden considerarse com fundamentales, a saber

• traslacion

• rotacion, y

• ampliacion

esto es,

Se sigue claramente que una recta en cl plano z es mapeada ell una recta corns pondiente en el plano 141 bajo el mape:o lineal w"" az + /3. Una segunda propieda rnuy util de 10s mapeos hneales es que los circulos son mapcados en clrculos Pan confirmar esto, consideramos el circulo general

[z - zol = r

ell el plano z que tiene como centro al complejo z~ y como radio al real r. AI reorganizer la ecuacion del mape:o w =:; a» + 13 se obtiene

(0; ~ 0)

as! que

w f3 I

Z - 20 ~ - - -== - ZI1 = -( w- We))

a a a

donde wQ ::::: az() + /3. Entonces Iz-z~l;;;;;r

implica

Iw wol = lair

que es uri clrcn 10, con centro en w~ dado por la imagen de Zn en el plano w )' cliD radio lair dado por el radio del ciroulo en el plano z amplificado por lal.

Concluimos esta seccion considerando cjemplos de mapeos lineales,

FUNCIONES COMPLEFAS Y MAPEOS . ·91

Examine el rnapeo

w = (l + j)z + 1 - j

como una sucesion de mapeos fundamentales: rraslacicn, retacicn y ampliflcacion.

Solueton El mapeo lineal puede verse como la stguleme sueeslon de mapeos simples:

Z -r~-.;<-,.""', .. o.-n---?- .;/"'\, ---~ 1'2ej~"4z \12ern·'"z ~ 1

v"'_ ampliadbn \ rraslacion

nor ~" pOt ,,2 0-41- j 0

(0,0)-;1·1,-1 )

j '" W

t;:11 sentido contrario :a las Illiln«iUas del ,e loj

La Figura l. 7 ihistra este proceso en forma de diagrama. EI sombre ado en In Figura 1.7 ayudaa identificar como el plano z se mueve, se gira y se cxpandc bajo cstc rnapeo. Por ejemplo, 13 linea. que une los puntos U + j2 y l + jO en el plano ztiene la ecuacion cartesiana

~y + x = 1

Al tamar w = !.I + jv Y z = X + jy, cl mapco w = {I +j)z + I - j

se convierte en

y

x

Plano z

Ii

-I+j----

Planow

Figura 1.7 El mapeo w - (1 1- j)z 1- I-i.

10

II + jv = (I + j)(.r + jy) ~ II - j = (x -.r I- I) + j(x + ". - I)

AI igualar 1<1$ paries, real c imagmatia se obtiene

u = X -)' + I,

11-.\'+)'-l

lucgo 211 resolver para x y y se tienc

2x = u I u,

2Y=!I-!l+2

Sustituyendo ,r y yen la ecuacien ~Y + x == I da la imagen de esta recta en el rlliIIW w como I a recta

31J+u-'2

que coria en 2 0.1 eje real en el plano w y al eje imaginario eli ~, En Ia figura 1.7, se muesrran arnbas rectas puntcada en los plano z y W I'e'spectilvamen!e,

£1 mapeo t1' = az + f3 (0:, f3 nurneros cornplejos constantcs] mapea el punta z '" l + j en el PUIlW Ii' = J. y el puntn a ~ II - jell ei punto w - -1.

tal Determine ex y f3

(b) Encuentrc la l"e~i6fl en el plano H' correspondiente al serniplano derecho Re(z) :;0: 0 en el plano z.

(c) Encucntre la region ell el plano w eorresporuliente IIJ interior del circulo uuitario i z I < 1 en el plano z,

(0) Lncuenrre los puntos Iijos del rnapeo,

in (b)~(d.) usc los valores de r..t y f3 determinadosen (a).

SoJwcf6n (it) Los des valorcs de z y w que so corresponden bajo el mapeo lineal dado dan origen ados ecuacioncs para Ct y (J Como sigue: si a= 1 +.1 se rnapea en W ~ j implica

j '" ,(X(l + J) + P

rnientras que si z ;;: I - j se mapea I;:(} W "" -I irnplica

- I = a( 1 - j) + f3

Sustituyendo estas dos ecuaciones ell a y fi da j I J = a(1 + j) - 0:( I - j)

as! que

0;.;;; ] ,+ j = 10 - j)

J2 2

Sustituyendo hacia abas paea despejar fJ tenernos /3=j -(1 +j}a==j - ~(l_jl)=j-

as! que

FUNClUN.eS COMPLEIAS Y MAPEOS ·11

-

y

w-(I-jJ(k-11

Planu z

Plano 11'

Figura 1,8 El mapeo del ejernple 1,3.

w = ~ (I - j)Z + j - 1 =: (1 ~ nd z - I)

(b) La mejor mancra de encontrar la imagen de curvas espccificus en el plano w es prirnero expresar z (= x 1 jy) en terminos de Ii' (;;;;;; U + ju) para lucgo igualar las partes real e imaginaria y exprcsur X y Y en terminus de u Y I). 'Jenernos

w = (1 - j)az - 1)

el cual dividiendo entre I - j da

~""!" -1

I j 2-

At 10maI' W = II + j[l )' Z ;;;;;; X + jy y racionaltzar del lade izquierdo, tenemos ~{!I + .llJ)(l + j);;;;;; ~(x -I jy) - 1

Al igualar las partes real e imaginaria se tiene

u - v ;;;;;; x - 2, U + IJ = Y

(1.6)

La pr irncra de estas puede usarse para encontrar la imagen de x ?- O. !3s'l<l. CS II - IJ ;;;, -2 q\le tarnbien es una region acotada por Ia recta U - v = 2 y se muestra en la figura l)t Llegirnos un punto en la rnitad derccha del plano z, digamos z .. 2. Y el mapt:u da w;;;;;; 0 como Ia imagen de este punto, Esto aclara cualquier duda Heeren de cual lado de u - ~, = -2 correspondc a 111 mitad derecha del plano z ,1 ~ O. En 11'1 fi gum ].8 aparecen sombreadas las des regi ones correspondienres,

(c) En Ia forma cartcsiana, con z= x + jy. la ecuacion del circulo unitario Iz~ == 1 es ;Xl + y' ::::; l

AI sustituir x Y]I de las rclactones del mapeo 0,6) se obtiene 111 imagen de este circulo como

12 FUNClUNES DE IJNA VARllABiLE t.;UM["LliJA

(u - 1) + 2)" + (u + V)l = 1

..

u" + !Ii + Zu - 211 + ~ = 0

que completando cuadrados nos lleva a

(u + 1)' + (v - 1)2 - ~

Como era de esperarse, este es UI1 cireulo que tiene, en este caso particular, celllJC cn(-I,I)yrad.i(),I~.Six:l FY"<'_ I entonces r« I 1)21,(v-l)2< Lasilaregiti~ denrro del circul 0 I z I = [ en el plano 7. corresponde a La region dentro de su circule imagen en el plano w. Las regiones correspondientes <lJpal'ecen sombreadas en ~ Iigura 1.8

(0) Los puntos fijos del mapeo se obtienen poniendo w = z en w "" uz + /3, 10 que genera

z ea {~z - 1)(1 - j)

I I· .

Z = 2 Z - lJZ - ] + J

z - -1 + j - ·2 -1-1-· J

2' + 1.1

es e] unico punto fijo,

Antes de dejar este ejemplo analiccmos lin ultimo punto. En la figura U\ las in.u\genes de ;". ~ 0 y x2 + I - 1 tambien pueden ser vistas ell el contexte de traslacion, rotacion (la linea en la flgura 1.8 gira slrededor de z == 2j) Y ampliacion (de heche, reduccion, como se puede ver per la disminucion en el di<llm:tm del clrculo comparado con su imagen enel plano w).

1.2.2

1 Encuentre las ecuaciones de las siguientes rectas en el plano z, y '" lUX + c en la forma cartesiana I '" X + jy (m y C consranres reales):

(a) ~I-2+jl=lz-j+31

(bJ Iz"'l- Z" + 4](z - z"') = 6

donde * deuota 1:1 conj ugado 0.: omplejo,

2 Encucntrc cl punto dc intcrscccion y eI BDgLLlo de interseccion delas rectus

II - I - j I = [z - 3 + j I [z - 1 + J I = [z - 3 - j I

3 L3 luncion w - jz + .4 - 3j es una combinacion de traslacion y rotacion, Siguicndo cl proccdirniento del ejemplo 1..2, demuesrre esro con un dlagrama. Encuentre la imagen de la llnea 6x + y - 22 (z - x -t- iv) en el plano w bajo I:S~t: mapeu,

4 Demuestre que el mapeo w;oc (1 - J)Z, donde w '" 11 + jll Y Z =: X ... jy, mape~ la region y >1 del plano z en la region II I· u > 2 del plano w.. llustrar las regiones ell un dlagrama.

:5 Bajo el mapeo 1\! - j.:r + j, donde w - u + jv y z - x + jy, demuestre 4U<: el semiplano .:t" > 0 del P[.~III() z mapea en el semiplario IJ > 1 del plano w.

6 P'arn z = x + jy encuentre la lfI~gion mmllgen en em plano w ccrrespondiente a 1<1 franja scmi-infinita x > 0, 0 <s < 2 del pIano z bajo el mapeo II' '" jz + L 1I111str,t'; las f,egi~n-c,q, en ambos. planes,

7 Encuentre las imagenes de las siguientes eurvas bajo el mapea

w'" (j + \,'3)z + i,,'3 - 1.

(a,) Y'" 0.

(c) Xl + l '" I doude z '" x + jy,

(b) .r = ()

(d) xJ + I + 2y '" I

1.2.3

8 EI mape~, tv'" az + f3 Ca, P ambos numeros constantes complejos) mapea el punta z "" 1 + j en e,1 punta W '" j y el punro z ;;;;; -I en el punta W" I + j.

(a) Determine a y IJ.

(b) Encuentre III region del plane w oorrespondiente al semiplanc superior Im.(z) > 0 ,~ ilustre con un diagrama.

(c) Encuentre III re'Gl6n del plano W corrcspondiente !II disco Izi < 2 e ilustre con UTI diagrama.

(d) Bncuemre los puneos l'ijos del mapco.

Ern (b)-(d) utilice los valores de €X y f3 determiaados en (3).

El rnapeo de inversion es de la forma

]

w!!:! - Z

(1.7)

y en esta subseccicn ccnsiderssemes Iii. imagea de elrculos y rectas en el ~hll1o z bajo tal rnapee. Claramente b~jo este mapen In imagen en el plano w de un drcullo general

I;; - 201 - r

en el plano z con centro ell 1.'0 y radio r esta dado por

(1.8)

perc :00 es inmediatameme ohvioque forma tiene esta curv .. en cl plano ll'. Para investigarlo, tomamos w = I~ + ju Y zQ = Xo + jyu en (1.8) obteniendo

Ili-jl) .. II

IJ.' + 1)2 - Xo - JYo = r

Elevando III cuadrado setiene

( .. )2 (I )1

~-XI) + ~+Ya. =r2

u+v IlTV

que desarrollandolu nos lleva a

2 U

:I 1 1

(il+U)

14 FUNCIONBS DE NA Vi\RlABLE ,OOMA'!:. fA

1/2 + Il + 2IJYII - 2uxo "" rl _ 1"5 _ y~

(u2 + 1'/)1 U~ + if

a J que,

(u2 + "")(rl - -d - y~) + 2uxo ... 21JY~ ""

0.9)

La cxpresiou es cuadrarica en Ij )' ell v, con los coefj,c·ientcs de u' y 1,2 iguales y no hay terrniac en !.II}, Por tanto rcpresenta un ctrculo, lit menos 'ql!1e '101 eoeficieate de u2 + u2 sea cere, 10 cual ocurre cuando

x5+}'~""'.2, 0 1101;;;;;1' 'J renernns

2w;~ - 2t.y~ =

que represeuta una recta en el plano w.

Resumiendc, ef mapeo de inve-rsl.on w = 11::: mapea ol circule ~.t - znl-' r del piano z en'l1t1o clrculo del piano w a menos quel.l)l-= I' en C\lyo ease el cl tcu 10 es' rnapeado en una recta que no pasa p,or:,ei arigen en el plano w. ,

Cuando Ilzol ¢ r, podemos dividir la ecuacion 0,9) del efrculo en el plano II entre ,.2 - x~ - y~ para obrener

2 2 2.rnu 21'0 v

II +v +" 2 2 J 1 2 -. 1 1 2

r ~ -'ra - Yo ,. Xu - )In 1- -.to - )10

que se pucde escribir en In forma

(u - 110)1 + (v - vu)' ~ N'

donde (110, lJo) son las coordenadas del centro y R (:5 c! radio del etrculo en el plano w. Se deja como ejercicio para el lector demostrar que

( Xo Yo)

(Ilu, LIn);::: -.7- I j2' .» 1_ 12 '

1 - 2ft ' - "ul

r

R == 1 'J

r -izol

Ahora conslderamos 111 recta general I z - til I =: I z - all

en el plano z dunde fil Y G1 SOil numeros ccmplcjos eonstantes con GJ ¢ (I'z' Baja el mapeo (1, i) se convierte en lao curva en el plano w represenrada per la ecuacinn

(1..:10)

De nuevo, no es rae il identiflcar esta CLII!"va, asl ql1e procedemos como <IDles}' tomamos

W = IJ + j!l, a~ ;;;; p + .iq, U2 - r +- js

donde p, q, r y s son ccnstantes reales, AI sustituir en (1.10) Y elevar aI euadrado ambos lados sc riene que

( U )2 r-: )2 (U' )2 (. IJ )2

-2---2 - P + -.--1 -I q "" -.J--I ~ r + -1--2 + S

u+u ,IJ+O U+V U+V

FnN~TONES COMIJLEJAS '{ MJ\P.E:OS 15 '

AI desarrollar cada termino, cl cuadrado de uf(u~ + v2) '/ V!(Il~ + t?) Sf: cancels, 10 que da

2up 2 2~'q • 2",. 2 211£ .J

--2-- + P + + fj = ------r--1 + r + -2--. + s-

U. + Ii Ii + v· II +- 11 II + I)

qllC al simplificar se convierte en

([12 + v1)(P:l + (j2 _ r2 - ,~2) I 211(1' - p) + 2v(q - s) = 0

(1.11)

uevarnente esto representa un circulo que p,Qsa por el origen en eI plano lV, a menos que

r?+l""?+s2

10 cual implica que I ad = I liZ J, cuando esto represema una recta, tambieu pasa por el origen, 'en el plano w. La forma. algebraica de las ccordenadas del centro del circulo y su radio pueden deducirse de (I. I I).

Parn ver par que sucede esto, prirnero observaraos que los puntos fijos del mapeo dctcrminado por w = z son

7.=~, 0 z2=1

asi que z - ±l.

Tambien notamos que z ;;;;;; I) es mapcado al infinite en el plano w y w == 0 es mapeado 11.1 infinite ell el plano Z Y viceversa en ambos cases. Mas aun, si aplicamos el mapeo una segunda vez, obtenemos el mapeo identidad. Esto es, si

I

W=-, y. ,'=

z w

entonces

(- _1 =z

. l!z

que es el mapeo identidad.

EI interior del circulo unitario I z I < 1 en el plano z esmapeado en Illw I < I o 1 wi> J, el exterior del circulo unitario en el plano w. PUf ill, misma razon, el exterior del clrculo unitario Izi > ! en cl plano z es mapeado en 11/1-1'1 :> 1 0 Iwl < 1, el interior del circulo unitario en el plano w. De heche, los puntos en Izi = I en el plano z son mapeudos a Ios puntos en I w 1 ~ I en el plano w con ± I Y quedan fij os, como ya se probe, La figura 1. 1.0 resume esta propiedad.

Sc deja como ejercicio para el lector demostrar que la mitad superior de la fronrera de I z 1 = I cs rnapeada en III mitad inferior de 101 frunlera de 1 wi = t

'1;$ FUNCIONES DE UNA VARIABLE r-OMPLEfA

rtaJilOZ;

y

Mepeo w .. }

x

J

-

Plano w

-- -..

-

-

"

Fi,gllfll 1.9 El mupeo inverse w = liz.

y

Ii

Plano z

Plano w

Figura 1.10 Mapeo del clreulo unitario bajQ OIl "'- liz.

FUNCIONIlS COMPIl..EJAS Y MAPEOS '17

Para cnalquier punto Z'g en el plano z, el punto l/zfI es Ilamado el iillverso de Zu con respecte a] dreulC) IZ!I = 1; esta es la rtt76n del nombre el rnapeo, ( ose el doble significado de inverse; aqui signiflca 101 funcion reclproca y no el mapeo "inverso't.) La definieien mils gcrt.e!l'al de inverse es que pam cualquier punto In en cl plano z el punto r2/z~ es el inverse de tu con respecro al circulo I.:; I:::: Y, dunde r es una consmnte real.

Determine 1111 trayectnria imagen en el plano wc{)rresponidie'Illte a1 clrclllio liz - 31 = 2 en el plano z bejo cl mapeo w ;;:;; liz. Dibuje 13." trayectorias ell ambos pianos z y l1-' Y sombree en el plano w la regtcn correspondiente a 10 region dentro del circulo en el plano z.

Soluci6n La imagen ell el plano w del cireulo I z - 3! = 2 ell eI plano z bajo el rnapeo w ~ lIz csta dada por

Ill. que aR tornar W ;:; II + jlJ ds

llJ - jv - J, I = 2

2. 2 II + V

Elevando ambos lad S III cuadrado, tenernos entonces

( U )2 ( -v )2

-2--2 - 3 + ~1~~2 "" 4

/I +V II ,"v

o

2' ,

U ... I)' _ ~ 5 = 0

2 2Z l 1+

(u + v ) 1/+ II

que sc reduce a

1 - 611 + 5(ul + vi) "" 0

o

( J)l' 2 ~ IJ-3" +v;;;p;

A..:q.i' 1181 imageID en d. plano l"e.~ un cicc'lllio COil centro eo H, 0) y radio j" Los CirC.1IlM correspondientes en los pianos z y w se muestran en 1<1 figura 1 .11.

AI tomar Z" ."" x + jy el mapeo tV ;;; lIz se cenvierte en

. I x - jy

u + JIJ = -.-.- = -Z--l x+j)1 x +y

el cual, igualando las partes real e imagmaria da

I

U iiiii -1--~' yO + Y

1) = __:l_..

• 2

X + Y

18 FUNCIONES DE UNA VAlUABLE COMPLIl:JA

------------------------------------------

y

"

B

Plano 1

Figuro 1.11 El rnapec del ejemplo 1.4.

Ahora podemos usar estas dos relaciones para determinar In imagen tit: PUlltOS particulares bajo t:1 mapec. En particular, el centro (3, U) del ctrculo en el plano z es maf1cado en el puntc I" .:::.. j, !! = 0 en el plano w que esU dcnrrn del efrcule mapeado. Asi, bajo el mapeo, la region dcntro del circulo en eJ plano z cs rnapeada en la rcgizin denim del clrculo en el plano w.

Aun mas, si pnr ejemplo se consideran tres puntos 1\(1 + jO), 8(3 - j2) y C{5 + jO) en el circulu ell el plann z, encontramus Y_lLIe los puntos imagen que curresponden al circulo end plano W sen puntos A '( 1, O), B'( ~, f..) y C'( l ' 0). Asi, conforme el punto z recorre el circulo en el plano z en sentido contrario a las manecillas del relc], ell punto correspondiente HI en el plano Hi' lamhiell recorrera el cireulo rnapeado en sentido contrario a las rnanecillas del reloj como se indica en la Figura 1.11.

1.2.4

Mapeos bilineales

(1.12)

donde a, b, c, y d son. constantes complejas. Se Ilam a m:!lplto bilineal en z y en 1-1' ya que puede scr cscrito en la Curma Awz + Bw -I- ez + D '" O. que es lineal ell ambos Z y w.

Claramente se observa que el mapee bilineal (I > ~ 2) eli mas camplicado que el rnapeo lineal dadu en (1.2). De heche, el mapeo lineal general es un caso especial del mapeo bilineal, ya que haciendo c = 0 y d"" 1 en (1.12) da (1.2). Pam il\VIestl~r el mapeo bilineal, reescribimos el lade dcrecho de (1.12) como siguc:

,Q ad

-(cz + d) - - + b

c c

cz +d

asi que

FUNCIONES CUMPL!EIAS Y MAPliOS 19

(! be - ad -+----::c c(cz'l d)

Estc mapeo claramcntc dsgenera ell 'W == ate a rnenos que pidumos lIL1e be - ad", O. Por tanto, decimos que (1.12) representa un mepeo bilineal si el deserrniuante

w=

(1.13)

no es cero. Este es llamado algunas veces et dietcrmiluml'e dc'll mapeo, Cuando esta eundicien se da, el mapeo inverso

~cJw + b

z ==

cw - a

que se flbdene at despejar z de (U 2). fambi 611, eS bilineal, yaque

bl == da _ ·b c#. 0 -a

AI tenombrar las ccnstantes de tal manera 'II\1C' .1 = alc, ~ = be _, ad, ti = c2 Y ,II := cd, (l. 13) se rransforma en

w=..l+.)ln

ae+]:

y se puede dividir el mapeo en trcs pasos como sc indica: z, :: az + {J

loll - It "' jiZl

EJ primero yell tcrcero de estes paaos son rnapeos Iincales como los considerados en In seccil6n 1.2. I, mientras que el seguudc eli el mapco inverse '0011 idcmdo en la scccion 1.2.3. Asi que el mapeo bilincal (1.12) puede gcnerarse a partir de los mapeos elementales srguicntes:

I

z -----:~--i>, Clz ~~--t Ctz + P. -. > - a

rOt:lCLOO trn,l""i6n mV<r'iIOn ru + p

y

.m,>llio.:i.m

--~ __i!:_ ----+ A + ~ = W

runpUIlC,60 az -+ fJ 1irlI$lad6n (U + p

y

n1lacion

En lu seccion 1_2_1 se via que 1<1 transformacion tineal general w -= en ~ f3 no cambia i:II furma de lit curva mapeada del plano z en ,el plano w. En Ia scccion 1.2.3 tamblen vimos qw:: el mapeo inversion w = LJz mapea circulus I) rectas en e] plano z en clrcules (]I rcctaa ell el plaoo w_ 50 sigue que ct mapeo bilineal tambien exhihe esta propiedad importante, es dccir, tarnbien mapcara clrculos 0 rectas en el plano z eli circulos orectas en ~I plano w.

2.0 FUING10N&~ DIE: NA VARIABLB OMPLEJA

.fi'EMPLO 1.5

Investigue el mapeQ

z-I W =-z+J

para tal fin encucntre las Imali!.e:ll"'~ enel plano w de las recras Re(z) '" constante e :~m(z) := constante. Bncuemre los puntes fijoll del m<l!peo,

Sohtd6n Como se estan buscando las imagenes dt: curvas especlflcas en el plano iii, pnmero expresamos z en terminos de J.l-' y despues expresamos x y y en terminos de u y i.I donde z = x + jy y W ;;;;;; II + jv, Despejaado z de

z-,l

w = --_

z+ I

nos da

I. + w

z~

I,-w

AI tomar z == x + jy y W =: r1 -t' jll se tiene

x+jy=] 1U'+j!J 1- u - jv

1 +u+Jjv l-.u+jv

;;;;;; ..,....- ...... ~-~~'---

I-u-jvl u+ju

(U4a)

que se reduce a,

. 'I - u' - I? . 21,'

x+lv= _ ~ J+J 2:1.

(I-u) +11 (l-u) +~

Igualando las partes real eo imagjnaria nos da

(1.1411)

De (1.14a} se tiene que las rectas Re(z) -" x;;;;;; (:1' qUI! son parnlelas al eje imaglnario ell el plano z,corresponden a Ias CU ill>

donde .:"1 esuna consrante en e1 plann )11,. AI reorgauizar esto se llega a cl(l - 21i + !~l + z?) '" I - u2 - ri·

fUNCIONES COMPLE}AS ., MAPEUI:i 21

--------------------------------

o suponiendo que I + (;1 ¢ 0,

l 2 2c,u ",,-1 0

u +11 ---+~-""

1 + 1':, CI -1- 1

que completando cuadrados da

( CI)2 l (. 1 )"

11-- +v ;;::; --

l+c,l+Cl

Ahnra es claro que la curva correspondicnte en el plano w es un circulo con centro en (u = cll(l + CI), V == 0) y radio (I + c,r'_

En La manipulacion algebraica supusimos que ci ¢ -1 para pnder dividir entre 1 + C;. Eli. el C1lS0 cxcepcional c, - -1 tenemos u ~ I, Y la curva rnapeada I;:S una recta paralela al eje imaginario, en el plano w.

En forma similar, a partir de (l.14,b) se tiene que las rectas Im(z) = y '" c.' que son paralelas al eje imaginario en el plano a, corresponden a las curvas

211

£:2 ;;;;; l 2

(I-I() +I!

donde ('2 cs una consrante en el plano w_ Nuevamente, esto representa usualmentc un circulo en cl plano lV, pen> exeepcionalmente rcpresentara una recta, Al dispener la ecuacion en un nuevo orden S~ tiene

, , 21.1

(I - 1.1)" + u: "'" - Cz

suponicndo que C2 't- 0, AI completer el cuadrado se tlene

., ( 1)2 1

(u- I) + v-- """""1

C:1 ",

que reprcsenta un circulo en el plano w, con centro en (1.1 '" 1, V"" 1 !c~) y radio 1 fC2- l;:n el caso cxcepcional de que c:, :;;;; 0, entonees IJ = 0 y vemos que el eje real y '" 0 en el plano z mapca en el eje real v "" 0 en el plano w.

Tomar una sucesion de valores c] y despues C:l, digamos de -) 0 a '0 en pasos de +1, nos permite veri ficar lo~ mapeos rnostrados en la figura 1 _ 12. Los puntos fijos de) rnapeo estan dados por

z - I

z = ----= z + 1

csto es,

z2 ;;;; - 1 , 0 Z = ±j

En general, todo~ los mapeos bilineales tendran dos puntos fljos, Sin embargo, aunque existen propiedadcs matematicamente interesantes asociadas con mapeos particulates que tienen los mismos PUDlOS fijcs, ellos no tienen relcvancia en las apllcaciones de Ia ingenierla, per ]0 que s610 rnerecen una pequena rcfcrencia aquL

f2f! FHNI.IONF.S DE UNA VARIABLE COMPLEJA

._

_ z - I

W=·--

z", I

y "" 11111 [z]

Plano z

I:'igura 1.12 EI mapeo w = (z l)/(z I I).

-

t:=lm(w)

Plano w

Encuentrs la imagen en e I. plano w del clrculo ~z 1 = 2 en el plano z bajo el mapeo bilineal

w- z -_] z + j

Dibuje las curvas en ambos pianos z y w y sombree la region en 1:1 plano w correspondiente a la region interior del clrculo en el plano z,

Snluctnn Despejando z de Ill. transformacion se tiene jw + j

z=--

I - w

asi que Ia imagen en el plano w del circulo I z I ;;;;; 2 en el plano z esta determinada pm

Ij}V+jl=2

I or

(1.15)

Una posible rnancra de prnccdcr ahoracs poner w = u + jv y actuar como en el ejernplo J.4, pew el algebra se vuelve un poco complicada, Un metoda alternative es usaf la propiedad de los uumeros complejos que di ce 1 zl!z21 = ~ Z I 1.1 I z, I, asl {l.IS) se convierte <:11

Ijw + j I = 211 - wi

AI tamar HI = U + jv IlC ticne

i-If + j(u + 1}1 = 21(1 ~ II) ~ jvl

que elevaudo ambos Jades al cuadrado IlO~ lleva a v· + (I + u)" = 4 [(1 ~ 11)" + v1]

I'UNl;10NES COMPLEJAS Y !\o(APF.OS 2~

II

Plano r

Pbano w

Figuru 1,1,;'1 El rnapeo II' ;;;; [z - j )t(z + j),

o

~ 1 m 1 0

U+IJ-TI.I+ ;;;;;

AI cornpletar el cuadrado del rcrmino se nene

(1.1 - ~)" + t/- ~

10 que indica que In curva imagen ell el plano IV es un circulo con centro en (I( ::;; ~, v ~ 0) y radio ~ En In figura 1.13 se ilustran los circulns que corresponden a los planus z y IV. Para identificar las regiones eorrespoudientes, consideramos el mapeo del puntu z = 0 + jU dentro del circulo en el plano z. Baja el mapeo dado, este mapea el punta

0- j .

w"" --. "" -1 + 10

0+ J .

en el plano w. Entonces se sigue que 13 region dentro del circulo Iz I = 2 en cl plano z mapca _en In region fuera del circulo en el plano w.

Una propiedad interesantc de (1,12) es que existe s610 una transformacion bilineal que mapea tres puntos disrintos dados ZI. Zl Y z, en e1 plano z en trcs puntas distintos especlfieos Wj' 1111 Y w, en el plano w respectivamente. Se deja como ejercicio para cl lector demostrar que la transformacion bilineal esla. dada per

CUI - Wd(Wl - w3) _ (1' - zl)(Z2 - :£:3) (w - I'I'J)('I1'2 - WI) - (z - ZJ)(Zl - Zj)

(1.'116)

El lado derecho de (l.16) es llumadola razon cruzada de Z'I, z~, z~ Y z, Ilustraremos esto con un ejemplo,

Lncuentrc la transformacion bilineal que mapea los tres puntos :z '" 0, -j 'j -1 en los tres punros w = j, 1, 0 en el plano w respectivarnente,

Svlucion Consideremoa la transformacion a z + h

,v;;;;;-~

cz +d

24 t'UN~TONFS .DE UNA 'VARIA nt.e COMPLE}A

al utilizar la informacion dada sobre los rres pares de puntos corrcspondiernes so tienc

. 0(0) + b b J -' c( 0) + d = d

1 = a( j) + h

r(-j) + d

0= a(-I) .,. b ,(:(-1) + d

De (1.11c a == h; entonces de (l.lh)

.J b 'b .

" = ";' - -j = ~la

J

y de (1..1 7b) c ;::;; ja. Asi

(1.17,a)

(1.17h)

Q'Z + a I. z + I ,Z 1- I

W = jat - .ill "" I z-=-i "" -J z - 1

A I tern ati vameate, al utilizar n .16) se puedc obtener

l(w-j)(I-O}_(z-O)i( j+ II) (w-U){l-j)-(z t I)(-j-O)

o

. z + I w=:-J-. z - I

como antes.

1.2,,5

Ejp.rcicios

9' Dennuestrc que si z = .x + DO. 1(1 imagen del sernlplano " > c (c consrante) bajo el mapeo w;;;;. lIz es el iuterior de un clrculo, siempre que e > O. ~CliM es la imagencuando C ",. I) Y cuande e < 07 Ilustrarlo con un dibuio en e! plano "'.

Lli Determine ill imagen en el plano w del lrculo

~z+l+jl"'~

bajo el mapeo inverse w :: l /z.

II Pruebe que el mapco w = liz rnapea el emu In I Z - ,II = a, dvndea es una consrante real posluva en una recta e'1 el plano w. Dihujc las curvas correspcndlen-

res en Ius pianos z y w e iudique I a regi6n donde se mapea el iruerior del circulo en el plano :!.

12 Encuentre un m~peo bilineal que mapee z = 0 en Ii' = j 0 z - -j en lit '" I 'Y 2 = -I en II' = O. lJespues, dibuje eI mapeo y cncuentre las imagenes on el plano w de las w,ecta's Re(z) = con lame e [m(z) '" constante en el plano z, Vetifique 'que z :: ! (j - 1) i(-l ± ,:3) 50n los PUf!LOS fijos del mapeo.

lJ Las dos variables comp.leJlls I y Z esran relacionadog par el mapeo inverse

I + j

w;;;;--

Z

(a) EnC1JCl1trc las imagenes de los puntos z .;;: 1, I - i y 0 CII el plano w.

(It) Encuentre la region del plano IV correspoudieme al interior del clrculo unitano 1:1 < I en 131 plano 2. (c) Encuentre las CUrV<llI on el plan.o w que corresponden a 1 as rcctas x = 1 'j x ... Y '" .1 ell el plano z. (d) l'.ncucl1lrc 108 puraos 'fi i us ~k~ I ma P eo,

I~ Dad!'! el rnapeo (:ompllcJO z I 1

w"'--

z - 1

donde IU - Ii + jll .y z = :r + JY, del ermine llil imagen de .1 a c m:tl va en el p 1;}110 w cortespo n.dieflte a I area semicircular xl + yl '" I (x ~ 0) descrito del punto «(I, -I) al punto (0, I) ..

15 (a) Mapee 13 fl!gioll en el plano z (z '" .~ + .h') que SOl:' encuenna entre 1,,:<;, rcctas ,\1 '" _II )I Y - 0 con .II.: < o en el plano IV bajo cl mnpeo bilineul

l: + j

w=z_3

(SllgfiFfi/ldlJ: considere <:1 puJil.!O 1\1 '" ~ para facilitar la identificacint1 de las regiones correspoudiemes.)

(hJ Demucstre que, bajo el mismo mapeo que en (a), ta recta 3x + y ~ 4 eu <;!l plano z eorrcsponde al circulo wMuuio Iwl = I en el plano w y ql.le el punre HI "" I Ill! cerresponde ill uml Y~10! ftnlm de z.

1.2.6

PUNCJONES COMPLEMS Y MAP"ROS 25

Hi S'i w - (z - j)/(z + j) encucntrc y dibuja la imagen en el plano lti corrcspondiente 3.1 elrculo I z I = 2 en el plano s.

'17 l)(imuc~lre que el mapeo bilineal

w = ejO" Z - 2'0

Z - zt

donde llb IlS una constaiue real 1)1 ~ e,., < 2x, 20 es Ug numero complejo fijo y I:~ su cOnjl.lg(!do., rnapea l!cl rnitad superior del ]1111.1'10 Z (.!m(z) > 0) en el luterior del circul .. urntario en, el plano w (I w I < I). En. uentrc los valores de z" y 8.0 i 'v ~ n corrcsponde 0. z = j 'I W = -I 1:01 responde <lJ Z '" ee ,

18 Demuestre qut' bajo el mapco 2'

IV = -.l::..

z + j

los arcus eirculares 0 recta,s que pasan por z = 0 y :z = j en el plano z son mapeados en arcos circulates o rectas que pusan "or w - 0 y 111 ;;;] en el plano w. I:ncuonh'e Ins im.~ge[les d.~ las rcgiones 1% - ! I < i y lr] <: Iz - j II en el plano III.

19 Encueuue el rnapeo hilincal mas general que mapea el clrculo unnario I z I ~ 1 en el plano z en el cfreulo unitario bl'~ = 1 ,en eJ plano w y et punto % = ':0 ,em 01 plano z en eI origen w = (}I en .:1 plano w.

IExiste 1II[] buen nnmero de otros mapeos que se utilizilD en ingenierta. Per ejemplo, (lJ1 estudiar las transformadas de Laplace y z, 4'!lt: son los temas die los capltulos :2 )f 3 respectivamenre, nos interesan los mapeos polinomiales

dunde 00, Cll• ' .• , an son constantes complejas. la funcinn racienal

P(z)

W=--~

Q(z)

diO[lde P Q son polinomlos en z y el mapeo exponencisl

d ndee = 2..71, 28 ... , , es Iia base de los Iogaritmos Ila~uralcs_ Como qued6 claro corn los mapeos bilineales de lao seccien 1.2.4, los mupeos eiemeTlh!ilcs pueden set dificiles de analizar, Afortunadamente rcncmos dos factores til! nuestro Iadn, Primero,

_RIAULE COMT'II.EJA

no se requiere de tl'3Z0S muy detallados pera eurvas especfficas y sus imacentls • . otamcntc imagcnes de puntos. Segundo, utlhzando derivacien compleja, et rema de hi seccion l.:l, vartas facetas de cstos marcos ITH1.S complicados pueden cmCI1- derse in cl largo proceso algebraico, Como un prcludio, en esra subsecci ('In ana 1izaremes d rnapeo w = 21 que es el mas sencillo de los mapeos polinomiajcs.

Invesriguc el mapeo w = z2 Y dibuje las imagenes en el plano w de las rectas x = eonsuuue y y :: constante en el plano z.

Sohicirin Existen algunas dificultadcs ai invcrtir cstc marco para obtcner z como funci6n de 11', ya q~IC Ia raiz cuadradatiene problema de uni idad. Sin embargo, no hay neccsidad .lit: lnvertiraqui, 0'11 lamar W = I:' + jv y z =.t + .jy el mapeo se con .... ierte en

W _ II + jll = X + jy 2;;;;; ~ - ),2) + j2~y

que ill considcrar las partes real e imaginaria, do

u='~-)'~

il = 2xy

(1.18)

Si x = a. una constante real. entonces (1.18) se vuelve

I-' = lay

que, al ehminar y, da

o

as! que

1/ :: 4a4 - 4a'[I = 4a1(a2 - 11)

Lsto representa una parabola en el plano W Y como el lado dcrecho ticnc que scr positi vo, a~ >-. 1/, asi la "nariz" de la parabola csta eli II ;;;; (Xl en el eje real positive en el plano w.

Si y = /3, una constante real. enronces (I , 1.8) se con view: en

Il = lx/3

luego, all ehrninar .r, se obtiene

J

IJ .(.1'

£I = - - f"

4.tr

FUNClONES l:OMPLE,AS Y 1\'1APEOS 27

y

x

, ,

" .

,

,

- -I- _ .. -1--

- -, ..

___ - 1- _~I-'_

II

--1--. Q -1---

Plano z

,

.

~

,

, .

Plano ,...

FI,ltura 1_14 EI mapco It' = i",

asi que

Tambien es una parabola, pera abre en direccion opuesta. Como antes, cl lado derecho debe ser positivo, aSI que u > -{3" y 1.'1 "nariz" de Ia parabola esta en el eje real negative. Ell la flgura 1.14 Be dibujan estas curvas,

No hablarernos cxtensamente de los puntas finos del mapeo w = Z2. En cambio, observamos que en general, es muy dificil dibujar las imagcnes de las curvas en el plano z, UUIl las rectas para\cl.'ls a los ejes, bajo los mapeos polinomiales.

Los siguientes ejercicios tambicn ayuduran a entender este ropico. Vnlveremos a cxaminar los mapeos pclinomiales, racionales y exponenciales despues de introducir la dcrivncion comple]a ell la seccion 1_3A.

10 Encuentrc Iff regi6n imagen en el plano w cortespondiente a la region dentro del triangulo en el plano z ~OD vertices en 0 + jO, 2 -I- jO yO + j2 bajo el rnapeo w ; 1'.2_ Haga un dibujo

21 Encuentrc las imilgenes de 1.'110 rectas Y '" x y y -- -x bajo el mapeo w,... Zl. Encuemre tamhien la imagen

de la reel", general que pasa por el origen y - mx. Susutuyendo /II -= tan BQ deduzca que n~ctas que se cortan en e l origcn en el plano Z se mapean en rectas que se cortan en. el origen en el plano 111, pcro que el nngulo entre las irnagencs de las rectas es e1 doble que el ~ngulo entre las rcctas originates.

1.2.7

Ejercidos

28 FUN,crONES DE UN.A V ARL\BLE COMP'LEr A

%2 CUllsidere eJ marco w ; a" donde Il t:~ un entero (una generalizscion del mapeo I,i = 1'1). Use la representacion polar de los nurneros cornptejos para demosirar que

( .. ) Clrculos centrados en el origen en el plano z son mapeados en circulos centrados en el origen en el plano 11',

(b) Ree·tas que pas an par e~ ongcn que se cortan con un angulu 80 ell eI plano z son mapeadas en rectas que pasan por cI origem en el plano w que se ce rtan con un angulo II t:li!.

23 Si 1(1 funeioncornpleja

I + Zl

\1i'~~

Z

esui representada par Uti rnspeo del plano z en el plano 111, encuentre Ii en tenninos de x y de y .• Y u en terminos de x y de)' donde z""" x + jy, U' ;;;; .1 + jll. HnCtlCl1.tre la imagen del cireulo unitario [z] ;;;;; 1 en cl plano W. Demuestre que el a:ID'Culo centrado en el origen 'I radio r en el plano z (Izl - r) es mapeado SII la curv ..

« ;2U )2 + (. :2~. )Z = ,.1

1"+1 r-l

en el plano 111. i.Que clase de eurvas son eSUlS7 i.Que sucede para r muy grande'!

(1' 'F t)

Derivaci6n compleja

La derivada tit: una funcion real Ax) de una variable x en x ;;:; Xi) e~tft dada pOT el llmite f'(Xa);; lim [flx) - J'txo)]

r .... r. l x - Xo

Claro esta que .x~ es un numcro real. as! que puede ser representado por un punto en 1<1 recta real, HI punto que represenra x puede aproximarsc al punto fijo Xu ya sea por la izquierda 0 pot la derecha a 10 largo de esta recta. Vol vamos ahora a las variables cumplejas y funciones dependientes de elias. Sabcmos que se requiere un plano para representar a 109 numeroscornplejos, asi Zo cs ahoru un punto Iije en el diagrama de Argand, en algun lugar del plano. La definicion de la derivada de [a fum;ion}(z) de Ia variable compleja z en el punto ZOo sera entonces

j'(zo) == !!!~ r(Z~ = .~:ZQ)]

Puede parecer que si solo intercambiarnos z por x, el resto de esta seccion seguira lineas similares a la derivacion de funciones de variables realcs. Para funciones reales, el hrnlte puede tornarse solo por la izquierda 0 por la derecha, y la existencia de un limite UIllC'O no es dificil de establecer. SiWi embargo, para variables complejas el punto que representa el mirnero complejo fijo Zo puedc ser aproximado a 10 largo de Lilla infinidad de curvas en el plano z, La existencia de un limite (miCIJ es enronces un requerimiento muy estrieto. El heche de quc Ia mayorta de las funciones complejas puedan ser derivadas en la forma usual es una propiedad sobresalieIllk de fa variable eompleja Como z = x + jy 'I x Y y pueden variar lndependlentemente, existen .. -aeias cenexiones COIl el calculn de funciones de dos v .. risbles reales pew no seguiremos aqui es~a conexion.

En lugar de L1saT la palabra "derivable" pam descriibir funeinnes cornplejas para las cuales existe Ia derivada, si la ftmcion){z) tiene una dlenvillda,/(z) que existe en tedos los puntos de una reglo.ll R del plano: cliltulJi-.:esj(z}se llama analitlca ell R. Otros

30 l'UNl':JUNES DE (INA V .... RIABLE COMPLEJA

Sf tiene

(1.20)

AI inioiar de nuevo a partir de 13 definicion de !'(zo) pero si esra vez se elige z - Zo ; jli.y para la trayectoria paralela a] eje y. se obuene

AI utiiizar una vez rmls fez) - u + jv y separar en las partes real eimaginaria se observa que

10 que produce

(L21)

Como j'(z~) debe ser Iii mi sma stn importar que trayectoria se siga, los dos valores obrcnidos en (1.20) y (1.2l) deben ser iguales, rUT tanto

au .iIv ,) au av ,au dll

dX"'Jar = I dy + Jy =: Jay + ily

AI igualar las partes real e lmaginaria sc obtienen las ecuaciones de CauchyRiemann requeridaa

all iJv (1) au ax ;:: dy' d:t "" - iJy

ell el punto z - ZOO' Como Zo es un punto arbitrario en la region R cntonces las ecuaeiones de Caucby-Riemalin sc aatisfacen en todo R. y asi hemos probado el reeultado requerido.

Es tentador pcnsar que podriamos esccger mas trayecterias en las cuales z - Zo ticnda a ccro, pcdriarno obtener ma relaciones a 100 largo de las mismas !ineas. quc las ecnacienes de Cauchy-Riemann. Y resulia, sin embargo, que solo las reproducirnos 0 llegarnos a expresiones que se pueden dcducir de elias, y es posible dell10str~f que las ecuaeiones de Cauchy-R icmann (1.19) son urns condicion necesaria para que una funcion fez) = u(x, y) + jv (x, )'), Z = ,I, + jy sea analitica en una region espccifiea, En puntos dende r(z) existe, esta puede obeenerse tanto de (1.20) como de (1.21) como

DERIVACl6N COMl'LEJA 31

o

f'( , - au ' au Z,---j-

rly ~

Si z esta dada en la forma polar z "" r ,e.i(' entonces

J(z) - u(1' 8) of- jIJ(r, 8)

'j las formas polares correspondicntes () las ecuaciones de Cauchy-Riemann ~111'l

(1.22)

En los plmtGS donde I'(z) exssre puede obtenerse de cualquiera de las des

f'( ) - -J'e(' au ,dV)', z ~ c ~ 1- J-

vr rJr

0·238)

o

f" ) - -;o( I .1,,1), j aU)

". -C" -----

- rafJ rae,

(l.23b)

EJEMPLO 1.9 veriflque que Ia funci(m fez) "" ,z' satisface las ecuaciones de Cauchy-Riemann y determine la deri vada f'(z).

So~uci6n Como ~ "" x + jy sc bene que

/(z) = Z2 = (x + id ~ (x2 - y) + j2xy

en consecuencia S1 J{z) = u(x. y) + jv(x, y) cntonces u '" ,xl - I, v "= 2.l_Y

dandn las deri adas parciales como all dl! ;;0 -2"

ax == 2.(, iJy ,.

di)

ax;;;;; 2y.

av

-- == 2x i1y

Se ohscrva directamente que los eeuacioues de Cauchy-Riemann

au, au iJy = - f)x

SOD satisfechas,

L~ deriv1'!!daj'(z) esta dada entonces por

32 FUNCIOWIRS DE UNA VARIABLE COMPLEJA

S u 1 u.rcir611

f") (AI • iJv 2 -2 2

,% '" ax f J ax =.x + J Y = z

I;OIllO se espcraba,

Veriflque que la Iuncion exponencial fez) - e'", donde a C~ LIM constante, sarisface las ecuaciones <.II:: Cauchy-Riemann y demuestre queJ'(z) = ae"".

= e;:r.·(~(Jsay + jsen ay)

entonces, al igualar las partes real eimaginaria

1I :::: e .... cOS ay., V;:; e«~ sen .ay

Las derivadas parciales son

au ~"

~ = crew' sen al'

dX .

au "

_;_ ~ o:'e "sen uv

iJy .'

Jv .• ".

-a - l)!e cos ay

3'

esto confirma que se satisfacen 1"10 ccuaciones de Cauchy-Ri mann. La derivada f'(z) est.';' dada par

I"() dU . (Jv a. t - ) ""

z = -+]- =at:'·lcos(~v+JSCtlay =ae

. ax rlX

(1.24)

Como en el casn de variable 11;:<11, tenemo q"e

eJ' = \:QSz + j sen z

(1.25)

(Secci6n WA.3), 011$1 que ICOS.z y sen z pueden expresarse como

(1.26a)

Usando el resultado (1.24) del ejemplo 1.10, es faciJ vcr que

DERIVACI6N COMPLEJA 3.3

d

dz (sen z) == cos z

d

- (ccs z) = -senz dz

En forma similar, definimos las: funciones hiperbolicas senh z y cosh z cornu

he' =I- e-' .

cos Z = --2- := cos JZ

« _ e-z " . I

senh z = --2- = -1 sen JZ

j

(1.26b)

de las eualcs, usando (1.24) se deduce que d

dz (scnb z) = cosh z

d

d- (cosh z) = senh r _z

Observamoa de lo anterior que e' tiene las siguienres partes real e imaginarra; Rete") = eX cosy

Imte') = eX sen y

En variables reales la exponencial y las funciones circulares son contrastantes, una siendo monotona, las otras oscilatorias. Sin embargo, en variables complejas 1M partes real e imagtnaria de c" son cornbinaciones de 111 exponencial y de las funciones circulares (en dos variables), 10 que puede parecer sorprendeute para una funcion exponencial. Sirnilannente, las funciones circuleres de una variable cornpleja tienen propiedades poco conocidas, Pur ejemplo, es facil ver, utilizando las relaciones anteriores entre funciones circulates e hiperbolicas de variables complejas, que [cos z] y [sen z] no estan acoiadas para z complejo. Esto contrasta Con [cos.e] ~ I Y Isenxl""'-: I para una variable real x,

En forma similar al metodo que se utilize en los ejemplos 1.9' y 1.10, se puede demostrar que Ia mayor parte de las derivadas de las fuucionesf'(x) para una variable compleja x son las mismas que en el caso _[(z) tie una variable real en los puntos donut: l(z) es analitica, Asi, por ejemplo,

~ z" = IIZ"-I dz

para todo z en ell plano z y

.i ln z = !

dz z

para todo zen cl plano z excepto para los puntos en eI eje real no positive, donde In z no es analities.

Tambien se puede demostrar que las reglas asociadas con las derivadas de funciones de variable real, tales como la suma, el producto, elcociente y las reglas de la cadena se siguen curnpliendo en el case de variable compleja, Asi,

34 IfUNCIONES, DE UNA VAJU.AIIL~ COMPLiEJA

A(I(-;') ;[>'( ... )1 "" 9&l f dg.t:!2

liz'" I"'''dzdz

·i.b1r)g(z») ~ fl%)dM(~) + Wl);)g(Z)

dz' d:; (lz

d . 2l~

dzj{g(Z)) -'" dg dz

.! [J..l'Z) ]'-;;' ~Jtc~} .... t(z J .[~(t)

(.Iz g(r) . (g(Z}t ..

1.3.2

Funciones conjngadas y armrinicas

Un par de' funciones u(x, y) y v(x, y) de variables rcales x Y )I que satisfacen las ecuacioncs de Cauchy-Riemann (1.19) se diet: gue son Iuuctones conjugadas. (Observe aqui el use difercnte de la palahra "conjugado" al utilizado en cl rrabajo con los numeros complejos donde z ... = x - jy es e'l conjugado complejo de z == it" + iY.) Las Iuncioncs conjl.tgadas satisfacen la propicdad de crtogonalidad 1;::11 el scntido de €!Iue las, eurvas en e'l plano (.It, y) definldas por u(x. y) = constame y v(x, y) =constante son curvas ortugonales, Esto se siguc Y" que el gradicnte en cualquicr punta en 10 curva u(x, Y) = constante ~sta dado por

y el gradieare en cualquier punro en In curva ~I(X, y) = coustantc e:n3 dado por

Sc sigue de las ccuaciones de Cauchy-Riemann 0.19) que

asi lascurvas sari ortogonales.

S'C dice 4lie una funcion que satisface la ecuacion de Laplace en dos dimcnsiones cs ormoll.ica; este es, u{x, )I) cs una fuucion am1611i1.:a si

;ill -+ ill = 0

ax2 a/

Se ve directamentc (vease el. ejemplo LIZ) que sij(z) = u( .. \, y} + jv(x, y) es analitica, de manera que las eeuaciones de Cauchy-Riemann se surisfacen, entonces arnbas u y I) son funoiones arm(micas. Pur tanto, u y t' son. funci,oncs· e!illojilligadas arID16nj,ca,~.

DERTV ActON COMPUJA 35

Las funcioues armonicas tienen aplicacioues en a.reaR tales como el analisis de csfuerzo en plaeas, el tlujo tic fluidos en dos dimensiones y 1a electrostatica,

EJEMPLO 1".~1 Dada II (x , y) =:: x2 -.vI + lx, encuentrc la funcion conjugada v(x, y) tal quej(z) '" u(x, y) + jlJ(x, y) es una funcion analirica de z en todo el plano z,

Soluci6n Teuemos u(x, y) =' x2 ~ yl + 2x y como J(z) == u + jv debe ser analitica, las ecuaciones deCatlchy-Riemallud~bencumphrsc.Asf.de (1.19)

av au

- = ~ "" 2x+2

dy ax

Al integrar con respecto a y se tiene 1.1 ;;;;;; by + 2y I P(x)

donde F(x) es una funcion arbitraria de .t, ya que la integracion so: realize suponiendo x constante, Al derivar paroialmente v con respecto a x se tiene

dll dF

- - 2Y-l=~

Jx - dx

pero esto es igual a -ouldy por la segunda de las ecuaciones tie Cauchy-Riemann (L 19). De aqul que

au ;;;;;; -2y _ dF

oy dx

Pero dado qlle 14 == x~ - y< + 2x, DuidY =:: -2y, y al cornparar coil Ia ecuacion previa se tiene que F(x) = constante. Esta constantc se iguala a CI;:I"O ya que nn se dlo ninguna condicion para que pueda determinarse. Entonces

u(x, y) + jv(x, y) '" x2 - i' + 2x + j(2xy + 2y)

Para confirmar que es una funcion de z; observe ql!efi:z) esf(x + jy) y se convierte precisamente en _I(x) si tomamos y ;;;;;; 0. For tanto, temamos y "" 0 para obtener

j(x + jO) "'" fix) es u(x, 0) -1= jv(x, 0) = x2 + 2x

y sc sigue que

f{z) "" z< + 2z

la cual pucde veriflcarse Iacilmente separando las partes real e nnaginaria,

Demuestre que las partes real e imaginaria u(x, y) y Il(x, y) de una Iuncion compleja analitica Jtz) son armonicas.

Solution Como

f(z) := u(x, y) + jv(.t, y)

36 fUN~JUNES DE UNA VAR.lAIlLE COMI'LBJA

--------------------------------------

es anaUtka; las ecuaciones de Cauchy-Riemann

iJv au

.a., "" -T"

G:M UY

all dv U.\! = dy

se satisfaccn, Al derivar la primera con reapecto a x M: tieue

ill) rill ;/11. a (au)

a;/ '" - iJXdy == - d)'dX == - dY dX·

que es -iPuIJy2 par 18 segunde ecuacicn de Cauchy-Riemann. Pur tanto,

;ill ,J'v u rlv + ;Pi)' = 0

11;/ = - ()i · dX2 al

yves una funcien armenlce.

En forma similar

<lsi que

'j u tambien es una fulilCi6111 ,muonica .. Ilemos supuesto qUI; arnbas Ii y n tienen derivadas parciales de segundo arden CO'Il'linulIIs,pa.1'8I que

;j-" ;lu iiv if,)

ax iJy = dy rlX' dx By ==: 0:11 ax

1.3.3

Ejercicios

24 Determine cuandc las silPlliemtes funelones son anallneas y eneueutre la denvada cuando tenga seutido:

(a) z e" (1:) ,zz·

(ib} sen 4z d) cos2;::

15 Determine las constantcs a 'J b para que

111 = .:r + a,,'; - 2xy + j(bx2 -/ + 2q)

sea anaIillclli. P{lfa estos valores de "~I 'Y b encuCWlUe III derivada de w, y exprese ambas w y dw/dz como funciones de Z' = .. 1:" + Jy.

26 lincucntre UIlO filDci6n 11(. ,y) tal que, dadas Ii = lor (I - y), f(z) - fj + jtl ea analttica CIl ;1'.

2".1' Demllcalre que I/l(;~. )I) = e'(.t oos)I - y sen y) es una funcien armonica y eocuentre Is funcion cOlllju~acl.a armontea 1p'(x, y). Escriba 1/J(x, y) + j 'P(x, y) como una funcion solamcntc de z = x + jy.

28 Demuestre que u(x, y)' = senx coslily es :mm'mica ..

Bncuenue La ccnjugada urrncntca v{x, y) y exprcse w = tr + jf) como una funclon dt:, Z =. + jy.

19 Bncuentre Las Irnyedorias' ortogOJilales de las siguientes families de curvas:

(a) .\.3>, - xy = a (consranre a)

(b) c-· cesr -!f. xy = U [uonstante ,Il!}

ut;KJV.hCrON COMPLEJA 31

30 Encuentre las partes real e irnaginaria do las funciones

(a) .1 e1• (b) sen lz

Vcrifique que sean analitlcas y encuentre sus derivadas,

imaginaria de sen" z (SuRer-enC'i a : eseriba z ;;;;;; sell W separado en las paries real e irnaginaria, y COT! \Ii == U + j-u y Z =;;; _l: + ])' resuelva [lara u y u cn tcrminos de x y y.) l,Es sen·lz analitica? Si nsf es, ",emil '6S su dcrivada?

31 lndique UIl<lJ definicion de Iii tuncion angulo scno, se:n-l;: para z complejo. Encucntre las partes real e

32 Estableaca que sucede si z - x + iv, I senh y] oS I sell z I ~ cosby.

1.3.4

Mas sobremapeos

En La sec cion J.2 se exarninaron mapcos del plano z al plano w donde en la mayor parte 11<: 1:1106 la relaci6n entre w y z, w = fez), eralineal 0 hi! i neal. Existe una propiedad irnporrante de mapeos sugerida en el ejemplo 1_8 cuando considcrarnos cl mapeo w = i. Un rnapeo w '" 1(z) que preserva angulos se llama conforme. il<!jo tales milpenii, cl angulo entre do's curvas que se cortan en el plano z es el mismo que el angulo entre las curvas corrcspondientes en el plano w. El sentido de angulu lam bien se preserva, Esto es, si e es el angulo entre las curvas 1 y 2 tomadas en sentido contrario a las manecillas del reloj en el plano z entonccs fJ tambien es el lingula entre la imagen de la curva 1 y la imagen de la curva 1 en el plano 14', y tarnbien es tornado en sentido conrrario a las manecillas del reloj, Ell la flgura L 15 apar,ece claramcntc la idea de un mapeo con forme. Si fez) es analitica entonces w = l(z) define un mapeo conforme excepto en los puntas donde la derivadaj'(z) es cern.

Clara mente sc ticnc que los mapeos lineales

w=o:z+{3 (a;t.U)

son conformes en todos lados, ya que dw/dz = a y no es cero en ningun punto en el plano z; Los mapeos bi I ineales dados ell (1.12) no sontan faciies de verificar, Sin embargo, como vimos en la seccion 1.2.4, (1.12) pueden escribirse como

w=/(z)

...... (oouforme)

11

f(curva 2) W(<:mv~ Ii

~:~)

o

o

Plano.'!'

pl~ILU W

Figura 1.Hi Mapeos conformcs,

98 J'UNGZONES llE UNA VA:RIARUI COl'vfPLEJ.A

------------------------------

dw

=

dz

,ei cual de nuevo nunca es ccro para ningun punto en el plano z, De heche, cl unico mapeo 4_ue hemos considerado basta ahora que dent! U11 punto en el que no es cnnforme es IV == Z2 (vease el ejcrnplo 1.8), que no es ccnforme eli Z ~ o.

Determine los puutos cn los cuales cl mapeo w .... z -I II! IlU es conforme y demuestrelo considerando la imagen en el plano w del ejc real en el plano z,

Sulucirin Al tumar z = X + jy y 111' == " + jv, tenemo.

. ; ~ - jy

W = U + .IV ~ x + JJ' + 2 1

X + Y

x

U ::: X + -,----2

.\ +.v

v=JJ-_L._

l 2

K + Y

EI eje real y = 0 en cl plano z corrcsponde a v= fI, el eje real en el plano w. Observe, sin embargo, que el punto fijo del mapeo est! dado per

I

z = z + - Z

o z ;;: 00. De las ecuaciones de Cauchy-Riemann cs facil ver que w c's analitica en todos lados excepto en z "" O. Tamibicil. dwldz = 01 cuando

1

2 "'" () , csto es, z;;;;; ± I

z

que ambo cstan en el eje real. Asi que eI mapeo no es con forme en :I. ;. 0 y Z = ±l. La imagen de z = ] es I'll .:: 2 y Ia imagen de z = ~l es IV = -2. La considcracion de In imagen del eje reO\l~ es pOT tanto perfectamcnte adeeuada, ya que t:sta es iHiJR curva que pasa pm cada punro donde W '= Z + lIz no es conforms. Serla rnuy sarisfactorio si pudicscmos analizar csre mapeu de la miSlTI1:Ii mauera que lo hicimos con w = z~ del ejemplo 1.8, Desafortunadamente, no podemos hacer csto, perque el algebra se vuelve muy pesada (y, ademas, nuestro conocimientu de curvas algebraicas es dcrnasiado escaso). En cambio, vcamos la imagen del punta I = 1 + e; donde s es l1l111UmerO real pcquejic, E > ij correspondeal punto Q i!l la derecha de z = I ell el cjc real en el plano Z', y el punto P 111 IIIl! ]2quil;11da de z = 1 correspondc a e <. 0 (figura 1.16).

Si .z ;;;; 1 + E entonces

DER1VACION cOMPr''"JA -39

__ ~" ~ ~ __ 9M~ ~ "~n. ___

s "
P<!',*e",Q "l2~ R
0 I x 0 2 II
I'laooz Plano w I ~r I •
-2 +2 II
PlallO W Figuril 1.1.6 Imagen de z ~ 1 + e del ejemplo 1. J 3,

Figura 1.17 Imagen en el plano w del eje real en cl plano z para el ejernplo 1.13

W=

+6+

1 + f

= ~ I C + (I + er'

_1+e+l-e+e2 CJ+ ...

= 2 + £2

si lei es mucho menor que 1 (discutiremos Ia validcz del desarrollo de las series de potencies enla seccion 1.4). Ya sea que e sea positive 0 negative, el punto w - 2 + t3 est" a la dcrecha de w = 2 en el plano w como se indica con el punto R en la figura 1.16. Por tanto, conforme t: -) 0 una curva (el eje real) que pasa por z = I en cl plano z Iormando un angulo (J = 1[ corresponde a una curva (nuevameute el eje real) que sc aproxima a w = 2 ell el plano W a 10 largo del eje real desde la derecha formandc un angulo (j = O. Se ha verificado la no conformalidad. EJ tratamlento pan z "" -] se sigue de una munera identica, asl que se omiten los detalles. Observe que cuando y 0= 0 (v ;;;;; 0), Ii -= X + l/x tambien, conforme el eje real en el plano z es rccorrido de x = __., a x = 0, el eje real en cI plano w es recorrido de u "" -o<l a -2 y regresa nueoamente a u = -co [cuando x ;;;;; -I, ts alcanza al 2), Con forme el eje real en el plano z es recorrido de x "" 0 <t traves de x-I a x ;;;;;; +=, asi el eje real en el plano x es recorrido de u ;;;;;; += a u = +2 (x = 1) y regresa nueoamente a u = QQ. Por tanto, los puntos I:U el eje real del plano w en el intervale -2 <: II « 2 no corresponde a los valores reales dez, Resolvicndo u = x + 1/x para x se obtiene

x= ~[u± )(u"-4)]

que hace que este hecho sea obvio. Lafigura 1.17 muestra la imagen en el plano w del eje real en el plano 2. Este rnapeo es rico en propiedades interesautes pew no 10 seguiremos estudiando aqui, Los ingenieros aeronauticos pueden encontrarlo nuevarncntc si estudian el flujo alrededor de un ala en dos dirnensiones, ya que este mapeo transforma ctreulos centrados en 1::1 origen en el plano z: snbre meniscos (en forma de lentes) en cl plano w, y solamente se requiere una Ieve alteracion antes de que estas imagenes tomen la forma de un ala .

Examine cl mapeo

w = e"

40 FUNClONES DE UNA VARIABLE COMPLEJA

--------------------------------

y • Im (zl'

..... ----.-

II! '!!'! .... ' I - _I Ii ii !!I.'.

1-' ~ 1m (IV)

--1"'--

---r--

I

o s .. Re(z)

--t---i"--

I

- - •• ,- - ,- - t- •• ~ - -

Plan·oz

Figun :LHI Mapeo de recta haj,o 1\' "" ,e'.

Plan" '"

(a) cncucntre las imagenes en el plano w de las rectas x = eonstante y y;;;;;; constanie en el plano z, y (b) eacuentre las irnagenes on el plano w del semiplano (x < 0) en

el plano z, <

Solud6n AI tornar z '" x + jy y W = If + jv para w : e' tenemos

u-e'cosy u =, e~ seuy

Elevande !II cuadradu y sumando estas des ccuaciones, tenemos Ii .. Ii -e e2.0

POI' OITO lado, dividlerulo las dos ecuaciones SOC obtiene

v .

- ~ tany fI

Ahora podemos abordar las preguntas.

(a) Como 1/ -+- V'l ;;. ez;'. haeiendo .r = constarne se prueha que las rect~R, paralelas al eje imaginario I:Jl cl plano z ccrresponden a circulos ccntrados en el origen en el plano lV, La ecuacioo

v

- = tanj. It

prueba que rectas paralelas al eje real en el plano z corresponden a rectas que pasan por el origen en el plano W (IJ = 11 tan a si y = a. una constante]. La ligura j .!LS muestra un dibujo general.

(b) Como li + Vi = e1.<, si x "" 0 entonces u' + ,; "" l , aM el ej e imaginario en el plano .x corresponde al ciroulo unitario encl P~IlI110 w. Si X < 0 entonces e'1.r <: 1, "I conforme x -+ -00, e" ~ 0, cntonces 1<1 mitad lzquierda del plano Z eorresponde al interice de] <::lu:1110 unuario em~ el p,lal1o W como se ilusna en In figum 1.1 Y.

Plaao a

SERIES COMI'I!.EJAS 41

u.

-I

II

Pkmo It'

fisura 1.19 Mapeo del sernlplano bajo \'I,' - e',

Ejerciclos

J,3 Dellmnill~ los IPLlH1QS en ~O$ que los mapeos siguienlea IIQ ~QIl conformcs:

(a) w;;;; z2 - I

I (c) IV = 8: + ---; 22'

34 Siga el ejemplo 1,13 con el rnapeo I\" = ;: - LIz, Dei'enl1ine de nuevo los puntas en los que el mapeu 110 05 conrorme, pew est." vez demuestre esto .... bservando 13 imagen del ejc tmaginario.

35 ETlCU~Ll(r,e Iii tegi6n en eJ plano OIl correspondienre a las regmncs sigtliemes ell el plano z bnjlo et mapel'll ,cxponenclal II' =t:':

[a) 0"'; x < "" (b) 0 ~ x "" 1,0.·:;:;;), ~ I (c) ~ 'If ,.:;; y ~ '1[, 0 =::;: x < 00

36 COli sid ere el mapeo w = slim a, Determine los punlos doudc ell mapec no es cenforme. l:nCUCllllre las i.ma.gellcs en eJ plano w ole 'las rectil3 X '" conetante y y .. constante en el plano z (z = x + jy), djbuje los ID41)eOS a 10 hU80 de rectas similares a las figuns 1,14y1.18

37 Demuestre que la trnnsfonnacieu (i

z = (+ "

donde z ... x + jy y ,= R eJ', rnapea un clrculo con centro en el ortgcn 'i radioaelJJ el plano ~, en un segrnento de recta en elplano z. i.,( :ullii cs 111 longitud dc la recta? tQut! succde si ¢I circulo ell d plano ~ esrs centrado ell el origen perc de radio b; donde b '1' a?

En Madel'll EI~gin(terjflK Mathematics vimos que hay disnntas venrajas al poder expreser tina funclon f(x), como funclones exponenciales, trigonometricas y logaritmieas, de una variable raul X en tinnLnos de su desarrollo t:n series de potencias

,~

I(x);;;;;; L .(I'nX" = au + U',X + lI'ZX2 I ... ..,. a.x" + ,

.-0

Las series de potenclas tamblen son muy importantes en el comportamiento de la~ funciones complejas, de hechocualquier funcion real }(x) que tiene UII8 serie de potcncias de la Iorma (1.27) tiene una Iuncion compleja f(z) correspondicntc que tiene 1<1. misrna expanslon [desarrollo) en serie de poteneias, que es

«1.27,

421 fCIONES, DE UNA V AIU AnI': COMPLEJ A

~

j(.z) - l:anZn ;.. no + a,z + a2Z] ... + a.z' + .. ,.

r;-O

( 1.28)

Esta propiedad nos perrnite extender fLITICEOoes rcales !III caso complejn. as'i I.JILIe los metodns basados en la expansion en serie de potencias tiencn un papcl clave en la furrnulacion de la teoria de ~as funcioncs cornptejas, En e ta seccion consideraremos algunas de las propiedades de la expansion elll scrie de porencias lie funciones complejas haciendo, siempre que sea posihle, una analogta con 1.1'1 expansion en serie de porencias de Ills funciones real!::> corsespondientes,

1",4.,1

Serins de potencies

Una serie que tiene In fonna

..

I. Uo'(Z - Ze,)"":;;; aD ,'a,(2 - 1:0) + lli(Z - Zo):! + . ' , -I- aAz - Zo)' + .. ' (1.29)

ell la cual los ceeficientes (I, SOil realcs fl complejns Y;;o es lin punro fijo ell el plano complejo z es namada una serlie de poten(:ias alrededor de Eo 0 una scrle de potencial; centrada en Zo. Cuando "0 "" 0; la 'erie (1.29) se reduce a 10. serie ( I .. 28). que es una serie de potencias eentrada en eI origen, De hccho, hacienda el camhio de variable :/ ;;;: z- zo, (J .29) ~()ma III forma (I' 28 , enrcnces nu h;,lY perdida de generatidad cuando se considera I .. u]!ima de ellas.

Las pruebas para la convergencsa I) divergencla de las series de potencias complejas son sirmlares a aquellas usadas para las series de potcncias de variable real, Sill embargo, en las series complejas csesencial utilizar J modulo Ila • .I- POT ejcmplo, 1<1 scrie geometrica

-

.~ .

k'Z

tilcne 11~li1I sumo para los N primerns terrninas de

'I',,'-l n I - z,,·

Sf\':::: --~

• J - z

,,-0

Y converge, si 112 I < I, 301 limite 11(1 - z} conformc N -!> OQ, Si I z I ;.. I In serie diverge, F.~tos resultados pareccn set identicos con 13 condicion de que I x I <: t para garantizar 101 convergencia de las series de potencies reales

I ~ - = ~ x" I-x L

",,=0

Sin embargo, co el caso complejo 'a interpretacion geomeirica e difereme en Glue la condiciou ls] < I implies que z esta dentro del clrculo enn eeneo en el erigen y radio I eli 1::1 plano z, As! la aerie r~lP-o't' converge si z est a dentro de csre cfrcujli) y diverge sw z esta fuera de tt Bsta situacion esla ilustrada en la fig:um 1.20.

SEKlt:S· COMPLEfAS 43

y

Plano z

Figura 1.200 Region de couvergencia de E;_oz"o

La existencia de tal clrculo conduce at siguiente concepto importante: Ln general existe un circulo centrado ell el origcn y de radio R tal que la serie

lzl < R Izi >R

El radio R es llamado el radio de CQjlveq;~enci.a de 13 seric de potencias. La que sucede cuando I z I "" R normalmente es in vestigado como un cMO especial.

Hemos introducido cl radio de convergencia basandonos en un circulo ccntrado en el origen, pero el concerto obviamente no depende de 1<1 Iocalizacion del centro del circulo. Si la serie esta centrada en ZG como en (1.29) entonces el circulo de convergencia estara centrado en ZO° Mas aun, pucdc estar cenrrado en el infinite, cuando Ill. serie de potencies es

00

,,-II 01 a~ + ~ + 0

L.. a.z' = an + - + 2" + 0 0 0 r

n-U Z Z Z

que consideraremos mas adelante en lit seccion 1.4.5

Para detcrmmar el radio de convergencia R de una sene dada, puedcn aplicarse varies criterios de convcrgencla como. los introducidos en Modem lc;lIgim:erirlg M!Jlh~/1IUtiCS para series rcalcs. En particular, usando el criterio de la razon de D' Alambert se puede demostrar que el radio de convergencia R de la serie compleja l:~o a.z" esta dada pur

(1.3U)

siempre que el llrnite exista, Entonces la sene es convcrgente denrro del disco I a] < R, En general, por supuesto, el limite puede no existir y en tales cases se debe usar un rnetorlo altcrnativo,

Encuentre la serie de potencias, en In forma mdicada, que represeuta la funcion U(z - 3) en las tres regioues siguientes:

44 F[JNCJUNES DE UNA VAIHAn[.~ COMPLE}A

-

(a) III < 3;

(b) Iz - 21 < I, 2: Q,,(Z - 2)"

(c) 11'1 > 3;

'j dibuje estas regiones ell lID diagrama de Argand,

Soluei6n Se sabe que el desarrollo de hi serie binomial

{I . ~). _ I I n{n - 1) 2 n(n - I)(n - 2) ... (1/ - r + 1 )_, .

~ + ~ - + IlZ _ 2'z + ... + , z + . , ,

. ~

cs valid.o para [z] < l , Para resolver el problema, cxplotamos este resultado expandir:ndo 1::1. funcion U(z - J) de tres maneras d~ferent,cs:

(a)Z~3 = l=~Z = -HI-jzf =-~[J l.jz+Gz)\ ... +(jzJ + ... ]

para 1 ~ z1 < 1. esto es 1 z I <3, dando La serie de poteneias

I 1 1 I 2

1'-3 == -3' - ,j?' - 27z - ... (lzl < 3.)

(b) - - :;; Hz - 2) - i) I

Z - 3 - '(z ~ 2) - 1

'" -[ 1 + (z - 2) + (1' - 2)2 + ... ~ (Iz - 21 < n dando la seric de potencies

_1_- = -M - (z 2 - (z - 2)2. - . _ _ (Iz - 21 < l)

z 3

da'l1ldo la sene de potencies

I 13 91

-- = - + 2 + J + . - . (121;':' 3) z-3 z z z

Las tres regiones estill dibujadas en 1<1 Figura 1.21, Observe qUI! ninguna de los regiones incluye al punto z = 3 qll.e se dice es una siOOIgulladllJ.lld de la funcion, cI concepto 10 discutiremos en la seccien 1. 51.1.

En 1:1 ejemplo 1,15 todo el circulo Iz ~ "" 3 fue excluido de las tres regioaes donde la .erie de porencias converge. De heche, es posible considerar eualquier pnntoen el plano z como cellitro del clrcul» en el que' se defme una serie de potencias

SERIES COMPLEJAS e

y

Plano E

Figura 1.21 Region de convergencia para las series del ejemplo LIS.

que converge a 1/(z - 3) para todos Ius puntos dentro del circulo, con excepcion del punto z = 3. Po,' ejemplo, el punto z = 4j llevaria a Ia expansion (desarrollo)

l

~--:-,.--::.-::---:- = -~ -----,...,.--

z - 4j + 4j - 3 4j - 3 z - 4j ;f; I

4j - 3

en una serie binomial en potencias de (z - 4j)/(4j - 3) que converge. II 1/(2 - 3) dentro del ctrculo

Iz - 4jj = 14j - 3! ;;;;;; .,'(16 +- 9) = 5

No debemos esperar que el punto Z = :3 sea incluido en ninguno de los clreulos, ya que la funcien lI(z - 3) es infinita ahi y pot' tanto no esta.

Demuestre que la serie de potencias r",J-II411.z" y la sene de derivadas ecrrespondiente E:'o na~z"_l tienen el mismo radio de convergencia.

Solulii6n Sea R el radio de convcrgcncia de la serie de potencias I-n~Q u.z". Como limn--+_ (a_z'o) = () (de otra manera Ia serie no tiene posibilidades de converger), si Izol <.: R para algun numero complejo Zo entonces siempre es posfble elegir

Innl < Izorn

para n » N, Nun entero fijo. Usamos ahora el criteriu de 13 razon de D'Alambert, a saber

si lim I a,.tll < entonces Lan;!' converge
"'~~ G.lI n~O
r I~~ > ~
s:i 1111, . 1 entonces I,G Z diverge
,I'I-='io[l(l "1.1 ·n
n-O 46 FUNCIOINES: DE UNA VARJ.A.BL£ COMfLEJA

La seric derivada ,E:O 'm~zJl'-1 satisface

~ .. ~ I I~ 1

~ I ,,-II ~ ~ II II 1'-1 - '" Z

,Li nOnE <; ~ /'l (1", Z <, £... I~--"

'.-1 .~I M~I I :iol

que, por 1;:1 enteric de la razcn, converge si 0 < 121'11 < .R puesto que [z] « IIDI y I Zo I pueden estar tan cerca de R como querumos, Si, en eambiu, I z I > R entouces lim, , .. (a.zn) ::'" 0 Y asi tambien lim •• _ (nanzn-I), r!= 0, Por 10 que R tambien es el radio de convcrgcncia de la serie derivada I.;.I f!(J.nz" L.

EI resultado obsenidu en el ej,emplo 1..]6 es impostaeue ya que sf la funcicn cornpleja

f(;:) = L a.z"

"..0

converge en Iz I « F: eutonces la derivada

/,(z) :; f 1WnZ" I

r.!l5;I!

tambien converge em I z I < R, Podemos seguir derivando j(z) con la ayuda de su serio de potencius 'l estar seguros de que 10. funcion derivadu yla serte de potencias dcrivada son igualcs dcntro del circulo de convcrgcncia,

1.4.2

Eiercicios

38 Bncuentre 13 representacion de la serie de potencias de I~ Iuncion 1!{z - j) en Iii:. regioues

(a) 1;;1 < I (b} 121> 1 (c) It - 1 - 11 < ,.'2 Deduzca que el radio de convergencia de III represcntacion de la soric de potencies do csta funcion es 1;::0 - JI. donde z = Eo as cd centro del circulo del convergencia (z~ l' j),

39 Encuentre 1:1 represeutacion de Ia serie de potencies de la funcron

1.4.3

,ell el rli!>co [z ] < 1. lise: el ejernplo dcducir 1<1 aerie de potencies para

16 para

I

(a) z

(zz + l)

En M.od(>rII Engineering M(lthem,(JUr..~ introducimos 1.11 expansion en sene de Tayler

SF.RJES l:OMPLEFAS ·47

2

.!l.r: + a) =f(a) I- ~fl')(a) + :"'j"\Z)(a) +.

I!' 2['

. = ~ X"jl.n'(a)

£oJ n! .

1'J .. {1

(1.31)

de una funci6nf(x) de uua variable real x alrededor de x "" (J Y valida dcntro del intervalo de convergencia de la serie de potcncias, Para un ingeniero Ia habilidad de expresar una funcion en ral UI:S3lTo]10 (expansion) de serie de potencias es particulnrmente uti! en metodos nurnericos y calculo de crrores, La habilidad de expresar HIll! funcion complcja como una serie de Taylor tambien es importante para los ingcnieros en muchos campos de aplicaciones, tales como 10 teorla del control y de las comunicaciones. La forma de la sene de Taylor en el caso complejo es identica a Ia de (1..31).

Si[(z) es una funcion ccmplcja analltica dentro y en una curva cerrada simple C (usualmente lUI clrcuto) en cl plano z entonces se sigue del ejemplo 1.16 que las derivadas superiores de J(z) existen tarnbien dentro de C Si ZQ Y .0'0 + iT lion dog PUl:JlOS fijcs dentro de C cntonces

f(x(, + h) ,=-Rzo) + hr1)(zo) + ~[(2}(ZQ) + ... + ~f(")(zu) + ...

donde pJ.)(zG) cs In lH!sima derivada de fez) cvaluada en z '=- Z~l' Nonnalmente Z = =0 + II es introducido de tal manera que II - z - Za, Y entonces la expansion de II! scrie es

(1.32)

La expansion en serie de potencias (1.32) cs lIum.ada desarrollo en serte de Taylor de la funcion compleja fez) alrededor de zoo La region de convergencia de esta sene es Iz - zol < R, un disco eentrado en z = Zo Y radio R, el radio de convcrgencia, La Figura 1.22 ilustra la region de ccnvergcncia, Cuando z~ '" 0, como en variables reales, la expansion de la aerie alrededor del origen usualmente es llamada desarrollo en serte de Maclaurin.

Como la prueba de la expansion ell sene de Taylor 110 aumenta nuestro CORO· cimicnto de como aplicar el resultado a la solucion de problemas de ingenieria, la omitimos en este memento.

c

x

Plano.

Figura 1.Z2 Regi.6n de convergencia para la setie de Taylor.

48 FUNCIONEl:i DE UNA VAKJABL.t.; OMPLEJA

Determine Is ex:p.msioIll 'en serie de Taylor de la fllficion I

f(x) 0;: ( 2")

z z - cI

!dJededQf del punta z = j:

(3) direetamente hasta el h~l'mi'Ro (z - j/, (b) utilizando la expansion binomial Determine el radio de convergencia.

Soluci6n (iii) a, dcsvent~a que tienen ila.~ funciones distintas con respecto a las funciones mas directas es que Ia obtencion de sus derivadas es bastante cornplicada en terminos algebraieos, En esre caso, en particular, es mas tllcil;cscriba la Iuncion dada en fracciones parcialcs como

.I(z) ~ Z(z~· 2j) = ~·C ~ 2j - D

La parte dcrecha es ahara mas facil de derivar repctidamente. Para dcterminar a.

P~)(j)t.enemos "

) (1 I)

f(z} == 2-' -2" - - ,

-J Z - JI Z

[111(.:) == l [_ 1 +.!] 2j (z - 2ji Z2'

r« ) _ .! [2 ~)

z-2' l-~

.J (z - 2j) z·'

l!3\z) = ~ f-(z _\j)~ +~].

(41 1 [24 24l

f (a) = 2J I{Z _ 2j)~ - i '

<lsi que f(j);::, 1

a i que 1(1)0) "" 0

que conduce III partir die (1.32) l1! la expansion en serie de Taylor

1 I 2(. ")J 24( n'

z(z ~ 2j) = - 2! Z - J + 4! Z - J +.""

= 1 - ,2 - j)2 + Z j).1 + .. "

(b) Para usar la expansion binomiul, primero exprosamos z(z - 2j)como (z - j + j) (z - j- j), que siendo 1::1 difereneia de d08 cuadrados ((z - j):l - j'-> !lOS Illcvo a

~ I

J(z) = == [I r (z - n'r

z(z - 2j) (z _ j)2 + I

AI utitizar la expansion binomial se tiene que ./(z) == I - (z - W + (z - jt - (z - Hj\ + " " .

ee valida para Iz ~ j 1 < I, asi el radio de cunvergencia es 1.

SoIucidn Sea

SERIES COMPL,iBJAS U

Los puntas dondcj(z) es infinita (sus singularidades) son precisamente los que distan 1 de z = j, asi que no nos sorpreude que este sea el radio de convergeneia.

Sugerir una funcion para reprcscntar Iii serie de potencies

Z l •

Z Z z

1 + z + 2~ + 3' -I"- •• - + ~ + ...

.• rI.

y determine Sit radio de convergencia,

fez) = 1 + z + ~ 1- ~: + ... = i ~

.~Q

Supnnicndo que podemos derivar termino a termino la aerie paraJ(z), obtenernos

«> ~-a _ (j1-J

, '" II Z "'(' z

f(z)=,.t..J-, ;;;~( _l)~;.f(z)

,,-1 n. R~i n: .

Entouces /(z) es su propia derivada. Como e' Cis su propia derivada en variable real y es 10. unica funcion, parece razcnable proponer que

.. .

_ttz) = L ~ "" e'

~-G

(1.33)

la funcion exponencial compleja, Por cierto, 1 ... exponencial compleja f/ esta definida pm 11'1 serie de poteucias (1,33). Siguiendo el criterio de la razen die D' A lambert la serie 2.:'0 u. es convergente ai la.+/a,,1 -t L < 1 conforrnc n ~ ee , Donde L es una constante rea]. Si a; "" r'ln! entonces IOnJlla",1 = 1 1'1/(n + I) que es mellor que la unidadpara n suficientemente grande, sin irnportar que tan grande sea [z], De ahi que L~,t'/71! es convergcntc par-a tado z y asi tiene un radio de convergencia infinite. Observe que csto estacorroborado de (1.30). Tales Iunciones son ilamadas enteras.

De la misma manera que definlmos la funcion cxponcncial e como una expansion de la serie de potencias (1.31), podcmos definir las funciones circulares sell Z 'I cos z per expansioncs de series de potencias

3 ~ 1 In .. U

Z Z Z n Z

senz '" z - -31 + -51 - 71-1-- .. + (-I) -:-:~2:-.-"71:-:)! +",.

.. ... , n + _

• 4 6 2"

Z Z Z ( '}I." Z .

cos z ;;; 1 - .fl + 4~ - 6! + , , . + I - I (21'1)<! +- ...

amb as son validas para todo Z. U sando estas definiciones de series de porencias podemos demostrar rapidamente el resultado (1.25), a saber

ej' = cos e + j sen a

50

ARlA1U .. E COfv.IPU]A

Ejercicios

40 I'ncucntre los cuatro pnrneros tcrminos disrintos de cere de las expansiones eI! serte de Taylor [i~ 135 siguientes funciones alrcdecor de los puntos mdicados y determine, en cada case, 01 radlo de convcrgencia:

(b) ( 1 4 _) (z = 2 j) 7 Z - J

I

(a) I + z (z '" I)

{c) ~ (z = I + j)

z

'II Encueurrc III expnnsice en serie de Maclaurin lie la rlIDCilon

Jiz) = ~-_" + Z 1- ;:1

h a sla e induycndo el termino L'

1.4.5

Serie de Laurent

42 S.in encoutrar explicitamente cada expansion en serie de Taylor, encuemre el radio de convergencia de 111 funcicn

Jt~) - -. ,_

z - [

alrededor de Io.~ [reg puntos z = 0, z ;;;; J -t- J Y Z .. 2 + 2j. i"Por que no cxiste la expam,i6n de 111 sene de Tayku de iamocion nlrededur de Z ;; j?

~3 Determine fa eXpalill>16111 en serte de 'Ji"l!!ylor de Jlz) = IUil z .... ('.0;\1 c_ !HI fllldi,o de convergencia?

Exarninemos ahora m.b de cerca la SOhlCi,61'! del ejernplo ] .15(c), donde la scrte de potencias ohtenida fue

I I 3 9

--;;;;;-1"1+""3+' .. z- J z z s

v:Uidll!poro Izi > 3. lEn el eontexro de la definicion, esra es una serie de potencial; .dredcdoif de 'z "" ....... el 'punto aJ inflnito'. Algullo Icctores, jusrificadamenrc, pueden 110 estar conveneidos dt: que Itay un unico punlo ell e~ mfinito, La figur<l 1.23 mucstra 10 que sc connce como la esfera de Ricfll3lIUl!. Una esfera que esta en el piano complejo z con et punto de eentacto en cl origen O. Sea 0' [3 cima de la esfera ell ej, punto diametralmentc opuesto a 0, Ahora, para euatquier eleccion ('llrhitrru'ia dem punso Pen el plano z, uniendo 0' yIP detenninamos un UI1IcO punta P' donde la recta O'!? coeta 'Ia csfera, Exi:si.e asi exactamente un punto pI en III esfera correspondiente n cada P en el plano z, m punta OF es clunico punt,!,) de la csfcra que no tiene un punto

o·

SERIES COMPLEJAS :n

y

o

Plano z

l'.igurIl 1.24 Region de validez de la serie de Laurent.

(finite) eurrespondiente en el plano z; por tanto, dccirnos que le corresponde el puutu al Inflnitn en el plano z,

Volviendo a considcrar las series de porencias, saberuos que, dentro del radio de convergencia, una funcien dada y su expansion en serie de Tayler son identicas, Los puntas en ~(}S que una funcion no es analitica son llamados singularidades, que discutiremos en la seccion 1.5.1. No cs posible ninguna expansion en serie de Taylor alrededor de una singularidad, Mas aun, lin desarrollo en sene de Taylor alrededor de un punta %0 en eft cual la funcion cs analirica, solamcnte es valido dentro del circulo con centro en ZQ hasta In mas cercana singularidad. Asl, todas las singularidades deben ser excluidas en cualquier consideracion de series de Taylor. La representacitm de las series de Laurent incluye (0 III rncnos torna nota de) el comportamiento de la fW1Ci6n en Ja vecindad de una singularidad.

Si.f(z) es una funcion oomplcja analltica en circulos concenulcos e. y C de radios ru Y ri; respectivamente {con. r2 < Fn), centrados en zo, y tambien es analitica en toda la region entre los circulos (esto cs, 13 region anular), entouces, para cada punta z dentro del anillo (figura 1.24), fez) pucdc ser represenrada por la serle de Laurent

(1.34)

donde, en general, los coeficlentes c, S011 complejos. La forma anular dt: la region es necesaria para excluir el punta z= ZOo c] emil puede ser una singularidad ut!f(z). Si I(z) es analttica en z = Zo entonccs ell '" 0 para II = -1,. -2, ... , -=, Y 1<1 serie de Laurent se reduce a la serie de Taylor.

La serie de Lament (l.34) paraf(z) pucdc escribirse como

-I ~

f{::.) "" I.. c.(z - zQ)n -I- L cn(z - =0)"

,.,=0

Y la primera suma del ladu derecho, 13 parte que 'no cs de Taylor', es llarnada la parte prj Ilcipai de la serie de Laurent.

152 FllNCIONES Olii UNA VAlUASU COMPLf(A

Por supue to, raramente pOdeJDOS sumar una serie ilifinMta. 1'OT tanto. hay ma!> imeres ell los asi Ilamados 'tennlnos residualca', estes son 13 di ferencia entre los primeros 11 It:rminos de la serie de potencias y el valor exaetu de la fUT1Ciol'l. Para ambas series, la de Taylor y la de Laurent, estes terminos residuales 'I:stan expresados, como CmlJ el caso de variable real, en terminos de la ell + l)-esima de:rivada de la fimci6n, Para la serie de Laurent en variables eomplejas etas derivadas pueden ser expresadas en tCmlI1na.s de las integrates de eontemo (seccion 1,6), que pueden simplificar enorrnemcnee elcalculo. Muehos de los decaltes esuiiIJ fuera del alcance de este llbro, perc en la scccion 1.6 hsy algo de matcsial introcilJl,:tQrio.

E,JEMPLO 1.19 Para f(z) = llz~(z + I) encuentre la expansion I:n sene de Laurent :dred~dor de (a) z = tI Y (h) z = -1. En cada caso, determine Ia resion en conde es valid a,

So11lllci6n Como en 01 ejemplo 1.15, este ripo de problemas son ebordados haciendo !:ISO de Ja expansion de In serie binomial.

('] +a)" = 1 +n~+n(n 1) ~ '11J-I)(n- 2)." (n-r-t- l) ,

.. 2t z +" . + rl Z +

siempre que 1.::1 < 1,

(a) En este caso Zo = 0, entonces neccsitnmos una serie de potcncias de s, Asl

1 1(1 _)-1

-i ="1 +1:

z-O + a) z

1 ( Z J ~

="11-1:+z -z +z - ... )

z

(0 <. [z] -< l)

Asl, Ia expansion en aerie de Laurent requerida t:~

111 2

-:;---;;;; """i--+l-z+z '"

i(z + 1) z z

valida para I) < Izl < L E] valer Z = 0 debe ser exchsido dehido a los des prsmcros terminos de IIlI serie .. LIII region 0 < Izi < 1 ell, un ejemplo de un disco itlCUIjelrad'(i'. an hecho com'l1n en esta rama de ~as matemsrieas.

(b) En este caso i!:o a -I, entonces necesitarnos tina aerie d~ potencies de (z "" I), Asi

1 1 ;;;;; _1_ (z + I - 1)-1

z (z+ 1) (z+ 1)

~ (z! 1) [1 - (z +orJ 1

=; (;I: + 1) 1[1 + 2(z + I] + 3(z + 1)2 + ' ... ]

= _l_t +2 + 3(z + ru) + 4(z + l)2 + ...

z'+ .

es valida para 0 < Iz ... II < I. Observamos que en lift:!, regio!} en forma de menisco (esto cs, Ia I"eg,i6n donde seencirnan las dos regiones circulares 1;;1 < [ y [.1 + 1 ~ < I). ambas series de Laurent aon silllluhaneo.mc.ntre validas. Esto es bastante comtiu y [JO una causa de preocupacion,

MPLO l~ZO Determine la expansion en seric de Laurent de /(z):::; (Z+l)i('Z+3)

que es "Valida para

(a) I < [z] < 3 (b) 1.:1 > _1

(c) 0..:::: Iz + II .:.; 2 (d) 1:<:1 < I

SoIuci6n (a) Rcsolviendo en fracciones parcialcs,

flz) '" !(~) - ! (-L)

2 ,Z -l I 2 z ... 3

Como je] > 1 y 1:1 < J, expresamoa loanterior como

j(z) '" 21z(' +1 i IX) - ~( I, : ~z) = ~ (I + !)-! - !(I ~ ~z) I

2z z 6 _

"" .L (t - ! + ~ - ~ + .. ) ~ !( I ~ !, ..... !z~ - .!.i + ... )

2x 2 Z x 6 3 9 27

'I 1 1 I I 1 I 1 11

~ ... - --.;: + -3 - 2 + - ~ - + :-Z - ~Z + ~Z - ...

2,t 2z 2z 22 ,6 18 54 162

l( [) I( 1 )

(b) fCr) ~ - ~. ,- - - .. ~.

2z+12.z+3

Como 1..1 > 3, cxpresamos esto como

1 '( I ) 1 ( I )

/(2) .::;:; 2= I + IIi - 2z I + 3lz

54 Ii'UNCIONES DE, llNA VARIABLE CIJI\ULRJA

tc) Se puede proceder como en el ejeruplo l . rH. Alternativarneute sc pncde tomar z + , :; U, enronces 0 < 1111 < 2 y

I 1

Jlu) = --- - _...;;;......,--

. u(u + 2) 211( 1 + ~,,)

I ( 1 I 1 1 3 )'

=2u 1 - 21t + 411 - RU + .. "

dundo

I I I I z

/tz} = 2(z + I) - 4' + g(:l + I) - 16(Z + l ) +",.

(d) fez) - 2(Z~I) - 2(=~ 3)

1

/(z) -:: 2(1 +z) - 6-(-1-'-1- ,'. _ + :;z)

~ ,~1] ) L I L.' I)

- 2( J - z +.. z .... ", - 1'( 1 - 'iz +-;;l:' - Z,Z +.".)

Determine la expansion en seric de Laurent de la funcirmf(;r)''''' ~et:7 alrededor de

(a) z - 0

(Ib) z = U, un n(Jnlef(l complejo flnno dilstinro de cere (c) z = "'"

Solud6:n (a) De (1.33),

_1

." z

e :;; I + Z + 2! + . .. (Qi ~ I s I < =)

Sustnuyendo liz por z, obtenemos

I' 1 I 0

c'-=l+~+ -:-+ ... ('<~zl$;-) z 2,!·1

asi que

_] I' _l , 2 ill 1 I.

z-,e, "= z~ + s: + - + - + - + - +, .. (0 < [z] '1(,00)

2! 3! 4!z 5!',;l

Esta serie iiene una inflnidad de terminos en la parte principal, perc sc detiene ell ,3 (esni escrita de atras hacia delante), Las series que tienen las partes principales

snams CO~U'LtJJ~\S 55.

infiniras son un problema, afortunadamente son poco frecuentes en ingenieria. Observernos tambien que la serie es valida en Ull disco agujcrado infinite.

(h) EJ valor de lea) debe ser a' e", que nu eli infinite ya que a i:. O. Entonccs f(z) riene una expansion en serie de Taylor

f{z) =.I(tl) + (z - a)fO\a) + (z ;[a)2f(~1(a) + .. ,

alrededor de z = a. Tenemos que

fll!(Z) ;:;;;; d~ (Z3 eli,) ::;: 3z' el.'" - z eli,

f(2)(;;) = dd_ Or e'" - z e'") = 6z eli' ~ 4 e" + ~ ell!

~ z

obteniendo la serie como

1 ( "( lia 4 li~ I I.,")

+ 2l z - a) 6a e - e + d ct- ...

que cs val ida en la region I z - a I < R, donde R es Ia distancia entre cl origen, donde /(z) no esta dcfinida, y el puma a; de donde R = I u I. Asl la legion de validez para esta serie de Taylor es cl disco I z - a 1 < I a I,

(c) Para desarrollar alrededor de z = oo sea w = liz pam que

AI dcsarrollar alrededor de H' = 0 se tiene

('I' I ( w'· w1 )

f -) '" -31-1 W+-+-+, ..

11>' w 2~ 3!

J I I I w

= '3 +- -:i + - + - 1- - +... (0 < Iwl < no)

w W 2111' 3! 4!

Observarnos que esta vez solamente hay tres terminos en la parte principal de j(z)(= f(llw)),

1.4,,6

Ejerdcios

44 i1elernnime 1 a expansion en serie de Laurent de 1

fi.z} = i

z(z- 1)

alrededor de (<I) Z = 0 'j (h) z'" 1, y ospeciflque la region de validez para cada una.

415 Determine la expansion en sene de Laurent de 101. fuueion

56 FUNCIONES DiE UNA VARIABL.E COMPLE,A

~-----------------------------

J fez) :: :;:.~ sen -

z

alrededor de los punros (a) i! - 0 (b) z = 00

(c) Z "" II, WI nurnero complejo finite distinto de cera

(Pitta (c) no calcule los coeficientes explicitamentc.)

z

/(z)= (z-1)(2-z)

en una expansion en serie de i.,nmmi valida para

(<II 1:;:.1 <: I

(d) 12 - II > I

(b) 1 < [z ] < 2

(c) Izi » 2

(c] 0 < Iz - 21 < 1

Singularidades, ceros y residuos

1.5.1

Singularidades y ceres

Como file indicado en 111 seccion 1.4.5 una singuiaridad de una funcion complejaj(z) es un punta en cl plano s donde f(z) no es analities. Nonnalmente, csto significa que l(z) es infinita en tal punto, perc tambien puede signiticar que hay varies valores y no es posihlc elegir uno en particular. En este capitulo, estamos intcrcsados principalmente en las singularidades en donde /(.1) tiene valor infinite. l Jn cero de J(z) es un punta en el plano z donde fez) :: O.

Las smgularidades pueden ser clasiflcadas en terminos de la expansion en serie de Laurent de f(z) alrededor del punto en cuestion, Si J(z)- tiene una expansion en serie de Taylor que es una expansion de la ssrie de Laurent con la parte principal cera, alrcdedor del punto z "" z!). entonces Zn es un punto regular de j(z). 81 !(t) ticnc una expansion en serie de Laurent con solamente lin numcro finito de terminos en 1'111 parte principal, por ejemplo

}{z) =: am .JfJ

(z -zo)

a_1 () ()m

+ __ . + --- + aQ + aj Z - z~, + , , . + am z ~ Zo + .. -

(z -zQ)

entonces fez) tiene una siugularidad en z = z~ llamada polo. Si hay m terminus en in parte principal. como en este ejemplo, entnnces se dice que el polo es de orden m. Otra manera de definir esto es decir que 1':0 ea un polo de orden m si

Hm (z - z~)"'j(z) = a_.. (1.35)

J:~i'jJ

doude U_m cs finite y distinto de cera. 81 Ia pane principal de la sene de Laurent para _f{z) en z "" Zo bene una infinidad de terminos, IQ que significa que el limite anterior no existepara n ingun HI, entonces z = z~ es llamada una si:ngularililad eseneial dej{z).

Si f(z) parcce que es singular en :z - Zo, peru es posible defin j r su expansion en sene de Taylor ahi, entonces z = z~ es Hamada sinll,utaridad removiblc. Los siguientes ejemplos ilustran estes cases,

(a) f(z) - Z-I lilm e un polo de orden \11'10, llamudo uu polo simple, en iJ = O. (b) f(z) = (z - l)-l tiene un polo de orden Ires en z = I.

SrNGULARlDADL~. GEIWS Y RESIDUOS "

(c) f(z) = el!(<-il ticnc una singularidad esencial en z == J. (d) La funcion

f(z) = z-l

(a + 2)(z 3)2

tiene un cero en z ;: 1, Ull polo simp lc en z = -2 Y un polo de orden des en z = 3. (e) La funcion

f(z) = ~

. z

no esta definida en z = 0, Y fHl!f(:CC tenor una. singularidad ahl, Sin embargo, al definir

{(sen z)iz sencz ;;;;

1

(z To 0) (z = 0)

obtenernos una funcion que tiene una expansion en aerie de Taylor i Z4

sene z = 1 - 3! + 5! - ...

41.11: I:~ regular en z ;;;; O. Por tanto, la (aparente) singularidad en .z '" 0 ba sido removida y asfJ(z) = (:>I:nz)!~ tiene una singularidad removible ell Z ;;;; O.

Las funciones cuyas imicas singularidades sun pules se denominan meromorfas, y en general, en las aplicaciones a iagenieria de la variable compleja Ia muyoria de las funciones son meromorfas. EJ siguiente ejemplo sera de utilidad para ayudar al lector a familiarizarse con estas definiciones.

Encuentre 1M singularidadcs y 103 ceres de las siguientes funciones complejas:

I

(a) 4 ~ _ .

z -:z (1 +.1) +1

(c)sen(z 1)

Z4 -z\l + j) +j

z-1

(b) ,1 2 . .

z-z(l+J)+J

I

(d) . 4 2 • • 3

[z -z (I + J)-I J]

Soluci6n (a) Para

f(z) = 4 2 (] ') ,

Z -z i-J + J

el numerador nunca es cera y el denorninador cs infinite s610 cuando z es infinite, As! f{z) no tiene ceres en el plano fill ito z. U denorninador BS cern cuando

Z4 - ;:2(1 + j) + j '"' 0 que factorizado da

(~ - J )(z2 - j) ;;;;;. 0

58 FHN{;JomS Oil, UNA V"'i.IUABt'E COMm'LEDlI.

licgsndo <I

z' - I 0 J

asl que 'las singularidades estan en

todos los polos son sirnpres YEi que ninguna de las raices se repitc. (b La fnncion

z-1

1(z ;;;. 1 . .

z-z(l+J)+J

es similar a/(x) en (a), excepto que tiene un termino adicinnal z - r en el numerador, Pot tanto" OJ primera vista, parcce que 1M:> slngulandades SIJ,n como en 0.36). Sin embargo, una mirada mas cercaria indica qUI: /(z) pucde rescribirse como

z - I

j(z) ;;;; ---~-~-----:---

(z - l}(z + I Hz ~'~(1 + jH [z - '''~(l- j) 11

y el factor z - se canccla, dande una s,ingulal'i,dad removihle en z:;;;;: y redu

ciendo J(z) a

./(z) == (z + I H - ,;j{ I + j-ll-rI~-~h\"""l.{-I---j)-]

que no riene ceros (flnitos) y z ;; -I; \:~ (1 + j) Y \.'~ (l - j) I,:0J110 poles simples. (0) En el CMm de

S~II (z - I J z-I

} ]

conformc z --t 1

fez) = . sen (z_I_)_

, Zl~/(l+j)+j

la funcion pucde rescrib i rse como

Ahara

asl otra vez Z = I es una singularidad removiblc. Tambien como en (b) z c -I, I"~ (1 + j) y ~i~ (I - j) son poles :'Ii mples y las unicas slngularidadcs. Sin. embargo,

sen (2' ~ 1) = 0

tiene 1<. solucirm general 2' ::;;; ] -I- N1t (N - 0, 11, -±2, ... ). Asl, aparte de N = 0, todos estes son ccros dej\z),

5INGULARIDADES. CEROS Y RRSIDnOS ,5Y

(d) Para

l{z);;;;;; -I 2 1 J

rz-z(1+j)+j]

3.1 factorizar como en (b), tenemos 1

J(::.} - J 3 I ~ J >

(z-1) (z+ 1) [1'- ,::l(]' j)] [z- \{2(l-j)l

asi -1, +1, A (I + j) y \:~ (I - j) aun son singularidades, peru esta vez cstan por triplicado. Entonces todos son polos de ordcn trcs, No hay ceros,

1.5,2

Ejercicios

~1 Determine 1:1 localizacion y clasifleacion de las smgnlaridades y los (eros de las siguientes Iunciones. Especifiquc tarnbien cualquier "em que pueda cxistir.

(b) ~

(z+j)'(z j)

() sen z e~ z + 1'1:

ta) co~ z

. 2

Z

2 (c) -.z -1

(d) coth z

(g) ~-l

1 + 1

I

(i) } )

z(z 4z+5)

(h) z + j

(z+2)\!-3)

1.5.3

48 Desarrolle cada una de las siguientes funeicnes en serie de laurent alrededor de z - 0 y diga, en cada caso, el tipo de singularidad (si exists):

1- ces z

(a) ---

z

(b) e'z

J

z

(c) z-' cosh .:;-'

Cd) lan-I(z? + 2,'1' + 2)

49 Dernuesrre que sij\z) es una razon de dos pollnomlcs cntonccs no pucdc tenor una srngularidarl esencial,

Si una funciun cornplejaJ(z) tiene un polo en el punto z '" Zg entonces el coeficiente a_I del termino 1/(z - zo) en 13 expansion en serie de Laurent def(z) alrcdcdor de Z = Zu es llamado el residue de fez) en el punta z == zoo La importancia de los residues sera evidente cuando discutamos integracion en la seccion 1.6. Aqui nos concentraremos en formas eficientes de ealcularlos, sin tener que eneuntrar explicitameute la expansion en serie U~ Laurent, Sin embargo, la experiencia y el juicio son algunas veces la unica ayuda para encontrar la manera mas facil de calcular los residues, Primero, consideremos el caso cuando f,(z) tiene un polo simple en z = Zo. Esto implica, de la definicion de polo simple, que

fez) ;;;; ..!:.:.!_ + ao + Ul(Z ZD) I, ...

z- Zo

en un anillo apropiado S < [z - zol < R. Al multiplicar por z - z~ sc ticnc

60 FUNGIONES Dn UNA VARIA8LH 'OOMPLEJA.

------------------------------

(,z ~ z~)fiz) := a_l~ + ao(z ~ 20) + " " "

quees una expansion cnserie de Taylor de (::.; - 1:o,)1(z). Si hacemos 'que z ticnda a Zo entoaccs obtenemos el resultado

«1.37)

Entonces este limite da una forma para calcufar el residue en un pole silmple.

Determine el reaiduo de

2z

f(z) '" ---:.-. ~~-

(z"'" I )(2z - 1 )

ell cada uno de sus potos en el plano finite z,

Solucien Factorizando d denorninador tenernos

{'( 2z

z ) "" '( _ I

(<:: - J) ,Z + J }(2z ~ )

asi que fez) ricne poles sim pies en ,Z = i. - j y ~ , Ai 'Il~i llzar (1.37) sc obriene

residuo en a= j

2z

- (Z'~j){22-1)

2j 1+ 2j

5> 2j(2.i-1J "" ~s-

residue

=

_ -2j 1-2j

= :"'2j(~2j-l) "'-----:s

residue

I == lim

en ~ == 2 , ... 1

i

i

.;;:: ,-

(~ ~ j)( ~ + j} 5

2

Observe en este caso la irnpertaneia de expresar 2% - t como 2(2 - ~).

Determine los ~esidllOs de ,latimci6n ]/0 + z4) en cada uno de sus poles en el plano fmito z.

Soluci6n La funcion 11( I + Z4) tiene palos don de I -I- z4 '" 0

SINGULAR-mADES, CEROS Y RESIDUOS 61.

esto es, los punt os donde

siendo n un entero. Recordando como determinar las rakes de lin numero complejo, estes puneos SOlI

z = efLJi4T'MJnl2 (li '" U, I, 2, 3)

esto es

e

Para encontrar el residue en el punto ~(I usamos (1.37), para obtener

residue ;;;; lim (Z - ZQ )

en Zo s .... ",. 1 + Z 4

donde Zo es una de las raices unteriores de Z4= -1. Se debe usar la regla de L'Hopital antes de susrituir ra~a una z~ particular. Eseo esta justificado, dado que (z - zQ)/(l + Z4) es de la forma indeterminada 010 en cada uno de los cuatro palos simples. Derivando el num .. rador y el denominador obtenemos

( Z - Zo ) . ( ] )

lim -- = lim -

'->Z~ 1 + z~. 2-+'~ 4z1.

1

dado que 4z-1 es distinto de cero eli eualquiera de los polos, l/4~, es el valor de calla residua en z = Zoo Al sustituir para los cuatro valores (±l ±j)I~12 se obnene 10 siguiente:

residue

en z '" (1 + j)/,1'2

;;;: J 1 3 ;;;;;; - (I + j )/4 ,,'2

4U~) (1 +j)

'" / "I !; (-1 + j)/4\112

4(y'i> (l - j)

residue 1 . .

;;;;;; 1 3 = (1 -J)f4~'2

en z '" (-1 + j)/y'2 4U~) (-1 + i)

.:" -

residue == 1 '" (l + j)(41"2

en z """ (-] - j)/~"2 4(I"'i)\-1- j/

residue

en z:;;; {I - j)/~I'2

La obtcncion cxplicita de cada Imrie de Laurent para los ClI3JtrO poles involucraria una manipulacicn diflcil. Sin embargo, cl lcctorentuaiasta puede querer verificar al menos uno de los residues anteriores.

62 F1JNClUNES DE UNA VARIABLE COMPLEJA

Ahora supongamos que se tiene un polo de orden dos en z = Zo. La funcron j(z) tieue entonces una expansion en serie de Laurent de la forma

a., /.l_1

ttz) ;;;; , + -_ + aD + all - Zo) + - ..

(,,-zo)' z-zo

Nuevamente, 3010 estamos interesados enaislar el rcsiduo a j. Esta vez 110 podernos usar (1.37). En camhio, multlplicarnosr'(s) por (z - zo)Z para obtener

(2 - ZD)2f(z) = G_2 f- a I(Z - zu) + (JQ(z - zn)2 + . - _

y derivarnos pMa climinar Ia no deseada a_2:

Hacienda tender z a Zo obteuemos

el residue reqnerido.

(LJ8)

Determine Ius residues de

i-2z

(z) =. 2 2

. (z + I) (z + 4)

en cada uno de sus polos en eJ plano Iinito z.

SINGULARlDADES, CEROS Y IrnSIDUOS 63

Solucion A I factorizar el denominador se obticne

2

f{z) = Z -2:0:

(z + 1)'(z - 2jHz + 2j)

[lsi que f(z) tiene poles simples en z = 2j Y z = -2j Y un polo de orden dos en z = -1. Usando (1.37},

residue en z "" 2j

~ -4+4j _ = 1.(7-j)

(-2j+I/( 4j) 25

Osando (1.38) con m;;;;;; 2 sabemns que

residue I I' .' d [t . '1). z ... ~ - 2z 1

'" ~ lm- :7 +1 "~==-"":"--

en z == -1 J t '-='-1 d.z " "(i.i±I(Z~ + 4)

:;;; lim (z2+4)(2z~2)-(z'-2z)(2z) = (5)(-4)-(3)(-2) = 14

a- .. J-l (i+4)2 25 25

Determine los residues de las siguientes funciones en los puntos indicados:

4 Z

(e) -- --, (z = -I)

(z + l )"

Solucjtin (a) Como

y c' es regular en z "" j, se sigue que z = j cs un polo de ordeu dos. ASl, de (1.38),

.... "I' Ii l' eZ l

resrcuo e z~ dz ~'~JL~ (z + j )2f{~"::j) ~

;;;;; 11m {~ r~~-;: -. -]} '" lim ('-=z_+....=.J-"..)2_e_· -_2(,,_z_+_cjie<..)e_"

Hj dz (Z+j)2 Hi (Z+j)4

== (2j/ci - 2(2j)ej = _l(l +)ei

(2j/ 4 J

Como e' :;;; cos I -+ j sen 1, podemos calcular el rcsiduo en z == j como 0,075 - .;0345.

64 F NClONES IU; 11N'}\ VARIABLE COMPI.IEJA

(b) La funcion ~(senz)l:z2]J tiene un polo en z = 0, ycomo (sen a/z) --+ 1 conterme t: --+ D, (sen! z)/z' tambien puede ser definida como 1 en. z = O. POI' tanto, como

(~)J ;;;;;; scn3 z I

2 J 1

Z r Z

la singularidad en z ",. 0 debe ser lin polo de orden tres, Podcmos usaf (1.38) pars obtener el residue, 10 cual implica determiner Ia segunda dcrivada, pero ell! este case es mas facil dcrivar ell coeficiente de liz de la expansion en sene de Laurent

t'.cnz z

a an do

sen z 1 1 1 1 --;;;;;; - - -z+-z

l z 6 1210

, - {I d? ( 3 l 1 } (~ d2 _4]

residuo s= lim - -:-"i (z + I) ---3 = Jim ~. ~ (z )

; .. -~ 2dz (z+I)_ ..... -~ 2dz

= lim ~ x 4 X 3'Z·2 = 6(-1)" :;;;;; 6

.-1-1

Elevando III cube esta sene se tiene que

(se~. Z)3 __ (l _ !~ + __ I Z3 _ ... )1 1 I z 1 1

z~ z '0 ~ 120 . =; ~ 316" -I- . . . =? - 2z + . , ,

Errtonces, el residue en zoO es - ~ .

(c) La funcien ~/(z + :1);1 tiene un polo triple en z ;;;;;; -1, asl, usando "I ,J8),

SCI Determine Ios m-,esiduos de las sigutenres fUlIlciuoes racicnalee en cada po~ln en cl p:IGIlO' fiinitu 7:

(a) 2~z"'1 (b -'2-1-

z - z - 2 ::(1 - a)

Ji+2

(c) ._-.....,c:;;.-

I(l' I )(:~ T 9)

) /'+4.z-+t'+1

c ,

(2- i)

• •

(d) z -~ +z- J

z + tlz

(f) (z+ 1)1 z- 11

A1gWlaS voces, 1.05 residues SOil difieilcs de calcular usando (1.38). especialmenie si estan lnvulucradas funciones eirculares y el polo es de orden Ires o 'mas. En tales caans, el mejor procedimlento es ~I, calcule dirccto de la expaasion en serie de Laurent usando las series usnales de sen ;z y cos s junto con 1::1 serie binomial, COIllO en cl ejemplo 1.26(b).

1.5.4

Ejercicios

INTEGRAla6N m: CONTORNO 65 .

(g) z ~ 1

(::-1) (z+3)

(h) 3 + 4;;

. z"+3i+2z

51 Calcule, en las siguientes funclones, los residues en ills poles simples indicados:

(a) ~ (z '" 0) z

(c) < - I, (z = eftJ") Z t I.

Id) _1_ (z = 1r) sen z

52 Las sigulenres Iunciones tienen poles en los puntos indicados. Determine el orden del polo y el residua ahi.

cos z

(a) -r (z = 0)

z

(c) + (z '"" nit, siendo 11 un entero) SO::D Z

(SlIgrmmcla: use lim.-oQ(scn .tI)/1i = I (u ;;; I - nn). rlespues de derivar, reemplace sen u por u en el Hrnite.]

Integraci6n de contorno

Consideremos la integral definida

J'l

f{z)dz

z

de la funcionj'(e) de una variable eompleja z, en donde ZJ Y Z2 son un par de numeros complejos. Esto implica que evaluarnos Ia integral conforms z toma valores, en el plano Z, delpunto ZI al punta ZZ' Como estos son dos puntos en d plano. se sigue que para evaluar la integral definida se ecqurere definlr alguna trayectoria de 1:J a :<2' Por tanto, es clare que una integra I definida de una funcion complcja fez) es de hecho una integral de I'inea.

Brevemente, una integral de linea en el plano (x, y), de las variables reales x e y. es una integral de La forma

L [P(x,y)dx I' Q(x,y)dy]

(1.39)

donut: C denota la trayectoria de integracion entre los puntos A y R en el plano. En el caso particular cuando

JP aQ ry ;;;: ax

el integrando P(x, )I) dx + Q(x, y) dyes una difcrencial total, y la integral de linea cs independiente de ]a erayectoria C que nne a A y B.

En esta seccion introduoimos la integral de contoroD; que es el tcrrnino que se utilize para evaluar intcgrales de linea en el plano complejo.

(1.40)

66

}'

o

Plano z

Ftguru 1.25 Pat ticioncs de ln curva C.

1..6.1

Integrnles de contorno

Sea /(z) uno funcion compleja cuntinu .. , ~D todns los puntos de una curva simple el;:I] el plano z, de longitud finita y que unedos puntos a y b. (No profundizamos corn respecro a 1.'1 continuidad para variables complejas.] Subdividimos la curva en n partes eon los pontes Zl, Zb ••. J Z"_I' a! tornar Zo = U Y III = b (flgura 1.25); en cada uno de los areos que linen a Zt_1 cou :tt (k;;: I, .. _ , 11) elegimos un punto Zk; Iormarnos la suma

..

S. = L .fCi~J 7k

pi

Despues, escribiendo zk - Z~_I ;;;;; I't~, S" ol)te,n.,;mos

Si hacemns que Ii crezca, de tal rnanera qu~ In mayor de las longitudes de la cuerda Iru.1 Sf! aproxirne a cero, entonces III suma S" se aproxirna n un llmite que no depBnde' de Ia rnanera de subdivision de 'a curva. A este limite 10 Ilamamos la integral de COI!tOfflO de f(z) a 10 largo U.,; la curva C:

> Si tQIflaJtlqs z 0;:;: x I jy Y expn:saJUoO\f(z) comQ

-'.:1. . . I ~ • • ~ , • ".

ICz),~ u(.r? y) f .iv(x, YA

ctitQnces se pueu~ dernoslrar II Pllrl1;'de (1.41 j que

-"_'~~~----'

(1..4])

MNTHGRACrON DE CONTORNO 67

(1.42)

Evalue la integral de contorno {,z\:(z a 10 largo de fa trayectoria C de -1 I j a 5 + j3 y formada por dos scgmentos de recta, el primero de -1 + j a 5 + j y el segundo de 5 +- j a 5 + jJ_

}'

D(5 +j3)

J I 2,

A(-I + j) .1-+-~_"--"B(5 + jl

-I

o

x

Plano z

Fisurat.21i Trayectoria de intcgracion del cjernplo 1.27.

Soluclon Ell la figura 1.2(", se muestra la traycctoria de integracion C. Como Z2 = (x + jy)' "" (x) - _l) + _j2ly

se ticnc de (UI2) que

[ = J i dz == f [(.-1 - ./)dix - 2xy dy] + jJ [2xycix + (./ -/)dy J

r:: c <;.'

A 10 largo de AB, y '" 1 y dy ;;;;;; U, asi que TAB == f) (x" -l)dX+jf~ 2xd.l:

1 -I

= r ~xJ - XJ~I + j[x:lJ~J = 36 I j24 A 10 largo de BD, x "" 5 y dr == U, asi que

o'a FUN'CIONES DE UNA VAlUABLE COMPT.EJA

[BO = f .. ] -1O)'d,v + jJ' (25 - /') dy

I I.

= [-5ylJf + j[25y - iY]~

;;;0 -40 + j 1;4 Bntonces

L idz = ha+IsD = (36+j24)+(-40+f;4).", _4+jL~

Demuestre que JcCz + 1) dz = 0, donee C es Ia frontera del cuadrado con vertices en I ; 0, Z ~ I + jO, Z = 1 I· j 1 Y z = ° + ]I 1.

y

...

1)10 + j) ............... _-..., 811 -I' j)

All + Jtil x Pl.ano·z

Figura 1.<C7 Trayectoria de integracion del ejemplo 1.211.

o

Soluci6n En 1<1. figura 1.27 se muestra la trayectoria de integracion c.

Como t: + I = (x + 1) + jly. se sigue de (1.42) que

1= I. (z+ l j dz "" f r(x+ l)d.x~'ydy] +jI lydx+ (.x+ 1}dy]

r: c c

A lo hugo de OA, y = U y dy = 0, as! qu~ lOA ~ {L (x+ I)dx :;;;: ~

• ,n

A 10 largo de AB, x ~ ] y dx "" 0, as! que

JAB = I-YdJ'+jf>dy=-~+j2 A 10 largo de BD, y "" 1 y dy = 0, as! que

laD = f (x + 1) dx + j r dx ", -~ - j A 10 largo de DO, x .:: U y dr = 0, asi que

INTEGRA CION DE CONTOR.NO fill

ino = [0 -_vdy + jJnctx = ~ _ j

. , I

De donde

Ie (z + 1) dz == lOA + JAR + t.; + InLl == 0

1.0.2 Teorema de Cauchy

EI rcsultado mac; importante de toda lilt teorla de variable compleja es el Ilamado teorerna de Cauchy y sienta las bases en las que se apoya la teoria de integracicn de variable compleja. EI teorerna puede formularse de la siguiente rnanera,

Teorema de Cauchy

(Observe e1 uso del simbolo Pc para denotar la integracien alrededor de una curva cerrada, con la convencion de que la integral RC cvahia rceorricndo a C eli el scntido positive, es dccir, en contra delas manecillas del reloj.)

Demestracien Para demostrar el teorema, hacemos uso del teorema de Green en un plano. En esta etapa es suficiente enunciar el teorema,

Si C es una curva cerrada simple que encierra una region A en eJ plano y P(x, y) y Q(x, y) son funeiones continuas con derivadas parciales continuas, entonces

Tc (Pdx + Qdy) = Jf(~~ - ~)dXdY

.~

Volviendo a la integral de contorno y al considerar

fez) = u(x, y) + jv(x. y), z "" x + jy

se tiene de (1.42)

f{~ Rz) dz - fc (1.1 dx- Lldy) + jt (vdx + lj dy)

(1.43)

(1.44)

'0 il'UNCIONES D'F: UNA 'V/l.RlABlE COMPl..EJA

----------------------------~

Corne .fez) es analltica, las ecuacicnes de Cauchy-RIemann

tJ II rllJ au ihi

ax i}y' ax - ~"

"I;; sarisfacen en C y centro de la region I? cncerrada por C,

<':01111) H(X, Y) Y z..'(x, y)' atisfaeen las condiciones impUl:slas. a P("l',),) Y 0(04, r) en el teorema de Green. podemos aplicar (J .43) a ambas integrales del lado dsrecho de (1.44) PM3 obtencr

tfir)dZ= J.f(-~; - ~;:)dXdY +.IJJ(:;::

II R

~V)d,t dy oy »

= 0 + jO

por las ecuacinnes de Cauchy-Riemann. ASI t J(r)dz = 0

como lit: queria mostrar.

Q

De: heche, 13 restricci.6n del t~orema de Cauchy LIt: que l'(z) debe ser continua en C puedc ser eliminada Y csto hace t:1 teorema epllcable a una clase mas b\rande de Ihuciones, Una forma revisada del teorerna 1.1, sin 13 restriccRim, es eonocida como el teorema fundamental de illteg11ld6n compleja, Como Ia demaS.l:raci6n de que f(;:) no necesna ser eontinua en C fue propue ta primero por Goursar, ct reorema fundamental es algnnas veces conocido como el teorerna de Caul:h~'~Ul}lIrsnt. En estc libro, nu seguircmos (as consecuencias de relajacion de csta restriecion.

Ell la practica, se necesitan evaluar con cierts frecuencia las integrates de contorno en las que aparcccn funciones tales como

1 7

j;fz) "" ~~, .h(z) "'" ;

z - 2 (z - 3) (.< + 2)

que tienen slngularldades asociada acllas, Corne las funciones DU SOIt analiticas en tales puntos, i,c6mo vamosa evitar las singularldades ,! estes se encuonrran dentro del conrorne de integrnclon? Para resolver el problema, In slngularidad sc elimma III ddiOrDl~r el ICOllIrtMOO.

Primcro consideramos el case en que Ill. Iuncion cornpleja rlz) tiene unasola singularidad aislada ell Z =.to dentro de la curva ccrrada C. Parol quitar 1", singularidad, la rodeamos CCI11 un eirculo y, de radio p. y despues cortamos con una recta AB Ia region entre el clreulo y el cunsomo cxterice til! C'. (ski nos lleva 1,11 conrorne deformado indicado por las flechas en la figura :1,28. En la flgura, la linea que une el ctroulo ral eouterno ese' rnuestra como un canal estrecho para poder disiinguir entre la traycctoria de A a R y Ill. trayectoria de BaA. La region dentro lit: este ccntorno deformudo esta sornbreada en la Iiguea (rceuerde que la region dernro de un conturuo cerrado es la region de la Izqulerda CUaOo1() recorrernos el contomo). Como aqui 110 hay singularidades, pcdemos aplicar el teorema de Cauchy y escrleir

IN'T'IFI1RACH1N DE CUNTOKNO 71

y

x

o

Plano z

l"igul'!1 1.28 Cont0T110 deformado para I,ITIli singular idad aislada.

1 j{z)dz + f j{z) dz I f f\z) dz + 1 f(z) dz"" 0

Jr All Y J I3A

Cornu

f Bf\ = f AB Y f, "" -fl'

S~ sim pi i fica a

1 f\z) dz = f· /tz) da

Jc r '

el + indica el cambio de sentido, del giro en cl scntido de las manecillas del reloj al senti do conrraric al giro de las manecillas, alrededor (let circulo r.

(1.'15)

Evahie In integral p~.dz/z alrededor

(a) cualquier contorno que contenga el origen; (b) cualquier contnrno que no contenga el origen.

Soluci6n (a) fez) = Ill' ticne 'Una singularidad (un polo simple) en z = O. Entonces, al usaf (1.45) la integral al redcdor de eualquier contorno que encierre al origen es igual a [a integral alrededor del circulo r, ccntrado en el origen y de radio pQ. As!' que necesitamos evaluar

f)dZ

Como se puede ver de la figura 1.29, en el circulo r z = Po ej~ (0 ,,;: () < 2Jt)

aSI

dz - jPt) ejB dO se llega a

7Z HJNCliONES DE UNA VARlJUlU COMPl.l"lJA

--------~-------------------------

x

Planoj'

l'"mguro ].llii Un clrculo de 'radio Po COil eentro en el origen.

l ;dZ~ J2"'JP~~J:dlfJ;;;; JJlljdO = 21tj

Jr 0 poe n

Por tanto, si C cncierra el origen entonccs

i dz "" 2~j

Tc z

(b) SiC 110 encierra el origen entcnces, por el teorema de Cauchy

f dz;; n

z L

ya que I Iz es analitica dentro y en cualquier curva que no encicrre at origen,

Generalice 01 rcaultado del ejemplo 1.29 evaluando

1 d~ Jr Z

cuando II. es un entero, alrededor de cualquier coniorno que contenga al origen.

Solucion Si 11 ~ 0 podemos aplicar dircctamente el ieorema de Cauchy (0 se puede evaluar directamente In integral) para dcmostrar que la integral cs cere, Si II > 1 prccedemos com€l en el ejernplo 1.29 y evaluamos la integral alrcdedor de un circulo centrado ell 01 origea, AI tornsr z = PociO como en el ejemplo 1_29, tenemos

f dz = fl~jPo,.e,~c de

~ p" .. ",,9

r Z . 0 n '"

donde Po es una Vf:7. mas el radio del clrculo. Si n '" I,

f dz = "I2,. dO ,= '_I_,,[e(1-~Jj(J]:I~ = p~-" (ell-I!)ZI'i_l)

~ J ~-I 1~-nYi JPo {I -JI)J' I _/'I ._

cZ ~Poc u

puedc que e211lN = 1 para. cualqulor entero N. Por tanto,

1. d~ == 0 (I'I'?! I) Yc z

13

(12 ~ J)

. ~

(siend'o 12 .cualqUi6t ,ottQ eAtcrQ)

, ,

Si' C nu ·"(.~uti~ne ~t origen Ia., illt..ewal~ per ~l~ ted~lna de .C!1u'Cliy, espor ~uptt'e$tO I

tero. .' "

Evalue la integral fc z_d2z_ j

a lrededor de cua lquicr contorno C que conrenga el punto z :;; 2 + j.

Solucion La funcion

~-e;

2 -x

o

Plano r Figura 1.30 Un ~irll'lIJo de radio o ron centro en 2 + j.

I j{z) ;;;;;; _ 2 '

"'- -J

tiene una singularidad (un polo simple) en z ;;;;;; 2 + j. Entonces, a1 utilizar (1.45), la integral alrededor decualquier contorno C que contenga el punta z = 2 + j es Iii misma que la integra] alrededor de un circulo rcentrado en z = 2 + j y de radio p. Ast necestramos evaluar

! Z_d;_j 11

Como puede verse en In figura 1,30, en el clrculo r

z = (2 + j) + p eJIl (O::!:> 8 < 2n:)

d;- = jp eJ~ de

al llegar a

= IZll jp e.= dB

. 0 pel

Jl~

= ~ jde = j2rc

Ahora, si C encierra el punto z = 2 + j cntonccs

f dz

/~'-2-j

f d;. = 1tj2

;;z- J

Compare esta integral con la respuesta del ejemplo 1.29.

. 74 FUNCIONRS DE UNA VAIlIABlE COMPLF.JA

..... ....... ,_ __ AAl ....... ... ' _._-....W!T _

Figura 1.31

Conturno deformado para 1/ singularidades.

Hasta aqul, solo hcmos considerado Iuuciones COli una singularidad simple dentro de un contorne cerrado C. El mctodo puede extenderse para acomodar cualquier IUJ.lIIero finite de singularidades. Si Ia funei6nf(z) tiene lin numero finite de singularidades Z = zl> Z2 •••• , z., dentro de un conrorno cerrado C, podernos deformar csie ultimo introducicndo n clrculos 1'1. 12, .... Yo para rodear carla una de las singularidades, como se muestra en la figura 1.31. Entonces se ha probado rapidamente que

l_1\z) dz = J. f(z) dz + f· f(z) dz + ... + I. fez) dz

Jl JYL r" L.

(1.46)

Evaluc In integral de contorno

f zrlz

c (z-l)(z+2j)

donde C es

(a) cualquier contorno que contenga a ambos puntos z = 1 y Z "" -2j;

(b) cualquicr contorno que coruenga a Z ;: -2j pero que excluya al punto z = I.

Snluclon La funcion

ft~) - z

. " - (z-1)(z+2j)

tiene singularidades en z - 1 y z :::;,; -2j

(a) Como el contorno encierra a ambas singularidadcs, necesitarnos evaluar las integrales alrededor delos circulos /'1 Y '1'2 cuyos radios son p, y p< que encierran los puntos z == 1 y z ;;;;; -2j respcctivarnenre. POI otra parte, pndcmos resolver f(z) en fracciones parciales como

;(1 - j2) ~(4 I 2j)

I(z) ;;;;; + 2'

z-l z + J

Y so considera

J f Z dz 1 ( 1 2') f dz 1. 2" f dz l l

-.' . ;;;;- -J.--+-(4+J).·-- .. ", ,+-

. c (z-l)(2-2j) 3 cz-1 5 c z+2j •

EI integrando de I, tiene una singularidad simple en z ",. 1, y $010 nccesitames evaluarlo alrededor del circulo y, de radio Pi alrcdcdor de Z ", I para obtener

" :;; 2nj

En forma similar, 12 ticne una singularidad simple en z ~ -2j y 10 evaluarnos alrededor del. circulo '12 para obtener

INTIlGRACION DE CON TORNO 75,"

Entonces

I = ~ (I - j2)2rrj + ~ (4 + j2)21Cj = 21tj( H - jB)

A!'.l como cl contorno r conticne ambas singularidades entonces

1 z d:.: 2 .(17 . 4 )

Je {z - I)(z + j2) = IT~ 15 - .115

(b) 81 el conrorno C s61.0 contiene Ill. singularidad z =;= -2j entonces

f zdz I 2 .(4 .2J·

(z-l}(z+2j) ;;;;; 2;;;;; 1'[J:5 + J5'

c .

Ell los ejemplos I ,29-1.32 podemus observar algunas sernejanzasen las respuestas, como la aparicion del terrnino 2nj en todas ellas, Por tanto, parece que se pueden obtener algunos resultados generales para ayudar en Ill. evaluacion de las integrales de contorno, Este es elcaso, y dichos resultados generales estan contenidos en el tenrema de Cauchy para lntegrates.

'Iem:ema de Cauchy para integrales

(1.47)

(].48) D

Ohscrvamos que (IAR) imp! ica qne si j'{z) cxistc en z = Zo aRI jh){z) tamhien existe para toda n, como se predijo antes en I11JS observaciones que siguen al ej emplo 1.16.

Fvalnc 13 integral de contorno

f 2z

, d~

c (z - i )(z+ 2Hz + j) ,_

donde C es LlII contorno que incluye los tres puntos z '" 1, z "" -2 y z .", -j.

78

?'"

Jtz) "" (z _ I )(z -:; 2)(z + j)

tiene singularidadcs en 100s puntos z '" 1,,: z := -2 y z = -j dentro del contorno, se sigue lie (1.46) que

1 f(z)dz = f Rz)dz +- to J(z)dz + f f(z)dz (l.49)

Ie _ l'1 T1 r.

Soiudon Cerne /(z) = Z~/(I - I)l ticne un polo de orden tres en z = I, sc sig'lil,e qae

i fit) dz =.! ~ dz

Ie J,(z-1)

donde y e un eircule cenrrado t:J1 Z "" 1. Escr.ibiendo f,(z) = Z4. entonces

donde l't. Yl Y YJ son circulos centrados en Ius singl.llaridadt:s z = I, z ;;;;;; -2 y z ;;;; -j rcspcctivamente, Parra poder utilizer el teercma de Cauchy para integrales, reescnbiITIOS, (1.49) como

f /(Z)dz"'"f f2Z/I(Z+2)(Z+J)]}dZ+f {2zIHz-l)(z+.i2]'}dz

~ .:-1 r z+2

C 'I _ 2

+ 1 E!/[(z- l)~z + 2)ll} dz

J T, Z + J

= fl. Jj(z) de + f' fl(Z)dz + f" h{z. dz

I, z-l z 1-2 z+]I

hh ~

Como .!i{z), liz) y J](z) bun analiticas dentro y sobre los circulos r~, r2 y r) respectivamentc, lie sigue de (1.47 que

{f(Z) dz - 2l'tj[Ji{I) + 12(-2) +,fJ(-j)l

_ 2 ,', [ 3 . -4 . -2.j ]

- 1tJ 2(~+j)+(-3)(~2+j)+(-j-I)(-j+2)

para que

f 2zdz.. ;;;; 0

C (z-1)(z+2){z+J)

EJEMPLO 1.34 Evalue Ia integral de contorno

f ~,

_z_dz t qz _ 1)3

donde el contorno C encierra al punta z = 1.

rNTBi(iRAGl6N DE IQONTORNO 11

1 f(x) dr == 1 J; (Z)} dz

lr-: j., (z - 1)

y como J.(:Z)I es amdItica d1entm y sc!)re, del clreule r~ se sIgue de: (l A8) que

JJtZ)d2 = 2nj~, [:.fl(Z)] := n:j( 12z21,_,

~ =-1

j:lara que

1.6,3

Ej erniei us

53 Evalil;: Idz:l + 3:) II 10 larg:o de 10 'ligu.enres eonlom05 C en el plano complejo t:

(a) 10 recta que une 2 -I- jII con 0 + j2:

(b) 10 red<t que uae 2 ,+ jO con 2 + j2 y despues COil o t j2;

(c) el circulo 1:1 = 2. para 2 + jO con I) + j2. en la dift«lt'in ,eoluroria a las m~ne.-j~liilll del rel oj.

S4 EYll]ue M.,.5t - ,r? + 2)dz alrededor de las siguientes contornos eerrados C en el plano complejo z:

(3) e'l efreulo 11' I - I;

(b) el C\lEldtll(ln con vertices en 0 + jO, I + j!J, 1 til yO + J I;

Ie} Iii. C'IU'IIO que c,onsisl":' de las parabolas _I' = Xl de o t jO 11, 1 + J I Y y' ::: .I" de I + j a 0 + jo,

s.~ Gm~oo el restlilado tJl\i:l ejemplo 1.3D 'I demuesire que

1 dz {j21t (n = 1) TC(2-1'&t~ 0 (,I'f-I)

donde C es un eonrorne cerrado simple que encierra 81 punlO , = Zo.

~Q Ev~lue Ia integral. de ccntcrno

{Z~4

d.oi\dc C es cualquier t;UrV3 em-ada simple y z",. 4 e~ta

(a) fuero d,e C (b denrro de C

:57' Corn Ia; ayl!da del teorema de Cauchy paro integrales, evalae Ia illtegral do contorno

.! 2zdz

T., (2z - I}(z + 2)

dondo C es

(a) el elreulo 171 := I. (b) el circulo 111 ~ :I

~8 Con la ayuda del reorema de Cauchy para integrales ' evalue III integra! de ceruorno

f 5zd1'

C (z+' 1 )(1' - 2)(r + 4j)

donde C es

(a)1 el clrculo I z I = 3. (b) el eirculo It I = 5

59 Util i zan do el teurema de Cauchy para integrales ' evahie las siguientes inlcgmJes de contorno:

[a] 1 .,/ + Z 3 dz

Ie (2z + II)

donde C es 01 circulo unitario I z ~ = 1:

(b) 1, 4z dz

Ie (z-l}(z+2)2

donde C cset circulo Izi = 3.

78 FUNCIDNES DE UNA VARlAHL.b COM-PLETA

1.6.4

El teorema del residuo

Este teorema relaciona las teorias de derivacion e integracion de funciones complejas. Estli relacionudo con la evaluacien de la integral de contorno

J ;;;; t,.,f(Z) dz

donde la funci6n complejaJ(z) tiene un numero finite tl de singularidades aisladas en 21' 22' ••. , z; dentro del contomo cerrado C. Definiendo el contorno C cornu ell 18 figura 1.1 l , tCIlC'I"I10S como. en (L46) que

J", 1 Jl.z)dz "" 1 f(z) dz + 1 j(-.:) dz + ... + 1 ./(z) dz (1.46}

~ r~ T~ r~

AI utilizar el resultado del cjcrcicio 55, todas estas integrates son cera excepto ]a que esta multiplicand-Cia aW_L' que es el residue, y ticnc cl valor 21tj. Por tanto, hernos probado que

1 f{z) dz = 21tja~1 = 2rr:j x residua en z = z/

L

Esto claramente se generalize, de rnanera que (1.46) se convierte en

Si suponemos que f(z) tiene 1.Ul polo de orden m en Z = 2, cntonces puede ser representada mediante la expansion en serie de Lament como

(I) (Ii

a '" a-L tlJ (t)() (t)(_)"'

_f{z) - '" + -" -I- -- + ao + a] Z-ZI I ..• 1- am z-Z, + ...

(z -z;) Z -z{

valida ell <:1 anillo ri < I Z - z, I < R~. Si la eurva C esta totalmente contenida ~IJ este anillo, entonces por el teorema de Cauchy (1.46) se convierte en

, "" fc itz) dz '" titZ) dz

Al sustituir la expansion ell serie de Laurent de j(z), cosa que sc puede hacer con certeza ya 4U!:' nus enconuamos en el interior del anillo de convergencia, sc ohticne

f "( . d f [ a~:" a~t (i) (!)( )

)0, z) z = .. III + - - - -I- --. -1 Go + au Z - Zj + ...

r, r, (Z-Zi) Z-"'I

+ a~)(z Z,)ffl + ... ] dz

(Of

'" .a_,"

Y,

dz . + ti) f dz - (/) f dz

---. + . . . a_I -- + u 0

(Z-Zlr~ .. r~ Z -2, Yf

.(:')t

+ .ell [z - zd dz + .. _

INTEGRAcr.rJN DE Co.NiORNtJ 19

1 ;;;;;; ! j(z) dr = 21tj t (residue en z ;;;;;; z,)

~ ~I

;;;;;; 2n:j x (suma de los residues dentro de q Asi tenemos el siguieute resultado general:

El teorema del residuo

Este es un resnltado bastante notable, nos permite evaluar la integral de contorno 'p¢f(z) dz CUII la simple evaluacion de un coeficierue de la expansion en sene de Laurent de f(z) en cada U11a de sus slngularidades denuo de C

Evalue la integral de oontomo Pedz/[z(l + z)] si C es

(a) el circulo ~zl = ~; (b) el circulo Iz'l = 2.

Solucion Las singularidades de '[ f[z(l + z)] estan en z ;;;;;; 0 y -L Al cvaluar los residues nsando (1.37) se tiene que

residue en z;;;;;; 0

= Hmz j

, ..... ·0 z(l + z)

=

residue 1

;;;;;; lim (z I 1) "" -I

ell Z :: -1 .->-l z(l + z)

(a) Si C es [z] = ~ entonces conticne el polo en z :: O. pero 110 el polo en z '" -1. Emonces, por el teoreuia del residue,

fc Z(Zd: 1) ;;;;; 21rj x (residue en z :: 0) - Zitj

(b) Si C es ~ z I = 2 entonces ambos poles estan dcntro de C. Bntonces, por el teorerna del residue,

f _d_z - = 2ltj(l ~ 1) = 0 z(z + J J

c

, . f z, --i +z - 1

Evalue 111 integral de contomo 3 dz

c z +4z

(a)~zl=' (b)lzl=3

donde C es

80 FUNClONES DE UNA VARIABLE COMPLEJA

Soluci6n La funcion racional

Solueien

3 •

z --z + z- 1

i+4z

tiene poles ell Z ~ 0 y ±2j., Al evalnar los residuos usando (1.37) se obtiene

residue en z;;;;;; 0

~ 1

_ l' z(z - z + z 1) = __

- 1m 1

, ... o xCz + 4) 4

~ lim (:z - 2j)(Zl_i+z-l) = _~ +~,

.... Zj z(z - 2j)(z + 2j1) 8 4J

restduo en z = 2j

residue _ I' (z+2j)(z' i+z-l) _ 3 3.

- 1m - ,- -~ --J

en z ;;;;: -2j ..... -1) z(z - 2j)(z + 2j) 8 4

(Observe que estos han side evaluados en cl ejercicio 50(d).)

(a) Si C es Iz 1 = I entonces el unico polo en z ;;;;; 0 esta dentro del contorno, asi 1'1610 el residue alli SI:! torna ell cuenta en elteorema del residue, y

f l-i+z-l '( I) 1,

J dz ; 2'1tJ -- ~ --n:J

c z + 4z 4 2

(b) Sl C es Izi '" 3 eutonces todos 10'8 poles estan dentro del contorno, De donde, por el teorema del residua,

1, z:l_z~ +2- 1 dz = 21tj(-! - ~ + ~ j _ ~ _ ~ j) = -2:n:j L. i + 4z 4 8 4 8 4' .

Evalue la integral de contorno fc z3(i +d~z + 2)

doade C es el circulo 1=1 ;;;; 3.

Los po,los de lIZ\Z1 + 2z + 2) son como sigue: un polo de orden tres en z = 0, y dos poles simples dondc Z1 + 22 + 2 = 0, esto es en z :;;;; -1 ± j. Todos estes polos estan dentro del contorno C.

De (1.38), el residue en z ;;;; 0 esta dado pOI"

, 1 d2 [ 1 1 ,1 d [ -(2z + 2) 1

lun-'- :;;:: hm~- 2 2

,,-tU 2t dz2 i + 2z + 2 HO 2 dz (z + 2z + 2)

= II' -(i + 22'" 2)2 + (z + 1)2{/ + 2z + 2)(2:- + 2) I

m l: ,I = 4

,-.0 (z +2z+1)

.. d [ -(z + I) 1

=hm- ~ "1

Hodz (z +22+2)

De (1.37), cl residue en z = -1 - j es

INTIGRACION DE CON TORNO 8:1

lim (2 + 1 + j) 3 ] = Jim. ~ 1

r-+-1-j Z (z + 1 + j)(z+ 1- j) H-Hz (z + L ~ j)

1 1 1

= = == ~____,~=-=

(-I-j)\-2j) (I +j)'2j (-2+2j)2j

al utilizar (1 + ji ;;;; 1 + Jj + 3/ + l =:! -2 + 25, De dondc

residue "" !_l_ = _! I-j = !(_I + i)

en z = -1 - j 4 - 1 j 4 2 ~ . j

Tambien ::II utilizar (1.37)

residuo I' ( 1 '\

. ;;;;;; 1m z + - J) --;---~-~--

cnz~~l+, '-'-hj z\:r+i+j)(z+l-j)

que es precisarnente el eonjugado complejo del residue en z ;:; -1 - j. De 10 antcnor, se puede abreviar el algebra y estahlecer el residuo como ~{-1 - j).

La surna de los residues es

~+~(-l+j)+~(-l-j)= n

asl, por el teorema del residue,

I J 2 dz = 2n:j(O) = 0

1cz(z+2z+2)

1.6.5 Evaluaci6n de intagrales reales defmidas

La evaluacion de las integrates definidas se realize con la ayuda delteorema de! residue junto CUll una funolon comp'lcjaf(z) conveniente y un contorno eerrado C conveniente, En esra seccion consideraremos brevemente dos de los tipos mas. comunes de integrales rcales que pueden ser evaluadas de esta mancra,

Para evaluar tales integrales, consideramos la integral de contorno

82

pl:mu ~ ifllKW"3J 1.32.

EI contorno ccrraco para

CV!l~I.IW' f_ fix) dx.

1 fh:)d:z

Ie

dondc Ces el contorno cerrado ill1stmdo en la fiigura L32,q1l1e Cfll1ISiSTe del eje real de -R 11 +R Y del sernicirculo r, de radio R. en elsemiplano superior z, Como z .=- x 1;11 el eje real

f/{Z)I(h .: fR fi)) dx + t l(z) dlz

Entonces, supomendc que lim,,-'Joo J,. llz) d t ::; 0, al tomar R ~ "'" da

f. Az) dz := J~ fix) db.:

l -~

En I" trayectoria semicircular r, 4 ::; R'eid (0 I~ 9',.,;: 1 n), dando dz = jR ·ejB dB

y

L f(z)dz - {;lJ(Rej~)jR,ejOd61

Pam que esto tienda iii ccro conforme R --7 00, Lt{R eiO) I debe decrecer aJ menos tan nipidamen~e come R-2, estn implica que el grado del d!clilomin<ldor de I a funeioa racion1l1/(x) debe ser al menos cos veces mas grande que el grado del numerador, As'! suponiendo que esta cOl1dic:ibn cs satlsfeche, esta aproximacion puedeluilizaflil: para calcular la integral real infinite J:"/(x)dx. Observe que si f(x) es una funci6n PM de x enronccs 1<1 misma apro ... imacion pllede ser usada para evaluar r; f(x) dr, ya que 81 l(x) es par, se sigue que

J~~ j{x) dx ;:: 2 J: j(x) dx

Utilice la integracion de conromo y demuestre que

f· ..

w 1

. _'" (.I f-4)2 "" j67t

SOiluci011l Considere la unegral de cenrornc

I ,::; fc(i ~Z4)1

dondc Cell el contome seuucirculareerradoque S(: muestsaenla figura 1..32. El integrando lI(z1 + 'W tiene poles de ordcn GOS en z - ±2j. 'Sin embargo, la unk<t singularidad dm'ltro del. contorno C es ,01 1'0111 doole en z .- 2j, De (1.38),

INTEGRACl6N DE CONTORNO sa

residue li 1 d ("'.)'. I

"" Im-- Z-.:,J

en z '" 2j l-41J I! G~z (z - 2.d (a + 2:j/

I. -2 -2 1 .

- lnl =. sa -~ J

• )~j (7 + lj)J (4j)3 32

asi, por el teorema del residue,

f dz 2· J. 1

7 2;;:; nJ{-iiJ) '" -:-1t

r: V+4) 16

Como

f IN J.

dz . dx. dz

c (z'+4)" = . -R (xl+4)2 + F (i+4)2

haciendo R ~ "'"', y al observer que Ia segundu integral se hace cero, entcnces

,( dz' f- dxl

Tc (i + 4/ = _ ce (x2 -I- 4)1 '" 1fi1t

Cabe indicar que, en este caso particular, pcdrlamos haber evaluado La integral sill utilizar la mtegracion de contemn. Haciendo la sustitueion x - 2 tan e, dx = 2 sel.;19d9 da

Plano z

l( I) 1(· 1")

sen 0 '" ---"; Z - - , C{)S () '" - Z + -

~. z 2 z

1 _.(

y

.~ dz

dZ"'je'd€l, (1 d8",~ JZ

TI,!!!.ra1.3a EI contor- Sustituyendo en la lllllt:grall.bta se vuelve :.~ del eire-uta unitario

[ '" (f(Z) de

donde C es el circulo unitario 1:.1 '" 1 que se muesrra en la figura 1.33.

84 FUNCIONES DE UNA VAIlAOI.F. (:m'll"Jl.EJA

~----------------------------------

EJEMPLO 1.39 Usando illtegraci6n de conrorno, evalu·c J = fa de .

- 21coH1

. ()

Soluci.6n Al tomar z = ej~. de rnanera que

cos 6 = } (z + !). (U} = ~!

_.Z ]lZ

Sustituyendo In integral se vuelve

I = tjZL2+~~ I lIz)) = j tzl+~+ 1

donde C es el clrculo unltarlo Iz I = 1 que se mucstra en. la figura 1.33. HI integrande tiene il1igul.aridllldes en

z2-l1-4!z+l""O

,60 Evalil.e la integral

{Z~~l

donde C es

(11) B~ efrculo Izl = ~

(b) el cirenlo Iz-I '" .2

61. F.vahlc la inlegflll

i. z·l'+3jz-2d" Ie Zl + 9t

i,lUIJI.I" C es

(<I) el circulo Iz'l "". 1

(ll) el elrculo [z] _ 4

esto es, en z;;;;; 2 ± .;.3. La unica . ingularidad dentro del eonrorno C es et pn~n simple en z = ~2 =I- ~·3. De (1.37).

residue en z ~ -2 + ,/'3

= lim r~ I(Z + 2 ,)) i 1 _ ~ _1_ =

;-+-~".'JLJ \' (z+2-,13)(z+2+,rJ)J j2J3 j..:'3

as!, pOT el teorema del residue,

I ... "( I) 2ft

= ,:;.lItJl 73 = '3-

h ~

En consecuoncia

fln die 2:n: o 2 ~ COS. 9' = \.'3

61 Cllcuic toa residues de todos los poles de Ia funeien JI;) " Ii + 2)(Z1 + 4)

{i+W)(i+6)

Ah~lll C~ lculc In int,eQ!'al,

11 Jtl)dz donce C e,

I~J el clrculo 1.::1 ... 2 Mel cir~ulo Iz - Il = J (G) el circllio Iz I "" 4

II Evnhie la integra]

fll'('~il

dond~ C es

ja) ~I elrculo 1;:1 '" ~

" (0n I., ayuda dell,eOl(;U:la del residue !;walriie las flguicnles ill1egr<lles de eentorao:

1) f (3i +2) dz

~ ,~,

G' (z - I )(z + 4)

d C {(i}, el clrcalo ,.Z-21=2

don e es _ •

(Ii) 1:1 clrculn 1 z 1 = 4

Qi) 1 (i -]2%1 dz ,

Tc (;0:+ I) (z' +4)

. {(1) el clrculo 1;:1 = 3

donde C es '

(ii) el circulo Iz+jl ~2

(e) 1 J d.r ,

r~ (r -I I) (z - I Hz - 2)

1 (0

donue Ces (u) (Hi)

el cin .. :ulo 1;:1 = i

cl ciEculo I:r + II ~ •

el reclangulo COil vertices elllj,3:1:j

J-

(h) ~dX

(I.r + I

J'"

(I) Wi

_~ <.i + 4 + 5)'

flU

. coso dB

II ) 0:; + 2' cos 9

A I· · " I· ., "II' · P rcacmn a a mgemeria: ana ISIS

de circuitos de corriente alterna

En cl circuito de la figura 1.34 desearnos encontrar la variacion en la impedancia Z y la sdmitanoia Y conforme la capacleancia C del capacitor varia de 0 a 09" Aqul

86 FUNCIONES DlZ UNA VARIABLE COMPLJt:JA

------------------------------

rigura :1..<1'1 Cin;~litoQ de corrieme altema de 13 seccien ]_ 7.

.7. '" ~ + jiroC, Y = ~ A.I escribir

1 1 + jwC'J<

Z = R

tenemos claramentc

z- R

1+ jwCR

(1.50)

La eeuacien (1.50) puede ser interpretada como run mapeo bilineal conZ y C I::lIIllO las dos variables. L1x.aminamos Io que pasa con el eje real en el plano C (C varia de 0 fl 0<> Y, pur supuestn, es real) bajo el inverse del mapeo dado pM (1,50), Despejando C de (1.50) tenemos

c::; R_£' (l.S'n

j(oRZ

A I tomliiil' Z = x + jy

_ R-x-jy _ x+jy-R _ (x+jy-R)(y I jx)

- j(IIR(x + jly) - coR(y - jx) - o)R(xz + /)

(1.52)

tgualando Ins partes imaginarias, y recordando que C es real, tenemos O=:c]+y-Rx

(].53)

que representa un clrculn 'COil centro en (!R, 0) y radio ~R. Asi el ejc real en el plano C es rnapeado en e] ciroulo dado- por (1.53) en el plano Z. Por supuesro, C es positive, Si C = O. (LS3) indica que Z - R. EI circuito de In flgura 1.34 confirma que, en e tc CIliSO, Iii impedancia ca R. Sl _, co entonccs Z --t O. as! ,.:1 eje rC1i1 positive en el plano es mapeado en 01 semicirculo superior 0 ell el inferior, lgualando las partes reales 'ell (1.52), da

c ~ -y

<iJ(:l + /)

ast qUI! C '> 0 da y < O. esio implica que el semiclrculo inferior es la imagen en el plano Z del eje rCHI posnivo del plano C. Un diagrama como cI de la figura I .35 da una idea, graf ca inmediata deccmo varla 13. impedancra Z ccnforme varia C.

00

PlanoC

PllI:tJol'

l.''iglll,l'lI 1.35 Mapeo para lu impedancia Z.

APLlCACION A LA fNGt:NLERiA: USO DE FUNCIONII'S ARM6NICAS 81

1.8.1 Un problema de transferancia de calor

C c recieudu

c=o

r: ""

c==o

o

o

J R

P~ano C

Plano Y

Fi811m L'I6 Mapco prInt la admitancia Y.

La adrnitancia Y"" l/Z esta dada por y = ~ + jroC

que reprcscnta un mapeo lineal como se mucstra en Ia figura 1.36.

A I" 0,.. I· ."

P' IcaClOU a a mgernerra:

usn de funciones arm6nicas

En esta seccion discutimos dus aplicaciones a la Ingell i eria donde se hace II so de las propiedades de las funciones armonicas,

Vimos en la seccion 1.3.2 que toda funciou analitica genera un par de Iunciones armonicas. El problema de cncentrar un funcion que sea armonica en una Ct'gioll especlfica y que satisfaga [<IS condiciones de frontera prescriras eS uno de los problemas mas. viejos y mas importanres en las ciencias basadas en la ingenicria, Algunas veces la solucicn puede ser encontrada por medic de un rnapeo conforme dcfinido par una funcion analftica. Esto, eseucialmente, es una consecuencia de la regla del I.:akul,o 'funcion de funciones', la cual implica que toda funcion armonica de J: y y se translorma en una fnncion armonica de u y v bajo el mapeo

w = u + jv = f(.x + jy} ~ f(z)

donde f(z) es nnalltica. Mas aiin, las cnrvas de nive) de 1 a Iuncion armonica en el plano z son mapeadas ,(I. las curvas de nivel corrcspondientes en el plano w, de modo que una funcion armonica que Hem: un valor constante a 10 largo de una parte de la frontera de una region 0 tiene una derivsda normal cero a 10 largo de una parte de In frcnrera es mapeada en una funcien armonica con la misma propicdad en el plano w.

88 FUNCIONES DE UNA VAKlABLE COMPLEJA

T!;lm~ralurn O"C

Tempenllura IOO<lC Fi"ul'.Il 1.37 Diagrama esquematico de un problcma de transferencia de calor.

Pam Ull problema de transfercncia de calor las ClIrV<iS de nivel de una funci6n armonica correspcnden a las isorermas, y una derivada normal cera corrcsponde al aislamicnto termlco, Para ilustrar cstas ideas, considerarnos el problema simple de transferencia de calor ell estado-estacionario que sc muestra esquernatlcamente en 1111 flgura 1" J 7, Sc ticne uaa tuberla cilfndrica con eavidad cilfndrica descentrada par 13 que pasa el vapor a IIOO°C. La temperatura exterior de la tuberla es de ope. EI radio del circulo interior es 4 riel radio del clrculu exterior, <lsi que si etegtmos el radio exterior como la unidad de longitud, el problema puede ser formulado como el de encontrar una funcien armcnica ]'(IJ., /l) tal que

ri'T iT -+-=0 a,i fry'

en io regien entre los clrculos 1 z I = [ y 'z - 0.31 = .0.3,. y 1';;;;. 0 sohro Iz I == I y T;;;o 100 sobre !z - 0,31 ;;;;. 0.3.

EI mapeo

z-3 W == 3z- r

transforma cl ciroulo Iz I ~ 1 ell el eirculo I wi = I y el circulu Iz - 0.31 ;;;;. 0.3 ell el clrculo 1 w] '" 3 como se muestra en la figura L3R. Asl el problema es transferrnado ell un problema de simetria axial ell el plano 'W que consists en encontrar una funcion armonica T(u.l)) tal que T(u, v) = 100 en I wi"" I y Ttu, v) = 0 en 1 wi "" 3. Las funciunes armonicas con tal simetria axial tieuen hi forma general

T(1', I)) = A 'ltl (u~ + .,/) + B dende A y B son constantes,

Aqui requcrimos, edemas de la sirnetria axial, que T(u, v) "" 100 en 11'1 + J- ~ 1 Y T(u, 1/) :::: 0 en 1i2 + Ii- = 9. Asi B "" 1 00 Y A :::: -lOU In 9, y la solucion en el plano w es

'fir l- lOO[I-ln(u2+,I./H

"u, Vj - 1.11'9

Necesiramos 1.11 solucion en el plano z, que en general signifies que tenernos qllf obtener OJ Y I.' en terminos de x y y. Aqul, sin embargo, es un poco mas facil ya que u2 + if - Iwl' y

y.

Figura. LaM HI mapeo II' ;;;; (2 ~ J )/(Jz - I).

A!PLICACI6N A LA INGENIERiA; TTSO DE FUNCIUNIl~ AKM6NlCAS l:f9

1.8.2

I wl~ = I_Z_-_312 = _!_lz_3'----,,12 ""

32'-J 13z 112

(x- 3)" +/ " i (3x- 1) + Sly

As]

T(x, y) = ~~~ {I -In [(x - 3)' + /1 ~ In [(3x - l) + 9y2J}

Corriente en un transistor de efecto de campo

T .os campos (Ex. El') en un transistor tipo efeeto de campo con cornpuerta aislada son armonicas conjugadas que satisfacen una condicion de fruntera no lineal. Para el transistor mcstrado esquematicarnente en 111 figura ).39 renemos

con condiciones

E, - 0 en los electrodna

E (E + Vo) ~ __ L:

~ >' h , 2JU:OEr

f/

1':, -",. -_!! con x -+ -w (0 < y < h) II

ell el canal

Vd- V

El' --1> ~ con x ~ cc (0 < y < h)

donde Vo es una constante cun dimensiones eke potencial, h es cl grosor dlel nislante, I es III corriente en el canal. que tiene que calcularse, p, Eo Y E, tiencn SllS significados usuales y los potenciales de compuerts V~ y drenaje V" se ternan con respecto a 111 fuente de potencial.

La clave para la solucion de estc problema es In observacion de la condicion de que la frontera 11.0 lineal

Electrode de 1:1 terminal compuerta

Q~

5...,

B

______ (. L--> ~ .......

Electrode de In Canal Blectrodo de Ia

termtnal fuente terminal ill"n~j~

A

-tL

(a)

(b)

hgura 1.39 (a) Diagrams esquemstico para 1.111 transistor tipo cfecto de campo; (b) un sistema cocrdenado adecuadu para Ia aplicacion.