## A Note on the Pincherle Derivative

The raising and lowering operators $R$ and $L$ for a sequence of functions $\psi_n(x)$, with $n= 0,1, 2, ...$ and $\psi_0(x)=1$, defined by

$R \; \psi_n(x) = \psi_{n+1}(x)$ and $L \; \psi_n(x) = n \; \psi_{n-1}(x)$

have the commutator relation

$[L,R] = LR-RL = 1$

with respect to action on the space spanned by this sequence of functions.

If for $m$ any particular natural number

$[L^m,R] = m \; L^{m-1} = \frac{d}{dL}L^m$,

then

$mL^m =L \; [L^m,R] = L^{m+1}R - LRL^{m}$

$= L^{m+1}R - (1+RL)L^{m} = L^{m+1}R - RL^{m+1} - L^m$,

implying

$[L^{m+1},R] = (m+1) L^{m} = \frac{d}{dL}L^{m+1}$.

Since this holds for $m=1$, the relation holds for all natural numbers, and formally for a function $f(x)=e^{a.x}$ analytic about the origin (or a formal power series or exponential  generating function)

$[f(L),R] = [e^{a.L},R]= \frac{d}{dL}e^{a.L} = a. \; e^{a.L}=\frac{d}{dL}f(L)$.

The reader should be able to modify the argument to show that also

$[L,f (R)] = \frac {d}{dR}f(R)$.

Related stuff:

The many avatars of a simple algebra” by Coutinho

http://mathoverflow.net/questions/97512/in-splendid-isolation/98213#98213

https://tcjpn.wordpress.com/2014/08/03/goin-with-the-flow-logarithm-of-the-derivative/

https://tcjpn.wordpress.com/2012/11/29/infinigens-the-pascal-pyramid-and-the-witt-and-virasoro-algebras/

## Generators, Inversion, and Matrix, Binomial, and Integral Transforms

Generators, Inversion, and Matrix, Binomial, and Integral Transforms is a belated set of notes (pdf) on a derivation of a generating function for the row polynomials of  OEIS-A111999 from its relation to the compositional inversion (a Lagrange inversion formula, LIF) presented in A133932 of invertible functions represented umbrally as logarithmic series $-ln(1-b.x)$. The results show that A111999 is a natural reduction of A133932.

Along the way, more general results are given involving the relations among Borel-Laplace transforms; compositional inversion in general; binomial transforms of rows, columns, and diagonals of matrices; infinitesimal generators; and the generating functions and reversals of binomial and Appell Sheffer polynomials, in particular the cycle index polynomials of the symmetric groups, or partition polynomials of the refined Stirling numbers of the first kind A036039.

A table has been added in Appendix III to illustrate how the analysis applies to the two other complementary LIFs A134685 , based on the refined Stirling numbers of the second kind A036040 (a refinement of the Bell / Touchard / exponential polynomials A008277), and A133437, based on the refined Lah numbers A130561 (a refinement of the Lah polynomials  A008297, A105278, normalized Laguerre polynomials of order -1).

## The Creation / Raising Operators for Appell Sequences

The Creation / Raising Operators for Appell Sequences is a pdf presenting reps of the raising operator $R$ and its exponentiation $\exp(tR)$ for normal and logarithmic Appell sequences of polynomials as differential and integral operators. The Riemann zeta and digamma, or Psi, function are connected to fractional calculus and associated Appell sequences for a characteristic genus discussed by Libgober and Lu.

Using the inverse Mellin transform rep of the Dirac delta function given in an earlier entry leads to  the integral kernel $K(x,-m) = H(1-x) \frac{(1-x)^{-m-1}}{(-m-1)!}=(-1)^m \frac{d}{dx}^m \delta(1-x)=\delta^{(m)}(1-x)$ for $K(x,t)$ on page $10$.

Errata:

Pg. 2: $A(\phi.(:xD_x:+t)$ should be $A(\phi.(:xD_x:)+t)$.

Pg. 9: $e^{tR_x}x^s$ should be $e^{tR_x}$.

## The Elliptic Lie Triad: KdV and Riccati Equations, Infinigens, and Elliptic Genera

The Elliptic Lie Triad: Riccati and KdV Equations, Infinigens, and Elliptic Genera

(This site was not correctly updating, so the notes were transcribed to this pdf.)

## The Kervaire-Milnor Formula

The K-M formula and its ingredients are presented in

1) Bernoulli numbers and the unity of mathematics by Barry Mazur, p.14, Secs. 4, 5, and 6

2) Differential topology forty-six years later by Milnor

3) Homotopy group of spheres Wikipedia

4) Exotic sphere Wikipedia

5) J-homomorphism Wikipedia

7) Bernoulli numbers, homotopy groups, and a theorem of Rohlin by Milnor and Kervaire

The K-M formula, as presented by Mazur, is

$card [\Theta_{4k-1}] = R(k) \; card[ H_{4k-1}] \; B_{2k}/2k$

where (if I interpret Mazur, and Milnor, correctly) $\Theta_{j}$ is the group of homotopy spheres up to h-cobordism, or essentially the set of all oriented diffeomorphism classes of closed smooth homotopy $n$-spheres; $R(k)=2^{2k-2}(2^{2k-1}-1)$ for odd $k$ and twice that for even $k$; $H_{j}$ is the group of stable homotopy classes of continuous maps from the $(m+j)$-sphere to the $j$-sphere, and $B_n$ are the Bernoulli numbers.

## Snakes in the Appell Orchard

The Euler-Bernoulli numbers: what they count and associations to algebraic geometry, elliptic curves, and differential ops. Coming soon.

Interpolations of the derivative operator $D_x^n \; ,$ the fundamental ordered op $:xD_x:^n=x^nD_x^n \; ,$ the Laguerre op $:D_xx:^n = D^nx^n \; ,$ the shifted Laguerre op $(xD_xx)^n = x^nD_x^nx^n \; ,$ and the generalized Scherk-Witt Lie ops $(x^{1+y}D_x)^n$ to the fractional operators $D_x^s\; , \; :xD_x:^s = x^sD_x^s \; , \; :D_xx:^s = D_x^sx^s \; , \; (xD_xx)^s = x^sD_x^sx^s \; , \;$ and $(x^{1+y}D_x)^s$ are consistently achieved using the Mellin transform of the negated e.g.f.s of the differential ops. Associated infinitesimal generators (infinigens) are then determined for each fractional op and related to the raising ops for associated Appell sequences.