Research Article | Open Access
Properties of Solutions to Stochastic Set Differential Equations under Non-Lipschitzian Coefficients
A class of stochastic set differential equations (SSDEs) with non-Lipschitzian coefficients is investigated. We first give the preliminaries on the stochastic set differential equations. Then the nonexplosion of solutions to the SSDEs is discussed. Moreover, the existence and uniqueness of the solutions to SSDEs are proven. Finally, the continuous dependence of the solutions to SSDEs is studied.
Set-valued differential equations which were started in 1969 by de Blasi and Lervolino  have been employed in investigations of dynamic systems. The evidence of set differential equations for such areas as control theory, differential inclusions, and fuzzy differential equations can be found in [2–12] and references therein. The set differential equations also are explored in [13–15]. One of the main advantages of investigating deterministic set differential equations is that they can be used as a tool for studying properties of solutions of differential inclusions. On the other hand, the set-valued random processes are first introduced by van Cutsem . Since then the subject has attracted the interest of many mathematicians and further contributions are made from both the theoretical and applied viewpoints (see, e.g., [17–26]). In [27–31], the set-valued random differential equations are studied. The strong solution of Itô type set-valued stochastic differential equation is analyzed in .
As far as we know, there exists a wide literature where attempts have been made to investigate stochastic differential inclusions (see, e.g., [33–40] and references therein). And recently, in , a kind of the SSDEs disturbed by Wiener processes is investigated, where under the Lipschitzian condition the existence and uniqueness of solutions to the SSDEs are proven. Under the non-Lipschitzian condition, the existence and uniqueness of solutions to the stochastic set differential equations are proven in [41, 42]. Moreover, in our present paper, under the non-Lipschitzian condition the nonexplosion and continuous dependence of solutions to the SSDEs are studied. The mathematical tool employed in the paper is the Bihari inequality and the notion of the support function. The work presented here generalizes results obtained both for deterministic and for random set differential equations. Also, it should be noted that the work related to this paper is the discussions of fuzzy-valued processes and stochastic differential equations (see, e.g., [43–51]).
The paper is organized as follows. Section 2 gives an appropriate framework on a set-valued analysis within which the notion of a set-valued stochastic integral is given. In Section 3, moreover, the continuous dependence of the solutions for SSDEs on initial conditions and nonexplosion are discussed. Finally, the conclusions are made in Section 4.
Let be the family of all nonempty compact and convex subsets of . In , we define the Hausdorff metric of two sets as follows:
Throughout this paper, let be complete probability space. is a product -field of . denotes the family of -measurable multifunctions with values in . A multifunction is said to be -integrably bounded, , if there exists such that a.s., where Let us denote
Denote . Let be a complete, filtered probability space where the sub--field family of satisfies the usual conditions. We call a set-valued stochastic process, if for every a mapping is a set-valued random variable. If is -adapted and measurable, then it will be called nonanticipating. Equivalently, the set-valued process is nonanticipating if and only if is measurable with respect to the -algebra , which is defined as follows: where for .
Let and denote the set of all nonanticipating -valued stochastic processes such that . A set-valued stochastic process is called -integrably bounded, if there exists a real-valued stochastic process such that
We define the operation on as follows. For two sets , if there exists such a that , then is the Hukuhara difference of and denoted by . We note that implies that . However, . Indeed, take .
It is well known that for all .
Let is the support function of , where is a unit sphere centered at origin. The support function satisfies the following properties.(i) is bounded on ; that is, .(ii) is Lipschitz continuous in (iii)For all , (iv)For all , .(v)For all , .(vi)For all , if ; then we have .
By we denote the set of nonanticipating and -integrably bounded set-valued stochastic processes. Let . For such and a fixed , by the Fubini Theorem, we can define Aumann’s integral , for . Obviously, for every and the Aumann integral belongs to (see, e.g., [7, 19]).
We say that a set-valued stochastic process is -continuous, if almost all its trajectories, that is, the mappings , are -continuous functions. It is easy to know that if , then the set-valued stochastic process is -continuous (see, e.g., Corollary 1 in ).
In what follows, we state the generalized Bihari inequality (cf., Mao ) which plays an important role in the following section.
Lemma 1 (generalized Bihari inequality). Let be Borel measurable, bounded, nonnegative, and left limit function on and . Let be a continuous nondecreasing function such that for all .
(i) If is a continuous nonnegative nondecreasing function on , then the inequality implies that for all such that where where is the inverse function of and .
(ii) If is a continuous nonpositive nonincreasing function on , then the inequality implies that for all such that
3. Properties of Solutions to SSDEs
In this section, we consider the following stochastic set differential equation (in the integral form): where takes values in , in , is an -dimensional Brownian motion, and is a set-valued random variable. Here, (resp., stands for the family of the continuous functions from the space to the space (resp., to ). In (16), the integral is Aumann’s one, and the integral is a general Itô type stochastic one, whose definition can refer to .
Due to the continuity of , we can know that takes values in . In order to discuss the solutions to (16), by the concept and properties of the support function we consider the following single valued stochastic differential equation, for : We first claim that (16) is equivalent to (17). Indeed, from the properties of the support function and (16) we deduce that, for , which shows that (17) holds. Conversely, (16) can be derived from (17).
It is known that (17) has a solution up to a lifetime which depends on . Set We call the lifetime of solution to (16). Obviously, . Here, by the concepts of explosion time and lifetime time from Pages 158 and 191 in , the lifetime of solution to (16) or (17) is the same as the explosion time of the solution of (16) or (17).
If (17) has the pathwise uniqueness, then we show the existence and uniqueness of the solution to the SSDE (16). So the study of pathwise uniqueness is of great interest. It is a classical result that, under the Lipschitz coefficients, the pathwise uniqueness holds and the solution of (17) can be constructed by using Picard iteration; moreover, the solution depends on the initial values continuously. However, under non-Lipschitzian condition, Fei  presents the existence and uniqueness of solutions to (16); hence, the existence and uniqueness of solutions to (17) also are proven.
In what follows, we discuss the nonexplosion of the solutions to (16) under non-Lipschitzian condition. Our idea is to derive an inequality so that the generalized Bihari inequality (Lemma 1) can be applied.
Theorem 2. Let be a continuous function such that(i) is nondecreasing and concave;(ii).
Assume that, for some constant , If , then the lifetime of the solution to (16) is infinite: . Moreover,
Proof. Let , where is a solution to (16). Hence, we have
Since , we get . Set ; it follows that from (20) and property (i) of the support function
where we have utilized the concavity of the functions and .
Denote . Noticing , we get where takes the maximum at 1 on the interval .
It is easy to see that which deduce that Thus we have In virtue of (23), we have Set By condition (ii) it is easy to show that is strictly increasing, as and as .
From (28), the generalized Bihari inequality (Lemma 1(i)), and we obtain which proves that .
On the other hand, from (20) and property (i) of the support function we have Due to inequality (24), we have By Lemma 1(ii), we get which shows that by the property of the function in (29). Thus, the proof of the theorem is complete.
Theorem 3. Let be a continuous function such that(i) is nondecreasing and concave;(ii).
Assume that for some constant ,, Then SSDE (16) has a unique solution.
Proof. By constructing the sequence of set-valued random variables as that in , the existence of the solutions to (16) is similarly proven. Next, we prove the uniqueness of the solutions to (16).
Let and be two solutions of (16). Set . Hence, by Itô formula we have Since , we get . Set .
From condition (34) and the property of the support function, we get which deduces where we have utilized the concavity of the functions .
Denote . In virtue of (37), we have
Let We easily show that is strictly increasing, as and as .
By Lemma 1 (i), we obtain which shows that . Thus we complete the proof.
Note that function is a typical example satisfying conditions (i) and (ii).
Next, we will study the dependence of the solutions to the SSDE (16) on initial data. For the mapping , we call mean square continuous on , uniformly with respect to if as on any compact subset of , where the limit of is in sense of the metric .
Proof. Take . Consider a small parameter . Assume such that . For , let
By (17) and Itô formula, we have
From condition (34) and the property of the support function, we get which deduces where we have utilized the concavity of the functions .
Setting , from (45) we have Define We easily have that is strictly increasing, as and as .
By Lemma 1 (i), we have For arbitrary and given , it is easy to deduce that there exists with , which shows , such that
Since is increasing, we have that which shows that Thus, we show is mean square continuous on , with respect to in any compact subset. Therefore, we complete the proof.
Definition 5. The two solutions and of SSDE (16) with initial value and , respectively, if for any , , can be called nonconfluence.
The following theorem gives the sufficient condition.
Theorem 6. Suppose that the conditions in Theorem 3 hold. For , we have that and are nonconfluence.
From condition (34) and the property of the support function, for , we get Thus, similar to the discussion in the proof of Theorem 4, we obtain which shows that Take as in the proof of Theorem 4.
By Lemma 1 (ii), we have Since , from the property of , we obtain which means that . Thus, the proof is complete.
Theorem 7. Let condition (34) hold. Then for any defines a flow of homeomorphisms of .
In many real dynamic systems, we are often faced with random experiments whose outcomes might be multivalued. Moreover, the stochastic set differential equations may be employed in characterizing a large class of physically important dynamic systems which can be applied in such areas as control, economics, and finance. In this paper, we study the behavior of solutions to SSDEs disturbed by a Wiener process with the non-Lipschitzian coefficients. First, the nonexplosion theorem of the Itô type SSDEs is proven. Then the existence and uniqueness theorem of solutions to SSDEs is given. Moreover, the continuous dependence of solutions to the SSDEs is investigated. Main mathematical tool is the notion of the support function and the generalized Bihari inequality. Besides, the present case can be extended to the SSDEs driven by a multidimensional semimartingale in future.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The author wishes to express his many thanks to the referees for many valuable suggestions and comments on this paper. This paper is supported by the National Natural Science Foundation of China (71171003; 71271003), Anhui Natural Science Foundation (10040606003), and Anhui Natural Science Foundation of Universities (KJ2012B019, KJ2013B023).
- F. S. de Blasi and F. Iervolino, “Equazioni differenziali con soluzioni a valore compatto convesso,” Bollettino della Unione Matematica Italiana, vol. 4, no. 2, pp. 194–501, 1969.
- F. S. de Blasi, “Banach-Saks-Mazur and Kakutani-Ky Fan theorems in spaces of multifunctions and applications to set differential inclusions,” Dynamic Systems and Applications, vol. 16, no. 1, pp. 73–89, 2007.
- P. Diamond and P. Kloeden, Metric Spaces of Fuzzy Sets: Theory and Applications, World Scientific Publishing, Singapore, 1994.
- W. Y. Fei, “Existence and uniqueness of solution for fuzzy random differential equations with non-Lipschitz coefficients,” Information Sciences, vol. 177, no. 20, pp. 4329–4337, 2007.
- W. Y. Fei, “Existence and uniqueness for solutions to fuzzy stochastic differential equations driven by local martingales under the non-Lipschitzian condition,” Nonlinear Analysis A, vol. 76, pp. 202–214, 2013.
- W. Y. Fei, H. J. Liu, and W. Zhang, “On solutions to fuzzy stochastic eqautions with local martingales,” Systems and Control Letters, vol. 65, pp. 96–105, 2014.
- M. Kisielewicz, Differential Inclusions and Optimal Control, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1991.
- V. Lakshmikantham, T. Gnana Bhaskar, and J. Vasundhara Devi, Theory of Set Differential Equations in Metric Spaces, Cambridge Scientific Publishers, Cambridge, UK, 2006.
- V. Laksmikantham, S. Leela, and A. S. Vatsala, “Interconnection between set and fuzzy differential equations,” Nonlinear Analysis A, vol. 54, no. 2, pp. 351–360, 2003.
- V. Lakshmikantham and R. N. Mohapatra, Theory of Fuzzy Differential Equations and Inclusions, Taylor & Francis, London, UK, 2003.
- J. J. Nieto and R. Rodríguez-López, “Bounded solutions for fuzzy differential and integral equations,” Chaos, Solitons and Fractals, vol. 27, no. 5, pp. 1376–1386, 2006.
- A. Tolstonogov, Differential Inclusions in a Banach Space, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2000.
- A. I. Brandão Lopes Pinto, F. S. de Blasi, and F. Iervolino, “Uniqueness and existence theorems for differential equations with convex valued solutions,” Bollettino della Unione Matematica Italiana, vol. 4, no. 3, pp. 1–12, 1970.
- G. N. Galanis, T. G. Bhaskar, V. Lakshmikantham, and P. K. Palamides, “Set valued functions in Fréchet spaces: continuity, Hukuhara differentiability and applications to set differential equations,” Nonlinear Analysis A, vol. 61, no. 4, pp. 559–575, 2005.
- V. A. Plotnikov and L. I. Plotnikova, “Averaging of equations of controlled motion in a metric space,” Cybernetics and Systems Analysis, vol. 33, no. 4, pp. 601–606, 1997.
- B. van Cutsem, “Martingales de multiapplications à valeurs convexes compactes,” Les Comptes Rendus de l'Académie des sciences, vol. 269, pp. 429–432, 1969.
- E. P. Avgerinos and N. S. Papageorgiou, “Almost sure convergence and decomposition of multivalued random processes,” The Rocky Mountain Journal of Mathematics, vol. 29, no. 2, pp. 401–435, 1999.
- S. Bagchi, “On a.s. convergence of classes of multivalued asymptotic martingales,” Annales de l'Institut Henri Poincaré, vol. 21, no. 4, pp. 313–321, 1985.
- F. Hiai and H. Umegaki, “Integrals, conditional expectations, and martingales of multivalued functions,” Journal of Multivariate Analysis, vol. 7, no. 1, pp. 149–182, 1977.
- E. J. Jung and J. H. Kim, “On set-valued stochastic integrals,” Stochastic Analysis and Applications, vol. 21, no. 2, pp. 401–418, 2003.
- B. K. Kim and J. H. Kim, “Stochastic integrals of set-valued processes and fuzzy processes,” Journal of Mathematical Analysis and Applications, vol. 236, no. 2, pp. 480–502, 1999.
- S. Li and L. Guan, “Fuzzy set-valued Gaussian processes and Brownian motions,” Information Sciences, vol. 177, no. 16, pp. 3251–3259, 2007.
- S. Li and A. Ren, “Representation theorems, set-valued and fuzzy set-valued Ito integral,” Fuzzy Sets and Systems, vol. 158, no. 9, pp. 949–962, 2007.
- M. T. Malinowski, “On a new set-valued stochastic integral with respect to semimartingales and its applications,” Journal of Mathematical Analysis and Applications, vol. 408, no. 2, pp. 669–680, 2013.
- N. S. Papageorgiou, “On the efficiency and optimality of allocations II,” SIAM Journal on Control and Optimization, vol. 24, no. 3, pp. 452–479, 1986.
- B. van Cutsem, “Martingales de convexes fermés aléatoires en dimension finie,” Annales de l'Institut Henri Poincaré B, vol. 8, pp. 365–385, 1972.
- M. T. Malinowski and M. Michta, “Stochastic set differential equations,” Nonlinear Analysis A, vol. 72, no. 3-4, pp. 1247–1256, 2010.
- M. Michta, “Set-valued random differential equations in Banach space,” Discussiones Mathematicae Differential Inclusions, vol. 15, no. 2, pp. 124–200, 1995.
- M. Michta, “Continuity properties of solutions of multivalued equations with white noise perturbation,” Journal of Applied Mathematics and Stochastic Analysis, vol. 10, no. 3, pp. 239–248, 1997.
- M. Michta, “On set-valued stochastic integrals and fuzzy stochastic equations,” Fuzzy Sets and Systems, vol. 177, pp. 1–19, 2011.
- I. Mitoma, Y. Okazaki, and J. Zhang, “Set-valued stochastic differential equation in M-type 2 Banach space,” Communications on Stochastic Analysis, vol. 4, no. 2, pp. 215–237, 2010.
- J. Li, S. Li, and Y. Ogura, “Strong solution of Itô type set-valued stochastic differential equation,” Acta Mathematica Sinica, vol. 26, no. 9, pp. 1739–1748, 2010.
- N. U. Ahmed, “Nonlinear stochastic differential inclusions on Banach space,” Stochastic Analysis and Applications, vol. 12, no. 1, pp. 1–10, 1994.
- J. P. Aubin and G. da Prato, “The viability theorem for stochastic differential inclusions,” Stochastic Analysis and Applications, vol. 16, no. 1, pp. 1–15, 1998.
- M. Kisielewicz, “Set-valued stochastic integrals and stochastic inclusions,” Stochastic Analysis and Applications, vol. 15, no. 5, pp. 783–800, 1997.
- M. Kisielewicz, Stochastic differential inclusions and applications, Springer, New York, NY, USA, 2013.
- M. Kisielewicz, M. Michta, and J. Motyl, “Set valued approach to stochastic control. Part. I and II,” Dynamic Systems and Applications, vol. 12, no. 3-4, pp. 405–466, 2003.
- J. Krasińska and M. Michta, “A note on stochastic inclusions approach for fuzzy stochastic differential equations driven by semimartingales,” Dynamic Systems and Applications, vol. 22, no. 4, pp. 503–516, 2013.
- M. T. Malinowski and M. Michta, “The interrelation between stochastic differential inclusions and set-valued stochastic differential equations,” Journal of Mathematical Analysis and Applications, vol. 408, no. 2, pp. 733–743, 2013.
- M. Michta and J. Motyl, “Stochastic inclusions with a non-Lipschitz right hand side,” in Stochastic Differential Equations, N. Halidias, Ed., pp. 189–232, Nova Scientic, 2011.
- W. Y. Fei and Y. Liang, “Stochastic set differential equations driven by local martingales under the non-Lipschitzian condition,” Acta Mathematica Sinica, vol. 56, no. 4, pp. 561–574, 2013.
- W. Y. Fei and D. F. Xia, “On solutions to stochastic set differential equations to Itô type under the non-Lipschitzian condition,” Dynamic Systems and Applications, vol. 22, no. 1, pp. 137–156, 2013.
- W. Fei, “Regularity and stopping theorem for fuzzy martingales with continuous parameters,” Information Sciences, vol. 169, no. 1-2, pp. 175–187, 2005.
- W. Fei, “On the theory of (dual) projection for fuzzy stochastic processes,” Stochastic Analysis and Applications, vol. 23, no. 3, pp. 449–474, 2005.
- W. Y. Fei, “A generalization of Bihari's inequality and fuzzy random differential equations with non-Lipschitz coefficients,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 15, no. 4, pp. 425–439, 2007.
- W. Y. Fei and R. Wu, “Doob's decomposition theorem for fuzzy (super) submartingales,” Stochastic Analysis and Applications, vol. 22, no. 3, pp. 627–645, 2004.
- W. Y. Fei, R. Q. Wu, and S. Shao, “Doob's stopping theorem for fuzzy (super, sub) martingales with discrete time,” Fuzzy Sets and Systems. An International Journal in Information Science and Engineering, vol. 135, no. 3, pp. 377–390, 2003.
- M. T. Malinowski, “Strong solutions to stochastic fuzzy differential equations of Itô type,” Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 918–928, 2012.
- M. T. Malinowski, “Itô type stochastic fuzzy differential equations with delay,” Systems and Control Letters, vol. 61, no. 6, pp. 692–701, 2012.
- M. T. Malinowski, “Some properties of strong solutions to stochastic fuzzy differential equations,” Information Sciences, vol. 252, pp. 62–80, 2013.
- M. T. Malinowski, “Approximation schemes for fuzzy stochastic integral equations,” Applied Mathematics and Computation, vol. 219, no. 24, pp. 11278–11290, 2013.
- X. R. Mao, Exponential Stability of Stochastic Differential Equations, Marcel Dekker, New York, NY, USA, 1994.
- B. Øksendal, Stochastic Differential Equations: An Introduction with Applications, Springer, Berlin, Germany, 6th edition, 2005.
- N. Ikeda and S. Watanabe, Stochastic Differential Equations and Diffusion Processes, North-Holland Publishing, Amsterdam, The Netherlands, 1981.
Copyright © 2014 Weiyin Fei 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.