Continuing the look at my favourite formulas, behold the following:
Here is an analytic scalar-valued function on some domain of . This is in fact the Taylor series in disguise, in which knowledge of all derivatives of a function at one point enables us to calculate its value at a different point. It may more commonly be seen in operator form as:
or in scalar form as:
The exponent represents a directional derivative operator (a tangent vector), which when applied to a function gives its rate of change in the direction:
Similarly is the k’th order directional derivative.
The beautiful compact formula at the top of this post reveals another use of the exponential function apart from what we may be used to seeing. It takes us from from the infinitesimal (local) world of tangent vectors to the macroscopic (global) world of translations. Applying the exponential of the tangent vector in the direction is equivalent to a translation by . is also known as a generator of translation. In the theory of Lie algebras and groups, the exponential map generalises this concept and takes us from a Lie algebra (the space of tangent vectors at the identity element) to its corresponding Lie group. In quantum mechanics the operator generates the evolution of into according to the time-dependent Schrödinger equation in the same way.
1. Non-rigorous justification
One intuitive way of seeing why the Taylor series formula holds is to regard as a large number of successive infinitesimal translations by and then to approximate each infinitesimal translation by its linearisation
2. Fourier transform “proof”
If we assume the Fourier transform of exists (defined by ), another way of understanding the Taylor series formula is by using the following two properties of Fourier transform pairs:
Using the power series definition of the exponential function, we can use repeated applications of the first property to write
and our formula results by comparing this with the second Fourier transform property above. This equation also shows why in physics momentum (proportional to the wave number ) is said to be the generator of translation.
3. Proof of the formula by solving a partial differential equation
Fix the vector and let . Partially differentiating both sides with respect to gives
From before, , so
This equation becomes 0 if , or equivalently, is constant if is constant. We conclude that
where is a function. We know that , and so for all . Hence we have shown , and it is easily verified that this satisfies By setting equal to 1 we conclude that