On Generalized Fibospinomials: Generalized Fibonacci Polynomial Spinors

1. Introduction

Classical mechanics, whose laws were given by Newton in the late 1600s, was not sufficient to interpret the discoveries concerning the electronic structure of atoms and the nature of light. It has become a necessity to develop a different type of mechanics known as quantum mechanics or wave mechanics to explain such situations [19]. Heisenberg and Schrödinger discovered matrix mechanics and wave mechanics, respectively. Later, Schördinger and Eckart tried to prove that these two theories are mathematically equivalent. In Heisenberg’s mechanics, a physical quantity is represented by a matrix, while in Schrödinger’s mechanics it is represented by a linear operator [1]. In quantum mechanics, three different equations, often called Dirac, Pauli, and Schrödinger equations, are used to describe the movement of an electron [16]. Schrödinger defined a wave equation in 1925 based on the suggestion of the famous physicist Peter Debye and the work of de Broglie. The equation did not match the real atom observations, as Schrödinger did not include electron spin in his work, which began with trying to find wave equation that would characterize the behaviour of an electron in hydrogen [2]. In 1926, Schrödinger presented his papers in which he wrote the full mathematical basis of non-relativistic quantum mechanics [19]. Klein, Fock, and Gordon in 1926 independently discovered the relativistic Schrödinger equation for the free spin-$zero$ particle, while Dirac discovered for the free electron the relativistic wave equation, spin-$1/2$ particle, in 1928 [15]. According to Bandyopadhyay and Cahay, the eigenvectors of Pauli spin matrices are examples of spinor, which are $2\times 1$ column vectors that represent the spin state of an electron [1]. Spinors were first used in the field of quantum mechanics by physicists under this name. But this concept in their most general mathematical form, were defined much earlier, by Cartan in 1913. In four-dimensional space, spinors appear in Dirac’s famous electron equations, and the components of a spinor are four wave functions indicated by Cartan [5]. The most important reason for spinors to enter physics is the existence of spin. Spinors, a concept that is not yet fully understood [13] and needs to be studied a lot, is a concept that mathematicians focus on algebraic and geometrical studies, and physicists carry out deep studies on quantum physics. When the literature is examined, the fact that spinors have been studied without any geometrical meaning has led to the complexity of attempts to extend Dirac’s equations to general relativity and spinors to be an incomprehensible concept [5]. Spinors and Dirac equations in general relativity theory on Riemannian spaces have been studied independently by Weyl [38], Schrödinger [31] and Fock [14], and then many studies have been done in terms of space-time geometry [9]. Vaz and Rocha advocated three fundamentally different definitions of spinor, each of which was defined by different researchers, each emphasizing a different perspective. Two of these are more widely accepted, and the third is just beginning to be recognized in the literature [35]. They made this classification into algebraic, classical and operatorial.

Now the definition of $SU\left(2\right)$ as given in Westra’s notes [37] will be reminded. Let U be a $2\times 2$ type matrix and let $U^{†}$ represent the conjugate transpose of U. $SU\left(2\right)$ is the group that provides the following properties:

$$U=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right],U^{†}U=U{U}^{†}=I\mathrm{and}detU=1\mathrm{where}a,b,c,d\in \mathbb{C}.$$

Then the most general element of $SU\left(2\right)$ is written as

$$U\left(x,y\right)=\left[\begin{array}{cc}x& y\\ -\overline{y}& \overline{x}\end{array}\right],{\left|x\right|}^2+{\left|y\right|}^2=1.\text{[37]}$$

The elements of the representation space of $SU\left(2\right)$, obtained with the help of Cayley-Klein parameters, which are the inputs of a unitary matrix A belonging to the $SU\left(2\right)$, are called classical spinors [35]. In Quantum Mechanics, particle spin, defined in Lie Group theory as $n-$dimensional $Spin\left(n\right)$ with elements known as spinors, is used to represent quaternions. Because spinors change sign when rotated ${360}^{\circ }$, it is advantageous to use spinors instead of vectors and tensors to describe the spin angular characteristic of the electron. Three-dimensional spinors of group $Spin\left(3\right)$ is $SU\left(2\right)$. The most important application of spinors in quantum physics is to provide mathematical representations of energy transfer in EM fields [30].

Now, let’s give the definition of spinor in this sense with the notations used in the book written by Nagashima [25]. In two-dimensional complex variable space, the spinor is defined as the base vector of the group representation $SU\left(2\right)$.

Two-component column vector $\phi =\left[\begin{array}{c}{\phi }_1\\ {\phi }_2\end{array}\right],$ where ${\phi }_1,{\phi }_2$ are in general complex numbers is a notation for spinors. On the other hand, the representation matrices are stated as $2\times 2$ unitary matrices with unit determinants. $\phi$ transforms under $SU\left(2\right)$ as follows:

$$\phi ⟶{\phi }^{\prime }=U\phi ,\mathrm{i}.\mathrm{e}.,\left[\begin{array}{c}{\phi }_1^{\prime }\\ {\phi }_2^{\prime }\end{array}\right]=U\left(x,y\right)\left[\begin{array}{c}{\phi }_1\\ {\phi }_2\end{array}\right]$$

(1.1)

where $U\left(x,y\right)\in SU\left(2\right)$ and

$${\phi }_1^{\prime }=x{\phi }_1+y{\phi }_2,{\phi }_2^{\prime }=-\stackrel{-}{y}{\phi }_1+\stackrel{-}{x}{\phi }_2.$$

(1.2)

Furthermore, there are three independent parameters in $SU\left(2\right)$ [25].

In the algebraic definition, in physics, the spinor space is defined as a member of the minimal left ideal of Clifford’s algebra [35]. Cartan created the mathematical form of spinors while investigating linear representations of simple groups [5].

The concept, which was first called by the quantum physicist P. Ehrenfest, has been an important tool in many physical theories, especially in the mechanics of solids [3].

In addition, there are important studies in which spinors are used in the applications of mathematics in the field of physics. On the other hand, spinors, also studied geometrically by E. Cartan, are elements of complex vector space and are used in mathematics and physics to extend the concepts of rotation and space vector. Spinors, which consist of two complex components in terms of vectors, were obtained in three-dimensional Euclidean space by Cartan [5]. The properties of spinors have been studied in different dimensions by different authors. In 2004, Castillo and Barrales gave some main properties of spinors in three-dimensional real space [9]. Later, Castillo defined spinor formulation in four-dimensional space [10].

Let’s explain this concept better with the representation of spinors established with the help of orthonormal base. The homomorphic groups $SO\left(3\right)$ and $SU\left(2\right)$ are the rotation group around the origin in ${\mathbb{R}}^3$ and unitary complex $2\times 2$ matrices group with unit determinant, respectively. Here, the elements of $SU\left(2\right)$ move on two vectors with complex structure named spinors [9].

Every spinor $\phi =\left[\begin{array}{c}{\phi }_1\\ {\phi }_2\end{array}\right]$ defines vectors $d,e,$f$\in {\mathbb{R}}^3$ through $d+ie={\phi }^t\sigma \phi ,$$f=\widehat{\phi }\sigma \phi .$ Here $\sigma$ is a vector whose ${\tilde{\sigma }}_1,{\tilde{\sigma }}_2,{\tilde{\sigma }}_3$ components are the complex symmetric $2\times 2$ matrices and $\widehat{\phi }$ denote conjugate of $\phi$ where

$${\tilde{\sigma }}_1=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right],{\tilde{\sigma }}_2=\left[\begin{array}{cc}i& 0\\ 0& i\end{array}\right],{\tilde{\sigma }}_3=\left[\begin{array}{cc}0& -1\\ -1& 0\end{array}\right]$$

(1.3)

and

$$\widehat{\phi }=\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\overline{\phi }\equiv -\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\left[\begin{array}{c}\overline{{\phi }_1}\\ \overline{{\phi }_2}\end{array}\right]=\left[\begin{array}{c}-\overline{{\phi }_2}\\ \overline{{\phi }_1}\end{array}\right].$$

(1.4)

On the other hand $d,$$e,$f$\in {\mathbb{R}}^3$ vectors are defined with

$$d+ie=\left({\phi }_1^2-{\phi }_2^2,i\left({\phi }_1^2+{\phi }_2^2\right),-2{\phi }_1{\phi }_2\right)$$

(1.5)

and

$$f=\left(\overline{{\phi }_2}{\phi }_1+\overline{{\phi }_1}{\phi }_2,i\overline{{\phi }_2}{\phi }_1-i\overline{{\phi }_1}{\phi }_2,{\left|{\phi }_1\right|}^2-{\left|{\phi }_2\right|}^2\right).$$

(1.6)

Also, $\left|d\right|=\left|e\right|=\left|f\right|=\overline{{\phi }^t}\phi$ and $d\times e.f$$>0.$ Let $\phi$ and $\varphi$ be two arbitrary spinors and $d,e$ be complex numbers. In this case, $\overline{{\phi }^t\sigma \varphi }=-\widehat{{\phi }^t}\sigma \widehat{\varphi }$, $\widehat{\left(d\phi +e\varphi \right)}=\overline{d}\widehat{\varphi }+\overline{e}\widehat{\phi }$ and $\widehat{\widehat{\phi }}=-\phi .$ Furthermore for nonzero spinor $\phi$, $\left\{\phi ,\widehat{\phi }\right\}$ is linear independent and the spinors corresponding to $\left\{d,e,f\right\},\left\{e,f,d\right\},\left\{f,e,d\right\}$ are different [9].

Now let’s give place to one of the important concepts in this field: Pauli matrices. Hermitian, involutory and unitary Pauli matrices are $2\times 2$ type matrices. However, all of the Pauli matrices can be compacted into a single expression. In addition, every $2\times 2$ Hermitian matrix is uniquely written as a linear combination of Pauli matrices where all coefficients are real numbers. Now, we remember the Pauli matrices:

$${\sigma }_1=\left[\begin{array}{cc}0& 1\\ 1& 0\end{array}\right],{\sigma }_2=\left[\begin{array}{cc}0& -i\\ i& 0\end{array}\right],{\sigma }_3=\left[\begin{array}{cc}1& 0\\ 0& -1\end{array}\right].$$

(1.7)

Clearly, ${\tilde{\sigma }}_1,{\tilde{\sigma }}_2,{\tilde{\sigma }}_3$ matrices in (1.3) are obtained by multiplying

$\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]$ matrix and the Pauli matrices. Pauli used spinors, thought to be elements of ${\mathbb{C}}^2$, to reveal the behavior of an electron by taking the spin of the electron into calculate in quantum mechanics. In physics, spinors arose as a product of Pauli’s theory of non-relativistic quantum mechanics (1926) and Dirac’s (1928) theory of relativistic quantum mechanics [11,28]. These matrices, which appear in the Pauli equation, that takes into calculus the interaction of a particle’s spin with an external electromagnetic field, are named after the physicist Wolfgang Pauli[28] and these matrices have a very important place in nuclear physics studies. Dirac gave important formulas about Pauli matrices [11]. The space of Dirac spinors is a complex four-dimensional vector space, and turns out to split as the sum of a complex two-dimensional vector space S, called a spin space, also its complex conjugate $\mathbf{S}.$ Since spinors are complex objects, both the space of complex conjugate spinors and its dual must be given. Vivarelli [36] involved in this area in geometrical aspect. He showed a injective and linear correspondence between spinors and quaternions and in three-dimensional Euclidean space he gave spinor representations of rotations. Thus, a more concise and simpler depiction of quaternions can be reached by the concept of spinors. Quaternions being applied to the fields of mathematics, physics, robotics, engineering and chemistry can be worked through spinors with the help of the correspondence given by Vivarelli [36].

Recent studies using special numbers like Fibonacci and Lucas numbers have brought a different perspective to the use of spinors in mathematics. Erişir and Güngör [12], in 2020, introduced Fibonacci and Lucas spinors with the help of the Fibonacci quaternions. Later, in 2023, Kumari et. al [24]. examined the $k-$Fibonacci and $k-$Lucas spinors via $k-$Fibonacci and $k-$Lucas quaternions which has been worked by Ramirez [29]. Horadam [20] first introduce the Fibonacci and Lucas quaternions which are worked in several areas. Soykan [32] exhibited the generalized Fibonacci polynomials in many aspects. Trying to see the beauty of these sequences in quantum mechanics will be interesting and worth to be examined. In our paper, we will work with generalized Fibonacci polynomial spinors through the correspondence between generalized Fibonacci spinors with generalized Fibonacci quaternions as Erişir and Güngör [12] did. We will investigate several properties of this new polynomial spinor sequence such as Binet’s formula, etc. In addition, as particular cases, we will obtain this features for $(r,s)-$Fibonacci polynomial spinors, $(r,s)-$Fibonacci-Lucas polynomial spinors, Fibonacci polynomial spinors and Fibonacci-Lucas polynomial spinors and we will reveal the relations between these polynomial spinors.

2. Preliminaries

The Horadam polynomial sequence, or the generalized Fibonacci polynomial sequence, $\left\{W_n\left(x\right)\right\}$ was introduced by Horadam [21] with

$$W_n\left(x\right)=r\left(x\right)W_{n-1}\left(x\right)+s\left(x\right)W_{n-2}\left(x\right),n\ge 2$$

(2.1)

where $W_0\left(x\right),W_1\left(x\right)$are arbitrary complex (or real) polynomials with real coefficients and $r\left(x\right)$ and $s\left(x\right)$ are polynomials with real coefficients with $r\left(x\right)\ne 0,$$s\left(x\right)\ne 0$. See also the paper [32].

Binet’s formula of generalized Fibonacci (Horadam) polynomials can be calculated using its characteristic equation which is given as

$$z^2-r\left(x\right)z-s\left(x\right)=0.$$

(2.2)

The roots of characteristic equation are

$$\alpha \left(x\right)=\frac{r\left(x\right)+\sqrt{r^2\left(x\right)+4s\left(x\right)}}{2},\beta \left(x\right)=\frac{r\left(x\right)-\sqrt{r^2\left(x\right)+4s\left(x\right)}}{2}$$

(2.3)

and the sum and product of the these roots are as follows:

$$\begin{array}{cc}\hfill \alpha \left(x\right)+\beta \left(x\right)& =r\left(x\right),\hfill \end{array}$$

(2.4)

$$\begin{array}{cc}\hfill \alpha \left(x\right)\beta \left(x\right)& =-s\left(x\right).\hfill \end{array}$$

(2.5)

If $\alpha \left(x\right)\ne \beta \left(x\right)$ then $r^2\left(x\right)+4s\left(x\right)\ne 0$ and if $\alpha \left(x\right)=\beta \left(x\right)$ then (2.2) can be written as

$$z^2-r\left(x\right)z-s\left(x\right)={(z-\alpha \left(x\right))}^2=z^2-2\alpha \left(x\right)z+{\alpha }^2\left(x\right)=0$$

(2.6)

and, in this case,

$$\begin{array}{ccc}\hfill r\left(x\right)& =& 2\alpha \left(x\right),\hfill \end{array}$$

(2.7)

$$\begin{array}{ccc}\hfill s\left(x\right)& =& -{\alpha }^2\left(x\right)=-\frac{r^2\left(x\right)}{4},\hfill \end{array}$$

(2.8)

$$\begin{array}{ccc}\hfill r^2\left(x\right)+4s\left(x\right)& =& 0.\hfill \end{array}$$

(2.9)

The Horadam polynomial sequence can be expanded to negative subscripts through defining

$$W_{-n}\left(x\right)=-\frac{r\left(x\right)}{s\left(x\right)}{W}_{-(n-1)}\left(x\right)+\frac{1}{s\left(x\right)}{W}_{-(n-2)}\left(x\right)$$

(2.10)

for $n=1,2,3,...$ where $s\left(x\right)\ne 0.$ Thus, recurrence (2.1) holds for all integers n. Soykan examined the Horadam polynomials in detail with many aspects [32].

Now, we define two special cases of the generalized Fibonacci polynomials $W_n\left(x\right)$ in according to their first two values denoted by $G_n\left(x\right)$ and $H_n\left(x\right)$, respectively, via the second-order recurrence relations

$$\begin{array}{ccc}\hfill G_{n+2}\left(x\right)& =& r\left(x\right)G_{n+1}\left(x\right)+s\left(x\right)G_n\left(x\right),G_0\left(x\right)=0,G_1\left(x\right)=1,\hfill \end{array}$$

(2.11)

