Next Article in Journal
TIBW: Task-Independent Backdoor Watermarking with Fine-Tuning Resilience for Pre-Trained Language Models
Previous Article in Journal
Accurate Sum and Dot Product with New Instruction for High-Precision Computing on ARMv8 Processor
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Umbral Interpolation: A Survey

by
Francesco Aldo Costabile
,
Maria Italia Gualtieri
and
Anna Napoli
*
Department of Mathematics and Computer Science, University of Calabria, 87036 Arcavacata, Italy
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(2), 271; https://doi.org/10.3390/math13020271
Submission received: 12 November 2024 / Revised: 12 January 2025 / Accepted: 14 January 2025 / Published: 15 January 2025
(This article belongs to the Section E6: Functional Interpolation)

Abstract

:
A survey on recent umbral polynomial interpolation is presented. Some new results are given, following a matrix-determinant approach. Some theoretical and numerical examples are provided.

1. Introduction

Interpolation is a very old theme [1,2,3]. The simple theorem of polynomial interpolation, on which much of practical numerical analysis is based, states that a straight line can pass through two points, a parabola through three, a cubic through four, and so on [4].
Modern interpolation theory is concerned with reconstructing functions on the basis of certain assumed known functional information [5,6]. In many cases, the functionals are linear. Hence, we consider the following general problem.
Let
  • X be a linear space of real functions defined on the interval [ a , b ] , continuous and with continuous derivatives of all necessary orders;
  • n N , P n be the space of polynomials of degree less than or equal to n;
  • Q be a delta-operator (In [7,8] the authors use the notation δ -operator, while in [9,10,11,12] the notation delta-operator) (see [13,14,15,16] and references therein), i.e.,
    y X , Q y = i = 0 c i y ( i ) i ! , c 0 = 0 , c 1 0 , c i R , i 0 ;
  • L be a linear functional on X of the following type
    L ( y ) = a b a 0 ( x ) y ( x ) + + a n ( x ) y ( n ) ( x ) d x + i = 1 m 0 b i , 0 y ( x i , 0 ) + i = 1 m 1 b i , 1 y ( x i , 1 ) + + i = 0 m n b i , n y ( n ) ( x i , n ) ,
    where the functions a i ( x ) are assumed to be piecewise continuous in [ a , b ] and the points x i j to lie in [ a , b ] ;
  • X Q , n = y X | Q i y X , i = 0 , , n , n N , being N the set of natural numbers.
Then, for each y X Q , n , we look for a polynomial P n [ y ] , if it exists, of degree less than or equal to n such that
y = P n [ y ] + R n [ y ] ,
with
L Q i P n [ y ] = L Q i y , i = 0 , , n .
The polynomial P n [ y ] and R n [ y ] in (3) are called umbral interpolant and remainder, respectively. This problem is called umbral-interpolation problem for  ( L , Q ) (see [17,18] and references therein), and the conditions (4) are called umbral conditions for ( L , Q ) .
The term umbral interpolation is also used for other different topics (see [19,20] and references therein).
The paper is organized as follows: Section 2 contains the preliminaries, and Section 3 deals with the problem of umbral interpolation. In Section 4, some known and new examples of umbral interpolating polynomials associated with different types of delta operators are given. In Section 5, we compare the error in the approximation of some given function by many of these interpolating polynomials. Section 6 is dedicated to a brief conclusion. Finally, the Appendix A contains some tables that summarize the cases of umbral interpolation previously considered.

2. Preliminaries

Let the delta-operator Q be assigned.
Theorem 1 
(The Main Theorem [21]). There exists a unique polynomial sequence, denoted by p n n N , such that
p 0 ( x ) = 1 , p n ( 0 ) = 0 , Q p n = n p n 1 .
This polynomial sequence (p.s. in the following [22,23]) is said basic or associated with the operator Q, and it is of binomial type (see [13,14,16,24,25] and references therein).
For the proof of Theorem 1, we give some preliminary results.
Proposition 1 
(Numerical sequence and related matrix [16]). We consider the numerical sequence b ¯ i i N such that
b ¯ i = c i , i = 0 , 1 , ,
with c i as in (1). Then we can build the nonsingular, lower triangular matrix B ¯ n = b ¯ i , k i , k = 0 , , n by the following algorithm ([16], p. 8):
b ¯ , 0 = δ , 0 , b ¯ , 1 = b ¯ , = 0 , , n , b ¯ , k = 1 k j = 1 k + 1 j b ¯ j , 1 b ¯ j , k 1 , = 2 , , n , k = 2 , , , b ¯ , k = 0 , = 0 , , n , k = + 1 , , n .
For n the matrix B ¯ n is an infinite, lower triangular matrix [26,27], denoted by B ¯ .
Proposition 2 
([16]). We consider the numerical sequence b i i N defined as
b 0 = 0 , k = 1 n b ¯ n , k b k = δ n , 1 , n = 1 , 2 , ,
with b ¯ n , k as in (5). Then, by Algorithm (5), in which b ¯ i is replaced with b i , the numerical sequence b i i N generates the lower triangular matrix B n = b j , k j , k = 0 , , n . For n the matrix B n is an infinite lower triangular matrix, denoted by B.
Remark 1. 
We note that b ¯ i , i = b ¯ 1 i 0 and b i , i = b 1 i 0 . Hence, for every n the matrices B n B and B ¯ n B ¯ are nonsingular.
The matrices B n and B ¯ n (B and B ¯ , respectively, in the infinite case) are inverse of each other and are called matrices of binomial type ([16], p. 7).
The numerical sequences b i i N and b ¯ i i N generate the formal power series
f ( t ) = i = 0 b i t i i ! , f ¯ ( t ) = i = 0 b ¯ i t i i ! ,
respectively. They are called δ-series [13,14], being b 0 = b ¯ 0 = 0 , and b 1 0 , b ¯ 1 0 .
Proposition 3 
([16], p. 9). With the previous hypothesis and notation, we obtain
f ( f ¯ ( t ) ) = t = f ¯ ( f ( t ) ) 1 k ! ( f ( t ) ) k = i = 0 b i , k t i i ! 1 k ! ( f ¯ ( t ) ) k = i = 0 b ¯ i , k t i i ! .
Proof of Theorem 1.
Let us consider the matrix B n = b j , k j , k = 0 , , n with elements as in Propositions 2 and 3. It defines the p.s. p n n N with
p 0 ( x ) = 1 , p n ( x ) = k = 0 n b n , k x k , n N .
It can be proved (see ([17], pp. 124–125)) that
e x f ( t ) = n = 0 p n ( x ) t n n ! .
with f ( x ) as in (6).
It is easy to verify that
p n ( 0 ) = b n , 0 = 0 , n 1 .
Then, taking into account the linearity of Q and the previous relations, we obtain
n = 0 Q p n ( x ) t n n ! = Q n = 0 p n ( x ) t n n ! = Q e x f ( t ) = b ¯ 1 f ( t ) + b ¯ 2 f 2 ( t ) 2 ! + + b ¯ n f n ( t ) n ! + e x f ( t ) = t n = 0 p n ( x ) t n n ! = n = 0 n p n 1 ( x ) t n n ! .
This implies Q p n = n p n 1 .
Proposition 4 
([16], pp. 31–32). For the elements of p n n N the following determinant form holds
p 0 ( x ) = 1 , p n ( x ) = 1 n + 1 i = 0 n b ¯ i , i x x 2 x n 1 x n b ¯ 1 , 1 b ¯ 2 , 1 b ¯ n 1 , 1 b ¯ n , 1 0 0 0 b ¯ n 1 , n 1 b ¯ n , n 1 , n > 0 .
Now, let L be a linear functional on X with L as in (2). We set
β n = L ( p n ) , n = 0 , 1 ,
The sequence β n n N generates the numerical sequence α n n N , called associated with β k k N , by the binomial convolution product (also called Hurwitz product) [28,29]:
α 0 = 1 β 0 , k = 0 n n k α k β n k = 0 .
In [30], sequences of type α n n N are called convolution sequences.
Then we build the p.s. a n n N with
a 0 ( x ) = α 0 0 , a n ( x ) = k = 0 n n k α k x n k .
It is easy to verify that
a n ( x ) = n a n 1 ( x ) , a n ( 0 ) = α n , n N .
Furthermore, if we set
g ( t ) = n = 0 α n t n n ! ,
we obtain
g ( t ) e x t = n = 0 a n ( x ) t n n !
and
1 g ( t ) · g ( t ) = 1 , 1 g ( t ) = n = 0 β n t n n ! .
The p.s. a n n N , so defined, is known as Appell p.s. (see [16,31,32] and references therein).
Taking into account that the set of polynomial sequences is a group with respect to the umbral composition ([17], p. 58), we can consider the umbral composition of the Appell p.s. a n n N and the binomial-type p.s. p n n N as in (7). Thus, we obtain the p.s. s n n N with
s n ( x ) = k = 0 n n k α k p n k ( x ) , n N .
It is proved [33] that the p.s. s n n N has the following determinant form
s 0 ( x ) = 1 β 0 , s n ( x ) = 1 n β 0 n + 1 p 0 ( x ) p 1 ( x ) p 2 ( x ) p n 1 ( x ) p n ( x ) β 0 β 1 β 2 β n 1 β n 0 β 0 2 1 β 1 n 1 1 β n 2 n 1 β n 1 0 0 β 0 n n 1 β 1 , n > 0 ,
with β i = L ( p i ) .
Moreover, the following recurrence form holds [33]:
s n ( x ) = 1 β 0 p n ( x ) i = 0 n 1 n i β n i s i ( x ) .
From (11) and Theorem 1 it follows that
Q s n = n s n 1 .
Proposition 5 
([33]). We obtain
L ( Q i s n ) = i ! n i δ i , n , i = 0 , , n ,
where δ i , n is the Kroneker symbol.
Proof. 
From Theorem 1 we have
L ( Q i s n ) = n i ̲ L ( s n i ) = i ! n i δ i , n ,
where n i ̲ is the falling factorial [34]. In the second equality, we applied (11), (9) and (10).   □
We observe that the p.s. s n n N is a Sheffer p.s. (see [16,17,21,33,35] and references therein). Then the set s 0 ( x ) , , s n ( x ) is a basis for P n , and we call it umbral basis for ( L , Q ) or simply umbral basis.
In summary, once a delta-operator Q and a linear functional L are assigned,
  • there exists a unique p.s. p n n N such that
    p 0 ( x ) = 1 , p n ( 0 ) = 0 , Q p n = n p n 1 ;
    the p.s. p n n N is of binomial-type;
  • assuming β n = L ( p n ) as in (9), there exists the numerical sequence α k k N , such that
    α 0 = 1 β 0 , β 0 0 , k = 0 n n k α k β n k = 0 ;
  • there exists the p.s. a n n N such that
    a n ( x ) = n a n 1 ( x ) , a n ( 0 ) = α n ;
    the p.s. a n n N is an Appell p.s. [31];
  • finally, we consider the umbral composition
    s n ( x ) = a n p n ( x ) = k = 0 n k α k p n k ( x ) .
    The p.s. s n n N is a Sheffer p.s. which satisfies
    Q s n = n s n 1 .
    Hence, as the linear functional L, with L as in (2), varies, the set of polynomial sequences s n n N in (16) is the set of Sheffer polynomial sequences associated with the delta-operator Q. It is an umbral basis for ( L , Q ) [16,17,18].

