In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, in the area of
complex analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
, the general difference polynomials are a
polynomial sequence
In mathematics, a polynomial sequence is a sequence of polynomials indexed by the nonnegative integers 0, 1, 2, 3, ..., in which each index is equal to the degree of the corresponding polynomial. Polynomial sequences are a topic of interest in ...
, a certain subclass of the
Sheffer polynomials, which include the
Newton polynomial
In the mathematical field of numerical analysis, a Newton polynomial, named after its inventor Isaac Newton, is an interpolation polynomial for a given set of data points. The Newton polynomial is sometimes called Newton's divided differences inter ...
s, Selberg's polynomials, and the Stirling interpolation polynomials as special cases.
Definition
The general difference polynomial sequence is given by
:
where
is the
binomial coefficient
In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the t ...
. For
, the generated polynomials
are the Newton polynomials
:
The case of
generates Selberg's polynomials, and the case of
generates Stirling's interpolation polynomials.
Moving differences
Given an
analytic function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex ...
, define the moving difference of ''f'' as
:
where
is the
forward difference operator
A finite difference is a mathematical expression of the form . Finite differences (or the associated difference quotients) are often used as approximations of derivatives, such as in numerical differentiation.
The difference operator, commonly d ...
. Then, provided that ''f'' obeys certain summability conditions, then it may be represented in terms of these polynomials as
:
The conditions for summability (that is, convergence) for this sequence is a fairly complex topic; in general, one may say that a necessary condition is that the analytic function be of less than
exponential type
In complex analysis, a branch of mathematics, a holomorphic function is said to be of exponential type C if its growth is bounded by the exponential function e^ for some real-valued constant C as , z, \to\infty. When a function is bounded in ...
. Summability conditions are discussed in detail in Boas & Buck.
Generating function
The
generating function
In mathematics, a generating function is a representation of an infinite sequence of numbers as the coefficients of a formal power series. Generating functions are often expressed in closed form (rather than as a series), by some expression invo ...
for the general difference polynomials is given by
:
This generating function can be brought into the form of the
generalized Appell representation
:
by setting
,
,
and
.
See also
*
Carlson's theorem
*
Bernoulli polynomials of the second kind
References
{{reflist
*
Ralph P. Boas, Jr. and
R. Creighton Buck, ''Polynomial Expansions of Analytic Functions (Second Printing Corrected)'', (1964) Academic Press Inc., Publishers New York, Springer-Verlag, Berlin. Library of Congress Card Number 63-23263.
Polynomials
Finite differences
Factorial and binomial topics