Two Generalizations of Dual-Hyperbolic Balancing Numbers

Abstract

In this paper, we study two generalizations of dual-hyperbolic balancing numbers: dual-hyperbolic Horadam numbers and dual-hyperbolic k-balancing numbers. We give Catalan’s identity, Cassini’s identity, and d’Ocagne’s identity for them.

1. Introduction

Let $p,q,n$ be integers. For $n\ge 0$, Horadam (see [1]) defined the numbers $W_n=W_n(W_0,W_1;p,q)$ by the recursive equation:

$$W_n=p·W_{n-1}-q·W_{n-2},$$

(1)

for $n\ge 2$ with arbitrary initial values $W_0,$ $W_1.$

The Binet-type formula for the Horadam numbers has the form:

$$W_n=A{t}_1^n+B{t}_2^n,$$

where:

$$\begin{array}{cc}\hfill {\displaystyle A=\frac{W_1-W_0{t}_2}{t_1-t_2},}& {\displaystyle B=\frac{W_0{t}_1-W_1}{t_1-t_2},}\hfill \\ \hfill t_1=\frac{p-\sqrt{p^2-4q}}{2},& t_2=\frac{p+\sqrt{p^2-4q}}{2}\hfill \end{array}$$

(2)

and $p^2-4q\ne 0.$ Usually, we assume that $t_1$, $t_2$ are two (different) real numbers, though this need not be so; see [1].

For special values of $W_0,W_1,p,q$, Equation (1) defines special sequences of the Fibonacci type: the Fibonacci numbers $F_n=W_n(0,1;1,-1)$, the Lucas numbers $L_n=W_n(2,1;1,-1)$, the Pell numbers $P_n=W_n(0,1;2,-1)$, the Pell–Lucas numbers $Q_n=W_n(2,2;2,-1)$, the Jacobsthal numbers $J_n=W_n(0,1;1,-2)$, the Jacobsthal–Lucas numbers $j_n=W_n(2,1;1,-2)$, the balancing numbers $B_n=W_n(0,1;6,1)$, the Lucas-balancing numbers $C_n=W_n(1,3;6,1)$, etc.

In this paper, we focus on the balancing numbers, the Lucas-balancing numbers, and some modifications and generalizations of these numbers.

The sequence of balancing numbers, denoted by $\left\{B_n\right\}$, was introduced by Behera and Panda in [2]. In [3], Panda introduced the sequence of Lucas-balancing numbers, denoted by $\left\{C_n\right\}$ and defined as follows: if $B_n$ is a balancing number, the number $C_n$ for which ${\left(C_n\right)}^2=8B_n^2+1$ is called a Lucas-balancing number. Recall that a balancing number n with balancer r is the solution of the Diophantine equation:

$$1+2+\cdots +(n-1)=(n+1)+(n+2)+\cdots +(n+r).$$

(3)

Cobalancing numbers were defined and introduced in [4] by a modification of Formula (3). The authors called positive integer number n a cobalancing number with cobalancer r if:

$$1+2+\cdots +n=(n+1)+(n+2)+\cdots +(n+r).$$

Let $b_n$ denote the nth cobalancing number. The nth Lucas-cobalancing number $c_n$ is defined with ${\left(c_n\right)}^2=8b_n^2+8b_n+1$; see [5,6].

The balancing, Lucas-balancing, cobalancing, and Lucas-cobalancing numbers fulfill the following recurrence relations:

$$\begin{array}{cc}\hfill B_n& =6B_{n-1}-B_{n-2}\mathrm{for}n\ge 2,\mathrm{with}{B}_0=0,B_1=1,\hfill \\ \hfill C_n& =6C_{n-1}-C_{n-2}\mathrm{for}n\ge 2,\mathrm{with}{C}_0=1,C_1=3,\hfill \\ \hfill b_n& =6b_{n-1}-b_{n-2}+2\mathrm{for}n\ge 2,\mathrm{with}{b}_0=0,b_1=0,\hfill \\ \hfill c_n& =6c_{n-1}-c_{n-2}\mathrm{for}n\ge 2,\mathrm{with}{c}_0=-1,c_1=1.\hfill \end{array}$$

(4)

Note that cobalancing and Lucas-cobalancing numbers were originally defined for $n\ge 1$. Defining $b_0=0$ and $c_0=-1$, which we get by back calculation in recurrences (4), we obtain the same, correctly defined sequences.

The

Table 1. The values of balancing, Lucas-balancing, cobalancing and Lucas-cobalancing numbers.

n	0	1	2	3	4	5	6	7
$B_n$	0	1	6	35	204	1189	6930	40,391
$C_n$	1	3	17	99	577	3363	19,601	114,243
$b_n$	0	0	2	14	84	492	2870	16,730
$c_n$	−1	1	7	41	239	1393	8119	47,321