3. Umbral Interpolation

Now, we consider the problem of umbral interpolation mentioned in the Introduction. We first extend the problem to the more general case.
Let L be a linear functional on X with L as in (2), Q a delta-operator on P n and ω i R , i = 0 , 1 , , n , not all zero. We want to solve the following problem: determine, if it exists, the polynomial P n P n such that
L ( Q i P n ) = i ! ω i , i = 0 , , n .
This problem is called umbral-interpolation problem in P n . The conditions (17) are called umbral-interpolant conditions.
Theorem 2 
([18]). Let s k k N be the umbral basis for ( L , Q ) . The polynomial
P n ( x ) = i = 0 n ω i s i ( x )
is the unique polynomial of degree less than or equal to n satisfying the umbral-interpolation problem, i.e., such that
L ( Q i P n ) = i ! ω i , i = 0 , , n .
Proof. 
The proof is a straightforward consequence of Proposition 5 and the linearity of Q.    □
Corollary 1.
(Representation of polynomials). Each P n P n can be written as
P n ( x ) = i = 0 n L ( Q i P n ) s i ( x ) i ! .
Now, we extend the concept of umbral interpolation to the real space of functions X.
Theorem 3.
(The main Theorem). Let Q be a delta-operator on the linear space X. We set
X Q , n = f X : Q i f X , i = 0 , , n , n N .
Let L be a linear functional on X Q , n , with L as in (2). Let s n n N be the umbral basis for L , Q . Then, for every f X Q , n , the polynomial
P n [ f ] ( x ) = i = 0 n L Q i f s i ( x ) i !
is the unique polynomial of degree less than or equal to n such that
L ( Q i P n [ f ] ) = L Q i f , i = 0 , 1 , , n .
Proof. 
The proof follows from Theorem 2 (for details see ([17], pp. 392–394)).    □
Definition 1. 
The polynomial P n [ f ] is called the  umbral interpolant  for the function f related to L , Q . The conditions (20) are known as  umbral interpolant conditions  of f for L , Q .
The difference 
R n [ f ] ( x ) = f ( x ) P n [ f ] ( x ) , x [ a , b ] ,
is called  truncation error  or  remainder  at the point x.
Theorem 4 
([18]). For any g P n , we obtain
R n [ g ] ( x ) = 0 , x [ a , b ] .
If q n + 1 is a polynomial of degree n + 1 , then
x [ a , b ] s . t . R n [ q n + 1 ] ( x ) 0 .
Proof. 
The proof follows from (8) and (13), taking into account the (15).    □
We say that P n [ f ] is an approximant of order n for f.
For every fixed x in [ a , b ] , we may consider the remainder R n [ f ] ( x ) as a linear functional which acts on f and annihilates all elements of P n . For any fixed x, it can be considered to be a linear functional as in (2). Therefore, we can apply Peano’s Theorem ([4], p. 69).
Theorem 5 
([18]). Let f C n + 1 [ a , b ] . The following representation for R n [ f ] ( x ) holds:
R n [ f ] ( x ) = 1 n ! a b K n ( x , t ) f n + 1 t d t , x [ a , b ] ,
where
K n ( x , t ) = R n x t + n = x t + n i = 0 n L x Q i ( x t ) + n s i ( x ) i ! ,
being x + n the truncated power function ([4], p. 70).
Remark 2. 
From (19), if f ( n + 1 ) L p [ a , b ] and K n ( x , t ) L q [ a , b ] with 1 p + 1 q = 1 , then, by applying the known Holder’s inequality, classic bounds for R n [ f ] can be obtained.
Proposition 6. 
Let T n a [ f ] ( x ) be the Taylor polynomial for the function f with initial point a. Then the following identity holds:
P n [ f ] ( x ) = T n a [ f ] ( x ) 1 n ! i = 0 n s i ( x ) i ! a b L x Q i ( x t ) + n f ( n + 1 ) ( t ) d t .
Moreover,
P n [ f ] ( x ) T n a [ f ] ( x ) , x a .
Proof. 
The proof follows from Theorem 5, after easy calculations.    □
In order to provide another umbral-interpolant for f, if z is a fixed point in [ a , b ] , we consider the polynomial
P ¯ n , z [ f ] ( x ) P n [ f ] ( x ) + f ( z ) P n , z [ f ] ( z ) = f ( z ) + i = 1 n L Q i f s i ( x ) s i ( z ) i ! .
Theorem 6 
([18]). The polynomial P ¯ n , z [ f ] is an approximant of order n for f, i.e.,
f ( x ) = P ¯ n , z [ f ] ( x ) + R ¯ n , z [ f ] ( x ) ,
with
R ¯ n , z [ q i ] ( x ) = 0 , i = 0 , , n , q i P i , R ¯ n , z [ q n + 1 ] ( x ) 0 for at least an x [ a , b ] .
Proof. 
The proof follows from Theorem 4.    □
Theorem 7 
([18]). The polynomial P ¯ n , z [ f ] satisfies the following interpolating conditions
P ¯ n , z [ f ] ( z ) = f ( z ) , L Q i P ¯ n [ f ] = L ( Q i f ) , i = 1 , , n .
P ¯ n , z [ f ] ( x ) is called the complementary umbral interpolating polynomial ([17], p. 394) for f X Q , n .
The remainder is
R ¯ n [ f , z ] ( x ) = f ( x ) P ¯ n [ f , z ] ( x ) , x a , b ,
and it is exact on P n . It can be written as
R ¯ n [ f , z ] ( x ) = R n [ f ] ( x ) R n [ f ] ( z ) .

