International Journal of Differential Equations

Volume 2014 (2014), Article ID 307941, 5 pages

http://dx.doi.org/10.1155/2014/307941

Research Article

The Partial Averaging of Fuzzy Differential Inclusions on Finite Interval

Andrej V. Plotnikov¹ and Tatyana A. Komleva²

¹Department of Applied Mathematics, Odessa State Academy of Civil Engineering and Architecture, Didrihsona Street 4, Odessa 65029, Ukraine

²Department of Mathematics, Odessa State Academy of Civil Engineering and Architecture, Didrihsona Street 4, Odessa 65029, Ukraine

Received 12 February 2014; Accepted 23 April 2014; Published 4 May 2014

Academic Editor: Nikolai N. Leonenko

Copyright © 2014 Andrej V. Plotnikov and Tatyana A. Komleva. 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.

Abstract.

The substantiation of a possibility of application of partial averaging method on finite interval for differential inclusions with the fuzzy right-hand side with a small parameter is considered.

1. Introduction

In 1990, Aubin [1] and Baidosov [2, 3] introduced differential inclusions with the fuzzy right-hand side. Their approach is based on usual differential inclusions. In 1995, Hüllermeier [4–6] introduced the concept of -solution similar to how it has been done in [7]. Further in [8–20], various properties of solutions of fuzzy differential inclusions and their applications at modeling of various natural-science processes were considered.

The averaging methods combined with the asymptotic representations (in Poincare sense) began to be applied as the basic constructive tool for solving the complicated problems of analytical dynamics described by the differential equations. After the systematic researches done by N. M. Krylov, N. N. Bogoliubov, Yu. A. Mitropolsky, and so forth, in 1930s, the averaging method gradually became one of the classical methods in analyzing nonlinear oscillations.

In works [21, 22], the possibility of application of schemes of full and partial averaging for differential inclusions with the fuzzy right-hand side, containing a small parameter, was proved. By proving these theorems, the scheme offered by Plotnikov et al. for a substantiation of schemes of an average of usual differential inclusions [23–28] was used. In this work, the possibility of application of partial averaging method for fuzzy differential inclusions without passage to reviewing of separate solutions is proved; that is, all estimations are spent for -solution corresponding fuzzy systems.

2. Preliminaries

Let be a family of all nonempty (convex) compact subsets from the space with the Hausdorff metric:

where and is -neighborhood of set .

Let be a family of all such that satisfies the following conditions:

(1)is normal; that is, there exists an such that ;(2) is fuzzy convex; that is,

for any and ;(3) is upper semicontinuous; that is, for any and exists such that whenever , ;(4)the closure of the set is compact.

If , then is called a fuzzy number and is said to be a fuzzy number space.

Definition 1. The set is called the -level of a fuzzy number , for . The closure of the set is called the -level of a fuzzy number .

It is clear that the set , for all .

Theorem 2 (see [29] (stacking theorem)). If , then

(1), for all ;(2), for all ;(3)if is a nondecreasing sequence converging to , then .

Conversely, if is the family of subsets of satisfying conditions (1)–(3), then there exists such that for and .

Let be the fuzzy number defined by , if and .

Define by the relation

Then, is a metric in . Further, we know that [30]

(i) is a complete metric space;(ii), for all ;(iii), for all and .

3. Fuzzy Differential Inclusion: -Solution

Consider the fuzzy differential inclusion

where , , , .

We interpret (4) as a family of differential inclusions (see [7, 9, 10]):

An -solution of (4) is understood to be an absolutely continuous function which satisfies (5) almost everywhere. Let denote the -solution set of (5) and let . Clearly, a family of subsets cannot satisfy the conditions of Theorem 2 (see [5, 6, 9]).

Therefore, we will consider an -solution of fuzzy differential inclusion (4).

Definition 3. The upper semicontinuous fuzzy mapping which satisfies the system

is called the -solution of differential inclusion (4), where .

Theorem 4. Suppose that the following conditions hold:

(1)fuzzy mapping is measurable, for all ;(2)there exists such that, for all ,

for almost every ;(3)there exists such that , for almost every and every ;(4)for all , and almost every ,