$$\begin{array}{ccc}\hfill H_{n+2}\left(x\right)& =& r\left(x\right)H_{n+1}\left(x\right)+s\left(x\right)H_n\left(x\right),H_0\left(x\right)=2,H_1\left(x\right)=r\left(x\right).\hfill \end{array}$$

(2.12)

The (sequences of polynomials) ${\left\{G_n\left(x\right)\right\}}_{n\ge 0}$ and ${\left\{H_n\left(x\right)\right\}}_{n\ge 0}$ are named $\left(r,s\right)-$Fibonacci polynomial sequence and $(r,s)-$Fibonacci-Lucas polynomial sequence. We can obtain Fibonacci polynomial sequence ${\left\{F_n\left(x\right)\right\}}_{n\ge 0}$ coming from ${\left\{G_n\left(x\right)\right\}}_{n\ge 0}$ and Fibonacci-Lucas polynomial sequence${\left\{L_n\left(x\right)\right\}}_{n\ge 0}$ coming from ${\left\{H_n\left(x\right)\right\}}_{n\ge 0}$ when $r\left(x\right)=x$ and $s\left(x\right)=1$ as a special case as follows:

$$\begin{array}{ccc}\hfill F_{n+2}\left(x\right)& =& x{F}_{n+1}\left(x\right)+F_n\left(x\right),F_0\left(x\right)=0,F_1\left(x\right)=1,\hfill \end{array}$$

(2.13)

$$\begin{array}{ccc}\hfill L_{n+2}\left(x\right)& =& x{L}_{n+1}\left(x\right)+L_n\left(x\right),L_0\left(x\right)=2,L_1\left(x\right)=x.\hfill \end{array}$$

(2.14)

Furthermore, the sequence of polynomials ${\left\{W_n\left(x\right)\right\}}_{n\ge 0}$ which is the generalized Fibonacci polynomial sequence becomes the sequence of numbers ${\left\{W_n\right\}}_{n\ge 0}$ which we call with the generalized Fibonacci numbers if $r\left(x\right)$ and $s\left(x\right)$ are the sequence of numbers as in the following:

$$W_n=r{W}_{n-1}+s{W}_{n-2},n\ge 2$$

(2.15)

with initial values $W_0,$$W_1$ not all being zero integers where $r,s$ are integers with $r\ne 0,$$s\ne 0$. As a special case, $\left(r,s\right)-$Fibonacci numbers denoted by ${\left\{G_n\right\}}_{n\ge 0}$ and $(r,s)-$Fibonacci-Lucas numbers denoted by ${\left\{H_n\right\}}_{n\ge 0}$ are given by the following recurrence relations with regarding inital values.

$$\begin{array}{ccc}\hfill G_{n+2}& =& r{G}_{n+1}+s{G}_n,G_0=0,G_1=1,\hfill \end{array}$$

(2.16)

$$\begin{array}{ccc}\hfill H_{n+2}& =& r{H}_{n+1}+s{H}_n,H_0=2,H_1=r.\hfill \end{array}$$

(2.17)

In particular, the sequence of polynomials ${\left\{F_n\left(x\right)\right\}}_{n\ge 0}$ and ${\left\{L_n\left(x\right)\right\}}_{n\ge 0}$ are the extensions of Fibonacci and Fibonacci-Lucas numbers, respectively, so that if $r\left(x\right)=1$ and $s\left(x\right)=1$ then we have Fibonacci numbers $\left\{F_n\right\}$ and Fibonacci-Lucas numbers $\left\{L_n\right\}$ as follows:

$$\begin{array}{ccc}\hfill F_{n+2}& =& F_{n+1}+F_n,F_0=0,F_1=1,\hfill \end{array}$$

(2.18)

$$\begin{array}{ccc}\hfill L_{n+2}& =& L_{n+1}+L_n,L_0=2,L_1=1.\hfill \end{array}$$

(2.19)

As we indicated above, the sequence of polynomials generalize the sequence of numbers. Now, let us have a look at the generalized Fibonacci quaternion polynomials and the generalized Fibonacci quaternions. For this, let us take a quick look at the definiton of quaternions.

Quaternions extend the complex numbers and are defined in the form $q=q_0+i{q}_1+j{q}_2+k{q}_3,$ where $q_0,q_1,q_2,q_3$ are real numbers and $1,i,j,k$ are basis vectors satisfying $i^2=j^2=k^2=ijk=-1,$$ij=k=-ji,$$jk=i=-kj,$$ki=j=-ik.$ We denote the set of quaternions by $\mathbb{H}.$ Multiplication of quaternions is not commutative. Hamilton defined that quaternions consist of a scalar part given above as $q_0$ above and and a vector part given above as $i{q}_1+j{q}_2+k{q}_3$. The conjugate and norm of a quaternion q is given with $q^{\ast }=q_0-i{q}_1-j{q}_2-k{q}_3$ and $∥q∥=\sqrt{q_0^2+q_1^2+q_2^2+q_3^2}$, respectively.

Catarino defined the $h\left(x\right)-$Fibonacci quaternion polynomials generalizing the $k-$Fibonacci quaternion numbers and examined this polynomial sequence with its several properties [6,7]. Then, Özkoç and Porsuk [26] examined the generalized Fibonacci quaternion polynomials generalizing the generalized Fibonacci quaternion numbers defined by

$$Q{W}_n\left(x\right)=W_n\left(x\right)+i{W}_{n+1}\left(x\right)+j{W}_{n+2}\left(x\right)+k{W}_{n+3}\left(x\right)$$

(2.20)

where $\left\{W_n\left(x\right)\right\}$ is a Horadam polynomial sequence and they presented the Binet’s formula, generating function and some identities for this polynomial sequence.

From this point of view, it can be easily seen that the generalized Fibonacci quaternion polynomials sequence $\left\{Q{W}_n\left(x\right)\right\}$ can be written with second order recurrence relation as in the following:

$$Q{W}_n\left(x\right)=r\left(x\right)Q{W}_{n-1}\left(x\right)+s\left(x\right)Q{W}_{n-2}\left(x\right),n\ge 2.$$

(2.21)

It can be noted that the characteristic equation for generalized Fibonacci (Horadam) polynomial quaternions will be the same that of generalized Fibonacci (Horadam) polynomial since they have same linear recurrence relation. In addition, while changing the coefficients r and s, we obtain that a generalization of different sequences such as Fibonacci quaternion polynomials, Fibonacci-Lucas quaternion polynomials, Pell quaternion polynomials, Pell-Lucas quaternion polynomials, Jacobsthal quaternion polynomials, Jacobsthal-Lucas quaternion polynomials which are among the most well-known sequences.

The Horadam quaternions polynomial sequence generalize also the sequence of numbers which we will recall for Horadam quaternions below.

Horadam [20] defined the Fibonacci quaternions $\left\{Q{F}_n\right\}$ and Fibonacci-Lucas quaternions $\left\{Q{L}_n\right\}$ and showed a few relations regarding the Fibonacci quaternions. Later, Iyer had exhibited some relations between Fibonacci quaternions and Fibonacci-Lucas quaternions [22] and Swamy had found new properties between the generalized Fibonacci quaternion sequence and Fibonacci quaternion sequence [33]. Then, Halıcı introduced the Binet’s formulas for the Fibonacci and Fibonacci-Lucas quaternions, and also exhibited generating functions and some sum formulas for these sequences [17]. Later on, İpek introduced $\left(r,s\right)-$Fibonacci quaternions [23] and Patel and Ray [27] introduced $\left(r,s\right)-$Fibonacci-Lucas quaternions and exhibited some identities about $\left(r,s\right)-$Fibonacci quaternions and $\left(r,s\right)-$Fibonacci-Lucas quaternions such as Catalan’s identity, d’Ocagne’s identity etc. Then, Cerda-Morales presented these well-known identities for $\left(r,s\right)-$Fibonacci quaternions and $\left(r,s\right)-$Fibonacci-Lucas quaternions using their Binet’s formula [8] and Szynal-Liana and Wloch worked on generalized commutative Fibonacci quaternions [34]. Halıcı and Karataş gave the most generalized version of these series as follows:

The nth generalized Fibonacci quaternion was exhibited by Halıcı and Karataş [18] such that

$$Q{W}_n=W_n+i{W}_{n+1}+j{W}_{n+2}+k{W}_{n+3}$$

(2.22)

where $\left\{W_n\right\}$ is a generalized Fibonacci or Horadam sequence satisyfing (2.15). The generalized Fibonacci quaternion sequence, in another way of saying Horadam quaternion sequence is a second order linear recurrence relation so that for $n\ge 0$

$$Q{W}_{n+2}=rQ{W}_{n+1}+sQ{W}_n$$

(2.23)

where $r,s\in \mathbb{Z}$.

For the sake of simplicity throughout the rest of the paper, for all integers n we use

$$W_n,G_n,H_n,F_n,L_n,r,s,\alpha ,\beta$$

instead of

$$W_n\left(x\right),G_n\left(x\right),H_n\left(x\right),F_n\left(x\right),L_n\left(x\right),r\left(x\right),s\left(x\right),\alpha \left(x\right),\beta \left(x\right)$$

respectively, unless otherwise is stated.

We can see first few values of the sequence of polynomials $\left\{W_n\right\},\left\{G_n\right\},\left\{H_n\right\},\left\{F_n\right\}$ and $\left\{L_n\right\}$ in Table 1.

Table 1. Some values of generalized Fibonacci, $(r,s)-$ Fibonacci, $(r,s)-$ Fibonacci Lucas, Fibonacci and Fibonacci-Lucas polynomials.

n	0	1	2	3
$W_n$	$W_0$	$W_1$	$r{W}_0+s{W}_1$	$r^2{W}_0+s(r+1)W_1$
$W_{-n}$		${\displaystyle \frac{(W_1-r{W}_0)}{s}}$	${\displaystyle \frac{\left((r^2+s)W_0-r{W}_1\right)}{s^2}}$	${\displaystyle \frac{(-(r^3+2rs)W_0+(r^2+s)W_1)}{s^3}}$
$G_n$	0	1	r	$s+r^2$
$G_{-n}$		${\displaystyle \frac{1}{s}}$	$-{\displaystyle \frac{r}{s^2}}$	${\displaystyle \frac{1}{s^3}}\left(s+r^2\right)$
$H_n$	2	r	$2s+r^2$	$r\left(3s+r^2\right)$
$H_{-n}$		$-{\displaystyle \frac{r}{s}}$	${\displaystyle \frac{2s+r^2}{s^2}}$	$-r{\displaystyle \frac{3s+r^2}{s^3}}$
$F_n$	0	1	x	$1+x^2$
$F_{-n}$		1	$-x$	$1+x^2$
$L_n$	2	x	$2+x^2$	$x^3+3x$
$L_{-n}$		$-x$	$2+x^2$	$-x^3-3x$

Table 1. Some values of generalized Fibonacci, $(r,s)-$ Fibonacci, $(r,s)-$ Fibonacci Lucas, Fibonacci and Fibonacci-Lucas polynomials.

n	0	1	2	3
$W_n$	$W_0$	$W_1$	$r{W}_0+s{W}_1$	$r^2{W}_0+s(r+1)W_1$
$W_{-n}$		${\displaystyle \frac{(W_1-r{W}_0)}{s}}$	${\displaystyle \frac{\left((r^2+s)W_0-r{W}_1\right)}{s^2}}$	${\displaystyle \frac{(-(r^3+2rs)W_0+(r^2+s)W_1)}{s^3}}$
$G_n$	0	1	r	$s+r^2$
$G_{-n}$		${\displaystyle \frac{1}{s}}$	$-{\displaystyle \frac{r}{s^2}}$	${\displaystyle \frac{1}{s^3}}\left(s+r^2\right)$
$H_n$	2	r	$2s+r^2$	$r\left(3s+r^2\right)$
$H_{-n}$		$-{\displaystyle \frac{r}{s}}$	${\displaystyle \frac{2s+r^2}{s^2}}$	$-r{\displaystyle \frac{3s+r^2}{s^3}}$
$F_n$	0	1	x	$1+x^2$
$F_{-n}$		1	$-x$	$1+x^2$
$L_n$	2	x	$2+x^2$	$x^3+3x$
$L_{-n}$		$-x$	$2+x^2$	$-x^3-3x$

Next, we can present the first few values of the sequence of polynomials $\left\{Q{W}_n\right\}$ as follows:

$$\begin{array}{ccc}\hfill Q{W}_0& =& W_0+i{W}_1+j\left(r{W}_0+s{W}_1\right)+k\left(r^2{W}_0+s(r+1)W_1\right),\hfill \\ \hfill Q{W}_1& =& W_1+i\left(r{W}_0+s{W}_1\right)+j\left(r^2{W}_0+s(r+1)W_1\right)\hfill \\ & & +k\left((r^3+rs)W_0+(s^2+rs+r^{2}s)W_1\right),\hfill \\ \hfill Q{W}_2& =& rQ{W}_1+sQ{W}_0.\hfill \end{array}$$

(2.24)

We now recall the spinors obtained by the help of the quaternions. Consider a spinor $\phi$ given by

$$\phi =\left({\phi }_1,{\phi }_2\right)\cong \left[\begin{array}{c}{\phi }_1\\ {\phi }_2\end{array}\right]$$

(2.25)

where ${\phi }_1,{\phi }_2\in \mathbb{C}.$ We denote the set of spinors by $\mathbb{S}$. Vivarelli [36] pointed out that there is a correspondence between any quaternion $q=q_0+i{q}_1+j{q}_2+k{q}_3$ and a spinor $\phi =\left[\begin{array}{c}{\phi }_1\\ {\phi }_2\end{array}\right]$ such that

$$f:\mathbb{H}\to \mathbb{S},f(q_0+i{q}_1+j{q}_2+k{q}_3)=\left[\begin{array}{c}{q}_3+i{q}_0\\ q_1+i{q}_2\end{array}\right]\equiv \phi .$$

(2.26)

Since $f(q+p)=f\left(q\right)+f\left(p\right)$, $f\left(\lambda q\right)=\lambda f\left(q\right)$ where $\lambda \in \mathbb{C}$, $p,q\in \mathbb{H}$ and $kerf=\left\{0\right\}$, f is linear and injective. Under this correspondence f, the conjugate of q i.e., $q^{\ast }$ is mapped to ${\phi }^{\ast }$ as below:

$$f\left(q^{\ast }\right)=f(q_0-i{q}_1-j{q}_2-k{q}_3)=\left[\begin{array}{c}-q_3+i{q}_0\\ -q_1-i{q}_2\end{array}\right]\equiv {\phi }^{\ast }.$$

(2.27)

Given two spinors ${\phi }_a=\left[\begin{array}{c}{\phi }_{1_a}\\ {\phi }_{2_a}\end{array}\right]$ and ${\phi }_b=\left[\begin{array}{c}{\phi }_{1_b}\\ {\phi }_{2_b}\end{array}\right],$${\phi }_a={\phi }_b$ are equal if and only if ${\phi }_{1_a}={\phi }_{1_b}$ and ${\phi }_{2_a}={\phi }_{2_b}$.

The product of quaternions $q\times p$ has been shown by Vivarelli [36] in relation to a spinor matrix product as follows:

$$q\times p\to -i\widehat{U}f\left(p\right)=-i\left[\begin{array}{cc}{q}_3+i{q}_0& q_1-i{q}_2\\ q_1+i{q}_2& -q_3+i{q}_0\end{array}\right]\left[\begin{array}{c}{p}_3+i{p}_0\\ p_1+i{p}_2\end{array}\right]$$

(2.28)

where $\widehat{U}$ is complex, unitary $2\times 2$ type matrix taking in $SU\left(2\right)$. Here, $\widehat{U}$ can be written by means of Pauli matrices (1.7):

$$\widehat{U}=\left[\begin{array}{cc}{q}_3+i{q}_0& q_1-i{q}_2\\ q_1+i{q}_2& -q_3+i{q}_0\end{array}\right]=q_{0}iI+q_1{\sigma }_1+q_2{\sigma }_2+q_3{\sigma }_3$$

(2.29)

where ${\sigma }_1,{\sigma }_2$ and ${\sigma }_3$ are Pauli matrices and I is the unit square matrix of type $2\times 2$. The connection between a spinor $\phi$ and a $2\times 2$ matrix $\widehat{U}$ is given [36] by

$$\phi =\widehat{U}\left[\begin{array}{c}1\\ 0\end{array}\right].$$

(2.30)

