Open access peer-reviewed chapter

Algebraic Theory of Appell Polynomials with Application to General Linear Interpolation Problem

By Francesco Aldo Costabile and Elisabetta Longo

Submitted: November 26th 2011Reviewed: April 16th 2012Published: July 11th 2012

DOI: 10.5772/46482

1. Introduction

In 1880 P. E. Appell ([1]) introduced and widely studied sequences of $n$-degree polynomials

${A}_{n}\left(x\right),\phantom{\rule{4pt}{0ex}}n=0,1,...$uid1

satisfying the differential relation

$D{A}_{n}\left(x\right)=n{A}_{n-1}\left(x\right),\phantom{\rule{4pt}{0ex}}n=1,2,...$uid2

Sequences of polynomials, verifying the (), nowadays called Appell polynomials, have been well studied because of their remarkable applications not only in different branches of mathematics ([2], [3]) but also in theoretical physics and chemistry ([4], [5]). In 1936 an initial bibliography was provided by Davis (p. 25[6]). In 1939 Sheffer ([7]) introduced a new class of polynomials which extends the class of Appell polynomials; he called these polynomials of type zero, but nowadays they are called Sheffer polynomials. Sheffer also noticed the similarities between Appell polynomials and the umbral calculus, introduced in the second half of the 19th century with the work of such mathematicians as Sylvester, Cayley and Blissard (for examples, see [8]). The Sheffer theory is mainly based on formal power series. In 1941 Steffensen ([9]) published a theory on Sheffer polynomials based on formal power series too. However, these theories were not suitable as they did not provide sufficient computational tools. Afterwards Mullin, Roman and Rota ([10], [11], [12]), using operators method, gave a beautiful theory of umbral calculus, including Sheffer polynomials. Recently, Di Bucchianico and Loeb ([13]) summarized and documented more than five hundred old and new findings related to Appell polynomial sequences. In last years attention has centered on finding a novel representation of Appell polynomials. For instance, Lehemer ([14]) illustrated six different approaches to representing the sequence of Bernoulli polynomials, which is a special case of Appell polynomial sequences. Costabile ([15], [16]) also gave a new form of Bernoulli polynomials, called determinantal form, and later these ideas have been extended to Appell polynomial sequences. In fact, in 2010, Costabile and Longo ([17]) proposed an algebraic and elementary approach to Appell polynomial sequences. At the same time, Yang and Youn ([18]) also gave an algebraic approach, but with different methods. The approach to Appell polynomial sequences via linear algebra is an easily comprehensible mathematical tool, specially for non-specialists; that is very good because many polynomials arise in physics, chemistry and engineering. The present work concerns with these topics and it is organized as follows: in Section we mention the Appell method ([1]); in Section we provide the determinantal approach ([17]) and prove the equivalence with other definitions; in Section classical and non-classical examples are given; in Section , by using elementary tools of linear algebra, general properties of Appell polynomials are provided; in Section we mention Appell polynomials of second kind ([19], [20]) and, in Section two classical examples are given; in Section we provide an application to general linear interpolation problem([21]), giving, in Section , some examples; in Section the Yang and Youn approach ([18]) is sketched; finally, in Section conclusions close the work.

2. The Appell approach

Let ${\left\{{A}_{n}\left(x\right)\right\}}_{n}$be a sequence of $n$-degree polynomials satisfying the differential relation (). Then we have

Remark 1 There is a one-to-one correspondence of the set of such sequences ${\left\{{A}_{n}\left(x\right)\right\}}_{n}$and the set of numerical sequences ${\left\{{\alpha }_{n}\right\}}_{n},\phantom{\rule{4pt}{0ex}}{\alpha }_{0}\ne 0$given by the explicit representation

${A}_{n}\left(x\right)={\alpha }_{n}+\left(\genfrac{}{}{0pt}{}{n}{1}\right){\alpha }_{n-1}x+\left(\genfrac{}{}{0pt}{}{n}{2}\right){\alpha }_{n-2}{x}^{2}+\cdots +{\alpha }_{0}{x}^{n},\phantom{\rule{4pt}{0ex}}n=0,1,...$uid4

Equation (), in particular, shows explicitly that for each $n\ge 1$the polynomial ${A}_{n}\left(x\right)$is completely determined by ${A}_{n-1}\left(x\right)$and by the choice of the constant of integration ${\alpha }_{n}$.

Remark 2 Given the formal power series

$a\left(h\right)={\alpha }_{0}+\frac{h}{1!}{\alpha }_{1}+\frac{{h}^{2}}{2!}{\alpha }_{2}+\cdots +\frac{{h}^{n}}{n!}{\alpha }_{n}+\cdots ,\phantom{\rule{1.em}{0ex}}{\alpha }_{0}\ne 0,$uid6

with ${\alpha }_{i}\phantom{\rule{4pt}{0ex}}i=0,1,...$real coefficients, the sequence of polynomials, ${A}_{n}\left(x\right)$, determined by the power series expansion of the product $a\left(h\right){e}^{hx}$, i.e.

$a\left(h\right){e}^{hx}={A}_{0}\left(x\right)+\frac{h}{1!}{A}_{1}\left(x\right)+\frac{{h}^{2}}{2!}{A}_{2}\left(x\right)+\cdots +\frac{{h}^{n}}{n!}{A}_{n}\left(x\right)+\cdots ,$uid7

satisfies ().

The function $a\left(h\right)$is said, by Appell, 'generating function' of the sequence ${\left\{{A}_{n}\left(x\right)\right\}}_{n}$.

Appell also noticed various examples of sequences of polynomials verifying ().

He also considered ([1]) an application of these polynomial sequences to linear differential equations, which is out of this context.

3. The determinantal approach

Let be ${\beta }_{i}\in ℝ,\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}i=0,1,...,$with ${\beta }_{0}\ne 0.$

We give the following

Definition 1 The polynomial sequence defined by

$\left\{\begin{array}{c}{A}_{0}\left(x\right)=\frac{1}{{\beta }_{0}},\hfill \\ {A}_{n}\left(x\right)=\frac{{\left(-1\right)}^{n}}{{\left({\beta }_{0}\right)}^{n+1}}\left|\begin{array}{ccccccc}1& x& {x}^{2}& \cdots & \cdots & {x}^{n-1}& {x}^{n}\\ {\beta }_{0}& {\beta }_{1}& {\beta }_{2}& \cdots & \cdots & {\beta }_{n-1}& {\beta }_{n}\\ 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{1}\right){\beta }_{n-2}& \left(\genfrac{}{}{0pt}{}{n}{1}\right){\beta }_{n-1}\\ 0& 0& {\beta }_{0}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{2}\right){\beta }_{n-3}& \left(\genfrac{}{}{0pt}{}{n}{2}\right){\beta }_{n-2}\\ ⋮& & & \ddots & & ⋮& ⋮\\ ⋮& & & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & \cdots & 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{n}{n-1}\right){\beta }_{1}\end{array}\right|,\phantom{\rule{4pt}{0ex}}n=1,2,...\hfill \end{array}\right\$uid9

is called Appell polynomial sequence for ${\beta }_{i}.$

Then we have

Theorem 1 If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$the differential relation () holds.

Using the properties of linearity we can differentiate the determinant (), expand the resulting determinant with respect to the first column and recognize the factor ${A}_{n-1}\left(x\right)$after multiplication of the $i$-th row by $i-1,\phantom{\rule{4pt}{0ex}}i=2,...,n$and $j$-th column by $\frac{1}{j},\phantom{\rule{4pt}{0ex}}j=1,...,n.$

Theorem 2 If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$we have the equality () with

$\begin{array}{ccc}\hfill {\alpha }_{0}& =& \frac{1}{{\beta }_{0}},\hfill \\ \hfill {\alpha }_{i}& =& \frac{{\left(-1\right)}^{i}}{{\left({\beta }_{0}\right)}^{i+1}}\left|\begin{array}{cccccc}{\beta }_{1}& {\beta }_{2}& \cdots & \cdots & {\beta }_{i-1}& {\beta }_{i}\\ {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{i-1}{1}\right){\beta }_{i-2}& \left(\genfrac{}{}{0pt}{}{i}{1}\right){\beta }_{i-1}\\ 0& {\beta }_{0}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{i-1}{2}\right){\beta }_{i-3}& \left(\genfrac{}{}{0pt}{}{i}{2}\right){\beta }_{i-2}\\ ⋮& & \ddots & & ⋮& ⋮\\ ⋮& & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{i}{i-1}\right){\beta }_{1}\end{array}\right|=\hfill \\ & =& -\frac{1}{{\beta }_{0}}\sum _{k=0}^{i-1}\left(\genfrac{}{}{0pt}{}{i}{k}\right){\beta }_{i-k}{\alpha }_{k},\phantom{\rule{2.em}{0ex}}i=1,2,...,n.\hfill \end{array}$uid12

From (), by expanding the determinant ${A}_{n}\left(x\right)$with respect to the first row, we obtain the () with ${\alpha }_{i}$given by () and the determinantal form in (); this is a determinant of an upper Hessenberg matrix of order $i$([16]), then setting ${\overline{\alpha }}_{i}={\left(-1\right)}^{i}{\left({\beta }_{0}\right)}^{i+1}{\alpha }_{i}$for $i=1,2,...,n,$we have

${\overline{\alpha }}_{i}=\sum _{k=0}^{i-1}{\left(-1\right)}^{i-k-1}{h}_{k+1,i}{q}_{k}\left(i\right){\overline{\alpha }}_{k},$uid13

where:

