9
$\begingroup$

Calculate the sum,

$$e^{ar}+e^{ar^2}+\dots+e^{ar^n}\ \text{where} \ a,r\in \mathbb{R}$$

It's easy to calculate the sum when the powers of $e$ are in an arithmetic progression. How do we proceed when the powers are in geometric progression?

$\endgroup$
5
  • $\begingroup$ Arithmetic progression, geometric progression $\endgroup$ Commented Aug 25, 2019 at 14:36
  • 1
    $\begingroup$ See en.wikipedia.org/wiki/Lacunary_function $\endgroup$ Commented Aug 25, 2019 at 15:01
  • 3
    $\begingroup$ Note that $e^{r^2} \ne (e^r)^2$ !!!! $\endgroup$ Commented Aug 25, 2019 at 17:04
  • 3
    $\begingroup$ @lhf: this is finite, and should not be regarded as a lacunary function -- the functional equation does not apply, and for a fair number of $a$ and $r$ it does not converge when carried out to infinity. $\endgroup$ Commented Aug 27, 2019 at 22:52
  • 2
    $\begingroup$ It is essentially a duplicate of this. $\endgroup$ Commented Feb 26, 2025 at 8:21

1 Answer 1

1
$\begingroup$

This is what we call a Lacunary Exponential Sum, which yields no simple general form, and specifically if $r\ne 1$. There are special cases in which the sums do simplify, which are for $r=1$ and $r=0$, which you can solve straightforwardly. What we can do, however, is analyze this via Taylor-Expansion. Behold

$\begin{align} \text{Let }S_n&=e^{ar}+e^{ar^2}+e^{ar^3}+\dots+e^{ar^n}\\ e^{ar^{k}}&=\displaystyle\sum_{j=0}^{\infty}\frac{(ar^k)^j}{j!}\\ S_n&=\sum_{k=1}^{n}\sum_{j=0}^{\infty}\frac{a^j(r^j)^k}{j!} &&\text{Substituting Back Into The Total Sum $S_n$}\\ S_n&=\sum_{j=0}^{\infty}\frac{a^j}{j!}\Bigg(\sum_{k=1}^{n}(r^j)^{k}\Bigg)\\ \sum_{k=1}^{n}(r^j)^{k}&=\frac{r^j(1-r^{jn})}{1-r^j} &&\text{Standard Geometric Progression}\\ \text{Thus, $S_n$}&=\sum_{j=0}^{\infty}\frac{a^j}{j!}\bigg(\frac{r^j(1-r^{jn})}{1-r^j}\bigg) \end{align}$

A note on the algebra done here. We switched the order of summation, provided that $S_n$ converges, which the inner summation does for fixed values of $k$. It is not the most elegant of solutions, but at least one way to look at it.

$\endgroup$

You must log in to answer this question.