Conjugate of a spinor $\phi$ is given by Cartan [5] with $\tilde{\phi }$ and the mate of a spinor $\phi$ is presented by Castillo and Barrales [9] with $\stackrel{\vee }{\phi }$ as in the following identites

$$\tilde{\phi }=i\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\overline{\phi },\stackrel{\vee }{\phi }=-\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\overline{\phi }$$

(2.31)

respectively, where $\overline{\phi }$ is the complex conjugate of $\phi$.

3. Generalized Fibonacci (Horadam) Polynomial Spinors

Definition 3.1.

For integer n, the nth generalized Fibonacci polynomial spinor sequence of $W_n$ is defined by

$$S{W}_n=\left[\begin{array}{c}{W}_{n+3}+i{W}_n\\ W_{n+1}+i{W}_{n+2}\end{array}\right]$$

(3.1)

where $W_n$ is the nth generalized Fibonacci polynomial.

The generalized Fibonacci polynomial spinor sequence $\left\{S{W}_n\right\}$ satisfy the second order linear recurrence sequence from the recurrence (2.1). We can see this in the next lemma.

Lemma 1.

The generalized Fibonacci polynomial spinors $\left\{S{W}_n\right\}$ has the following identity for all integers n:

$$S{W}_{n+2}=rS{W}_{n+1}+sS{W}_n$$

(3.2)

where $S{W}_0=\left[\begin{array}{c}{W}_3+i{W}_0\\ W_1+i{W}_2\end{array}\right],S{W}_1=\left[\begin{array}{c}{W}_4+i{W}_1\\ W_2+i{W}_3\end{array}\right]$ are arbitrary polynomial spinors with real coefficients.

Proof. 

For all integers $n,$ by using the recurrence (2.1), we can easily have the required identity:

$$\begin{array}{ccc}\hfill rS{W}_{n+1}+sS{W}_n& =& r\left[\begin{array}{c}{W}_{n+4}+i{W}_{n+1}\\ W_{n+2}+i{W}_{n+3}\end{array}\right]+s\left[\begin{array}{c}{W}_{n+3}+i{W}_n\\ W_{n+1}+i{W}_{n+2}\end{array}\right]\hfill \\ & =& \left[\begin{array}{c}{W}_{n+5}+i{W}_{n+2}\\ W_{n+3}+i{W}_{n+4}\end{array}\right]=S{W}_{n+2}.\hfill \end{array}$$

(3.3)

□

Theorem 1.

Note that first we can define the generalized Fibonacci polynomial spinor sequence $\left\{S{W}_n\right\}$ as (3.2) then we get (3.1).

We can see a correspondence between the generalized Fibonacci polynomial quaternions and the generalized Fibonacci polynomial spinors by adapting from the transformation between quaternions and spinors with the following linear and injective transformation:

$$\begin{array}{ccc}\hfill f& :& \mathbb{W}\to \mathbb{S},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill f\left(Q{W}_n\right)& =& f(W_n+i{W}_{n+1}+j{W}_{n+2}+k{W}_{n+3})\hfill \end{array}$$

(3.4)

$$\begin{array}{ccc}& =& \left[\begin{array}{c}{W}_{n+3}+i{W}_n\\ W_{n+1}+i{W}_{n+2}\end{array}\right]=S{W}_n.\hfill \end{array}$$

(3.5)

If $Q{W}_n^{\ast }=W_n-i{W}_{n+1}-j{W}_{n+2}-k{W}_{n+3}$ is the conjugate of the nth-generalized Fibonacci quaternion polynomial $Q{W}_n$, then the nth-generalized Fibonacci polynomial spinor $S{W}_n$ corresponding to $Q{W}_n^{\ast }$ is

$$S{W}_n^{\ast }=\left[\begin{array}{c}-W_{n+3}+i{W}_n\\ -W_{n+1}-i{W}_{n+2}\end{array}\right].$$

(3.6)

We can write the complex conjugate of $S{W}_n$ as

$$\overline{S{W}_n}=\left[\begin{array}{c}{W}_{n+3}-i{W}_n\\ W_{n+1}-i{W}_{n+2}\end{array}\right],$$

(3.7)

the spinor conjugate to the $S{W}_n$ as

$$\widetilde{S{W}_n}=i\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\left[\begin{array}{c}{W}_{n+3}-i{W}_n\\ W_{n+1}-i{W}_{n+2}\end{array}\right]=\left[\begin{array}{c}{W}_{n+2}+i{W}_{n+1}\\ -W_n-i{W}_{n+3}\end{array}\right],$$

(3.8)

and the mate of $S{W}_n$ as

$$\stackrel{\vee }{S{W}_n}=-\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]\left[\begin{array}{c}{W}_{n+3}-i{W}_n\\ W_{n+1}-i{W}_{n+2}\end{array}\right]=\left[\begin{array}{c}-W_{n+1}+i{W}_{n+2}\\ W_{n+3}-i{W}_n\end{array}\right].$$

(3.9)

Now, we define two special cases of the polynomial spinors $S{W}_n$. $(r,s)-$Fibonacci polynomial spinors or shortly $S{G}_n$ and $(r,s)-$Fibonacci-Lucas polynomial spinors or shortly $S{H}_n$ are the special cases of (3.1).

Definition 3.2.

For integer n, the nth sequence of polynomials $S{G}_n$ are defined by

$$S{G}_n=\left[\begin{array}{c}{G}_{n+3}+i{G}_n\\ G_{n+1}+i{G}_{n+2}\end{array}\right]$$

(3.10)

where $G_n$ is a nth $(r,s)-$Fibonacci polynomial. From Lemma 1, it can be written equivalently by the second-order recurrence relations

$$S{G}_{n+2}=rS{G}_{n+1}+sS{G}_n,$$

(3.11)

with

$$S{G}_0=\left[\begin{array}{c}{r}^2+s\\ 1+ir\end{array}\right],S{G}_1=\left[\begin{array}{c}{r}^3+2rs+i\\ r+i\left(r^2+s\right)\end{array}\right],$$

(3.12)

and the nth sequence of polynomials $S{H}_n$ are defined by

$$S{H}_n=\left[\begin{array}{c}{H}_{n+3}+i{H}_n\\ H_{n+1}+i{H}_{n+2}\end{array}\right]$$

(3.13)

where $H_n$ is a nth $(r,s)-$Fibonacci-Lucas polynomial. From Lemma 1, it can be written equivalently by the second-order recurrence relations

$$S{H}_{n+2}=rS{H}_{n+1}+sS{H}_n,$$

(3.14)

with

$$S{H}_0=\left[\begin{array}{c}r\left(3s+r^2\right)+2i\\ r+i\left(2s+r^2\right)\end{array}\right],S{H}_1=\left[\begin{array}{c}4r^{2}s+r^4+2s^2+ir\\ 2s+r^2+ir\left(3s+r^2\right)\end{array}\right].$$

(3.15)

When $r=x$ and $s=1$, we have the special case of generalized Fibonacci polynomial spinors, which is called by Fibonacci polynomial spinor denoting with $\left\{S{F}_n\right\}$ and Fibonacci-Lucas polynomial spinors denoting with $\left\{S{L}_n\right\}$ as in the next corollary.

Definition 3.3.

For integer n, the nth Fibonacci polynomial spinors $S{F}_n$ are defined by

$$S{F}_n=\left[\begin{array}{c}{F}_{n+3}+i{F}_n\\ F_{n+1}+i{F}_{n+2}\end{array}\right]$$

(3.16)

where $F_n$ is the nth Fibonacci polynomial. From Lemma 1, it can be written equivalently by the second-order recurrence relations

$$S{F}_{n+2}=xS{F}_{n+1}+S{F}_n,$$

(3.17)

with

$$S{F}_0=\left[\begin{array}{c}{x}^2+1\\ 1+ix\end{array}\right],S{F}_1=\left[\begin{array}{c}{x}^3+2x+i\\ x+i\left(x^2+1\right)\end{array}\right].$$

(3.18)

and the nth Fibonacci-Lucas polynomial spinors $S{L}_n$ are defined by

$$S{L}_n=\left[\begin{array}{c}{L}_{n+3}+i{L}_n\\ L_{n+1}+i{L}_{n+2}\end{array}\right]$$

(3.19)

where $L_n$ is the nth Fibonacci-Lucas polynomial. From Lemma 1, it can be written equivalently by the second-order recurrence relations

$$S{L}_{n+2}=xS{L}_{n+1}+S{L}_n,$$

(3.20)

with

$$S{L}_0=\left[\begin{array}{c}x+x^3+2i\\ x+i\left(2+x^2\right)\end{array}\right],S{L}_1=\left[\begin{array}{c}{x}^4+4x^2+2+ix\\ 2+x^2+i\left(3x+x^3\right)\end{array}\right].$$

(3.21)

If we take $r=x=1$ then the sequence of Fibonacci polynomial spinors $\left\{S{F}_n\right\}$ and $\left\{S{L}_n\right\}$ becomes the number sequence of Fibonacci spinors and Fibonacci-Lucas spinors, respectively. Erişir and Güngör exhibited some algebraic definitions for Fibonacci and Fibonacci-Lucas spinors besides giving some significant formulas like Binet’s and Cassini’s formulas for this sequence of numbers [12]. One can also see Cartan [5] and Vivarelli [36] for some algebraic properties of spinors.

Now, we list a few values of generalized fibospinomials in Table 2.

Table 2. The first few values of generalized Fibonacci polynomial spinors with negative and positive subscripts.

n	0	1	2
$S{W}_n$	$\left[\begin{array}{c}\left(r^2+s\right)W_1\\ +rs{W}_0+i{W}_0\\ \\ W_1\\ +i\left(r{W}_1+s{W}_0\right)\end{array}\right]$	$\left[\begin{array}{c}\left(r^3+2rs\right)W_1\\ +\left(r^{2}s+s^2\right)W_0\\ +i{W}_1\\ \\ r{W}_1+s{W}_0\\ +i(\left(r^2+s\right)W_1\\ +rs{W}_0)\end{array}\right]$	$\left[\begin{array}{c}(r^4+3r^{2}s+s^2)W_1\\ +(r^{3}s+2r{s}^2)W_0\\ +(ir{W}_1+s{W}_0)\\ \\ \left(r^2+s\right)W_1+rs{W}_0\\ +i(\left(r^3+2rs\right)W_1\\ +\left(r^{2}s+s^2\right)W_0)\end{array}\right]$
$S{W}_{-n}$		$\left[\begin{array}{c}r{W}_1+s{W}_0\\ +i\frac{1}{s}\left(W_1-r{W}_0\right)\\ \\ W_0+i{W}_1\end{array}\right]$	$\left[\begin{array}{c}{W}_1+i\frac{1}{s}(W_0\\ -\frac{r}{s}\left(W_1-r{W}_0\right))\\ \\ \frac{1}{s}\left(W_1-r{W}_0\right)\\ +i{W}_0\end{array}\right]$

Table 2. The first few values of generalized Fibonacci polynomial spinors with negative and positive subscripts.

n	0	1	2
$S{W}_n$	$\left[\begin{array}{c}\left(r^2+s\right)W_1\\ +rs{W}_0+i{W}_0\\ \\ W_1\\ +i\left(r{W}_1+s{W}_0\right)\end{array}\right]$	$\left[\begin{array}{c}\left(r^3+2rs\right)W_1\\ +\left(r^{2}s+s^2\right)W_0\\ +i{W}_1\\ \\ r{W}_1+s{W}_0\\ +i(\left(r^2+s\right)W_1\\ +rs{W}_0)\end{array}\right]$	$\left[\begin{array}{c}(r^4+3r^{2}s+s^2)W_1\\ +(r^{3}s+2r{s}^2)W_0\\ +(ir{W}_1+s{W}_0)\\ \\ \left(r^2+s\right)W_1+rs{W}_0\\ +i(\left(r^3+2rs\right)W_1\\ +\left(r^{2}s+s^2\right)W_0)\end{array}\right]$
$S{W}_{-n}$		$\left[\begin{array}{c}r{W}_1+s{W}_0\\ +i\frac{1}{s}\left(W_1-r{W}_0\right)\\ \\ W_0+i{W}_1\end{array}\right]$	$\left[\begin{array}{c}{W}_1+i\frac{1}{s}(W_0\\ -\frac{r}{s}\left(W_1-r{W}_0\right))\\ \\ \frac{1}{s}\left(W_1-r{W}_0\right)\\ +i{W}_0\end{array}\right]$

Next, we present the first few values of the special polynomial spinors of second order with negative and positive subscripts:

Table 3. The first few values of $\left(r,s\right)-$ Fibonacci and $(r,s)$ -Lucas polynomial spinors with negative and positive subscripts.

n	0	1	2
$S{G}_n$	$\left[\begin{array}{c}{r}^2+s\\ 1+ir\end{array}\right]$	$\left[\begin{array}{c}{r}^3+2rs+i\\ r+i\left(r^2+s\right)\end{array}\right]$	$\left[\begin{array}{c}{r}^4+3r^{2}s\\ +s^2+ir\\ \\ r^2+s\\ +i\left(r^3+2rs\right)\end{array}\right]$
$S{G}_{-n}$		$\left[\begin{array}{c}r+i\frac{1}{s}\\ i\end{array}\right]$	$\left[\begin{array}{c}1-i\frac{r}{s^2}\\ \frac{1}{s}\end{array}\right]$
$S{H}_n$	$\left[\begin{array}{c}r\left(3s+r^2\right)+2i\\ r+i\left(2s+r^2\right)\end{array}\right]$	$\left[\begin{array}{c}4r^{2}s+r^4\\ +2s^2+ir\\ \\ 2s+r^2\\ +ir\left(3s+r^2\right)\end{array}\right]$	$\left[\begin{array}{c}r\left(r^4+5r^{2}s+5s^2\right)\\ +i\left(2s+r^2\right)\\ \\ r\left(3s+r^2\right)\\ +i\left(4r^{2}s+r^4+2s^2\right)\end{array}\right]$
$S{H}_{-n}$		$\left[\begin{array}{c}\left(2s+r^2\right)-i\frac{r}{s}\\ 2+ir\end{array}\right]$	$\left[\begin{array}{c}r+i\frac{2s+r^2}{s^2}\\ -\frac{r}{s}+2i\end{array}\right]$

Table 3. The first few values of $\left(r,s\right)-$ Fibonacci and $(r,s)$ -Lucas polynomial spinors with negative and positive subscripts.

n	0	1	2
$S{G}_n$	$\left[\begin{array}{c}{r}^2+s\\ 1+ir\end{array}\right]$	$\left[\begin{array}{c}{r}^3+2rs+i\\ r+i\left(r^2+s\right)\end{array}\right]$	$\left[\begin{array}{c}{r}^4+3r^{2}s\\ +s^2+ir\\ \\ r^2+s\\ +i\left(r^3+2rs\right)\end{array}\right]$
$S{G}_{-n}$		$\left[\begin{array}{c}r+i\frac{1}{s}\\ i\end{array}\right]$	$\left[\begin{array}{c}1-i\frac{r}{s^2}\\ \frac{1}{s}\end{array}\right]$
$S{H}_n$	$\left[\begin{array}{c}r\left(3s+r^2\right)+2i\\ r+i\left(2s+r^2\right)\end{array}\right]$	$\left[\begin{array}{c}4r^{2}s+r^4\\ +2s^2+ir\\ \\ 2s+r^2\\ +ir\left(3s+r^2\right)\end{array}\right]$	$\left[\begin{array}{c}r\left(r^4+5r^{2}s+5s^2\right)\\ +i\left(2s+r^2\right)\\ \\ r\left(3s+r^2\right)\\ +i\left(4r^{2}s+r^4+2s^2\right)\end{array}\right]$
$S{H}_{-n}$		$\left[\begin{array}{c}\left(2s+r^2\right)-i\frac{r}{s}\\ 2+ir\end{array}\right]$	$\left[\begin{array}{c}r+i\frac{2s+r^2}{s^2}\\ -\frac{r}{s}+2i\end{array}\right]$

Using the recurrence relation of Fibonacci and Fibonacci-Lucas polynomial spinor $\left\{S{F}_n\right\}$ and $\left\{S{L}_n\right\},$ we can write the first few terms of these sequences of polynomials, respectively. See Table 4.

Table 4. The first few values of Fibonacci and Lucas polynomial spinors with positive and negative subscripts.

