Existence and Uniqueness Theorem for Fuzzy Integral Equation

Andrej V. Plotnikov*, Natalia V. Skripnik

Department of Applied Mathematics, Odessa State Academy Civil Engineering and Architecture, Odessa, Ukraine

Abstract: In this article we consider fuzzy integral equations and prove the existence and uniqueness theorem.

Keywords: fuzzy integral equation, existence, uniqueness, fuzzy differential equation

Received December 20, 2012; Revised January 29, 2013; Accepted March 02, 2013

Citation: Andrej V. Plotnikov, Natalia V. Skripnik, Existence and Uniqueness Theorem for Fuzzy Integral Equation. Journal of Mathematical Sciences and Applications, 1 (1). 1-5. January 2013. doi:10.12691/jmsa-1-1-1

1. Introduction

In recent years, the fuzzy set theory introduced by Zadeh [1] has emerged as an interesting and fascinating branch of pure and applied sciences. The applications of fuzzy set theory can be found in many branches of science as physical, mathematical, differential equations and engineering sciences. Recently there have been new advances in the theory of fuzzy differential equations [2-7], fuzzy integral equations [8-16], fuzzy integrodifferential equations [17,18,19,20], differential inclusions with fuzzy right-hand side [21-24] and fuzzy differential inclusions [25,26,27] as well as in the theory of control fuzzy differential equations [28,29,30], control fuzzy integrodifferential equations [31-36], control fuzzy differential inclusions [37,38,39,40], and control fuzzy integrodifferential inclusions [41].

Almost in all papers mentioned above the authors also consideres equivalent fuzzy integral equations. However, integral equations are encountered in various fields of science and in numerous applications, including elasticity, plasticity, heat and mass transfer, oscillation theory, fluid dynamics, filtration theory, electrostatics, electrodynamics, biomechanics, game theory, control, queuing theory, electrical engineering, economics, and medicine. Therefore, in this article we consider fuzzy integral equations and prove the existence and uniqueness theorem.

2. Preliminaries

Let be a set of all nonempty (convex) compact subsets from the space ,

be Hausdorff distance between sets and , is -neighborhood of set .

Let be the set of all such that u satisfies the following conditions:

i) is normal, that is, there exists an such that ;

ii) is fuzzy convex, that is,

for any and ;

iii) is upper semicontinuous,

iv) is compact.

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

Then from i)-iv), it follows that the -level set for all .

Let be the fuzzy mapping defined by if and .

Define by the relation

Then is a metric in . Further we know that [42]:

1) is a complete metric space,

2) for all ,

3) for all and .

Definition 1. [5] A mapping is measurable (continuous) if for all the set-valued map defined by is Lebesgue measurable (continuous).

Definition 2. [5] A mapping is said to be integrably bounded if there is an integrable function such that for every .

Definition 3. [5] The integral of a fuzzy mapping is defined levelwise by : is a measurable selection of for all .

Definition 4. [5] A measurable and integrably bounded mapping is said to be integrable over if .

Note that if is measurable and integrably bounded, then is integrable. Further if is continuous, then it is integrable.

Proposition 1. [2] Let be integrable and . Then

1) ;

2) ;

3) is integrable;

4) .

3. Main Result

Consider the fuzzy integral equation

[picture] | (1)

where is time, is a phase variable, is -dimensional matrix-valued function, is a fuzzy mapping, .

Definition 5. A fuzzy mapping is called a solution of integral equation (1) if it is continuous and satisfies integral equation (1) on interval .

Theorem. Let in the domain the following conditions hold:

i) for any fixed the fuzzy mapping is continuous;

ii) there exists a positive constant such that

for all ;

iii) there exists a positive constant such that

for all ;

iv) the matrix-valued functions are continuous;

v) there exist positive constants such that

for all .

Then equation (1) has a unique solution on the interval .

Proof. Let us build the successive approximations of the solution:

for ,

for .

By conditions i), ii) and iv) of the theorem is continuous on for all . Besides

;

;

and so on.

Therefore,

Then

.

Hence, it follows that the sequence of the fuzzy mappings in uniformly bounded:

for all .

Let us show that the sequence of the fuzzy mappings is a Cauchy sequence. For any we have

.

Hence,

Therefore, the sequence is a Cauchy sequence. Its limit is a continuous fuzzy mapping that we will denote by . Owing to the theorem conditions in (1) it is possible to pass to the limit under the sign of the integral. We receive that the fuzzy mapping satisfies equation (1), i.e. is the solution of (1) on the interval .

To prove the uniqueness, suppose that there exist at least two different solutions and of (1) on . Then .

As

then

.

So

,

.

Then for any that contradicts .

This concludes the proof.

Remark 1. If then fuzzy integral equation (1) is equivalent to the Cauchy problem

where is the fuzzy Hukuhara derivative of a fuzzy mapping [2].

Remark 2. Solutions of integral equation (1) can be not fuzzy differentiable in the sense of Hukuhara. For example, if

, ,

, where such, that for all , then we get the fuzzy integral equation

