- Research
- Open Access
- Published:
Noise-to-state exponential stability of neutral random nonlinear systems
Advances in Difference Equations volume 2018, Article number: 313 (2018)
Abstract
In this paper, we deal with a class of neutral random nonlinear systems. The existence and uniqueness of the solution to neutral random functional nonlinear systems (NRFSs) are established. Furthermore, the criteria on noise-to-state stability in the moment of a special class of NRFSs, named neutral random delay nonlinear systems, are derived. An example is given for illustration.
1 Introduction
Stochastic differential equations (SDEs) are widely adopted to describe systems with stochastic disturbances. As one of the most important issues of SDEs, stability theory of SDEs has been studied intensively over past decades, see for instance [1–6] and the references therein.
Moreover, delay effects are common phenomena which exist in a wide variety of real systems. Neutral differential equations with delay (NDDEs in short) are often used to describe the systems which depend not only on present and past states but also involve derivatives with delays. For theory of NDDEs, one can see Hale and Lunel [7] and the references therein. Taking the environmental disturbances into account, Kolmanovskii and Nosov [8] and Mao [9] discussed the neutral stochastic differential equations with delay driven by Brownian motion (NSDDEs). Since then, so many efforts have been made on this topic, especially on asymptotical boundedness and exponential stability of NSDDEs. One can see [10–13] and the references therein.
Although fruitful results on the stability of SDEs have been obtained, it seems that the model of SDEs is not necessarily the best model in some specific situations (see [14, 15] for more details). For example, stationary processes are more reasonable to describe stochastic disturbances to other electric elements in circuit systems with power noise filter than white noises. Stationary processes have been applied to automatic control, information theory, and wireless technology. In Wu [14], a framework of stability analysis for random nonlinear systems with second-order processes was established. The notion of noise-to-state stability was proposed for stochastic nonlinear systems by regarding the unknown covariance of Brownian motion as the deterministic input in [16] and [17]. Based on the above works, Zhang et al. [18] investigated the noise-to-state stability in probability of state-dependent switched random nonlinear systems with second-order stationary processes. Then, Zhang et al. [15] and Zhang et al. [19] established the criteria on noise-to-state stability in the moment of random switched systems under a reasonable assumption of second-order processes, respectively.
In this paper, motivated by the above-mentioned works, we deal with a class of neutral random functional nonlinear systems of the form
with initial data \(x_{t_{0}}\). Here, the same as in [14], \(\xi(t)\) is a second-order process. The existence and uniqueness of the solution to system (1) and the noise-to-state exponential stability of an important class of system (1) are considered. We mentioned that, when \(\xi(t)\) is a white noise, regarding \(\xi(t)\) as the formal derivative of a Brownian motion (or Wiener process) \(B(t)\), equation (1) becomes the classical functional SDE described by
with initial data \(x_{t_{0}}\).
The paper is organized as follows. In Sect. 2, we introduce some notations and preliminaries. Section 3 is devoted to the existence and uniqueness of solution to a neutral random functional nonlinear system. In Sect. 4, the criteria of noise-to-state exponential stability in the pth moment of neutral random delay nonlinear systems are established. An example is given in Sect. 5 to illustrate our main results.
2 Notations and preliminaries
Throughout this paper, unless otherwise specified, we use the following notations. Let \(|\cdot|\) be the Euclidean norm in \(R^{n}\). If A is a vector or matrix, its transpose is denoted by \(A^{T}\). If A is a matrix, its trace norm is denoted by trace \(|A|=\sqrt {\operatorname{trace} (A^{T}A)}\). Let \(\tau>0\) and denote by \(C([-\tau, 0];R^{n})\) the family of continuous functions φ from \([-\tau, 0]\) to \(R^{n}\) with the norm \(\|\varphi\|=\sup_{-\tau\leq\theta\leq 0}|\varphi(\theta)|\). Let \(R_{+}=[0,\infty)\) and \(\mathcal{K}\) stands for the set of all functions \(R_{+}\rightarrow R_{+}\), which are continuous, strictly increasing, and vanishing at zero.
Let \((\Omega, \mathcal{F}, \mathcal{F}_{t}, P)\) be a given complete probability space with a filtration \(\{\mathcal{F}_{t}\}_{t\geq0}\) satisfying the usual conditions. For \(p>0\), let \(\mathcal {L}^{p}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R^{n})\) be the family of \(\mathcal{F}_{t_{0}}\)-measurable \(C([-\tau, 0];R^{n})\)-valued random variables η such that \(E\|\eta\|^{p}<\infty\). Denote by \(C^{b}_{\mathcal{F}_{t_{0}}}([-\tau, 0];R^{n})\) the family of all \(\mathcal{F}_{t_{0}}\)-measurable, bounded, and \(C([-\tau, 0];R^{n})\)-valued random variables.
Consider a neutral random functional nonlinear system of the form
with initial data \(x_{t_{0}}=\eta=\{\eta(\theta): -\tau\leq\theta\leq 0\}\in\mathcal{L}^{1}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R^{n})\), where \(D:C([-\tau, 0];R^{n})\rightarrow R^{n}\), \(f:C([-\tau, 0];R^{n})\times R^{+}\rightarrow R^{n}\) and \(g:C([-\tau, 0];R^{n})\times R^{+}\rightarrow R^{n\times d}\) are Borel-measurable, \(x(t)\in R^{n}\) is the state of the system and \(x_{t}=\{x(t+\theta): -\tau\leq\theta\leq0\}\) is regarded as a \(C([-\tau, 0];R^{n})\)-valued stochastic process. The stochastic process \(\xi(t)\in R^{d}\) is a second-order process satisfying the following assumption.
Assumption A1
The process \(\xi(t)\in R^{d}\) is \(\mathcal {F}_{t}\)-adapted and piecewise continuous and satisfies
Remark 1
From \(\sup_{t_{0}\leq s\leq t}E|\xi(s)|^{2}<\infty\), for all \(t\geq t_{0}\), one can verify \(\xi(t)<\infty\), a.s.
Definition 1
A solution to system (2) on \(t\geq t_{0}-\tau\) is a process \(x(t):=x(t; t_{0},x_{t_{0}})\) satisfying the following:
-
1.
\(x(t)\) is continuous and \(\mathcal{F}_{t}\)-adapted for \(t\geq t_{0}-\tau\), where \(\mathcal{F}_{t}\equiv\mathcal{F}_{t_{0}}\) for \(t\in[t_{0}-\tau, t_{0}]\);
-
2.
For every \(T>t_{0}\), \(\int_{t_{0}}^{T}|f(x_{t}, t)|\,dt<\infty\) a.s. and \(\int_{t_{0}}^{T}|g(x_{t}, t)|\,dt<\infty\) a.s.;
-
3.
For every \(T> t_{0}\)
$$x(T)-D(x_{T})=x(t_{0})-D(x_{t_{0}})+ \int_{t_{0}}^{T}f(x_{s},s)\,ds+ \int _{t_{0}}^{T}g(x_{s},s)\xi(s)\,ds. $$
A solution \(x(t)\) to system (2) is said to be unique if any other solution \(\bar{x}(t)\) is indistinguishable from \(x(t)\).
To analyze the existence and uniqueness of solution to system (2), we impose the following assumptions.
Assumption A2
Both f and g are piecewise continuous in t and satisfy the Lipschitz condition in x, i.e., there exists a constant \(K>0\) such that
for all \(t\geq t_{0}\) and ∀φ, \(\phi\in C([-\tau, 0];R^{n})\).
Assumption A3
There exists a constant \(L>0\) such that
for all \(t\geq t_{0}\) and \(\forall\phi\in C([-\tau, 0];R^{n})\).
Assumption A4
There exists \(\kappa\in(0,1)\) such that, for all \(\varphi,\phi\in C([-\tau, 0];R^{n})\),
3 The existence and uniqueness theorem
Let us now establish the existence and uniqueness of solutions to system (2).
Theorem 1
Under Assumptions A1–A4, the neutral random functional nonlinear system (2) has a unique solution.
Proof
Uniqueness. Let \(x(t)\) and \(\bar{x}(t)\) be the two solutions of system (2) with initial data \(x_{t_{0}}=\bar{x}_{t_{0}}\). By Assumptions A2 and A4, we have
This implies
therefore
Applying Gronwall’s inequality yields that \(x(t)=\bar{x}(t)\), a.s. for all \(t\geq t_{0}\). The uniqueness is proved.
Existence. The proof of existence is divided into the following two steps.
Step 1. Define \(x_{t_{0}}^{0}=\eta\) and \(x^{0}(t)=\eta(0)\) for \(t\geq t_{0}\). For each \(n=1,2,\ldots \) , set \(x_{t_{0}}^{n}=\eta\) and define
When \(n=1\), we have
Then, for any finite number \(T>t_{0}\), we have
Note that
This together with (8) yields
On the other hand, we have
By the same procedure as in the proof of the uniqueness and (9), we obtain
Given \(T-t_{0}\) is small enough such that \(\kappa+ K\int_{t_{0}}^{T}(1+|\xi(s)|)\,ds<1\), one can show from (10) that there is a solution to system (2) on \([t_{0}-\tau, T]\).
Step 2. Let \(\sigma>0\) be sufficiently small for
by Step 1, there is a solution to system (2) on \([t_{0}-\tau, t_{0}+\sigma]\) with initial data \(x_{t_{0}}\). By Step 1 again, there is a solution to system (2) on \([t_{0}+\sigma, t_{0}+2\sigma]\) with initial data \(x_{t_{0}+\sigma}\). Repeating this procedure, we can derive that there is a solution to system (2) on \(t\geq t_{0}-\tau\). The proof is complete. □
As in the classical SDE situation, the uniform Lipschitz Assumption A2 is somewhat restrictive in applications of the system, this motivates us to replace Assumption A2 with the local Lipschitz condition.
Assumption A2′
Assume that for each \(h>0\), there is a constant \(K_{h}>0\) such that
for all \(t\geq t_{0}\) and those \(\varphi,\phi\in C([-\tau, 0];R^{n})\) with \(\|\varphi\|\vee\|\phi\|\leq h\).
Theorem 2
Under Assumptions A1, A2′, A3, and A4, the neutral random functional nonlinear system (2) has a unique solution.
Following the same line of Theorem 2.3.4 in Mao [9], this theorem can be proved by a standard truncation procedure, so we omit it.
4 Noise-to-state stability
In this section, we consider a special but important class of system (2) of the form
with initial data \(x_{t_{0}}=\eta=\{\eta(\theta): -\tau\leq\theta\leq 0\}\in\mathcal{C}^{b}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R^{n})\), where \(\bar{D}:R^{n} \rightarrow R^{n}\), \(F:R^{n}\times R^{n}\times R_{+}\rightarrow R^{n}\), and \(G: R^{n}\times R^{n}\times R_{+}\rightarrow R^{n\times d}\) are Borel-measurable and the process \(\xi(t)\) satisfies Assumption A1. We called (12) the neutral random delay nonlinear system.
For functions D̄, F, and G, we impose the following assumptions.
Assumption A5
Both F and G satisfy the local Lipschitz condition. That is, for each \(h>0\), there is a constant \(K_{h}>0\) such that
for all \(t\geq t_{0}\) and \(\forall x,\bar{x}, y, \bar{y}\in R^{n}\) with \(|x|\vee|\bar{x}|\vee|y|\vee|\bar{y}|\leq h\).
Assumption A6
There exists a constant \(L>0\) such that
for all \(t\geq t_{0}\) and \(\forall x, y \in R^{n}\).
Assumption A7
There exists \(\kappa\in(0,1)\) such that
for all \(x\in R^{n} \).
In fact, system (12) can be written as system (2) by defining \(f(\phi, t)=F(\phi, \phi(-\tau), t)\) and \(g(\phi, t)=G(\phi, \phi(-\tau), t)\) for \((\phi, t)\in C([-\tau, 0];R^{n})\times R_{+}\). Note that Assumptions A5, A6, and A7 imply Assumptions A2′, A3, and A4 respectively, so by Theorem 2, there exists a unique solution to system (12) on \([t_{0}-\tau, \infty)\).
Definition 2
For \(p>0\), the neutral nonlinear system (12) is said to be noise-to-state exponentially stable in the pth moment, if there exist positive constants c, λ and a class \(\mathcal{K}\) function \(\gamma(\cdot)\) such that, for all \(t\geq t_{0}\) and \(x_{t_{0}}=\eta\in\mathcal{C}^{b}_{\mathcal {F}_{t_{0}}}([-\tau,0]; R^{n})\),
When \(p=2\), we also say that it is noise-to-state exponentially stable in the mean square.
The following lemma is a combination of Lemmas 4.3 and 4.5 in Kolmanovskii et al. [11].
Lemma 1
Let \(p\geq1\) and Assumption A7 hold. Then, for all \(x, y\in R^{n}\),
Lemma 2
Let Assumptions A5–A7 hold. Suppose there exist positive constants \(c_{1}\), \(c_{2}\), \(\alpha_{1}\), \(\alpha_{2}\), \(\alpha_{3}\), d with \(\alpha_{1}>\alpha_{2}\) and a \(\mathcal{C}^{1}\) function \(V(x,t): R^{n}\times [t_{0},\infty)\rightarrow R_{+}\) such that, for \(p\geq1\) and \(\forall t\geq t_{0}\), \(x, y\in R^{n}\),
and
Moreover, there is a constant \(\kappa\in(0,1)\) such that
Let λ̄ be the unique solution to the equation
If \(\lambda\in(0,\bar{\lambda}]\), then for all \(t\geq t_{0}\) and any initial data \(\{\eta(\theta): -\tau\leq\theta\leq0\} =\eta\in \mathcal{C}^{b}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R^{n})\), it holds that
where \(C_{\lambda}:=\frac{1}{c_{1}}[c_{2}e^{\lambda t_{0}}(1+\kappa)^{p}+\tau e^{\lambda\tau}(\alpha_{2}+\kappa\lambda c_{2}(1+\kappa)^{p-1})]\).
Proof
For \(t\geq t_{0}\), let \(\tilde{x}(t):=x(t)-\bar{D}(x(t-\tau))\), by Young’s inequality and (16), we have
Taking integrals and then expectations on both sides of the above, together with (15) and (17), we get
However,
Substituting this into (19), we have
where \(H(\lambda):=\alpha_{1}-\lambda c_{2}(1+\kappa)^{p-1}-e^{\lambda\tau}(\alpha_{2}+\kappa\lambda c_{2}(1+\kappa)^{p-1})\). It is obvious that \(H(\lambda)\) is continuous and mono-decreasing in λ. For \(\alpha_{1}>\alpha_{2}\), and from the zero theorem, there exists a unique positive root λ̄ to the equation \(H(\lambda)=0\). Thus, for \(\lambda\in(0,\bar{\lambda}]\), assertion (18) follows from (21) directly. □
Based on the above two lemmas, we can now state the main result of this section.
Theorem 3
Let the assumptions of Lemma 2 hold and \(\alpha_{3}=0\). Let \(\lambda\in(0,\bar{\lambda}\wedge\frac{1}{2\tau}\log(\frac{1}{\kappa})]\), then for any initial data \(\{\eta(\theta): -\tau\leq\theta\leq0\} =\eta\in\mathcal{C}^{b}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R^{n})\), the neutral random delay nonlinear system (12) is noise-to-state exponentially stable in the pth moment.
Proof
For \(\lambda\in(0,\bar{\lambda}\wedge\frac{1}{2\tau}\log(\frac{1}{\kappa})]\), by Lemmas 1 and 2, we have
where \(C_{\lambda}\) is the same as defined in (18). Thus, we have
Therefore
In particular,
i.e., system (12) is noise-to-state exponentially stable in the pth moment. □
5 An example
In this section, an example is given to illustrate our main results.
Example 1
Let \(\xi(t)\) be a one-dimensional stochastic process satisfying Assumption A1. Consider the following neutral nonlinear random system:
with initial data \(x_{t_{0}}=\eta=\{\eta(\theta): -\tau\leq\theta\leq 0\}\in\mathcal{C}^{b}_{\mathcal{F}_{t_{0}}}([-\tau,0]; R)\).
Let \(V(x,t)=x^{2}\), then (15) holds true for \(c_{1}=0.5\), \(c_{2}=1\), and \(p=2\). For \(\beta_{1}<0\), with the help of the elementary inequality \(2ab\leq a^{2}+b^{2}\), one can easily check that
Set \(k=0.1\), \(\beta_{1}=-1\), \(\beta_{2}=0.5\), \(\beta_{3}=0.5\), and \(d=0.1\), we have
and
By Theorem 3, system (22) is noise-to-state exponentially stable in the mean square.
References
Arnold, L.: Stochastic Differential Equations: Theory and Applications. Wiley, New York (1972)
Friedman, A.: Stochastic Differential Equations and Applications, vol. 2. Academic Press, New York (1976)
Mohammed, S.E.A.: Stochastic Functional Differential Equations. Pitman, Boston (1984)
Has’minskii, R.Z.: Stochastic Stability of Differential Equations. Sijthoff & Noordhoff, Alphen (1981)
Mao, X.: Stability of stochastic differential equations with Markovian switching. Stoch. Process. Appl. 79, 45–67 (1999)
Yuan, C., Mao, X.: Stochastic Differential Equations with Markovian Switching. Imperial College Press, London (2006)
Hale, J.K., Lunel, S.M.V.: Introduction to Functional Differential Equations. Springer, New York (1993)
Kolmanovskii, V.B., Nosov, V.R.: Stability and Periodic Modes of Control Systems with Aftereffect. Nauka, Moscow (1981)
Mao, X.: Stochastic Differential Equations and Their Applications. Horwood, Chichester (1997)
Mao, X.: Asymptotic properties of neutral stochastic differential delay equations. Stoch. Stoch. Rep. 68, 273–295 (2000)
Kolmanovskii, V., Koroleva, N., Maizenberg, T., Mao, X.: Neutral stochastic differential delay equations with Markovian switching. Stoch. Anal. Appl. 21, 819–847 (2003)
Mao, X., Shen, Y., Yuan, C.: Almost surely asymptotic stability of neutral stochastic differential delay equations with Markovian switching. Stoch. Process. Appl. 118, 1385–1406 (2008)
Xie, Y., Zhang, C.: Asymptotical boundedness and moment exponential stability for stochastic neutral differential equations with time-variable delay and Markovian switching. Appl. Math. Lett. 70, 46–51 (2017)
Wu, Z.: Stability criteria of random nonlinear systems and their applications. IEEE Trans. Autom. Control 60, 1038–1049 (2015)
Zhang, H., Xia, Y., Wu, Z.: Noise-to-state stability of random switched systems and its applications. IEEE Trans. Autom. Control 61, 1607–1612 (2016)
Krstic, M., Deng, H.: Stability of Nonlinear Uncertain Systems. Springer, New York (1998)
Deng, H., Krstic, M., Williams, R.J.: Noise-to-state stability of random switched systems and its applications. IEEE Trans. Autom. Control 46, 1237–1253 (2001)
Zhang, D., Wu, Z., Sun, X., Shi, P.: Noise-to state stability for random affine systems with state-dependent switching. In: Proceeding of the 11th World Congress on Intelligent Control and Automation, pp. 2191–2195 (2014)
Zhang, D., Wu, Z., Sun, X., Wang, W.: Noise-to-state stability for a class of random systems with state-dependent switching. IEEE Trans. Autom. Control 61, 3164–3170 (2016)
Acknowledgements
We are deeply grateful to the three anonymous referees and the editor for their careful reading, valuable comments, and correcting some errors, which have greatly improved the quality of the paper.
Funding
The work is supported by the Natural Science Foundation of Shandong Province (ZR2017MA015) and the National Natural Science Foundation of China (11871076, 71672166).
Author information
Authors and Affiliations
Contributions
WL contributed to the work totally, and he read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Lu, W. Noise-to-state exponential stability of neutral random nonlinear systems. Adv Differ Equ 2018, 313 (2018). https://doi.org/10.1186/s13662-018-1739-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1739-z
MSC
- 34K50
- 93E15
- 60H10
Keywords
- Neutral random nonlinear system
- Second-order stationary process
- Noise-to-state exponential stability