4. Examples

Now, we give some known and unknown examples of umbral interpolation. For the sake of brevity, in the examples, we do not consider the study of the remainder, referring to it in the cited bibliography.

4.1. Umbral Interpolation Related to Q = D x

Let us consider as delta-operator the classic operator of differentiation
Q = D x .
For simplicity, in the following, we will use D instead of D x if there is no possibility of misunderstanding.
The associated sequence is the canonical basis x n n N and X Q , n = C n [ 0 , 1 ] .
If L is a linear functional on X Q , n , with L as in (2), the umbral basis for ( D , L ) is the Appell p.s. a L , n n N such that
a L , 0 ( x ) = 1 β 0 a L , n ( x ) = 1 n β 0 n + 1 1 x x 2 x n β 0 β 1 β 2 β n 0 β 0 2 1 β 1 n 1 β n 1 0 0 β 0 n n 1 β 1 ,
with β i = L x i , i 0 .
In this case, the umbral interpolating polynomial and the related complementary polynomial for f X Q , n are, respectively,
A n [ f ] ( x ) = i = 0 n L f ( i ) a L , i ( x ) i ! ,
A ¯ n [ f ] ( x ) = f ( z ) + i = 1 n L f ( i ) a L , i ( x ) a L , i ( z ) i ! .
In (22b) z is any point in [ 0 , 1 ] . From now on, unless otherwise specified, we set z = 0 .
The interpolatory conditions are, respectively,
L A n [ f ] ( i ) = L f ( i ) , i = 0 , , n
A ¯ n [ f ] ( 0 ) = f ( 0 ) , L A ¯ n [ f ] ( i ) = L f ( i ) , i = 1 , , n .
We call this type of interpolation Appell umbral interpolation [36].

4.1.1. Generalized Taylor Polynomial

Assuming
L ( f ) = f ( x 0 ) , x 0 0 , 1 ,
the umbral polynomial (22a) coincides with (22b) and becomes
A n [ f ] ( x ) = A ¯ n [ f ] ( x ) = f ( x 0 ) + i = 1 n f ( i ) ( x 0 ) ( x x o ) i i ! ,
that is, the well-known Taylor polynomial for f. Therefore, we call the polynomial (22b) generalized Taylor polynomial of degree n.

4.1.2. Bernoulli of the First Kind Umbral Interpolation

Assuming
L ( f ) = 0 1 f ( x ) d x ,
we obtain
β k = L ( x k ) = 1 k + 1 , k 0 .
Then the umbral polynomial (22a) becomes the well-known Bernoulli polynomial of the first kind [36,37,38], B i ( x ) . The umbral Bernoulli interpolant is (see [16,36] and references therein)
B n [ f ] ( x ) = 0 1 f ( x ) d x + i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) B i ( x ) i ! .
It is also known as expansion in Bernoulli polynomials [39] or umbral Bernoulli interpolant [17].
The complementary polynomial is
B ¯ n [ f ] ( x ) = f ( 0 ) + i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) B i ( x ) B i ( 0 ) i ! .
This polynomial appeared for the first time in [40], and then, it has been applied in several topics: interpolation of real functions [18], numerical solution of nonlinear equations [41], numerical solution of BVPs by collocation methods [42,43].
The umbral interpolatory conditions for (24) are
0 1 f ( x ) d x = 0 1 B n [ f ] ( x ) d x ,
f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) = 0 1 B n [ f ] ( i ) ( x ) d x , i = 1 , , n .
Similarly, for the polynomial (24) the umbral interpolatory conditions are
f ( 0 ) = B ¯ n [ f ] ( 0 ) , f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) = 0 1 B ¯ n [ f ] ( i ) ( x ) d x , i = 1 , , n .
Figure 1 shows the geometric interprestation of the interpolatory condition (26a) for i = 1 .

4.1.3. Euler Umbral Interpolation

Euler polynomials, introduced by Euler in 1740 [44], are Appell polynomials. Hence, they are often related to the theory of Bernoulli polynomials. There is a wide range of literature on them and several interesting applications.
Assuming
L ( f ) = f ( 0 ) + f ( 1 ) 2 ,
we obtain
β k = L ( x k ) = 1 , k = 0 1 2 , k 1 k N .
Then the Appell p.s. (22a) is the well-known Euler p.s. ([16], p. 124, [36]) E n n N , with
E n ( x ) = k = 0 n n k E n k ( 0 ) x k , n N .
The umbral interpolating polynomial is
E n [ f ] ( x ) = f ( 0 ) + f ( 1 ) 2 + i = 1 n f ( i ) ( 0 ) + f ( i ) ( 1 ) 2 E i ( x ) i ! .
The related umbral complementary interpolant is
E ¯ n [ f ] ( x ) = f ( 0 ) + i = 1 n f ( i ) ( 0 ) + f ( i ) ( 1 ) 2 E i ( x ) E i ( 0 ) i ! .
The umbral interpolatory conditions are, respectively,
f ( i ) ( 1 ) + f ( i ) ( 0 ) 2 = E n [ f ] ( i ) ( 1 ) + E n [ f ] ( i ) ( 0 ) 2 , i = 0 , , n ,
and
f ( 0 ) = E ¯ n [ f ] ( 0 ) , f ( i ) ( 1 ) + f ( i ) ( 0 ) 2 = E ¯ n [ f ] ( i ) ( 1 ) + E ¯ n [ f ] ( i ) ( 0 ) 2 , i = 1 , , n .
Figure 2 shows the geometric interpretation of the interpolatory condition (29) for i = 0 and n = 3 .
We observe that if we introduce the mean operator [39]
M f = f ( x + 1 ) + f ( x ) 2 ,
we have L ( f ) = M f | x = 0 .

4.1.4. First Kind Bernoulli-Type Umbral Interpolation

Let L be the following linear functional on [ 1 , 1 ]
L ( f ) = 1 2 1 1 f ( x ) d x .
We obtain
β k = L ( x k ) = 1 k = 0 , 0 o d d k , 1 k + 1 , e v e n k , k N .
The umbral basis for ( L , D ) is the p.s. B n n N with elements given by
B 0 ( x ) = 1 , B n ( x ) = ( 1 ) n 1 x x 2 x n 1 0 1 3 β n 0 1 0 n 1 β n 1 0 0 1 0 .
The first six polynomials of the p.s. B n n N are
B 0 ( x ) = 1 , B 1 ( x ) = x , B 2 ( x ) = x 2 1 3 , B 3 ( x ) = x 3 x ,
B 4 ( x ) = x 4 2 x 2 + 7 15 , B 5 ( x ) = x 5 10 3 x 3 + 7 3 x .
Their plots are in Figure 3.
Observe that
B n ( x ) = 2 n B n x + 1 2 , B n ( x ) = 1 2 n B n 2 x 1 2 .
That is, the polynomials B n ( x ) coincide, up to a constant, with the classical Bernoulli polynomials of the first kind, translated in the interval [ 1 , 1 ] . Moreover, the subsequences B 2 n n N and B 2 n + 1 n N are the even and odd Lidstone-type polynomial sequences, respectively, introduced in ([17], p. 238) (see also the reference therein). The p.s. B n n N has been introduced in [10,11,45] by the classical theory of Rota et al. [13,14,46].
This theory is very different from the determinant approach used here.
The umbral interpolating polynomials is
B n [ f ] ( x ) = 1 2 1 1 f ( x ) d x + 1 2 i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 1 ) B i ( x ) i ! ,
and the related complementary is
B ¯ n [ f ] ( x ) = f ( z ) + 1 2 i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 1 ) B i ( x ) B i ( z ) i ! , z [ 1 , 1 ] .
The interpolatory conditions are
1 1 f ( i ) ( x ) d x = 1 1 B n [ f ] ( i ) ( x ) d x , i = 0 , , n
and
B ¯ n [ f ] ( z ) = f ( z ) , 1 1 f ( i ) ( x ) d x = 1 1 B ¯ n [ f ] ( i ) ( x ) d x , i = 1 , , n .

4.2. Umbral Interpolation Related to Q = Δ h

