Skip to main content

Dynamical behavior of a third-order rational fuzzy difference equation

Abstract

According to a generalization of division (g-division) of fuzzy numbers, this paper is concerned with the boundedness, persistence and global behavior of a positive fuzzy solution of the third-order rational fuzzy difference equation

$$x_{n+1}=A+\frac{x_{n}}{x_{n-1}x_{n-2}},\quad n=0,1,\ldots, $$

where A and initial values \(x_{0}\), \(x_{-1}\), \(x_{-2}\) are positive fuzzy numbers. Moreover, some examples are given to demonstrate the effectiveness of the results obtained.

Introduction

It is well known that difference equations appear naturally as discrete analogs and as numerical solutions of differential equations and delay differential equations having many applications in economics, biology, computer science, control engineering, etc. (see, for example, [111] and the references therein). Recently there has been a lot of work concerning the global asymptotic stability, the periodicity, and the boundedness of nonlinear difference equations. Moreover, similar results have been derived for systems of two nonlinear difference equations.

Papaschinopoulos and Schinas [12] investigated the global behavior for a system of the following two nonlinear difference equations:

$$x_{n+1}=A+\frac{y_{n}}{x_{n-p}},\qquad y_{n+1}=A+ \frac{x_{n}}{y_{n-q}},\quad n=0,1,\ldots, $$

where A is a positive real number, p, q are positive integers, and \(x_{-p},\ldots,x_{0}\), \(y_{-q},\ldots,y_{0}\) are positive real numbers.

In 2005, Yang [13] studied the global behavior of the following system:

$$x_{n}=A+\frac{y_{n-1}}{x_{n-p}y_{n-q}},\qquad y_{n}=A+ \frac {x_{n-1}}{x_{n-r}y_{n-s}}, \quad n=1,2,\ldots, $$

where \(p\ge2\), \(q\ge2\), \(r\ge2\), \(s\ge2\), A is a positive constant, and initial values \(x_{1-\max\{p,r\}}, x_{2-\max\{p,r\}},\ldots,x_{0}\), \(y_{1-\max\{q,s\}},y_{2-\max\{q,s\}},\ldots,y_{0}\) are positive real numbers.

In 2012, Zhang et al. [14] investigated the global behavior for a system of the following third-order nonlinear difference equations:

$$x_{n+1}=\frac{x_{n-2}}{B+y_{n-2}y_{n-1}y_{n}},\qquad y_{n+1}=\frac{ y_{n-2}}{A+x_{n-2}x_{n-1}x_{n}}, $$

where \(A, B\in(0,\infty)\), and initial values \(x_{-i},y_{-i}\in(0,\infty )\), \(i=0,1,2\).

Ibrahim and Zhang [15] studied dynamics of the third-order system of rational difference equations

$$x_{n+1}=\frac{\alpha_{1}y_{n-2}}{\beta_{1}+\gamma_{1}x_{n}x_{n-1}x_{n-2}},\qquad y_{n+1}=\frac{\alpha_{2}x_{n-2}}{\beta_{2}+\gamma_{2}y_{n}y_{n-1}y_{n-2}}, $$

\(n=0,1,2,\ldots\) , where the parameters \(\alpha_{1}\), \(\alpha_{2}\), \(\beta_{1}\), \(\beta _{2}\), \(\gamma_{1}\), \(\gamma_{2}\) and initial conditions \(x_{0}\), \(x_{-1}\), \(x_{-2}\), \(y_{0}\), \(y_{-1}\), \(y_{-2}\) are positive real numbers.

Although difference equations and a system of difference equations are sometimes very simple in their forms, they are extremely difficult to understand through the behavior of their solutions. On the other hand, these models inherently process uncertainty or vagueness. In order to consider these uncertain factors, fuzzy set theory is a powerful tool for modeling uncertainty and for processing vague or subjective information in a mathematical model. Particularly, the use of fuzzy difference equations is a natural way to model the dynamical systems with embedded uncertainty.

Fuzzy difference equation is a difference equation where parameters and initial values are fuzzy numbers, and its solutions are sequences of fuzzy numbers. Due to the applicability of fuzzy difference equation for the analysis of phenomena where imprecision is inherent, this class of difference equations and its applications is a very important topic from theoretical point of view. Recently there has been an increasing interest in the study of fuzzy difference equations (see [1626]). For example, fuzzy difference equations are suitable in finance problems. Chrysafis et al. [25] studied the fuzzy difference equation of finance. Their research is in finance which is about the alternative methodology to study the time value of money, the method of fuzzy difference equations. Studies have shown that the fuzzy difference equations have a potential to be applied in the theory of fuzzy time series, fuzzy differential equations and stochastic fuzzy differential equations. Readers can refer to [2732].

Motivated by the discussions above, according to a generalization of division (g-division) of fuzzy numbers, we study the behavior of solutions of the following fuzzy difference equation:

$$ x_{n+1}=A+\frac{x_{n}}{x_{n-1}x_{n-2}},\quad n=0,1,\ldots, $$
(1)

where A and initial conditions \(x_{-i}, y_{-i}\in(0,\infty)\), \(i=0,1,2\), are positive fuzzy numbers.

The aim of this paper is to study the existence of positive solutions of (1). Furthermore, we give some conditions so that every positive solution of (1) is bounded and persistent. Finally, under some conditions we prove that (1) has a unique positive equilibrium x and every positive solution of (1) tends to x as \(n\rightarrow\infty\). Our results extend the result of reference [20].

Preliminaries and definitions

For the convenience of the readers, we give the following definitions.

Definition 2.1

[20]

\(A: R\rightarrow[0,1]\) is said to be a fuzzy number if it satisfies conditions (i)-(iv) written below:

  1. (i)

    A is normal, i.e., there exists \(x\in R\) such that \(A(x)=1\);

  2. (ii)

    A is fuzzy convex, i.e., for all \(t\in[0,1]\) and \(x_{1}, x_{2}\in R\) such that

    $$A\bigl(tx_{1}+(1-t)x_{2}\bigr)\geq\min\bigl\{ A(x_{1}),A(x_{2})\bigr\} ; $$
  3. (iii)

    A is upper semicontinuous;

  4. (iv)

    the support of A, \(\operatorname{supp}A=\overline{\bigcup_{\alpha\in(0,1]}[A]_{\alpha }}=\overline{\{x:A(x)>0\}}\) is compact.

For \(\alpha\in(0,1]\), we define the α-cuts of fuzzy number A with \([A]_{\alpha}=\{x\in R: A(x)\geq\alpha\}\) and for \(\alpha=0\), the support of A is defined as \(\operatorname{supp}A=[A]_{0}=\overline{\{x\in R|A(x)>0\}}\). It is clear that \([A]_{\alpha}\) is a closed interval. A fuzzy number is positive if \(\operatorname{supp} A\subset(0,\infty)\).

It is obvious that if A is a positive real number, then A is a fuzzy number such that \([A]_{\alpha}=[A, A]\), \(\alpha\in(0,1]\). Then we say that A is a trivial fuzzy number.

Let A, B be fuzzy numbers with \([A]_{\alpha}=[A_{l,\alpha},A_{r,\alpha}]\), \([B]_{\alpha}=[B_{l,\alpha },B_{r,\alpha}]\), \(\alpha\in[0,1]\), and \(k>0\), we define addition and multiplication as follows:

$$\begin{aligned}& {[A+B]_{\alpha}}=[A_{l,\alpha}+B_{l,\alpha},A_{r,\alpha}+B_{r,\alpha}], \end{aligned}$$
(2)
$$\begin{aligned}& {[kA]_{\alpha}}=[kA_{l,\alpha},kA_{r,\alpha}]. \end{aligned}$$
(3)

The collection of all fuzzy numbers with addition and multiplication as defined by Eqs. (2) and (3) is denoted by \(E^{1}\).

Definition 2.2

[20]

The distance between two arbitrary fuzzy numbers A and B is defined as follows:

$$ D(A,B)=\sup_{\alpha\in[0,1]}\max\bigl\{ \vert A_{l,\alpha}-B_{l,\alpha }\vert ,\vert A_{r,\alpha}-B_{r,\alpha} \vert \bigr\} . $$
(4)

It is clear that \((E^{1},D)\) is a complete metric space.

Definition 2.3

[33]

