# Series: 1 to infinity vs. 1 to n as n approaches infinity

$$f(x) = \frac{\sum_{i=1}^{\infty}x^i}{1+\sum_{i=1}^{\infty}x^i} = \frac{\sum_{i=1}^{\infty}x^i}{\sum_{i=0}^{\infty}x^i} = x$$

I haven't taken many math classes (so bear with me if I'm wrong), but I think this is correct, since $$\frac{\sum \limits_{i=1}^{\infty} \ k^i}{k}=\sum_{i=0}^{\infty}k^i$$

Also, even though both series diverge when $x$ is big enough, I don't think the ratio diverges.

My question has to do with this: $$g(x)=\lim_{n\to\infty}{\frac{\sum \limits_{i=1}^{n}\ x^i}{1+\sum\limits_{i=1}^{n} \ x^i}}$$

If $x>1$, then no matter how high $n$ is, $g$ is never above $1$ since the denominator is larger than the numerator. So, $g(x)$ is not always equal to $x$.

Does a sum from one to infinity mean something different than a sum from $1$ to $n$ as $n$ approaches infinity?

If not, then where was my mistake ($g$ is not equal to $f$)?

-
Formally, the infinite sum (called a series) is just the limit of the finite sums as $n\to\infty$. See for example the first paragraph of this answer. – Arturo Magidin Nov 5 '11 at 5:00

The function $g(x)$ gives no problem, except at $x=-1$. In that sense, it is very different from $f(x)$, which is only defined for $|x|<1$, as explained by Arturo Magidin and Michael Hardy. The calculation you made at the beginning of the post is a bit informal, but is essentially correct for $|x|<1$. (Please see the comment at the end.) And your observation that $g(x)$ cannot always be equal to $x$ is well-founded. You correctly saw that $g(x)$ exists for any positive $x$. Though you did not give a proof, with some work your observation about the fraction being less than $1$ can be turned into a proof. We now solve the problem in detail.

Note that $$x+x^2+\cdots +x^n=x(1+x+\cdots +x^{n-1})=\frac{x(1-x^n)}{1-x}$$ (if $x\ne 1)$.

So we can find an explicit formula for $g_n(x)$, where $$g_n(x)=\frac{\sum_{i=1}^{n}x^i}{1+\sum_{i=1}^{n}x^i}.$$ The result (except when $x=\pm 1$) is $$g_n(x)=\frac{x(1-x^n)}{1-x^{n+1}}.$$ If $|x|<1$, then $\displaystyle\lim_{n\to\infty} x^n=0$, and therefore $\displaystyle\lim_{x\to\infty} g_n(x)=x$. If $|x|>1$, the limit is $1$.

The case $x=-1$ is hopeless, since the denominator is $0$ for all odd $n$. In the case $x=1$, a separate calculation shows that the limit is $1$.

Comment: The case $|x|>1$ is obvious without calculation. If $|x|>1$, and $n$ is large, then the numerator and denominator of $g_n(x)$ each has very large absolute value. But they differ by $1$, so their ratio is nearly $1$. The case $|x|<1$ is also obvious without much calculation. The numerator of $g_n(x)$ is $x(1+x+\cdots +x^{n-1})$, and the denominator is $1+x+\cdots +x^n$. As long as we know that $\displaystyle\lim_{m\to\infty}(1+x+\cdots +x^m)$ exists, and is non-zero, and that $g_n(x)$ is always defined, we can conclude that $g_n(x)$ has limit $x$. We do not need to know a formula for $\displaystyle\lim_{m\to\infty}(1+x+\cdots +x^m)$.

-

Is $$\lim_{n\to\infty}\frac{\sum_{i=1}^n a_i}{\sum_{i=1}^n b_i}$$ the same thing as $$\frac{\lim\limits_{n\to\infty}\sum_{i=1}^n a_i}{\lim\limits_{n\to\infty}\sum_{i=1}^n b_i}\qquad ?$$

The answer is that they are equal if both of the limits in the latter expression exist and its denominator is not $0$.

Suppose $a_i = b_i = 1$ for all values of $i$. In that case, the latter expression does not exist, but the former is $1$.

-
If $\sum^{\infty}b_i=0$, and $a_i=2b_i$, then both limits in your second expression exist, but the second expression is undefined, whereas the first expression could be 2. – Gerry Myerson Nov 5 '11 at 8:34
Yes, I should have added "...and the denominator is not zero". – Michael Hardy Nov 5 '11 at 16:32
OK, I've done that. – Michael Hardy Nov 5 '11 at 16:32