${h}_{l,m}=\left\{\begin{array}{cc}{\beta }_{m}\hfill & \text{for}\phantom{\rule{4.pt}{0ex}}l=1,\hfill \\ \left(\genfrac{}{}{0pt}{}{m}{l-1}\right){\beta }_{m-l+1}\hfill & \text{for}\phantom{\rule{4.pt}{0ex}}1m+1,\hfill \end{array}\right\\phantom{\rule{1.em}{0ex}}l,m=1,2,...,i,$uid14
$\begin{array}{ccc}& & {q}_{k}\left(i\right)=\prod _{j=k+2}^{i}{h}_{j,j-1}={\left({\beta }_{0}\right)}^{i-k-1},\phantom{\rule{1.em}{0ex}}k=0,1,...,i-2,\hfill \\ & & {q}_{i-1}\left(i\right)=1.\hfill \end{array}$uid15

By virtue of the previous setting, () implies

$\begin{array}{ccc}\hfill {\overline{\alpha }}_{i}& =& \sum _{k=0}^{i-2}{\left(-1\right)}^{i-k-1}\left(\genfrac{}{}{0pt}{}{i}{k}\right){\beta }_{i-k}{\left({\beta }_{0}\right)}^{i-k-1}{\overline{\alpha }}_{k}+\left(\genfrac{}{}{0pt}{}{i}{i-1}\right){\beta }_{1}{\overline{\alpha }}_{i-1}=\hfill \\ & =& {\left(-1\right)}^{i}{\left({\beta }_{0}\right)}^{i+1}\left(-\frac{1}{{\beta }_{0}}\sum _{k=0}^{i-1}\left(\genfrac{}{}{0pt}{}{i}{k}\right){\beta }_{i-k}{\alpha }_{k}\right),\hfill \end{array}$

and the proof is concluded.

Remark 3 We note that () and () are equivalent to

$\sum _{k=0}^{i}\left(\genfrac{}{}{0pt}{}{i}{k}\right){\beta }_{i-k}{\alpha }_{k}=\left\{\begin{array}{cc}1& \phantom{\rule{4pt}{0ex}}i=0\\ 0& \phantom{\rule{4pt}{0ex}}i>0\end{array}\right\$uid17

and that for each sequence of Appell polynomials there exist two sequences of numbers ${\alpha }_{i}$and ${\beta }_{i}$related by ().

Corollary 1 If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$we have

${A}_{n}\left(x\right)=\sum _{j=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{j}\right){A}_{n-j}\left(0\right){x}^{j},\phantom{\rule{4pt}{0ex}}n=0,1,...$uid19

Follows from Theorem being

${A}_{i}\left(0\right)={\alpha }_{i},\phantom{\rule{1.em}{0ex}}i=0,1,...,n.$uid20

Remark 4 For computation we can observe that ${\alpha }_{n}$is a $n$-order determinant of a particular upper Hessenberg form and it's known that the algorithm of Gaussian elimination without pivoting for computing the determinant of an upper Hessenberg matrix is stable (p. 27[22]).

Theorem 3 If $a\left(h\right)$is the function defined in () and ${A}_{n}\left(x\right)$is the polynomial sequence defined by (), setting

$\left\{\begin{array}{c}{\beta }_{0}=\frac{1}{{\alpha }_{0}},\hfill \\ {\beta }_{n}=-\frac{1}{{\alpha }_{0}}\left(\sum _{k=1}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\alpha }_{k}{\beta }_{n-k}\right),\phantom{\rule{1.em}{0ex}}n=1,2,...,\hfill \end{array}\right\$uid23

we have that ${A}_{n}\left(x\right)$satisfies the (), i.e. ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$.

Let be

$b\left(h\right)={\beta }_{0}+\frac{h}{1!}{\beta }_{1}+\frac{{h}^{2}}{2!}{\beta }_{2}+\cdots +\frac{{h}^{n}}{n!}{\beta }_{n}+\cdots$uid24

with ${\beta }_{n}$as in (). Then we have $a\left(h\right)b\left(h\right)=1$, where the product is intended in the Cauchy sense, i.e.:

$a\left(h\right)b\left(h\right)=\sum _{n=0}^{\infty }\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\alpha }_{k}{\beta }_{n-k}\frac{{h}^{n}}{n!}.$

Let us multiply both hand sides of equation

$a\left(h\right){e}^{hx}=\sum _{n=0}^{\infty }{A}_{n}\left(x\right)\frac{{h}^{n}}{n!}$uid25

for $\frac{1}{a\left(h\right)}$and, in the same equation, replace functions ${e}^{hx}$and $\frac{1}{a\left(h\right)}$by their Taylor series expansion at the origin; then () becomes

$\sum _{n=0}^{\infty }\frac{{x}^{n}{h}^{n}}{n!}=\sum _{n=0}^{\infty }{A}_{n}\left(x\right)\frac{{h}^{n}}{n!}\sum _{n=0}^{\infty }\frac{{h}^{n}}{n!}{\beta }_{n}.$uid26

By multiplying the series on the left hand side of () according to the Cauchy-product rules, previous equality leads to the following system of infinite equations in the unknown ${A}_{n}\left(x\right),\phantom{\rule{4pt}{0ex}}n=0,1,...$

$\left\{\begin{array}{c}{A}_{0}\left(x\right){\beta }_{0}=1,\hfill \\ {A}_{0}\left(x\right){\beta }_{1}+{A}_{1}\left(x\right){\beta }_{0}=x,\hfill \\ {A}_{0}\left(x\right){\beta }_{2}+\left(\genfrac{}{}{0pt}{}{2}{1}\right){A}_{1}\left(x\right){\beta }_{1}+{A}_{2}\left(x\right){\beta }_{0}={x}^{2},\hfill \\ ⋮\hfill \\ {A}_{0}\left(x\right){\beta }_{n}+\left(\genfrac{}{}{0pt}{}{n}{1}\right){A}_{1}\left(x\right){\beta }_{n-1}+...+{A}_{n}\left(x\right){\beta }_{0}={x}^{n},\hfill \\ ⋮\hfill \end{array}\right\$uid27

From the first one of () we obtain the first one of (). Moreover, the special form of the previous system (lower triangular) allows us to work out the unknown ${A}_{n}\left(x\right)$operating with the first $n+1$equations, only by applying the Cramer rule:

$\begin{array}{cc}\hfill {A}_{n}\left(x\right)=& \frac{1}{{\left({\beta }_{0}\right)}^{n+1}}\left|\begin{array}{cccccc}{\beta }_{0}& 0& 0& \cdots & 0& 1\\ {\beta }_{1}& {\beta }_{0}& 0& \cdots & 0& x\\ {\beta }_{2}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& {\beta }_{0}& \cdots & 0& {x}^{2}\\ ⋮& & & \ddots & & ⋮\\ {\beta }_{n-1}& \left(\genfrac{}{}{0pt}{}{n-1}{1}\right){\beta }_{n-2}& \cdots & \cdots & {\beta }_{0}& {x}^{n-1}\\ {\beta }_{n}& \left(\genfrac{}{}{0pt}{}{n}{1}\right){\beta }_{n-1}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n}{n-1}\right){\beta }_{1}& {x}^{n}\end{array}\right|.\end{array}$

By transposition of the previous, we have

${A}_{n}\left(x\right)=\frac{1}{{\left({\beta }_{0}\right)}^{n+1}}\left|\begin{array}{cccccc}{\beta }_{0}& {\beta }_{1}& {\beta }_{2}& \cdots & {\beta }_{n-1}& {\beta }_{n}\\ 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{1}\right){\beta }_{n-2}& \left(\genfrac{}{}{0pt}{}{n}{1}\right){\beta }_{n-1}\\ 0& 0& {\beta }_{0}& & & ⋮\\ ⋮& & & \ddots & & ⋮\\ 0& 0& 0& \cdots & {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{n}{n-1}\right){\beta }_{1}\\ 1& x& {x}^{2}& \cdots & {x}^{n-1}& {x}^{n}\end{array}\right|,\phantom{\rule{1.em}{0ex}}n=1,2,...,$uid28

that is exactly the second one of () after $n$circular row exchanges: more precisely, the $i$-th row moves to the $\left(i+1\right)$-th position for $i=1,...,n-1$, the $n$-th row goes to the first position.

Definition 2 The function $a\left(h\right){e}^{hx}$, as in () and (), is said 'generating function' of the Appell polynomial sequence ${A}_{n}\left(x\right)$for ${\beta }_{i}$.

Theorems , , concur to assert the validity of following

Theorem 4 (Circular) If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$we have

$\left(\right)⇒\left(\right)⇒\left(\right)⇒\left(\right)⇒\left(\right).$
1. Follows from Theorem .

2. Follows from Theorem , or more simply by direct integration of the differential equation ().

3. Follows ordering the Cauchy product of the developments $a\left(h\right)$and ${e}^{hx}$with respect to the powers of $h$and recognizing polynomials ${A}_{n}\left(x\right)$, expressed in form (), as coefficients of $\frac{{h}^{n}}{n!}$.

4. Follows from Theorem .

Remark 5 In virtue of the Theorem , any of the relations (), (), (), () can be assumed as definition of Appell polynomial sequences.

4. Examples of Appell polynomial sequences

The following are classical examples of Appell polynomial sequences.

1. Bernoulli polynomials ([23], [17]):

${\beta }_{i}=\frac{1}{i+1},\phantom{\rule{1.em}{0ex}}i=0,1,...,$uid38
$a\left(h\right)=\frac{h}{{e}^{h}-1};$uid39
2. Euler polynomials ([23], [17]):

${\beta }_{0}=1,\phantom{\rule{1.em}{0ex}}{\beta }_{i}=\frac{1}{2},\phantom{\rule{1.em}{0ex}}i=1,2,...,$uid41
$a\left(h\right)=\frac{2}{{e}^{h}+1};$uid42
3. Normalized Hermite polynomials ([24], [17]):

$\begin{array}{c}\hfill {\beta }_{i}=\frac{1}{\sqrt{\pi }}{\int }_{-\infty }^{+\infty }{e}^{-{x}^{2}}{x}^{i}dx=\left\{\begin{array}{cc}0& \text{for}\phantom{\rule{4.pt}{0ex}}i\phantom{\rule{4.pt}{0ex}}\text{odd}\\ \frac{\left(i-1\right)\left(i-3\right)·\cdots ·3·1}{{2}^{\frac{i}{2}}}& \text{for}\phantom{\rule{4.pt}{0ex}}i\phantom{\rule{4.pt}{0ex}}\text{even}\end{array}\right\,\phantom{\rule{1.em}{0ex}}i=0,1,...,\end{array}$uid44
$a\left(h\right)={e}^{-\frac{{h}^{2}}{4}};$uid45
4. Laguerre polynomials ([24], [17]):

${\beta }_{i}={\int }_{0}^{+\infty }{e}^{-x}{x}^{i}dx=\Gamma \left(i+1\right)=i!,\phantom{\rule{1.em}{0ex}}i=0,1,...,$uid47
$a\left(h\right)=1-h;$uid48

The following are non-classical examples of Appell polynomial sequences.

1. Generalized Bernoulli polynomials

1. with Jacobi weight ([17]):

${\beta }_{i}={\int }_{0}^{1}{\left(1-x\right)}^{\alpha }{x}^{\beta }{x}^{i}dx=\frac{\Gamma \left(\alpha +1\right)\Gamma \left(\beta +i+1\right)}{\Gamma \left(\alpha +\beta +i+2\right)},\phantom{\rule{1.em}{0ex}}\alpha ,\beta >-1,\phantom{\rule{1.em}{0ex}}i=0,1,...,$uid51
$a\left(h\right)=\frac{1}{{\int }_{0}^{1}{\left(1-x\right)}^{\alpha }{x}^{\beta }{e}^{hx}dx};$uid52
2. of order $k$([11]):

${\beta }_{i}={\left(\frac{1}{i+1}\right)}^{k},\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}k\phantom{\rule{4.pt}{0ex}}\text{integer},\phantom{\rule{1.em}{0ex}}i=0,1,...,$uid54
$a\left(h\right)={\left(\frac{h}{{e}^{h}-1}\right)}^{k};$uid55
2. Central Bernoulli polynomials ([25]):

