Abstract

Spinors can be expressed as Lie algebra of infinitesimal rotations. Spinors are also defined as elements of a vector space which carries a linear representation of the Clifford algebra typically. The motivation for this study is to define a new and particular sequence. An essential feature of this sequence is that while a generalization is being made, spinors, which have a lot of use in physics, are used. This new sequence defined using spinor representations is called the Horadam spinor sequence; formulas such as the Binet formula, generating function formula, and Cassini formula are given. The Horadam spinors given in this study are a generalization of the spinor representations of Horadam quaternion sequences.

1. Introduction

Number sequences are quite remarkable in mathematics. The first number sequence that comes to mind is the number sequences obtained by Leonardo Fibonacci (1170–1250). There are many number sequences similar to Fibonacci number sequence written after the second term as the sum of the two preceding terms but defined by different initial values. Some of them, such as Lucas, Pell, modified Pell, Pell–Lucas, Jacobsthal, and Jacobsthal–Lucas numbers, were defined with different initial values [18]. Fibonacci and Lucas number sequences, which have found themselves in many fields from the past to the present, have been also associated with polynomials and quaternions. The association with polynomials was first given by Belgian mathematician Catalan and German mathematician Jacobsthal in 1883. In [4], the first example of this is the quaternions whose coefficients were formed by the terms of the Fibonacci number sequence. The same author also examined quaternion recurrence relations [5]. Today, many studies have been carried out on the generalizations of number sequences. On the other hand, in the studies [9, 10], besides Fibonacci and Lucas number sequences, there were quaternion sequences formed by taking coefficients from different number sequences. Iyer [11] also studied the relationship between Fibonacci and generalized Fibonacci quaternions. Also, the same author conducted studies on the relationship between Fibonacci and Lucas quaternions in [12]. In [13], Halıcı expressed the Fibonacci and Lucas quaternions. In addition to that, in [14], Polatlı studied on a new generalization of Fibonacci and Lucas quaternions and gave the sum formulas for these new generalized quaternions. Horadam number sequence was defined by Horadam [4]. Then, Haukkanen gave information about linear compositions and generator functions of Horadam sequences in [15]. Moreover, in [16, 17], the new families of Horadam numbers were given. Çimen and İpek introduced a new quaternion sequence, Pell and Pell–Lucas quaternions in [18]. In [19], Flaut and Shpakivskyi studied generalized Fibonacci and Fibonacci–Narayana quaternions. After that, Polatlı and Kesim obtained binomial sum formulas by using Binet formulas in their studies [20]. Halıcı gave the complex Fibonacci quaternions in [21]. Halıcı and Karataş [22] introduced Horadam quaternions, which are a generalization of previously defined quaternion sequences. In the same study, they were interested in the Binet formula, Cassini identity, sum formulas, and norm value of this quaternion sequence. In [23], the Fibonacci generalized quaternions were obtained.

Spinors can be defined, with a simple definition, as vectors of a space whose transformations are related in a particular way to rotations in physical space. Cartan was the first to introduce spinors in geometric meaning [24]. Cartan’s study [24] is a remarkable reference to the geometry of spinors because it gave spinor representations of the most basic geometric expressions. Another important study giving spinor representation of motion geometry was given by Vivarelli [25]. In Vivarelli’s study [25], a relationship between quaternions and spinors was introduced, and by considering the relationship between quaternions and rotations in 3-dimensional Euclidean space, the spinor representations of these 3-dimensional rotations were obtained. In a study of Del Castillo and Barrales, the spinor representation of curve theory was expressed [26]. Also, in this study, the spinor formulations of Frenet frame and curvatures of a curve in 3-dimensional Euclidean space were given [26]. On the other hand, Kişi and Tosun gave the spinor representation of the Darboux frame in 3-dimensional Euclidean space [27]. In addition, in [28], the spinor equations of the Bishop frame of curves in 3-dimensional Euclidean space were expressed. Then, the hyperbolic spinors were introduced and the hyperbolic spinor representation of a given curve in Minkowski space was expressed [29]. Therefore, many studies for hyperbolic spinors were obtained [3032]. In addition to these studies, Erişir and Güngör defined Fibonacci spinors, which are spinor representations of Fibonacci and Lucas quaternion sequences [33]. In addition, spinor expressions of Pell and Pell–Lucas quaternions were given in [34]. Apart from these, Jacobsthal spinors were expressed in [35]. Horadam spinors given in this study are a generalization of the spinor representations of all these quaternion sequences.

2. Preliminaries

In this section, the spinors, the relationship between the real quaternions and spinors, and the Horadam quaternions are introduced.

Now, the spinors given by Cartan [24] are given in geometric meaning. Let any isotropic vector be , and the three-dimensional complex vector space is , where . Therefore, the set of isotropic vectors in the complex vector space forms a two-dimensional surface in the complex space . Let this two-dimensional surface be any surface parameterized by coordinates and , then , , and are obtained. Moreover, equations and are satisfied. Therefore, it is known that every isotropic vector in corresponds to two vectors, and . On the other hand, these vectors correspond to the same isotropic vector . Two-dimensional complex vectors mentioned above are called as spinor by Cartan such thatin spinor space [24].

Let any real quaternion be , where . is called the quaternion basis such thatas given in [36]. and are called scalar and vector parts of the real quaternion , respectively. This real quaternion can be written as [36]. In addition to that, suppose that two any real quaternion . Hence, the quaternion product of these quaternions is as follows:where is the inner product and is the vector product in [36]. It is known that the product of two real quaternions is noncommutative. On the other hand, the quaternion conjugate and the norm of the real quaternion are defined as and

Let the norm of be ; therefore, is defined as unit quaternion [36].

Vivarelli gave a relationship between quaternions and spinors such thatwhere is any real quaternion [25]. Moreover, Vivarelli expressed a spinor representation of the quaternion product such thatwhere the spinor corresponds to the quaternion with the aid of the transformation in equation (5), and the complex, unitary, square matrix can be written as follows:as given in [25]. Moreover, the spinor matrix , namely,was called the left Hamilton spinor matrix or fundamental spinor matrix of the real quaternion [37].

Now, the some equalities about the Horadam quaternions given in [22] can be obtained.

For , the Horadam quaternion is defined aswhere the Horadam number and and . Therefore, the recurrence relation of the Horadam quaternions is as follows:with initial conditionsas given in [22]. Moreover, Binet’s formula for the Horadam quaternions is given as follows:where the quaternions and are and , and and are roots of the characteristic equation , and and [22]. On the other hand, the generating function of the Horadam quaternions is found such thatand the Cassini formula for the Horadam quaternions is obtained as follows:as given in [22]. Consequently, the sum formula of the Horadam quaternions is given by the following equation:whereas given in [22].

3. Main Theorems and Proofs

It is known that there is a spinor for every real quaternion by means of the transformation in equation (5). With the help of this information in this study, a new transformation between Horadam quaternions and spinors is defined and the spinors corresponding to Horadam quaternions are given. Therefore, these spinors associated with Horadam quaternions are called as Horadam spinors. Then, some formulas, such as Binet, Cassini, sum formulas, and generating functions for Horadam spinors and theorems, are given.

Definition 1. Let be Horadam quaternion, where is Horadam number and the set of Horadam quaternions be . Therefore, considering the linear transformation between the spinors and quaternions in equation (5) the following linear transformation:can be defined, where coincide with basis vectors given for Horadam quaternions and . Therefore, a new sequence for the spinors related with Horadam quaternions is introduced, and this sequence is called as “Horadam spinor sequence.” The set of this Horadam spinor sequence is defined as follows:where is Horadam spinor and is Horadam number.

Now, the recurrence relation of Horadam spinor sequence with the following equations can be obtained.

Let the and Horadam spinors be and , respectively. In this case, for the Horadam spinor , the following equation can be written:

It is known that the recurrence relation of the Horadam number sequence is , where and with initial conditions . Therefore, the equationis obtained, and there is the recurrence relation for the Horadam spinors, where considering the transformation in equation (17), the initial condition for is as follows:and the initial condition for is as follows:

Consequently, we can give the following definition.

Definition 2. Assume that and and the , Horadam spinors are and , respectively. Then, the recurrence relation of this Horadam spinor is as follows:with initial conditions

Considering the Horadam spinors, Table 1 can be given.

Proposition 3. Let the Horadam spinor be the spinor corresponding to the Horadam quaternion . In this case, the Horadam spinor representation of the quaternion norm is as follows:

Proof. Assume that Horadam spinor corresponds to the Horadam quaternion . Therefore, considering the transformation in equation (17), the following equation can be obtained as:Consequently, it can be said that the Horadam spinor representation gives the norm of the Horadam quaternions.

It is known that there is a spinor representation of the quaternion product given by equation (6). In this case, with the aid of equations (6) and (8), the following definition can be given.

Definition 4. Assume that is the Horadam spinor corresponding to the Horadam quaternion . Then, the fundamental Horadam spinor matrix is as follows:where . At the same time, the fundamental Horadam spinor matrix corresponds to the left Hamilton spinor matrix of the Horadam quaternion.