Let \(A,B\in E^{1}\) have α-cuts \([A]_{\alpha}=[A_{l,\alpha}, A_{r,\alpha}]\), \([B]_{\alpha}=[B_{l,\alpha}, B_{r,\alpha}]\), with \(0\notin[B]_{\alpha}\), \(\forall\alpha\in[0,1]\). The g-division \(\div_{\mathrm{g}}\) is the operation that calculates the fuzzy number \(C=A\div_{\mathrm{g}}B\) having level cuts \([C]_{\alpha}=[C_{l,\alpha},C_{r,\alpha}]\) (here \([A]_{\alpha}^{-1}=[1/A_{r,\alpha},1/A_{l,\alpha}]\)) defined by

$$ [C]_{\alpha}=[A]_{\alpha}\div_{\mathrm{g}}[B]_{\alpha}\quad \Longleftrightarrow\quad \left \{ \begin{array}{l@{\quad}l} (\mbox{i}) & [A]_{\alpha}=[B]_{\alpha}[C]_{\alpha}\\ \mbox{or}& \\ (\mbox{ii})& [B]_{\alpha}=[A]_{\alpha}[C]_{\alpha}^{-1} \end{array} \right . $$
(5)

provided that C is a proper fuzzy number (\(C_{l,\alpha}\) is nondecreasing, \(C_{r,\alpha}\) is nondecreasing, \(C_{l,1}\le C_{r,1}\)).

Remark 2.1

According to [33], in this paper the fuzzy number is positive, if \(A\div_{\mathrm{g}} B=C\in E^{1}\) exists, it is easy to see that the following two cases are possible.

Case (i). If \(A_{l,\alpha}B_{r,\alpha}\le A_{r,\alpha }B_{l,\alpha}\), \(\forall\alpha\in[0,1]\), then \(C_{l,\alpha}=\frac {A_{l,\alpha}}{B_{l,\alpha}}\), \(C_{r,\alpha}=\frac{A_{r,\alpha }}{B{r,\alpha}}\).

Case (ii). If \(A_{l,\alpha}B_{r,\alpha}\ge A_{r,\alpha}B_{l,\alpha }\), \(\forall\alpha\in[0,1]\), then \(C_{l,\alpha}=\frac{A_{r,\alpha }}{B_{r,\alpha}}\), \(C_{r,\alpha}=\frac{A_{l,\alpha}}{B{l,\alpha}}\).

The fuzzy analog of the boundedness and persistence (see [18, 19]) is as follows: a sequence of positive fuzzy numbers \((x_{n})\) persists (resp. is bounded) if there exists a positive real number M (resp. N) such that

$$\operatorname{supp} x_{n}\subset[M,\infty)\qquad \bigl(\mbox{resp. } \operatorname{supp} x_{n}\subset (0,N]\bigr),\quad n=1,2, \ldots. $$

A sequence of positive fuzzy numbers \((x_{n})\) is bounded and persists if there exist positive real numbers \(M, N>0\) such that

$$\operatorname{supp} x_{n}\subset[M,N],\quad n=1, 2, \ldots. $$

A sequence of positive fuzzy numbers \((x_{n})\), \(n=1, 2, \ldots \) , is unbounded if the norm \(\|x_{n}\|\), \(n=1,2,\ldots\) , is an unbounded sequence.

\(x_{n}\) is a positive solution of (1) if \((x_{n})\) is a sequence of positive fuzzy numbers which satisfies (1). A positive fuzzy number x is called a positive equilibrium of (1) if

$$x=A+\frac{x}{x^{2}}. $$

Let \((x_{n})\) be a sequence of positive fuzzy numbers and x be a positive fuzzy number, \(x_{n} \rightarrow x\) as \(n\rightarrow\infty\) if \(\lim_{n\rightarrow\infty}D(x_{n},x)=0\).

Main results

Existence of solution of Eq. (1)

Firstly we study the existence of positive solutions of (1). We need the following lemma.

Lemma 3.1

[20]

Let \(f: R^{+}\times R^{+}\times R^{+}\times R^{+}\rightarrow R^{+}\) be continuous, A, B, C, D be fuzzy numbers. Then

$$ \bigl[f(A,B,C,D)\bigr]_{\alpha}=f\bigl([A]_{\alpha},[B]_{\alpha},[C]_{\alpha},[D]_{\alpha}\bigr),\quad \alpha\in(0,1]. $$
(6)

Theorem 3.1

Consider Eq. (1) where A is a positive fuzzy number. Then, for any positive fuzzy numbers \(x_{-2}\), \(x_{-1}\), \(x_{0}\), there exists a unique positive solution \(x_{n}\) of (1) with initial conditions \(x_{-2}\), \(x_{-1}\), \(x_{0}\).

Proof

The proof is similar to that of Proposition 2.1 in [19]. Suppose that there exists a sequence of fuzzy numbers \((x_{n})\) satisfying (1) with initial conditions \(x_{-2}\), \(x_{-1}\), \(x_{0}\). Consider the α-cuts, \(\alpha\in(0,1]\),

$$ [x_{n}]_{\alpha}=[L_{n,\alpha},R_{n,\alpha}], \quad n=0,1,2,\ldots,\qquad [A]_{\alpha}=[A_{l,\alpha}, A_{r,\alpha}]. $$
(7)

It follows from (1), (7) and Lemma 3.1 that

$$\begin{aligned}{} [x_{n+1}]_{\alpha} =&[L_{n+1,\alpha},R_{n+1,\alpha}]= \biggl[A+\frac {x_{n}}{x_{n-1}x_{n-2}} \biggr]_{\alpha}=[A]_{\alpha}+ \frac{[x_{n}]_{\alpha}}{[x_{n-1}]_{\alpha}\times [x_{n-2}]_{\alpha}} \\ =&[A_{l,\alpha},A_{r\alpha}]+\frac{[L_{n,\alpha},R_{n,\alpha }]}{[L_{n-1,\alpha}L_{n-2,\alpha}, R_{n-1,\alpha}R_{n-2,\alpha}]}. \end{aligned}$$

Noting Remark 2.1, one of the following two cases holds.

Case (i)

$$ [x_{n+1}]_{\alpha}=[L_{n+1,\alpha},R_{n+1,\alpha}]= \biggl[A_{l,\alpha }+\frac{L_{n,\alpha}}{L_{n-1,\alpha}L_{n-2,\alpha}}, A_{r,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha}R_{n-2,\alpha}} \biggr]. $$
(8)

Case (ii)

$$ [x_{n+1}]_{\alpha}=[L_{n+1,\alpha},R_{n+1,\alpha}]= \biggl[A_{l,\alpha }+\frac{R_{n,\alpha}}{R_{n-1,\alpha}R_{n-2,\alpha}}, A_{r,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha}L_{n-2,\alpha}} \biggr]. $$
(9)

If Case (i) holds true, it follows that for \(n\in\{0,1,2,\ldots\}\), \(\alpha\in(0,1]\),

$$ L_{n+1,\alpha}=A_{l,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha }L_{n-2,\alpha}},\qquad R_{n+1,\alpha}=A_{r,\alpha}+\frac{R_{n,\alpha }}{R_{n-1,\alpha}R_{n-2,\alpha}}. $$
(10)

Then it is obvious that for any initial condition \((L_{j,\alpha},R_{j,\alpha})\), \(j=-2, -1,0\), \(\alpha\in(0,1]\), there exists a unique solution \((L_{n,\alpha},R_{n,\alpha})\). Now we prove that \([L_{n,\alpha},R_{n,\alpha}]\), \(\alpha\in(0,1]\), where \((L_{n,\alpha},R_{n,\alpha})\) is the solution of system (10) with initial conditions \((L_{j,\alpha},R_{j,\alpha})\), \(j=-2, -1,0\), determines the solution \(x_{n}\) of (1) with initial conditions \(x_{-2}\), \(x_{-1}\), \(x_{0}\) such that

$$ [x_{n}]_{\alpha}=[L_{n,\alpha},R_{n,\alpha}], \quad \alpha\in(0,1], n=0,1,2,\ldots. $$
(11)

From reference [18] and since \(x_{j}\), \(j=-2, -1,0\), are positive fuzzy numbers for any \(\alpha_{1},\alpha_{2}\in(0,1]\), \(\alpha_{1}\leq\alpha_{2}\), we have

