10.6: Integrales sobre porciones de círculos
- Page ID
- 109932
\( \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}\)Necesitaremos el siguiente teorema para combinar el valor principal y el teorema del residuo.
Supongamos que\(f(z)\) tiene un simple polo en\(z_0\). Dejar\(C_r\) ser el semicírculo\(\gamma (\theta) = z_0 + re^{i \theta}\), con\(0 \le \theta \le \pi\). Entonces
\[\lim_{r \to 0} \int_{C_r} f(z) \ dz = \pi i \text{Res} (f, z_0)\]
.svg)
- Prueba
-
Ya que tomamos el límite como\(r\) va a 0, podemos suponer que\(r\) es lo suficientemente pequeño que\(f(z)\) tiene una expansión Laurent del disco perforado de radio\(r\) centrado en\(z_0\). Es decir, como el polo es sencillo,
\[f(z) = \dfrac{b_1}{z - z_0} + a_0 + a_1 (z - z_0) + \ ... \ \ \ \ \text{for } 0 < |z - z_0| \le r.\]
Así,
\[\int_{C_r} f(z)\ dz = \int_{0}^{\pi} f(z_0 + re^{i \theta}) rie^{i \theta} \ d \theta = \int_{0}^{\pi} (b_1 i + a_0 ire^{i \theta} + a_1 ir^2 e^{i 2 \theta} + \ ...)\ d \theta\]
El\(b_1\) término da\(\pi i b_1\). Claramente todos los demás términos van a 0 como\(r \to 0\). \(\text{QED}\)
Si el polo no es sencillo el teorema no se sostiene y, de hecho, el límite no existe.
La misma prueba da un teorema un poco más general.
Supongamos que\(f(z)\) tiene un simple polo en\(z_0\). Que\(C_r\) sea la circular\(\text{arc } \gamma (\theta) = z_0 + re^{i \theta}\), con\(\theta_0 \le \theta \le \theta_0 + \alpha\). Entonces
\[\lim_{r \to 0} \int_{C_r} f(z)\ dz = \alpha i \text{Res} (f, z_0)\]
.svg)
Hace mucho tiempo dejamos el Ejemplo 10.6.1 para definir el valor principal. Ahora usemos el valor principal para calcular
\[\tilde{I} = \text{p.v.} \int_{-\infty}^{\infty} \dfrac{e^{ix}}{x} \ dx.\]
Solución
Utilizamos el contorno sangría que se muestra a continuación. La sangría es el pequeño semicírculo que da la vuelta\(z = 0\). No hay polos dentro del contorno por lo que el teorema de residuos implica
\[\int_{C_1 - C_r + C_2 + C_R} \dfrac{e^{iz}}{z} \ dz = 0.\]
.svg)
A continuación rompemos el contorno en pedazos.
\[\lim_{R \to \infty, r \to 0} \int_{C_1 + C_2} \dfrac{e^{iz}}{z}\ dz = \tilde{I}.\]
Teorema 10.2.2 (a) implica
\[\lim_{R \to \infty} \int_{C_R} \dfrac{e^{iz}}{z} \ dz = 0.\]
La Ecuación 10.7.1 en el Teorema 10.7.1 nos dice que
\[\lim_{r \to 0} \int_{C_r} \dfrac{e^{iz}}{z} \ dz = \pi i \text{Res} (\dfrac{e^{iz}}{z}, 0) = \pi i\]
Combinando todo esto juntos tenemos
\[\lim_{R \to \infty, r \to 0} \int_{C_1 - C_r + C_2 + C_R} \dfrac{e^{iz}}{z} \ dz = \tilde{I} - \pi i = 0,\]
así\(\tilde{I} = \pi i\). Así, mirando hacia atrás en el Ejemplo 10.3.3\(I = \int_{0}^{\infty} \dfrac{\sin (x)}{x} \ dx\), donde, tenemos
\[I = \dfrac{1}{2} \text{Im} (\tilde{I}) = \dfrac{\pi}{2},\]
Hay una sutileza sobre la convergencia a la que aludimos anteriormente. Es decir,\(I\) es una integral genuina (condicionalmente) convergente, pero\(\tilde{I}\) sólo existe como valor principal. Sin embargo como\(I\) es una integral convergente sabemos que computar el valor principal como acabamos de hacer es suficiente para dar el valor de la integral convergente.