includes initial terms of the balancing, Lucas-balancing, cobalancing and Lucas-cobalancing numbers for $0\le n\le 7$.

The Binet-type formulas for the above-mentioned sequences have the following forms:

$$\begin{array}{cc}\hfill B_n& =\frac{{\alpha }^n-{\beta }^n}{\alpha -\beta },\hfill \\ \hfill C_n& =\frac{{\alpha }^n+{\beta }^n}{2},\hfill \\ \hfill b_n& =\frac{{\alpha }^{n-\frac{1}{2}}-{\beta }^{n-\frac{1}{2}}}{\alpha -\beta }-\frac{1}{2},\hfill \\ \hfill c_n& =\frac{{\alpha }^{n-\frac{1}{2}}+{\beta }^{n-\frac{1}{2}}}{\alpha -\beta },\hfill \end{array}$$

(5)

for $n\ge 0$, where $\alpha =3+2\sqrt{2}$, $\beta =3-2\sqrt{2},$ ${\alpha }^{\frac{1}{2}}=1+\sqrt{2}$, ${\beta }^{\frac{1}{2}}=1-\sqrt{2}.$

Based on the concept from [7], Özkoç generalized the balancing numbers to k-balancing numbers; see [5].

Let $B_n^k$ denote the nth k-balancing number, $C_n^k$ denote the nth k-Lucas balancing number, $b_n^k$ denote the nth k-cobalancing number, and $c_n^k$ denote the nth k-Lucas cobalancing number, which are the numbers defined by:

$$\begin{array}{cc}\hfill B_n^k& =6k{B}_{n-1}^k-B_{n-2}^k\mathrm{for}n\ge 2,\mathrm{with}{B}_0^k=0,B_1^k=1,\hfill \\ \hfill C_n^k& =6k{C}_{n-1}^k-C_{n-2}^k\mathrm{for}n\ge 2,\mathrm{with}{C}_0^k=1,C_1^k=3,\hfill \\ \hfill b_n^k& =6k{b}_{n-1}^k-b_{n-2}^k+2\mathrm{for}n\ge 2,\mathrm{with}{b}_0^k=0,b_1^k=0,\hfill \\ \hfill c_n^k& =6k{c}_{n-1}^k-c_{n-2}^k\mathrm{for}n\ge 2,\mathrm{with}{c}_0^k=6k-7,c_1^k=1\hfill \end{array}$$

for some positive integer $k\ge 1$. Similarly to the previous considerations, we define additionally $b_0^k=0$ and $c_0^k=6k-7$. For $k=1$, we obtain classical balancing numbers, Lucas-balancing numbers, etc.

Theorem 1. 

([5]) (Binet-type formulas) Let $n\ge 0$, $k\ge 1$ be integers. Then:

$$B_n^k=\frac{{\alpha }_k^n-{\beta }_k^n}{2\sqrt{9k^2-1}}=\frac{{\alpha }_k^n-{\beta }_k^n}{{\alpha }_k-{\beta }_k}$$

(6)

and:

$$\begin{array}{cc}\hfill C_n^k& =\frac{(3-{\beta }_k){\alpha }_k^n-(3-{\alpha }_k){\beta }_k^n}{2\sqrt{9k^2-1}},\hfill \\ \hfill b_n^k& =\frac{({\alpha }_k+1){\alpha }_k^{n-1}+({\beta }_k+1){\beta }_k^{n-1}-6k-2}{2(9k^2-1)},\hfill \\ \hfill c_n^k& =\frac{(7{\alpha }_k-1){\alpha }_k^{n-2}-(7{\beta }_k-1){\beta }_k^{n-2}}{2\sqrt{9k^2-1}},\hfill \end{array}$$

where ${\alpha }_k=3k+\sqrt{9k^2-1}$, ${\beta }_k=3k-\sqrt{9k^2-1}$.

Another generalization of the Lucas-balancing numbers was presented in [8]. For integer $k\ge 1$, the sequence of k-Lucas-balancing numbers (written with two hyphens) is defined recursively by:

$$C_{k,n}=6k{C}_{k,n-1}-C_{k,n-2}\mathrm{for}n\ge 2,\mathrm{with}{C}_{k,0}=1,C_{k,1}=3k.$$

Theorem 2. 

([9]) The Binet-type formula for k-Lucas-balancing numbers is:

$$C_{k,n}=\frac{{\alpha }_k^n+{\beta }_k^n}{2}$$

for $n\ge 0$, $k\ge 1$, where ${\alpha }_k=3k+\sqrt{9k^2-1}$, ${\beta }_k=3k-\sqrt{9k^2-1}$.