In this section, we look at some known and new examples of umbral interpolation related to the finite difference operator [26,39,47,48,49]
Q = Δ h y ( x ) = y ( x + h ) y ( x ) , h > 0 , x [ 0 , 1 ] .
It is a delta-operator.
For simplicity of notation, in the following, we omit showing the dependence on h in Δ h , unless absolutely necessary.
Let us define the finite difference operator of order i, i N , as
Δ i y ( x ) = Δ ( Δ i 1 y ( x ) ) = j = 0 i ( 1 ) i j i j y ( x + j h ) ,
with Δ 0 = I , Δ 1 = Δ , being I the identity operator.
Moreover, let Δ 1 denote the indefinite summation operator, defined in ([39], pp. 100–101) as the linear operator inverse of the finite difference operator Δ . It is related to the finite difference operator as the indefinite integral is related to the derivative operator.
From (31) we obtain [50]
Δ y ( x ) = i = 1 h i y ( i ) ( x ) i ! .
Hence Δ is a delta-operator, with b ¯ i = h i , i = 1 , 2 , . It is known [50] that the elements of the associated p.s. are the generalized falling factorials x n , h x n ([39], p. 45), that is,
x 0 = 1 , x n = x x h x 2 h x ( n 1 ) h , n 1 .
Then we obtain
Δ x n = n h x n 1 .
Let L be a linear functional on X Q , n with L as in (2). We set
β n = L x n , n 0 .
Then the umbral basis for ( L , Δ ) is the p.s.
A 0 L x = 1 β 0 , A n L x = 1 n β 0 n + 1 1 x 1 x 2 x n β 0 β 1 β 2 β n 0 β 0 2 1 β 1 n 1 β n 1 0 0 β 0 n n 1 β 1 .
The related umbral interpolant of f X Q , n is the polynomial
P L , n [ f ] ( x ) = i = 0 n L Δ i f A i L ( x ) h i i ! ,
and the complementary umbral interpolant is
P ¯ L , n [ f ] ( x ) = f ( 0 ) + i = 1 n L Δ i f A i L ( x ) A i L ( 0 ) h i i ! .
Remark 3. 
We observe that if L ( f ) = f ( 0 ) , the polynomial (34) coincides with the well-known Newton’s forward difference interpolating polynomial on the data points x 0 + i h , f ( x 0 + i h ) , i = 0 , , n .
Using relation (32) and the linearity of the operator L, the umbral interpolating conditions
L ( Δ i P L , n [ f ] ) = L ( Δ i f ) , i = 0 , 1 , , n
are equivalent to the following conditions
L ( P L , n [ f ] ( x 0 + i h ) ) = L ( f ( x 0 + i h ) ) , i = 0 , 1 , , n .
Moreover, the polynomial P L , n [ f ] can be expressed in the form
P L , n [ f ] ( x ) = i = 0 n L f ( x 0 + i h ) A ^ n , i ( x ) , x 0 [ 0 , 1 ] ,
where
A ^ n , i ( x ) = 1 i ! j = i n ( 1 ) j i A j L ( x ) h j ( j i ) ! .
For this reason, we can see the polynomial P L , n [ f ] as a generalization of the classical interpolating polynomial on equidistant points.

4.2.1. Generalized Bernoulli of the Second Kind Umbral Interpolation

Now we consider the linear functional L defined as [50]
L ( f ) = D Δ 1 f x = 0 .
We obtain
β i = D Δ 1 x i x = 0 = ( 1 ) i i + 1 h i 1 i ! , i 0 .
We call the related polynomial A n L , given in (50) generalized Bernoulli polynomial of the second kind and denote it by B n I I .
We observe that B n I I ( x ) = n ! h n + 1 ψ n x h , where ψ n is the Bernoulli polynomial of the second kind, as defined in ([39] p. 265). Indeed, starting from the determinant definition, we can easily prove the following relationships:
Δ B n I I ( x ) = n h B n 1 I I ( x ) D B n I I ( x ) = n h x n 1 , D B n I I ( 0 ) = 0 ,
Which, in [39], for h = 1 and up to a multiplicative factor, characterizes the sequence of Bernoulli polynomials of the second kind.
According to (34), the Bernoulli interpolating polynomial of the second kind is
B n I I [ f ] ( x ) = i = 0 n D Δ 1 Δ i f x = 0 B i I I ( x ) h i i ! = h Δ 1 D f x = 0 + i = 1 n j = 0 i 1 1 h i i ! i 1 j ( 1 ) i 1 j f ( j h ) B i I I ( x ) ,
or
B n I I [ f ] ( x ) = h Δ 1 D f x = 0 + i = 0 n 1 f ( i h ) B i I I ( x ) , B i I I ( x ) = j = i n 1 j i ( 1 ) j i h j + 1 ( j + 1 ) ! B j + 1 I I ( x ) .
The related interpolating conditions, after calculations, can be expressed as
B n I I [ f ] ( i h ) = f ( i h ) , i = 0 , , n .
According to (35), the complementary umbral-interpolant Bernoulli polynomial of the second kind is
B ¯ n I I [ f ] ( x ) = f ( 0 ) + i = 1 n j = 0 i 1 i 1 j ( 1 ) i 1 j f ( j h ) B i I I ( x ) B i I I ( 0 ) h i i ! .
By using the polynomials B i I I [ f ] , it becomes
B ¯ n I I [ f ] ( x ) = f ( 0 ) + i = 0 n 1 f ( i h ) B i I I ( x ) B i I I ( 0 ) .
The polynomial B ¯ n I I [ f ] satisfies the conditions [50]
B ¯ n I I [ f ] ( 0 ) = f ( 0 ) , B ¯ n I I [ f ] ( i h ) = f ( i h ) , i = 1 , , n .
For this interpolating polynomial, there is a nice expression of the remainder.
Theorem 8 
([50]). Let f C n [ 0 , b ] , with b = n h , and suppose that f ( n + 1 ) exists at each point of ( 0 , b ) . Then we have
B ¯ n I I [ f ] ( x ) f ( x ) = 1 n ! 0 x ( t ) n f ( n + 1 ) ( ξ t ) d t , x [ 0 , b ] , 0 < ξ t < b .
Furthermore, the interpolating polynomial B ¯ n I I [ f ] suggests an application to the initial value problem
y = f ( x , y ( x ) ) , x [ 0 , b ] , y ( 0 ) = y 0 .
In fact, the polynomial
y n ( x ) = y 0 + i = 0 n 1 f i h , y n ( i h ) B ¯ i I I [ f ] ( x ) B ¯ i I I [ f ] ( 0 )
is a collocation polynomial [42,51] for the problem (38).

4.2.2. Generalized Boole Umbral Interpolation

Let us consider the linear functional
L ( f ) = [ M f ] x = 0 ,
where M f is the mean operator defined by ([39], p. 6)
M f ( x ) = f ( x ) + f ( x + h ) 2 .
If we set β i = L ( x ) i we obtain
β i = [ M ( x ) i ] x = 0 = 1 i = 0 , h 2 i = 1 , 0 i 2 .
Substituting these values in (50), we obtain the polynomials A n L called generalized Boole polynomials and denoted by E n I I n N . We observe that E n I I ( x ) = n ! h n J n ( x h ) , where J n ( x ) is the Boole polynomial defined in ([39], p. 317).
Indeed, starting from the determinant definition, we can easily prove the following relations
Δ E n I I ( x ) = n h E n 1 I I ( x ) , E n I I ( 0 ) = ( h ) n n ! 2 n ,
E n I I ( x ) = j = 0 n ( 1 ) j n ! ( n j ) ! h 2 j x n j , n 0 .
The relations (39) in [39], for h = 1 and up to a multiplicative constant, characterize the sequence of Boole polynomials.
Then, according to (34), the umbral Boole interpolant is
E n I I [ f ] ( x ) = i = 0 n f ( i h ) + f ( ( i + 1 ) h ) 2 E i I I ( x ) ,
where
E i I I ( x ) = j = i n j i ( 1 ) j i h j j ! E j I I ( x ) .
The related complementary umbral interpolant is
E ¯ n I I [ f ] ( x ) = f ( 0 ) + i = 0 n f ( i h ) + f ( ( i + 1 ) h ) 2 E i I I ( x ) E i I I ( 0 ) .
The interpolating conditions for the polynomials (40) and (41) are
E I I [ f ] ( i h ) + E I I [ f ] ( ( i + 1 ) h ) 2 = f ( i h ) + f ( ( i + 1 ) h ) 2 , i = 0 , , n ,
E ¯ I I [ f ] ( 0 ) = f ( 0 ) , E ¯ I I [ f ] ( i h ) + E ¯ I I [ f ] ( ( i + 1 ) h ) 2 = f ( i h ) + f ( ( i + 1 ) h ) 2 , i = 1 , , n ,
respectively.

