Journal of Function Spaces
Volume 2016 (2016), Article ID 6759294, 8 pages
http://dx.doi.org/10.1155/2016/6759294

Research Article

Existence Results for Fuzzy Partial Differential Inclusions

Nayyar Mehmood¹ and Akbar Azam²

¹Department of Mathematics and Statistics, International Islamic University, H-10, Islamabad 44000, Pakistan
²Department of Mathematics, COMSATS Institute of Information Technology, Islamabad, Pakistan

Received 10 April 2016; Revised 15 June 2016; Accepted 23 June 2016

Academic Editor: Adrian Petrusel

Copyright © 2016 Nayyar Mehmood and Akbar Azam. 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.

We discuss the existence of solution of a certain type of fuzzy partial differential inclusions with local conditions of integral types.

1. Introduction

The complexities of physical phenomena depict some kind of uncertainty, and dealing with uncertainty by fuzzy sets was introduced by Zadeh in [1]. For the betterment of mathematical modelling for physical problems, formulation by fuzzy differential equations plays an important role. The notion of fuzzy derivatives was introduced in [2]. In [3], the authors define these concepts by using Zadeh’s extension principle, while, in [4], the fuzzy derivative was defined by generalized Hukuhara derivative. For more details about the theory of fuzzy differential equations, we refer the readers to the monograph [5].

The incomplete and uncertain systems can be modelled in a better way by virtue of fuzzy differential equations. The theory of fuzzy partial differential equations was initiated in [6]. After that many authors work out in this branch of analysis in a productive way, for example, [7–11] and the references therein. The importance of ordinary differential equations and partial differential equations in fuzzy sense is obvious. This field is in its growing age, and it interacts with many researchers. And up till now the literature is mainly concerned with fuzzy ordinary differential equations, inclusions, and fuzzy partial differential equations, but in this paper we present a model for hyperbolic type partial fuzzy differential inclusion with integral local conditions. In [12], the authors discuss the existence of solution of a fuzzy differential inclusion problem and, in [13], the authors extend the technique for a system of fuzzy differential inclusions. We extend this study to discuss the existence of solution of fuzzy partial differential inclusion. We also present an example to justify our main result.

2. Preliminaries

Let be the family of all nonempty, convex, and compact subsets of The Hausdorff metric in is defined as follows:

Then is a complete and separable space.

Definition 1 (see [13]). A fuzzy subset of is a function The open level and closed level sets of are and and are defined as follows:

respectively.

Definition 2 (see [13]). Denote by the set of all fuzzy sets of , such that satisfy the following properties:

(i)is normal; that is, there exists such that .(ii) is fuzzy convex; that is, for and , .(iii) is upper semicontinuous; that is, for any , is closed set.(iv) is compact, where bar denotes the closure of the set.

It is obvious that, for each , the closed level sets are compact and convex in .

Lemma 3 (see [13]). If , then

(i) is compact and convex for all ,(ii)for all ,(iii)if is a nondecreasing sequence converging to some in , then .

If is a family of subsets of satisfying the above conditions of the lemma, then there exists such that and .

Definition 4 (see [12]). Let and be two metric spaces and let be a set-valued mapping; is said to be upper semicontinuous at if and only if, for any neighborhood of , there exists a neighborhood of , such that for all .

Every fuzzy map can generate a real valued function , where, for , .

Definition 5 (see [13]). A fuzzy mapping , where , is called lower open if is lower semicontinuous in .

3. Main Results

Proposition 6 (see [14]). Let be a paracompact Hausdorff topological space, let be a topological vector space, and let be a multivalued nonempty complex valued function. If has open lower sections, that is, for any , is open in , then there exists a continuous selection such that for any .

Lemma 7 (see [15]). Let be an open set and and an upper semicontinuous set-valued operator. Then there exists an open interval of , for , , such that

(i),(ii) on .

Lemma 8 (see [15]). Let be a Banach space and let be two multivalued measurable operators, where is the collection of compact subsets of Then if is measurable selection, then there exists a measurable selection such that

for all .

