- Research
- Open access
- Published:
Stabilization of nonlinear systems via aperiodic intermittent stochastic noise driven by G-Brownian motion with application to epidemic models
Advances in Difference Equations volume 2020, Article number: 699 (2020)
Abstract
To stabilize a nonlinear system \(dx(t)=f(t,x(t))\,dt\), we stochastically perturb the deterministic model by using two types of aperiodic intermittent stochastic noise driven by G-Brownian motion. We demonstrate quasi-sure exponential stability for the perturbed system and give the convergence rate, which is related to the control intensity. An application to SIS epidemic model is presented to confirm the theoretical results.
1 Introduction
Since Khas’minskii [1] used two white noise sources to stabilize a system, a wide range of works have appeared on stochastic stabilization problems. Arnold et al. [2] obtained stabilization results by using noisy terms in Stratonovich sense. Mao [3] presented a general theory on the stabilization by Brownian motion. Huang [4] further developed the general theory by Mao and revealed a more fundamental principle. Zhao et al. [5] established a new type of stability theorem which generalized local Lipschitz and one-sided linear growth conditions. From the considerations of reducing control cost and time, discontinuous controllers have been designed to stabilize a given system, such as discrete-time feedback control [6, 7], pinning control [8], impulsive control [9], adaptive control [10], intermittent control [11], etc. As for intermittent control, the control time is divided into periodic and aperiodic type. Periodically intermittent control has been studied by many authors, especially in synchronization problems. Zhang et al. [11] considered a periodic intermittent Brownian noise perturbation to stabilize and destabilize a given nonlinear system, the obtained criteria are different. Recently, Liu et al. [12] investigated the aperiodically intermittent control which has good performance to quasi-synchronize nonlinear coupled networks [13].
Motivated by the idea of stochastic stabilization via intermittent stochastic noise driven by Brownian motion, we are interested in analyzing whether the presence of intermittent stochastic perturbation driven by G-Brownian motion can stabilize a nonlinear system, since G-Brownian motion has powerful applications in modeling uncertainties. It is necessary to mention the pioneering work by Peng [14] who set up the G-framework. He pointed out that G-Brownian motion has independent increments and can be consistent with the classical Brownian motion in the sense of no volatility uncertainty. Many works have been done on G-Brownian motions [15–20], in particular existence and uniqueness theory for stochastic differential equations driven by G-Brownian motion (G-SDEs), as well as stability behavior and control theory, has been developed. Fei [16] investigated the exponential stability of paths for a G-SDE. Ren [19] designed a feedback control based on discrete-time observations to stabilize a G-SDE system. In [18], the aperiodically intermittent control has been embedded into the drift part, the authors obtained a set of piecewise Lyapunov-type conditions for the moment exponential stability theory.
As far as we know, there is hardly any literature about stochastic stabilization of deterministic systems via aperiodic intermittent stochastic perturbation driven by G-Brownian motion. In the present paper, we add two aperiodic intermittent stochastic perturbations driven by G-Brownian motion into a general deterministic nonlinear system. Those stochastic perturbations can stabilize the nonlinear system. The main contributions are summarized as follows:
-
The control itself is a stochastic perturbation driven by G-Brownian motion, which contains mean and volatility uncertainties, therefore, expands the general deterministic intermittent control and the stochastic intermittent control which is driven by classical Brownian motion.
-
The control time is aperiodically intermittent, which improves flexibility to time nodes and length. The acquired criteria consist of the work and rest width, we can control the steady rate autonomously by adjusting the work and rest width.
In Sect. 2, we establish the aperiodic intermittent stochastically perturbed system (2.2) driven by G-Brownian motion, present four notions, two lemmas, and one definition which will be used in the next section. Stabilization analysis is carried out in Sect. 3. In Sect. 4, we provide an application on stabilizing an SIS epidemic model by adding a special aperiodic intermittent stochastic perturbation driven by G-Brownian motion. This example clearly shows the power of stabilization by aperiodic intermittent stochastic perturbation driven by G-Brownian motion.
2 Preliminaries
Consider a nonlinear system
with initial value \(x(t_{0})=x_{0} \in R^{n}\). We add two aperiodic intermittent stochastic perturbations driven by G-Brownian motion to the nonlinear system, then the system becomes
where
with \(i ,j \in N\). Here
Also \(B(t)\) is a one-dimensional G-Brownian motion with \(G(a)=\frac{1}{2} \hat{\mathbb{E}}[aB_{1}^{2}]=\frac{1}{2}( \bar{\delta }^{2} a^{+}-\underline{\delta }^{2} a^{-})\), where \(\bar{\delta }^{2}=\hat{\mathbb{E}}[B_{1}^{2}]\), \(\underline{\delta }^{2}=- \hat{\mathbb{E}}[-B_{1}^{2}]\); \(\langle B \rangle (t)\) is the quadratic variation process of the G-Brownian motion, which is also a continuous process with independent and stationary distribution, thus can still be regarded as a Brownian motion. Under the perturbation of h type, the time span \([t_{i}^{h},t_{i+1}^{h})\) contains the work time \([t_{i}^{h},t_{i}^{h}+c_{i}^{h})\) and the rest time \([t_{i}^{h}+c_{i}^{h},t_{i+1}^{h})\) as shown in Fig. 1, \(c_{i}^{h}\) denotes the ith h-type noise width. Similarly, the time span \([t_{i}^{\sigma },t_{i+1}^{\sigma })\) contains the work time \([t_{i}^{\sigma },t_{i}^{\sigma }+c_{i}^{\sigma })\) and the rest time \([t_{i}^{ \sigma }+c_{i}^{\sigma },t_{i+1}^{\sigma })\), \(c_{i}^{\sigma }\) denote the ith σ-type noise width. Naturally, those two noise widths satisfy \(0\leq c_{i}^{h} \leq t_{i+1}^{h}- t_{i}^{h}; 0 \leq c_{i}^{\sigma } \leq t_{i+1}^{\sigma }-t_{i}^{\sigma }\). For the aperiodically intermittent perturbation strategy, the start time and the noise width might be different, but the total perturbation time ratio should be fixed in the long term. Mathematically, we assume there exist two positive scalars \(\omega _{h}\), \(\omega _{\sigma }\) such that the above time nodes satisfy the following assumptions:
We call \(\omega _{h}\) the h-type perturbation time ratio and \(\omega _{\sigma }\) the σ-type perturbation time ratio.
Throughout this paper, \(f_{1}\), \(h_{1}\), and \(\sigma _{1}\) satisfy the local Lipschitz condition and one-sided growth condition \(x^{T} f(t,x)+x^{T} h_{1}(t,x)+\frac{1}{2}\sigma _{1}^{2}(t,x)\leq K_{0} \| x \|^{2} \), where \(K_{0} >0\). Clearly, \(h(t,x)\) and \(\sigma (t,x)\) also satisfy the local Lipschits condition and one-sided growth condition. Moreover, we assume \(f(t,0)\equiv 0\), \(h(t,0)\equiv 0\), \(\sigma (t,0)\equiv 0\) for stochastic stability analysis, which guarantees the existence of a trivial solution \(x(t;t_{0},0)\equiv 0\).
Letting \(V \in C^{1,2} ([t_{0},\infty )\times R^{n};R^{+})\), we introduce some new notations as follows:
Definition 2.1
The trivial solution of the intermittent G-stochastic system (2.2) in \(R^{n}\) is said to be quasi-sure exponentially stable, if for any \(x_{0}\neq 0\) and \(t\geq t_{0}\),
Lemma 2.1
Under the conditions imposed above, system (2.2) has a unique global solution \(x(t;t_{0},x_{0})\). The solution obeys
Proof
The global existence of a unique solution follows from Theorem 4.5 in Li et al. [21], the nonzero property follows from the same method as in Mao [3] (see Lemma 3.2, p. 120). □
Lemma 2.2
Let \(N(t)\) be G-Ito stochastic integral, \(\tau _{n}\) be a sequence of positive numbers with \(\tau _{n} \rightarrow \infty \). Then for all \(\omega \in \Omega \) there exists a random integer \(n_{0}(\omega )\) such that for all \(n \geq n_{0}\),
Proof
According to Lemma 2.6 in Fei et al. [16],
We choose \(\gamma _{n}=\varepsilon \), \(\theta =2\), \(g(n)=n\), and the conclusion of Lemma 2.2 can be obtained naturally. □
Remark 2.1
If \(t_{i+1}-t_{i}=T\), \(c_{i}=\delta \) for all \(i \in N\), and \(\bar{\delta }=\underline{\delta }\), then the system (2.2) becomes a periodic intermittent system. This agrees with system 1 in Zhang et al. [11]. Our results can be regarded as a generalization of Zhang et al. [11].
3 Main results
In this section, we will establish the quasi-sure exponential stability theorem based on aperiodic intermittent stochastic noise driven by G-Brownian motions. Since \(x_{0}=0\) implies \(x(t;t_{0},0)=0\), we only need to concentrate on \(x_{0} \neq 0\).
Theorem 3.1
(Stabilization theorem)
Assume that there exists a function \(V \in C^{1,2} ([t_{0}, \infty )\times R^{n};R^{+})\), and constants \(p>0\), \(c_{1}>0\), \(c_{3} \geq 0\), \(c_{4} \geq 0\), \(c_{5}\geq 0\), \(c_{2}\in R \) such that for \(t \geq t_{0}\),
Then the solution \(x(t;t_{0},x_{0})\) satisfies
In particular, if \(c_{5} \omega _{\sigma } \underline{\delta }^{2}-c_{3} \omega _{\sigma } \bar{\delta }^{2}-2c_{4} \omega _{h} \bar{\delta }^{2}-2c_{2}>0\), then the solution \(x(t;t_{0},x_{0})\) of system (2.2) is quasi-sure exponentially stable.
Proof
Fix any \(x_{0}\neq 0\) and write \(x(t;t_{0},x_{0})=x(t)\). By Lemma 2.1, \(x(t)\neq 0\) for all \(t\geq t_{0}\) q.s. Applying Itô’s formula, for \(t\geq t_{0}\), we get
where
is a continuous martingale. By Lemma 2.2, taking an arbitrary \(\varepsilon \in (0,1)\), for all \(\omega \in \Omega\) q.s., there exists an integer \(n_{0}(\omega ,P) \) such that if \(n\geq n_{0}\), then
holds for all \(t_{0}\leq t\leq t_{0}+n\). Substituting this into (3.2), we have
Then we consider t in a different time interval. Obviously, there exist two positive integers \(n_{1}\), \(n_{2}\) such that \(t \in [t_{n_{1}}^{h},t_{n_{1}+1}^{h}] \cap [t_{n_{2}}^{\sigma },t_{n_{2}+1}^{ \sigma }]\). Depending on h- and σ-type noise widths, there are four possible cases which need to be discussed.
Case 1. For all \(\omega \in \Omega \) and \(n>n_{0}\), \(t\in [t_{n_{1}}^{h},t_{n_{1}}^{h}+c_{n_{1}}^{h}) \cap [t_{n_{2}}^{ \sigma },t_{n_{2}}^{\sigma }+c_{n_{2}}^{\sigma })\), we have
Substituting conditions (ii), (iii), (iv), and (v) into the above equation, we obtain
which implies that
By Eq. (2.5), we deduce
Using condition (i) and letting \(\varepsilon \rightarrow 0\), it follows that
Case 2. For all \(\omega \in \Omega \) and \(n>n_{0}\), \(t\in [t_{n_{1}}^{h},t_{n_{1}}^{h}+c_{n_{1}}^{h}) \cap [t_{n_{2}}^{ \sigma }+c_{n_{2}}^{\sigma },t_{n_{2}+1}^{\sigma })\), the integral interval length of \(\sigma (t,x(t))\) has changed compared to Case 1. Hence we have
By conditions (ii), (iii), (iv), and (v), we obtain
Using the same method as in Case 1, we conclude
Case 3. For all \(\omega \in \Omega \) and \(n>n_{0}\), \(t\in [t_{n_{1}}^{h}+c_{n_{1}}^{h},t_{n_{1}+1}^{h}) \cap [t_{n_{2}}^{ \sigma },t_{n_{2}}^{\sigma }+c_{n_{2}}^{\sigma })\) for all \(\omega \in \Omega \) and \(n>n_{0}\). This case is similar to Case 1 except for the additional time interval \([t_{n_{1}}^{h}+c_{n_{1}}^{h},t_{n_{1}+1}^{h})\) of \(h(t,x(t))\). Since \(h(t,x(t))=0\), \(t \in [t_{n_{1}}^{h}+c_{n_{1}}^{h},t_{n_{1}+1}^{h})\), \(\log V(t,x(t))\) can be written as
Together with conditions (i)–(v), it follows that
As \(\varepsilon \rightarrow 0\), the following inequality holds:
Case 4. For all \(\omega \in \Omega \) and \(n>n_{0}\), \(t\in [t_{n_{1}}^{h}+c_{n_{1}}^{h},t_{n_{1}+1}^{h}) \cup [t_{n_{2}}^{ \sigma }+c_{n_{2}}^{\sigma },t_{n_{2}+1}^{\sigma })\). This case is similar to Case 2 except for the time interval of \(h(t,x(t))\). This time \(\log V(t,x(t))\) can be divided into
The latter implies that
Thus we claim
From the above four cases, for all \(\omega \in \Omega \) and \(t \in [t_{n_{1}}^{h},t_{n_{1}+1}^{h}]\cap [t_{n_{2}}^{\sigma },t_{n_{2}+1}^{ \sigma }]\), the following inequality always holds
The proof is complete. □
Remark 3.1
If \(V(t,x)=\|x\|^{2}\), conditions (i)–(v) in Theorem 3.1 become: (i) \(x^{T} f(t, x) \leq s_{1}\|x\|^{2}\); (ii) \(\|\sigma _{1}(t, x) \| \leq s _{2}\|x\|\); (iii) \(x^{T} h_{1}(t, x) \leq s_{3}\|x\|^{2}\); and (iv) \(\|x^{T}\sigma _{1}(t,x)\| \geq s_{4}\|x\|\). Then \(x(t; t_{0},x_{0})\) satisfies
In particular, if \(s_{4}^{2} \omega _{1} \underline{\delta }^{2}-0.5 s_{2} ^{2}\omega _{1} \bar{\delta }^{2}-s_{3} \omega _{2} \bar{\delta }^{2}-s_{1}>0\), the solution \(x(t;t_{0},x_{0})\) of system (2.2) is quasi-sure exponentially stale.
Remark 3.2
If \(h_{1}(t,x)=0\), \(\sigma _{1}(t,x)=g_{1}(t,x)\), and \(\bar{\delta }=\underline{\delta }=1\), system (2.2) becomes an intermittently stochastically perturbed system driven by Brownian motion. More specially, if \(t_{j+1}^{\sigma }-t_{j}^{\sigma }=T\) and \(c_{j}^{\sigma }=\delta \) for all \(j \in N\), system (2.2) becomes a periodic intermittent system. Equation (3.1) becomes
This agrees with Theorem 1 in Zhang et al. [11]. Our results can be regarded as a generalization of Zhang et al. [11].
Remark 3.3
According to Eq. (3.1), the Lyapunov exponential of \(x(t;t_{0},x_{0})\) depends on perturbation time ratios \(\omega _{h}\), \(\omega _{\sigma }\) and volatility uncertainties \(\underline{\delta }\), δ̄. Thus h-type perturbation’s time ratio and volatility uncertainty \(\underline{\delta }\) can speed up exponential convergence, if the control strategy is designed based on our theoretical results.
4 Application to an epidemic system
In this section, we study an application of our theoretical results in Sect. 3 on SIS epidemic model. A classical deterministic SIS epidemic model partitions the host population into the susceptible compartment S and the infectious compartment I. Ordinary differential equations (ODEs) that describe the change of size in compartments S and I can be written as
Since \(S,I \geq 0\) and \(S+I=\frac{A}{d}\), the above two ODEs can be rewritten as
The dynamics of the SIS epidemic model is completely determined by the basic reproduction number
If \(R_{0} \leq 1\), the disease-free equilibrium \(P_{0} = (\frac{A}{d},0,0)\) is globally asymptotically stable and the disease always dies out; if \(R_{0} > 1\), then \(P_{0}\) is unstable and an endemic equilibrium exists which means the disease will persist. Now, we aim to control the number of infectious even if \(R_{0}>1\).
Adding two aperiodic intermittently stochastic perturbations \(h SI \, {d}\langle B\rangle (t)\), \(\sigma I \,{d}B(t)\) to SIS epidemic model, it becomes
where
with \(i ,j \in N\). Letting \(V(t,I)=I\) and verifying conditions in Theorem 3.1, we obtain
Comparing with conditions (ii)–(v), we obtain \(p=1\), \(c_{1}=1\), \(c_{2}=\frac{\beta A}{d} -d-\mu \), \(c_{3}=0\), \(c_{4}= \frac{hA}{d}\), \(c_{5}=\sigma ^{2}\). Thus the infectious part of the population \(I(t)\) satisfies
If \(R_{0}>1\), which means \(\frac{\beta A}{d} -d-\mu >0\), the Lyapunov exponent of \(I(t)\) would also be lower than 0 by adjusting the perturbation parameter \(\omega _{1}\), σ, \(\underline{\delta }\). This implies that the disease can be stabilized by intermittent stochastic perturbation.
Let us provide a numerical example for the stochastic perturbed SIS epidemic model (4.2) to substantiate the analytic findings. For system (4.2), setting \(A=100\), \(\beta =0.0002\), \(d=0.1\), \(\mu =0.05\) and \(h=0.1\), \(\sigma =0.5\), \(\bar{\delta }=2\), \(\underline{\delta }=1\), \(\omega _{2}=0.1\), we can calculate \(R_{0}=\frac{4}{3}>1\), the endemic equilibrium \(E^{*}\) is \((750,250)\), which means \(I(t)\) tends to 250, the disease will persist. To stabilize the deterministic SIS epidemic model (4.1), we choose different perturbation intensities \(\omega _{1}\) to compare the stabilization effects. Figure 2 shows clearly that the bigger the h-type perturbation intensity \(\omega _{1}\), the faster the steady speed.
5 Conclusions
In this paper, stochastic stabilization of a nonlinear system via aperiodic intermittent stochastic perturbation driven by G-Brownian motion has been investigated. We have derived sufficient conditions for quasi-sure exponential stability for the perturbed system (2.2), the criterion involves intermittent control strength. As an application, we have designed two special aperiodic intermittent stochastic perturbations to a deterministic SIS epidemic model, which would stabilize the epidemic system even though \(R_{0}>1\). Generally, we conclude that an aperiodic intermittent stochastic perturbation driven by G-Brownian motion can stabilize a nonlinear system.
Some interesting topics deserve further investigations. It is also interesting to consider the case that a random perturbation is a real noise and control time is random. We leave these questions for further investigations and look forward to solving them in the near future.
Availability of data and materials
The datasets used or analyzed during the current study are available from the corresponding author on reasonable request.
References
Khasminskii, R.: Stochastic Stability of Differential Equations. Sijthoff & Noordhoff, Rockville (1980)
Arnold, L., Crauel, H., Wihstutz, V.: Stabilization of linear systems by noise. SIAM J. Control Optim. 21, 451–461 (1983)
Mao, X.R.: Stochastic Differential Equations and Applications, 2nd edn. Woodhead Publishing, Cambridge (2008)
Huang, L.R.: Stochastic stabilization and destabilization of nonlinear differential equations. Syst. Control Lett. 62(2), 163–169 (2013)
Zhao, X.Y., Deng, F.Q.: A new type of stability theorem for stochastic systems with application to stochastic stabilization. IEEE Trans. Autom. Control 61(1), 240–245 (2016)
Deng, F.Q., Luo, Q., Mao, X.R.: Stochastic stabilization of hybrid differential equations. Automatica 48, 2321–2328 (2012)
Song, G.F., Lu, E.Y., Zheng, B.C., Mao, X.R.: Almost sure stabilization of hybrid systems by feedback control based on discrete-time observations of mode and state. Sci. China Inf. Sci. 61, 1–16 (2018)
Suarez, O.J., Vega, C.J., Sanchez, E.N., et al.: Neural sliding-mode pinning control for output synchronization for uncertain general complex networks. Automatica 112, 108694 (2020)
Cheng, P., Deng, F.Q., Yao, F.Q.: Almost sure exponential stability and stochastic stabilization of stochastic differential systems with impulsive effects. Nonlinear Anal. Hybrid Syst. 30, 106–117 (2018)
Liu, Y.J., Lu, S., Li, D.: Adaptive controller design-based ABLF for a class of nonlinear time-varying state constraint systems. IEEE Trans. Syst. Man Cybern. Syst. 47(7), 1546–1553 (2017)
Zhang, B., Deng, F.Q., Peng, S.G., Xie, S.L.: Stabilization and destabilization of nonlinear systems via iintermittent stochastic noise with application to memristor-based system. J. Franklin Inst. 355, 3829–3852 (2018)
Liu, X., Chen, T.: Synchronization of complex networks via aperiodically intermittent pinning control. IEEE Trans. Autom. Control 60(2), 3316–3321 (2015)
Liu, L., Pecr, M., Cao, J.D.: Aperiodically intermittent stochastic stabilization via discrete time or delay feedback control. Sci. China Inf. Sci. 62(10), 1–13 (2019)
Peng, S.G.: Multi-dimensional G-Brownian motion and related stochastic calculus under G-expectation. Stoch. Process. Appl., 118(12), 2223–2253 (2008)
Zhang, D.F., Chen, Z.: Exponential stability for stochastic differential equation driven by G-Brownian motion. Appl. Math. Lett. 25(11), 1906–1910 (2012)
Fei, W.Y., Fei, C.: On exponential stability for stochastic differential equations disturbed by G-Brownian motion. Mathematics, 1–19 (2013)
Deng, S.N., Fei, C., Fei, W.Y., Mao, X.R.: Stability equivalence between the stochastic differential delay equations driven by G-Brownian motion and the Euler–Maruyama method. Appl. Math. Lett. 96, 138–146 (2019)
Yang, H.J., Ren, Y., Lu, W.: Stabilisation of stochastic differential equations driven by G-Brownian motion via aperiodically intermittent control. Int. J. Control 10, 179–189 (2018)
Ren, Y., Yin, W.S., Sakthivel, R.: Stabilization of stochastic differential equations driven by G-Brownian motion with feedback control based on discrete-time state observation. Automatica 95, 146–151 (2018)
Ren, Y., Yin, W.S.: Quasi sure exponential stabilization of nonlinear systems via intermittent Brownian motion. Discrete Contin. Dyn. Syst., Ser. B 110(10), 1–13 (2019)
Li, X., Lin, X., Lin, Y.: Lyapunov-type conditions and stochastic differential equations driven by G-Brownian motion. J. Math. Anal. Appl. 439, 235–255 (2016)
Acknowledgements
This work is supported by the Youth project of Guangzhou Education Bureau under Grant 1201630502 and Research Fund for Guangzhou University under Grant YG2020010.
Funding
This work is supported by the Youth project of Guangzhou Education Bureau under Grant 1201630502, Research Fund for Guangzhou University under Grant YG2020010, the National Natural Science Foundation of China under Grant 61803094.
Author information
Authors and Affiliations
Contributions
The control itself is a stochastic perturbation driven by G-Brownian motion, which contains mean and volatility uncertainties, therefore, expands the general deterministic intermittent control and the stochastic intermittent control which is driven by classical Brownian motion. The control time is aperiodically intermittent, which improves flexibility to time nodes and length. The acquired criteria consist of the work and rest widths, we can control the steady rate autonomously by adjusting the work and rest widths. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhong, X., Deng, F., Zhang, B. et al. Stabilization of nonlinear systems via aperiodic intermittent stochastic noise driven by G-Brownian motion with application to epidemic models. Adv Differ Equ 2020, 699 (2020). https://doi.org/10.1186/s13662-020-03120-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03120-y