n	0	1	2
$S{F}_n$	$\left[\begin{array}{c}{x}^2+1\\ 1+ix\end{array}\right]$	$\left[\begin{array}{c}{x}^3+2x+i\\ x+i\left(x^2+1\right)\end{array}\right]$	$\left[\begin{array}{c}{x}^4+3x^2\\ +1+ix\\ \\ x^2+1\\ +i\left(x^3+2x\right)\end{array}\right]$
$S{F}_{-n}$		$\left[\begin{array}{c}x+i\\ i\end{array}\right]$	$\left[\begin{array}{c}1-ix\\ 1\end{array}\right]$
$S{L}_n$	$\left[\begin{array}{c}x\left(3+x^2\right)+2i\\ x+i\left(2+x^2\right)\end{array}\right]$	$\left[\begin{array}{c}4x^2+x^4\\ +2+ix\\ \\ 2+x^2\\ +ix\left(3+x^2\right)\end{array}\right]$	$\left[\begin{array}{c}x\left(x^4+5x^2+5\right)\\ +i\left(2+x^2\right)\\ \\ x\left(3+x^2\right)\\ +i\left(4x^2+x^4+2\right)\end{array}\right]$
$S{L}_{-n}$		$\left[\begin{array}{c}\left(2+x^2\right)-ix\\ 2+ix\end{array}\right]$	$\left[\begin{array}{c}x+i\left(2+x^2\right)\\ -x+2i\end{array}\right]$

Table 4. The first few values of Fibonacci and Lucas polynomial spinors with positive and negative subscripts.

n	0	1	2
$S{F}_n$	$\left[\begin{array}{c}{x}^2+1\\ 1+ix\end{array}\right]$	$\left[\begin{array}{c}{x}^3+2x+i\\ x+i\left(x^2+1\right)\end{array}\right]$	$\left[\begin{array}{c}{x}^4+3x^2\\ +1+ix\\ \\ x^2+1\\ +i\left(x^3+2x\right)\end{array}\right]$
$S{F}_{-n}$		$\left[\begin{array}{c}x+i\\ i\end{array}\right]$	$\left[\begin{array}{c}1-ix\\ 1\end{array}\right]$
$S{L}_n$	$\left[\begin{array}{c}x\left(3+x^2\right)+2i\\ x+i\left(2+x^2\right)\end{array}\right]$	$\left[\begin{array}{c}4x^2+x^4\\ +2+ix\\ \\ 2+x^2\\ +ix\left(3+x^2\right)\end{array}\right]$	$\left[\begin{array}{c}x\left(x^4+5x^2+5\right)\\ +i\left(2+x^2\right)\\ \\ x\left(3+x^2\right)\\ +i\left(4x^2+x^4+2\right)\end{array}\right]$
$S{L}_{-n}$		$\left[\begin{array}{c}\left(2+x^2\right)-ix\\ 2+ix\end{array}\right]$	$\left[\begin{array}{c}x+i\left(2+x^2\right)\\ -x+2i\end{array}\right]$

We can show the product of unitary complex matrix $\widehat{S{W}_n}$ obtained by $S{W}_n$ with a generalized Fibonacci polynomial spinor sequence $S{W}_n$ as follows:

$$\begin{array}{ccc}\hfill \widehat{S{W}_n}S{W}_n& =& \left[\begin{array}{cc}{W}_{n+3}+i{W}_n& W_{n+1}-i{W}_{n+2}\\ W_{n+1}+i{W}_{n+2}& -W_{n+3}+i{W}_n\end{array}\right]\left[\begin{array}{c}{W}_{n+3}+i{W}_n\\ W_{n+1}+i{W}_{n+2}\end{array}\right]\hfill \\ & =& \left[\begin{array}{c}{W}_{n+1}^2+W_{n+2}^2+W_{n+3}^2+i\left(W_n{W}_{n+3}+W_n\right)\\ -2W_n{W}_{n+2}+i2W_n{W}_{n+1}\end{array}\right].\hfill \end{array}$$

(3.22)

Considering this product it can be easily seen the following identities:

Lemma 2.

For all integers n, the next identities hold:

(i) 

$$\widehat{S{W}_n}S{W}_n^{\ast }=\widehat{S{W}_n^{\ast }}S{W}_n.$$

(3.23)

(ii) 

$$\widehat{S{W}_n^{\ast }}S{W}_n^{\ast }=-{\left(\widehat{S{W}_n}S{W}_n\right)}^{\ast }.$$

(3.24)

(iii) 

$$\overline{\widehat{S{W}_n}S{W}_n}=\widehat{\overline{S{W}_n}}\overline{S{W}_n}.$$

(3.25)

(iv) 

$$\widetilde{\widehat{S{W}_n}S{W}_n}=-\widehat{S{W}_n}\widetilde{S{W}_n}.$$

(3.26)

(v) 

$$\stackrel{\vee }{\widehat{S{W}_n}S{W}_n}=-\widehat{S{W}_n}\stackrel{\vee }{S{W}_n}.$$

(3.27)

(vi) 

$$\widehat{S{W}_n}\stackrel{\vee }{S{W}_n}=i\widehat{S{W}_n}\widetilde{S{W}_n}.$$

(3.28)

Lemma 3.

The following equalities are true:

(i) 

$$s\left(\widehat{S{G}_0}S{G}_1-\widehat{S{G}_1}S{G}_0\right)=\widehat{S{G}_2}S{G}_1-\widehat{S{G}_1}S{G}_2.$$

(3.29)

(ii) 

$$r\left(\widehat{S{G}_0}S{G}_1-\widehat{S{G}_1}S{G}_0\right)=\widehat{S{G}_0}S{G}_2-\widehat{S{G}_2}S{G}_0.$$

(3.30)

(iii) 

$$s\left(\widehat{S{H}_0}S{H}_1-\widehat{S{H}_1}S{H}_0\right)=\widehat{S{H}_2}S{H}_1-\widehat{S{H}_1}S{H}_2.$$

(3.31)

(iv) 

$$r\left(\widehat{S{H}_0}S{H}_1-\widehat{S{H}_1}S{H}_0\right)=\widehat{S{H}_0}S{H}_2-\widehat{S{H}_2}S{H}_0.$$

(3.32)

Proof. 

Once we take the value of n as $0,1$ and 2 in Table 3, we can easily obtain the required equalities by (3.22). □

It can be noted that the characteristic equation for generalized Fibonacci (Horadam) polynomial spinors is the same that of generalized Fibonacci (Horadam) polynomial.

Now, we can give the Binet’s formula of $S{W}_n$ using the roots $\alpha ,\beta$ in (2.3) and recurrence relation (3.2) as follows:

Theorem 2.

For all integers n, the Binet’s formula for the generalized Fibonacci (Horadam) polynomial spinor $S{W}_n$ is given by the following formula:

$$S{W}_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}\left((S{W}_1-\beta S{W}_0\right){\alpha }^n-(S{W}_1-\alpha S{W}_0){\beta }^n),\hfill & \alpha \ne \beta \hfill \\ (S{W}_0+\left({\displaystyle \frac{1}{\alpha }}\left(S{W}_1-\alpha S{W}_0\right)n\right){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.33)

Proof. 

When the roots $\alpha$, $\beta$ of the characteristic equation (2.2) are distinct, one can write the general formula of $S{W}_n$ as follows:

$$S{W}_n=p_1{\alpha }^n+q_1{\beta }^n$$

(3.34)

where the coefficients $p_1$ and $q_1$ are determined by the system of linear equations

$$\begin{array}{ccc}\hfill S{W}_0& =& p_1+q_1\hfill \\ \hfill S{W}_1& =& p_1\alpha +q_1\beta .\hfill \end{array}$$

(3.35)

Solving these two simultaneous equations for $S{W}_0$ and $S{W}_1$, we obtain

$$\begin{array}{ccc}\hfill p_1& =& \frac{1}{\alpha -\beta }(S{W}_1-\beta S{W}_0)\hfill \\ \hfill q_1& =& \frac{-1}{\alpha -\beta }(S{W}_1-\alpha S{W}_0).\hfill \end{array}$$

(3.36)

If the roots $\alpha$, $\beta$ are equal, then we can write $S{W}_n$ as follows:

$$S{W}_n=\left(p_2+q_{2}n\right){\alpha }^n$$

(3.37)

where the coefficients $p_2$ and $q_2$ are the polynomials whose values are determined by $S{W}_0$ and any other known value of the sequence. By using the values $S{W}_0$ and $S{W}_1$, we obtain

$$\begin{array}{ccc}\hfill S{W}_0& =& p_2\hfill \\ \hfill S{W}_1& =& \left(p_2+q_2\right)\alpha .\hfill \end{array}$$

(3.38)

Solving these two simultaneous equations for $S{W}_0$ and $S{W}_1$, we obtain

$$\begin{array}{ccc}\hfill p_2& =& S{W}_0\hfill \\ \hfill q_2& =& {\displaystyle \frac{1}{\alpha }}(S{W}_1-\alpha S{W}_0).\hfill \end{array}$$

(3.39)

□

Now, let us calculate the values of $S{W}_1-\beta S{W}_0$ and $S{W}_1-\alpha S{W}_0$, which are in the Binet’s formula, by using (2.1), (2.4) and (2.5) as in the following:

$$\begin{array}{ccc}\hfill S{W}_1-\beta S{W}_0& =& \left[\begin{array}{c}{W}_4+i{W}_1\\ W_2+i{W}_3\end{array}\right]-\beta \left[\begin{array}{c}{W}_3+i{W}_0\\ W_1+i{W}_2\end{array}\right]\hfill \\ & =& \left[\begin{array}{c}{\alpha }^3\left(W_1-\beta W_0\right)+i(W_1-\beta W_0)\hfill \\ \alpha \left(W_1-\beta W_0\right)+i{\alpha }^2\left(W_1-\beta W_0\right)\hfill \end{array}\right]\hfill \\ & =& \left(W_1-\beta W_0\right)\left[\begin{array}{c}{\alpha }^3+i\hfill \\ \alpha +i{\alpha }^2\hfill \end{array}\right]\hfill \end{array}$$

(3.40)

and

$$\begin{array}{ccc}\hfill S{W}_1-\alpha S{W}_0& =& \left[\begin{array}{c}{W}_4+i{W}_1\\ W_2+i{W}_3\end{array}\right]-\alpha \left[\begin{array}{c}{W}_3+i{W}_0\\ W_1+i{W}_2\end{array}\right]\hfill \\ & =& \left[\begin{array}{c}{\beta }^3(W_1-\alpha W_0)+i(W_1-\alpha W_0)\hfill \\ \beta (W_1-\alpha W_0)+i{\beta }^2(W_1-\alpha W_0)\hfill \end{array}\right]\hfill \\ & =& (W_1-\alpha W_0)\left[\begin{array}{c}{\beta }^3+i\hfill \\ \beta +i{\beta }^2\hfill \end{array}\right].\hfill \end{array}$$

(3.41)

We can also find the Binet’s formula of the generalized Fibonacci polynomial spinors $\left\{S{W}_n\right\}$ by using the Binet’s formula of the generalized Fibonacci polynomial $\left\{W_n\right\}$ given by Soykan [32] as

$$W_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}(c_1{\alpha }^n-c_2{\beta }^n)),\hfill & \alpha \ne \beta \hfill \\ (d_1+d_{2}n){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.42)

where

$$c_1=W_1-\beta W_0,c_2=W_1-\alpha W_0,$$

(3.43)

and

$$d_1=W_0,d_2=\frac{1}{\alpha }\left(W_1-\alpha W_0\right).$$

(3.44)

Hence, we present an alternative method for finding the Binet’s formula of $S{W}_n$ as follows:

For $\alpha \ne \beta ,$ we obtain that

$$\begin{array}{ccc}\hfill S{W}_n& =& \frac{1}{\alpha -\beta }\left[\begin{array}{c}(c_1{\alpha }^{n+3}-c_2{\beta }^{n+3})+i(c_1{\alpha }^n-c_2{\beta }^n)\\ (c_1{\alpha }^{n+1}-c_2{\beta }^{n+1})+i(c_1{\alpha }^{n+2}-c_2{\beta }^{n+2})\end{array}\right]\hfill \\ & =& \frac{1}{\alpha -\beta }\left[\begin{array}{c}{c}_1{\alpha }^{n+3}+i{c}_1{\alpha }^n\\ c_1{\alpha }^{n+1}+i{c}_1{\alpha }^{n+2}\end{array}\right]-\frac{1}{\alpha -\beta }\left[\begin{array}{c}{c}_2{\beta }^{n+3}+i{c}_2{\beta }^n\\ c_2{\beta }^{n+1}+i{c}_2{\beta }^{n+2}\end{array}\right]\hfill \\ & =& \frac{1}{\alpha -\beta }((W_1-\beta W_0){\alpha }^n\left[\begin{array}{c}{\alpha }^3+i\\ \alpha +i{\alpha }^2\end{array}\right]-(W_1-\alpha W_0){\beta }^n\left[\begin{array}{c}{\beta }^3+i\\ \beta +i{\beta }^2\end{array}\right])\hfill \end{array}$$

(3.45)

and for $\alpha =\beta$ by using (2.1), (2.7), (2.8) and (2.9) we obtain that

$$\begin{array}{ccc}\hfill S{W}_n& =& \left[\begin{array}{c}(d_1+d_2(n+3)){\alpha }^{n+3}+i(d_1+d_{2}n){\alpha }^n\\ (d_1+d_2(n+1)){\alpha }^{n+1}+i(d_1+d_2(n+2)){\alpha }^{n+2}\end{array}\right]\hfill \\ & =& {\alpha }^n\left[\begin{array}{c}(W_0+\frac{1}{\alpha }\left(W_1-\alpha W_0\right)(n+3)){\alpha }^3+i(W_0+\frac{1}{\alpha }\left(W_1-\alpha W_0\right)n)\\ (W_0+\frac{1}{\alpha }\left(W_1-\alpha W_0\right)(n+1))\alpha +i(W_0+\frac{1}{\alpha }\left(W_1-\alpha W_0\right)(n+2)){\alpha }^2\end{array}\right]\hfill \end{array}$$

(3.46)

$$\begin{array}{ccc}& =& {\alpha }^n((\frac{1}{\alpha }{W}_1-W_0)n\left[\begin{array}{c}{\alpha }^3+i\\ \alpha +i{\alpha }^2\end{array}\right]+S{W}_0).\hfill \end{array}$$

(3.47)

We have the next corollary for special cases of generalized Fibonacci polynomial spinors after the previous theorem immediately.

Corollary 3.4.

For all integers n, the Binet’s formula for $(r,s)-$Fibonacci polynomial spinors $\left\{S{G}_n\right\}$, $(r,s)-$Fibonacci-Lucas polynomial spinors $\left\{S{H}_n\right\},$ Fibonacci polynomial spinors $\left\{S{F}_n\right\}$ and Fibonacci-Lucas polynomial spinors $\left\{S{L}_n\right\}$ is given by the following formulas:

(i) 

$$S{G}_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}(\widehat{\alpha }{\alpha }^n-\widehat{\beta }{\beta }^n),\hfill & \alpha \ne \beta \hfill \\ (S{G}_0+\left({\displaystyle \frac{1}{\alpha }}\widehat{\beta }n\right){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.48)

where

$\widehat{\alpha }=\left[\begin{array}{c}\alpha (r^2+s)+rs+i\hfill \\ \alpha +i(\alpha r+s)\hfill \end{array}\right],$$\widehat{\beta }=\left[\begin{array}{c}\beta (r^2+s)+rs+i\hfill \\ \beta +i(\beta r+s)\hfill \end{array}\right]$ and

$S{G}_0=\left[\begin{array}{c}{r}^2+s\\ 1+ir\end{array}\right].$

(ii) 

$$S{H}_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}(\tilde{\alpha }{\alpha }^n-\tilde{\beta }{\beta }^n),\hfill & \alpha \ne \beta \hfill \\ (S{H}_0+\left({\displaystyle \frac{1}{\alpha }}\tilde{\beta }n\right){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.49)

where

$\tilde{\alpha }=\left[\begin{array}{c}\alpha (r^3+3rs)+r^{2}s+2s^2+i(-r+2\alpha )\hfill \\ \alpha r+2s+i(\alpha (r^2+2s)+rs)\hfill \end{array}\right],$

$\tilde{\beta }=\left[\begin{array}{c}\beta (r^3+sr+2rs)+r^{2}s+2s^2+i(-r+2\beta )\hfill \\ \beta r+2s+i(\beta (r^2+2s)+rs)\hfill \end{array}\right]$

and $S{H}_0=\left[\begin{array}{c}{r}^3+3rs+2i\\ r+i(r^2+2s)\end{array}\right].$

(iii) 

$$S{F}_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}(\overline{\alpha }{\alpha }^n-\overline{\beta }{\beta }^n),\hfill & \alpha \ne \beta \hfill \\ (S{F}_0+{\displaystyle \frac{1}{\alpha }}\overline{\beta }n){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.50)