For $k=1$, we have $C_{1,n}=C_n$. Moreover, ${\left(C_{k,n}\right)}^2=(9k^2-1){\left(B_n^k\right)}^2+1$; see [9].

Hyperbolic imaginary unit j was introduced by Cockle (see [10,11,12,13]). The set of hyperbolic numbers is defined as:

$$\mathbb{H}=\{a+bj:a,b\in \mathbb{R},j^2=1,j\ne \pm 1\}.$$

Dual numbers were introduced by Clifford (see [14]). The set of dual numbers is defined as:

$$\mathbb{D}=\{a+c\epsilon :a,c\in \mathbb{R},{\epsilon }^2=0,\epsilon \ne 0\}.$$

Let $\mathbb{DH}$ be the set of dual-hyperbolic numbers w of the form:

$$w=a+bj+c\epsilon +dj\epsilon ,$$

where $a,b,c,d\in \mathbb{R}$ and:

$$\begin{array}{cc}\hfill & j^2=1,j\ne \pm 1,{\epsilon }^2=0,\epsilon \ne 0,j\epsilon =\epsilon j,\hfill \\ \hfill & {\left(j\epsilon \right)}^2=0,\epsilon \left(j\epsilon \right)=\left(j\epsilon \right)\epsilon =0,j\left(j\epsilon \right)=\left(j\epsilon \right)j=\epsilon .\hfill \end{array}$$

(7)

If $w_1=a_1+b_{1}j+c_1\epsilon +d_{1}j\epsilon$ and $w_2=a_2+b_{2}j+c_2\epsilon +d_{2}j\epsilon$ are any two dual-hyperbolic numbers, then the equality, the addition, the subtraction, the multiplication by the scalar, and the multiplication are defined in the natural way:

• equality: $w_1=w_2$ only if $a_1=a_2,$ $b_1=b_2,$ $c_1=c_2,$ $d_1=d_2,$
• addition: $w_1+w_2=(a_1+a_2)+(b_1+b_2)j+(c_1+c_2)\epsilon +(d_1+d_2)j\epsilon ,$
• subtraction: $w_1-w_2=(a_1-a_2)+(b_1-b_2)j+(c_1-c_2)\epsilon +(d_1-d_2)j\epsilon ,$
• multiplication by scalar $s\in \mathbb{R}$: $s{w}_1=s{a}_1+s{b}_{1}j+s{c}_1\epsilon +s{d}_{1}j\epsilon ,$
• multiplication: $w_1·w_2=a_1{a}_2+b_1{b}_2+(a_1{b}_2+a_2{b}_1)j+(a_1{c}_2+a_2{c}_1+b_1{d}_2+b_2{d}_1)\epsilon +(a_1{d}_2+a_2{d}_1+b_1{c}_2+b_2{c}_1)j\epsilon .$

The dual-hyperbolic numbers form a commutative ring, a real vector space, and an algebra, but every dual-hyperbolic number does not have an inverse, so $\left(\mathbb{DH},+,·\right)$ is not the field. For more information on the dual-hyperbolic numbers, see [15].

Since the inception of hypercomplex number theory, the authors studied mainly quaternions, octonions, and sedenions with coefficients being words of special integer sequences belonging to the family of Fibonacci sequences, named also as the Fibonacci-type sequences; see for their list [16]. During the development of the theory of hypercomplex numbers, other types of hypercomplex numbers were introduced and studied with the additional restriction that their coefficients are taken from special integer sequences. It suffices to mention papers that have appeared recently. Cihan et al. [17] introduced dual-hyperbolic Fibonacci and Lucas numbers. The dual-hyperbolic Pell numbers (quaternions) were introduced quite recently by Aydın in [18]. In [19], the authors investigated dual-hyperbolic Jacobsthal and Jacobsthal–Lucas numbers. Moreover, to describe their properties we need to have a wide knowledge of the sequences of the Fibonacci type, and we need to base this on some fundamental papers, for example [20,21], as well as that which is absolutely new [22]. Based on these ideas, we define and study dual-hyperbolic balancing numbers and some of their generalizations.

2. Main Results

Let $n\ge 0$ be an integer. The nth dual-hyperbolic balancing number $\mathbb{DH}{B}_n$ is defined as:

$$\mathbb{DH}{B}_n=B_n+B_{n+1}j+B_{n+2}\epsilon +B_{n+3}j\epsilon ,$$

where $B_n$ is the nth balancing number and $\epsilon$, j, $j\epsilon$ are dual-hyperbolic units, which satisfy (7).

Based on the relations (4), we define the nth dual-hyperbolic Lucas-balancing number $\mathbb{DH}{C}_n$, the nth dual-hyperbolic cobalancing number $\mathbb{DH}{b}_n$, and the nth dual-hyperbolic Lucas-cobalancing number $\mathbb{DH}{c}_n$ as:

