Abstract

This paper investigates the existence and uniqueness of mild solutions to the general nonlinear stochastic impulsive differential equations. By using Schaefer's fixed theorem and stochastic analysis technique, we propose sufficient conditions on existence and uniqueness of solution for stochastic differential equations with impulses. An example is also discussed to illustrate the effectiveness of the obtained results.

1. Introduction

Impulsive dynamical systems often exhibit continuous evolutions typically described by ordinary differential equations and instantaneous state jumps. Since many evolution processes, optimal control models in economics, stimulated neural networks, frequency-modulated systems, and some motions of missiles or aircrafts are characterized by the impulsive dynamical behavior, the study of impulsive systems is of great importance. Nowadays, there has been increasing interest in the analysis and synthesis of impulsive systems due to their significance both in theory and applications; see [1–4] and the references therein.

On the other hand, stochastic differential equations (SDEs) have attracted a great attention since they have been used extensively in many areas of application including finance and social science. Existence, uniqueness, and qualitative analysis of solutions of SDEs have been considered by many authors; see, for example, [5, 6] and Oksendal [7]. In particular, [7] has obtained sufficient conditions (uniform Lipschitz condition and the linear growth condition) on the existence and uniqueness of solution of SDEs. With the same conditions, Mao [8] has also proved there exists a unique solution for neutral stochastic functional differential equations with finite delay, and systems with infinite delay was investigated by [9] under uniform Lipschitz condition and moment estimate.

Furthermore, besides impulsive effects, stochastic effects likewise exist in real systems. Therefore, stochastic impulsive differential equations (SIDEs) describing these dynamical systems subject to both stochastic and impulse changes have attracted considerable attention [10–14]. Liu et al. [10] has proved the existence and uniqueness with Lipschitz and linear growth condition by continuation method. Results of existence and uniqueness were obtained by stochastic Lyapunov-type method in [11, 12]. Besides that, the existing literature of SIDEs involved mainly the issue on controllability and stability (see [13, 14]), and little investigation, to our best knowledge, has been carried out for existence and uniqueness of general nonlinear systems with stochastic impulsive structure. Unlike the previous results in [10–12], this paper will deal with the situation when the drift and diffusion coefficients do not satisfy Lipschitz condition. Sufficient conditions of existence and uniqueness of mild solutions for general nonlinear SIDEs are developed based on the Schaefer’s fixed point theorem instead of employing stochastic Lyapunov-type function. In addition, some known results can been considered as special cases of the main theorems in this paper.

The organization of this paper is as follows. In Section 1, we will recall briefly some basic notations and preliminary facts which will be used throughout the paper. In Section 2, sufficient conditions are obtained on existence and uniqueness of mild solutions to SIDEs. A numerical example is given to illustrate the proposed conditions in Section 3. Finally, concluding remarks are presented in Section 4.

2. Preliminaries

Let denote the Euclidean norm in . If A is a matrix, its Frobenius norm is represented by . stands for a complete probability space with a filtration satisfying the usual conditions (i.e., right continuous and containing all -null sets). Assume that is an -dimensional Brownian motion defined on . Denote as the family of all square integrable and adapted measurable processes mapping into such that . It is clear that is the Banach space with the norm topology given by .

Consider stochastic differential equations with impulsive effects as follows: where , are Borel measurable functions, ,. The initial value is a -measurable random variable independent of such that .

Definition 2.1. The functions and are said to be -Carathodory if(1) and are measurable in and continuous in the second variable a.e. ,(2)for each positive constant , there exists a square integrable function such that Motivated by [1, 7], let us start by defining what we mean by a mild solution of (2.1).

Definition 2.2. A -valued stochastic process defined on is said to be a mild solution of (2.1) with initial value if the following conditions are satisfied(1) is measurable as a function from to and is -adapted;(2) for each ;(3)for each , the process satisfies the following integral equation:
Our main result is based on the following fixed point theorem of Schaefer.

Lemma 2.3 (Schaefer fixed-point theorem). Let be a convex subset of a normal linear space, and let the operator be completely continuous. Define Then, either(1)the set is unbounded or(2)the operator has a fixed point in C.

3. Main Results

We are now in a position to state and prove our existence result of (2.1). Throughout this paper, we make the following assumptions.

() The functions and are -Carathodory.

() There exist positive constants , such that

() There exists a square integrable function and a continuous nondecreasing function such that with where .

Theorem 3.1. Assume that - hold, then there is at least one solution of (2.1) on .

Proof. For any , define the operator by By Lemma 2.3, we will first show that the operator is completely continuous.
Step 1. is continuous from to . Let be a sequence such that as in , then By the Bunyakovskii inequality, one has and by the Itô isometry it follows that Hence, it can be obtained directly from (3.5)–(3.7) that Since is - and are continuous functions, by the Lebesgue dominated convergence theorem, we see Step 2. maps bounded sets into bounded sets. That is enough to prove that there exists a positive constant such that for each one has . By the definition in (3.4), for each , Step 3. maps bounded sets into equicontinuous sets of .
Let . Then, it yields As , the right-hand side of the inequality above tends to zero. The case can be considered in a similar manner.
From Ascoli-Arzela theorem and Steps 1 to 3, the operator is completely continuous. To complete the proof of the theorem, it suffices to prove the following step.Step 4. There exists a priori bound of the set
Let , then for some . Thus, for each , which implies that Consider the function defined by With the previous inequality, we have for Take the right-hand side of the inequality above as , then we get and, moreover, or, equivalently, by , for each , Hence, there exists a constant such that , that is, , which implies that is bounded. From the Schaefer’s fixed theorem, we deduce that has a fixed point which is a solution to (2.1). The proof is completed.

In this part, in order to attain the uniqueness result of (2.1), we propose the following assumptions.()There exists a square integrable function such that, for all and , ()There exist positive constants satisfying

Theorem 3.2. Assume that ()-() hold, then there exists a unique solution to (2.1) if

Proof. Let be an operator defined as in (3.4). To prove that is contractive, introduce the Bielecki-type norm on defined by where and is sufficiently large constant.
Let , then we have that, for each , Thus, therefore, Hence, is a contraction and it has a unique fixed point which is a solution to (2.1). The proof is completed.

Remark 3.3. Note that the existence and uniqueness result in [7] can be inferred from Theorems 3.1 and 3.2 in case that in (2.1). Furthermore, if the systems in [9] and (2.1) are both reduced to the impulsive differential equations, then we can deduce the results on existence and uniqueness in [9] directly from Theorems 3.1 and 3.2. And, if the delay = 0 in [2], then the conditions there can be inferred from Theorems 3.1 and 3.2 in case that in (2.1).

4. Example

Consider the following stochastic impulsive differential equation: where with and Assume that and , then it can be easily verified that the conditions are satisfied, and by, Theorem 3.1, (4.1) has at least one solution.

For all and , set , then As stated in (4.2), ; hence, (4.1) has a unique solution by Theorem 3.2.

As demonstrated in the example, if or takes the form such as , then inequality (3.3) in hypothesis () cannot hold. Based on this observation, in the subsequent research, some useful tools and conditions such as locally Lipschitz condition will be considered to relax restrictions on and .

5. Conclusion

By using Schaefer’s fixed theorem, this paper has obtained sufficient conditions of existence and uniqueness of mild solutions to general nonlinear stochastic impulsive differential equations. In addition, some known results about systems without delay or impulse can be considered as special cases of the main theorems.

Acknowledgment

This work is supported by the NSF of China under Grants 60874027, 61174039, the Fundamental Research Funds for the Central Universities of China, and by Youth Science Foundation of Luoyang Normal University (2010-qnjj-002).