- Research
- Open access
- Published:

# An application on the second-order generalized difference equations

*Advances in Difference Equations*
**volume 2013**, Article number: 35 (2013)

## Abstract

In this paper, we study the solutions of the second-order generalized difference equation having the form of

where {\mathrm{\Delta}}_{\ell}u(k)=u(k+\ell )-u(k). Then we provide applications on {\ell}_{2(\ell )} and {c}_{0(\ell )}.

**AMS Subject Classification:**39A12, 39A70, 47B39, 39B60.

## 1 Introduction and preliminaries

The basic theory of difference equations is based on the difference operator Δ defined as \mathrm{\Delta}u(k)=u(k+1)-u(k), k\in \mathbb{N}=\{0,1,2,3,\dots \}, which allows the recursive computation of solutions. Later, the following definition was suggested for {\mathrm{\Delta}}_{\ell} by [1–3] and [4]:

however, no significant progress took place on this line. Recently, equation (2) was reconsidered and its inverse was defined by {\mathrm{\Delta}}_{\ell}^{-1}, and many interesting results in applications such as in number theory as well as in fluid dynamics were obtained; see, for example, [5]. By extending the study for sequences of complex numbers and *ℓ* to be real, some new qualitative properties like rotatory, expanding, shrinking, spiral and weblike were studied for the solutions of difference equations involving {\mathrm{\Delta}}_{\ell}. The {\ell}_{2} and {c}_{0} solutions of the second-order difference equation of (1) when \ell =1 were discussed in [6] and further generalized in [7]. In this paper, we discuss some applications of {\mathrm{\Delta}}_{\ell} in the finite and infinite series of number theory.

In this section, we present some of the preliminary definitions and results which will be useful for future discussion. The following definitions were held in [5] and [8], respectively.

**Definition 1.1** Let u(k), k\in [0,\mathrm{\infty}), be a real- or complex-valued function and \ell \in (0,\mathrm{\infty}). Then the generalized difference operator {\mathrm{\Delta}}_{\ell} is defined as

Then the inverse of {\mathrm{\Delta}}_{\ell} denoted by {\mathrm{\Delta}}_{\ell}^{-1} is defined as follows: If

where {c}_{j} is a constant for all k\in {\mathbb{N}}_{\ell}(j), j=k-[\frac{k}{\ell}]\ell. If {lim}_{k\to \mathrm{\infty}}u(k)=0, then we can take {c}_{j}=0. Further, the generalized polynomial factorial for \ell >0 is defined as

The following lemmas were proved in [9] and [10], respectively.

**Lemma 1.2** (Product formula)

*Let* u(k) *and* v(k), k\in [0,\mathrm{\infty}), *be any two real*-*valued functions*. *Then*

**Lemma 1.3** *Let* \ell >0, n\in \mathbb{N}(2), k\in (\ell ,\mathrm{\infty}) *and* {k}_{\ell}^{(n)}\ne 0. *Then*

**Definition 1.4** A function u(k), k\in [a,\mathrm{\infty}), is said to be in the {\ell}_{2(\ell )}-space if

If {lim}_{r\to \mathrm{\infty}}|u(a+j+r\ell )|=0 for all j\in [0,\ell ), then u(k) is said to be in the {c}_{0(\ell )}-space.

In what follows, we have the summation formula for finite and infinite series.

**Lemma 1.5** *If a real*-*valued function* u(k) *is defined for all* k\in [0,\mathrm{\infty}), *then*

*where* {c}_{j} *is a constant for all* k\in {\mathbb{N}}_{\ell}(j), j=k-[\frac{k}{\ell}]\ell. *Since* [0,\mathrm{\infty})={\bigcup}_{0\le j<\ell}{N}_{\ell}(j), *each complex number* {c}_{j} (0\le j<\ell) *is called an initial value of* k\in {N}_{\ell}(j). *Usually*, *each initial value* {c}_{j} *is taken from any one of the values* u(j), u(j+\ell ), u(j+2\ell ), *etc*. *Further*, *if* {lim}_{k\to \mathrm{\infty}}u(k)=0 *and* \ell >0, *then*

*Proof* Assume z(k)={\sum}_{r=0}^{\mathrm{\infty}}u(k+r\ell ). Then

Now, the proof follows from {lim}_{k\to \mathrm{\infty}}u(k)=0 and Definition 1.1. □

The next lemma is an expansion of Lemma 1.5 and its proof is straightforward.

**Lemma 1.6** *If* {lim}_{k\to \mathrm{\infty}}u(k)=0 *and* \ell >0, *then*

**Theorem 1.7** *Let* n\in \mathbb{N}(2), k\in (0,\mathrm{\infty}) *such that* {k}_{\ell}^{(n)}\ne 0. *Then*

*Proof* The proof follows from Lemma 1.3 and Lemma 1.5 by taking u(k)=\frac{1}{{k}_{\ell}^{(n)}} and {c}_{j}=0. □

**Corollary 1.8** *Let* k\in (\ell ,\mathrm{\infty}) *and* \ell \in (0,\mathrm{\infty}). *Then*

*Proof* Since {\mathrm{\Delta}}_{\ell}^{-1}\frac{1}{k(k-\ell )}=\frac{-1}{\ell (k-\ell )}, the proof follows from Theorem 1.7 by taking n=2. □

## 2 Applications of {\mathrm{\Delta}}_{\ell} in number theory

In this section, we present some formulae and examples to find the values of finite and infinite series in number theory as an application of {\mathrm{\Delta}}_{\ell}. The following theorem and example were given in [7]. In fact, the example is to illustrate Theorem 2.1.