where

$\overline{\alpha }=\left[\begin{array}{c}\alpha x^2+x+\alpha +i\hfill \\ \alpha +i(\alpha x+1)\hfill \end{array}\right],$

$\overline{\beta }=\left[\begin{array}{c}\beta x^2+x+\beta +i\hfill \\ \beta +i(\beta x+1)\hfill \end{array}\right]$ and $S{F}_0=\left[\begin{array}{c}{x}^2+1\\ 1+ix\end{array}\right].$

(iv) 

$$S{L}_n=\left\{\begin{array}{cc}{\displaystyle \frac{1}{\alpha -\beta }}(\underline{\alpha }{\alpha }^n-\underline{\beta }{\beta }^n),\hfill & \alpha \ne \beta \hfill \\ (S{L}_0+{\displaystyle \frac{1}{\alpha }}\underline{\alpha }n){\alpha }^n,\hfill & \alpha =\beta .\hfill \end{array}\right.$$

(3.51)

where

$\underline{\alpha }=\left[\begin{array}{c}\alpha (x^3+3x)+x^2+2+i(-x+2\alpha )\hfill \\ \alpha x+2+i(\alpha (x^2+2)+x)\hfill \end{array}\right],$

$\underline{\beta }=\left[\begin{array}{c}\beta (x^3+3x)+x^2+2+i(-x+2\beta )\hfill \\ \beta x+2+i(\beta (x^2+2)+x)\hfill \end{array}\right]$

and $S{L}_0=\left[\begin{array}{c}{x}^3+3x+2i\\ x+i(x^2+2)\end{array}\right].$

respectively.

Next, we give the ordinary generating function ${\displaystyle \sum _{n=0}^{\infty }}S{W}_n{y}^n$ of the sequence $\left\{S{W}_n\right\}.$

Lemma 4.

Suppose that $f_{S{W}_n}\left(y\right)={\sum }_{n=0}^{\infty }S{W}_n{y}^n$ is the ordinary generating function of the generalized Fibonacci (Horadam) polynomial spinors ${\left\{S{W}_n\right\}}_{n\ge 0}$. Then, ${\sum }_{n=0}^{\infty }S{W}_n{y}^n$ is given by

$$\sum _{n=0}^{\infty }S{W}_n{y}^n=\frac{S{W}_0+\left(S{W}_1-rS{W}_0\right)y}{1-ry-s{y}^2}.$$

(3.52)

Proof. 

Using the definition of generalized Fibonacci polynomials spinors, and substracting $ry{\sum }_{n=0}^{\infty }S{W}_n{y}^n$ and $s{y}^2{\sum }_{n=0}^{\infty }S{W}_n{y}^n$ from ${\sum }_{n=0}^{\infty }S{W}_n{y}^n$ we obtain

$$\begin{array}{ccc}\hfill (1-ry-s{y}^2)\sum _{n=0}^{\infty }S{W}_n{y}^n& =& \sum _{n=0}^{\infty }S{W}_n{y}^n-ry\sum _{n=0}^{\infty }S{W}_n{y}^n-s{y}^2\sum _{n=0}^{\infty }S{W}_n{y}^n\hfill \\ & =& \sum _{n=0}^{\infty }S{W}_n{y}^n-r\sum _{n=0}^{\infty }S{W}_n{y}^{n+1}-s\sum _{n=0}^{\infty }S{W}_n{y}^{n+2}\hfill \\ & =& \sum _{n=0}^{\infty }S{W}_n{y}^n-r\sum _{n=1}^{\infty }S{W}_{n-1}{y}^n-s\sum _{n=2}^{\infty }S{W}_{n-2}{y}^n\hfill \\ & =& (S{W}_0+S{W}_{1}y)-rS{W}_{0}y\hfill \\ & & +\sum _{n=2}^{\infty }(S{W}_n-rS{W}_{n-1}-sS{W}_{n-2})y^n\hfill \\ & =& S{W}_0+(S{W}_1-rS{W}_0)y.\hfill \end{array}$$

(3.53)

Rearranging the above equation, we obtain (3.52). □

Lemma 4 gives the following results as particular examples.

Corollary 3.5.

Generating functions of $(r,s)-$Fibonacci, $(r,s)-$Fibonacci-Lucas, Fibonacci and Fibonacci-Lucas polynomials spinors are given by the following formulas:

(i) 

$$\sum _{n=0}^{\infty }S{G}_n{y}^n=\frac{1}{1-ry-s{y}^2}\left[\begin{array}{c}{r}^2+s+rsy+iy\\ 1+i(r+sy)\end{array}\right].$$

(3.54)

(ii) 

$$\sum _{n=0}^{\infty }S{H}_n{y}^n=\frac{1}{1-ry-s{y}^2}\left[\begin{array}{c}{r}^3+3rs+\left(2s^2+r^{2}s\right)y+i(2-ry)\\ r+2sy+i(r^2+2s+rsy)\end{array}\right].$$

(3.55)

(iii) 

$$\sum _{n=0}^{\infty }S{F}_n{y}^n=\frac{1}{1-xy-y^2}\left[\begin{array}{c}x(x+y)+1+iy\\ 1+i(x+y)\end{array}\right].$$

(3.56)

(iv) 

$$\sum _{n=0}^{\infty }S{L}_n{y}^n=\frac{1}{1-xy-y^2}\left[\begin{array}{c}{x}^3+3x+\left(2+x^2\right)y+i(2-xy)\\ x+2y+i\left(x\right(x+y)+2)\end{array}\right].$$

(3.57)

respectively.

Proof. 

In Lemma 4, take $S{W}_n$ as $S{G}_n,S{H}_n,S{F}_n$ and $S{L}_n$, respectively. Use the first two terms of these sequences of polynomial by taking $n=0,1$ in Table 3 and Table 4 for the formula. □

4. Simson’s Formulas

We start with by defining the generalized Fibonacci polynomial spinor matrix with the help of Fibonacci spinor matrix definition given by Erişir and Güngör (8). In order to define required matrix, we need to recall the Fibonacci quaternion matrix defined by Halıcı (8) as follows:

$$Q=\left[\begin{array}{cc}Q{F}_2& Q{F}_1\\ Q{F}_1& Q{F}_0\end{array}\right]$$

(4.1)

where

$$\begin{array}{ccc}\hfill Q{F}_0& =& F_0+i{F}_1+j{F}_2+k{F}_3=i+j+2k,\hfill \\ \hfill Q{F}_1& =& F_1+i{F}_2+j{F}_3+k{F}_4=1+i+2j+3k,\hfill \\ \hfill Q{F}_2& =& F_2+i{F}_3+j{F}_4+k{F}_5=1+2i+3j+5k.\hfill \end{array}$$

(4.2)

From this point of view, we can define generalized Fibonacci quaternion polynomial matrix as follows:

$$QW\left(x\right)=\left[\begin{array}{cc}Q{W}_2& Q{W}_1\\ Q{W}_1& Q{W}_0\end{array}\right].$$

(4.3)

In addition, we can define the using pattern of the determinant of a given matrix as follows:

$$det\left[\begin{array}{cc}{a}_{11}& a_{12}\\ a_{21}& a_{22}\end{array}\right]=a_{22}{a}_{11}-a_{12}{a}_{21}.$$

(4.4)

We prefer to use this formula of determinant of a $2\times 2$ type matrix throughout the paper.

Erişir and Güngör (8) gave the Fibonacci spinor matrix for Fibonacci spinors helping to obtain the Simson’s identity. Now, we will present the generalized Fibonacci polynomial spinor matrix in the next theorem and we will denote this matrix with $S_W$. Then, we will use the matrix $S_W$ to find the several identities such as Simson’s identity, and so on.

Theorem 3.

Let $QW\left(x\right)$ be the generalized Fibonacci quaternion polynomial matrix. Then, the following equality holds from quaternion products via spinors:

$$detQW\left(x\right)\equiv idet{S}_W$$

where

$$S_W=-i\left[\begin{array}{cc}S{W}_2& \widehat{S{W}_1}\\ S{W}_1& \widehat{S{W}_0}\end{array}\right]$$

(4.5)

with

$$\widehat{S{W}_0}=\left[\begin{array}{cc}{W}_3+i{W}_0& W_1-i{W}_2\\ W_1+i{W}_2& -W_3+i{W}_0\end{array}\right],\widehat{S{W}_1}=\left[\begin{array}{cc}{W}_4+i{W}_1& W_2-i{W}_3\\ W_2+i{W}_3& -W_4+i{W}_1\end{array}\right]$$

(4.6)

and

$$S{W}_1=\left[\begin{array}{c}{W}_4+i{W}_1\\ W_2+i{W}_3\end{array}\right],S{W}_2=\left[\begin{array}{c}{W}_5+i{W}_2\\ W_3+i{W}_4\end{array}\right].$$

(4.7)

Proof. 

Let nth generalized Fibonacci polynomial spinor $S{W}_n$ correspond to nth generalized Fibonacci quaternion polynomial $Q{W}_n.$ Given a generalized Fibonacci quaternion polynomial matrix $QW\left(x\right)$, we obtain by (2.28) that

$$\begin{array}{ccc}\hfill detQW\left(x\right)& =& Q{W}_{0}Q{W}_2-Q{W}_{1}Q{W}_1\hfill \\ & \equiv & -i\widehat{S{W}_0}S{W}_2+i\widehat{S{W}_1}S{W}_1\equiv -i(\widehat{S{W}_0}S{W}_2-\widehat{S{W}_1}S{W}_1)\hfill \\ & =& -idet\left[\begin{array}{cc}S{W}_2& \widehat{S{W}_1}\\ S{W}_1& \widehat{S{W}_0}\end{array}\right]=idet{S}_W.\hfill \end{array}$$

(4.8)

Hence, we can write the generalized Fibonacci polynomial spinor matrix corresponding to quaternion version by using the formula of determinant as follows:

$$S_W=-i\left[\begin{array}{cc}S{W}_2& \widehat{S{W}_1}\\ S{W}_1& \widehat{S{W}_0}\end{array}\right]$$

(4.9)

where $\widehat{S{W}_0},$$\widehat{S{W}_1},$$S{W}_1$ and $S{W}_2$ are given in (4.6) and (4.7). Thus, we have the following matrix:

$$S_W=-i\left[\begin{array}{cc}\begin{array}{c}\left[\begin{array}{c}{W}_5+i{W}_2\\ W_3+i{W}_4\end{array}\right]\end{array}& \begin{array}{c}\left[\begin{array}{cc}{W}_4+i{W}_1& W_2-i{W}_3\\ W_2+i{W}_3& -W_4+i{W}_1\end{array}\right]\end{array}\\ \left[\begin{array}{c}{W}_4+i{W}_1\\ W_2+i{W}_3\end{array}\right]& \left[\begin{array}{cc}{W}_3+i{W}_0& W_1-i{W}_2\\ W_1+i{W}_2& -W_3+i{W}_0\end{array}\right]\end{array}\right].$$

(4.10)

□

From Theorem 3, we can present the Simson’s identity in two different forms in the next theorem.

Theorem 4.

(Simson’s Identity) For all integers $n,$ we have

$$\widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n={(-s)}^n(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0).$$

(4.11)

i.e.,

$$det\left[\begin{array}{cc}S{W}_{n+1}& \widehat{S{W}_n}\\ S{W}_n& \widehat{S{W}_{n-1}}\end{array}\right]={(-s)}^{n}det\left[\begin{array}{cc}S{W}_1& \widehat{S{W}_0}\\ S{W}_0& \widehat{S{W}_{-1}}\end{array}\right].$$

Proof. 

For $\alpha \ne \beta$, using (3.45), the Binet’s formula of $S{W}_n$, and (2.5) we obtain the following identities:

$$\begin{array}{ccc}& & \widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& -{\left(-s\right)}^{n-1}{c}_1{c}_2\left[\begin{array}{c}(\beta -\alpha -{\alpha }^3{\beta }^4+{\alpha }^4{\beta }^3-{\alpha }^2{\beta }^3\\ +{\alpha }^3{\beta }^2-\alpha {\beta }^2+{\alpha }^2\beta +i\left({\alpha }^4-{\beta }^4\right))\\ \\ ({\beta }^3-{\alpha }^3+{\alpha }^4\beta -\alpha {\beta }^4+{\alpha }^2\beta -\alpha {\beta }^2\\ +{\alpha }^3{\beta }^2-{\alpha }^2{\beta }^3+i\left({\alpha }^2-{\beta }^2-{\alpha }^2{\beta }^4+{\alpha }^4{\beta }^2\right))\end{array}\right]\hfill \end{array}$$

(4.12)

where $c_1=W_1-\beta W_0$ and $c_2=W_1-\alpha W_0$. On the other hand,

$$\begin{array}{ccc}& & \widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\hfill \\ & =& -\frac{1}{s}{c}_1{c}_2\left[\begin{array}{c}(\beta -\alpha -{\alpha }^3{\beta }^4+{\alpha }^4{\beta }^3-{\alpha }^2{\beta }^3\\ +{\alpha }^3{\beta }^2-\alpha {\beta }^2+{\alpha }^2\beta +i\left({\alpha }^4-{\beta }^4\right))\\ \\ ({\beta }^3-{\alpha }^3+{\alpha }^4\beta -\alpha {\beta }^4+{\alpha }^2\beta -\alpha {\beta }^2+{\alpha }^3{\beta }^2\\ -{\alpha }^2{\beta }^3+i\left({\alpha }^2-{\beta }^2-{\alpha }^2{\beta }^4+{\alpha }^4{\beta }^2\right))\end{array}\right].\hfill \end{array}$$

(4.13)

From (4.12) and (4.13), we have the required identity:

$$\begin{array}{ccc}\hfill \widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n& =& {\left(-s\right)}^{n-1}s\left(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\right)\hfill \\ & =& {(-s)}^n(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0).\hfill \end{array}$$

Now, let us see when the roots are equal, i.e., for $\alpha =\beta$, (4.11) holds for all integers n. Using (3.46), we obtain that

$$\begin{array}{ccc}& & \widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& -{\alpha }^{2n}{d}_2^2\left[\begin{array}{c}\left({\alpha }^6+{\alpha }^4+{\alpha }^2-1+4i{\alpha }^3\right)\\ -4{\alpha }^4+2{\alpha }^2-2\alpha i\left({\alpha }^4+1\right)\end{array}\right]\hfill \end{array}$$

(4.14)

where $d_1=W_0$ and $d_2=\frac{1}{\alpha }\left(W_1-\alpha W_0\right).$ On the other hand,

$$\begin{array}{ccc}& & \widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\hfill \\ & =& -d_2^2\left[\begin{array}{c}\left({\alpha }^6+{\alpha }^4+{\alpha }^2-1+4i{\alpha }^3\right)\\ 2\alpha \left(i{\alpha }^4+2{\alpha }^3-\alpha +i\right)\end{array}\right].\hfill \end{array}$$

(4.15)

From (4.14), (4.15) and (2.8) we get the required identity as follows:

$$\begin{array}{ccc}\hfill \widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n& =& {\alpha }^{2n}\left(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\right)\hfill \\ & =& {(-s)}^n\left(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\right).\hfill \end{array}$$

□

The previous theorem gives the following results as particular examples.

Corollary 4.1.

For all integers $n,$ Simson’s formula of $(r,s)-$Fibonacci,$(r,s)-$Fibonacci-Lucas, Fibonacci and Fibonacci- Lucas polynomials spinors are given as

(i) 

$$\begin{array}{ccc}& & \widehat{S{G}_{n+1}}S{G}_{n-1}-\widehat{S{G}_n}S{G}_n\hfill \\ & =& {(-1)}^n{s}^n(\widehat{S{G}_{-1}}S{G}_1-\widehat{S{G}_0}S{G}_0)\hfill \\ & =& {(-1)}^n{s}^{n-1}\left[\begin{array}{c}\left(i{r}^3+2irs-s^3+s^2-s-1\right)\\ \left(-r^{2}s-r^2+ir{s}^2+ir-2s\right)\end{array}\right].\hfill \end{array}$$

(4.16)

(ii) 

$$\begin{array}{ccc}& & \widehat{S{H}_{n+1}}S{H}_{n-1}-\widehat{S{H}_n}S{H}_n\hfill \\ & =& {(-1)}^n{s}^n(\widehat{S{H}_{-1}}S{H}_1-\widehat{S{H}_0}S{H}_0)\hfill \\ & =& {(-1)}^{n-1}{s}^{n-1}\left(r^2+4s\right)\left[\begin{array}{c}\left(i{r}^3+2irs-s^3+s^2-s-1\right)\\ \left(-r^{2}s-r^2+ir{s}^2+ir-2s\right)\end{array}\right].\hfill \end{array}$$

(4.17)

(iii) 

$$\widehat{S{F}_{n+1}}S{F}_{n-1}-\widehat{S{F}_n}S{F}_n={(-1)}^n\left[\begin{array}{c}\left(-2+i\left(x^3+2x\right)\right)\\ \left(-2x^2-2+2ix\right)\end{array}\right].$$

(4.18)

(iv) 

$$\widehat{S{L}_{n+1}}S{L}_{n-1}-\widehat{S{L}_n}S{L}_n={(-1)}^{n-1}\left(x^2+4\right)\left[\begin{array}{c}\left(-2+i\left(x^3+2x\right)\right)\\ \left(-2x^2-2+2ix\right)\end{array}\right].$$

(4.19)

respectively.

Proof. 

The proof can be obtained by Equation 3.22, Table 3 and Table 4. □

If one compare the results (i) and (ii) in Corollary 4.1, it can be seen the quick result presenting the relation between Simson’s identities for $S{G}_n$ and $S{H}_n$ as follows:

Corollary 4.2.

For all integers $n,$ the next identities hold:

(i) 

$$\widehat{S{H}_{n+1}}S{H}_{n-1}-\widehat{S{H}_n}S{H}_n=\left(r^2+4s\right)\left(\widehat{S{G}_{n+1}}S{G}_{n-1}-\widehat{S{G}_n}S{G}_n\right).$$

(4.20)

(ii) 

$$\widehat{S{L}_{n+1}}S{L}_{n-1}-\widehat{S{L}_n}S{L}_n=\left(x^2+4\right)\left(\widehat{S{F}_{n+1}}S{F}_{n-1}-\widehat{S{F}_n}S{F}_n\right).$$

(4.21)

Next theorem exhibits the relation of generalized Fibonacci polynomial spinor transforms with different terms.

Theorem 5.

For all integers n, the following identities hold:

(i) 

$$\widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0={\left(-s\right)}^{-n}\left(\widehat{S{W}_0}S{W}_{2n}-\widehat{S{W}_n}S{W}_n\right).$$

(4.22)

(ii) 

$$\begin{array}{ccc}& & \widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\hfill \\ & =& \left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\right).\hfill \end{array}$$

