1. We had introduced finite series using sigma notation. Using it, a polynomial of degree may be written as
where are the coefficients. The polynomial looks like .
The question: what happens to a polynomial with “degree ”?
Terminology. We refer to expressions of the form as a “Power Series”.
Problem: given a generic power series, will it give us some closed-form expression?
2. Consider the geometric series
Thus rearranging terms we find
Divide both sides by yields
The entire “proof” has been symbolic manipulation. Do we believe it?
Lets consider , we see that the first terms in the series is
We see as , we get the series converges to
That’s precisely .
What about ? We see that it converges to . Huh?! Should we believe
really is true? On the left hand side, we have purely positive numbers. How can it sum to a negative number?
Obviously we have some problems, and it appears treating power series “as if” they were polynomials is not kosher. Power series have a different, more restrictive, set of rules compared to polynomials.
3. Treating series “as if” they were polynomials can be done, but we call such a series a formal power series. The “formal” is jargon for “pretend it behaves like a polynomial”.
Remark. Historically, Euler among others treated infinite series formally, reasoning with them as if they were polynomials. Euler is a kindly saint among mathematicians, and I do not wish to belittle him: Euler’s fearlessness embodies the Biblical passage “the godly are as bold as lions” (Proverbs 28:1). Such fearless handling of infinite series is historically called the “Generality of Algebra“.
This led to such absurd results as , as noted. But it also led to the correct solution for convergent series. We will revisit these techniques later, but first we will cover the modern rigorous treatment of series.
4. How do we tell if a series really converges? Well, one approach is to consider partial sums
as a sequence. If the sequence converges, then we just say the series is
Now our problem becomes: how do we study the convergence or divergence of sequences?