4.3. Umbral Interpolation Related to Q = Δ p

In [10,11,45,52] the authors introduced a new class of difference finite operators defined as
Δ p Δ p , h = 1 h k = m a k T k , , m Z , < m , p = m , a k R , h R + ,
where T is the shift-operator [39], i.e.,
T y ( x ) = y ( x + h ) .
In the following, we omit to show the dependence on h in Δ p , h , unless absolutely necessary.
We obtain
Δ p y ( x ) = 1 h k = m a k T k y ( x ) = 1 h k = m a k y ( x + k h ) , y C [ 0 , 1 ] .
Using a Taylor expansion around h = 0 , we have
Δ p y ( x ) = 1 h j = 0 y ( j ) ( x ) j ! h j k = m a k k j .
In order for Δ p to be a delta-operator, it must satisfy
k = m a k = 0 , k = m k a k = 1 .
An operator of the form (42) that satisfies (45) is called a delta-operator of order  p = m .
To fix all the constants a k , k = , , m , we must impose m 1 further conditions. A possible choice is, for instance [10,11],
γ p = k = m k p a k = 0 , p = 2 , 3 , , m .
When the conditions (45) and (46) are satisfied, the operator (44) provides an approximation of order p for the continuous derivative D x . In fact,
Δ p y y ( x ) + h m ( m + 1 ) ! y ( m + 1 ) k = m a k k m + 1 , p = m .
We note that the delta-operator Δ 1 obtained for = 0 and m = 1 , i.e., Δ 1 y ( x ) = y ( x + 1 ) y ( x ) h , coincides with the operator defined in (31) up to 1 h .
Setting
b ¯ 0 = 0 , b ¯ j = h j 1 k = m a k k j , j 1 ,
in (44), for the delta-operator Δ p the following representation holds:
Δ p y = j = 0 b ¯ j y ( j ) j ! .
Then, by Theorem 1, we can determine the p.s. p n n N associated with Δ p whose elements satisfy
p 0 ( x ) = 1 , p n ( 0 ) = 0 , n 1 , Δ p p n = n p n 1 .
Now, let L be a linear functional with L as in (2). Setting
β k = L ( p k ) , k 0 ,
the umbral basis for ( L , Δ p ) is the p.s. s n L n N with elements given by (12).
Hence the umbral interpolant for ( L , Δ p ) is the polynomial
s n L [ y ] ( x ) = i = 0 n L Δ p i y s i L ( x ) i ! ,
and the related complementary polynomial is
s ¯ n L [ y ] ( x ) = y ( 0 ) + i = 1 n L Δ p i y s i L ( x ) s i L ( 0 ) i ! ,
where the operator Δ p i is defined by
Δ p i y = Δ p Δ p i 1 y , i 1 , Δ p 0 = I .

Δ 2 -Umbral Interpolation

As an example, we can consider the case p = 2 , with = 1 and m = 1 . In this case, we obtain the operator of order 2
Δ 2 , h y Δ 2 y = y ( x + h ) y ( x h ) 2 h .
Observe that, with reference to formulas (42) and (45), a 1 = 1 2 , a 0 = 0 , a 1 = 1 2 .
We note that for h = 1 2 k , we obtain the classic central difference operator [5], ([17], p. 191). Hence Δ 2 , h is an actual generalization of the central difference operator.
By Taylor expansion, we obtain
Δ 2 y = i = 1 b ¯ i y ( i ) i ! ,
where
b ¯ i = h i 1 o d d i , 0 e v e n i .
Hence we have
Δ 2 y = i = 1 h 2 i 2 y ( 2 i 1 ) ( 2 i 1 ) ! .
The power series associated with the operator Δ 2 is
f ¯ ( t ) = i = 1 h 2 i 2 t 2 i 1 ( 2 i 1 ) ! = 1 h sinh h t .
From the numerical sequence b ¯ i i N , by Proposition 1, we obtain the lower triangular matrix B ¯ n ( B ¯ in the infinite case) with elements b ¯ i , j as in (5).
Then, using Proposition 2, we obtain the related sequence of b ¯ i i N , denoted by b i i N , and the matrix B n (B in the infinite case), which is the inverse (conjugate) matrix of B ¯ n ( B ¯ ).
For instance, if n = 5 , we obtain
B ¯ 5 = 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 h 2 0 1 0 0 0 0 4 h 2 0 1 0 0 h 4 0 10 h 2 0 1 ,
b 0 = 0 , b 1 = 1 , b 2 = 0 , b 3 = h 2 , b 4 = 0 , b 5 = 9 h 4 ,
B 5 = 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 h 2 0 1 0 0 0 0 4 h 2 0 1 0 0 9 h 4 0 10 h 2 0 1 .
The numerical sequence b i i N generates the power series
f ( t ) = i = 1 b i t i i ! , b 1 0 ,
which is the compositional inverse of f ¯ ( t ) , as in (49). In this case, taking into account that
f ¯ f ( t ) = f f ¯ ( t ) = t ,
we obtain
f ( t ) = 1 h arcsinh h t = 1 h ln h t + h 2 t 2 + 1 .
Then, the generating function of the p.s. p n n N is
h t + h 2 t 2 + 1 x h = n = 0 p n ( x ) t n n ! .
The matrix B allows us to write the expansion of p n ( x ) in classic monomials. Moreover, denoting by p n ( x ) = [ x ] n , 2 , we obtain
[ x ] n , 2 = k = 0 n b n , k x k , x n = k = 0 n b ¯ n , k [ x ] k , 2 .
From the analogy of the previous formulas with the well-known formulas
( x ) n = k = 0 n s n , k x k , x n = k = 0 n S ¯ n , k ( x ) k ,
where ( x ) n = x ( x 1 ) ( x n + 1 ) , the coefficients b n , k and b ¯ n , k , k = 0 , , n , can be called, respectively, Stirling numbers of the first and second kind of order 2.
From (8) and Proposition 1, we obtain the following determinant form for the elements of this p.s.
[ x ] 0 , 2 = 1 , [ x ] n , 2 = 1 n + 1 k = 0 n b ¯ k , k x x 2 x n 1 x n b ¯ 1 , 1 b ¯ 2 , 1 b ¯ n 1 , 1 b ¯ n , 1 0 b ¯ 2 , 2 b ¯ n 1 , 2 b ¯ n , 2 0 0 b ¯ n 1 , n 1 b ¯ n , n 1 = 1 n + 1 x x 2 x n 1 x n 1 0 b ¯ n 1 , 1 b ¯ n , 1 0 1 b ¯ n 1 , 2 b ¯ n , 2 0 0 1 0 .
Hence, the p.s. [ x ] n , 2 n N is the (basic) p.s. associated with the delta-operator Δ 2 .
The p.s. [ x ] n , 2 n N can be considered to be a generalization of the falling factorial sequence of order 2.
The first polynomials [ x ] n , 2 are (see their graph in Figure 4)
[ x ] 0 , 2 = 1 , [ x ] 1 , 2 = x , [ x ] 2 , 2 = x 2 , [ x ] 3 , 2 = x 3 h 2 x ,
[ x ] 4 , 2 = x 4 4 h 2 x 2 , [ x ] 5 , 2 = x 5 10 h 2 x 3 + 9 h 4 x .
The polynomials [ x ] n , 2 can be written in the following form
[ x ] 0 , 2 = 1 , [ x ] 1 , 2 = x , [ x ] n , 2 = x j = 0 n 2 ( x ( n 2 j 2 ) h ) , n > 1 .
In fact, the polynomials [ x ] n , 2 satisfy Theorem 1 with delta-operator Δ 2 : [ x ] 0 , 2 = 1 and [ x ] 1 , 2 = x from (50); furthermore, after some calculations, we obtain Δ 2 [ x ] n , 2 = n [ x ] n 1 , 2 .
From the second equality in (50) we have that [ x ] n , 2 is a symmetric sequence [17,53].
We note that for h = 1 2 the p.s. [ x ] n , 2 n N becomes the known central factorial p.s. x [ n ] n N ([16], p. 70, [53], p. 8). Therefore, we call [ x ] n , 2 n N  central factorial p.s. of order 2.
A detailed study of this sequence will be published later.
Let L be a linear functional with L ( 1 ) 0 . The umbral basis for ( L , Δ 2 ) is p.s. with elements
d 0 ( x ) = 1 β 0 , d n ( x ) = ( 1 ) n β 0 n + 1 [ x ] 0 , 2 [ x ] 1 , 2 [ x ] n 1 , 2 [ x ] n , 2 β 0 β 1 β 2 β n 0 β 0 2 1 β 1 n 1 β n 1 0 0 β 0 n n 1 β 1 .
where β k = L [ x ] k , 2 .
According to (47) and (48), the umbral interpolating polynomials for ( L , Δ 2 ) are
d n [ y ] ( x ) = i = 0 n L Δ 2 i y d i L ( x ) i ! ,
and
d ¯ n [ y ] ( x ) = y ( 0 ) + i = 1 n L Δ 2 i y d i L ( x ) d i L ( 0 ) i ! .
To give an explicit expression for d n [ y ] ( x ) and d ¯ n [ y ] ( x ) , we need the powers Δ 2 i . After calculations, we obtain
Δ 2 i y ( x ) = 1 2 i h i j = s s i | j + s | ( 1 ) | j + s | + 1 y ( x + ( 2 j + 1 ) h ) o d d i , ( 1 ) | j + s | y ( x + 2 j h ) e v e n i ,
where s = i + 1 2 .
For example,
Δ 2 2 y = 1 4 h 2 y ( x 2 h ) 2 y ( x ) + y ( x + 2 h ) Δ 2 3 y = 1 8 h 3 y ( x 3 h ) + 3 y ( x h ) 3 y ( x + h ) + y ( x + 3 h ) Δ 2 4 y = 1 16 h 4 y ( x 4 h ) 4 y ( x 2 h ) + 6 y ( x ) 4 y ( x + 2 h ) + y ( x + 4 h ) .
Assuming L ( y ) = y ( 0 ) we have
β k = L [ x ] k , 2 = h k 1 k = 0 , 0 k 0 .
In this case, we obtain
d 0 ( x ) = 1 , d n ( x ) = ( 1 ) n [ x ] 0 , 2 [ x ] 1 , 2 [ x ] n 1 , 2 [ x ] n , 2 1 0 0 0 1 0 0 0 0 1 0 = [ x ] n , 2 .
The umbral interpolating polynomial (52) becomes
d n [ y ] ( x ) = i = 0 n L Δ 2 i y [ x ] i , 2 i ! = y ( 0 ) + i = 1 n Δ 2 i y ( 0 ) [ x ] i , 2 i ! .
Taking into account that [ x ] n , 2 = 0 at x = 0 , the complementary umbral interpolating polynomial (53) coincides with d n [ y ] ( x ) .
Formula (54) is like a Newton expansion ([39] p. 75), so we can call it generalized Newton expansion for polynomials.