Then, there exists a unique -solution of fuzzy system (4) defined on the interval .

Proof. Let and .

By [5, 6], it follows that a family of subsets satisfy the conditions of Theorem 2; that is, , for every .

Divide the interval into partial intervals by the points , , , . We use Euler algorithm; let the mapping be given by

where , , , .

By [7, 28], it follows that the sequence is equicontinuous and fundamental and its limit is a unique -solution of differential inclusion (5) and , for every and . This concludes the proof.

Also, we consider the differential inclusion

where , , , .

Lemma 5. Let and satisfy conditions (1)–(4) of Theorem 4 and there exist and such that

for every and , .

Then , for every .

Proof. Divide the interval into partial intervals by the points , , , . By Definition 3, we have

for every . This concludes the proof.

Remark 6. If , then , for every .

4. The Method of Partial Averaging

Now, consider the fuzzy differential inclusion with a small parameter

where , , , , and is a small parameter.

In this work, we associate the following partial averaged fuzzy differential inclusion with the inclusion (10):

where such that

Theorem 7. Let in domain the following conditions hold:

(1)mappings , are measurable on ;(2)mappings , satisfy a Lipschitz condition

with a Lipschitz constant ;(3)there exists such that

for almost every and every ;(4)for all , and almost every ,

(5)limit (15) exists uniformly with respect to x in the domain ;(6)for any , , and , the -solution of the inclusion (10) together with a -neighborhood belongs to the domain G; that is, , for every .

Then, for any and L > 0, there exists such that, for all and , the following inequality holds:

where , are the -solutions of initial and partial averaged inclusions.

Proof. Divide the interval on the partial intervals by the points , . We denote fuzzy mappings and such that

for every , , .

Then

Also, we take

As for ,

Using estimates (22)–(25), for any , there exists such that, for , we have

Taking into account Lemma 5, for any , there exists such that, for all , the following inequality holds:

By combining (26) and (27) and choosing and , we obtain (19). The theorem is proved.

5. Conclusion

If is continuous on , then, instead of (5), it is possible to consider the following more simple equation:

and, similarly, we can prove all the results received earlier.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

J.-P. Aubin, “Fuzzy differential inclusions,” Problems of Control and Information Theory, vol. 19, no. 1, pp. 55–67, 1990.

V. A. Baidosov, “Differential inclusions with fuzzy right-hand side,” Soviet Mathematics, vol. 40, no. 3, pp. 567–569, 1990.

V. A. Baidosov, “Fuzzy differential inclusions,” Journal of Applied Mathematics and Mechanics, vol. 54, no. 1, pp. 8–13, 1990.

E. Hüllermeier, “Towards modelling of fuzzy functions,” in Proceedings of the 3rd European Congress on Intelligent Techniques and Soft Computing (EUFIT ’95), pp. 150–154, 1995.

E. Hüllermeier, “An approach to modelling and simulation of uncertain dynamical system,” International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 7, pp. 117–137, 1997.

E. Hüllermeier, “A fuzzy simulation method,” in Proceedings of the 1st International ICSC Symposium on Intelligent Industrial Automation (IIA '96) and Soft Computing (SOCO '96), Reading, UK, March 1996.

A. I. Panasyuk and V. I. Panasyuk, “An equation generated by a differential inclusion,” Mathematical Notes of the Academy of Sciences of the USSR, vol. 27, no. 3, pp. 213–218, 1980.

S. Abbasbandy, T. A. Viranloo, Ó. López-Pouso, and J. J. Nieto, “Numerical methods forfuzzy differential inclusions,” Computers & Mathematics with Applications, vol. 48, no. 10-11, pp. 1633–1641, 2004.

R. P. Agarwal, D. O'Regan, and V. Lakshmikantham, “A stacking theorem approach for fuzzy differential equations,” Nonlinear Analysis: Theory, Methods and Applications, vol. 55, no. 3, pp. 299–312, 2003.

R. P. Agarwal, D. O'Regan, and V. Lakshmikantham, “Maximal solutions and existence theory for fuzzy differential and integral equations,” Journal of Applied Analysis, vol. 11, no. 2, pp. 171–186, 2005.

