Exponential Stability of Stochastic Nonlinear Dynamical Price System ...

2 downloads 78 Views 2MB Size Report
May 17, 2013 - 1 School of Economic Mathematics, Southwestern University of Finance and Economics, Chengdu 611130, China. 2 Teaching ResearchΒ ...
Hindawi Publishing Corporation Mathematical Problems in Engineering Volume 2013, Article ID 168169, 9 pages http://dx.doi.org/10.1155/2013/168169

Research Article Exponential Stability of Stochastic Nonlinear Dynamical Price System with Delay Wenli Zhu,1 Xinfeng Ruan,1 Ye Qin,2 and Jie Zhuang3 1

School of Economic Mathematics, Southwestern University of Finance and Economics, Chengdu 611130, China Teaching Research Training Center in Xindu District of Chengdu, Chengdu 610500, China 3 Sichuan University of Science and Engineering Library, Zigong 643000, China 2

Correspondence should be addressed to Wenli Zhu; [email protected] Received 30 January 2013; Revised 28 April 2013; Accepted 17 May 2013 Academic Editor: Wuquan Li Copyright Β© 2013 Wenli Zhu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Based on Lyapunov stability theory, ItΛ†o formula, stochastic analysis, and matrix theory, we study the exponential stability of the stochastic nonlinear dynamical price system. Using Taylor’s theorem, the stochastic nonlinear system with delay is reduced to an n-dimensional semilinear stochastic differential equation with delay. Some sufficient conditions of exponential stability and corollaries for such price system are established by virtue of Lyapunov function. The time delay upper limit is solved by using our theoretical results when the system is exponentially stable. Our theoretical results show that if the classical price Rayleigh equation is exponentially stable, so is its perturbed system with delay provided that both the time delay and the intensity of perturbations are small enough. Two examples are presented to illustrate our results.

1. Introduction Let us make the following assumptions. (H1.1) Demand for product is quadratic function with respect to price. (H1.2) The price is not very sensitive to the change of inventory. That is, damping of nonlinear dynamical system πœ† is a πœ€-order infinitesimal (πœ€ > 0 is small enough). (H1.3) Stochastic noise is related to price. That is, it can be treated as Gaussian white noise, and the excitation coefficient is βˆšπœ€-order infinitesimal. The price system can be described by linear equations because of their convenience in mathematical treatment. Therefore linear equations play an important role in theory and their applications. However, they can not perfectly describe the process of the price fluctuation in nonlinear version. Then the nonlinear equations should be employed, for their virtues that can deeply reflect the rules of price fluctuation. Suppose 𝑆(𝑑), 𝐷(𝑑), 𝑃(𝑑), and 𝑄(𝑑) as supply, demand, price, and inventory at time 𝑑, respectively. 𝑆0 is initial

supply, π‘Ž, 𝑏, 𝑐, πœ†, 𝛼 and 𝛾 are constants, and alphabet with a bar is equilibrium value. Reference [1] gives a deterministic nonlinear price model as follows: 𝑑𝑃 𝑑2 𝑃 = πœ† (π‘Žπ‘ƒ2 + 𝑏𝑃 + 𝑐) βˆ’ πœ†π›Όπ‘ƒ βˆ’ πœ† (𝑆0 βˆ’ 𝐷) . 2 𝑑𝑑 𝑑𝑑

(1)

If there exists an equilibrium point in the above price system, denoted by 𝑃, then 𝑃 = (𝐷 βˆ’ 𝑆0 )/𝛼 and 𝐷 = 𝑆0 + 𝛼𝑃. Let π‘₯(𝑑) = 𝑃(𝑑) βˆ’ 𝑃 and 𝑑 = πœ‚/βˆšπ›Όπœ†, πœ‡ = βˆšπœ†/𝛼. Applying Lienard transformation, we obtain the classical price Rayleigh equation as follows: 1 𝑑π‘₯ 1 = βˆ’π‘¦ + πœ€πœ‡Μƒ ( π‘Žπ‘₯3 + 𝑏0 π‘₯2 + 𝑐0 π‘₯) , π‘‘πœ‚ 3 2 𝑑𝑦 = π‘₯, π‘‘πœ‚ 2

(2)

Μƒ where 𝑏0 = 2π‘Žπ‘ƒ + 𝑏, 𝑐0 = π‘Žπ‘ƒ + 𝑏𝑃 + 𝑐, πœ‡ β‰œ πœ€πœ‡. For many real-world systems, there always exist random disturbances such as the measurement error and the control input of the system [2–5]. The basic source of random

2

Mathematical Problems in Engineering

disturbance is Gaussian white noise, which represents the joint effects of a large number of independent random forces acting on the systems, and the influence of individual is not significant. By (H1.3), the stochastic nonlinear dynamical price system can be described by stochastic differential equation (SDE for short) as follows [5]: 1 1 𝑑π‘₯ = βˆšπœ†π›Ό [βˆ’π‘¦ + πœ€πœ‡Μƒ ( π‘Žπ‘₯3 + 𝑏0 π‘₯2 + 𝑐0 π‘₯)] 𝑑𝑑 3 2 + πœ€1/2 𝛾 π‘‘π‘Š (𝑑) ,

(3)

𝑑𝑦 = βˆšπœ†π›Όπ‘₯ 𝑑𝑑, where {π‘Š(𝑑), 𝑑 β‰₯ 0} is 1-dimensional Brownian motion. The above system also can be rewritten as the following matrix form: 𝑑𝑧 (𝑑) = 𝑓 (𝑑, 𝑧 (𝑑)) 𝑑𝑑 + β„Ž (𝑑, 𝑧 (𝑑)) π‘‘π‘Š (𝑑) ,

(4)

where 𝑓 : 𝑅+ Γ— 𝑅2 β†’ 𝑅2 , β„Ž : 𝑅+ Γ— 𝑅2 β†’ 𝑅2 , 𝑓(𝑑, 𝑧(𝑑)) = βˆšπœ†π›Ό(βˆ’π‘¦+πœ€πœ‡(π‘Žπ‘₯ Μƒ 3 /3+𝑏0 π‘₯2 /2+𝑐0 π‘₯), π‘₯)𝑇 , 𝑧(𝑑) = (π‘₯(𝑑), 𝑦(𝑑))𝑇 ∈ 2 𝑅 , and β„Ž(𝑑, 𝑧(𝑑)) = (βˆšπœ€π›Ύ, 0)𝑇 . Supply is not only influenced by price and demand but also influenced by production management, information feedback, transportation, and so forth. Therefore, 𝑆(𝑑) not only depends on the situation at 𝑑 but also on the certain period 𝑑 βˆ’ 𝜏 (𝜏 > 0 is a given time delay) in the past [6– 9]. Furthermore, the parameter perturbation of the system’s internal structure should also be taken into account in this paper. Based on the abovementioned, the price system (4) can be extended to more general n-dimensional stochastic nonlinear price systems with delay as follows: 𝑑π‘₯ (𝑑) = [𝑓 (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) + 𝑓 (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏))] 𝑑𝑑 + β„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) π‘‘π‘Š (𝑑) , π‘₯ (𝑑) = πœ‰ (𝑑) ,

𝑑 β‰₯ 0,

βˆ’πœ ≀ 𝑑 ≀ 0, (5)

