An Introduction to Finite Fibonomial Calculus, , November 27, 2006

1 Fibonomial coefficients

The famous Fibonacci sequence

{F_{n}}_{n \geq 0}

{\begin{matrix} F_{n + 2} = F_{n + 1} + F_{n} \\ F_{0} = 0, F_{1} = 1 \end{matrix}

is attributed and refered to the first edition (lost) of ”Liber Abaci” (1202) by Leonardo Fibonacci (Pisano)(see edition from 1228 reproduced as ”Il Liber Abaci di Leonardo Pisano publicato secondo la lezione Codice Maglibeciano by Baldassarre Boncompagni in Scritti di Leonardo Pisano” , vol. 1,(1857)Rome).

In order to specify what a ”Fibonomial Calculus” is let us define for thr sequence

F = {F_{n}}_{n \geq 0}

what follows:

(1) $F$ -factorial:
$F_{n}! = F_{n} F_{n - 1} . . . F_{2} F_{1}, F_{0}! = 1 .$
(2) $F$ -binomial (Fibonomial ) coefficients [5] :
$(\binom{n}{k})_{F} = \frac{n_{F}^{\underset{̲}{k}}}{k_{F}!} = \frac{F_{n} F_{n - 1} \dots F_{n - k + 1}}{F_{k} F_{k - 1} \dots F_{2} F_{1}} = \frac{F_{n}!}{F_{k}! F_{n - k}!}, (\binom{n}{0})_{F} = 1 .$

Some properties of

(\binom{n}{k})_{F}

are:

(a) $(\binom{n}{k})_{F} = (\binom{n}{n - k})_{F}$ , (symmetry);
(b) $F_{n - k} (\binom{n}{k})_{F} = F_{n} (\binom{n - 1}{k})_{F}$ ;
(c) $(\binom{n}{k})_{F} \in N$ for every $n, k \in N \cup 0$ .

2 Operators and polynomial sequences

Let P be the algebra of polynomials over the field K of characteristic zero.

Definition 2.1. The linear operator

\partial_{F} : P \to P

such that

\partial_{F} x^{n} = F_{n} x^{n - 1}

for

n \geq 0

is named the

F

-derivative.

Definition 2.2. The

F

-translation operator is the linear operator

E^{y} (\partial_{F}) : P \to P

of the form:

E^{y} (\partial_{F}) = {exp}_{F} {y \partial_{F}} = \sum_{k \geq 0} \frac{y^{k} \partial_{F}^{k}}{F_{k}!}, y \in K

Definition 2.3.

\forall_{p \in P} p (x +_{F} y) = E^{y} (\partial_{F}) p (x) x, y \in K

Definition 2.4. A linear operator

T : P \to P

is said to be

\partial_{F}

-shift invariant iff

\forall_{y \in K} [T, E^{y} (\partial_{F})] = T E^{y} (\partial_{F}) - E^{y} (\partial_{F}) T = 0

We shall denote by

Σ_{F}

the algebra of

F

-linear

\partial_{F}

-shift invariant operators.

Definition 2.5. Let

Q (\partial_{F})

be a formal series in powers of

\partial_{F}

and

Q (\partial_{F}) : P \to P

Q (\partial_{F})

is said to be

\partial_{F}

-delta operator iff

(a) $Q (\partial_{F}) \in Σ_{F}$
(b) $Q (\partial_{F}) (x) = c o n s t \neq 0$

Under quite natural specification the proofs of most statements might be reffered to [7] (see also references therein).

The particularities of the case considered here are revealed in the sequel especially in the section 4 and 5. There the scope of new possibilities is initiated by means of unknown before examples.

Proposition 2.1. Let

Q (\partial_{F})

be the

\partial_{F}

-delta operator. Then

\forall_{c \in K} Q (\partial_{F}) c = 0 .

Proposition 2.2. Every

\partial_{F}

-delta operator reduces degree of any polynomial by one.

Definition 2.6. The polynomial sequence

{q_{n} (x)}_{n \geq 0}

such that

d e g q_{n} (x) = n

and:

(1) $q_{0} (x) = 1;$
(2) $q_{n} (0) = 0, n \geq 1;$
(3) $Q (\partial_{F}) q_{n} (x) = F_{n} q_{n - 1} (x), n \geq 0$

is called

\partial_{F}

-basic polynomial sequence of the

\partial_{F}

-delta operator

Q (\partial_{F})

Proposition 2.3. For every

\partial_{F}

-delta operator

Q (\partial_{F})

there exists the uniquely determined

\partial_{F}

-basic polynomial sequence

{q_{n} (x)}_{n \geq 0}

Definition 2.7. A polynomial sequence

{p_{n} (x)}_{n \geq 0}

(

d e g p_{n} (x) = n

) is of

F

-binomial (fibonomial) type if it satisfies the condition

E^{y} (\partial_{F}) p_{n} (x) = p_{n} (x +_{F} y) = \sum_{k \geq 0} (\binom{n}{k})_{F} p_{k} (x) p_{n - k} (y) \forall_{y \in K}

Theorem 2.1. The polynomial sequence

{p_{n} (x)}_{n \geq 0}

is a

\partial_{F}

-basic polynomial sequence of some

\partial_{F}

-delta operator

Q (\partial_{F})

iff it is a sequence of

F

-binomial type.

Theorem 2.2. (First Expansion Theorem) Let

T \in Σ_{F}

and let

Q (\partial_{F})

be a

\partial_{F}

-delta operator with

\partial_{F}

-basic polynomial sequence

{q_{n}}_{n \geq 0}

. Then

T = \sum_{n \geq 0} \frac{a_{n}}{F_{n}!} Q (\partial_{F})^{n}; a_{n} = [T q_{k} (x)]_{x = 0} .

Theorem 2.3. (Isomorphism Theorem) Let

Φ_{F} = K_{F} [[t]]

be the algebra of formal exp

_{F}

series in

t \in K

,i.e.:

f_{F} (t) \in Φ_{F} i f f f_{F} (t) = \sum_{k \geq 0} \frac{a_{k} t^{k}}{F_{k}!} f o r a_{k} \in K,

and let the

Q (\partial_{F})

be a

\partial_{F}

-delta operator. Then

Σ_{F} \approx Φ_{F}

. The isomorphism

φ : Φ_{F} \to Σ_{F}

is given by the natural correspondence:

f_{F} (t) = \sum_{k \geq 0} \frac{a_{k} t^{k}}{F_{k}!} \overset{i n t o}{⟶} T_{\partial_{F}} = \sum_{k \geq 0} \frac{a_{k}}{F_{k}!} Q (\partial_{F})^{k} .

Remark 2.1. In the algebra

Φ_{F}

the product is given by the fibonomial convolution, i.e.:

(\sum_{k \geq 0} \frac{a_{k}}{F_{k}!} x^{k}) (\sum_{k \geq 0} \frac{b_{k}}{F_{k}!} x^{k}) = (\sum_{k \geq 0} \frac{c_{k}}{F_{k}!} x^{k})

where

c_{k} = \sum_{l \geq 0} (\binom{k}{l})_{F} a_{l} b_{k - l} .

Corollary 2.1. Operator

T \in Σ_{F}

has its inverse

T^{- 1} \in Σ_{ψ}

iff

T 1 \neq 0

Remark 2.2. The

F

-translation operator

E^{y} (\partial_{F}) = {exp}_{F} {y \partial_{F}}

is invertible in

Σ_{F}

but it is not a

\partial_{F}

-delta operator. No one of

\partial_{F}

-delta operators

Q (\partial_{F})

is invertible with respect to the formal series ”F-product”.

Corollary 2.2. Operator

R (\partial_{F}) \in Σ_{F}

is a

\partial_{F}

-delta operator iff

a_{0} = 0

and

a_{1} \neq 0

, where

R (\partial_{F}) = \sum_{n \geq 0} \frac{a_{n}}{F_{n}!} Q {(\partial_{F})}^{n}

or equivalently :

r (0) = 0

r^{'} (0) \neq 0

where

r (x) = \sum_{k \geq 0} \frac{a_{k}}{F_{k}!} x^{k}

is the correspondent of

R (\partial_{F})

under the Iomorphism Theorem.

Corollary 2.3. Every

\partial_{F}

-delta operator

Q (\partial_{F})

is a function

Q (\partial_{F})

according to the expansion

Q (\partial_{F}) = \sum_{n \geq 1} \frac{q_{n}}{F_{n}!} \partial_{F}^{n}

This

F

-series will be called the

F

-indicator of the

Q (\partial_{F})

Remark 2.3.

{exp}_{F} {z x}

is the

F

-exponential generating function for

\partial_{F}

-basic polynomial sequence

{x^{n}}_{n = 0}^{\infty}

of the

\partial_{F}

operator.

Corollary 2.4. The

F

-exponential generating function for

\partial_{F}

-basic polynomial sequence

{p_{n} (x)}_{n = 0}^{\infty}

of the

\partial_{F}

-delta operator

Q (\partial_{F})

is given by the following formula

\sum_{k \geq 0} \frac{p_{k} (x)}{F_{k}!} z^{k} = {exp}_{F} {x Q^{- 1} (z)}

where

Q \circ Q^{- 1} = Q^{- 1} \circ Q = I = i d .

Example 2.1. The following operators are the examples of

\partial_{F}

-delta operators:

(1) $\partial_{F}$ ;
(2) $F$ -difference operator $Δ_{F} = E^{1} (\partial_{F}) - I$ such that $(Δ_{F} p) (x) = p (x +_{F} 1) - p (x)$ for every $p \in P$ ;
(3) The operator $\nabla_{F} = I - E^{- 1} (\partial_{F})$ defined as follows:
$(\nabla_{F} p) (x) = p (x) - p (x -_{F} 1)$ for every $p \in P$ ;
(4) $F$ -Abel operator: $A (\partial_{F}) = \partial_{F} E^{a} (\partial_{F}) = \sum_{k \geq 0} \frac{a^{k}}{F_{k}!} \partial_{F}^{k + 1}$ ;
(5) $F$ -Laguerre operator of the form: $L (\partial_{F}) = \frac{\partial_{F}}{\partial_{F} - I} = \sum_{k \geq 0} \partial_{F}^{k + 1}$ .

3 The Graves-Pincherle $F$ -derivative

Definition 3.1. The

{\hat{x}}_{F}

-operator is the linear map

{\hat{x}}_{F} : P \to P

such that

{\hat{x}}_{F} x^{n} = \frac{n + 1}{F_{n + 1}} x^{n + 1} f o r n \geq 0

. (

[\partial_{F}, {\hat{x}}_{F}] = i d

Definition 3.2. A linear map ' :

Σ_{F} \to Σ_{F}

such that

T

' =

T {\hat{x}}_{F} - {\hat{x}}_{F} T

= [

T

{\hat{x}}_{F}

] is called the Graves-Pincherle

F

-derivative [3, 9] .

Example 3.1.

(1) $\partial_{F}$ '= $I = i d$ ;
(2) $(\partial_{F})^{n}$ '= $n \partial_{F}^{n - 1}$

According to the example above the Graves-Pincherle

F

-derivative is the formal derivative with respect to

\partial_{F}

Σ_{F}

i.e.,

T

(\partial_{F}) \in Σ_{F}

for any

T \in Σ_{F}

Corollary 3.1. Let

t (z)

be the indicator of operator

T \in Σ_{F}

Then

t^{'} (z)

is the indicator of

T

\in Σ_{F}

Due to the isomorphism theorem and the Corollaries above the Leibnitz rule holds .

Proposition 3.1. (

T S

= T

S + S T

' ;

T

S \in Σ_{F}

As an immediate consequence of the Proposition 3.1 we get

(

S^{n}

)'= n

S

S^{n - 1} \forall_{S \in Σ_{F}}

From the isomorphism theorem we insert that the following is true.

Proposition 3.2.

Q (\partial_{F})

is the

\partial_{F}

-delta operator iff there exists invertible

S \in Σ_{F}

such that

Q (\partial_{F}) = \partial_{F} S .

The Graves-Pincherle

F

-derivative notion appears very effective while formulating expressions for

\partial_{F}

-basic polynomial sequences of the given

\partial_{F}

-delta operator

Q (\partial_{F})

Theorem 3.1. (

F

-Lagrange and

F

-Rodrigues formulas) [7, 10, 8] Let

{q_{n}}_{n \geq 0}

\partial_{F}

-basic sequence of the delta operator

Q (\partial_{F})

Q (\partial_{F}) = \partial_{F} P

(

P \in Σ_{F}

, invertible). Then for

n \geq 0

(1) $q_{n} (x) = Q (\partial_{F})$ ' $P^{- n - 1} x^{n}$ ;
(2) $q_{n} (x) = P^{- n} x^{n} - \frac{F_{n}}{n}$ ( $P^{- n}$ ) ' $x^{n - 1};$
(3) $q_{n} (x) = \frac{F_{n}}{n} {\hat{x}}_{F} P^{- n} x^{n - 1}$ ;
(4) $q_{n} (x) = \frac{F_{n}}{n} {\hat{x}}_{F} (Q (\partial_{F})$ ' ) $^{- 1} q_{n - 1} (x)$ ( $\leftarrow$ Rodrigues $F$ -formula ).

Corollary 3.2. Let

Q (\partial_{F}) = \partial_{F} S

and

R (\partial_{F}) = \partial_{F} P

be the

\partial_{F}

-delta operators with the

\partial_{F}

-basic sequences

{q_{n} (x)}_{n \geq 0}

and

{r_{n} (x)}_{n \geq 0}

respectively. Then:

(1) $q_{n} (x) = R$ ' $(Q$ ' $)^{- 1} S^{- n - 1} P^{n + 1} r_{n} (x), n \geq 0$ ;
(2) $q_{n} (x) = {\hat{x}}_{F} (P S^{- 1})^{n} {\hat{x}}_{F}^{- 1} r_{n} (x), n > 0$ .

The formulas of the Theorem 3.1 can be used to find

\partial_{F}

-basic sequences of the

\partial_{F}

-delta operators from the Example 2.1 .

Example 3.2.

(1) The polynomials $x^{n}, n \geq 0$ are $\partial_{F}$ -basic for $F$ -derivative $\partial_{F}$ .
(2) Using Rodrigues formula in a straighford way one can find the following first $\partial_{F}$ -basic polynomials of the operator $Δ_{F}$ :
$q_{0} (x) = 1 q_{1} (x) = x q_{2} (x) = x^{2} - x q_{3} (x) = x^{3} - 4 x^{2} + 3 x q_{4} (x) = x^{4} - 9 x^{3} + 24 x^{2} - 16 x q_{5} (x) = x^{5} - 20 x^{4} + 112.5 x^{3} - 250 x^{2} + 156.5 x q_{6} (x) = x^{6} - 40 x^{5} + 480 x^{4} - 2160 x^{3} + 4324 x^{2} - 2605 x .$
(3) Analogously to the above example we find the following first $\partial_{F}$ -basic polynomials of the operator $\nabla_{F}$ :
$q_{0} (x) = 1 q_{1} (x) = x q_{2} (x) = x^{2} + x q_{3} (x) = x^{3} + 4 x^{2} + 3 x q_{4} (x) = x^{4} + 9 x^{3} + 24 x^{2} + 16 x q_{5} (x) = x^{5} + 20 x^{4} + 112.5 x^{3} + 250 x^{2} + 156.5 x q_{6} (x) = x^{6} + 40 x^{5} + 480 x^{4} + 2160 x^{3} + 4324 x^{2} + 2605 x .$
(4) Using Rodrigues formula in a straighford way one finds the following first $\partial_{F}$ -basic polynomials of $F$ -Abel operator:
$A_{0, F}^{(a)} (x) = 1 A_{1, F}^{(a)} (x) = x A_{2, F}^{(a)} (x) = x^{2} + a x A_{3, F}^{(a)} (x) = x^{3} - 4 a x^{2} + 2 a^{2} x A_{4, F}^{(a)} (x) = x^{4} - 9 a x^{3} + 18 a^{2} x^{2} - 3 a^{3} x .$
(5) In order to find $\partial_{F}$ -basic polynomials of $F$ -Laguerre operator $L (\partial_{F})$ we use formula (3) from Theorem 3.1 :
$L_{n, F} (x) = \frac{F_{n}}{n} {\hat{x}}_{F} {(\frac{1}{\partial_{F} - 1})}^{- n} x^{n - 1} = \frac{F_{n}}{n} {\hat{x}}_{F} (\partial_{F} - 1)^{n} x^{n - 1} = = \frac{F_{n}}{n} {\hat{x}}_{F} \sum_{k = 0}^{n} (- 1)^{k} (\binom{n}{k}) \partial_{F}^{n - k} x^{n - 1} = \frac{F_{n}}{n} {\hat{x}}_{F} \sum_{k = 0}^{n} (- 1)^{k} (\binom{n}{k}) (n - 1)_{F}^{\underset{̲}{n - k}} x^{k - 1} = = \frac{F_{n}}{n} \sum_{k = 1}^{n} (- 1)^{k} (\binom{n}{k}) (n - 1)_{F}^{\underset{̲}{n - k}} \frac{k}{F_{k}} x^{k} .$

4 Sheffer $F$ -polynomials

Definition 4.1. A polynomial sequence

{s_{n}}_{n \geq 0}

is called the sequence of Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

Q (\partial_{F})

iff

(1) $s_{0} (x) = c o n s t \neq 0$
(2) $Q (\partial_{F}) s_{n} (x) = F_{n} s_{n - 1} (x); n \geq 0 .$

Proposition 4.1. Let

Q (\partial_{F})

\partial_{F}

-delta operator with

\partial_{F}

-basic polynomial sequence

{q_{n}}_{n \geq 0}

. Then

{s_{n}}_{n \geq 0}

is the sequence of Sheffer

F

-polynomials of

Q (\partial_{F})

iff there exists an invertible

S \in Σ_{F}

such that

s_{n} (x) = S^{- 1} q_{n} (x)

for

n \geq 0

. We shall refer to a given labeled by

\partial_{F}

-shift invariant invertible operator

S

Sheffer

F

-polynomial sequence

{s_{n}}_{n \geq 0}

as the sequence of Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

Q (\partial_{F})

relative to

S

Theorem 4.1. (Second

F

Expansion Theorem) Let

Q (\partial_{F})

be the

\partial_{F}

-delta operator

Q (\partial_{F})

with the

\partial_{F}

-basic polynomial sequence

{q_{n} (x)}_{n \geq 0}

. Let

S

be an invertible

\partial_{F}

-shift invariant operator and let

{s_{n} (x)}_{n \geq 0}

be its sequence of Sheffer

F

-polynomials.

Let

T

be any

\partial_{F}

-shift invariant operator and let p(x) be any polynomial. Then the following identity holds :

\forall_{y \in K} \land \forall_{p \in P} (T p) (x +_{F} y) = [E^{y} (\partial_{F}) p] (x) = T \sum_{k \geq 0} \frac{s_{k} (y)}{F_{k}!} Q {(\partial_{F})}^{k} S T p (x)

Corollary 4.1. Let

s_{n} (x)_{n \geq 0}

be a sequence of Sheffer

F

-polynomials of a

\partial_{F}

-delta operator

Q (\partial_{F})

relative to

S

.Then:

S^{- 1} = \sum_{k \geq 0} \frac{s_{k} (0)}{F_{k}!} Q (\partial_{F})^{k} .

Theorem 4.2. (The Sheffer

F

-Binomial Theorem) Let

Q (\partial_{F})

, invertible

S \in Σ_{F}, q_{n} (x)_{n \geq 0}, s_{n} (x)_{n \geq 0}

be as above. Then:

E^{y} (\partial_{F}) s_{n} (x) = s_{n} (x +_{F} y) = \sum_{k \geq 0} (\binom{n}{k})_{F} s_{k} (x) q_{n - k} (y) .

Corollary 4.2.

s_{n} (x) = \sum_{k \geq 0} (\binom{n}{k})_{F} s_{k} (0) q_{n - k} (x)

Proposition 4.2. Let

Q (\partial_{F})

be a

\partial_{F}

-delta operator. Let

S

be an invertible

\partial_{F}

-shift invariant operator. Let

{s_{n} (x)}_{n \geq 0}

be a polynomial sequence. Let

\forall_{a \in K} \land \forall_{p \in P} E^{a} (\partial_{F}) p (x) = \sum_{k \geq 0} \frac{s_{k} (a)}{F_{k}!} Q {(\partial_{F})}^{k} S_{\partial_{F}} p (x)

Then the polynomial sequence

{s_{n} (x)}_{n \geq 0}

is the sequence of Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

Q (\partial_{F})

relative to

S

Proposition 4.3. Let

Q (\partial_{F})

and

S

be as above. Let q(t) and s(t) be the indicators of

Q (\partial_{F})

and

S

operators. Let q

^{- 1}

(t ) be the inverse

F

-exponential formal power series inverse to q(t). Then the

F

-exponential generating function of Sheffer

F

-polynomials sequence

{s_{n} (x)}_{n \geq 0}

Q (\partial_{F})

relative to

S

is given by

\sum_{k \geq 0} \frac{s_{k} (x)}{F_{k}!} z^{k} = {(s (q^{- 1} (z)))}^{- 1} {exp}_{F} {x q^{- 1} (z)} .

Proposition 4.4. A sequence

{s_{n} (x)}_{n \geq 0}

is the sequence of Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

Q (\partial_{F})

with the

\partial_{F}

-basic polynomial sequence

{q_{n} (x)}_{n \geq 0}

iff

s_{n} (x +_{F} y) = \sum_{k \geq 0} (\binom{n}{k})_{F} s_{k} (x) q_{n - k} (y) .

for all

y \in K

Example 4.1. Hermite

F

-polynomials are Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

\partial_{F}

relative to invertible

S \in Σ_{F}

of the form

S = {exp}_{F} {\frac{a \partial_{F}^{2}}{2}}

. One can get them by formula (see Proposition 4.1 ):

H_{n, F} (x) = S^{- 1} x^{n} = \sum_{k \geq 0} \frac{(- a)^{k}}{2^{k} F_{k}!} n_{F}^{\underset{̲}{2 k}} x^{n - 2 k} .

Example 4.2. Let

S = (1 - \partial_{F})^{- α - 1}

. The Sheffer

F

-polynomials of

\partial_{F}

-delta operator

L (\partial_{F}) = \frac{\partial_{F}}{\partial_{F} - 1}

relative to

S

are Laguerre

F

-polynomials of order

α

. By Proposition 4.1 we have

L_{n, F}^{(α)} = (1 - \partial_{F})^{α + 1} L_{n, F} (x),

From the above formula and using Graves-Pincherle

F

-derivative we get

L_{n, F}^{(α)} (x) = \sum_{k \geq 0} \frac{F_{n}!}{F_{k}!} (\binom{α + n}{n - k}) (- x)^{k}

for

α \neq - 1

Example 4.3. Bernoullie's

F

-polynomials of order 1 are Sheffer

F

-polynomials of

\partial_{F}

-delta operator

\partial_{F}

related to invertible

S = {(\frac{{exp}_{F} {\partial_{F}} - I}{\partial_{F}})}^{- 1}

. Using Proposition 4.1 one arrives at

B_{n, F} (x) = S^{- 1} x^{n} = \sum_{k \geq 1} \frac{1}{F_{k}!} \partial_{F}^{k - 1} x^{n} = \sum_{k \geq 1} \frac{1}{F_{k}} (\binom{n}{k - 1})_{F} x^{n - k + 1} = = \sum_{k \geq 0} \frac{1}{F_{k + 1}} (\binom{n}{k})_{F} x^{n - k}

Theorem 4.3. (Reccurence relation for Sheffer

F

-polynomials) Let

Q, S, {s_{n}}_{n \geq 0}

be as above. Then the following reccurence formula holds:

s_{n + 1} (x) = \frac{F_{n + 1}}{n + 1} [{\hat{x}}_{F} - \frac{S^{'}}{S}] {[Q (\partial_{F})^{'}]}^{- 1} s_{n} (x); n \geq 0 .

Example 4.4. The reccurence formula for the Hermite

F

-polynomials is:

H_{n + 1, F} (x) = {\hat{x}}_{F} H_{n, F} (x) - {\hat{a}}_{F} F_{n} H_{n - 1, F} (x)

Example 4.5. The reccurence relation for the Laguerre

F

-polynomials is:

L_{n + 1, F}^{(α)} (x) = - \frac{F_{n + 1}}{n + 1} [{\hat{x}}_{F} - (α + 1) (1 - \partial_{F})^{- 1}] (\partial_{F} - 1)^{2} L_{n, F}^{(α)} (x) = \frac{F_{n + 1}}{n + 1} [{\hat{x}}_{F} (\partial_{F} - 1) + α + 1] L_{n, F}^{(α + 1)} (x) .

5 The Spectral Theorem

We shall now define a natural inner product associated with the sequence

{s_{n}}_{n \geq 0}

of Sheffer

F

-polynomials of the

\partial_{F}

-delta operator

Q (\partial_{F})

relative to

S

Definition 5.1. Let

Q, S, {s_{n}}_{n \geq 0}

be as above. Let

W

be umbral operator:

W : s_{n} (x) \to x^{n}

( and linearly extented). We define the following bilinear form:

(f (x), g (x))_{F} : = [(W f) (Q (\partial_{F})) S g (x)]_{x = 0}; f, g \in P .

Proposition 5.1. [10] The bilinear form over reals defined above is a positive definite inner product such that:

(s_{n} (x), s_{k} (x))_{F} = F_{n}! δ_{n, k} .

We shall call this scalar praduct the natural inner product associated with the sequence

{s_{n}}_{n \geq 0}

of Sheffer

F

-polynomials. Unitary space

(P, (,)_{F})

can be completed to the unique Hilbert space

H = \bar{P}

Theorem 5.1. (Spectral Theorem) Let

{s_{n}}_{n \geq 0}

be the sequence of Sheffer

F

-polynomials relative to the

\partial_{F}

-shift invariant invertible operator

S

for the

\partial_{F}

-delta operator

Q (\partial_{F})

with

\partial_{F}

-basic polynomial sequence

{q_{n}}_{n \geq 0}

. Then there exists a unique operator

A_{F} : H \to H

of the form

A_{F} = \sum_{k \geq 1} \frac{u_{k} + {\hat{v}}_{k} (x)}{F_{k - 1}!} Q (\partial_{F})^{k}

with the following properties:

(a) $A$ is self adjoint;
(b) The spectrum of $A$ consists of $n \in N$ and $A s_{n} = n s_{n}$ for $n \geq 0$ ;
(c) Quantities $u_{k}$ and ${\hat{v}}_{k} (x)$ are calculated according to $u_{k} = - [(log S)^{'} {\hat{x}}_{F}^{- 1} q_{k} (x)]_{x = 0} {\hat{v}}_{F} (x) = {\hat{x}}_{F} {[\frac{d}{d x} q_{k} (x)]}_{x = 0}$ Proof: see [7] .

6 The first elementary examples of $F$ -polynomials

(1) Here are the examples of Laguerre $F$ -polynomials of order $α = - 1$ :
$L_{0, F} (x) = 1 L_{1, F} (x) = - x L_{2, F} (x) = x^{2} - x L_{3, F} (x) = - x^{3} + 4 x^{2} - 2 x L_{4, F} (x) = x^{4} - 9 x^{3} + 18 x^{2} - 6 x L_{5, F} (x) = - x^{5} + 20 x^{4} - 905 x^{3} + 1280 x^{2} - 30 x L_{6, F} (x) = x^{6} - 40 x^{5} + 400 x^{4} - 1200 x^{3} + 1200 x^{2} - 240 x L_{7, F} (x) = - x^{7} + 78 x^{6} - 1560 x^{5} + 10400 x^{4} - 23400 x^{3} + 18720 x^{2} - - 3120 x L_{8, F} (x) = x^{8} - 147 x^{7} + 5733 x^{6} - 76440 x^{5} + 382200 x^{4} - 687960 x^{3} + + 458640 x^{2} - 65520 x$
(2) Here are the examples of Laguerre $F$ -polynomials of order $α = 1$ :
$L_{0, F}^{(1)} (x) = 1 L_{1, F}^{(1)} (x) = - x + 2 L_{2, F}^{(1)} (x) = x^{2} - 3 x + 3 L_{3, F}^{(1)} (x) = - x^{3} + 8 x^{2} - 12 x + 8 L_{4, F}^{(1)} (x) = x^{4} - 15 x^{3} + 60 x^{2} - 60 x + 30 L_{5, F}^{(1)} (x) = - x^{5} + 30 x^{4} - 225 x^{3} + 600 x^{2} - 450 x + 240 L_{6, F}^{(1)} (x) = x^{6} - 56 x^{5} + 840 x^{4} - 4200 x^{3} + 8400 x^{2} - 5040 x + 1680$
(3) Here we give some examples of the Bernoullie's $F$ -polynomials of order 1:
$B_{0, F} (x) = 1 B_{1, F} (x) = x + 1 B_{2, F} (x) = x^{2} + x + \frac{1}{2} B_{3, F} (x) = x^{3} + 2 x^{2} + x + \frac{1}{3} B_{4, F} (x) = x^{4} + 3 x^{3} + 3 x^{2} + x + \frac{1}{5} B_{5, F} (x) = x^{5} + 5 x^{4} + \frac{15}{2} x^{3} + 5 x^{2} + x + \frac{1}{8} B_{6, F} (x) = x^{6} + 8 x^{5} + 20 x^{4} + 20 x^{3} + 8 x^{2} + x + \frac{1}{13} B_{7, F} (x) = x^{7} + 13 x^{6} + 52 x^{5} + \frac{260}{3} x^{4} + 52 x^{3} + 13 x^{2} + x + \frac{1}{21} B_{8, F} (x) = x^{8} + 21 x^{7} + \frac{273}{2} x^{6} + 364 x^{5} + 364 x^{4} + \frac{273}{2} x^{3} + 21 x^{2} + x + \frac{1}{36} B_{9, F} (x) = x^{9} + 34 x^{8} + 357 x^{7} + 1547 x^{6} + \frac{12376}{5} x^{5} + 1547 x^{4} + 357 x^{3} + + 34 x^{2} + x + \frac{1}{55}$

Remark 6.1. Let us observe that analogously to the ordinary case

F

-polynomials ,such as Abel, Laguerre or Bernoullie's

F

-polynomials may have coefficients which are integer numbers (

F

-Abel,

F

-Laguerre) and non-integer rationals (

F

-Bernoulli).

To see that recall for example the formula for Laguerre

F

-polynomials of order -1 (

F

-basic):

L_{n, F} (x) = \frac{F_{n}}{n} \sum_{k = 1}^{n} (- 1)^{k} (\binom{n}{k}) (n - 1)_{F}^{\underset{̲}{n - k}} \frac{k}{F_{k}} x^{k}

and the one for

F

-Laguerre of order

α \neq - 1

(

F

-Sheffer):

L_{n, F}^{(α)} (x) = \sum_{k \geq 0} \frac{F_{n}!}{F_{k}!} (\binom{α + n}{n - k}) (- x)^{k} .

Because Fibonomial coefficients are integers the second formula gives us polynomials with integer coefficients. It is easy to verify that

F

-basic Laguerre polynomials do have this property too.

Finally let

p \in P

while

a_{k}

denote coefficient of this polynomial

p

x^{k}

,i.e.

p (x) = \sum_{k \geq 0} a_{k} x^{k} .

Consider now the Bernoullie's

F

-polynomials of order 1. Because of the symmetry of

(\binom{n}{k})_{F}

and some known divisibility properties of Fibonacci numbers [4, 1] for Bernoullie's

F

-polynomial

B_{n, F} (x)

we have

a_{n - k} = a_{k + 1}

for

k = 0, 1, . ., [\frac{n}{2}]

. Moreover from formula for these polynomials it comes that

a_{0} = \frac{1}{F_{n + 1}} .

Observe now that coefficients of Abel

F

-polynomials are integer numbers, so we may expect now that these polynomials enumerate some combinatorial objects like those of the now classical theory of binomial enumeration (see [11] ).

Acknowledgements I would like to thank to Prof. A.K.Kwaśniewski for his remarks and guideness. References

B.Bondarienko: Generalized Pascal Triangles and PyramidsTheir Fractals , graphs and Applications, A reproduction by the Fibonacci Association 1993, Santa Clara University, Santa Clara, CA
R.L.Graham,D.E.Knuth,O.Patashnik: Concrete mathematics.A Foundation for Computer Science Addison-Wesley Publishing Company, Inc.,Massachusetts 1994
C.Graves: On the principles which regulate the interchange of symbols in certain symbolic equations, Proc.Royal Irish Academy vol.6(1853-1857) p.144-152
W.E.Hoggat,Jr: Fibonacci and Lucas numbers. A publication of The Fibonacci Association,University of Santa Clara, CA 95053
D.Jarden: Nullifying coefficiens Scripta Math.Vol.19(1953)p.239-241
E.Krot: $ψ$ -extensions of q-Hermite and q-Laguerre Polynomials properties and principal statements Czech. J. Phys. Vol.51(2001)No12, p.1362-1367.
A. K. Kwaśniewski: Towards $ψ$ -Extension of Rota's Finite Operator Calculus Rep. Math. Phys. 47, 305 (2001)p.305-342
G.Markowsky: Differential Operators and the Theory of Binomial Enumeration Math.Anal.Appl.63, 145 (1978).
S.Pincherle,U.Amaldi: Le operazioni distributive e le loro applicazioni all analisi, N.Zanichelli,Bologna,1901
G.-C. Rota: Finite Operator Calculus , Academic Press, New York 1975
G.C.Rota,R. Mullin: On the Foundations of cCombinatorial Theory, III : Theory of binominal Enumeration in Graph Theory and its Applications, Academic Press, New York 1970
http://www-groups.dcs.st-and.ac.uk/history/Mathematicians/Fibonacci.html
A. K. Kwaśniewski: Information on Some Recent Applications of Umbral Extensions to Discrete Mathematics ArXiv:math.CO/0411145 v1. 7 Nov 2004 to be presented at ISRAMA Congress, Calcuta-India, December 2004

AMS Classification numbers: 11C08, 11B37, 47B47

An Introduction to Finite Fibonomial Calculus

Ewa Krot Institute of Computer Science, Białystok University PL-15-887 Białystok, ul.Sosnowa 64, POLAND e-mail: ewakrot@wp.pl

November 27, 2006