$$ 0< L_{j,\alpha_{1}}\leq L_{j,\alpha_{2}}\leq R_{j,\alpha_{2}}\leq R_{j,\alpha_{1}},\quad j=-2, -1, 0. $$
(12)

We claim that

$$ L_{n,\alpha_{1}}\leq L_{n,\alpha_{2}}\leq R_{n,\alpha_{2}}\leq R_{n,\alpha_{1}}, \quad n=0,1,2,\ldots. $$
(13)

We prove it by induction. It is obvious from (12) that (13) holds true for \(n=0,1,2\). Suppose that (13) are true for \(n\le k\), \(k\in \{1,2,\ldots\}\). Then, from (10), (12) and (13) for \(n\le k\), it follows that

$$\begin{aligned} L_{k+1,\alpha_{1}} =&A_{l,\alpha_{1}}+\frac{L_{k,\alpha_{1}}}{L_{k-1,\alpha_{1}}L_{k-2,\alpha_{1}}} \leq A_{l,\alpha}+ \frac{L_{k,\alpha_{2}}}{L_{k-1,\alpha_{2}}L_{k-2,\alpha _{2}}}=L_{k+1,\alpha_{2}} \\ =&A_{l,\alpha}+\frac{L_{k,\alpha_{2}}}{L_{k-1,\alpha_{2}}L_{k-2,\alpha _{2}}}\le A_{r,\alpha} + \frac{R_{k,\alpha_{2}}}{R_{k-1,\alpha_{2}}R_{k-2,\alpha _{2}}}=R_{k+1,\alpha_{2}} \\ =&A_{r,\alpha}+\frac{R_{k,\alpha_{2}}}{R_{k-1,\alpha_{2}}R_{k-2,\alpha _{2}}}\le A_{r,\alpha}+\frac{R_{k,\alpha_{1}}}{R_{k-1,\alpha_{1}}R_{k-2,\alpha _{1}}}=R_{k+1,\alpha_{1}}. \end{aligned}$$

Therefore (13) are satisfied. Moreover, from (10) we have

$$ L_{1,\alpha}=A_{l,\alpha}+\frac{L_{0,\alpha}}{L_{-2,\alpha}L_{-1,\alpha }},\qquad R_{1,\alpha}=A_{r,\alpha}+\frac{R_{0,\alpha}}{R_{-2,\alpha }R_{-1,\alpha}},\quad \alpha\in(0,1]. $$
(14)

Since \(x_{j}\), \(j=-2, -1, 0\), are positive fuzzy numbers and A is a positive fuzzy number, then we have that \(L_{0,\alpha}\), \(R_{0,\alpha}\), \(L_{-1,\alpha}\), \(R_{-1,\alpha}\), \(L_{-2,\alpha }\), \(R_{-2,\alpha}\) are left continuous. So from (14) we have that \(L_{1,\alpha}\), \(R_{1,\alpha}\) are also left continuous. Inductively we can get that \(L_{n,\alpha}\), \(R_{n,\alpha}\), \(n=1,2,\ldots \) , are left continuous.

Now we prove that the support of \(x_{n}\), \(\operatorname{supp} x_{n}=\overline{\bigcup_{\alpha\in(0,1]}[L_{n,\alpha },R_{n,\alpha}]}\) is compact. It is sufficient to prove that \(\bigcup_{\alpha\in(0,1]}[L_{n,\alpha },R_{n,\alpha}]\) is bounded. Let \(n=1\), since \(x_{j}\), \(j=-2, -1,0 \), are positive fuzzy numbers and A is a positive fuzzy number, there exist constants \(P>0\), \(Q>0\), \(M_{j}>0\), \(N_{j}>0\), \(j=-2,-1,0\), such that for all \(\alpha\in(0,1]\),

$$ [A_{l,\alpha},A_{r,\alpha}]\subset[P,Q],\qquad [L_{j,\alpha},R_{j,\alpha }]\subset[M_{j},N_{j}], \quad j=-2,-1,0. $$
(15)

Hence from (14) and (15) we can easily get

$$ [L_{1,\alpha},R_{1,\alpha}]\subset \biggl[P+ \frac {M_{0}}{M_{-1}M_{-2}},Q+\frac{N_{0}}{N_{-1}N_{-2}} \biggr],\quad \alpha\in(0,1], $$
(16)

from which it is obvious that

$$ \bigcup_{\alpha\in(0,1]}[L_{1,\alpha},R_{1,\alpha}] \subset \biggl[P+\frac{M_{0}}{M_{-1}M_{-2}}, Q+\frac{N_{0}}{N_{-1}N_{-2}} \biggr],\quad \alpha \in(0,1]. $$
(17)

Therefore (17) implies that \(\overline{\bigcup_{\alpha\in(0,1]}[L_{1,\alpha},R_{1,\alpha}]}\) is compact and \(\overline{\bigcup_{\alpha\in(0,1]}[L_{1,\alpha},R_{1,\alpha}]}\subset (0,\infty)\). Deducing inductively we can easily obtain that \(\overline{\bigcup_{\alpha\in(0,1]}[L_{n,\alpha}, R_{n,\alpha}]}\) is compact, and

$$ \overline{\bigcup_{\alpha\in(0,1]}[L_{n,\alpha},R_{n,\alpha}]} \subset (0,\infty),\quad n=1,2,\ldots. $$
(18)

Therefore, (13), (18) and since \(L_{n,\alpha}\), \(R_{n,\alpha}\) are left continuous, we have that \([L_{n,\alpha},R_{n,\alpha}]\) determines a sequence of positive fuzzy numbers \(x_{n}\) such that (11) holds.

We prove now that \(x_{n}\) is the solution of (1) with initial conditions \(x_{-1}\), \(x_{0}\). Since for all \(\alpha\in(0,1]\),

$$\begin{aligned}{} [x_{n+1}]_{\alpha} =&[L_{n+1,\alpha},R_{n+1,\alpha}] \\ =& \biggl[A_{l,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha}L_{n-2,\alpha}}, A_{r,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha}R_{n-2,\alpha}} \biggr] \\ =& \biggl[A+\frac{x_{n}}{x_{n-1}x_{n-2}} \biggr]_{\alpha}, \end{aligned}$$

we have that \(x_{n}\) is the solution of (1) with initial conditions \(x_{-2}\), \(x_{-1}\), \(x_{0}\).

Suppose that there exists another solution \(\overline{x}_{n}\) of (1) with initial conditions \(x_{-2}\), \(x_{-1}\), \(x_{0}\). Then from arguing as above we can easily prove that

$$ [\overline{x}_{n}]_{\alpha}=[L_{n,\alpha},R_{n,\alpha}], \quad \alpha\in(0,1], n=0,1,2,\ldots. $$
(19)

Then from (11) and (19) we have \([x_{n}]_{\alpha}=[\overline{x}_{n}]_{\alpha}\), \(\alpha\in(0,1]\), \(n=0,1,2,\ldots\) , from which it follows that \(x_{n}=\overline{x}_{n}\), \(n=0,1,\ldots\) .

If Case (ii) holds, the proof is similar to that of Case (i). Thus the proof of Theorem 3.1 is completed. □

Dynamics of Eq. (1)

To study the dynamical behavior of positive solutions of (1), according to Definition 2.3, we consider the following two cases.

Case (i)

$$[x_{n+1}]_{\alpha}=[L_{n+1,\alpha},R_{n+1,\alpha}]= \biggl[A_{l,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha}L_{n-2,\alpha}}, A_{r,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha}R_{n-2,\alpha}} \biggr]. $$

Case (ii)

$$[x_{n+1}]_{\alpha}=[L_{n+1,\alpha},R_{n+1,\alpha}]= \biggl[A_{l,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha}R_{n-2,\alpha}}, A_{r,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha}L_{n-2,\alpha}} \biggr]. $$

Firstly, if Case (i) holds true, we give the following lemma.

Lemma 3.2

Consider the system of difference equations

$$ y_{n+1}=p+\frac{y_{n}}{y_{n-1}y_{n-2}},\qquad z_{n+1}=q+ \frac {z_{n}}{z_{n-1}z_{n-2}}, \quad n=0,1,\ldots, $$
(20)

where \(p,q\in(1,+\infty)\), \(y_{-2}, y_{-1},y_{0}, z_{-2}, z_{-1},z_{0}\in (0,+\infty)\). Then, for \(n\ge4\),