(4.23)

(iii) 

$$\begin{array}{ccc}& & \widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\hfill \\ & =& \left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right){\left(-s\right)}^{-n}\left(\widehat{S{G}_0}S{G}_{2n}-\widehat{S{G}_n}S{G}_n\right).\hfill \end{array}$$

(4.24)

(iv) 

$$\widehat{S{H}_{-n}}S{H}_n-\widehat{S{H}_0}S{H}_0=-\left(r^2+4s\right)\left(\widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\right).$$

(4.25)

(v) 

$$\widehat{S{H}_0}S{H}_{2n}-\widehat{S{H}_n}S{H}_n=-{(-s)}^n\left(r^2+4s\right)\left(\widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\right).$$

(4.26)

Proof. 

(i)

For $\alpha \ne \beta$, using (3.45) and (2.5) we obtain the following identities:

$$\begin{array}{ccc}& & \widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\hfill \\ & =& -\frac{1}{{\left(-s\right)}^n}{c}_1{c}_2\left({\alpha }^n-{\beta }^n\right)\left[\begin{array}{c}({\beta }^n-{\alpha }^n-\alpha {\beta }^{n+1}+{\alpha }^{n+1}\beta -{\alpha }^2{\beta }^{n+2}\\ +{\alpha }^{n+2}{\beta }^2-{\alpha }^3{\beta }^{n+3}+{\alpha }^{n+3}{\beta }^3\\ -i\alpha {\beta }^{n+2}+i{\alpha }^{n+2}\beta -i{\alpha }^3{\beta }^n+i{\alpha }^n{\beta }^3\\ +i{\alpha }^{n+3}-i{\beta }^{n+3}+i{\alpha }^2{\beta }^{n+1}-i{\alpha }^{n+1}{\beta }^2)\\ \\ ({\alpha }^{n+3}\beta -\alpha {\beta }^{n+3}+{\alpha }^2{\beta }^n-{\alpha }^n{\beta }^2+{\beta }^{n+2}\\ -{\alpha }^{n+2}+{\alpha }^3{\beta }^{n+1}-{\alpha }^{n+1}{\beta }^3+i{\alpha }^{n+1}\\ -i{\beta }^{n+1}-i{\alpha }^2{\beta }^{n+3}+i{\alpha }^3{\beta }^{n+2}\\ -i{\alpha }^{n+2}{\beta }^3+i{\alpha }^{n+3}{\beta }^2-i\alpha {\beta }^n+i{\alpha }^n\beta )\end{array}\right].\hfill \end{array}$$

(4.27)

where $c_1=W_1-\beta W_0$ and $c_2=W_1-\alpha W_0$. On the other hand,

$$\begin{array}{ccc}& & \widehat{S{W}_0}S{W}_{2n}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& -c_1{c}_2\left({\alpha }^n-{\beta }^n\right)\left[\begin{array}{c}({\beta }^n-{\alpha }^n-\alpha {\beta }^{n+1}+{\alpha }^{n+1}\beta -{\alpha }^2{\beta }^{n+2}\\ +{\alpha }^{n+2}{\beta }^2-{\alpha }^3{\beta }^{n+3}+{\alpha }^{n+3}{\beta }^3\\ -i\alpha {\beta }^{n+2}+i{\alpha }^{n+2}\beta -i{\alpha }^3{\beta }^n+i{\alpha }^n{\beta }^3\\ +i{\alpha }^{n+3}-i{\beta }^{n+3}+i{\alpha }^2{\beta }^{n+1}-i{\alpha }^{n+1}{\beta }^2)\\ \\ ({\alpha }^{n+3}\beta -\alpha {\beta }^{n+3}+{\alpha }^2{\beta }^n-{\alpha }^n{\beta }^2\\ +{\alpha }^3{\beta }^{n+1}-{\alpha }^{n+2}+{\beta }^{n+2}-{\alpha }^{n+1}{\beta }^3\\ +i{\alpha }^{n+1}-i{\beta }^{n+1}-i{\alpha }^2{\beta }^{n+3}+i{\alpha }^3{\beta }^{n+2}\\ -i{\alpha }^{n+2}{\beta }^3+i{\alpha }^{n+3}{\beta }^2-i\alpha {\beta }^n+i{\alpha }^n\beta )\end{array}\right].\hfill \\ & =& {\left(-s\right)}^n\left(\widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\right).\hfill \end{array}$$

(4.28)

Now, let us see when the roots are equal, i.e., for $\alpha =\beta$, (4.22) holds for all integers n. Using (3.46), we obtain that

$$\begin{array}{ccc}& & \widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\hfill \\ & =& -n{d}_2^2\left[\begin{array}{c}\left(-n+n{\alpha }^2+2in{\alpha }^3+n{\alpha }^4+n{\alpha }^6+2i{\alpha }^3\right)\\ 2\alpha \left(i{\alpha }^4+2{\alpha }^3-n\alpha +in\right)\end{array}\right]\hfill \end{array}$$

(4.29)

where $d_1=W_0$ and $d_2=\frac{1}{\alpha }\left(W_1-\alpha W_0\right)$. On the other hand,

$$\begin{array}{ccc}& & \widehat{S{W}_0}S{W}_{2n}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& -n{\alpha }^{2n}{d}_2^2\left[\begin{array}{c}\left(-n+n{\alpha }^2+2in{\alpha }^3+n{\alpha }^4+n{\alpha }^6+2i{\alpha }^3\right)\\ 2\alpha \left(i{\alpha }^4+2{\alpha }^3-n\alpha +in\right)\end{array}\right].\hfill \end{array}$$

(4.30)

Therefore, (4.29) and (4.30) give us the next required equality:

$$\begin{array}{ccc}\hfill \widehat{S{W}_0}S{W}_{2n}-\widehat{S{W}_n}S{W}_n& =& {\alpha }^{2n}\left(\widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\right)\hfill \\ & =& {\left(-s\right)}^n\left(\widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\right).\hfill \end{array}$$

(4.31)

(ii)

For $\alpha \ne \beta$, since $c_1=G_1-\beta G_0=1$ and $c_2=G_1-\alpha G_0=1,$ we can immediately the following identity from using (4.27) and taking $W_n=G_n$:

$$\begin{array}{ccc}& & \widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\hfill \\ & =& -\frac{1}{{\left(-s\right)}^n}\left({\alpha }^n-{\beta }^n\right)\left[\begin{array}{c}({\beta }^n-{\alpha }^n-\alpha {\beta }^{n+1}+{\alpha }^{n+1}\beta -{\alpha }^2{\beta }^{n+2}\\ +{\alpha }^{n+2}{\beta }^2-{\alpha }^3{\beta }^{n+3}+{\alpha }^{n+3}{\beta }^3\\ -i\alpha {\beta }^{n+2}+i{\alpha }^{n+2}\beta -i{\alpha }^3{\beta }^n+i{\alpha }^n{\beta }^3\\ +i{\alpha }^{n+3}-i{\beta }^{n+3}+i{\alpha }^2{\beta }^{n+1}-i{\alpha }^{n+1}{\beta }^2)\\ \\ ({\alpha }^{n+3}\beta -\alpha {\beta }^{n+3}+{\alpha }^2{\beta }^n-{\alpha }^n{\beta }^2\\ +{\beta }^{n+2}-{\alpha }^{n+2}+{\alpha }^3{\beta }^{n+1}-{\alpha }^{n+1}{\beta }^3\\ +i{\alpha }^{n+1}-i{\beta }^{n+1}-i{\alpha }^2{\beta }^{n+3}+i{\alpha }^3{\beta }^{n+2}\\ -i{\alpha }^{n+2}{\beta }^3+i{\alpha }^{n+3}{\beta }^2-i\alpha {\beta }^n+i{\alpha }^n\beta )\end{array}\right].\hfill \end{array}$$

(4.32)

Hence, the product $c_1{c}_2$ in (4.27) equals $\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)$ by (2.4) and (2.5) and by comparing the identities (4.27) and (4.32) have the desired identity:

$$\begin{array}{ccc}& & \widehat{S{W}_{-n}}S{W}_n-\widehat{S{W}_0}S{W}_0\hfill \\ & =& \left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\right).\hfill \end{array}$$

We now prove the identity holds for all integers n for equal roots, i.e, for $\alpha =\beta$. By taking $W_n=G_n$ in (4.29), since $d_1=0$ and $d_2=\frac{1}{\alpha }$ we arrive the following identity.

$$\begin{array}{ccc}& & \widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0\hfill \\ & =& -\frac{n}{{\alpha }^2}\left[\begin{array}{c}\left(-n+n{\alpha }^2+2in{\alpha }^3+n{\alpha }^4+n{\alpha }^6+2i{\alpha }^3\right)\\ 2\alpha \left(i{\alpha }^4+2{\alpha }^3-n\alpha +in\right)\end{array}\right].\hfill \end{array}$$

(4.33)

Therefore, the product $d_2^2$ in (4.29) equals $\left(W_1^2-r{W}_0{W}_1-s{W}_0^2\right)$ by (2.7) and (2.8) and by comparing the identities (4.29) and (4.33), we have the desired identity.

(iii)

It is clear from (i) and (ii).

(iv)

Considering $S{W}_n=S{H}_n$ for all integers n and setting the value of $\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)$ in (ii) from Table 1, we reach the desired identity.

(v)

It is obvious from (i) and (iii).

□

Through Theorem 5 by taking $S{W}_n=S{G}_n$ and $S{W}_n=S{H}_n$, we can see a more general formula of $(r,s)-$Fibonacci polynomial spinors $S{G}_n$ and $(r,s)-$Fibonacci-Lucas polynomial spinors $S{H}_n$ in the next corollary.

Corollary 4.3.

For all integers n, the following equalities hold:

(i) 

$$\widehat{S{G}_{-n}}S{G}_n-\widehat{S{G}_0}S{G}_0={\left(-s\right)}^{-n}\left(\widehat{S{G}_0}S{G}_{2n}-\widehat{S{G}_n}S{G}_n\right).$$

(4.34)

(ii) 

$$\widehat{S{H}_{-n}}S{H}_n-\widehat{S{H}_0}S{H}_0={\left(-s\right)}^{-n}\left(\widehat{S{H}_0}S{H}_{2n}-\widehat{S{H}_n}S{H}_n\right).$$

(4.35)

Next corollary is the result of Corollary 4.3 for special cases.

Corollary 4.4.

For all integers n, the following equalities hold:

(i) 

$$\widehat{S{F}_{-n}}S{F}_n-\widehat{S{F}_0}S{F}_0={\left(-1\right)}^n\left(\widehat{S{F}_0}S{F}_{2n}-\widehat{S{F}_n}S{F}_n\right).$$

(4.36)

(ii) 

$$\widehat{S{L}_{-n}}S{L}_n-\widehat{S{L}_0}S{L}_0={\left(-1\right)}^n\left(\widehat{S{L}_0}S{L}_{2n}-\widehat{S{L}_n}S{L}_n\right).$$

(4.37)

We can rewrite the Simson’s formula in five different way by previous corollaries and theorem.

Theorem 6.

(Simson’s Identity) For all integers n, Simson’s identity of generalized Fibonacci polynomial spinors can be given with the next five different formulas:

$$\begin{array}{ccc}& & \widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& {\left(-s\right)}^{n-1}\left(\widehat{S{W}_0}S{W}_2-\widehat{S{W}_1}S{W}_1\right)\hfill \\ & =& {(-s)}^n\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_{-1}}S{G}_1-\widehat{S{G}_0}S{G}_0\right)\hfill \\ & =& {(-s)}^{n-1}\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_0}S{G}_2-\widehat{S{G}_1}S{G}_1\right).\hfill \end{array}$$

(4.38)

and

$$\begin{array}{ccc}& & \left(r^2+4s\right)\left(\widehat{S{W}_{n-1}}S{W}_{n+1}-\widehat{S{W}_n}S{W}_n\right)\hfill \\ & =& {(-s)}^{n-1}\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{H}_{-1}}S{H}_1-\widehat{S{H}_0}S{H}_0\right)\hfill \\ & =& -\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{H}_0}S{H}_2-\widehat{S{H}_1}S{H}_1\right).\hfill \end{array}$$

(4.39)

5. Some Identities

In this section, we obtain some identities of generalized Fibonacci (Horadam) polynomials spinors, $(r,s)$-Fibonacci polynomials spinors and $(r,s)$-Lucas polynomials spinors. Firstly, we can give a few basic relations between $\left\{G_n\right\}$ and $\left\{S{W}_n\right\}$.

Theorem 7.

For all integers $m,n$ we have

$$S{W}_{n+m}=S{W}_n{G}_{m+1}+sS{W}_{n-1}{G}_m$$

(5.1)

i.e.,

$$S{W}_{n+m}=S{W}_m{G}_{n+1}+sS{W}_{m-1}{G}_n$$

(5.2)

Proof. 

For $m\ge 1$ and $m\le 0$, we use induction on m. First we assume that $m\ge 1.$

The equation is true for $m=1$ since

$$\begin{array}{ccc}\hfill S{W}_{n+1}& =& rS{W}_n+sS{W}_{n-1}\hfill \\ & =& S{W}_n{G}_2+sS{W}_{n-1}{G}_1\hfill \end{array}$$

(5.3)

where $G_2=r$ and $G_1=1$. For $m=2,$ the equation is also true which we can see below, because using definition of $S{W}_n$ and the values $G_2=r,G_3=s+r^2,$ we get

