ABSTRACT

This paper deals with the some oscillation criteria for the two-dimensional neutral delay difference system of the form $\Delta \left(x_n+p_n{x}_{n-k}\right)=b_n{y}_n,\Delta \left(y_n\right)=-a_n{x}_{n-l+1},n\in \mathbb{N}\left(n_0\right)=1,2,3,\cdots$ Examples illustrating the results are inserted.

Keywords:

Asymptotic, Two-Dimensional Neutral Delay Difference Systems

1. Introduction

Consider a nonlinear neutral type two-dimensional delay difference system of the form

$\begin{array}{l}\Delta \left(x_n+p_n{x}_{n-k}\right)=b_n{y}_n\\ \Delta \left(y_n\right)=-a_n{x}_{n-l+1},n\in \mathbb{N}\left(n_0\right)=1,2,3,\cdots \end{array}$ (1.1)

Subject to the following conditions:

$\left(c_1\right)$ , $\left\{a_n\right\}$ and $\left\{b_n\right\}$ are nonnegative real sequences such that

${\displaystyle {\sum }_{n=1}^{\infty }{b}_{n_0}}=\infty$ .

$\left(c_2\right)$ , $\left\{p_n\right\}$ is a positive real sequence.

$\left(c_3\right)$ , f,g : $ℝ\to ℝ$ are continous non-decreasing with $uf\left(u\right)>0$ , $ug\left(u\right)>0$ , for $u\ne 0$ and $\left|f\left(u\right)\right|\ge k\left|u\right|$ , where k is a constant.

$\left(c_4\right)$ , k and l are nonnegative integers.

Let $\theta =\max \left\{k,1\right\}$ . By a solution of the system (1.1), we mean a real sequence $\left\{x_n,y_n\right\}$ which is defined for all $n\ge n_0-\theta$ and satisfies (1.1) for all $n\in \mathbb{N}\left(n_0\right)$ .

Let W be the set of all solutions $X=\left\{x_n,y_n\right\}$ of the system (1.1) which exists for $n\in \mathbb{N}\left(n_0\right)$ and satisfies

$\sup \left\{\left|x_n\right|+\left|y_n\right|;n\ge N\right\}>0\text{foranyinteger}N\ge N_0.$

A real sequence defined on $\mathbb{N}\left(n_0\right)$ is said to be oscillatory if it is neither eventually positive nor eventually negative and nonoscillatory otherwise.

A solution $X\in W$ is said to be oscillatory if both components are oscillatory and it will be called nonoscillatory otherwise.

Some oscillation results for difference system (1.1) when $p_n=0$ for $n\in N\left(N_0\right)$ and $n-l+1=n$ have been presented in [1] , In particular when $b_n>0$ for all $n\in N\left(n_0\right)$ . The difference system (1.1) reduces to the second order nonlinear neutral difference equation

$\Delta \left(\frac{1}{b_n}\Delta \left(x_n+p_n{x}_{n-k}\right)\right)=-a_n{x}_{n-l+1}.$ (1.2)

If $b_n=1$ , in Equation (1.2), we have a second order linear equation

${\Delta }^2\left(x_n+p_n{x}_{n-k}\right)=-a_n{x}_{n-l+1}.$ (1.3)

For oscillation criteria regarding Equations (1.1)-(1.3), we refer to [2] - [12] and the references cited therein. In Section 2, we present some basic lemmas. In Section 3, we establish oscillation criteria for oscillation of all solutions of the system (1.1). Examples are given in Section 4 to illustrate our theorems.

2. Some Basic Lemmas

Denote $A_n={\displaystyle {\sum }_{s=n_0}^{n-1}{a}_s,n\in \mathbb{N}\left(n_0\right)},$ For any $x_n,$ we define $z_n$ by

$z_n=x_n+p_n{x}_{n-k}$ (2.1)

We begin with the following lemma.