$$\begin{array}{cc}\hfill \mathbb{DH}{C}_n& =C_n+C_{n+1}j+C_{n+2}\epsilon +C_{n+3}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{b}_n& =b_n+b_{n+1}j+b_{n+2}\epsilon +b_{n+3}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{c}_n& =c_n+c_{n+1}j+c_{n+2}\epsilon +c_{n+3}j\epsilon ,\hfill \end{array}$$

respectively.

In a similar way, we define the nth dual-hyperbolic k-balancing number $\mathbb{DH}{B}_n^k$, the nth dual-hyperbolic k-Lucas balancing number $\mathbb{DH}{C}_n^k$, the nth dual-hyperbolic k-cobalancing number $\mathbb{DH}{b}_n^k$, the nth dual-hyperbolic k-Lucas balancing number $\mathbb{DH}{c}_n^k$, and the nth dual-hyperbolic k-Lucas-balancing number $\mathbb{DH}{C}_{k,n}$ as:

$$\begin{array}{cc}\hfill \mathbb{DH}{B}_n^k& =B_n^k+B_{n+1}^{k}j+B_{n+2}^k\epsilon +B_{n+3}^{k}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{C}_n^k& =C_n^k+C_{n+1}^{k}j+C_{n+2}^k\epsilon +C_{n+3}^{k}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{b}_n^k& =b_n^k+b_{n+1}^{k}j+b_{n+2}^k\epsilon +b_{n+3}^{k}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{c}_n^k& =c_n^k+c_{n+1}^{k}j+c_{n+2}^k\epsilon +c_{n+3}^{k}j\epsilon ,\hfill \\ \hfill \mathbb{DH}{C}_{k,n}& =C_{k,n}+C_{k,n+1}j+C_{k,n+2}\epsilon +C_{k,n+3}j\epsilon ,\hfill \end{array}$$

respectively.

For $k=1$, we have $\mathbb{DH}{B}_n^1=\mathbb{DH}{B}_n$, $\mathbb{DH}{C}_n^1=\mathbb{DH}{C}_{1,n}=\mathbb{DH}{C}_n$, $\mathbb{DH}{b}_n^1=\mathbb{DH}{b}_n$, and $\mathbb{DH}{c}_n^1=\mathbb{DH}{c}_n$.

Theorem 3. 

(Binet-type formulas) Let $n\ge 0$, $k\ge 1$ be integers. Then:

$$\begin{array}{cc}\hfill \left(\mathrm{i}\right)& \mathbb{DH}{B}_n^k=\frac{{\alpha }_k^n\widehat{{\alpha }_k}-{\beta }_k^n\widehat{{\beta }_k}}{2\sqrt{9k^2-1}},\hfill \\ \hfill \left(\mathrm{ii}\right)& \mathbb{DH}{C}_n^k=\frac{(3-{\beta }_k){\alpha }_k^n\widehat{{\alpha }_k}-(3-{\alpha }_k){\beta }_k^n\widehat{{\beta }_k}}{2\sqrt{9k^2-1}},\hfill \\ \hfill \left(\mathrm{iii}\right)& \mathbb{DH}{b}_n^k=\frac{({\alpha }_k+1){\alpha }_k^{n-1}\widehat{{\alpha }_k}+({\beta }_k+1){\beta }_k^{n-1}\widehat{{\beta }_k}-(6k+2)(1+j+\epsilon +j\epsilon )}{2(9k^2-1)},\hfill \\ \hfill \left(\mathrm{iv}\right)& \mathbb{DH}{c}_n^k=\frac{(7{\alpha }_k-1){\alpha }_k^{n-2}\widehat{{\alpha }_k}-(7{\beta }_k-1){\beta }_k^{n-2}\widehat{{\beta }_k}}{2\sqrt{9k^2-1}},\hfill \\ \hfill \left(\mathrm{v}\right)& \mathbb{DH}{C}_{k,n}=\frac{{\alpha }_k^n\widehat{{\alpha }_k}+{\beta }_k^n\widehat{{\beta }_k}}{2},\hfill \end{array}$$

where:

$${\alpha }_k=3k+\sqrt{9k^2-1},{\beta }_k=3k-\sqrt{9k^2-1}$$

(8)

and:

$$\widehat{{\alpha }_k}=1+{\alpha }_{k}j+{\alpha }_k^2\epsilon +{\alpha }_k^{3}j\epsilon ,\widehat{{\beta }_k}=1+{\beta }_{k}j+{\beta }_k^2\epsilon +{\beta }_k^{3}j\epsilon .$$

(9)

Proof. 

By Formula (6), we get:

