- Original research
- Open Access
- Published:

# Oscillation of linear third-order impulsive difference equations with variable coefficients

*Journal of the Egyptian Mathematical Society*
**volume 30**, Article number: 12 (2022)

## Abstract

The present work discusses the qualitative behaviour of solutions of third-order difference equations of the form:

subject to the impulsive condition

Our state of the art is the inequality technique under the control of fixed moments of impulsive effect. We give some numerical examples to illustrate our findings.

## Introduction

In many applications, differential equations with impulses play a vital role [11, 15, 16, 20]. However, many scholars have recently taken an interest in studying discrete-time systems since both continuous-time systems and discrete-time systems share the same importance in theory as well as application. More specifically, it is required to study the corresponding discrete-time system when studying a continuous-time system, as discrete-time systems are easier to handle on computers than their continuous-time counterparts [21]. In particular, Li et al. [12] have investigated the oscillatory behaviour of a type of third-order difference equations with impulse of the form:

and it is not a surprise to see the extension work in [13] for nonlinear third-order difference equations

where \(a_{i,k}\le \frac{g_{i,k}(u)}{u}\le b_{i,k}\). It needs to be noted that the works [12, 13] are strict followers of the pioneer works [26, 14] in which the authors have studied

and

respectively. We note that \((E_2)\) is the discrete analogue of \((E_4)\) (simultaneously \((E_3)\)).

The third-order delay difference equation in \((E_1)\) is a special case of the third-order difference equation

when \(\tau =0\). If \(\tau \ne 0\), then the equation in \((E_1)\) can be reduced to a higher order difference equation. It is not known whether the work [12] will apply to (1.1) if we need to attach the impulsive effect

Based on the motivation stated above, the goal of this paper is to discuss the oscillatory behaviour of solutions of the impulsive system

where *a*(*l*), *b*(*l*) and *c*(*l*) are real-valued functions with discrete arguments and we assume that there exists \(\epsilon >0\) such that \(\alpha _{k}\ge \epsilon >0\) for \(k\in {\mathbb {N}}\). For our impulsive system, \(\theta _1, \theta _2, \theta _3,\ldots\) are discrete moments of impulsive effect with the properties \(0\le l_{0}<\theta _1<\theta _2<\cdots <\theta _{k}\) and \(\lim _{k\rightarrow \infty } \theta _k=+\infty\). By a solution of (1.1), we mean a real-valued function *w*(*l*) defined on \(l\ge l_{0}\) which satisfy (1.1) for \(l\ge l_0\). If \(w(l_{0}), w(l_{0}+1)\) and \(w(l_{0}+2)\) are given, then (1.1) admits a unique solution for \(l\ge l_{0}\). A solution *w*(*l*) of \(({\mathcal {E}})\) is said to be oscillatory if for every \(n\ge 0\), there exists \(l\ge n\) such that \(w(l+1)w(l)\le 0\); otherwise, the solution is said to be nonoscillatory. The system \(({\mathcal {E}})\) is oscillatory if all its solutions are oscillatory.

For more information on qualitative studies of discrete impulsive equations, see the work [6] in which Danca et al. studied a kind of impulsive equations

for the existence of periodic orbits, asymptotic behaviour, and chaos. In another work [7], Danca and Feckan studied the chaotic behaviour of a one-dimensional discrete supply and demand impulsive dynamical system

We refer the reader to some of the monographs [1, 2, 8, 10, 11, 15, 16, 20] and works [3,4,5, 9, 22] for more detailed treatments on the theory of impulsive difference equations and its applications.

## Methods

The first method that has been adopted here is the method of contradiction. By making use of suitable impulsive inequalities, we have seen that the problem \(({\mathcal {E}})\) under investigation does not have any nonoscillatory solutions. Once this is done, there is a conclusion. Secondly, we generate two linear operators from a particular set of linearly independent solutions of \(({\mathcal {E}})\). We get the results by using matrix theory and the definition of nonoscillatory solutions of \(({\mathcal {E}})\).

## Results

In this section, we discuss the oscillatory behaviour of solutions of the discrete impulsive system of third order of the form \(({\mathcal {E}})\).

### Theorem 3.1

Let \(a(l)<0\), \(c(l)\ge 0\) and \(b(l)\ge 0\) for large *l*. Assume that

\(\liminf _{l\rightarrow \infty } b(l)=b\ge 0\). If

and

hold, then \(({\mathcal {E}})\) is oscillatory.

### Proof

Suppose that *w*(*l*) is a nonoscillatory solution of \(({\mathcal {E}})\). So, there exists \(L_{1}>0\) such that \(w(l)>0\) for \(l\ge L_{1}\). For \(l\ne \theta _{k}\), it follows from \(({\mathcal {E}})\) that

that is,

For \(l\ge L_{1}+1\), it follows that

Again from \(({\mathcal {E}})\), we can find \(L_{2}>L_1\) such that

for which

Let \(L_{3}=\max \{L_{1}+1,L_{2}\}\). We claim that (3.1) hold for \(l=\theta _{k}\), that is,

which is equivalent to

If possible, there is some \(j>k\) such that

that is,

a contradiction to \((H_{1})\). So, (3.1) holds for all \(\theta _{k}\ge L_{3}+2\). Again, we have another claim that (3.2) hold for \(l=\theta _{k}\), that is,

which is equivalent to

If not, let there exist \(i>k\) such that

that is,

Consequently,

a contradiction to \((H_{2})\). Thus, our claim holds for all \(\theta _{k}\ge L_{3}+2\). Let \(L \ge L_{3}+2\). For \(\theta _{k}\ge L\), we have

As a result,

that is,

a contradiction to \((H_{3})\). Because (3.1) and (3.2) are true for all *l* and \(\theta _{k}, k\in {\mathbb {N}}\), then \((H_3)\) holds true for *l* also. This is all about the proof of the theorem. \(\square\)

### Example 3.2

Consider

where \(a(l)=-5\), \(b(l)=9(2+\cos {\frac{l\pi }{3}})\), \(c(l)=2\), \(\theta _{k}=3k+3\), \(k\in {\mathbb {N}}\) and \(\alpha _{k}=2+\frac{1}{k+1}\). Indeed, \(\liminf _{l\rightarrow \infty }b(l)=9>0\). From \((H_{1})\), \((H_{2})\) and \((H_{3})\), we get

and

respectively. Clearly, all conditions of Theorem 3.1 are satisfied for the given system. Hence, the system is oscillatory.

In particular, consider the nonimpulsive difference equation

It is not difficult to see that (3.3) is oscillatory because \((H_{3})\) holds, that is, \(a^{2}<2b\). A graphical illustration is given in Fig. 1. So, it remains oscillating after the imposition of proper impulse controls.

### Theorem 3.3

Let \(a(l)>0\), \(b(l)<0\) and \(c(l)\ge 0\) for large *l*. Assume that

\(\liminf _{l\rightarrow \infty } c(l)=c\ge 0\). If

and

hold, then \(({\mathcal {E}})\) oscillatory.

### Proof

Suppose on the contrary, *w*(*l*) is a nonoscillatory solution of \(({\mathcal {E}})\). So, there exists \(L_{1}>0\) such that \(w(l)>0\) for \(l\ge L_{1}\). For \(l\ne \theta _{k}\), it follows from \(({\mathcal {E}})\) that

that is,

which is equivalent to

Also, from \(({\mathcal {E}})\) we have for \(l\ge L_{2}\)

which reduces to

Let \(L_{3}=\max \{L_{1}+1,L_{2}\}\). We claim that (3.4) holds for \(l=\theta _{k}\), that is,

that is,

If not, let there exist \(j>k\) such that

that is,

a contradiction to \((H_{4})\). So, our claim holds for all \(\theta _{k}\ge L_{3}+1\). Next, we claim that (3.5) holds for \(l=\theta _{k}\), that is,

which is equivalent to

Otherwise, there exists \(i>k\) such that

that is,

As a result,

a contradiction to \((H_{5})\). Thus, (3.5) holds true for all \(\theta _{k}\ge L_{3}+1\). Let \(L=L_{3}+1\). For \(\theta _{k}\ge L\), we have

that is,

a contradiction to \((H_{6})\). Since (3.4) and (3.5) are true for all *l* and \(\theta _{k}, k\in {\mathbb {N}}\), then \((H_6)\) holds true for *l* also. Hence, the theorem is proved. \(\square\)

### Example 3.4

Consider

where \(a(l)=2+\frac{1}{2l}\), \(b(l)=-4\), \(c(l)=5\left( 1+\frac{1}{l^{2}}\right)\), \(\theta _{k}=2k+3\), \(k\in {\mathbb {N}}\) and \(\alpha _{k}= \frac{3k}{2(k+1)} = 1+\frac{k-2}{2(k+1)}\). Indeed, \(\liminf _{l\rightarrow \infty }c(l)=5\). From \((H_{4})\), \((H_{5})\) and \((H_{6})\), we get

and

respectively. Therefore, all conditions of Theorem 3.3 are satisfied here for the given system. Thus, the system is oscillatory.

In particular, consider the nonimpulsive difference equation

It is not difficult to see that (3.6) is oscillatory because \((H_{6})\) holds, that is, \(b^{2}<2ac\). A graphical illustration is given in Fig. 2. So, it remains oscillating after the imposition of proper impulse controls.

### Theorem 3.5

Let \(a(l)\ge 0\), \(b(l)<0\) and \(c(l)\ge 0\) for large *l*. Assume that

and

hold. Then, \(({\mathcal {E}})\) is oscillatory.

### Proof

On contrary, we assume that *w*(*l*) is a nonoscillatory solution of \(({\mathcal {E}})\). Then, there exists \(L_{1}>0\) such that \(w(l)>0\) for \(l\ge L_{1}\). From \(({\mathcal {E}})\) and for \(l\ne \theta _{k}\), we have

that is,

Also for \(l\ge L_{2}\), we have that

that is,

Let \(L_{3}=\max \{L_{1},L_{2}\}\). Now, we claim that (3.7) hold for \(l=\theta _{k}\), that is,

that is,

If not, there exists \(j>k\) such that

and hence

a contradiction to \((H_{7})\). Therefore, our claim holds. Also, we have another claim that (3.8) holds for \(i=\theta _{k}\), that is,

which is equivalent to

Suppose there exists \(i>k\) such that

that is,

Consequently,

gives a contradiction to \((H_{8})\). Thus, (3.8) holds for all \(\theta _{k}\ge L_{3}+1\). Let \(L=L_{3}+1\). For all \(\theta _{k}\ge L\), we have

implies that

\(\theta _k \ge L\), a contradiction to \((H_{9})\). This is all about the proof. \(\square\)

### Theorem 3.6

Let \(a(l)<0\), \(b(l)\ge 0\) and \(c(l)\ge 0\) for large *l*. Assume that

and

hold. Then, \(({\mathcal {E}})\) is oscillatory.

### Proof

On contrary, let *w*(*l*) be a nonoscillatory solution of \(({\mathcal {E}})\). Then, there exists \(L_{1}>0\) such that \(w(l)>0\) for \(l\ge L_{1}\). From \(({\mathcal {E}})\) and for \(l\ne \theta _{k}\), we have

that is,

Similarly, we can find \(L_{2}>0\) such that

that is,

Let \(L_{3}=\max \{L_{1}+1,L_{2}\}\). We claim that (3.9) hold for \(l=\theta _{k}\), that is,

that is,

If not, there exists \(j>k\) such that

that is,

a contradiction to \((H_{10})\). Therefore, (3.9) holds for all \(\theta _{k}\ge L_{3}\). Next, we claim that (3.10) holds for \(l=\theta _{k}\), that is,

that is,

for \(\theta _{k}\ge L_{3}+3\). Suppose the claim is not true. Then, there exists \(i>k\) such that

that is,

As a result,

a contradiction to \((H_{11})\). Thus, (3.10) holds true for all \(\theta _{k}\ge L_{3}+3\). Let \(L=L_{3}+3\). Therefore, from \(({\mathcal {E}})\) and for all \(\theta _{k}\ge L\), we see that

Consequently,

for \(\theta _k \ge L\), a contradiction to \((H_{12})\). This is all about the proof. \(\square\)

### Example 3.7

Consider

where \(a(l)=-3\), \(b(l)=2\), \(c(l)=12l\), \(\theta _{k}=3^{k}\), \(k\in {\mathbb {N}}\) and \(\alpha _{k}=2+\frac{1}{3^{k}}\). From \((H_{10})\), \((H_{11})\) and \((H_{12})\), we get

and

respectively. Theorem 3.6 is applicable to the given system, and showing that it is oscillatory.

In particular, consider the nonimpulsive difference equation

It is not difficult to see that (3.11) is oscillatory because \((H_{12})\) holds, that is, \(c>2ab-a^{3}\). A graphical illustration is given in Fig. 3. So, it remains oscillating after the imposition of proper impulse controls.

Next, we are going to present some new results, and for this, we need the following lemma.

### Lemma 3.8

Suppose there exists \(l_0 \ge 0\) such that \(a(l)<0\), \(b(l)<0\) and \(c(l)<0\) for \(l\ge l_{0}\). If *w*(*l*) is a solution of

with the initial conditions \(w(l_{0})\ge 0\), \(w(l_{0}+1)\ge 0\), \(w(l_{0}+2)\ge 0\) such that \(w(l_{0})+w(l_{0}+1)+w(l_{0}+2)>0\) for some \(l_{0}\ge 0\), then \(w(l)>0\) for \(l\ge l_1 = l_{0}+3\).

### Proof

Upon the application of initial conditions to

it is easy to see recursively that \(w(l)>0\) for \(l\ge l_1 = l_{0}+3\) when \(l\ne \theta _{k}\). Assume that \(l = \theta _{k}\) for \(l \in {\mathbb {N}}\). Let \(\theta _{1}\ge l_1 +1\). Then, \(w(\theta _{1})= \alpha _{1}w(\theta _{1}-1)>0\). Since \(\theta _2 -1\) and \(\theta _3 -1\) are nonimpulsive points, then \(w(\theta _{2})= \alpha _{2}w(\theta _{2}-1)>0\) and \(w(\theta _{3})= \alpha _{3}w(\theta _{3}-1)>0\). Due to

and proceeding recursively, it is easy to see that \(w(\theta _{k})>0\) for \(k \in {\mathbb {N}}\). Hence, the lemma is proved. \(\square\)

### Theorem 3.9

Let \(a(l)<0\), \(b(l)<0\) and \(c(l)<0\) for \(l\ge l_{0}\). Then, \(({\mathcal {E}})\) admits two oscillatory solutions.

### Proof

Let us assume that \(u^{0}(l)\), \(u^{1}(l)\) and \(u^{2}(l)\) be the solutions of (1.1) such that

where \(i,j=0,1,2\) and \(l_{0}\ge 0\). Firstly, we consider the case when \(l\ne \theta _{k}\). Indeed,

As a result, the solutions resulting from \(u^{i}(l_{0}+j)\) for \(i,j=0,1,2\) are linearly independent. According to Lemma 3.8, \(u^{i}(l)>0\) for \(l\ge l_{0}+3\) and \(i=0,1,2\). It is possible to select nonzero real numbers \(d_{0n}, d_{2n}, e_{1n}\) and \(e_{2n}\) for each \(n\ge l_{0}+3\) such that

where \(d_{0n}^{2}+d_{2n}^{2}=1=e_{1n}^{2}+e_{2n}^{2}\). So, the preceding system is orthogonal. As a result, the solutions are linearly independent for \(n\ge l_{0}+3\). For \(l\ge l_{0}\), define

Then, \(T^{n}(l)\) and \({\mathcal {T}}^{n}(l)\) are solutions of (1.1) with \(T^{n}(n)=0\) and \({\mathcal {T}}^{n}(n)=0\). Since each of the sequence \(\{d_{0n}\},\{d_{2n}\}, \{e_{1n}\}\) and \(\{e_{2n}\}\) is bounded, then there exists a \(\{n_{k}\} \subset \{n\}\) such that

as \(n_{k}\rightarrow \infty\). Of course, \(d_{0}^{2}+d_{2}^{2}=1=e_{1}^{2}+e_{2}^{2}\). Setting

we notice that *T*(*l*) and \({\mathcal {T}}(l)\) are nontrivial solutions of (1.1).

If \(\{T(l)\}\) is nonoscillatory, then we may assume that \(T(l)>0\) for \(l\ge L_{1}>l_{0}+3\). For \(0<\epsilon _{l}<T(l)\), there exists \(L_{1}>0\) such that

that is, \(0<T(l)-\epsilon _{l}<T^{n_{k}}(l)\) for \(n_{k}\ge L_{l}\). Hence, for \(n_{k}>\max \{L_{1},L_{l}\}\), it follows that \(T^{n_{k}}(n_{k})>0\), which is a contradiction to the fact that \(T^{n_{k}}(n_{k})=0\). Thus, *T*(*l*) is oscillatory. Similar argument we apply to \({\mathcal {T}}(l)\). Indeed, these two solutions are linearly independent.

Next, we consider the case when \(l=\theta _{k}\). Since (1.1) takes to a similar mapping for \(l=\theta _{k}\), then without loss of generality, we can assume an impulsive perturbation at each step. Using (1.2) in (1.1), we have

that is,

which is of the form

where \(A(\theta _{k})=\frac{\alpha _{k+3}a(\theta _{k})}{\alpha _{k+2}}<0\), \(B(\theta _{k})=\frac{\alpha _{k+3}b(\theta _{k})}{\alpha _{k+1}}<0\) and \(C(\theta _{k})=\frac{\alpha _{k+3}c(\theta _{k})}{\alpha _{k}}<0\). Let us assume that \(v^{0}(\theta _{k})\), \(v^{1}(\theta _{k})\) and \(v^{2}(\theta _{k})\) are the solutions of (3.12) such that

where \(i,j=0,1,2\) and \(\theta _{k_{0}}\ge l_1 > l_{0}\). Proceeding as above, we can show that \(T(\theta _{k})\) and \({\mathcal {T}}(\theta _{k})\) are oscillatory solutions; of course, these two solutions are linearly independent. Hence, our theorem is proved. \(\square\)

### Theorem 3.10

Let \(a(l)>0\), \(b(l)>0\) and \(c(l)<0\) for \(l\ge l_{0}\). Then, \(({\mathcal {E}})\) has a nonoscillatory solution.

### Proof

For any positive integer *i*, let \(w^{i}(l)\) be a solution of \(({\mathcal {E}})\) such that

Let \(l \ne \theta _{k}\). Indeed, \(w^{i}(l)>0\) for \(l\in \{0,1,\ldots ,i-1\}\) due to

Let \(\{T^{1}(l), T^{2}(l), T^{3}(l)\}\) be a basis for the solution space of (1.1). For any solution \(w^{i}(l)\) is therefore, we can write

with \(d^{2}_{1i}+d^{2}_{2i}+d^{2}_{3i}=1\). Since the sequence \(\{d_{ji}\}\), \(j=1,2,3\) is bounded, then there exists a subsequence \(i_{k}\) of \(\{i\}\) such that \(d_{ji_{k}}\rightarrow d_{j}\) as \(k\rightarrow \infty\). Set

Since \(w^{i_{k}}(l)\rightarrow w(l)\) as \(k\rightarrow \infty\), then it follows that \(w(l)>0\) for \(l\ge l_{0}\). In this way, we find that *w*(*l*) is a positive solution of (1.1).

Next, we consider the case when \(l = \theta _{k}\). Because (1.1) leads to a similar mapping for \(l=\theta _{k}\), without loss of generality, we assume impulsive perturbation at each step. Therefore, using (1.2) in (1.1), we have (3.12) noticing that \(A(\theta _{k})=\frac{\alpha _{k+3}a(\theta _{k})}{\alpha _{k+2}}\), \(B(\theta _{k})=\frac{\alpha _{k+3}b(\theta _{k})}{\alpha _{k+1}}\) and \(C(\theta _{k})=\frac{\alpha _{k+3}c(\theta _{k})}{\alpha _{k}}\). Ultimately, \(A(\theta _{k})>0\), \(B(\theta _{k})>0\) and \(C(\theta _{k})<0\) for \(k\in {\mathbb {N}}\). For a positive integer *l*, let \(v^{i}(\theta _{k})\) be a solution of (3.12) such that

Therefore, \(v^{i}(\theta _{k+j})>0\) for \(j\in \{0,1,\ldots , i-1\}\). Let \(\{{\mathcal {T}}^{1}(l), {\mathcal {T}}^{2}(l), {\mathcal {T}}^{3}(l)\}\) be a basis of the solution space of (1.1) for which it is seldom to write

with \(e^{2}_{1i}+e^{2}_{2i}+e^{2}_{3i}=1\). Proceeding as above we can show that \(w(\theta _{k})\) is a positive solution of (3.12). Therefore, *w*(*l*) is a positive solution (3.12) for all *l* and \(\theta _{k}\), \(k\in {\mathbb {N}}\). This completes the proof of the theorem. \(\square\)

## Discussion

In the first part of the main results (Theorem 3.1–3.6), we have used the method of contraction. Upon use of limiting behaviour of coefficients and impulsive inequalities, we are able to prove the main finding. For the proof of the next results (Theorem 3.9, 3.10), Lemma 3.8 plays a major role. First, we constructed two operators using appropriate solutions of \(({\mathcal {E}})\). By applying the properties of linear algebra, it was then possible to get oscillatory solutions of \(({\mathcal {E}})\). Although the method adopted here is simple, the research findings presented in this paper are also simpler and easily verifiable. Some numerical examples are presented to verify the obtained results.

## Conclusion

The oscillation theory of third-order differential/difference equations has significantly advanced in the last few decades, as evidenced in the literature, see, e.g. [17,18,19, 23,24,25]. As we discussed in the introduction part, discrete-time systems are more computer-friendly than their continuous-time counterparts, so we have considered the third-order difference equations in a closed form rather than the usual discrete analogue. On the other hand, owing to many natural and man-made factors, the intrinsic growth of physical/biological processes usually undergoes some discrete changes of relatively short duration at fixed times. Often, such changes are characterised mathematically in the form of impulses [12,13,14, 26]. Therefore, in this work, we have studied a general class of third-order linear difference equations (1.1) under the influence of discrete moments of impulsive effects (1.2). Unlike most of the works in the literature, we do not require monotonic properties of nonoscillatory solutions to study \(({\mathcal {E}})\). In fact, this effort represents a new step in the literature of impulsive difference equations. For interested readers, this work can be extended to the nonlinear counterpart of \(({\mathcal {E}})\). We conclude this work by noticing that the system remains oscillating after the imposition of proper impulse controls.

## Availability of data and materials

Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.

## Change history

### 30 June 2022

A Correction to this paper has been published: https://doi.org/10.1186/s42787-022-00147-w

## References

Agarwal, R.P.: Difference Equations and Inequalities. Marcel Dekker, New York (2000)

Agarwal, R.P., Bohner, M., Grace, S.R., O’Regan, D.: Discrete Oscillation Theory. Hindawi Publishing Corporation, New York (2005)

Berezansky, L., Braverman, E.: On impulsive Beverton-Holt difference equations and their applications. J. Differ. Equ. Appl.

**10**, 851–868 (2004)Braverman, E.: On a discrete model of population dynamics with impulsive harvesting or recruitment. Nonlinear Anal.

**63**, e751–e759 (2005)Chen, L., Chen, F.: Positive periodic solution of the discrete Lasota Wazewska model with impulse. J. Differ. Equ. Appl.

**20**, 406–412 (2014)Danca, M., Feckan, M., Pospisil, M.: Difference equations with impulses. Opusc. Math.

**39**, 5–22 (2019)Danca, M., Feckan, M.: Hidden chaotic attractors and chaos suppression in an impulsive discrete economical supply and demand dynamical system. Commun. Nonlinear Sci. Numer. Simul.

**74**, 1–13 (2019)Elaydi, S.N.: An Introduction to Difference Equations, 3rd edn. Springer, NewYork (2005)

