8.9: Polos
- Page ID
- 109635
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Los polos se refieren a singularidades aisladas. Entonces, suponemos que\(f(z)\) es analítico\(0 < |z - z_0| < r\) y tiene serie Laurent
\[f(z) = \sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n} + \sum_{n = 0}^{\infty} a_n (z - z_0)^n.\]
Si sólo un número finito de los coeficientes\(b_n\) son distintos de cero decimos que\(z_0\) es un polo finito de\(f\). En este caso, si\(b_k \ne 0\) y\(b_n = 0\) para todos\(n > k\) entonces decimos que\(z_0\) es un polo de orden\(k\).
- Si\(z_0\) es un polo de orden 1 decimos que es un simple polo de\(f\).
- Si un número infinito de los\(b_n\) son distintos de cero decimos que\(z_0\) es una singularidad esencial o un polo de orden infinito de\(f\).
- Si todos los\(b_n\) son 0, entonces\(z_0\) se llama una singularidad removible. Es decir, si definimos\(f(z_0) = a_0\) entonces\(f\) es analítico en el disco\(|z - z_0| < r\).
La terminología puede ser un poco confusa. Entonces, imagina que te digo que\(f\) está definido y analítico en el disco perforado\(0 < |z - z_0| < r\). Entonces, a priori, asumimos que\(f\) tiene una singularidad en\(z_0\). Pero, si después de computar la serie Laurent vemos que no hay una parte singular podemos extender la definición de\(f\) al disco completo, con ello 'quitando la singularidad'.
Podemos explicar el término singularidad esencial de la siguiente manera. Si\(f(z)\) tiene un polo de orden\(k\) en\(z_0\) entonces\((z - z_0)^k f(z)\) es analítico (tiene una singularidad removible) en\(z_0\). Entonces,\(f(z)\) en sí no es mucho más difícil trabajar que una función analítica. Por otro lado, si\(z_0\) es una singularidad esencial entonces ningún truco algebraico cambiará\(f(z)\) a una función analítica en\(z_0\).
Ejemplos de Polos
Volveremos a través de muchos de los ejemplos de las secciones anteriores.
La función racional
\[f(z) = \dfrac{1 + 2z^2}{z^3 + z^5} \nonumber\]
ampliado a
\[f(z) = \left(\dfrac{1}{z^3} + \dfrac{1}{z}\right) - \sum_{n = 0}^{\infty} (-1)^n z^{2n + 1}. \nonumber\]
Así,\(z = 0\) es un polo de orden 3.
Considerar
\[f(z) = \dfrac{z + 1}{z} = 1 + \dfrac{1}{z}. \nonumber\]
Así,\(z = 0\) es un polo de orden 1, es decir, un poste simple.
Considerar
\[f(z) = \dfrac{z}{z^2 + 1} = \dfrac{1}{2} \cdot \dfrac{1}{z - i} + g(z), \nonumber\]
donde\(g(z)\) está analítico en\(z = i\). Entonces,\(z = i\) es un simple polo.
La función
\[f(z) = \dfrac{1}{z(z - 1)} \nonumber\]
tiene singularidades aisladas en\(z = 0\) y\(z = 1\). Demuestre que ambos son postes simples.
Solución
En un barrio de\(z = 0\) podemos escribir
\[f(z) = \dfrac{g(z)}{z}, \text{ where } g(z) = \dfrac{1}{z - 1}. \nonumber\]
Dado que\(g(z)\) es analítico a 0,\(z = 0\) es un polo finito. Ya que\(g(0) \ne 0\), el poste tiene orden 1, es decir, es simple. Asimismo, en un barrio de\(z = 1\),
\[f(z) = \dfrac{h(z)}{z - 1}, \text{ where } h(z) = \dfrac{1}{z}. \nonumber\]
Ya que\(h\) es analítico en\(z = 1\),\(f\) tiene un polo finito ahí. Ya\(h(1) \ne 0\) que es simple.
Considerar
\[e^{1/z} = 1 + \dfrac{1}{z} + \dfrac{1}{2! z^2} + \dfrac{1}{3! z^3} + \ ... \nonumber\]
Entonces,\(z = 0\) es una singularidad esencial.
\(\log (z)\)tiene una singularidad en\(z = 0\). Dado que la singularidad no está aislada, no puede clasificarse ni como polo ni como singularidad esencial.
Residuos
En preparación para discutir el teorema de residuos en el siguiente tema damos la definición y un ejemplo aquí.
Nota bien, los residuos tienen que ver con singularitas aisladas.
Considerar la función\(f(z)\) con una singularidad aislada en\(z_0\), es decir, definida en\(0 < |z - z_0| < r\) y con series Laurent
\[f(z) = \sum_{n = 1}^{\infty} \dfrac{b_n}{(z - z_0)^n} + \sum_{n = 0}^{\infty} a_n (z - z_0)^n.\]
El residuo de\(f\) at\(z_0\) es\(b_1\). Esto se denota
\[\text{Res}(f, z_0) \ \ \ \ or \ \ \ \ \text{Res}_{z = z_0} f = b_1.\]
¿Cuál es la importancia del residuo? Si\(\gamma\) es una curva cerrada pequeña y simple que va en sentido antihorario alrededor de\(z_0\) entonces
\[\int_{\gamma} f(z) = 2\pi i b_1.\]
Esto es fácil de ver integrando la serie Laurent término por término. La única integral que no es cero proviene del término\(b_1/z\).
La función
\[f(z) = e^{1/(2z)} = 1 + \dfrac{1}{2z} + \dfrac{1}{2(2z)^2} + \ ... \nonumber\]
tiene una singularidad aislada a 0. De la serie Laurent vemos que
\[\text{Res}(f, 0) = \dfrac{1}{2}. \nonumber\]