where 𝜏 is a given time delay. The maps 𝑓, 𝑓 ∈ 𝐢 (𝑅+ Γ— 𝑅𝑛 Γ— 𝑅𝑛 , 𝑅𝑛 ), β„Ž ∈ 𝐢 (𝑅+ Γ— 𝑅𝑛 Γ— 𝑅𝑛 , π‘…π‘›Γ—π‘š ). 𝑓 represents the uncertainty. {π‘Š(𝑑), 𝑑 β‰₯ 0} is an m-dimensional Brownian motion, and the term β„Ž (𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ 𝜏)) π‘‘π‘Š(𝑑) represents the stochastic disturbance. Furthermore, we always assume that 𝑓(𝑑, 0, 0) = 𝑓(𝑑, 0, 0) = β„Ž(𝑑, 0, 0) ≑ 0 for the stability purpose of this paper. Stability is a very important dynamical feature for the stochastic price system with delay, and it is one of the main purposes of system designing [5, 6]. Keeping the price system steady within the cycle as long as possible to avoid inflation or deflation has the vital significance for the healthy development of the economy of the country. There is a rich literature on time delay system and stochastic system. Stability of stochastic system has been studied. See, for example, Liu and Feng [2], Liu and Deng [3], Yong and Zhou [4], Li and Xu [5], and Mao [10]. Stability of time delay system has been studied. See, for example, Kazmerchuk et al.

[6], Lv and Liu [7], Lv and Zhou [8], Zhu et al. [11], Zhu and Yi [12], and Trinh and Aldeen [13]. Mao [14], Mao and Shah [15], Zhu and Hu [16], Zhu and Hu [17], and S. Xie and L. Xie [18] established some stability criteria of the stochastic system with delay by using an LMI approach. The Hopf bifurcation of price Rayleigh delayed equation on deterministic case has been studied extensively in recent years. See, for example, [6–8]. The stability and the optimal control of stochastic nonlinear dynamical price model has been studied in [5]. Unfortunately, there is a little previous literature on stochastic nonlinear dynamical price system with delay. Thus, we aim to fill this gap in this paper. We plug the time delay, the parameter perturbation, and the stochastic item into nonlinear dynamical price system (2). Such models may be identified as stochastic differential delayed equations (SDDEs for short). Our target in this paper is to derive some sufficient conditions of exponential stability for SDDEs. Li and Xu only analyzed the stability for SDEs (4) in virtue of the marginal probability density about π‘₯ in [5] but did not give the sufficient condition for stability. In this paper, using Taylor’s theorem, the n-dimensional nonlinear SDDE (5) is reduced to an n-dimensional semilinear SDDE correspondingly. Some sufficient conditions of exponential stability and corollaries for such price system are established by using Lyapunov function. The time delay upper limit is solved by using our theoretical results when the system is exponentially stable. Thus, [5] is promoted and improved. Our theoretical results show that if the classical price Rayleigh equation (2) is exponentially stable, so is its perturbed system (5) with delay provided that both the time delay and the intensity of perturbations are small enough. Those results will help our government make a macrocontrol for price system and timely adjust their pricing strategies. The rest of this paper is organized as follows. In Section 2, we introduce the definition of the exponential stability of SDDEs. Section 3 is devoted to the sufficient conditions for exponential stability and almost surely exponential stability of price system. Section 4 presents two simple examples to illustrate our results. Finally, Section 5 concludes the paper.

2. Preliminaries Throughout this paper and unless specified, we let π‘Š(𝑑) = (π‘Š1 (𝑑), . . . , π‘Šπ‘š (𝑑))𝑇 be an m-dimensional Brownian motion defined on a complete probability space (Ξ©, F, 𝑃) with a natural filtration {F𝑑 }𝑑β‰₯0 (i.e., F𝑑 = 𝜎{π‘Š(𝑠) : 0 ≀ 𝑠 ≀ 𝑑} and augmented by all the 𝑃-null sets in F). Denote by | β‹… | the Euclidean norm. If 𝐴 is a vector or matrix, its transpose is denoted by 𝐴𝑇 . If 𝐴 is a matrix, denote by ‖𝐴‖ the operator norm of 𝐴, that is, ‖𝐴‖ = sup{|𝐴π‘₯| : |π‘₯| = 1}. πœ‰(β‹…) ∈ 𝐢[βˆ’πœ, 0] is the initial path of π‘₯, where 𝜏 > 0 is a given finite time delay and 𝐢[βˆ’πœ, 0] is the set of continuous functions from [βˆ’πœ, 0] 𝑝 into 𝑅𝑛 . Moreover, denote by 𝐿 F0 (βˆ’πœ, 0; 𝑅𝑛 ) the family of 𝑅𝑛 valued adapted stochastic processes πœ‰(𝑠), βˆ’πœ ≀ 𝑠 ≀ 0 such 0 that πœ‰(𝑠) is F0 -measurable and βˆ«βˆ’πœ 𝐸|πœ‰(𝑠)|𝑝 𝑑𝑠 < +∞ (𝑝 > 1). We define a norm mean square in 𝑆𝑛 as follows: 1/2

|π‘₯|MS = (𝐸|π‘₯|2 )

,

for any π‘₯ ∈ 𝑆𝑛 ,

(6)

Mathematical Problems in Engineering

3

where 𝑆𝑛 is the set of random variable in probability space (Ξ©, F, 𝑃). Similarly, we define ‖𝐴‖MS = sup{|𝐴π‘₯|MS : |π‘₯|MS = 1}. Then, the ItΛ†o integral of β„Ž(𝑑, π‘₯(𝑑)) (from π‘Ž to 𝑏) is defined by 𝑏

Definition 3. The trivial solution of system (5) is said to be almost surely exponentially stable, if there exists a positive constant πœ† such that 1 󡄨 󡄨 lim sup ln 󡄨󡄨󡄨π‘₯ (𝑑; πœ‰)󡄨󡄨󡄨 ≀ βˆ’πœ† π‘‘β†’βˆž 𝑑

a.s.

(10)

𝑝

for any πœ‰ ∈ 𝐿 F0 (βˆ’πœ, 0; 𝑅𝑛 ), where βˆ’πœ† is called almost surely Lyapunov exponent of the trivial solution.

(𝐼) ∫ β„Ž (𝑑, π‘₯ (𝑑)) π‘‘π‘Š (𝑑) π‘Ž

𝑁

= limMS βˆ‘ β„Ž (𝑑𝑖 , π‘₯ (𝑑𝑖 )) [π‘Š (𝑑𝑖+1 ) βˆ’ π‘Š (𝑑𝑖 )]

(7)

πœ†β†’0 𝑖=0

(limit in 𝐿2 (𝑃)) , π‘›Γ—π‘š

and where β„Ž is a stochastic process with value in 𝑆 𝑏 2 𝑑𝑑 < ∞ (0 ≀ π‘Ž < 𝑏). Let π‘Ž = 𝑑0 < 𝑑1 < βˆ«π‘Ž β€–β„Ž(𝑑, π‘₯(𝑑))β€–MS β‹… β‹… β‹… < 𝑑𝑁 = 𝑏, πœ† = max{Δ𝑑𝑖 , 𝑖 = 0, 1, . . . , 𝑁 βˆ’ 1}, Δ𝑑𝑖 = 𝑑𝑖+1 βˆ’ 𝑑𝑖 , and limMS be a limit in mean square sense. It is proved directly from the definition of ItΛ†o integral that 𝑏

