Relationship between Bede–Gal differentiable set-valued functions and their associated support functions
Introduction
Recently, many studies have examined the properties of set-valued functions [15], [34], [42]. In fact, this is the second time in mathematical history. Previously, at the beginning of the 1960s, set-valued functions were explored to study the properties of controllable dynamic systems. Reformulating differential equations that describe the behavior of controllable systems in the form of differential inclusion is a very important idea. Indeed, the notion of differential inclusion was actually expressed in earlier studies during the 1930s, e.g., Marchaud [33] and Zaremba [45]. However, these studies yielded no applications and thus they did not attract the attention of other researchers. In the 1960s, proving the Pontryagin maximum principle for optimal control [37] inspired further studies of the properties of set-valued functions and many important results were reported [5], [6], [8], [11], [13], [14], [17], [43]. The proposal of fuzzy logic and fuzzy sets by Zadeh [44] in 1965 also failed to attract the attention of researchers for 10 years. However, the theory of fuzzy sets was applied subsequently in many areas. A definition for the derivative of fuzzy-valued functions was necessary for the further development of this theory and several definitions have been provided [23], [40]. In 2005, Bede and Gal provided a definition of the generalized derivative for fuzzy number-valued functions [9], and this definition of the fuzzy derivative now has wide acceptance among researchers. In this study, we refer to the generalized derivative as the Bede–Gal derivative. In fact, the development of the theory of fuzzy differential equations accelerated following this definition [1], [2], [3], [25], [26], [29], [35], [39]. Approaches are also available that do not employ the Bede–Gal derivative [4], [7], [18], [19], [20], [21], [22], [24] due to some limitations of this concept. Therefore, some studies have aimed to generalize the Bede–Gal derivative [10], [41].
Basically, the fuzzy number is defined as a special set. Recent studies have tried to build a bridge between set-valued functions and fuzzy number-valued functions. In some studies, results related to fuzzy sets theory have been adapted to set-valued or interval-valued functions. For example, Malinowski [28], [30], [31], [32] used a second type Hukuhara derivative to solve interval-valued and set-valued differential equations. Stefanini and Bede [42] introduced the Bede–Gal derivative for interval-valued functions. In [15], [16], some properties of Bede–Gal differentiable interval-valued functions were studied.
Similarly, a concept of the derivative for set-valued functions can facilitate the study of set-valued differential equations. However, to solve a set-valued differential equation without introducing this concept, we must use either the Hukuhara derivative [23] or an approach similar to Hüllermeier's approach [24] for fuzzy differential equations. In Hüllermeier's approach, a set-valued differential equation is interpreted based on differential inclusions. This approach is a powerful tool for theoretical investigations of set-valued differential equations, but calculating the solution according to this method is a complex task. This approach has the following characteristics. 1) There is no concept of the derivative for set-valued functions, which needs to be addressed; therefore, we cannot develop an antiderivative (integral) to solve differential equations in an effective manner. 2) A solution in the form of a set-valued function that satisfies the given conditions, such as compactness and convexity, might not always exist. Thus, even if we obtain a solution (or a candidate for the solution is given), we need to prove that it is an appropriate solution, i.e., that it satisfies the compactness and convexity conditions.
In this study, we adapt the Bede–Gal derivative to a family of functions with values that are nonempty compact subsets of , which allows us to avoid the main difficulties when implementing the differential inclusion approach. We illustrate this statement by a simple example. Let us consider the problem of finding the solution to the initial value problem (IVP): . If we do not have an appropriate concept for the differentiability of set-valued function, we may treat this problem as a differential inclusion problem , . We can see that each of the functions , , , etc., is a solution. Moreover, it can be shown that there is an infinite number of solutions. Now, consider the set of all values of these solutions at a certain point t as the value () for the solution X. To study the properties of this solution, we need to determine the set , which is not an easy task in the general case. However, we can see that the aforementioned IVP has the solution in the sense of the Bede–Gal derivative for set-valued (interval-valued) functions (see Section 5). We can extend this example to the case of . In particular, we can consider the set-valued IVP and instead of the differential inclusion problem and , where is the closed unit ball centered at the origin. We can show that the aforementioned set-valued IVP has the solution (see Section 5).
Similar to [9], we may construct an example to illustrate the drawback of the Hukuhara derivative for set-valued functions. If is differentiable at with , then the function is not Hukuhara differentiable at , where A is a compact and convex set in . In Section 3, we show that is Bede–Gal differentiable and we have . Indeed, the Bede–Gal derivative is defined for a larger class of set-valued functions compared with the Hukuhara derivative.
The remainder of this paper is organized as follows. In Section 2, we provide some preliminary information. In Section 3, we introduce the Bede–Gal derivative for set-valued functions. We also prove some properties of Bede–Gal differentiable set-valued functions. In Section 4, we study the relationships between Bede–Gal differentiable set-valued functions and their associated support functions. We provide some examples of set-valued functions that are not Bede–Gal differentiable whereas their associated support functions are differentiable. In Section 5, we apply our results to solve some set-valued differential equations. In Section 6, we give our concluding remarks.
Section snippets
Preliminaries
We denote and as the set of nonempty compact subsets and the set of nonempty convex and compact subsets of , respectively. For two given sets of X, and , the Minkowski sum and scalar multiple are defined by . We consider the Hausdorff distance given by , where is the closed ball with radius r centered at the origin (in the following, denotes the Euclidean norm). For two given sets of
Bede–Gal differentiability of set-valued functions
In this section, we adapt the concept of the Bede–Gal derivative for set-valued functions, such as , where .
In the following, we refer to a set that comprises a single vector (such as ) as a singleton.
Let 0 and Θ denote the neutral element (the zero vector) of and the set {0}, respectively. We also use notations of −A and instead of and , respectively, where A is a nonempty set in and is a real number. We recall the following results.
Lemma 3.1 Let A and B be nonempty
Relationship between the derivatives of set-valued functions and their associated support functions
Consider a set-valued function , where . For a fixed , the value is a compact and convex set in . Therefore, the support function is defined for all and any . We refer to the function as the associated support function of the set-valued function for a fixed .
Lemma 4.1 If A, are two sets such that exists, then
Proof Let . Then, . By Remark 2.1, Therefore, we have
Application to solving set-valued differential equations
In this section, we present several examples to illustrate the suitability of the Bede–Gal derivative for set-valued functions to solving set-valued differential equations.
Example 5.1 Consider the IVP where X is an unknown set-valued (interval-valued) function. By Theorem 3.12, the set-valued function is a Bede–Gal differentiable function on and we have . In addition, . Therefore, is a solution of (8) on .
In general, we note
Conclusion
In this study, as a derivative of set-valued functions, we used Bede and Gal's strong generalized derivative concept, which they introduced for fuzzy number-valued functions. After proving some properties of Bede–Gal differentiable set-valued functions, we investigated the relationships between these functions and their associated support functions. The concept of a support function is a very useful tool for studying the properties of set-valued functions. In particular, in the theory of
Acknowledgements
We are grateful to the Co-Editors-in-Chief, the Area Editor, the Language Editor and the anonymous reviewers for their comments and suggestions, which helped to improve the quality of this paper.
The first author dedicates this research to the memory of his teacher, Prof. V.I. Blagodatskikh, who inspired the subject of this study in lessons that he taught 30 years ago at Lomonosov Moscow State University.
This research was funded under grant no. 2221 from the Scientific and Technological Research
References (45)
- et al.
Analytical and numerical solutions of fuzzy differential equations
Inf. Sci.
(2013) - et al.
An algorithm for the solution of second order fuzzy initial value problems
Expert Syst. Appl.
(2013) - et al.
Fuzzy differential equations: an approach via fuzzification of the derivative operator
Fuzzy Sets Syst.
(2013) - et al.
Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations
Fuzzy Sets Syst.
(2005) - et al.
Generalized differentiability of fuzzy-valued functions
Fuzzy Sets Syst.
(2013) - et al.
Generalized derivative and π-derivative for set-valued functions
Inf. Sci.
(2011) - et al.
Calculus for interval-valued functions using generalized Hukuhara derivative and applications
Fuzzy Sets Syst.
(2013) - et al.
Solution of linear differential equations with fuzzy boundary values
Fuzzy Sets Syst.
(2014) - et al.
Solution method for a boundary value problem with fuzzy forcing function
Inf. Sci.
(2015) - et al.
Variation of constant formula for first order fuzzy differential equations
Fuzzy Sets Syst.
(2011)
Periodic boundary value problems for first-order linear differential equations with uncertainty under generalized differentiability
Inf. Sci.
Interval differential equations with a second type Hukuhara derivative
Appl. Math. Lett.
Random fuzzy differential equations under generalized Lipschitz condition
Nonlinear Anal., Real World Appl.
Second type Hukuhara differentiable solutions to the delay set-valued differential equations
Appl. Math. Comput.
On set differential equations in Banach spaces – a second type Hukuhara differentiability approach
Appl. Math. Comput.
Interval Cauchy problem with a second type Hukuhara derivative
Inf. Sci.
On the fuzzy initial value problem
Fuzzy Sets Syst.
A generalization of Hukuhara difference and division for interval and fuzzy arithmetic
Fuzzy Sets Syst.
Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
Nonlinear Anal.
Fuzzy sets
Inf. Control
A new method for solving fuzzy linear differential equations
Computing
A new approach to a fuzzy time-optimal control problem
CMES: Comput. Model. Eng. Sci.
Cited by (19)
On L<sup>r</sup>-norm-based derivatives and fuzzy Henstock-Kurzweil integrals with an application
2023, Alexandria Engineering JournalNew metric-based derivatives for fuzzy functions and some of their properties
2022, Fuzzy Sets and SystemsNew differentiability concepts for set-valued functions and applications to set differential equations
2021, Information SciencesCitation Excerpt :The first monograph dealing with interval analysis was written by Moore [24]. In recent years, several authors have established different concepts of generalization of the difference for (multidimensional) compact convex sets on metric vector spaces, extending the Hukuhara difference as well as set-valued differentiability due to the necessity to enlarge the class of differentiable set-valued functions, for instance, see [1,11,17,30]. One important issue when dealing with this type of derivatives for set-valued functions is the existence of the corresponding differences, which is not guaranteed.
Minimum stability control problem and time-optimal control problem for fuzzy linear control systems
2019, Fuzzy Sets and SystemsSolution method for a non-homogeneous fuzzy linear system of differential equations
2018, Applied Soft Computing JournalCitation Excerpt :These methods differ depending on the concepts of fuzzy function and fuzzy derivative used. The vast majority of studies [1–3,6,9,10,15,39,50,51], which have been carried out in recent years, use the generalized derivative, proposed by Bede and Gal [8]. But this derivative concept leads to some difficulties:
Some Properties of the Solutions of a Linear Set-Valued Differential Equation in the Space convR2
2024, Journal of Mathematical Sciences (United States)