$\begin{array}{ccc}\hfill {\beta }_{2i}& =& \frac{1}{i+1},\hfill \\ \hfill {\beta }_{2i+1}& =& 0,\phantom{\rule{1.em}{0ex}}i=0,1,...,\hfill \\ \hfill a\left(h\right)& =& \frac{h}{sinh\left(h\right)};\hfill \end{array}$uid57
3. Generalized Euler polynomials ([17]):

$\begin{array}{ccc}\hfill {\beta }_{0}& =& 1,\hfill \\ \hfill {\beta }_{i}& =& \frac{{w}_{1}}{{w}_{1}+{w}_{2}},\phantom{\rule{1.em}{0ex}}{w}_{1},{w}_{2}>0,\phantom{\rule{1.em}{0ex}}i=1,2,...,\hfill \\ \hfill a\left(h\right)& =& \frac{{w}_{1}+{w}_{2}}{{w}_{1}{e}^{h}+{w}_{2}};\hfill \end{array}$uid59
4. Generalized Hermite polynomials ([17]):

$\begin{array}{ccc}\hfill {\beta }_{i}& =& \frac{1}{\sqrt{\pi }}{\int }_{-\infty }^{+\infty }{e}^{-{\left|x\right|}^{\alpha }}{x}^{i}dx\hfill \\ & =& \left\{\begin{array}{cc}0& \text{for}\phantom{\rule{4.pt}{0ex}}i\phantom{\rule{4.pt}{0ex}}\text{odd}\\ \frac{2}{\alpha \sqrt{\pi }}\Gamma \left(\frac{i+1}{\alpha }\right)& \text{for}\phantom{\rule{4.pt}{0ex}}i\phantom{\rule{4.pt}{0ex}}\text{even}\end{array}\right\,\phantom{\rule{1.em}{0ex}}\begin{array}{c}i=0,1,...,\hfill \\ \alpha >0,\hfill \end{array}\hfill \\ \hfill a\left(h\right)& =& \frac{\sqrt{\pi }}{{\int }_{-\infty }^{\infty }{e}^{-{\left|x\right|}^{\alpha }}{e}^{hx}dx};\hfill \end{array}$uid61
5. Generalized Laguerre polynomials ([17]):

$\begin{array}{ccc}\hfill {\beta }_{i}& =& {\int }_{0}^{+\infty }{e}^{-\alpha x}{x}^{i}dx\hfill \\ & =& \frac{\Gamma \left(i+1\right)}{{\alpha }^{i+1}}=\frac{i!}{{\alpha }^{i+1}},\phantom{\rule{1.em}{0ex}}\alpha >0,\phantom{\rule{1.em}{0ex}}i=0,1,...,\hfill \\ \hfill a\left(h\right)& =& \alpha -h.\hfill \end{array}$uid63

5. General properties of Appell polynomials

By elementary tools of linear algebra we can prove the general properties of Appell polynomials.

Let ${A}_{n}\left(x\right)$, $n=0,1,...,$be a polynomial sequence and ${\beta }_{i}\in ℝ,\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}i=0,1,...,$with ${\beta }_{0}\ne 0.$

Theorem 5 (Recurrence) ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$if and only if

${A}_{n}\left(x\right)=\frac{1}{{\beta }_{0}}\left({x}^{n}-\sum _{k=0}^{n-1}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\beta }_{n-k}{A}_{k}\left(x\right)\right),\phantom{\rule{1.em}{0ex}}n=1,2,...$uid65

Follows observing that the following holds:

$\begin{array}{c}{A}_{n}\left(x\right)=\frac{{\left(-1\right)}^{n}}{{\left({\beta }_{0}\right)}^{n+1}}\left|\begin{array}{ccccccc}1& x& {x}^{2}& \cdots & \cdots & {x}^{n-1}& {x}^{n}\\ {\beta }_{0}& {\beta }_{1}& {\beta }_{2}& \cdots & \cdots & {\beta }_{n-1}& {\beta }_{n}\\ 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{1}\right){\beta }_{n-2}& \left(\genfrac{}{}{0pt}{}{n}{1}\right){\beta }_{n-1}\\ 0& 0& {\beta }_{0}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{2}\right){\beta }_{n-3}& \left(\genfrac{}{}{0pt}{}{n}{2}\right){\beta }_{n-2}\\ ⋮& & & \ddots & & ⋮& ⋮\\ ⋮& & & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & \cdots & 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{n}{n-1}\right){\beta }_{1}\end{array}\right|=\hfill \end{array}$uid66
$=\frac{1}{{\beta }_{0}}\left({x}^{n}-\sum _{k=0}^{n-1}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\beta }_{n-k}{A}_{k}\left(x\right)\right),\phantom{\rule{1.em}{0ex}}n=1,2,...$uid67

In fact, if ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$, from (), we can observe that ${A}_{n}\left(x\right)$is a determinant of an upper Hessenberg matrix of order $n+1$([16]) and, proceeding as in Theorem , we can obtain the ().

Corollary 2 If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$then

${x}^{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\beta }_{n-k}{A}_{k}\left(x\right),\phantom{\rule{1.em}{0ex}}n=0,1,...$uid69

Follows from ().

Corollary 3 Let ${𝒫}_{n}$be the space of polynomials of degree $\le n$and ${\left\{{A}_{n}\left(x\right)\right\}}_{n}$be an Appell polynomial sequence, then ${\left\{{A}_{n}\left(x\right)\right\}}_{n}$is a basis for ${𝒫}_{n}$.

If we have

${P}_{n}\left(x\right)=\sum _{k=0}^{n}{a}_{n,k}{x}^{k},\phantom{\rule{1.em}{0ex}}{a}_{n,k}\in ℝ,$uid71

then, by Corollary , we get

${P}_{n}\left(x\right)=\sum _{k=0}^{n}{a}_{n,k}\sum _{j=0}^{k}\left(\genfrac{}{}{0pt}{}{k}{j}\right){\beta }_{k-j}{A}_{j}\left(x\right)=\sum _{k=0}^{n}{c}_{n,k}{A}_{k}\left(x\right),$

where

${c}_{n,k}=\sum _{j=0}^{n-k}\left(\genfrac{}{}{0pt}{}{k+j}{k}\right){a}_{k+j}{\beta }_{j}.$uid72

Remark 6 An alternative recurrence relation can be determined from () after differentiation with respect to $h$([18], [26]).

Let be ${\beta }_{i},\phantom{\rule{4pt}{0ex}}{\gamma }_{i}\in ℝ,\phantom{\rule{4pt}{0ex}}i=0,1,...,$with ${\beta }_{0},\phantom{\rule{4pt}{0ex}}{\gamma }_{0}\ne 0.$

Let us consider the Appell polynomial sequences ${A}_{n}\left(x\right)$and ${B}_{n}\left(x\right),\phantom{\rule{4pt}{0ex}}n=0,1,...,$for ${\beta }_{i}$and ${\gamma }_{i}$, respectively, and indicate with ${\left(AB\right)}_{n}\left(x\right)$the polynomial that is obtained replacing in ${A}_{n}\left(x\right)$the powers ${x}^{0},{x}^{1},...,{x}^{n}$, respectively, with the polynomials ${B}_{0}\left(x\right),{B}_{1}\left(x\right),...,{B}_{n}\left(x\right).$Then we have

Theorem 6 The sequences

1. $\lambda {A}_{n}\left(x\right)+\mu {B}_{n}\left(x\right),\phantom{\rule{1.em}{0ex}}\lambda ,\mu \in ℝ,$

2. ${\left(AB\right)}_{n}\left(x\right)$

are sequences of Appell polynomials again.

1. Follows from the property of linearity of determinant.

2. Expanding the determinant ${\left(AB\right)}_{n}\left(x\right)$with respect to the first row we obtain

$\begin{array}{ccc}\hfill {\left(AB\right)}_{n}\left(x\right)& =& \frac{{\left(-1\right)}^{n}}{{\left({\beta }_{0}\right)}^{n+1}}\sum _{j=0}^{n}{\left(-1\right)}^{j}{\left({\beta }_{0}\right)}^{j}\left(\genfrac{}{}{0pt}{}{n}{j}\right){\overline{\alpha }}_{n-j}{B}_{j}\left(x\right)=\hfill \\ & =& \sum _{j=0}^{n}\frac{{\left(-1\right)}^{n-j}}{{\left({\beta }_{0}\right)}^{n-j+1}}\left(\genfrac{}{}{0pt}{}{n}{j}\right){\overline{\alpha }}_{n-j}{B}_{j}\left(x\right),\hfill \end{array}$uid79

where

$\begin{array}{ccc}\hfill {\overline{\alpha }}_{0}& =& 1,\hfill \\ \hfill {\overline{\alpha }}_{i}& =& \left|\begin{array}{cccccc}{\beta }_{1}& {\beta }_{2}& \cdots & \cdots & {\beta }_{i-1}& {\beta }_{i}\\ {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){\beta }_{1}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{i-1}{1}\right){\beta }_{i-2}& \left(\genfrac{}{}{0pt}{}{i}{1}\right){\beta }_{i-1}\\ 0& {\beta }_{0}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{i-1}{2}\right){\beta }_{i-3}& \left(\genfrac{}{}{0pt}{}{i}{2}\right){\beta }_{i-2}\\ ⋮& & \ddots & & ⋮& ⋮\\ ⋮& & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & 0& {\beta }_{0}& \left(\genfrac{}{}{0pt}{}{i}{i-1}\right){\beta }_{1}\end{array}\right|,\phantom{\rule{1.em}{0ex}}i=1,2,...,n.\hfill \end{array}$