2.1. Let $\left(c_1\right)-\left(c_4\right)$ hold and let $\left\{\left(x_n,y_n\right)\right\}\in W$ be a solution of system (1.1) with $\left\{x_n\right\}$ either eventually positive or eventually negative for $n\in \mathbb{N}\left(n_0\right)$ . Then $\left\{\left(x_n,y_n\right)\right\}$ is nonoscillatory and $\left\{z_n\right\}$ and $\left\{y_n\right\}$ are monotone for $n\in \mathbb{N}\left(N\right)\text{for}N\in \mathbb{N}\left(n_0\right)$ .

Proof. Let $\left\{\left(x_n,y_n\right)\right\}\in W$ and let $\left\{x_n\right\}$ be nonoscillatory on $\mathbb{N}\left(n_0\right)$ . Then from the second equation of system (1.1), we have $\Delta y_n\le 0$ for all $n\ge N_1\in \mathbb{N}\left(n_0\right)$ and $\Delta y_n$ ,and $y_n$ are not identically zero for infinitely many values of n. Thus $\left\{y_n\right\}$ is monotone for $n\ge N$ . Hence $\left\{y_n\right\}$ is either eventually positive or eventually negative for $n\ge N_1$ . Then, $\left\{\left(x_n,y_n\right)\right\}$ is nonoscillatory. Further from the first equation of the system (1.1). We have $\Delta z_n>0\text{or}\Delta z_n<0$ eventually. Hence $\left\{z_n\right\}$ is monotone and nonoscillatory for all $n\ge N\ge N_1$ . The proof is similar when $\left\{x_n\right\}$ is eventually negative.

Lemma 2.2. In addition to conditions $\left(c_1\right)-\left(c_2\right)$ assume that $0<p_n\le 1$ for all $n\in \mathbb{N}\left(n_0\right)$ . Let $\left\{x_n\right\}$ be a nonoscillatory solution of the inequality

$x_n\left(x_n+p_n{x}_{n-k}\right)\ge 0$ (2.2)

for sufficiently large n. If for $n-k$ for all $n\in \mathbb{N}\left(n_0\right)$ . Then, $\left\{x_n\right\}$ is bounded.

Proof. Without loss of generality we may assume that $\left\{x_n\right\}$ be an eventually positive solution of the inequality (2.1), the proof for the case $\left\{x_n\right\}$ eventually negative is similar. From (2.1) we have

$\left(x_n+p_n{x}_{n-k}\right)\ge 0,\text{for}n\ge \mathbb{N}\left(n_0\right).$

and $0<p_n\le 1$ , we have from (2.2), $x_{n-k}\le p_n{x}_{n-k}\le x_n$ for all $n\ge N$ . Hence $\left\{x_n\right\}$ is bounded.

Next, we state a lemma whose proof can be found in [1] .

Lemma 2.3. Assume that $\left\{a_n\right\}$ is a non negative real sequence and not identically zero for infinitely many values of n and l is a positive integer. If

$\underset{n\to \infty }{\lim \inf }{\displaystyle \sum }_{s=n-l+1}^{n-1}{a}_s>{\left(\frac{l}{l+1}\right)}^{l+1}$

Then the difference inequality

$\Delta y_n+a_n{x}_{n-l+1}\le 0n\in \mathbb{N}\left(n_0\right)$

cannot have an eventually positive solution and

$\Delta y_n+a_n{x}_{n-l+1}\ge 0n\in \mathbb{N}\left(n_0\right)$

cannot have an eventually negative solution.

3. Oscillation Theorems for the System (1.1)

Theorem 3.1. Assume that $\left\{p_n\right\}$ is bounded and there exists an integer j such that $l>j+k+2$ . If

$\lim {\sup }_{n\to \infty }{A}_n{\displaystyle {\sum }_{s=n-l+1}^{\infty }{a}_s>\frac{1}{k\beta }}$ (3.1)

and