5. Numerical Examples

Now, we consider some test functions f. For each function, we plot the graph of the error function
e n ( x ) = | f ( x ) P n [ f ] ( x ) | , x [ 0 , 1 ] ,
where P n [ f ] ( x ) is one of the umbral interpolating polynomials previously considered.
In particular, we compare the error in the approximation of the given function by the following interpolating polynomials: Bernoulli (24), complementary Bernoulli (25), Euler (28), complementary Euler (28), Newton [39], complementary Bernoulli of the second type (37), Boole (40), complementary Boole (41), Δ 2 (54) interpolating polynomials.
The comparison is made by setting a tolerance ε and determining the minimum degree of the interpolating polynomial for which the required tolerance is reached.
The numerical results have been obtained using a Mathematica code.
Example 1. 
Let us consider the Bessel function
f ( x ) = J 0 ( x ) , x [ 0 , 1 ] .
We fix the tolerance ε = 10 × 10 6 .
Figure 5 contains the plot of the error functions in the approximation of the function by means of umbral interpolating polynomials related to the operator Q = D x : Bernoulli, complementary Bernoulli, Euler and complementary Euler interpolating polynomials.
In the case of Bernoulli and complementary Bernoulli polynomials, we obtain an error less than or equal to the requested tolerance for n = 6 , while in the case of Euler and complementary Euler interpolation, we need polynomials of degree n = 10 in order to reach the same tolerance.
Figure 6 shows the graph of the error functions in the case of umbral interpolating polynomials related to the operator Q = Δ h : Newton, complementary Bernoulli of the second type, Boole, and complementary Boole interpolating polynomials h = 1 n . We obtain an absolute error less than the requested tolerance ε = 10 × 10 6 for n = 5 with Newton and complementary Bernoulli polynomials of the second type and for n = 6 in the other cases.
Figure 7 shows the graph of the error function in the case of umbral interpolating polynomial related to the operator Q = Δ 2 , h for n = 6 and h = 1 n .
Example 2. 
Let us consider the function
f ( x ) = x e x + 1 2 , x [ 0 , 1 ] .
Let ε = 10 × 10 7 .
Figure 8 shows the plot of the error functions in the interpolation by Bernoulli, complementary Bernoulli, Euler and complementary Euler interpolating polynomials.
In the case of Bernoulli and complementary Bernoulli polynomials, we obtain an error less than or equal to the requested tolerance for n = 6 , while in the case of Euler and complementary Euler interpolation, we need polynomials of degree n = 8 in order to reach the same value of ε.
Figure 9 contains the graph of the error functions in the case of Newton, complementary Bernoulli of the second type, Boole, and complementary Boole interpolating polynomials when h = 1 n . The absolute error is less than the fixed tolerance for n = 7 with complementary Bernoulli polynomials of the second type and for n = 6 in the other cases.
Figure 10 shows the graph of the error function in the case of umbral interpolating polynomial related to the operator Q = Δ 2 , h for n = 7 and h = 1 n .

6. Conclusions

A survey on recent umbral interpolation based on a linear functional L and a delta-operator Q is given. This type of interpolation can be considered a wide subclass of general linear finite interpolating polynomials considered in [4]. To build the basis of the interpolating polynomials, we use a matrix-determinant approach, which is more flowing with respect to the classical theory of Rota et al. Relevant examples are given, some of which generalize the classic types of interpolation, such as Taylor and Newton interpolations. New cases of umbral interpolation are also considered. Numerical examples are given which confirm the efficiency of this type of umbral interpolation. Further theoretical and computational advances are possible. In fact, new examples and comparisons can be given. Problems like convergence, bounds of the remainder and numerical stability can be investigated.

Author Contributions

Conceptualization, F.A.C., M.I.G. and A.N.; Methodology, F.A.C., M.I.G. and A.N.; Software, F.A.C., M.I.G. and A.N.; Validation, F.A.C., M.I.G. and A.N.; Formal analysis, F.A.C., M.I.G. and A.N.; Investigation, F.A.C., M.I.G. and A.N.; Resources, F.A.C., M.I.G. and A.N.; Data curation, F.A.C., M.I.G. and A.N.; Writing—original draft, F.A.C., M.I.G. and A.N.; Writing—review & editing, F.A.C., M.I.G. and A.N.; Visualization, F.A.C., M.I.G. and A.N.; Supervision, F.A.C., M.I.G. and A.N.; Project administration, F.A.C., M.I.G. and A.N.. All authors have read and agreed to the published version of the manuscript.

Funding

No funding received for this paper.

Data Availability Statement

The authors did not use any scientific data during this research.

Acknowledgments

One of the authors (A. Napoli) wish to thank the support of INdAM - GNCS Project 2024.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Umbral Interpolation Formulas