We observe that

${A}_{i}\left(0\right)=\frac{{\left(-1\right)}^{i}}{{\left({\beta }_{0}\right)}^{i+1}}{\overline{\alpha }}_{i},\phantom{\rule{1.em}{0ex}}i=1,2,...,n$

and hence () becomes

${\left(AB\right)}_{n}\left(x\right)=\sum _{j=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{j}\right){A}_{n-j}\left(0\right){B}_{j}\left(x\right).$uid80

Differentiating both hand sides of () and since ${B}_{j}\left(x\right)$is a sequence of Appell polynomials, we deduce

${\left({\left(AB\right)}_{n}\left(x\right)\right)}^{\text{'}}=n{\left(AB\right)}_{n-1}\left(x\right).$uid81

Let us, now, introduce the Appell vector.

Definition 3 If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$the vector of functions ${\overline{A}}_{n}\left(x\right)={\left[{A}_{0}\left(x\right),...,{A}_{n}\left(x\right)\right]}^{T}$is called Appell vector for ${\beta }_{i}$.

Then we have

Theorem 7 (Matrix form) Let ${\overline{A}}_{n}\left(x\right)$be a vector of polynomial functions. Then ${\overline{A}}_{n}\left(x\right)$is the Appell vector for ${\beta }_{i}$if and only if, putting

${\left(M\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\beta }_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n,$uid84

and $X\left(x\right)={\left[1,x,...,{x}^{n}\right]}^{T}$the following relation holds

$X\left(x\right)=M{\overline{A}}_{n}\left(x\right)$uid85

or, equivalently,

${\overline{A}}_{n}\left(x\right)=\left({M}^{-1}\right)X\left(x\right),$uid86

being ${M}^{-1}$the inverse matrix of $M$.

If ${\overline{A}}_{n}\left(x\right)$is the Appell vector for ${\beta }_{i}$the result easily follows from Corollary .

Vice versa, observing that the matrix $M$defined by () is invertible, setting

${\left({M}^{-1}\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\alpha }_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n,$uid87

we have the () and therefore the () and, being the coefficients ${\alpha }_{k}$and ${\beta }_{k}$related by (), we have that ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$.

Theorem 8 (Connection constants) Let ${\overline{A}}_{n}\left(x\right)$and ${\overline{B}}_{n}\left(x\right)$be the Appell vectors for ${\beta }_{i}$and ${\gamma }_{i}$, respectively. Then

${\overline{A}}_{n}\left(x\right)=C{\overline{B}}_{n}\left(x\right),$uid89

where

${\left(C\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){c}_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n.$uid90

with

${c}_{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\alpha }_{n-k}{\gamma }_{k}.$uid91

From Theorem we have

$X\left(x\right)=M{\overline{A}}_{n}\left(x\right)$

with $M$as in () or, equivalently,

${\overline{A}}_{n}\left(x\right)=\left({M}^{-1}\right)X\left(x\right),$

with ${M}^{-1}$as in ().

Always from Theorem we get

$X\left(x\right)=N{\overline{B}}_{n}\left(x\right)$

with

${\left(N\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\gamma }_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n.$uid92

Then

${\overline{A}}_{n}\left(x\right)={M}^{-1}N{\overline{B}}_{n}\left(x\right),$

from which, setting $C={M}^{-1}N$, we have the thesis.

Theorem 9 (Inverse relations) Let ${A}_{n}\left(x\right)$be the Appell polynomial sequence for ${\beta }_{i}$then the following are inverse relations:

$\left\{\begin{array}{c}{y}_{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){\beta }_{n-k}{x}_{k}\hfill \\ {x}_{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{n-k}\left(0\right){y}_{k}.\hfill \end{array}\right\$uid94

Let us remember that

${A}_{k}\left(0\right)={\alpha }_{k},$

where the coefficients ${\alpha }_{k}$and ${\beta }_{k}$are related by ().

Moreover, setting ${\overline{y}}_{n}={\left[{y}_{0},...,{y}_{n}\right]}^{T}$and ${\overline{x}}_{n}={\left[{x}_{0},...,{x}_{n}\right]}^{T}$, from () we have

$\left\{\begin{array}{c}{\overline{y}}_{n}={M}_{1}{\overline{x}}_{n}\hfill \\ {\overline{x}}_{n}={M}_{2}{\overline{y}}_{n}\hfill \end{array}\right\$

with

${\left({M}_{1}\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\beta }_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n,$uid95
${\left({M}_{2}\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\alpha }_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n,$uid96

and, from () we get

${M}_{1}{M}_{2}={I}_{n+1},$

i.e. () are inverse relations.

Theorem 10 (Inverse relation between two Appell polynomial sequences) Let ${\overline{A}}_{n}\left(x\right)$and ${\overline{B}}_{n}\left(x\right)$be the Appell vectors for ${\beta }_{i}$and ${\gamma }_{i}$, respectively. Then the following are inverse relations:

$\left\{\begin{array}{c}{\overline{A}}_{n}\left(x\right)=C{\overline{B}}_{n}\left(x\right)\hfill \\ {\overline{B}}_{n}\left(x\right)=\stackrel{˜}{C}{\overline{A}}_{n}\left(x\right)\hfill \end{array}\right\$uid98

with

${\left(C\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){c}_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}{\left(\stackrel{˜}{C}\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\stackrel{˜}{c}}_{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{1.em}{0ex}}i,j=0,...,n,\phantom{\rule{2.em}{0ex}}$uid99
${c}_{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{n-k}\left(0\right){\gamma }_{k},\phantom{\rule{1.em}{0ex}}{\stackrel{˜}{c}}_{n}=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){B}_{n-k}\left(0\right){\beta }_{k}.$uid100

Follows from Theorem , after observing that

$\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){c}_{n-k}{\stackrel{˜}{c}}_{k}=\left\{\begin{array}{cc}1& \phantom{\rule{4pt}{0ex}}n=0\\ 0& \phantom{\rule{4pt}{0ex}}n>0\end{array}\right\$uid101

and therefore

$C\stackrel{˜}{C}={I}_{n+1}.$

Theorem 11 (Binomial identity) If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$we have

${A}_{n}\left(x+y\right)=\sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right){A}_{i}\left(x\right){y}^{n-i},\phantom{\rule{1.em}{0ex}}n=0,1,...$uid103

Starting by the Definition and using the identity

${\left(x+y\right)}^{i}=\sum _{k=0}^{i}\left(\genfrac{}{}{0pt}{}{i}{k}\right){y}^{k}{x}^{i-k},$uid104

we infer

$\begin{array}{cc}& {A}_{n}\left(x+y\right)=\frac{{\left(-1\right)}^{n}}{{\left({\beta }_{0}\right)}^{n+1}}\left|\begin{array}{ccccc}1& {\left(x+y\right)}^{1}& \cdots & {\left(x+y\right)}^{n-1}& {\left(x+y\right)}^{n}\\ {\beta }_{0}& {\beta }_{1}& \cdots & {\beta }_{n-1}& {\beta }_{n}\\ 0& \ddots & & & ⋮\\ ⋮& & \ddots & & ⋮\\ 0& \cdots & \cdots & {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{n}{n-1}\right)\end{array}\right|=\end{array}$
$=\sum _{i=0}^{n}{y}^{i}\frac{{\left(-1\right)}^{n-i}}{{\left({\beta }_{0}\right)}^{n-i+1}}\left|\begin{array}{cccccc}\left(\genfrac{}{}{0pt}{}{i}{i}\right)& \left(\genfrac{}{}{0pt}{}{i+1}{i}\right){x}^{1}& \left(\genfrac{}{}{0pt}{}{i+2}{i}\right){x}^{2}& \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{i}\right){x}^{n-i-1}& \left(\genfrac{}{}{0pt}{}{n}{i}\right){x}^{n-i}\\ {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{i+1}{i}\right)& {\beta }_{2}\left(\genfrac{}{}{0pt}{}{i+2}{i}\right)& \cdots & {\beta }_{n-i-1}\left(\genfrac{}{}{0pt}{}{n-1}{i}\right)& {\beta }_{n-i}\left(\genfrac{}{}{0pt}{}{n}{i}\right)\\ 0& {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{i+2}{i+1}\right)& \cdots & {\beta }_{n-i-2}\left(\genfrac{}{}{0pt}{}{n-1}{i+1}\right)& {\beta }_{n-i-1}\left(\genfrac{}{}{0pt}{}{n}{i+1}\right)\\ ⋮& & {\beta }_{0}& & & ⋮\\ ⋮& & & \ddots & & ⋮\\ 0& \cdots & \cdots & 0& {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{n}{n-1}\right)\end{array}\right|.$

We divide, now, each $j-$th column, $j=2,...,n-i+1$, for $\left(\genfrac{}{}{0pt}{}{i+j-1}{i}\right)$and multiply each $h-$th row, $h=3,...,n-i+1$, for $\left(\genfrac{}{}{0pt}{}{i+h-2}{i}\right)$. Thus we finally obtain

$\begin{array}{ccc}\hfill {A}_{n}\left(x+y\right)& =& \\ & =& \sum _{i=0}^{n}\frac{\left(\genfrac{}{}{0pt}{}{i+1}{i}\right)\cdots \left(\genfrac{}{}{0pt}{}{n}{i}\right)}{\left(\genfrac{}{}{0pt}{}{i+1}{i}\right)\cdots \left(\genfrac{}{}{0pt}{}{n-1}{i}\right)}{y}^{i}\frac{{\left(-1\right)}^{n-i}}{{\left({\beta }_{0}\right)}^{n-i+1}}\hfill \\ & & \left|\begin{array}{cccccc}1& {x}^{1}& {x}^{2}& \cdots & {x}^{n-i-1}& {x}^{n-i}\\ {\beta }_{0}& {\beta }_{1}& {\beta }_{2}& \cdots & {\beta }_{n-i-1}& {\beta }_{n-i}\\ 0& {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{2}{1}\right)& \cdots & {\beta }_{n-i-2}\left(\genfrac{}{}{0pt}{}{n-i-1}{1}\right)& {\beta }_{n-i-1}\left(\genfrac{}{}{0pt}{}{n-i}{1}\right)\\ ⋮& & {\beta }_{0}& & & ⋮\\ ⋮& & & \ddots & & ⋮\\ 0& ...& ...& 0& {\beta }_{0}& {\beta }_{1}\left(\genfrac{}{}{0pt}{}{n-i}{n-i-1}\right)\end{array}\right|=\hfill \\ & =& \sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right){A}_{n-i}\left(x\right){y}^{i}=\sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right){A}_{i}\left(x\right){y}^{n-i}.\hfill \end{array}$

Theorem 12 (Generalized Appell identity) Let ${A}_{n}\left(x\right)$and ${B}_{n}\left(x\right)$be the Appell polynomial sequences for ${\beta }_{i}$and ${\gamma }_{i},$respectively. Then, if ${C}_{n}\left(x\right)$is the Appell polynomial sequence for ${\delta }_{i}$with

$\left\{\begin{array}{cc}{\delta }_{0}=\frac{1}{{C}_{0}\left(0\right)},\hfill & \\ {\delta }_{i}=-\frac{1}{{C}_{0}\left(0\right)}\sum _{k=1}^{i}\left(\genfrac{}{}{0pt}{}{i}{k}\right){\delta }_{i-k}{C}_{k}\left(0\right),\hfill & i=1,...,\hfill \end{array}\right\$uid106

and

${C}_{i}\left(0\right)=\sum _{j=0}^{i}\left(\genfrac{}{}{0pt}{}{i}{j}\right){B}_{i-j}\left(0\right){A}_{j}\left(0\right),$uid107

where ${A}_{i}\left(0\right)$and ${B}_{i}\left(0\right)$are related to ${\beta }_{i}$and ${\gamma }_{i}$, respectively, by relations similar to (), we have

${C}_{n}\left(y+z\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(y\right){B}_{n-k}\left(z\right).$uid108

Starting from () we have

${C}_{n}\left(y+z\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){C}_{n-k}\left(0\right){\left(y+z\right)}^{k}.$uid109

Then, applying () and the well-known classical binomial identity, after some calculation, we obtain the thesis.

Theorem 13 (Combinatorial identities) Let ${A}_{n}\left(x\right)$and ${B}_{n}\left(x\right)$be the Appell polynomial sequences for ${\beta }_{i}$and ${\gamma }_{i},$respectively. Then the following relations holds:

$\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x\right){B}_{n-k}\left(-x\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(0\right){B}_{n-k}\left(0\right),$uid111
$\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x\right){B}_{n-k}\left(z\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x+z\right){B}_{n-k}\left(0\right).$uid112

If ${C}_{n}\left(x\right)$is the Appell polynomial sequence for ${\delta }_{i}$defined as in (), from the generalized Appell identity, we have

$\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x\right){B}_{n-k}\left(-x\right)={C}_{n}\left(0\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(0\right){B}_{n-k}\left(0\right)$

and

$\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x\right){B}_{n-k}\left(z\right)={C}_{n}\left(x+z\right)=\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{k}\right){A}_{k}\left(x+z\right){B}_{n-k}\left(0\right).$

Theorem 14 (Forward difference) If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$we have

$\Delta {A}_{n}\left(x\right)\equiv {A}_{n}\left(x+1\right)-{A}_{n}\left(x\right)=\sum _{i=0}^{n-1}\left(\genfrac{}{}{0pt}{}{n}{i}\right){A}_{i}\left(x\right),\phantom{\rule{1.em}{0ex}}n=0,1,...$uid114

The desired result follows from () with $y=1$.

Theorem 15 (Multiplication Theorem) Let ${\overline{A}}_{n}\left(x\right)$be the Appell vector for ${\beta }_{i}$.

The following identities hold:

${\overline{A}}_{n}\left(mx\right)=B\left(x\right){\overline{A}}_{n}\left(x\right)\phantom{\rule{2.em}{0ex}}n=0,1,...,\phantom{\rule{2.em}{0ex}}m=1,2,...,$uid116
${\overline{A}}_{n}\left(mx\right)={M}^{-1}DX\left(x\right)\phantom{\rule{2.em}{0ex}}n=0,1,...,\phantom{\rule{2.em}{0ex}}m=1,2,...,$uid117

where

${\left(B\left(x\right)\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){\left(m-1\right)}^{i-j}{x}^{i-j}& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n,$uid118

$D=diag\left[1,m,...,{m}^{n}\right]$and ${M}^{-1}$defined as in ().

The () follows from () setting $y=x\left(m-1\right)$. In fact we get

${A}_{n}\left(mx\right)=\sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right){A}_{i}\left(x\right){\left(m-1\right)}^{n-i}{x}^{n-i}.$uid119

The () follows from Theorem . In fact we get

${\overline{A}}_{n}\left(mx\right)={M}^{-1}X\left(mx\right)={M}^{-1}DX\left(x\right),$uid120

and

${A}_{n}\left(mx\right)=\sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right){\alpha }_{n-i}{m}^{i}{x}^{i}.$uid121

Theorem 16 (Differential equation) If ${A}_{n}\left(x\right)$is the Appell polynomial sequence for ${\beta }_{i}$then ${A}_{n}\left(x\right)$satisfies the linear differential equation:

$\frac{{\beta }_{n}}{n!}{y}^{\left(n\right)}\left(x\right)+\frac{{\beta }_{n-1}}{\left(n-1\right)!}{y}^{\left(n-1\right)}\left(x\right)+...+\frac{{\beta }_{2}}{2!}{y}^{\left(2\right)}\left(x\right)+{\beta }_{1}{y}^{\left(1\right)}\left(x\right)+{\beta }_{0}y\left(x\right)={x}^{n}$uid123

From Theorem we have

${A}_{n+1}\left(x\right)=\frac{1}{{\beta }_{0}}\left({x}^{n+1}-\sum _{k=0}^{n}\left(\genfrac{}{}{0pt}{}{n+1}{k+1}\right){\beta }_{k+1}{A}_{n-k}\left(x\right)\right).$uid124

From Theorem we find that

${A}_{n+1}^{\text{'}}\left(x\right)=\left(n+1\right){A}_{n}\left(x\right),\phantom{\rule{1.em}{0ex}}\text{and}\phantom{\rule{1.em}{0ex}}{A}_{n-k}\left(x\right)=\frac{{A}_{n}^{\left(k\right)}\left(x\right)}{n\left(n-1\right)...\left(n-k+1\right)},$uid125

and replacing ${A}_{n-k}\left(x\right)$in the () we obtain

${A}_{n+1}\left(x\right)=\frac{1}{{\beta }_{0}}\left({x}^{n+1}-\left(n+1\right)\sum _{k=0}^{n}{\beta }_{k+1}\frac{{A}_{n}^{\left(k\right)}\left(x\right)}{\left(k+1\right)!}\right).$uid126

Differentiating both hand sides of the last one and replacing ${A}_{n+1}^{\text{'}}\left(x\right)$with $\left(n+1\right){A}_{n}\left(x\right)$, after some calculation we obtain the thesis.

Remark 7 An alternative differential equation for Appell polynomial sequences can be determined by the recurrence relation referred to in Remark ([18], [26]).

6. Appell polynomial sequences of second kind

Let $f:I\subset ℝ\to ℝ$and $\Delta$be the finite difference operator ([23]), i.e.:

$\Delta \left[f\right]\left(x\right)=f\left(x+1\right)-f\left(x\right),$uid128

we define the finite difference operator of order $i$, with $i\in ℕ$, as

${\Delta }^{i}\left[f\right]\left(x\right)=\Delta \left({\Delta }^{i-1}\left[f\right]\left(x\right)\right)=\sum _{j=0}^{i}{\left(-1\right)}^{i-j}\left(\genfrac{}{}{0pt}{}{i}{j}\right)f\left(x+j\right),$uid129

meaning ${\Delta }^{0}=I$and ${\Delta }^{1}=\Delta$, where $I$is the identity operator.

Let the sequence of falling factorial defined by

$\left\{\begin{array}{cc}{\left(x\right)}_{0}=1,\hfill & \\ {\left(x\right)}_{n}=x\left(x-1\right)\left(x-2\right)\cdots \left(x-n+1\right),\hfill & n=1,2,...,\hfill \end{array}\right\$uid130

we give the following

Definition 4 Let ${i}_{}\in ℝ$, $i=0,1,...,$with ${0}_{}\ne 0$. The polynomial sequence

$\left\{\begin{array}{c}{𝒜}_{0}\left(x\right)=\frac{1}{{0}_{}},\hfill \\ {𝒜}_{n}\left(x\right)=\frac{{\left(-1\right)}^{n}}{{\left({0}_{}\right)}^{n+1}}\left|\begin{array}{ccccccc}1& {\left(x\right)}_{1}& {\left(x\right)}_{2}& \cdots & \cdots & {\left(x\right)}_{n-1}& {\left(x\right)}_{n}\\ {0}_{}& {1}_{}& {2}_{}& \cdots & \cdots & {n-1}_{}& {n}_{}\\ 0& {0}_{}& \left(\genfrac{}{}{0pt}{}{2}{1}\right){1}_{}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{1}\right){n-2}_{}& \left(\genfrac{}{}{0pt}{}{n}{1}\right){n-1}_{}\\ 0& 0& {0}_{}& \cdots & \cdots & \left(\genfrac{}{}{0pt}{}{n-1}{2}\right){n-3}_{}& \left(\genfrac{}{}{0pt}{}{n}{2}\right){n-2}_{}\\ ⋮& & & \ddots & & ⋮& ⋮\\ ⋮& & & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & \cdots & 0& {0}_{}& \left(\genfrac{}{}{0pt}{}{n}{n-1}\right){1}_{}\end{array}\right|,\phantom{\rule{4pt}{0ex}}n=1,2,...\hfill \end{array}\right\$uid132

is called Appell polynomial sequence of second kind.

Then, we have

Theorem 17 For Appell polynomial sequences of second kind we get

$\Delta {𝒜}_{n}\left(x\right)=n{𝒜}_{n-1}\left(x\right)\phantom{\rule{1.em}{0ex}}n=1,2,...$uid134

By the well-known relation ([23])

$\Delta {\left(x\right)}_{n}=n{\left(x\right)}_{n-1},\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}n=1,2,...,$uid135

applying the operator $\Delta$to the definition () and using the properties of linearity of $\Delta$we have

$\Delta {𝒜}_{n}\left(x\right)=\frac{{\left(-1\right)}^{n}}{{\left({}_{0}\right)}^{n+1}}\left|\begin{array}{ccccccc}\Delta 1& \Delta {\left(x\right)}_{1}& \Delta {\left(x\right)}_{2}& \cdots & \cdots & \Delta {\left(x\right)}_{n-1}& \Delta {\left(x\right)}_{n}\\ {}_{0}& {}_{1}& {}_{2}& \cdots & \cdots & {}_{n-1}& {}_{n}\\ 0& {}_{0}& {\left(\genfrac{}{}{0pt}{}{2}{1}\right)}_{1}& \cdots & \cdots & {\left(\genfrac{}{}{0pt}{}{n-1}{1}\right)}_{n-2}& {\left(\genfrac{}{}{0pt}{}{n}{1}\right)}_{n-1}\\ 0& 0& {}_{0}& \cdots & \cdots & {\left(\genfrac{}{}{0pt}{}{n-1}{2}\right)}_{n-3}& {\left(\genfrac{}{}{0pt}{}{n}{2}\right)}_{n-2}\\ ⋮& & & \ddots & & ⋮& ⋮\\ ⋮& & & & \ddots & ⋮& ⋮\\ 0& \cdots & \cdots & \cdots & 0& {}_{0}& {\left(\genfrac{}{}{0pt}{}{n}{n-1}\right)}_{1}\end{array}\right|,\phantom{\rule{4pt}{0ex}}n=1,2,...$uid136

We can expand the determinant in () with respect to the first column and, after multiplying the $i$-th row by $i-1,\phantom{\rule{4pt}{0ex}}i=2,...,n$and the $j$-th column by $\frac{1}{j},\phantom{\rule{4pt}{0ex}}j=1,...,n,$we can recognize the factor ${𝒜}_{n-1}\left(x\right)$.

We can observe that the structure of the determinant in () is similar to that one of the determinant in (). In virtue of this it is possible to obtain a dual theory of Appell polynomials of first kind, in the sense that similar properties can be proven ([20]).

For example, the generating function is

$H\left(x,h\right)=a\left(h\right){\left(1+h\right)}^{x},$uid137

where $a\left(h\right)$is an invertible formal series of power.

7. Examples of Appell polynomial sequences of second kind

The following are classical examples of Appell polynomial sequences of second kind.

1. Bernoulli polynomials of second kind ([23], [20]):

${}_{i}=\frac{{\left(-1\right)}^{i}}{i+1}i!,\phantom{\rule{4pt}{0ex}}i=0,1,...,$uid139
$H\left(x,h\right)=\frac{h{\left(1+h\right)}^{x}}{ln\left(1+h\right)};$uid140
2. Boole polynomials ([23], [20]):

${}_{i}=\left\{\begin{array}{cc}1,\hfill & i=0\hfill \\ \frac{1}{2},\hfill & i=1\hfill \\ 0,\hfill & i=2,...\hfill \end{array}\right\$uid142
$H\left(x,h\right)=\frac{2{\left(1+h\right)}^{x}}{2+h}.$uid143

8. An application to general linear interpolation problem

Let $X$be the linear space of real functions defined in the interval $\left[0,1\right]$continuous and with continuous derivatives of all necessary orders. Let $L$be a linear functional on $X$such that $L\left(1\right)\ne 0$. If in () and respectively in () we set

${\beta }_{i}=L\left({x}^{i}\right),{\phantom{\rule{2.em}{0ex}}}_{i}=L\left({\left(x\right)}_{i}\right),\phantom{\rule{1.em}{0ex}}i=0,1,...,$uid144

${A}_{n}\left(x\right)$and ${𝒜}_{n}\left(x\right)$will be said Appell polynomial sequences of first or of second kind related to the functional $L$and denoted by ${A}_{L,n}\left(x\right)$and ${𝒜}_{L,n}\left(x\right)$, respectively.

Remark 8 The generating function of the sequence ${A}_{L,n}\left(x\right)$is

$G\left(x,h\right)=\frac{{e}^{xh}}{{L}_{x}\left({e}^{xh}\right)},$uid146

and for ${𝒜}_{L,n}\left(x\right)$is

$H\left(x,h\right)=\frac{{\left(1+h\right)}^{x}}{{L}_{x}\left({\left(1+h\right)}^{x}\right)},$uid147

where ${L}_{x}$means that the functional $L$is applied to the argument as a function of $x$.

For ${A}_{L,n}\left(x\right)$if $G\left(x,h\right)=a\left(h\right){e}^{xh}$with $\frac{1}{a\left(h\right)}=\sum _{i=0}^{\infty }{\beta }_{i}\frac{{h}^{i}}{i!}$we have

$G\left(x,t\right)=\frac{{e}^{xh}}{\frac{1}{a\left(h\right)}}=\frac{{e}^{xh}}{\sum _{i=0}^{\infty }{\beta }_{i}\frac{{h}^{i}}{i!}}=\frac{{e}^{xh}}{\sum _{i=0}^{\infty }L\left({x}^{i}\right)\frac{{h}^{i}}{i!}}=\frac{{e}^{xh}}{L\left(\sum _{i=0}^{\infty }{x}^{i}\frac{{h}^{i}}{i!}\right)}=\frac{{e}^{xh}}{{L}_{x}\left({e}^{xh}\right)}.$

For ${𝒜}_{L,n}\left(x\right)$, the proof similarly follows. Then, we have

Theorem 18 Let ${\omega }_{i}\in ℝ,$$i=0,...,n,$the polynomials

${P}_{n}\left(x\right)=\sum _{i=0}^{n}\frac{{\omega }_{i}}{i!}{A}_{L,i}\left(x\right),$uid149
${P}_{n}^{*}\left(x\right)=\sum _{i=0}^{n}\frac{{\omega }_{i}}{i!}{𝒜}_{L,i}\left(x\right)$uid150

are the unique polynomials of degree less than or equal to $n,$such that

$L\left({P}_{n}^{\left(i\right)}\right)=i!{\omega }_{i},\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}i=0,...,n,$uid151
$L\left({\Delta }^{i}{P}_{n}^{*}\right)=i!{\omega }_{i},\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}i=0,...,n.$uid152

The proof follows observing that, by the hypothesis on functional $L$there exists a unique polynomial of degree $\le n$verifying () and , respectively, (); moreover from the properties of ${A}_{L,i}\left(x\right)$and ${𝒜}_{L,i}\left(x\right)$, we have

$L\left({A}_{L,i}^{\left(j\right)}\left(x\right)\right)=i\left(i-1\right)...\left(i-j+1\right)L\left({A}_{L,i-j}\left(x\right)\right)=j!\left(\genfrac{}{}{0pt}{}{i}{j}\right){\delta }_{ij},$uid153
$L\left({\Delta }^{i}{𝒜}_{L,i}\left(x\right)\right)=i\left(i-1\right)...\left(i-j+1\right)L\left({𝒜}_{L,i-j}\left(x\right)\right)=j!\left(\genfrac{}{}{0pt}{}{i}{j}\right){\delta }_{ij},$uid154

where ${\delta }_{ij}$is the Kronecker symbol.

From () and () it is easy to prove that the polynomials () and () verify () and (), respectively.

Remark 9 For every linear functional $L$on $X$, $\left\{{A}_{L,i}\left(x\right)\right\},$$\left\{{𝒜}_{L,i}\left(x\right)\right\},$$i=0,...,n,$are basis for ${𝒫}_{n}$and, $\forall {P}_{n}\left(x\right)\in {𝒫}_{n}$, we have

${P}_{n}\left(x\right)=\sum _{i=0}^{n}\frac{L\left({P}_{n}^{\left(i\right)}\right)}{i!}\phantom{\rule{4.pt}{0ex}}{A}_{L,i}\left(x\right),$uid156
${P}_{n}\left(x\right)=\sum _{i=0}^{n}\frac{L\left({\Delta }^{i}{P}_{n}\right)}{i!}\phantom{\rule{4.pt}{0ex}}{𝒜}_{L,i}\left(x\right).$uid157

Let us consider a function $f\in X.$Then we have the following

Theorem 19 The polynomials

${P}_{L,n}\left[f\right]\left(x\right)=\sum _{i=0}^{n}\frac{L\left({f}^{\left(i\right)}\right)}{i!}\phantom{\rule{4.pt}{0ex}}{A}_{L,i}\left(x\right),$uid159
${P}_{L,n}^{*}\left[f\right]\left(x\right)=\sum _{i=0}^{n}\frac{L\left({\Delta }^{i}f\right)}{i!}\phantom{\rule{4.pt}{0ex}}{𝒜}_{L,i}\left(x\right)$uid160

are the unique polynomial of degree $\le n$such that

$L\left({P}_{L,n}{\left[f\right]}^{\left(i\right)}\right)=L\left({f}^{\left(i\right)}\right),\phantom{\rule{4.pt}{0ex}}i=0,...,n,$
$L\left({\Delta }^{i}{P}_{L,n}^{*}\left[f\right]\right)=L\left({\Delta }^{i}f\right),\phantom{\rule{4.pt}{0ex}}i=0,...,n.$

Setting ${\omega }_{i}=\frac{L\left({f}^{\left(i\right)}\right)}{i!},\phantom{\rule{4.pt}{0ex}}\text{and}\phantom{\rule{4.pt}{0ex}}\text{respectively,}\phantom{\rule{4.pt}{0ex}}{\omega }_{i}=\frac{L\left({\Delta }^{i}f\right)}{i!},\phantom{\rule{4.pt}{0ex}}i=0,...,n,$the result follows from Theorem .

Definition 5 The polynomials () and () are called Appell interpolation polynomial for $f$of first and of second kind, respectively.

Now it is interesting to consider the estimation of the remainders

${R}_{L,n}\left[f\right]\left(x\right)=f\left(x\right)-{P}_{L,n}\left[f\right]\left(x\right),\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\forall x\in \left[0,1\right],$uid162
${R}_{L,n}^{*}\left[f\right]\left(x\right)=f\left(x\right)-{P}_{L,n}^{*}\left[f\right]\left(x\right),\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\forall x\in \left[0,1\right].$uid163

Remark 10 For any $f\in {𝒫}_{n}$

${R}_{L,n}\left[f\right]\left(x\right)=0,\phantom{\rule{1.em}{0ex}}{R}_{L,n}\left[{x}^{n+1}\right]\ne 0,\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\forall x\in \left[0,1\right],$uid165
${R}_{L,n}^{*}\left[f\right]\left(x\right)=0,\phantom{\rule{1.em}{0ex}}{R}_{L,n}^{*}\left[{\left(x\right)}_{n+1}\right]\ne 0,\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\forall x\in \left[0,1\right],$uid166

i. e. the polynomial operators () and () are exact on ${𝒫}_{n}$.

For a fixed $x$we may consider the remainder ${R}_{L,n}\left[f\right]\left(x\right)$and ${R}_{L,n}^{*}\left[f\right]\left(x\right)$as linear functionals which act on $f$and annihilate all elements of ${𝒫}_{n}$. From Peano's Theorem (p. 69[27]) if a linear functional has this property, then it must also have a simple representation in terms of ${f}^{\left(n+1\right)}$. Therefore we have

Theorem 20 Let $f\in {C}^{n+1}\left[a,b\right],$the following relations hold

${R}_{L,n}\left(f,x\right)=\frac{1}{n!}{\int }_{0}^{1}{K}_{n}\left(x,t\right){f}^{\left(n+1\right)}\left(t\right)dt,\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4pt}{0ex}}\forall x\in \left[0,1\right],$uid168
${R}_{L,n}^{*}\left(f,x\right)=\frac{1}{n!}{\int }_{0}^{1}{K}_{n}^{*}\left(x,t\right){f}^{\left(n+1\right)}\left(t\right)dt,\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4pt}{0ex}}\forall x\in \left[0,1\right],$uid169

where

${K}_{n}\left(x,t\right)={R}_{L,n}\left[{\left(x-t\right)}_{+}^{n}\right]={\left(x-t\right)}_{+}^{n}-\sum _{i=0}^{n}\left(\genfrac{}{}{0pt}{}{n}{i}\right)L\left({\left(x-t\right)}_{+}^{n-i}\right)\phantom{\rule{4.pt}{0ex}}{A}_{L,i}\left(x\right),$uid170
${K}_{n}^{*}\left(x,t\right)={R}_{L,n}^{*}\left[{\left(x-t\right)}_{+}^{n}\right]={\left(x-t\right)}_{+}^{n}-\sum _{i=0}^{n}\frac{L\left({\Delta }^{i}{\left(x-t\right)}_{+}^{n}\right)}{i!}\phantom{\rule{4.pt}{0ex}}{𝒜}_{L,i}\left(x\right).$uid171

After some calculation, the results follow by Remark and Peano's Theorem.

Remark 11 (Bounds) If ${f}^{\left(n+1\right)}\in {ℒ}^{p}\left[0,1\right]$and ${K}_{n}\left(x,t\right),\phantom{\rule{4pt}{0ex}}{K}_{n}^{*}\left(x,t\right)\in {ℒ}^{q}\left[0,1\right]$with $\frac{1}{p}+\frac{1}{q}=1$then we apply the Hölder's inequality so that

$\left|{R}_{L,n}\left[f\right]\left(x\right)\right|\le \frac{1}{n!}{\left({\int }_{0}^{1}{\left|{K}_{n}\left(x,t\right)\right|}^{q}dt\right)}^{\frac{1}{q}}{\left({\int }_{0}^{1}{\left|{f}^{\left(n+1\right)}\left(t\right)\right|}^{p}dt\right)}^{\frac{1}{p}},$
$\left|{R}_{L,n}^{*}\left[f\right]\left(x\right)\right|\le \frac{1}{n!}{\left({\int }_{0}^{1}{\left|{K}_{n}^{*}\left(x,t\right)\right|}^{q}dt\right)}^{\frac{1}{q}}{\left({\int }_{0}^{1}{\left|{f}^{\left(n+1\right)}\left(t\right)\right|}^{p}dt\right)}^{\frac{1}{p}}.$

The two most important cases are $p=q=2$and $q=1,$$p=\infty :$

1. for $p=q=2$we have the estimates

$\left|{R}_{L,n}\left[f\right]\left(x\right)\right|\le {\sigma }_{n}\left|\left|\left|f\right|\right|\right|,\phantom{\rule{1.em}{0ex}}\left|{R}_{L,n}^{*}\left[f\right]\left(x\right)\right|\le {\sigma }_{n}^{*}\left|\left|\left|f\right|\right|\right|,$uid174

where

${\left({\sigma }_{n}\right)}^{2}={\left(\frac{1}{n!}\right)}^{2}{\int }_{0}^{1}{\left({K}_{n}\left(x,t\right)\right)}^{2}dt,\phantom{\rule{1.em}{0ex}}{\left({\sigma }_{n}^{*}\right)}^{2}={\left(\frac{1}{n!}\right)}^{2}{\int }_{0}^{1}{\left({K}_{n}^{*}\left(x,t\right)\right)}^{2}dt,$uid175

and

${\left|\left|\left|f\right|\right|\right|}^{2}={\int }_{0}^{1}{\left({f}^{\left(n+1\right)}\left(t\right)\right)}^{2}dt;$uid176
2. for $q=1,$$p=\infty$we have that

$\left|{R}_{L,n}\left[f\right]\left(x\right)\right|\le \frac{1}{n!}{M}_{n+1}{\int }_{0}^{1}\left|{K}_{n}\left(x,t\right)\right|dt,\phantom{\rule{1.em}{0ex}}\left|{R}_{L,n}^{*}\left[f\right]\left(x\right)\right|\le \frac{1}{n!}{M}_{n+1}{\int }_{0}^{1}\left|{K}_{n}^{*}\left(x,t\right)\right|dt,$uid178

where

${M}_{n+1}=\underset{a\le x\le b}{sup}\left|{f}^{\left(n+1\right)}\left(x\right)\right|.$uid179

A further polynomial operator can be determined as follows:

for any fixed $z\in \left[0,1\right]$we consider the polynomial

${\overline{P}}_{L,n}\left[f\right]\left(x\right)\equiv f\left(z\right)+{P}_{L,n}\left[f\right]\left(x\right)-{P}_{L,n}\left[f\right]\left(z\right)=f\left(z\right)+\sum _{i=1}^{n}\frac{L\left({f}^{\left(i\right)}\right)}{i!}\left({A}_{L,i}\left(x\right)-{A}_{L,i}\left(z\right)\right),$uid180

and, respectively,

${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)\equiv f\left(z\right)+{P}_{L,n}^{*}\left[f\right]\left(x\right)-{P}_{L,n}^{*}\left[f\right]\left(z\right)=f\left(z\right)+\sum _{i=1}^{n}\frac{L\left({\Delta }^{i}f\right)}{i!}\left({𝒜}_{L,i}\left(x\right)-{𝒜}_{L,i}\left(z\right)\right).$uid181

Then we have the following

Theorem 21 The polynomials ${\overline{P}}_{L,n}\left[f\right]\left(x\right)$, ${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)$are approximating polynomials of degree $n$for $f\left(x\right)$, i.e.:

$\forall x\in \left[0,1\right],\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}f\left(x\right)={\overline{P}}_{L,n}\left[f\right]\left(x\right)+{\overline{R}}_{L,n}\left[f\right]\left(x\right),$uid183
$\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}\phantom{\rule{2.em}{0ex}}f\left(x\right)={\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)+{\overline{R}}_{L,n}^{*}\left[f\right]\left(x\right),$uid184

where

${\overline{R}}_{L,n}\left[f\right]\left(x\right)={R}_{L,n}\left[f\right]\left(x\right)-{R}_{L,n}\left[f\right]\left(z\right),$uid185
${\overline{R}}_{L,n}^{*}\left[f\right]\left(x\right)={R}_{L,n}^{*}\left[f\right]\left(x\right)-{R}_{L,n}^{*}\left[f\right]\left(z\right),$uid186

with

${\overline{R}}_{L,n}\left[{x}^{i}\right]=0,\phantom{\rule{1.em}{0ex}}i=0,..,n,\phantom{\rule{1.em}{0ex}}{\overline{R}}_{L,n}\left[{x}^{n+1}\right]\ne 0,$uid187
${\overline{R}}_{L,n}^{*}\left[{\left(x\right)}_{i}\right]=0,\phantom{\rule{1.em}{0ex}}i=0,..,n,\phantom{\rule{1.em}{0ex}}{\overline{R}}_{L,n}^{*}\left[{\left(x\right)}_{n+1}\right]\ne 0.$uid188

$\forall x\in \left[0,1\right]$and for any fixed $z\in \left[0,1\right]$, from (), we have

$f\left(x\right)-f\left(z\right)={P}_{L,n}\left[f\right]\left(x\right)-{P}_{L,n}\left[f\right]\left(z\right)+{R}_{L,n}\left[f\right]\left(x\right)-{R}_{L,n}\left[f\right]\left(z\right),$

from which we get () and (). The exactness of the polynomial ${\overline{P}}_{L,n}\left[f\right]\left(x\right)$follows from the exactness of the polynomial ${P}_{L,n}\left[f\right]\left(x\right)$.

Proceeding in the same manner we can prove the result for the polynomial ${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)$.

Remark 12 The polynomials ${\overline{P}}_{L,n}\left[f\right]\left(x\right)$, ${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)$satisfy the interpolation conditions

${\overline{P}}_{L,n}\left[f\right]\left(z\right)=f\left(z\right),\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}L\left({\overline{P}}_{L,n}^{\left(i\right)}\left[f\right]\right)=L\left({f}^{\left(i\right)}\right),\phantom{\rule{4.pt}{0ex}}i=1,...,n,$uid190
${\overline{P}}_{L,n}^{*}\left[f\right]\left(z\right)=f\left(z\right),\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}\phantom{\rule{4.pt}{0ex}}L\left({\Delta }^{i}{\overline{P}}_{L,n}^{*}\left[f\right]\right)=L\left({\Delta }^{i}f\right),\phantom{\rule{4.pt}{0ex}}i=1,...,n.$uid191

9. Examples of Appell interpolation polynomials

1. Taylor interpolation and classical interpolation on equidistant points:

Assuming

$L\left(f\right)=f\left({x}_{0}\right),\phantom{\rule{2.em}{0ex}}{x}_{0}\in \left[0,1\right],$uid193

the polynomials ${P}_{L,n}\left[f\right]\left(x\right)$and ${P}_{L,n}^{*}\left[f\right]\left(x\right)$are, respectively, the Taylor interpolation polynomial and the classical interpolation polynomial on equidistant points;

2. Bernoulli interpolation of first and of second kind:

1. Bernoulli interpolation of first kind ([21], [15]):

Assuming

$L\left(f\right)={\int }_{0}^{1}f\left(x\right)dx,$uid196

the interpolation polynomials ${P}_{L,n}\left[f\right]\left(x\right)$and ${\overline{P}}_{L,n}\left[f\right]\left(x\right)$become

${P}_{L,n}\left[f\right]\left(x\right)={\int }_{0}^{1}f\left(x\right)dx+\sum _{i=1}^{n}\frac{{f}^{\left(i-1\right)}\left(1\right)-{f}^{\left(i-1\right)}\left(0\right)}{i!}{B}_{i}\left(x\right),$uid197
${\overline{P}}_{L,n}\left[f\right]\left(x\right)=f\left(0\right)+\sum _{i=1}^{n}\frac{{f}^{\left(i-1\right)}\left(1\right)-{f}^{\left(i-1\right)}\left(0\right)}{i!}\left({B}_{i}\left(x\right)-{B}_{i}\left(0\right)\right),$uid198

where ${B}_{i}\left(x\right)$are the classical Bernoulli polynomials ([17], [23]);

2. Bernoulli interpolation of second kind ([20]):

Assuming

$L\left(f\right)={\left[D{\Delta }^{-1}f\right]}_{x=0},$uid200

where ${\Delta }^{-1}$denote the indefinite summation operator and is defined as the linear operator inverse of the finite difference operator $\Delta$, the interpolation polynomials ${P}_{L,n}^{*}\left[f\right]\left(x\right)$and ${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)$become

${P}_{L,n}^{*}\left[f\right]\left(x\right)={\left[{\Delta }^{-1}Df\right]}_{x=0}+\sum _{i=0}^{n-1}{f}^{\text{'}}\left(i\right){ℬ}_{n,i}^{II}\left(x\right),$uid201
${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)=f\left(0\right)+\sum _{i=0}^{n-1}{f}^{\text{'}}\left(i\right)\left({ℬ}_{n,i}^{II}\left(x\right)-{ℬ}_{n,i}^{II}\left(0\right)\right),$uid202

where

${ℬ}_{n,i}^{II}\left(x\right)=\sum _{j=i}^{n-1}\left(\genfrac{}{}{0pt}{}{j}{i}\right)\frac{{\left(-1\right)}^{j-i}}{\left(j+1\right)!}{B}_{j+1}^{II}\left(x\right),$uid203

and ${B}_{j}^{II}\left(x\right)$are the Bernoulli polynomials of second kind ([20]);

3. Euler and Boole interpolation:

1. Euler interpolation ([21]):

Assuming

$L\left(f\right)=\frac{f\left(0\right)+f\left(1\right)}{2},$uid206

the interpolation polynomials ${P}_{L,n}\left[f\right]\left(x\right)$and ${\overline{P}}_{L,n}\left[f\right]\left(x\right)$become

${P}_{L,n}\left[f\right]\left(x\right)=\frac{f\left(0\right)+f\left(1\right)}{2}+\sum _{i=1}^{n}\frac{{f}^{\left(i\right)}\left(0\right)+{f}^{\left(i\right)}\left(1\right)}{2i!}{E}_{i}\left(x\right),$uid207
${\overline{P}}_{L,n}\left[f\right]\left(x\right)=f\left(0\right)+\sum _{i=1}^{n}\frac{{f}^{\left(i\right)}\left(0\right)+{f}^{\left(i\right)}\left(1\right)}{2i!}\left({E}_{i}\left(x\right)-{E}_{i}\left(0\right)\right);$uid208
2. Boole interpolation ([20]):

Assuming

$L\left(f\right)={\left[Mf\right]}_{x=0},$uid210

where $Mf$is defined by

$Mf\left(x\right)=\frac{f\left(x\right)+f\left(x+1\right)}{2},$uid211

the interpolation polynomials ${P}_{L,n}^{*}\left[f\right]\left(x\right)$and ${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)$become

${P}_{L,n}^{*}\left[f\right]\left(x\right)=\frac{f\left(0\right)+f\left(1\right)}{2}{ℰ}_{n,0}^{II}\left(x\right)+\sum _{i=1}^{n}\frac{f\left(i\right)+f\left(i+1\right)}{2}{ℰ}_{n,i}^{II}\left(x\right),$uid212
${\overline{P}}_{L,n}^{*}\left[f\right]\left(x\right)=f\left(0\right)+\sum _{i=1}^{n}\frac{f\left(i\right)+f\left(i+1\right)}{2}\left({ℰ}_{n,i}^{II}\left(x\right)-{ℰ}_{n,i}^{II}\left(0\right)\right),$uid213

where

${ℰ}_{n,i}^{II}\left(x\right)=\sum _{j=i}^{n}\left(\genfrac{}{}{0pt}{}{j}{i}\right)\frac{{\left(-1\right)}^{j-i}}{j!}{E}_{j}^{II}\left(x\right),$uid214

and ${E}_{j}^{II}\left(x\right)$are the Boole polynomials ([20]).

10. The algebraic approach of Yang and Youn

Yang and Youn ([18]) also proposed an algebraic approach to Appell polynomial sequences but with different methods. In fact, they referred the Appell sequence, ${s}_{n}\left(x\right)$, to an invertible analytic function g(t):

${s}_{n}\left(x\right)={\left[\frac{{d}^{n}}{dt}\left(\frac{1}{g\left(t\right)}{e}^{xt}\right)\right]}_{t=0},$uid215

and called Appell vector for $g\left(t\right)$the vector

${\overline{S}}_{n}\left(x\right)={\left[{s}_{0}\left(x\right),...,{s}_{n}\left(x\right)\right]}^{T}.$uid216

Then, they proved that

${\overline{S}}_{n}\left(x\right)={P}_{n}{\left[\frac{1}{g\left(t\right)}\right]}_{t=0}{W}_{n}{\left[{e}^{xt}\right]}_{t=0}={W}_{n}{\left[\frac{1}{g\left(t\right)}{e}^{xt}\right]}_{t=0},$uid217

being ${W}_{n}\left[f\left(t\right)\right]={\left[f\left(t\right),{f}^{\text{'}}\left(t\right),...,{f}^{\left(n\right)}\left(t\right)\right]}^{T}$and ${P}_{n}\left[f\left(t\right)\right]$the generalized Pascal functional matrix of $f\left(t\right)$([28]) defined by

${\left({P}_{n}\left[f\left(t\right)\right]\right)}_{i,j}=\left\{\begin{array}{cc}\left(\genfrac{}{}{0pt}{}{i}{j}\right){f}^{\left(i-j\right)}\left(t\right)& i\ge j\\ 0& otherwise\end{array}\right\,\phantom{\rule{2.em}{0ex}}i,j=0,...,n.$uid218

Expressing the () in matrix form we have

${\overline{S}}_{n}\left(x\right)=SX\left(x\right),$uid219

with

$S=\left[\begin{array}{ccccc}{s}_{00}& 0& 0& \cdots & 0\\ {s}_{10}& {s}_{11}& 0& \cdots & 0\\ {s}_{20}& {s}_{21}& {s}_{22}& \cdots & 0\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ {s}_{n0}& {s}_{n1}& {s}_{n2}& \cdots & {s}_{nn}\end{array}\right],\phantom{\rule{1.em}{0ex}}X\left(x\right)={\left[1,x,...,{x}^{n}\right]}^{T},$uid220

where

${s}_{i,j}=\left(\genfrac{}{}{0pt}{}{i}{j}\right){\left[{\left(\frac{1}{g\left(t\right)}\right)}^{\left(i-j\right)}\right]}_{t=0},\phantom{\rule{2.em}{0ex}}i=0,...,n,\phantom{\rule{1.em}{0ex}}j=0,...,i.$uid221

It is easy to see that the matrix $S$coincides with the matrix ${M}^{-1}$introduced in Section , Theorem .

11. Conclusions

We have presented an elementary algebraic approach to the theory of Appell polynomials. Given a sequence of real numbers ${\beta }_{i},\phantom{\rule{4pt}{0ex}}i=0,1,...,\phantom{\rule{4pt}{0ex}}{\beta }_{0}\ne 0$, a polynomial sequence on determinantal form, called of Appell, has been built. The equivalence of this approach with others existing was proven and, almost always using elementary tools of linear algebra, most important properties od Appell polynomials were proven too. A dual theory referred to the finite difference operator $\Delta$has been proposed. This theory has provided a class of polynomials called Appell polynomials of second kind. Finally, given a linear functional $L$, with $L\left(1\right)\ne 0$, and defined

$L\left({x}^{i}\right)={\beta }_{i},\phantom{\rule{1.em}{0ex}}\left(L\left({\left(x\right)}_{i}\right){=}_{i}\right),$uid222

the linear interpolation problem

$L\left({P}_{n}^{\left(i\right)}\right)=i!{\omega }_{i},\phantom{\rule{2.em}{0ex}}\left(L\left({\Delta }^{i}{P}_{n}\right)=i!{\omega }_{i}\right),\phantom{\rule{1.em}{0ex}}{P}_{n}\in {𝒫}_{n},\phantom{\rule{1.em}{0ex}}{\omega }_{i}\in ℝ,$uid223

has been considered and its solution has been expressed by the basis of Appell polynomials related to the functional $L$by (). This problem can be extended to appropriate real functions, providing a new approximating polynomial, the remainder of which can be estimated too. This theory is susceptible of extension to the more general class of Sheffer polynomials and to the bi-dimensional case.

How to cite and reference

Cite this chapter Copy to clipboard

Francesco Aldo Costabile and Elisabetta Longo (July 11th 2012). Algebraic Theory of Appell Polynomials with Application to General Linear Interpolation Problem, Linear Algebra - Theorems and Applications, Hassan Abid Yasser, IntechOpen, DOI: 10.5772/46482. Available from:

Embed this chapter on your site Copy to clipboard

<iframe src="http://www.intechopen.com/embed/linear-algebra-theorems-and-applications/algebraic-theory-of-appell-polynomials-with-application-to-general-linear-interpolation-problem" />

Embed this code snippet in the HTML of your website to show this chapter

Related Content

Next chapter

An Interpretation of Rosenbrock's Theorem via Local Rings

By A. Amparan, S. Marcaida and I. Zaballa

First chapter

Cramer’s Rules for the System of Two-Sided Matrix Equations and of Its Special Cases

By Ivan I. Kyrchei

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

View all books