8.1: Serie Geométrica
- Page ID
- 109676
\( \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}\)Tener una comprensión detallada de las series geométricas nos permitirá utilizar la fórmula integral de Cauchy para comprender las representaciones de series de potencia de las funciones analíticas. Comenzamos con la definición:
Una serie geométrica finita tiene una de las siguientes formas (todas equivalentes).
\[\begin{align} S_n &= a(1 + r + r^2 + r^3 + ... + r^n) \\[4pt] &= a + ar + ar^2 + ar^3 + ... + ar^n \\[4pt] &= \sum_{j = 0}^{n} ar^j \\[4pt] &= a \sum_{j = 0}^{n} r^j \end{align}\]
Al número\(r\) se le llama la relación de la serie geométrica porque es la relación de términos consecutivos de la serie.
La suma de una serie geométrica finita viene dada por
\[S_n = a(1 + r + r^2 + r^3 + ... + r^n) = \dfrac{a (1 - r^{n + 1})}{1 - r}.\]
- Prueba
-
Este es un truco estándar que probablemente hayas visto antes.
\[\begin{array} {rclcc} {S_n} & = & {a + } & { ar + ar^2 + ... + ar^n} & {} \\ {rS_n} & = & { } & {ar + ar^2 + ... + ar^n} & {+ ar^{n + 1}} \end{array}\]
Cuando restamos estas dos ecuaciones la mayoría de los términos cancelan y obtenemos
\[S_n - rS_n = a - ar^{n + 1}\]
Algún álgebra simple nos da ahora la fórmula en la Ecuación 8.2.2.
Una serie geométrica infinita tiene la misma forma que la serie geométrica finita excepto que no hay último término:
\[S = a + ar + ar^2 + ... = a \sum_{j = 0}^{\infty} r^j.\]
Por lo general, simplemente diremos 'serie geométrica' en lugar de 'serie geométrica infinita'.
Si\(|r| < 1\) entonces la serie geométrica infinita converge a
\[S = a \sum_{j = 0}^{\infty} r^j = \dfrac{a}{1 - r}\]
Si\(|r| \ge 1\) entonces la serie no converge.
- Prueba
-
Esta es una consecuencia fácil de la fórmula para la suma de una serie geométrica finita. Simplemente deje entrar\(n \to \infty\) la Ecuación 8.2.2.
Hemos asumido una familiaridad con la convergencia de series infinitas. Repasaremos esto con más detalle en el apéndice de este tema.
Conexión a la Fórmula Integral de Cauchy
La fórmula integral de Cauchy dice
\[f(z) = \dfrac{1}{2\pi i} \int_C \dfrac{f(w)}{w - z} \ dw.\]
Dentro de la integral tenemos la expresión
\[\dfrac{1}{w - z}\]
que se parece mucho a la suma de una serie geométrica. Haremos un uso frecuente de las siguientes manipulaciones de esta expresión.
\[\dfrac{1}{w - z} = \dfrac{1}{w} \cdot \dfrac{1}{1 - z/w} = \dfrac{1}{w} (1 + (z/w) + (z/w)^2 + ...)\]
La serie geométrica en esta ecuación tiene ratio\(z/w\). Por lo tanto, la serie converge, es decir, la fórmula es válida, siempre que\(|z/w| < 1\), o equivalentemente cuando
\[|z| < |w|.\]
Del mismo modo,
\[\dfrac{1}{w - z} = -\dfrac{1}{z} \cdot \dfrac{1}{1 - w/z} = - \dfrac{1}{z} (1 + (w/z) + (w/z)^2 + ...)\]
La serie converge, es decir, la fórmula es válida, siempre que\(|w/z| < 1\), o equivalentemente cuando
\[|z| > |w|.\]