$$ p\le y_{n}\le \frac{p^{3}}{p^{2}-1}+y_{3},\qquad q\le z_{n}\le\frac{q^{3}}{q^{2}-1}+z_{3}. $$
(21)

Proof

From (20) it is clear that \(y_{n}>p\), \(z_{n}>q\) for \(n\ge1\). In view of (20), we obtain for \(n\ge4\) that

$$ y_{n}=p+\frac{y_{n-1}}{y_{n-2}y_{n-3}}\leq p+\frac{1}{p^{2}}y_{n-1}, \qquad z_{n}=q+\frac{z_{n-1}}{z_{n-2}z_{n-3}}\leq q+\frac{1}{q^{2}}z_{n-1}. $$
(22)

Working inductively, we conclude for \(n-k\ge3\) that

$$\begin{aligned}& y_{n} \le p+\frac{1}{p}+\frac{1}{p^{4}}y_{n-2}\le p+\frac{1}{p}+\frac {1}{p^{3}}+\frac{1}{p^{6}}y_{n-3} \le p+ \frac{1}{p}+\frac{1}{p^{3}}+\frac{1}{p^{5}}+\frac {1}{p^{8}}y_{n-4} \\& \hphantom{y_{n}} \le \cdots\le\sum_{i=1}^{k} \frac{1}{p^{2i-3}}+\frac{y_{n-k}}{p^{2k}} =\frac{p}{1-1/p^{2}} \biggl[1- \biggl( \frac{1}{p^{2}} \biggr)^{k} \biggr]+\frac {y_{n-k}}{p^{2k}} \\& \hphantom{y_{n}} \le \frac{p^{3}}{p^{2}-1}+y_{n-k}, \end{aligned}$$
(23)
$$\begin{aligned}& z_{n} \le q+\frac{1}{q}+\frac{1}{q^{4}}z_{n-2}\le q+\frac{1}{q}+\frac {1}{q^{3}}+\frac{1}{q^{6}}z_{n-3} \le q+ \frac{1}{q}+\frac{1}{q^{3}}+\frac{1}{q^{5}}+\frac {1}{q^{8}}z_{n-4} \\& \hphantom{z_{n}} \le \cdots\le\sum_{i=1}^{k} \frac{1}{q^{2i-3}}+\frac{z_{n-k}}{q^{2k}} =\frac{q}{1-1/q^{2}} \biggl[1- \biggl( \frac{1}{q^{2}} \biggr)^{k} \biggr]+\frac {z_{n-k}}{q^{2k}} \\& \hphantom{z_{n}} \le \frac{q^{3}}{q^{2}-1}+z_{n-k}. \end{aligned}$$
(24)

Notice that \(n-k\ge3\) is equivalent to \(k\le n-3\). The assertion is true. □

Theorem 3.2

Consider fuzzy difference equation (1), where A is a positive fuzzy number and the initial values \(x_{-1}\), \(x_{0}\) are positive fuzzy numbers. Suppose that there exist positive numbers P, Q for all \(\alpha\in (0,1]\) such that \(1< P\le A_{l,\alpha}\le A_{r,\alpha}\le Q\), then every positive solution \(x_{n}\) of (1) is bounded and persists.

Proof

(i) Let \(x_{n}\) be a positive solution of (1) such that (9) holds. From (8) it is obvious that

$$ P\le L_{n,\alpha},\qquad P\le R_{n,\alpha},\quad n=1,2, \ldots, \alpha\in(0,1]. $$
(25)

Then from \(A_{l,\alpha}\ge P>1\), (25) and Lemma 3.2 we get

$$ [L_{n,\alpha},R_{n,\alpha}]\subset[P, T_{\alpha}], \quad n\ge5, $$
(26)

where

$$T_{\alpha}=\max \biggl\{ \frac{P^{3}}{P^{2}-1}+L_{3,\alpha}, \frac {Q^{3}}{Q^{2}-1}+R_{3,\alpha} \biggr\} . $$

Then since \(x_{n}\) is a positive fuzzy number, there exists a constant \(T>0\) such that for all \(\alpha\in(0,1]\),

$$ T_{\alpha}\le T. $$
(27)

Therefore (25) and (26) imply that \([L_{n,\alpha},R_{n,\alpha}]\subset [P,T]\), \(n\ge4\), from which we get for \(n\ge4\), \(\bigcup_{\alpha\in(0,1]}[L_{n,\alpha},R_{n,\alpha}]\subset[P,T]\), and so \(\overline{\bigcup_{\alpha\in(0,1]}[L_{n,\alpha},R_{n,\alpha }]}\subseteq[P,T]\). Thus the positive solution is bounded and persists. □

To show that every positive solution \(x_{n}\) of system (1) tends to the positive equilibrium x as \(n\rightarrow\infty\), we need the following lemmas.

Lemma 3.3

Consider the difference equation

$$ y_{n+1}=p+\frac{y_{n}}{y_{n-1}y_{n-2}},\quad n=0,1,2,\ldots. $$
(28)

Assume \(p>\frac{2}{\sqrt{3}}\). Then the equilibrium point of (28) is asymptotically stable.

Proof

Let \(\overline{y}\) be an equilibrium point of (28), it is easy to get \(\overline{y}=\frac{p+\sqrt{p^{2}+4}}{2}\). The linearized equation associated with (28) about equilibrium point \(\overline{y}\) is

$$\begin{aligned}& y_{n+1}+\frac{2}{p+2+p\sqrt{p^{2}+4}}y_{n}- \frac{2}{p+2+p\sqrt {p^{2}+4}}y_{n-1}-\frac{2}{p+2+p\sqrt{p^{2}+4}}y_{n-2} \\& \quad =0,\quad n=0,1,2,\ldots. \end{aligned}$$
(29)

Since \(p>\frac{2}{\sqrt{3}}\), we can get

$$\frac{6}{p+2+p\sqrt{p^{2}+4}}< 1. $$

By virtue of Theorem 1.3.7 in [7], the equilibrium point of (28) is asymptotically stable. □

Lemma 3.4

Consider the system of difference equations (20), and assume that \(q>p>\frac{2}{\sqrt{3}}\). Then every positive solution of (20) converges to equilibrium \((\overline{y},\overline{z})= (\frac{p+\sqrt{p^{2}+4}}{2}, \frac {q+\sqrt{q^{2}+4}}{2} )\).

Proof

It is clear that system (20) has a unique equilibrium \((\overline{y},\overline{z})= (\frac{p+\sqrt{p^{2}+4}}{2}, \frac {q+\sqrt{q^{2}+4}}{2} )\). Let \(\{y_{n},z_{n}\}\) be an arbitrary positive solution of (20). Let

$$\Lambda_{1}=\lim_{n\rightarrow\infty}\sup y_{n}, \qquad \lambda_{1}=\lim_{n\rightarrow\infty}\inf y_{n},\qquad \Lambda_{2}=\lim_{n\rightarrow\infty}\sup z_{n}, \qquad \lambda_{2}=\lim_{n\rightarrow\infty}\inf z_{n}. $$

From Lemma 3.2, we have \(0< p<\lambda_{1}\le\Lambda_{1}<\infty\), \(0< q<\lambda _{2}\le\Lambda_{2}<\infty\). This and (20) imply that

$$\Lambda_{1}\le p+\frac{\Lambda_{1}}{\lambda_{1}^{2}}, \qquad \Lambda_{2}\le q+\frac {\Lambda_{2}}{\lambda_{2}^{2}}, \qquad \lambda_{1}\ge p+\frac{\lambda_{1}}{\Lambda_{1}^{2}},\qquad \lambda_{2}\ge q+\frac{\lambda_{2}}{\Lambda_{2}^{2}}, $$

which can lead to

$$\Lambda_{1}\le\lambda_{1},\qquad \Lambda_{2}\le \lambda_{2}. $$

Thus we have \(\Lambda_{1}=\lambda_{1}\) and \(\Lambda_{2}=\lambda_{2}\). Then \(\lim_{n\rightarrow\infty}y_{n}\) and \(\lim_{n\rightarrow\infty}z_{n}\) exist. From the uniqueness of the positive equilibrium \((\overline{y}, \overline{z})\) of (20), we conclude that \(\lim_{n\rightarrow\infty }y_{n}=\overline{y}\), \(\lim_{n\rightarrow\infty}z_{n}=\overline{z}\). □

Theorem 3.3