Hussein, H.A.: An explicit solution of third order difference equations. J. Comput. Appl. Math.

**54**, 307–311 (1994)Kelley, W.G., Peterson, A.C.: Difference Equations: An Introduction with Applications. Academic Press, Boston (1991)

Lakshmikantham, V., Bainov, D.D., Simieonov, P.S.: Oscillation Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)

Li, Q.L., Zhang, Z.G., Gou, F., Liang, H.Y.: Oscillation criteria for third-order difference equations with impulses. J. Comput. Appl. Math.

**225**, 80–86 (2009)Lu, W., Ge, W.G., Zhao, Z.H.: Oscillatory criteria for third-order nonlinear difference equations with impulses. J. Comput. Appl. Math.

**234**, 3366–3372 (2010)Mao, W., Wan, A.: Oscillatory and asymptotic behavior of solutions for nonlinear impulsive delay differential equations. Acta Math. Appl. Sin. Engl. Ser.

**22**, 387–396 (2006)Samoilenko, A.M., Perestynk, N.A.: Differential Equations with Impulse Effect. Visca Skola, Kiev (1987)

Samoilenko, A.M., Perestynk, N.A., Chapovsky, Y.: Impulsive Differential Equations. Series A, vol. 14. World Scientific Publishing Co. Pvt. Ltd., Singapore (1995)

Saker, S.H., Alzabut, J.O.: Oscillatory behavior of third order nonlinear difference equations with delayed argument. Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal.

**17**, 707–723 (2010)Saker, S.H., Alzabut, J.O., Mukheimer, A.: On the Oscillatory behavior for a certain class of third order nonlinear delay difference equations. Electron. J. Qual. Theory Differ. Equ.

**67**, 1–16 (2010)Saker, S.H., Selvarangam, S., Geetha, S., Thandapani, E., Alzabut, J.: Asymptotic behavior of third order delay difference equations with a negative middle term. Adv. Differ. Equ.

**2021**(248), 1–12 (2021)Stamova, I., Stamov, G.: Applied Impulsive Mathematical Models. CMS Books in Mathematics, Springer, Switzerland (2016)

Stefanova, K.: Computer simulations for delay impulsive discrete neural networks. Int. J. Differ. Equ. Appl.

**19**, 63–82 (2020)Tang, S., Cheke, R.A., Xiao, Y.: Optimal impulsive harvesting on non-autonomous Beverton-Holt difference equations. Nonlinear Anal.

**65**, 2311–2341 (2006)Tunc, C.: On the non-oscillation of solutions of some nonlinear differential equations of third order. Nonlinear Dyn. Syst. Theory.

**7**(4), 419–430 (2007)Tunc, E., Tunc, O.: On the oscillation of a class of damped fractional differential equations. Miskolc Math. Notes.

**17**(1), 647–656 (2016)Valdes, Juan. E. N., Tunc, C.: On the boundedness and oscillation of non-conformable Liénard equation. J. Fract. Calc. Appl.

**11**(2), 92–101 (2020)Wan, A., Mao, W.: Oscillation and asymptotic stability behaviour of a third order linear impulsive equation. J. Appl. Math. Comput.

**18**, 405–417 (2005)

## Acknowledgements

We would like to thank the three anonymous reviewers for their constructive comments and suggestions, which helped us improve the manuscript considerably.

## Funding

G. N. Chhatria is supported by University Grants Commission(UGC), New Delhi, Govt. of India, through the Letter No. F1-17.1/2017-18/RGNF-2017-18-SC-ORI-35849.

## Author information

### Authors and Affiliations

### Contributions

Each of the authors contributed equally to the research, writing and preparation of this manuscript. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Tripathy, A.K., Chhatria, G.N. Oscillation of linear third-order impulsive difference equations with variable coefficients.
*J Egypt Math Soc* **30**, 12 (2022). https://doi.org/10.1186/s42787-022-00146-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s42787-022-00146-x

### Keywords

- Oscillation
- Nonoscillation
- Third-order difference equation
- Discrete impulse

### Mathematics Subject Classification

- 39A10
- 39A12
- 39A21