Problem 9. Let be a Banach space with norm and let be an open subset of . Let be a fuzzy mapping and is an upper semicontinuous function. Consider the following partial fuzzy differential inclusion:

for with local conditions of integral type

The problem is equivalent to

with integral type conditions .

In the next theorem we prove the existence of solution of the above partial differential inclusion.

Theorem 10. Suppose that is bounded convex and lower open fuzzy surjection and is an upper semicontinuous function such that is nonempty for each Then there exists a continuous selection such that

Proof. We can define a set-valued function as follows:

Clearly is nonempty for each , and consider for and

by convexity of . Hence ; thus is convex on .
Now we will show that has open lower sections. For any ,

It is enough to prove that the complement of , that is, the set

is closed. Let be a sequence in such that . Since is lower open and is upper semicontinuous we have

and we have

Thus and hence has open lower sections. Thus by Proposition 6 there exists a continuous selection for each . As is a surjection and is bounded we get the problem

with local conditions .

The following Tychonoff theorem will be used to prove the existence of solution of problem with local conditions .

Theorem 11 (see [16] [Tychonoff]). Let be a complete locally convex linear space and let be a closed and convex subset of Let be continuous and If is compact then has a fixed point.

Let be an -dimensional Euclidean space and let be set of positive integers. Let

The topology on is induced by families of seminorms

where is the bounded region in , , and It is well known that [17] this topology on is complete and locally convex linear space. We use similar technique to that used in [18].

Observe that problem with is equivalent to finding fixed point of the following mapping defined by

Condition 1. Consider and , , and is subadditive in , for all .

Condition 2. Consider , and

Theorem 12. If Conditions 1 and 2 hold then problem with local conditions has a solution in .

Proof. For existence of the solution we need to prove that has a fixed point in . Clearly is continuous and compact in the topology of It is sufficient to prove that, for any closed bounded and convex subset of , we have For this, consider

The above equation implies

The subadditivity of implies the following inequality [18]:

using this inequality in the above inequality, we get

Let

By applying Schwartz’s inequality and using the above values of and , we get

Using the definition of given seminorm, we obtain

Let

using this we have

this can be written as

by choosing and , we have, for any ,

that is,

Hence, by Tychonoff Theorem, there exists such that . This completes the theorem.

Problem 13. Now consider the following partial fuzzy differential inclusion:

for , with local conditions of the same integral type .
The problem is equivalent to

with integral local conditions .

In the next theorem we find the existence result for a solution of above fuzzy partial differential inclusion.

Theorem 14. Let be -level uniformly continuous and fuzzy integrably bounded; is uniformly continuous. If, for every , in , there exists such that

then there exists a solution of Problem 13.

Proof. Define by . We show that is upper semicontinuous. For a given , we can write the neighborhood of as follows:

For and , we have

Since is uniformly continuous for each and is also uniformly continuous and, using the above inequality, we can find a small enough neighborhood of in , such that for all and

thus

This means that is upper semicontinuous. So we find, from Lemma 7, that there exists a real constant such that

Let with a metric defined by

Then is a complete generalized metric space[13]. Define by

where

Here is multivalued double integral of Aumann [19], and we defined it here as follows:

for each .
Clearly for all . Since the operator is upper semicontinuous with compact values, by well known selection theorem of Kuratowski-Ryll-Nardzewski [20], has measurable selection for all , and is Lebesgue integrable [4].
Let ; thus .
Next we show that is closed for all . Let be a sequence in that converges to . Since

and is closed [19], we have .
We claim that is multivalued contraction; for this let , which implies that there exists such that

By virtue of Lemma 8 [21], there exists a measurable selection such that

Let

Now consider

Similarly we will get

Thus we have

for all .
Since , by Nadler’s Theorem [22], there exists a fixed point . Thus

Example 15. Consider the hyperbolic PDI

with boundary conditions

and , where is a bounded rectangle in plane. Suppose that is bounded convex and lower open fuzzy surjection and is an upper semicontinuous function such that

is nonempty for each , where is the characteristic function, as

Then, by Theorem 10, there exists a continuous selection for each , such that

which implies

Hence the solution of is thus

Competing Interests

The authors have declared that they have no competing interests.

References

L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, no. 3, pp. 338–353, 1965.

S. S. L. Chang and L. A. Zadeh, “On fuzzy mapping and control,” IEEE Transactions on Systems, Man, and Cybernetics, vol. 2, no. 1, pp. 30–34, 1972.

D. Dubois and H. Prade, “Towards fuzzy differential calculus part 3: differentiation,” Fuzzy Sets and Systems, vol. 8, no. 3, pp. 225–233, 1982.

S. Seikkala, “On the fuzzy initial value problem,” Fuzzy Sets and Systems, vol. 24, no. 3, pp. 319–330, 1987.

V. Lakshmikantham and R. N. Mohapatra, Theory of Fuzzy Differential Equations and Inclusions, CRC Press, New York, NY, USA, 2004.

J. J. Buckley and T. Feuring, “Introduction to fuzzy partial differential equations,” Fuzzy Sets and Systems, vol. 105, no. 2, pp. 241–248, 1999.

A. Arara and M. Benchohra, “Fuzzy solutions for boundary value problems with integral boundary conditions,” Acta Mathematica Universitatis Comenianae, vol. 75, no. 1, pp. 119–126, 2006.

A. Arara, M. Benchohra, S. K. Ntouyas, and A. Ouahab, “Fuzzy solutions for hyperbolic partial differential equations,” International Journal of Applied Mathematical Sciences, vol. 2, no. 2, pp. 181–195, 2005.

Y.-Y. Chen, Y.-T. Chang, and B.-S. Chen, “Fuzzy solutions to partial differential equations: adaptive approach,” IEEE Transactions on Fuzzy Systems, vol. 17, no. 1, pp. 116–127, 2009.

H. V. Long, N. T. K. Son, N. T. M. Ha, and L. H. Son, “The existence and uniqueness of fuzzy solutions for hyperbolic partial differential equations,” Fuzzy Optimization and Decision Making, vol. 13, no. 4, pp. 435–462, 2014.

M. Nikravesh, L. A. Zadeh, and V. Korotkikh, Eds., Fuzzy Partial Differential Equations and Relational Equations, vol. 142 of Studies in Fuzziness and Soft Computing, Springer, Berlin, Germany, 2004.

Y. G. Zhu and L. Rao, “Differential inclusions for fuzzy maps,” Fuzzy Sets and Systems, vol. 112, no. 2, pp. 257–261, 2000.

C. Min, Z.-B. Liu, L.-H. Zhang, and N.-J. Huang, “On a system of fuzzy differential inclusions,” Filomat, vol. 29, no. 6, pp. 1231–1244, 2015.

N. C. Yannelis and N. D. Prabhakar, “Existence of maximal elements and equilibria in linear topological spaces,” Journal of Mathematical Economics, vol. 12, no. 3, pp. 233–245, 1983.

J. P. Aubin and A. Cellina, Differential Inclusions: Set-Valued Maps and Viability Theory, vol. 264, Springer Science & Business Media, Berlin, Germany, 2012.

A. Tychonoff, “Ein fixpunktsatz,” Mathematische Annalen, vol. 111, no. 1, pp. 767–776, 1935.

M. A. Naimark, Normed Rings, P. Noordhoff, Groningen, The Netherlands, 1964.

A. K. Aziz and J. P. Maloney, “An application of Tychonoff's fixed point theorem to hyperbolic partial differential equations,” Mathematische Annalen, vol. 162, no. 1, pp. 77–82, 1965.

R. J. Aumann, “Integrals of set-valued functions,” Journal of Mathematical Analysis and Applications, vol. 12, pp. 1–12, 1965.

K. Kuratowski and C. Ryll-Nardzewski, “A general theorem on selectors,” Bulletin of the Polish Academy of Sciences, vol. 12, pp. 397–403, 1965.

S. S. Chang, Fixed Point Theory with Applications, Chongqing Publishing House, Chongqing, China, 1984.

J. Nadler, “Multi-valued contraction mappings,” Pacific Journal of Mathematics, vol. 30, pp. 475–488, 1969.