$$\begin{array}{cc}\hfill \mathbb{DH}{B}_n^k& =B_n^k+B_{n+1}^{k}j+B_{n+2}^k\epsilon +B_{n+3}^{k}j\epsilon \hfill \\ \hfill & =\frac{{\alpha }_k^n-{\beta }_k^n}{2\sqrt{9k^2-1}}+\frac{{\alpha }_k^{n+1}-{\beta }_k^{n+1}}{2\sqrt{9k^2-1}}j+\frac{{\alpha }_k^{n+2}-{\beta }_k^{n+2}}{2\sqrt{9k^2-1}}\epsilon +\frac{{\alpha }_k^{n+3}-{\beta }_k^{n+3}}{2\sqrt{9k^2-1}}j\epsilon \hfill \\ \hfill & =\frac{{\alpha }_k^n}{2\sqrt{9k^2-1}}\left(1+{\alpha }_{k}j+{\alpha }_k^2\epsilon +{\alpha }_k^{3}j\epsilon \right)\hfill \\ \hfill & -\frac{{\beta }_k^n}{2\sqrt{9k^2-1}}\left(1+{\beta }_{k}j+{\beta }_k^2\epsilon +{\beta }_k^{3}j\epsilon \right)\hfill \\ \hfill & =\frac{{\alpha }_k^n}{2\sqrt{9k^2-1}}\widehat{{\alpha }_k}-\frac{{\beta }_k^n}{2\sqrt{9k^2-1}}\widehat{{\beta }_k},\hfill \end{array}$$

and we obtain (i). By the same method, we can prove Formulas (ii)–(v). ☐

For $k=1$, we obtain the Binet-type formulas for the dual-hyperbolic balancing numbers, dual-hyperbolic Lucas-balancing numbers, etc.

Corollary 1. 

Let $n\ge 0$ be an integer. Then:

$$\begin{array}{cc}\hfill \mathbb{DH}{B}_n& =\frac{{\alpha }^n\widehat{\alpha }-{\beta }^n\widehat{\beta }}{2\sqrt{8}},\hfill \\ \hfill \mathbb{DH}{C}_n& =\frac{{\alpha }^n\widehat{\alpha }+{\beta }^n\widehat{\beta }}{2},\hfill \\ \hfill \mathbb{DH}{b}_n& =\frac{(\alpha +1){\alpha }^{n-1}\widehat{\alpha }+(\beta +1){\beta }^{n-1}\widehat{\beta }-8(1+j+\epsilon +j\epsilon )}{16},\hfill \\ \hfill \mathbb{DH}{c}_n& =\frac{(7\alpha -1){\alpha }^{n-2}\widehat{\alpha }-(7\beta -1){\beta }^{n-2}\widehat{\beta }}{2\sqrt{8}},\hfill \end{array}$$

where:

$$\begin{array}{cc}\hfill & \alpha =3+2\sqrt{2},\beta =3-2\sqrt{2},\hfill \\ \hfill & \widehat{\alpha }=1+(3+\sqrt{8})j+(17+6\sqrt{8})\epsilon +(99+35\sqrt{8})j\epsilon ,\hfill \\ \hfill & \widehat{\beta }=1+(3-\sqrt{8})j+(17-6\sqrt{8})\epsilon +(99-35\sqrt{8})j\epsilon .\hfill \end{array}$$

(10)

Now, we will give some identities such as the Catalan-type identity, the Cassini-type identity, and the d’Ocagne-type identity for the dual-hyperbolic k-balancing numbers. These identities can be proven using the Binet-type formula for these numbers.

Theorem 4. 

(Catalan-type identity for dual-hyperbolic k-balancing numbers) Let $k\ge 1,$ $n\ge 0$, $r\ge 0$ be integers such that $n\ge r.$ Then:

$$\mathbb{DH}{B}_{n-r}^k·\mathbb{DH}{B}_{n+r}^k-{\left(\mathbb{DH}{B}_n^k\right)}^2=\frac{2-{\left(\frac{{\beta }_k}{{\alpha }_k}\right)}^r-{\left(\frac{{\alpha }_k}{{\beta }_k}\right)}^r}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k},$$

where ${\alpha }_k$, ${\beta }_k$ and $\widehat{{\alpha }_k}$, $\widehat{{\beta }_k}$ are given by (8) and (9), respectively.

Proof. 

By Formula (i) of Theorem 3, we have:

