# Arithmetico-geometric sequence

Part of a series of articles about :
Calculus :
$\int _{a}^{b}f'(t)\,dt=f(b)-f(a)$ :
Fundamental theorem
Limits
Continuity
Rolle's theorem
Mean value theorem
Inverse function theorem :
Differential
Definitions
Derivative (generalizations)
Differential
infinitesimal
of a function
total
Concepts
Differentiation notation
Second derivative
Implicit differentiation
Logarithmic differentiation
Related rates
Taylor's theorem
Rules and identities
Sum
Product
Chain
Power
Quotient
L'Hôpital's rule
Inverse
General Leibniz
Faà di Bruno's formula
Reynolds :
Integral
Lists of integrals
Integral transform
Leibniz integral rule
Definitions
Antiderivative
Integral (improper)
Riemann integral
Lebesgue integration
Contour integration
Integral of inverse functions
Integration by
Parts
Discs
Cylindrical shells
Substitution (trigonometric, tangent half-angle, Euler)
Euler's formula
Partial fractions (Heaviside's method)
Changing order
Reduction formulae
Differentiating under the integral sign
Risch algorithm :
Series
Geometric (arithmetico-geometric)
Harmonic
Alternating
Power
Binomial
Taylor
Convergence tests
Summand limit (term test)
Ratio
Root
Integral
Direct comparison
Limit comparison
Alternating series
Cauchy condensation
Dirichlet
Abel :
Vector
Gradient
Divergence
Curl
Laplacian
Directional derivative
Identities
Theorems
Gradient
Green's
Stokes'
Divergence
generalized Stokes
Helmholtz decomposition :
Multivariable
Formalisms
Matrix
Tensor
Exterior
Geometric
Definitions
Partial derivative
Multiple integral
Line integral
Surface integral
Volume integral
Jacobian
Hessian :
Advanced
Calculus on Euclidean space
Generalized functions
Limit of distributions :
Specialized
Fractional
Malliavin
Stochastic
Variations :
Miscellanea
Precalculus
History
Glossary
List of topics
Integration Bee
Mathematical analysis
Nonstandard analysis :
vte :
In mathematics, an arithmetico-geometric sequence is the result of element-by-element multiplication of the elements of a geometric progression with the corresponding elements of an arithmetic progression. The nth element of an arithmetico-geometric sequence is the product of the nth element of an arithmetic sequence and the nth element of a geometric sequence. An arithmetico-geometric series is a sum of terms that are the elements of an arithmetico-geometric sequence. Arithmetico-geometric sequences and series arise in various applications, such as the computation of expected values in probability theory, especially in Bernoulli processes.
For instance, the sequence
    ${\frac {\color {blue}{0}}{\color {green}{1}}},\ {\frac {\color {blue}{1}}{\color {green}{2}}},\ {\frac {\color {blue}{2}}{\color {green}{4}}},\ {\frac {\color {blue}{3}}{\color {green}{8}}},\ {\frac {\color {blue}{4}}{\color {green}{16}}},\ {\frac {\color {blue}{5}}{\color {green}{32}}},\cdots$
is an arithmetico-geometric sequence. The arithmetic component appears in the numerator (in blue), and the geometric one in the denominator (in green). The series summation of the infinite elements of this sequence has been called Gabriel's staircase and it has a value of 2. In general,
    $\sum _{k=1}^{\infty }{\color {blue}k}{\color {green}r^{k}}={\frac {r}{(1-r)^{2}}}\quad {\text{for }}0<r<1.$
The label of arithmetico-geometric sequence may also be given to different objects combining characteristics of both arithmetic and geometric sequences. For instance, the French notion of arithmetico-geometric sequence refers to sequences that satisfy recurrence relations of the form $u_{n+1}=ru_{n}+d$, which combine the defining recurrence relations $u_{n+1}=u_{n}+d$ for arithmetic sequences and $u_{n+1}=ru_{n}$ for geometric sequences. These sequences are therefore solutions to a special class of linear difference equation: inhomogeneous first order linear recurrences with constant coefficients.

## Elements

The elements of an arithmetico-geometric sequence $(A_{n}G_{n})_{n\geq 1}$ are the products of the elements of an arithmetic progression $(A_{n})_{n\geq 1}$ (in blue) with initial value $a$ and common difference $d$, $A_{n}=a+(n-1)d,$ with the corresponding elements of a geometric progression $(G_{n})_{n\geq 1}$ (in green) with initial value $b$ and common ratio $r$, $G_{n}=br^{n-1},$ so that
    ${\begin{aligned}A_{1}G_{1}&=\color {blue}a\color {green}b\\A_{2}G_{2}&=\color {blue}(a+d)\color {green}br\\A_{3}G_{3}&=\color {blue}(a+2d)\color {green}br^{2}\\&\ \,\vdots \\A_{n}G_{n}&=\color {blue}{\bigla+(n-1)d{\bigr )}\color {green}br^{n-1}\color {black}.\end{aligned}}$
These four parameters are somewhat redundant and can be reduced to three: $ab,$ $bd,$ and $r.$

### Example

The sequence
    ${\frac {\color {blue}{0}}{\color {green}{1}}},\ {\frac {\color {blue}{1}}{\color {green}{2}}},\ {\frac {\color {blue}{2}}{\color {green}{4}}},\ {\frac {\color {blue}{3}}{\color {green}{8}}},\ {\frac {\color {blue}{4}}{\color {green}{16}}},\ {\frac {\color {blue}{5}}{\color {green}{32}}},\cdots$
is the arithmetico-geometric sequence with parameters $d=b=1$, $a=0$, and $r={\tfrac {1}{2}}$.

## Series
### Partial sums

The sum of the first n terms of an arithmetico-geometric series has the form
    ${\begin{aligned}S_{n}&=\sum _{k=1}^{n}A_{k}G_{k}\\[5pt]&=\sum _{k=1}^{n}{\bigla+(k-1)d{\bigr )}br^{k-1}\\[5pt]&=b\sum _{k=0}^{n-1}\left(a+kd\right)r^{k}\\[5pt]&=ab+(a+d)br+(a+2d)br^{2}+\cdots +{\bigla+(n-1)d{\bigr )}br^{n-1}\end{aligned}}$
where A$_i${\textstyle A_{i}} and G$_i${\textstyle G_{i}} are the ith elements of the arithmetic and the geometric sequence, respectively.
This partial sum has the closed-form expression
    ${\begin{aligned}S_{n}&={\frac {ab-(a+nd)\,br^{n}}{1-r}}+{\frac {dbr\,(1-r^{n})}{(1-r)^{2}}}\\&={\frac {A_{1}G_{1}-A_{n+1}G_{n+1}}{1-r}}+{\frac {dr}{(1-r)^{2}}}\,(G_{1}-G_{n+1}).\end{aligned}}$

#### Derivation

Multiplying
    $S_{n}=ab+(a+d)br+(a+2d)br^{2}+\cdots +{\bigla+(n-1)d{\bigr )}br^{n-1}$
by r gives
    $rS_{n}=abr+(a+d)br^{2}+(a+2d)br^{3}+\cdots +{\bigla+(n-1)d{\bigr )}br^{n}.$
Subtracting rS$_n$ from S$_n$, dividing both sides by $b$, and using the technique of telescoping series (second equality) and the formula for the sum of a finite geometric series (fifth equality) gives
    ${\begin{aligned}{\frac {(1-r)S_{n}}{b}}&=\left(a+(a+d)r+(a+2d)r^{2}+\cdots +{\bigla+(n-1)d{\bigr )}r^{n-1}\right)-{\Biglar+(a+d)r^{2}+(a+2d)r^{3}+\cdots +{\bigla+(n-1)d{\bigr )}r^{n}{\Bigr )}\\[5pt]&=a+d\left(r+r^{2}+\cdots +r^{n-1}\right)-{\bigla+(n-1)d{\bigr )}r^{n}\\[5pt]&=a+d\left(r+r^{2}+\cdots +r^{n-1}+r^{n}\right)-\left(a+nd\right)r^{n}\\[5pt]&=a+dr\left(1+r+r^{2}+\cdots +r^{n-1}\right)-\left(a+nd\right)r^{n}\\[5pt]&=a+{\frac {dr(1-r^{n})}{1-r}}-(a+nd)r^{n},\\[8pt]S_{n}&={\frac {b}{1-r}}\left(a-(a+nd)r^{n}+{\frac {dr(1-r^{n})}{1-r}}\right)\\[5pt]&={\frac {ab-(a+nd)br^{n}}{1-r}}+{\frac {dr(b-br^{n})}{(1-r)^{2}}}\\[5pt]&={\frac {A_{1}G_{1}-A_{n+1}G_{n+1}}{1-r}}+{\frac {dr(G_{1}-G_{n+1})}{(1-r)^{2}}}\end{aligned}}$
as claimed.

### Infinite series

If −1 < r < 1, then the sum S of the arithmetico-geometric series, that is to say, the limit of the partial sums of the elements of the sequence, is given by
    ${\begin{aligned}S&=\sum _{k=1}^{\infty }t_{k}=\lim _{n\to \infty }S_{n}\\[5pt]&={\frac {ab}{1-r}}+{\frac {dbr}{(1-r)^{2}}}\\[5pt]&={\frac {A_{1}G_{1}}{1-r}}+{\frac {drG_{1}}{(1-r)^{2}}}.\end{aligned}}$
If r is outside of the above range, b is not zero, and a and d are not both zero, the limit does not exist and the series is divergent.

### Example

The sum
    $S={\frac {\color {blue}{0}}{\color {green}{1}}}+{\frac {\color {blue}{1}}{\color {green}{2}}}+{\frac {\color {blue}{2}}{\color {green}{4}}}+{\frac {\color {blue}{3}}{\color {green}{8}}}+{\frac {\color {blue}{4}}{\color {green}{16}}}+{\frac {\color {blue}{5}}{\color {green}{32}}}+\cdots$,
is the sum of an arithmetico-geometric series defined by $d=b=1$, $a=0$, and $r={\tfrac {1}{2}}$, and it converges to $S=2$. This sequence corresponds to the expected number of coin tosses required to obtain "tails". The probability $T_{k}$ of obtaining tails for the first time at the kth toss is as follows:
    $T_{1}={\frac {1}{2}},\ T_{2}={\frac {1}{4}},\dots ,T_{k}={\frac {1}{2^{k}}}$.
Therefore, the expected number of tosses to reach the first "tails" is given by
    $\sum _{k=1}^{\infty }kT_{k}=\sum _{k=1}^{\infty }{\frac {\color {blue}k}{\color {green}2^{k}}}=2.$
Similarly, the sum
    $S={\frac {\color {blue}{0}\cdot \color {green}{\frac {1}{6}}}{\color {green}{\frac {5}{6}}}}+{\frac {\color {blue}{1}\cdot \color {green}{\frac {1}{6}}}{\color {green}{1}}}+{\frac {\color {blue}{2}\cdot \color {green}{\frac {1}{6}}}{\color {green}{\frac {6}{5}}}}+{\frac {\color {blue}{3}\cdot \color {green}{\frac {1}{6}}}{\color {green}{\left({\frac {6}{5}}\right)^{2}}}}+{\frac {\color {blue}{4}\cdot \color {green}{\frac {1}{6}}}{\color {green}{\left({\frac {6}{5}}\right)^{3}}}}+{\frac {\color {blue}{5}\cdot \color {green}{\frac {1}{6}}}{\color {green}{\left({\frac {6}{5}}\right)^{4}}}}+\cdots$
is the sum of an arithmetico-geometric series defined by $d=1$, $a=0$, $b={\tfrac {1/6}{5/6}}={\tfrac {1}{5}}$, and $r={\tfrac {5}{6}}$, and it converges to 6. This sequence corresponds to the expected number of six-sided dice rolls required to obtain a specific value on a die roll, for instance "5". In general, these series with $d=1$, $a=0$, $b={\tfrac {p}{1-p}}$, and $r=1-p$ give the expectations of "the number of trials until first success" in Bernoulli processes with "success probability" $p$. The probabilities of each outcome follow a geometric distribution and provide the geometric sequence factors in the terms of the series, while the number of trials per outcome provides the arithmetic sequence factors in the terms.