$\underset{n\to \infty }{\lim }\inf {\displaystyle \sum }_{s=n-\left(l-j-k\right)}^{n-1}k\beta b_s\left({\displaystyle \sum }_{t=s}^{s+j}\frac{a_t}{p_{t-l+k+1}}\right)>{\left(\frac{l-j-k}{l-j-k+2}\right)}^{l-j-k+2}$ (3.2)

Then every solution $\{(x_n,y_n)\}\in W$ is a nonoscillatory solution of system (1.1), with $\left\{x_n\right\}$ bounded. Without loss of generality we may assume that $\left\{x_n\right\}$ is eventually positive and bounded for all $n\ge n_1\in N\left(n_0\right)$ . From the second equation of (1.1), we obtain $\Delta y_n\le 0$ for sufficiently large $n\ge n_2\in N\left(n_1\right)$ . In view of Lemma 2.1, we have two cases for sufficiently large $n_3\in N\left(n_2\right):$

1) $y_n<0$ for $n\ge n_3$ ;

2) $y_n>0$ for $n\ge n_3$ .

Case (1). Because $\left\{y_n\right\}$ is negative and nonincreasing there is constant L > 0. Such that

$y_n\le -L\text{forall}n\ge n_3$ (3.3)

Since $\left\{x_n\right\}$ and $\left\{p_n\right\}$ are bounded. $\left\{z_n\right\}$ defined by (2.1) is bounded. Summing the first equation of (1.1) from $n_3$ to $n-1$ and then using (3.3), we obtain

$z_n-z_{n_0}\le -L{\displaystyle {\sum }_{s=n_3}^{n-1}{a}_s,n}\ge n_3.$ (3.4)

From (3.3), we see that ${\lim }_{n\to \infty }{z}_n=-\infty$ which contradicts the fact that $\left\{z_n\right\}$ is bounded. Case (1) cannot occur.

Case (2). Let $z_n>0$ for $n\ge n_4$ where $n_4\in N\left(n_3\right)$ is sufficiently large. Because $\left\{z_n\right\}$ is nondecreasing there is a positive constant M, such that

$z_n\ge M,\text{forall}n\ge n_4.$ (3.5)

From (2.1), we have $z_n>x_n$ , and by hypothesis, we obtain

$a_n{z}_{n-l+1}\ge a_n\frac{x_{n-l+1}}{k},n\ge n_5\in N\left(n_4\right)$ (3.6)

summing the second equation of (1.1) from n to i, using (3.5) and then letting $i\to \infty$ , we obtain

$y_n\ge k{\displaystyle \sum }_{s=n}^{\infty }{a}_s{z}_{s-l+1},n\ge n_5.$ (3.7)

From condition (3.1), we have

$\frac{1}{k\beta }<\underset{n\to \infty }{\lim }\sup A_s{a}_s$ (3.8)

we claim that the condition (3.1) implies

${\displaystyle \sum }_{n=N}^{\infty }{A}_n{a}_n=\infty ,N\in N\left(n_0\right).$ (3.9)

Otherwise, if ${\displaystyle {\sum }_{n=N}^{\infty }{A}_n{a}_n}<\infty$ , we can choose an integer $N_1\ge N$ . So large that ${\displaystyle {\sum }_{n=N_1}^{\infty }{A}_n{a}_n}<\frac{1}{k\beta }$ which contradicts (3.6).

Using a summation by parts formula, we have

${\displaystyle \sum }_{s=N}^{n-1}{A}_{s+1}\Delta g\left(y_s\right)=A_n{y}_n-A_N{y}_N-z_n-z_N.$ (3.10)

From (3.3), (3.4) and (3.6) and the second equation of (1.1), we have

