Meditation on Taylor Series
(Notes. Definitely not interesting unless, at minimum, you really really liked calculus.)
1
We can often write a differentiable function as a Taylor series around a point , approximating it in terms of its derivatives at that point:
And, under certain conditions, this series will converge exactly to the values of the function at nearby points.
(It may be that there is a certain radius of convergence around in which this approximation is valid. For the remainder of this page, assume we’re dealing with and such that has a series which is convergent around and we’re staying close enough for that to be valid.)
(You may be more used to seeing this as . They’re equivalent, of course, but for our purposes it will be cleaner to write out it as an approximation for a displacement from a point , rather than having to write the displacement as .)
This can be written in a cleaner notation if we let ourselves treat the derivative operator as a variable (sometimes we will omit the subscript to keep things uncluttered) and then treat the whole summation as an operator acting on f:
And it’s cleaner still if we recognize the summation as the Taylor series for (neglecting, perhaps, to define this rigorously):
(In physics we look at this and say that is the ‘generator of translations’, in the sense of generators of Lie Groups, and that is the translation operator.)
This form is especially nice because it lets us translate by one variable at a time when working with multivariate functions:
Or translate by complex variables, using :^{1}
Or calculate higherdimensional Taylor series, using :
Or write out multiple translations in a row:^{2}
Or implement a timetranslation operator for wave functions in (nonrelativistic) quantum mechanics to compute how systems evolve in time while preserving total probability by construction^{3}:
So it’s just all really great, when it works and the series converge and everything commutes the way you expect, and you can take integrals and derivatives termbyterm and everything’s somehow peachy.
(In physics we tend to, instead of carefully proving things converge, just do the calculations and see if they match what they should be afterwards, and then wave our hands and conclude that it works, because it’s easier that way and because (I suspect) getting a coherent calculus of operators is an analytical nightmare, and definitely not in immediate reach of the curious undergraduate.)
2
Assume exists, and consider antidifferentiation as a left inverse of the differentation operator:
(Why left? because , but is only equal up to a constant.)
What can we do with ? Well, we can produce the term in our Taylor expansion:
(That’s a derivative with respect to instead of . They’re just symbols, after all.)
And therefore:
Really, since refers to a different variable, it will just treat as a constant – so we can just write:
Which has a nice symmetry to it. It reminds me of a change of basis, which, in some sense, it is.
It basically means: project onto its behavior at each polynomial order , and then write it literally in terms of those polynomial orders using . If (1) is truly entirely constructible entirely from polynomials, and (2) the resulting sum converges, this should be equivalent to .
3 Misc
If we consider as an abstract function object which only takes on a value when composed with a point , then we can write a suggestive (but probably not too meaningful) equations like:
This says, approximately, that , translation by , is associative, and can be implemented in either xspace or ‘operators on functions’space.
Of course it’s associative even if you can’t write as a Taylor series, but, this gives a sort of ‘implementation’ for it, when it is.
There are other ways to conceptually ‘implement’ :
Since the derivative operator gives the value of , at a point slightly displaced from , we can presumably in principle do this infinitely many times to move a finite distance :
Which of course corresponds to just integrating the derivative of :
Alternatively we may write this as applying an infinitesimal translation operator infinitely many times, which just leads back to the exponential expression:
4
I don’t know, maybe this will be useful to someone, someday. I needed to write it down to keep various thoughts bundled together for later.

The and the negative sign are required so that . ↩

Whether gets into whether the underlying manifold has any curvature. ↩

Given Schrödinger’s equation , expand termbyterm, substitute, and unexpand. ↩