P. L. Antonelli and V. Křivan, “Fuzzy differential inclusions as substitutes for stochastic differential equations in population biology,” Open Systems & Information Dynamics, vol. 1, no. 2, pp. 217–232, 1992.

M. Chen, D. Li, and X. Xue, “Periodic problems of first order uncertain dynamical systems,” Fuzzy Sets and Systems, vol. 162, no. 1, pp. 67–78, 2011.

M. Chen and C. Han, “Periodic behavior of semi-linear uncertain dynamical systems,” Fuzzy Sets and Systems, vol. 230, no. 1, pp. 82–91, 2013.

G. Colombo and V. Krivan, “Fuzzy differential inclusions and nonprobabilistic likelihood,” Dynamic Systems and Applications, vol. 1, pp. 419–440, 1992.

M. Guo, X. Xue, and R. Li, “Impulsive functional differential inclusions and fuzzy population models,” Fuzzy Sets and Systems, vol. 138, no. 3, pp. 601–615, 2003.

V. Laksmikantham, “Set differential equations versus fuzzy differential equations,” Applied Mathematics and Computation, vol. 164, no. 2, pp. 277–297, 2005.

V. Lakshmikantham, T. Granna Bhaskar, and J. Vasundhara Devi, Theory of Set Differential Equations in Metric Spaces, Cambridge Scientific Publishers, Cambridge, UK, 2006.

V. Lakshmikantham and R. N. Mohapatra, Theory of Fuzzy Differential Equations and Inclusions, Taylor & Francis, London, UK, 2003.

D. Li, M. Chen, and X. Xue, “Two-point boundary value problems of uncertain dynamical systems,” Fuzzy Sets and Systems, vol. 179, no. 1, pp. 50–61, 2011.

K. K. Majumdar and D. D. Majumder, “Fuzzy differential inclusions in atmospheric and medical cybernetics,” IEEE Transactions on Systems, Man, and Cybernetics B: Cybernetics, vol. 34, no. 2, pp. 877–887, 2004.

A. V. Plotnikov, T. A. Komleva, and L. I. Plotnikova, “The partial averaging of differential inclusions with fuzzy right-hand side,” Journal of Advanced Research in Dynamical and Control Systems, vol. 2, no. 2, pp. 26–34, 2010.

A. V. Plotnikov, T. A. Komleva, and L. I. Plotnikova, “On the averaging of differential inclusions with fuzzy right-hand side when the average of the right-hand side is absent,” Iranian Journal of Optimization, vol. 2, no. 3, pp. 506–517, 2010.

S. Klymchuk, A. Plotnikov, and N. Skripnik, “Overview of V.A. Plotnikov's research on averaging of differential inclusions,” Physica D: Nonlinear Phenomena, vol. 241, no. 22, pp. 1932–1947, 2012.

N. A. Perestyuk, V. A. Plotnikov, A. M. Samoĭlenko, and N. V. Skripnik, Differential Equations with Impulse Effects. Multivalued Right-Hand Sides with Discontinuities, vol. 40 of de Gruyter Studies in Mathematics, Walter de Gruyter, Berlin, Germany, 2011.

V. A. Plotnikov, “Averaging of differential inclusions,” Ukrainian Mathematical Journal, vol. 31, no. 5, pp. 454–457, 1979.

V. A. Plotnikov, “Partial averaging of differential inclusions,” Mathematical Notes of the Academy of Sciences of the USSR, vol. 27, no. 6, pp. 456–459, 1980.

V. A. Plotnikov, The Averaging Method in Control Problems, Lybid, Kiev, Ukraine, 1992.

V. A. Plotnikov, A. V. Plotnikov, and A. N. Vityuk, Differential Equations with a Multivalued Right-Hand Side, Asymptotic Methods, AstroPrint, Odessa, Ukraine, 1999.

C. V. Negoita and D. A. Ralescu, Application of Fuzzy Sets to Systems Analysis, John Wiley & Sons, New York, NY, USA, 1975.

M. L. Puri and D. A. Ralescu, “Fuzzy random variables,” Journal of Mathematical Analysis and Applications, vol. 114, no. 2, pp. 409–422, 1986.