Polynomials are versatile and interesting objects in mathematics. A polynomial is a finite expression with the form:
Polynomials represent everything we can do using only the operations of addition, subtraction, and multiplication applied finitely many times. Because of this, they naturally reside in rings - multiplying two polynomials will yield a new polynomial, and the same can be said for adding and subtracting polynomials. As elements of a ring, the factors become arbitrary; so that they are just there to keep track of the coefficients . This should make sense, as is the same polynomial as . Since the order of the terms can be freely changed, we're going to stick with a pre-defined order by writing terms by increasing as above. This lets us ignore completely and write polynomials only in terms of . To take advantage of this fact, let's introduce some new notation to represent polynomials:
This notation abstracts polynomials into the form of an ordered list of numbers. This is an extremely powerful idea, but here we're only going to scratch the surface of it.
We can take this notation further by introducing an "indexing" operation that extracts coefficients.
This is defined for every . If a polynomial has no term of the form , then that means . For example, consider a polynomial like , which we will write as .
This suggests that we can write these as infinite lists which terminate in a trail of 0's.
Addition, subtraction, and multiplication are defined like they normally are for polynomials. Showing the first two in this notation is straightforward.
Or, using coefficient extraction:
Which is just a reflection of the fact that only "like" terms can be added. Multiplication isn't immediately clear in this notation. In terms of coefficient extraction, it is:
Multiplying two polynomials happens term-wise. A term like from the first polynomial and a term like from the second will multiply together to give the term in the product, where . Since and are allowed to vary, this results in a sum over all and where .
Since polynomials are finite lists appended with an infinite list of zeroes, what sort of object does an infinite list of nonzero elements represent? This is a polynomial with infinitely many terms, a new kind of object known as a power series. One of the simplest of these is
Just from looking at this it's hard to pin down what exactly it means. Polynomials form a ring, and so do power series by extension. The identity element is then . A natural approach would be to find the inverse of this.
We can deduce from the multiplication formula above:
Which means that , or:
This is true, but since the meaning of is being abstracted here, taking as a literal numerical value won't always work. To see why, simply plug in something like and watch the lefthand side diverge rapidly. To find what limitations to place on the value of , we can consider a finite polynomial approximation of . For example, one with five terms.
There's now an error term at the very end that's not present in the infinite case. When , this error term diverges, and this divergence gets worse as the approximation becomes better. This is because when . trivially doesn't work either, since has a singularity there. Ultimately, this will only hold when .
From this series we can build others. For example,
Which is valid when . This shows a direct relationship between the growth of a power series' coefficients and the location of its singularities.
Derivatives can also come into play:
Antiderivation can be done as well, and this leads to a series for the logarithm:
Power series can be used to represent functions that are clearly non-polynomial. This effectively translates nontrivial functions into the "language" of polynomials, which opens them up for a much deeper analysis.
This treatment can be done for more interesting sequences than . This is where this approach really shines - encoding sequences as a power series can lead to non-trivial information about that sequence. This is the main theme of analytic combinatorics, a branch of mathematics that studies this connection. Here's a well-known example of what I'm talking about: deriving an explicit formula for the Fibonacci numbers. These are defined by:
The first few numbers of this sequence are . As a power series, it's not immediately obvious what function this represents, but we can apply the same procedure above by finding its multiplicative inverse:
The last step suggests how to continue this for any . The recurrence relation above for the Fibonacci sequence ensures that for all , which implies that the rest of the are 0.
I mentioned above that the singularities of a function give us information about its coefficients. In this case, the singularities are enough to completely determine them. Since the denominator is a quadratic polynomial, it has two zeroes and thus the function has two singularities. We can separate them by factoring the denominator and decomposing the fraction.
The terms can be written as a power series. Setting for brevity,
Extracting the coefficients of both sides gives us a closed formula for the nth Fibonacci number: