Volume 2021, Issue 1 9987314
Research Article
Open Access

Catalan Transform of k-Balancing Sequences

Asim Patra

Asim Patra

Department of Mathematics, National Institute of Technology, Rourkela, Odisha, India int.gov.br

Search for more papers by this author
Mohammed K. A. Kaabar

Corresponding Author

Mohammed K. A. Kaabar

Gofa Camp, Near Gofa Industrial College and German Adebabay, Nifas Silk-Lafto, Addis Ababa 26649, Ethiopia unrwa.org

Institute of Mathematical Sciences, Faculty of Science, University of Malaya, Kuala Lumpur 50603, Malaysia um.edu.my

Search for more papers by this author
First published: 22 December 2021
Citations: 1
Academic Editor: Sergejs Solovjovs

Abstract

In this work, the Catalan transformation (CT) of k-balancing sequences, , is introduced. Furthermore, the obtained Catalan transformation was shown as the product of lower triangular matrices called Catalan matrices and the matrix of k-balancing sequences, , which is an n × 1 matrix. Apart from that, the Hankel transform is applied further to calculate the determinant of the matrices formed from .

1. Introduction

A balancing number n is a positive integer that satisfies the Diophantine equation as follows:
(1)
for some positive integer r, called the balancer corresponding to n [1]. The n-th balancing number is denoted by Bn. For each n, is a perfect square, and its positive square root is called a Lucas-balancing number [2]. The balancing numbers are solutions of Pell’s equation y2 − 8x2 = 1, and its Binet formula is given by
(2)
where and . Furthermore, the balancing numbers Bn satisfy the recurrence relation as follows:
(3)
with initial terms B0 = 0 and B1 = 1 [210].

There are several transformations that operate on various integer sequences. Some of them are Binomial Transform [11], Discrete Cosine Transform (DCT) [12], Laguerre Transform [13], Lah Transform [14], Discrete Wavelet Transform (DWT) [15], Discrete Fourier Transform (DFT), and Catalan Transform [16]. In the real life processes, these transformations are basically utilized in various Steganographic schemes and techniques [1214]. In addition, there are numerous other usages of the above displayed transforms but despite that certain shortcomings of some of the transform techniques are still observed. For instance, the coefficients of the DCT are real-valued which makes the calculation very much time-consuming. Furthermore, the coefficients of DFT are, in general, complex numbers which generate complex value as output. In addition, the computational complexity of DFT is O(n2) which also suggests that the transform is cumbersome and time-consuming. To overcome the shortcomings discussed regarding the different transformations, the Catalan transformation, introduced by Paul Barry [16] in 2005, proves to be a superior alternative. The reason behind CT being an appropriate substitute is due to the fact that unlike the earlier mentioned transformations, the overall calculation of Catalan transform is integer-based and not based on floating-point values which makes it very faster and reliable method of transformation. Furthermore, the computational complexity of Catalan transform is O(n  log(n)) which also indicates a substantial improvement as we go from O(n2) of DFT. Apart from the real life phenomena, the beneficial property of the Catalan transform makes it quite suitable to be applied for the derivation of important results relating to the properties of several integer sequences [1719]. Several classical core sequences, like the Fibonacci sequence {Fn} [20], Pell sequence {Pn} [21], and Jacobsthal sequence {Jn} [17], can be paired by means of this transformation.

There are some research studies where the Catalan transform has been applied to the k-Fibonacci sequences [22]. Furthermore, the Catalan transform was applied to the k-Jacobsthal sequence in [23]. In [24], the Catalan transformation was applied to the k-Lucas sequence. In addition, a new sequence realizing the known Lucas numbers has been discussed by Özkan et al. [25]. In application point of view, Mukhopadhyay et al. [26] dealt with the secured image steganography via CT. In addition, the Lah transform has been applied for security data in the field of telecommunication in [14]. The past literature depicts the Catalan transform of various sequences but it was observed that the balancing sequence was never been tackled via the Catalan transform which illustrates the novelty of the present work. Hence, in the present work, deriving motivation from the literature survey, we employed the Catalan transformation in case of the k-balancing sequence , discussed in the later section, and inspected the properties of the sequences. Then, we apply the Hankel transform to the Catalan transform of {Bk,n}.

The paper has been arranged in the following manner: first the preliminaries related to the k-balancing sequence, Catalan numbers, Hankel transform, and Catalan transform are presented in Section 2. Furthermore, Section 3 is devoted towards the evaluation of Catalan transformation of the k-balancing sequence. Apart from that, the generating function is calculated for the CT of k-balancing sequence in Section 4. The next section deals with the Hankel transform of CT of k-balancing numbers. The concluding remarks are mentioned in the final section.

2. Preliminaries

2.1. k-Balancing Numbers

The k-balancing numbers, denoted by , for any positive number k, are defined by the recursive relation as follows [27]:
(4)
with the initial values Bk,0 = 0 and Bk,1 = 1. Furthermore, the Binet formula for k-balancing numbers is given by
(5)
where and . Hence, the first few k-balancing numbers are given by Bk,0 = 0, Bk,1 = 1, Bk,2 = 6k, Bk,3 = 36k2 − 1, Bk,4 = 216k3 − 12k, Bk,5 = 1296k4 − 108k2 + 1, and so on. The k-balancing numbers are tabulated in Table 1.
Table 1. Some k-balancing numbers.
n Bk,n
0 0
1 1
2 6k
3 36k2 − 1
4 216k3 − 12k
5 1296k4 − 108k2 + 1
6 7776k5 − 864k3 + 18k

