Abstract

This paper is concerned with local stability, oscillatory character of positive solutions to the system of the two nonlinear difference equations , , where , , , and , .

1. Introduction

Difference equation or discrete dynamical system is a diverse field which impacts almost every branch of pure and applied mathematics. Every dynamical system determines a difference equation and vice versa. Recently, there has been great interest in studying difference equation systems. One of the reasons for this is a necessity for some techniques which can be used in investigating equations arising in mathematical models describing real life situations in population biology, economics, probability theory, genetics, psychology, and so forth.

The theory of difference equations occupies a central position in applicable analysis. There is no doubt that the theory of difference equations will continue to play an important role in mathematics as a whole. Nonlinear difference equations of order greater than one are of paramount importance in applications. Such equations also appear naturally as discrete analogues and as numerical solutions of differential and delay differential equations which model various diverse phenomena in biology, ecology, physiology, physics, engineering, and economics. It is very interesting to investigate the behavior of solutions of a system of nonlinear difference equations and to discuss the local asymptotic stability of their equilibrium points.

Amleha et al. [1] investigated global stability, boundedness character, and periodic nature of the difference equation: where and .

El-Owaidy et al. [2] investigated local stability, oscillation, and boundedness character of the difference equation:

And also Stević [3] studied dynamical behavior of this difference equation. Other related difference equation readers can refer to [418].

Papaschinopoulos and Schinas [6] studied the system of two nonlinear difference equation:where , are positive integers.

Clark and Kulenović [9, 10] investigated the system of rational difference equations:where and the initial conditions and are arbitrary nonnegative numbers.

Our aim in this paper is to investigate local stability, oscillation, and boundedness character of positive solutions of the system of difference equations:where , and initial conditions , .

Firstly we recall some basic definitions that we need in the sequel.

is bounded and persists if there exist positive constants such that

A solution of (5) is said to be nonoscillatory about if both and are either eventually positive or eventually negative. Otherwise, it is said to be oscillatory about .

A solution of (5) is said to be nonoscillatory about equilibrium if both and are either eventually positive or eventually negative. Otherwise, it is said to be oscillatory about equilibrium .

2. Main Results

In this section, we will prove the following results concerning system (5).

Theorem 1. The following statements are true:(i)The system (5) has a positive equilibrium point .(ii)The equilibrium point of system (5) is locally asymptotically stable if .(iii)The equilibrium point of system (5) is unstable if .(iv)The equilibrium point of system (5) is a sink or an attracting equilibrium if .

Proof. (i) Let be positive numbers such thatThen from (7) we have that the positive equilibrium point .
(ii) The linearized equation of system (5) about the equilibrium point iswhereThe characteristic equation of (8) isBy using the linearized stability theorem [11], the equilibrium point is locally asymptotically stable iff all the roots of characteristic equation (10) lie inside unit disk, in other words, iff That is,
(iii) From the proof of (ii), it is true.
(iv) By using the linearized stability theorem [11], the equilibrium point is a sink or attracting equilibrium iff It only needs . This completes the proof of the theorem.

Theorem 2. Let , and let be a solution of system (3) such that Then the following statements are true:(i), .(ii), .

Proof. Since , so and so ; then We haveThusSimilarly we haveThereforeAlsoThusBy induction, we haveThusSoThis completes the proof.

Theorem 3. Let be a positive solution of system (5) which consists of at least two semicycles. Then is oscillatory.

Proof. Consider the following two cases.
Case  1. Let ThenThereforeCase  2. LetThenThereforeThis completes the proof.

Theorem 4. Let be a positive solution of system (5). Then the following statements are true:(i), for , if .(ii), for , if .

Proof. (i) SincethusBy induction, assuming, for , we have then, for , we have Thus(ii) The proof of (ii) is similar to (i), so we omit it.

Remark 5. If , then system (5) has a unique positive equilibrium . If , then system (5) has multipositive equilibrium; however system (5) always has an equilibrium . In this paper, we only investigate the dynamical behavior of the solution to this system associated with the equilibrium . It is of further interest to study the behavior of system (5) about other equilibriums in the future.

3. Numerical Results

For confirming the results of this section, we consider numerical examples, which represent different types of solutions to (5).

Example 1. When the initial conditions , , , , and , , then the solution of system (5) converges to (see Figure 1, Theorem 1).

Example 2. When the initial conditions , , , , and , , then the solution of system (5) is locally unstable (see Figure 2, Theorem 1).

Example 3. When the initial conditions , , , , and , , then , , , and (see Figure 3, Theorem 2).

Example 4. When the initial conditions , , , , and , , then and (see Figure 4, Theorem 4).

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The author would like to thank the Editor and the anonymous referees for their careful reading and constructive suggestions.