Table A1 and Table A2 summarize the cases of umbral interpolation previously considered.
Table A1. Umbral Appell interpolation.
Table A1. Umbral Appell interpolation.
Appell-Taylor
Q L ( f ) interpolatory conditionspolynomials
D x f ( x 0 ) A n [ f ] ( i ) ( x 0 ) = A ¯ n [ f ] ( i ) ( x 0 ) = f ( i ) ( x 0 ) , i = 0 , , n A n [ f ] ( x ) = A ¯ n [ f ] ( x ) = f ( x 0 ) + i = 1 n f ( i ) ( x 0 ) ( x x o ) i i !
Appell-Bernoulli
Q L ( f ) interpolatory conditionspolynomials
D x 0 1 f ( x ) d x 0 1 f ( i ) ( x ) d x = 0 1 B n [ f ] ( i ) ( x ) d x , i = 0 , , n B ¯ n [ f ] ( z ) = f ( z ) , 0 1 f ( i ) ( x ) d x = 0 1 B ¯ n [ f ] ( i ) ( x ) d x , i = 1 , , n B n [ f ] ( x ) = 0 1 f ( x ) d x + i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) B i ( x ) i ! B ¯ n [ f ] ( x ) = f ( z ) + i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 0 ) B i ( x ) B i ( z ) i !
Appell-Euler
Q L ( f ) interpolatory conditionspolynomials
D x f ( 0 ) + f ( 1 ) 2 E n [ f ] ( i ) ( 1 ) + E n [ f ] ( i ) ( 0 ) 2 = f ( i ) ( 1 ) + f ( i ) ( 0 ) 2 , i = 0 , , n E ¯ n [ f ] ( z ) = f ( z ) , E ¯ n [ f ] ( i ) ( 1 ) + E ¯ n [ f ] ( i ) ( 0 ) 2 = f ( i ) ( 1 ) + f ( i ) ( 0 ) 2 , i = 1 , , n E n [ f ] ( x ) = i = 0 n f ( i ) ( 0 ) + f ( i ) ( 1 ) 2 E i ( x ) i ! E ¯ n [ f ] ( x ) = f ( z ) + i = 1 n f ( i ) ( 0 ) + f ( i ) ( 1 ) 2 E i ( x ) E i ( z ) i !
Appell-Bernoulli of the first kind
Q L ( f ) interpolatory conditionspolynomials
D x 1 2 1 1 f ( x ) d x 1 2 1 1 f ( i ) ( x ) d x = 1 2 1 1 B n [ f ] ( i ) d x , i = 0 , , n B ¯ n [ f ] ( z ) = f ( z ) , 1 2 1 1 f ( i ) ( x ) d x = 1 2 1 1 B ¯ n [ f ] ( i ) ( x ) d x , i = 1 , , n B n [ f ] ( x ) = 1 2 1 1 f ( x ) d x + 1 2 i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 1 ) B i ( x ) i ! B ¯ n [ f ] ( x ) = f ( z ) + 1 2 i = 1 n f ( i 1 ) ( 1 ) f ( i 1 ) ( 1 ) B i ( x ) B i ( z ) i !
Table A2. Umbral Δ interpolation.
Table A2. Umbral Δ interpolation.
Newton interpolation
Q L ( f ) interpolatory conditionspolynomials
ine Δ h f ( x 0 ) Δ h i P n [ f ] ( x 0 ) = Δ h i f ( x 0 ) , i = 0 , , n P n [ f ] ( s ) = P ¯ n [ f ] ( s ) = f 0 + i = 1 n s i Δ h i f 0 i ! , s = x x 0 h
Generalized Bernoulli of the second kind interpolation
Q L ( f ) interpolatory conditionspolynomials
Δ h D Δ h 1 f x = 0 B n I I [ f ] ( i h ) = f ( i h ) , i = 0 , , n B ¯ n I I [ f ] ( 0 ) = f ( 0 ) B ¯ n I I [ f ] ( i h ) = f ( i h ) , i = 1 , , n B n I I [ f ] ( x ) = h Δ 1 D f x = 0 + i = 1 n j = 0 i 1 1 h i i ! i 1 j ( 1 ) i 1 j f ( j h ) B i I I ( x ) B ¯ n I I [ f ] ( x ) = f ( 0 ) + i = 0 n 1 f ( i h ) B i I I [ f ] ( x ) B i I I [ f ] ( 0 )
Generalized Boole interpolation
Q L ( f ) interpolatory conditionspolynomials
Δ h f ( x ) + f ( x + h ) 2 E n I I [ f ] ( i h ) + E n I I [ f ] ( 0 ) 2 = f ( i h ) + f ( ( i + 1 ) h ) 2 , i = 0 , , n E ¯ I I [ f ] ( 0 ) = f ( 0 ) , E ¯ n I I [ f ] ( i h ) + E ¯ n I I [ f ] ( 0 ) 2 = f ( i h ) + f ( ( i + 1 ) h ) 2 , i = 1 , , n E n I I [ f ] ( x ) = i = 0 n f ( i h ) + f ( ( i + 1 ) h ) 2 E i I I ( x ) E i ( x ) i ! E ¯ n [ f ] ( x ) = f ( z ) + i = 0 n f ( i h ) + f ( ( i + 1 ) h ) 2 E i I I ( x ) E i I I ( 0 )
Δ 2 interpolation
Q L ( f ) interpolatory conditionspolynomials
Δ 2 , h f ( 0 ) Δ 2 i d n ( 0 ) = Δ 2 i f ( 0 ) , i = 0 , , n d n [ f ] ( x ) = d ¯ n [ f ] ( x ) = i = 0 n L Δ 2 i f [ x ] i , 2 i !