$$\begin{array}{ccc}\hfill S{W}_{n+2}& =& rS{W}_{n+1}+sS{W}_n=r(rS{W}_n+sS{W}_{n-1})+sS{W}_n\hfill \\ & =& (s+r^2)S{W}_n+rsS{W}_{n-1}=S{W}_n{G}_3+sS{W}_{n-1}{G}_2.\hfill \end{array}$$

(5.4)

Assume now that the equation holds for all m with $0\le m\le k+1.$ Then, by assumption, for $m=k$ and $m=k+1$ we have, respectively,

$$sS{W}_{n+k}=s(S{W}_n{G}_{k+1}+sS{W}_{n-1}{G}_k),$$

(5.5)

and

$$rS{W}_{n+k+1}=r(S{W}_n{G}_{k+2}+sS{W}_{n-1}{G}_{k+1}).$$

(5.6)

By adding up these two equations we get

$$rS{W}_{n+k+1}+sS{W}_{n+k}=r(S{W}_n{G}_{k+2}+sS{W}_{n-1}{G}_{k+1})+s(S{W}_n{G}_{k+1}+sS{W}_{n-1}{G}_k),$$

(5.7)

i.e.,

$$\begin{array}{ccc}\hfill S{W}_{n+k+2}& =& S{W}_n\left(r{G}_{k+2}+s{G}_{k+1}\right)+sS{W}_{n-1}\left(r{G}_{k+1}+s{G}_k\right)\hfill \\ & =& S{W}_n{G}_{k+3}+sS{W}_{n-1}{G}_{k+2}\hfill \end{array}$$

(5.8)

which yields the equation for $m=k+2.$

Now, we proceed by induction on $\left|m\right|=-m=v$ when $m\le 0$. For $v=0,$ that is $m=0$, the equation is true because

$$S{W}_n=S{W}_n{G}_1+sS{W}_{n-1}{G}_0$$

(5.9)

where $G_0=0$ and $G_1=1.$ For $v=1,$ that is $m=-1$, it is true because

$$S{W}_{n-1}=S{W}_n{G}_0+sS{W}_{n-1}{G}_{-1}$$

(5.10)

where $G_0=0$ and $G_{-1}=\frac{1}{s}.$ Suppose that it holds for all $v=\left|m\right|=-m$ with $1\le v\le k+1.$ Then, by assumption, for $v=k$ and $v=k+1$ we have, respectively,

$$\frac{1}{s}S{W}_{n-k}=\frac{1}{s}(S{W}_n{G}_{-k+1}+sS{W}_{n-1}{G}_{-k})$$

(5.11)

and

$$\frac{-r}{s}S{W}_{n-k-1}=\frac{-r}{s}(S{W}_n{G}_{-k}+sS{W}_{n-1}{G}_{-k-1}).$$

(5.12)

By adding up these two equations we get

$$\begin{array}{ccc}& & \frac{-r}{s}S{W}_{n-k-1}+\frac{1}{s}{G}_{n-k}\hfill \\ & =& \frac{-r}{s}(S{W}_n{G}_{-k}+sS{W}_{n-1}{G}_{-k-1})+\frac{1}{s}(S{W}_n{G}_{-k+1}+sS{W}_{n-1}{G}_{-k}),\hfill \end{array}$$

(5.13)

i.e.,

$$\begin{array}{ccc}\hfill S{W}_{n-k-2}& =& S{W}_n(-\frac{r}{s}{G}_{-k}+\frac{1}{s}{G}_{-k+1})+sS{W}_{n-1}(-\frac{r}{s}{G}_{-k-1}+\frac{1}{s}{G}_{-k})\hfill \\ & =& S{W}_n{G}_{-k-1}+sS{W}_{n-1}{G}_{-k-2};\hfill \end{array}$$

(5.14)

thus we obtain the equation for $v=\left|m\right|=k+2.$ □

We then have next result via Theorem 7 as a corollary.

Corollary 5.1.

For $n\in \mathbb{Z}$, the following equalities are true:

(i) 

$$S{W}_n=S{W}_0{G}_{n+1}+(S{W}_1-rS{W}_0)G_n$$

(5.15)

(ii) 

$$(4s+r^2)S{W}_n=(2S{W}_1-rS{W}_0)H_{n+1}+(-rS{W}_1+(2s+r^2)S{W}_0)H_n$$

(5.16)

(iii) 

$$S{W}_{n+m}=G_{n}S{W}_{m+1}+s{G}_{n-1}S{W}_m$$

(5.17)

(iv) 

$$S{G}_{n+m}=S{G}_n{G}_{m+1}+sS{G}_{n-1}{G}_m$$

(5.18)

(v) 

$$S{H}_{n+m}=S{H}_n{G}_{m+1}+sS{H}_{n-1}{G}_m$$

(5.19)

(vi) 

$$S{G}_n=S{G}_0{G}_{n+1}+(S{G}_1-rS{G}_0)G_n$$

(5.20)

(vii) 

$$S{H}_n=S{H}_0{G}_{n+1}+(S{H}_1-rS{H}_0)G_n$$

(5.21)

(viii) 

$$(4s+r^2)S{H}_n=(2S{H}_1-rS{H}_0)H_{n+1}+(-rS{H}_1+(2s+r^2)S{H}_0)H_n$$

(5.22)

(ix) 

$$(4s+r^2)S{G}_n=(2S{G}_1-rS{G}_0)H_{n+1}+(-rS{G}_1+(2s+r^2)S{G}_0)H_n$$

(5.23)

(x) 

$$S{G}_{n+m}=G_{n}S{G}_{m+1}+s{G}_{n-1}S{G}_m$$

(5.24)

(xi)

$$S{H}_{n+m}=G_{n}S{H}_{m+1}+s{G}_{n-1}S{H}_m$$

(5.25)

Proof. 

(i) If we take m equals 0 in (5.2) then we obtain the required equation.

(ii) If we use the following equations in a) coming from [32]

$$\begin{array}{ccc}\hfill (r^2+4s)G_n& =& 2H_{n+1}-r{H}_n,\hfill \\ \hfill (r^2+4s)G_n& =& r{H}_n+2s{H}_{n-1}\hfill \end{array}$$

(5.26)

then we have the required equation.

(iii) Take $n-1$ instead of n and $m+1$ instead of m in (5.2).

(iv)-(v) Take $S{G}_{n+m}$ and $S{H}_{n+m}$ instead of $S{W}_{n+m}$ in (5.1).

(vi)-(vii) Take $S{G}_n$ and $S{H}_n$ instead of $S{W}_n$ in (5.15).

(viii)-(ix) Replace $S{W}_n=S{G}_n$ and $S{W}_n=S{H}_n$, respectively in (5.16).

(x)-(xi) Replace $S{W}_{n+m}=S{G}_{n+m}$ and $S{W}_{n+m}=S{H}_{n+m}$, respectively in (5.17). □

We obtain the next corollary from Theorem 7 and Corollary 5.1 (iii). Next identities will be useful for us in the last section.

Corollary 5.2.

Let $n\in \mathbb{Z}.$ The following equalities are true:

(i) 

$$S{W}_n=G_{n}S{W}_1+s{G}_{n-1}S{W}_0.$$

(5.27)

(ii) 

$$S{W}_{n+1}=G_{n}S{W}_2+s{G}_{n-1}S{W}_1.$$

(5.28)

(iii) 

$$S{W}_{n+1}=G_{n+1}S{W}_1+s{G}_{n}S{W}_0.$$

(5.29)

(iv) 

$$S{W}_{n+2}=G_{n+1}S{W}_2+s{G}_{n}S{W}_1.$$

(5.30)

Theorem 8.

(Catalan’s identity) Let n and m be any integers. Then the following identity is true:

$$\widehat{S{W}_{n-m}}S{W}_{n+m}-\widehat{S{W}_n}S{W}_n={\left(-s\right)}^n\left(\widehat{S{W}_{-m}}S{W}_m-\widehat{S{W}_0}S{W}_0\right)$$

(5.31)

i.e.,

$$\left|\begin{array}{cc}S{W}_{n+m}& \widehat{S{W}_n}\\ S{W}_n& \widehat{S{W}_{n-m}}\end{array}\right|={\left(-s\right)}^n\left|\begin{array}{cc}S{W}_m& \widehat{S{W}_0}\\ S{W}_0& \widehat{S{W}_{-m}}\end{array}\right|.$$

(5.32)

Proof. 

Let n and m be any integers. Using the Binet’s formula of $S{W}_n$, $S{W}_{n-m}$ and $S{W}_{n+m},$ we obtain the desired identitiy by (2.5) and Equation 4.22 in Theorem 4.3 (i).

$$\begin{array}{ccc}& & \widehat{S{W}_{n-m}}S{W}_{n+m}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& -{\alpha }^{n-m}{\beta }^{n-m}{c}_1{c}_2\left({\alpha }^m-{\beta }^m\right)\left[\begin{array}{c}({\beta }^m-{\alpha }^m-\alpha {\beta }^{m+1}+{\alpha }^{m+1}\beta -{\alpha }^2{\beta }^{m+2}\\ +{\alpha }^{m+2}{\beta }^2-{\alpha }^3{\beta }^{m+3}+{\alpha }^{m+3}{\beta }^3\\ -i\alpha {\beta }^{m+2}+i{\alpha }^{m+2}\beta -i{\alpha }^3{\beta }^m+i{\alpha }^m{\beta }^3\\ +i{\alpha }^{m+3}-i{\beta }^{m+3}+i{\alpha }^2{\beta }^{m+1}-i{\alpha }^{m+1}{\beta }^2)\\ \\ ({\alpha }^{m+3}\beta -\alpha {\beta }^{m+3}+{\alpha }^2{\beta }^m-{\alpha }^m{\beta }^2\\ +{\beta }^{m+2}-{\alpha }^{m+2}+{\alpha }^3{\beta }^{m+1}-{\alpha }^{m+1}{\beta }^3\\ +i{\alpha }^{m+1}-i{\beta }^{m+1}-i{\alpha }^2{\beta }^{m+3}+i{\alpha }^3{\beta }^{m+2}\\ -i{\alpha }^{m+2}{\beta }^3+i{\alpha }^{m+3}{\beta }^2-i\alpha {\beta }^m+i{\alpha }^m\beta )\end{array}\right]\hfill \\ & =& {\alpha }^m{\beta }^m{\alpha }^{n-m}{\beta }^{n-m}\left(\widehat{S{W}_{-m}}S{W}_m-\widehat{S{W}_0}S{W}_0\right)\hfill \\ & =& {\left(-s\right)}^n\left(\widehat{S{W}_{-m}}S{W}_m-\widehat{S{W}_0}S{W}_0\right).\hfill \end{array}$$

(5.33)

When we take $S{G}_n$,$S{H}_n$, $S{F}_n$,$S{L}_n$ instead of $S{W}_n$, we have the Catalan’s identity for $(r,s)-$Fibonacci, $(r,s)-$Fibonacci-Lucas polynomial spinors, Fibonacci polynomial spinors and Fibonacci-Lucas polynomial spinors, respectively. □

Corollary 5.3.

Let n and m be any integers. Then the following identities are true:

(i) 

$$\widehat{S{G}_{n-m}}S{G}_{n+m}-\widehat{S{G}_n}S{G}_n={\left(-s\right)}^n\left(\widehat{S{G}_{-m}}S{G}_m-\widehat{S{G}_0}S{G}_0\right)$$

(5.34)

i.e.,

$$\left|\begin{array}{cc}S{G}_{n+m}& \widehat{S{G}_n}\\ S{G}_n& \widehat{S{G}_{n-m}}\end{array}\right|={\left(-s\right)}^n\left|\begin{array}{cc}S{G}_m& \widehat{S{G}_0}\\ S{G}_0& \widehat{S{G}_{-m}}\end{array}\right|.$$

(5.35)

(ii) 

$$\widehat{S{H}_{n-m}}S{H}_{n+m}-\widehat{S{H}_n}S{H}_n={\left(-s\right)}^n\left(\widehat{S{H}_{-m}}S{H}_m-\widehat{S{H}_0}S{H}_0\right)$$

(5.36)

i.e.,

$$\left|\begin{array}{cc}S{H}_{n+m}& \widehat{S{H}_n}\\ S{H}_n& \widehat{S{H}_{n-m}}\end{array}\right|={\left(-s\right)}^n\left|\begin{array}{cc}S{H}_m& \widehat{S{H}_0}\\ S{H}_0& \widehat{S{H}_{-m}}\end{array}\right|.$$

(5.37)

(iii) 

$$\widehat{S{F}_{n-m}}S{F}_{n+m}-\widehat{S{F}_n}S{F}_n={\left(-1\right)}^n\left(\widehat{S{F}_{-m}}S{F}_m-\widehat{S{F}_0}S{F}_0\right)$$

(5.38)

i.e.,

$$\left|\begin{array}{cc}S{F}_{n+m}& \widehat{S{F}_n}\\ S{F}_n& \widehat{S{F}_{n-m}}\end{array}\right|={\left(-1\right)}^n\left|\begin{array}{cc}S{F}_m& \widehat{S{F}_0}\\ S{F}_0& \widehat{S{F}_{-m}}\end{array}\right|.$$

(5.39)

(iv) 

$$\widehat{S{L}_{n-m}}S{L}_{n+m}-\widehat{S{L}_n}S{L}_n={\left(-1\right)}^n\left(\widehat{S{L}_{-m}}S{L}_m-\widehat{S{L}_0}S{L}_0\right)$$

(5.40)

i.e.,

$$\left|\begin{array}{cc}S{L}_{n+m}& \widehat{S{L}_n}\\ S{L}_n& \widehat{S{L}_{n-m}}\end{array}\right|={\left(-1\right)}^n\left|\begin{array}{cc}S{L}_m& \widehat{S{L}_0}\\ S{L}_0& \widehat{S{L}_{-m}}\end{array}\right|.$$

(5.41)

We next take an example of Catalan’s formula for a speacial n and $m.$

Theorem 9.

We have the Catalan’s identity for $n=2$ and $m=1$,

$$\widehat{S{W}_1}S{W}_3-\widehat{S{W}_2}S{W}_2=s^2\left(\widehat{S{W}_{-1}}S{W}_1-\widehat{S{W}_0}S{W}_0\right).$$

(5.42)

We can also exhibit the Catalan’s identity in other forms via Theorem 4.3 as in the next corollary.

Corollary 5.4.

(Catalan’s Identity) For all integers n and m, Catalan’s identity of generalized Fibonacci polynomial spinors can be given with the next five different formulas:

$$\begin{array}{ccc}& & \widehat{S{W}_{n-m}}S{W}_{n+m}-\widehat{S{W}_n}S{W}_n\hfill \\ & =& {\left(-s\right)}^{n-m}\left(\widehat{S{W}_0}S{W}_{2m}-\widehat{S{W}_m}S{W}_m\right)\hfill \\ & =& {\left(-s\right)}^n\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_{-m}}S{G}_m-\widehat{S{G}_0}S{G}_0\right)\hfill \\ & =& \left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{G}_0}S{G}_{2m}-\widehat{S{G}_m}S{G}_m\right)\hfill \end{array}$$

(5.43)

and

$$\begin{array}{ccc}& & \left(r^2+4s\right)\left(\widehat{S{W}_{n-m}}S{W}_{n+m}-\widehat{S{W}_n}S{W}_n\right)\hfill \\ & =& -{\left(-s\right)}^n\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{H}_{-m}}S{H}_m-\widehat{S{H}_0}S{H}_0\right)\hfill \\ & =& -\left(W_1^2-s{W}_0^2-r{W}_0{W}_1\right)\left(\widehat{S{H}_0}S{H}_{2m}-\widehat{S{H}_m}S{H}_m\right).\hfill \end{array}$$

(5.44)

Theorem 10.

Due to Theorem 4.3, Catalan’s identity of $(r,s)-$Fibonacci polynomial spinors, $(r,s)-$Fibonacci-Lucas polynomial spinors, Fibonacci polynomial spinors and Fibonacci-Lucas polynomial spinors can be written in many different ways as a result of Corollary 5.4.

(i) 

$$\begin{array}{ccc}& & \widehat{S{G}_{n-m}}S{G}_{n+m}-\widehat{S{G}_n}S{G}_n\hfill \end{array}$$