$\begin{array}{c}{\displaystyle \sum }_{s=N}^{n-1}{A}_{s+1}\Delta g\left(y_s\right)\le \beta {\displaystyle \sum }_{s=N}^{n-1}{A}_{s+1}\Delta y_s\\ \le -Mk\beta {\displaystyle {\sum }_{s=N}^{n-1}{A}_{s+1}{y}_s}\\ \le -Mk\beta {\displaystyle {\sum }_{s=N}^{n-1}{A}_s{y}_s}\end{array}$

$Mk\beta {\displaystyle {\sum }_{s=N}^{n-1}{A}_s{y}_s=-A_n{y}_n}+A_N{y}_N+z_n-z_N,n\ge N.$

combining (3.6) with (3.8), we obtain

$\underset{n\to \infty }{\lim }\left(z_n-A_n{y}_n\right)=\infty .$

and

$z_n\ge A_{n}g\left(y_n\right)\ge \beta A_n{y}_n,n\ge n_6\in \mathbb{N}\left(n_5\right).$

The last inequality together with (3.4) and the monotonocity of $\left\{z_n\right\}$ implies

$\begin{array}{l}{z}_n\ge k\beta A_n{\displaystyle \sum }_{s=n}^{\infty }{a}_s{z}_{s-l+1}\ge k\beta A_n{\displaystyle \sum }_{s=n-l+1}^{\infty }{a}_s{z}_{s-l+1}\\ \ge k\beta A_n{z}_n{\displaystyle \sum }_{s=n+l-1}^{\infty }{a}_s\end{array}$

and $1\ge k\beta A_n{z}_n{\displaystyle {\sum }_{s=n+l-1}^{\infty }{a}_s}$ , $n\in \mathbb{N}\left(n_6\right)$ which contradicts (1.1). This case cannot occur. The proof is complete.

Theorem 3.2. Assume that $0<p_n\le 1$ , then there exists an integer j such that $l>j+k$ and the conditions (3.1) and (3.2) are satisfied. Then all solutions of (1.1) are oscillatory.

Proof . Let $\left\{\left(x_n,y_n\right)\right\}\in W$ be a nonoscillatory solution of (1.1). Without loss of generality we may assume that $\left\{x_n\right\}$ is positive for n $n\in \mathbb{N}\left(n_1\right)$ . As in the proof of above theorem we have two cases.

Case (1). Analogus to the proof of case (1) of above theorem, we can show that ${\lim }_{n\to \infty }{z}_n=-\infty$ . By Lemma 2.2, $\left\{x_n\right\}$ is bounded and hence $\left\{z_n\right\}$ is bounded which is a contradiction. Hence case (1) cannot occur.

Case (2). The proof of case (2) is similar to that of the above theorem and hence the details are omitted. The proof is now complete.

Theorem 3.3. Assume that $0<p_n\le 1$ and

$\lim {\sup }_{n\to \infty }{\displaystyle {\sum }_{s=n-k-l+1}^{n-1}\frac{k\beta \left(A_n-A_{s+1}\right)}{p_{s-l-k+1}}}{a}_s>1$ . (3.14)

${\displaystyle \sum }_{n=N}^{\infty }{b}_n\left({\displaystyle \sum }_{s=n}^{\infty }{a}_s\right)=\infty ,N\in N\left(n_0\right)$ (3.15)

$\underset{n\to \infty }{\lim }\sup \left(k\beta A_n{\displaystyle \sum }_{s=n}^{\infty }{a}_s\right)>1.$ (3.16)

Then all solutions of (1.1) are oscillatory.

Proof. Let $\left\{\left(x_n,y_n\right)\right\}\in W$ be a nonoscillatory solution of (1.1). Without loss of generality we may assume that $\left\{x_n\right\}$ is positive for $n\in \mathbb{N}\left(n_1\right)$ . As in the proof of above theorem we have two cases.

Case 1. From (2.1), we have

$z_n>p_n{x}_{n-k},n\ge n_3\in N\left(n_0\right)$

and

$f\left(x_{n-l+1}\right)\ge k{x}_{n-l+1}>k\frac{z_{n-l-k+1}}{p_{n-l-k+1}},n\ge n_4$ (3.17)