**Theorem 2.1** *Let* k\in [\ell ,\mathrm{\infty}) *and* \ell \in (0,\mathrm{\infty}). *Then*

*where* s=-1 *for* k\in {\mathbb{N}}_{\ell}(\ell ), s=0 *for* k\notin {\mathbb{N}}_{\ell}(\ell ) *and each* {c}_{j} *is a constant for all* k\in {\mathbb{N}}_{\ell}(j), j=k-[\frac{k}{\ell}]\ell. *In particular* {c}_{j} *is obtained from* (14) *by substituting* k=\ell +j.

**Example 2.2** By taking \ell =1.7, k=2 and j=0.3 in (14), we get {c}_{j}=\frac{85}{81} and hence (14) becomes

**Theorem 2.3** *Let* k\in [\ell ,\mathrm{\infty}) *and* \ell \in (0,\mathrm{\infty}). *Then*

*Proof*

By Definition 1.1, we find

and (15) follows by Lemma 1.5 and {c}_{j}=0 as k\to \mathrm{\infty}. □

The following is the illustration for Theorem 2.3.

**Example 2.4** Taking \ell =0.2 in (15), we arrive at

and one can take any value k\in [\ell ,\mathrm{\infty}).

**Theorem 2.5** *For* k\in [\ell ,\mathrm{\infty}) *and* \ell \in (0,\mathrm{\infty}), *then*

*Proof*

By Definition 1.1, we find

and (16) follows by (10) and {c}_{j}=0 as k\to \mathrm{\infty}. □

The following theorem generates the formula to find the sum of first partial sums of an infinite series.

**Theorem 2.6** *For the positive integer* n\in \mathbb{N}(3), k\in [2\ell ,\mathrm{\infty}) *and* \ell \in (0,\mathrm{\infty}),

*Proof* Using Definition 1.1 and operating {\mathrm{\Delta}}_{\ell}^{-1} on (7), we find

and hence (17) follows by Lemma 1.6 as {c}_{j}=0 when k\to \mathrm{\infty}. □

The following example illustrates Theorem 2.6.

**Example 2.7** Substituting \ell =0.5, n=4 in (17), we obtain

In particular, when k=2, the above series becomes

Similarly, one can take any value for k\in [2\ell ,\mathrm{\infty}) and \ell \in (0,\mathrm{\infty}).

The following example shows that \frac{1}{{k}_{\ell}^{(n)}}\in {c}_{0(\ell )} and {\ell}_{2(\ell )} when {k}_{\ell}^{(n)}\ne 0.

**Example 2.8** Let n\in \mathbb{N}(2), \ell \in (0,\mathrm{\infty}), j\in [0,\ell ) and a\ge n\ell. Replacing *k* by a+j, in (12), we get

Since

thus from (18) it follows that

The function \frac{1}{{k}_{\ell}^{(n)}}\in {\ell}_{2(\ell )} follows from Definition 1.4 by taking

Since {lim}_{r\to \mathrm{\infty}}\frac{1}{{(a+j+r\ell )}_{\ell}^{(n)}}=0 for all j\in [0,\ell ), Definition 1.4 yields \frac{1}{{k}_{\ell}^{(n)}}\in {c}_{0(\ell )}.

## 3 Concluding remarks

In the present work, we provide an application on {\ell}_{2(\ell )} and {c}_{0(\ell )} and solutions of the second-order some generalized difference equation.

## References

Agarwal RP:

*Difference Equations and Inequalities*. Dekker, New York; 2000.Mickens RE:

*Difference Equations*. Van Nostrand-Reinhold, New York; 1990.Elaydi SN:

*An Introduction to Difference Equations*. 2nd edition. Springer, Berlin; 1999.Kelley WG, Peterson AC:

*Difference Equations. An Introduction with Applications*. Academic Press, San Diego; 1991.Manuel MMS, Xavier GBA, Thandapani E: Theory of generalized difference operator and its applications.

*Far East J. Math. Sci.*2006, 20(2):163-171.Popenda J, Schmeidal E: Some properties of solutions of difference equations.

*Fasc. Math.*1981, 13: 89-98.Manuel MMS, Kılıçman A, Xavier GBA, Pugalarasu R, Dilip DS: On the solutions of second order generalized difference equations.

*Adv. Differ. Equ.*2012., 2012: Article ID 105. doi:10.1186/1687-1847-2012-105Ferreira RAC, Torres DFM: Fractional

*h*-difference equations arising from the calculus of variations.*Appl. Anal. Discrete Math.*2011, 5(1):110-121. doi:10.2298/AADM110131002F 10.2298/AADM110131002FManuel MMS, Xavier GBA, Dilip DS, Chandrasekar V: General partial sums of reciprocals of products of consecutive terms of arithmetic progression.

*Int. J. Comput. Appl. Math.*2009, 4(3):259-272.Manuel MMS, Xavier GBA: Generalized difference calculus of sequences of real and complex numbers.

*Int. J. Comput. Numer. Anal. Appl.*2004, 6(4):401-415.

## Acknowledgements

The authors express their sincere gratitude to the referees for their valuable suggestions and comments. The second author also acknowledges that this project was partially supported by University Putra Malaysia under the ERGS Grant Scheme having project number 5527068.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Manuel, M.M.S., Kılıçman, A., Xavier, G.B.A. *et al.* An application on the second-order generalized difference equations.
*Adv Differ Equ* **2013**, 35 (2013). https://doi.org/10.1186/1687-1847-2013-35

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-35