Serie laurent
La serie de Laurent de una función compleja es una representación de esta función como una serie de potencias, en la que hay términos con potencias negativas. Nombrado en honor al matemático francés P. A. Laurent .
Definición
La serie de Laurent en el punto final es una serie funcional en potencias enteras sobre el campo de los números complejos :
![{\displaystyle z_{0}\en \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f9230ede854d9253de13e7548acc5aaa66ac1ac)
![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
![{\displaystyle \sum_{n=-\infty}^{+\infty}c_{n}(z-z_{0})^{n},\quad}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b01ea826ba8b79cd25b5f9e6f4c616aa3a700e85)
donde es una variable y coeficientes para .
![{\displaystyle c_{n}\en \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/504183dd4cfd82d2a45bbda12599887d949708a6)
Esta serie es la suma de dos series de potencias:
es la parte en potencias no negativas ,![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
es una parte en potencias negativas de .![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
La serie de Laurent converge si y solo si ambas partes (tanto en potencia negativa como positiva) convergen.
Si la región de convergencia de la serie de Laurent es tal que , entonces para![{\displaystyle A_{z_{0}}\subseteq ({\mathbb {C} }\setminus \{z_{0}\})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47a7ad91215d01915ae2662b8a4f73b4d1b10b1f)
![{\displaystyle z_{0}\in \parcial {A_{z_{0))))](https://wikimedia.org/api/rest_v1/media/math/render/svg/7799447ca3d60f0366275697e689c976bb9a8882)
la fila se llama la parte derecha ,
![{\displaystyle \sum _{n=0}^{+\infty}c_{n}(z-z_{0})^{n))](https://wikimedia.org/api/rest_v1/media/math/render/svg/af4da347f0ed6f470d95d6345260815c4e0d85e6)
la fila se llama la parte principal .
La serie de Laurent en el infinito es una serie funcional en potencias enteras sobre el campo de los números complejos:
![{\displaystyle z_{0}=\infty \in {\overline {\mathbb {C} }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57dabf5579d4c4b31e1464796f9e0f4145775fd4)
![z](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf368e72c009decd9b6686ee84a375632e11de98)
![{\displaystyle \sum _{n=-\infty}^{+\infty}c_{n}z^{n},\quad}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e719dee5c956c06c033317484ade292a3f163f0)
donde es una variable y coeficientes para .
![{\displaystyle c_{n}\en \mathbb {C} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/504183dd4cfd82d2a45bbda12599887d949708a6)
En apariencia, la serie por coincide con la serie por , sin embargo, desde el punto de vista formal, se obtuvo reemplazando por .
![{\displaystyle z_{0}=\infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de344621d7e659066b3f033898317ae45a5a7b9c)
![{\ estilo de visualización z_ {0} = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e6015a6c1d9f7912952d18c0ddc01d7a4b901483)
![{\displaystyle z\leftrightarrow {\frac {1}{\zeta}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c946a81530b9f21447161e4dad71de54b9155abd)
![{\ estilo de visualización \ zeta _ {0} = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f7ad2f3b9d07fff622903a2224f1a13d3a05277)
Si la región de convergencia de la serie de Laurent es tal que , entonces para![{\displaystyle A_{\infty }\subseteq ({\mathbb {C} }\setminus \{0\})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/444cdab5f75697d6f809a798a07306022772426d)
![{\displaystyle \infty \in \parcial {A_{\infty}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08c2b2bc1c5fd75d3d78a5d648974f022b201de4)
la fila se llama la parte derecha ,
![{\displaystyle \sum _{n=-\infty}^{0}c_{n}z^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0aebc86d7da3d21e9e703d59481ef26c44c03edc)
la fila se llama la parte principal .
Propiedades
- La parte converge en potencias positivas en el interior de una circunferencia de radio ,
![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
![{\displaystyle R={\dfrac {1}{{\varlimsup \limits _{n\rightarrow +\infty }}\,|c_{n}|^{1/n}}}\in [0;+\ infinito]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/980b3e18145a3264693c2ecbb1306ef3530d6e29)
la parte en potencias negativas converge en el exterior de una circunferencia de radio .
![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
![{\displaystyle \Delta _{r}={\overline {\mathbb {C} }}\setminus {\overline {D}}_{r}=\{z\in {\overline {\mathbb {C} } }:|z-z_{0}|>r\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/daa845a6ef8d464d3f357c6234708590d1bc5c95)
![{\ Displaystyle D_ {r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8783bccae1e365d5e58cd502bea46ce4eee7fe34)
![{\displaystyle r={\varlimsup \limits_{n\rightarrow +\infty}}\,|c_{-n}|^{1/n}\in [0;+\infty]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae135714f394784d627e516cad6a334eacaf9a96)
Por lo tanto, si , entonces el interior de la región de convergencia de la serie de Laurent no es vacío y es un anillo circular
![{\ estilo de visualización r<R\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a3e56914bbeb4dffd5c0670da89ff3fd6d35fde)
![{\displaystyle A=\{z\in \mathbb {C} \mid 0\leq r<|z-z_{0}|<R\leq +\infty \}=\Delta _{r}\cap D_{ R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e099ce9d895ab202750592623ef36a2f9a60a1e0)
.
- El comportamiento de la serie de Laurent en los puntos del círculo límite depende solo de un arbitrario ,
![{\displaystyle C_{R}(z_{0})=\{z\in \mathbb {C} :|z-z_{0}|=R\))](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dba3a4ba6d6ebaa341c4cce7b71fd01955d513a)
![{\displaystyle \sum_{n=n_{s}}^{+\infty}c_{n}(z-z_{0})^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a9e9d6095d3e07bbbadafc9a79499dcd5a80617)
![{\displaystyle n_{s}\en \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/24ec12be03ef949c1ca16e413989711a55897f1b)
y en los puntos del círculo límite , solo de para arbitrario .
![{\displaystyle C_{r}(z_{0})=\{z\in \mathbb {C} :|z-z_{0}|=r\))](https://wikimedia.org/api/rest_v1/media/math/render/svg/03097a048fbe55d7ce681cd91583a75bfe855fa8)
![{\displaystyle \sum_{n=-\infty}^{-n_{s}}{c_{n}}{(z-z_{0})^{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c3198aa8e6fc645af89a7972a36e4e1f63cf5b2)
![{\displaystyle n_{s}\en \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/24ec12be03ef949c1ca16e413989711a55897f1b)
Así, en cuanto a
la serie de potencias , se puede variar el comportamiento de la serie de Laurent en los puntos límite del anillo .
- La serie de Laurent converge absolutamente en todos los puntos del anillo .
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
- En cualquier subconjunto compacto , la serie converge uniformemente .
![{\displaystyle K\subconjunto A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f7699cbd0e50e39f995706ba1196d22a3dce76b)
- Para cada punto , existe un valor tal que , y la serie de Laurent se puede escribir como una serie convergente en potencias de :
![{\ estilo de visualización \ zeta _ {0} \ en A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff098377d54f87ce05e597fb07c79e383632369e)
![{\displaystyle \rho (\zeta _{0})=\min\{{\textrm {dist}}(C_{r}(z_{0}),\zeta _{0}),{\textrm {dist }}(C_{R}(z_{0}),\zeta_{0})\}>0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f1918b9ef1a468430a7e3f020e2e53ab3344af0)
![{\displaystyle D_{\rho }(\zeta _{0})=\{z\in \mathbb {C} :|z-\zeta _{0}|<\rho (\zeta _{0})\ }\subconjunto A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89f68e43edc88aec7e5ba7efb5e2068196f41fe9)
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
![{\ Displaystyle D_ {\ rho} (\ zeta _ {0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fb33e09e3f0c6fc24aec7640afb24f9e78c58ec)
![{\ estilo de visualización (z-\ zeta _ {0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8f1c6973fc81d06aba97c95ef51031a6e9bf46f)
![{\displaystyle \sum_{n=-\infty}^{+\infty}c_{n}(z-z_{0})^{n}=\sum_{k=0}^{+\infty} t_{k}(\zeta _{0})(z-\zeta _{0})^{k},\quad}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d36518690b63ad5b1829e260117a0248364b33d)
donde y para _
![{\ estilo de visualización z \ en D_ {\ rho} (\ zeta _ {0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/547e15475463354a77818716ec3d6f23aece3b0a)
![{\displaystyle t_{k}(\zeta _{0})={\frac {f^{(k)}(\zeta _{0})}{k!)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06caf29de3517d9070c2c757ac3340fc709f66ed)
![{\displaystyle k\in \{0\}\cup \mathbb {N} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/08be4af4d7b9f3ebc90d087e020e2dca04376b16)
aquellos. es para el
punto correcto . Así, la suma de la serie de Laurent es una
función analítica .
![{\ estilo de visualización \ zeta _ {0))](https://wikimedia.org/api/rest_v1/media/math/render/svg/acfae32a71eb98bc09c043232740ca8bc5b94452)
- Porque en los círculos límite del anillo de convergencia , hay conjuntos no vacíos , de puntos que no son regulares.
![{\displaystyle 0<r<R<+\infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b086e241e5e21db3fac41abe33cb0dcc71781793)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\displaystyle I_{r}\subseteq C_{r}(z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/36cd7109215c76845d633234536096a890bf0843)
![{\displaystyle I_{R}\subseteq C_{R}(z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dda62c7c9fc3597bdef8baa5bbd0ec9833ced69c)
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
- La serie Laurent se puede diferenciar en cualquier compacto término a término.
![{\displaystyle K\subconjunto A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f7699cbd0e50e39f995706ba1196d22a3dce76b)
- La integración de la serie de Laurent da una función de un solo valor solo para , ya que para cualquier valor
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\ estilo de visualización c_ {-1} = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9964ad82c9504d430c8b2f04c3f8c04dc1bb8df1)
![{\ estilo de visualización \ rho> 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11bd697f113e3e1bd7c76f2f441fd102eca99cab)
![{\displaystyle \int \limits _{\;\,|z-z_{0}|=\rho }c_{n}(z-z_{0})^{n}\cdot dz=\left\{{ \begin{array}{ll}c_{-1}\cdot 2\pi i\,,&n=-1\,;\\0\,,&n\neq -1\,.\end{array}}\ Correcto.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/73e5168b2eb1fd2de43e134e460fd88d824d9fbb)
La serie que representa la función en un dominio doblemente conexo para cualquier curva orientada compacta y rectificable se puede integrar término a término, mientras que el resultado de la integración depende solo de los puntos inicial y final y no depende de la forma de la curva .
![{\displaystyle \sum _{n=-\infty,n\neq -1}^{+\infty}c_{n}(z-z_{0})^{n}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7e9c55a152b8e2f13c613b94eb3f37bdbfd69fe)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
![{\displaystyle f(z)-{\frac {c_{-1}}{z-z_{0}}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c21c90b463525ca1651d60d9be27527ccb2b1c97)
![{\displaystyle K\subconjunto A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f7699cbd0e50e39f995706ba1196d22a3dce76b)
![{\ estilo de visualización \ gamma \ subconjunto K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5bef7732f605fd2c16ef5ced9631c72a4d2b74b)
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
- Los coeficientes de la serie de Laurent satisfacen las relaciones
![{\displaystyle (c_{n})_{n\en \mathbb {Z} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1238fe286b78d547130ff365cfb3bda2a4377575)
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
![{\displaystyle c_{n}={\frac {1}{2\pi i}}\int \limits _{\gamma }{\frac {f(z)\,dz}{(z-z_{0} )^{n+1))}={\frac {1}{2\pi i}}\int \limits _{|z-z_{0}|=\rho }{\frac {f(z)\ ,dz}{(z-z_{0})^{n+1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d0ade1d2e45c64fdb5bf6f2b7d3103b2f796dae)
,
donde está cualquier curva rectificable que se encuentra en una compacta y gira alrededor del punto en sentido contrario a las agujas del reloj una vez . En particular, se puede tomar como cualquier círculo de radio con centro en , ubicado dentro del anillo de convergencia y orientado positivamente (el parámetro debe aumentar).
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![{\displaystyle K\subconjunto A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f7699cbd0e50e39f995706ba1196d22a3dce76b)
![z_{{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
![\gama](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![{\displaystyle C_{\rho }=\{z_{0}+\rho e^{it}\mid t\in [0;2\pi ]\))](https://wikimedia.org/api/rest_v1/media/math/render/svg/08b822b5b604fefa4434f24e42b7965ae1fc5fae)
![{\ estilo de visualización \ rho \ en (r; R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77ff4581f878653d621206f944cfb36292d8e7ae)
![z_{{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
- La expansión en una serie de Laurent es única , es decir, si para dos series de Laurent en potencias convergentes en y , respectivamente, sus sumas coinciden en un cierto círculo o en una curva rectificable homotópica a él , entonces todos los coeficientes de estas series coinciden.
![{\ estilo de visualización (z-z_{0})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00beffc4c133377966a9fbac20970d16d5f60e00)
![{\ estilo de visualización A_ {1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bc2435b217c1a0f46f8a517ffa225c6f9440e81)
![{\ estilo de visualización A_ {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ec73b8bc9abc3efb934f5a6ec2803713771f4bc)
![{\displaystyle C_{\rho }=\{z\in \mathbb {C} :|z-z_{0}|=\rho \}\subconjunto (A_{1}\cap A_{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/868a4d75d532fe59dcf7cad53fdab724b118339d)
![{\displaystyle A_{1}\cap A_{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4f352b4686f2c2e3730511345e245afdd4b6bb9d)
![{\ estilo de visualización \ gamma \ sim C_ {\ rho}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a42a424e345023cb5c650572a3679c56a19f58a8)
Teorema de Laurent
La aplicación de la serie de Laurent se basa principalmente en el siguiente teorema de Laurent:
Cualquier función que sea de un solo valor y
analítica en un anillo se puede representar en una serie de Laurent convergente en potencias .
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
![{\displaystyle A=\{z\in \mathbb {C} \mid 0\leq r<|z-z_{0}|<R\leq +\infty \))](https://wikimedia.org/api/rest_v1/media/math/render/svg/47b05e6b36d6760ac4b44382a62375fe8f58e0f3)
![A](https://wikimedia.org/api/rest_v1/media/math/render/svg/7daff47fa58cdfd29dc333def748ff5fa4c923e3)
La representación de una función analítica inequívoca en forma de serie de Laurent sirve como herramienta principal para estudiar su comportamiento en la vecindad de un punto singular aislado :
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
1) si el punto es , entonces hay un radio tal que en la vecindad perforada
![{\displaystyle z_{0}\neq\infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/953ded38d9c43353889d1523ade64ddadb87d768)
![{\displaystyle R_{z_{0}}\in (0;+\infty]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0febf5d5f911566e3a32ae61dc5727546c7f08e)
la función es representable por una serie de Laurent (convergente);
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
2) si el punto es , entonces hay un radio tal que en la vecindad perforada
![{\displaystyle z_{0}=\infty}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de344621d7e659066b3f033898317ae45a5a7b9c)
![{\displaystyle r_{\infty}\in [0;+\infty)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dde4731e8f0b6915806466d337f03f951bdc8d4c)
la función es representable por una serie de Laurent (convergente).
![f(z)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8dd568d570b390c337c0a911f0a1c5c214e8240)
El tipo de un punto singular aislado está determinado por la parte principal de la serie de Laurent en la vecindad perforada :
![z_{{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e72d1d86e86355892b39b8eb32b964834e113bf)
![{\displaystyle A_{z_{0))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ab2edc56b650d9dfbdb2d5ffc1b0770a1a37ac02)
Literatura