Serie de Laurent

En matemáticas, la serie de Laurent de una función compleja ${\displaystyle f(z)}$ es la representación de la misma función en la forma de una serie de potencias, la cual también incluye términos de grado negativo. Esta serie se puede usar para expresar funciones complejas en casos donde una expansión de la serie de Taylor no es aplicable o no se puede acoplar. La serie de Laurent fue descubierta por Karl Weierstrass en el año de 1841, pero no lo publicó en ese entonces,^[1]​ paralelamente, el matemático francés Pierre Alphonse Laurent desarrolló las series, y fue quien la publicó por primera vez en el año 1843.^[2]​

Definición

 

Una serie de Laurent se define con respecto a un punto particular ${\displaystyle c}$  y un camino de integración ${\displaystyle \gamma }$ . El camino de integración debe poder permanecer dentro de una región abierta (corona), indicada en la figura con color, donde en dicha región ${\displaystyle f(z)}$  es holomorfa (analítica).

Una serie de Laurent se define con respecto a un punto particular ${\displaystyle c}$  y un camino de integración ${\displaystyle \gamma }$ . El camino de integración debe estar dentro de una región donde ${\displaystyle f(z)}$  es una función holomorfa (a veces se usa como sinónimo el término función analítica, aunque no es estrictamente correcto, dado que una función analítica es técnicamente aquella que admite desarrollo en serie de potencias en cierto entorno de un punto, lo que ocurre es que en ${\displaystyle \mathbb {C} }$  toda función holomorfa es también analítica).

Una serie de Laurent centrada alrededor de un punto ${\displaystyle c}$  es una serie de la forma:

${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}}$ 

donde ${\displaystyle a_{n},c,z\in \mathbb {C} }$ . Los coeficientes de una serie de Laurent en una función analítica se pueden encontrar por medio de la fórmula integral de Cauchy y están dados por:

${\displaystyle a_{n}={\frac {1}{2\pi i}}\oint _{\gamma }{\frac {f(z)}{(z-c)^{n+1}}}dz}$ 

para ${\displaystyle n\in \mathbb {Z} }$ . La sucesión de constantes están definidas por un camino de integración en la generalización de la fórmula integral de Cauchy.

Convergencia

Podemos demostrar que esta serie es convergente dentro del conjunto (posiblemente vacío):

${\displaystyle D=\{z\in \mathbb {C} \mid r<|z-c|<R\}}$ 

Donde:

${\displaystyle r=\limsup _{n\rightarrow \infty }|a_{-n}|^{1/n}}$  y ${\displaystyle R={\frac {1}{\limsup _{n\rightarrow \infty }|a_{n}|^{1/n}}}}$ 

Toda serie de Laurent tiene vinculada una función de la forma:

${\displaystyle f(z):=\sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n},}$ 

cuyo dominio es el conjunto de puntos en ${\displaystyle \mathbb {C} }$  sobre el cual es convergente. Esta función es analítica dentro de una corona ${\displaystyle D}$ ; inversamente, toda función en una corona es igual a una única serie de Laurent.

Si suponemos :${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}(z-c)^{n}}$  es una serie de Laurent con coeficientes a_n y un centro complejo c. Entonces existe un radio interior r y un radio exterior R de tal forma que:

1. La serie de Laurent es convergente en la corona abierta ${\displaystyle D=\{z\in \mathbb {C} :r<|z-c|<R\}}$ , tanto para potencias de grado positivo como para potencias de grado negativo y esta convergencia define una función holomorfa ${\displaystyle f(z)}$  en la corona abierta.
2. Fuera de la corona, la serie de Laurent es divergente.
3. Para el disco existe al menos un punto en la frontera interior y otro en la frontera exterior para los cuales no puede ser holomorfa continua.

Singularidades

La serie de Laurent es muy importante en el análisis complejo, especialmente para investigar el comportamiento de funciones cerca de singularidades, pues permite saber qué tipos de singularidades tiene una función. Así, si expandimos una función en serie de Laurent, tomando como centro una singularidad y como radio interior cero, la cantidad de potencias negativas en la serie indicará que tipo de singularidad es:

1. Si la serie no tiene potencias negativas, la singularidad es evitable
2. Si la serie tiene finitas potencias negativas, la singularidad es un polo
3. Si la serie tiene infinitas potencias negativas, la singularidad es una singularidad esencial

Véase también

• Análisis complejo
• Serie de Taylor

Referencias

1. O'Connor, John J.; Robertson, Edmund F. (2004), «Serie de Laurent» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, http://www-history.mcs.st-andrews.ac.uk/Biographies/Laurent_Pierre.html .
2. Nahim, Paul J. (2008). Esto no es real. La historia de i. Libraria. p. 234. ISBN 9685374244. «Epílogo: que viene después». 

Bibliografía

• Marsden, Jerrold E.; Hoffmann, Michael J. (2012). Análisis básico de variable compleja (Obdulia Mendoza Hernández y Gustavo Izquierdo Buenrostro, trads.). México, D.F.: Trillas. ISBN 9789682452031. OCLC 914504275. 
• Cartan, Henri (1995). Elementary Theory of Analytic Functions of One or Several Complex Variables (en inglés). Nueva York: Dover Publications. ISBN 0486685438. OCLC 797633389. Resumen divulgativo. 
• Robert E. Greene, Steven G. Krantz (2006). Function Theory of One Complex Variable. Graduate Studies in Mathematics (en inglés) 40 (3ª edición). AMS. ISBN 978-0-8218-3962-1. 
• David C. Ullrich (2008). Complex Made Simple. Graduate Studies in Mathematics (en inglés) 97. AMS. ISBN 978-0-8218-4479-3. 

Enlaces externos

• Weisstein, Eric W. «Laurent Series». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

•   Datos: Q425432
•   Multimedia: Laurent series