Geometric progression

Encyclopedia : G : GE : GEO : Geometric progression

In mathematics, a geometric progression (also known as a geometric sequence, and, inaccurately, as a geometric series; see below) is a sequence of numbers such that the quotient of any two successive members of the sequence is a constant called the common ratio of the sequence.

Thus without loss of generality a geometric sequence can be written as

[a,ar,ar^2,ar^3,ar^4,\ldots\,]

where r ≠ 0 is the common ratio and a is a scale factor. Thus the common ratio gives a family of geometric sequences whose starting value is determined by the scale factor. Pedantically speaking, the case r = 0 ought to be excluded, since the common ratio is not even defined; but the sequence that is always 0 is included, by convention.

Contents

1 Formula
2 Examples
3 Geometric series

3.1 Infinite geometric series
3.2 Complex numbers

4 See also

Formula

Progressions allow the use of a few simple formulae to find each term. The nth term can be defined as

[a_n = a\,r^]

where n is an integer such that [n \ge 1]

The common ratio is then

[r=\left(\frac\right)^\frac] or [r=\sqrt[n-1]}]

where n is an integer such that [n \ge 1]

and the scale factor is

[a=\frac}.]

Examples

A sequence with a common ratio of 2 and a scale factor of 1 is

: 1, 2, 4, 8, 16, 32, ....

A sequence with a common ratio of 2/3 and a scale factor of 729 is

: 729 (1, 2/3, 4/9, 8/27, 16/81, 32/243, 64/729, ....) = 729, 486, 324, 216, 144, 96, 64, ....

A sequence with a common ratio of −1 and a scale factor of 3 is

:3 (1, −1, 1, −1, 1, −1, 1, −1, 1, −1, ....) = 3, −3, 3, −3, 3, −3, 3, −3, 3, −3, ....

This sequence's behaviour depends on the value of the common ratio.

:If the common ratio is:

:* Positive, the terms will all be positive.

:* Negative, the terms will alternate between positive and negative.

:* 0, the results will remain at zero.

:* Greater than 1, there will be exponential growth towards infinity (positive).

:* 1, the progression is a constant sequence.

:* Between 1 and −1 but not zero, there will be exponential decay towards zero.

:* −1, the progression is an alternating sequence (see alternating series)

:* Less than −1, there will be exponential growth towards infinity (positive and negative).

A geometric progression with common ratio [\notin \] shows exponential growth or exponential decay, as opposed to the linear growth (or decline) of an arithmetic progression such as 4, 15, 26, 37, 48, ....
This result was taken by T.R. Malthus as the mathematical foundation of his Principle of Population.

Note that the two kinds of progression are related: taking the logarithm of each term in a geometric progression yields an arithmetic one.

Geometric series

A geometric series is the sum of the numbers in a geometric progression:

[\sum_^ ar^k = ar^0+ar^1+ar^2+ar^3+\cdots+ar^n \,]

We can find a simpler formula for this sum by multiplying both sides of the above equation by [(1-r)], and we'll see that

[(1-r) \sum_^ ar^k = a-ar^\,]

since all the other terms cancel. Rearranging (for [r\ne1]) gives the convenient formula for a geometric series:

[\sum_^ ar^k = \frac)}]

Note: If one were to begin the sum not from 0, but from a higher term, say m, then

[\sum_^n ar^k=\frac)}]

Differentiating the sum with respect to r allows us to arrive at formulae for sums of the form

[\sum_^n k^s r^k]

For example:

[\frac\sum_^nr^k = \sum_^nkr^=\frac}-\frac]

Infinite geometric series

An infinite geometric series is an infinite series whose successive terms have a common ratio. Such a series converges if and only if the absolute value of the common ratio is less than one ( |r|<1 ). Its value can then be computed from the finite sum formulae

[\sum_^\infty ar^k = \lim_^ ar^k} = \lim_\frac)} = \frac]

For example,

[\sum_^\infty (191) \left(\frac\right)^k = \frac} = 1337]

In cases where the sum does not start at k = 0,

[\sum_^\infty ar^k=\frac]

Both formulae are valid only for |r| < 1. The latter formula is actually valid in every Banach algebra, as long as the norm of r is less than one, and also in the field of p-adic numbers if |r|_p < 1. As in the case for a finite sum, we can differentiate to calculate formulae for related sums. For example,

[\frac\sum_^\infty r^k = \sum_^\infty kr^=\frac]

This formula only works for |r| < 1, as well.

Complex numbers

The summation formula for geometric series remains valid even when the common ratio is a complex number. This fact can be used, along with Euler's formula, to calculate some sums of non-obvious geometric series, such as:

[ \sum_^ \frac = \frac \left[ sum_^ left( frac} right)^k - sum_^ left(frac}right)^kright]].

It is clear that this is just the difference of two geometric series. From here, it is straighforward formula application to calculate that

[ \sum_^ \frac = \frac ]