1. Introduction
Systems of both difference and differential equations with different forms of exponential nonlinearities are very popular in research and various applications (see, for instance, [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10] and references therein).
Here, similarly to [
9], the stability of the positive equilibrium of a system with exponential nonlinearity is investigated under stochastic perturbations via the general method of Lyapunov functionals construction [
10,
11,
12,
13] and the method of linear matrix inequalities (LMIs) [
14,
15,
16,
17,
18,
19,
20,
21,
22]. However, unlike, for instance, [
1,
9], where the exponential nonlinearity in each equation depends on only one variable, here each equation exponentially depends on all variables of the system under consideration. The obtained results are illustrated via examples and figures with numerical simulations of solutions of a considered system of difference equations. Numerical analysis of the considered LMIs is carried out using MATLAB.
Consider the system of two nonlinear difference equations
with positive parameters,
,
, and positive initial conditions
,
,
.
The equilibrium
of system (
1) is defined by the system of two algebraic equations
Theorem 1. The system (2) has a unique positive solution.
Proof. Presenting the first equation (
2) in the form
and calculating the logarithm, we get
Similarly, from the second equation (
2) we have
and
It is clear that the function
given by (
4) is defined and positive if
, where
and
is a unique root of the equation
which follows from (
3) by
.
Calculating the derivative
it is easy to see that
is strictly decreasing function. Moreover,
and
.
Calculating the derivative of the function
given by (
6), we have
i.e.,
. It means that
is strictly decreasing function for
. Moreover,
and
is a unique root of the equation
which follows from (
5) by
. It is easy to see that the root
of this equation satisfies the condition
.
Two decreasing functions
and
has one general point, which is a solution of the system (
2) and is the unique equilibrium
of the system (
1). The proof is completed. □
Corollary 1.1.
The equilibrium of the system (1) satisfies the conditions
where and are roots of the equations (7) and (8) respectively.
Example 1.
Consider the system (1) with
Then the solution of the system (2) is , from (9) and (7), (8) it follows that , , , . In Figure 1 and 2 the graphs of the functions (green), (red) and the equilibrium are shown.
2. Stochastic Perturbations and the System Transformation
Let
be a basic probability space,
,
, be a nondecreasing family of sub-
-algebras of
, i.e.,
for
,
be the mathematical expectation with respect to the measure
,
and
,
, be two mutually independent sequences with
-adapted mutually independent random values such that [
10]
Let us assume that the system (
1) is exposed to stochastic perturbations that are directly proportional to the deviation of the system state
from the equilibrium
. Then the system (
1) takes the form
Remark 1. Note that the such type of stochastic perturbations was firstly proposed in [23] for a system of Ito’s stochastic delay differential equations and was later used in many other works for both differential and difference equations (see, for instance, [10,13] and references therein). With this type of stochastic perturbations, the equilibrium of the original deterministic system remains also a solution of the stochastically perturbed system.
Presenting the solution of the system (
11) in the form
, we get
Substituting (
2) into (
12), from the first equation we have
Similarly, for the second equation (
12) we get
As a result we obtain the nonlinear system
with the zero solution.
Remark 2. Note that stability of the zero solution of the system (13) is equivalent to stability of the equilibrium of the system (11).
Using (
2) and the linear approximation
, where
, we obtain the linear part of the system (
13)
Representing the linear system (
14) in the matrix form, we get
where
and
3. Stability
3.1. Some Necessary Definitions and Statements
Let ′ be the transposition sign. Put now
Definition 3.1.([10]). The zero solution of the system (13) is called stable in probability if for any and there exists a such that the solution of the system (13) satisfies the inequality for any initial function such that , where .
Definition 3.2.([10]). The zero solution of the system (14) is called mean square stable if for each there exists a such that , , for any initial function such that ; asymptotically mean square stable if it is mean square stable and for each initial function such that the solution of the system (14) satisfies the condition .
Let be the conditional expectation with respect to the -algebra , , , and .
Theorem 2.([10]). Let for the system (13) there exists a functional which satisfies the conditions
where , , . Then the zero solution of the system (13) is stable in probability.
Theorem 3.([10]). Let for the system (14) there exists a nonnegative functional which satisfies the conditions
where , . Then the zero solution of the system (14) is asymptotically mean square stable.
Remark 3.. Note that the system (13) has an order of nonlinearity higher than one. It is known [10] that in this case sufficient conditions for asymptotic mean square stability of the zero solution of the linear system (14) are also sufficient conditions for stability in probability of the zero solution of the nonlinear system (13).
3.2. Stability conditions
Theorem 4.. Let there exist positive definite -matrices P and R such that the following linear matrix inequality (LMI)
the matrices , are defined in (16) and are diagonal elements of the matrix P. Then the equilibrium of the system (11) is stable in probability.
Proof. Following the general method of Lyapunov functionals construction [
10,
11,
12,
13], consider the functional
in the form
, where
,
,
is defined in (
16) and the additional functional
will be chosen below. For the functional
via (
15) we have
From here via (
10) and (
20) it follows that
or in the matrix form
Using the additional functional
,
, with
, for the functional
we obtain
From (
22) and the LMI (
19) for some
we have
, i.e., the constructed functional
satisfies the conditions of Theorem 3. Therefore, the zero solution of the linear equation (
15) is asymptotically mean square stable. Via Remarks 3 and 2 it means that the equilibrium
of the system (
11) is stable in probability. The proof is completed. □
Remark 4.
Note that instead of the LMI (19) for definition of stability some other LMIs also can be used. Using, for instance, the additional functional in the form instead of the LMI (19) we obtain the LMI
If at least one from the LMIs (19) and (23) holds then the equilibrium of the system (11) is stable in probability. Other ways to get appropriate LMIs are shown also in [9].
Example 2. Consider the system (11) with the values of the parameters given in Example 1. Via MATLAB it was obtained that by , the LMIs (19) and (23) hold. In Figure 3 and Figure 4 two different implementations of the solution of the system (11) are shown. In both cases, all trajectories of the solution converge to the stable equilibrium .
4. Conclusions
Stability of a system of nonlinear difference equations under stochastic perturbations is investigated. The nonli-nearity of exponential form in each equation depends on all variables of the system under consideration. The conditions of stability in probability for positive equilibrium of the considered system are obtained using the general method of Lyapunov functionals construction, are formulated in terms of linear matrix inequalities (LMIs) and are illustrated by numerical examples and figures. The method of stability investigation, used in the paper, can be applied to many other types of nonlinear systems for both difference and differential equations in various applications.
Funding
This research received no external funding.
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Not applicable.
Conflicts of Interest
The author declares no conflict of interest.
References
- Papaschinopoulos, G.; Radin, M.A.; Schinas, C.J. On the system of two difference equations of exponential form: xn+1=a+bxn-1e-yn, yn+1=c+dyn-1e-xn. Mathematical and Computer Modelling 2011, 54, 2969–2977. [Google Scholar] [CrossRef]
- Papaschinopoulos, G.; Radin, M.A.; Schinas, C.J. Study of the asymptotic behavior of the solutions of three systems of difference equations of exponential form. Applied Mathematics and Computation 2012, 218, 5310–5318. [Google Scholar] [CrossRef]
- Papaschinopoulos, G.; Fotiades, N.; Schinas, C.J. On a system of difference equations including negative exponential terms. Journal of Differential Equations and Applications 2014, 20, 717–732. [Google Scholar] [CrossRef]
- Papaschinopoulos, G.; Ellina, G.; Papadopoulos, K.B. Asymptotic behavior of the positive solutions of an exponential type system of difference equations. Applied Mathematics and Computation 2014, 245, 181–190. [Google Scholar] [CrossRef]
- Shaikhet, L. Stability of equilibrium states for a stochastically perturbed exponential type system of difference equations. Journal of Computational and Applied Mathematics 2015, 290, 92–103. [Google Scholar] [CrossRef]
- Thai, T.H.; Dai, N.A.; Anh, P.T. Global dynamics of some system of second-order difference equations. Electronic Research Archive 2021, 29, 4159–4175. [Google Scholar] [CrossRef]
- Khan, A.Q. Global Dynamics of a Nonsymmetric System of Difference Equations. Mathematical Problems in Engineering 2022, 14, 4435613. [Google Scholar] [CrossRef]
- Shaikhet, L. Stability of the exponential type system of stochastic difference equations. Special Issue "Nonlinear Stochastic Dynamics and Control and Its Applications". Mathematics 2023, 11, 3975, 20p. Available online: https://www.mdpi.com/2227-7390/11/18/3975. [CrossRef]
- Shaikhet, L. Stability of equilibria of exponential type system of three differential equations under stochastic perturbations. Mathematics and Computers in Simulation 2023, 206, 105–117. [Google Scholar] [CrossRef]
- Shaikhet, L. Lyapunov Functionals and Stability of Stochastic Difference Equations; Springer Science & Business Media: London, UK, 2011. [Google Scholar]
- Kolmanovskii, V. , Shaikhet, L. Some peculiarities of the general method of Lyapunov functionals construction. Applied Mathematics Letters. 2002, 15(3), 355–360. [Google Scholar] [CrossRef]
- Kolmanovskii, V.; Shaikhet, L. About one application of the general method of Lyapunov functionals construction. International Journal of Robust and Nonlinear Control (Special Issue on Time Delay Systems, RNC) 2003, 13, 805–818. [Google Scholar] [CrossRef]
- Shaikhet, L. Lyapunov Functionals and Stability of Stochastic Functional Differential Equations. Springer Science & Business Media: Berlin, 2013. [Google Scholar]
- Boyd, S.; El-Ghaoui, L.; Feron, E.; Balakrishnan, V. Linear Matrix Inequalities in System and Control Theory; SIAM: Philadelphia, PA, USA, 1994. [Google Scholar]
- Choi, H.H. A new method for variable structure control system design: A linear matrix inequality approach. Automatica 1997, 33, 2089–2092. [Google Scholar] [CrossRef]
- Niculescu, S.I. H∞ memory less control with an α-stability constraint for time delays systems: an LMI approach. IEEE Transactions on Automatic Control 1998, 43, 739–743. [Google Scholar] [CrossRef]
- Nguang, S.K. Robust H∞ control of a class of nonlinear systems with delayed state and control: an LMI approach. In Proceedings of the 37th IEEE Conference on Decision and Control, Tampa, Florida, USA, 1998; pp. 2384–2389. [Google Scholar]
- Gouaisbaut, F.; Dambrine, M.; Richard, J.P. Robust control of delay systems: a sliding mode control design via LMI. Systems & Control Letters 2002, 46, 219–230. [Google Scholar]
- Seuret, A.; Gouaisbaut, F. Hierarchy of LMI conditions for the stability analysis of time-delay systems. Systems & Control Letters 2015, 81, 1–7. [Google Scholar]
- Fridman, E.; Shaikhet, L. Stabilization by using artificial delays: an LMI approach. Automatica 2017, 81, 429–437. [Google Scholar] [CrossRef]
- Fridman, E.; Shaikhet, L. Delay-dependent LMI conditions for stability of stochastic systems with delay term in the form of Stieltjes integral. In Proceedings of the 57th IEEE Conference on Decision and Control, Fontainebleau, Miami Beach, Florida, USA, 2018; pp. 6567–6572. [Google Scholar]
- Fridman, E.; Shaikhet, L. Simple LMIs for stability of stochastic systems with delay term given by Stieltjes integral or with stabilizing delay. Systems & Control Letters 2019, 124, 83–91. Available online: https://www.sciencedirect.com/science/article/abs/pii/S016769111830224X.
- Beretta, E.; Kolmanovskii, V.; Shaikhet, L. Stability of epidemic model with time delays influenced by stochastic perturbations. Mathematics and Computers in Simulation, (Special Issue "Delay Systems") 1998, 45, 269–277. Available online: https://www.sciencedirect.com/science/article/pii/S0378475497001067. [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).