References

  1. Brezinski, C. Historical perspective on interpolation, approximation and quadrature. Handb. Numer. Anal. 1994, 3, 3–46. [Google Scholar]
  2. Kress, R.; Kress, R. Interpolation. Numer. Anal. 1998, 151–188. [Google Scholar]
  3. Meijering, E. A chronology of interpolation: From ancient astronomy to modern signal and image processing. Proc. IEEE 2002, 90, 319–342. [Google Scholar] [CrossRef]
  4. Davis, P. Interpolation and Approximation; Courier Corporation: Chelmsford, MA, USA, 1975. [Google Scholar]
  5. Hildebrand, F. Introduction to Numerical Analysis; Courier Corporation: Chelmsford, MA, USA, 1987. [Google Scholar]
  6. Phillips, G. Interpolation and Approximation by Polynomials; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2003; Volume 14. [Google Scholar]
  7. Rota, G.; Kahaner, D.; Odlyzko, A. On the foundations of combinatorial theory VIII. Finite operator calculus. J. Math. Anal. Appl. 1973, 42, 684–760. [Google Scholar] [CrossRef]
  8. Rota, G.; Taylor, B. The classical umbral calculus. SIAM J. Math. Anal. 1994, 25, 694–711. [Google Scholar] [CrossRef]
  9. Bottreau, A.; Di Bucchianico, A.; Loeb, D. Computer algebra and umbral calculus. Discret. Math. 1998, 180, 65–72. [Google Scholar] [CrossRef]
  10. Tempesta, P. On Appell sequences of polynomials of Bernoulli and Euler type. J. Math. Anal. Appl. 2008, 341, 1295–1310. [Google Scholar] [CrossRef]
  11. Levi, D.; Tempesta, P.; Winternitz, P. Umbral calculus, difference equations and the discrete Schrödinger equation. J. Math. Phys. 2004, 45, 4077–4105. [Google Scholar] [CrossRef]
  12. Zeilberger, D. Some comments on Rota’s umbral calculus. J. Math. Anal. Appl. 1980, 74, 456–463. [Google Scholar] [CrossRef]
  13. Roman, S. The Umbral Calculus; Academic Press: New York, NY, USA, 1984. [Google Scholar]
  14. Roman, S.; Rota, G. The umbral calculus. Adv. Math. 1978, 27, 95–188. [Google Scholar] [CrossRef]
  15. Di Bucchianico, A.; Loeb, D. Umbral calculus. Electron. J. Comb. 2012. [Google Scholar] [CrossRef]
  16. Costabile, F. Modern Umbral Calculus; Studies in Mathematics; Walter de Gruyter GmbH & Co KG: Berlin, Germany, 2019; Volume 17. [Google Scholar]
  17. Costabile, F.; Gualtieri, M.; Napoli, A. Polynomial Sequences: Basic Methods, Special Classes, and Computational Applications; Studies in Mathematics; Walter de Gruyter GmbH & Co KG: Berlin, Germany, 2023; Volume 96. [Google Scholar]
  18. Costabile, F.; Longo, E. Umbral interpolation. Publ. Inst. Math. 2016, 99, 165–175. [Google Scholar] [CrossRef]
  19. Ray, N.; Wright, C. Umbral interpolation and the addition/contraction tree for graphs. Discret. Math. 1992, 103, 67–74. [Google Scholar] [CrossRef]
  20. Roman, S. Polynomials, power series and interpolation. J. Math. Anal. Appl. 1981, 80, 333–371. [Google Scholar] [CrossRef]
  21. Sheffer, I. Some properties of polynomial sets of type zero. Duke Math. J. 1939, 5, 590–622. [Google Scholar] [CrossRef]
  22. Costabile, F.; Gualtieri, M.; Napoli, A. Polynomial sequences: Elementary basic methods and application hints. A survey. Rev. De La Real Acad. De Cienc. Exactas Fis. Y Nat. Ser. A Mat. 2019, 113, 3829–3862. [Google Scholar] [CrossRef]
  23. Costabile, F.; Gualtieri, M.; Napoli, A. Recurrence relations and determinant forms for general polynomial sequences. Application to Genocchi polynomials. Integral Transform. Spec. Funct. 2019, 30, 112–127. [Google Scholar] [CrossRef]
  24. Costabile, F.; Longo, E. An algebraic exposition of umbral calculus with application to general linear interpolation problem. A survey. Publ. Inst. Math. 2014, 96, 67–83. [Google Scholar] [CrossRef]
  25. Ismail, M. Polynomials of binomial type and approximation theory. J. Approx. Theory 1978, 23, 177–186. [Google Scholar] [CrossRef]
  26. Riordan, J. Combinatorial Identities; Wiley: New York, NY, USA, 1968. [Google Scholar]
  27. Verde-Star, L. Infinite triangular matrices, q-Pascal matrices, and determinantal representations. Linear Algebra Appl. 2011, 434, 307–318. [Google Scholar] [CrossRef]
  28. Alecci, G.; Barbero, S.; Murru, N. Some notes on the algebraic structure of linear recurrent sequences. Ric. Di Mat. 2023, 1–17. [Google Scholar] [CrossRef]
  29. Barbero, S.; Cerruti, U.; Murru, N. On the operations of sequences in rings and binomial type sequences. Ric. Di Mat. 2018, 67, 911–927. [Google Scholar] [CrossRef]
  30. Di Bucchianico, A.; Loeb, D. Sequences of binomial type with persistent roots. J. Math. Anal. Appl. 1996, 199, 39–58. [Google Scholar] [CrossRef]
  31. Appell, P. Sur une classe de polynômes. Ann. Sci. Éc. Norm. Supéer. 1880, 9, 119–144. [Google Scholar] [CrossRef]
  32. Costabile, F.; Longo, E. A determinantal approach to Appell polynomials. J. Comput. Appl. Math. 2010, 234, 1528–1542. [Google Scholar] [CrossRef]
  33. Costabile, F.; Longo, E. An algebraic approach to Sheffer polynomial sequences. Integral Transform. Spec. Funct. 2014, 25, 295–311. [Google Scholar] [CrossRef]
  34. Graham, R. Concrete Mathematics: A Foundation for Computer Science; Pearson Education India: Hoboken, NJ, USA, 1994. [Google Scholar]
  35. Costabile, F.; Gualtieri, M.; Napoli, A. Towards the Centenary of Sheffer Polynomial Sequences: Old and Recent Results. Mathematics 2022, 10, 4435. [Google Scholar] [CrossRef]
  36. Costabile, F.; Longo, E. The Appell interpolation problem. J. Comput. Appl. Math. 2011, 236, 1024–1032. [Google Scholar] [CrossRef]
  37. Bernoulli, J. Ars Conjectandi, Opus Posthumum: Accedit Tractatus De Seriebus Infinitis, Et Epistola Gallice Scripta De Ludo Pilæ Reticularis; Impensis Thurnisiorum Fratrum: Basel, Switzerland, 1713. [Google Scholar]
  38. Leinartas, E.; Shishkina, O. The Euler-Maclaurin Formula in the Problem of Summation over Lattice Points of a Simplex. J. Sib. Fed. Univ. Math. Phys. 2022, 15, 108–113. [Google Scholar] [CrossRef]
  39. Jordán, K. Calculus of Finite Differences; Chelsea Publishing Company: New York, NY, USA, 1965. [Google Scholar]
  40. Costabile, F. Costabile, F.A. On expansion of a real function in Bernoulli polynomials and applications, Conferenze del Seminario Matem. Univ. Bari 1999, 273, 1–16. [Google Scholar]
  41. Costabile, F.; Gualtieri, M.; Luceri, R. A new iterative method for the computation of the solutions of nonlinear equations. Numer. Algorithms 2001, 28, 87–100. [Google Scholar] [CrossRef]
  42. Costabile, F.; Napoli, A. A new spectral method for a class of linear boundary value problems. J. Comput. Appl. Math. 2016, 292, 329–341. [Google Scholar] [CrossRef]
  43. Costabile, F.; Napoli, A. A multipoint Birkhoff type boundary value problem. J. Numer. Math. 2015, 23, 1–11. [Google Scholar] [CrossRef]
  44. Euler, L. Methodus generalis summandi progressiones. Commentarii Academiae Scientiarum Petropolitanae; University of the Pacific: Stockton, CA, USA, 1738; pp. 68–97. [Google Scholar]
  45. Tempesta, P. On Appell sequences of polynomials of Bernoulli and Euler type. arXiv 2021, arXiv:math/0601675. [Google Scholar] [CrossRef]
  46. Ray, N. Umbral calculus, binomial enumeration and chromatic polynomials. Trans. Amer. Math. Soc. 1988, 309, 191–213. [Google Scholar] [CrossRef]
  47. Abramowitz, M.; Stegun, I. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables; US Government Printing Office: Washington, DC, USA, 1972; Volume 55. [Google Scholar]
  48. Boole, G.; Moulton, J. A Treatise on the Calculus of Finite Differences; Macmillan Company: New York, NY, USA, 1872. [Google Scholar]
  49. Rota, G.; Doubilet, P. Finite Operator Calculus; Academic Press: New York, NY, USA, 1975. [Google Scholar]
  50. Costabile, F.; Longo, E. Δh-Appell sequences and related interpolation problem. Numer. Algorithms 2013, 63, 165–186. [Google Scholar] [CrossRef]
  51. Costabile, F.; Napoli, A. A class of collocation methods for numerical integration of initial value problems. Comput. Math. Appl. 2011, 62, 3221–3235. [Google Scholar] [CrossRef]
  52. Levi, D.; Tempesta, P.; Winternitz, P. Lorentz and Galilei invariance on lattices. Phys. Rev. D 2004, 69, 105011. [Google Scholar] [CrossRef]
  53. Steffensen, J. Interpolation; Chelsea Publishing Company: New York, NY, USA, 1965. [Google Scholar]
Figure 1. Geometric interpretation of the first interpolatory condition (26a) for Bernoulli interpolant for n = 3 .
Figure 1. Geometric interpretation of the first interpolatory condition (26a) for Bernoulli interpolant for n = 3 .
Mathematics 13 00271 g001
Figure 2. Geometric interpretation of the interpolatory condition (29) for i = 0 and n = 3 .
Figure 2. Geometric interpretation of the interpolatory condition (29) for i = 0 and n = 3 .
Mathematics 13 00271 g002
Figure 3. Bernoully-type polynomials.
Figure 3. Bernoully-type polynomials.
Mathematics 13 00271 g003
Figure 4. Polynomials [ x ] n , 2 for h = 1 3 (left) and h = 1 7 (right).
Figure 4. Polynomials [ x ] n , 2 for h = 1 3 (left) and h = 1 7 (right).
Mathematics 13 00271 g004
Figure 5. Error in umbral interpolation Q = D x .
Figure 5. Error in umbral interpolation Q = D x .
Mathematics 13 00271 g005
Figure 6. Error in umbral interpolation Q = Δ h .
Figure 6. Error in umbral interpolation Q = Δ h .
Mathematics 13 00271 g006
Figure 7. Error in umbral interpolation Q = Δ 2 , h .
Figure 7. Error in umbral interpolation Q = Δ 2 , h .
Mathematics 13 00271 g007
Figure 8. Error in umbral interpolation Q = D x .
Figure 8. Error in umbral interpolation Q = D x .
Mathematics 13 00271 g008
Figure 9. Error in umbral interpolation Q = Δ h .
Figure 9. Error in umbral interpolation Q = Δ h .
Mathematics 13 00271 g009
Figure 10. Error in umbral interpolation Q = Δ 2 , h .
Figure 10. Error in umbral interpolation Q = Δ 2 , h .
Mathematics 13 00271 g010
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Costabile, F.A.; Gualtieri, M.I.; Napoli, A. Umbral Interpolation: A Survey. Mathematics 2025, 13, 271. https://doi.org/10.3390/math13020271

AMA Style

Costabile FA, Gualtieri MI, Napoli A. Umbral Interpolation: A Survey. Mathematics. 2025; 13(2):271. https://doi.org/10.3390/math13020271

Chicago/Turabian Style

Costabile, Francesco Aldo, Maria Italia Gualtieri, and Anna Napoli. 2025. "Umbral Interpolation: A Survey" Mathematics 13, no. 2: 271. https://doi.org/10.3390/math13020271

APA Style

Costabile, F. A., Gualtieri, M. I., & Napoli, A. (2025). Umbral Interpolation: A Survey. Mathematics, 13(2), 271. https://doi.org/10.3390/math13020271

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop