Serie de Laurent

En matemáticas, a serie de Laurent dunha función complexa  é unha representación desa función como unha serie de potencias que inclúe termos de grao negativo. Pode usarse para expresar funcións complexas en casos onde non se pode aplicar unha expansión en serie de Taylor. A serie de Laurent recibiu o nome de Pierre Alphonse Laurent, quen a publicou por primeira vez en 1843. Karl Weierstrass xa a describira nun artigo escrito en 1841, pero non se publicou ata 1894. 

Definición
A serie de Laurent para unha función complexa  sobre un punto arbitrario  vén dada por

onde os coeficientes  están definidos por unha integral de contorno que xeneraliza a fórmula integral de Cauchy:

O camiño de integración  é en sentido antihorario arredor dunha curva de Jordan que encerra  e está dentro dun anel  no que  é holomorfa (analítica). 

A expansión para  será logo válida en calquera punto dentro do anel. O anel móstrase en vermello na figura da dereita, xunto cun exemplo dun camiño de integración adecuado etiquetado como . Cando  se define como o círculo , onde , isto equivale
a calcular os coeficientes de Fourier complexos da restrición de  a . O feito de que estas integrais non muden cunha deformación do contorno  é unha consecuencia inmediata do teorema de Green. 

 Converxencia 
dereita|miniatura|e−1/x2 e as súas aproximacións de Laurent (etiquetadas) co grao negativo aumentando. A veciñanza arredor da singularidade cero nunca pode ser aproximada.
dereita|miniatura|e−1/x2 e as súas aproximacións de Laurent. A medida que o grao negativo da serie de Laurent aumenta, aproxímase á función correcta.

As series de Laurent con coeficientes complexos son unha ferramenta importante na análise complexa, especialmente para investigar o comportamento das funcións preto de singularidades.

Consideremos, por exemplo, a función  con . Como función real, é infinitamente diferenciábel en todas as partes; como función complexa, porén, non é diferenciábel en . A serie de Laurent de  obtense mediante a representación en serie de potencias,

que converxe a  para todo  agás na singularidade . A gráfica da dereita mostra  en negro e as súas aproximacións de Laurent

A medida que , a aproximación faise exacta para todos os números (complexos)  excepto na singularidade .

Máis xeralmente, as series de Laurent pódense usar para expresar funcións holomorfas definidas nun anel, do mesmo xeito que as series de potencias se usan para expresar funcións holomorfas definidas nun círculo.

Supoñamos que

é unha serie de Laurent dada con coeficientes complexos  e un centro complexo . Daquela existe un único raio interior  e un raio exterior  tal que:
 A serie de Laurent converxe no anel aberto . É dicir, tanto as series de potencias de grao positivo como as de grao negativo converxen. Alén diso, esta converxencia será uniforme en conxuntos compactos. Finalmente, a serie converxente define unha función holomorfa  en .
 Fóra do anel, a serie de Laurent diverxe. É dicir, en cada punto do exterior de , ou ben a serie de potencias de grao positivo ou a de grao negativo diverxe.
 Na fronteira do anel, non se pode facer unha afirmación xeral, excepto que hai polo menos un punto na fronteira interior e un punto na fronteira exterior nos que  non se pode estender holomorfamente; o que dá lugar a un problema de Riemann-Hilbert.

É posíbel que  poida ser cero ou que  poida ser infinito; no outro extremo, non é necesariamente certo que  sexa menor que .
Estes raios pódense calcular tomando o límite superior dos coeficientes  de tal xeito que:

Cando , o coeficiente  da expansión de Laurent chámase o residuo de  na singularidade . Por exemplo, a función

é holomorfa en todas as partes excepto en . A expansión de Laurent sobre  pódese obter entón a partir da representación en serie de potencias:

polo tanto, o residuo vén dado por .

Inversamente, para unha función holomorfa  definida no anel , sempre existe unha única serie de Laurent con centro  que converxe (polo menos en ) a .

Por exemplo, consideremos a seguinte función racional, xunto coa súa expansión en fraccións parciais:

Esta función ten singularidades en  e , onde o denominador é cero e a expresión é, polo tanto, indefinida.
Unha serie de Taylor sobre  (que produce unha serie de potencias) só converxerá nun disco de raio 1, xa que "colle" a singularidade en .

No entanto, hai tres posibles expansións de Laurent sobre 0, dependendo do raio de :

 Unha serie defínese no disco interior onde ; é a mesma que a serie de Taylor, 

Isto dedúcese da forma de fraccións parciais da función, xunto coa fórmula para a suma dunha serie xeométrica, 
 para .
 A segunda serie defínese no anel medio onde  está entre as dúas singularidades: 

Aquí, usamos a forma alternativa da suma da serie xeométrica, 
 para .
 A terceira serie defínese no anel exterior infinito onde , (que tamén é a expansión de Laurent en ) 

Esta serie pódese derivar usando series xeométricas como antes, ou realizando a división longa de polinomios de 1 por , non deténdose cun resto senón continuando en termos de ; de feito, a serie de Laurent "exterior" dunha función racional é análoga á forma decimal dunha fracción. (A expansión en serie de Taylor "interior" pódese obter de xeito similar, só invertindo a orde dos termos no algoritmo de división.)

 Polinomios de Laurent 

Un polinomio de Laurent é unha serie de Laurent na que só un número finito de coeficientes son distintos de cero. Os polinomios de Laurent difiren dos polinomios ordinarios en que poden ter termos de grao negativo.

 Parte principal 
A parte principal dunha serie de Laurent é a serie de termos con grao negativo, é dicir

Se a parte principal de  é unha suma finita, entón  ten un polo en  de orde igual ao grao do termo máis alto; por outra banda, se  ten unha singularidade esencial en , a parte principal é unha suma infinita (é dicir, ten infinitos termos distintos de cero).

Se o raio interior de converxencia da serie de Laurent para  é 0, entón  ten unha singularidade esencial en  se e só se a parte principal é unha suma infinita, e ten un polo noutro caso.

Se o raio interior de converxencia é positivo,  pode ter infinitos termos negativos pero aínda ser regular en , como no exemplo anterior, no cal está representada por unha serie de Laurent diferente nun disco arredor de .

As series de Laurent con só un número finito de termos negativos compórtanse ben, son unha serie de potencias divididas por , e pódense analizar de xeito similar, mentres que as series de Laurent con infinitos termos negativos teñen un comportamento complicado no círculo interno de converxencia.

 Notas 


 Véxase tamén 

 Bibliografía 


 Outros artigos 
 Serie formal de potencias
 Serie de Fourier
 Serie converxente

 Ligazóns externas 


 Laurent Series and Mandelbrot set by Robert Munafo

Categoría:Análise complexa
Categoría:Serie matemática