$$\begin{array}{cc}\hfill & \mathbb{DH}{B}_{n-r}^k·\mathbb{DH}{B}_{n+r}^k-{\left(\mathbb{DH}{B}_n^k\right)}^2\hfill \\ \hfill & =\left(\frac{{\alpha }_k^{n-r}\widehat{{\alpha }_k}-{\beta }_k^{n-r}\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)·\left(\frac{{\alpha }_k^{n+r}\widehat{{\alpha }_k}-{\beta }_k^{n+r}\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)-{\left(\frac{{\alpha }_k^n\widehat{{\alpha }_k}-{\beta }_k^n\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)}^2\hfill \\ \hfill & =\frac{-{\alpha }_k^{n-r}{\beta }_k^{n+r}\widehat{{\alpha }_k}\widehat{{\beta }_k}-{\beta }_k^{n-r}{\alpha }_k^{n+r}\widehat{{\alpha }_k}\widehat{{\beta }_k}+2{\alpha }_k^n{\beta }_k^n\widehat{{\alpha }_k}\widehat{{\beta }_k}}{4(9k^2-1)}\hfill \\ \hfill & =\frac{{\alpha }_k^n{\beta }_k^n\left(2-{\left(\frac{{\beta }_k}{{\alpha }_k}\right)}^r-{\left(\frac{{\alpha }_k}{{\beta }_k}\right)}^r\right)}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}.\hfill \end{array}$$

Using the fact that ${\alpha }_k{\beta }_k=1$, we obtain the desired formula. ☐

Note that for $r=1$, we obtain the Cassini-type identity for the dual-hyperbolic k-balancing numbers.

Corollary 2. 

(Cassini-type identity for dual-hyperbolic k-balancing numbers) Let $k\ge 1,$ $n\ge 1$ be integers. Then:

$$\mathbb{DH}{B}_{n-1}^k·\mathbb{DH}{B}_{n+1}^k-{\left(\mathbb{DH}{B}_n^k\right)}^2=-\widehat{{\alpha }_k}\widehat{{\beta }_k}.$$

where $\widehat{{\alpha }_k}$, $\widehat{{\beta }_k}$ are given by (9).

Proof. 

By Theorem 4, we have:

$$\begin{array}{cc}\hfill & \mathbb{DH}{B}_{n-1}^k·\mathbb{DH}{B}_{n+1}^k-{\left(\mathbb{DH}{B}_n^k\right)}^2=\frac{2-\frac{{\beta }_k}{{\alpha }_k}-\frac{{\alpha }_k}{{\beta }_k}}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}.\hfill \end{array}$$

Using the fact that:

$$2-\frac{{\beta }_k}{{\alpha }_k}-\frac{{\alpha }_k}{{\beta }_k}=\frac{-{({\beta }_k-{\alpha }_k)}^2}{{\alpha }_k{\beta }_k}$$

and ${\beta }_k-{\alpha }_k=-2\sqrt{9k^2-1}$, ${\alpha }_k{\beta }_k=1$, we get the result. ☐

Theorem 5. 

(d’Ocagne-type identity for dual-hyperbolic k-balancing numbers) Let $k\ge 1$, $m\ge 0,$ $n\ge 0$ be integers such that $m\ge n.$ Then:

$$\mathbb{DH}{B}_m^k·\mathbb{DH}{B}_{n+1}^k-\mathbb{DH}{B}_{m+1}^k·\mathbb{DH}{B}_n^k=\frac{{\alpha }_k^{m-n}-{\beta }_k^{m-n}}{2\sqrt{9k^2-1}}\widehat{{\alpha }_k}\widehat{{\beta }_k},$$

where ${\alpha }_k$, ${\beta }_k$ and $\widehat{{\alpha }_k}$, $\widehat{{\beta }_k}$ are given by (8) and (9), respectively.

Proof. 

By Formula (i) of Theorem 3, we have:

$$\begin{array}{cc}\hfill & \mathbb{DH}{B}_m^k·\mathbb{DH}{B}_{n+1}^k-\mathbb{DH}{B}_{m+1}^k·\mathbb{DH}{B}_n^k\hfill \\ \hfill & =\left(\frac{{\alpha }_k^m\widehat{{\alpha }_k}-{\beta }_k^m\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)·\left(\frac{{\alpha }_k^{n+1}\widehat{{\alpha }_k}-{\beta }_k^{n+1}\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)\hfill \\ \hfill & -\left(\frac{{\alpha }_k^{m+1}\widehat{{\alpha }_k}-{\beta }_k^{m+1}\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)·\left(\frac{{\alpha }_k^n\widehat{{\alpha }_k}-{\beta }_k^n\widehat{{\beta }_k}}{2\sqrt{9k^2-1}}\right)\hfill \\ \hfill & =\frac{-{\alpha }_k^m{\beta }_k^{n+1}-{\beta }_k^m{\alpha }_k^{n+1}+{\alpha }_k^{m+1}{\beta }_k^n+{\beta }_k^{m+1}{\alpha }_k^n}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}\hfill \\ \hfill & =\frac{{\alpha }_k^n{\beta }_k^n\left({\alpha }_k^{m-n+1}+{\beta }_k^{m-n+1}-{\alpha }_k^{m-n}{\beta }_k-{\beta }_k^{m-n}{\alpha }_k\right)}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}\hfill \\ \hfill & =\frac{{\left({\alpha }_k{\beta }_k\right)}^n\left({\alpha }_k^{m-n}({\alpha }_k-{\beta }_k)-{\beta }_k^{m-n}({\alpha }_k-{\beta }_k)\right)}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}\hfill \\ \hfill & =\frac{\left({\alpha }_k^{m-n}-{\beta }_k^{m-n}\right)({\alpha }_k-{\beta }_k)}{4(9k^2-1)}\widehat{{\alpha }_k}\widehat{{\beta }_k}=\frac{{\alpha }_k^{m-n}-{\beta }_k^{m-n}}{2\sqrt{9k^2-1}}\widehat{{\alpha }_k}\widehat{{\beta }_k},\hfill \end{array}$$

which ends the proof. ☐

For $k=1$, we obtain Catalan-, Cassini-, and d’Ocagne-type identities for the dual-hyperbolic balancing numbers.

Corollary 3. 

(Catalan-type identity for dual-hyperbolic balancing numbers) Let $n\ge 0$, $r\ge 0$ be integers such that $n\ge r.$ Then:

$$\mathbb{DH}{B}_{n-r}·\mathbb{DH}{B}_{n+r}-{\left(\mathbb{DH}{B}_n\right)}^2=\frac{2-{\left(\frac{\beta }{\alpha }\right)}^r-{\left(\frac{\alpha }{\beta }\right)}^r}{32}\widehat{\alpha }\widehat{\beta }.$$

where α, β, $\widehat{\alpha }$, and $\widehat{\beta }$ are given by (10).

Corollary 4. 

(Cassini-type identity for dual-hyperbolic balancing numbers) Let $n\ge 1$ be an integer. Then:

$$\mathbb{DH}{B}_{n-1}·\mathbb{DH}{B}_{n+1}-{\left(\mathbb{DH}{B}_n\right)}^2=-\widehat{\alpha }\widehat{\beta }.$$

where $\widehat{\alpha }$ and $\widehat{\beta }$ are given by (10).

Corollary 5. 

(d’Ocagne-type identity for dual-hyperbolic balancing numbers) Let $m\ge 0,$ $n\ge 0$ be integers such that $m\ge n.$ Then:

$$\mathbb{DH}{B}_m·\mathbb{DH}{B}_{n+1}-\mathbb{DH}{B}_{m+1}·\mathbb{DH}{B}_n=\frac{\left({\alpha }^{m-n}-{\beta }^{m-n}\right)}{2\sqrt{8}}\widehat{\alpha }\widehat{\beta },$$

where α, β, $\widehat{\alpha }$, and $\widehat{\beta }$ are given by (10).

Moreover, by simple calculations, we get:

$${\alpha }_k+{\beta }_k=6k,$$

$${\alpha }_k-{\beta }_k=2\sqrt{9k^2-1},$$

$${\alpha }_k{\beta }_k=1,$$

$${\alpha }_k^2+{\beta }_k^2={({\alpha }_k+{\beta }_k)}^2-2{\alpha }_k{\beta }_k=36k^2-2,$$

$${\alpha }_k^3+{\beta }_k^3={({\alpha }_k+{\beta }_k)}^3-3{\alpha }_k{\beta }_k({\alpha }_k+{\beta }_k)=216k^3-18k$$

and:

$$\begin{array}{cc}\hfill \widehat{{\alpha }_k}\widehat{{\beta }_k}& =\left(1+{\alpha }_{k}j+{\alpha }_k^2\epsilon +{\alpha }_k^{3}j\epsilon \right)\left(1+{\beta }_{k}j+{\beta }_k^2\epsilon +{\beta }_k^{3}j\epsilon \right)\hfill \\ \hfill & =1+{\alpha }_k{\beta }_k+\left({\alpha }_k+{\beta }_k\right)j+({\alpha }_k^2+{\beta }_k^2)(1+{\alpha }_k{\beta }_k)\epsilon \hfill \\ \hfill & +\left({\alpha }_k^3+{\beta }_k^3+{\alpha }_k{\beta }_k({\alpha }_k+{\beta }_k)\right)j\epsilon \hfill \\ \hfill & =2+6kj+\left(72k^2-4\right)\epsilon +\left(216k^3-12k\right)j\epsilon .\hfill \end{array}$$

In particular, for $k=1$, we have:

$$\widehat{\alpha }\widehat{\beta }=2+6j+68\epsilon +204j\epsilon .$$

In the same way, using Formulas (ii)–(v) of Theorem 3, one can obtain properties of other classes of dual-hyperbolic numbers defined in this paper.

Let us return to the first of the generalizations of the dual-hyperbolic balancing numbers. For integer $n\ge 0$, the nth dual-hyperbolic Horadam number $\mathbb{DH}{W}_n$ is defined as:

$$\mathbb{DH}{W}_n=W_n+W_{n+1}j+W_{n+2}\epsilon +W_{n+3}j\epsilon ,$$

(11)

where $W_n$ is the nth Horadam number and $\epsilon$, j, $j\epsilon$ are dual-hyperbolic units, which satisfy (7).

We give the Binet-type formula for dual-hyperbolic Horadam numbers and Catalan-, Cassini-, and d’Ocagne-type identities for these numbers. The proofs of these theorems can be made analogous to those proven earlier, so we omit them.

Theorem 6. 

(Binet-type formula for dual-hyperbolic Horadam numbers) Let $n\ge 0$ be an integer. Then:

$$\mathbb{DH}{W}_n=A{t}_1^n\left(1+t_{1}j+t_1^2\epsilon +t_1^{3}j\epsilon \right)+B{t}_2^n\left(1+t_{2}j+t_2^2\epsilon +t_2^{3}j\epsilon \right),$$

where $t_1$, $t_2$, A, and B are given by (2).

For the simplicity of notation, let:

$$\begin{array}{cc}\hfill & \widehat{t_1}=1+t_{1}j+t_1^2\epsilon +t_1^{3}j\epsilon ,\hfill \\ \hfill & \widehat{t_2}=1+t_{2}j+t_2^2\epsilon +t_2^{3}j\epsilon .\hfill \end{array}$$

(12)

Theorem 7. 

(Catalan-type identity for dual-hyperbolic Horadam numbers) Let $n\ge 0,$ $r\ge 0$ be integers such that $n\ge r.$ Then:

$$\begin{array}{cc}\hfill & \mathbb{DH}{W}_{n-r}·\mathbb{DH}{W}_{n+r}-{\left(\mathbb{DH}{W}_n\right)}^2\hfill \\ \hfill & =AB{t}_1^n{t}_2^n\left({\left(\frac{t_1}{t_2}\right)}^r+{\left(\frac{t_2}{t_1}\right)}^r-2\right)\widehat{t_1}\widehat{t_2},\hfill \end{array}$$

where $t_1$, $t_2$, A, B and $\widehat{t_1}$, $\widehat{t_2}$ are given by (2) and (12), respectively.

Theorem 8. 

(Cassini-type identity for dual-hyperbolic Horadam numbers) Let $n\ge 1$ be an integer. Then:

$$\begin{array}{cc}\hfill & \mathbb{DH}{W}_{n+1}·\mathbb{DH}{W}_{n-1}-{\left(\mathbb{DH}{W}_n\right)}^2\hfill \\ \hfill & =AB{t}_1^n{t}_2^n\left(\frac{t_1}{t_2}+\frac{t_2}{t_1}-2\right)\widehat{t_1}\widehat{t_2},\hfill \end{array}$$

where $t_1$, $t_2$, A, B and $\widehat{t_1}$, $\widehat{t_2}$ are given by (2) and (12), respectively.

Theorem 9. 

(d’Ocagne-type identity for dual-hyperbolic Horadam numbers) Let $m\ge 0,$ $n\ge 0$ be integers such that $m\ge n$. Then:

$$\begin{array}{cc}\hfill & \mathbb{DH}{W}_m·\mathbb{DH}{W}_{n+1}-\mathbb{DH}{W}_{m+1}·\mathbb{DH}{W}_n\hfill \\ \hfill & =AB{t}_1^n{t}_2^n(t_1-t_2)\left(t_2^{m-n}-t_1^{m-n}\right)\widehat{t_1}\widehat{t_2},\hfill \end{array}$$

where $t_1$, $t_2$, A, B and $\widehat{t_1}$, $\widehat{t_2}$ are given by (2) and (12), respectively.

For special values of $W_n$, we obtain the dual-hyperbolic Fibonacci numbers, the dual-hyperbolic Pell numbers, the dual-hyperbolic Jacobsthal numbers, the dual-hyperbolic balancing numbers, etc. Theorems 6–9 generalize the previously obtained properties of the dual-hyperbolic balancing numbers, some results of [17,18,19], and more specifically, the Binet-type formula, Catalan’s identity, Cassini’s identity, and d’Ocagne’s identity for the dual-hyperbolic Fibonacci-type numbers.

3. Concluding Remarks

In this paper, we discussed an extended version of dual-hyperbolic balancing numbers, dual-hyperbolic Horadam numbers, and dual-hyperbolic k-balancing numbers. It seems interesting to complement these results by matrix representation, which is another way to generate the considered generalizations of balancing numbers and their related number sequences through matrices. Then, we can give many known and new formulas for these numbers. Matrix generators also help to obtain new identities for the considered numbers by different methods.