Now, Binet’s formula for the Horadam spinors can be given with the following theorem.

Theorem 5. Let the Horadam spinor be . In this case, Binet’s formula for the Horadam spinors is given by the following expression:where , , , , , and .

Proof. Suppose the Horadam spinor be . It is known that for the Horadam number, Binet’s formula is where , , , and . Therefore, for the Horadam spinor, the following expression can be given:Consequently, if the necessary arrangements can be made, it can obtain the following equation:orwhere and are the spinors corresponding to the quaternions and , respectively.

Especially, for Fibonacci spinors as , we can calculate and , where and . Therefore, the Binet formula in equation (28) for Horadam spinors corresponds to the Binet formula for Fibonacci spinors in [33]. Moreover, for Lucas spinors as , we can calculate and and this Binet formula pairs with in [33]. Similarly, for Pell spinors as , the equalities and and the Binet formula for Pell spinors are obtained in [34]; for Pell–Lucas spinors as , the equalities and and the Binet formula for Pell–Lucas spinors are obtained in [34]; for Jacobsthal spinors as , the equalities and and the Binet formula for Jacobsthal spinors are obtained in [35]; and finally, for Jacobsthal–Lucas spinors as , the equalities and and the Binet formula for Jacobsthal–Lucas spinors are obtained in [35].

Theorem 6. The generating function for the Horadam spinor is obtained by the following expression:where

Proof. Assume that is the Horadam spinor and the generating function of the Horadam spinors is . Therefore, if the generating function formula is used, it can obtain the generating formula for the Horadam spinors as follows. First, the functions and are calculated. Therefore, the following equation is found:with the aid of the recurrence relation of Horadam spinor sequence in equation (23). Consequently, for the Horadam spinors, the generating function is obtained as follows:In addition to Theorem 6, if the Horadam spinors are calculated, the following corollary can be given as a result of Theorem 6.

Corollary 7. The generating function for Horadam spinor can be written as

Theorem 8. Assume that and the Horadam spinor is . In this case, the generating function for Horadam spinor is given by the following expression:

Proof. Let be the Horadam spinor. It is known that with the aid of equation (28), Binet’s formula for the Horadam spinor is as follows:Therefore, if the generating function formula is used for the Horadam spinor , the following equation:is calculated. Now, assume that and . In this case, one can see that and . Then, the following equation can be obtained:If the necessary arrangements in the last equation are made consequently, the following equation is obtained:or

Now, the Cassini formula for the Horadam spinors is given. For this, it is useful to remember one subject first. That is to say that the product of two real quaternions is represented by the spinor product , where is the fundamental spinor matrix of the real quaternion and is the spinor corresponding to the real quaternion with the aid of the transformation according to equations (7) and (8). Therefore, for the product of the Horadam quaternions , the Horadam spinor product should be written (where can be also chosen). In this case, should be calculated. Therefore, the Cassini formula for the Horadam spinors can be given.

Theorem 9. Let the Horadam spinor be . In this case, the spinor representation of the Cassini formula for Horadam spinors is as follows:where , and .

Proof. Let the , , and Horadam spinors be , , and , respectively. In this case, it can be written as the product of these Horadam spinors corresponding to the product of Horadam quaternions . Hence, with the aid of Binet’s formula in equation (28), the fundamental Horadam spinor matricesare obtained with the aid of equation (27), whereIf the long algebraic calculations are made in the products of the Horadam spinors, can be obtained as follows:and consequently,where , , , and .

Theorem 10. Assume that the Horadam spinor is . Therefore, the sum formula of the Horadam spinors is as follows:

Proof. Let be the Horadam spinor. Hence, with the aid of Binet’s formula, the sum formula of the Horadam spinors can be written as follows:It is known as the geometric sequences and . In this case, the following equation is obtained:Consequently, if some necessary arrangements in the last equation are made, it is obtained as follows:The proof is completed.

4. Conclusion

The concept of spinors, which is frequently encountered in physics, is defined as the elements of a minimal left ideal of Clifford algebra. This left ideal is called spinor space. Inner products can be defined on minimal left ideals by also making use of minimal right ideal representations. Clifford algebras can be constructed over any number field. Among these, the complex number field is important. The aim of this study is to connect the spinor structure, which is frequently used in physics and algebra, with quaternions used in geometry and algebra. In this context, the counterparts of quaternions in spinor space have an important place. Therefore, in this study, the counterparts of Horadam quaternions, which are a generalization of quaternion sequences, in spinor space are investigated. With this matching, the importance of this study is that Horadam spinors given in this study are a generalization of the spinor representations of all these quaternion sequences.

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that there are no conflicts of interest.