Suppose that for all \(\alpha\in(0,1]\), \(A_{l,\alpha}>2/\sqrt{3}\). Then every positive solution \(x_{n}\) of (1) tends to the positive equilibrium x as \(n\rightarrow\infty\).

Proof

Suppose that there exists a fuzzy number x such that

$$ x=A+\frac{x}{x^{2}}, \qquad [x]_{\alpha}=[L_{\alpha},R_{\alpha}], \quad \alpha\in(0,1], $$
(30)

where \(L_{\alpha}, R_{\alpha}\ge0\). Then from (30) we can prove that

$$ L_{\alpha}=A_{l,\alpha}+\frac{L_{\alpha}}{L_{\alpha}^{2}}, \qquad R_{\alpha}=A_{r,\alpha }+\frac{R_{\alpha}}{R_{\alpha}^{2}}. $$
(31)

Hence from (31) we can have that

$$L_{\alpha}=\frac{A_{l,\alpha}+\sqrt{A_{l,\alpha}^{2}+4}}{2},\qquad R_{\alpha}=\frac {A_{r,\alpha}+\sqrt{A_{r,\alpha}^{2}+4}}{2}. $$

Let \(x_{n}\) be a positive solution of (1) such that (7) holds. Since \(A_{l,\alpha}>2/\sqrt{3}\), \(\alpha\in(0,1]\), we can apply Lemma 3.4 to system (10), and so we have

$$ \lim_{n\rightarrow\infty}L_{n,\alpha}=L_{\alpha}, \qquad \lim_{n\rightarrow \infty}R_{n,\alpha}=R_{\alpha}. $$
(32)

Therefore from (31) we have

$$\lim_{n\rightarrow\infty}D(x_{n},x)=\lim_{n\rightarrow\infty} \sup_{\alpha \in(0,1]}\bigl\{ \max\bigl\{ \vert L_{n,\alpha}-L_{\alpha} \vert , \vert R_{n,\alpha}-R_{\alpha} \vert \bigr\} \bigr\} =0. $$

This completes the proof of the theorem. □

Secondly, if Case (ii) holds true, it follows that for \(n\in\{ 0,1,2,\ldots\}\), \(\alpha\in(0,1]\),

$$ L_{n+1,\alpha}=A_{l,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha }R_{n-2,\alpha}},\qquad R_{n+1,\alpha}=A_{r,\alpha}+\frac{L_{n,\alpha }}{L_{n-1,\alpha}L_{n-2,\alpha}}. $$
(33)

We need the following lemmas.

Lemma 3.5

Consider the system of difference equations

$$ y_{n+1}=p+\frac{z_{n}}{z_{n-1}z_{n-2}}, \qquad z_{n+1}=q+ \frac {y_{n}}{y_{n-1}y_{n-2}},\quad n=0,1,\ldots, $$
(34)

where \(p,q\in(1,+\infty)\), \(y_{-2}, y_{-1},y_{0}, z_{-2}, z_{-1},z_{0}\in (0,+\infty)\). Then, for \(n\ge4\),

$$ p\le y_{n}\le \frac{p^{2}q}{pq-1}+y_{2},\qquad q\le z_{n}\le\frac{q^{2}p}{pq-1}+z_{2}. $$
(35)

Proof

From (34) it is clear that \(y_{n}\ge p\), \(z_{n}\ge q\) for \(n\ge1\). And for \(n\ge4\) we obtain that

$$ y_{n}\le p+\frac{1}{q^{2}}z_{n-1}\le p+ \frac{1}{q}+\frac {1}{p^{2}q^{2}}y_{n-2}, \qquad z_{n}\le q+\frac{1}{p^{2}}y_{n-1}\le q+\frac{1}{p}+ \frac {1}{q^{2}p^{2}}z_{n-2}. $$
(36)

Working inductively, for \(n-2k\ge2\), it can concluded that

$$\begin{aligned}& y_{n} \le p+\frac{1}{q}+\frac{1}{p^{2}q^{2}}y_{n-2}\le p+\frac{1}{q}+\frac {1}{p^{2}q^{2}} \biggl(p+\frac{1}{q^{2}}z_{n-3} \biggr) \\& \hphantom{y_{n}} \le p+\frac{1}{q}+\frac{1}{pq^{2}}+\frac{1}{p^{2}q^{3}}+ \frac {1}{p^{4}q^{4}}y_{n-4} \\& \hphantom{y_{n}} \le \cdots\le\sum_{i=1}^{2k} \frac{1}{p^{i-2}q^{i-1}}+\frac {1}{p^{2k}q^{2k}}y_{n-2k} =\frac{p}{1-1/(pq)} \biggl[1- \biggl(\frac{1}{pq} \biggr)^{2k} \biggr]+ \frac {1}{p^{2k}q^{2k}}y_{n-2k} \\& \hphantom{y_{n}} \le \frac{p^{2}q}{pq-1}+y_{n-2k}, \end{aligned}$$
(37)
$$\begin{aligned}& z_{n} \le q+\frac{1}{p}+\frac{1}{q^{2}p^{2}}z_{n-2}\le q+\frac{1}{p}+\frac {1}{q^{2}p^{2}} \biggl(q+\frac{1}{p^{2}}y_{n-3} \biggr) \\& \hphantom{z_{n}} \le q+\frac{1}{p}+\frac{1}{qp^{2}}+\frac{1}{q^{2}p^{3}}+ \frac {1}{q^{4}p^{4}}z_{n-4} \\& \hphantom{z_{n}} \le \cdots\le\sum_{i=1}^{2k} \frac{1}{q^{i-2}p^{i-1}}+\frac {1}{q^{2k}p^{2k}}z_{n-2k} =\frac{q}{1-1/(pq)} \biggl[1- \biggl(\frac{1}{pq} \biggr)^{2k} \biggr]+ \frac {1}{p^{2k}q^{2k}}z_{n-2k} \\& \hphantom{z_{n}} \le \frac{pq^{2}}{pq-1}+z_{n-2k}. \end{aligned}$$
(38)

Notice that \(n-2k\ge2\) is equivalent to \(k\le(n-2)/2\). The assertion is true. □

Lemma 3.6

Consider the system of difference equations (34), if

$$ p>1,\qquad q>1,\qquad \sqrt{3}pq>\max\{3p-q,3q-p\} $$
(39)

are satisfied, then the unique positive equilibrium point \((\overline{y},\overline {z})\) is locally asymptotically stable.

Proof

From (34) the system of difference equations has a unique positive equilibrium point \((\overline{y},\overline{z})= (\frac{pq+\sqrt{p^{2}q^{2}+4pq}}{2p}, \frac{pq+\sqrt{p^{2}q^{2}+4pq}}{2q} )\). The linearized equation of system (33) about the equilibrium point \((\overline{y},\overline{z})\) is

$$ \Psi_{n+1}=B\Psi_{n}, $$
(40)

where \(\Psi_{n}=(y_{n},y_{n-1},y_{n-2},z_{n},z_{n-1},z_{n-2})^{T}\), and

$$B=\left ( \begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} 0& 0& 0& \frac{1}{\overline{z}^{2}} &-\frac{1}{\overline{z}^{2}}&-\frac {1}{\overline{z}^{2}} \\ 1& 0 &0 &0 &0 &0 \\ 0& 1 &0 &0 &0 &0 \\ \frac{1}{\overline{y}^{2}}& -\frac{1}{\overline{y}^{2}}&-\frac{1}{\overline {y}^{2}}&0& 0& 0 \\ 0&0&0&1&0&0 \\ 0&0&0&0&1&0 \end{array} \right ) . $$

Let \(\lambda_{1},\lambda_{2},\ldots,\lambda_{6}\) denote the eigenvalues of matrix B, let \(D=\operatorname{diag}(d_{1},d_{2},\ldots,d_{6})\) be a diagonal matrix, where \(d_{1}=d_{4}=1\), \(d_{i}=d_{3+i}=1-i\varepsilon\) (\(i=2,3\)), and

$$ 0< \varepsilon<\min \biggl\{ \frac{1}{3}- \frac{1}{\overline{z}^{2}}, \frac {1}{3}-\frac{1}{\overline{y}^{2}} \biggr\} . $$
(41)

Clearly, D is invertible. Computing matrix \(DBD^{-1}\), we obtain that

