
Citation: Hervé Le Dret, Annie Raoult. Homogenization of hexagonal lattices[J]. Networks and Heterogeneous Media, 2013, 8(2): 541-572. doi: 10.3934/nhm.2013.8.541
[1] | Kazuo Sano . Intelligence and global bias in the stock market. Data Science in Finance and Economics, 2023, 3(2): 184-195. doi: 10.3934/DSFE.2023011 |
[2] | Aihua Li, Qinyan Wei, Yong Shi, Zhidong Liu . Research on stock price prediction from a data fusion perspective. Data Science in Finance and Economics, 2023, 3(3): 230-250. doi: 10.3934/DSFE.2023014 |
[3] | Jin Zeng, Yijia Zhang, Yun Yin, Peter G Moffatt . The effect of the Covid pandemic on stock market volatility: Separating initial impact from time-to-recovery. Data Science in Finance and Economics, 2024, 4(4): 531-547. doi: 10.3934/DSFE.2024022 |
[4] | Bilal Ahmed Memon, Hongxing Yao . Correlation structure networks of stock market during terrorism: evidence from Pakistan. Data Science in Finance and Economics, 2021, 1(2): 117-140. doi: 10.3934/DSFE.2021007 |
[5] | Zimei Huang, Zhenghui Li . What reflects investor sentiment? Empirical evidence from China. Data Science in Finance and Economics, 2021, 1(3): 235-252. doi: 10.3934/DSFE.2021013 |
[6] | Nurun Najwa Bahari, Hafizah Bahaludin, Munira Ismail, Fatimah Abdul Razak . Network, correlation, and community structure of the financial sector of Bursa Malaysia before, during, and after COVID-19. Data Science in Finance and Economics, 2024, 4(3): 362-387. doi: 10.3934/DSFE.2024016 |
[7] | Deniz Sevinç . Volatility spillovers among MIST stock markets. Data Science in Finance and Economics, 2022, 2(2): 80-95. doi: 10.3934/DSFE.2022004 |
[8] | Kuo-Shing Chen . Interlinkages between Bitcoin, green financial assets, oil, and emerging stock markets. Data Science in Finance and Economics, 2024, 4(1): 160-187. doi: 10.3934/DSFE.2024006 |
[9] | Yi Chen, Zhehao Huang . Measuring the effects of investor attention on China's stock returns. Data Science in Finance and Economics, 2021, 1(4): 327-344. doi: 10.3934/DSFE.2021018 |
[10] | Alejandro Rodriguez Dominguez, Om Hari Yadav . A causal interactions indicator between two time series using extreme variations in the first eigenvalue of lagged correlation matrices. Data Science in Finance and Economics, 2024, 4(3): 422-445. doi: 10.3934/DSFE.2024018 |
Mathematical models of physics, chemistry, ecology, physiology, psychology, engineering and social sciences have been governed by differential equation and difference equation. With the development of computers, compared with continuous-time model, discrete-time models described by difference equations are better formulated and analyzed in the past decades. Recently laser model has vast application in medical sciences, industries, highly security areas in army [1,2,3,4,5,6,7]. Laser, whose basic principal lies on the Einstein theory of light proposed in 1916, is a device that produces intense beam of monochromatic and coherent light. Since then it is developed by Gordon Gould in 1957. In 1960, the first working ruby laser was invented by Theodore Maiman. Laser light is coherent, highly directional and monochromatic which makes it different from ordinary light. The working principle of laser is based on the spontaneous absorption, spontaneous emission, stimulated emission, and population inversion are essential for the laser formation. The readers can refer to [8,9,10]. For instance, Hakin [11] proposed a simple continuous-time laser model in 1983. Khan and Sharif [12] proposed a discrete-time laser model and studied extensively dynamical properties about fixed points, the existence of prime period and periodic points, and transcritical bifurcation of a one-dimensional discrete-time laser model in $ R^+ $.
In fact, the identification of the parameters of the model is usually based on statistical method, starting from data experimentally obtained and on the choice of some method adapted to the identification. These models, even the classic deterministic approach, are subjected to inaccuracies (fuzzy uncertainty) that can be caused by the nature of the state variables, by parameters as coefficients of the model and by initial conditions. In fact, fuzzy difference equation is generation of difference equation whose parameters or the initial values are fuzzy numbers, and its solutions are sequences of fuzzy numbers. It has been used to model a dynamical systems under possibility uncertainty. Due to the applicability of fuzzy difference equation for the analysis of phenomena where imprecision is inherent, this class of difference equation is a very important topic from theoretical point of view and also its applications. Recently there has been an increasing interest in the study of fuzzy difference equations (see [13,14,15,16,17,18,19,20,21,22,23,24,25]).
In this paper, by virtue of the theory of fuzzy sets, we consider the following discrete-time laser model with fuzzy uncertainty parameters and initial conditions.
$ xn+1=Axn+BxnCxn+H,n=0,1,⋯, $
|
(1.1) |
where $ x_n $ is the number of laser photon at the $ n $th time, $ A, B, C, H $ and the initial value $ x_0 $ are positive fuzzy numbers.
The main aim of this work is to study the existence of positive solutions of discrete-time laser model (1.1). Furthermore, according to a generation of division (g-division) of fuzzy numbers, we derive some conditions so that every positive solution of discrete-time laser model (1.1) is bounded. Finally, under some conditions we prove that discrete-time laser model (1.1) has a fixed point $ 0 $ which is asymptotically stable, and a unique positive fixed point $ x $.
Firstly, we give the following definitions and lemma needed in the sequel.
Definition 2.1.[26] $ u: R\rightarrow [0, 1] $ is said to be a fuzzy number if it satisfies conditions (i)–(iv) written below:
(i) $ u $ is normal, i. e., there exists an $ x\in R $ such that $ u(x) = 1 $;
(ii) $ u $ is fuzzy convex, i. e., for all $ t\in[0, 1] $ and $ x_1, x_2\in R $ such that
$ u(tx_1+(1-t)x_2)\geq\min\{u(x_1), u(x_2)\}; $ |
(iii) $ u $ is upper semicontinuous;
(iv) The support of $ u $, $ \mbox{supp}u = \overline{\bigcup_{\alpha\in(0, 1]}[u]^{\alpha}} = \overline{\{x:u(x) > 0\}} $ is compact.
For $ \alpha\in(0, 1] $, the $ \alpha- $cuts of fuzzy number $ u $ is $ [u]^\alpha = \{x\in R: u(x)\geq\alpha\} $ and for $ \alpha = 0 $, the support of $ u $ is defined as $ \mbox{supp}u = [u]^0 = \overline{\{x\in R|u(x) > 0\}} $.
A fuzzy number can also be described by a parametric form.
Definition 2.2. [26] A fuzzy number $ u $ in a parametric form is a pair $ (u_l, u_r) $ of functions $ u_l, u_r, 0\le \alpha\le 1 $, which satisfies the following requirements:
(i) $ u_l(\alpha) $ is a bounded monotonic increasing left continuous function,
(ii) $ u_r(\alpha) $ is a bounded monotonic decreasing left continuous function,
(iii) $ u_l(\alpha)\le u_r(\alpha), 0\le \alpha\le 1. $
A crisp (real) number $ x $ is simply represented by $ (u_l(\alpha), u_r(\alpha)) = (x, x), 0\le \alpha\le 1. $ The fuzzy number space $ \{(u_l(\alpha), u_r(\alpha))\} $ becomes a convex cone $ E^1 $ which could be embedded isomorphically and isometrically into a Banach space (see [26]).
Definition 2.3.[26] The distance between two arbitrary fuzzy numbers $ u $ and $ v $ is defined as follows:
$ D(u,v)=supα∈[0,1]max{|ul,α−vl,α|,|ur,α−vr,α|}. $
|
(2.1) |
It is clear that $ (E^1, D) $ is a complete metric space.
Definition 2.4.[26] Let $ u = (u_l(\alpha), u_r(\alpha)), v = (v_l(\alpha), v_r(\alpha))\in E^1, 0\le \alpha\le 1, $ and $ k\in R. $ Then
(i) $ u = v $ iff $ u_l(\alpha) = v_l(\alpha), u_r(\alpha) = v_r(\alpha) $,
(ii) $ u+v = (u_l(\alpha)+v_l(\alpha), u_r(\alpha)+v_r(\alpha)) $,
(iii) $ u-v = (u_l(\alpha)-v_r(\alpha), u_r(\alpha)-v_l(\alpha)) $,
(iv) $ ku = \left\{ (kul(α),kur(α)),k≥0;(kur(α),kul(α)),k<0,
(v) $ uv = (\min\{u_l(\alpha)v_l(\alpha), u_l(\alpha)v_r(\alpha), u_r(\alpha)v_l(\alpha), u_r(\alpha)v_r(\alpha)\}, \max\{u_l(\alpha)v_l(\alpha), u_l(\alpha)v_r(\alpha), u_r(\alpha)v_l(\alpha), u_r(\alpha)v_r(\alpha)\}) $.
Definition 2.5. [27] Suppose that $ u, v\in E^1 $ have $ \alpha $-cuts $ [u]^\alpha = [u_{l, \alpha}, u_{r, \alpha}], [v]^\alpha = [v_{l, \alpha}, v_{r, \alpha}] $, with $ 0\notin [v]^\alpha, \forall\alpha\in[0, 1] $. The generation of division (g-division) $ \div_g $ is the operation that calculates the fuzzy number $ s = u\div_g v $ having level cuts $ [s]^\alpha = [s_{l, \alpha}, s_{r, \alpha}] $(here $ {[u]^\alpha}^{-1} = [1/u_{r, \alpha}, 1/u_{l, \alpha}] $) defined by
$ [s]α=[u]α÷g[v]α⟺{(i)[u]α=[v]α[s]α,or(ii)[v]α=[u]α[s]α−1 $
|
(2.2) |
provided that $ s $ is a proper fuzzy number $ s_{l, \alpha} $ is nondecreasing, $ s_{r, \alpha} $ is nonincreasing, $ s_{l, 1}\le s_{r, 1} $.
Remark 2.1. According to [27], in this paper the fuzzy number is positive, if $ u\div_g v = s\in E^1 $ exists, then the following two cases are possible
Case I. if $ u_{l, \alpha}v_{r, \alpha}\le u_{r, \alpha}v_{l, \alpha}, \forall\alpha\in[0, 1], $ then $ s_{l, \alpha} = \frac{u_{l, \alpha}}{v_{l, \alpha}}, s_{r, \alpha} = \frac{u_{r, \alpha}}{v_{r, \alpha}}, $
Case II. if $ u_{l, \alpha}v_{r, \alpha}\ge u_{r, \alpha}v_{l, \alpha}, \forall\alpha\in[0, 1], $ then $ s_{l, \alpha} = \frac{u_{r, \alpha}}{v_{r, \alpha}}, s_{r, \alpha} = \frac{u_{l, \alpha}}{v_{l, \alpha}}. $
Definition 2.6. [26] A triangular fuzzy number (TFN) denoted by $ A $ is defined as $ (a, b, c) $ where the membership function
$ A(x) = \left\{ 0,x≤a;x−ab−a,a≤x≤b;1,x=b;c−xc−b,b≤x≤c;0,x≥c. \right. $
|
The $ \alpha- $cuts of $ A = (a, b, c) $ are described by $ [A]^\alpha = \{x\in R: A(x)\ge \alpha\} = [a+\alpha(b-a), c-\alpha(c-b)] = [A_{l, \alpha}, A_{r, \alpha}] $, $ \alpha\in[0, 1] $, it is clear that $ [A]^\alpha $ are closed interval. A fuzzy number $ A $ is positive if $ \mbox{supp} A\subset(0, \infty). $
The following proposition is fundamental since it characterizes a fuzzy set through the $ \alpha $-levels.
Proposition 2.1.[26] If $ \{A^\alpha: \alpha\in[0, 1]\} $ is a compact, convex and not empty subset family of $ R^n $ such that
(i) $ \overline{\bigcup A^\alpha}\subset A^0. $
(ii) $ A^{\alpha_2}\subset A^{\alpha_1} $ if $ \alpha_1\le\alpha_2. $
(iii) $ A^\alpha = \bigcap_{k\ge 1}A^{\alpha_k} $ if $ \alpha_k\uparrow\alpha > 0. $
Then there is $ u\in E^n (E^n $ denotes $ n $ dimensional fuzzy number space) such that $ [u]^\alpha = A^\alpha $ for all $ \alpha\in(0, 1] $ and $ [u]^0 = \overline{\bigcup_{0 < \alpha\le 1}A^\alpha}\subset A^0. $
The fuzzy analog of the boundedness and persistence (see [15,16]) is as follows:
Definition 2.7. A sequence of positive fuzzy numbers $ (x_n) $ is persistence (resp. bounded) if there exists a positive real number $ M $ (resp. $ N $) such that
$ \mbox{supp}\ x_n\subset[M, \infty) (\mbox{resp}.\ \mbox{supp}\ x_n\subset(0, N]), n = 1, 2, \cdots, $ |
A sequence of positive fuzzy numbers $ (x_n) $ is bounded and persistence if there exist positive real numbers $ M, N > 0 $ such that
$ \mbox{supp}\ x_n\subset[M, N], n = 1, 2, \cdots. $ |
A sequence of positive fuzzy numbers $ (x_n), n = 1, 2, \cdots $, is an unbounded if the norm $ \|x_n\|, n = 1, 2, \cdots, $ is an unbounded sequence.
Definition 2.8. $ x_n $ is a positive solution of (1.1) if $ (x_n) $ is a sequence of positive fuzzy numbers which satisfies (1.1). A positive fuzzy number $ x $ is called a positive equilibrium of (1.1) if
$ x = Ax+\frac{Bx}{Cx+H}. $ |
Let $ (x_n) $ be a sequence of positive fuzzy numbers and $ x $ is a positive fuzzy number, $ x_n \rightarrow x $ as $ n\rightarrow\infty $ if $ \lim_{n\rightarrow\infty}D(x_n, x) = 0 $.
Lemma 2.1. [26] Let $ f: R^+\times R^+\times R^+\times R^+\rightarrow R^+ $ be continuous, $ A, B, C, D $ are fuzzy numbers. Then
$ [f(A,B,C,D)]α=f([A]α,[B]α,[C]α,[D]α), α∈(0,1]. $
|
(2.3) |
Firstly we give the existence of positive solutions of discrete-time laser model with fuzzy environment.
Theorem 3.1. Let parameters $ A, B, C, H $ and initial value $ x_0 $ of discrete-time laser model be fuzzy numbers. Then, for any positive fuzzy number $ x_0 $, there exists a unique positive solution $ x_n $ of discrete-time laser model with initial conditions $ x_0 $.
Proof. The proof is similar to those of Proposition 2.1 [25]. So we omit the proof of Theorem 3.1.
Noting Remark 2.1, taking $ \alpha $-cuts, one of the following two cases holds
Case I
$ [xn+1]α=[Ln+1,α,Rn+1,α]=[Al,αLn,α+Bl,αLn,αCl,αLn,α+Hl,α,Ar,αRn,α+Br,αRn,αCr,αRn,α+Hr,α] $
|
(3.1) |
Case II
$ [xn+1]α=[Ln+1,α,Rn+1,α]=[Al,αLn,α+Br,αRn,αCr,αRn,α+Hr,α,Ar,αRn,α+Bl,αLn,αCl,αLn,α+Hl,α] $
|
(3.2) |
To study the dynamical behavior of the positive solutions of discrete-time laser model (1.1), according to Definition 2.5, we consider two cases.
First, if Case I holds true, we need the following lemma.
Lemma 3.1. Consider the following difference equation
$ yn+1=ayn+byncyn+h, n=0,1,⋯, $
|
(3.3) |
where $ a\in(0, 1), b, c, h\in(0, +\infty), y_0\in(0, +\infty) $, then the following statements are true:
(i) Every positive solution of (3.3) satisfies
$ 0<yn≤bc(1−a)+y0. $
|
(3.4) |
(ii) The equation has a fixed point $ y^* = 0 $ if $ b\le (1-a)h. $
(iii) The equation has two fixed points $ y^* = 0, y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ if $ b > (1-a)h $.
Proof. (i) Let $ y_n $ be a positive solution of (3.3). It follows from (3.3) that, for $ n\ge 0, $
$ 0 \lt y_{n+1} = ay_n+\frac{by_n}{cy_n+h}\le ay_n+\frac{b}{c}. $ |
From which we have
$ 0 \lt y_n\le\frac{b}{c(1-a)}+\left(y_0-\frac{b}{c(1-a)}\right)a^{n+1}\le\frac{b}{c(1-a)}+y_0. $ |
This completes the proof of (i).
If $ y^* $ is fixed point of (3.3), i.e., $ y_n = y^*. $ So from (3.3), we have
$ y∗=ay∗+by∗cy∗+h. $
|
(3.5) |
After some manipulation, from (3.5), we can get
$ y∗=0, y∗=bc(1−a)−hc. $
|
(3.6) |
From (3.3), we can summarized the existence of fixed points as follows
(ii) If $ b < h(1-a) $, then $ y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ is not a positive number. And hence if $ b\le h(1-a) $ then (3.3) has a fixed point $ y^* = 0 $.
(iii) If $ b > h(1-a) $, then $ y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ is a positive number. And hence if $ b > h(1-a) $ then (3.3) has two fixed points $ y^* = 0, y^* = \frac{b}{c(1-a)}-\frac{h}{c} $.
Proposition 3.1. The following statements hold true
(i) The fixed point $ y^* = 0 $ of (3.3) is stable if $ b < (1-a)h $.
(ii) The fixed point $ y^* = 0 $ of (3.3) is unstable if $ b > (1-a)h $.
(iii) The fixed point $ y^* = 0 $ of (3.3) is non-hyperbolic if $ b = (1-a)h $.
Proof. From (3.3), let
$ f(y):=ay+bycy+h $
|
(3.7) |
From (3.7), it follows that
$ f′(y)=a+bh(cy+h)2 $
|
(3.8) |
From (3.8), it can get
$ |f′(y)|y∗=0|=|a+bh| $
|
(3.9) |
Therefore from (3.9), it can conclude that $ y^* = 0 $ is stable if $ b < (1-a)h $, unstable if $ b > (1-a)h $, non-hyperbolic if $ b = (1-a)h $.
Proposition 3.2. The fixed point $ y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ of (3.3) is globally asymptotically stable if $ b > (1-a)h $.
Proof. From (3.8), it can get
$ |f′(y)|y∗=bc(1−a)−hc|=|a+h(1−a)2b|. $
|
(3.10) |
Therefore from (3.10), it can conclude that, if $ a+\frac{h(1-a)^2}{b} < 1 $, i.e., $ b > (1-a)h $ then the fixed point $ y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ is stable.
On the other hand, it follows from (3.4) that $ (y_n) $ is bounded. And from (3.8), we have $ f'(y) > 0 $. Namely $ (y_n) $ is monotone increasing. So we have
$ limn→∞yn=y∗=bc(1−a)−hc. $
|
(3.11) |
Therefore the fixed point $ y^* = \frac{b}{c(1-a)}-\frac{h}{c} $ is globally asymptotically stable.
Proposition 3.3. The fixed point $ y^* = 0 $ of (3.3) is globally asymptotically stable if $ b < (1-a)h $.
Proof. From (3.3), we can get that
$ yn+1≤(a+bh)yn $
|
(3.12) |
From (3.12), it follows that
$ y1≤(a+bh)y0y2≤(a+bh)2y0⋮yn≤(a+bh)ny0 $
|
(3.13) |
Since $ b < (1-a)h $, then $ \lim_{n\rightarrow\infty}y_n = 0 $. Therefore the fixed point $ y^* = 0 $ of (3.3) is globally asymptotically stable.
Theorem 3.2. Consider discrete-time laser model (1.1), where $ A, B, C, H $ and initial value $ x_0 $ are positive fuzzy numbers. There exists positive number $ N_A $, $ \forall \alpha\in(0, 1] $, $ A_{r, \alpha} < N_A < 1 $. If
$ Bl,αLn,αBr,αRn,α≤Cl,αLn,α+Hl,αCr,αRn,α+Hr,α,∀α∈(0,1]. $
|
(3.14) |
and
$ Bl,α<Hl,α(1−Al,α), Br,α<Hr,α(1−Ar,α), ∀α∈(0,1]. $
|
(3.15) |
Then (1.1) has a fixed point $ x^* = 0 $ which is globally asymptotically stable.
Proof. Since $ A, B, C, H $ are positive fuzzy numbers and (3.14) holds true, taking $ \alpha $-cuts of model (1.1) on both sides, we can have the following difference equation system with parameters
$ Ln+1,α=Al,αLn,α+Bl,αLn,αCl,αLn,α+Hl,α, Rn+1,α=Ar,αRn,α+Br,αRn,αCr,αRn,α+Hr,α. $
|
(3.16) |
Since (3.15) holds true, using Proposition 3.2, we can get
$ limn→∞Ln,α=0, limn→∞Rn,α=0. $
|
(3.17) |
On the other hand, let $ x_n = x^* $, where $ [x_n]^\alpha = [L_{n, \alpha}, R_{n, \alpha}] = [L_\alpha, R_\alpha] = [x^*]^\alpha, \alpha\in(0, 1] $, be the fixed point of (1.1). From (3.16), one can get
$ Lα=Al,αLα+Bl,αLαCl,αLα+Hl,α, Rα=Ar,αRα+Br,αRαCr,αRα+Hr,α. $
|
(3.18) |
Since (3.15) is satisfied, from (3.16), it follows that
$ Lα=0, Rα=0, limn→∞D(xn,x∗)=limn→∞supα∈(0,1]{max{|Ln,α−Lα|,|Rn,α−Rα|}}=0. $
|
(3.19) |
Therefore, by virtue of Proposition 3.3, the fixed point $ x^* = 0 $ is globally asymptotically stable.
Theorem 3.3. Consider discrete-time laser model (1.1), where $ A, B, C, H $ and initial value $ x_0 $ are positive fuzzy numbers, there exists positive number $ N_A $, $ \forall \alpha\in(0, 1] $, $ A_{r, \alpha} < N_A < 1 $. If (3.14) holds true, and
$ Bl,α>Hl,α(1−Al,α), Br,α>Hr,α(1−Ar,α), ∀α∈(0,1], $
|
(3.20) |
then the following statements are true.
(i) Every positive solution of (1.1) is bounded.
(ii) Equation (1.1) has a unique positive fixed point $ x^* $ which is asymptotically stable.
Proof. (i) Since $ A, B, C, H $ and $ x_0 $ are positive fuzzy numbers, there exist positive constants $ M_A, N_A, M_B, $ $ N_B, M_C, N_C, M_H, N_H, M_0, N_0 $ such that
$ {[A]α=[Al,α,Ar,α]⊂¯⋃α∈(0,1][Al,α,Ar,α]⊂[MA,NA][B]α=[Bl,α,Br,α]⊂¯⋃α∈(0,1][Bl,α,Br,α]⊂[MB,NB][C]α=[Cl,α,Cr,α]⊂¯⋃α∈(0,1][Cl,α,Cr,α]⊂[MC,NC][H]α=[Hl,α,Hr,α]⊂¯⋃α∈(0,1][Hl,α,Hr,α]⊂[MH,NH][x0]α=[L0,α,R0,α]⊂¯⋃α∈(0,1][L0,α,R0,α]⊂[M0,N0] $
|
(3.21) |
Using (i) of Lemma 3.1, we can get that
$ 0<Ln≤Bl,αCl,α(1−Al,α)+L0,α, 0<Rn≤Br,αCr,α(1−Ar,α)+R0,α. $
|
(3.22) |
From (3.21) and (3.22), we have that for $ \alpha\in(0, 1] $
$ [Ln,α,Rn,α]⊂[0,N], n≥1. $
|
(3.23) |
where $ N = \frac{N_B}{M_C(1-N_A)}+N_0. $ From (3.22), we have for $ n\ge 1, \bigcup_{\alpha\in(0, 1]}[L_{n, \alpha}, R_{n, \alpha}]\subset (0, N] $, so $ \overline{\bigcup_{\alpha\in(0, 1]}[L_{n, \alpha}, R_{n, \alpha}]}\subset (0, N]. $ Thus the proof of (i) is completed.
(ii) We consider system (3.18), then the positive solution of (3.18) is given by
$ Lα=Bl,αCl,α(1−Al,α)−Hl,αCl,α, Rα=Br,αCr,α(1−Ar,α)−Hr,αCr,α,α∈(0,1]. $
|
(3.24) |
Let $ x_n $ be a positive solution of (1.1) such that $ [x_n]^\alpha = [L_{n, \alpha}, R_{n, \alpha}], \alpha\in(0, 1], n = 0, 1, 2, \cdots. $ Then applying Proposition 3.2 to system (3.16), we have
$ limn→∞Ln,α=Lα, limn→∞Rn,α=Rα $
|
(3.25) |
From (3.23) and (3.25), we have, for $ 0 < \alpha_1 < \alpha_2 < 1, $
$ 0<Lα1≤Lα2≤Rα2≤Rα1. $
|
(3.26) |
Since $ A_{l, \alpha}, A_{r, \alpha}, B_{l, \alpha}, B_{r, \alpha}, C_{l, \alpha}, C_{r, \alpha}, H_{l, \alpha}, H_{r, \alpha} $ are left continuous. It follows from (3.24) that $ L_\alpha, R_\alpha $ are also left continuous.
From (3.21) and (3.24), it follows that
$ c=MBNC(1−MA)−NHMC≤Lα≤Rα≤NBMA(1−NA)−MHNC=d. $
|
(3.27) |
Therefore (3.27) implies that $ [L_\alpha, R_\alpha]\subset[c, d], $ and so $ \bigcup_{\alpha\in(0, 1]}[L_\alpha, R_\alpha]\subset[c, d]. $ It is clear that
$ ⋃α∈(0,1][Lα,Rα] is compact and ⋃α∈(0,1][Lα,Rα]⊂(0,∞). $
|
(3.28) |
So from Definition 2.2, (3.24), (3.26), (3.28) and since $ L_\alpha, R_\alpha, \alpha\in(0, 1] $ determine a fuzzy number $ x^* $ such that
$ x∗=Ax∗+Bx∗Cx∗+H, [x∗]α=[Lα,Rα], α∈(0,1]. $
|
(3.29) |
Suppose that there exists another positive fixed point $ \bar{x} $ of (1.1), then there exist functions $ \overline{L}_\alpha, \overline{R}_\alpha: (0, 1)\rightarrow(0, \infty) $ such that
$ \bar{x} = A\bar{x}+\frac{B\bar{x}}{C\bar{x}+H}, \ \ [x]^\alpha = [\overline{L}_\alpha, \overline{R}_\alpha], \ \alpha\in(0, 1]. $ |
From which we have
$ \overline{L}_{\alpha} = A_{l, \alpha}\overline{L}_{\alpha}+\frac{B_{l, \alpha}\overline{L}_{\alpha}}{C_{l, \alpha}\overline{L}_{\alpha}+H_{l, \alpha}}, \ \ \overline{R}_{\alpha} = A_{r, \alpha}\overline{R}_{\alpha}+\frac{B_{r, \alpha}\overline{R}_{\alpha}}{C_{r, \alpha}\overline{R}_{\alpha}+H_{r, \alpha}}. $ |
So $ \overline{L}_\alpha = L_\alpha, \overline{R}_\alpha = R_\alpha, \alpha\in(0, 1] $. Hence $ \bar{x} = x^* $, namely $ x^* $ is a unique positive fixed point of (1.1).
From (3.25), we have
$ limn→∞D(xn,x∗)=limn→∞supα∈(0,1]max{|Ln,α−Lα|,|Rn,α−Rα|}=0. $
|
(3.30) |
Namely, every positive solution $ x_n $ of (1.1) converges the unique fixed point $ x^* $ with respect to $ D $ as $ n\rightarrow\infty. $ Applying Proposition 3.2, it can obtain that the positive fixed point $ x^* $ is globally asymptotically stable.
Secondly, if Case II holds true, it follows that for $ n\in\{0, 1, 2, \cdots\}, \alpha\in(0, 1] $
$ Ln+1,α=Al,αLn,α+Br,αRn,αCr,αRn,α+Hr,α, Rn+1,α==Ar,αRn,α+Bl,αLn,αCl,αLn,α+Hl,α $
|
(3.31) |
We need the following lemma.
Lemma 3.2. Consider the system of difference equations
$ yn+1=a1yn+b2znc2zn+h2, zn+1=a2zn+b1ync1yn+h1, n=0,1,⋯, $
|
(3.32) |
where $ a_i\in(0, 1), b_i, c_i, h_i\in(0, +\infty) (i = 1, 2), y_0, z_0\in(0, +\infty) $. If
$ a1+a2<1. $
|
(3.33) |
and
$ b1b2>h1h2(1−a1)(1−a2). $
|
(3.34) |
Then the following statements are true.
(i) Every positive solution $ (y_n, z_n) $ of (3.32) satisfy
$ 0<yn≤b2(1−a1)c2+y0, 0<zn≤b1(1−a2)c1+z0. $
|
(3.35) |
(ii) System (3.32) has fixed point $ (y, z) = (0, 0) $ which is asymptotically stable.
(iii) System (3.32) has a unique fixed point
$ y=(1−a2)Kb1c2+h2c1(1−a2),z=(1−a1)Kb2c1+h1c2(1−a1), $
|
(3.36) |
where $ K = \frac{b_1b_2-h_1h_2(1-a_1)(1-a_2)}{(1-a_1)(1-a_2)}. $
Proof. (i) Let $ (y_n, z_n) $ be a positive solution of (3.32). It follows from (3.32) that, for $ n\ge 0 $,
$ 0 \lt y_{n+1} = a_1y_n+\frac{b_2z_n}{c_2z_n+h_2}\le a_1y_n+\frac{b_2}{c_2}, \ \ 0 \lt z_{n+1} = a_2z_n+\frac{b_1y_n}{c_1y_n+h_1}\le a_2z_n+\frac{b_1}{c_1}. $ |
From which, we have
$ \left\{ 0<yn≤b2c2(1−a1)+(y0−b2c2(1−a1))an1≤b2c2(1−a1)+y00<zn≤b1c1(1−a2)+(z0−b1c1(1−a2))an2≤b1c1(1−a2)+z0. \right. $
|
This completes the proof of (i).
(ii) It is clear that $ (0, 0) $ is a fixed point of (3.32). We can obtain that the linearized system of (3.32) about the fixed point $ (0, 0) $ is
$ Xn+1=D1Xn, $
|
(3.37) |
where $ X_n = (x_n, y_n)^T $ and
$ D_1 = \left( a1b2c2b1h1a2 \right). $
|
Thus the characteristic equation of (3.37) is
$ λ2−(a1+a2)λ+a1a2−b1b2h1h2=0. $
|
(3.38) |
Since (3.33) and (3.34) hold true, we have
$ a1+a2+a1a2−b1b2h1h2<a1+q2+a1a2−(1−a1)(1−a2)<1 $
|
(3.39) |
By virtue of Theorem 1.3.7 [28], we obtain that the fixed point $ (0, 0) $ is asymptotically stable.
(iii) Let $ (y_n, z_n) = (y, z) $ be fixed point of (3.32). We consider the following system
$ y=a1y+b1zc1z+h1, z=a2z+b2yc2y+h2. $
|
(3.40) |
It is clear that the positive fixed point $ (y, z) $ can be written by (3.36).
Theorem 3.4. Consider the difference Eq (1.1), where $ A, B, C, H $ are positive fuzzy numbers. There exists positive number $ N_A, \forall \alpha\in(0, 1], A_{r, \alpha} < N_A < 1. $ If
$ Bl,αLn,αBr,αRn,α≥Cl,αLn,α+Hl,αCr,αRn,α+Hr,α,∀α∈(0,1], $
|
(3.41) |
$ Al,α+Ar,α<1,∀α∈(0,1], $
|
(3.42) |
and
$ Bl,αBr,α>Hl,αHr,α(1−Al,α)(1−Ar,α),∀α∈(0,1]. $
|
(3.43) |
Then the following statements are true
(i) Every positive solution of (1.1) is bounded.
(ii) The Eq (1.1) has a fixed point $ 0 $ which is globally asymptotically stable.
(iii) The Eq (1.1) has a unique positive fixed point $ x $ such that
$ [x]^\alpha = [L_\alpha, R_\alpha], \ L_\alpha = \frac{(1-A_{r, \alpha})K_\alpha}{B_{l, \alpha}C_{r, \alpha}+H_{r, \alpha}C_{l, \alpha}(1-A_{r, \alpha})}, R_\alpha = \frac{(1-A_{l, \alpha})K_\alpha}{B_{r, \alpha}C_{l, \alpha}+H_{l, \alpha}C_{r, \alpha}(1-A_{l, \alpha})}, $ |
where
$ Kα=Bl,αBr,α−Hl,αHr,α(1−Al,α)(1−Ar,α)(1−Al,α)(1−Ar,α). $
|
(3.44) |
Proof. (i) Let $ x_n $ be a positive solution of (1.1). Applying (i) of Lemma 3.2, we have
$ 0<Ln≤Br,α(1−Al,α)Cr,α+L0,α, 0<Rn≤Bl,α(1−Ar,α)Cl,α+R0,α. $
|
(3.45) |
Next, the proof is similar to (i) of Theorem 3.3. So we omit it.
(ii) The proof is similar to those of Theorem 3.2. We omit it.
(iii) Let $ x_n = x $ be a fixed point of (1.1), then
$ x=Ax+BxCx+H. $
|
(3.46) |
Taking $ \alpha $-cuts on both sides of (3.46), since (3.41) holds true, one gets the following system
$ Lα=Al,αLα+Br,αRαCr,αRα+Hr,α, Rα=Ar,αRα+Bl,αLαCl,αLα+Hl,α, α∈(0,1]. $
|
(3.47) |
From which we obtain that
$ Lα=(1−Ar,α)KαBl,αCr,α+Hr,αCl,α(1−Ar,α),Rα=(1−Al,α)KαBr,αCl,α+Hl,αCr,α(1−Al,α), $
|
(3.48) |
Next, we can show that $ L_\alpha, R_\alpha $ constitute a positive fuzzy number $ x $ such that $ [x]^\alpha = [L_\alpha, R_\alpha], \alpha\in(0, 1]. $ The proof is similar to (ii) of Theorem 3.3. We omit it.
Remark 3.1. In dynamical system model, the parameters of model derived from statistic data with vagueness or uncertainty. It corresponds to reality to use fuzzy parameters in dynamical system model. Compared with classic discrete time laser model, the solution of discrete time fuzzy laser model is within a range of value (approximate value), which are taken into account fuzzy uncertainties. Furthermore the global asymptotic behaviour of discrete time laser model are obtained in fuzzy context. The results obtained is generation of discrete time Beverton-Holt population model with fuzzy environment [25].
In this section, we give two numerical examples to verify the effectiveness of theoretic results obtained.
Example 4.1. Consider the following fuzzy discrete time laser model
$ xn+1=Axn+BxnCxn+H, n=0,1,⋯, $
|
(4.1) |
we take $ A, B, C, H $ and the initial values $ x_0 $ such that
$ A(x)={10x−4,0.4≤x≤0.5−10x+6,0.5≤x≤0.6,B(x)={5x−4,0.8≤x≤1−5x+6,1≤x≤1.2 $
|
(4.2) |
$ C(x)={2x−2,1≤x≤1.5−2x+4,1.5≤x≤2,H(x)={2x−6,3≤x≤3.5−2x+8,3.5≤x≤4 $
|
(4.3) |
$ x0(x)={x−6,6≤x≤7−x+8,7≤x≤8 $
|
(4.4) |
From (4.2), we get
$ [A]α=[0.4+110α,0.6−110α], [B]α=[0.8+15α,1.2−15α], α∈(0,1]. $
|
(4.5) |
From (4.3) and (4.4), we get
$ [C]α=[1+12α,2−12α], [H]α=[3+12α,4−12α],[x0]α=[6+α,8−α], α∈(0,1]. $
|
(4.6) |
Therefore, it follows that
$ ¯⋃α∈(0,1][A]α=[0.4,0.6], ¯⋃α∈(0,1][B]α=[0.8,1.2], ¯⋃α∈(0,1][C]α=[1,2],¯⋃α∈(0,1][H]α=[3,4].¯⋃α∈(0,1][x0]α=[6,8]. $
|
(4.7) |
From (4.1), it results in a coupled system of difference equations with parameter $ \alpha, $
$ Ln+1,α=Al,αLn,α+Bl,αLn,αCl,αLn,α+Hl,α, Rn+1,α=Ar,αRn,α+Br,αRn,αCr,αRn,α+Hr,α, α∈(0,1]. $
|
(4.8) |
Therefore, it is clear that $ A_{r, \alpha} < 1, \forall\alpha\in(0, 1], $ (3.14) and (3.15) hold true. so from Theorem 3.2, we have that every positive solution $ x_n $ of Eq (4.1) is bounded In addition, from Theorem 3.2, Eq (4.1) has a fixed point $ 0 $. Moreover every positive solution $ x_n $ of Eq (4.1) converges the fixed point $ 0 $ with respect to $ D $ as $ n\rightarrow \infty. $ (see Figures 1–3).
Example 4.2. Consider the following fuzzy discrete time laser model (4.1). where $ A, C, H $ and the initial values $ x_0 $ are same as Example 4.1.
$ B(x)={x−2,2≤x≤3−x+4,3≤x≤4 $
|
(4.9) |
From (4.9), we get
$ [B]α=[2+α,4−α], $
|
(4.10) |
Therefore, it follows that
$ ¯⋃α∈(0,1][B]α=[2,4],α∈(0,1]. $
|
(4.11) |
It is clear that (3.20) is satisfied, so from Theorem 3.3, Eq (4.1) has a unique positive equilibrium $ \overline{x} = (0.341, 1.667, 3) $. Moreover every positive solution $ x_n $ of Eq (4.1) converges the unique equilibrium $ \overline{x} $ with respect to $ D $ as $ n\rightarrow \infty. $ (see Figures 4–6)
In this work, according to a generalization of division (g-division) of fuzzy number, we study the fuzzy discrete time laser model $ x_{n+1} = Ax_n+\frac{Bx_{n}}{Cx_{n}+H} $. The existence of positive solution and qualitative behavior to (1.1) are investigated. The main results are as follows
(i) Under Case I, the positive solution is bounded if $ B_{l, \alpha} < H_{l, \alpha}(1-A_{l, \alpha}), B_{r, \alpha} < H_{r, \alpha}(1-A_{r, \alpha}), \alpha\in(0, 1] $. Moreover system (1.1) has a fixed point $ 0 $ which is globally asymptotically stable. Otherwise, if $ B_{l, \alpha}\ge H_{l, \alpha}(1-A_{l, \alpha}), B_{r, \alpha}\ge H_{r, \alpha}(1-A_{r, \alpha}), \alpha\in(0, 1] $. Then system (1.1) has a unique positive fixed point $ x^* $ which is asymptotically stable.
(ii) Under Case II, if $ A_{l, \alpha}+A_{r, \alpha} < 1 $ and $ B_{l, \alpha}B_{r, \alpha} > H_{l, \alpha}H_{r, \alpha}(1-A_{l, \alpha})(1-A_{r, \alpha}), \alpha\in(0, 1] $, then the positive solution is bounded. Moreover system (1.1) has a unique positive fixed point $ x $ and fixed point $ 0 $ which is global asymptotically stable.
The authors would like to thank the Editor and the anonymous Reviewers for their helpful comments and valuable suggestions to improve the paper. The work is partially supported by National Natural Science Foundation of China (11761018), Scientific Research Foundation of Guizhou Provincial Department of Science and Technology([2020]1Y008, [2019]1051), Priority Projects of Science Foundation at Guizhou University of Finance and Economics (2018XZD02), and Scientific Climbing Programme of Xiamen University of Technology(XPDKQ20021).
The authors declare that they have no competing interests.
[1] |
R. Alicandro, A. Braides and M. Cicalese, Continuum limits of discrete thin films with superlinear growth densities, Calc. Var. Partial Diff. Eq., 33 (2008), 267-297. doi: 10.1007/s00526-008-0159-4
![]() |
[2] |
R. Alicandro and M. Cicalese, A general integral representation result for continuum limits of discrete energies with superlinear growth, SIAM J. Math. Anal., 36 (2004), 1-37. doi: 10.1137/S0036141003426471
![]() |
[3] |
R. Alicandro, M. Cicalese and A. Gloria, Integral representation results for energies defined on stochastic lattices and application to nonlinear elasticity, Arch. Rational Mech. Anal., 200 (2011), 881-943. doi: 10.1007/s00205-010-0378-7
![]() |
[4] |
S. Bae, et al., Roll-to-roll production of 30-inch graphene films for transparent electrodes, Nature Nanotechnology, 5 (2010), 574-578. doi: 10.1038/nnano.2010.132
![]() |
[5] |
M. Barchiesi and A. Gloria, New counterexamples to the cell formula in nonconvex homogenization, Arch. Rational Mech. Anal., 195 (2010), 991-1024. doi: 10.1007/s00205-009-0226-9
![]() |
[6] |
X. Blanc, C. Le Bris and P.-L. Lions, From molecular models to continuum mechanics, Arch. Rational Mech. Anal., 164 (2002), 341-381. doi: 10.1007/s00205-002-0218-5
![]() |
[7] |
A. Braides and M. S. Gelli, From discrete systems to continuous variational problems: An introduction, in "Topics on Concentration Phenomena and Problems with Multiple Scales" (eds. A. Braides and V. Chiado' Piat), Lecture Notes Unione Mat. Ital., 2, Springer, Berlin, (2006), 3-77. doi: 10.1007/978-3-540-36546-4_1
![]() |
[8] |
A. Braides and M. S. Gelli, Continuum limits of discrete systems without convexity hypotheses, Math. Mech. Solids, 7 (2002), 41-66. doi: 10.1177/1081286502007001229
![]() |
[9] |
D. Caillerie, A. Mourad and A. Raoult, Discrete homogenization in graphene sheet modeling, J. Elast., 84 (2006), 33-68. doi: 10.1007/s10659-006-9053-5
![]() |
[10] |
S. Conti, G. Dolzmann, B. Kirchheim and S. Müller, Sufficient conditions for the validity of the Cauchy-Born rule close to $SO(n)$, J. Eur. Math. Soc., 8 (2006), 515-539. doi: 10.4171/JEMS/65
![]() |
[11] | B. Dacorogna, "Direct Methods in the Calculus of Variations," Second edition, Applied Mathematical Sciences, 78, Springer, New York, 2008. |
[12] |
G. Dal Maso, "An Introduction to $\Gamma$-Convergence," Progress in Nonlinear Differential Equations and their Applications, 8, Birkäuser Boston, Inc., Boston, MA, 1993. doi: 10.1007/978-1-4612-0327-8
![]() |
[13] |
W. E and P. Ming, Cauchy-Born rule and the stability of crystalline solids: Static problems, Arch. Rational Mech. Anal., 183 (2007), 241-297. doi: 10.1007/s00205-006-0031-7
![]() |
[14] |
J. L. Ericksen, On the Cauchy-Born rule, Math. Mech. Solids, 13 (2008), 199-220. doi: 10.1177/1081286507086898
![]() |
[15] |
G. Friesecke and F. Theil, Validity and failure of the Cauchy-Born hypothesis in a two-dimensional mass-spring lattice, J. Nonlinear Sci., 12 (2002), 445-478. doi: 10.1007/s00332-002-0495-z
![]() |
[16] |
A. K. Geim and A. H. MacDonald, Graphene: Exploring carbon flatland, Physics Today, 60 (2007), 35-41. doi: 10.1063/1.2774096
![]() |
[17] | H. Le Dret and A. Raoult, The nonlinear membrane model as variational limit of nonlinear three-dimensional elasticity, J. Math. Pures Appl. (9), 74 (1995), 549-578. |
[18] |
H. Le Dret and A. Raoult, Homogenization of hexagonal lattices, C. R. Acad. Sci. Paris, 349 (2011), 111-114. doi: 10.1016/j.crma.2010.12.012
![]() |
[19] |
P. Marcellini, Periodic solutions and homogenization of nonlinear variational problems, Ann. Mat. Pura Appl. (4), 117 (1978), 139-152. doi: 10.1007/BF02417888
![]() |
[20] |
N. Meunier, O. Pantz and A. Raoult, Elastic limit of square lattices with three point interactions, Math. Mod. Meth. Appl. Sci., 22 (2012), 21 pp. doi: 10.1142/S0218202512500327
![]() |
[21] |
S. Müller, Homogenization of nonconvex integral functionals and cellular elastic materials, Arch. Rational Mech. Anal., 99 (1987), 189-212. doi: 10.1007/BF00284506
![]() |
[22] |
G. Odegard, Equivalent-continuum modeling of nanostructured materials, ChemInform, 38 (2007). doi: 10.1002/chin.200723218
![]() |
[23] |
A. Raoult, D. Caillerie and A. Mourad, Elastic lattices: Equilibrium, invariant laws and homogenization, Ann. Univ. Ferrara Sez. VII Sci. Mat., 54 (2008), 297-318. doi: 10.1007/s11565-008-0054-0
![]() |
[24] |
B. Schmidt, On the passage from atomic to continuum theory for thin films, Arch. Ration. Mech. Anal., 190 (2008), 1-55. doi: 10.1007/s00205-008-0138-0
![]() |
1. | Ali Zia, Abdelwahed Khamis, James Nichols, Usman Bashir Tayab, Zeeshan Hayder, Vivien Rolland, Eric Stone, Lars Petersson, Topological deep learning: a review of an emerging paradigm, 2024, 57, 1573-7462, 10.1007/s10462-024-10710-9 | |
2. | Zisheng Ouyang, Zhen Chen, Xuewei Zhou, Zhongzhe Ouyang, Imported risk in global financial markets: Evidence from cross-market connectedness, 2025, 10629408, 102374, 10.1016/j.najef.2025.102374 | |
3. | Yue Liu, Lichang Zhang, Pierre Failler, Zirui Wang, The Dynamic Evolution of Agricultural Trade Network Structures and Its Influencing Factors: Evidence from Global Soybean Trade, 2025, 13, 2079-8954, 279, 10.3390/systems13040279 | |
4. | Mohosin Islam Palash, Samia Rahman Misty, Mohammad Shafiul Alam, 2024, Automated Recognition of Harmonic Patterns in Candlestick Chart: A Comparative Study of Machine Learning and Deep Learning Approaches, 979-8-3315-1909-4, 551, 10.1109/ICCIT64611.2024.11022580 |