$$\begin{array}{ccc}& =& {\left(-s\right)}^{n-m}\left(\widehat{S{G}_0}S{G}_{2m}-\widehat{S{G}_m}S{G}_m\right)\hfill \\ & & \left(r^2+4s\right)\left(\widehat{S{G}_{n-m}}S{G}_{n+m}-\widehat{S{G}_n}S{G}_n\right)\hfill \end{array}$$

(5.45)

$$\begin{array}{ccc}& =& -{\left(-s\right)}^n\left(\widehat{S{H}_{-m}}S{H}_m-\widehat{S{H}_0}S{H}_0\right)\hfill \\ & & \left(r^2+4s\right)\left(\widehat{S{G}_{n-m}}S{G}_{n+m}-\widehat{S{G}_n}S{G}_n\right)\hfill \end{array}$$

(5.46)

$$\begin{array}{ccc}& =& -\left(\widehat{S{H}_0}S{H}_{2m}-\widehat{S{H}_m}S{H}_m\right).\hfill \end{array}$$

(5.47)

(ii) 

$$\begin{array}{ccc}& & \widehat{S{H}_{n-m}}S{H}_{n+m}-\widehat{S{H}_n}S{H}_n\hfill \end{array}$$

$$\begin{array}{ccc}& =& {\left(-s\right)}^{n-m}\left(\widehat{S{H}_0}S{H}_{2m}-\widehat{S{H}_m}S{H}_m\right)\hfill \\ & & \widehat{S{H}_{n-m}}S{H}_{n+m}-\widehat{S{H}_n}S{H}_n\hfill \end{array}$$

(5.48)

$$\begin{array}{ccc}& =& -{\left(-s\right)}^n\left(r^2+4s\right)\left(\widehat{S{G}_{-m}}S{G}_m-\widehat{S{G}_0}S{G}_0\right)\hfill \\ & & \widehat{S{H}_{n-m}}S{H}_{n+m}-\widehat{S{H}_n}S{H}_n\hfill \end{array}$$

(5.49)

$$\begin{array}{ccc}& =& -\left(r^2+4s\right)\left(\widehat{S{G}_0}S{G}_{2m}-\widehat{S{G}_m}S{G}_m\right).\hfill \end{array}$$

(5.50)

(iii) 

$$\begin{array}{ccc}& & \widehat{S{F}_{n-m}}S{F}_{n+m}-\widehat{S{F}_n}S{F}_n\hfill \end{array}$$

$$\begin{array}{ccc}& =& {\left(-1\right)}^{n-m}\left(\widehat{S{F}_0}S{F}_{2m}-\widehat{S{F}_m}S{F}_m\right)\hfill \\ & & \left(x^2+4\right)\left(\widehat{S{F}_{n-m}}S{F}_{n+m}-\widehat{S{F}_n}S{F}_n\right)\hfill \end{array}$$

(5.51)

$$\begin{array}{ccc}& =& -{\left(-1\right)}^n\left(\widehat{S{L}_{-m}}S{L}_m-\widehat{S{L}_0}S{L}_0\right)\hfill \\ & & \left(x^2+4\right)\left(\widehat{S{F}_{n-m}}S{F}_{n+m}-\widehat{S{F}_n}S{F}_n\right)\hfill \end{array}$$

(5.52)

$$\begin{array}{ccc}& =& -\left(\widehat{S{L}_0}S{L}_{2m}-\widehat{S{L}_m}S{L}_m\right).\hfill \end{array}$$

(5.53)

(iv) 

$$\begin{array}{ccc}& & \widehat{S{L}_{n-m}}S{L}_{n+m}-\widehat{S{L}_n}S{L}_n\hfill \end{array}$$

$$\begin{array}{ccc}& =& {\left(-1\right)}^{n-m}\left(\widehat{S{L}_0}S{L}_{2m}-\widehat{S{L}_m}S{L}_m\right)\hfill \\ & & \widehat{S{L}_{n-m}}S{L}_{n+m}-\widehat{S{L}_n}S{L}_n\hfill \end{array}$$

(5.54)

$$\begin{array}{ccc}& =& -{\left(-1\right)}^n\left(x^2+4\right)\left(\widehat{S{F}_{-m}}S{F}_m-\widehat{S{F}_0}S{F}_0\right)\hfill \\ & & \widehat{S{L}_{n-m}}S{L}_{n+m}-\widehat{S{L}_n}S{L}_n\hfill \end{array}$$

(5.55)

$$\begin{array}{ccc}& =& -\left(x^2+4\right)\left(\widehat{S{F}_0}S{F}_{2m}-\widehat{S{F}_m}S{F}_m\right).\hfill \end{array}$$

(5.56)

6. Sum Formulas

In this section, we present sum formulas of generalized Fibonacci (Horadam) polynomial spinors.

Theorem 11.

For generalized Fibonacci (Horadam) polynomial spinors, we have the following sum formula:

If $-s-r+1\ne 0$ then

$$\sum _{k=0}^{n}S{W}_k=\frac{(-s-r)S{W}_n-sS{W}_{n-1}+S{W}_1+(1-r)S{W}_0}{-s-r+1}.$$

(6.1)

Proof. 

Using the recurrence relation

$$S{W}_n=rS{W}_{n-1}+sS{W}_{n-2}$$

(6.2)

i.e.

$$-sS{W}_{n-2}=rS{W}_{n-1}-S{W}_n$$

(6.3)

we obtain

$$\begin{array}{ccc}\hfill -sS{W}_0& =& rS{W}_1-S{W}_2\hfill \\ \hfill -sS{W}_1& =& rS{W}_2-S{W}_3\hfill \\ \hfill -sS{W}_2& =& rS{W}_3-S{W}_4\hfill \\ & & ⋮\hfill \\ \hfill -sS{W}_{n-2}& =& rS{W}_{n-1}-S{W}_n\hfill \end{array}$$

(6.4)

If we add the equations side by side, we get

$$-s\sum _{k=0}^{n-2}S{W}_k=r\sum _{k=1}^{n-1}S{W}_k-\sum _{k=2}^{n}S{W}_k.$$

(6.5)

Since

$$\begin{array}{ccc}& & -s\left(\sum _{k=0}^{n}S{W}_k-S{W}_{n-1}-S{W}_n\right)\hfill \\ & =& r\left(\sum _{k=0}^{n}S{W}_k-S{W}_n-S{W}_0\right)-\left(\sum _{k=0}^{n}S{W}_k-S{W}_0-S{W}_1\right)\hfill \end{array}$$

(6.6)

we get

$$\begin{array}{ccc}& & \left(-s-r+1\right)\sum _{k=0}^{n}S{W}_k\hfill \\ & =& -sS{W}_{n-1}-sS{W}_n-rS{W}_n-rS{W}_0+S{W}_0+S{W}_1\hfill \end{array}$$

(6.7)

and so

$$\sum _{k=0}^{n}S{W}_k=\frac{1}{-s-r+1}\left(-\left(r+s\right)S{W}_n-sS{W}_{n-1}+S{W}_1+(1-r)S{W}_0\right).$$

(6.8)

□

Corollary 6.1.

For $(r,s)-$Fibonacci, $(r,s)-$Fibonacci-Lucas, Fibonacci and Fibonacci-Lucas polynomials spinors, we have the following sum formulas: If $-s-r+1\ne 0$ and $x\ne 0$ then

(i) 

$$\begin{array}{ccc}& & \sum _{k=0}^{n}S{G}_k\hfill \\ & =& {\displaystyle \frac{1}{-s-r+1}}((-s-r)S{G}_n-sS{G}_{n-1}+\left[\begin{array}{c}{r}^2+sr+s+i\\ 1+i(r+s)\end{array}\right]).\hfill \end{array}$$

(6.9)

(ii) 

$$\begin{array}{ccc}& & \sum _{k=0}^{n}S{H}_k\hfill \\ & =& {\displaystyle \frac{1}{-s-r+1}}((-s-r)S{H}_n-sS{H}_{n-1}\hfill \\ & & +\left[\begin{array}{c}{r}^3+r^{2}s+3rs+2s^2+i(r-2)\\ r+2s+i(rs+r^2+2s)\end{array}\right]).\hfill \end{array}$$

(6.10)

(iii) 

$$\sum _{k=0}^{n}S{F}_k=-{\displaystyle \frac{1}{x}}((-1-x)S{F}_n-S{F}_{n-1}+\left[\begin{array}{c}{x}^2+x+1+i\\ 1+i(x+1)\end{array}\right]).$$

(6.11)

(iv) 

$$\sum _{k=0}^{n}S{L}_k=-{\displaystyle \frac{1}{x}}((-1-x)S{L}_n-S{L}_{n-1}+\left[\begin{array}{c}{x}^3+x^2+3x+2+i(x-2)\\ x+2+i(x+x^2+2)\end{array}\right]).$$

(6.12)

7. Matrices associated with Generalized Fibonacci Polynomial Spinors

Let $A=\left(\begin{array}{cc}r& s\\ 1& 0\end{array}\right)$ and $N_{SW}=\left(\begin{array}{cc}S{W}_2& S{W}_1\\ S{W}_1& S{W}_0\end{array}\right).$ Then, we know by Soykan[32] that

$$A^n=\left(\begin{array}{cc}{G}_{n+1}& s{G}_n\\ G_n& s{G}_{n-1}\end{array}\right).$$

(7.1)

Hence, we obtain the next theorem from matrix product by using the identities in Corollary 5.2.

Theorem 12.

For all integers n, we have

$$A^n{N}_{SW}=\left(\begin{array}{cc}S{W}_{n+2}& S{W}_{n+1}\\ S{W}_{n+1}& S{W}_n\end{array}\right).$$

(7.2)

Proof. 

For all integers n, we product the required matrices and use the identities in Corollary 5.2.

$$\begin{array}{ccc}\hfill A^n{N}_{SW}& =& \left(\begin{array}{cc}{G}_{n+1}& s{G}_n\\ G_n& s{G}_{n-1}\end{array}\right)\left(\begin{array}{cc}S{W}_2& S{W}_1\\ S{W}_1& S{W}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}{G}_{n+1}S{W}_2+s{G}_{n}S{W}_1& G_{n+1}S{W}_1+s{G}_{n}S{W}_0\\ G_{n}S{W}_2+s{G}_{n-1}S{W}_1& G_{n}S{W}_1+s{G}_{n-1}S{W}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}S{W}_{n+2}& S{W}_{n+1}\\ S{W}_{n+1}& S{W}_n\end{array}\right).\hfill \end{array}$$

(7.3)

□

Note that by taking $S{W}_n$ as $S{G}_n,$$S{H}_n,S{F}_n$ as $S{L}_n$ we get the following matrices.

$$\begin{array}{ccc}\hfill N_{SG}& =& \left(\begin{array}{cc}S{G}_2& S{G}_1\\ S{G}_1& S{G}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}\left[\begin{array}{c}{r}^4+3r^{2}s+s^2+ir\\ r^2+s+i\left(r^3+2rs\right)\end{array}\right]& \left[\begin{array}{c}{r}^3+2rs+i\\ r+i\left(r^2+s\right)\end{array}\right]\\ & \\ \left[\begin{array}{c}{r}^3+2rs+i\\ r+i\left(r^2+s\right)\end{array}\right]& \left[\begin{array}{c}{r}^2+s\\ 1+ir\end{array}\right]\end{array}\right),\hfill \end{array}$$

(7.4)

$$\begin{array}{ccc}\hfill N_{SH}& =& \left(\begin{array}{cc}S{H}_2& S{H}_1\\ S{H}_1& S{H}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}\left[\begin{array}{c}2r^4+r^{3}s+5r^{2}s\hfill \\ +2r{s}^2+s^2+i\left(2r+s\right)\hfill \\ \hfill \\ \left(2r^2+rs+s\right)\hfill \\ +i\left(2r^3+r^{2}s+3rs+s^2\right)\hfill \end{array}\right]& \left[\begin{array}{c}2r^3+r^{2}s\hfill \\ +3rs+s^2+i\hfill \\ \\ \left(2r+s\right)\hfill \\ +i\left(2r^2+rs+s\right)\hfill \end{array}\right]\\ & \\ \left[\begin{array}{c}2r^3+r^{2}s\hfill \\ +3rs+s^2+i\hfill \\ \\ \left(2r+s\right)\hfill \\ +i\left(2r^2+rs+s\right)\hfill \end{array}\right]& \left[\begin{array}{c}2r^2+rs+s+2i\hfill \\ 1+i\left(2r+s\right)\hfill \end{array}\right]\end{array}\right),\hfill \end{array}$$

(7.5)

$$\begin{array}{ccc}\hfill N_{SF}& =& \left(\begin{array}{cc}S{F}_2& S{F}_1\\ S{F}_1& S{F}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}\left[\begin{array}{c}{x}^4+3x^2+1+ix\\ x^2+1+i\left(x^3+2x\right)\end{array}\right]& \left[\begin{array}{c}{x}^3+2x+i\\ x+i\left(x^2+1\right)\end{array}\right]\\ & \\ \left[\begin{array}{c}{x}^3+2x+i\\ x+i\left(x^2+1\right)\end{array}\right]& \left[\begin{array}{c}{x}^2+1\\ 1+ix\end{array}\right]\end{array}\right),\hfill \end{array}$$

(7.6)

$$\begin{array}{ccc}\hfill N_{SL}& =& \left(\begin{array}{cc}S{L}_2& S{L}_1\\ S{L}_1& S{L}_0\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}\left[\begin{array}{c}2x^4+x^3+5x^2+2x\\ +1+i\left(2x+1\right)\\ \\ \left(2x^2+x+1\right)\\ +i\left(2x^3+x^2+3x+1\right)\end{array}\right]& \left[\begin{array}{c}2x^3+x^2+3x\hfill \\ +1+i\hfill \\ \\ \left(2x+1\right)\hfill \\ +i\left(2x^2+x+1\right)\hfill \end{array}\right]\\ & \\ \left[\begin{array}{c}2x^3+x^2\hfill \\ +3x+1+i\hfill \\ \\ \left(2x+1\right)\hfill \\ +i\left(2x^2+x+1\right)\hfill \end{array}\right]& \left[\begin{array}{c}2x^2+x+1+2i\hfill \\ \\ 1+i\left(2x+1\right)\hfill \end{array}\right]\end{array}\right).\hfill \end{array}$$

(7.7)

Theorem 12 gives the following results as particular examples.

Corollary 7.1.

For all integers n, we have

(i) 

$$A^n{N}_{SG}=\left(\begin{array}{cc}S{G}_{n+2}& S{G}_{n+1}\\ S{G}_{n+1}& S{G}_n\end{array}\right).$$

(7.8)

(ii) 

$$A^n{N}_{SH}=\left(\begin{array}{cc}S{H}_{n+2}& S{H}_{n+1}\\ S{H}_{n+1}& S{H}_n\end{array}\right).$$

(7.9)

(iii) 

$$A^n{N}_{SF}=\left(\begin{array}{cc}S{F}_{n+2}& S{F}_{n+1}\\ S{F}_{n+1}& S{F}_n\end{array}\right).$$

(7.10)

(iv) 

$$A^n{N}_{SL}=\left(\begin{array}{cc}S{L}_{n+2}& S{L}_{n+1}\\ S{L}_{n+1}& S{L}_n\end{array}\right).$$

(7.11)

8. Conclusions

Fibonacci numbers and the golden ratio associated with these numbers have been the focus of attention among mathematicians for many years. Over the years, new number and polynomial sequences have also been defined and examined their several properties. The most prominent ones are Pell, Pell-Lucas, Jacobsthal, Jacobsthal-Lucas numbers and polynomials. On the other part, the starting point of this study is spinors, which scientists initially abstained from, but recently showed great interest in, and are a tool for explaining complex situations in physics through concepts in mathematics. This work not only introduces generalized Fibonacci polynomial spinors, $\left(r,s\right)-$Fibonacci polynomial spinors, $\left(r,s\right)-$Fibonacci-Lucas polynomial spinors, Fibonacci polynomial spinors and Fibonacci-Lucas polynomial spinors but also gives a wide perspective for sequences of polynomial spinors. While changing r and s, known different sequences of polynomial spinors are found. For instance, taking $r=2x$ and $s=1$ in (3.2), generalized Pell polynomial spinors can be defined and taking $r=1$ and $s=2x$ in (3.2), generalized Jacobsthal polynomial spinors can be described. Thus, as a corollary, generalized Pell spinors and generalized Jacobsthal spinors can be introduced. Aesthetic results of the sequences we worked on in quantum mechanics seem interesting.