Geometric series: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Peter Schmitt
(remark on finite and infinite added)
imported>Paul Wormer
(series in lede, q everywhere (instead of x), reference to S_n in lede (important formula).)
Line 2: Line 2:


A '''geometric series''' is a [[series (mathematics)|series]] associated with a [[geometric sequence]],
A '''geometric series''' is a [[series (mathematics)|series]] associated with a [[geometric sequence]],
i.e., the ratio (or quotient) ''q'' of two consecutive terms is the same for each pair.
i.e., the ratio (or quotient) ''q'' of two consecutive terms is the same for each pair. Thus, the series has the form
 
:<math>
An infinite geometric series converges if and only if |''q''|<1.
a + aq + aq^2 + aq^3 + \cdots
</math>
where the quotient (ratio) of the  (''n''+1)th  and the ''n''th term  is
:<math>
\frac{a q^{n}}{aq^{n-1}} = q.
</math>


Then its sum is <math> a \over 1-q </math> where ''a'' is the first term of the series.
An infinite geometric series (i.e., a series with an infinite number of terms)  converges if and only if |''q''|<1, in which case its sum is <math> a \over 1-q </math>, where ''a'' is the first term of the series.


'''Remark''' <br>
'''Remarks''' <br>
Since every finite geometric sequence is the initial segment of a uniquely determined infinite geometric sequence
# The sum of a finite  (''n'') terms of  a geometric sequence is a  finite number ''S''<sub>''n''</sub>;  its formula is given below.
every finite geometric series is the initial segment of a corresponding infinite geometric series.
#Since every finite geometric sequence is the initial segment of a uniquely determined infinite geometric sequence every finite geometric series is the initial segment of a corresponding infinite geometric series. Therefore, while in elementary mathematics the difference between "finite" and "infinite" may be stressed, in more advanced mathematical texts "geometrical series" usually refers to the infinite series.
Therefore, while in elementary mathematics the difference between "finite" and "infinite" may be stressed,
in mathematical texts "geometrical series" usually refers to the infinite series.


== Examples ==
== Examples ==
Line 28: Line 31:
: <math> q = \frac 1 3 </math>
: <math> q = \frac 1 3 </math>
and first term
and first term
: <math> a = 6 </math>
: <math> a = 6 \,</math>
and therefore its sum is
and therefore its sum is
: <math> { 6 \over 1-\frac 13 } = 9 </math>
: <math> { 6 \over 1-\frac 13 } = 9 </math>
Line 39: Line 42:
: <math> q = - \frac 1 3 </math>
: <math> q = - \frac 1 3 </math>
and first term
and first term
: <math> a = 6 </math>
: <math> a = 6\, </math>
and therefore its sum is
and therefore its sum is
: <math> { 6 \over 1- \left( - \frac 13 \right) } = \frac 9 2 </math>
: <math> { 6 \over 1- \left( - \frac 13 \right) } = \frac 9 2 </math>
Line 46: Line 49:
== Power series ==
== Power series ==


Any geometric series  
By definition, a  geometric series  
: <math> \sum_{k=1}^\infty a_k \qquad ( a_k \in \mathbb C ) </math>
: <math> \sum_{k=1}^\infty a_k \qquad ( a_k \in \mathbb C ) </math>
can be written as
can be written as
: <math> a \sum_{k=0}^\infty x^k </math>
: <math> a \sum_{k=0}^\infty q^k </math>
where  
where  
: <math> a = a_1 \qquad \textrm{and} \qquad x = { a_{k+1} \over a_k } \in \mathbb C
: <math> a = a_1 \qquad \textrm{and} \qquad q = { a_{k+1} \over a_k } \in \mathbb C
         \hbox{ is the constant quotient}  
         \hbox{ is the constant quotient}  
   </math>
   </math>


The partial sums of the [[power series]] &Sigma;''x''<sup>''k''</sup> are
The partial sums of the [[power series]] &Sigma;''q''<sup>''k''</sup> are
: <math>
: <math>
       S_n = \sum_{k=0}^{n-1} x^k = 1 + x + x^2 + \cdots + x^{n-1}
       S_n = \sum_{k=0}^{n-1} q^k = 1 + q + q^2 + \cdots + q^{n-1}
       =  \begin{cases}
       =  \begin{cases}
                         {\displaystyle \frac{1-x^n}{1-x}} &\hbox{for } x\ne 1 \\
                         {\displaystyle \frac{1-q^n}{1-q}} &\hbox{for } q\ne 1 \\
                                                 n \cdot 1 &\hbox{for } x = 1
                                                 n \cdot 1 &\hbox{for } q = 1
           \end{cases}
           \end{cases}
</math>
</math>
because
because
: <math> (1-x)(1 + x + x^2 + \cdots + x^{n-1}) = 1-x^n </math>
: <math> (1-q)(1 + q + q^2 + \cdots + q^{n-1}) = 1-q^n </math>
Since  
Since  
: <math> \lim_{n\to\infty} {1-x^n \over 1-x } = {1-\lim_{n\to\infty}x^n \over 1-x } \quad (x\ne1)</math>
: <math> \lim_{n\to\infty} {1-q^n \over 1-q } = {1-\lim_{n\to\infty}q^n \over 1-q } \quad (q\ne1)</math>
it is
it is
: <math> \lim_{n\to\infty} S_n = {1 \over1-x } \quad \Leftrightarrow \quad |x|<1 </math>
: <math> \lim_{n\to\infty} S_n = {1 \over1-q } \quad \Longleftrightarrow \quad |q|<1 </math>
and the geometric series converges (more precisely: converges absolutely) for |''x''|<1 with the sum
and the geometric series converges (more precisely: converges absolutely) for |''q''|<1 with the sum
: <math> \sum_{k=1}^\infty a_k = { a \over 1-q }</math>
: <math> \sum_{k=1}^\infty a_k = { a \over 1-q }</math>
and diverges for |''x''| &ge; 1.  
and diverges for |''q''| &ge; 1.  
(Depending on the sign of ''a'', the limit is +∞ or &minus;∞ for ''x''&ge;1.)
(Depending on the sign of ''a'', the limit is +∞ or &minus;∞ for ''q''&ge;1.)

Revision as of 03:12, 11 January 2010

This article is developed but not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable, developed Main Article is subject to a disclaimer.

A geometric series is a series associated with a geometric sequence, i.e., the ratio (or quotient) q of two consecutive terms is the same for each pair. Thus, the series has the form

where the quotient (ratio) of the (n+1)th and the nth term is

An infinite geometric series (i.e., a series with an infinite number of terms) converges if and only if |q|<1, in which case its sum is , where a is the first term of the series.

Remarks

  1. The sum of a finite (n) terms of a geometric sequence is a finite number Sn; its formula is given below.
  2. Since every finite geometric sequence is the initial segment of a uniquely determined infinite geometric sequence every finite geometric series is the initial segment of a corresponding infinite geometric series. Therefore, while in elementary mathematics the difference between "finite" and "infinite" may be stressed, in more advanced mathematical texts "geometrical series" usually refers to the infinite series.

Examples

Positive ratio   Negative ratio
The series

and corresponding sequence of partial sums

is a geometric series with quotient

and first term

and therefore its sum is

  The series

and corresponding sequence of partial sums

is a geometric series with quotient

and first term

and therefore its sum is

Power series

By definition, a geometric series

can be written as

where

The partial sums of the power series Σqk are

because

Since

it is

and the geometric series converges (more precisely: converges absolutely) for |q|<1 with the sum

and diverges for |q| ≥ 1. (Depending on the sign of a, the limit is +∞ or −∞ for q≥1.)