6

Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves published "A generalization of the symbolic statement of Taylor's theorem" in the Proceedings of the Royal Irish Academy, Vol. 5, (1850-1853) (when Sophus Lie was a child). Summarizing his conclusions:

with $\omega=h(z)$ and $g(z)=1/[dh(z)/dz]$,

$$\exp \left[ {t \cdot g(z)\frac{d}{{dz}}} \right]f(z) = \exp \left[ {t\frac{d}{{d\omega }}} \right]f[{h^{ - 1}}(\omega )] = f[{h^{ - 1}}[t + \omega]] = f[{h^{ - 1}}[t + h(z)]],$$

(see OEIS A145271 and A139605 for more relations and references).

Charles' brother John Graves discovered the octonians (octaves, see Wikipedia) in 1843 and is credited by Hamilton in encouraging his search for the quaternions, so we have a case perhaps of a missed opportunity for scooping Sophus Lie and his work on Lie group manifolds. (John also published work on the operator commutator $[p,q]=[d/dq,q]=1. $)

Wikipedia in the Shift Operator states that Lagrange published the iconic case with $g(z)=1$ (in the late 1700s, most likely), but certainly Newton could have been aware of this in Taylor series form.

QUESTION: Is there an earlier publication on iteration of the general op $g(x) \frac {d}{dx} \; $?

Tom Copeland
  • 9,937
  • See related work by Scherk in 1829 as discussed by Blasiak and Flajolet in App. A of "Combinatorial Models of Creation-Annihilation" https://arxiv.org/abs/1010.0354 – Tom Copeland Dec 05 '17 at 04:57
  • For some more background, see https://mathoverflow.net/questions/214927/important-formulas-in-combinatorics/215203#215203 and https://mathoverflow.net/questions/97512/in-splendid-isolation/257205#257205 – Tom Copeland Aug 20 '19 at 20:16
  • Abel developed expressions for the formal group law in the 1820s and related this to diff ops, but not precisely the way it could be with the expression above. https://mathoverflow.net/questions/352842/nascent-formal-group-law – Tom Copeland Feb 29 '20 at 13:34

0 Answers0