where $n_4\in N\left(n_3\right)$ is sufficiently large. Then the following equality

$z_n=z_i+\left(A_n-A_i\right)y_i+{\displaystyle {\sum }_{s=i}^{n-1}\left(A_n-A_{s+1}\right)}\Delta y_s$

$z_n<{\displaystyle \sum }_{s=i}^{n-1}\left(A_n-A_{s+1}\right)\Delta y_s,n>i\ge n_5.$

Combining the last inequality with the second equations of (1.1) and (3.17), we have

$\begin{array}{c}{z}_n<\beta {\displaystyle \sum }_{s=i}^{n-1}\left(A_n-A_{s+1}\right)\left(-a_{s}f\left(x_{s-l}\right)\right)\\ <k\beta \frac{{\displaystyle {\sum }_{s=i}^{n-1}\left(A_n-A_{s+1}\right)}{a}_s{z}_{s-l-k+1}}{p_{s-l-k+1}},n>i\ge n_5.\end{array}$

Let $i=n-l+k+1$ and using the monotonocity of $\left\{z_n\right\}$ , from the last inequality, we obtain

$z_n<z_n{\displaystyle {\sum }_{s=n-l-k+1}^{n-1}k\beta \frac{\left(A_n-A_{s+1}\right)a_s}{p_{s+l+k-1}}}$

and

$1>z_n{\displaystyle \sum }_{s=n-l-k+1}^{n-1}k\beta \frac{\left(A_n-A_{s+1}\right)a_s}{p_{s+l+k-1}}$

which contradicts the condition (3.14).

Case 2. The proof for this case is similar to that of Theorem (3.1). Here we use condition (3.16) instead of condition (2.1). The proof is complete.

4. Examples

Example 4.1. Consider the difference system

$\begin{array}{l}\Delta \left(x_n+\frac{1}{2}{x}_{n-3}\right)=\frac{1}{n}{y}_n\\ \Delta y_n=-n{x}_{n-2},n\ge 1.\end{array}$ (4.1)

The conditions (3.1) and (3.2) are

$\underset{n\to \infty }{\lim \sup }\frac{1}{n}{\displaystyle \sum }_{s=n+2}^{\infty }s=\infty .$

$\underset{n\to \infty }{\lim \inf }{\displaystyle \sum }_{s=n-4}^{n-3}\frac{1}{s}\left({\displaystyle \sum }_{t=s-1}^{s}2t\right)=4.$

All conditions of Theorem 3.2 are satisfied and so all solutions of the system (4.1) are oscillatory.

Example 4.2. Consider the difference systems

$\begin{array}{l}\Delta \left(x_n+\frac{1}{4}{x}_{n-2}\right)=\left(n+1\right)y_n\\ \Delta y_n=\frac{-c}{n+1}{x}_{n-1},n\ge 1,\end{array}$ (4.2)

where c is a positive constant. The conditions (3.1) and (3.2) are

$\underset{n\to \infty }{\lim }\sup \left(n+1\right){\displaystyle \sum }_{s=n+1}^{\infty }\frac{c}{s+1}=\infty$

and

$\underset{n\to \infty }{\lim \inf }{\displaystyle \sum }_{s=n-3}^{n-2}\left(s+1\right)\left({\displaystyle \sum }_{t=s}^{s+1}\frac{-4c}{t+1}\right)=12c.$

For $c>\frac{1}{12}$ , all conditions of Theorem 3.2 are satisfied and so all solutions of

the system (4.2) are oscillatory.

Cite this paper

Thangavelu, K. and Saraswathi, G. (2017) Oscillation and Asymptotic Behaviour of Solutions of Nonlinear Two-Dimensional Neutral Delay Di- fference Systems. Journal of Applied Mathe- matics and Physics, 5, 1215-1221. https://doi.org/10.4236/jamp.2017.56104

References