Professional Documents
Culture Documents
073 - PR 10-7 - Exponential Proof
073 - PR 10-7 - Exponential Proof
073 - PR 10-7 - Exponential Proof
Let be an operator which we assume to have finite eigenvalues by hypothesis; it is defined as a (not necessarily finite)
linear combination of iterations of , and it is defined as,
In 14, we assumed that can be expanded as polynomials with the appropriate coefficients. Those coefficients are
the subject of the following proof.
Coefficients of : For the binomial expansion 13, the special case that and , gives us the true statement,
which we expand into a lot of factorials we want to cancel out (namely: ), and,
515
\* MERGEFORMAT [.]
616\*
MERGEFORMAT [.]
Notice that since and over the index of the sum, the factor 16 is a product of a bunch of things less than 1.
So, if we set in the sum 15, we would get the sum because,
818\*
MERGEFORMAT [.]
Thus, in the limit as , we have . Using this in 14,
919\*
MERGEFORMAT [.]