It is obvious that its solution is and is not fuzzy differentiable in the sense of Hukuhara for all . However fuzzy integral system (1) will be equivalent to the following fuzzy hybrid system

4. Conclusion

In 1982, D. Dubois and H. Prade [43,44] ﬁrst introduced the concept of integration of fuzzy functions. O. Kaleva [2] studied the measurability and integrability for the fuzzy set-valued mappings of a real variable whose values are normal, convex, upper semicontinuous, and compactly supported by fuzzy sets in. Existence of solutions of fuzzy integral equations has been studied by several authors. They have used the embedding theorem of Kaleva, which is a generalization of the classical Rådström embedding theorem, and the Darbo ﬁxed point theorem in the convex cone. In this article we prove the existence and uniqueness theorem without using the embedding theorem of Kaleva.

References

[1]   | Zadeh, , “Fuzzy sets,” Inf. Control, (8), 338-353, 1965.
[2]   | Kaleva, O., “Fuzzy differential equations,” Fuzzy Sets Syst., 24 (3), 301-317, 1987.
[3]   | Lakshmikantham, V., Gnana Bhaskar, T. and Vasundhara, Devi J. Theory of set differential equations in metric spaces, Cambridge Scientific Publishers, Cambridge, 2006.
[4]   | Lakshmikantham, V. and Mohapatra, R. Theory of fuzzy differential equations and inclusions, Taylor - Francis, 2003.
[5]   | Park, J.Y., and Han, H.K., “Existence and uniqueness theorem for a solution of fuzzy differential equations,” Int. J. Math. Math. Sci., 22 (2), 271-279, 1999.
[6]   | Park, J.Y., and Han, H.K., “Fuzzy differential equations,” Fuzzy Sets Syst., 110 (1), 69-77, 2000.
[7]   | Plotnikov, A.V. and Skripnik, N.V., Differential equations with ''clear'' and fuzzy multivalued right-hand sides. Asymptotics Methods (in Russian), AstroPrint, Odessa, 2009.
[8]   | Sadigh Behzadi, Sh., “Solving Fuzzy Nonlinear Volterra-Fredholm Integral Equations by Using Homotopy Analysis and Adomian Decomposition Methods,” Journal of Fuzzy Set Valued Analysis, Volume 2011 Article ID jfsva-00067, 13 Pages, 2011.
[9]   | Jahantigh, M., Allahviranloo, T. and Otadi, M., “Numerical Solution of Fuzzy Integral Equations,” Applied Mathematical Sciences, 2 (1), 33-46, 2008.
[10]   | Friedman, M., Ma, M. and Kandel, A., “Numerical Solutions of fuzzy diﬀerential equations and integral equations,” Fuzzy Sets and Systems, 106, 35-48, 1999.
[11]   | Ghanbari, M., Toushmalni, R. and Kamrani, E., “Numerical Solution of Linear Fredholm Fuzzy Integral Equation of the Second Kind by Block-pulse Functions,” Australian Journal of Basic and Applied Sciences, 3 (3), 2637-2642, 2009.
[12]   | Mordeson J. and Newman, W., “Fuzzy Integral Equations,” Information Sciences, 87 (4), 215-229, 1995.
[13]   | Park, J.Y., Kwun, Y.C. and Jeong, J.U., “Existence of solutions of fuzzy integral equations in Banach spaces,” Fuzzy Sets and Systems, 72, 373-378, 1995.
[14]   | Parandin, N. and Fariborzi Araghi, M. A., “The Approximate Solution of Linear Fuzzy Fredholm Integral Equations of the Second Kind by Using Iterative Interpolation,” World Academy of Science, Engineering and Technology, 25, 978-984, 2009.
[15]   | Shamivand, M.M., Shahsavaran, A. and Tari, S.M., “Solution to Fredholm Fuzzy Integral Equations with Degenerate Kernel,” Int. J. Contemp. Math. Sciences, 6 (11), 535-543, 2011.
[16]   | Wu, C. and Ma, M., “On the integrals,series and integral equations of fuzzy set-valued functions,” J. Harbin Inst. Technol., 21, 11-19, 1990.
[17]   | Allahviranloo, T., Amirteimoori, A., Khezerloo, M., and Khezerloo, S., “A new method for solving fuzzy volterra integro-differential equations,” Australian Journal of Basic and Applied Sciences, 5 (4), 154-164, 2011.
[18]   | Balachandran, K., and Kanagarajan, K., “Existence of solutions of fuzzy delay integrodifferential equations with nonlocal condition,” Journal of Korea Society for Industrial and Applied Mathematics, 9 (2), 65-74, 2005.
[19]   | Balasubramaniam, P., and Muralisankar, S., “Existence and uniqueness of fuzzy solution for the nonlinear fuzzy integrodifferential equations,” Appl. Math. Lett., 14 (4), 455-462, 2001.
[20]   | Balasubramaniam, P., and Muralisankar, S., “Existence and uniqueness of fuzzy solution for semilinear fuzzy integrodifferential equations with nonlocal conditions,” Comput. Math. Appl., 47, 1115-1122, 2004.
[21]   | Aubin, J.-P., “Fuzzy differential inclusions,” Probl. Control Inf. Theory, 19 (1), 55-67, 1990.
[22]   | Baidosov, V. A., “Differential inclusions with fuzzy right-hand side,” Sov. Math., 40 (3), 567-569, 1990.
[23]   | Baidosov, V. A., “Fuzzy differential inclusions,” J. Appl. Math. Mech., 54 (1), 8-13, 1990.
[24]   | Hullermeier, E., “An approach to modeling and simulation of uncertain dynamical system,” Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 7, 117-137, 1997.
[25]   | Plotnikov, A. V., and Skripnik, N. V., 2009, The generalized solutions of the fuzzy differential inclusions, Int. J. Pure Appl. Math., 56(2), 165-172.
[26]   | Skripnik, N.V., “The full averaging of fuzzy differential inclusions,” Iranian Journal of Optimization, 1, 302-317, 2009.
[27]   | Skripnik, N.V., “The partial averaging of fuzzy differential inclusions,” J. Adv. Res. Differ. Equ., 3 (1), 52-66, 2011.
[28]   | Skripnik, N.V., “The partial averaging of fuzzy impulsive differential inclusions,” Differential and Integral Equations, 24 (7-8), 743-758, 2011.
[29]   | Kwun, Y.C., and Park, D.G., “Optimal control problem for fuzzy differential equations,” Proceedings of the Korea-Vietnam Joint Seminar, 103-114, 1998.
[30]   | Phu, N.D., and Tung, T.T., “Some results on sheaf-solutions of sheaf set control problems,” Nonlinear Anal., 67(5), 1309-1315, 2007.
[31]   | Plotnikov, A.V., Komleva, T.A., and Arsiry, A.V., “Necessary and sufficient optimality conditions for a control fuzzy linear problem,” Int. J. Industrial Mathematics, 1 (3), 197-207, 2009.
[32]   | Kwun, Y.C., Kim, M.J., Lee, B.Y., and Park, J.H., “Existence of solutions for the semilinear fuzzy integrodifferential equations using by successive iteration,” Journal of Korean Institute of Intelligent Systems, 18, 543-548, 2008.
[33]   | Kwun, Y.C., Kim, J.S., Park, M.J., and Park, J.H., “Nonlocal controllability for the semilinear fuzzy integrodifferential equations in n-dimensional fuzzy vector space,” Adv. Difference Equ., vol. 2009, Article ID 734090, 16 pages, 2009.
[34]   | Kwun, Y.C., Kim, J.S., Park, M.J., and Park, J.H., “Controllability for the impulsive semilinear nonlocal fuzzy integrodifferential equations in n-dimensional fuzzy vector space,” Adv. Difference Equ., vol. 2010, Article ID 983483, 22 pages, 2010.
[35]   | Park, J.H., Park, J.S., and Kwun, Y.C., “Controllability for the semilinear fuzzy integrodifferential equations with nonlocal conditions,” Fuzzy Systems and Knowledge Discovery, Lecture Notes in Computer Science, vol. 4223/2006, 221-230, 2006.
[36]   | Park, J.H., Park, J.S., Ahn, Y.C., and Kwun, Y.C., “Controllability for the impulsive semilinear fuzzy integrodifferential equations,” Adv. Soft Comput., 40, 704-713, 2007.
[37]   | Molchanyuk, I.V., and Plotnikov, A.V., “Linear control systems with a fuzzy parameter,” Nonlinear Oscil., 9 (1), 59-64, 2006.
[38]   | Molchanyuk, I.V., and Plotnikov, A.V., “Necessary and sufficient conditions of optimality in the problems of control with fuzzy parameters,” Ukr. Math. J., 61 (3), 457-463, 2009.
[39]   | Plotnikov, A.V., and Komleva, T.A., “Linear problems of optimal control of fuzzy maps,” Intelligent Information Management, 1 (3), 139-144, 2009.
[40]   | Plotnikov, A.V., Komleva, T.A., and Molchanyuk, I.V., “Linear control problems of the fuzzy maps,” J. Software Engineering & Applications, 3 (3), 191-197, 2010.
[41]   | Vasil'kovskaya, V.S., and Plotnikov, A.V., “Integrodifferential systems with fuzzy noise,” Ukr. Math. J., 59(10), 1482-1492, 2007.
[42]   | Puri, M.L., and Ralescu, D.A., “Fuzzy random variables,” J. Math. Anal. Appl., 114(2), 409-422, 1986.
[43]   | Dubois, D. and Prade, H., “Towards fuzzy differential calculus. I. Integration of fuzzy mappings,” Fuzzy Sets and Systems, 8 (1), 1-17, 1982.
[44]   | Dubois, D. and Prade, H., “Towards fuzzy differential calculus. II. Integration on fuzzy intervals,” Fuzzy Sets and Systems, 8 (2), 105-116, 1982.