$$DBD^{-1}= \left ( \begin{array}{@{}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{\quad}c@{}} 0&0&0&\frac{1}{\overline{z}^{2}}d_{1}d_{4}^{-1}&-\frac{1}{\overline {z}^{2}}d_{1}d_{5}^{-1}&-\frac{1}{\overline{z}^{2}}d_{1}d_{6}^{-1} \\ d_{2}d_{1}^{-1}&0&0&0&0&0 \\ 0&d_{3}d_{2}^{-1}&0&0&0&0 \\ \frac{1}{\overline{y}^{2}}d_{4}d_{1}^{-1}&-\frac{1}{\overline {y}^{2}}d_{4}d_{2}^{-1}&-\frac{1}{\overline{y}^{2}}d_{4}d_{3}^{-1} &0&0&0 \\ 0&0&0&d_{5}d_{4}^{-1}&0&0 \\ 0&0&0&0&d_{6}d_{5}^{-1}&0 \end{array} \right ). $$

From \(d_{1}>d_{2}>d_{3}>0\), \(d_{4}>d_{5}>d_{6}>0\) it follows that

$$d_{2}d_{1}^{-1}< 1,\qquad d_{3}d_{2}^{-1}<1, \qquad d_{5}d_{4}^{-1}<1,\qquad d_{6}d_{5}^{-1}<1. $$

Furthermore, noting (41) we have

$$\begin{aligned}& \frac{1}{\overline{z}^{2}}d_{1}d_{4}^{-1} + \frac{1}{\overline{z}^{2}}d_{1}d_{5}^{-1} + \frac{1}{\overline{z}^{2}}d_{1}d_{6}^{-1}= \frac{1}{\overline{z}^{2}} \biggl(1+\frac{1}{1-2\varepsilon}+\frac{1}{1-3\varepsilon} \biggr) < \frac{3}{\overline{z}^{2}(1-3\varepsilon)}<1, \\& \frac{1}{\overline{y}^{2}}d_{4}d_{1}^{-1} + \frac{1}{\overline{z}^{2}}d_{4}d_{2}^{-1} + \frac{1}{\overline{z}^{2}}d_{4}d_{3}^{-1}= \frac{1}{\overline{y}^{2}} \biggl(1+\frac{1}{1-2\varepsilon}+\frac{1}{1-3\varepsilon} \biggr) < \frac{3}{\overline{y}^{2}(1-3\varepsilon)}<1. \end{aligned}$$

It is well known that B has the same eigenvalues as \(DBD^{-1}\), we have that

$$\begin{aligned} \max_{1\le i\le6}|\lambda_{i}| \le&\bigl\Vert DBD^{-1}\bigr\Vert _{\infty}\\ =&\max\biggl\{ d_{2}d_{1}^{-1}, d_{3}d_{2}^{-1}, d_{5}d_{4}^{-1}, d_{6}d_{5}^{-1},\frac {1}{\overline{z}^{2}}d_{1}d_{4}^{-1}+ \frac{1}{\overline{z}^{2}}d_{1}d_{5}^{-1} + \frac{1}{\overline{z}^{2}}d_{1}d_{6}^{-1}, \\ & \frac{1}{\overline{y}^{2}}d_{4}d_{1}^{-1} + \frac{1}{\overline{z}^{2}}d_{4}d_{2}^{-1}+ \frac{1}{\overline {z}^{2}}d_{4}d_{3}^{-1}\biggr\} \\ < &1. \end{aligned}$$

This implies that the equilibrium \((\overline{y}, \overline{z})\) of (34) is locally asymptotically stable. □

Lemma 3.7

Consider the system of difference equations (34) if \(p,q\in(1,+\infty)\) and \(\sqrt{3}pq>\max\{3p-q,3q-p\}\). Then every positive solution of (34) converges to the equilibrium point \((\overline{y},\overline{z})\).

Proof

It is clear that system (34) has a unique positive equilibrium point

$$(\overline{y},\overline{z})= \biggl(\frac{pq+\sqrt{p^{2}q^{2}+4pq}}{2q}, \frac {pq+\sqrt{p^{2}q^{2}+4pq}}{2p} \biggr). $$

Let \(\{y_{n},z_{n}\}\) be an arbitrary positive solution of (33). From (33)-(35) we have

$$ \lim_{n\rightarrow\infty}\sup y_{n}=L_{1}, \qquad \lim_{n\rightarrow\infty}\inf y_{n}=l_{1}, \qquad \lim_{n\rightarrow\infty }\sup z_{n}=L_{2}, \qquad \lim _{n\rightarrow\infty}\inf z_{n}=l_{2}, $$
(42)

where \(l_{i}, L_{i}\in(0,+\infty)\), \(i=1,2\). Then from (34) and (42) we get

$$L_{1}\le p+\frac{L_{2}}{l_{2}^{2}},\qquad l_{1}\ge p+ \frac{l_{2}}{L_{2}^{2}},\qquad L_{2}\le q+\frac {L_{1}}{l_{1}^{2}},\qquad l_{2}\ge q+\frac{l_{1}}{L_{1}^{2}}, $$

from which we have

$$ \bigl(L_{1}l_{2}^{2}-L_{2} \bigr)L_{2}^{2}\le\bigl(l_{1}L_{2}^{2}-l_{2} \bigr)l_{2}^{2},\qquad \bigl(L_{2}l_{1}^{2}-L_{1} \bigr)L_{1}^{2}\le \bigl(l_{2}L_{1}^{2}-l_{1} \bigr)l_{1}^{2}. $$
(43)

We claim that

$$ L_{1}=l_{1},\qquad L_{2}=l_{2}. $$
(44)

Suppose on the contrary that \(L_{2}>l_{2}\), then from the first inequality of (43) we have \(L_{1}l_{2}< l_{1}L_{2}\), and so \(L_{1}< l_{1}\), which is a contradiction. So \(L_{2}=l_{2}\). Similarly we can prove that \(L_{1}=l_{1}\). Hence from (34) and (43) there exist \(\lim_{n\rightarrow\infty }y_{n}=\overline{y}\), \(\lim_{n\rightarrow\infty}z_{n}=\overline{z}\). This completes the proof of Lemma 3.7. □

Combining Lemma 3.6 with Lemma 3.7, we obtain the following theorem.

Theorem 3.4

Consider the system of difference equations (34). If relations (39) are satisfied, then the unique positive equilibrium \((\overline {y},\overline{z})\) is globally asymptotically stable.

Theorem 3.5

Suppose that

$$ A_{l,\alpha}>1\quad \textit{and}\quad \sqrt{3}A_{l,\alpha}A_{r,\alpha}>3A_{r,\alpha }-A_{l,\alpha}, \quad \forall\alpha\in(0,1]. $$
(45)

Then every positive solution of (1) tends to the positive equilibrium x as \(n\rightarrow+\infty\).

Proof

The proof is similar to that of Theorem 3.3. Suppose that there exists a fuzzy number x satisfying (30). Then from (30) we can get

$$ L_{\alpha}=A_{l,\alpha}+\frac{R_{\alpha}}{R_{\alpha}^{2}},\qquad R_{\alpha}=A_{r,\alpha }+\frac{L_{\alpha}}{L_{\alpha}^{2}}. $$
(46)

Hence we have from (46) that

$$L_{\alpha}=\frac{A_{l,\alpha}A_{r,\alpha} +\sqrt{A_{l,\alpha}^{2}A_{r,\alpha}^{2}+4A_{l,\alpha}A_{r,\alpha }}}{2A_{r,\alpha}}, \qquad R_{\alpha}= \frac{A_{l,\alpha}A_{r,\alpha} +\sqrt{A_{l,\alpha}^{2}A_{r,\alpha}^{2}+4A_{l,\alpha}A_{r,\alpha }}}{2A_{l,\alpha}}. $$

Let \(x_{n}\) be a positive solution of (1) such that (7) holds. Since (45) is satisfied, we can apply Lemma 3.6 and Lemma 3.7 to system (33), and so we have

$$ \lim_{n\rightarrow\infty}L_{n,\alpha}=L_{\alpha}, \qquad \lim_{n\rightarrow \infty}R_{n,\alpha}=R_{\alpha}. $$
(47)

Therefore from (46) we have

$$\lim_{n\rightarrow\infty}D(x_{n},x)=\lim_{n\rightarrow\infty} \sup_{\alpha \in(0,1]}\bigl\{ \max\bigl\{ \vert L_{n,\alpha}-L_{\alpha} \vert , \vert R_{n,\alpha}-R_{\alpha} \vert \bigr\} \bigr\} =0. $$