1 1 ∫ π‘Š (𝑑) π‘‘π‘Š (𝑑) = [π‘Š2 (𝑏) βˆ’ π‘Š2 (π‘Ž)] βˆ’ (𝑏 βˆ’ π‘Ž) , 2 2 π‘Ž

To obtain sufficient condition of the exponential stability of system (5), we assume that the functions 𝑓(𝑑, π‘₯, 𝑦), 𝑓(𝑑, π‘₯, 𝑦) are 1-order continuously differentiable in the neighbourhood of (𝑑, 0, 0) with respect to (π‘₯, 𝑦) ∈ 𝑅𝑛 ×𝑅𝑛 . According to Taylor expansion, for 0 < πœƒ < 1 𝑓 (𝑑, π‘₯, 𝑦) = 𝑓π‘₯ (𝑑, πœƒπ‘₯, πœƒπ‘¦) π‘₯ + 𝑓𝑦 (𝑑, πœƒπ‘₯, πœƒπ‘¦) 𝑦, 𝑓 (𝑑, π‘₯, 𝑦) = 𝑓π‘₯ (𝑑, πœƒπ‘₯, πœƒπ‘¦) π‘₯ + 𝑓𝑦 (𝑑, πœƒπ‘₯, πœƒπ‘¦) 𝑦.

(8)

(11)

Thus,

where π‘Š(β‹…) is 1-dimensional Brownian motion. The extra term βˆ’(𝑏 βˆ’ π‘Ž)/2 shows that the ItΛ†o stochastic integral does not behave like ordinary integrals. It leads to ItΛ†o-type stochastic system being different from non-ItΛ†o-type. See [19] for the details. Now, let us present an existence and uniqueness result for system (5). First, we make the following assumptions for the coefficients of (5). (H2.1) The maps 𝑓, 𝑓, and β„Ž are locally Lipschitz continuous. (H2.2) The maps 𝑓, 𝑓, and β„Ž satisfy the linear growth condition. Theorem 1 (see [4]). Let (H2.1) and (H2.2) hold. Then, for any πœ‰(𝑑) ∈ 𝐿2F0 (βˆ’πœ, 0; 𝑅𝑛 ), (5) has a unique strong solution which is denoted by π‘₯(𝑑; πœ‰), and π‘₯(𝑑; πœ‰) is square integrable. So, (5) has a trivial solution π‘₯(𝑑; 0) = 0. For stochastic system, exponential stability in mean square and almost surely exponential stability are generally used [2]. Definition 2. The trivial solution of system (5) is said to be pth moment exponentially stable, if there exists a positive constant πœ€ such that 1 󡄨𝑝 󡄨 lim sup ln (𝐸󡄨󡄨󡄨π‘₯ (𝑑; πœ‰)󡄨󡄨󡄨 ) ≀ βˆ’πœ€ π‘‘β†’βˆž 𝑑

3. Exponential Stability for Stochastic Price System with Delay

(9)

𝑝

for any πœ‰ ∈ 𝐿 F0 (βˆ’πœ, 0; 𝑅𝑛 ), where βˆ’πœ€ is called pth moment Lyapunov exponent of the trivial solution. In particular, 𝑝 = 2; it is called mean square exponentially stable.

𝑓 (𝑑, π‘₯, 𝑦) + 𝑓 (𝑑, π‘₯, 𝑦) = (𝑓π‘₯ (𝑑, πœƒπ‘₯, πœƒπ‘¦) + 𝑓π‘₯ (𝑑, πœƒπ‘₯, πœƒπ‘¦)) π‘₯

(12)

+ (𝑓𝑦 (𝑑, πœƒπ‘₯, πœƒπ‘¦) + 𝑓𝑦 (𝑑, πœƒπ‘₯, πœƒπ‘¦)) 𝑦. Therefore, system (5) can be reduced to an n-dimensional semilinear stochastic differential delayed equation as follows: 𝑑π‘₯ (𝑑) = [𝑓 (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) + 𝑓 (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏))] 𝑑𝑑 + β„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) π‘‘π‘Š (𝑑) , π‘₯ (𝑑) = πœ‰ (𝑑) ,

𝑑 β‰₯ 0,

βˆ’πœ ≀ 𝑑 ≀ 0, (13)

where 𝐴 1 , 𝐡1 are 𝑛 Γ— 𝑛 matrices. 𝐴 1 (𝑑), 𝐴 2 (𝑑 βˆ’ 𝜏), 𝐡1 (𝑑), and 𝐡2 (𝑑 βˆ’ 𝜏) represent the uncertainties. They are bounded 𝑛 Γ— 𝑛 matrix-valued functions. Here, 𝜏, π‘Š(𝑑), β„Ž(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ 𝜏)), and πœ‰(𝑑) are the same as in the previous section. We make the following assumption for the coefficients of system (13). (H3.1) There exist nonnegative constants 𝛼𝑖 , 𝛽𝑖 (𝑖 = 1, 2, 3), for any 𝑑 β‰₯ 0 such that σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐴 1 (𝑑)σ΅„©σ΅„©σ΅„© ≀ 𝛼1 , σ΅„©σ΅„© σ΅„© 󡄩󡄩𝐡1 (𝑑)σ΅„©σ΅„©σ΅„© ≀ 𝛽1 ,

σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐴 2 (𝑑 βˆ’ 𝜏)σ΅„©σ΅„©σ΅„© ≀ 𝛼2 , σ΅„© σ΅„©σ΅„© 󡄩󡄩𝐡2 (𝑑 βˆ’ 𝜏)σ΅„©σ΅„©σ΅„© ≀ 𝛽2

(14)

and for any (𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ 𝜏)) ∈ 𝑅+ Γ— 𝑅𝑛 Γ— 𝑅𝑛 such that tr [β„Žπ‘‡ (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) β„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏))] ≀ 𝛼3 |π‘₯ (𝑑)|2 + 𝛽3 |π‘₯ (𝑑 βˆ’ 𝜏)|2 .

(15)

4

Mathematical Problems in Engineering

Theorem 4. Let β„Ž satisfy (H2.1)-(H2.2), and condition (14) hold. Then, for any πœ‰(𝑑) ∈ 𝐿2F0 (βˆ’πœ, 0; 𝑅𝑛 ), system (13) has a unique strong solution which is denoted by π‘₯(𝑑; πœ‰), and π‘₯(𝑑; πœ‰) is square integrable. So, (13) has a trivial solution π‘₯(𝑑; 0) = 0. See Mao [10] for the proof of Theorem 4. In the study of mean square exponential stability, it is often to use a quadratic function as the Lyapunov function; that is, 𝑉(𝑑, π‘₯) = π‘₯𝑇 (𝑑)𝐺π‘₯(𝑑), where 𝐺 is a symmetric positive definite 𝑛 Γ— 𝑛 matrix (see [11, 20]). Theorem 5. Let (H3.1) holds, and then the trivial solution of system (13) is exponentially stable in the mean square. Assume that there exists a pair of symmetric positive definite 𝑛 Γ— 𝑛 matrices 𝐺 and 𝑄 such that 𝐺 (𝐴 + 𝐡) + (𝐴 + 𝐡)𝑇 𝐺 = βˆ’π‘„,

(16)

By (14), we can estimate the second item and the third item of (18), respectively, 2π‘₯𝑇 (𝑑) 𝐺 [𝐴 1 (𝑑) π‘₯ (𝑑) + 𝐡1 (𝑑) π‘₯ (𝑑 βˆ’ 𝜏)] ≀ ‖𝐺‖ [(2𝛼1 + 𝛽1 ) |π‘₯ (𝑑)|2 + 𝛽1 |π‘₯ (𝑑 βˆ’ 𝜏)|2 ] , (21)

𝑇

2π‘₯ (𝑑) 𝐺 [𝐴 2 (𝑑 βˆ’ 𝜏) π‘₯ (𝑑) + 𝐡2 (𝑑) π‘₯ (𝑑 βˆ’ 𝜏)] ≀ ‖𝐺‖ [(2𝛼2 + 𝛽2 ) |π‘₯ (𝑑)|2 + 𝛽2 |π‘₯ (𝑑 βˆ’ 𝜏)|2 ] . By (15), the last item of (18) yields tr [β„Žπ‘‡ (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) πΊβ„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏))] (22)

≀ ‖𝐺‖ [𝛼3 |π‘₯ (𝑑)|2 + 𝛽3 |π‘₯ (𝑑 βˆ’ 𝜏)|2 ] .

πœ† min (𝑄) > ‖𝐺‖ (2𝛼1 + 2𝛼2 + 2𝛽1 + 2𝛽2 + 𝛼3 + 𝛽3 ) + 2 ‖𝐺𝐡‖

Substituting (21) and (22) into (18), we get

β‹… √2𝜏 [6𝜏 (‖𝐴‖2 + ‖𝐡‖2 + 𝛼12 + 𝛽12 + 𝛼22 + 𝛽22 ) + 𝛼3 + 𝛽3 ], (17) where πœ† min (𝑄) > 0 is the smallest eigenvalue of 𝑄.

𝑑 [π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)] ≀ βˆ’ [πœ† min (𝑄) βˆ’ ‖𝐺‖ (2𝛼1 + 𝛽1 + 2𝛼2 + 𝛽2 + 𝛼3 ) βˆ’ 𝛽]

Proof. Fix the initial data πœ‰(𝑑) arbitrarily, and write π‘₯(𝑑; πœ‰) = π‘₯(𝑑) simply. Applying ItΛ†o’s formula to π‘₯𝑇 (𝑑)𝐺π‘₯(𝑑), we have

β‹… |π‘₯ (𝑑)|2 𝑑𝑑 + ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) |π‘₯ (𝑑 βˆ’ 𝜏)|2 𝑑𝑑

𝑑 [π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)]

+

= 2π‘₯𝑇 (𝑑) 𝐺 [𝐴π‘₯ (𝑑) + 𝐡π‘₯ (𝑑 βˆ’ 𝜏)] 𝑑𝑑

+ 2π‘₯𝑇 (𝑑) πΊβ„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) π‘‘π‘Š (𝑑) .

+ 2π‘₯𝑇 (𝑑) 𝐺 [𝐴 1 (𝑑) π‘₯ (𝑑) + 𝐡1 (𝑑) π‘₯ (𝑑 βˆ’ 𝜏)] 𝑑𝑑

(23)

+ 2π‘₯𝑇 (𝑑) 𝐺 [𝐴 2 (𝑑 βˆ’ 𝜏) π‘₯ (𝑑) + 𝐡2 (𝑑 βˆ’ 𝜏) π‘₯ (𝑑 βˆ’ 𝜏)] 𝑑𝑑 𝑇

+ 2π‘₯ πΊβ„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) π‘‘π‘Š (𝑑) + tr [β„Žπ‘‡ (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) πΊβ„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏))] 𝑑𝑑. (18) By (16), we can estimate the first item of (18) as follows:

= 2π‘₯𝑇 (𝑑) 𝐺 [𝐴π‘₯ (𝑑) + 𝐡π‘₯ (𝑑 βˆ’ 𝜏)] + 2π‘₯𝑇 (𝑑) 𝐺𝐡π‘₯ (𝑑) βˆ’ 2π‘₯𝑇 (𝑑) 𝐺𝐡π‘₯ (𝑑)

πœ† min (𝑄) = ‖𝐺‖ (2𝛼1 + 2𝛼2 + 𝛽1 + 𝛽2 + 𝛼3 + πœ€)

+ (19)

2

≀ βˆ’πœ† min (𝑄) |π‘₯ (𝑑)| + 𝛽|π‘₯ (𝑑)| +

If (17) holds, then we can choose πœ€ > 0 small enough such that

+ ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) π‘’πœ€πœ + 𝛽

2π‘₯𝑇 (𝑑) 𝐺 [𝐴π‘₯ (𝑑) + 𝐡π‘₯ (𝑑 βˆ’ 𝜏)]

2

1 ‖𝐺𝐡‖2 β‹… |π‘₯ (𝑑) βˆ’ π‘₯ (𝑑 βˆ’ 𝜏)|2 𝑑𝑑 𝛽

1 ‖𝐺𝐡‖2 β‹… |π‘₯ (𝑑) βˆ’ π‘₯ (𝑑 βˆ’ 𝜏)|2 , 𝛽

where 𝛽 = ‖𝐺𝐡‖ β‹… √2𝜏 [6𝜏 (‖𝐴‖2 + ‖𝐡‖2 + 𝛼12 + 𝛽12 + 𝛼22 + 𝛽22 ) + 𝛼3 + 𝛽3 ]. (20)

1 ‖𝐺𝐡‖2 {2𝜏 [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] π‘’πœ€πœ 𝛽 + 2𝜏 [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] 𝑒2πœ€πœ } . (24)

Applying ItΛ†o’s formula to π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯(𝑑), we have 𝑑 [π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)] = πœ€π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑) 𝑑𝑑 + π‘’πœ€π‘‘ 𝑑 [π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)] ,

for any 𝑑 β‰₯ 0. (25)

Mathematical Problems in Engineering

5 Next, recalling (14) and (15), for 𝑠 β‰₯ 𝜏, we derive

Substituting (23) into (25) yields π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)

𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑

𝑠

≀ πœ‰π‘‡ (0) πΊπœ‰ (0) + πœ€ ∫ π‘’πœ€π‘  π‘₯𝑇 (𝑠) 𝐺π‘₯ (𝑠) 𝑑𝑠

≀ 2𝜏 β‹… 𝐸 ∫

0

π‘ βˆ’πœ

6 [(‖𝐴‖2 + 𝛼12 + 𝛼22 ) |π‘₯ (𝑑)|2

𝑑

+ (‖𝐡‖2 + 𝛽12 + 𝛽22 ) |π‘₯ (𝑑 βˆ’ 𝜏)|2 ] 𝑑𝑑

βˆ’ ∫ π‘’πœ€π‘  [πœ† min (𝑄) βˆ’ ‖𝐺‖ (2𝛼1 + 2𝛼2 + 𝛽1 + 𝛽2 + 𝛼3 ) βˆ’ 𝛽] 0

𝑑

2

πœ€π‘ 

+ 2𝐸 ∫

2

β‹… |π‘₯ (𝑠)| 𝑑𝑠 + ∫ 𝑒 β‹… ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) |π‘₯ (𝑠 βˆ’ 𝜏)| 𝑑𝑠

π‘ βˆ’πœ

0

𝑑

πœ€π‘ 

(𝛼3 |π‘₯ (𝑑)|2 + 𝛽3 π‘₯(𝑑 βˆ’ 𝜏)2 ) 𝑑𝑑

≀ 2 [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] ∫

1 + ∫ 𝑒 β‹… ‖𝐺𝐡‖2 β‹… |π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠 𝛽 0 πœ€π‘ 

𝑑

𝑠

𝑠

π‘ βˆ’πœ

+ 2 [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] ∫

𝑇

+ ∫ 𝑒 β‹… 2π‘₯ (𝑠) πΊβ„Ž (𝑠, π‘₯ (𝑠) , π‘₯ (𝑠 βˆ’ 𝜏)) π‘‘π‘Š (𝑠) . 0

𝐸|π‘₯ (𝑑)|2 𝑑𝑑

𝑠

π‘ βˆ’πœ

𝐸|π‘₯ (𝑑 βˆ’ 𝜏)|2 𝑑𝑑. (29)

(26) Similar to (28), for 𝑑 β‰₯ 𝜏, we have

Taking the expectation in (26), we have

𝑑

𝐸 (π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑))

∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠 0

≀ 𝐸 (πœ‰π‘‡ (0) πΊπœ‰ (0))

𝜏

= ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠

βˆ’ [πœ† min (𝑄) βˆ’ ‖𝐺‖ (2𝛼1 + 2𝛼2 + 𝛽1 + 𝛽2 + 𝛼3 + πœ€) βˆ’ 𝛽]

0

𝑑

𝑑

+ ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠

β‹… ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠

𝜏

0

≀ 𝑐2 + 2 [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ]

𝑑

+ ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠 0

𝑑 1 + ‖𝐺𝐡‖2 ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠. 𝛽 0

In order to give an estimate of 𝐸(π‘’πœ€π‘‘ π‘₯𝑇 (𝑑)𝐺π‘₯(𝑑)), we now estimate the last two terms on the right-hand side of (27). First of all, for any 𝑑 β‰₯ 𝜏, we have 𝑑

∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠 0

πœ€π‘ 

2

𝑑

πœ€π‘ 

𝜏

π‘ βˆ’πœ

2

𝑑

𝑠

𝜏

π‘ βˆ’πœ

β‹… ∫ π‘’πœ€π‘  ∫

𝑑

𝑠

𝜏

π‘ βˆ’πœ

0

= 𝑐1 π‘’πœ€πœ + π‘’πœ€πœ β‹… ∫

π‘‘βˆ’πœ

0

0

π‘’πœ€π‘  𝑑𝑠) 𝑑]

0

𝑑

𝑠

𝜏

π‘ βˆ’πœ

∫ π‘’πœ€π‘  ∫

(𝑒 = 𝑠 βˆ’ 𝜏)

(31)

𝐸|π‘₯ (] βˆ’ 𝜏)|2 𝑑] 𝑑𝑠

𝑑

(]+𝜏)βˆ§π‘‘

0

]∨𝜏

= ∫ 𝐸|π‘₯ (] βˆ’ 𝜏)|2 (∫

π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠,

where 𝑐1 = βˆ«βˆ’πœ 𝐸|π‘₯(𝑠)| 𝑑𝑠.

]∨𝜏

Similarly,

(28) 2

0

𝑑

0

π‘’πœ€π‘’ β‹… 𝐸|π‘₯ (𝑒)|2 𝑑𝑒

(]+𝜏)βˆ§π‘‘

≀ πœπ‘’πœ€πœ ∫ π‘’πœ€] β‹… 𝐸|π‘₯ (])|2 𝑑].

𝑑

󡄨2 󡄨 = π‘’πœ€πœ β‹… ∫ πΈσ΅„¨σ΅„¨σ΅„¨πœ‰ (𝑒)󡄨󡄨󡄨 𝑑𝑒 + π‘’πœ€πœ βˆ’πœ π‘‘βˆ’πœ

𝑑

𝐸|π‘₯ (])|2 𝑑] 𝑑𝑠 = ∫ 𝐸|π‘₯ (])|2 (∫

󡄨2 󡄨 ≀ π‘’πœ€πœ β‹… ∫ πΈσ΅„¨σ΅„¨σ΅„¨πœ‰(𝑠 βˆ’ 𝜏)󡄨󡄨󡄨 𝑑𝑠 + π‘’πœ€πœ β‹… ∫ π‘’πœ€(π‘ βˆ’πœ) β‹… 𝐸|π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠 0 𝜏

β‹…βˆ«

𝐸|π‘₯ (] βˆ’ 𝜏)|2 𝑑] 𝑑𝑠,

𝜏

𝜏

𝜏

𝐸|π‘₯ (])|2 𝑑] 𝑑𝑠

where 𝑐2 = ∫0 π‘’πœ€π‘  β‹… 𝐸|π‘₯(𝑠) βˆ’ π‘₯(𝑠 βˆ’ 𝜏)|2 𝑑𝑠. Moreover, ∫ π‘’πœ€π‘  ∫

= ∫ 𝑒 β‹… 𝐸|π‘₯ (𝑠 βˆ’ 𝜏)| 𝑑𝑠 + ∫ 𝑒 β‹… 𝐸|π‘₯ (𝑠 βˆ’ 𝜏)| 𝑑𝑠 0

𝑠

+ 2 [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ]

(27)

𝜏

𝑑

β‹… ∫ π‘’πœ€π‘  ∫

(30)

𝑑

π‘’πœ€π‘  𝑑𝑠) 𝑑]

≀ πœπ‘’πœ€πœ ∫ π‘’πœ€] β‹… 𝐸|π‘₯ (] βˆ’ 𝜏)|2 𝑑]. 0

(32)

6

Mathematical Problems in Engineering Since 𝐺 is positive definite,

Substituting (28) into (32) yields 𝑑

𝑠

𝜏

π‘ βˆ’πœ

∫ π‘’πœ€π‘  ∫

𝐸|π‘₯ (] βˆ’ 𝜏)|2 𝑑] 𝑑𝑠

≀ πœπ‘’πœ€πœ (𝑐1 π‘’πœ€πœ + π‘’πœ€πœ β‹… ∫

π‘‘βˆ’πœ

0

π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑) β‰₯ πœ† min (𝐺) |π‘₯ (𝑑)|2 , π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠)

(33)

𝑑

< πœπ‘1 𝑒2πœ€πœ + πœπ‘’2πœ€πœ ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠. 0

where πœ† min (𝐺) > 0 is the smallest eigenvalue of 𝐺. Thus, 𝐸 (π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑)) β‰₯ 𝐸 (π‘’πœ€π‘‘ πœ† min (𝐺) |π‘₯ (𝑑)|2 ) .

Substituting (31) and (33) into (30), for 𝑑 β‰₯ 𝜏, we get 𝑑

∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠) βˆ’ π‘₯ (𝑠 βˆ’ 𝜏)|2 𝑑𝑠

(37)

(38)

It then follows from (35) that

0

≀ 𝑐2 + 2 [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ]

𝐸|π‘₯ (𝑑)|2 ≀

𝑑

β‹… πœπ‘’πœ€πœ ∫ π‘’πœ€] β‹… 𝐸|π‘₯ (])|2 𝑑]

(39)

Hence, 2

+ 2 [6𝜏 (‖𝐡‖ + β‹… (πœπ‘1 𝑒

for any 𝑑 β‰₯ 𝜏.

(34)

0

2πœ€πœ

𝑐3 β‹… π‘’βˆ’πœ€π‘‘ πœ† min (𝐺)

𝛽12

2πœ€πœ

+ πœπ‘’

+ 𝑑

𝛽22 )

+ 𝛽3 ]

πœ€π‘ 

𝑐3 1 1 β‹… π‘’βˆ’πœ€π‘‘ ) ln (𝐸|π‘₯ (𝑑)|2 ) ≀ ln ( 𝑑 𝑑 πœ† min (𝐺)

2

∫ 𝑒 β‹… 𝐸|π‘₯ (𝑠)| 𝑑𝑠) . 0

𝑐3 1 ). = βˆ’ πœ€ + ln ( 𝑑 πœ† min (𝐺)

Substituting (28) and (34) into (27) and recalling (24), we obtain that for 𝑑 β‰₯ 𝜏 𝐸 (π‘’πœ€π‘‘ π‘₯𝑇 (𝑑) 𝐺π‘₯ (𝑑))

(40)

This easily yields

≀ 𝐸 (πœ‰π‘‡ (0) πΊπœ‰ (0)) 1 lim sup ln (𝐸|π‘₯ (𝑑)|2 ) ≀ βˆ’πœ€. π‘‘β†’βˆž 𝑑

βˆ’ [πœ† min (𝑄) βˆ’ ‖𝐺‖ (2𝛼1 + 2𝛼2 + 𝛽1 + 𝛽2 + 𝛼3 + πœ€) βˆ’ 𝛽]

(41)

𝑑

β‹… ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯(𝑠)|2 𝑑𝑠 0

+ ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) (𝑐1 π‘’πœ€πœ + π‘’πœ€πœ β‹… ∫

π‘‘βˆ’πœ

0

+

π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠)

1 ‖𝐺𝐡‖2 {𝑐2 + 2 [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] 𝛽

Remark 6. In the proof we gave, the estimate for the second moment Lyapunov exponent should not be greater than βˆ’πœ€. Theorem 7. The trivial solution of system (13) is also almost surely exponentially stable under the same assumption as Theorem 5.

𝑑

β‹… πœπ‘’πœ€πœ ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠 0

Proof. For 𝑑 ∈ [π‘˜πœ, (π‘˜ + 1)𝜏], π‘˜ = 2, 3, . . ., we have

+ 2 [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] 𝑑

β‹… (πœπ‘1 𝑒2πœ€πœ + πœπ‘’2πœ€πœ ∫ π‘’πœ€π‘  β‹… 𝐸|π‘₯ (𝑠)|2 𝑑𝑠)} 0

|π‘₯ (𝑑)|2 ≀ 3|π‘₯ (π‘˜πœ)|2

= 𝑐3 , (35) where 𝑐3 = 𝐸 (πœ‰π‘‡ (0) πΊπœ‰ (0)) + ‖𝐺‖ (𝛽1 + 𝛽2 + 𝛽3 ) β‹… 𝑐1 π‘’πœ€πœ +

Then, (13) is exponentially stable in the mean square. The proof is complete.

1 ‖𝐺𝐡‖2 {𝑐2 + 2 [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] β‹… πœπ‘1 𝑒2πœ€πœ } . 𝛽 (36)

󡄨󡄨 (π‘˜+1)𝜏 󡄨 + 3 σ΅„¨σ΅„¨σ΅„¨σ΅„¨βˆ« [(𝐴 + 𝐴 1 (𝑑) + 𝐴 2 (𝑑 βˆ’ 𝜏)) π‘₯ (𝑑) 󡄨󡄨 π‘˜πœ 󡄨󡄨2 󡄨 + (𝐡 + 𝐡1 (𝑑) + 𝐡2 (𝑑 βˆ’ 𝜏)) π‘₯ (𝑑 βˆ’ 𝜏)] 𝑑𝑑󡄨󡄨󡄨󡄨 󡄨󡄨 󡄨󡄨 (π‘˜+1)𝜏 󡄨󡄨2 󡄨 󡄨 + 3σ΅„¨σ΅„¨σ΅„¨σ΅„¨βˆ« β„Ž (𝑑, π‘₯ (𝑑) , π‘₯ (𝑑 βˆ’ 𝜏)) π‘‘π‘Š (𝑑)󡄨󡄨󡄨󡄨 . 󡄨󡄨 π‘˜πœ 󡄨󡄨 (42)

Mathematical Problems in Engineering

7 Let πœ€0 ∈ (0, πœ€) be arbitrary. By Doob’s martingale inequality, it follows from (45) that

Recalling (14) and (15), we derive 𝐸(

sup

π‘˜πœβ‰€π‘‘β‰€(π‘˜+1)𝜏

|π‘₯ (𝑑)|2 )

≀ 3𝐸|π‘₯ (π‘˜πœ)| + 18𝜏 ∫

𝑃 (πœ” :

2

(π‘˜+1)𝜏

π‘˜πœ

2

[ (‖𝐴‖ +

𝛼12

+

(π‘˜+1)𝜏

π‘˜πœ

sup

π‘˜πœβ‰€π‘‘β‰€(π‘˜+1)𝜏

ln |π‘₯ (𝑑)| ≀ βˆ’

𝑐3 β‹… π‘’βˆ’πœ€π‘˜πœ πœ† min (𝐺)

𝑐3 𝐸|π‘₯ (𝑑 βˆ’ 𝜏)|2 ≀ β‹… π‘’βˆ’πœ€(π‘‘βˆ’πœ) πœ† min (𝐺)

π‘˜πœβ‰€π‘‘β‰€(π‘˜+1)𝜏

≀

for 𝑑 βˆ’ 𝜏 β‰₯ 𝜏.

(π‘˜+1)𝜏

πœ€ 1 lim sup ln |π‘₯ (𝑑)| ≀ βˆ’ 2 π‘‘β†’βˆž 𝑑

π‘’βˆ’πœ€π‘‘ 𝑑𝑑 + [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ]

(π‘˜+1)𝜏

π‘˜πœ

a.s.

(50)

a.s.

(51)

Then, (13) is almost surely exponentially stable. The proof is complete. Remark 8. Again in the proof we gave, the estimate for the almost surely Lyapunov exponent should not be greater than βˆ’πœ€/2.

π‘’βˆ’πœ€π‘‘ 𝑑𝑑}

3𝑐3 {π‘’βˆ’πœ€π‘˜πœ + ( [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] πœ† min (𝐺)

Let us single out three important special cases. Case 1. If β„Ž(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ 𝜏)) ≑ 0, then (13) reduces to a semilinear differential delay equation

+ [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] π‘’πœ€πœ ) 1 βˆ’πœ€π‘˜πœ (1 βˆ’ π‘’βˆ’πœ€πœ )} 𝑒 πœ€

𝑑π‘₯ (𝑑) = [(𝐴 + 𝐴 1 (𝑑) + 𝐴 2 (𝑑 βˆ’ 𝜏)) π‘₯ (𝑑)

3𝑐3 ≀ {π‘’βˆ’πœ€π‘˜πœ +([6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] πœ† min (𝐺)

+ (𝐡 + 𝐡1 (𝑑) + 𝐡2 (𝑑 βˆ’ 𝜏)) π‘₯ (𝑑 βˆ’ 𝜏)] 𝑑𝑑.

+ [6𝜏(‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ]π‘’πœ€πœ ) πœπ‘’βˆ’πœ€π‘˜πœ } =

(49)

a.s.

πœ€ βˆ’ πœ€0 1 lim sup ln |π‘₯ (𝑑)| ≀ βˆ’ 2 π‘‘β†’βˆž 𝑑

3𝑐3 {π‘’βˆ’πœ€π‘˜πœ + [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] πœ† min (𝐺)

β‹…

(48)

Since πœ€0 is arbitrary, we must have

π‘˜πœ

≀

a.s.

This easily yields

|π‘₯ (𝑑)| )

β‹… π‘’πœ€πœ ∫

(πœ€ βˆ’ πœ€0 ) π‘˜πœ 2

πœ€ βˆ’ πœ€0 1 ln |π‘₯ (𝑑)| ≀ βˆ’ 𝑑 2

(44)

2

β‹…βˆ«

(47)

Hence,

for π‘˜πœ β‰₯ 𝜏,

Substituting the above two into (43) yields sup

|π‘₯ (𝑑)| ≀ π‘’βˆ’(πœ€βˆ’πœ€0 )π‘˜πœ/2

(43)

𝐸|π‘₯ (π‘˜πœ)|2 ≀

(46)

holds in probability 1. Thus, for π‘˜πœ ≀ 𝑑 ≀ (π‘˜ + 1)𝜏, and π‘˜ β‰₯ π‘˜0 (πœ”), we have

[𝛼3 𝐸|π‘₯ (𝑑)|2 + 𝛽3 𝐸|π‘₯ (𝑑 βˆ’ 𝜏)|2 ] 𝑑𝑑.

By (39), we easily get

𝐸(

π‘˜πœβ‰€π‘‘β‰€(π‘˜+1)𝜏

|π‘₯ (𝑑)| > π‘’βˆ’(πœ€βˆ’πœ€0 )π‘˜πœ/2 ) ≀ 𝑐4 π‘’βˆ’πœ€0 π‘˜πœ .

It then follows from the Borel-Cantelli lemma that for almost all πœ” ∈ Ξ©, there exists a π‘˜0 (πœ”), π‘˜ β‰₯ π‘˜0 (πœ”), and

𝛼22 ) 𝐸|π‘₯ (𝑑)|2

+ (‖𝐡‖2 + 𝛽12 + 𝛽22 ) 𝐸|π‘₯ (𝑑 βˆ’ 𝜏)|2 ] 𝑑𝑑 + 3∫

sup

3πœπ‘3 1 { + [6𝜏 (‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] πœ† min (𝐺) 𝜏

(52)

Corollary 9. Let condition (14) holds. Assume that there exists a pair of symmetric positive definite 𝑛×𝑛 matrices 𝐺 and 𝑄 such that 𝐺 (𝐴 + 𝐡) + (𝐴 + 𝐡)𝑇 𝐺 = βˆ’π‘„,

(53)

πœ† min (𝑄)

+ [6𝜏 (‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ] π‘’πœ€πœ } β‹… π‘’βˆ’πœ€π‘˜πœ

> 2 ‖𝐺‖ (𝛼1 + 𝛼2 + 𝛽1 + 𝛽2 )

= 𝑐4 π‘’βˆ’πœ€π‘˜πœ , (45) where 𝑐4 = (3πœπ‘3 /πœ† min (𝐺)){(1/𝜏) + [6𝜏(‖𝐴‖2 + 𝛼12 + 𝛼22 ) + 𝛼3 ] + [6𝜏(‖𝐡‖2 + 𝛽12 + 𝛽22 ) + 𝛽3 ]π‘’πœ€πœ }.

+ 4𝜏 ‖𝐺𝐡‖ β‹… √3 (‖𝐴‖2 + ‖𝐡‖2 + 𝛼12 + 𝛽12 + 𝛼22 + 𝛽22 ). (54) Then, (52) is exponentially stable in the mean square.

8

Mathematical Problems in Engineering

Case 2. Let us further assume that 𝐴 1 (𝑑) = 𝐴 2 (𝑑 βˆ’ 𝜏) = 𝐡1 (𝑑) = 𝐡2 (𝑑 βˆ’ 𝜏) ≑ 0, then (52) becomes an ordinary differential equation

For convenience, let us choose 𝑄 = the 2-order identity matrix, and then πœ† min (𝑄) = 1. By plugging these into (16), it is easy to find that

𝑑π‘₯ (𝑑) = (𝐴π‘₯ (𝑑) + 𝐡π‘₯ (𝑑 βˆ’ 𝜏)) 𝑑𝑑.

1 [6 0] 𝐺 = [ 1] . 0 [ 4]

(55)

Corollary 10. Assume that there exists a pair of symmetric positive definite 𝑛 Γ— 𝑛 matrices 𝐺 and 𝑄 such that

(62)

We obtain via a simple calculation 𝑇

𝐺 (𝐴 + 𝐡) + (𝐴 + 𝐡) 𝐺 = βˆ’π‘„, 2

(56) 2

πœ† min (𝑄) > 4𝜏 ‖𝐺𝐡‖ β‹… √3 (‖𝐴‖ + ‖𝐡‖ ).

(57)

Then, (55) is exponentially stable in the mean square. Remark 11. Corollary 10 clearly shows that if the price system Μ‡ π‘₯(𝑑) = (𝐴 + 𝐡)π‘₯(𝑑) (the general case of the classical price Rayleigh equation (2)) is exponentially stable (this is guaranteed by condition (16) and πœ† min (𝑄) > 0), then the corresponding delayed system (55) is also exponentially stable provided that the time delay 𝜏 is small enough (bounded by (57)). Remark 12. Condition (17) controls the intensity of the uncertainties, that is, the parameters 𝛼𝑖 , 𝛽𝑖 (𝑖 = 1, 2, 3), and the time delay 𝜏 should be small enough to have the stability of (13) which is regarded as the perturbed system of (55). In other words, Theorem 5 shows that if (55) is exponentially stable, so is its perturbed system (13) provided that the intensity of perturbations is small enough. Case 3. Let us assume that 𝐡 = 𝐴 2 (𝑑 βˆ’ 𝜏) = 𝐡1 (𝑑) = 𝐡2 (𝑑 βˆ’ 𝜏) ≑ 0 and 𝜏 ≑ 0, then (13) reduces to a stochastic differential equation 𝑑π‘₯ (𝑑) = (𝐴 + 𝐴 1 (𝑑)) π‘₯ (𝑑) 𝑑𝑑 + β„Ž (𝑑, π‘₯ (𝑑)) π‘‘π‘Š (𝑑) .

(58)

Corollary 13. Assume that there exists a pair of symmetric positive definite 𝑛 Γ— 𝑛 matrices 𝐺 and 𝑄 such that 𝐺𝐴 + 𝐴𝑇 𝐺 = βˆ’π‘„,

(59)

πœ† min (𝑄) > ‖𝐺‖ (2𝛼1 + 𝛼3 ) .

(60)

Then, (58) is exponentially stable in the mean square and is also almost surely exponentially stable.

4. Example Let us now present two simple examples to illustrate our results which can help us find the time delay upper limit. Example 14. Let us start with (13), where 𝛼1 = 𝛼2 = 𝛼3 = 𝛽1 = 𝛽2 = 𝛽3 = 0.1, 𝐴=[

βˆ’1 0 ], βˆ’1 βˆ’1

𝐡=[

βˆ’2 0 ]. 1 βˆ’1

‖𝐴‖2 = 2.618,

(61)

‖𝐡‖2 = 5.2361,

‖𝐺‖ = 0.25,

‖𝐺𝐡‖ = 0.4488.

(63)

Substituting (63) into (17), we derive that if 𝜏 < 0.08380, then (13) is exponentially stable in the mean square and is also almost surely exponentially stable. If β„Ž(𝑑, π‘₯(𝑑), π‘₯(𝑑 βˆ’ 𝜏)) ≑ 0, by Corollary 9, we would conclude that (52) is exponentially stable provided that 𝜏 < 0.09156. Example 15. Now, let us recall price system (4) with π‘Ž = βˆ’0.5, 𝑏0 = 1.0, 𝑐0 = 1.0, 𝛾 = 0.2, πœ€ = 0.1, βˆšπœ†π›Ό = 1, and πœ‡Μƒ = 0.06. It is clear that 𝑧(𝑑) = (0, 0)𝑇 is the trivial solution of system (4). Applying Taylor expansion to 𝑓(𝑑, 𝑧(𝑑)), we get 𝑓 (𝑑, 𝑧 (𝑑)) = 𝑓 (𝑑, 0) + 𝐴𝑧 (𝑑) + 𝐴 1 (𝑑) 𝑧 (𝑑) ,

(64)

𝑇 1 where 𝐴 = [ 0.006 βˆ’1 0 ], tr[β„Ž (𝑑, π‘₯(𝑑))β„Ž(𝑑, π‘₯(𝑑))] = 0.004, and ‖𝐴 1 (𝑑)β€– ≀ 0.001.

To compute conveniently, let us choose 𝛼3 = 0.004 and 0 𝑄 = [ 0.01 0 0.01 ], and then πœ† min (𝑄) = 0.01. By Corollary 13, it is easy to find 𝐺=[

1.66667 βˆ’0.00500 ], βˆ’0.00500 1.66670

‖𝐺‖ = 0.5285.

(65)

Substituting (65) into (60), it is easy to verify that (60) holds. So, the price system (4) with π‘Ž = βˆ’0.5, 𝑏0 = 1.0, 𝑐0 = 1.0, 𝛾 = 0.2, πœ€ = 0.1, βˆšπœ†π›Ό = 1, and πœ‡Μƒ = 0.06 is exponentially stable in the mean square and is also almost surely exponentially stable. This result is the same as [5].

5. Concluding Remarks In this paper, we study the exponential stability of the stochastic nonlinear dynamical price system. Using Taylor’s theorem, the stochastic nonlinear system with delay is reduced to an ndimensional semilinear stochastic differential equation with delay. Some sufficient conditions of exponential stability and corollaries for the price system are established by virtue of Lyapunov function. The time delay upper limit is solved by using our theoretical results when the system is exponentially stable, and [5] is promoted and improved. Remarks 11 and 12 show that if price Rayleigh equation (2) is exponentially stable, so is its perturbed system (13) provided that both the time delay and the intensity of perturbations are small enough. These results are very helpful for our government strengthening and improving macrocontrol and promoting

Mathematical Problems in Engineering steady and rapid economic development. It is also an important guiding significance that our government can timely adjust their pricing strategies. Two examples are presented to illustrate our theoretical results, which are the same as [5]. Another challenging problem is to study a type of stochastic nonlinear dynamical price system with variable delay. We hope to study these problems in forthcoming papers.

Acknowledgments This work is Supported by the Fundamental Research Funds for the Central Universities (JBK130213) and the Fundamental Research Funds for the Central Universities (JBK130401).

References [1] S. Wang, Differential Equation Model and Chaos, China Science and Technology University Press, Hefei, China, 2002. [2] Y. Liu and Z. Feng, β€œStochastic stability & control,” in Large Power System Theory and Application, South China University of Science and Technology Press, Guangzhou, China, 4th edition, 1992. [3] Y. Liu and F. Deng, β€œRandom system variable structure system,” in Large Power System Theory and Application, South China University of Science and Technology Press, Guangzhou, China, 10th edition, 1992. [4] J. Yong and X. Y. Zhou, Stochastic Controls: Hamiltonian Systems and HJB Equations, vol. 43 of Applications of Mathematics, Springer, New York, NY, USA, 1999. [5] J. R. Li and W. Xu, β€œOptimal control of a stochastic nonlinear dynamical price model,” Pure and Applied Mathematics, vol. 24, no. 2, pp. 239–244, 2008. [6] Y. Kazmerchuk, A. Swishchuk, and J. Wu, β€œThe pricing of options for securities markets with delayed response,” Mathematics and Computers in Simulation, vol. 75, no. 3-4, pp. 69–79, 2007. [7] T. Lv and Z. W. Liu, β€œHopf bifurcation of price Rayleigh equations with delay,” Journal of Jilin University, vol. 47, no. 3, pp. 441–448, 2009. [8] T. Lv and L. Zhou, β€œHopf and codimension two bifurcation in price Rayleigh equation with two time delay,” Journal of Jilin University, vol. 50, no. 3, pp. 441–448, 2012. [9] X. Zhang, X. Chen, and Y. Chen, β€œA qualitative analysis of price model in differential equations of price,” Journal of Shenyang Institute of Aeronautical Engineering, vol. 21, no. 1, pp. 83–86, 2004. [10] X. Mao, Exponential Stability of Stochastic Differential Equations, vol. 182 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1994. [11] W. Zhu, J. Hu, and J. Zhang, β€œStability analysis of neural networks with time delays via energy functions approach,” in Proceedings of the 7th International Conference on Natural Computation (ICNC ’11), vol. 1, pp. 232–236, 2011. [12] W. Zhu and Z. Yi, β€œIntegral input-to-state stability of nonlinear control systems with delays,” Chaos, Solitons & Fractals, vol. 34, no. 2, pp. 420–427, 2007. [13] H. Trinh and M. Aldeen, β€œOn robustness and stabilization of linear systems with delayed nonlinear perturbations,” IEEE Transactions on Automatic Control, vol. 42, no. 7, pp. 1005–1007, 1997.

9 [14] X. Mao, β€œRobustness of exponential stability of stochastic differential delay equations,” IEEE Transactions on Automatic Control, vol. 41, no. 3, pp. 442–447, 1996. [15] X. Mao and A. Shah, β€œExponential stability of stochastic differential delay equations,” Stochastics and Stochastics Reports, vol. 60, no. 1-2, pp. 135–153, 1997. [16] W. Zhu and J. Hu, β€œStability analysis of stochastic delayed cellular neural networks by LMI approach,” Chaos, Solitons & Fractals, vol. 29, no. 1, pp. 171–174, 2006. [17] W. Zhu and J. Hu, β€œExponential stability of stochastic recurrent neural network with time delays,” International Journal of Computational Intelligence Research, vol. 2, no. 1, pp. 52–54, 2006. [18] S. Xie and L. Xie, β€œStabilization of a class of uncertain large-scale stochastic systems with time delays,” Automatica, vol. 36, no. 1, pp. 161–167, 2000. [19] B. Øksendal, Stochastic Differential Equations: An Introduction with Applications, Springer, Berlin, Germany, 5th edition, 1998. [20] W. Zhu, J. Hu, P. Li, and C. Zhu, β€œOn the energy functions of neural networks with delay,” Dynamics of Continuous, Discrete & Impulsive Systems B, vol. 18, no. 5, pp. 589–599, 2011.

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at http://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Discrete Mathematics

Journal of

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014