2.2. Catalan Numbers

The Catalan numbers [28], termed after the French-Belgian mathematician named Eugne Charles Catalan, are defined as a sequence of natural numbers that are encountered in several counting problems and specifically occur where the items are defined recursively. They are denoted by Cn and are further defined by [16], in terms of binomial coefficients, as
(6)
Furthermore, by virtue of [29], we have the recurrence relation of the Catalan numbers Cn as
(7)
with C0 = 1, and its ordinary generating function is given by [29]
(8)
(9)
Furthermore, for some n, the first few Catalan numbers [28] are given by (sequence A000108 in [30]):
(10)

2.3. The Hankel Transform

By definition, the Hankel matrix of a sequence of real numbers {g0, g1, g2, …} is given by the infinite matrix as follows [31]:
(11)
Furthermore, the Hankel transform [29] of a sequence of real numbers {g0, g1, …} is defined as the sequence of determinants as follows:
(12)
where ℋn(g) is the Hankel matrix given by . Alternatively, it can be said that the Hankel transform produces the sequence of determinants of the Hankel matrices formed from the known or given sequence. Furthermore, the Hankel transform of the Catalan sequence is given by the sequence {1,1,1, …} as given in [30]. In addition, the Hankel transform of the sum of consecutive generalized Catalan numbers is the bisection of the classical Fibonacci sequence [32].

Lemma 1. The Hankel transform of a sequence is invariant under the binomial transform of that sequence. In other words, if we write the binomial transform of a given sequence xn as

(13)
then
(14)

Proof. The proof of the lemma can be referred from [31].

2.4. The Catalan Transformation

Definition 1. The Catalan transformation, as introduced in [16], is a sequence transform which is defined as follows.

Let us consider to be a sequence with generating function as follows:

(15)

Then, the Catalan transformation of {dn} is defined to be the sequence whose ordinary generating function (o.g.f.) is given by G(xc(x)), where c(x) is the series as defined in (8) [16]. The Catalan transformation is also linked to various known transforms, particularly the binomial transformation.

Lemma 2. The Catalan transformation bn of a given sequence an is given by

(16)

Proof. The proof of the lemma can be referred from [16].

3. Catalan Transformation of the k-Balancing Sequence

By virtue of Lemma 2, we define the Catalan transformation of the k-balancing sequence, , as
(17)
with CBk,0 = 0. Hence, it can be observed that the members of Catalan transform of the first k-balancing numbers are the polynomials in k given by
(18)
Furthermore, we can write the above equations as the product of a lower triangular matrix say and a n × 1 matrix Bk which is depicted as
(19)
The elements of matrix satisfy the recursive relation given by
(20)
Furthermore, the first and second column of are equal for a > 1, denoting the Catalan numbers. In addition to it, the lower triangular matrix denoted by is known as the Catalan triangle and its entries satisfy the relation as follows [22]:
(21)

Hence, the Catalan triangle is obtained via the coefficients of the Catalan transform of the k-balancing sequence and is given by the figure in Table 2.

Table 2. Catalan triangle of the k-balancing sequence.
CB1 1
CB2 6 1
CB3 36 12 1
CB4 216 108 18 2
CB5 1296 864 216 36 6
CB6 7776 6480 2160 468 102 19
In addition, we obtain the first few terms of the series of Catalan transform of the k-balancing sequence as follows:
(22)

4. Generating Function of the Catalan Transform of k-Balancing Sequence

The generating functions (g.f.s), initially introduced by Abraham de Moivre, are a step to encode an infinite sequence of numbers via treating them as the coefficients of a power series. In other words, the problems about sequences can be transformed into problems about functions by means of the generating functions. Now, in this case, we find the generating function of the Catalan transformation of the k-balancing sequence and denote it by CBk(x). By virtue of (8), we have the generating function of the Catalan numbers as c(x). Furthermore, by virtue of [16], it can be clearly observed that Z(c(x)) is the generating function of the Catalan transform of any sequence {zn}. Hence, by means of the g.f. of the k-balancing sequence in [27], we have
(23)

5. Hankel Transform of Catalan Transform of k-Balancing Numbers

In the present section, we find the Hankel transform of the Catalan transform of k-balancing numbers in the form of determinants of Hankel matrices. By considering the Catalan transform of the k-balancing sequence of the preceding section, we obtain the following:
(24)

6. Conclusion

In the present study, the Catalan transformation is applied to the k-balancing sequence and some identities are obtained. The identities were further represented in matrix form, and the terms of the CT of k-balancing sequence are displayed. Apart from that, the Catalan triangle is obtained by means of the coefficients of the Catalan transform of the k-balancing sequence. In addition, the generating function of CT of the sequence is manifested. Finally, the Hankel transform is utilized to the Catalan transformation of the known k-balancing sequence.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

Asim Patra actualized the study, prepared the initial draft, developed methodology, validated the study, and edited the manuscript. Mohammed K. A. Kaabar actualized the study, validated the study, was responsible for resources, supervised the original draft, and edited the manuscript. All authors have taken equal part in this research, and they have read and approved the final manuscript.

Data Availability

No data were used to support this study.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.