Residu (anàlisi complexa)

Un residu, en l'anàlisi complexa en matemàtiques, és un nombre complex que descriu el comportament de les integral curvilínies d'una funció meromorfa al voltant d'una singularitat. Un cop coneguts, els residus permeten la determinació d'integrals de camí més complicades mitjançant el teorema del residu.

Definició

modifica

El residu d'una funció meromorfa   en una singularitat aïllada  , sovint denotat   és el valor únic   tal que   té una primitiva analítica en una corona circular  . Alternativament, els residus es poden calcular trobant la sèrie de Laurent, i a vegades es defineixen en termes d'aquesta sèrie.

Motivació

modifica

Com a exemple, considereu la integral de contorn

 

on C és alguna corba tancada simple al voltant de 0.

En avaluar aquesta integral sense fer servir teoremes integrals estàndards que poden estar disponibles. La Sèrie de Taylor per   és coneguda, i se substitueix aquesta sèrie a l'integrand. La integral llavors esdevé

 

Es porta el factror 1/z⁵ a la sèrie, així s'obté

 

 

La integral ara porta a una forma molt més simple. Recordant que

 

Per tant ara la integral al voltant de C de cada terme que no estigui en la forma cz −1 esdevé zero, i la integral es redueix a

 

El valor 1/4! és el residu de e z /z ⁵ a z = 0, i es nota com

 

Càlcul de residus

modifica

Suposeu que es dona una corona circular D = {z : 0 < |zc | < R } al pla complex i f és una funció holomorfa definida (com a mínim) sobre D. El residu Res(f, c) de f a c és el coeficient a−1 de (zc)−1 en la sèrie de Laurent de f al voltant de c. Hi ha diversos mètodes per calcular aquest valor, i l'elecció de quin mètode utilitzar depèn de la funció en qüestió, i de la natura de la singularitat.

Segons la fórmula integral de Cauchy, es té:

 

on γ descriu una circumferència al voltant de c sentit contrari a les agulles del rellotge. Es pot escollir el camí γ perquè sigui una circumferència de radi ε al voltant c, on ε és tan petit com es desitgi. Això es pot fer servir per al càlcul en casos on la integral es pot calcular directament, però normalment succeeix que els residus es fan servir per simplificar càlcul d'integrals, i no l'inreves.

Sigularitats eliminables

modifica

Si la funció f pot ser estesa a una funció holomòrfica a tot el cercle { z : |zc | < R }, llavors Res(f, c) = 0. El contrari no és cert en general.

Pols simples

modifica

En un pol simple c, el residu de f ve donat per:

 

Pot ser que la funció f es pugui expressar com a quocient de dues funcions, f(z)=g((z)/h(z), on g i h són funcions holomorfes en un veinatge amb un forat de c, amb h(c) = 0 i h'(c) ≠ 0. En tal cas, la fórmula citada se simplifica a:

 

Fórmula límit per pols d'ordre superior

modifica

De forma més general, si c és un pol d'ordre n, llavors el residu de f al voltant de z = c es pot trobar per la fórmula:

 

Aquesta fórmula pot ser molt útil en determinar els residus per a pols d'ordre baix. Per a pols d'ordre més alts, els càlculs es poden tornar inmanegables, i el desenvolupament en sèrie normalment és més fàcil. També per singularitats essencials, els residus sovint s'han d'obtenir directament de desenvolupaments en sèrie.

Mètodes basats en sèries

modifica

Si parts o tota una funció es poden desenvolupar en sèrie de Taylor o en sèrie de Laurent, el que és possible si les parts o la totalitat de la funció té un desenvolupament en sèrie estàndard, llavors calcular el residu és significativament més simple que per altres mètodes.

1. Com a primer exemple, considereu calcular els residus a les singularitats de la funció

 

que es pot fer servir per calcular certes integrals de contorn. Aquesta funció sembla tenir una singularitat a z = 0, però si es factoritza el denominador i així escriu la funció com

 

és clar que la singularitat a z = 0 és una singularitat eliminable i llavors el residu a z = 0 és per aquest motiu 0.

L'única altra singularitat és a z = 1. Recordeu l'expressió de la sèrie de Taylor per a una funció g(z) sobre z = a:

 

Així, per g(z) = sin z i a = 1 es té

 

i per g(z) = 1/z i a = 1 es té

 

Multiplicant les dues sèries i introduint 1/(z  − 1) dona

 

Així el residu de f(z) a z = 1 és sin 1.

2. El pròxim exemple mostra que, en calcular un residu per desenvolupament en sèrie, hi té un paper essencial el teorema d'inversió de Lagrange. Sigui

 

una funció entera, i sigui

 

amb radi de convergència positiu, i amb  . Així   té una inversa local   a 0, i   és meromorfa a 0. Llavors es té:

 .

En efecte,

 

perquè la primera sèrie convergeix uniformement a qualsevol cercle petit al voltant de 0. Utilitzant el teorema d'inversió de Lagrange

 ,

i s'aconsegueix l'expressió citada. Fixeu-vos que, amb les suposicions simètriques més fortes corresponents a   i  , també resulta

 ,

on   és una inversa local de   a les 0.

Bibliografia

modifica
  • Ahlfors, Lars. McGraw Hill. Complex Analysis, 1979. 
  • Marsden, Jerrold E.; Hoffman, Michael J. Basic Complex Analysis. 3rd. W. H. Freeman, 1998. ISBN 978-0716728771. 

Enllaços externs

modifica