This completes the proof of the theorem. □

Numerical example

Example 4.1

Consider the following fuzzy difference equation:

$$ x_{n+1}=A+\frac{x_{n}}{x_{n-1}x_{n-2}},\quad n=0,1,\ldots, $$
(48)

we take A and the initial values \(x_{-2}\), \(x_{-1}\), \(x_{0}\) such that

$$\begin{aligned}& x_{-2}(x)=\left \{ \begin{array}{l@{\quad}l} x-5,& 5\le x\le6, \\ -\frac{1}{2}x+4,& 6\le x\le8, \end{array} \right .\qquad x_{-1}(x)=\left \{ \begin{array}{l@{\quad}l} \frac{1}{2}x-2,& 4\le x\le6, \\ -\frac{1}{2}x+4,& 6\le x\le8, \end{array} \right . \end{aligned}$$
(49)
$$\begin{aligned}& A(x)=\left \{ \begin{array}{l@{\quad}l} 2x-4,& 2\le x\le2.5, \\ -2x+6,& 2.5\le x\le3, \end{array} \right .\qquad x_{0}(x)=\left \{ \begin{array}{l@{\quad}l} \frac{1}{2}x-0.5,& 1\le x\le 3, \\ -\frac{1}{2}x+2.5,& 3\le x\le 5. \end{array} \right . \end{aligned}$$
(50)

From (49) we get

$$ [x_{-2}]_{\alpha}= [5+\alpha,8-2\alpha ], \qquad [x_{-1}]_{\alpha}= [4+2\alpha,8-2\alpha ], \quad \alpha\in(0,1]. $$
(51)

From (50) we get

$$ [A]_{\alpha}=\biggl[2+\frac{1}{2}\alpha,3- \frac{1}{2}\alpha\biggr],\qquad [x_{0}]_{\alpha}= [1+2 \alpha,5-2\alpha ],\quad \alpha\in(0,1]. $$
(52)

Therefore, it follows that

$$ \begin{aligned} &\overline{\bigcup_{\alpha\in(0,1]}[x_{-2}]_{\alpha}}=[5,8], \qquad \overline{\bigcup_{\alpha\in(0,1]}[x_{-1}]_{\alpha}}=[4,8], \\ &\overline{\bigcup_{\alpha\in(0,1]}[x_{0}]_{\alpha}}=[1,5], \qquad \overline{\bigcup_{\alpha\in(0,1]}[A]_{\alpha}}=[2,3]. \end{aligned} $$
(53)

From (48), it results in a coupled system of difference equations with parameter α,

$$ L_{n+1,\alpha}=A_{l,\alpha}+\frac{L_{n,\alpha}}{L_{n-1,\alpha }L_{n-2,\alpha}},\qquad R_{n+1,\alpha}=A_{r,\alpha}+\frac{R_{n,\alpha }}{R_{n-1,\alpha}R_{n-2,\alpha}}, \quad \alpha\in(0,1]. $$
(54)

Therefore, \(A_{l,\alpha}>2/\sqrt{3}\), \(\forall\alpha\in(0,1]\), and the initial values \(x_{-i}\) (\(i=0,1,2\)) are positive fuzzy numbers. So from Theorem 3.2 we have that every positive solution \(x_{n}\) of Eq. (48) is bounded and persists. In addition, from Theorem 3.3, Eq. (48) has a unique positive equilibrium \(\overline{x}=(2.4142,2.8508,3.3028)\). Moreover, every positive solution \(x_{n}\) of Eq. (48) converges to the unique equilibrium \(\overline{x}\) with respect to D as \(n\rightarrow\infty\) (see Figures 1-4).

Figure 1
figure1

Dynamics of system ( 54 ).

Figure 2
figure2

The solution of system ( 54 ) in \(\pmb{\alpha=0}\) .

Figure 3
figure3

The solution of system ( 54 ) in \(\pmb{\alpha=0.5}\) .

Figure 4
figure4

The solution of system ( 54 ) in \(\pmb{\alpha=1}\) .

Example 4.2

Consider the following fuzzy difference equation:

$$ x_{n+1}=A+\frac{x_{n}}{x_{n-1}x_{n-2}}, \quad n=0,1,\ldots, $$
(55)

where A and the initial values \(x_{-2}\), \(x_{-1}\), \(x_{0}\) are satisfied

$$\begin{aligned}& A(x)=\left \{ \begin{array}{l@{\quad}l} 2x-3,& 1.5\le x\le2, \\ -x+3,& 2\le x\le3, \end{array} \right .\qquad x_{-2}(x)=\left \{ \begin{array}{l@{\quad}l} \frac{1}{4}x-0.5,& 2\le x\le6, \\ -\frac{1}{2}x+4,& 6\le x\le8, \end{array} \right . \end{aligned}$$
(56)
$$\begin{aligned}& x_{-1}(x)=\left \{ \begin{array}{l@{\quad}l} 2x-4,& 2\le x\le2.5, \\ -2x+6,& 2.5\le x\le3, \end{array} \right .\qquad x_{0}(x)=\left \{ \begin{array}{l@{\quad}l} \frac{1}{2}x-0.5,& 1\le x\le 3, \\ -\frac{1}{2}x+2.5,& 3\le x\le 5. \end{array} \right . \end{aligned}$$
(57)

From (56) we get

$$ [A]_{\alpha}= \biggl[1.5+\frac{1}{2}\alpha,3-\alpha \biggr],\qquad [x_{-2}]_{\alpha}= [2+4\alpha,8-2\alpha ], \quad \alpha\in(0,1]. $$
(58)

From (57) we get

$$ [x_{-1}]_{\alpha}=\biggl[2+\frac{1}{2} \alpha,3-\frac{1}{2}\alpha\biggr],\qquad [x_{0}]_{\alpha}= [1+2\alpha,5-2\alpha ], \quad \alpha\in(0,1]. $$
(59)

Therefore, it follows that

$$ \begin{aligned} &\overline{\bigcup_{\alpha\in(0,1]}[A]_{\alpha}}=[1.5,3], \qquad \overline{\bigcup_{\alpha\in(0,1]}[x_{-2}]_{\alpha}}=[2,8], \\ &\overline{\bigcup_{\alpha\in(0,1]}[x_{-1}]_{\alpha}}=[2,3], \qquad \overline{\bigcup_{\alpha\in(0,1]}[x_{0}]_{\alpha}}=[1,5]. \end{aligned} $$
(60)

From (55) it results in a coupled system of difference equations with parameter α,

$$ L_{n+1,\alpha}=A_{l,\alpha}+\frac{R_{n,\alpha}}{R_{n-1,\alpha }R_{n-2,\alpha}}, \qquad R_{n+1,\alpha}=A_{r,\alpha}+\frac{L_{n,\alpha }}{L_{n-1,\alpha}L_{n-2,\alpha}}, \quad \alpha\in(0,1]. $$
(61)

It is clear that (45) is satisfied and the initial values \(x_{-i}\) (\(i=0,1,2\)) are positive fuzzy numbers, so from Theorem 3.5, Eq. (55) has a unique positive equilibrium \(\overline{x}=(1.7808,2.4142, 3.5616)\). Moreover, every positive solution \(x_{n}\) of Eq. (55) converges to the unique equilibrium \(\overline{x}\) with respect to D as \(n\rightarrow\infty\) (see Figures 5-8).

Figure 5
figure5

Dynamics of system ( 61 ).

Figure 6
figure6

The solution of system ( 61 ) in \(\pmb{\alpha=0}\) .

Figure 7
figure7

The solution of system ( 61 ) in \(\pmb{\alpha=0.5}\) .

Figure 8
figure8

The solution of system ( 61 ) in \(\pmb{\alpha=1}\) .

Conclusion

In this work, according to a generalization of division (g-division) of fuzzy numbers, we study the fuzzy difference equation \(x_{n+1}=A+\frac{x_{n}}{x_{n-1}x_{n-2}}\). The existence of positive solution to (1) is investigated. Furthermore, we obtain the following results:

  1. (i)

    The positive solution is bounded and persists if \(A_{l,\alpha }>1\), \(\alpha\in(0,1]\), every solution \(x_{n}\) tends to the unique equilibrium x under condition \(A_{l,\alpha}>2/\sqrt{3}\), \(\alpha\in (0,1]\) as \(n\rightarrow\infty\).

  2. (ii)

    If \(A_{l,\alpha}>1\) and \(\sqrt{3}A_{l,\alpha}A_{r,\alpha }>3A_{r,\alpha}-A_{l,\alpha}\), \(\alpha\in(0,1]\), every solution \(x_{n}\) of (1) converges to the unique equilibrium x as \(n\rightarrow\infty\).

References

  1. 1.

    DeVault, R, Ladas, G, Schultz, SW: On the recursive sequence \(x_{n+1}=A/x_{n}+1/x_{n-2}\). Proc. Am. Math. Soc. 126(11), 3257-3261 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  2. 2.

    Abu-Saris, RM, DeVault, R: Global stability of \(y_{n+1}=A+\frac{y_{n}}{y_{n-k}}\). Appl. Math. Lett. 16, 173-178 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  3. 3.

    Amleh, AM, Grove, EA, Ladas, G, Georgiou, DA: On the recursive sequence \(x_{n+1}=A+\frac{x_{n-1}}{x_{n}}\). J. Math. Anal. Appl. 233, 790-798 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  4. 4.

    He, WS, Li, WT, Yan, XX: Global attractivity of the difference equation \(x_{n+1}=a+\frac {x_{n-k}}{x_{n}}\). Appl. Math. Comput. 151, 879-885 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  5. 5.

    DeVault, R, Ladas, G, Schultz, SW: Necessary and sufficient conditions the boundedness of \(x_{n+1}=A/x_{n}^{p}+B/x_{n-1}^{q}\). J. Differ. Equ. Appl. 3, 259-266 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  6. 6.

    Agarwal, RP, Li, WT, Pang, YH: Asymptotic behavior of a class of nonlinear delay difference equations. J. Differ. Equ. Appl. 8, 719-728 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. 7.

    Kocic, VL, Ladas, G: Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Kluwer Academic, Dordrecht (1993)

    Book  MATH  Google Scholar 

  8. 8.

    Kulenonvic, MRS, Ladas, G: Dynamics of Second Order Rational Difference Equations with Open Problems and Conjectures. Chapman & Hall/CRC, Boca Raton (2002)

    Google Scholar 

  9. 9.

    Li, WT, Sun, HR: Dynamic of a rational difference equation. Appl. Math. Comput. 163, 577-591 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  10. 10.

    Su, YH, Li, WT: Global attractivity of a higher order nonlinear difference equation. J. Differ. Equ. Appl. 11, 947-958 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  11. 11.

    Hu, LX, Li, WT: Global stability of a rational difference equation. Appl. Math. Comput. 190, 1322-1327 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  12. 12.

    Papaschinopoulos, G, Schinas, CJ: On a system of two nonlinear difference equations. J. Math. Anal. Appl. 219, 415-426 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  13. 13.

    Yang, X: On the system of rational difference equations \(x_{n}=A+y_{n-1}/x_{n-p}y_{n-q}\), \(y_{n}=A+x_{n-1}/x_{n-r}y_{n-s}\). J. Math. Anal. Appl. 307, 305-311 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  14. 14.

    Zhang, QH, Yang, LH, Liu, JZ: Dynamics of a system of rational third-order difference equation. Adv. Differ. Equ. 2012, 136 (2012)

    Article  MathSciNet  Google Scholar 

  15. 15.

    Ibrahim, TF, Zhang, QH: Stability of an anti-competitive system of rational difference equations. Arch. Sci. 66(5), 44-58 (2013)

    Google Scholar 

  16. 16.

    Deeba, EY, De Korvin, A: Analysis by fuzzy difference equations of a model of \(\mathrm{CO}_{2}\) level in the blood. Appl. Math. Lett. 12, 33-40 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  17. 17.

    Deeba, EY, De Korvin, A, Koh, EL: A fuzzy difference equation with an application. J. Differ. Equ. Appl. 2, 365-374 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  18. 18.

    Papaschinopoulos, G, Schinas, CJ: On the fuzzy difference equation \(x_{n+1}=\sum_{i=0}^{k-1}A_{i}/x_{n-i}^{p_{i}}+1/x_{n-k}^{p_{k}}\). J. Differ. Equ. Appl. 6, 75-89 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  19. 19.

    Papaschinopoulos, G, Papadopoulos, BK: On the fuzzy difference equation \(x_{n+1}=A+B/x_{n}\). Soft Comput. 6, 456-461 (2002)

    Article  MATH  Google Scholar 

  20. 20.

    Papaschinopoulos, G, Papadopoulos, BK: On the fuzzy difference equation \(x_{n+1}=A+x_{n}/x_{n-m}\). Fuzzy Sets Syst. 129, 73-81 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  21. 21.

    Stefanidou, G, Papaschinopoulos, G: A fuzzy difference equation of a rational form. J. Nonlinear Math. Phys. 12, suppl. 2, 300-315 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  22. 22.

    Papaschinopoulos, G, Stefanidou, G: Boundedness and asymptotic behavior of the solutions of a fuzzy difference equation. Fuzzy Sets Syst. 140, 523-539 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  23. 23.

    Stefanidou, G, Papaschinopoulos, G, Schinas, CJ: On an exponential-type fuzzy difference equation. Adv. Differ. Equ. 2010, Article ID 196920 (2010). doi:10.1155/2010/196920

    Article  MathSciNet  Google Scholar 

  24. 24.

    Zhang, QH, Yang, LH, Liao, DX: Behavior of solutions to a fuzzy nonlinear difference equation. Iran. J. Fuzzy Syst. 9, 1-12 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  25. 25.

    Chrysafis, KA, Papadopoulos, BK, Papaschinopoulos, G: On the fuzzy difference equations of finance. Fuzzy Sets Syst. 159(24), 3259-3270 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  26. 26.

    Zhang, QH, Yang, LH, Liao, DX: On first order fuzzy Riccati difference equation. Inf. Sci. 270, 226-236 (2014)

    Article  MathSciNet  Google Scholar 

  27. 27.

    Kocak, C: First-order ARMA type fuzzy time series method based on fuzzy logic relation tables. Math. Probl. Eng. 2013, Article ID 769125 (2013)

    Article  Google Scholar 

  28. 28.

    Ivaz, K, Khastan, A, Nieto, JJ: A numerical method of fuzzy differential equations and hybrid fuzzy differential equations. Abstr. Appl. Anal. 2013, Article ID 735128 (2013)

    Article  MathSciNet  Google Scholar 

  29. 29.

    Malinowski, MT: On a new set-valued stochastic integral with respect to semi-martingales and its applications. J. Math. Anal. Appl. 408, 669-680 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  30. 30.

    Malinowski, MT: Some properties of strong solutions to stochastic fuzzy differential equations. Inf. Sci. 252, 62-80 (2013)

    Article  MathSciNet  Google Scholar 

  31. 31.

    Malinowski, MT: Approximation schemes for fuzzy stochastic integral equations. Appl. Math. Comput. 219, 11278-11290 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  32. 32.

    Hua, M, Cheng, P, Fei, J, Zhang, J, Chen, J: Robust filtering for uncertain discrete time fuzzy stochastic systems with sensor nonlinearities and time-varying delay. J. Appl. Math. 2012, Article ID 402480 (2012)

    MathSciNet  Google Scholar 

  33. 33.

    Stefanini, L: A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 161, 1564-1584 (2010)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the editor and anonymous reviewers for their helpful comments and valuable suggestions, which have greatly improved the quality of this paper. This work was financially supported by the National Natural Science Foundation of China (Grant No. 11361012), the China Postdoctoral Science Foundation (No. 2013T60934), and the Scientific Research Foundation of Guizhou Provincial Science and Technology Department ([2013]J2083).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Qianhong Zhang.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors indicated in parentheses made substantial contributions to the following tasks of research: drafting the manuscript (QHZ, JZL); participating in the design of the study (ZGL); writing and revision of paper (QHZ). All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhang, Q., Liu, J. & Luo, Z. Dynamical behavior of a third-order rational fuzzy difference equation. Adv Differ Equ 2015, 108 (2015). https://doi.org/10.1186/s13662-015-0438-2

Download citation

MSC

  • 39A10

Keywords

  • fuzzy difference equation
  • boundedness
  • persistence
  • global asymptotic behavior