Skip to main content
Missing power adde
Source Link
Tom Copeland
  • 10.5k
  • 3
  • 57
  • 84

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{(e^{D_{x=0}}-1) }{k!} \; p_n(x) ,$$$$c_k = \frac{(e^{D_{x=0}}-1)^k }{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; p_n(x) \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{(e^{D_{x=0}}-1) }{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; p_n(x) \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{(e^{D_{x=0}}-1)^k }{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; p_n(x) \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

Overlooked paste errors corrected
Source Link
Tom Copeland
  • 10.5k
  • 3
  • 57
  • 84

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$$$c_k = \frac{(e^{D_{x=0}}-1) }{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; (x)_n \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; p_n(x) \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; (x)_n \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{(e^{D_{x=0}}-1) }{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; p_n(x) \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; p_n(x) \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)

Source Link
Tom Copeland
  • 10.5k
  • 3
  • 57
  • 84

The forward and backward finite differences and the derivative lower the degree of a polynomial by one.

This property underlies the construction of series expansions of polynomials and, therefore, analytic functions with appropriate convergence properties in terms of diverse polynomial sequences, in particular, Sheffer sequences. In the terminology of the Sheffer operator calculus, these three operators are delta ops, or lowering ops.

The derivative acting on the power $x^n$ lowers the degree by one. In other words, the derivative is the lowering operator for the fundamental Sheffer sequence of polynomials $S_n(x) = x^n$, the simplest such sequence. Specifically,

$$D \; x^n = n \; x^{n-1}.$$

Consequently,

$$\frac{D^k}{k!} \; x^n \; |_{x=0} = \binom{n}{k} \; x^{n-k} \; |_{x=0} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; x^k,$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the Taylor series expansion

$$p_n(x) = \sum_{k \geq 0} [\; D_{x=0}^k \; p_n(x) \;] \; \frac{x^k}{k!}.$$

Now instead of the sequence of power monomials $x^n$, consider the polynomial falling factorials

$$(x)_n = \frac{x!}{(x-n)!} = (x)(x-1) \cdots (x-n+1) = n! \; \binom{x}{n}.$$

The e.g.f. of a binomial Sheffer polynomial sequence $B_n(x) = (B.(x))^n$ is

$$ e^{B.(x)t} = e^{xB(t)},$$

and the lowering operator defined by

$$L \; B_n(x) = n \; B_{n-1}(x)$$

is

$$L = B^{(-1)}(D),$$

where $B^{(-1)}(t)$ is the compositional inverse about the origin of $B(t)$. This is verified by

$$ B^{(-1)}(D) \; e^{B.(x) t} = B^{(-1)}(D) \; e^{x B(t)} = B^{(-1)}(B(t)) \; e^{x B(t)} = t \; e^{B.(x)t}.$$

The falling factorials have the e.g.f

$$e^{(x).t} = (1+t)^x = e^{x \ln(1+t)},$$

so their lowering op is

$$L = e^{D}-1 .$$

Check:

$$L \; (x)_n = (e^{D}-1) \; (x)_n = \frac{(x+1)!}{(x+1-n)} - \frac{x!}{(x-n)!}$$

$$= (x+1 -(x-n+1)) \; \frac{x!}{(x-n+1)!} = n \; (x)_{n-1} . $$

Consequently,

$$\frac{(e^D-1)^k}{k!} \; (x)_n \; |_{x=0}= \binom{n}{k} \; (0)_{n-k} = \delta_{n-k}.$$

A polynomial of degree $n$ can be expanded as

$$p_n(x) = \sum_{k=0}^n \; c_k \; (x)_k$$

and the coefficients determined as

$$c_k = \frac{D_{x=0}^k}{k!} \; p_n(x) ,$$

giving the series expansion

$$p_n(x) = \sum_{k \geq 0} [\; (e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}.$$

The lowering op is the forward difference op

$$(e^D -1) \; f(x) = f(x+1) - f(x), $$

and the $n$-th finite forward difference is

$$(e^D -1)^n \; f(x) = (-1)^n \; \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{kD} \; f(x)$$

$$ = (-1)^n \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x+k) := (-1)^n \; \nabla_{k=0}^n \; f(x+k).$$

(For the purists: I use the convenient convention consistent with limits of the entire reciprocal of Euler's gamma function that $\binom{n}{m}$ vanishes for $m > n$. This allows invariance of the notation when $n$ is generalized to real or complex numbers.)

Then

$$p_n(x) = \sum_{k \geq 0} [\;(e^D-1)^k \; (x)_n \; |_{x=0} \;] \; \frac{(x)_k}{k!}$$

$$ = \sum_{k \geq 0} \binom{x}{k} \; (-1)^k \; \nabla_{m=0}^k \; p_n(m)$$

$$ = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m),$$

the Newton series for the polynomial $p_n(x)$.

The backward difference operator is

$$(1- e^{-D}) \; f(x) = f(x) - f(x-1).$$

The compositional inverse of $1-e^{-t}$ is $-\ln(1-t)$, so the backward difference operator is the lowering op of the binomial Sheffer sequence with the e.g.f

$$ e^{B.(x)t} = e^{-x \ln(1-t)} = (1-t)^{-x},$$

which is the e.g.f. for the rising factorials, a.k.a. the Pochhammer symbol,

$$(x)_\bar{n} = (x+n-1)(x+n) \cdots (x) = n! \; \binom{x-1+n}{n} = (-1)^n\; n! \; \binom{-x}{n}.$$

The $n$-th order backward difference is

$$(1-e^{-D})^n \; f(x) = \sum_{k=0}^n (-1)^k \; \binom{n}{k} \; e^{-kD} \; f(x)$$

$$ = \; \sum_{k=0}^\infty \; (-1)^k \; \binom{n}{k} \; f(x-k) := \nabla_{k=0}^n \; f(x-k),$$

and

$$p_n(x) = \sum_{k \geq 0} [\;(1-e^{-D})^k \; (x)_n \; |_{x=0} \;] \; (-1)^k \; \frac{(-x)_k}{k!}$$

$$ = \sum_{k \geq 0} (-1)^k \; \binom{-x}{k} \; \nabla_{m=0}^k \; p_n(-m)$$

$$ = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

Check: $p_n(-n) = \nabla_{k=0}^{n} \; \nabla_{m=0}^k \; p_n(-m).$

These are the umbral relations cast by

$$y^x= (1-(1-y))^x = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; y^m$$

$$ = (1-(1-\frac{1}{y})^{-x} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; y^{-m}$$

where $=$ is understood to mean equivalence under analytic continuation, and in umbral notation, these Newton series may be expressed succinctly as

$$p_n(x) = (p_n(.))^x = (1-(1-p_n(.)))^x =\nabla_{k=0}^{x} \; (1-p_n(.))^k $$

$$= \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(.)^m = \nabla_{k=0}^{x} \; \nabla_{m=0}^k \; p_n(m)$$

$$ = (1-(1-\frac{1}{p_n(.)}))^{-x} =\nabla_{k=0}^{-x} \; (1-\frac{1}{p_n(.)})^k $$

$$= \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(.)^{-m} = \nabla_{k=0}^{-x} \; \nabla_{m=0}^k \; p_n(-m).$$

(Info on connections between Mellin transform and Newton series interpolation and on the relations of the forward, backward, and central finite differences to the derivative and, therefore, to the slope of the tangent line to a point on a curve (and curvature, etc.) will appear in a couple of days on my blog.)