4
$\begingroup$

Given the geometric series:

$1 + x^2 + x^4 + x^6 + x^8 + \cdots$

We can recast it as:

$S = 1 + x^2 \, (1 + x^2 + x^4 + x^6 + x^8 + \cdots)$, where $S = 1 + x^2 + x^4 + x^6 + x^8 + \cdots$.

This recasting is possible only because there is an infinite number of terms in $S$.

Exactly how is this mathematically possible?

(Related, but not identical, question: General question on relation between infinite series and complex numbers).

  • 4
    Are you asking why $\frac{1}{1-x^2} = 1 + x^2 \frac{1}{1-x^2}$? Note that the identification of the formal series $S$ with the function $\frac{1}{1-x^2}$ is valid for $|x| \lt 1$, otherwise it's just a game you can play with [formal power series](http://en.wikipedia.org/wiki/Formal_power_series).2011-10-05
  • 1
    +1 For realizing that it is essential for there to be an infinite number of terms. Infinite sums usually make sense only under some kind of convergence (in a ring of formal power series the convergence is of a very different kind). But yeah, it is the same phenomenon that is underlying the following. Let $S=0.9999\ldots$. Then $$S=0.9+0.09999\ldots=0.9+0.1\cdot S,$$ Therefore $0.9=S-0.1\cdot S=0.9 \cdot S$, so $S=0.9/0.9=1$.2011-10-05
  • 0
    Well, I'm basically trying to understand why we can do this recasting. Normally - (I'm assuming) - we cannot recast a finite series. But the above recasting is allowed since the terms go to infinity. ... What is the exact mathematical (i.e. rigorous) basis which allows this manipulation?2011-10-05
  • 0
    You can take out a common (non-zero) factor of a finite sum. If the sequence of finite sums converges, then you can take that common factor out of the limit, too. If the only difference between two sequences is that the other is one step behind, then the 'lagging' sequence is a subsequence of its faster brother, and thus converges to the same limit. IOW the argument of Joe Johnson's answer.2011-10-05
  • 0
    @Jyrki: This would only apply if the series converged. | However, for this series, the recasting is valid regardless of convergence or divergence of the series, (i.e. the issue revolves around the specific *infinite* number of terms for the series - which allows recasting). ... My question is: how (in a rigorous mathematical sense) is this mathematically meaningful / (possible)?2011-10-05
  • 2
    You cannot even define the sum of infinitely many elements without some notion of a convergence. In the ring of formal power series (that many of us want to use here!) the convergence is based on the so called $x$-adic topology. Meaning that an infinite sum $\sum_{i=0}^\infty p_i(x)$ makes sense, if and only if the degrees of the lowest degree terms of the power series $p_i(x)$ tend to infinity. Here $p_i(x)=x^{2i}$ is its lowest degree term, and convergence thus follows from the fact that $2i\to\infty$ as $i\to\infty$.2011-10-05
  • 2
    IOW those three dots $\ldots$ hide a lot of reasoning. And 'no', the recasting does not make sense without some kind of a convergence allowing infinite sums to be formed in whatever structure we feel is most appropriate (here the complex numbers or the ring of formal power series).2011-10-05
  • 0
    @Jyrki: Ok. Thanks for the response. -- May I courteously request a formal answer to the above question? (Use whatever mathematics you like, as long as your answer is completely rigorous.) - cheers2011-10-05
  • 0
    @t.b.: Within the radius of convergence the series is identified with / [or possibly mathematically equivalent to(?)] $\frac{1}{1-x^2}$. My question is: [preliminarily, and from receiving various responses: can we recast it the way we have if $S$ is not convergent?, and] (if we **can** recast it regardless or not the series is convergent or divergent [which I now believe the answer is a 'no' to]) how is it mathematically justified? .. [Part of my question I think has already been answered since I don't believe you can recast it as above if the series isn't convergent [or outside its domain...2011-10-05
  • 0
    ... of convergence.]2011-10-05
  • 0
    @t.b. Such formal "games" often yield great power, e.g. see this [famous problem of Halmos.](http://mathoverflow.net/questions/31595/how-would-you-solve-this-tantalizing-halmos-problem)2011-10-05
  • 0
    @Bill: Sure, I didn't say or mean to say otherwise and thanks for the nice link.@UGPhysics: You seem to insist that a formula has an *intrinsic sense*, without further explanations. That's simply not true. You can write down this identity, but asking whether it is valid means that you need a formal context in which you can make sense out of it. Two interpretations were given and they happen both to involve a notion of convergence (which always is around when dealing with infinitary operations). If you interpret the series as a convergent power series then it represents the same function on2011-10-05
  • 0
    the open unit disk as the function $1/(1-x^2)$. So yes, in this sense they are mathematically equivalent.2011-10-05

3 Answers 3